Sur un ensemble toujours de I\(^{\text{re}}\) catégorie de dimension positive. (Q2609275)

\textit{Mazurkiewicz} und \textit{Szpilrajn} haben mit Hilfe der Kontinuumhypothese bewiesen, daß es im \((n+1)\)-dimensionalen euklidischen Raum eine \(n\)-dimensionale Menge \(E\) von der Eigenschaft gibt, daß jede abzählbare Teilmenge von \(E\) ein \(G_\delta\) in \(E\) ist (Sur la dimension de certains ensembles singuliers, Fundam. Math., Warszawa, 28 (1937), 305-308; F. d. M. 63\(_{\text{II}}\)). Man weiß, daß \(E\) stets von erster Kategorie, d. h. auf jeder perfekten Menge von erster Kategorie ist. Verf. beweisen, daß es eine Menge \(E\) gibt, die überdies in jedem Punkt des Raumes die Dimension \(n\) hat.