Suppose we have V, a finite-dimensional complex vector space with a Hermitian inner product. Let T: V to V be an arbitrary linear operator, and T^* be its adjoint.
I wish to prove that T is diagonalizable iff for every eigenvector v of T, there is an eigenvector u of T^* such that <u, v> is...