In Euclidean geometry, all lengths, areas and volumes are relative. Once a unit of length is chosen, all other lengths are given in terms of this unit. Classical geometry could determine the lengths of straight lines, the areas of polygons and the volumes of simple solids. However, the lengths of curved lines, areas bounded by curves and volumes with curved surfaces were mostly beyond the scope of Euclid. Only a few volumes — for example, the sphere, cylinder and cone — could be measured using classical methods.

Galileo noticed something remarkable about lines of different lengths: the points of a line segment can be put in one-to-one correspondence with the points of another segment of different length. This is most easily shown for two concentric circles of different radii: each radius cuts the two circles at a single point, thereby providing a precise 1-to-1 mapping between the points of the two circles. Informally, we might say that the two circles have “the same number of points”. More formally, and following Cantor, we say that the two sets of points of the circles have the same cardinality.

It is clear that cardinality is a `blunt instrument’: two line segments of different lengths have the same `size’ in terms of it. Moreover, an infinite line, a plane and even a space of countably infinite dimension, all have the same cardinality. Clearly, this has very little to do with the usual concept of size in terms of spacial extent. More refined measure of size is required.

**From Calculus to Measure Theory**

For the simple sets, we have the geometric length, area and volume. But how can we establish these dimensions for complicated curves, areas and volumes. Integral calculus provided a powerful tool for answering such questions. The length of a curve between two limits and is

and the area between the curve and the -axis is

The usual definition of an integral, following Bernhard Riemann, works fine for reasonably well-behaved functions over finite intervals. But what if the function to be integrated is wild in some way, or the region over which it is to be integrated is complicated?

Measure theory, initially formulated by Émile Borel and Henri Lebesgue, was developed to answer these questions. The set of functions that are Lebesgue integrable is substantially greater than the set of Riemann integrable functions. For example, the set of rational numbers in the interval has Lebesgue measure 0; the set of irrational numbers in this interval has measure 1. Thus, informally, there are “many more” irrationals than rationals. This concurs with the cardinality of these sets. However, this concurrence is not guaranteed in general.

While the scope of measure theory is much broader than Riemann’s integral, there are still functions that cannot be integrated and sets that cannot be measured.

** Cantor’s Ternary Set **

Cantor’s ternary set is an example of a set that is uncountable (it has the same cardinality as the real numbers) but that has (Lebesgue) measure zero.To construct the ternary set we proceed iteratively. Starting with the unit interval , we remove the open interval corresponding to the “middle third” to get . Next, we remove the open middle third of each remaining interval, to get , a union of four closed intervals. Continuing this process, we arrive ultimately at the ternary set

The set has a number of very interesting properties. is “large”: it is uncountable, making it large compared to the rational numbers. is also “small”: it cannot have a positive length: at each stage, the length is decreased by a factor and the limit of is zero. is fractal, with a fractal dimension of . is nowhere dense: the interior of the closure is empty. is totally disconnected. These properties are demonstrated in standard texts on point set topology.

The measure of the set is easily obtained. The length removed at stage is . Summing these, the total length removed is 1. This implies that the remaining length is 0. The set is of Lebesgue measure zero.

We can show that Cantor’s set has the same cardinality as the real numbers. For any point , we construct a binary number as follows: if is to the left of a middle third removed at stage the th digit is 0. If to the right, the th digit is 1. Clearly this gives a one-to-one correspondence between and all binary numbers in , so must be uncountable.

Another way to look at this is to note that every point in may be expanded in base 3 as

Now we map to the number with binary expansion

with . It is clear that the binary expansion of every rational in the unit interval is obtainable in this way (we omit a technical detail that ensures uniqueness of these expansions). We thus have a one-to-one correspondence between the Cantor ternary set and the unit interval, so both must have the same cardinality.

Thus , which has measure zero and is nowhere dense, is also uncountable. It is both **big** and **small**. This is a salutary reminder that intuition can be a fickle guide.

* * * * *

**That’s Maths II: A Ton of Wonders**

by Peter Lynch now available.

Full details and links to suppliers at

http://logicpress.ie/2020-3/

>> Review in *The Irish Times <<*

* * * * *

You must be logged in to post a comment.