Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier. Umgebung ist ein Begriff der Mathematik der in der Topologie allgemein definiert wird und auch in Teilgebieten wie der Analysis verwendet wird.
Sei (X T) ein topologischer Raum und <math> p\in X </math> ein des Raumes. Eine offene Umgebung U von p ist eine offene Teilmenge die p enthaelt. Eine Umgebung von p ist eine Teilmenge die eine offene von p als Teilmenge besitzt.
Die Menge aller Umgebungen eines Punktes p bilden einen Filter und der Umgebungsfilter von p heisst. Der Umgebungsfilter ist eine Teilmenge Potenzmenge von X .
Ein Menge <math>\mathfrak{B}</math> von Umgebungen eines x heißt eine Umgebungsbasis von x wenn jede Umgebung ein von <math>\mathfrak{B}</math> als Teilmenge hat.
In einem Metrischen Raum ( M d ) sind Raumeigenschaften der Menge M bereits durch die Metrik d festgelegt. Man zieht die topologischen Eigenschaften der Metrik heraus indem man Umgebungen herleitet man zunächst für jeden Punkt der Menge so genannten ε-Umgebungen definiert:
Eine Teilmenge von M ist genau eine Umgebung des Punktes x 0 wenn sie eine ε-Umgebung von x 0 enthält. Die so definierten Umgebungen erfüllen oben aufgeführten Axiome 1-4 und bestimmen damit der Menge M eindeutig eine Topologie: Die die Metrik induzierte Topologie . Verschiedene Metriken können die gleiche Topologie