Sur un problème concernant les types de dimensions (Q567079)

Während es zu jeder linearen Menge \(E\) von der Mächtigkeit des Kontinuums eine ebensolche Menge \(Z\) mit \(dZ<dE\) gibt (\textit{Kuratowski} und \textit{Sierpiński}, Fundamenta 8 (1926), 193-200 (F. d. M. 52, 587 (JFM 52.0587.*)), insbesondere S. 200), lassen sich, wenn noch eine zweite lineare Menge \(H\) von der Mächtigkeit des Kontinuums gegeben ist, die Forderungen \(dZ<dE\) und \(dZ<dH\) nicht immer gleichzeitig erfüllen. Zum Beweis konstruiert Verf. mit Hilfe des Auswahlaxioms eine lineare Menge \(N\) von der Mächtigkeit des Kontinuums von der Eigenschaft, daß\ zwei disjunkte Teilmengen der Menge \(N\) von der Mächtigkeit des Kontinuums niemals homöomorph sind. Man hat dann nur für \(E\) und \(H\) zwei solche Teilmengen von \(N\) zu nehmen. Man kann an \(N\) sogar die Forderung stellen, daß\ von zwei Teilmengen \(E\) und \(H\) der Menge \(N\), wenn \(E-H\) von der Mächtigkeit des Kontinuums ist, niemals jede eineindeutiges und in einer Richtung stetiges Bild der anderen sei. Hierfür wird ein von \textit{A. Lindenbaum} herrührender Beweis gegeben. Weitere Folgerungen aus der Existenz von \(N\): Existenz von \(E^{2^{\aleph _0}}\) Mengen, deren Dimensionstypen paarweise unvergleichbar sind (\textit{Kuratowski}, Fundamenta 8 (1926) 201-208 (F. d. M. 52, 588 (JFM 52.0588.*)), insbesondere S. 205); Existenz einer transfiniten Folge linearer Mengen mit abnehmenden Dimensionstypen, die von der Mächtigkeit des Kontinuums ist.