Lemma 66.5.2. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$. Then $X$ is quasi-compact if and only if $|X|$ is quasi-compact.
Proof. Choose a scheme $U$ and an étale surjective morphism $U \to X$. We will use Lemma 66.4.4. If $U$ is quasi-compact, then since $|U| \to |X|$ is surjective we conclude that $|X|$ is quasi-compact. If $|X|$ is quasi-compact, then since $|U| \to |X|$ is open we see that there exists a quasi-compact open $U' \subset U$ such that $|U'| \to |X|$ is surjective (and still étale). Hence we win. $\square$
Comments (0)