Teorema di struttura per operatori isometrici