Liouville number

Wikipedia, the free encyclopedia - Cite This Source

In number theory, a Liouville number is a real number x with the property that, for any positive integer n, there exist integers p and q with q > 1 and such that

A Liouville number can thus be approximated "quite closely" by a sequence of rational numbers. In 1844, Joseph Liouville showed that all Liouville numbers are transcendental, and he provided an example of a Liouville number, thus providing a construction of a transcendental number for the first time.

Elementary properties

An equivalent definition to the one given above is that for any positive integer n, there exists an infinite number of pairs of integers (p,q) obeying the above inequality.

It is relatively easily proven that if x is a Liouville number, x is irrational. Assume otherwise; then there exists integers c, d with x = c/d. Let n be a positive integer such that 2ⁿ⁻¹ > d. Then if p and q are any integers such that q > 1 and p/q ≠ c/d, then

which contradicts the definition of Liouville number.

Liouville constant

The number

$$

c = sum_{j=1}^infty 10^{-j!} = 0.110001000000000000000001000....

is known as Liouville's constant. Liouville's constant is a Liouville number; if we define p_n and q_n as follows:

$p\_n\; =\; sum\_\{j=1\}^n\; 10^\{((n-1)!\; -\; j!)\};\; quad\; q\_n\; =\; 10^\{(n-1)!\}$

then we have for all positive integers n

Liouville numbers and measure

From the point of view of measure theory, the set of all Liouville numbers $L$ is small. More precisely, its Lebesgue measure $m$ is zero. The proof given follows some ideas by John C. Oxtoby.

For positive integers $n>2$ and $qgeq\; 2$ set:

$V\_\{n,q\}=bigcuplimits\_\{p=-infty\}^infty\; left(frac\{p\}\{q\}-frac\{1\}\{q^n\},frac\{p\}\{q\}+frac\{1\}\{q^n\}right)$ – we have $Lsubseteq\; bigcuplimits\_\{q=2\}^infty\; V\_\{n,q\}.$

Observe that for each positive integer $nge\; 2$ and $mge\; 1$, we also have

$Lcap\; (-m,m)subseteq\; bigcuplimits\_\{q=2\}^infty\; V\_\{n,q\}cap\; (-m,m)subseteq\; bigcuplimits\_\{q=2\}^inftybigcuplimits\_\{p=-mq\}^\{mq\}\; left(frac\{p\}\{q\}-frac\{1\}\{q^n\},frac\{p\}\{q\}+frac\{1\}\{q^n\}right).$

Since $left|left(frac\{p\}\{q\}+frac\{1\}\{q^n\}right)-left(frac\{p\}\{q\}-frac\{1\}\{q^n\}right)right|=frac\{2\}\{q^n\}$ and $n>2$ we have

$m(Lcap\; (-m,,\; m))leqsumlimits\_\{q=2\}^inftysum\_\{p=-mq\}^\{mq\}frac\{2\}\{q^n\}=sumlimits\_\{q=2\}^inftyfrac\{2(2mq+1)\}\{q^n\}leq\; (4m+1)sumlimits\_\{q=2\}^inftyfrac\{1\}\{q^\{n-1\}\}leq\; (4m+1)int^infty\_1frac\{dq\}\{q^\{n-1\}\}leqfrac\{4m+1\}\{n-2\}.$

Now $limlimits\_\{ntoinfty\}frac\{4m+1\}\{n-2\}=0$ and it follows that for each positive integer $m$, the intersection $Lcap\; (-m,m)$ has Lebesgue measure zero. Consequently, so has $L$.

In contrast, the Lebesgue meausure of the set $T$ of all real transcendental numbers is infinite (since $T$ is the complement of a null set).

Liouville numbers and topology

For each positive integer set:

$U\_n=bigcuplimits\_\{q=2\}^inftybigcuplimits\_\{p=-infty\}^infty\; left(frac\{p\}\{q\}-frac\{1\}\{q^n\},frac\{p\}\{q\}+frac\{1\}\{q^n\}right)$.

Each of sets $U\_n$ is an open dense subset of real line $\{mathbb\; R\}$ (note that each $U\_n$ contains all rationals). Moreover, $L=bigcaplimits\_\{n=1\}^infty\; U\_nsetminus\; \{mathbb\; Q\}$ and it follows that $L$ is a dense G-delta set, since its complement is a meagre set.

Irrationality measure

The irrationality measure (or Liouville–Roth constant) of a real number x is a measure of how "closely" it can be approximated by rationals. Generalizing the definition of Liouville numbers, instead of allowing any n in the power of q, we find the least upper bound of the set of real numbers μ such that

is satisfied by an infinite number of integer pairs (p, q) with q > 0. This least upper bound is defined to be the irrationality measure of x. For any value μ less than this upper bound, the infinite set of all rationals p/q satisfying the above inequality yield an approximation of x. Conversely, if μ is greater than the upper bound, then there are at most finitely many (p, q) with q > 0 that satisfy the inequality; thus, the opposite inequality holds for all larger values of q. In other words, given the irrationality measure μ of a real number x, whenever a rational approximation $x\; approx\; p/q,\; quad\; p,q\; in\; mathbb\{N\}$ yields n+1 exact decimal digits, we have

$frac\{1\}\{10^n\}\; ge\; vert\; x-\; frac\{p\}\{q\}\; vert\; ge\; frac\{1\}\{q^\{mu\}\}$   except for at most a finite number of "lucky" pairs (p, q).

The Thue–Siegel–Roth theorem proves that for an algebraic number α, real but not rational, it is μ(α) = 2.

The Liouville numbers are precisely those numbers having infinite irrationality measure.

Liouville numbers and transcendency

All Liouville numbers are transcendental, as will be proven below. Establishing that a given number is a Liouville number provides a useful tool for proving a given number is transcendental. Unfortunately, not every transcendental number is a Liouville number. The terms in the continued fraction expansion of every Liouville number are unbounded; using a counting argument, one can then show that there must be uncountably many transcendental numbers which are not Liouville. Using the explicit continued fraction expansion of e, one can show that e is an example of a transcendental number that is not Liouville. Mahler proved in 1953 that π is another such example.

Proof that all Liouville numbers are transcendental

The proof proceeds by first establishing a property of irrational algebraic numbers. This property essentially says that irrational algebraic numbers cannot be well approximated by rational numbers. A Liouville number is irrational but does not have this property, so it can't be algebraic and must be transcendental. The following lemma is usually known as Liouville's theorem (on diophantine approximation), there being several results known as Liouville's theorem.

Lemma: If α is an irrational number which is the root of a polynomial f of degree n > 0 with integer coefficients, then there exists a real number A > 0 such that, for all integers p, q, with q > 0,

$vert\; alpha\; -\; frac\{p\}\{q\}\; vert\; >\; frac\{A\}\{q^\{n\}\}$

Proof of Lemma: Let M be the maximum value of |f ′(x)| (the absolute value of the derivative of f) over the interval [α − 1, α + 1]. Let α₁, α₂, ..., α_m be the distinct roots of f which differ from α. Select some value A > 0 satisfying

Now assume that there exists some integers p, q contradicting the lemma. Then

Then p/q is in the interval [α − 1, α + 1]; and p/q is not in {α₁, α₂, ..., α_m}, so p/q is not a root of f; and there is no root of f between α and p/q.

By the mean value theorem, there exists an x₀ between p/q and α such that

$f(alpha)-f(p/q)\; =\; (alpha\; -\; p/q)\; cdot\; f\text{'}(x\_0)$

Since α is a root of f but p/q is not, we see that |f ′(x₀)| > 0 and we can rearrange:

$vert\; (alpha\; -p/q)vert\; =\; vert\; f(alpha)-\; f(p/q)vert\; /\; vert\; f\text{'}(x\_0)\; vert\; =\; vert\; f(p/q)\; /\; f\text{'}(x\_0)\; vert\; ,$

Now, f is of the form ∑_{i = 1 to n} c_i xⁱ where each c_i is an integer; so we can express |f(p/q)| as

$vert\; f(p/q)\; vert\; =\; vert\; sum\_\{i=1\}^n\; c\_i\; p^i\; q^\{-i\}\; vert\; =\; vert\; sum\_\{i=1\}^n\; c\_i\; p^i\; q^\{n-i\}\; vert\; /q^n\; ge\; frac\; \{1\}\{q^n\}$

the last inequality holding because p/q is not a root of f and the c_i are integers.

Thus we have that |f(p/q)| ≥ 1/qⁿ. Since |f ′(x₀)| ≤ M by the definition of M, and 1/M > A by the definition of A, we have that

$vert\; alpha\; -\; p/q\; vert\; =\; vert\; f(p/q)\; /\; vert\; f\text{'}(x\_0)\; vert\; ge\; 1/(Mq^n)\; >\; A/q^n\; ge\; vert\; a-\; p/q\; vert$

which is a contradiction; therefore, no such p, q exist; proving the lemma.

Proof of assertion: As a consequence of this lemma, let x be a Liouville number; as noted in the article text, x is then irrational. If x is algebraic, then by the lemma, there exists some integer n and some positive real A such that for all p, q

$vert\; alpha\; -\; frac\{p\}\{q\}\; vert\; >\; frac\{A\}\{q^\{n\}\}$

Let r be a positive integer such that 1/(2^r) ≤ A. If we let m = r + n, then, since x is a Liouville number, there exists integers a, b > 1 such that

which contradicts the lemma; therefore x is not algebraic, and is thus transcendental.

References

External links

• The Beginning of Transcendental Numbers

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)
This article is licensed under the GNU Free Documentation License.
Last updated on Thursday February 14, 2008 at 11:58:56 PST (GMT -0800)
View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation