Liouville Numbers and Measure
From the point of view of measure theory, the set of all Liouville numbers is small. More precisely, its Lebesgue measure is zero. The proof given follows some ideas by John C. Oxtoby.
For positive integers and set:
- – we have
Observe that for each positive integer and, we also have
Since and we have
Now and it follows that for each positive integer, has Lebesgue measure zero. Consequently, so has .
In contrast, the Lebesgue measure of the set of all real transcendental numbers is infinite (since is the complement of a null set).
In fact, the Hausdorff dimension of is zero, which implies that the Hausdorff measure of is zero for all dimension . Hausdorff dimension of under other dimension functions has also been investigated.
Read more about this topic: Liouville Number
Famous quotes containing the words numbers and/or measure:
“I had but three chairs in my house; one for solitude, two for friendship; three for society. When visitors came in larger and unexpected numbers there was but the third chair for them all, but they generally economized the room by standing up.”
—Henry David Thoreau (1817–1862)
“Who can measure the advantages that would result if the magnificent abilities of these women could be devoted to the needs of government, society and home, instead of being consumed in the struggle to obtain their birthright of individual freedom? Until this be gained we can never know, we can not even prophesy the capacity and power of women for the uplifting of humanity.”
—Susan B. Anthony (1820–1906)