Offene Menge
Der Begriff der offenen Menge (bzw. der offenen Teilmenge) ist einer der grundlegenden Begriffe des mathematischen Gebiets der Mengentheoretischen Topologie und als solcher eine Verallgemeinerung des Begriffs des offenen Intervalls der reellen Zahlengeraden. Dabei versteht man – anschaulich – eine Menge in einem topologischen Raum als offen, wenn jedes ihrer Elemente nur von Elementen dieser Menge selbst umgeben ist, mit anderen Worten, wenn kein Element der Menge auf ihrem Rand liegt.
Ob eine Teilmenge offen ist oder nicht, hängt von der Struktur des topologischen Raumes ab, in dem sie liegt. So ist etwa die Menge der rationalen Zahlen <math>x</math> mit <math>0 < x < 1</math> eine offene Teilmenge der Menge aller rationalen Zahlen, jedoch keine solche der gesamten reellen Zahlengeraden, da jedes Intervall reeller Zahlen mit mehr als einem Element auch irrationale Zahlen enthält.
Die Komplementärmenge einer offenen Menge nennt man abgeschlossene Menge. Abgeschlossene Mengen sind dadurch charakterisiert, dass sie alle ihre Häufungspunkte enthalten. Zu beachten ist, dass es sowohl Mengen gibt, die weder abgeschlossen noch offen sind, wie etwa das Intervall <math>(0, 1]</math> auf den reellen Zahlen, als auch Mengen, die beides sind, wie die leere Menge. Solche Mengen, die gleichzeitig offen und abgeschlossen sind, werden als abgeschlossene offene Menge (auch abgeschloffene Mengen, nach dem englischen Begriff als clopen set bezeichnet).
Der Begriff der offenen Menge lässt sich auf verschiedenen Abstraktionsstufen definieren. Üblicherweise beginnt man mit der Topologie der reellen Zahlen und verallgemeinert dann über die Topologie des euklidischen Raums und die der metrischen Räume bis hin zur Struktur des allgemeinen topologischen Raums.
Offene Intervalle im Reellen
Ein einfaches Beispiel einer offenen Menge innerhalb des topologischen Raumes <math>\R</math> der reellen Zahlen ist das offene Einheitsintervall <math>(0, 1)</math>. Der Rand dieses Intervals besteht exakt aus den Zahlen 0 und 1, und da diese Zahlen keine Elemente dieses Intervalls sind, ist es offen.
Dagegen ist das Intervall <math>(0, 1]</math> nicht offen. Der Rand dieses Intervalls besteht ebenfalls aus den Zahlen 0 und 1, aber die da die 1 ein Element des Intervalls ist, ist das Intervall nicht offen. (Zudem ist es auch kein abgeschlossenes Intervall.)
Euklidischer Raum
{{#if: Euklidischer Raum|{{#ifexist:Euklidischer Raum|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
Definition
Ist <math>U</math> eine Teilmenge des <math>n</math>-dimensionalen euklidischen Raums <math>\R^n</math>, dann nennt man <math>U</math> offen, falls gilt:
- Für jedes <math>x</math> aus <math>U</math> gibt es eine reelle Zahl <math>\varepsilon > 0</math>, so dass jeder Punkt <math>y</math> des <math>\R^n</math>, dessen Abstand zu <math>x</math> kleiner ist als <math>\varepsilon</math>, in <math>U</math> liegt.
Mit Quantoren ausgedrückt bedeutet dies:
- <math>\forall x \in U \left ( \exists \varepsilon > 0 \left ( \forall y \in \mathbb{R}^n \left ( \left ( |x-y| < \varepsilon \right ) \Rightarrow y \in U \right )\right ) \right )</math>.
Erläuterung
Man beachte, dass <math>\varepsilon</math> vom Punkt <math>x</math> abhängt, d. h., für verschiedene Punkte gibt es verschiedene <math>\varepsilon</math>. Anschaulich ist die Menge der Punkte, deren Abstand von <math>x</math> kleiner ist als <math>\varepsilon</math>, eine Kugel, und zwar nur das Innere ohne die Oberfläche. Man nennt sie deshalb auch eine offene Kugel. (Im <math>\R^2</math> ist diese Kugel das Innere eines Kreises.) Diese Kugel ist die in der Einleitung angesprochene Umgebung von Punkten aus <math>U</math>. Die Bedingung für eine offene Menge ist also, dass es um jeden ihrer Punkte eine Kugel mit Radius <math>\varepsilon>0</math> gibt, in deren Innerem nur Punkte aus derselben Menge liegen.
Metrischer Raum
{{#if: Metrischer Raum|{{#ifexist:Metrischer Raum|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
Definition
Sei <math>(X,d)</math> ein metrischer Raum und <math>U</math> eine Teilmenge von <math>X</math>. Man nennt <math>U</math> dann offen (bzgl. der von <math>d</math> induzierten Topologie), wenn gilt:
- Für jedes <math>x</math> aus <math>U</math> gibt es eine reelle Zahl <math>\varepsilon > 0</math>, so dass für jeden Punkt <math>y</math> aus <math>X</math> gilt: Aus <math>d(x,y) < \varepsilon</math> folgt, dass <math>y</math> in <math>U</math> liegt.
Auch hier hängt die Wahl von <math>\varepsilon</math> von <math>x</math> ab. Die Aussage ist äquivalent zu folgender: Die oben beschriebene Teilmenge <math>U</math> heißt offen, wenn jeder ihrer Punkte ein innerer Punkt ist.
Offene Kugel
In Analogie zum euklidischen Raum nennt man die Menge der Punkte <math>y</math>, deren Abstand <math>d(x,y)</math> zu <math>x</math> kleiner als <math>\varepsilon</math> ist, eine offene Kugel. Formal schreibt man
- <math>U_r(x) := \{ y \in X \mid d(x,y) < r \}</math>
und nennt diese Menge die offene Kugel in <math>X</math> mit Mittelpunkt <math>x</math> und reellem Radius <math>r>0</math>.
Bei der offenen Kugel wird der Rand bzw. die Hülle der Kugel nicht mit einbezogen: Alle <math>y</math> der Grundmenge <math>X</math>, die zum Mittelpunkt <math>x</math> einen kleineren Abstand als den Radius <math>r</math> 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 <math>(X,d)</math> ein metrischer Raum. Dann heißt eine Teilmenge <math>U</math> von <math>X</math> offen, falls gilt:
- <math> \forall\,x \in U\; \exist\,\varepsilon > 0\colon\; U_\varepsilon(x) \subseteq U</math>.
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 <math>\R</math> mit der üblichen euklidischen Metrik, so sind die folgenden Beispiele offene Mengen:
- Das oben genannte offene Intervall <math>(0,1)</math>, das sind alle Zahlen zwischen 0 und 1 ausschließlich. Dieses Intervall ist auch ein Beispiel für eine offene Kugel in <math>\R</math>.
- <math>\R</math> selbst ist offen (und abgeschlossen).
- Die leere Menge ist offen (und abgeschlossen).
- Die Menge <math>\mathbb{Q}</math> der rationalen Zahlen ist offen in <math>\mathbb{Q}</math>, aber nicht offen in <math>\R</math>.
- Das Intervall <math>(0,\pi]</math> ist nicht offen in <math>\R</math>, die Menge aller rationalen Zahlen <math>x</math> mit <math>0 < x \leq \pi</math> ist dagegen offen in <math>\mathbb{Q}.</math>
Im <math>\R^2</math> kann man sich offene Mengen vorstellen als Mengen, bei denen man den Rand weggelassen hat.
Betrachtet man eine beliebige Menge <math> M </math> mit der diskreten Metrik
- <math>d(x,y) := \begin{cases}0 & \mathrm{f\ddot ur}\ x=y\\1 & \mathrm{f\ddot ur}\ x\ne y , \end{cases}</math>
dann ist jede Teilmenge <math> U \subset M </math> offen. Insbesondere sind Mengen, die nur einen einzelnen Punkt enthalten, offen. Dies wird leicht ersichtlich, wenn man eine offene Kugel <math> U_r(x) </math> um ein <math> x \in U </math> betrachtet. Wählt man <math> r < 1 </math>, so liegt lediglich <math> x </math> selbst in der Umgebung <math> U_r(x) </math>.
Eigenschaften
Offene Kugeln sind offene Mengen
Jede offene Kugel ist eine offene Menge. Der Beweis dazu wird veranschaulicht von nachfolgender Abbildung: Zum Punkt <math>y_1</math> der offenen Kugel <math>U(x, r)</math> findet man ein <math>\varepsilon_1</math>, nämlich <math>\varepsilon_1 = r - d(x, y_1)</math>, so dass <math>U(y_1, \varepsilon_1)</math> ganz in <math>U(x, r)</math> 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 <math>\R</math> die Schnittmenge aller offenen Intervalle <math>(-\tfrac{1}{a}, \tfrac{1}{a})</math>, wobei <math>a</math> alle natürlichen Zahlen durchläuft, so ergibt sich die einelementige Menge <math>\{0\}</math>, die nicht offen ist:
<math>\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\} </math>
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
{{#if: Topologischer Raum|{{#ifexist:Topologischer Raum|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
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 <math>\mathcal{T}</math> eine Menge von Teilmengen der gegebenen Grundmenge <math>X</math> mit den folgenden Eigenschaften:
- Die leere Menge <math>\emptyset</math> und die Grundmenge <math>X</math> sind Elemente von <math>\mathcal{T}</math>.
- Jede Vereinigung von Elementen von <math>\mathcal{T}</math> ist selbst Element von <math>\mathcal{T}</math>.
- Der Schnitt endlich vieler Elemente von <math>\mathcal{T}</math> ist Element von <math>\mathcal{T}</math>.
Man nennt dann <math>\mathcal{T}</math> eine Topologie auf <math>X</math>, und die Elemente von <math>\mathcal{T}</math> heißen offene Mengen des topologischen Raums <math>(X,\mathcal{T})</math>.
Diese Definition ist eine Verallgemeinerung der Definition für metrische Räume: Die Menge <math>\mathcal{T}</math> aller offener Mengen eines metrischen Raums <math>(X,d)</math> ist eine Topologie, so dass <math>(X,\mathcal{T})</math> ein topologischer Raum ist.
Verwendung des Begriffs der offenen Menge
Diskrete Topologie
Die diskrete Topologie lässt sich auf jeder Menge <math>X</math> definieren. Sie ist diejenige Topologie, unter der alle Teilmengen von <math>X</math> offen sind. Sie stimmt mit der Topologie überein, die von der oben genannten diskreten Metrik induziert wird.
Inneres
{{#if: Innerer Punkt|{{#ifexist:Innerer Punkt|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
Jede Teilmenge <math>A</math> eines topologischen (oder metrischen) Raumes <math>X</math> enthält eine (möglicherweise leere) offene Menge. Die größte offene Teilmenge von <math>A</math> nennt man das Innere von <math>A</math>; man erhält es zum Beispiel als Vereinigung aller offenen Teilmengen von <math>A</math>. Beachte, dass die Teilmengen offen in <math>X</math> sein müssen, nicht nur offen in <math>A</math>. (<math>A</math> selbst ist stets offen in <math>A</math>.)
Stetigkeit
{{#if: Stetige Funktion|{{#ifexist:Stetige Funktion|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
Sind zwei topologische Räume <math>X</math> und <math>Y</math> gegeben, dann ist eine Abbildung <math>f \colon X \to Y</math> genau dann stetig, falls jedes Urbild einer offenen Teilmenge von <math>Y</math> offen in <math>X</math> 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
{{#if: Offene Abbildung|{{#ifexist:Offene Abbildung|
|{{#if: |{{#ifexist:{{{2}}}|
|{{#if: |{{#ifexist:{{{3}}}|
|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}
Die Abbildung <math>f \colon X \to Y</math> 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 <math>p \colon \R^2 \to \R</math> mit <math>(s,t) \mapsto s</math> ist offen, bildet jedoch die abgeschlossene Menge <math>\{(s,t) \colon s \geq 0, st \geq 1\}</math> auf <math>]0,\infty[</math> 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
- {{#invoke:Vorlage:Literatur|f}}
- Boto von Querenburg: Mengentheoretische Topologie (= Springer-Lehrbuch). 3., neu bearbeitete und erweiterte Auflage. Springer, Berlin u. a. 2001, ISBN 3-540-67790-9.
- {{#invoke:Vorlage:Literatur|f}}
- {{#invoke:Vorlage:Literatur|f}}