Tangentialraum - LinkFang.de





Tangentialraum


Dieser Artikel befasst sich mit dem Tangentialraum einer abstrakten differenzierbaren Mannigfaltigkeit. Für den Tangentialraum einer Untermannigfaltigkeit des [math]\R^3[/math] siehe Tangentialebene

In der Differentialgeometrie ist ein Tangentialraum [math]T_xM[/math] ein Vektorraum, der eine differenzierbare Mannigfaltigkeit [math]M[/math] am Punkt [math]x[/math] linear approximiert. Sei [math] \gamma : (-\varepsilon,\varepsilon) \to M [/math] eine differenzierbare Kurve mit [math]\gamma(0)=x[/math], dann ist:

[math] v= \frac{d\gamma}{dt}(0)\in T_xM[/math]

ein Tangentialvektor. Die Tangentialvektoren in einem Punkt [math]x\in M[/math] spannen einen Vektorraum auf, den Tangentialraum [math]T_xM[/math]. Siehe auch Tangentialbündel.

In der Algebraischen Geometrie muss man diesen Definitionsansatz modifizieren, um singuläre Punkte und wechselnde Dimensionen zu berücksichtigen.

Dieser Artikel befasst sich nur mit dem Tangentialraum über einer differenzierbaren Mannigfaltigkeit im Sinne der Differentialgeometrie.

Übersicht

Am einfachsten ist eine differenzierbare Mannigfaltigkeit zu veranschaulichen, die als Untermannigfaltigkeit in einen Euklidischen Raum (z. B. den [math]\R^3[/math]) eingebettet ist. Als Beispiel soll die Sphäre (= Kugeloberfläche) [math]S^2[/math] im [math]\R^3[/math] dienen. Der Tangentialraum in einem Punkt [math]p \in S^2[/math] ist dann die Ebene durch den Nullpunkt, die parallel zur Tangentialebene an die Kugel im Punkt [math]p[/math] ist.

Ein Vektorfeld ordnet jedem Punkt [math]p[/math] einer Mannigfaltigkeit [math]M[/math] einen Vektor aus dem zugehörigen Tangentialraum [math]T_pM[/math] zu. Zum Beispiel könnte man mit einem Vektorfeld die Windstärke und -richtung auf der Erdoberfläche angeben.

Alle Tangentialräume einer Mannigfaltigkeit [math]M[/math] werden als Tangentialbündel von [math]M[/math] zusammengefasst; das Tangentialbündel ist selbst eine Mannigfaltigkeit; seine Dimension ist doppelt so groß wie die von [math]M[/math].

Formale Definitionen

In der Literatur ist es üblich, gleich drei verschiedene Definitionen anzugeben, die einer geometrischen, einer algebraischen und einer theoretisch-physikalischen (auf Tensoren hinarbeitenden) Sichtweise entsprechen. Der anschauliche geometrische Zugang erweist sich in der Anwendung jedoch gleichsam als der am mühsamsten zu handhabende.

Die beiden auf die geometrische Definition folgenden algebraischen Definitionen des Tangentialraums funktionieren allerdings nur für Mannigfaltigkeiten der Klasse [math]C^\infty[/math], aber nicht für [math]C^k[/math] mit [math]k\lt\infty[/math].

Geometrische Definition: Richtungsfelder von Kurven

Gegeben seien eine [math]n[/math]-dimensionale [math]C^k[/math]-Mannigfaltigkeit [math]M[/math] mit [math]k \geq 1[/math], ein Punkt [math]p[/math] aus [math]M[/math], eine offene Umgebung [math]U[/math] von [math]p[/math] und eine Karte [math]\varphi \colon U \to \R^n[/math].

Ist [math]\gamma \colon (-1,1) \to M[/math] mit [math]\gamma(0) = p[/math] eine differenzierbare Kurve in [math]M[/math], so ist [math]\varphi \circ \gamma \colon (-1,1) \to \R^n[/math] eine differenzierbare Kurve im [math]\R^n[/math]. Die Ableitung [math](\varphi \circ \gamma)'(0)[/math] existiert also. Diese Ableitung ist ein Vektor im [math]\R^n[/math]. Kurven [math]\gamma_i[/math], für die [math](\varphi \circ \gamma_i)'(0)[/math] übereinstimmt, bilden eine Äquivalenzklasse. Eine solche Äquivalenzklasse nennt man einen Tangentialvektor von [math]M[/math] in [math]p[/math] und schreibt dafür [math]\gamma'(0)[/math]. Der Tangentialraum [math]T_pM[/math] ist die Menge aller dieser Tangentialvektoren; man kann zeigen, dass er nicht von der Wahl der Karte [math]\varphi[/math] abhängt.

Es bleibt zu zeigen, dass [math]T_pM[/math] durch Erklärung von Vektoraddition und Skalarmultiplikation zu einem Vektorraum wird. Dazu definiert man die Abbildung [math](\mathrm{d}\varphi)|_p : T_pM \to \R^n[/math] durch [math]\mathrm{d}\varphi|_p(\gamma'(0)) = (\varphi \circ \gamma)'(0)[/math], wobei die Funktion [math]\gamma[/math] auf der rechten Seite ein beliebiger Repräsentant der Äquivalenzklasse [math]\gamma'(0)[/math] ist. Man zeigt nun, dass diese Abbildung bijektiv ist und überträgt mit ihrer Hilfe die Vektorraumoperationen von [math]\R^n[/math] nach [math]T_pM[/math]; man zeigt außerdem, dass diese Konstruktion von der Wahl der Karte [math]\varphi[/math] unabhängig ist.

Erste Algebraische Definition: verallgemeinerte Ableitungen

Sei [math]M[/math] eine [math]C^\infty[/math]-Mannigfaltigkeit. Eine Funktion [math]g \colon M \to \R[/math] gehört zur Klasse [math]C^\infty(M)[/math], falls [math]g \circ \varphi^{-1}[/math] für jede Karte [math]\varphi \colon U \to \R^n[/math] unendlich oft differenzierbar ist. Das so definierte [math]C^\infty(M)[/math] ist eine assoziative Algebra.

Fixieren wir einen Punkt [math]p[/math] in [math]M[/math]. Eine Derivation an [math]p[/math] ist eine lineare Abbildung [math]D \colon C^\infty(M) \to \R[/math], die für alle [math]g[/math] und [math]h[/math] in [math]C^\infty(M)[/math] die (analog zur Produktregel) folgende Eigenschaft hat: [math]D(gh)=D(g)h(p) + g(p)D(h)[/math]. Diese Derivationen bilden auf natürliche Weise einen reellen Vektorraum; dies ist der Tangentialraum [math]T_pM[/math].

Die Beziehung zwischen den zuvor definierten Tangentialvektoren und den Derivationen ist wie folgt: falls [math]\gamma[/math] eine Kurve mit Tangentialvektor [math]\gamma'(0)[/math] ist, dann ist die entsprechende Derivation [math]D(g)=(g\circ \gamma)'(0)[/math] (mit der Ableitung im üblichen Sinne, da [math]g \circ \gamma[/math] eine Funktion von [math](-1,1)[/math] nach [math]\R[/math] ist).

Zweite Algebraische Definition: Dualraum von I/I2

Sei [math]M[/math] wieder eine [math]C^\infty[/math]-Mannigfaltigkeit und [math]p[/math] ein Punkt in [math]M[/math]. Betrachten wir nun das Ideal [math]I[/math] von [math]C^\infty(M)[/math], das aus allen glatten Funktionen [math]g[/math] besteht, die [math]p[/math] auf [math]0[/math] abbilden. Dann sind [math]I[/math] und [math]I^2=\left\{x\cdot y\mid x,y\in I\right\}[/math] reelle Vektorräume, und [math]T_pM[/math] wird als der Dualraum des Quotientenraums [math]I/I^2[/math] definiert. [math]I/I^2[/math] wird auch als Kotangentialraum [math]T_p^*M[/math]bezeichnet (siehe unten).

Während diese Definition die abstrakteste ist, ist sie auch diejenige, die man am leichtesten auf andere Situationen übertragen kann, beispielsweise auf Varietäten, wie sie in der Algebraischen Geometrie betrachtet werden.

Sei [math]D[/math] eine Derivation an [math]p[/math]. Dann ist [math]D(g)=0[/math] für jedes [math]g[/math] in [math]I^2[/math] (denn es existieren [math]x,y\in I[/math] mit [math]g=xy[/math], somit [math]D(g)=D(xy)=D(x)y(p)+x(p)D(y)=0[/math]), womit [math]D[/math] eine lineare Abbildung [math]I/I^2\to\R[/math] induziert. Umgekehrt ist [math]D(g)=r((g - g(p)) + I^2)[/math] eine Derivation, wenn [math]r\colon I/I^2\to\R[/math] eine lineare Abbildung ist. Dies zeigt, dass sich der über Derivationen und der über [math]I/I^2[/math] definierte Tangentialraum entsprechen.

Tangentialraum in der algebraischen Geometrie

Hauptartikel: Zariski-Tangentialraum

Die beiden algebraischen Definitionen funktionieren genauso auch für algebraische Varietäten, wobei hier der Tangentialraum auch als Zariski-Tangentialraum bezeichnet wird. Im Unterschied zu Mannigfaltigkeiten können algebraische Varietäten aber Singularitäten haben, dort hat dann der Tangentialraum eine höhere Dimension als in glatten Punkten.

Eigenschaften

Wenn [math]M[/math] eine offene Teilmenge des [math]\R^n[/math] ist, so kann man [math]M[/math] in natürlicher Weise als eine [math]C^\infty[/math]-Mannigfaltigkeit betrachten. Alle Karten sind hierbei die Identität, und die Tangentialräume werden mit dem [math]\R^n[/math] identifiziert.

Tangentialvektoren als Richtungsableitungen

Eine Sichtweise von Tangentialvektoren ist, sie als Richtungsableitungen zu sehen. Für einen Vektor [math]v[/math] im [math]\R^n[/math] definiert man die Richtungsableitung einer glatten Funktion [math]f \colon \R^n \to \R[/math] an einem Punkt [math]p[/math] durch

[math]D_v f(p) = \frac{d}{dt}\bigg|_{t=0}f(p+tv)=\sum_{i=1}^{n}v^i\frac{\partial f}{\partial x^i}(p)[/math]

Diese Abbildung ist offenbar eine Derivation. Tatsächlich ist sogar jede Derivation von [math]C^\infty[/math]([math]\R^n[/math]) von dieser Form. So existiert eine Bijektion zwischen Vektoren (als Tangentialvektor am Punkt [math]p[/math] gedacht) und den Derivationen.

Da Tangentialvektoren an einer allgemeinen Mannigfaltigkeit als Derivationen definiert werden können, ist es nur natürlich, sie auch als Richtungsableitungen zu sehen. Konkret kann man für einen Tangentialvektor [math]v[/math] von [math]M[/math] an einem Punkt [math]p[/math] (als Derivation gesehen) die Richtungsableitung in Richtung [math]v[/math] für [math]f \colon M \to \R[/math] Element von [math]C^\infty(M)[/math] wie folgt definieren:

[math]D_v(f)=v(f)[/math]

Sehen wir [math]v[/math] im Sinne der geometrischen Definition des Tangentialraums als [math]v=\gamma'(0)[/math] für eine Kurve [math]\gamma[/math], schreiben wir

[math]D_v(f)=(f \circ \gamma)'(0)[/math].

Die Totalableitung einer Abbildung

Siehe auch: Pushforward

Jede differenzierbare Abbildung [math]f\colon M \to N[/math] zwischen zwei differenzierbaren Mannigfaltigkeiten induziert eine lineare Abbildung

[math]\mathrm df_p\colon T_pM \to T_{f(p)}N[/math]

zwischen den entsprechenden Tangentialräumen, definiert durch

[math]\mathrm df_p(\gamma'(0)) := (f \circ \gamma)'(0)[/math]

für die geometrische Definition des Tangentialraums und

[math]\mathrm df_p(D)(g) := D(g \circ f)[/math]

für die Definition mittels Derivationen.

Die lineare Abbildung [math]\mathrm df_p[/math] wird mit Differential, Ableitung, Totalableitung oder auch Tangentialabbildung bezeichnet. Auch hier variieren die Notationen stark. Benutzt werden vor allem: [math]\mathrm df_p[/math], [math]\mathrm Df_p[/math], [math]f_*[/math] und [math]f'(p)[/math].

In einem gewissen Sinne ist die Totalableitung die beste lineare Approximation von f in einer Umgebung von p. In lokalen Koordinaten kann man die Totalableitung als Jacobische Matrix darstellen.

Ist die Tangentialabbildung surjektiv, hat also die Jacobi-Matrix überall vollen Rang, so nennt man die zugrundeliegende Funktion Submersion; ist die Tangentialabbildung injektiv, Immersion.

Ein wichtiges Resultat bezüglich Tangentialabbildungen ist der Satz:

Genau dann, wenn [math]f\colon M \to N[/math] ein lokaler Diffeomorphismus bei [math]p[/math] in [math]M[/math] ist, ist [math]\mathrm df_p\colon T_p M \to T_{f(p)} N[/math] ein linearer Isomorphismus.

Dies ist eine Verallgemeinerung des Satzes über inverse Funktionen auf Abbildungen zwischen Mannigfaltigkeiten.

Kotangentialraum

Hauptartikel: Kotangentialraum

Da der Tangentialraum [math]T_pM[/math] am Punkt [math]p[/math] der Mannigfaltigkeit die Struktur eines Vektorraums trägt, kann man den Dualraum von ihm bilden. Dieser Raum wird Kotangentialraum genannt und gewöhnlicherweise mit [math]T^*_pM[/math] notiert. Der letzten Definition folgend ist der Raum also isomorph zu [math]\textstyle I/I^2[/math]. Der Kotangentialraum spielt in der Differentialgeometrie ebenfalls eine sehr wichtige Rolle. So kann man zum Beispiel das totale Differential

[math]{\rm d}f(p):T_pM\to\R[/math] von [math]f \in C^\infty(M)[/math]

als eine lineare Abbildung verstehen, welche jedem Tangentialvektor die Richtungsableitung in seiner Richtung zuordnet. Das totale Differential [math]{\rm d}f(p)[/math] ist somit ein Element des Kotangentialraums [math]T^*_pM[/math] von [math]M[/math] am Punkt [math]p[/math].

Literatur


Kategorien: Differentialtopologie | Vektorraum

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Tangentialraum (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.