Une nouvelle classe de continus (Q567115)

\textit{Čech} hat das folgende Problem gestellt: Welchen notwendigen und hinreichenden Bedingungen hat ein kompaktes Kontinuum \(C\) zu genügen, damit auf \(C\) eine reelle stetige Funktion existiert, die jeden Wert nur endlich oft annimmt? \textit{Čech} selbst weist die folgenden notwendigen Bedingungen nach: \(C\) ist eine reguläre Kurve; die Menge \(E\) der Endpunkte von \(C\) besitzt keinen in sich dichten Bestandteil (und ist deshalb abzählbar); die abgeschlossene Hülle der menge \(V\) der Verzweigungspunkte von \(C\) ist punkthaft. \textit{Mazurkiewicz} gelingt es sodann, wenigstens für den Fall der Baumkurven \(D\) notwendige und hinreichende Bedingungen aufzustellen. Zu diesem Zweck führt er die folgenden Begriffe ein: \(U\) sei eine Teilmenge von \(D\); er bezeichnet als ``point limite bilatéral'' (abgekürzt: ``p. l. b.'') von \(U\) jeden Punkt \(b\in D\) derart, daß\ für zwei Konstituanten \(T_1, T_2\) von \(D-b\) die Relation gilt: \(b\in (T_1\times U)'+(T_2\times U)'\). Mit \(\Phi (U)\) bezeichnet er die ``zweiseitige Kohärenz'' von \(U\), d. h. die Menge der in \(U\) enthaltenen p.l.b. von \(U\). Er setzt ferner: \(\Phi _0(U)=U\), \(\Phi _{\alpha +1}(U)=\Phi (\Phi _\alpha (U))\) und (für eine Limeszahl \(\alpha \)) \(\Phi _\alpha (U)=\prod _{\beta <\alpha }\Phi _\beta (U)\). Es existiert eine erste Ordinalzahl \(\lambda (U)\), für welche \(\Phi _\lambda (U)=\Phi _{\lambda +1}(U)\) ist. Falls \(\Phi _\lambda (U)=0\) ist, so bezeichnet er \(U\) als ``reduzibel durch die Operation \(\Phi \)'' \textit{Mazurkiewicz} beweist nun: Die gesuchte notwendige und hinreichende Bedingung für eine Baumkurve \(D\) besteht darin, daß\ a) die Menge \(E\) der Endpunkte von \(D\) abzählbar und b) die Menge \(V\) der Verzweigungspunkte von \(D\) durch die Operation \(\Phi \) reduzibel ist.