TITLE:
On the Decomposition of a Bounded Closed Interval of the Real Line into Closed Sets
AUTHORS:
Edgar A. Cohen
KEYWORDS:
Cantor Sets; Cardinality; Disjoint Closed Sets; Dyadic Representation; Interlacing Dyadic Expansions; Generators of Sets; Nowhere Dense
JOURNAL NAME:
Advances in Pure Mathematics,
Vol.3 No.4,
July
2,
2013
ABSTRACT:
It has been shown by Sierpinski that a compact,
Hausdorff, connected topological space (otherwise known as a continuum) cannot
be decomposed into either a finite number of two or more disjoint, nonempty,
closed sets or a countably infinite family of such sets. In particular, for a
closed interval of the real line endowed with the usual topology, we see that
we cannot partition it into a countably infinite number of disjoint, nonempty
closed sets. On the positive side, however, one can certainly express such an
interval as a union of c disjoint closed sets, where c is the cardinality of
the real line. For example, a closed interval is surely the union of its
points, each set consisting of a single point being closed. Surprisingly
enough, except for a set of Lebesgue measure 0, these closed sets can be chosen
to be perfect sets, i.e., closed sets
every point of which is an accumulation point. They even turn out to be nowhere
dense (containing no intervals). Such nowhere dense, perfect sets are sometimes
called Cantor sets.