T is normal implies that ∣∣Tv∣∣=∣∣T∗v∣∣ for all v. Thus, if vϵ null T then ∣∣Tv∣∣=0 implies that∣∣T∗v∣∣=0 , thus, if vϵ null T∗. As (T∗)∗=T , this means that vϵ null T iff vϵ null T∗. So the kernels of T and T∗ are equal.
Null T∗=(range T)⊥ and Null T=(range T∗)⊥ . As null T = null T∗, this implies that
(Range T)⊥=(range T∗)⊥
If U is a subspace of V, then (U)⊥ = U. Taking the orthogonal complement of both sides of the above equation gives us range T = range T∗.
Comments