Offene Abbildung

Offene Abbildung

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ärmengen offener Mengen nennt man abgeschlossen. Sie 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 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.

Beachte, dass es Mengen gibt, die weder abgeschlossen noch offen sind, etwa 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 Menge oder nach dem englischen Begriff als clopen Menge 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.

Inhaltsverzeichnis

Euklidischer Raum

Definition

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

Für jedes x aus U gibt es eine reelle Zahl \varepsilon &amp;amp;gt; 0, sodass jeder Punkt y des \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 \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 ε > 0, so dass für jeden Punkt y aus X gilt: Aus d(x,y) < ε folgt, dass y in U liegt.

Auch hier hängt die Wahl von ε von x ab. Die Aussage ist äquivalent zu folgender: Die oben beschriebene Teilmenge 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 y, deren Abstand d(x,y) zu x kleiner als ε ist, eine offene Kugel. Formal schreibt man

B_r(x) := \{ y \in X | d(x,y) &amp;amp;lt; r \}

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

Bei der offenen Kugel wird der Rand bzw. die Hülle der Kugel nicht mit einbezogen: Alle y der Grundmenge X die zum Mittelpunkt x einen kleineren Abstand als den Radius 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 (X,d) ein metrischer Raum. Dann heißt eine Teilmenge U von X offen, falls gilt:

 \forall\ {x \in U}: { \exist\ \varepsilon} &amp;amp;gt; {0} : B_\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 \R mit der üblichen euklidischen Metrik, so sind die folgenden Beispiele offene Mengen:

  • Das oben genannte offene Intervall (0,1), das sind alle Zahlen zwischen 0 und 1 ausschließlich. Dieses Intervall ist auch ein Beispiel für eine offene Kugel in \R.
  • \R selbst ist offen.
  • Die leere Menge ist offen.
  • Die Menge \mathbb{Q} der rationalen Zahlen ist offen in \mathbb{Q}, aber nicht offen in \R.
  • Das Intervall (0,π] ist nicht offen in \R, die Menge aller rationalen Zahlen x mit 0 &amp;amp;lt; x \leq \pi ist dagegen offen in \mathbb{Q}.

Im \R^2 kann man sich offene Mengen vorstellen als Mengen, bei denen man den Rand weggelassen hat.

Eigenschaften

Darstellung zum Satz: Offene Kugeln sind offene Mengen
Offene Kugeln sind offene Mengen

Jede offene Kugel ist eine offene Menge. Der Beweis dazu wird veranschaulicht von nachfolgender Abbildung: Zum Punkt y1 der offenen Kugel B(x,r) findet man ein \varepsilon_1, nämlich \varepsilon_1 = r - d(x, y_1), so dass B(y_1, \varepsilon_1) ganz in B(x,r) liegt. Analog sieht man an dieser Darstellung, dass jede abgeschlossene Kugel abgeschlossen ist.

Der Durchschnitt von zwei offenen 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 \R die Schnittmenge aller offenen Intervalle \left(-\frac{1}{a}, \frac{1}{a}\right), wobei a alle natürlichen Zahlen durchläuft, so ergibt sich die einelementige Menge {0}, die nicht offen ist.

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 offene Mengen in einem noch allgemeineren Kontext zu definieren, muss man das Konzept der Kugel fallen lassen.

Bei der Definition eines topologischen Raumes X ist „Offenheit“ ein grundlegender Begriff, der nur durch seine Eigenschaften erklärt wird.

Definition

Falls T eine Familie von Teilmengen von X mit den folgenden Eigenschaften ist:

\mathcal O_1: Die leere Menge und die Grundmenge X sind Elemente von T
\mathcal O_2: Jede Vereinigung von Elementen von T ist selbst Element von T
\mathcal O_3: Der Schnitt endlich vieler Elemente von T ist Element von T,

so nennt man T eine Topologie auf X, und die Elemente von T heißen offene Mengen des topologischen Raums (X, T).

Diese Definition ist eine Verallgemeinerung der Definition für metrische Räume: Die Familie T aller offener Mengen eines metrischen Raums (X, d) ist eine Topologie, so dass (X, T) ein topologischer Raum ist.

Verwendung des Begriffs „Offene Menge“: Inneres, Stetigkeit

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 z.B. als Vereinigung aller offener 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.)

Sind zwei topologische Räume X und Y gegeben, dann ist eine Funktion f von X nach Y genau dann stetig, falls jedes Urbild einer offenen Teilmenge von Y offen in X ist. Die Funktion f heißt offene Funktion, wenn das Bild jeder offenen Menge offen ist.


Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

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

  • Satz über die offene Abbildung — Der Satz von der offenen Abbildung, auch als Satz von Banach Schauder bekannt, ist ein grundlegender Satz aus der Funktionalanalysis, einem Teilgebiet der Mathematik. Der Satz ist eine Folgerung aus dem Satz von Baire und wurde 1929 von Stefan… …   Deutsch Wikipedia

  • 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… …   Deutsch Wikipedia

  • Abbildung (Mathematik) — In der Mathematik ist eine Funktion oder Abbildung eine Beziehung zwischen zwei Mengen, die jedem Element der einen Menge (Eingangsgröße, Funktionsargument, unabhängige Variable, x Wert) ein Element der anderen Menge (Ausgangsgröße, Funktionswert …   Deutsch Wikipedia

  • Offene Funktion — 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… …   Deutsch Wikipedia

  • Offene Kugel — 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… …   Deutsch Wikipedia

  • Offene Teilmenge — 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… …   Deutsch Wikipedia

  • Offene Magnetresonanztomografie — Offenes Hochfeld MRT System Offene Magnetresonanztomographie (offene MRT) bezeichnet die Magnetresonanztomographie (MRT) mit Geräten in einer speziellen Bauform, bei der der Hauptmagnet nicht in Form einer langen geschlossenen Röhre („Tunnel“),… …   Deutsch Wikipedia

  • Konforme Abbildung — Abb.1: Ein rechtwinkliges Netz (oben) und sein Bild (unten) nach einer konformen Abbildung f. Linienpaare, die sich unter 90° schneiden, werden abgebildet auf Linienpaare, die sich immer noch unter 90° schneiden. Eine konforme Abbildung… …   Deutsch Wikipedia

  • Stetige Abbildung — Die Stetigkeit ist ein Konzept der Mathematik, das vor allem in den Teilgebieten der Analysis und der Topologie von zentraler Bedeutung ist. Eine Funktion heißt stetig, wenn verschwindend kleine Änderungen des Argumentes (der Argumente) nur zu… …   Deutsch Wikipedia

  • Messbare Abbildung — Eine messbare Funktion ist in der Mathematik definiert als eine Funktion f aus einem Messraum in einen anderen Messraum , die der Bedingung genügt, dass , und somit das Urbild jeder messbaren Teilmenge aus X2 eine messbare Teilmenge von X1 ist.… …   Deutsch Wikipedia

Share the article and excerpts

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