# Separating continuum in the disc

Continuum = compact connected set.

Suppose that $U$ and $V$ are nonempty disjoint open subsets of $[0,1]^2$. Is there necessarily a continuum $K\subseteq [0,1]^2$ that divides $U$ and $V$? More precisely, is there a continuum $K$ such that $[0,1]^2\setminus K$ is the union of two disjoint open sets $T$ and $W$ with $U\subseteq T$ and $V\subseteq W$.

It seems like this is a classical result but I don't know.

Note: You may not be able to choose $K$ to be an arc because for certain open $U$ and $V$ it could have to be something like the topolgist's sine curve.

• What do you mean with "continuum"? A set of cardinality $\mathfrak{c}$? – Del Oct 27 '16 at 20:57
• But why is $[0,1]^2\setminus (U\cup V)$ connected? – Forever Mozart Oct 27 '16 at 21:01
• You should define continuum here. – zhw. Oct 27 '16 at 21:01
• @ForeverMozart It is not connected in general. – Del Oct 27 '16 at 21:02
• @Del right, I see because $U$ and $V$ could be like tubes. – Forever Mozart Oct 27 '16 at 21:03

No. For example, consider these two sets: $$U = \{ x \in [-1,1]^2: |x| \in (1/8, 1/7) \cup (1/4, 1/3) \}$$ $$V = \{ x \in [-1,1]^2: |x| \in (1/10, 1/9) \cup (1/6, 1/5) \}$$ where $|\cdot |$ denotes the usual Euclidean norm.