Es seien
und
endlichdimensionale
-Vektorräume
mit
symmetrischen Bilinearformen
und .
- Zeige, dass auf durch
-
eine symmetrische Bilinearform gegeben ist, und dass dabei und
orthogonal
zueinander sind.
- Es sei die
Gramsche Matrix
von bezüglich einer Basis von und die Gramsche Matrix von bezüglich einer Basis von . Zeige, dass die
Blockmatrix
aus und die Gramsche Matrix von bezüglich der zusammengesetzten Basis ist.
- Der
Typ
der Bilinearformen sei bzw. . Zeige, dass der Typ von gleich ist.