The Stacks project

Proof. Assume $X$ is locally Noetherian. Choose a scheme $U$ and a surjective étale morphism $U \to X$. As $X$ is locally Noetherian we see that $U$ is locally Noetherian. By Properties, Lemma 28.5.5 this means that $|U|$ is a locally Noetherian topological space. Since $|U| \to |X|$ is open and surjective we conclude that $|X|$ is locally Noetherian by Topology, Lemma 5.9.3. This proves (1). If $X$ is quasi-compact and locally Noetherian, then $|X|$ is quasi-compact and locally Noetherian. Hence $|X|$ is Noetherian by Topology, Lemma 5.12.14. $\square$