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 .