Schnittkrümmung

Schnittkrümmung

Die Schnittkrümmung ist eine Größe der riemannschen Geometrie, einem Teilgebiet der Mathematik. Mit ihrer Hilfe kann man die Krümmung einer n-dimensionalen riemannschen Mannigfaltigkeit beschreiben. Dabei wird jeder (zweidimensionalen) Ebene im Tangentialraum an einem Punkt dieser Mannigfaltigkeit eine Zahl als Krümmung zugeordnet. Die Schnittkrümmung kann als Verallgemeinerung der gaußschen Krümmung verstanden werden. Der Name kommt daher, dass man sozusagen einen Schnitt durch die Mannigfaltigkeit in Richtung der gegebenen Ebene legt und die gaußsche Krümmung der so entstandenen Fläche bestimmt.

Inhaltsverzeichnis

Definition

Gegeben seien eine riemannsche Mannigfaltigkeit (M,g), ein Punkt p in M und ein zweidimensionaler Unterraum (Ebene) σ des Tangentialraums TpM von M im Punkt p. Seien v und w zwei Tangentialvektoren, die diese Ebene aufspannen. Mit

|v \wedge w| = \sqrt{g(v,v)g(w,w)-g(v,w)^2}

wird der Flächeninhalt des von v und w aufgespannten Parallelogramms bezeichnet, R bezeichnet den riemannschen Krümmungstensor.

Dann hängt die Größe

K(v,w) = \frac{g(R(v,w)w,v)}{|v \wedge w|^2} = \frac{g(R(v,w)w,v)}{g(v,v)g(w,w)-g(v,w)^2}

nur von der Ebene σ ab, aber nicht von der Wahl der sie aufspannenden Vektoren v und w. Man schreibt deshalb für K(v,w) auch K(σ) und nennt dies die Schnittkrümmung von σ.[1]

Da unterschiedliche Vorzeichenkonventionen für den riemannschen Krümmungstensor existieren, wird die Schnittkrümmung je nach Kontext auch durch

K(v,w) = \frac{g(R(v,w)v,w)}{|v \wedge w|^2}

definiert.[2] In diesem Artikel wird allerdings die erste Konvention verwendet.

Beziehung zur gaußschen Krümmung

Sei M \subset \R^3 eine 2-dimensionale Untermannigfaltigkeit des euklidischen Raums und g die auf M induzierte Metrik. Für jeden Punkt p \in M und jede Basis {v,w} von σ = TpM ist die Schnittkrümung

K(\sigma) = K(v,w) = \frac{g(R(v,w)w,v)}{g(v,v)g(w,w) - g(v,w)^2}

gleich der gaußschen Krümmung K(p) von M im Punkt p. Dass man die gaußsche Krümmung so darstellen kann, ist eine Folgerung aus Gauß’ Theorema egregium.

Beziehungen zu weiteren Krümmungsgrößen

  • Alle Informationen, die der riemannsche Krümmungstensor bereitstellt, sind in der Schnittkrümmung enthalten. Man kann also aus der Schnittkrümmung den riemannschen Krümmungstensor zurückgewinnen. Seien nämlich R1 und R2 zwei (0,4)-Tensoren, die die Symmetrieeigenschaften Ri(W,X,Y,Z) = − Ri(X,W,Y,Z), Ri(W,X,Y,Z) = − Ri(W,X,Z,Y), Ri(W,X,Y,Z) = Ri(Y,Z,W,X) und die Bianchi-Identität Ri(W,X,Y,Z) + Ri(X,Y,W,Z) + Ri(Y,W,X,Z) = 0 erfüllen. Gilt dann für jedes Paar linear unabhängiger Vektoren X,Y die Gleichung
    \frac{R_1(X,Y,Y,X)}{|X|^2|Y|^2 - \langle X,Y \rangle^2} = \frac{R_2(X,Y,Y,X)}{|X|^2|Y|^2-\langle X,Y \rangle},
    so folgt R1 = R2.
  • Da man den riemannschen Krümmungstensor R aus dem Schnittkrümmung K zurückgewinnen kann, kann man auch eine Beziehung zwischen der Ricci-Krümmung \operatorname{Ric} und der Schnittkrümmung finden. Sei dazu (E_1, \ldots , E_n) eine Orthonormalbasis des Tangentialraums TpM so gilt
    \operatorname{Ric}(E_1,E_1) = \sum_{k=1}^n g(R(E_k,E_1)E_1,E_k) = \sum_{k=2}^n K(E_1,E_k).
    Die Ricci-Krümmung ist durch die Formel vollständig bestimmt, da der Ricci-Tensor symmetrisch ist. Hat die zugrundeliegende, riemannsche Mannigfaltigkeit (M,g) der Dimension n konstante Schnittkrümmung, so gilt die vereinfachte Formel
    \operatorname{Ric}(V,V) = (n-1) K g(V,V).
  • Für die Skalarkrümmung S erhält man die ähnliche Formel
    S = \sum_{j, k=1}^n g(R(E_k,E_j)E_j,E_k) = \sum_{j \neq k}^n K(E_j,E_k),
    wobei (E_1, \ldots , E_n) wieder eine Orthonormalbasis des Tangentialraums ist. Ist die Schnittkrümmung konstant, so gilt
    S = n(n − 1)K.

Beispiele

  • Die Schnittkrümmung des euklidischen Raums \R^n ist konstant null, denn der riemannsche Krümmungstensor ist so definiert, dass er für alle Punkte aus \R^n verschwindet.
  • Die Sphäre \mathbb{S}^n_R mit Radius R hat Schnittkrümmung \tfrac{1}{R^2}. Da diese isotrop und homogen ist, ist die Schnittkrümmung konstant und es reicht diese am Nordpol N zu bestimmen. Mit exp N wird die Exponentialabbildung am Nordpol bezeichnet. Außerdem sei \Pi \subset T_N \mathbb{S}^n_R der zwei-dimensionale Untervektorraum des Tangentialraums T_N \mathbb{S}^n_R, welcher von \{\partial_1, \partial_2\} aufgespannt wird. Nun ist exp N(Π) eine Mannigfaltigkeit, welche isometrisch zu \mathbb{S}^2_R ist. Von dieser ist bekannt, dass die Gaußkrümmung \textstyle \frac{1}{R^2} beträgt. Daher hat auch die n-dimensionale Sphäre die Schnittkrümmung \textstyle \frac{1}{R^2}.
  • Der hyperbolische Raum \mathbb{H}^n_R hat Schnittkrümmung \textstyle -\frac{1}{R^2}.

Anwendungen

Mannigfaltigkeiten mit konstanter Krümmung (von links nach rechts): Das Hyperboloid mit negativer Krümmung, der Zylinder mit Krümmung null und die Sphäre mit positiver Krümmung.

Mannigfaltigkeiten mit konstanter Krümmung

Wie auch in anderen Teilbereichen der Mathematik versucht man in der riemannschen Geometrie Objekte zu klassifizieren. In der riemannschen Geometrie werden die entsprechenden riemannschen Mannigfaltigkeiten klassifiziert. So versteht man zwei Mannigfaltigkeiten als gleich, wenn es eine isometrische Abbildung zwischen ihnen gibt. Die Schnittkrümmung, da sie von riemannschen Metrik abhängt, ist eine wichtige Invariante von riemannschen Mannigfaltigkeiten. Bei vollständigen, einfach zusammenhängenden riemannschen Mannigfaltigkeiten mit konstanter Schnittkrümmung ist die Klassifikation verhältnismäßig einfach, denn es gibt nur drei Fälle zu betrachten. Hat die riemannsche Mannigfaltigkeit die Dimension n und die konstante, positive Schnittkrümmung \textstyle \frac{1}{R^2}, so ist sie isometrisch (gleich) zur n-dimensionalen Sphäre \mathbb{S}^n_R mit Radius R. Ist die Schnittkrümmung konstant null so nennt man die Mannigfaltigkeit flach und sie ist isometrisch zum euklidischen Raum \R^n und im Fall, dass die Mannigfaltigkeit die negative Schnittkrümmung \textstyle - \frac{1}{R^2} hat, so entspricht sie dem n-dimensionalen hyperbolischen Raum \mathbb{H}^n_R.

Betrachtet man nun nicht mehr nur die einfach zusammenhängenden Mannigfaltigkeiten, sondern alle vollständigen und zusammenhängenden Mannigfaltigkeiten M mit konstanter Schnittkrümmung, so ist deren Klassifikation schon komplizierter. Die Fundamentalgruppe dieser Mannigfaltigkeiten verschwindet nicht mehr. Es lässt sich nun zeigen, dass solche Mannigfaltigkeiten isometrisch zu N / Γ sind. Wobei N für einen der drei Räume aus dem obigen Abschnitt also für \mathbb{S}_R^n, \, \R^n oder \mathbb{H}_R^n steht und Γ eine diskrete Untergruppe der Isometriegruppe J(N) von N ist, welche frei und eigentlich diskontinuierlich auf N operiert. Diese Gruppe Γ ist isomorph zur Fundamentalgruppe π1(M) von M.

Mannigfaltigkeiten mit negativer Krümmung

Élie Cartan verallgemeinerte 1928 ein Resultat von Jacques Hadamard, welches in moderner Formulierung besagt, dass die Exponentialabbildung bei nicht positiver Schnittkrümmung eine universelle Überlagerung ist. Diese Aussage wird heute Satz von Cartan-Hadamard genannt. Es gibt unterschiedliche Formulierungen des Satzes. Die Version für riemannsche Mannigfaltigkeiten lautet präzise:

Ist M eine vollständige, zusammenhängende riemannsche Mannigfaltigkeit, deren Schnittkrümmungen alle nicht positiv sind. Dann ist die Exponentialabbildung \operatorname{exp}_p : T_p M \to M für alle p \in M eine universelle Überlagerungsabbildung. Insbesondere ist also der Überlagerungsraum TpM diffeomorph zu \R^n. Ist M sogar einfach zusammenhängend, so ist M selbst diffeomorph zu \R^n.

Dieser Satz ist unter anderem deshalb bemerkenswert, weil er einen Zusammenhang zwischen einer lokalen Größe und einer globalen Größe einer differenzierbaren Mannigfaltigkeit liefert. Solche Aussagen werden auch lokal-global-Theoreme genannt. In diesem Fall ist die Schnittkrümmung der Mannigfaltigkeit die lokale Größe, denn die Schnittkrümmung wird für jedes p \in M definiert. Unter der Voraussetzung, dass die Mannigfaltigkeit M einfach zusammenhängend ist, ist sie nach dem Satz diffeomorph zu \R^n, was eine globale, differentialtopologische Eigenschaft ist, die mit der riemannschen Metrik nichts zu tun hat. Aus dem Satz folgt nun, dass kompakte, vollständige, einfach zusammenhängende Mannigfaltigkeiten, wie zum Beispiel die Sphäre eine ist, immer eine irgendwo positive Schnittkrümmung haben müssen. Denn, weil die Sphäre kompakt ist, kann sie nicht diffeomorph zum \R^n sein. Aus der Bedingung der nicht positiven Schnittkrümmung erhält man also starke Einschränkungen in Bezug auf die Topologie, welche die Mannigfaltigkeit tragen kann. Mit Hilfsmitteln der algebraischen Topologie lässt sich zeigen, dass die Homotopiegruppen πk(M) der Mannigfaltigkeiten, welche die Voraussetzungen des Satzes erfüllen, für k > 1 verschwinden.

Mannigfaltigkeiten mit positiver Krümmung

Ein Resultat aus dem Bereich Mannigfaltigkeiten mit positiver Schnittkrümmung ist der Satz von Bonnet. Dieses lokal-global-Theorem bringt die Schnittkrümmung mit den topologischen Eigenschaften Kompaktheit und endlicher Fundamentalgruppe in Verbindung. Präzise besagt der Satz:

Sei M eine vollständige, zusammenhängende riemannsche Mannigfaltigkeit. Alle Schnittkrümmungen seien durch \textstyle \frac{1}{R^2} nach unten beschränkt. Dann ist M ein kompakter Raum mit endlicher Fundamentalgruppe.

Literatur

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

Einzelnachweise

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

Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Riemannscher Krümmungstensor — Der riemannsche Krümmungstensor (kürzer auch Riemanntensor, riemannsche Krümmung oder Krümmungstensor) beschreibt die Krümmung von Räumen beliebiger Dimension, genauer gesagt riemannscher oder pseudo riemannscher Mannigfaltigkeiten. Er wurde nach …   Deutsch Wikipedia

  • Sphärensatz — Der Sphärensatz ist ein bedeutendes Resultat aus der globalen riemannschen Geometrie. Nach Vorarbeiten von Harry Rauch bewiesen Wilhelm Klingenberg und Marcel Berger diesen Satz im Jahr 1961. Inhaltsverzeichnis 1 Sphärensatz 1.1 (Klassischer)… …   Deutsch Wikipedia

  • Riemannsche Geometrie — Bernhard Riemann Die riemannsche Geometrie ist ein Teilgebiet der Differentialgeometrie und wurde nach Bernhard Riemann benannt. In dieser Theorie werden die geometrischen Eigenschaften einer riemannschen Mannigfaltigkeit untersucht. Dies sind… …   Deutsch Wikipedia

  • Satz von Bonnet-Myers — Der Satz von Myers (nach Sumner Byron Myers) ist eine mathematische Aussage aus dem Gebiet der Riemann schen Geometrie, einem Teilgebiet der Differentialgeometrie. Diese Aussage kann als Verallgemeinerung des Satzes von Bonnet verstanden werden… …   Deutsch Wikipedia

  • Mannigfaltigkeit — Die Sphäre kann mit mehreren Abbildungen „plattgedrückt“ werden. Entsprechend kann man die Erde in einem Atlas darstellen. Unter einer Mannigfaltigkeit versteht man in der Mathematik einen topologischen Raum, der lokal dem euklidischen Raum… …   Deutsch Wikipedia

  • Detlef Gromoll — (* 13. Mai 1938 in Berlin; † 31. Mai 2008 in Stony Brook) war ein deutscher Mathematiker, der sich mit Differentialgeometrie beschäftigte. Gromoll promovierte 1964 bei Friedrich Hirzebruch an der Universität Bonn (Differenzierbare Strukturen und… …   Deutsch Wikipedia

  • Harry Rauch — Harry Ernest Rauch (* 9. November 1925 in Trenton, New Jersey; † 18. Juni 1979 in White Plains, New York) war ein US amerikanischer Mathematiker, der sich mit Funktionentheorie und Differentialgeometrie beschäftigte. Rauch promovierte 1948 an der …   Deutsch Wikipedia

  • Krümmung — ist ein Begriff verschiedener Fachgebiete der Mathematik, der je nach Art des gekrümmten Gegenstandes unterschiedlich definiert wird. Inhaltsverzeichnis 1 Krümmung einer Kurve 1.1 Definition 1.2 Eigenschaften …   Deutsch Wikipedia

  • Ricci-Fluss — In der Mathematik ist der Ricci Fluss (nach Gregorio Ricci Curbastro) auf einer Mannigfaltigkeit eine zeitabhängige riemannsche Metrik g(t), die eine bestimmte partielle Differentialgleichung löst, nämlich die Ricci Gleichung , wobei die Ricci… …   Deutsch Wikipedia

  • Ricci-Fluß — In der Mathematik ist der Ricci Fluss (nach Gregorio Ricci Curbastro) auf einer Mannigfaltigkeit eine zeitabhängige riemannsche Metrik g(t), die eine bestimmte partielle Differentialgleichung löst, nämlich die Ricci Gleichung , wobei die Ricci… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”