Definition
Ein grundlegendes Resultat, das das Integral der Krümmung einer kompakten orientierten Mannigfaltigkeit (oder die entsprechende Krümmungsform in höheren Dimensionen) mit einem topologischen Invariant der Mannigfaltigkeit, der Eulerschen Charakteristik, verknüpft.
Prinzip
Prinzip
Die gesamte Krümmung, ausgedrückt durch das Integral einer Krümmungsform, entspricht einem topologischen Index: der Eulerklasse ausgewertet auf die fundamentale Klasse; in zwei Dimensionen ist das Integral der Gaußschen Krümmung gleich 2π mal der Eulerschen Charakteristik.
Demonstration
Demonstration
Bei der 2-Sphäre S^2 ist die Gaußsche Krümmung konstant 1/R^2 für Radius R; das Kurvenintegral über die Fläche liefert 2πχ(S^2)=4π, entsprechend χ=2; in höheren geraden Dimensionen drückt die Chern–Gauss–Bonnet-Formel χ als Integral der Pfaffschen Form der Krümmung aus.
Fehlanwendung
Fehlanwendung
Die Anwendung des Satzes auf nicht kompakte, nicht orientierbare oder singuläre Räume ohne Randterme oder Korrekturen führt zu falschen Ergebnissen; punktweise Krümmung als topologisches Invariant zu behandeln ist ein Kategorienfehler.
Konsequenz
Konsequenz
Stellt eine direkte Brücke von differentialgeometrischen zu topologischen Aussagen her: man kann Eulersche Charakteristiken aus Metrikdaten der Krümmung berechnen (unter den Voraussetzungen) und Krümmungsintegrale werden durch die Topologie beschränkt.
Umkehrung
Umkehrung
Die Topologie bestimmt nicht die punktweise Krümmungsverteilung; verschiedene Metriken mit unterschiedlicher lokaler Krümmung können dieselbe Eulersche Charakteristik liefern, der Satz liefert also keine eindeutige Umkehrung auf die Metrik.
Abgrenzung
Abgrenzung
Gilt für kompakte orientierbare glatte Mannigfaltigkeiten ohne Rand (oder mit einer modifizierten Randformel); Erweiterungen erfordern explizite Randbehandlung oder die Behandlung von Singularitäten und fallen nicht unter die klassische Aussage.
Semantische Spannung
Semantische Spannung
Stellt lokale analytische Daten (Krümmungsformen) gegen ein globales topologisches Invariant (Eulersche Charakteristik); Spannung entsteht, wenn man lokale Determiniertheit anstatt einer lokalen-zu-globalen Zusammenfassung erwartet.
Synthese
Synthese
Der Gauss–Bonnet-Satz fasst lokale Krümmungsinformation zu einer einzigen globalen topologischen Zahl zusammen: das Integral einer geeigneten Krümmungsform über eine kompakte orientierbare Mannigfaltigkeit ergibt deren Eulersche Charakteristik.