A topological space is called connected if any presentation of $X$ as $X = V_1 \uplus V_2$ by disjoint open subsets implies that one of them is trivial ($V_1 = X$ or $V_2 = X$). By taking complement one can replace the word "open" by "close".

A topological space is called irreducible if any presentation of $X$ as $X = X_1 \cup X_2$ by two closed subsets implies that one of them is trivial ($X_1 = X$ or $X_2 = X$).

Clearly every irreducible space is connected. The converse is not always true but:

Proposition: Let $X$ be a connected topological space which has an open covering by irreducible subspaces. Then $X$ is irreducible.

I want to prove this proposition.

  • $\begingroup$ I assume that the two closed subsets $X_1, X_2$ in the definition of irreducible are supposed to be disjoint? $\endgroup$ – Tom Nov 12 '13 at 13:01
  • 1
    $\begingroup$ No, there can be $X_1 \cap X_2 \ne \emptyset$. For example, consider the Zariski topology on $\mathbb{A}^2(\mathbb{C})$ and the variety $X = \{ (x,y) \mid xy = 0 \}$. It is reducible and it is covered by $\{ (x,y) \mid x = 0 \}$ and $\{ (x,y) \mid y = 0 \}$ which are closed in the Zariski topology. $\endgroup$ – LinAlgMan Nov 12 '13 at 13:14
  • $\begingroup$ Ah, I see; I misinterpreted. So $\mathbb{R}$ with the usual topology is another example of a reducible (and connected) space since $\mathbb{R} = (-\infty,0]\cup[0,\infty)$. I also suppose then that $\mathbb{R}$ with the cofinite topology is irreducible. Interesting! $\endgroup$ – Tom Nov 12 '13 at 13:30
  • 2
    $\begingroup$ @Tom: One way to think of irreducible spaces that I find helpful is that they are the spaces in which every non-empty open set is dense. $\endgroup$ – Brian M. Scott Nov 12 '13 at 14:41

HINT: It’s easily checked that a space $X$ is irreducible if and only if $U\cap V\ne\varnothing$ whenever $U$ and $V$ are non-empty open subsets of $X$. Let $X$ be connected, and let $\mathscr{U}$ be an open cover of $X$ by irreducible subspaces. Suppose that $V$ and $W$ are disjoint open subsets of $X$; you want to show that one of them is empty.

  • Show that each $U\in\mathscr{U}$ intersects at most one of $V$ and $W$.


$$\begin{align*} &\mathscr{U}_V=\{U\in\mathscr{U}:U\cap V\ne\varnothing\}\;,\\ &\mathscr{U}_W=\{U\in\mathscr{U}:U\cap W\ne\varnothing\}\;,\text{ and}\\ &\mathscr{U}_0=\mathscr{U}\setminus(\mathscr{U}_V\cup\mathscr{U}_W)\;. \end{align*}$$

Consider the open sets $\bigcup\mathscr{U}_V,\bigcup\mathscr{U}_W$, and $\bigcup\mathscr{U}_0$, bearing in mind that $X$ is connected.

| cite | improve this answer | |
  • $\begingroup$ Thank you. The hint helped me. $\endgroup$ – LinAlgMan Nov 12 '13 at 15:57
  • $\begingroup$ @LinAlgMan: You’re welcome; glad it helped. $\endgroup$ – Brian M. Scott Nov 12 '13 at 16:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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