词条 | Liouville number |
释义 |
In number theory, a Liouville number is a real number x with the property that, for every positive integer n, there exist integers p and q with q > 1 and such that Liouville numbers are "almost rational", and can thus be approximated "quite closely" by sequences of rational numbers. They are precisely the transcendental numbers that can be more closely approximated by rational numbers than algebraic irrational numbers. In 1844, Joseph Liouville showed that all Liouville numbers are transcendental, thus establishing the existence of transcendental numbers for the first time. The existence of Liouville numbers (Liouville's constant)Here we show that Liouville numbers exist by exhibiting a construction that produces such numbers. For any integer b ≥ 2, and any sequence of integers (a1, a2, …, ), such that ak ∈ {0, 1, 2, …, b − 1} ∀k ∈ {1, 2, 3, …} and there are infinitely many k with ak ≠ 0, define the number In the special case when b = 10, and ak = 1, ∀k, the resulting number x is called Liouville's constant:
It follows from the definition of x that its base-b representation is Since this base-b representation is non-repeating it follows that x cannot be rational. Therefore, for any rational number p/q, we have |x − p/q | > 0. Now, for any integer n ≥ 1, define qn and pn as follows: Then Therefore, we conclude that any such x is a Liouville number. Notes on the proof
IrrationalityAn 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. Now we will show that the number x = c/d, where c and d are integers and d > 0, cannot satisfy the inequalities that define a Liouville number. Since every rational number can be represented as such c/d, we will have proven that no Liouville number can be rational. More specifically, we show that for any positive integer n large enough that 2n − 1 > d > 0 (that is, for any integer n > 1 + log2(d ) ) no pair of integers (p, q ) exists that simultaneously satisfies the two inequalities From this the claimed conclusion follows. Let p and q be any integers with q > 1. Then we have, If |cq − dp | = 0, we would have meaning that such pair of integers (p, q ) would violate the first inequality in the definition of a Liouville number, irrespective of any choice of n. If, on the other hand, |cq − dp | > 0, then, since cq − dp is an integer, we can assert the sharper inequality |cq − dp | ≥ 1. From this it follows that Now for any integer n > 1 + log2(d ), the last inequality above implies Therefore, in the case |cq − dp | > 0 such pair of integers (p, q ) would violate the second inequality in the definition of a Liouville number, for some positive integer n. We conclude that there is no pair of integers (p, q ), with q >1, that would qualify such an x = c/d as a Liouville number. Hence a Liouville number, if it exists, cannot be rational. (The section on Liouville's constant proves that Liouville numbers exist by exhibiting the construction of one. The proof given in this section implies that this number must be irrational.) UncountabilityConsider, for example, the number 3.1400010000000000000000050000.... 3.14(3 zeros)1(17 zeros)5(95 zeros)9(599 zeros)2(4319 zeros)6... where the digits are zero except in positions n! where the digit equals the nth digit following the decimal point in the decimal expansion of {{pi}}. As shown in the section on the existence of Liouville numbers, this number, as well as any other non-terminating decimal with its non-zero digits similarly situated, satisfies the definition of a Liouville number. Since the set of all sequences of non-null digits has the cardinality of the continuum, the same thing occurs with the set of all Liouville numbers. Moreover, the Liouville numbers form a dense subset of the set of real numbers. Liouville numbers and measureFrom the point of view of measure theory, the set of all Liouville numbers L is small. More precisely, its Lebesgue measure is zero. The proof given follows some ideas by John C. Oxtoby.[1]{{Rp|8}} For positive integers n > 2 and q ≥ 2 set: we have Observe that for each positive integer n ≥ 2 and m ≥ 1, we also have Since and n > 2 we have Now and it follows that for each positive integer m, L ∩ (−m, m) has Lebesgue measure zero. Consequently, so has L. In contrast, the Lebesgue measure of the set T of all real transcendental numbers is infinite (since T is the complement of a null set). In fact, the Hausdorff dimension of L is zero, which implies that the Hausdorff measure of L is zero for all dimension d > 0.[1] Hausdorff dimension of L under other dimension functions has also been investigated.[2] Structure of the set of Liouville numbersFor each positive integer n, set The set of all Liouville numbers can thus be written as Each Un is an open set; as its closure contains all rationals (the 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, L 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. Irrationality measureThe irrationality measure (or irrationality exponent or approximation exponent 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.[3]{{rp|246}} 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 ≅ p/q, p,q ∈ N yields n + 1 exact decimal digits, we have for any ε>0, except for at most a finite number of "lucky" pairs (p, q). For a rational number α the irrationality measure is μ(α) = 1.[3]{{rp|246}} The Thue–Siegel–Roth theorem states that if α is an algebraic number, real but not rational, then μ(α) = 2.[3]{{rp|248}} Almost all numbers have an irrationality measure equal to 2.[3]{{rp|246}} Transcendental numbers have irrationality measure 2 or greater. For example, the transcendental number e has μ(e) = 2.[3]{{rp|185}} The irrationality measure of {{pi}} is at most 7.60630853: μ(log 2)<3.57455391 and μ(log 3)<5.125.[4] The Liouville numbers are precisely those numbers having infinite irrationality measure.[3]{{rp|248}} Irrationality baseThe irrationality base is a weaker measure of irrationality introduced by J.Sondow[5] and is regarded as an irrationality measure for Liouville numbers. It is defined as follows: Let be an irrational number. If there exists a real number with the property that for any , there is a positive integer such that , then is called the irrationality base of and is represented as If no such exists, then is called a super Liouville number. Example: The series where and for is a super Liouville number. Liouville numbers and transcendenceEstablishing that a given number is a Liouville number provides a useful tool for proving a given number is transcendental. However, 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 {{pi}} is another such example.[6] 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, where the condition for "well approximated" becomes more stringent for larger denominators. 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. Below, we will show that no Liouville number can be algebraic. 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, 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 α1, α2, ..., αm be the distinct roots of f which differ from α. Select some value A > 0 satisfying Now assume that there exist some integers p, q contradicting the lemma. Then Then p/q is in the interval [α − 1, α + 1]; and p/q is not in {α1, α2, ..., α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 x0 between p/q and α such that Since α is a root of f but p/q is not, we see that |f ′(x0)| > 0 and we can rearrange: Now, f is of the form ci xi where each ci is an integer; so we can express |f(p/q)| as the last inequality holding because p/q is not a root of f and the ci are integers. Thus we have that |f(p/q)| ≥ 1/qn. Since |f ′(x0)| ≤ M by the definition of M, and 1/M > A by the definition of A, we have that 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, qLet r be a positive integer such that 1/(2r) ≤ A. If we let m = r + n, then, since x is a Liouville number, there exist integers a, b where b > 1 such that which contradicts the lemma; therefore x is not algebraic, and is thus transcendental. See also
References1. ^1 {{Cite book | last = Oxtoby | first = John C. | year = 1980 | title = Measure and Category | series = Graduate Texts in Mathematics | volume = 2 | edition = Second | publisher = Springer-Verlag | isbn = 0-387-90508-1 | location = New York-Berlin | mr=0584443 | doi=10.1007/978-1-4684-9339-9}} 2. ^{{Cite journal | first1=Lars Ole Rønnow | last1=Olsen | first2=Dave L. | last2=Renfro | year=2006 | title = On the exact Hausdorff dimension of the set of Liouville numbers. II | journal = Manuscripta Mathematica | volume = 119 | issue = 2 | pages = 217–224 | doi = 10.1007/s00229-005-0604-z | mr=2215968}} 3. ^1 2 3 4 5 {{cite book | last=Bugeaud | first=Yann | title=Distribution modulo one and Diophantine approximation | series=Cambridge Tracts in Mathematics | volume=193 | location=Cambridge | publisher=Cambridge University Press | year=2012 | isbn=978-0-521-11169-0 | zbl=1260.11001 | mr=2953186 | doi=10.1017/CBO9781139017732}} 4. ^{{cite journal | zbl=1140.11036 | last=Zudilin | first=Wadim | title=An essay on the irrationality measure of {{pi}} and other logarithms | language=ru | journal=Chebyshevskii Sbornik | volume=5 | number=2(10) | pages=49–65 | year=2004 | arxiv=math/0404523 | mr=2140069 | bibcode=2004math......4523Z }} 5. ^Sondow, Jonathan. (2004). Irrationality Measures, Irrationality Bases, and a Theorem of Jarnik. https://arxiv.org/abs/math/0406300 6. ^The irrationality measure of {{pi}} does not exceed 7.6304, according to {{MathWorld |title=Irrationality Measure |urlname=IrrationalityMeasure}} External links
6 : Diophantine approximation|Transcendental numbers|Mathematical constants|Articles containing proofs|Real transcendental numbers|Irrational numbers |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。