Offene Menge

In dem Teilgebiet Topologie der Mathematik ist eine offene Menge eine Menge mit einer genau definierten Eigenschaft (siehe unten). Anschaulich ist eine Menge offen, wenn ihre Elemente nur von Elementen dieser Menge umgeben sind, mit anderen Worten, wenn kein Element der Menge auf ihrem Rand liegt. Die Komplementärmenge einer offenen Menge nennt man abgeschlossene Menge. Diese Mengen sind dadurch charakterisiert, dass sie alle ihre Häufungspunkte enthalten.

Ein einfaches Beispiel einer offenen Menge ist das Intervall $(0,1)$ in den reellen Zahlen. Jede reelle Zahl $x$ mit der Eigenschaft $0<x<1$ ist nur von Zahlen mit derselben Eigenschaft umgeben: Wähle als Umgebung die Menge $(x/2,1/2+x/2)$, dann sind das die Zahlen zwischen 0 und 1. Deshalb nennt man das Intervall $(0,1)$ ein offenes Intervall. Dagegen ist das Intervall $(0,1]$ nicht offen, denn „rechts“ vom Element 1 (größer als 1) ist kein Element des Intervalls $(0,1]$ mehr.

Ob eine Menge offen ist oder nicht, hängt von dem Raum ab, in dem sie liegt. Die rationalen Zahlen $x$ mit $0<x<1$ bilden eine offene Menge in den rationalen Zahlen, aber nicht in den reellen Zahlen, da jedes Intervall reeller Zahlen mit mehr als einem Element auch irrationale Zahlen enthält.

Zu beachten ist, dass es sowohl Mengen gibt, die weder abgeschlossen noch offen sind, wie etwa das Intervall $(0,1]$, als auch Mengen, die beides sind, wie die leere Menge. Solche Mengen, die gleichzeitig offen und abgeschlossen sind, werden als abgeschlossene offene Menge oder nach dem englischen Begriff als clopen set bezeichnet.

Die Unterscheidung offener und abgeschlossener Mengen lässt sich auch mit Hilfe des Randes einer Menge treffen. Gehört dieser vollständig zur Menge dazu, so ist sie abgeschlossen. Gehört der Rand vollständig zum Komplement der Menge, so ist die Menge offen.

Der Begriff der offenen Menge lässt sich auf verschiedenen Abstraktionsstufen definieren. Wir gehen hier vom anschaulichen euklidischen Raum über den metrischen Raum zum allgemeinsten Kontext, dem topologischen Raum.

Euklidischer Raum

Definition

Ist $U$ eine Teilmenge des $n$-dimensionalen euklidischen Raums $\mathbb {R} ^{n}$, dann nennt man $U$ offen, falls gilt:

Für jedes $x$ aus $U$ gibt es eine reelle Zahl $\varepsilon >0$, sodass jeder Punkt $y$ des $\mathbb {R} ^{n}$, dessen Abstand zu $x$ kleiner ist als $\varepsilon$, in $U$ liegt.

Erläuterung

Man beachte, dass $\varepsilon$ vom Punkt $x$ abhängt, d. h., für verschiedene Punkte gibt es verschiedene $\varepsilon$. Anschaulich ist die Menge der Punkte, deren Abstand von $x$ kleiner ist als $\varepsilon$, eine Kugel, und zwar nur das Innere ohne die Oberfläche. Man nennt sie deshalb auch eine offene Kugel. (Im $\mathbb {R} ^{2}$ ist diese Kugel das Innere eines Kreises.) Diese Kugel ist die in der Einleitung angesprochene Umgebung von Punkten aus $U$.

Metrischer Raum

Definition

Sei $(X,d)$ ein metrischer Raum und $U$ eine Teilmenge von $X$. Man nennt $U$ dann offen (bzgl. der von $d$ induzierten Topologie), wenn gilt:

Für jedes $x$ aus $U$ gibt es eine reelle Zahl $\varepsilon >0$, so dass für jeden Punkt $y$ aus $X$ gilt: Aus $d(x,y)<\varepsilon$ folgt, dass $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 U} liegt.

Auch hier hängt die Wahl 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 \varepsilon} 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} ab. Die Aussage ist äquivalent zu folgender: Die oben beschriebene 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 U} heißt offen, wenn jeder ihrer Punkte ein innerer Punkt ist.

Offene Kugel

In Analogie zum euklidischen Raum nennt man die Menge der Punkte 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} , deren Abstand 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 d(x,y)} 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 x} kleiner als 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 \varepsilon} ist, eine offene Kugel. Formal schreibt man

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 U_r(x) := \{ y \in X \mid d(x,y) < r \}}

und nennt diese Menge die offene Kugel 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} mit Mittelpunkt 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 reellem Radius 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 r>0} .

Bei der offenen Kugel wird der Rand bzw. die Hülle der Kugel nicht mit einbezogen: Alle 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} der Grundmenge 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} , die zum Mittelpunkt 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} einen kleineren Abstand als den Radius 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 r} haben, gehören zur Kugel. (Beachte die im Artikel Normierter Raum gegebenen Beispiele, dass eine Kugel bezüglich einer Metrik nicht immer „kugelförmig“ bzw. „kreisförmig“ ist.)

Die Definition einer offenen Menge lässt sich nun so schreiben:

Sei 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,d)} ein metrischer Raum. Dann heißt 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 U} 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} offen, falls gilt:

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 \forall\,x \in U\; \exist\,\varepsilon > 0\colon\; U_\varepsilon(x) \subseteq U} .

Diese Definition ist eine Verallgemeinerung der Definition für euklidische Räume, denn jeder euklidische Raum ist ein metrischer Raum, und für euklidische Räume stimmen die Definitionen überein.

Beispiele

Betrachtet man die reellen Zahlen 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 \R} mit der üblichen euklidischen Metrik, so sind die folgenden Beispiele offene Mengen:

• Das oben genannte offene Intervall 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 (0,1)} , das sind alle Zahlen zwischen 0 und 1 ausschließlich. Dieses Intervall ist auch ein Beispiel für eine offene Kugel 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 \R} .
• 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 \R} selbst ist offen.
• Die leere Menge ist offen.
• Die Menge 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 \mathbb{Q}} der rationalen Zahlen ist offen 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 \mathbb{Q}} , aber nicht offen 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 \R} .
• Das Intervall 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 (0,\pi]} ist nicht offen 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 \R} , die Menge aller rationalen Zahlen 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} mit 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 0 < x \leq \pi} ist dagegen offen 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 \mathbb{Q}} .

Im 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 \R^2} kann man sich offene Mengen vorstellen als Mengen, bei denen man den Rand weggelassen hat.

Betrachtet man eine beliebige Menge 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 M } mit der diskreten Metrik

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 d(x,y) := \begin{cases}0 & \mathrm{f\ddot ur}\ x=y\\1 & \mathrm{f\ddot ur}\ x\ne y , \end{cases}}

dann ist jede 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 U \subset M } offen. Insbesondere sind Mengen, die nur einen einzelnen Punkt enthalten, offen. Dies wird leicht ersichtlich, wenn man eine offene Kugel 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 U_r(x) } um ein 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 \in U } betrachtet. Wählt man 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 r < 1 } , so liegt lediglich 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 } selbst in der Umgebung 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 U_r(x) } .

Eigenschaften

Offene Kugeln sind offene Mengen

Jede offene Kugel ist eine offene Menge. Der Beweis dazu wird veranschaulicht von nachfolgender Abbildung: Zum Punkt 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_1} der offenen Kugel 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 U(x, r)} findet man ein 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 \varepsilon_1} , nämlich 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 \varepsilon_1 = r - d(x, y_1)} , so dass 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 U(y_1, \varepsilon_1)} ganz 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 U(x, r)} liegt. Analog sieht man an dieser Darstellung, dass jede abgeschlossene Kugel abgeschlossen ist.

Der Durchschnitt zweier offener Mengen ist wieder eine offene Menge. (Zum Beweis wählt man einen Punkt aus dem Durchschnitt; es gibt dann zwei Kugeln um den Punkt, von denen die kleinere in beiden Mengen, also im Durchschnitt, liegt.) Daraus kann man folgern, dass der Schnitt endlich vieler offener Mengen offen ist. Hingegen muss der Durchschnitt unendlich vieler offener Mengen nicht offen sein. Betrachtet man beispielsweise im 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 \R} die Schnittmenge aller offenen Intervalle 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 (-\tfrac{1}{a}, \tfrac{1}{a})} , wobei 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} alle natürlichen Zahlen durchläuft, so ergibt sich die einelementige Menge 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 \{0\}} , die nicht offen 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 \bigcap_{a\in\N} \left(-\frac{1}{a}, \frac{1}{a}\right) = \left[\lim_{a\to\infty} -\frac{1}{a}, \lim_{a\to\infty} \frac{1}{a}\right] = [0,0] = \{0\} }

Die Vereinigung beliebig vieler (also auch unendlich vieler) offener Mengen ist offen. (Zum Beweis wählt man wieder einen Punkt aus der Vereinigung; es gibt dann eine Kugel um diesen Punkt, der in einer der vereinigten offenen Mengen, also auch in der Vereinigung, liegt.)

Topologischer Raum

Die offenen Kugeln in metrischen Räumen sind die einfachsten Beispiele von Umgebungen in der Topologie. Um „Offenheit“ in einem noch allgemeineren Kontext zu definieren, muss man das Konzept der Kugel fallen lassen. Grundlegend für die Definition eines topologischen Raumes sind offene Mengen, die nur durch ihre Eigenschaften erklärt werden.

Es sei 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{T}} eine Menge von Teilmengen der gegebenen Grundmenge 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} mit den folgenden Eigenschaften:

1. Die leere Menge 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 \emptyset} und die Grundmenge 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} sind Elemente 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 \mathcal{T}} .
2. Jede Vereinigung von Elementen 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 \mathcal{T}} ist selbst Element 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 \mathcal{T}} .
3. Der Schnitt endlich vieler Elemente 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 \mathcal{T}} ist Element 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 \mathcal{T}} .

Man nennt dann 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{T}} eine Topologie auf 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 die Elemente 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 \mathcal{T}} heißen offene Mengen des topologischen Raums 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,\mathcal{T})} .

Diese Definition ist eine Verallgemeinerung der Definition für metrische Räume: Die Menge 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{T}} aller offener Mengen eines metrischen Raums 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,d)} ist eine Topologie, so dass 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,\mathcal{T})} ein topologischer Raum ist.

Verwendung des Begriffs der offenen Menge

Diskrete Topologie

Die diskrete Topologie lässt sich auf jeder Menge X definieren. Sie ist diejenige Topologie, unter der alle Teilmengen von X offen sind. Sie stimmt mit der Topologie überein, die von der oben genannten diskreten Metrik induziert wird.

Inneres

→ Hauptartikel: Innerer Punkt

Jede Teilmenge A eines topologischen (oder metrischen) Raumes X enthält eine (möglicherweise leere) offene Menge. Die größte offene Teilmenge von A nennt man das Innere von A; man erhält es zum Beispiel als Vereinigung aller offenen Teilmengen von A. Beachte, dass die Teilmengen offen in X sein müssen, nicht nur offen in A. (A selbst ist stets offen in A.)

Stetigkeit

→ Hauptartikel: Stetige Funktion

Sind zwei topologische Räume X und Y gegeben, dann ist eine Abbildung 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} genau dann stetig, falls jedes Urbild einer offenen Teilmenge von Y offen in X ist. Anstatt zu fordern, dass das Urbild einer offenen Teilmenge offen ist, kann man fordern, dass das Urbild einer abgeschlossenen Teilmenge abgeschlossen ist. Das ist eine äquivalente Definition für die Stetigkeit.

Offene Abbildung

→ Hauptartikel: Offene Abbildung

Die Abbildung 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} heißt hingegen offene Abbildung, wenn das Bild jeder offenen Menge offen ist. Jedoch kann man hier im Gegensatz zur Stetigkeit das Wort offen nicht durch abgeschlossen ersetzen. Die Abbildung 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 p \colon \R^2 \to \R} mit 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 (s,t) \mapsto s} ist offen, bildet jedoch die abgeschlossene Menge 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 \{(s,t) \colon s \geq 0, st \geq 1\}} auf 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 ]0,\infty[} ab. Mit Hilfe der offenen Abbildung kann man nun die Inversen einer bijektiven Abbildung auf Stetigkeit untersuchen. Denn eine bijektive Abbildung ist genau dann offen, wenn ihre inverse Abbildung stetig ist. Ein zentraler Satz aus der Funktionalanalysis über offene lineare Abbildungen ist der Satz von der offenen Abbildung.

Eine Abbildung heißt relativ offen, wenn sie eine offene Abbildung auf die Teilraumtopologie ihres Bildes ist. Das komplementäre Konzept zur offenen Abbildung ist die abgeschlossene Abbildung.

Literatur

• Boto von Querenburg: Mengentheoretische Topologie (= Springer-Lehrbuch). 3., neu bearbeitete und erweiterte Auflage. Springer, Berlin u. a. 2001, ISBN 3-540-67790-9.