On imbedding a space in a complete space. (Q2592934)

In Anlehnung an die Arbeiten von Chittenden, Alexandroff und Urysohn, Niemytski und A. Weil über Metrisierung und Uniformitätseigenschaften topologischer Räume ist den Betrachtungen ein Umgebungsraum \(S\) folgender Art zugrunde gelegt: Gegeben sind eine Punktmenge \(S\) und eine Indicesmenge \(A\). Jedem \(\alpha \in A\) und \(p \in S\) ist ein \(U_\alpha(p) \subset S\) zugeordnet, so daß folgende Axiome gelten: (I) \(\prod\limits_{\alpha \in A} U_\alpha(p) = p, \;p \in S\); (II) Zu \(p \in S\), \(\alpha, \beta \in A\) gibt es \(\gamma = \gamma (p, \alpha, \beta) \in A\) mit \(U_\alpha(p) \,U_\beta(p) \supset U_\gamma(p)\). (III) Zu \(p \in S\), \(\alpha \in A\) gibt es \(\lambda = \lambda(\alpha)\), \ \(\delta = \delta(p, \alpha) \in A\), so daß mit \(q \in S\) die Beziehung \(U_\delta(q)\, U_\lambda(p) \neq 0\) stets \(U_\delta(q) \subset U_\alpha(p)\) nach sich zieht. Um \(S\) in einen vollständigen Raum einzubetten, betrachtet Verf. in Analogie zu Cantors Einführung der reellen Zahlen gewisse eindeutige Abbildungen von \(A\) in die Menge der \(U\), d. h. Systeme \(\{U_\alpha (p_\alpha)\}\), \(\alpha \in A\), so daß \(\prod\limits_{i=1}^n U_{\alpha_i} (p_{\alpha_i}) \neq 0\) für je endlich viele \(\alpha_1, \dots, \alpha_n \in A\). Zwischen den Systemen \(\{U_\alpha(p_\alpha)\}\) läßt sich eine Äquivalenz herstellen; die zugehörigen Äquivalenzklassen bilden bei geeigneter Umgebungsdefinition einen Hausdorffschen Raum \(S^*\), welcher regulär und vollständig ist. Ordnet man dem Punkt \(p \in S\) die zum System \(\{U_\alpha(p)\}\) gehörige Äquivalenzklasse \(P\) zu, \(P = f(p)\), so hat man eine topologische Abbildung von \(S\) auf \(f(S)\), wobei jeder Cauchyfolge \(\{p_k\}\) von \(S\) eine konvergente Folge \(\{P_k\}\) von \(S^*\) entspricht, \(f(S)\) ist dicht in \(S^*\), und \(S^*\) ist von zweiter Kategorie.