Tangentialabbildung/C/Punktweise/Elementare Eigenschaften/Fakt

Es seien ${}M$ und ${}N$ komplexe Mannigfaltigkeiten und es sei

$\varphi \colon M\longrightarrow N$

eine holomorphe Abbildung. Es sei ${}P\in M$ , ${}Q=\varphi (P)$ und es sei

$T_{P}(\varphi )\colon T_{P}M\longrightarrow T_{Q}N$

die zugehörige Tangentialabbildung. Dann gelten folgende Aussagen.

1. Wenn ${}M\subseteq {\mathbb {C} }^{m}$ und ${}N\subseteq {\mathbb {C} }^{n}$ offene Teilmengen sind und die Tangentialräume mit den umgebenden komplexen Räumen identifiziert werden, so ist die Tangentialabbildung gleich dem totalen Differential ${}\left(D\varphi \right)_{P}$.
2. Wenn

   $\alpha \colon U\longrightarrow V$

   mit ${}P\in U$ und ${}V\subseteq {\mathbb {C} }^{m}$ und

   $\beta \colon U'\longrightarrow W$

   mit ${}Q\in U'$ und ${}W\subseteq {\mathbb {C} }^{n}$ Karten sind, so ist das Diagramm

   ${\begin{matrix}T_{p}M&{\stackrel {T_{P}\varphi }{\longrightarrow }}&T_{Q}N&\\\downarrow &&\downarrow &\\{\mathbb {C} }^{m}&{\stackrel {\left(D{\left(\beta \circ \varphi \circ \alpha ^{-1}\right)}\right)_{\alpha (P)}}{\longrightarrow }}&{\mathbb {C} }^{n}&\!\!\!\!\!\\\end{matrix}}$

   kommutativ, wobei die vertikalen Abbildungen durch die Isomorphismen ${}[\gamma ]\mapsto (\alpha \circ \gamma )'(0)$ bzw. ${}[\delta ]\mapsto (\beta \circ \delta )'(0)$ gegeben sind.

3. ${}T_{P}(\varphi )$ ist ${}{\mathbb {C} }$-linear.
4. Wenn ${}L$ eine weitere komplexe Mannigfaltigkeit, ${}R\in L$ und

   $\psi \colon L\longrightarrow M$

   eine weitere holomorphe Abbildung mit ${}\psi (R)=P$ ist, so gilt

   ${}T_{R}(\varphi \circ \psi )=T_{P}(\varphi )\circ T_{R}(\psi )\,.$

5. Wenn ${}\varphi$ eine biholomorphe Abbildung ist, dann ist ${}T_{P}(\varphi )$ ein Isomorphismus.
6. Für eine holomorphe Kurve

   $\gamma \colon B\longrightarrow M$

   mit einem offenen Ball ${}B\subseteq {\mathbb {C} }$, ${}0\in B$ und ${}\gamma (0)=P$ gilt im Tangentialraum ${}T_{P}M$ die Gleichheit

   ${}[\gamma ]=(T_{0}(\gamma ))(1)\,.$

Zum Beweis, Alternativen Beweis erstellen