Dimostrazione.
Supponiamo sia
una base ortonormale per
e poniamo
.
Allora
, con
si ha
quindi
e da qui segue la terminologia usata.
c.v.d.