nLab noetherian topological space

Redirected from "Brouwer-Heyting-Kolmogorov interpretation".
Note: BHK interpretation and BHK interpretation both redirect for "Brouwer-Heyting-Kolmogorov interpretation".

A topological space is noetherian if it satisfies the ascending chain condition for inclusions of open sets. Equivalently, it satisfies the descending chain condition for inclusions of closed sets.

Typical examples are the underlying topological spaces of (classical) quasiprojective varieties over a field kk in Zariski topology. The fact that the affine space 𝔸 k n\mathbb{A}^n_k is noetherian is a consequence of the Hilbert basis theorem.

Every noetherian topological space is a closed union of a finitely many irreducible topological spaces (its irreducible components).

Last revised on August 4, 2009 at 20:15:28. See the history of this page for a list of all contributions to it.