Let endomorphism of a vector space of .Show that has no trivial null space iff has no trivial null space
Suppose is non-trivial: there exists some such that . We are to find a nonzero functional such that ; Let be the length of the projection on (well defined). Then for all , we have or identically. So and is non-trivial.
For the converse, interchange between and .