Unitärer Vektorraum/Isometrie/Orthogonales Komplement/Fakt
Es sei eine lineare Isometrie auf einem endlichdimensionalen -Vektorraum mit Skalarprodukt und sei ein invarianter Unterraum.
Dann ist auch das orthogonale Komplement invariant.
Insbesondere kann man als direkte Summe
schreiben, wobei die Einschränkungen und ebenfalls Isometrien sind.