Noetherscher Raum

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.

Inhaltsverzeichnis

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\N mit U_n = U_{n_0} für alle n\ge 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[1]:

  • 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\N mit A_n = A_{n_0} für alle n\ge 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.

Bedeutung

Auf dem Spektrum eines Ringes betrachtet man üblicher Weise 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.[2]

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 A0. Dieses kann als Element aus \mathcal A nicht irreduzibel sein, ist also Vereinigung zweier echter abgeschlossener Mengen A1 und A2. Da A0 minimal ist, sind A1 und A2 nicht aus \mathcal A und daher endliche Vereinigung irreduzibler Mengen. Dann ist aber auch A_0 = A_1\cup A_2 endliche Vereinigung irreduzibler Mengen, was ein Widerspruch zu A_0\in {\mathcal A} ist. Daher ist \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[3]:

  • 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.[4]
  • Ist der topologische Raum X Vereinigung der Unterräume X_1,\ldots,X_n und ist jedes Xi noethersch, so ist auch X noethersch.[5]

Einzelnachweise

  1. Ernst Kunz: Einführung in die kommutative Algebra und algebraische Geometrie, Vieweg (1980), ISBN 3-528-07246-6, Definition I.2.13
  2. Ernst Kunz: Einführung in die kommutative Algebra und algebraische Geometrie, Vieweg (1980), ISBN 3-528-07246-6, Satz I.2.14
  3. I. G. MacDonald: Algebraic Geometry, Introduction to Schemes, W. A. Benjamin Inc. (1968), Kapitel 2: Noetherian Spaces
  4. I. G. MacDonald: Algebraic Geometry, Introduction to Schemes, W. A. Benjamin Inc. (1968), Satz (2.2) (ii)
  5. I. G. MacDonald: Algebraic Geometry, Introduction to Schemes, W. A. Benjamin Inc. (1968), Satz (2.2) (iii)

Wikimedia Foundation.

Игры ⚽ Нужно решить контрольную?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Noetherscher Ring — In der Algebra werden bestimmte Strukturen (Ringe und Moduln) noethersch genannt, wenn sie keine unendliche Schachtelung von immer größeren Unterstrukturen enthalten können. Der Begriff ist nach der Mathematikerin Emmy Noether benannt.… …   Deutsch Wikipedia

  • Noetherscher Normalisierungssatz — Der noethersche Normalisierungssatz (nach Emmy Noether) ist eine Strukturaussage aus dem mathematischen Teilgebiet der kommutativen Algebra. In geometrischer Sprache besagt er, dass es von einem geometrischen Objekt stets eine Abbildung in einen… …   Deutsch Wikipedia

  • Noether — ist der Name folgender Personen: Max Noether (1844–1921), Mathematiker, Vater von Emmy Noether und Fritz Noether Emmy Noether (1882–1935), Mathematikerin und Physikerin Fritz Noether (1884–1941), Mathematiker Adolf Noether (1855–1943),… …   Deutsch Wikipedia

  • Krulldimension — Die Krulldimension eines topologischen Raums ist ein nach Wolfgang Krull benannter topologischer Dimensionsbegriff. Dieser wird durch algebraische Untersuchungen von Ringen in der algebraischen Geometrie motiviert und steht in enger Beziehung zur …   Deutsch Wikipedia

  • Einsetzungshomomorphismus — Unter dem Polynomring R[X] versteht man anschaulich die Menge aller Polynome mit Koeffizienten aus einem Ring R und der Variablen X. Da man, wie in den Beispielen erläutert, nicht immer alle Polynome mit Polynomfunktionen identifizieren kann,… …   Deutsch Wikipedia

  • Polynomalgebra — Unter dem Polynomring R[X] versteht man anschaulich die Menge aller Polynome mit Koeffizienten aus einem Ring R und der Variablen X. Da man, wie in den Beispielen erläutert, nicht immer alle Polynome mit Polynomfunktionen identifizieren kann,… …   Deutsch Wikipedia

  • Liste mathematischer Sätze — Inhaltsverzeichnis A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A Satz von Abel Ruffini: eine allgemeine Polynomgleichung vom …   Deutsch Wikipedia

  • Liste von Mathematikern — Diese Liste bedeutender Mathematiker stellt eine Auswahl von Mathematikern von der Antike bis zu Gegenwart dar. Die Auswahl der Mathematiker richtet sich dabei nach ihren wissenschaftlichen Leistungen oder ihrem Bekanntheitsgrad, aufgrund deren… …   Deutsch Wikipedia

  • Kohärente Modulgarbe — In den mathematischen Teilgebieten der algebraischen Geometrie und komplexen Analysis sind kohärente Garben das Analogon endlich erzeugter Moduln über noetherschen Ringen. Inhaltsverzeichnis 1 Definition 2 Eigenschaften …   Deutsch Wikipedia

  • Kohärente Garbe — In den mathematischen Teilgebieten der algebraischen Geometrie und komplexen Analysis sind kohärente Garben das Analogon endlich erzeugter Moduln über noetherschen Ringen. Inhaltsverzeichnis 1 Definition 2 Eigenschaften …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”