Bilinearform/Symmetrisch/Eigenwertkriterium/Fakt

Eigenwertkriterium für den Typ

Es sei ${}\left\langle -,-\right\rangle$ eine symmetrische Bilinearform auf einem endlichdimensionalen reellen Vektorraum und sei ${}v_{1},\ldots ,v_{n}$ eine Basis von ${}V$. Es sei ${}G$ die Gramsche Matrix zu ${}\left\langle -,-\right\rangle$ bezüglich dieser Basis.

Dann besitzt der Typ ${}(p,q)$ der Form folgende Interpretation: ${}p$ ist die Summe der Dimensionen der Eigenräume zu ${}G$ zu positiven Eigenwerten und ${}q$ ist die Summe der Dimensionen der Eigenräume zu ${}G$ zu negativen Eigenwerten.

Zum Beweis, Alternativen Beweis erstellen