On topological completeness. (Q2588636)

Es sei \(S\) ein Umgebungsraum und \(A\) eine Parametermenge mit der Eigenschaft, daß zu jedem \(p\) aus \(S\) und jedem \(\alpha\) aus \(A\) eine Umgebung \(U_{\alpha}(p)\) mit folgenden Eigenschaften zugeordnet ist: 1. \(\varPi_{\alpha}U_{\alpha}(p)=(p)\); 2. Für \(p \in S\), \(\alpha \in A\), \(\beta \in A\) gibt es ein \(\gamma=\gamma(\alpha, \,\beta; \,p)\) so, daß \(U_{\gamma}(p) \subset U_{\alpha}(p) \,U_{\beta}(p)\); 3. Für \(\alpha \in A\), \(p \in S\) gibt es ein \(\lambda(\alpha) \in A\), \(\delta(p, \,\alpha) \in A\) so, daß aus der Ungleichung \(U_{\delta(p,\alpha)}(q) \,U_{\lambda(\alpha)}(p) \neq 0\) folgt \(U_{\delta(p,\alpha)}(q) \subset U_{\alpha}(p)\) für jedes \(q \in S\). Die von \textit{A. Weil} eingeführten Räume mit gleichförmiger Struktur (Sur les espaces à structure uniforme, Paris, 1938) sind ein Spezialfall der vom Verf. betrachteten Räume. -- Eine Folge \(p_n \in S\) heißt eine Cauchysche Folge, wenn man für jedes \(\alpha \in A\) ein \(p_{\alpha} \in S\) und eine Zahl \(n_{\alpha}\) so finden kann, daß \(p_n \in U_{\alpha}(p_{\alpha})\) für \(n \geqq n_{\alpha}\). \(S\) heißt vollständig, wenn jede Cauchysche Folge in \(S\) konvergiert. Verf. entwickelt eine Vollständigkeitstheorie.