Sei K ein Körper, sei V ein n-dimensionaler K-Vektorraum und
sei f : V × V → k eine Bilinearform. Man nennt die Bilinearform f nicht-entartet, falls die
Abbildung
h(f): V → Hom(V, K), v → (w → f(v, w))
ein Isomorphismus von Vektorräumen ist. Zeigen Sie, dass folgende Bedingungen äquivalent
sind:
(i) Die Bilinearform f ist nicht-entartet.
(ii) Gilt f(v, w) = 0 für alle w ∈ V , so folgt v = 0.
(iii) Es existiert eine Basis v1, . . . , vn von V , sodass die zu f assiziierte Matrix (f(vi, vj))1≤i,j≤n
invertierbar ist.
(iv) Für jede Basis v1, . . . , vn von V ist die zu f assoziierte Matrix (f(vi, vj))1≤i,j≤n invertierbar.