In pure set-theoretic terms, the set of even positive numbers is the same size, or cardinality, as the set of all natural numbers: both are infinite countable sets that can be put in one-to-one correspondence through the mapping . This was known to Galileo. However, with the usual ordering,

every second number is even and, intuitively, we feel that there are half as many even numbers as natural numbers. In particular, our intuition tells us that** if is a proper subset of , it must be smaller than .**

**Natural Density**

The concept of natural density provides a means of expressing the relative sizes of sets that is more discriminating than cardinality. Density — also called asymptotic density or arithmetic density — is defined for many interesting subsets of , although not for all subsets. The counting function of a subset of defined as

where denotes the cardinality of a set. It measures the number of elements of less than or equal to . We can then define the density of the set by

whenever this limit exists (Tenenbaum, 1995). If necessary, we indicate the reference set by writing .

If the proportion of elements of among the first numbers in converges to a limit as tends to infinity, then has density . The definition implies that, if the natural density exists, it lies in the interval . The density of a sequence is the limit of the frequency of its terms in the first integers, as might be expected. This value is consistent with our intuition.

Any arithmetic progression has density . In particular, the even and odd numbers both have density . As an example of a set without a density, we consider the positive numbers having an odd number of decimal digits.

**Dependence of Density on Ordering**

For a monotonic sequence , we can define the density (if it exists) of in as

If the reference set is other than , we write .

Let us consider some examples. For we have , so , as might be expected. This is consistent with our intuitive notion that of the natural numbers are even.

We next consider multiples of and multiples of . Defining

we have . Numbers divisible by 2 but not by 3 are in ; numbers divisible by 3 but not by 2 are in ; all other natural numbers are in . Now we reorder the natural numbers as

so that , and . It is clear that , so that (multiples of ) and (multiples of ) are equally dense in (multiples of are in both and ).

**Twice as many even as odd numbers**

Next, we will rearrange the natural numbers into a set such that there are twice as many even as odd numbers in . Let

We now reorder as follows:

so that , and . It is clear that we have and . Extending this idea, we follow each odd number in a set by even numbers, so that and . For large , and .

**Almost all natural numbers are even**

Proceeding further, we construct a set with one odd number, one even number followed by an odd one, then two evens followed by an odd one, then three evens and an odd one, and so on:

It is clear that the -th odd number is at the position of the triangular number , and the count of even numbers to that point is . Thus, the density is

Thus, we find that “almost all the elements of are even”.

These examples make it clear that density depends strongly on the ordering of the reference set. Our intuition is guided by the usual (natural) ordering of the natural numbers and the alternation between odd and even numbers leads us to the conclusion that, somehow, they are equal in number, each comprising “half” of the set of natural numbers. Density relative to is consistent with this intuition.

**Sources**

Tenenbaum, Gerard, 1995:* Introduction to Analytic and Probabilistic Number Theory.* Cambridge Studies in Advanced Mathematics, 46. Cambridge University Press.