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, structure, set and/or numbers:

    “A special feature of the structure of our book is the monstrous but perfectly organic part that eavesdropping plays in it.”
    —Vladimir Nabokov (1899–1977)

    “It is difficult even to choose the adjective
    For this blank cold, this sadness without cause.
    The great structure has become a minor house.
    No turban walks across the lessened floors.
    The greenhouse never so badly needed paint.”
    —Wallace Stevens (1879–1955)

    “Those who want to row on the ocean of human knowledge do not get far, and the storm drives those out of their course who set sail.”
    —Franz Grillparzer (1791–1872)

    “All experience teaches that, whenever there is a great national establishment, employing large numbers of officials, the public must be reconciled to support many incompetent men; for such is the favoritism and nepotism always prevailing in the purlieus of these establishments, that some incompetent persons are always admitted, to the exclusion of many of the worthy.”
    —Herman Melville (1819–1891)