Satz von Gauß-Bonnet

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Der Satz von Gauß-Bonnet (nach Carl Friedrich Gauß und Pierre Ossian Bonnet) ist eine wichtige Aussage über Flächen, die ihre Geometrie mit ihrer Topologie verbindet, indem eine Beziehung zwischen Krümmung und Euler-Charakteristik hergestellt wird. Dieser Satz wurde von beiden Mathematikern unabhängig voneinander gefunden.

Während Gauß seine Arbeiten dazu nicht vollständig veröffentlichte (in den Disquisitiones circa superficies curvas von 1827 ist ein Spezialfall), wurde die Integralformel von Gauß und Bonnet zuerst 1848 von Bonnet veröffentlicht.[1]

Aussage[Bearbeiten | Quelltext bearbeiten]

Sei eine kompakte und orientierbare zweidimensionale riemannsche Mannigfaltigkeit mit Rand . Bezeichne mit die Gaußkrümmung in den Punkten von und mit die geodätische Krümmung der Randkurve . Dann gilt

wobei die Euler-Charakteristik von ist. Der Satz kann im Besonderen auf Mannigfaltigkeiten ohne Rand angewendet werden. Dann fällt der Term weg.

Falls eine Fläche ist, kann der Satz auch für stückweise differenzierbare Randkurven formuliert werden. In diesem Fall ergibt sich auf der linken Seite ein Zusatzterm:

Die Außenwinkel AW sind definiert als die Winkel zwischen dem rechts- und dem linksseitigen Limes der Tangentialvektoren an den Knickstellen von . Die Randkurve muss so orientiert sein, dass zur Fläche zeigt. Dabei ist der Normalenvektor der Fläche und der Tangentialvektor an die Randkurve.

Man kann den Satz von Gauß-Bonnet auch auf simpliziale Flächen verallgemeinern, wobei man den Winkeldefekt einer Ecke als diskrete Gaußkrümmung definiert.

Erklärung des Satzes[Bearbeiten | Quelltext bearbeiten]

Verzerrt man die Mannigfaltigkeit, so bleibt ihre Euler-Charakteristik unverändert, im Gegensatz zur Gaußkrümmung an den einzelnen Punkten. Der Satz sagt aus, dass das Integral über die Krümmung, also die Gesamtkrümmung, unverändert bleibt.

Beispiele[Bearbeiten | Quelltext bearbeiten]

Die runde Sphäre mit Radius 1 hat in jedem Punkt die Gauß-Krümmung 1. Das Integral über die Gauß-Krümmung entspricht also ihrer Fläche, . Andererseits ist die Euler-Charakteristik 2, da man die Sphäre als Verklebung von zwei (runden) Flächen entlang einer Kante mit einer Ecke bekommt (also 2-1+1=2).

Theorema elegantissimum[Bearbeiten | Quelltext bearbeiten]

Diese von Gauß stammende Folgerung besagt, dass die Gesamtkrümmung eines einfach zusammenhängenden geodätischen Dreiecks gleich dessen Winkelexzess ist. Für den Spezialfall der 2-Sphäre sieht man über die Außenwinkelsumme eines infinitesimalen (also flachen) Dreiecks von die Äquivalenz zum Satz von Gauß-Bonnet. Die Äquivalenz gilt allerdings – im zweidimensionalen Fall – auch allgemein, was mithilfe einer Triangulierung eingesehen werden kann, denn für sie gilt:

Satz von Gauß-Bonnet-Chern[Bearbeiten | Quelltext bearbeiten]

Der Satz lässt sich auf Dimensionen verallgemeinern, was von André Weil und Carl B. Allendoerfer 1943 und mit neuen Beweisen von Chern 1944 gemacht wurde.

Sei eine kompakte orientierte riemannsche Mannigfaltigkeit mit gerader Dimension und sei der riemannsche Krümmungstensor. Da für diesen gilt, kann dieser als vektorwertige Differentialform

verstanden werden.[2] Unter diesen Voraussetzungen gilt dann

wobei die pfaffsche Determinante ist.

Mit dem Wissen, dass für den Fredholm-Index von die Gleichheit gilt, wobei die äußere Ableitung ist, kann dieser Satz als Spezialfall des Atiyah-Singer-Indexsatzes verstanden werden. In diesem Zusammenhang bietet der Satz von Gauß-Bonnet-Chern also eine Möglichkeit zur Berechnung des topologischen Index des Operators .[3]

Literatur[Bearbeiten | Quelltext bearbeiten]

  • Manfredo Perdigão do Carmo: Differential Geometry of Curves and Surfaces. Prentice-Hall Inc., Upper Saddle River NJ 1976, ISBN 0-13-212589-7.
  • 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.

Einzelnachweise[Bearbeiten | Quelltext bearbeiten]

  1. Bonnet, Mémoire sur la théorie générale des surfaces, Journal de l’École Polytechnique, Band 32, 1848, S. 1–46.
  2. Nicole Berline, Ezra Getzler, Michèle Vergne: Heat kernels and Dirac operators (= Grundlehren der mathematischen Wissenschaften 298). Berlin u. a. Springer 1992, ISBN 0-387-53340-0, S. 33.
  3. Nicole Berline, Ezra Getzler, Michèle Vergne: Heat kernels and Dirac operators (= Grundlehren der mathematischen Wissenschaften 298). Berlin u. a. Springer 1992, ISBN 0-387-53340-0, S. 149–150.