Diophantische Approximationen und Hausdorffsches Maß. (Q1439347)

Verf. knüpft an an einen Satz von \textit{A. Khintchine} über die Endlichkeit der Lösungszahl von \[ \biggl|\,\vartheta -\frac{a}{b}\,\biggr|<\frac{f(b)}{b} \] für alle \(\vartheta \) bis auf eine Menge vom \textit{Lebesgue}schen Maß Null in ganzen \(a\) und \(b\) (Math. Ann. 92 (1924), 115-125; F. d. M. 50, 125), aus dem z. B. hervorgeht, daß die Menge \(M_\alpha \) der \(\vartheta \) aus dem abgeschlossenen Einheitsintervall, für die \[ \biggl|\,\vartheta -\frac{a}{b}\,\biggr|\leqq \frac{1}{b^\alpha } \] unendlich viele ganze Lösungspaare \(a\), \(b\) hat, für \(\alpha >2\) das \textit{Lebesgue}sche Maß Null hat. Um diese Mengen \(M_\alpha \) trotzdem ihrer ``Größe'' nach unterscheiden zu können, zieht Verf. den \textit{Hausdorff}schen Maßbegriff (Math. Ann. 79 (1918), 157-179; F. d. M. 46, 292 (JFM 46.0292.*)) heran, den er vollständig einführt. Er gelangt auf Grund von primzahltheoretisch fundierten Betrachtungen über die fraglichen Überdeckungssysteme zu dem Ergebnis, daß im \textit{Hausdorff}schen Sinne \[ \dim \;M_\alpha =\frac{2}{\alpha } \] ist (dim \(M_\alpha \leqq \dfrac{2}{\alpha }\) ist trivial).