Irreduzibler topologischer Raum

Der Begriff des irreduziblen topologischen Raumes gehört zum mathematischen Teilgebiet der mengentheoretischen Topologie, findet jedoch hauptsächlich in der algebraischen Geometrie Anwendung.

Definition

Ein nichtleerer topologischer Raum $X$ heißt irreduzibel, wenn eine und damit alle der folgenden äquivalenten Bedingungen erfüllt 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 X} ist nicht die Vereinigung zweier abgeschlossener echter Teilmengen.
• Je zwei nichtleere offene Teilmengen von $X$ schneiden sich.
• Jede nichtleere offene Teilmenge von 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} ist dicht in 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} .
• Jede offene Teilmenge von $X$ ist zusammenhängend.

Eine Teilmenge eines topologischen Raumes heißt irreduzibel, wenn sie mit der induzierten Topologie ein irreduzibler Raum ist.

Eigenschaften

• Irreduzible Räume sind zusammenhängend.
• Offene Teilmengen irreduzibler Räume sind irreduzibel.
• Eine Teilmenge 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 Y} eines topologischen Raumes 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} ist genau dann irreduzibel, wenn ihr Abschluss 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 \bar Y} in 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} irreduzibel ist.
• 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 X} ein irreduzibler Raum 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 f\colon X\to Y} eine stetige Abbildung, so 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 f(X)} und somit auch ${\overline {f(X)}}$ irreduzibel.
• Ist $x$ ein Punkt eines beliebigen topologischen Raumes $X$, so ist der Abschluss $Y$ der Teilmenge $\{x\}$ in $X$ irreduzibel, und $x$ ist ein generischer Punkt von $Y$.
• In einem Hausdorffraum besteht jede irreduzible Teilmenge aus einem einzelnen Punkt.

Irreduzible Komponenten

Die Menge der irreduziblen Teilmengen eines topologischen Raums ist induktiv geordnet, das heißt die Vereinigung einer aufsteigenden Kette irreduzibler Teilmengen ist wieder irreduzibel. Mit Hilfe des Zornschen Lemmas folgt dann, dass jede irreduzible Menge in einer maximalen irreduziblen Menge enthalten ist; solche maximalen irreduziblen Mengen nennt man auch irreduzible Komponenten. Da Abschlüsse irreduzibler Mengen wieder irreduzibel sind, müssen irreduzible Komponenten wegen ihrer Maximalität abgeschlossen sein.

Jeder topologische Raum ist die Vereinigung seiner irreduziblen Komponenten, denn jeder Punkt $x$ liegt in der irreduziblen Menge $\{x\}$, und diese nach obigem in einer irreduziblen Komponente.

In einem noetherschen Raum ist die Anzahl der irreduziblen Komponenten endlich. Dies ist von Bedeutung für die Algebraische Geometrie, da affine Varietäten noethersche Räume sind.

Verwandte Begriffe

Ein topologischer Raum heißt nüchtern, wenn jede irreduzible Teilmenge einen generischen Punkt besitzt. Erfüllt der Raum $X$ zusätzlich das Trennungsaxiom T₀, so definiert

$x\mapsto {\overline {\{x\}}}$

eine Bijektion zwischen Punkten von 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} und abgeschlossenen irreduziblen Teilmengen von 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} .

Literatur

• Alexander Grothendieck: Éléments de géométrie algébrique. Band 1: Le langage des schémas (= Publications mathématiques de l'IHÉS. 4). Institut des Hautes Études Scientifiques, Paris 1960, S. 5–228, (online (PDF; 27 MB)).
• Ian G. MacDonald: Algebraic Geometry. Introduction to Schemes (= Mathematics Lecture Note Series. 14, ZDB-ID 790026-0). W. A. Benjamin Inc., New York NY u. a. 1968.