Let with , using the standard complex Hermitian inner product. Then
Taking the complex conjugate and using yields . Since ,
Thus every eigenvalue of an anti-Hermitian matrix lies on the imaginary axis, including the possible zero eigenvalue; each nonzero eigenvalue is purely imaginary.
Now take and . On one hand . On the other hand
Consequently . Distinct eigenvalues therefore imply
which is the required orthogonality of the eigenvectors.

Articles by others on the same topic (0)

There are currently no matching articles.