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:

    “Women over fifty already form one of the largest groups in the population structure of the western world. As long as they like themselves, they will not be an oppressed minority. In order to like themselves they must reject trivialization by others of who and what they are. A grown woman should not have to masquerade as a girl in order to remain in the land of the living.”
    —Germaine Greer (b. 1939)

    “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)

    “I really do inhabit a system in which words are capable of shaking the entire structure of government, where words can prove mightier than ten military divisions.”
    —Václav Havel (b. 1936)

    “The truth of the thoughts that are here set forth seems to me unassailable and definitive. I therefore believe myself to have found, on all essential points, the final solution of the problems. And if I am not mistaken in this belief, then the second thing in which the value of this work consists is that it shows how little is achieved when these problems are solved.”
    —Ludwig Wittgenstein (1889–1951)

    “... there are persons who seem to have overcome obstacles and by character and perseverance to have risen to the top. But we have no record of the numbers of able persons who fall by the wayside, persons who, with enough encouragement and opportunity, might make great contributions.”
    —Mary Barnett Gilson (1877–?)