Bilinearform/Symmetrisch/Typ/Trägheitssatz/Fakt/Name/Inhalt

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.