06.09.2021 Views

Linear Algebra, 2020a

Linear Algebra, 2020a

Linear Algebra, 2020a

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.

206 Chapter Three. Maps Between Spaces<br />

2.15 Example Where h: R 3 → R 4 is<br />

⎛ ⎞<br />

⎛ ⎞ x<br />

x<br />

⎜ ⎟<br />

⎝y⎠<br />

↦−→<br />

h<br />

0<br />

⎜ ⎟<br />

⎝y⎠<br />

z<br />

0<br />

the range space and null space are<br />

⎛ ⎞<br />

a<br />

⎛<br />

0<br />

R(h) ={ ⎜ ⎟<br />

⎝b⎠ | a, b ∈ R} and N (h) ={ ⎜<br />

0<br />

⎞<br />

⎟<br />

⎝0⎠ | z ∈ R}<br />

z<br />

0<br />

and so the rank of h is 2 while the nullity is 1.<br />

2.16 Example If t: R → R is the linear transformation x ↦→ −4x, then the range<br />

is R(t) =R. The rank is 1 and the nullity is 0.<br />

2.17 Corollary The rank of a linear map is less than or equal to the dimension of<br />

the domain. Equality holds if and only if the nullity of the map is 0.<br />

We know that an isomorphism exists between two spaces if and only if the<br />

dimension of the range equals the dimension of the domain. We have now seen<br />

that for a homomorphism to exist a necessary condition is that the dimension of<br />

the range must be less than or equal to the dimension of the domain. For instance,<br />

there is no homomorphism from R 2 onto R 3 . There are many homomorphisms<br />

from R 2 into R 3 , but none onto.<br />

The range space of a linear map can be of dimension strictly less than the<br />

dimension of the domain and so linearly independent sets in the domain may<br />

map to linearly dependent sets in the range. (Example 2.3’s derivative transformation<br />

on P 3 has a domain of dimension 4 but a range of dimension 3 and the<br />

derivative sends {1, x, x 2 ,x 3 } to {0, 1, 2x, 3x 2 }). That is, under a homomorphism<br />

independence may be lost. In contrast, dependence stays.<br />

2.18 Lemma Under a linear map, the image of a linearly dependent set is linearly<br />

dependent.<br />

Proof Suppose that c 1 ⃗v 1 + ···+ c n ⃗v n = ⃗0 V with some c i nonzero. Apply h to<br />

both sides: h(c 1 ⃗v 1 + ···+ c n ⃗v n )=c 1 h(⃗v 1 )+···+ c n h(⃗v n ) and h(⃗0 V )=⃗0 W .<br />

Thus we have c 1 h(⃗v 1 )+···+ c n h(⃗v n )=⃗0 W with some c i nonzero. QED<br />

When is independence not lost? The obvious sufficient condition is when<br />

the homomorphism is an isomorphism. This condition is also necessary; see

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

Saved successfully!

Ooh no, something went wrong!