Sesquilinearform/Hermitesch/Typ/Trägheitssatz/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Trägheitssatz von Sylvester (C)

Es sei ein endlichdimensionaler komplexer Vektorraum mit einer hermiteschen Sesquilinearform vom Typ .

Dann ist die Gramsche Matrix von bezüglich einer jeden Orthogonalbasis eine Diagonalmatrix mit positiven reellen und negativen reellen Einträgen.

Zum Beweis, Alternativen Beweis erstellen