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

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