Suppose V and W are finite-dimensional. Let v∈V. Let
E={T∈L(V,W):Tv=0}.
- Show that E is a subspace of L(V,W).
- Suppose v=0. What is dimE?
Obviously (T1+T2)v=T1v+T2v=0 so E is closed under addition, likewise (λT)v=λ(Tv)=0 making it closed under addition and scalar multiplication, hence it's a subspace. This shows (1)
For (2) let v1=v and extend to a basis v1,…,vn of V. Pick any basis w1,…,wm of W.
Because M(Tv1)=M(T)M(v1)=0 the first column of M(T) must be zero (since multiplying by v1 just extracts the first column)
The other columns can be anything, therefor dimE=(n−1)m=(dimV−1)(dimW) (simply count the parameters that can be anything)
todo: make rigorous, cite theorems from 3.d