# Mannigfaltigkeit/Tangentialbündel/Einführung/Textabschnitt

Zu jedem Punkt $P\in M$ einer Mannigfaltigkeit gehört der Tangentialraum $T_{P}M$. Der Tangentialraum ist ein $n$-dimensionaler Vektorraum, wobei $n$ die Dimension der Mannigfaltigkeit ist. Seine Elemente sind die Tangentenvektoren, das sind „infinitesimale Richtungen“ an diesem Punkt. Solche Tangenten-Richtungen an zwei verschiedenen Punkten haben zunächst einmal nichts miteinander zu tun, da ihre präzise Definition jeweils nur von beliebig kleinen offenen Umgebungen der Punkte abhängt, und da diese aufgrund der Hausdorff-Eigenschaft disjunkt gewählt werden können.
Dem steht radikal die Vorstellung gegenüber, die sich mit einer offenen Menge $V\subseteq \mathbb {R} ^{n}$ verbindet. Dort kann man für jeden Punkt $Q\in V$ den Tangentialraum $T_{Q}V$ mit dem umgebenden Vektorraum $\mathbb {R} ^{n}$ in natürlicher Weise identifizieren, indem man dem Vektor $v\in \mathbb {R} ^{n}$ den Tangentenvektor zuordnet, der durch die lineare Kurve $t\mapsto Q+tv$ definiert wird. Da diese Identifizierung für jeden Punkt gilt, besteht zwischen den Tangentialräumen zu $Q\in V\subseteq \mathbb {R} ^{n}$ eine direkte Parallelität.
Da eine Mannigfaltigkeit durch offene Mengen überdeckt wird, die diffeomorph zu offenen Mengen in einem euklidischen Raum sind, liegt die Vermutung nahe, dass die verschiedenen Tangentialräume doch nicht völlig isoliert dastehen. Das Konzept des Tangentialbündels vereinigt alle Tangentialräume und ermöglicht es, die lokale Verbundenheit der Tangentialräume wiederzuspiegeln.

## Definition

Es sei $M$ eine differenzierbare Mannigfaltigkeit. Dann nennt man die Menge
    $TM=\biguplus _{P\in M}T_{P}M\,,$
versehen mit der Projektionsabbildung
    $\pi \colon TM\longrightarrow M,\,(P,v)\longmapsto P,$
das Tangentialbündel von $M$.
Ein Punkt $u\in TM$ in einem Tangentialbündel besitzt also stets einen Basispunkt $P\in M$ und ist ein Element im Tangentialraum $T_{P}M$. Man schreibt einen solchen Punkt zumeist als $(P,v)$ mit $P\in M$ und $v\in T_{P}M$. Für eine offene Menge $V\subseteq \mathbb {R} ^{n}$ ist $TV=V\times \mathbb {R} ^{n}$, also ein Produktraum. Dies gilt im Allgemeinen nicht für eine beliebige Mannigfaltigkeit. Das Tangentialbündel bringt zunächst einmal nur die verschiedenen Tangentialräume disjunkt zusammen, ohne dass verschiedene Tangentialräume miteinander identifiziert würden; allerdings entsteht durch die Topologie, die wir auf dem Tangentialbündel gleich einführen werden, eine zusätzliche „Nachbarschaftsstruktur“ zwischen den Tangentialräumen.

## Definition

Es seien $M$ und $N$ differenzierbare Mannigfaltigkeiten und
    $\varphi \colon M\longrightarrow N$
eine differenzierbare Abbildung. Es seien $TM$ und $TN$ die zugehörigen Tangentialbündel. Dann versteht man unter der Tangentialabbildung
    $T(\varphi )\colon TM\longrightarrow TN$
die disjunkte Vereinigung der Tangentialabbildungen in den einzelnen Punkten, also
    $T(\varphi )=\biguplus _{P\in M}T_{P}(\varphi )\,.$

## Beispiel

Es sei $M$ eine differenzierbare Mannigfaltigkeit und
    $\alpha \colon U\longrightarrow V$
eine Karte mit $V\subseteq \mathbb {R} ^{n}$ offen. Dann induziert die Karte eine natürliche Bijektion
    $T{\left(\alpha ^{-1}\right)}\colon TV=V\times \mathbb {R} ^{n}\longrightarrow TU,\,(Q,v)\longmapsto {\left(\alpha ^{-1}(Q),[s\mapsto \alpha ^{-1}(Q+sv)]\right)}.$
Dabei bewegt sich $s\in I$ in einem reellen Intervall derart, dass $Q+sv\in V$ ist (vergleiche Fakt). Da $V\times \mathbb {R} ^{n}$ ein Produkt von topologischen Räumen ist, ist $TV=V\times \mathbb {R} ^{n}$ selbst ein topologischer Raum, und es liegt nahe, diese Topologie auf $TU$ zu übertragen und daraus insgesamt eine Topologie auf dem Tangentialbündel $TM$ zu konstruieren.

## Definition

Es sei $M$ eine differenzierbare Mannigfaltigkeit der Dimension $n$ und
    $TM=\biguplus _{P\in M}T_{P}M\,$
das Tangentialbündel, versehen mit der Projektionsabbildung
    $\pi \colon TM\longrightarrow M,\,(P,v)\longmapsto P.$
Das Tangentialbündel wird mit derjenigen Topologie versehen, bei der eine Teilmenge $W\subseteq TM$ genau dann offen ist, wenn für jede Karte
    $\alpha \colon U\longrightarrow V$
die Menge $(T(\alpha )){\left(W\cap \pi ^{-1}(U)\right)}$ offen in $V\times \mathbb {R} ^{n}$ ist.
Insbesondere ist für jede offene Menge $U\subseteq M$ das Urbild $\pi ^{-1}(U)=TU\subseteq TM$ offen, d.h. die Projektion $\pi$ ist stetig.

## Lemma

Es seien $M$ und $N$ differenzierbare Mannigfaltigkeiten und es sei
    $\varphi \colon M\longrightarrow N$
eine differenzierbare Abbildung. Es sei
    $T(\varphi )\colon TM\longrightarrow TN$
die zugehörige Tangentialabbildung. Dann gelten folgende Aussagen.

### Beweis

(1) folgt unmittelbar aus der Definition der Tangentialabbildung. (2) folgt aus (1) unter Verwendung der natürlichen Identifizierung $TV=V\times \mathbb {R} ^{n}$ für eine offene Menge im $\mathbb {R} ^{n}$. (3) folgt aus Fakt (1). (4) folgt aus Fakt (4). (5). Zu einer offenen Menge
    $V\subseteq N\,$
ist $TV=\pi ^{-1}V\subseteq TN$ offen und daher ist $(T(\varphi ))^{-1}TV=T\varphi ^{-1}(V)\subseteq TM$ offen. Es genügt die Stetigkeit von
    $T\varphi ^{-1}(V)\longrightarrow TV$
nachzuweisen. Dabei kann man $V$ als ein Kartengebiet ansetzen und $\varphi ^{-1}(V)$ durch Kartengebiete überdecken. Dann genügt es, die Stetigkeit
    $TU\longrightarrow TV$
für Kartengebiete $U\subseteq M$ und $V\subseteq N$ zu zeigen. Es gibt dann ein kommutatives Diagramm
    ${\begin{matrix}TU&{\stackrel {T(\varphi )}{\longrightarrow }}&TV&\\\downarrow &&\downarrow &\\U'\times \mathbb {R} ^{m}&{\stackrel{\longrightarrow }}&V'\times \mathbb {R} ^{n}&\!\!\!\!\!,\\\end{matrix}}$
    $U'\times \mathbb {R} ^{m}\longrightarrow V'\times \mathbb {R} ^{n},\,(P,v)\longmapsto (\varphi (P),{\left(D\varphi \right)}_{P}{\left(v\right)}),$
beweisen, wobei wir nur die hintere Komponente, also ${\left(D\varphi \right)}_{P}{\left(v\right)}$, betrachten müssen. Die $j$-te Komponente davon ist
    $\sum _{i=1}^{m}v_{i}{\frac {\partial \varphi _{j}}{\partial x_{i}}}(P),$
und dies sind nach der $C^{1}$-Differenzierbarkeits-Voraussetzung stetige Abbildungen. (6) folgt aus (5).
$\Box$