I feel that this is probably really obvious, but I don't know how to get started. Is it true that every set in a metric space is the union of connected, pairwise-separated sets? And does this generalize to topologies easily?
Constructing sets from connected sets
-
0Thank you for the terminology, it was very helpful :) – 2012-08-08
1 Answers
It does indeed generalize to arbitrary topologies, although it's a slightly weird definition, because it's defined a little backwards, in terms of what it isn't rather than in terms of what it is.
A separation of a topological space $\langle X, {\mathcal T}\rangle$ is two nonempty sets, $U$ and $V$, whose union is $X$, such that each is disjoint from the closure of the other. And we say that the space $X$ is disconnected if there is a separation of it, and connected if not.
So for example, $\Bbb R$ with the usual topology is the prototypical example of a connected space, but ${\Bbb R}\setminus \{0\}$ is disconnected: a separation of it is $U=(-\infty,0), V=(0, \infty)$. Similarly, $\Bbb Q$ with the usual topology is disconnected, since a separation is $U=(-\infty,\sqrt 2)\cap{\Bbb Q}, V=(\sqrt 2, \infty)\cap{\Bbb Q}$.
It's easy to show that a space $X$ is disconnected exactly when there is a nonempty subset of $X$ that is both open and closed. For example, in $\Bbb R$ with the usual topology, the only sets both open and closed are $\Bbb R$ and $\emptyset$, so once again we have the $\Bbb R$ is connected when it has the usual topology. On the other hand, when $\Bbb R$ is given the half-open interval topology (open sets are unions of half-open intervals $[a, b)$), the set $[0, 1)$ is both open and closed, and so $U=[0,1), V=(-\infty, 1)\cup[1,\infty)$ forms a separation and the space is disconnected.
Subsets of a topological space $X$ can be identified as connected or disconnected, if they are connected spaces themselves in the subspace topology inherited from $X$.
Every subset $S$ of a space can be considered to be a disjoint union of connected components, which are just the maximal connected subsets $S$, and it's exactly the connected components you are asking about. A connected subset $S$ has exactly one component, and a disconnected subset has more.
-
1@Mark: I think it is natural to require that the decomposition of a space into its connected components is unique. This is false if you allow the empty space to be connected in the same way that unique prime factorization is false if you allow $1$ to be prime. There is an entry in the nLab about this general phenomenon: http://ncatlab.org/nlab/show/too+simple+to+be+simple – 2012-08-08