Difference between revisions of "Noetherian space"
(MSC 54) |
(MSC 54F65) |
||
| Line 1: | Line 1: | ||
| − | {{TEX|done}}{{MSC| | + | {{TEX|done}}{{MSC|54F65}} |
A [[topological space]] $X$ which satisfies the [[descending chain condition]] for closed subspaces: every strictly decreasing chain of closed subspaces breaks off. An equivalent condition is: Any non-empty family of closed subsets ordered by inclusion has a minimal element. Every subspace of a Noetherian space is itself Noetherian. If a space $X$ has a finite covering by Noetherian subspaces, then $X$ is itself Noetherian. A space $X$ is Noetherian if and only if every open subset of $X$ is quasi-compact. A Noetherian space is the union of finitely many irreducible components. | A [[topological space]] $X$ which satisfies the [[descending chain condition]] for closed subspaces: every strictly decreasing chain of closed subspaces breaks off. An equivalent condition is: Any non-empty family of closed subsets ordered by inclusion has a minimal element. Every subspace of a Noetherian space is itself Noetherian. If a space $X$ has a finite covering by Noetherian subspaces, then $X$ is itself Noetherian. A space $X$ is Noetherian if and only if every open subset of $X$ is quasi-compact. A Noetherian space is the union of finitely many irreducible components. | ||
Revision as of 20:26, 30 November 2014
2020 Mathematics Subject Classification: Primary: 54F65 [MSN][ZBL]
A topological space $X$ which satisfies the descending chain condition for closed subspaces: every strictly decreasing chain of closed subspaces breaks off. An equivalent condition is: Any non-empty family of closed subsets ordered by inclusion has a minimal element. Every subspace of a Noetherian space is itself Noetherian. If a space $X$ has a finite covering by Noetherian subspaces, then $X$ is itself Noetherian. A space $X$ is Noetherian if and only if every open subset of $X$ is quasi-compact. A Noetherian space is the union of finitely many irreducible components.
Examples of Noetherian spaces are some spectra of commutative rings (cf. Spectrum of a ring). For a ring $A$ the space $\mathrm{Spec}(A)$ (the spectrum of $A$) is Noetherian if and only if $A/J$ is a Noetherian ring, where $J$ is the nil radical of $A$.
References
| [1] | N. Bourbaki, "Elements of mathematics. Commutative algebra" , Addison-Wesley (1972) (Translated from French) MR0360549 Zbl 0279.13001 |
Comments
References
| [a1] | R. Hartshorne, "Algebraic geometry" , Springer (1977) MR0463157 Zbl 0367.14001 |
Noetherian space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Noetherian_space&oldid=35226