Exponentialabbildung

Die Exponentialabbildung ist ein mathematisches Objekt aus dem Bereich der Differentialgeometrie, insbesondere aus den beiden Teilgebieten der riemannschen Geometrie und der Theorie der Lie-Gruppen.

Im Bereich der riemannschen Geometrie kann jedem Tangentialvektor $v$ an eine riemannsche Mannigfaltigkeit $M$ im Punkt $p\in M$ genau eine Geodäte $\gamma _{v}$ mit $\gamma _{v}(0)=p$ und $\gamma _{v}^{\prime }(0)=v$ zugeordnet werden. Dies folgt aus der Differentialgleichung für Geodäten und gilt lokal um $p$ . Die Exponentialabbildung von $v$ im Punkt $p$ , geschrieben als $\exp _{p}(v)$ , bezeichnet dann den Punkt $\gamma _{v}(1)$ . Mit dieser Abbildung kann eine Umgebung eines Punkts der Mannigfaltigkeit mit einer Umgebung der Null im Tangentialraum an diesem Punkt identifiziert werden. Dies führt zu den riemannschen Normalkoordinaten.

Riemannsche Geometrie

Definition

Sei $M$ eine riemannsche Mannigfaltigkeit. Mit $T_{p}M$ wird der Tangentialraum an $M$ im Punkt $p\in M$ beschrieben. Sei $B_{\epsilon }(0)$ eine hinreichend kleine Umgebung der Null in $T_{p}M$ . Die Exponentialabbildung im Punkt $p$

\exp _{p}\colon B_{\epsilon }(0)\to M

ordnet jedem Tangentialvektor $v\in B_{\epsilon }(0)$ den Punkt $\gamma _{v}(1)$ zu, wobei $\gamma _{v}$ die eindeutig bestimmte Geodäte mit Startpunkt $p$ und (gerichteter) Geschwindigkeit $v$ ist.

Diese Definition lässt sich auf das Tangentialbündel $TM$ erweitern. Sei

{\mathcal {E}}:=\{v\in TM|\gamma _{v}\colon [0,1]\to M\}\subset TM

die Menge aller Vektoren, für die die Geodäte $\gamma _{v}$ auf dem ganzen Intervall $[0,1]$ definiert ist. Für die Exponentialabbildung $\exp \colon {\mathcal {E}}\to M$ gilt dann

\exp(V):=\gamma _{V}(1)\,.

Eigenschaften

Bedeutung erlangt die Exponentialabbildung dadurch, dass sie eine Umgebung des Ursprungs im Tangentialraum an p auf eine Umgebung des Punktes p in der Mannigfaltigkeit diffeomorph abbildet. Sie bildet Geraden durch den Nullpunkt p des Tangentialraums auf Geodätische isometrisch ab. In Richtungen senkrecht zu den Geodätischen wird im Allgemeinen nicht isometrisch abgebildet.

Die Bilder in der Umgebung um p unter dieser Abbildung sind Grundlage der geodätischen Normalkoordinaten. Auf dieser Eigenschaft beruht auch die Bezeichnung, dass eine Umgebung um einen Punkt eine (einfache) konvexe Umgebung ist, wenn jedes Paar von Punkten in dieser Umgebung durch eine einzige Geodäte der Mannigfaltigkeit verbunden werden kann, die vollständig in dieser Umgebung liegt. 1932 wurde von Whitehead gezeigt, dass jede semi-riemannsche Mannigfaltigkeit solche konvexen Umgebungen für jeden Punkt enthält und folglich Normalkoordinaten in der Umgebung des Punktes existieren. Diese Umgebung wird dann auch konvexe Normalumgebung genannt.

Eine weitere spezielle Eigenschaft gilt für diese Umgebungen in der Lorentzgeometrie. So sind alle Punkte p in dieser Umgebung U(q) um q, die von q aus durch zeitartige Kurven innerhalb Us erreicht werden, Punkte der Form p = exp_q(v), für ein v in T_qM mit g(v,v) < 0, wobei g(·,·) die Metrik der Mannigfaltigkeit bezeichnet. Anschaulich gesprochen heißt das, dass in dieser Umgebungen alle Punkte die durch eine zeitartige Kurve erreicht werden können auch durch eine zeitartige Geodäte erreicht werden.

Einzelnachweise

↑ John M. Lee: Riemannian Manifolds. An Introduction to Curvature (= Graduate Texts in Mathematics 176). Springer, New York NY u. a. 1997, ISBN 0-387-98322-8, S. 72.
↑ Whitehead J.H.C.: Convex regions in the geometry of paths, Quart. J. Math. Oxford Ser. 3, 33–42 (1932)
↑ Hawking S.W., Ellis G.F.R.: The Large Scale Structure of Spacetime, Cambridge University Press, Cambridge. S. 103–105 (1976)

Literatur

Beem, J.K., Ehrlich, P.E., Easley, K.L.: Global Lorentzian Geometry, Pure and Applied Mathematics 202, 2nd Edition. New York: Marcel Dekker, Inc. 1996

[1] John M. Lee: Riemannian Manifolds. An Introduction to Curvature (= Graduate Texts in Mathematics 176). Springer, New York NY u. a. 1997, ISBN 0-387-98322-8, S. 72.

[2] Whitehead J.H.C.: Convex regions in the geometry of paths, Quart. J. Math. Oxford Ser. 3, 33–42 (1932)

[3] Hawking S.W., Ellis G.F.R.: The Large Scale Structure of Spacetime, Cambridge University Press, Cambridge. S. 103–105 (1976)