Ein Satz, der ein kanonisches Isomorphismus zwischen der De-Rham-Kohomologie einer glatten Mannigfaltigkeit (Kohomologie aus Differentialformen modulo exakten Formen) und ihrer singulären Kohomologie mit reellen Koeffizienten herstellt und damit differentielle Formen mit topologischen Kohomologiemengen identifiziert.

Prinzip

Das Isomorphismus ergibt sich aus der Integration abgeschlossener Formen über singuläre Ketten zusammen mit dem Poincaré-Lemma und Zerlegungen der Eins; es ordnet Topologie und Analysis, indem es zeigt, dass abgeschlossene Differentialformen dieselben kohomologischen Informationen liefern wie singuläre Ketten mit reellen Koeffizienten.

Demonstration

Am Kreis S1 hat jede abgeschlossene 1-Form eine konstante Umlaufintegrale; der Raum abgeschlossener 1-Formen modulo exakter Formen ist eindimensional über R und stimmt mit H1(S1; R) ≅ R überein, sodass De-Rham- und singuläre Gruppen durch Integration übereinstimmen.

Fehlanwendung

Zu glauben, das Isomorphismus gelte mit ganzzahligen Koeffizienten, oder auf nichtglatte Räume bzw. wilde topologische Räume ohne Zerlegung der Eins anzuwenden; etwa das Ersetzen von R durch Z bricht den Satz, weil Differentialformen natürlich echtwertige Invarianten liefern.

Konsequenz

Topologische Invarianten glatter Mannigfaltigkeiten lassen sich analytisch mittels Differentialformen berechnen; dies erlaubt den Transfer von Problemen zwischen Differentialgeometrie, Analysis und algebraischer Topologie und ist Grundlage weiterer Resultate wie der Hodge-Theorie.

Umkehrung

Umgekehrt besitzen singuläre Kohomologieklassen mit reellen Koeffizienten glatte Differentialform-Vertreter; topologische Informationen bestimmen analytische Repräsentanten bis auf exakte Formen, wobei ohne zusätzliche Struktur kein kanonischer Repräsentant vorliegt.

Abgrenzung

Gilt für glatte (C∞) Mannigfaltigkeiten und reelle Koeffizienten; setzt Parakompaktheit für Zerlegungen der Eins voraus und versagt allgemein bei Singularitäten, Nicht-Mannigfaltigkeiten oder anderen Koeffizienten als R, sofern nicht zusätzliche Strukturen gegeben sind.

Semantische Spannung

Verwandt mit, aber zu unterscheiden von der Hodge-Theorie: De-Rham stellt ein algebraisch-topologisches Isomorphismus bereit, Hodge liefert hingegen harmonische Vertreter mittels einer Riemannschen Metrik; die Begriffe sind nahe, aber nicht identisch.

Synthese

Der De-Rham-Satz verbindet Differentialformen und algebraische Topologie, indem er zeigt, dass die aus abgeschlossenen Formen modulo exakten Formen gebildete analytische Kohomologie die reelle singuläre Kohomologie der Mannigfaltigkeit reproduziert und so topologische Invarianten durch analytische Methoden zugänglich macht.