Ein Satz, der die De-Rham-Kohomologie einer glatten Mannigfaltigkeit, definiert durch Differentialformen, mit ihrer singulären Kohomologie mit reellen Koeffizienten durch das Integrationspaar identifiziert.

Prinzip

Die Integration geschlossener Differentialformen über singuläre Ketten induziert ein Isomorphismus zwischen der Kohomologie des Differentialkomplexes der Formen und den topologischen Kohomologiegruppen mit reellen Koeffizienten.

Demonstration

Für den Kreis S^1 ist der Raum geschlossener 1-Formen modulo exakter Formen eindimensional, und die Integration entlang der Schleife liefert ein Isomorphismus mit H^1(S^1; R) ≅ R; explizite Primitiven und Periodenberechnungen zeigen die Entsprechung.

Fehlanwendung

Die Aussage auf nicht glatte Räume anzuwenden, Koeffizienten außer R ohne Anpassung zu nutzen oder De-Rham-Kohomologie mit beliebigen Koeffizienten zu verwechseln führt zu Fehlern; Vernachlässigung von Orientierbarkeit oder Regularität macht das Integrationspaar ungültig.

Konsequenz

Ermöglicht die Berechnung topologischer Invarianten mit differenziellen Mitteln und elliptischer Theorie; zeigt, dass analytische Objekte (Differentialformen modulo exakter Formen) die topologische Kohomologie über R erfassen.

Umkehrung

Die singuläre Kohomologie liefert nicht zwangsläufig differenzielle Repräsentanten oder analytische Struktur; der Satz verleiht nicht jeder topologischen Klasse automatische glatte Formen, falls die Mannigfaltigkeit nicht glatt ist.

Abgrenzung

Erfordert eine glatte Mannigfaltigkeit (oder eine geeignete glatte Struktur); für singuläre Räume, Orbifolde oder Schemata sind angepasste Theorien erforderlich (z. B. Garbenkohomologie, distributionelle Formen) und das klassische De-Rham-Isomorphismus kann versagen.

Semantische Spannung

Steht zwischen analytisch/differentiellen Beschreibungen und algebraisch/topologischen Invarianten; Spannung entsteht, wenn man versucht, das Isomorphismuskonzept über den glatten, reell-köeffizienten Kontext hinaus zu erweitern.

Synthese

Der De-Rham-Satz besagt, dass auf einer glatten Mannigfaltigkeit die Kohomologie, die aus Differentialformen berechnet wird, mit der topologischen Kohomologie mit reellen Koeffizienten übereinstimmt, konkret realisiert durch Integration über Zyklen.