19

Start with an irreducible space $X$. Take a subset $Y$ that is irreducible. Show that the closure of $Y$ is still irreducible.

I imagine we are supposed to start with saying, assume we have a decomposition for $\bar Y = S\cup T$ and then somehow derive a contradiction to $X$ or $Y$'s irreducibility, but I am struggling.

Steven-Owen
  • 5,556

2 Answers2

30

Suppose $\bar Y$ is not irreducible, so we have closed subsets $S,T$ in $X$ such that $\bar Y$ is not contained in either $S$ or $T$ but $\bar Y \subseteq S\cup T$. If $Y\subseteq S$, then $\bar Y\subseteq \bar S=S$, a contradiction, so $Y$ is not contained in $S$. Similarly $Y$ is not contained in $T$. But $Y\subseteq \bar Y\subseteq S\cup T$, thus $Y$ is not irreducible.

Alex Becker
  • 60,569
  • That's what I originally was going for, but I thought the definition of irreducible is a decomposition into proper closed (not necessarily disjoint) subsets, not just a covering by closed sets. And from here, it is not as if we can just intersect $Y$ with $S$ and $T$, because $Y\cap S$ and $Y\cap T$ are not necessarily closed. – Steven-Owen Feb 25 '13 at 22:24
  • 5
    @ricky They are closed in the subspace topology, which is what matters. The nature of the subspace topology allows us to work with coverings like this. – Alex Becker Feb 25 '13 at 22:25
  • O, I see. That's confusing though going back and forth between X's topology and the induced subspace topology. Thanks for your help! – Steven-Owen Feb 25 '13 at 22:27
  • 2
    @ricky: A subset $A \subset X$ is irreducible iff there exist subsets $Z,Z' \subset A$ closed in the topology induced on $A$, such that $A = Z \cup Z'$; by definition $Z$ and $Z'$ are of the form $Z = Y \cap A$ and $Z' = Y' \cap A$, respectively, for subsets $Y,Y' \subset X$ closed in $X$, hence the equality $A = (Y \cap A) \cup (Y' \cap A) = (Y \cup Y') \cap A$ which is equivalent to the inclusion $A \subseteq Y \cap Y'$. –  Feb 25 '13 at 23:16
-1

Consider $S^c$ and $T^c$, which are open in $\bar{Y}$. Then, since any nonempty open subset of an irreducible space ($Y$) is dense, we have, $\bar{S^c\bigcap Y}=Y$, and $\bar{T^c\bigcap Y}=Y$. Then, $Y=\bar{(S^c\bigcap Y})\bigcup(\bar{T^c\bigcap Y})$, which is a contradiction to Y being irreducible.

Baby elephant
  • 315