Paralleltransport

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche
Paralleltransport eines Vektors auf der Kugeloberfläche entlang eines geschlossenen Weges von A nach N und B und wieder zurück nach A. Der Winkel \alpha, um den der Vektor dabei gedreht wird, ist proportional zur eingeschlossenen Fläche innerhalb des Weges.

In der Differentialgeometrie bezeichnet Paralleltransport ein Verfahren, geometrische Objekte entlang glatter Kurven in einer Mannigfaltigkeit zu transportieren. Wenn die Mannigfaltigkeit eine kovariante Ableitung (im Tangentialbündel) besitzt, dann kann man Vektoren in der Mannigfaltigkeit entlang von Kurven so transportieren, dass sie bezogen auf den zur kovarianten Ableitung gehörenden Zusammenhang parallel bleiben.

Entsprechend kann man zu jedem Zusammenhang einen Paralleltransport konstruieren. Ein Cartan-Zusammenhang erlaubt sogar das Liften von Kurven aus der Mannigfaltigkeit in das zugehörige Prinzipalbündel. Eine solche Kurvenliftung erlaubt den Paralleltransport von Bezugssystemen, d. h. den Transport einer Basis von einem Punkt zum anderen.

Der zu einem Zusammenhang gehörende Paralleltransport erlaubt also in gewisser Weise, die lokale Geometrie einer Mannigfaltigkeit entlang einer Kurve zu bewegen.

Genau wie sich aus einem Zusammenhang ein Paralleltransport konstruieren lässt, lässt sich umgekehrt aus einem Paralleltransport ein Zusammenhang konstruieren. Insofern ist ein Zusammenhang ein infinitesimales Analogon zu einem Paralleltransport bzw. ein Paralleltransport die lokale Realisierung eines Zusammenhangs.

Neben der lokalen Realisation eines Zusammenhangs liefert ein Paralleltransport auch eine lokale Realisation der Krümmung, die Holonomie. Das Ambrose-Singer-Theorem macht diese Beziehung zwischen Krümmung und Holonomie explizit.

Paralleles Vektorfeld[Bearbeiten]

Sei M eine differenzierbare Mannigfaltigkeit mit Zusammenhang \nabla. Ein Vektorfeld V entlang einer Kurve \gamma heißt parallel entlang \gamma, falls \nabla_{ \gamma '(t)} V(\gamma (t)) = 0 für alle t gilt. Ein Vektorfeld heißt parallel, falls es parallel bezüglich jeder Kurve in der Mannigfaltigkeit ist.

Paralleltransport[Bearbeiten]

Sei M eine differenzierbare Mannigfaltigkeit, \gamma : I \to M eine Kurve und t_0, t_1 \in I zwei reelle Zahlen. Dann existiert zu jedem V_0 \in T_{\gamma(t_0)}M ein eindeutiges paralleles Vektorfeld V entlang \gamma, so dass V_0 = V(\gamma(t_0)) gilt. Mit Hilfe dieser Existenz- und Eindeutigkeitsaussage kann man die Abbildung, welche man Paralleltransport nennt, definieren. Die Abbildung

\begin{align}
P_{\gamma(t_0), \gamma(t_1)} : T_{\gamma(t_0)}M \to T_{\gamma(t_1)}M,
V_0 \mapsto V(\gamma(t_1))
\end{align}

welche einem Vektor V_0 \in T_{\gamma(t_0)}M sein eindeutiges paralleles Vektorfeld V ausgewertet an der Stelle \gamma(t_1) zuordnet.

Der Paralleltransport für den Levi-Civita-Zusammenhang[Bearbeiten]

Wichtigster Spezialfall für den Paralleltransport ist der Transport eines Tangentialvektors entlang einer Kurve auf einer riemannschen Mannigfaltigkeit, wobei der Zusammenhang der Levi-Civita-Zusammenhang ist.

Konkret: Ist v_0\in T_pM ein Tangentialvektor am Punkt p und \gamma(t) eine glatte Kurve mit \gamma(0)=p, so heißt ein Vektorfeld v(t) entlang \gamma, d.h. mit v(t)\in T_{\gamma(t)}M, genau dann Paralleltransport von v_0, wenn gilt:

  1. \nabla_{\gamma'(t)}v(t)=0
  2. v(0)=v_0,

wenn also die kovariante Ableitung von v(t) entlang \gamma verschwindet.

Hierbei handelt es sich um ein lineares Anfangswertproblem 1. Ordnung, von dem man die Existenz und Eindeutigkeit einer Lösung zeigen kann.

Der Betrag eines Vektors, der parallel verschoben wird ist konstant:

\frac{d}{dt}g(v(t),v(t)) = 2 g(\nabla_{\gamma'(t)}v(t), v(t)) = 2\cdot 0 = 0.

Der Paralleltransport entlang einer Geodätischen[Bearbeiten]

Im Falle, dass \gamma eine Geodätische ist, hat der Paralleltransport besondere Eigenschaften.

Beispielsweise ist der Tangentialvektor einer proportional zur Bogenlänge parametrisierten Geodätischen selber parallel:

\nabla_{\gamma'(t)}\gamma'(t)=0

Denn dies war genau die Definition einer Geodätischen auf einer riemannschen Mannigfaltigkeit.

Der Winkel zwischen dem Tangentialvektor der Geodäte und dem Vektor ist konstant, da die Beträge beider Vektoren ebenfalls konstant sind (siehe oben).

\frac{d}{dt}g(v(t),\gamma'(t)) = g(\nabla_{\gamma'(t)}v(t),\gamma'(t))+g(v(t),\nabla_{\gamma'(t)}\gamma'(t)) = 0+0 = 0.

Paralleltransport in euklidischen Räumen[Bearbeiten]

Im euklidischen Raum \R^n ist die kovariante Ableitung die normale Ableitung in eine bestimmte Richtung. Sie verschwindet, wenn v(t), abgesehen vom Basispunkt konstant ist, d.h. wenn alle Vektoren v(t) parallel sind.

Der Paralleltransport ist also eine Verallgemeinerung der Parallelverschiebung eines Vektors entlang einer Kurve.

Literatur[Bearbeiten]

  • John M. Lee: Riemannian Manifolds. An Introduction to Curvature. Springer, New York 1997, ISBN 0387983228.
  • Manfredo Perdigão do Carmo: Riemannian Geometry, Birkhäuser, Boston 1992, ISBN 0-8176-3490-8