Proposizione 7.2
Sia
base ortonormale di
;
allora
il prodotto scalare di due vettori espressi rispetto a
è uguale al prodotto scalare standard dei vettori delle loro coordinate, quindi l'isomorfismo di gruppo:
ove il prodotto in
è l'usuale prodotto righe per colonne, induce un isomorfismo tra i sottogruppi
e
.