Noetherian space

E29919

A Noetherian space is a topological space in which every descending chain of closed subsets stabilizes, mirroring the finiteness conditions of Noetherian rings in algebra.

AI illustration

How this image was made

AI-generated illustration of Noetherian space

This AI-generated illustration was produced by black-forest-labs/FLUX.2-dev (1024x1024) from a prompt written by openai/gpt-oss-120b from the entity's label + description.

Prompt

Generate an image of a noetherian space (A Noetherian space is a topological space in which every descending chain of closed subsets stabilizes, mirroring the finiteness conditions of Noetherian rings in algebra.)

All labels observed (5)

Label Occurrences
Noetherian scheme 2
Noetherian space canonical 2
Alexandrov topology 1

How this entity was disambiguated

Statements (41)

Predicate Object
instanceOf mathematical concept ⓘ
topological notion ⓘ
analogy Noetherian modules with descending chain condition on submodules ⓘ
Noetherian posets with descending chain condition on subsets ⓘ
arisesFrom spectrum of a Noetherian ring with the Zariski topology ⓘ
characterizedBy every open cover of any open subset has a finite subcover ⓘ
every subset is compact if and only if it is closed ⓘ
context Zariski topology ⓘ
general topology ⓘ
definition a topological space in which every descending chain of closed subsets stabilizes ⓘ
equivalentDefinition a topological space in which every ascending chain of open subsets stabilizes ⓘ
a topological space in which every nonempty collection of closed subsets has a minimal element under inclusion ⓘ
a topological space in which every open subset is quasi-compact ⓘ
a topological space in which every subset is compact if and only if it is closed ⓘ
example Spec(R) with the Zariski topology for a Noetherian ring R ⓘ
a finite T0 space ⓘ
a finite discrete space ⓘ
field topology ⓘ
generalizationOf finite topological space ⓘ
hasFinitenessCondition ascending chain condition on open sets ⓘ
descending chain condition on closed sets ⓘ
implies every closed subset is quasi-compact ⓘ
every open subset is quasi-compact ⓘ
every subset is a finite union of locally closed subsets ⓘ
namedAfter Emmy Noether ⓘ
nonExample any infinite discrete space ⓘ
the real line with the usual topology ⓘ
property Noetherian spaces satisfy the ascending chain condition on open sets ⓘ
Noetherian spaces satisfy the descending chain condition on closed sets ⓘ
a Noetherian space is quasi-compact ⓘ
a Noetherian space need not be Hausdorff ⓘ
every closed subset is a Noetherian space with the subspace topology ⓘ
every continuous image of a Noetherian space is Noetherian ⓘ
finite topological spaces are Noetherian ⓘ
in a Noetherian space every nonempty closed subset has an irreducible component ⓘ
in a Noetherian space every open subset is a finite union of irreducible open subsets ⓘ
in a Noetherian space every subset is a finite union of irreducible closed subsets ⓘ
relatedTo Noetherian ring ⓘ
linked to: Noetherian rings
usedIn algebraic geometry ⓘ
commutative algebra ⓘ
scheme theory ⓘ

How these facts were elicited

Referenced by (7)

Full triples — surface form annotated when it differs from this entity's canonical label.

Emmy Noether → hasHonorificName → Noetherian space ⓘ
Noetherian induction → appliesTo → Noetherian space ⓘ
Pavel Alexandrov → notableFor → Alexandrov topology ⓘ
linked to: Noetherian space
Éléments de Géométrie Algébrique → defines → Noetherian scheme ⓘ
subject linked to: EGA
linked to: Noetherian space
Chevalley’s theorem in algebraic geometry → relatedTo → Noetherian topological spaces ⓘ
linked to: Noetherian space
EGA III → usesConcept → Noetherian schemes ⓘ
linked to: Noetherian space
Serre’s theorem on projective embeddings via ample line bundles → involvesConcept → Noetherian scheme ⓘ
linked to: Noetherian space