|
|
@@ -551,8 +551,8 @@ $s$. Weiter sei $p := F^{-1}(s)$.
|
|
|
\item Wenn jemand diesen Beweis führt, bitte an info@martin-thoma.de
|
|
|
schicken.
|
|
|
\item $T_{n(S)} S^2 = \langle n(s) \rangle^\perp = T_s S$
|
|
|
- \item Wegen \cref{prop:5.1a} ist $d_s n$ ein Homomorphismus.\\
|
|
|
- TODO: Warum sollte das ein Endomorphismus sein?
|
|
|
+ \item Wegen \cref{prop:5.1a} ist $d_s n$ ein Homomorphismus.%\\
|
|
|
+ %TODO: Warum sollte das ein Endomorphismus sein?
|
|
|
\item Zu zeigen: $\forall x,y \in I_s S: \langle x, d_s n (y) \rangle = \langle d_s n(x), y \rangle$
|
|
|
|
|
|
Aufgrund der Bilinearität des Skalarproduktes genügt es diese Eigenschaft
|
Martin Thoma