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$

There are also:

• 8 comment(s) on Section 5.18: Jacobson spaces

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