Freie Überdeckungen und freie Abbildungen. (Q2601302)

Eine Überdeckung \(\mathfrak A\) eines (topologischen) Raumes \(R\) heißt \textit{frei}, wenn es eine solche stetige Abbildung \(f\) von \(R\) in sich gibt, daß \(E\cdot f (E) = 0\) für jedes \(E \in \mathfrak A\) gilt. Eine Abbildung \(\varphi\) von \(R\) (in irgendeinen Raum \(R'\)) heißt \textit{frei}, wenn sie stetig ist und die Urbilder \(\varphi^{-1}(x')\) der Punkte \(x' \in R'\) eine freie Überdeckung von \(R\) bilden. Im \S\,1 der Arbeit wird ganz elementar bewiesen, daß ein unikohärenter topologischer Raum niemals eine freie endliche Überdeckung der Ordnung 2 mit abgeschlossenen und zusammenhängenden Mengen gestattet (Satz I). Mit Hilfe dieses Satzes wird in den Paragraphen 2 und 3 folgender Satz (Satz III) bewiesen: Damit ein stetiges Streckenbild \(K\) unikohärent sei, ist jede einzelne der folgenden drei Bedingungen (a), (b), (c) notwendig und hinreichend: (a) \(K\) gestattet keine freie endliche Überdeckung der Ordnung 2 mit Kompakten; (b) \(K\) gestattet keine freie Überdeckung mit drei Kompakten; (c) \(K\) gestattet keine freie Abbildung auf eine Kurve. Aus der Bedingung (a) ergibt sich insbesondere, daß für die \(n\)-dimensionalen euklidischen Sphären \(S^n\) mit \(n \geqq 2\) die zweite \textit{Urysohn}sche Konstante von \(S^n\) mit dem Durchmesser von \(S^n\) übereinstimmt. Die Bedingung (b) enthält den Satz \((A_2)\), der ein Einzelfall folgenden Satzes \((A_n)\) (von \textit{Lusternik} und \textit{Schnirelmann}) ist. Satz \((A_n)\): Bei jeder Überdeckung von \(S_n\) mit \(n + 1\) Kompakten, enthält wenigstens eines von diesen Kompakten ein antipodisches Punktepaar der Sphäre. Im \S\,4 wird zuerst gezeigt, daß für jedes \(n\geqq 3\) (jedoch nicht für \(n \leqq 2\)) folgende Behauptungen gelten: (1) Es gibt freie Überdeckungen von \(S^n\) mit \(n + 1\) Kompakten; (2) Es gibt freie Abbildungen von \(S^n\), welche die Dimension erniedrigen. -- Es bezeichne nun \(\lambda (n)\) die kleinste Zahl \(\lambda\) von der Eigenschaft, daß es eine stetige Abbildung \(f\) von \(S^n\) auf einen \(\lambda\)-dimensionalen Raum gibt von der Art, daß \(\varphi (x) \neq \varphi (y)\) für jedes Antipodenpaar \((x, y)\) gilt. Die Zahl \(\lambda (n)\) läßt sich auch definieren als die größte von den Zahlen \(k\), für die die \(k\)-te \textit{Urysohn}sche Konstante von \(S^n\) gleich dem Durchmesser von \(S^n\) ist. Es wird gezeigt, daß \(\lambda(n) = \dfrac{n+1}{2}\) für ungerades \(n\) und \(\lambda(n)=\dfrac{n}{2}\) oder \(\lambda (n) = \dfrac{n+2}{2}\) für gerades \(n\) ist, wobei für jedes gerade \(n \geqq 4\) unbeantwortet bleibt, welche von diesen zwei Möglichkeiten wirklich vorkommt.