1
$\begingroup$

This question already has an answer here:

Defn: A set $X$ is connected if there do not exist non-empty, disjoint open sets $U,V$ s.t $U$ $\cup$ $V$ $=X$.

I thought intuitively that this meant that this was like the English dictionary definition of connected- there is no gap in the set.

It is easy to see $(0,1) \cup (2,3)$ is disconnected. Intuitively it seems $[0,1] \cup [2,3]$ is also disconnected- but by the mathematical definition it is connected. I cannot find a $U$ and $V$!

Also the Wikipedia defn is with closed $U$ and $V$ - how can the two be equivalent?

$\endgroup$

marked as duplicate by J.-E. Pin, user147263, user296602, Silvia Ghinassi, Shailesh Feb 9 '16 at 0:08

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

  • $\begingroup$ @Watson apologies - I ask a lot of questions on here- sometimes I lose track- sorry again $\endgroup$ – Arcane1729 Apr 8 '16 at 10:03
  • $\begingroup$ No problem! It was just because I was not sure if my answer was OK for you, or if I could improve it :-) $\endgroup$ – Watson Apr 8 '16 at 16:20
2
$\begingroup$

The open sets of $A=[0,1] \cup [2,3]$ are of the form $O \cap A$ where $O \subset \Bbb R$ is open. In particular, $U=[0,1]=]-1,2[ \cap A$ and $V=[2,3]=]1,4[ \cap A$ are open sets of $A$. Moreover, they satisfy what you require.

For your second question, if $X = U \cup V$ with $U,V$ disjoint non-empty open sets, then $V = X \setminus U$ is closed (and so is $U$), as the complement of an open set. Then $X$ is the disjoint union of two non-empty closed sets, namely $U=X\setminus V$ and $V = X \setminus U$. You can easily prove the converse.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.