If E is a metric space, I call a subset C of E a cut if EC is not connected and if C is minimal for this property (which is obviously equivalent to "for every p in C, EC union p is connected". The empty set is a cut of any disconnected space, so the obvious conjecture is : every space of more than one point possesses a cut (this is almost obviously true for manifolds, for instance)... but this conjecture is in fact probably wrong, as it is not obvious at all to find cuts in convoluted spaces like, for instance, the common boundary of three open sets in the plane ; on the other hand, i was not able to prove it in this case either. Any hint on such a proof ? (by the way, Zorn's lemma dont apply here ; I wonder is there is any interesting example of a situation where the hypothesis of the lemma fail (ie, like here, the intersection of a decreasing family of sets having the property P does not necessarily have it), but the conclusion (the existence of a minimal such set) is still valid ?
$\begingroup$
$\endgroup$
7

2$\begingroup$ With this definition the space is always a cut of itself. $\endgroup$– Gjergji ZaimiCommented Aug 23, 2011 at 3:29

$\begingroup$ I'm not clear on your example, "the common boundary of three open sets in the plane." What is the metric space? $\endgroup$– Will JagyCommented Aug 23, 2011 at 3:30

$\begingroup$ Maybe is the OP referring to en.wikipedia.org/wiki/Lakes_of_Wada? $\endgroup$– Maxime BourriganCommented Aug 23, 2011 at 5:28

3$\begingroup$ @Gjergji: Your remark applies only if the wholespace subset is "minimal for this property". However, the whole space does provide an element for the set in which the existence of a minimal element is sought. $\endgroup$– John BentinCommented Aug 23, 2011 at 6:39

$\begingroup$ On the last question: sure, whenever the union of an increasing family of sets having the property always has the property. $\endgroup$– user5810Commented Aug 23, 2011 at 6:46

Show 2 more comments
1 Answer
$\begingroup$
$\endgroup$
1
Assume $E$ is what remains after the infinite number of the iterations above. This is an example of indecomposable continuum, so it can not be presented as a union of any two proper subcontinua.
Assume there is a cut $C\subset E$.
Then each connected component of $E\backslash C$ has $C$ as the boundary. In particular, $C$ is closed. Let us present $E\backslash C$ as a union of two disjoint open sets $A$ and $B$. Clearly both $\bar A =C\cup A$ and $\bar B=C\cup B$ are proper subcontinua of $E$, a contradiction.

1$\begingroup$ Thanks ; this is exactly what I asked for. Note that the boundary of the lakes of Wada is an indecomposable continuum, which means I had found my counterexample, but could not see your nice proof... $\endgroup$ Commented Aug 24, 2011 at 2:55