Lineare Abbildung/Duale Abbildung/Funktorielle Eigenschaften/Fakt/Beweis

Beweis

1. Für  $f\in W^{\ast }$  ist

   ${(\phi \circ \psi )}^{\ast }(f)=f\circ (\phi \circ \psi )=(f\circ \phi )\circ \psi ={\phi }^{\ast }(f)\circ \psi ={\psi }^{\ast }({\phi }^{\ast }(f)).$

2. Dies folgt direkt aus  $f\circ {\mathrm{Id}}_V=f$. 
3. Es sei  $f\in V^{\ast }$  und

   ${\psi }^{\ast }(f)=0.$

   Wegen der Surjektivität von $\psi$ gibt es für jedes  $v\in V$  ein  $u\in U$  mit  $\psi (u)=v$.  Daher ist

   $f(v)=f(\psi (u))=({\psi }^{\ast }(f))(u)=0$

   und $f$ ist selbst die Nullabbildung. Nach Fakt ist ${\psi }^{\ast }$ injektiv.

4. Die Voraussetzung bedeutet, dass man  $U\subseteq V$  als Untervektorraum auffassen kann. Man kann daher nach Fakt

   $V=U\oplus U^{\prime }$

   mit einem weiteren $K$-Untervektorraum  $U^{\prime }\subseteq V$  schreiben. Eine Linearform

   $g:U⟶K$

   lässt sich zu einer Linearform

   $\tilde{g}:V⟶K$

   fortsetzen, indem man beispielsweise $\tilde{g}$ auf $U^{\prime }$ als die Nullform ansetzt. Dies bedeutet die Surjektivität.

Zur bewiesenen Aussage