Binormaler Raum
# Binormaler Raum

Binormaler Raum ist ein Terminus aus dem mathematischen Teilgebiet der Topologie. Der Terminus hat unter anderem Bedeutung für Homotopieuntersuchungen im endlich-dimensionalen reellen Koordinatenraum.

## Definition

Ein topologischer Raum $X$ heißt binormal, wenn er ein normaler Hausdorffraum ist und zugleich abzählbar parakompakt in dem Sinne, dass jede höchstens abzählbare offene Überdeckung eine lokalendliche Verfeinerung besitzt.

## Beispiel

Ein metrischer Raum ist nach dem Satz von Arthur Harold Stone stets parakompakt, folglich auch abzählbar parakompakt und darüber hinaus auch stets normal. Daher ist jeder metrische Raum binormal.

## Charakterisierungssatz

Es gilt der folgende Charakterisierungssatz, der im Wesentlichen auf eine Arbeit des kanadischen Mathematikers Clifford Hugh Dowker aus dem Jahre 1951 zurückgeht:

    Für einen Hausdorffraum $X$ sind die folgenden Bedingungen gleichwertig:
       (1) $X$ ist binormal.
       (2) Ist $Y$ ein beliebiger kompakter metrischer Raum, so ist der zugehörige Produktraum $X\times Y$ stets ein normaler Raum .
       (3) Es existiert zumindest ein unendlicher kompakter metrischer Raum $Y$, für den der zugehörige Produktraum $X\times Y$ ein normaler Raum ist.
       (4) Der mit dem abgeschlossenen Einheitsintervall $I=[0,1]\subset \mathbb {R}$ gebildete Produktraum $X\times I$ ist ein normaler Raum.
       (5) Der aus $X$ und dem Hilbertwürfel gebildete Produktraum $X\times {I^{\aleph _{0}}}$ ist ein normaler Raum.
       (6) Zu je zwei halbstetigen reellwertigen Funktionen $f,g\colon X\rightarrow \mathbb {R}$ derart, dass $f$ oberhalbstetig und $g$ unterhalbstetig ist und dass stets die Ungleichung $f(x)<g(x)\;\;(x\in X)$ gilt, existiert eine stetige Funktion $h\colon X\rightarrow \mathbb {R}$, welche stets die Beziehung $f(x)<h(x)<g(x)\;\;(x\in X)$ erfüllt.

## Homotopie-Fortsetzungssatz

Im Zusammenhang mit der Binormalitätseigenschaft gilt der borsuksche Homotopie-Fortsetzungssatz, der auf eine Arbeit des polnischen Mathematikers Karol Borsuk aus dem Jahre 1937 zurückgeht. Dieser lässt sich formulieren wie folgt:

    Gegeben seien eine binormaler Raum $X$ und darin ein abgeschlossener Unterraum $A$ sowie zwei stetige Abbildungen $f_{0},f_{1}\colon A\rightarrow S^{n}$ von $A$ in die $n$-Sphäre $S^{n}\;(n\in \mathbb {N} )$.
    Dabei seien $f_{0}$ und $f_{1}$ homotop und $f_{0}$ besitze eine stetige Fortsetzung $F_{0}\colon X\rightarrow S^{n}$.
    Dann gilt:
    Auch $f_{1}$ besitzt eine stetige Fortsetzung $F_{1}\colon X\rightarrow S^{n}$, welche zudem homotop zu $F_{0}$ ist.

Allerdings haben im Jahre 1975 Kiiti Morita und Michael Starbird unabhängig voneinander bewiesen, dass dieser auch dann noch Gültigkeit hat, wenn man die Binormalitätseigenschaft beiseite lässt, wenn man also $X$ lediglich als normalen Hausdorffraum voraussetzt.

### Korollar

Der borsuksche Homotopie-Fortsetzungssatz zieht in Verbindung mit der Tatsache, dass der reelle Koordinatenraum ein zusammenziehbarer Raum ist, das folgende interessante Korollar nach sich:

    Sei $A$ eine abgeschlossene Teilmenge des reellen Koordinatenraums $\mathbb {R} ^{k}\;(k\in \mathbb {N} )$ und sei weiter $f\colon A\rightarrow S^{n}$ eine stetige Abbildung.
    Dann gilt:
    $f$ ist nullhomotop dann und nur dann, wenn $f$ eine stetige Fortsetzung $F\colon \mathbb {R} ^{k}\rightarrow S^{n}$ besitzt.

## Das dowkersche Problem

Clifford Hugh Dowker warf in seiner Arbeit von 1951 folgende Frage auf:

* Ist ein normaler Hausdorffraum immer auch ein abzählbar parakompakter Raum?

Anders gefragt:

* Ist jeder normale Hausdorffraum schon binormal?

Das zu dieser Frage gehörige Problem wird als dowkersches Problem (englisch Dowker’s problem) bezeichnet. Einen Hausdorffraum, der ein Gegenbeispiel dazu liefert, also ein normaler, nicht abzählbar parakompakter Hausdorffraum, wird ein Dowker-Raum (englisch Dowker space) genannt. Die US-amerikanische Mathematikerin Mary Ellen Rudin hat im Jahre 1971 das dowkersche Problem insoweit gelöst, als sie im Rahmen der Zermelo-Fraenkel-Mengenlehre mit Auswahlaxiom (ZFC) einen Dowker-Raum konstruieren konnte.

