Eine Relation zwischen abgeschlossenen n-dimensionalen Mannigfaltigkeiten: Zwei abgeschlossene n‑Mannigfaltigkeiten M und N sind kobordant, wenn es eine kompakte (n+1)-Mannigfaltigkeit W gibt, deren Rand die disjunkte Vereinigung ∂W ≅ M ⨿ N ist (Orientierungen sind in der orientierten Kategorie zu berücksichtigen).

Prinzip

Kobordismus ordnet Mannigfaltigkeiten in Äquivalenzklassen, indem er eine Mannigfaltigkeit einer Dimension höher zulässt, die zwischen ihnen über ihren Rand « interpoliert »; er ist eine Äquivalenzrelation und führt zu algebraischen Strukturen (Kobordismusgruppen) bezüglich disjunkter Vereinigung und Randoperationen.

Demonstration

Der Kreis S^1 ist kobordant zum leeren 1‑Dimensionalen Manifold, weil die Scheibe D^2 eine kompakte 2‑Mannigfaltigkeit mit Rand ∂D^2 = S^1 ist; daher ist S^1 null-kobordant. In der orientierten Kategorie muss die Orientierung geprüft werden.

Fehlanwendung

Kobordismus mit Homöomorphie oder Diffeomorphie gleichzusetzen — kobordante Mannigfaltigkeiten müssen nicht homöomorph oder diffeomorph sein; Kobordismus ist eine schwächere Äquivalenz, die den Übergang durch ein (n+1)-dimensionales Interpolant erlaubt.

Konsequenz

Kobordismusklassen bilden graduierte abelsche Gruppen unter disjunkter Vereinigung; viele globale Invarianten (Stiefel–Whitney-Zahlen, Pontrjagin-Zahlen in passenden Kategorien) stellen Obstruktionen gegen Null-Kobordismus dar, sodass die Berechnung von Kobordismen tiefe Klassifikationsinformationen liefert.

Umkehrung

Die entgegengesetzte Sichtweise betont das ‚Bord‘-Sein: Eine Mannigfaltigkeit ist null-kobordant, wenn sie als ganzer Rand einer kompakten Mannigfaltigkeit einer Dimension höher erscheint; das Umkehren der Relation vertauscht die Rollen der Randkomponenten des kobordierenden W.

Abgrenzung

Standard-Kobordismus befasst sich mit abgeschlossenen (kompakten, randlosen) Mannigfaltigkeiten; Varianten umfassen Kobordismus mit Rand, Kobordismus von Mannigfaltigkeiten mit zusätzlicher Struktur (Orientierung, Trivialisierung, Komplexstruktur) und relativen Kobordismus — jede Variante setzt zusätzliche Einschränkungen.

Semantische Spannung

Kobordismus versus Homologie oder Homotopieäquivalenz: Kobordismus ist unabhängig vom einfachen Homotopietyp und kann Mannigfaltigkeiten mit verschiedenen Homotopietypen verbinden; er ist gröber als Homöomorphie, aber feiner als naive relationale Klassen und steht in subtilem Zusammenhang mit charakteristischen Klassen.

Synthese

Kobordismus drückt aus, dass zwei abgeschlossene n‑Mannigfaltigkeiten denselben kompakten (n+1)-Interpolanten als Rand haben; er definiert eine strukturabhängige Äquivalenzrelation, liefert berechenbare algebraische Invarianten und organisiert die Klassifikation von Mannigfaltigkeiten über eindimensionale höhere Interpolanten.