Symmetrische Bilinearform/Einschränkung/Abschätzung für p'q'/Aufgabe/Lösung

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Untervektorraum der Dimension , auf dem die eingeschränkte Bilinearform positiv definit ist. Einen solchen Untervektorraum muss es nach der Definition des Typs geben. Nach der Dimensionsabschätzung für den Durchschnitt von Untervektorräumen besitzt mindestens die Dimension . Da dies ein Untervektorraum von ist, auf dem die Form positiv definit ist, gilt