Processing Math: Done
To print higher-resolution math symbols, click the
Hi-Res Fonts for Printing button on the jsMath control panel.

No jsMath TeX fonts found -- using image fonts instead.
These may be slow and might not print well.
Use the jsMath control panel to get additional information.
jsMath Control PanelHide this Message


jsMath

Archetype N   

From A First Course in Linear Algebra
Version 2.99
© 2004.
Licensed under the GNU Free Documentation License.
http://linear.ups.edu/

Summary  Linear transformation with domain larger than its codomain, so it is guaranteed to not be injective. Happens to be onto.

A linear transformation: (Definition LT)

T:5→ℂ3T                x1 x2 x3 x4 x5                  =   2x1+x2+3x34x4+5x5 x12x2+3x39x4+3x5 3x1+4x36x4+5x5     

A basis for the null space of the linear transformation: (Definition KLT)

                        1 1 2 0 1                  2 1 3 1 0                          

Injective: No. (Definition ILT)
Since the kernel is nontrivial Theorem KILT tells us that the linear transformation is not injective. Also, since the rank can not exceed 3, we are guaranteed to have a nullity of at least 2, just from checking dimensions of the domain and the codomain. In particular, verify that

T                3 1 2 3 1                   =   6 19 6      T                4 4 2 1 4                   =   6 19 6       

This demonstration that T is not injective is constructed with the observation that

        4 4 2 1 4           z =        3 1 2 3 1          +        1 5 0 2 3           =        1 5 0 2 3          KT and  

so the vector z effectively “does nothing” in the evaluation of T.

A basis for the range of the linear transformation: (Definition RLT)
Evaluate the linear transformation on a standard basis to get a spanning set for the range (Theorem SSRLT):

       2 1 3        1 2 0        3 3 4        4 9 6        5 3 5         

If the linear transformation is injective, then the set above is guaranteed to be linearly independent (Theorem ILTLI). This spanning set may be converted to a “nice” basis, by making the vectors the rows of a matrix (perhaps after using a vector reperesentation), row-reducing, and retaining the nonzero rows (Theorem BRS), and perhaps un-coordinatizing. A basis for the range is:

       1 0 0        0 1 0        0 0 1         

Surjective: Yes. (Definition SLT)
Notice that the basis for the range above is the standard basis for 3. So the range is all of 3 and thus the linear transformation is surjective.

Subspace dimensions associated with the linear transformation. Examine parallels with earlier results for matrices. Verify Theorem RPNDD.

Domain dimension: 5 Rank: 3 Nullity: 2  

Invertible: No.
Not surjective, and the relative sizes of the domain and codomain mean the linear transformation cannot be injective. (Theorem ILTIS)

Matrix representation (Theorem MLTCV):

T:5→ℂ3Tx=AxA=   2 1 3 1 2 0 3 3 4 4 9 6 5 3 5