Abgeschlossene Menge

In dem Teilgebiet Topologie der Mathematik ist eine abgeschlossene Menge eine Teilmenge eines topologischen Raums, deren Komplement eine offene Menge ist.

Ein einfaches Beispiel ist das Intervall $[0,1]$ in den reellen Zahlen (mit der Standardtopologie, erzeugt durch die Metrik $d_{xy}=\left|x-y\right|$). Das Komplement von $[0,1]$ ist die Vereinigung $\textstyle (-\infty ,0)\cup (1,\infty )$ zweier offener Intervalle, also eine offene Menge, also ist $[0,1]$ eine abgeschlossene Menge. Deshalb nennt man das Intervall $[0,1]$ ein abgeschlossenes Intervall. Dagegen ist das Intervall $(0,1]$ nicht abgeschlossen, denn das Komplement $(-\infty ,0]\cup (1,\infty )$ ist nicht offen.

Ob eine Menge abgeschlossen ist oder nicht, hängt von dem Raum ab, in dem sie liegt. Die Menge der rationalen Zahlen $x$ mit $0\leq x\leq 1$ bildet eine abgeschlossene Menge in den rationalen Zahlen, aber nicht in den reellen Zahlen mit der Standardtopologie. Dies folgt daraus, dass es Folgen mit rationalen Folgengliedern gibt, die zu einer Zahl außerhalb der rationalen Zahlen konvergieren.

Es ist zu beachten, dass der Begriff „offene Menge“ nicht das Gegenteil von „abgeschlossene Menge“ ist: Es gibt Mengen, die weder abgeschlossen noch offen sind, wie das Intervall $(0,1]$, und Mengen, die beides sind, wie die leere Menge. Solche Mengen, die gleichzeitig offen und abgeschlossen sind, werden als abgeschlossene offene Mengen bezeichnet.

Der Begriff der abgeschlossenen Menge lässt sich auf verschiedenen Abstraktionsstufen definieren. Im Folgenden werden hier der anschauliche euklidische Raum, dann metrische Räume und schließlich topologische Räume betrachtet.

Euklidischer Raum

Definition

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

Für jedes $x\in \mathbb {R} ^{n}$ außerhalb von U gibt es ein $\varepsilon >0$, so dass jeder Punkt $y\in \mathbb {R} ^{n}$ mit $\|x-y\|<\varepsilon$, ebenfalls außerhalb U liegt.

Erläuterung

Beachte, dass das ε vom Punkt x abhängt, d. h. für verschiedene Punkte gibt es verschiedene ε. Anschaulich ist die Menge der Punkte, deren Abstand von x kleiner ist als ε, 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.)

Die Menge aller Punkte, deren Abstand von einem Punkt x kleiner oder gleich einer positiven Zahl r ist, ist auch eine Kugel, man nennt sie abgeschlossene Kugel, da sie die Definition einer abgeschlossenen Menge erfüllt.

Eigenschaften

Ist M eine abgeschlossene Teilmenge des $\mathbb {R} ^{n}$ und $(x_{n})$ eine Folge von Elementen von M, die im $\mathbb {R} ^{n}$ konvergiert, dann liegt der Grenzwert von $(x_{n})$ ebenfalls in M. Diese Eigenschaft kann alternativ benutzt werden, um abgeschlossene Teilmengen des $\mathbb {R} ^{n}$ zu definieren.

Jede abgeschlossene Menge U vom $\mathbb {R} ^{n}$ lässt sich als Durchschnitt von abzählbar vielen offenen Mengen darstellen. Zum Beispiel ist das abgeschlossene Intervall [0,1] der Durchschnitt der offenen Intervalle  $\textstyle \left(-{\frac {1}{n}},1+{\frac {1}{n}}\right)$   für alle natürlichen Zahlen n.

Metrischer Raum

Definition

Sei $(X,d)$ ein metrischer 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 U} eine 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} . Dann nennt 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} abgeschlossen, wenn gilt:

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

Das ist gleichbedeutend mit folgender Eigenschaft: 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 (a_n)} eine Folge von Elementen aus U, die in X konvergiert, dann liegt der Grenzwert in U.

Abgeschlossene Kugel

In Analogie zum euklidischen Raum nennt man die Menge der Punkte y, deren Abstand d(x,y) zu x kleiner oder gleich ε ist, eine abgeschlossene 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 \overline{B}_r(x) := \{\, y \in X \mid d(x,y) \leq r \,\}}

und nennt diese Menge die abgeschlossene Kugel in X mit Mittelpunkt x und reellem Radius r > 0.

Bei der abgeschlossenen Kugel wird der Rand bzw. die Hülle der Kugel mit einbezogen: Alle y der Grundmenge X die zum Mittelpunkt x einen Abstand haben, der kleiner oder gleich r ist, gehören zur Kugel. (Beachte die im Artikel Norm (Mathematik) gegebenen Beispiele, dass eine Kugel bezüglich einer Metrik nicht immer „kugelförmig“ bzw. „kreisförmig“ ist.)

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

Sei (X,d) ein metrischer Raum. Dann heißt eine Teilmenge U von X abgeschlossen, 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 X\setminus U}: { \exist \varepsilon} > {0} : B_\varepsilon(x) \cap U = \emptyset}

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 \mathbb{R}} mit der üblichen euklidischen Metrik, so sind die folgenden Beispiele abgeschlossene Mengen:

• Das oben genannte abgeschlossene 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 einschließlich. Dieses Intervall ist auch ein Beispiel für eine abgeschlossene 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 \mathbb{R}} : Der Mittelpunkt ist 1/2, der Radius ist 1/2.
• 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{R}} selbst ist abgeschlossen.
• Die leere Menge ist abgeschlossen.
• 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 abgeschlossen 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 abgeschlossen 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{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 abgeschlossen 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{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 \pi} ist die Kreiszahl Pi), 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 \leq x < \pi} ist dagegen abgeschlossen 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}} .
• Endliche Mengen sind stets abgeschlossen.
• Als nicht-triviales Beispiel kann man eine offene Grundmenge nehmen, z. B. 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, 3)} . Auf dieser Menge ist 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, 3)} selbst abgeschlossen, da jede Menge in sich abgeschlossen ist.

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 \mathbb{R}^2} kann man sich abgeschlossene Mengen vorstellen als Mengen, die ihren Rand enthalten.

Eigenschaften

Abgeschlossene Kugeln sind abgeschlossene Mengen

Jede abgeschlossene Kugel ist eine abgeschlossene Menge. Der Beweis dazu wird von nebenstehender Abbildung veranschaulicht: 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_2} außerhalb der abgeschlossenen 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 \overline{B}(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 \epsilon_2} , 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 \epsilon_2=d(x,y_2)-r} , 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 B(y_2,\epsilon_2)} ganz außerhalb 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 B(x,r)} liegt. Analog sieht man an dieser Darstellung, dass jede offene Kugel offen ist.

Die Vereinigung von zwei abgeschlossenen Mengen ist wieder eine abgeschlossene Menge. Daraus kann man folgern, dass die Vereinigung endlich vieler abgeschlossener Mengen abgeschlossen ist. Die Vereinigung unendlich vieler abgeschlossener Mengen muss jedoch nicht abgeschlossen sein. Vereinigt man alle einelementigen Mengen 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 \textstyle\left\{\tfrac{1}{a}\right\}} fü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 a \in \N} ist die resultierende Menge weder offen noch abgeschlossen.

Der Durchschnitt beliebig vieler (also auch unendlich vieler) abgeschlossener Mengen ist abgeschlossen.

Topologischer Raum

Um abgeschlossene Mengen in einem noch allgemeineren Kontext zu definieren, muss man das Konzept der Kugel fallen lassen. Man bezieht sich stattdessen nur auf die Offenheit des Komplements.

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 topologischer 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 U} eine 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} , dann heißt 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} abgeschlossen, wenn das Komplement 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\setminus U} eine offene Menge ist.

Diese Definition ist eine Verallgemeinerung der Definition für metrische Räume.

Abgeschlossene Hülle

Für 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} eines euklidischen, metrischen oder topologischen Raumes gibt es stets eine kleinste abgeschlossene Obermenge 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 U} , diese heißt abgeschlossene Hülle, auch Abschließung oder Abschluss 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 U} . Man kann die abgeschlossene Hülle entweder als Durchschnitt aller abgeschlossenen Obermengen 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 U} konstruieren oder als Menge aller Grenzwerte aller konvergenten Netze, die 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} liegen. Auch eine analoge Charakterisierung mit Hilfe der Filterkonvergenz ist möglich. Man beachte allerdings, dass es in allgemeinen topologischen Räumen nicht mehr reicht, nur Grenzwerte von Folgen zu betrachten.

Der Rand einer Teilmenge

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 U} eine Teilmenge eines topologischen Raumes. Dann ist es möglich, den Rand 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 U} zu definieren als den Durchschnitt der abgeschlossenen Hülle 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 U} mit der abgeschlossenen Hülle des Komplements 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 U} (oder alternativ als die abgeschlossene Hülle 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 U} ohne das Innere 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 U} ). Ein Punkt liegt also auf dem Rand 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 U} , wenn in jeder Umgebung sowohl Punkte 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 U} als auch Punkte aus dem Komplement 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 U} liegen. Dieser Rand-Begriff stimmt in metrischen und euklidischen Räumen mit dem intuitiven Begriff eines Randes überein. In einem topologischen Raum gilt dann allgemein:

Eine 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 U} ist genau dann abgeschlossen, wenn sie ihren Rand enthält.

Literatur

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