Une application des images de fonctions à la constuction de certains ensembles singuliers (Q567053)

\textit{Sierpiński} hat (1921; F. d. M. 48, 208 (JFM 48.0208.*)) eine (sietdem mehrfach in dimensionstheoretischen Betrachtungen angewendete) Punktmenge konstruiert, die - abgesehen von abzählbar vielen Punkten - von der Dimension 0 ist. Verf. gibt hier ein anderes Beispiel dieser Art; es besteht in dem Bild der folgenden Funktion \(f(x)\), die für die Punkte \(x\) der \textit{Cantor}schen nirgends dichten, perfekten Menge \(P\) definiert ist: \[ \begin{gathered} x={2\over 3^{n_1}}+{2\over 3^{n_2}}+\cdots +{2\over 3^{n_k}}+\cdots,\quad n_1<n_2<\cdots <n_k<\cdots,\\ f(x)={(-1)^{n_1}\over 2}+{(-1)^{n_2}\over 2^2}+\cdots +{(-1)^{n_k}\over 2^k}+\cdots,\quad f(0)=0. \end{gathered} \] Das Bild von \(f(x)\) hat dann in den Endpunkten der Lückenintervalle von \(P\) die Dimension 1, in den übrigen Punkten von \(P\) die Dimension 0.