Liouville Number - Liouville Numbers and Measure

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:

    And when all bodies meet
    In Lethe to be drowned,
    Then only numbers sweet
    With endless life are crowned.
    Robert Herrick (1591–1674)

    Trying to love your children equally is a losing battle. Your children’s scorecards will never match your own. No matter how meticulously you measure and mete out your love and attention, and material gifts, it will never feel truly equal to your children. . . . Your children will need different things at different times, and true equality won’t really serve their different needs very well, anyway.
    Marianne E. Neifert (20th century)