Lemma 5.8.5. Let $X$ be a topological space and let $Y\subset X$.

1. If $X$ is Kolmogorov then so is $Y$.

2. Suppose $Y$ is locally closed in $X$. If $X$ is quasi-sober then so is $Y$.

3. Suppose $Y$ is locally closed in $X$. If $X$ is sober then so is $Y$.

Proof. Proof of (1). Suppose $X$ is Kolmogorov. Let $x,y\in Y$ with $x\neq y$. Then $\overline{\overline{\{ x\} }\cap Y}=\overline{\{ x\} }\neq \overline{\{ y\} }= \overline{\overline{\{ y\} }\cap Y}$. Hence $\overline{\{ x\} }\cap Y\neq \overline{\{ y\} }\cap Y$. This shows that $Y$ is Kolmogorov.

Proof of (2). Suppose $X$ is quasi-sober. It suffices to consider the cases $Y$ is closed and $Y$ is open. First, suppose $Y$ is closed. Let $Z$ be an irreducible closed subset of $Y$. Then $Z$ is an irreducible closed subset of $X$. Hence there exists $x \in Z$ with $\overline{\{ x\} } = Z$. It follows $\overline{\{ x\} } \cap Y = Z$. This shows $Y$ is quasi-sober. Second, suppose $Y$ is open. Let $Z$ be an irreducible closed subset of $Y$. Then $\overline{Z}$ is an irreducible closed subset of $X$. Hence there exists $x\in Z$ with $\overline{\{ x\} }=\overline{Z}$. If $x\notin Y$ we get the contradiction $Z=Z\cap Y\subset \overline{Z}\cap Y=\overline{\{ x\} }\cap Y=\emptyset$. Therefore $x\in Y$. It follows $Z=\overline{Z}\cap Y=\overline{\{ x\} }\cap Y$. This shows $Y$ is quasi-sober.

Proof of (3). Immediately from (1) and (2). $\square$

There are also:

• 5 comment(s) on Section 5.8: Irreducible components

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).