[Math] Why can’t Antoine’s necklace fall apart

fractalsgeneral-topologygeometrylow-dimensional-topology

Antoine's necklace is an embedding of the Cantor set in $\mathbb{R}^3$ constructed by taking a torus, replacing it with a necklace of smaller interlinked tori lying inside it, replacing each smaller torus with a necklace of interlinked tori lying inside it, and continuing the process ad infinitum; Antoine's necklace is the intersection of all iterations.

Antoine's necklace

A number of sources claim that this necklace 'cannot fall apart' (e.g. here). Given that the necklace is totally disconnected this obviously has to be taken somewhat loosely, but I tried to figure out exactly what is meant by this. Most sources seem to point to this paper (which it must be noted contains some truly remarkable images, e.g. Figure 12). There the authors make the same point that Antoine's necklace 'cannot fall apart'. Nevertheless, all they seem to show in the paper is that it cannot be separated by a sphere (every sphere with a point of the necklace inside it and a point of the necklace outside it has a point of the necklace on it).

It seems to me to be a reasonably trivial exercise to construct a geometrical object in $\mathbb{R}^3$ which cannot be separated by a sphere, and yet can still 'fall apart'.

                                            Image1

In the spirit of the construction of Antoine's necklace, these two interlinked tori cannot be separated by a sphere (any sphere containing a point of one torus inside it will contain a point of that torus on its surface), but this seems to have no relation to the fact that they cannot fall apart – if we remove a segment of one of the tori the object still cannot be separated by a sphere, and yet can fall apart macroscopically.

                                            Image2

The fact mentioned here that the complement of the necklace is not simply connected, and the fact mentioned here that there are loops that cannot be unlinked from the necklace shouldn't impact whether it can be pulled apart either, as both are true of our broken rings

My question is this: Is it possible to let me know either:

  1. How I have misunderstood separation by a sphere (so that it may still be relevant to an object being able to fall apart),

  2. What property Antoine's necklace does satisfy so that it cannot fall apart (if I have missed this), or

  3. What is actually meant when it is said to be unable to fall apart (if I have misunderstood this)

Best Answer

if we remove a segment of one of the tori the object still cannot be separated by a sphere, and yet can fall apart macroscopically.

Well, sure it can. The key observation is that "sphere" means "homeomorphic image of a sphere" in this context.

Turn the ring with the part removed (the "C") and pull the in tact ring (the "O") through the missing piece. Then you have two separate components, the C and the O, which it is easy to see could be placed inside and outside of a sphere. Let's put the C on the inside and the O on the outside.

Now, think about shrinking that sphere very tightly (but not touching) around the C, then putting the C back where it was. You've separated the two by the homeomorphic image of a sphere.

Think about if we tried to do this with two Os, like your first figure. If the Os weren't interlocked, sure, it's easy, just like when the C and the O were separated. But if two Os are interlocked, there isn't any way to fit a sphere around one of them in the same way as you could with the C. And if you can't do it with only two Os, you certainly can't do it with Antoine's Necklace. Thus, it will stay together.

Related Question