The Stacks project

For Jacobson spaces, closed points see everything about the topology.

Lemma 5.18.7. 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{finite unions loc.\ closed subsets of } X\} \leftrightarrow \{ \text{finite unions loc.\ closed subsets of } X_0\} \]

given by $E \mapsto E \cap X_0$. This correspondence preserves the subsets of locally closed, of open and of closed subsets.

Proof. We just prove that the correspondence $E \mapsto E \cap X_0$ is injective. Indeed if $E\neq E'$ then without loss of generality $E\setminus E'$ is nonempty, and it is a finite union of locally closed sets (details omitted). As $X$ is Jacobson, we see that $(E \setminus E') \cap X_0 = E \cap X_0 \setminus E' \cap X_0$ is not empty. $\square$

Comments (2)

Comment #1117 by Simon Pepin Lehalleur on

Suggested slogan: For Jacobson spaces, closed points see everything about the topology.

Comment #6241 by Matthieu Romagny on

In the two bracketted sets of the statement, the backslashes are visible but they shouldn't be, I guess ?

There are also:

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

Post a comment

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 005Z. Beware of the difference between the letter 'O' and the digit '0'.