Type a command or search the notes. Tab cycles completions. Up and down recall history when blank. Escape dismisses, then leaves the prompt.
MATH
[1251]

Examples from Seen Questions

All examples from Seen Questions.

Back to Seen Questions

selecting true statements

Later-topic preview: statements 2, 5, 6 and 7 use linear transformations, rank-nullity or eigenvalues.

Choose all of the true statements below:

  1. The columns of the matrix AA are linearly independent if and only if Ax=0Ax=\mathbf0 has only the trivial solution.
  2. If AA is an m×nm\times n matrix, then T(x)=AxT(\mathbf{x})=A\mathbf{x} defines a linear transformation from Rn\mathbb R^n to Rm\mathbb R^m.
  3. Let AA be an n×nn\times n matrix with n≥2n\ge2. If x\mathbf{x} is a nontrivial solution of Ax=0A\mathbf{x}=\mathbf0, then every entry in x\mathbf{x} is non-zero.
  4. Let u,v\mathbf{u},\mathbf{v} be vectors in R5\mathbb R^5. The set span⁡{u,v}\operatorname{span}\{\mathbf{u},\mathbf{v}\} is always a plane through the origin.
  5. If two rows of an n×nn\times n matrix AA, where n≥2n\ge2, are the same, then rank⁡(A)>0\operatorname{rank}(A)>0.
  6. If two rows of an n×nn\times n matrix AA, where n≥2n\ge2, are the same, then nullity⁡(A)>0\operatorname{nullity}(A)>0.
  7. If AA is an n×nn\times n matrix with the property that the sum of the entries in each row is 7474, then AA has a non-zero eigenvalue.

Solution

The true statements are 1, 2, 6 and 7. Each statement is checked against its defining equation or refuted by a counterexample.

Statement 1 is true. If the columns of AA are a1,…,an\mathbf a_1,\ldots,\mathbf a_n, then

Ax=x1a1+⋯+xnan.A\mathbf{x} = x_1\mathbf a_1+\cdots+x_n\mathbf a_n.

Thus Ax=0A\mathbf{x}=\mathbf0 has only the trivial solution exactly when the only linear combination of the columns that gives 0\mathbf0 is the trivial combination. This is precisely linear independence.

Statement 2 is true. For u,v∈Rn\mathbf u,\mathbf v\in\mathbb R^n and c∈Rc\in\mathbb R, matrix multiplication satisfies

T(u+v)=A(u+v)=Au+Av=T(u)+T(v).\begin{aligned} T(\mathbf u+\mathbf v) &=A(\mathbf u+\mathbf v)\\ &=A\mathbf u+A\mathbf v\\ &=T(\mathbf u)+T(\mathbf v). \end{aligned}

and

T(cu)=A(cu)=cAu=cT(u).T(c\mathbf u)=A(c\mathbf u)=cA\mathbf u=cT(\mathbf u).

These are the two linearity conditions and the dimensions of the product show that the codomain is Rm\mathbb R^m.

Statement 3 is false. A nontrivial vector is only required to be non-zero; it may still have zero entries. For example, take AA to be the zero matrix and x=(1,0,…,0)T\mathbf{x}=(1,0,\ldots,0)^{\mathsf T}. Then Ax=0A\mathbf{x}=\mathbf0, x≠0\mathbf{x}\ne\mathbf0 and most entries of x\mathbf{x} are zero.

Statement 4 is false because two vectors need not be independent. If u=v≠0\mathbf u=\mathbf v\ne\mathbf0, then

span⁡{u,v}=span⁡{u},\operatorname{span}\{\mathbf u,\mathbf v\} =\operatorname{span}\{\mathbf u\},

which is a line through the origin. If both vectors are zero, the span is just {0}\{\mathbf0\}.

Statement 5 is false. The zero square matrix has two equal rows, but

rank⁡(0)=0,\operatorname{rank}(0)=0,

so its rank is not greater than zero.

Statement 6 is true. Equal rows are linearly dependent, so an n×nn\times n matrix with two equal rows has rank at most n−1n-1. Rank-nullity then gives

nullity⁡(A)=n−rank⁡(A)≥1.\operatorname{nullity}(A) =n-\operatorname{rank}(A) \ge1.

Finally, statement 7 is true. Let 1=(1,…,1)T∈Rn\mathbf1=(1,\ldots,1)^{\mathsf T}\in\mathbb R^n be the all-ones vector. The row-sum condition says exactly that

A1=741.A\mathbf1=74\mathbf1.

Since 1≠0\mathbf1\ne\mathbf0, this shows that 7474 is an eigenvalue and it is non-zero.

linear independence of real-valued functions

Kaiwen is given f1,f2,f3∈R[R]f_1,f_2,f_3\in\mathcal R[\mathbb R], where R[R]\mathcal R[\mathbb R] is the vector space of all real-valued functions on R\mathbb R and where f1,f2,f3f_1,f_2,f_3 are defined by the rules

f1(x)=5x−29,f2(x)=sin⁡(7x),f3(x)=cos⁡(16x),x∈R.f_1(x)=5x-29,\qquad f_2(x)=\sin(7x),\qquad f_3(x)=\cos(16x), \qquad x\in\mathbb R.

Are these functions linearly dependent?

  • No.
  • Yes.

Solution

The correct choice is No. Suppose that a,b,c∈Ra,b,c\in\mathbb R satisfy

af1+bf2+cf3=0R[R].a f_1+b f_2+c f_3=0_{\mathcal R[\mathbb R]}.

Equality of functions means equality at every x∈Rx\in\mathbb R, so

a(5x−29)+bsin⁡(7x)+ccos⁡(16x)=0for every x∈R.a(5x-29)+b\sin(7x)+c\cos(16x)=0 \qquad\text{for every }x\in\mathbb R.

The trigonometric part is bounded:

∣bsin⁡(7x)+ccos⁡(16x)∣≤∣b∣+∣c∣.\left|b\sin(7x)+c\cos(16x)\right| \le |b|+|c|.

Therefore the assumed relation would give

∣a(5x−29)∣≤∣b∣+∣c∣for every x∈R.\left|a(5x-29)\right|\le |b|+|c| \qquad\text{for every }x\in\mathbb R.

If a≠0a\ne0, the left-hand side becomes arbitrarily large as x→∞x\to\infty, which is impossible. Hence a=0a=0. The relation reduces to

bsin⁡(7x)+ccos⁡(16x)=0for every x∈R.b\sin(7x)+c\cos(16x)=0 \qquad\text{for every }x\in\mathbb R.

At x=0x=0 this gives

ccos⁡(0)=c=0.c\cos(0)=c=0.

With c=0c=0, substitute x=π14x=\frac{\pi}{14}:

bsin⁡(7⋅π14)=bsin⁡(π2)=b=0.b\sin\left(7\cdot\frac{\pi}{14}\right) =b\sin\left(\frac{\pi}{2}\right) =b=0.

Thus a=b=c=0a=b=c=0, so the functions are linearly independent.

This is the homogeneous independence test in a function space, where a relation must hold at every point of the domain. Boundedness separates the affine function from the trigonometric ones and two evaluations settle the remaining coefficients.

span, independence and possible bases

Lance and Tamzid were given four sets of vectors in R3\mathbb R^3 or R5\mathbb R^5:

{u1,u2,u3,u4}⊂R3,{v1,v2,v3,v4}⊂R3,\{u_1,u_2,u_3,u_4\}\subset\mathbb R^3,\qquad \{v_1,v_2,v_3,v_4\}\subset\mathbb R^3,{x1,x2,x3}⊂R5,{y1,y2,y3}⊂R5.\{x_1,x_2,x_3\}\subset\mathbb R^5,\qquad \{y_1,y_2,y_3\}\subset\mathbb R^5.

In each set, the vectors are distinct.

For each of the first two sets, Lance and Tamzid are asked to determine whether it forms a spanning set for R3\mathbb R^3 and to prove the result. For each of the third and fourth sets, they are asked to determine whether it is linearly dependent or linearly independent.

(a) They think that {u1,u2,u3,u4}\{u_1,u_2,u_3,u_4\} forms a spanning set for R3\mathbb R^3.

(b) They think that {v1,v2,v3,v4}\{v_1,v_2,v_3,v_4\} is not a spanning set for R3\mathbb R^3.

(c) They think that x1,x2,x3x_1,x_2,x_3 are linearly independent.

(d) They think that y1,y2,y3y_1,y_2,y_3 are linearly dependent.

(e) Is it possible for {u1,u2,u3,u4}\{u_1,u_2,u_3,u_4\} to be a basis for R3\mathbb R^3 and for {x1,x2,x3}\{x_1,x_2,x_3\} to be a basis for R5\mathbb R^5?

Solution

The vectors have no coordinates, so there is nothing to row-reduce. The task is to state what would have to be proved for each claim. With the named vectors placed as columns, the vector equations are the matrix equations Uc=xUc=\mathbf x, Vc=yVc=\mathbf y, Xα=vX\alpha=\mathbf v and Yβ=wY\beta=\mathbf w.

(a) Proving that the uu-set spans R3\mathbb R^3

By definition, a set spans R3\mathbb R^3 when every vector in R3\mathbb R^3 is a linear combination of the set. Therefore the required statement is

for every x∈R3, there exist λ1,λ2,λ3,λ4∈R such that λ1u1+λ2u2+λ3u3+λ4u4=x.{ \text{for every }\mathbf x\in\mathbb R^3,\ \text{there exist }\lambda_1,\lambda_2,\lambda_3,\lambda_4\in\mathbb R \text{ such that } \lambda_1u_1+\lambda_2u_2+\lambda_3u_3+\lambda_4u_4=\mathbf x }.

The coefficients may depend on x\mathbf x and one choice for each target vector is enough; uniqueness is not part of spanning.

(b) Proving that the vv-set does not span R3\mathbb R^3

To disprove spanning, one target vector that cannot be produced is enough. The required statement is

there exists y∈R3 such that μ1v1+μ2v2+μ3v3+μ4v4=y has no solution in R4.{ \text{there exists }\mathbf y\in\mathbb R^3 \text{ such that } \mu_1v_1+\mu_2v_2+\mu_3v_3+\mu_4v_4=\mathbf y \text{ has no solution in }\mathbb R^4 }.

Equivalently, the column space of the matrix V=[ v1 v2 v3 v4 ]V=[\,v_1\ v_2\ v_3\ v_4\,] is a proper subset of R3\mathbb R^3. A contradictory row in the augmented matrix [V∣y][V\mid\mathbf y] would exhibit such a vector y\mathbf y.

(c) Proving that the xx-set is linearly independent

Independence is tested with the homogeneous equation, so the right-hand side is 0\mathbf 0. The required statement is

α1x1+α2x2+α3x3=0⟹α1=α2=α3=0.{ \alpha_1x_1+\alpha_2x_2+\alpha_3x_3=\mathbf0 \Longrightarrow \alpha_1=\alpha_2=\alpha_3=0 }.

In matrix language, if X=[ x1 x2 x3 ]X=[\,x_1\ x_2\ x_3\,], then Xα=0X\alpha=\mathbf0 must have only the zero solution. With actual coordinates, row reduction would show a pivot in every column of XX.

(d) Proving that the yy-set is linearly dependent

Dependence is the failure of the homogeneous test: some non-zero coefficient vector must produce the zero vector. The required statement is

β1y1+β2y2+β3y3=0 has a solution (β1,β2,β3)≠(0,0,0).{ \beta_1y_1+\beta_2y_2+\beta_3y_3=\mathbf0 \text{ has a solution } (\beta_1,\beta_2,\beta_3)\ne(0,0,0) }.

The right-hand side is again 0\mathbf0, but now a non-trivial solution is required.

(e) Testing the two possible bases

The answer choices are:

  1. It is possible for both {u1,u2,u3,u4}\{u_1,u_2,u_3,u_4\} and {x1,x2,x3}\{x_1,x_2,x_3\} to be bases for their respective vector spaces.
  2. {u1,u2,u3,u4}\{u_1,u_2,u_3,u_4\} cannot form a basis for R3\mathbb R^3, but {x1,x2,x3}\{x_1,x_2,x_3\} could possibly form a basis for R5\mathbb R^5.
  3. {x1,x2,x3}\{x_1,x_2,x_3\} cannot form a basis for R5\mathbb R^5, but {u1,u2,u3,u4}\{u_1,u_2,u_3,u_4\} could possibly form a basis for R3\mathbb R^3.
  4. Neither {u1,u2,u3,u4}\{u_1,u_2,u_3,u_4\} nor {x1,x2,x3}\{x_1,x_2,x_3\} can possibly be bases for their respective vector spaces.

The correct choice is 4. A basis for R3\mathbb R^3 must contain exactly dim⁡(R3)=3\dim(\mathbb R^3)=3 vectors. Although the uu-set is assumed to span R3\mathbb R^3, it has four vectors, so it must be linearly dependent and cannot be a basis. A basis for R5\mathbb R^5 must contain five vectors, while the xx-set contains only three. It may be independent, but it cannot span R5\mathbb R^5.

polynomials, dependence and dimension

Recall that P2(R)P_2(\mathbb R), the set of real polynomials whose degree is at most two, is a vector space over R\mathbb R.

(a)

Consider

A(t)=t2−t−1,B(t)=3t2+3t−9,C(t)=10t2+8t−28.A(t)=t^2-t-1,\qquad B(t)=3t^2+3t-9,\qquad C(t)=10t^2+8t-28.

You are given the following matrices and their corresponding row-echelon forms:

[1−1−110033−9010108−28001]⟶[1−1−110006−6−310000−1−31],\left[ \begin{array}{rrrrrr} 1&-1&-1&1&0&0\\ 3&3&-9&0&1&0\\ 10&8&-28&0&0&1 \end{array} \right] \longrightarrow \left[ \begin{array}{rrrrrr} 1&-1&-1&1&0&0\\ 0&6&-6&-3&1&0\\ 0&0&0&-1&-3&1 \end{array} \right],

and

[1310100−138010−1−9−28001]⟶[13101000618110000211].\left[ \begin{array}{rrrrrr} 1&3&10&1&0&0\\ -1&3&8&0&1&0\\ -1&-9&-28&0&0&1 \end{array} \right] \longrightarrow \left[ \begin{array}{rrrrrr} 1&3&10&1&0&0\\ 0&6&18&1&1&0\\ 0&0&0&2&1&1 \end{array} \right].
(i)

Find scalars α,β,γ\alpha,\beta,\gamma, not all zero, such that

αA(t)+βB(t)+γC(t)=0for all t∈R.\alpha A(t)+\beta B(t)+\gamma C(t)=0 \qquad\text{for all }t\in\mathbb R.
(ii)

Find a basis of P2(R)P_2(\mathbb R) that contains as many elements of {A,B,C}\{A,B,C\} as possible.

(b)

Let p,q∈P2(R)p,q\in P_2(\mathbb R), where

p(t)=a1t2+b1t+c1,q(t)=a2t2+b2t+c2,p(t)=a_1t^2+b_1t+c_1,\qquad q(t)=a_2t^2+b_2t+c_2,

for some a1,b1,c1,a2,b2,c2∈Ra_1,b_1,c_1,a_2,b_2,c_2\in\mathbb R with

a2b1≠b2a1.a_2b_1\ne b_2a_1.

Define

P=p+q,Q=3p−3q,R=9p−3q.P=p+q,\qquad Q=3p-3q,\qquad R=9p-3q.
(i)

Choose all correct statements:

  • The set {p,q}\{p,q\} is linearly dependent.
  • The set {p,q,R}\{p,q,R\} is linearly independent.
  • There is not enough information to determine whether the set {p,q}\{p,q\} is linearly independent.
  • The set {p,q,R}\{p,q,R\} is linearly dependent.
  • The set {p,q}\{p,q\} is linearly independent.
  • There is not enough information to determine whether the set {p,q,R}\{p,q,R\} is linearly independent.
(ii)

Let

A=span⁡{P,Q,R}.\mathcal A=\operatorname{span}\{P,Q,R\}.

Find dim⁡(A)\dim(\mathcal A).

Solution

The first matrix has the coefficient vectors of A,B,CA,B,C as its rows and the appended identity records which row combinations row reduction produces. The second matrix has those coefficient vectors as columns, so its pivot columns identify a largest linearly independent subset of {A,B,C}\{A,B,C\}.

(a)(i)

Starting with the first augmented matrix, the displayed row-echelon form is obtained by

R2⟵R2−3R1,R3⟵R3−10R1,R3⟵R3−3R2,R_2\longleftarrow R_2-3R_1,\qquad R_3\longleftarrow R_3-10R_1,\qquad R_3\longleftarrow R_3-3R_2,

where the last operation uses the updated second row. The last row of the resulting augmented matrix is

[000−1−31].\begin{bmatrix}0&0&0&-1&-3&1\end{bmatrix}.

Its first three entries say that a row combination of the coefficient vectors is zero and its last three entries give the coefficients of that combination. Therefore

−A−3B+C=0.-A-3B+C=0.

Checking directly,

−A(t)−3B(t)+C(t)=−(t2−t−1)−3(3t2+3t−9)+(10t2+8t−28)=(−1−9+10)t2+(1−9+8)t+(1+27−28)=0.\begin{aligned} -A(t)-3B(t)+C(t) &=-(t^2-t-1)-3(3t^2+3t-9) +(10t^2+8t-28)\\ &=(-1-9+10)t^2+(1-9+8)t+(1+27-28)\\ &=0. \end{aligned}

Thus one valid answer is

(α,β,γ)=(−1,−3,1).{(\alpha,\beta,\gamma)=(-1,-3,1)}.
(a)(ii)

For the transpose coefficient matrix, the row operations

R2⟵R2+R1,R3⟵R3+R1,R3⟵R3+R2R_2\longleftarrow R_2+R_1,\qquad R_3\longleftarrow R_3+R_1,\qquad R_3\longleftarrow R_3+R_2

give, in the first three columns,

[13100618000].\begin{bmatrix} 1&3&10\\ 0&6&18\\ 0&0&0 \end{bmatrix}.

There are pivots in columns one and two, so AA and BB are linearly independent. The relation from part (i) shows that no independent set contains all three of A,B,CA,B,C.

Since dim⁡P2(R)=3\dim P_2(\mathbb R)=3, one more polynomial is needed; try 11. To check independence, suppose

λA+μB+ν=0.\lambda A+\mu B+\nu=0.

The coefficients of t2t^2 and tt give

λ+3μ=0,−λ+3μ=0.\lambda+3\mu=0,\qquad -\lambda+3\mu=0.

Adding these equations gives μ=0\mu=0 and then λ=0\lambda=0. The constant coefficient then gives ν=0\nu=0. Hence

{A,B,1}{\{A,B,1\}}

is a basis of P2(R)P_2(\mathbb R) containing two of A,B,CA,B,C, the most possible.

(b)(i)

Suppose that

λp+μq=0.\lambda p+\mu q=0.

Comparing the coefficients of t2t^2 and tt gives

[a1a2b1b2](λμ)=(00).\begin{bmatrix} a_1&a_2\\ b_1&b_2 \end{bmatrix} \begin{pmatrix}\lambda\\\mu\end{pmatrix} = \begin{pmatrix}0\\0\end{pmatrix}.

The determinant of this coefficient matrix is

a1b2−a2b1=−(a2b1−b2a1)≠0.a_1b_2-a_2b_1=-(a_2b_1-b_2a_1)\ne0.

Therefore the homogeneous system has only the zero solution, so {p,q}\{p,q\} is linearly independent.

On the other hand,

R=9p−3q,R=9p-3q,

so

9p−3q−R=09p-3q-R=0

is a non-trivial dependence relation. The correct statements are therefore

{p,q} is linearly independent{\{p,q\}\text{ is linearly independent}}

and

{p,q,R} is linearly dependent.{\{p,q,R\}\text{ is linearly dependent}}.
(b)(ii)

The relations defining PP and QQ can be inverted:

3P+Q=3(p+q)+(3p−3q)=6p,3P−Q=3(p+q)−(3p−3q)=6q.\begin{aligned} 3P+Q &=3(p+q)+(3p-3q)=6p,\\ 3P-Q &=3(p+q)-(3p-3q)=6q. \end{aligned}

Thus

p=3P+Q6,q=3P−Q6.p=\frac{3P+Q}{6},\qquad q=\frac{3P-Q}{6}.

Hence span⁡{P,Q}=span⁡{p,q}\operatorname{span}\{P,Q\}=\operatorname{span}\{p,q\}. Since p,qp,q are independent, P,QP,Q are also independent: if λP+μQ=0\lambda P+\mu Q=0, then

(λ+3μ)p+(λ−3μ)q=0,(\lambda+3\mu)p+(\lambda-3\mu)q=0,

so independence of p,qp,q gives λ+3μ=0\lambda+3\mu=0 and λ−3μ=0\lambda-3\mu=0, hence λ=μ=0\lambda=\mu=0.

Finally, R=9p−3qR=9p-3q is already in span⁡{P,Q}\operatorname{span}\{P,Q\}. Therefore

dim⁡(A)=2.{\dim(\mathcal A)=2}.

In part (a), row reduction finds the dependence and the dimension count says one extra polynomial completes the basis. In part (b), the determinant condition gives two independent directions, the invertible change from (p,q)(p,q) to (P,Q)(P,Q) keeps them and RR adds no new one.

a set of polynomial divisors

Let

S={p∈P3(R):x3+4x2−2x+5 is divisible by p(x)}.S=\left\{ p\in P_3(\mathbb R): x^3+4x^2-2x+5\text{ is divisible by }p(x) \right\}.

Is SS a subspace of P3(R)P_3(\mathbb R)? Justify the answer.

Solution

Let

q(x)=x3+4x2−2x+5.q(x)=x^3+4x^2-2x+5.

Every subspace must contain the zero polynomial. Here 0∉S0\notin S: if 00 divided the non-zero polynomial qq, then q=0r=0q=0r=0 for some polynomial rr, a contradiction. Therefore

S is not a subspace of P3(R).{S\text{ is not a subspace of }P_3(\mathbb R).}

Closure under addition also fails. Both

p1(x)=1andp2(x)=q(x)p_1(x)=1 \qquad\text{and}\qquad p_2(x)=q(x)

belong to SS, because

q(x)=q(x)⋅1andq(x)=1⋅q(x).q(x)=q(x)\cdot1 \qquad\text{and}\qquad q(x)=1\cdot q(x).

However,

p1(x)+p2(x)=q(x)+1p_1(x)+p_2(x)=q(x)+1

does not belong to SS. If q(x)+1q(x)+1 divided q(x)q(x), there would be a polynomial r(x)r(x) such that

q(x)=(q(x)+1)r(x).q(x)=(q(x)+1)r(x).

Both q(x)q(x) and q(x)+1q(x)+1 have degree 33, so r(x)r(x) would have to be a constant. Comparing leading coefficients would force r(x)=1r(x)=1, which would give q(x)=q(x)+1q(x)=q(x)+1, a contradiction. Thus SS is not closed under addition.

Divisibility is a multiplicative condition, so it has no reason to survive the addition inherited from P3(R)P_3(\mathbb R).

[routine]

  1. [1]:Subspace test

subspaces of M2×2(R)M_{2\times2}(\mathbb R)

Later-topic preview: parts of this question use eigenvalues, diagonalisation, kernels and rank-nullity.

Let

V=M2×2(R)V=M_{2\times2}(\mathbb R)

be the vector space of 2×22\times2 matrices with real entries over the scalar field R\mathbb R.

(a)

Choose from the following list the subsets of VV that are subspaces of VV:

  1. {A∈V:AT=4A}\{A\in V:A^{\mathsf T}=4A\};
  2. {A∈V:0 is an eigenvalue of A}\{A\in V:0\text{ is an eigenvalue of }A\};
  3. {A∈V:v=(−44) is an eigenvector of A for the eigenvalue λ=3}\left\{A\in V: v=\begin{pmatrix}-4\\4\end{pmatrix} \text{ is an eigenvector of }A\text{ for the eigenvalue }\lambda=3 \right\};
  4. {A∈V:v=(−44) is an eigenvector of A}\left\{A\in V: v=\begin{pmatrix}-4\\4\end{pmatrix} \text{ is an eigenvector of }A \right\};
  5. {A∈V:A is diagonalisable}\{A\in V:A\text{ is diagonalisable}\};
  6. {A∈V:A2=I}\{A\in V:A^2=I\}, where II is the identity matrix in VV;
  7. {A∈V:A is a diagonal matrix}\{A\in V:A\text{ is a diagonal matrix}\}.

(b)

For a fixed matrix B∈VB\in V, define

SB={A∈V:AB=O},S_B=\{A\in V:AB=O\},

where OO is the zero matrix in VV. It is given that SBS_B is a subspace of VV.

(i)

Under simple conditions imposed on BB, achieve dim⁡(SB)=0\dim(S_B)=0 and dim⁡(SB)=4\dim(S_B)=4. If CC is a basis of SBS_B, what can be said about the number of elements in CC?

(ii)

Find a matrix CC such that, for

B=(abcd),A=(x1x2x3x4)∈SB,B=\begin{pmatrix}a&b\\c&d\end{pmatrix}, \qquad A=\begin{pmatrix}x_1&x_2\\x_3&x_4\end{pmatrix}\in S_B,

the equation AB=OAB=O can be written as

C(x1x2x3x4)=(0000).C \begin{pmatrix} x_1\\x_2\\x_3\\x_4 \end{pmatrix} = \begin{pmatrix} 0\\0\\0\\0 \end{pmatrix}.

Use this result to prove that if

B=(13412),B=\begin{pmatrix}1&3\\4&12\end{pmatrix},

then dim⁡(SB)=2\dim(S_B)=2.

Solution

Each set is checked for the zero matrix and for closure under addition and scalar multiplication. Homogeneous linear conditions on the entries of AA usually pass. Conditions involving a fixed non-zero eigenvalue, invertibility or the nonlinear equation A2=IA^2=I need separate checking.

(a) Testing the listed sets

For the first set, if AT=4AA^{\mathsf T}=4A, transpose both sides:

A=4AT=4(4A)=16A.A=4A^{\mathsf T}=4(4A)=16A.

Hence 15A=015A=0, so A=OA=O. The set is therefore {O}\{O\}, which is a subspace.

The second set is the set of singular matrices, since 00 is an eigenvalue exactly when the matrix has a non-zero vector in its kernel. It is not closed under addition. For example,

A1=(1000),A2=(0001)A_1=\begin{pmatrix}1&0\\0&0\end{pmatrix}, \qquad A_2=\begin{pmatrix}0&0\\0&1\end{pmatrix}

both have 00 as an eigenvalue, but

A1+A2=IA_1+A_2=I

does not.

For the third set, the condition is

Av=3v,v=(−44)≠0.Av=3v, \qquad v=\begin{pmatrix}-4\\4\end{pmatrix}\ne0.

The zero matrix does not satisfy this condition, because Ov=0≠3vOv=0\ne3v, so this set is not a subspace. It is an affine set of matrices rather than a homogeneous solution set.

For the fourth set, saying that vv is an eigenvector for some eigenvalue means that

Av∈span⁡{v}.Av\in\operatorname{span}\{v\}.

If A1v=αvA_1v=\alpha v and A2v=βvA_2v=\beta v, then

(A1+A2)v=(α+β)v,(λA1)v=(λα)v.(A_1+A_2)v=(\alpha+\beta)v, \qquad (\lambda A_1)v=(\lambda\alpha)v.

The zero matrix also satisfies the condition, with eigenvalue 00. Thus this set is a subspace.

The fifth set is not a subspace because diagonalisability is not preserved under addition. For example,

A1=(1100),A2=(0001)A_1=\begin{pmatrix}1&1\\0&0\end{pmatrix}, \qquad A_2=\begin{pmatrix}0&0\\0&1\end{pmatrix}

are both diagonalisable: each has two distinct eigenvalues. Their sum is

A1+A2=(1101),A_1+A_2=\begin{pmatrix}1&1\\0&1\end{pmatrix},

which has only one independent eigenvector and is not diagonalisable.

The sixth set does not contain the zero matrix, since O2=O≠IO^2=O\ne I. Therefore it is not a subspace.

Finally, the diagonal matrices form a subspace: the zero matrix is diagonal, and sums and scalar multiples of diagonal matrices are diagonal.

The correct selections are therefore

1, 4, and 7.{1,\ 4,\ \text{and }7}.

(b)(i) Extreme choices of BB

If BB is invertible and AB=OAB=O, multiply on the right by B−1B^{-1}:

AB=O⟹A=ABB−1=OB−1=O.AB=O \quad\Longrightarrow\quad A=ABB^{-1}=OB^{-1}=O.

Thus SB={O}S_B=\{O\} and

dim⁡(SB)=0when B is invertible.{\dim(S_B)=0\quad\text{when }B\text{ is invertible}.}

In particular, this happens for B=IB=I.

At the other extreme, if B=OB=O, then AB=OAB=O for every A∈VA\in V. Hence SB=VS_B=V. Since a 2×22\times2 matrix has four independent entries,

dim⁡(SB)=4when B=O.{\dim(S_B)=4\quad\text{when }B=O}.

If CC is a basis of SBS_B, the defining property of dimension gives

∣C∣=dim⁡(SB).{|C|=\dim(S_B)}.

(b)(ii) Converting AB=OAB=O into a homogeneous system

In this part, CC denotes the coefficient matrix requested in the question, not the basis called CC in part (i).

Multiplying the two matrices gives

AB=(ax1+cx2bx1+dx2ax3+cx4bx3+dx4).AB= \begin{pmatrix} ax_1+cx_2&bx_1+dx_2\\ ax_3+cx_4&bx_3+dx_4 \end{pmatrix}.

Therefore AB=OAB=O is equivalent to the four scalar equations

ax1+cx2=0,bx1+dx2=0,ax_1+cx_2=0,\qquad bx_1+dx_2=0,

and

ax3+cx4=0,bx3+dx4=0.ax_3+cx_4=0,\qquad bx_3+dx_4=0.

With the variable order (x1,x2,x3,x4)T(x_1,x_2,x_3,x_4)^{\mathsf T}, this is

C=(ac00bd0000ac00bd).{ C= \begin{pmatrix} a&c&0&0\\ b&d&0&0\\ 0&0&a&c\\ 0&0&b&d \end{pmatrix} }.

For the specified matrix

B=(13412),B=\begin{pmatrix}1&3\\4&12\end{pmatrix},

the coefficient matrix becomes

C=(140031200001400312).C= \begin{pmatrix} 1&4&0&0\\ 3&12&0&0\\ 0&0&1&4\\ 0&0&3&12 \end{pmatrix}.

Row reduction gives

C→R2←R2−3R1(14000000001400312)→R4←R4−3R3(1400000000140000).\begin{aligned} C &\xrightarrow{R_2\leftarrow R_2-3R_1} \begin{pmatrix} 1&4&0&0\\ 0&0&0&0\\ 0&0&1&4\\ 0&0&3&12 \end{pmatrix}\\ &\xrightarrow{R_4\leftarrow R_4-3R_3} \begin{pmatrix} 1&4&0&0\\ 0&0&0&0\\ 0&0&1&4\\ 0&0&0&0 \end{pmatrix}. \end{aligned}

Thus rank⁡(C)=2\operatorname{rank}(C)=2. The system has four variables, so rank-nullity gives

dim⁡ker⁡(C)=4−rank⁡(C)=4−2=2.\dim\ker(C)=4-\operatorname{rank}(C)=4-2=2.

The entries of AA identify VV with R4\mathbb R^4 and the solutions of Cx=0C\mathbf x=0 are precisely the matrices in SBS_B. Hence

dim⁡(SB)=2.{\dim(S_B)=2}.

More explicitly, x2x_2 and x4x_4 are free. Writing x2=sx_2=s and x4=tx_4=t gives

x1=−4s,x3=−4t,x_1=-4s,\qquad x_3=-4t,

so

A=s(−4100)+t(00−41).A =s\begin{pmatrix}-4&1\\0&0\end{pmatrix} +t\begin{pmatrix}0&0\\-4&1\end{pmatrix}.

These two matrices form a basis of SBS_B, which confirms the dimension directly. The homogeneous condition AB=OAB=O defines a kernel, the coordinate matrix CC describes it and rank-nullity gives its dimension.

parameter-dependent vectors and possible bases

Hilda and Jonathan have picked three vectors v⃗1,v⃗2\vec v_1,\vec v_2 and v⃗3\vec v_3 in R3\mathbb R^3. These vectors depend on a parameter qq. Hilda and Jonathan use these vectors to define a matrix AA: the first column is v⃗1\vec v_1, the second column is v⃗2\vec v_2 and the third column is v⃗3\vec v_3. They then add

b⃗=(b1b2b3)\vec b= \begin{pmatrix}b_1\\b_2\\b_3\end{pmatrix}

as the fourth column. The full matrix is not needed; the elimination output below is sufficient. The only additional assumption is that qq is a real number.

The supplied elimination output is

[16−2b10q2q(−q−15)b1+b2000q(q+15)b1−qb2+b3].\begin{bmatrix} 1&6&-2&b_1\\ 0&q&2q&(-q-15)b_1+b_2\\ 0&0&0&q(q+15)b_1-qb_2+b_3 \end{bmatrix}.

Let dd be the dimension of the span of

S={v⃗1,v⃗2,v⃗3}.S=\{\vec v_1,\vec v_2,\vec v_3\}.

(a)

Select all statements about SS and dd that are true:

  • There is no value of qq for which SS is linearly independent.
  • There is exactly one qq for which SS is linearly independent.
  • There are infinitely many values of qq for which SS is linearly independent.
  • There is no value of qq for which d=2d=2.
  • There is exactly one qq for which d=2d=2.
  • There are infinitely many values of qq for which d=2d=2.
  • There is no value of qq for which d=1d=1.
  • There is exactly one qq for which d=1d=1.
  • There are infinitely many values of qq for which d=1d=1.
  • There is no value of qq for which SS spans R3\mathbb R^3.
  • There is exactly one qq for which SS spans R3\mathbb R^3.
  • There are infinitely many values of qq for which SS spans R3\mathbb R^3.

Multiple selection advice: In a multiple selection question, one point is awarded for each correct selection and one point is deducted for each incorrect selection, but you cannot get a negative mark for the question in the end.

Case 1: q≠0q\ne0

(b)

If possible, find an expression of v⃗3\vec v_3 as a linear combination of v⃗1\vec v_1 and v⃗2\vec v_2.

(c)

Determine the span of SS when q≠0q\ne0. The answer may depend on qq.

(d)

Recall that e⃗1,e⃗2,e⃗3\vec e_1,\vec e_2,\vec e_3 denote the standard basis vectors of R3\mathbb R^3. The supplied computations show that

{v⃗1,e⃗2,e⃗3}\{\vec v_1,\vec e_2,\vec e_3\}

is a basis of R3\mathbb R^3 for every value of qq. Consider all bases of R3\mathbb R^3 obtained by selecting vectors from

{v⃗1,v⃗2,v⃗3,e⃗1,e⃗2,e⃗3}.\{\vec v_1,\vec v_2,\vec v_3,\vec e_1,\vec e_2,\vec e_3\}.

When q≠0q\ne0 and q≠−15q\ne-15, how many different bases can be formed that contain as many elements of SS as possible? When q=−15q=-15, how many can be formed?

Case 2: q=0q=0

(e)

Determine the span of SS when q=0q=0.

(f)

When q=0q=0, how many different bases of R3\mathbb R^3 can be formed from

{v⃗1,v⃗2,v⃗3,e⃗1,e⃗2,e⃗3}\{\vec v_1,\vec v_2,\vec v_3,\vec e_1,\vec e_2,\vec e_3\}

that contain as many elements of SS as possible?

Solution

The first three columns of the row-reduced matrix are

[16−20q2q000].\begin{bmatrix} 1&6&-2\\ 0&q&2q\\ 0&0&0 \end{bmatrix}.

If q≠0q\ne0, there are pivots in columns 11 and 22, so

d=2.d=2.

The third column relation in the row-reduced matrix is

(−22q0)=−14(100)+2(6q0).\begin{pmatrix}-2\\2q\\0\end{pmatrix} =-14\begin{pmatrix}1\\0\\0\end{pmatrix} +2\begin{pmatrix}6\\q\\0\end{pmatrix}.

The displayed matrix comes from row operations, which preserve linear relations among columns, although it need not be in echelon form at special values such as q=0q=0. Therefore, when q≠0q\ne0,

v⃗3=−14v⃗1+2v⃗2.{\vec v_3=-14\vec v_1+2\vec v_2.}

The first two columns have pivots, so v⃗1,v⃗2\vec v_1,\vec v_2 are independent. Consequently,

span⁡(S)=span⁡{v⃗1,v⃗2}{\operatorname{span}(S) =\operatorname{span}\{\vec v_1,\vec v_2\}}

is a two-dimensional plane in R3\mathbb R^3.

If q=0q=0, the first three columns reduce to

[16−2000000],\begin{bmatrix} 1&6&-2\\ 0&0&0\\ 0&0&0 \end{bmatrix},

so

v⃗2=6v⃗1,v⃗3=−2v⃗1,\vec v_2=6\vec v_1,\qquad \vec v_3=-2\vec v_1,

and d=1d=1. The last column of the displayed row reduction shows that a vector b⃗\vec b lies in this line exactly when

b2−15b1=0,b3=0.b_2-15b_1=0,\qquad b_3=0.

Thus

span⁡(S)=span⁡{(1150)}{ \operatorname{span}(S) =\operatorname{span} \left\{ \begin{pmatrix}1\\15\\0\end{pmatrix} \right\} }

when q=0q=0.

These dimensions settle part (a). The set SS is never linearly independent and never spans R3\mathbb R^3. It has dimension 22 for every non-zero real qq and dimension 11 for the single value q=0q=0. Therefore the true selections are

There is no value of q for which S is linearly independent;there are infinitely many values of q for which d=2;there is exactly one q for which d=1;there is no value of q for which S spans R3.{ \begin{gathered} \text{There is no value of }q\text{ for which }S\text{ is linearly independent};\\ \text{there are infinitely many values of }q\text{ for which }d=2;\\ \text{there is exactly one }q\text{ for which }d=1;\\ \text{there is no value of }q\text{ for which }S\text{ spans }\mathbb R^3. \end{gathered} }

For part (d), when q≠0q\ne0, the maximum number of elements of SS in a basis is 22. Since

v⃗3=2v⃗2−14v⃗1,\vec v_3=2\vec v_2-14\vec v_1,

each of the pairs

{v⃗1,v⃗2},{v⃗1,v⃗3},{v⃗2,v⃗3}\{\vec v_1,\vec v_2\},\qquad \{\vec v_1,\vec v_3\},\qquad \{\vec v_2,\vec v_3\}

is independent and spans the same plane.

To test which standard basis vector completes this plane, use the fourth column in the row reduction. For b⃗=e⃗1,e⃗2,e⃗3\vec b=\vec e_1,\vec e_2,\vec e_3, the last pivot expression is respectively

q(q+15),−q,1.q(q+15),\qquad -q,\qquad 1.

Therefore, if q≠0,−15q\ne0,-15, all three standard basis vectors complete the plane. There are 33 choices of a pair from SS and 33 choices of a completing standard vector:

3⋅3=9.{3\cdot3=9}.

When q=−15q=-15, e⃗1\vec e_1 does not complete the plane, while e⃗2\vec e_2 and e⃗3\vec e_3 do. Hence the count is

3⋅2=6.{3\cdot2=6}.

For part (f), when q=0q=0, the maximum number of elements of SS in a basis is one. The three vectors in SS are the non-zero multiples v⃗1,6v⃗1,−2v⃗1\vec v_1,6\vec v_1,-2\vec v_1. The line

span⁡{(1,15,0)T}\operatorname{span}\{(1,15,0)^{\mathsf T}\}

lies in the coordinate plane span⁡{e⃗1,e⃗2}\operatorname{span}\{\vec e_1,\vec e_2\}, but it is not contained in either span⁡{e⃗1,e⃗3}\operatorname{span}\{\vec e_1,\vec e_3\} or span⁡{e⃗2,e⃗3}\operatorname{span}\{\vec e_2,\vec e_3\}. Thus there are 22 valid pairs of standard basis vectors and 33 choices of the vector from SS:

2⋅3=6.{2\cdot3=6}.

The row-reduced matrix gives all of this without reconstructing the vectors. Pivots identify independent directions, the fourth-column condition tests whether a standard basis vector lies outside the span and the basis counts follow from the dimension of span⁡(S)\operatorname{span}(S).

On this page