[Math] Connectedness of Disjoint Union of Connected Sets

connectednessgeneral-topology

The definition of connected sets is:

A topological space $X$ is connected iff there do not exist sets $U, V \subset X$ such that: $U, V \neq \varnothing$, $U \cap V = \varnothing$ and $U \cup V = X$, with both $U$ and $V$ both open and closed.

I am having trouble applying this definition to certain cases–for example, the union of two intervals in the real number line with the usual topology.

Intuitively, $C=(0,1) \cup (2,3)$ should be disconnected (and I found a special definition of connectedness for open sets that allows me to prove that), but I don't see how to apply the actual definition of connectedness to prove that (or to prove, for example, the same problem with closed sets).

$C$ being disconnected should imply the existence of $U$ and $V$ satisfying the above property, but I can't find any.

Best Answer

Take $U=(0,1)$ and $V=(2,3)$: these sets are both open and closed in the space $C$. $(0,1)$ are open in $C$ because each is the intersection with $C$ of a set open in $\Bbb R$, and each is closed in $C$ because it’s the complement in $C$ of an open subset of $C$. The fact that neither is closed in $\Bbb R$ is irrelevant.