Kurs:Differentialgeometrie (Osnabrück 2023)/Vorlesung 27/kontrolle

Vertikale Ableitung längs einer Abbildung

Es sei ${}p\colon E\rightarrow M$ ein differenzierbares Vektorbündel über einer differenzierbaren Mannigfaltigkeit ${}M$, das mit einem linearen Zusammenhang versehen sei. Dies gibt Anlass zu einer vertikalen Ableitung, zu jedem Vektorfeld ${}V\colon M\rightarrow TM$ und jedem stetig differenzierbaren Schnitt

$s\colon M\longrightarrow E$

ist ${}\nabla _{V}s$ der stetige Schnitt in ${}E$, der durch

$M{\stackrel {V}{\longrightarrow }}TM{\stackrel {T(s)}{\longrightarrow }}TE{\stackrel {\pi _{\text{vert}}}{\longrightarrow }}E$

gegeben ist. Auf einer offenen Menge ${}U\subseteq M$ mit ${}U\cong V\subseteq \mathbb {R} ^{n}$ und den partiellen Ableitungen ${}\partial _{1},\ldots ,\partial _{n}$ und einer Trivialisierung

${}E{|}_{U}\cong U\times \mathbb {R} ^{r}\,$

mit Basisschnitten ${}s_{1},\ldots ,s_{r}$ wird eine solche vertikale Ableitung durch die Christoffelsymbole ${}\Gamma _{ij}^{k}$ mit

${}\nabla _{\partial _{i}}(s_{j})=\sum _{k=1}^{r}\Gamma _{ij}^{k}s_{k}\,$

wegen Lemma 25.10 vollständig beschrieben. Dieses Konzept möchte man nicht nur für Schnitte über ${}M$, sondern auch für Schnitte

$s\colon L\longrightarrow E$

längs einer fixierten differenzierbaren Abbildung

$\psi \colon L\longrightarrow M$

zur Verfügung haben, wenn also ein kommutatives Diagramm

${\begin{matrix}&&&E\\&&s\nearrow &\downarrow \\&L&{\stackrel {\psi }{\longrightarrow }}&M\!\\\end{matrix}}$

vorliegt. Diese Situation ist uns schon bei den horizontalen Schnitten begegnet. Man beachte, dass ein Schnitt

$s\colon L\longrightarrow E$

dasselbe ist wie ein Schnitt

${\tilde {s}}\colon L\longrightarrow \psi ^{*}(E)=E\times _{X}Y$

im zurückgezogenen Vektorbündel ${}\psi ^{*}(E)$. Zu einem Vektorfeld ${}F$ auf ${}L$ und einem solchen Schnitt kann man die entsprechende Hintreeinanderschaltung von Abbildungen

$L{\stackrel {F}{\longrightarrow }}TL{\stackrel {T(s)}{\longrightarrow }}TE{\stackrel {\pi _{\text{vert}}}{\longrightarrow }}E$

betrachten, die wir wieder mit ${}\nabla _{F}s$ bezeichnen. Den über diese vertikale Ableitung festgelegten Zusammenhang nennen wir den zurückgezogenen Zusammenhang ${}\psi ^{*}\nabla$. Er erfüllt die folgenden Eigenschaften.

Lemma Lemma 27.1 ändern

Es sei ${}p\colon E\rightarrow M$ ein differenzierbares Vektorbündel über einer differenzierbaren Mannigfaltigkeit ${}M$, das mit einem linearen Zusammenhang ${}\nabla$ versehen sei. Es sei ${}\psi \colon L\rightarrow M$ eine differenzierbare Abbildung mit dem zurückgezogenen Zusammenhang ${}\psi ^{*}\nabla$ auf dem zurückgezogenen Vektorbündel ${}\psi ^{*}E$ über ${}L$. Dann gelten folgende Eigenschaften.

1. Die Abbildung

   $\psi ^{*}\nabla \colon C^{1}(\psi ^{*}E)\longrightarrow C^{0}(\psi ^{*}E\otimes T^{*}L),\,s\longmapsto {\left(\psi ^{*}\nabla \right)}(s),$

   ist ${}\mathbb {R}$- linear. Insbesondere ist ${}\psi ^{*}\nabla$ ein linearer Zusammenhang.

2. Für eine Einschränkung

   $\psi \colon U'\longrightarrow U$

   auf offene Kartengebiete mit Koordinaten ${}z_{1},\ldots ,z_{m}$ von ${}U'$ und Koordinaten ${}x_{1},\ldots ,x_{n}$ von ${}U$ gilt für die Christoffelsymbole ${}{\tilde {\Gamma }}_{\ell j}^{k}$ von ${}\psi ^{*}\nabla$ und Basisschnitte ${}s_{1},\ldots ,s_{r}$ die Beziehung

   ${}{\tilde {\Gamma }}_{j\ell }^{k}=\sum _{i=1}^{n}{\left(\partial _{j}\psi _{i}\right)}\Gamma _{i\ell }^{k}\,.$

Beweis

1. Klar.
2. Wir betrachten direkt die lokale Situation. Einen Basisschnitt ${}s_{\ell }$ längs ${}L$ kann man direkt als einen Basisschnitt über ${}M$ auffassen. Die relevanten Abbildungen sind

   $U'{\stackrel {\partial _{j}}{\longrightarrow }}TU'{\stackrel {T(\psi )}{\longrightarrow }}T(U){\stackrel {T(s_{\ell })}{\longrightarrow }}T(U\times \mathbb {R} ^{r}){\stackrel {\pi _{\text{vert}}}{\longrightarrow }}\mathbb {R} ^{r}.$

   Dabei ist

   ${}T(\psi )\circ \partial _{j}=\partial _{j}\psi =\sum _{i=1}^{n}{\left(\partial _{j}\psi _{i}\right)}\partial _{i}\,.$

   Für ${}Q\in U'$ ist somit unter Verwendung von Lemma 25.10

   ${}{\begin{aligned}{\left({\left(\psi ^{*}\nabla \right)}_{\partial _{j}}(s_{\ell })\right)}(Q)&={\left(\psi ^{*}\nabla \right)}_{\partial _{j}(Q)}(s_{\ell })(Q)\\&=\nabla _{{\left(T(\psi )\circ \partial _{j}\right)}(Q)}(s_{\ell })(\psi (Q))\\&=\nabla _{\sum _{i=1}^{n}{\left(\partial _{j}\psi _{i}\right)}(Q)\partial _{i}}(s_{\ell })(\psi (Q))\\&=\sum _{i=1}^{n}{\left(\partial _{j}\psi _{i}\right)}(Q)\nabla _{\partial _{i}}(s_{\ell })(\psi (Q))\\&=\sum _{i=1}^{n}{\left(\partial _{j}\psi _{i}\right)}(Q){\left(\sum _{k=1}^{r}\Gamma _{i\ell }^{k}(\psi (Q))s_{k}(\psi (Q))\right)}\\&=\sum _{k=1}^{r}{\left(\sum _{i=1}^{n}{\left(\partial _{j}\psi _{i}\right)}(Q)\Gamma _{i\ell }^{k}(\psi (Q))\right)}s_{k}(\psi (Q)).\end{aligned}}$

   Betrachten der ${}k$-ten Komponente liefert

   ${}{\tilde {\Gamma }}_{j\ell }^{k}(Q)=\sum _{i=1}^{n}\Gamma _{i\ell }^{k}(\psi (Q)){\left(\partial _{j}\psi _{i}\right)}(Q)\,.$

$\Box$

Lemma Lemma 27.2 ändern

Es sei ${}p\colon E\rightarrow M$ ein differenzierbares Vektorbündel über einer differenzierbaren Mannigfaltigkeit ${}M$, das mit einem metrischen linearen Zusammenhang ${}\nabla$ versehen sei. Es sei ${}\psi \colon L\rightarrow M$ eine differenzierbare Abbildung mit dem zurückgezogenen Zusammenhang ${}\psi ^{*}\nabla$ auf dem zurückgezogenen Vektorbündel ${}\psi ^{*}E$ über ${}L$.

Dann ist auch ${}\psi ^{*}\nabla$ metrisch.

Beweis

Zunächst ist nach Aufgabe 16.13 ${}\psi ^{*}E$ wieder ein riemannsches Bündel. Wir betrachten die lokale Situation

$\psi \colon U'\longrightarrow U$

und ${}E=U\times \mathbb {R} ^{r}$ und entsprechend ${}\psi ^{*}E=U'\times \mathbb {R} ^{r}$. Die beschreibenden Funktionen

${}h_{\ell m}=\left\langle s_{\ell },s_{m}\right\rangle \,$

der riemannschen Struktur auf ${}E$ hängen auf ${}U$ und auf ${}U'$ unmittelbar über ${}\psi$ zusammen. Es sei ${}\partial _{j}$ ein Standardvektorfeld auf ${}U'$ und ${}s_{\ell },s_{m}$ Basischnitte in ${}E$. Es ist

${}{\begin{aligned}\partial _{j}\left\langle s_{\ell },s_{m}\right\rangle &=\partial _{j}{\left(h_{\ell ,m}\circ \psi \right)}\\&=\sum _{i=1}^{n}{\left(\partial _{j}\psi _{i}\right)}{\left(\partial _{i}h_{\ell ,m}\right)}\\&=\sum _{i=1}^{n}{\left(\partial _{j}\psi _{i}\right)}\partial _{i}\left\langle s_{\ell },s_{m}\right\rangle .\end{aligned}}$

Nach Lemma 27.1 ist

${}{\begin{aligned}\left\langle {\left(\psi ^{*}\nabla \right)}_{\partial _{j}}s_{\ell },s_{m}\right\rangle &=\left\langle \sum _{k=1}^{r}{\tilde {\Gamma }}_{j\ell }^{k}s_{k},s_{m}\right\rangle \\&=\sum _{k=1}^{r}\left\langle {\tilde {\Gamma }}_{j\ell }^{k}s_{k},s_{m}\right\rangle \\&=\sum _{k=1}^{r}\left\langle \sum _{i=1}^{n}\Gamma _{i\ell }^{k}{\left(\partial _{j}\psi _{i}\right)}s_{k},s_{m}\right\rangle \\&=\sum _{i=1}^{n}{\left(\partial _{j}\psi _{i}\right)}\left\langle \sum _{k=1}^{r}\Gamma _{i\ell }^{k}s_{k},s_{m}\right\rangle \\&=\sum _{i=1}^{n}{\left(\partial _{j}\psi _{i}\right)}\left\langle \nabla _{\partial _{i}}s_{\ell },s_{m}\right\rangle \end{aligned}}$

und entsprechend

${}\left\langle s_{\ell },{\left(\psi ^{*}\nabla \right)}_{\partial _{j}}s_{m}\right\rangle =\sum _{i=1}^{n}{\left(\partial _{j}\psi _{i}\right)}\left\langle s_{\ell },\nabla _{\partial _{i}}s_{m}\right\rangle \,.$

Da ${}\nabla$ metrisch ist folgt

${}\partial _{j}\left\langle s_{\ell },s_{m}\right\rangle =\left\langle {\left(\psi ^{*}\nabla \right)}_{\partial _{j}}s_{\ell },s_{m}\right\rangle +\left\langle s_{\ell },{\left(\psi ^{*}\nabla \right)}_{\partial _{j}}s_{m}\right\rangle \,$

und daraus folgt mit Aufgabe 26.10, dass ${}\psi ^{*}\nabla$ metrisch ist.

$\Box$

Tangentiale Beschleunigung

Es sei ${}M$ eine Mannigfaltigkeit. Zu einer differenzierbaren Kurve

$\gamma \colon I\longrightarrow M$

ist

$\gamma '\colon I\longrightarrow TM$

eine Kurve im Tangentialbündel, die eine Liftung zu ${}\gamma$ ist. Wenn diese wiederum differenzierbar ist, so erhält man eine Kurve

$\gamma ^{\prime \prime }\colon I\longrightarrow TTM,$

die man aber nicht mit ${}\gamma '$ in Bezug setzen kann, da sie in einem anderen Raum landet. Wenn hingegen auf ${}TM$ ein Zusammenhang gegeben ist, so kann man über die (zurückgezogene) vertikale Ableitung die zweite Ableitung über ${}\nabla _{\partial }\gamma '$ definieren.

Definition Definition 27.3 ändern

Es sei ${}M$ eine riemannsche Mannigfaltigkeit versehen mit dem Levi-Civita-Zusammenhang. Zu einer zweifach stetig differenzierbaren Kurve

$\gamma \colon I\longrightarrow M$

nennt man ${}\pi _{\text{vert}}\circ TT(\gamma )$ die tangentiale Beschleunigung von ${}\gamma$.

Man schreibt dafür auch ${}\pi _{\text{vert}}\circ \gamma ^{\prime \prime }$ bzw. (als vertikale Ableitung längs ${}\gamma$) ${}\nabla _{\partial }\gamma '$, wobei

$\gamma '\colon I\longrightarrow TM$

als Schnitt im Tangentialbündel längs des Weges ${}\gamma$ aufgefasst und die Abbildungskette

$I{\stackrel {\partial }{\longrightarrow }}I\times \mathbb {R} =TI{\stackrel {T(\gamma ')}{\longrightarrow }}TTM{\stackrel {\pi _{\text{vert}}}{\longrightarrow }}TM$

betrachtet wird.

Lemma Lemma 27.4 ändern

Es sei ${}W\subseteq \mathbb {R} ^{n}$ offen, ${}h\colon W\rightarrow \mathbb {R}$ eine stetig differenzierbare Funktion und ${}Y=h^{-1}(c)$ die Faser zu ${}c\in \mathbb {R}$, wobei ${}h$ in jedem Punkt von ${}Y$ regulär sei. Es sei

$\gamma \colon I\longrightarrow Y$

eine zweifach stetig differenzierbare Kurve.

Dann stimmt die tangentiale Beschleunigung von ${}\gamma$ im Sinne von Definition 1.7 mit der tangentialen Beschleunigung im Sinne von Definition 27.3 überein.

Beweis

Nach Lemma 26.15 (was auch höherdimensional stimmt) stimmen die Zusammenhänge überein.

$\Box$

Geodätische Kurven

Definition Definition 27.5 ändern

Es sei ${}M$ eine riemannsche Mannigfaltigkeit versehen mit dem Levi-Civita-Zusammenhang. Man nennt eine zweifach differenzierbare Kurve

$\gamma \colon I\longrightarrow M$

eine geodätische Kurve (oder Geodätische), wenn

${}\nabla _{d/dt}\gamma '=0\,$

auf ${}I$ ist.

Manchmal sagt man auch Geodäte. Wir betonen, dass eine geodätische Kurve eine Kurve ist, es also nicht nur um das Bild der Kurve geht, sondern um den Bewegungsvorgang.

Lemma Referenznummer erstellen

Es sei ${}W\subseteq \mathbb {R} ^{n}$ offen, ${}h\colon W\rightarrow \mathbb {R}$ eine stetig differenzierbare Funktion und ${}Y=h^{-1}(c)$ die Faser zu ${}c\in \mathbb {R}$, wobei ${}h$ in jedem Punkt von ${}Y$ regulär sei.

Dann stimmen die Geodätischen in ${}Y$ im Sinne von Definition 1.8 mit den Geodätischen im Sinne von Definition 27.5 überein.

Beweis

Dies folgt aus Lemma 27.4.

$\Box$

Lemma Referenznummer erstellen

Es sei ${}\gamma \colon I\rightarrow M$ eine geodätische Kurve auf einer riemannschen Mannigfaltigkeit ${}M$ versehen mit dem Levi-Civita-Zusammenhang.

Dann ist ${}\Vert {\gamma '(t)}\Vert$ konstant auf ${}I$.

Beweis

Auf einem offenen Kartengebiet ist unter Verwendung von Satz 26.14  (2) und Lemma 27.2

${}{\begin{aligned}{\frac {\partial }{\partial t}}\left\langle \gamma '(t),\gamma '(t)\right\rangle &=\left\langle \nabla _{\frac {\partial }{\partial t}}\gamma '(t),\gamma '(t)\right\rangle +\left\langle \gamma '(t),\nabla _{\frac {\partial }{\partial t}}\gamma '(t)\right\rangle \\&=2\left\langle \nabla _{\frac {\partial }{\partial t}}\gamma '(t),\gamma '(t)\right\rangle \\&=2\left\langle 0,\gamma '(t)\right\rangle \\&=0,\end{aligned}}$

also ist ${}\left\langle \gamma '(t),\gamma '(t)\right\rangle$ konstant.

$\Box$

Satz Satz 27.8 ändern

Eine zweifach differenzierbare Kurve ${}\gamma \colon I\rightarrow M$ auf einer riemannschen Mannigfaltigkeit ${}M$ ist

genau dann eine geodätische Kurve (bezüglich des Levi-Civita-Zusammenhangs), wenn sie auf jeder Karte das gewöhnliche Differentialgleichungssystem zweiter Ordnung

${}\gamma _{k}^{\prime \prime }+\sum _{ij}\Gamma _{ij}^{k}\gamma _{i}'\gamma _{j}'=0\,$

(für alle ${}k$) erfüllt.

Beweis

Es sei ${}n$ die Dimension von ${}M$. Wir betrachten die Situation direkt auf einem offenen Kartenbild ${}U\subseteq \mathbb {R} ^{n}$. Die vertikale Ableitung ist gemäß Bemerkung 25.8 durch

$T(U\times \mathbb {R} ^{n})=U\times \mathbb {R} ^{n}\times \mathbb {R} ^{n}\times \mathbb {R} ^{n}\longrightarrow U\times \mathbb {R} ^{n}\times \mathbb {R} ^{n},\,(P,e_{j},\partial _{i},w)\longmapsto (P,e_{j},\sum _{k=1}^{n}\Gamma _{ij}^{k}(P)e_{k}+w)\cong V(U\times \mathbb {R} ^{n})$

gegeben, wobei man die Abbildung nach ${}TU$ erhält, wenn man die mittlere Komponente weglässt. Die zweite Ableitung der Kurve ist zunächst die zweite Tangentialabbildung, es ist (wobei wir die Multiplikation mit der eindimensionalen Richtung des Tangentialraumes der Kurve ignorieren)

$T(\gamma )\colon I\longrightarrow TU,\,t\longmapsto (\gamma (t),\gamma '(t)),$

und entsprechend

$T(T(\gamma ))\colon I\longrightarrow T(TU),\,t\longmapsto ((\gamma (t),\gamma '(t)),(\gamma '(t),\gamma ^{\prime \prime }(t)))$

(es werden beide Komponenten der Tangentialabbildung abgeleitet). Mit ${}\gamma '(t)=\sum _{j=1}^{n}\gamma _{j}'(t)\partial _{j}$ wird dies unter der vertikalen Projektion auf

$\sum _{k=1}^{n}{\left(\sum _{i,j}\gamma _{i}'(t)\gamma _{j}'(t)\Gamma _{ij}^{k}(\gamma (t))\right)}\partial _{k}+\sum _{k=1}^{n}\gamma _{k}^{\prime \prime }(t)\partial _{k}$

abgebildet. Die Bedingung an eine Geodätische, dass die zweite Ableitung (in ${}TTM$) stets horizontal ist, ist äquivalent dazu, dass die berechnete vertikale Projektion gleich ${}0$ ist. Dies bedeutet, dass die einzelnen Komponenten gleich ${}0$ sind und dies bedeutet

${}\sum _{i,j}\gamma _{i}'(t)\gamma _{j}'(t)\Gamma _{ij}^{k}(\gamma (t))+\gamma _{k}^{\prime \prime }(t)=0\,$

für ${}k=1,\ldots ,n$.

$\Box$

Bemerkung   Referenznummer erstellen

In der Situation von Satz 27.8 nennt man das Differentialgleichungssystem

${}\gamma _{k}^{\prime \prime }(t)+\sum _{ij}\Gamma _{ij}^{k}(\gamma (t))\gamma _{i}'(t)\gamma _{j}'(t)=0\,$

mit ${}k=1,\ldots ,n$, das lokal die Geodätischen charakterisiert, die geodätische Differentialgleichung. Es handelt sich um ein gewöhnliches Differentialgleichungssystem zweiter Ordnung mit ${}n$ Gleichungen. Das System ist nicht linear und ist im Allgemeinen schwierig zu lösen.

Beispiel Beispiel 27.10 ändern

Wir knüpfen an Beispiel 26.7 an. Nach Satz 27.8 muss eine Geodätische die beiden Bedingungen

${}\gamma _{1}^{\prime \prime }(t)={\frac {2}{\gamma _{2}(t)}}\gamma _{1}'(t)\gamma _{2}'(t)\,$

und

${}\gamma _{2}^{\prime \prime }(t)=-{\frac {1}{\gamma _{2}(t)}}\gamma _{1}'(t)\gamma _{1}'(t)+{\frac {1}{\gamma _{2}(t)}}\gamma _{2}'(t)\gamma _{2}'(t)\,$

erfüllen. Für ${}\gamma _{1}=x_{0}$ konstant wird dieses System zu

${}\gamma _{2}^{\prime \prime }(t)={\frac {1}{\gamma _{2}(t)}}\gamma _{2}'(t)\gamma _{2}'(t)\,$

mit der Komponentenlösung

${}y_{2}(t)=e^{t}\,$

und der Gesamtlösung

${}y(t)=\left(x_{0},\,e^{t}\right)\,,$

die auf einer vertikalen Geraden verläuft. Darüber hinaus sind nach Aufgabe 27.13

${}\gamma (t)=\left(s,\,0\right)+r\left(\tanh t,\,{\frac {1}{\cosh t}}\right)\,$

zu ${}s\in \mathbb {R}$, ${}r\in \mathbb {R} _{+}$ Lösungen, die sich nach Aufgabe 20.50 (Analysis (Osnabrück 2021-2023))  (3) auf den Halbkreisen mit Mittelpunkt ${}\left(s,\,0\right)$ und Radius ${}r$ bewegen.

Bemerkung   Referenznummer erstellen

Das sogenannte Parallelenaxiom (oder Parallelenpostulat) der ebenen euklidischen Geometrie besagt, dass es zu einer jeden Geraden und jedem Punkt, der nicht auf dieser Geraden liegt, genau eine parallele Gerade durch diesen Punkt gibt. Eine parallele Gerade ist durch die Eigenschaft bestimmt, dass sie die vorgegebene Gerade nicht schneidet. Eine Frage von historischem Belang war, ob man das Parallelenpostulat aus den anderen Axiomen und Postulaten von Euklid ableiten kann und ob dieses daher unnötig ist. Diese Frage wurde in der ersten Hälfte des 19. Jahrhunderts negativ beantwortet, indem geometrische Modelle (die insbesondere ein Konzept von Punkt und Gerade beinhalten) angegeben wurden, die die übrigen Axiome der euklidischen Geometrie erfüllen, aber nicht das Parallelenaxiom. Im Rahmen der riemannschen Geometrie und insbesondere mit dem Konzept einer Geodätischen ergeben sich zwanglos solche Modelle, wenn man die Geodätischen (hier ist das Bild einer geodätischen Kurve gemeint) als Geraden ansieht. Man beachte, dass im axiomatischen Aufbau einer Geometrie eine Gerade nicht durch die Anschauung, sondern durch die ihr in Verbindung mit weiteren Objekten zukommenden Eigenschaften festgelegt ist. Beispielsweise liefert Beispiel 27.10 mit den dort beschriebenen Geodätischen ein Modell für eine nichteuklidische Geometrie, es gibt zu einer vorgegebenen Geodätischen und einem weiteren Punkt stets unendlich viele Geodätische durch diesen Punkt, die schnittpunktfrei zur vorgegebenen sind.

Definition Referenznummer erstellen

Es sei ${}M$ eine zusammenhängende riemannsche Mannigfaltigkeit. Zu Punkten ${}P,Q\in M$ definiert man

${}d(P,Q):=\operatorname {inf} (L(\gamma ),\gamma {\text{ ist ein stetiger stückweise stetig differenzierbarer Verbindungsweg von }}P{\text{ nach }}Q)\,$

und nennt dies die riemannsche Metrik auf ${}M$.

Durch diese Metrik wird ${}M$ in der Tat zu einem metrischen Raum, dessen Topologie mit der vorgegebenen Topologie übereinstimmt. Ferner kann gezeigt werden, dass eine bogenparametrisierte Realisierung des Abstandes zwischen zwei Punkten eine Geodätische ist.