Uniformity properties in topological space satisfying the first denumerability postulate. (Q2601336): Difference between revisions

Ist in einem \textit{Hausdorff}schen Raume \(S\) jedem Punkt \(x\) eine abzählbare Folge \(\{U_n(x)\}\) von Umgebungen als äquivalentes Umgebungssystem zugeordnet, so lassen sich die Begriffe der \textit{Cauchy}-Folge, der Vollständigkeit, der Totalbeschränktheit und der gleichmäßigen Stetigkeit so fassen, daß sie in metrischen Räumen mit den üblichen Definitionen übereinstimmen und daß für sie gilt: In einem vollständigen Raume ist Kompaktheit mit Totalbeschränktheit gleichwertig. Eine gleichmäßig stetige Abbildung von \(M\subset S\) auf den vollständigen Raum \(S'\) läßt sich zu einer auf \(\bar{M}\) stetigen Abbildung erweitern. Ein Teil dieser Ergebnisse verlangt allerdings die Hinzunahme des Axioms: Zu jedem \(x\in S\) und natürlichen \(n\) gibt es ein natürliches \(m (x; n)\), so daß \(x\in U_n(y) \) aus \(y\in U_{m(x;n)}(x)\) folgt. Dieses Axiom ist jedoch nicht so einschneidend, daß es die Metrisierbarkeit von \(S\) nach sich ziehen würde. Unter weiterer Beschränkung auf reguläre \(S\) werden noch einige Sätze über \textit{Baire}sche Kategorien und über Unstetigkeiten von Limiten stetiger Abbildungen bewiesen.