Let together with be a complex inner product space with zero vector , and suppose that is finite-dimensional and . Let be a linear operator on that is self-adjoint.
Then there are a unit vector and a real number such that is an eigenvector of with eigenvalue .
Loading…
No relations recorded yet.