On the exact Hausdorff dimension of the set of Liouville numbers (Q1772016)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the exact Hausdorff dimension of the set of Liouville numbers |
scientific article |
Statements
On the exact Hausdorff dimension of the set of Liouville numbers (English)
0 references
14 April 2005
0 references
The set \(L\) of Liouville numbers -- composed of any irrational \(x\) such that, for all \(n\), there are integers \(p\) and \(q>1\) satisfying \(| x-{p\over q}| <{1\over q^n}\) -- is known to have Hausdorff dimension zero [\textit{J. C. Oxtoby}, ``Measure and category'' (1980; Zbl 0435.28011)]. A translation invariance argument shows that, for any dimension function \(h\), the \(h\)-dimensional Hausdorff measure is either zero or infinity. The main result in the paper amounts to partition the set of concave dimension functions in two classes, namely, if \(h\) approaches zero faster than some power function (specifically \(\limsup_{r\rightarrow 0+}{h(r)\over r^t}=0\) for some \(t>0\)), the \(h\)-dimensional Hausdorff measure of \(L\) is -- of course -- zero; if, on the contrary, \(h\) is a concave dimension function that approaches zero slower than any power function (\(\limsup_{r\rightarrow 0+}{h(r)\over r^t}>0\) for any \(t>0\)), then the \(h\)-dimensional Hausdorff measure of \(L\) is infinity.
0 references
Liouville numbers
0 references
Diophantine approximation
0 references
Hausdorff measure
0 references