Der allgemeine Metrisationssatz und das Symmetrieaxiom. (Q2599688)

Eine allgemeine Metrik (vgl. \textit{P. Alexandroff-H. Hopf}, Topologie I, 1935; JFM 61.0602.*) heißt symmetrisch, wenn sie dem Identitäts- und dem Symmetrieaxiom genügt. Eine symmetrische Metrik heißt eine Cauchysche Metrik, wenn jede in dieser Metrik konvergente Punktfolge eine Fundamentalfolge ist. Ein topologischer Raum heißt ein Cauchyscher Raum, wenn man in ihm eine Cauchysche Metrik einführen kann. Eine Folge von offenen Überdeckungen \(\varPi_1\), \(\varPi_2\), \dots eines topologisehen Raumes \(R\) heißt vollständig, wenn eine jede Folge von Mengen \(U_1\), \(U_2\), \dots mit \(U_n \in \varPi_n\) ein volles Umgebungssystem des Punktes \(x\) im Raume \(R\) bildet, falls \(x \in U_1U_2 \ldots\) ist. Die Hauptergebnisse der Arbeit sind: 1. Ein \(T_1\)-Raum ist dann und nur dann ein Cauchyscher Raum, wenn in ihm eine vollständige Folge offener Überdeckungen existiert. Hieraus folgt: 2. Ein kompakter Hausdorffscher Raum ist dann und nur dann metrisierbar, wenn in ihm eine vollständige Folge offener Überdeckungen existiert. Ferner wird gezeigt, daß es normale nicht metrisierbare Räume gibt, in denen vollständige Folgen offener Überdeckungen existieren.