Zur Dimensionsaxiomatik. (Q559504)

Es handelt sich um eine briefliche Mitteilung des Verf., der \textit{K. Menger} die folgende verallgemeinerte Form gibt: In einem Raum \(R\) sei ein System \(\mathfrak M\) von Teilmengen und ein System \(\mathfrak T\) von Teilmengenpaaren ausgezeichnet. \(E(M)\) sei eine Funktion aller Teilmengen von \(R\), für die gelte: (1) Aus \(A'\subset A\) folgt \(E(A')\leqq E(A)\); (2) aus \((A,A')\in \mathfrak T\) folgt \(E(A)=E(A')\); (3) zu jeder Menge \(A\) gibt es eine Menge \(M_A\in \mathfrak M\) und eine Menge \(B\subset M_A\) mit \((A,B)\in \mathfrak T\) und \(E(A)=E(M_A)\). Dann gibt es keine von \(E(A)\) verschiedene Mengenfunktion, die den Bedingungen (1), (2), (3) genügt und für alle Mengen von \(\mathfrak M\) mit \(E(A)\) identisch ist. Ferner wird gezeigt, daß\ unter gewissen Voraussetzungen über \(\mathfrak M\) und \(\mathfrak T\) Funktionen \(E(A)\) mit den angegebenen Bedingungen existieren. Durch Spezialisierung von \(R\), \(\mathfrak M\) und \(\mathfrak T\) erhält man verschiedene dimensionstheoretische Sätze, z. B. ist bei Verf. selbst \(R\) der \(R_n\), \(\mathfrak M\) das System aller Komplexe bzw. aller unendlichen Komplexe und \(\mathfrak T\) das System aller Paare von miteinander erweiterbar Homöomorphen Mengen.