, so the linear transformation is additive (has additivity)
, so the linear transformation is homogeneous (has homogeneity)
Recall that the zero map maps all vectors to , so . But the interesting thing is to consider some set of vectors that all get mapped to :
Nullspace, Range
Given , define:
Which are the nullspace or kernel of , and the range/image of respectively.
As an example, in let be the orthogonal projection onto the line :
Then:
The is any vector on the line . The line contains the vector (from rise over run) so then .
The is the vectors perpendicular to the line . The line perpendicular is , so then we can choose the vector spanned via .
But notice that both of these were their own subspaces!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
Always, you can find out that and are nullspaces of . We'll see later that they are a direct sum even iff (and not ). We'll prove this via projections which we'll see in two weeks.
Recall that and since each dimension solely was 1. But does this happen all the time? Yes!!! This is the rank-nullity theorem (you've heard of this) and we'll prove it:
The Fundamental Theorem of Linear Maps
Given where is finite dimensional, then:
We won't do the whole proof here, but here's the idea.
Proof
Suppose that .
1. Start with a basis for $\text{null}(T)$, denoted $v_1, ..., v_k$. 2. Extend the basis to encompass all of $V$ via $v_1, ..., v_k, v_{k+1}, ..., v_n$ 3. Find the basis vectors $T(v_{k+1}), ..., T(v_n)$ as a basis for $\text{range}(T)$, and show that it is a basis. 1. This is where the heavy lifting is. 2. Show LI. Consider: $$ a_1T(v_{k+1}) + \dots + a_{n-k}T(v_{n}) = \vec{0} $$ But then we can rewrite our transformation as: $$ T(a_1v_{k+1} + \dots + a_{n-k}v_{n}) = \vec{0} $$ So then $a_1v_{k+1} + \dots + a_{n-k}v_n \in \text{null}(T)$. But we have a basis for it so then there are scalars such that $v = a_1v_{k+1} + \dots + a_{n-k}v_n = b_1v_1 + \dots + b_kv_k$ for some $b_i$'s. So then: $$ \vec{0} = b_1v_1 + \dots + b_kv_k - a_1v_{k+1} - \dots - a_{n-k}v_k $$ But this $v_1, ..., v_k, ..., v_n$ is a basis for $V$, so then all $a_i, b_i = 0$, so then $v = \vec{0}$ and thus we get LI. 1. Show they span (this is omitted for times sake). 4. Thus then $\text{dim}(\text{range}(T)) = n-k$, as needed. ☐