- Es sei ein
Körper,
ein
endlichdimensionaler
-Vektorraum
und eine
Bilinearform
auf . Es seien
und
zwei
Basen
von und es seien
bzw.
die
Gramschen Matrizen
von bezüglich dieser Basen. Zwischen den Basiselementen gelte die Beziehungen
-
die wir durch die
Übergangsmatrix
ausdrücken. Dan
- Es sei ein
endlichdimensionaler
-Vektorraum
mit
Skalarprodukt
und sei
-
ein
selbstadjungierter Endomorphismus.
Dann gibt es eine
Orthonormalbasis
von aus
Eigenvektoren
zu .
- Es sei ein
Körper,
ein
-Vektorraum
und . Es sei
-
eine
alternierende
multilineare Abbildung
in einen weiteren -Vektorraum . Dann gibt es eine eindeutig bestimmte
lineare Abbildung
-
derart, dass das Diagramm -
kommutiert.