**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.

Cecilia Flori 2007-01-02