You are here
HomeNoetherian topological space
Primary tabs
Noetherian topological space
A topological space $X$ is called Noetherian if it satisfies the descending chain condition for closed subsets: for any sequence
$Y_{1}\supseteq Y_{2}\supseteq\cdots$ 
of closed subsets $Y_{i}$ of $X$, there is an integer $m$ such that $Y_{m}=Y_{{m+1}}=\cdots$.
As a first example, note that all finite topological spaces are Noetherian.
There is a lot of interplay between the Noetherian condition and compactness:

Every Noetherian topological space is quasicompact.

A Hausdorff topological space $X$ is Noetherian if and only if every subspace of $X$ is compact. (i.e. $X$ is hereditarily compact)
Note that if $R$ is a Noetherian ring, then $\text{Spec}(R)$, the prime spectrum of $R$, is a Noetherian topological space.
Example of a Noetherian topological space:
The space $\mathbb{A}^{n}_{k}$ (affine $n$space over a field $k$) under the Zariski topology is an example of a Noetherian topological space. By properties of the ideal of a subset of $\mathbb{A}^{n}_{k}$, we know that if
$Y_{1}\supseteq Y_{2}\supseteq\cdots$ is a descending chain of Zariskiclosed subsets, then $I(Y_{1})\subseteq I(Y_{2})\subseteq\cdots$ is an ascending chain of ideals of $k[x_{1},\ldots,x_{n}]$.
Since $k[x_{1},\ldots,x_{n}]$ is a Noetherian ring, there exists an integer $m$ such that $I(Y_{m})=I(Y_{{m+1}})=\cdots$. But because we have a onetoone correspondence between radical ideals of $k[x_{1},\ldots,x_{n}]$ and Zariskiclosed sets in $\mathbb{A}^{n}_{k}$, we have $V(I(Y_{i}))=Y_{i}$ for all $i$. Hence $Y_{m}=Y_{{m+1}}=\cdots$ as required.
Mathematics Subject Classification
14A10 no label found Forums
 Planetary Bugs
 HS/Secondary
 University/Tertiary
 Graduate/Advanced
 Industry/Practice
 Research Topics
 LaTeX help
 Math Comptetitions
 Math History
 Math Humor
 PlanetMath Comments
 PlanetMath System Updates and News
 PlanetMath help
 PlanetMath.ORG
 Strategic Communications Development
 The Math Pub
 Testing messages (ignore)
 Other useful stuff
Recent Activity
new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis
Apr 20
new image: informationtheoreticdistributedmeasurementdds.png by rspuzio
new image: informationtheoreticdistributedmeasurement4.2 by rspuzio
new image: informationtheoreticdistributedmeasurement4.1 by rspuzio
new image: informationtheoreticdistributedmeasurement3.2 by rspuzio
new image: informationtheoreticdistributedmeasurement3.1 by rspuzio
new image: informationtheoreticdistributedmeasurement2.1 by rspuzio
Apr 19
new collection: On the InformationTheoretic Structure of Distributed Measurements by rspuzio
Apr 15
new question: Prove a formula is part of the Gentzen System by LadyAnne
Mar 30
new question: A problem about Euler's totient function by mbhatia
Comments
Relationship to noetherian rings
Suppose $R$ is a commutative unital ring. Are the following two concepts equivalent?
* Spec R is a noetherian topological space
* R is noetherian
Re: Relationship to noetherian rings
[Sent this via PM mail as well; sorry about the duplication.]
Apparently not. According to Problem 2.13 (p. 80) from Hartshorne, the latter condition implies the former, but the implication is oneway: Spec(R) can be noetherian even when R is not. I can't supply proofs of these results offhand.