Zerlegungssatz von Alexandroff-Borsuk
# Zerlegungssatz von Alexandroff-Borsuk

Der Zerlegungssatz von Alexandroff-Borsuk (manchmal auch nur Zerlegungssatz von Borsuk genannt) ist ein mathematischer Lehrsatz über die Topologie des endlichdimensionalen euklidischen Raums. Er geht auf Paul Alexandroff und Karol Borsuk zurück und gibt eine Charakterisierung der den euklidischen Raum zerlegenden Kompakta unter Benutzung der Homotopietheorie. Der Satz steht in enger Verbindung mit dem Zerlegungssatz von Jordan-Brouwer.

## Formulierung des Zerlegungssatzes

Der Zerlegungssatz von Alexandroff-Borsuk lässt sich formulieren wie folgt:
    Sei $K$ eine kompakte Teilmenge des ${\mathbb {R} }^{n+1}$ ($n\in {\mathbb {N} }$).
    Dann ist dafür, dass $K$ den ${\mathbb {R} }^{n+1}$ zerlegt, hinreichend und notwendig, dass eine wesentliche stetige Abbildung $f\colon K\to S^{n}$ von $K$ in die $n$-dimensionale Sphäre $S^{n}\subseteq {\mathbb {R} }^{n+1}$ existiert.

### Erläuterungen

Man sagt, dass eine Teilmenge $K$ des ${\mathbb {R} }^{n}$ diesen zerlegt, wenn die Komplementmenge $\mathbb {R} ^{n}\setminus K$ in der Unterraumtopologie unzusammenhängend ist, also aus mindestens zwei Zusammenhangskomponenten besteht.
Weiter nennt man eine stetige Abbildung $f\colon X\to Y$ zwischen zwei topologischen Räumen $X$ und $Y$ wesentlich, wenn sie zu keiner konstanten Abbildung $C\colon X\to \{y\}\subseteq Y$ homotop ist. Andernfalls nennt man $f$ unwesentlich oder nullhomotop.

## Anwendung: Der qualitative Zerlegungssatz von Jordan-Brouwer

Die qualitative Zerlegungssatz von Jordan-Brouwer besagt Folgendes:
    Wird eine kompakte Teilmenge $K\subseteq {\mathbb {R} }^{n+1}$ durch eine injektive stetige Abbildung $h\colon K\to {\mathbb {R} }^{n+1}$ innerhalb ${\mathbb {R} }^{n+1}$ abgebildet und zerlegt $K$ den ${\mathbb {R} }^{n+1}$, so zerlegt auch die Bildmenge $h(K)$ den ${\mathbb {R} }^{n+1}$.
Den qualitativen Zerlegungssatz von Jordan-Brouwer erhält man aus dem Zerlegungssatz von Alexandroff-Borsuk unter Berücksichtigung der Tatsache, dass die wesentlichen stetigen Abbildungen von $K$ und $h(K)$ in die n-dimensionale Sphäre via $h$ und $h^{-1}$ einander umkehrbar eindeutig entsprechen.