Umgebung (Mathematik)

Eine Epsilon-Umgebung (<math>\varepsilon</math>) um die Zahl <math>a</math>, eingezeichnet auf der Zahlengeraden.

Umgebung ist ein Begriff der Mathematik aus der Topologie, der in vielen Teilgebieten gebraucht wird. Er ist eine Verallgemeinerung des Begriffs der {{#if:trim|<math>\varepsilon</math>-Umgebung}} aus der Analysis und präzisiert das alltagssprachliche Konzept der ‚Umgebung‘ für den mathematischen Gebrauch.

Mathematische Eigenschaften, die auf eine gewisse Umgebung bezogen sind, heißen lokal, im Unterschied zu global.

Umgebungen in metrischen Räumen

Datei:Neighborhood illust1.svg

Die Menge <math>V</math> ist eine Umgebung des Punkts <math>p</math>.

Datei:Neighborhood illust2.svg

Das Rechteck <math>V</math> ist keine Umgebung für den Eckpunkt <math>p</math>.

Definition

In einem metrischen Raum <math>(X,d)</math> ergibt sich der Umgebungsbegriff aus der Metrik <math>d</math>.

ε-Umgebung

Man definiert die sogenannten {{#if:trim|<math>\varepsilon</math>-Umgebungen}} wie folgt: Für jeden Punkt <math>x</math> des Raums <math>X</math> und jede positive reelle Zahl <math>\varepsilon</math> (Epsilon) wird definiert:

<math>K_\varepsilon(x) := \{\, y \in X \mid d\,(x,y) < \varepsilon \,\}</math>

Die so definierte {{#if:trim|<math>\varepsilon</math>-Umgebung}} von <math>x</math> wird auch offene {{#if:trim|<math>\varepsilon</math>-Kugel}} um <math>x</math> oder offener Ball genannt. Eine Teilmenge von <math>X</math> ist nun genau dann eine Umgebung des Punktes <math>x</math>, wenn sie eine {{#if:trim|<math>\varepsilon</math>-Umgebung}} von <math>x</math> enthält.

Äquivalent lässt sich der Umgebungsbegriff in metrischen Räumen auch direkt ohne Verwendung des Begriffes einer {{#if:trim|<math>\varepsilon</math>-Umgebung}} definieren:

Eine Menge <math>U\subseteq X</math> heißt genau dann Umgebung von <math>x\in X</math>, wenn es ein <math>\varepsilon > 0</math> gibt, so dass für alle <math>y\in X</math> mit <math>d(x,y)<\varepsilon</math> die Eigenschaft <math>y\in U</math> erfüllt ist.

Mit Quantoren lässt sich der Sachverhalt auch so ausdrücken:

<math>\exists \varepsilon >0\, \forall y\in X \colon \big( d(x,y)<\varepsilon \Rightarrow y\in U \big)</math>.

Umgebung

Man nennt eine Menge <math>U\subseteq X</math> eine Umgebung von <math>x</math>, wenn ein {{#if:trim|<math>\varepsilon > 0</math>}} existiert, so dass

<math> K_\varepsilon(x) \subseteq U\subseteq X.</math>

Beispiele

Die Menge der reellen Zahlen wird durch die Definition der Metrik <math>d(x,y) := |x-y|</math> zu einem metrischen Raum. Die {{#if:trim|<math>\varepsilon</math>-Umgebung}} einer Zahl <math>x</math> ist das offene Intervall <math>(x-\varepsilon,\ x+\varepsilon)</math>.
Die Menge der komplexen Zahlen wird ebenso zum metrischen Raum. Die {{#if:trim|<math>\varepsilon</math>-Umgebung}} einer Zahl <math>z</math> ist die offene Kreisscheibe um <math>z</math> vom Radius <math>\varepsilon</math>.
Etwas allgemeiner tragen alle {{#if:trim|<math>n</math>-dimensionalen}} reellen Vektorräume durch den üblichen (von der euklidischen Norm induzierten) Abstandsbegriff eine Metrik. Die {{#if:trim|<math>\varepsilon</math>-Umgebungen}} sind hier {{#if:trim|<math>n</math>-dimensionale}} Kugeln (im geometrischen Sinn) vom Radius <math>\varepsilon</math>. Dies motiviert die allgemeinere Sprechweise von {{#if:trim|<math>\varepsilon</math>-Kugeln}} auch in anderen metrischen Räumen.
Ein wichtiges Beispiel aus der reellen Analysis: Der Raum der beschränkten Funktionen auf einem reellen Intervall <math>I</math> wird durch die Supremumsnorm zu einem metrischen Raum. Die {{#if:trim|<math>\varepsilon</math>-Umgebung}} einer beschränkten Funktion <math>f</math> auf <math>I</math> besteht hier aus allen Funktionen, die <math>f</math> punktweise mit einer kleineren Abweichung als <math>\varepsilon</math> approximieren. Anschaulich: Die Schaubilder aller dieser Funktionen liegen innerhalb eines {{#if:trim|„<math>\varepsilon</math>-Schlauches“}} um das Schaubild von <math>f</math> herum.

Nimm zum Beispiel die folgende Menge <math>M</math>:

Menge <math>M</math> mit inneren Punkt <math>a</math> auf der Zahlengeraden

Diese Menge <math>M</math> ist eine Umgebung von <math>a</math>, weil sie eine Obermenge von <math>]a-\varepsilon, a + \varepsilon[</math> für ein <math>\varepsilon > 0</math> ist:

<math>\varepsilon</math>-Umgebung}} um <math>a</math>

Umgebungen in topologischen Räumen

Gegeben sei ein topologischer Raum <math>(X,\mathcal{T})</math>. Zu jedem Punkt <math>x \in X</math> gehört die Menge seiner Umgebungen <math>\mathcal{U}(x)</math>. Das sind in erster Linie die offenen Mengen <math>O \in \mathcal{T}</math>, die <math>x</math> als Element enthalten; diese heißen offene Umgebungen von <math>x</math>. Dazu kommen alle Mengen <math>U\subseteq X</math>, die eine offene Umgebung von <math>x</math> als Teilmenge enthalten. Damit ist <math>U\subseteq X</math> genau dann Umgebung von <math>x</math>, also <math>U\in \mathcal{U}(x)</math>, wenn es eine offene Menge <math>O \in \mathcal{T}</math> gibt, für die gilt <math>x\in O \subseteq U</math>.

Die Menge <math>\mathcal{U}(x)</math> der Umgebungen des Punktes <math>x</math> bildet bezüglich der Mengeninklusion einen Filter, den Umgebungsfilter von <math>x</math>.

Eine Teilmenge <math>\mathcal{B}(x)</math> von <math>\mathcal{U}(x)</math> heißt eine Umgebungsbasis von <math>x</math>, oder Basis von <math>\mathcal{U}(x)</math>, wenn jede Umgebung von <math>x</math> ein Element von <math>\mathcal{B}(x)</math> als Teilmenge enthält. So bilden die offenen Umgebungen eines Punktes stets eine Basis seines Umgebungssystems. Ein anderes Beispiel bilden die <math>\varepsilon</math>-Umgebungen eines Punktes in einem metrischen Raum, ebenso in <math>\R^2</math> die Quadrate mit Mittelpunkt <math>x</math> und positiver Seitenlänge (= Kugeln bzgl. der Maximumsnorm).

Eine Teilmenge <math>U</math> eines topologischen Raumes <math>X</math> heißt Umgebung der Menge <math>S \subseteq X</math>, falls eine offene Menge <math>O</math> mit <math>S\subseteq O\subseteq U</math> existiert.

Eigenschaften

Für die Umgebungen gelten folgende Eigenschaften:<ref>Querenburg: Mengentheoretische Topologie. 1979, S. 20.</ref>

Ist <math>U\in\mathcal{U}(x)</math>, so gilt <math>x\in U</math>. (Jede Umgebung eines Punktes enthält den Punkt.)
Ist <math> U\in\mathcal{U}(x)</math> und <math>U\subset U'\subset X</math>, so ist auch <math>U'\in\mathcal{U} (x)</math>. (Jede Obermenge einer Umgebung eines Punktes ist wieder Umgebung des Punktes.)
Ist <math>U\in\mathcal{U}(x)</math> und <math>V\in\mathcal{U}(x)</math>, so gilt auch <math>U \cap V\in\mathcal{U}(x)</math>. (Die Schnittmenge zweier Umgebungen eines Punktes ist wieder Umgebung des Punktes. Damit ist auch die Schnittmenge einer endlichen Menge von Umgebungen eines Punktes wieder Umgebung des Punktes.)
Zu jedem <math>U\in\mathcal{U}(x)</math> existiert ein <math>V\in\mathcal{U}(x)</math>, so dass <math>U\in\mathcal{U}(y)</math> für jedes <math>y\in V</math> gilt. (Die Umgebung eines Punktes kann gleichzeitig Umgebung anderer in ihr enthaltener Punkte sein. Im Allgemeinen ist eine Umgebung <math>U</math> eines Punktes <math>x</math> nicht Umgebung aller in ihr enthaltenen Punkte, sie enthält aber eine weitere Umgebung <math>V</math> von <math>x</math>, so dass <math>U</math> Umgebung aller Punkte in <math>V</math> ist.)

Diese vier Eigenschaften werden auch die Hausdorffschen Umgebungsaxiome genannt und bilden die historisch erste Formalisierung des Begriffes des topologischen Raumes.

Denn ordnet man umgekehrt jedem Punkt <math>x</math> einer Menge <math>X</math> ein die obigen Bedingungen erfüllendes nichtleeres Mengensystem <math>\mathcal{U}(x)</math> zu, so gibt es eine eindeutig bestimmte Topologie auf <math>X</math>, sodass für jedes <math>x</math> das System <math>\mathcal{U}(x)</math> das Umgebungssystem von <math>x</math> ist. So erfüllen beispielsweise die oben definierten Umgebungen in metrischen Räumen die Bedingungen 1 bis 4 und bestimmen damit auf der Menge <math>M</math> eindeutig eine Topologie: die durch die Metrik induzierte Topologie. Verschiedene Metriken können denselben Umgebungsbegriff und damit dieselbe Topologie induzieren.

Eine Menge ist in diesem Fall genau dann offen, wenn sie mit jedem ihrer Punkte auch eine Umgebung dieses Punktes enthält. (Dieser Satz motiviert die Verwendung des Wortes „offen“ für den oben definierten mathematischen Begriff: Jeder Punkt nimmt seine nächsten Nachbarn in die offene Menge mit, keiner steht anschaulich gesprochen „am Rand“ der Menge.)

Punktierte Umgebung

Definition

Eine punktierte Umgebung <math>\dot{U}</math> eines Punktes <math>x</math> entsteht aus einer Umgebung <math>U\in \mathcal{U}(x)</math>, indem man den Punkt <math>x</math> entfernt, also

<math>\dot{U} := U\setminus \{x\}</math>.<ref>Harro Heuser: Lehrbuch der Analysis. Teil 1. 8. überarbeitete Auflage. Teubner, Stuttgart u. a. 1990, ISBN 3-519-12231-6, S. 236 (Mathematische Leitfäden).</ref>

Punktierte Umgebungen spielen insbesondere bei der Definition des Grenzwerts einer Funktion eine Rolle, ebenso in der Funktionentheorie bei der Betrachtung von Wegintegralen holomorpher Funktionen.

Beispiel

In einem metrischen Raum <math>(M, d)</math> sieht eine punktierte {{#if:trim|<math>\varepsilon</math>-Umgebung}} folgendermaßen aus:

<math>\dot{K}_\varepsilon(x) := \{ y \in M \vert 0< d(x,y) < \varepsilon \}</math>

Einzelnachweise

Literatur

Boto von Querenburg: Mengentheoretische Topologie (= Springer-Lehrbuch). 3., neu bearbeitete und erweiterte Auflage. Springer, Berlin u. a. 2001, ISBN 3-540-67790-9.
James R. Munkres: Topology. 2. Auflage. Prentice Hall, Upper Saddle River NJ 2000, ISBN 0-13-181629-2.