Symmetrische Bilinearform/Einschränkung/Abschätzung für p'q' nach oben/Aufgabe

Aus Wikiversity

Es sei ein endlichdimensionaler -Vektorraum mit einer Bilinearform vom Typ und es sei ein Untervektorraum. Die Einschränkung der Bilinearform sei vom Typ . Zeige und

.