On the completing of a Hausdorff space. (Q5922784)

\(X = X_{\mathfrak s}\) sei ein Raum, in welchem jedem Punkt \(x\) als Umgebungen (den sphärischen Umgebungen eines metrischen Raumes analoge) Teilmengen \(U_\sigma (x)\) zugeordnet sind, wobei \(\sigma\) für jedes \(x\) dieselbe gerichtete Indicesmenge \(\mathfrak s\) (vgl. das vorletzte Referat) durchläuft, mit den Axiomen: (I) \(x \subset U_\sigma(x)\). (II) \(U_{\sigma '}(x) \subset U_\sigma(x)\), wenn \(\sigma' > \sigma\). (III) Zu \(x_1\neq x_2\) gibt es ein \(\sigma\), so daß \(x_2\) nicht in \(U_\sigma (x_1)\) enthalten ist. (IV) Zu \(\sigma\) gibt es ein \(\sigma_1\), so daß aus \(y\subset U_{\sigma _1}(x)\) stets \(U_{\sigma_1}(x) \subset U_\sigma(y)\) folgt. \(X\) ist unter diesen Umständen ein regulärer \textit{Hausdorff}scher Raum. Verallgemeinerung der \textit{Cantor}schen Fundamentalfolgen ergibt, daß das System \(X^*\) der Äquivalenzklassen fundamentaler gerichteter Mengen \(\{x_\alpha\}\) von Punkten von \(X\) mit einem geeignet gewählten Umgebungssystem einen vollständigen Raum bildet. Diese Betrachtungsweise ist aufs engste verwandt mit den Untersuchungen von \textit{A. Weil} (C. R. Acad. Sci., Paris, 202 (1936), 1002-1005; JFM 62.0688.*). Es folgt eine Anwendung auf Funktionenräume; insbesondere wird gezeigt, daß der Raum aller total beschränkten Funktionen, deren Wertebereich \(S\) Teilmenge von \(X\) ist, vollständig ist (\(S\) heißt total beschränkt, wenn es zu jedem \(\sigma\) endlich viele Punkte \(x_1,\ldots, x_n\) gibt, so daß \(S\) in \(U_\sigma(x_1) +\cdots + U_\sigma(x_n)\) enthalten ist).