Month: December 2016

In our last post, we introduced the notions of density, upper density, and lower density as means of measuring subsets of natural numbers. We ended with two exercises. We recall them now; solutions are at the end of this post.

Exercise 1: Find subsets such that:

;

;

;

.

Exercise 2: Show that, if and are subsets of such that , then there is such that .

Before getting to the solutions, though, let’s take an interesting detour through a simple topic that has been the focus of a large amount of groundbreaking mathematics over the last century: arithmetic progressions in natural numbers. The journey will stop at three beautiful theorems and one beautiful conjecture and will involve some of the mathematical giants of the twentieth and twenty-first centuries.

Definition: An arithmetic progression of natural numbers is an increasing sequence of natural numbers such that the difference between successive terms of the sequence is constant. The length of an arithmetic progression is the number of terms in the sequence.

For example, the sequence is an arithmetic progression of length 4, as the difference between each pair of successive terms is 3. The sequence of even numbers, , and the sequence of odd numbers, are both arithmetic progressions of infinite length.

In an earlier post, we introduced the mathematical field of Ramsey Theory. Roughly speaking, Ramsey Theory studies the phenomenon of order necessarily arising in sufficiently large structures. Ramsey Theory takes its name from Frank Ramsey, who published a seminal paper in 1930. Arguably the first important theorem in Ramsey Theory, though, came three years earlier and is due to the Dutch mathematician Bartel Leendert van der Waerden.

Bartel van der Waerden

Theorem (van der Waerden, 1927): Suppose that the natural numbers are partitioned into finitely many sets, (so we have ). Then there is an such that contains arithmetic progressions of every finite length.

This is naturally seen as a statement in Ramsey Theory: Arithmetic progressions are very orderly things, and Van der Waerden’s Theorem states that, no matter how deviously you divide the natural numbers into finitely many pieces, you cannot avoid the appearance of arbitrarily long arithmetic progressions in one of the pieces. It is also worth noting that Van der Waerden’s Theorem cannot be strengthened to ensure the existence of infinite arithmetic progressions: it is relatively easy to partition the natural numbers into even just two sets such that neither set contains an arithmetic progression of infinite length (try it!).

You might notice a similarity between the statement of Van der Waerden’s Theorem and our Exercise 2: both say that, if the natural numbers are divided into finitely many pieces, at least one of the pieces must be “large” in a certain sense. In Van der Waerden’s Theorem, “large” means containing arbitrarily long arithmetic progressions, while in Exercise 2, it means having positive upper density.

Is there a connection between these two notions of largeness? It turns out that there is! In 1936, Erdős and Turán conjectured that, if and has positive density, then contains arbitrarily long arithmetic progressions. Almost forty years later, the conjecture was confirmed (and, in fact, strengthened, as it was proven for upper density rather than density) in a celebrated proof by Hungarian mathematician Endre Szemerédi.

Endre Szemerédi

Theorem (Szemerédi, 1975): Suppose that and . Then contains arithmetic progressions of every finite length.

Note that Szemerédi’s Theorem is a true generalization and strengthening of Van der Waerden’s theorem: when combined with Exercise 2, Szemerédi’s Theorem directly implies Van der Waerden’s Theorem. However, Szemerédi’s Theorem does not give any information about sets of natural numbers with zero upper density. There is one particularly interesting such set, which we encountered in our last post: the set of prime numbers, .

According to experts, it is likely that it was conjectured as early as 1770, by Lagrange and Waring, that the set of primes contains arbitrarily long arithmetic progressions, and the question experienced renewed interest in the wake of the proof of Szemerédi’s Theorem. An answer finally came in 2004, in a paper by Ben Green and Terence Tao.

Theorem (Green-Tao, 2004): The set of prime numbers contains arithmetic progressions of every finite length.

The story has not ended yet, as many very natural questions about arithmetic progressions remain unsolved. Perhaps the most famous is the following conjecture of Erdős, strengthening his conjecture with Turán that was eventually confirmed by Szemerédi.

This conjecture, unlike Szemerédi’s Theorem, would cover the case in which is the set of all primes, so this conjecture would generalize both Szemerédi’s Theorem and the Green-Tao Theorem. The problem currently carries a cash prize of $5000 (and, of course, the promise of mathematical fame).

Solution to Exercise 1: Recursively define a sequence by letting , and, given , letting . The first few terms of the sequence are thus . Now divide into pairwise disjoint blocks , arranged one after the other, in which, for all , . The first few blocks are thus as follows:

;

;

;

;

.

Now let be the union of all of the even-numbered blocks, i.e. , and let be the union of all of the odd-numbered blocks.

We clearly have and . We next show . Recall that . Given , let be the largest element of . Think about the quantity . Since , we clearly have . We also have . But this yields:

.

As gets arbitrarily large, gets arbitrarily close to , so we in fact get . The proofs of and are essentially the same and are thus left to the reader.

Solution to Exercise 2: We will in fact show something stronger: there is such that . Suppose for sake of a contradiction that this is not the case. Then, by the definition of upper density, for each we can find such that, for all natural numbers , . Now we can choose a natural number large enough so that, for all , .

For each , by our choice of , we know that . Also, by the fact that , we have that . But this yields:

.

We have thus shown . This is, of course, a contradiction, which finishes the exercise.

Cover Image: Vir Heroicus Sublimis by Barnett Newman

Share this:

Like this:

In a previous installment of our Measuring series, we considered the question of measuring subsets of the natural numbers. We came up with a solution using a non-principal ultrafilter. This is an elegant solution, but it has some drawbacks. One of these is that, assuming we are assigning a measure of 1 to the entire set, it seems natural to want to assign a measure of to both the set of even numbers and the set of odd numbers. However, depending on which of these two sets is in our ultrafilter, the ultrafilter measure will assign a measure of 1 to one of these sets and 0 to the other. We discussed an ad hoc fix to this, but, even then, similar problems arise. The ultrafilter measure is simply not what we want in many instances.

Today, we are going to discuss another approach to thinking about the size of subsets of , an approach that exploits the fact that it is really easy to measure subsets of a finite set. Our strategy will be to approximate the natural numbers by larger and larger finite sets, which we can easily deal with, and then see if their behavior converges to a limit.

Recall that, given a natural number , we think of as the set of all smaller natural numbers, i.e. . Given a subset and a natural number , let

.

thus gives us the measure of relative to the first natural numbers. We might hope that, as gets larger, we get better and better information about the distribution of . This happens precisely when the limit exists. When it does, we let . (For those of you who forget pre-calculus, recall that, intuitively, if, as gets larger and larger, gets closer and closer to .)

, when it exists, is called the asymptotic density of . Asymptotic density can be a useful way of measuring subsets of , and it has some nice properties. For example, the following are easily seen.

.

.

.

The celebrated Prime Number Theorem states that, asymptotically, . Therefore, since gets arbitrarily large as increases, we immediately get .

Asymptotic density also has the nice feature of being finitely additive. This means that, if , , and and both exist, then exists and .

A big drawback to asymptotic density, though, is that, in general, there is no guarantee that the limit will exist. Thus, for many sets , is simply undefined. This leads us to consider generalizations of asymptotic density, called upper and lower density, that will be defined for more sets (in fact, for all of them). To do so, we need to review some key facts about real numbers.

Recall that denotes the closed interval of real numbers such that . If , then the supremum of , denoted , is the least real number such that, for all , . Intuitively, is the least real number that bounds from above. Dually, the infimum of , denoted , is the largest real number such that, for all , . is thus the largest real number that bounds from below. It is one of the defining features of the real numbers that suprema and infima of bounded sets always exist.

Now suppose we have a sequence , where, for all , . The limit might fail to exist; for example, this will be the case if the sequence oscillates between two different numbers. To help analyze the behavior of bounded sequences without limits, we can consider variations on the limit, known as the limit superior () and limit inferior (). These are defined as follows:

Take a minute to think about what these definitions are saying. The following image may be useful.

It should be noted that is the limit of a non-increasing sequence and is the limit of a non-decreasing sequence, so both of them are guaranteed to exist (if the sequence is not bounded, one or both might be ).

With this in mind, we can now define the upper density of a set to be:

and the lower density to be:

.

Upper and lower density have the nice feature that they are defined for all subsets of natural numbers. In addition, it is easily seen that, if and exists, then . Upper and lower density can be useful ways of quantifying the “size” of subsets of . In particular, as we will see in our next post, the statement can in many contexts be interpreted as stating that is a “non-negligible” subset of .

However, upper and lower density suffer from a fatal flaw that prevents them from being considered to be true “measures” of subsets of : they are not even finitely additive. I leave you for now to explore this phenomenon on your own; solutions to the following two exercises and further investigation of density will come next week.

Exercise 1: Find subsets such that:

;

;

;

.

Exercise 2: Show that, if and are subsets of such that , then there is such that .