- 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.