Bilinearform/Symmetrisch/Minorenkriterium für Definitheit/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

(1). Wenn die Bilinearform positiv definit ist, so ist nach Fakt das Vorzeichen der Determinante der Gramschen Matrix gleich , also positiv. Da die Einschränkung der Form auf die Unterräume ebenfalls positiv definit ist, sind auch die Determinanten zu den Untermatrizen positiv.
Wenn umgekehrt die Determinanten alle positiv sind, so folgt aus Fakt, dass die Bilinearform positiv definit ist.

(2) folgt aus (1), indem man die negative Bilinearform, also , betrachtet.

Zur bewiesenen Aussage