##  [Alexander-Dualität](/de/node/62218) 

 Definition

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

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

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

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

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

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

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

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

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.