*Mnemonics

DomKR
Domain’s dimension = Kernel’s dimension + Range’s dimension

Kernel image

T: V -> W

: “ei” lies in V.
: “ei” ≠ a vector in the kernel.
: T(ei) lies in the range of “W.”
: T(ei)’s are independent and constitute the basis of the range. See SSRLT in Beezer far below.

: a basis of the kernel in V.

: How do we know that B is the basis of V?

The theorem is proved by proving the following

1. B spans V.
T(v)
= t1*T(e1) + … + tr*T(er) This much is given from the assumption.
= T(t1*e1 + … + tr*er)
Accordingly:
v = t1*e1 + … + tr*er
Thus:
v- (t1*e1 + … + tr*er) = 0
Thus, v- (t1*e1 + … + tr*er) is a vector in the kernel.
Thus, v- (t1*e1 + … + tr*er) = r1*f1 +…. +rk*fk
Thus, v = (t1*e1 + … + tr*er) + r1*f1 +…. +rk*fk
Thus, “v” is a linear combination of the vectors in B.

2. B is linearly independent.

: Because T(s1f1 + … +skfk) = 0 (f’s are in the kernel. )

: However, T(ei)’s are independent, according to the assumption.
: Thus, t1=…=tr=0
: Then,

: Then, s1=…=sk=0, because f’s are independent basis vectors in the kernel.
: Hence, t1=….=sk=0.
: Thus, B’s vectors are independent.

=================================================
Beezer’s

range ≠ codomain

“SSRLT”

R(T) = range <R> = span

=================================================