The Stacks project

Proof. We have a commutative diagram of continuous maps

Suppose $x \in f(E)$ is closed in $f(E)$. Then $f^{-1}(\{ x\} )\cap E$ is nonempty and closed in $E$. Applying Topology, Lemma 5.18.5 to both inclusions

we find there exists a point $y \in f^{-1}(\{ x\} ) \cap E$ which is closed in $Y$. In other words, there exists $y \in Y_0$ and $y \in E_0$ mapping to $x$. Hence $x \in f(E_0)$. This proves that $f(E)_0 \subset f(E_0)$. Proposition 10.35.19 implies that $f(E_0) \subset X_0 \cap f(E)$. The inclusion $X_0 \cap f(E) \subset f(E)_0$ is trivial. This proves the first assertion.

Suppose that $\xi \in f(E)$. According to Lemma 10.30.2 the set $f(E) \cap \overline{\{ \xi \} }$ contains a dense open subset of $\overline{\{ \xi \} }$. Since $X$ is Jacobson we conclude that $f(E) \cap \overline{\{ \xi \} }$ contains a dense set of closed points, see Topology, Lemma 5.18.5. We conclude by part (1) of the lemma.

On the other hand, suppose that $\overline{\{ \xi \} } \cap f(E_0)$ is dense in $\overline{\{ \xi \} }$. By Lemma 10.29.4 there exists a ring map $S \to S'$ of finite presentation such that $E$ is the image of $Y' := \mathop{\mathrm{Spec}}(S') \to Y$. Then $E_0$ is the image of $Y'_0$ by the first part of the lemma applied to the ring map $S \to S'$. Thus we may assume that $E = Y$ by replacing $S$ by $S'$. Suppose $\xi $ corresponds to $\mathfrak p \subset R$. Consider the diagram

This diagram and the density of $f(Y_0) \cap V(\mathfrak p)$ in $V(\mathfrak p)$ shows that the morphism $R/\mathfrak p \to S/\mathfrak p S$ satisfies condition (2) of Lemma 10.30.4. Hence we conclude there exists a prime $\overline{\mathfrak q} \subset S/\mathfrak pS$ mapping to $(0)$. In other words the inverse image $\mathfrak q$ of $\overline{\mathfrak q}$ in $S$ maps to $\mathfrak p$ as desired. $\square$