Filterkonvergenz

Die Filterkonvergenz ist ein Konvergenzbegriff in der Topologie, einem Teilgebiet der Mathematik. Sie wird über Mengenfilter formalisiert und ist neben der Konvergenz von Netzen eine Möglichkeit, die Konvergenz von Folgen in topologischen Räumen zu verallgemeinern.

Die Notwendigkeit, die Konvergenz von Folgen zu verallgemeinern resultiert daraus, dass die Verwendung von Folgen in topologischen Räumen zur Charakterisierung von topologischen Eigenschaften nicht ausreicht. So lassen sich beispielsweise Funktionen konstruieren, welche der topologischen Charakterisierung von Stetigkeit (Urbilder offener Mengen sind wieder offen) nicht genügen, für die aber die klassische Charakterisierung in metrischen Räumen gilt (konvergiert die Folge $(x_{n})_{n\in \mathbb {N} }$ gegen , so konvergiert f(x_n) gegen f(x) . Die Filterkonvergenz verallgemeinert die Folgenkonvergenz, so dass topologische Eigenschaften auch in topologischen Räumen über Konvergenz und die aus ihr abgeleiteten Begriffe charakterisiert werden können.

Rahmenbedingungen und Probleme

Ist ein metrischer Raum (X,d) gegeben, so heißt eine Folge $(x_{n})_{n\in \mathbb {N} }$ konvergent, wenn gilt:

für jedes $\varepsilon >0$ existiert ein $N\in \mathbb{N}$ , so dass $d(x_{n},x)\leq \varepsilon$ für alle $n\geq N$ .

Dies formalisiert die intuitive Vorstellung, dass eine konvergente Folge beliebig nahe an ihren Grenzwert heranreicht: für jeden vorgegebenen Abstand $\varepsilon$ sind irgendwann alle Folgenglieder näher am Grenzwert als dieser Abstand.

Jeder metrische Raum ist auch immer ein topologischer Raum $(X,{\mathcal {O}}_{d})$ . Die offenen Mengen der Topologie ${\mathcal {O}}_{d}$ sind dann genau die Vereinigungen von (beliebig vielen) offenen Kugeln $B_{r}(x)=\{y\in X\mid d(y,x)<r\}$ mit variablem Radius . Damit sind topologische Begriffe wie Abgeschlossenheit, Stetigkeit und Kompaktheit in metrischen Räumen wohldefiniert und lassen sich auf zweierlei äquivalente Arten beschreiben. Die erste wird in diesem Artikel die topologische Charakterisierung genannt, die andere die Charakterisierung durch Folgen. Betrachtet man als Beispiel die Abgeschlossenheit, so gilt:

topologische Charakterisierung: ist abgeschlossen $\iff$ das Komplement von liegt in ${\mathcal {O}}_{d}$ .
Charakterisierung durch Folgen: ist abgeschlossen $\iff$ Der Grenzwert jeder konvergenten Folge aus liegt wieder in .

Die Definition der Konvergenz von Folgen kann problemlos auf beliebige topologische Räume übertragen werden. Dazu wird der Abstand $\varepsilon$ vom Grenzwert als $\varepsilon$ -Umgebung des Grenzwertes aufgefasst und dann im Rahmen der Übertragung auf beliebige Umgebungen des Grenzwertes erweitert. Eine Folge $(x_{n})_{n\in \mathbb {N} }$ in einem topologischen Raum heißt dann konvergent gegen , wenn gilt:

für jede Umgebung von existiert ein $N\in \mathbb {N}$ , so dass $x_{n}\in U$ für alle $n\geq N$ .

In topologischen Räumen stimmen die topologische Charakterisierung und die Charakterisierung durch Folgen von topologischen Eigenschaften im Allgemeinen nicht überein. So existieren Fälle von Punkten, die im Abschluss einer Menge liegen aber durch keine Folge in der Menge erreicht werden ebenso wie Berührungspunkte, gegen die keine Folge konvergiert. Aus diesem Grund unterscheidet man in topologischen Räumen die beiden Arten der Charakterisierung. Die Charakterisierung durch Folgen erhält dabei das Präfix "folgen- " (folgenabgeschlossen, folgenkompakt etc.), während die Namen der topologischen Charakterisierung meist unverändert bleiben (mit der Ausnahme der Überdeckungskompaktheit).

Damit sind Folgen einerseits für die Untersuchung von topologischen Strukturen nur bedingt geeignet, andererseits sind sie auch ein beliebtes und intuitiv zugängliches Hilfsmittel für viele Beweise. Die Filterkonvergenz verallgemeinert nun den Begriff der Folgekonvergenz, so dass die oben beschriebene Äquivalenz von Charakterisierung durch Folgen (und später Filtern) und topologischer Charakterisierung wie in metrischen Räumen auch in beliebigen topologischen Räumen gilt. Die Folgenkonvergenz erweist sich damit als Spezialfall der Filterkonvergenz.

Definition

Gegeben sei ein topologischer Raum $(X,{\mathcal {O}})$ . Sei ${\mathcal {F}}$ ein Mengenfilter in und sei ${\mathcal {U}}(x)$ der Umgebungsfilter von $x\in X$ , also die Menge aller Umgebungen von

Der Filter ${\mathcal {F}}$ heißt konvergent gegen , wenn ${\mathcal {F}}\supset {\mathcal {U}}(x)$ ist. Man schreibt dann ${\mathcal {F}}\rightarrow x$ und nennt einen Limespunkt von ${\mathcal {F}}$ .

Gilt für alle $U\in {\mathcal {U}}(x)$ und alle $F\in {\mathcal {F}}$ , dass $F\cap U\neq \emptyset$ ist, so heißt ein Berührpunkt. Somit ist die Menge aller Berührpunkte gegeben als

$B=\bigcap _{F\in {\mathcal {F}}}{\overline {F}}$ .

Hierbei bezeichnet ${\overline {F}}$ den Abschluss der Menge .

Beispiel: Übergang zur Folgenkonvergenz

Die Folgenkonvergenz ist ein Spezialfall der Filterkonvergenz. Ist eine Folge $(x_{n})_{n\in \mathbb {N} }$ gegeben, so definiert man

$R_{N}:=(x_{n})_{n\geq N}$ ,

die Folge ohne die ersten Folgenglieder. Wählt man alle diese $R_{N}$ als Filterbasis, so erhält man den zur Folge gehörenden Filter

${\mathcal {F}}=\{F\subset X\mid {\text{Es gibt ein }}N\in \mathbb {N} ,{\text{ so dass }}R_{N}\subset F{\text{ ist }}\}$ .

Die Konvergenz der Folge gegen ist nun nach dem Abschnitt "Rahmenbedingungen und Probleme" äquivalent zu

für jede Umgebung von existiert ein $N\in \mathbb {N}$ , so dass $R_{N}\subset U$ ,

da $R_{N}$ per Definition alle Folgenglieder mit Index größer als enthält. Daraus folgt aber direkt, dass $U\in {\mathcal {F}}$ , da $R_{N}\subset U$ ist. Somit ist dann ${\mathcal {U}}(x)\subset {\mathcal {F}}$ .

Konvergiert also eine Folge gegen , so konvergiert auch der zur Folge gehörende Filter gegen . Limespunkt des Filters und Grenzwert der Folge stimmen dann überein. Analog zeigt man, dass die Berührpunkte des Filters genau die Häufungspunkte der Folge sind.

Folgerungen

Über die Filterkonvergenz lassen sich dann direkt folgende Aussagen zeigen:

Ein ist genau dann im Abschluss der Menge enthalten, wenn ein Filter existiert, der die Menge enthält und gegen konvergiert.
Eine Abbildung ist genau dann stetig in , wenn für jeden Filter ${\mathcal {F}}$ , der gegen konvergiert, der Bildfilter $f({\mathcal {F}})$ gegen konvergiert. Der Bildfilter ist dabei als der Filter im Bildraum definiert, der die Filterbasis $\{f(F)\mid F\in {\mathcal {F}}\}$ besitzt.

Die Aussagen der Folgenkonvergenz wie sie in metrischen Räumen gelten übertragen sich also beinahe wörtlich auf die Filterkonvergenz und gelten dann auch in topologische Räumen.

Mit der Filterkonvergenz lassen sich noch weitere Eigenschaften charakterisieren: So ist ein topologischer Raum genau dann ein Hausdorff-Raum, wenn jeder konvergente Filter genau einen Limespunkt besitzt oder ein topologischer Raum genau dann kompakt, wenn jeder Ultrafilter konvergiert.

Literatur

Boto von Querenburg: Mengentheoretische Topologie. 3. Auflage. Springer-Verlag, Berlin Heidelberg New York 2001, ISBN 978-3-540-67790-1.
Dirk Werner: Funktionalanalysis. 7., korrigierte und erweiterte Auflage. Springer-Verlag, Heidelberg Dordrecht London New York 2011, ISBN 978-3-642-21016-7.

Basierend auf einem Artikel in:

Wikipedia.de