Absoluter Umgebungsretrakt
# Absoluter Umgebungsretrakt

Der Terminus Absoluter Umgebungsretrakt (engl. absolute neighborhood retract, kurz ANR) ist ein Begriff der Topologie, einem der Teilgebiete der Mathematik, welcher dort insgesamt und insbesondere in der Homotopietheorie von Bedeutung ist.

## Definition

Ein topologischer Raum $X$ ist ein absoluter Umgebungsretrakt, wenn folgendes gilt:

    Es gibt zu jedem normalen abgeschlossenen Unterraum $Y\subseteq X$ eine offene Umgebung $U\supseteq Y\;(U\subseteq X)$ und eine stetige Abbildung $r\colon U\to Y$ so, dass $r(y)=y$ für alle $y\in Y$ gilt; also so, dass die Einschränkung $r|_{Y}$ auf $Y$ die Identität ist.

Die Definition lässt sich auch so fassen:

Ein topologischer Raum $X$ ist ein absoluter Umgebungsretrakt genau dann, wenn gilt:

    Ist $Z$ ein normaler Raum, $Y\subseteq Z$ ein darin gelegener abgeschlossener Unterraum und $g\colon Y\rightarrow X$ eine stetige Abbildung, so existiert, wie auch immer $Z,Y,g$ beschaffen sind, zu $g$ stets eine stetige Fortsetzung $g^{+}\colon V\rightarrow X$ auf eine Umgebung $V\supseteq Y\;(V\subseteq Z)$.

Die Begriffsbildung des absoluten Umgebungsretrakts geht auf den polnischen Mathematiker Karol Borsuk zurück. Sie wird jedoch in der zeitgenössischen Mathematik verallgemeinert, nämlich in der soeben beschriebenen Weise, aufgefasst.

## Beispiele

* Jeder $\mathbb {R} ^{n}\;(n\in \mathbb {N} )$ ist ein ANR.
* Die offenen Teilmengen eines ANR und alle in ihm liegenden Retrakte sind ANRs.
* Jede separable Mannigfaltigkeit ist ein ANR.
* Jedes lokal endliche Polyeder ist ein ANR.
* Satz von Hanner: Wenn ein topologischer Raum von endlichen vielen offenen Teilmengen überdeckt wird, die alle ANRs sind, dann ist er ein ANR.

## Eigenschaften

* ANRs sind lokal zusammenziehbar.
* Ein Raum ist genau dann ein ANR, wenn er ein Retrakt einer offenen Teilmenge eines konvexen Unterraums eines normierten Raums ist.
* Jeder ANR ist homotopieäquivalent zu einem abzählbaren CW-Komplex.
