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:
“Our religion vulgarly stands on numbers of believers. Whenever the appeal is made—no matter how indirectly—to numbers, proclamation is then and there made, that religion is not. He that finds God a sweet, enveloping presence, who shall dare to come in?”
—Ralph Waldo Emerson (1803–1882)
“I candidly confess that I have ever looked on Cuba as the most interesting addition which could ever be made to our system of States. The control which, with Florida, this island would give us over the Gulf of Mexico, and the countries and isthmus bordering on it, as well as all those whose waters flow into it, would fill up the measure of our political well-being.”
—Thomas Jefferson (1743–1826)