Bilinearform/Linearformen/Nicht ausgeartet/Fakt

Es sei ${}K$ ein Körper und ${}V$ ein ${}K$-Vektorraum, der mit einer Bilinearform ${}\left\langle -,-\right\rangle$ versehen sei. Dann gelten folgende Aussagen

1. Für jeden Vektor ${}u\in V$ sind die Zuordnungen

   $V\longrightarrow K,\,v\longmapsto \left\langle u,v\right\rangle ,$

   und

   $V\longrightarrow K,\,v\longmapsto \left\langle v,u\right\rangle ,$

   ${}K$-linear.

2. Die Zuordnung

   $V\longrightarrow {V}^{*},\,u\longmapsto \left\langle u,-\right\rangle ,$

   ist ${}K$-linear.

3. Wenn ${}\left\langle -,-\right\rangle$ nicht ausgeartet ist, so ist die Zuordnung in (2) injektiv. Ist ${}V$ zusätzlich endlichdimensional, so ist diese Zuordnung bijektiv.

Zum Beweis, Alternativen Beweis erstellen