Lebesgue measure and Hausdorff dimension of special sets of real numbers from (0,1) (Q452254)

Für jedes \(n\in\mathbb{N}:=\{1,2,\ldots\}\) sei \(\emptyset\neq S_n\subset \mathbb{N}\). Verff. betrachten dann die Menge \(M\) der reellen Irrationalzahlen im Intervall \((0,1)\), deren reguläre Kettenbruchentwicklung \([a_1,a_2,\ldots]\) den Bedingungen \(a_n\in S_n\) für jedes \(n\in\mathbb{N}\) genügt. Sie geben für das Lebesgue-Maß von \(M\) je eine untere und obere Abschätzung an ebenso wie (unter geeigneten Zusatzvoraussetzungen) eine obere Abschätzung für die Hausdorff-Dimension \(\dim_H(M)\). Ihr Hauptaugenmerk liegt auf der Gewinnung hinreichender Bedingungen für \(\dim_H(M)=0\). Eines der Resultate in dieser Richtung lautet wie folgt. Es mögen \((b_n),(c_n)\in\mathbb{N}^\mathbb{N}\) der Bedingung \(\limsup(\log c_{n+1})/(\sum_{\nu=1}^n\log b_\nu)=\infty\) genügen; setzt man dann \(S_n:=\{c_n,c_n+1,\ldots,c_n+b_n-1\}\) für jedes \(n\in\mathbb{N}\), so gilt \(\dim_H(M)=0\).