Der allgemeine Trennungssatz. (Q1442015)

Für den Trennungssatz (vgl. Menger, Dimensionstheorie, 1928; S. 31) wird die folgende, von der bisherigen etwas abweichende Formulierung bewiesen: Zu zwei Mengen \(A\) und \(B\) eines separablen Raumes, deren jede in der Summe \(A+B\) abgeschlossen ist, seien zwei offene Mengen \(U\) und \(V\) gegeben, die den Bedingungen \(A-A\cdot B\prec U, B-A\cdot B\prec V\) genügen. Dann existieren zwei offene Mengen \(U'\) und \(V'\), für die gilt: \[ A-A\cdot B\prec U'\prec U, B-A\cdot B\prec V'\prec V, \overline U'\cdot \overline V'\prec A\cdot B. \] Verf. sagt von diesen offenen Mengen \(U'\) und \(V'\), daß\ sie \(A\) und \(B\) möglichst trennen.