11.04.2014 Views

Linear Algebra Exercises-n-Answers.pdf

Linear Algebra Exercises-n-Answers.pdf

Linear Algebra Exercises-n-Answers.pdf

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

124 <strong>Linear</strong> <strong>Algebra</strong>, by Hefferon<br />

(b) Here are three different approaches to stating such a result. The first is the assertion: where<br />

V is a vector space with basis B and ⃗v ∈ V is nonzero, for any nonzero column vector ⃗z (whose<br />

number of components equals the dimension of V ) there is a change of basis matrix M such that<br />

M · Rep B (⃗v) = ⃗z. The second possible statement: for any (n-dimensional) vector space V and<br />

any nonzero vector ⃗v ∈ V , where ⃗z 1 , ⃗z 2 ∈ R n are nonzero, there are bases B, D ⊂ V such that<br />

Rep B (⃗v) = ⃗z 1 and Rep D (⃗v) = ⃗z 2 . The third is: for any nonzero ⃗v member of any vector space (of<br />

dimension n) and any nonzero column vector (with n components) there is a basis such that ⃗v is<br />

represented with respect to that basis by that column vector.<br />

The first and second statements follow easily from the third. The first follows because the third<br />

statement gives a basis D such that Rep D (⃗v) = ⃗z and then Rep B,D (id) is the desired M. The second<br />

follows from the third because it is just a doubled application of it.<br />

A way to prove the third is as in the answer to the first part of this question. Here is a sketch.<br />

Represent ⃗v with respect to any basis B with a column vector ⃗z 1 . This column vector must have<br />

a nonzero component because ⃗v is a nonzero vector. Use that component in a sequence of row<br />

operations to convert ⃗z 1 to ⃗z. (This sketch could be filled out as an induction argument on the<br />

dimension of V .)<br />

Three.V.1.19<br />

This is the topic of the next subsection.<br />

Three.V.1.20 A change of basis matrix is nonsingular and thus has rank equal to the number of its<br />

columns. Therefore its set of columns is a linearly independent subset of size n in R n and it is thus a<br />

basis. The answer to the second half is also ‘yes’; all implications in the prior sentence reverse (that<br />

is, all of the ‘if . . . then . . . ’ parts of the prior sentence convert to ‘if and only if’ parts).<br />

Three.V.1.21 In response to the first half of the question, there are infinitely many such matrices.<br />

One of them represents with respect<br />

(<br />

to E 2<br />

(<br />

the<br />

)<br />

transformation<br />

( (<br />

of R<br />

)<br />

2 with this action.<br />

1 4 0 0<br />

↦→<br />

↦→<br />

0)<br />

0 1)<br />

−1/3<br />

The problem of specifying two distinct input/output pairs is a bit trickier. The fact that matrices have<br />

a linear action precludes some possibilities.<br />

(a) Yes, there is such a matrix. These conditions<br />

( ( ) ( ) ( ( ) ( )<br />

a b 1 1 a b 2 −1<br />

=<br />

=<br />

c d)<br />

3 1 c d)<br />

−1 −1<br />

can be solved<br />

a + 3b = 1<br />

c + 3d = 1<br />

2a − b = −1<br />

2c − d = −1<br />

to give this matrix. ( −2/7<br />

) 3/7<br />

(b) No, because<br />

( (<br />

1 2<br />

2 · =<br />

3)<br />

6)<br />

−2/7 3/7<br />

(<br />

1<br />

but 2 · ≠<br />

1)<br />

( )<br />

−1<br />

−1<br />

no linear action can produce this effect.<br />

(c) A sufficient condition is that {⃗v 1 , ⃗v 2 } be linearly independent, but that’s not a necessary condition.<br />

A necessary and sufficient condition is that any linear dependences among the starting vectors appear<br />

also among the ending vectors. That is,<br />

c 1 ⃗v 1 + c 2 ⃗v 2 = ⃗0 implies c 1 ⃗w 1 + c 2 ⃗w 2 = ⃗0.<br />

The proof of this condition is routine.<br />

Subsection Three.V.2: Changing Map Representations<br />

Three.V.2.10 (a) Yes, each has rank two.<br />

(b) Yes, they have the same rank.<br />

(c) No, they have different ranks.<br />

Three.V.2.11<br />

We need only decide what the rank of each is.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!