Ein Dualitätssatz, der die reduzierten Homologiegruppen einer kompakten Teilmenge A der Sphäre S^n mit den reduzierten Kohomologiegruppen ihres Komplements S^n \ A in Beziehung setzt, typischerweise durch ein Isomorphismus H~_i(A) ≅ H~^{n-i-1}(S^n \ A).

Prinzip

Homologische Informationen über eine kompakte Teilmenge in einer Sphäre werden dual in der Kohomologie ihres Komplements kodiert; das Entfernen von A aus der Sphäre vertauscht homologische Dimensionen auf vorhersehbare Weise entsprechend der Dimension der Sphäre.

Demonstration

Ist A eine endliche Vereinigung von Punkten in S^2, dann entspricht die reduzierte Homologie H~_0(A) (Zählung der Komponenten von A minus eins) nach Alexander-Dualität der Gruppe H~^{1}(S^2 \ A), sodass das Komplement Kohomologie in Grad eins aufweist, die mit umschließenden Zyklen korrespondiert; dies liefert konkrete Rechnungen für Komplementstrukturen von Punktmengen oder Knoten.

Fehlanwendung

Alexander-Dualität auf Teilmengen anzuwenden, die in der Sphäre nicht kompakt sind, oder zu vergessen, reduzierte (Ko)homologie zu verwenden; die Formel naiv im euklidischen Raum anzuwenden, ohne die Einkomponenten-Kompaktifizierung zu verwenden, führt zu falschen Gradverschiebungen.

Konsequenz

Bietet ein wirksames Rechenwerkzeug: Invarianten von Komplementen (wichtig in der Knotentheorie und Komplementtopologie) lassen sich aus Invarianten der Teilmenge selbst berechnen und umgekehrt, was Einschränkungen für Einbettungen und Verlinkungsphänomene bringt.

Umkehrung

Umgekehrt detektieren Kohomologieklassen des Komplements Homologieklassen der Teilmenge; Alexander-Dualität erlaubt, Eigenschaften von A aus Kenntnis von S^n \ A herzuleiten und so Komplementrechnungen in direkte Informationen über A zu verwandeln.

Abgrenzung

Gilt für kompakte Teilmengen von S^n (oder lokal kompakte Teilmengen von R^n nach Einkomponenten-Kompaktifizierung) und benutzt reduzierte (Ko)homologie; ohne Modifikationen gilt sie nicht für beliebige nichtkompakte Teilmengen oder für nicht-sphärische Umgebungsmannigfaltigkeiten ohne zusätzliche Voraussetzungen (Lefschetz- oder Poincaré-Dualität kann erforderlich sein).

Semantische Spannung

Wird oft mit Poincaré- und Lefschetz-Dualität verglichen; die Spannung liegt darin, dass Alexander-Dualität Teilmenge ↔ Komplement in einer Sphäre behandelt, während Poincaré/Lefschetz die (Ko)Homologie einer gesamten Mannigfaltigkeit betreffen; die Resultate sind verwandt, aber unterschiedlich in Kontext und Voraussetzungen.

Synthese

Alexander-Dualität besagt zusammenfassend, dass homologische Daten einer kompakten Teilmenge einer Sphäre und die kohomologischen Daten ihres Komplements dual zueinanderstehen: Berechnungen auf der einen Seite liefern durch eine dimensionsabhängige Verschiebung die Informationen auf der anderen, ein Prinzip mit breiter Anwendung in Komplement- und Einbettungsproblemen.