Bilinearform/Symmetrisch/Typ/Trägheitssatz/Fakt

Trägheitssatz von Sylvester

Es sei ein endlichdimensionaler reeller Vektorraum mit einer symmetrischen Bilinearform vom Typ .

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