Let with . The Hermitian operator identity and conjugate linearity of the first slot of the inner product imply
The 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 (0)

There are currently no matching articles.