Noetherscher Raum

Der Noethersche topologischer Raum, benannt nach Emmy Noether, ist ein mathematischer Begriff aus dem Teilgebiet der Topologie. Er ist durch den algebraischen Begriff des noetherschen Rings motiviert und findet hauptsächlich in der algebraischen Geometrie Anwendung.

Definition

Betrachtet man offene Mengen eines topologischen Raums in Analogie zu den Idealen eines Ringes, so ist folgende Definition mit Blick auf den Begriff des noetherschen Ringes naheliegend:

• Ein topologischer Raum heißt noethersch, wenn jede aufsteigende Kette offener Mengen stationär wird, das heißt: Ist $U_{1}\subset U_{2}\subset \ldots$ eine Familie offener Mengen, so gibt es ein $n_{0}\in \mathbb {N}$ mit $U_{n}=U_{n_{0}}$ für alle $n\geq n_{0}$.

Wie in der Algebra zeigt ein einfaches Argument:

• Ein topologischer Raum ist genau dann noethersch, wenn eine Maximalbedingung für offene Mengen gilt, das heißt: Jede nicht-leere Familie offener Mengen enthält ein maximales Element.

Da die abgeschlossenen Mengen genau die Komplemente offener Mengen sind, hat man:

• Ein topologischer Raum ist genau dann noethersch, wenn jede absteigende Kette abgeschlossener Mengen stationär wird, das heißt: Ist $A_{1}\supset A_{2}\supset \ldots$ eine Familie abgeschlossener Mengen, so gibt es ein $n_{0}\in \mathbb {N}$ mit $A_{n}=A_{n_{0}}$ für alle $n\geq n_{0}$.

• Ein topologischer Raum ist genau dann noethersch, wenn eine Minimalbedingung für abgeschlossene Mengen gilt, das heißt: Jede nicht-leere Familie abgeschlossener Mengen enthält ein minimales Element.

Beispiele

• Räume mit endlichen Topologien, insbesondere also topologische Räume mit endlicher Grundmenge sind noethersch.
• Der affine Raum $k^{n}$ über einem Körper $k$ ist mit der Zariski-Topologie ein noetherscher Raum.
• $\mathbb {R}$ mit der euklidischen Topologie ist nicht noethersch, denn die offenen Intervalle $\textstyle (0,1-{\frac {1}{n}})$ bilden eine aufsteigende Folge offener Mengen, die nicht stationär wird.
• Es gibt auch nicht noethersche Ringe, deren Spektrum ein noetherscher Raum ist: Ist $k$ ein Körper, so ist der Ring $R=k[x_{i}\mid i\in \mathbb {N} ]/(x_{i}^{2}\mid i\in \mathbb {N} )$ nicht noethersch. Sein Nilradikal wird von den Unbestimmten erzeugt, also ist die Reduktion von $R$ gleich $k$ und folglich $\mathrm {Spec} (R)$ ein Raum mit einem Punkt, insbesondere noethersch.

Bedeutung

Auf dem Spektrum eines Ringes betrachtet man üblicherweise die Zariski-Topologie. Leicht zeigt man, dass das Spektrum eines noetherschen kommutativen Ringes ein noetherscher topologischer Raum ist. Da affine Varietäten den Radikalidealen im Ring der Polynome in endlich vielen Variablen über dem Koordinatenkörper entsprechen (Hilbertscher Nullstellensatz), und dieser Ring noethersch ist (Hilbertscher Basissatz), erhält man, dass affine Varietäten mit der Zariski-Topologie noethersch sind. Daher spielt dieser Begriff eine Rolle in der algebraischen Geometrie, in der solche Varietäten untersucht werden.

Anwendung

• Ein noetherscher topologischer Raum besitzt nur endlich viele irreduzible Komponenten.

Insbesondere besteht eine affine Varietät aus endlich vielen irreduziblen Komponenten.

Da der einfache Beweis die typische noethersche Schlussweise verdeutlicht, soll er hier kurz wiedergegeben werden: Sei ${\mathcal {A}}$ die Menge aller abgeschlossenen Teilmengen, die nicht endliche Vereinigung irreduzibler Mengen sind. Wird angenommen, dass diese Menge nicht leer ist, so enthält sie wegen der Minimalbedingung für abgeschlossene Mengen ein minimales Element $A_{0}$. Dieses kann als Element aus ${\mathcal {A}}$ nicht irreduzibel sein, ist also Vereinigung zweier echter abgeschlossener Mengen $A_{1}$ und $A_{2}$. Da Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A_0} minimal ist, sind Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A_1} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A_2} nicht aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal A} und daher endliche Vereinigung irreduzibler Mengen. Dann ist aber auch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A_0 = A_1\cup A_2} endliche Vereinigung irreduzibler Mengen, was ein Widerspruch zu Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A_0\in {\mathcal A}} ist. Daher ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal A} leer, insbesondere ist der Raum selbst endliche Vereinigung irreduzibler Mengen, was zu zeigen war.

Kompaktheit

Definiert man Kompaktheit durch die Überdeckungseigenschaft und verzichtet auf die Hausdorffeigenschaft, manche Autoren sprechen dann auch von quasi-kompakten Räumen, so gilt:

• Jeder noethersche Raum ist quasi-kompakt.
• Ein topologischer Raum ist genau dann noethersch, wenn jede Teilmenge mit der Relativtopologie quasi-kompakt ist.

Weitere Eigenschaften

• Jeder Unterraum eines noetherschen Raums ist wieder noethersch.
• Ist der topologische Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} Vereinigung der Unterräume Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X_1,\ldots,X_n} und ist jedes Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X_i} noethersch, so ist auch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} noethersch.