5 The Beginning of Transcendental Numbers

Transcription

1 5 The Beginning of Transcendental Numbers We have defined a transcendental number (see Definition 3 of the Introduction), but so far we have only established that certain numbers are irrational. We now turn to the beginnings of transcendental numbers. Our first theorem is Theorem. Transcendental numbers exist. Like many of our results so far, this will of course be a consequence of later results. The first proof that there exist transcendental numbers was given by Liouville. Before we give his proof, we give a proof due to Cantor. Proof. The essence of this proof is that the real algebraic numbers are countable whereas the set of all real numbers is uncountable, so there must exist real transcendental numbers. Define { n n } P (n) = f(x) = a j x j Z[x] : a j n. Observe that P (n) is finite. Also, every non-zero polynomial in Z[x] belongs to some P (n). By considering the real roots of polynomials in P (), P (2),... (at the kth stage, consider the real roots of polynomials in P (k) which have not occurred as a root of a polynomial in P (j) for j < k), we can order the algebraic numbers; hence, they are countable. Next, give the usual proof that the real numbers are uncountable. For Liouville s proof, we define Definition 4. A real number α is a Liouville number if for every positive integer n, there are integers a and b with b > such that 0 < α a < b b. n In a moment, we will show that Liouville numbers exist. The second proof of Theorem will then follow from our next result. Theorem 2. All Liouville numbers are transcendental. Lemma. Let α be an irrational number which is a root of f(x) = n a jx j Z[x] with f(x) 0. Then there is a constant A = A(α) > 0 such that if a and b are integers with b > 0, then α a > A b b. (6) n Proof. Let M be the maximum value of f (x) on [α, α+]. Let α, α 2,..., α m be the distinct roots of f(x) which are different from α. Fix A < min{, /M, α α, α α 2,..., α α m }. Assume (6) does not hold for some a and b integers with b > 0. Then α a A b b A < min{, α α, α α n 2,..., α α m }. 4

2 Hence, a b [α, α + ] and a b {α,..., α m }. By the Mean Value Theorem, there is an x 0 between a/b and α such that so that f(α) f(a/b) = (α a/b)f (x 0 ) α a = f(a/b) f(α) b f (x 0 ) = f(a/b) f (x 0 ). Since f(a/b) 0, we deduce that n f(a/b) = a j a j b n j /b n /b n. Thus, since f (x 0 ) M, we obtain α a b Mb > A α n b a, n b giving a contradiction. Thus, the lemma follows. Proof of Theorem 2. Let α be a Liouville number. First, we show that α must be irrational. Assume α = c/d for some integers c and d with d > 0. Let n be a positive integer with 2 n > d. Then for any integers a and b with b > and a/b c/d, we have that α a = c b d a b bd > 2 n b b. n It follows from the definition of a Liouville number that α is not a Liouville number, giving a contradiction. Thus, α is irrational. Now, assume α is an irrational algebraic number. By the lemma, there exist a real number A > 0 and a positive integer n such that (6) holds for all integers a and b with b > 0. Let r be a positive integer for which 2 r /A. Since α is a Liouville number, there are integers a and b with b > such that α a < b b n+r 2 r b A n b. n This contradicts (6) and, hence, establishes that α is transcendental. Example: We show that α = /2j! is a Liouville number. First, observe that the binary expansion of α has arbitrarily long strings of 0 s and so it cannot be rational. Fix a positive integer n and consider a b = n 0 < α a = b j=n+ 2 j! with a and b = 2n! > integers. Then 2 j! < j=(n+)! 2 = j 2 (n+)! 2 = n(n!) b. n This proves that α is Liouville and also gives a second proof of Theorem. 5

3 There are stronger versions of Theorem 2. In particular, we note (without proof) that Theorem 3 (Thué-Siegel-Roth). Let α be an algebraic number with α Q. Let ɛ > 0. Then there are at most finitely many pairs of integers (a, b) with b > 0 such that α a < b b. 2+ɛ It is not known whether or not the right-hand side above can be replaced by A/b 2 where A = A(α) is a positive constant depending only on α. Theorem 4. The set of Liouville numbers in [0, ] has measure 0. Proof. Let ɛ > 0. It suffices to show that the (Lebesgue) measure of the Liouville numbers in [0, ] is < ɛ. Let n be a positive integer for which b=2 4/bn < ɛ (observe that this is possible since b=2 4/bn < (4/2 n 3 ) b=2 /b2 ). If α is a Liouville number in [0, ], then there are integers a and b with b > such that α a < b b. n Since the right-hand side is /2 and α [0, ], we deduce that a/b ( /2, 3/2) so that b/2 < a < 3b/2 (a is in an open interval of length 2b). In particular, for a given integer b >, there are 2b possible values of a for which the above inequality can hold. For each b >, we get that α must be in one of 2b intervals of length 2/b n. Thus, the measure of the Liouville numbers must be 4b b < ɛ, n giving the desired result. Corollary. There are transcendental numbers which are not Liouville numbers. b=2 We now turn to a related discussion. Suppose that we have an sequence of positive integers {a k } k= with a < a 2 <. When will the argument given in the example above lead to a proof that k=0 /2a k is transcendental? It is not too difficult to see that what one essentially wants is that a k increases fast enough where fast enough means that lim inf k a k+ a k =. On the other hand, it can be shown that sequences which increase much slower also lead to transcendental numbers, an observation apparently first noticed by Erdős. The next theorem illustrates the basic idea by showing a certain number of this form is transcendental; it can be shown also that this number is not a Liouville number. Theorem 5. The number k=0 /22k is transcendental. To prove Theorem 5, for positive integers k and m, we define c(k, m) to be the number of m tuples (j,..., j m ) of non-negative integers for which k = 2 j + 2 j jm. 6

4 Lemma. With the notation above, c(k, m) m 2m. Proof. We do induction on m. For m =, c(k, m) {0, } for all k, so the result is clear. Suppose m >. If k has more than m non-zero binary digits, then it is not too hard to see that c(k, m) = 0 (note that the sum of two like powers of 2 is a power of 2). If k has exactly m non-zero binary digits, then c(k, m) = m! m m m 2m (j can correspond to any one of the m non-zero digits, j 2 to any one of the remaining m non-zero digits, and so on). If k has fewer than m non-zero binary digits, then for some integers r and s with r < s m, j r = j s. Since in this case, 2 jr + 2 js = 2 jr+, we deduce that establishing the lemma. c(k, m) ( m 2 ) c(k, m ) m 2 (m ) 2m 2 m 2m, Lemma 2. Let t and m be positive integers. Then c(k, m) = 0 for every integer k (2 t t+m, 2 t+m+ ). Proof. This follows since each such k has > m non-zero binary digits (see the proof of Lemma ). Proof of Theorem 5. Let α = k=0 /22k. Let m be a positive integer. Then the definition of c(k, m) implies that ( ) m α m c(k, m) = =. 2 2k k=0 Let t be a positive integer. Using Lemma 2 and then Lemma, we obtain k= {2 2t t+m α m } 2 2t t+m 2 2t t+m 2 2t t+m m 2m k=2 t t+m + c(k, m) k=2 t+m+ k=2 t+m+ c(k, m) 2 2t t+m m 2m 2 2t+m+ + = 2 2t+ m 2m. If we view m as being fixed and let t approach infinity, we see that the binary expansion of α m has arbitrarily long strings of 0 s. By the same reasoning, we see that more generally if b 0, b,..., b m are non-negative integers, then the binary expansion of b 0 + b α + + b m α m has arbitrarily long strings of 0 s. In fact, if b 0, b,..., b m and c 0, c,..., c m are non-negative integers and if we have the following binary expansions {b 0 + b α + + b m α m } = (0.d d 2 d 3... ) 2 and {c 0 + c α + + c m α m } = (0.d d 2d 3... ) 2, 7

5 then for any positive integer N, there is a positive integer j for which d j+ = d j+2 = = d j+n = d j+ = d j+2 = = d j+n = 0. Furthermore, we can take N and j so that N = 2 t and j = 2 t t+m with t an integer as large (but perhaps not as small) as we wish. Now, assume α is a root of f(x) = n a jx j Z[x] with a n > 0 (which would be possible if α were algebraic). Then we can write f(x) in the form n n f(x) = b j x j c j x j, where the b j and c j are non-negative integers with b j c j = 0 for each j. In particular, b n = a n > 0 and c n = 0. Take m = n, and let N = 2 t where t is a positive integer to be chosen momentarily and j = j(t) is as above. Then 2 j+2t 2 n n b i α i and 2 j+2t 2 c i α i both differ from an integer by /2 N 2t 2 = /2 2t +2 t 2. If we write 2 j+2t 2 n n b i α i = m + θ and 2 j+2t 2 c i α i = m 2 + θ 2, where m and m 2 are the greatest integers in the above expressions, then we see that since f(α) = 0, 2 j+2t 2 b n α n = m 3 + θ 3 with m 3 Z and θ 3 = θ θ 2. (7) 2 2t +2 t 2 On the other hand, since j has the form given above, we get from the definition of c(k, m) that c(j + 2 t, n) and = 0 for all k (j + 2 t 2, j + 2 t ). For t sufficiently large, we have that and 2 j+2t 2 b n k=j+2 t j+2t 2 b n k=j+2 t 2 + = 2 j+2t 2 b n k=j+2 t 2 j+2t 2 b n n 2n 2 j 2t + = 2 2t 2 b n n 2n < 2 2t 3 2 j+2t 2 b n 2 j 2t = 2 2t 2 b n 2 2t 2. It follows that (7) cannot hold, giving a contradiction and completing the proof. Homework:. Prove that the set of Liouville numbers in [0, ] is uncountable. 8