Espectro pontual de operadores auto-adjuntos e de operadores compactos. Teorema da decomposição espectral para operadores auto-adjuntos compactos.