3 Linear Maps
3.B Null Spaces and Ranges
NullSpace And Injectivity
We begin with the set of vectors that get mapped to 0.
3.12 Definition nullsapce, null
For , the null space of T,
3.14 Theorem The null space is a subspace
For . Then is a subspace of .
3.15 Definition Injective
A function is call injective if implies .
- is injective if implies
- is injective if it maps distinct inputs to distinct outputs
- one-to-one equals injective
3.16 Theorem Injectivity is quivalent to nullspace equals
For . Then is injective if and only if .
Thus we can check whether a linear map is injective by checking whether 0 is the only vector that mapped to 0 by 3.16.
Range and Surjectivity
We give a name to the set of output vectors of a function.
3.17 Definition range
For , the range of ,
- image euqals to range.
3.19 Theorem The range is a subspace
For . Then is a subspace of .
3.15 Definition Surjective
A function is call surjective if
- onto equals injective
Fundamental Theorem of Linear Maps
3.22 Theorem Fundamental Theorem of Linear Maps
Suppose is finite-dimensional and . Then is finite-dimensional and
3.23 A map to a smaller dimensional space is not injective
Suppose and are finite-dimensional vector spaces such that . Then no linear map from to is injective.
3.24 A map to a larger dimensional space is not surjective
Suppose and are finite-dimensional vector spaces such that . Then no linear map from to is surjective.
Examples
homogeneous system of linear equations
Let for and . Consider the homogeneous system of linear equations
is a solution. Question: Whether any other solutions exist?
Define by
When , we have nonezero solutions. By 3.16, we have is not injective.
- Rephrase question: What condition ensures that is not injective?
- Answer: By 3.22, if , then is not injective.
Inhomogeneous system of linear equations
Let for and . For ,
Question: Whether this is some choice of such that no solution exists.
Define by
We want , it means is not surjective.
- Rephrase question: What condition ensures that is not surjective?
- Answer: By 3.22, if , then is not surjective.