Lemma 27.29.3. Let $X$ be a quasi-compact scheme. There exists a dense open $V \subset X$ which is separated.

Proof. Say $X = \bigcup _{i = 1, \ldots , n} U_ i$ is a union of $n$ affine open subschemes. We will prove the lemma by induction on $n$. It is trivial for $n = 1$. Let $V' \subset \bigcup _{i = 1, \ldots , n - 1} U_ i$ be a separated dense open subscheme, which exists by induction hypothesis. Consider

$V = V' \amalg (U_ n \setminus \overline{V'}).$

It is clear that $V$ is separated and a dense open subscheme of $X$. $\square$

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