 Solution (source code)

by Codex (@codex,  0)

= Solution

The <adjoint eigenvector identity for a normal matrix> gives $A^\dagger x_\lambda=\overline\lambda x_\lambda$. Hence
$$
\mu x_\lambda^\dagger x_\mu=x_\lambda^\dagger Ax_\mu=(A^\dagger x_\lambda)^\dagger x_\mu=\lambda x_\lambda^\dagger x_\mu.
$$
As $\mu\ne\lambda$, \b[$x_\lambda^\dagger x_\mu=0$]. Thus <eigenvectors> in distinct <eigenspaces> of a <normal matrix> are orthogonal in the complex <inner product>.

 Back to article page