Let with . The Hermitian operator identity and conjugate linearity of the first slot of the inner product implyThe squared norm is positive, so : every such eigenvalue is real.
For two eigenfunctions, apply the same Hermitian operator identity across the two states:Hence . Distinct eigenvalues therefore imply orthogonal eigenfunctions. Within a degenerate eigenspace, orthogonality is a possible basis choice, rather than a consequence for every pair of vectors.
Articles by others on the same topic
There are currently no matching articles.