Liouville Number - Structure of The Set of Liouville Numbers

Structure of The Set of Liouville Numbers

For each positive integer n, set

\begin{align} U_n & =\bigcup\limits_{q=2}^\infty\bigcup\limits_{p=-\infty}^\infty \left\{ x \in \mathbb R : 0< \vert x- \frac{p}{q} \vert < \frac{1}{q^{n}}\right\} \\ & = \bigcup\limits_{q=2}^\infty\bigcup\limits_{p=-\infty}^\infty \left(\frac{p}{q}-\frac{1}{q^n},\frac{p}{q}+\frac{1}{q^n}\right) \setminus \left\{\frac{p}{q}\right\}\end{align}.

The set of all Liouville numbers can thus be written as .

Each is an open set; as its closure contains all rationals (the {p/q}'s from each punctured interval), it is also a dense subset of real line. Since it is the intersection of countably many such open dense sets, is comeagre, that is to say, it is a dense Gδ set.

Along with the above remarks about measure, it shows that the set of Liouville numbers and its complement decompose the reals into two sets, one of which is meagre, and the other of Lebesgue measure zero.

Read more about this topic:  Liouville Number

Famous quotes containing the words structure of the, structure of, structure, set and/or numbers:

    “Just as a new scientific discovery manifests something that was already latent in the order of nature, and at the same time is logically related to the total structure of the existing science, so the new poem manifests something that was already latent in the order of words.”
    —Northrop Frye (b. 1912)

    “What is the structure of government that will best guard against the precipitate counsels and factious combinations for unjust purposes, without a sacrifice of the fundamental principle of republicanism?”
    —James Madison (1751–1836)

    “The question is still asked of women: “How do you propose to answer the need for child care?” That is an obvious attempt to structure conflict in the old terms. The questions are rather: “If we as a human community want children, how does the total society propose to provide for them?””
    —Jean Baker Miller (20th century)

    “If we cannot find a way to interpret the utterances and other behavior of a creature as revealing a set of beliefs largely consistent and true by our standards, we have no reason to count that creature as rational, as having beliefs, or as saying anything.”
    —Donald Davidson (b. 1917)

    “I’m not even thinking straight any more. Numbers buzz in my head like wasps.”
    —Kurt Neumann (1906–1958)