Bilinearform/Symmetrisch/Eigenwertkriterium/Fakt/Name/Inhalt

Es sei eine symmetrische Bilinearform auf einem endlichdimensionalen reellen Vektorraum und sei eine Basis von . Es sei die Gramsche Matrix zu bezüglich dieser Basis. Dann besitzt der Typ der Form folgende Interpretation: ist die Summe der Dimensionen der Eigenräume zu zu positiven Eigenwerten und ist die Summe der Dimensionen der Eigenräume zu zu negativen Eigenwerten.