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 an eine riemannsche Mannigfaltigkeit im Punkt genau eine Geodäte mit und zugeordnet werden. Dies folgt aus der Differentialgleichung für Geodäten und gilt lokal um . Die Exponentialabbildung von im Punkt , geschrieben als , bezeichnet dann den Punkt . 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 Bearbeiten
Definition Bearbeiten
Sei eine riemannsche Mannigfaltigkeit. Mit wird der Tangentialraum an im Punkt beschrieben. Sei eine hinreichend kleine Umgebung der Null in . Die Exponentialabbildung im Punkt
ordnet jedem Tangentialvektor den Punkt zu, wobei die eindeutig bestimmte Geodäte mit Startpunkt und (gerichteter) Geschwindigkeit ist.
Diese Definition lässt sich auf das Tangentialbündel erweitern. Sei
die Menge aller Vektoren, für die die Geodäte auf dem ganzen Intervall definiert ist. Für die Exponentialabbildung gilt dann
Eigenschaften Bearbeiten
- 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 = expq(v), für ein v in TqM 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 Bearbeiten
- 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 Bearbeiten
- 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