The finite-dimensional spectral theorem says that a self-adjoint operator on a complex inner-product space has an orthonormal basis of eigenvectors and all its eigenvalues are real. Equivalently, its matrix is unitarily diagonalisable with real diagonal entries.
For , the matrix is equal to its conjugate transpose:Thus it represents a self-adjoint operator for the standard inner product on . The theorem applies directly, proving
Articles by others on the same topic
There are currently no matching articles.