Lemma 5.9.3. Let $f : X \to Y$ be a continuous map of topological spaces.
If $X$ is Noetherian, then $f(X)$ is Noetherian.
If $X$ is locally Noetherian and $f$ open, then $f(X)$ is locally Noetherian.
Lemma 5.9.3. Let $f : X \to Y$ be a continuous map of topological spaces.
If $X$ is Noetherian, then $f(X)$ is Noetherian.
If $X$ is locally Noetherian and $f$ open, then $f(X)$ is locally Noetherian.
Proof. In case (1), suppose that $Z_1 \supset Z_2 \supset Z_3 \supset \ldots $ is a descending chain of closed subsets of $f(X)$ (as usual with the induced topology as a subset of $Y$). Then $f^{-1}(Z_1) \supset f^{-1}(Z_2) \supset f^{-1}(Z_3) \supset \ldots $ is a descending chain of closed subsets of $X$. Hence this chain stabilizes. Since $f(f^{-1}(Z_ i)) = Z_ i$ we conclude that $Z_1 \supset Z_2 \supset Z_3 \supset \ldots $ stabilizes also. In case (2), let $y \in f(X)$. Choose $x \in X$ with $f(x) = y$. By assumption there exists a neighbourhood $E \subset X$ of $x$ which is Noetherian. Then $f(E) \subset f(X)$ is a neighbourhood which is Noetherian by part (1). $\square$
Comments (2)
Comment #1362 by Pieter Belmans on
Comment #1382 by Johan on
There are also: