Next: Natural Transformations Up: Appendix Previous: Heyting algebra
Spectral theorem
Theorem 3.1
(Spectral Theorem) .
Suppose 
is a compact self-adjoint operator on a Hilbert space
then, there is an orthonormal basis of
consisting of eigenvectors of .
Each eigenvalue of is real.
is a compact self-adjoint operator on a Hilbert space
then, there is an orthonormal basis of
consisting of eigenvectors of .
Each eigenvalue of is real.
Cecilia Flori 2007-01-02