The classical result of Sierpinski says that a compact connected Hausdorff space cannot be written as a countable union of nontrivial pairwise disjoint closed sets.

In
, this
implies that **closed, bounded and connected subset cannot be
decomposed in a countable union of nontrivial pairwise disjoint closed
sets**. Can we construct a connected subset of Euclidean space
with countable decomposition of countably many pairwise disjoint closed
sets? This
is a question that I stumbled a few days ago.

Give this problem a try, can you construct such a set? It’s a lot of fun :). Post a comment if you come up with sth nice!

We begin with my approach, struggle, and a historical note. In the last section, “Sun set” I describe my construction.

# Approach and historical note

First, I’ve found an example in . It’s quite easy but wordy, so here are pictures of it (third dimension, here depth, is only to make bridges to avoid intersections we see on 2D projection of this set).

Here are the details of this construction, if you are interested in it.

I didn’t manage to simplify this example to since I needed an extra dimension to create “bridges” to avoid crossings that destroy pairwise disjointness. Some clever trick is needed to make a similar example on the plane.

I was dissatisfied with my 3D example. I didn’t see any reason why such an example needed to be in three dimensions. I wanted something simpler, something on a plane. I tried out some ideas and found an example in the plane. This has a different feel (more chaotic) than the first example. But whatever works!

I call it *sun set* and describe it in the coming section.
Basically, it’s just a union of line segments with one endpoint on the
unit sphere, and the other getting closer to
in each segment.

A few days later I found that this question existed in the early days
of topology (I was surprised to see it so late!). Anna Mullikin, in the
1922 paper “Certain
Theorems Relating to Plane Connected Point Sets”, constructs a
*Mullikin nautilus*. It is formed by taking a union of infinitely
many polygonal chains. The first three are pictured below (screenshot
from the original paper).

I was delighted to see this neat example. She has done something I couldn’t — her example has a similar feel to my first example in . But, with a clever shape, she obtained the needed limit points to “connect” parts without the necessity of my overkill “3d bridges”.

# Sun set

Let be a dense subset of unit sphere with . For each define the line segment And let . Finally, let . It clearly is a union of closed, pairwise disjoint, connected sets.

*Theorem*.
is
connected.

*Proof.* Let
be open disjoint
sets with
.
Without loss of generality assume that
contains
. Since
is connected, it
must be contained in
. It suffices to show
that
live in
as well.

First, note that there is for which ball is contained in . Consequently, for each an endpoint of , namely , is close enough to the origin to be contained in . Hence, all with are in ( ’s are connected).

It remains to show that are also in . Pick any . By construction . Aiming at contradiction assume that sits in . Then there is a neighborhood of with no points in common with . This is impossible because contains which is dense in the unit sphere since it’s just with finitely many points thrown out. Hence belongs to , and so is in ( ’s are connected).

□