Consequências do teorema de decomposição espectral para operadores auto-adjuntos compactos.

Extensão de operadores em L(X,Y) ao completado de X (no caso de Y e. Banach); extensão de operadores compactos é compacta. Os operadores integrais de Fredholm em L^2([a,b]) são compactos.