Zur Axiomatik der Dimension. (Q575640)

Eine der beiden Bedingungen, deren Gültigkeit hinreichend dafür wäre, daß die Dimension unter den Mengenfunktionen des \(R^n\) durch die fünf Dimensionsaxiome gekennzeichnet ist, lautet (vgl. \textit{Kuratowski, Menger}; 1930; F. d. M. \(56_{\text{I}}\), 505): Jede \(G_\delta\)-Menge des \(R_n\), deren Komplement höchstens \((n - k 1)\)-dimensional ist, enthält zu jeder \(k\)-dimensionalen Menge des \(R_n\) eine homöomorphe Menge. Verf. widerlegt diesen Satz für \(n = 3\), \(k = 2\), indem er zu einer im \(R_3\) dichten Punktfolge \(p_i\) (\(i =1, 2,\dots\)) abzählbar viele \textit{Antoine}sche Mengen \(A_k\) konstruiert (\textit{Antoine}, 1921; F. d. M. 48, 650 (JFM 48.0650.*)-651; es handelt sich um die Mengen \( P_T\) am Schluß des Referats), so daß jedes Paar \(p_i, p_j\) (\(i \not = j\)) in wenigstens einer \(A_k\) enthalten ist. Da die \(A_k\) nulldimensional und kompakt sind und jede topologische Kugel, die Punkte von \(A_k\) sowohl im Innern als auch im Äußern enthält, mit \(A_k\) Punkte gemeinsam hat, ist \(R_3\) -\(\sum\limits_R A_k\) eine \(G_\delta\)- Menge, die den Voraussetzungen des Satzes genügt, aber keine topologische Kugel enthält.