Lemma 5.18.8. Suppose $X$ is a Jacobson topological space. Let $X_0$ be the set of closed points of $X$. There is a bijective, inclusion preserving correspondence

\[ \{ \text{constructible subsets of } X\} \leftrightarrow \{ \text{constructible subsets of } X_0\} \]

given by $E \mapsto E \cap X_0$. This correspondence preserves the subset of retrocompact open subsets, as well as complements of these.

**Proof.**
From Lemma 5.18.7 above, we just have to see that if $U$ is open in $X$ then $U\cap X_0$ is retrocompact in $X_0$ if and only if $U$ is retrocompact in $X$. This follows if we prove that for $U$ open in $X$ then $U\cap X_0$ is quasi-compact if and only if $U$ is quasi-compact. From Lemma 5.18.5 it follows that we may replace $X$ by $U$ and assume that $U = X$. Finally notice that any collection of opens $\mathcal{U}$ of $X$ cover $X$ if and only if they cover $X_0$, using the Jacobson property of $X$ in the closed $X\setminus \bigcup \mathcal{U}$ to find a point in $X_0$ if it were nonempty.
$\square$

## Comments (0)

There are also: