Sei φ: V×V → K eine positiv semi-definite symmetrische Billinearform oder Hermitesche Form.
Es ist φ genau dann positiv definit, wenn φ nicht ausgeartet ist.
Wir haben im Skiprt stehen , dass dieses Korollar impliziert, dass Nichtausgeartetheit sich auf Untervektorräume vererbe . Ich komme aber nicht darauf, warum diese Implikation gilt. Eine kurze Erklröung wäre hilfreich. Vers