Es seien
und
endlichdimensionale
-Vektorräume
mit
symmetrischen Bilinearformen
und
.
a) Zeige, dass auf
durch
-

eine symmetrische Bilinearform gegeben ist, und dass dabei
und
orthogonal
zueinander sind.
b) 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.
c) Der
Typ
der Bilinearformen sei
bzw.
. Zeige, dass der Typ von
gleich
ist.