The Stacks project

Lemma 5.7.3. Let $X$ be a topological space.

  1. If $T \subset X$ is connected, then so is its closure.

  2. Any connected component of $X$ is closed (but not necessarily open).

  3. Every connected subset of $X$ is contained in a unique connected component of $X$.

  4. Every point of $X$ is contained in a unique connected component, in other words, $X$ is the disjoint union of its connected components.

Proof. Let $\overline{T}$ be the closure of the connected subset $T$. Suppose $\overline{T} = T_1 \amalg T_2$ with $T_ i \subset \overline{T}$ open and closed. Then $T = (T\cap T_1) \amalg (T \cap T_2)$. Hence $T$ equals one of the two, say $T = T_1 \cap T$. Thus $\overline{T} \subset T_1$. This implies (1) and (2).

Let $A$ be a nonempty set of connected subsets of $X$ such that $\Omega = \bigcap _{T \in A} T$ is nonempty. We claim $E = \bigcup _{T \in A} T$ is connected. Namely, $E$ is nonempty as it contains $\Omega $. Say $E = E_1 \amalg E_2$ with $E_ i$ closed in $E$. We may assume $E_1$ meets $\Omega $ (after renumbering). Then each $T \in A$ meets $E_1$ and hence must be contained in $E_1$ as $T$ is connected. Hence $E \subset E_1$ which proves the claim.

Let $W \subset X$ be a nonempty connected subset. If we apply the result of the previous paragraph to the set of all connected subsets of $X$ containing $W$, then we see that $E$ is a connected component of $X$. This implies existence and uniqueness in (3).

Let $x \in X$. Taking $W = \{ x\} $ in the previous paragraph we see that $x$ is contained in a unique connected component of $X$. Any two distinct connected components must be disjoint (by the result of the second paragraph).

To get an example where connected components are not open, just take an infinite product $\prod _{n \in \mathbf{N}} \{ 0, 1\} $ with the product topology. Its connected components are singletons, which are not open. $\square$

Comments (5)

Comment #3563 by Laurent Moret-Bailly on

In (3) and (4) there is no mention of uniqueness of the component in question. But (of course) this is used, e.g. in the statement of Lemma 08ZL.

Comment #7824 by Ryo Suzuki on

On the proof of (4), uniqueness is not proven. Also, (3) is not proven. I write proposed amendment:

Proof of (3). Let be connected. Consider the set of connected subsets containing . Let . We claim is connected. Namely, supposed that is a disjoint union of two open and closed subsets of . Because is connected and , or . Without loss of generality, we can suppose . So for all . By connectedness of , . Hence . Immediately, is a unique connected components containing .

Comment #7828 by Laurent Moret-Bailly on

I second Ryo Suzuki's comment, but here is a slightly more genral property that immediately implies (3) and (4): "If is a nonempty set of connected subsets with nonempty intersection, then is connected." Proof (like Ryo's proof, this does not use Zorn's lemma): Fix . Then since , hence . Let be open, closed and nonempty. Then must meet some , hence contain it since is nonempty, open and closed in . Therefore contains , hence meets (and contains) every . QED

I also suggest to state explicitly that the first paragraph of the proof proves (1) and (2).

There are also:

  • 10 comment(s) on Section 5.7: Connected components

Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 004T. Beware of the difference between the letter 'O' and the digit '0'.