An arithmetic extension of van der Waerden s theorem on arithmetic progressions

Transcription

1 An arithmetic extension of van der Waerden s theorem on arithmetic progressions Kevin A. Broughan University of Waikato, Hamilton, New Zealand kab@waikato.ac.nz A short proof is given of a new extension of the classical theorm of van der Waerden on arithmetic progressions of integers. The extension is based on Furstenberg s topological dynamics. It shows, for example, that in any finite partition of the non-negative integers, one element contains, for every l, for some m and n, the m th, the m + n th, and so on up to the m + ln th prime number. Key Words: recurrent point, partition, arithmetic progression MSC A05, 34C27, 11B25,11B INTRODUCTION The classical van der Waerden theorem of 1927 states that any finite partition of the integers, contains an element with arithmetic progressions of arbitrary length. The theorem has been proved in a number of ways including combinatorial, topological and categorial, see for example [2, 3, 4, 5, 6, 8]. It has also been extended and generalized, see for example [7, 9]. Names associated with this work include Deuber, Graham, Hales, Jewett, Khinchin, Furstenberg, Cohen, Taylor, Weiss and Witt. The extension stated and proved in this paper is given in terms of a given arbitrary function on the non-negative integers with non-negative integer values. An element of the partition will contain, for each l and starting value, a set of l iterates of the function values, the number of iterates being the elements of an arithmetic progression. The extension involves a simple modification of Furstenberg s proof of van der Waerden s theorem: the shift map n n + 1 is replaced by the the given function. Because this gives rise to a continuous mapping on the space of sequences, Furstenberg s theorem on multiple recurrences is able to be employed. 1

2 2 BROUGHAN A few examples of the use of this device are given. Maps such as n 2n, and n 2n + 1 (or more generally n αn + β all yield combinatorial information. If A is any infinite subset of the non-negative integers, then by defining the function to give the next strictly greater element of A, it follows directly that if a i is the i th element of A, then an element of the partition contains {a m, a m+n, a m+2n,, α m+ln }.(This work was first presented at the Devonport (Auckland) Topology Fest in February 2002.) 2. VAN DER WAERDEN S THEOREM EXTENDED Let Z = {0, 1, 2, } be the non-negative integers. Let r N have r 2 and let Λ = Ω Z. Define a metric d on Ω by d(x, x 1 ) = inf{ k + 1 : x(i) = x (i), 0 i k}. Then the metric space (Ω, d) is compact in the induced topology. Let θ : Z Z be any function. Define a map T : Ω Ω by the rule (T x)(n) = x(θ(n)). Then for each m N, the composite function T m satisfies (T m x)(n) = x(θ m (n)) for all n 1. Lemma 2.1. For every θ : Z Z, the function T is continuous. Proof. For each n 0 let m n = max{n, θ(0), θ(1),, θ(n)}. Then m n and θ({0, 1,, n} {0, 1, 2,, m n }. Hence if d(x, x ) < 1/m n then d(t x, T x ) < 1/n showing T is continuous on Ω. Theorem 2.1 (Furstenberg Recurrence,[2, 3]). Let X be a compact metric space, T : X X a continuous function, and l 1 be given. Then there exists an x X and subsequence n k of N with T n k x x, T 2n k x x,, T ln k x x. Theorem 2.2. Let θ : Z Z be any function and let Z = r i=1c i

3 VAN DER WAERDEN EXTENSION 3 be a representation of Z as a finite union of subsets. Let a Z be given. Then for every l N there is an index j such that there are numbers m and n with {θ m (a), θ m+n (a), θ m+2n (a),, θ m+ln (a)} C j. Proof. Use the definitions of Λ, Ω and d given above. Define a sequence ξ : Z Λ Let C i = {n Z : ξ(n) = i}, 1 i r. X = {T m ξ : m = 0, 1, 2, }. Then T : X X. By Furstenberg Recurrence, there is an n Z such that x(a) = T n x(a) = T 2n x(a) = = T ln x(a). But {T m ξ} is dense in X. Therefore there is an m such that T m ξ and x agree on [0, L] where L = max{θ n (a),, θ ln (a)}. Hence so therefore T m ξ(a) = T n+m ξ(a) = T m+2n ξ(a) = = T m+ln ξ(a) ξ(θ m (a)) = ξ(θ n+m (a)) = ξ(θ m+2n (a)) = = ξ(θ m+ln (a)). If the common value of these expressions is j then, by the definition of ξ {θ m (a), θ m+n (a), θ m+2n (a),, θ m+ln (a)} C j. Note that the theorem shows j depends on l. Since j has a finite range it is easy to deduce that j may be chosen to be the same for every l. The numbers m and n will then depend on j, l, a and, of course, θ. 3. APPLICATIONS Example 3.1. Let θ(n) n + 1. This is Furstenberg s shift map. Using a = 0 we have θ m (0) = m so van der Waerden follows. Using the notation in the theorem, there is a j so that for every l there is an m, n such that: {m, m + n,, m + ln} C j.

4 4 BROUGHAN Example 3.2. Let θ(n) 2n, a = 1. Then θ m (1) = 2 m so {2 m, 2 m 2 n,, 2 m 2 ln } C j, that is to say a geometric progression of powers of 2. Example 3.3. Let θ(n) αn + β, α 2, β 1. Then θ m (n) = α m n + β αm 1 α 1. If we select α = 2, β = 1, a = 0 then θ m (0) = 2 m 1 and so: {2 m 1, 2 m+n 1,, 2 m+ln 1} C j. Example 3.4. Let A N be any infinite subset. Define θ A by θ A (n) = min{x A : x > n}. For example if A = P the rational primes, θ P (n) is the next prime not equal to n. The composite θa m (0) is the m th term in A with increasing order. If we label the terms in order A = {a i }, then by the theorem above, {a m, a m+n, a m+2n,, a m+ln } C j. Applying this to A = P this means there is a C j such that the m th, the m + n th, up to the m + ln th prime are in C j. REFERENCES 1. P. Erdös and R. L. Graham, Old and new problems and results in combinatorial number theory: van der Waerden s theorem and related topics, Enseign. Math. 25 (1979), no. 3-4, (1980). 2. H. Furstenberg and B. I. Weiss, Topological dynamics and combinatorial number theory, J. Analyse Math. 34 (1978), (1979). 3. H. Furstenberg, Poincaré recurrence and number theory, Bull.Amer.Math.Soc. (N.S.) 5 (1981), R. L. Graham, M. Grötschel, and L. Lovász (Eds.), Handbook of Combinatorics, Vol. 1, North-Holland, 1995.

5 VAN DER WAERDEN EXTENSION 5 5. R. L. Graham and B. L. Rothschild, A short proof of van der Waerden s theorem on arithmetic progressions, London Mathematical Society Lecture Notes in Mathematics 42 (1974), R. L. Graham, K. Leep and B. L. Rothschild, Ramsey s theorem for a class of categories, Advances in Math. 8 (1972), R. L. Graham and B. L. Rothschild, Ramsey s theorem for n-parameter sets, Trans. Amer. Math. Soc. 159 (1971), B. L. van der Waerden, Nieuw Arch. Wisk. 15 (1927), M. Walters, Combinatorial proofs of the polynomial van der Waerden theorem and the polynomial Hales-Jewett theorem, J. London Math. Soc. (2) 61 (2000), 1-12.