Eine Bemerkung über die Potenzen schwach eindimensionaler Mengen. (Q559518)

\(S\) sei eine Teilmenge der \((X,Y)\)-Ebene, deren Orthogonalprojektion auf die \(X\)-Achse eineindeutig ist und eine nulldimensionale Menge \(D\) als Bild liefert. Dann ist die Menge \(S^n\) aller Punkt-\(n\)-tupel von \(S\) einer Teilmenge des \((n+1)\)-dimensionalen euklidischen Raumes \(R_{n+1}\) homöomorph. In der Tat ist die (analog wie \(S^n\) definierte) Menge \(D^n\) nulldimensional, also einer linearen Menge \(E\) homöomorph; man kann also die Punkte von \(E\) und die Ordinaten der Punkte der zugehörigen \(n\)-tupel von \(S\) als Koordinaten im \(R_{n+1}\) deuten. Zu den Mengen \(S\) gehören insbesondere die schwach eindimensionalen Mengen von \textit{Sierpiński} (Fundamenta 2 (1921), 81-95; F. d. M. 48, 208 (JFM 48.0208.*)) und \textit{Kuratowski} (Une application des images de fonctions à la construction de certains ensembles singuliers, Mathematica 6 (1932), 120-123; F. d. M. 58); für sie liefert die Projektion des Bildes von \(S^n\) im \(R_{n+1}\) auf die zu der \(E\) tragenden Achse senkrechte Koordinatenhyperebene einen \(n\)-dimensionalen Würfel, während andererseits \(S^n\) eineindeutig und stetig auf eine nulldimensionale Menge - in einem der Beispiele das \textit{Cantor}sche Diskontinuum - abgebildet ist. Hieran knüpft Verf. vermutungsweise Bemerkungen über die dimensionstheoretische Struktur der \(S^n\).