Ultrafilter - LinkFang.de





Ultrafilter


Dieser Artikel beschäftigt sich mit dem mathematischen Begriff Ultrafilter, für das technische Filtrationsverfahren siehe Ultrafiltration

Ein Ultrafilter ist in der Mathematik ein Mengenfilter auf einer Menge [math]X[/math], so dass für jede Teilmenge [math]A[/math] von [math]X[/math] entweder [math]A[/math] selbst oder ihr Komplement [math]X - A[/math] (Differenzmenge) Element des Mengenfilters ist. Ultrafilter sind somit genau diejenigen Mengenfilter, zu denen keine echte Verfeinerung existiert. Diese Definition von Ultrafiltern lässt sich von Mengenfiltern auf allgemeine Filter im Sinne der Verbandstheorie übertragen.

Ultrafilter mit der Eigenschaft, dass die Schnittmenge aller ihrer Elemente nichtleer ist, heißen fixierte Ultrafilter, Punktfilter oder Elementarfilter: Sie bestehen aus allen Teilmengen, die einen bestimmten Punkt enthalten. Alle Ultrafilter auf endlichen Mengen sind fixierte Ultrafilter. Fixierte Filter sind die einzigen explizit konstruierbaren Ultrafilter. Die zweite Art der Ultrafilter sind die freien Ultrafilter, für die die Schnittmenge aller ihrer Elemente die leere Menge ist.

Ultrafilter finden Anwendungen etwa in der Topologie und der Modelltheorie.

Formale Definition und grundlegende Eigenschaften

Es sei [math]X[/math] eine Menge. Ein Filter [math]\mathcal{F}[/math] ist eine Familie von Teilmengen auf [math]X[/math] mit folgenden Eigenschaften:

  1. [math]\emptyset\notin \mathcal{F}, X\in \mathcal{F}[/math]
  2. [math]F\in\mathcal{F}, G\supseteq F \Rightarrow G\in \mathcal{F}[/math]
  3. [math] F_1,\ldots, F_n: F_i\in \mathcal{F}: \left(\bigcap\limits_{i=1}^n F_i\right)\in \mathcal{F}[/math]

Ein Ultrafilter ist ein Filter [math]\mathcal{F}[/math] mit der Eigenschaft:

  1. Ist [math]\mathcal{G}[/math] Filter auf [math]X[/math] mit [math]\mathcal{G}\supseteq \mathcal{F}[/math], dann gilt [math] \mathcal{G}=\mathcal{F}[/math].

Dieser Punkt kann auch so ausgedrückt werden, dass [math]\mathcal{F}[/math] in der Menge aller Filter auf [math]X[/math] maximal ist, wobei als Ordnung die Inklusion auf [math]\mathcal{P}(\mathcal{P}(X))[/math], also auf der Potenzmenge der Potenzmenge von [math]X[/math], verwendet wird. (Beachte: Ein Filter ist eine Teilmenge von [math]\mathcal{P}(X)[/math] und daher ein Element von [math]\mathcal{P}(\mathcal{P}(X))[/math].)

Es gilt folgender Satz: Ist [math]\mathcal{F}[/math] ein Filter auf der Menge [math]X[/math]. Dann existiert ein Ultrafilter [math]\mathcal G[/math] der den Filter [math]\mathcal F[/math] umfasst. Da [math]\{X\}[/math] ein Filter auf der Menge [math]X[/math] ist, existiert auf jeder nichtleeren Menge ein Ultrafilter.

Ultrafilter lassen sich durch folgenden Satz charakterisieren:

Es sei [math]\mathcal{F}[/math] ein Filter auf [math]X[/math]. Dann sind folgende Aussagen äquivalent (L1):

  1. Für alle Filter [math]\mathcal{G}[/math] auf [math]X[/math] mit [math]\mathcal{G}\supseteq \mathcal{F}[/math] folgt [math]\mathcal{G}=\mathcal{F}[/math].
  2. Für alle Teilmengen [math]A,B\subset X[/math] gilt: [math]A\cup B\in \mathcal{F}\Rightarrow A\in \mathcal{F}[/math] oder [math]B\in\mathcal{F}[/math].
  3. [math]\forall A\subseteq X[/math] gilt, dass entweder [math]A\in \mathcal{F}[/math] oder [math]X-A \in \mathcal{F}[/math].

Des Weiteren gilt: Sind [math]\mathcal{F}_1, \mathcal{F}_2[/math] Ultrafilter auf einer Menge [math]X[/math], dann sind diese gleichmächtig. Dies sieht man durch folgende Abbildungen ein:

[math]f_1:\mathcal{F}_1\rightarrow \mathcal{F}_2, A\mapsto\begin{cases} A, & \text{wenn } A\in \mathcal{F}_2,\\ X-A, & \text{wenn } X-A\in \mathcal{F}_2 \end{cases} [/math] sowie [math]f_2:\mathcal{F}_2\rightarrow \mathcal{F}_1, A\mapsto\begin{cases} A, & \text{wenn } A\in \mathcal{F}_1,\\ X-A, & \text{wenn } X-A\in \mathcal{F}_1 \end{cases} [/math]

Zuerst sieht man, dass die Abbildungen, wegen (L1) wohldefiniert sind. Man sieht sofort [math]f_1\circ f_2 = \operatorname{id}_{\mathcal{F}_1}[/math] und [math]f_2\circ f_1=\operatorname{id}_{\mathcal{F}_2}[/math]. Somit handelt es sich um Bijektionen.

Vollständigkeit

Unter der Vollständigkeit eines Ultrafilters versteht man die kleinste Kardinalzahl [math]\kappa[/math], sodass [math]\kappa[/math] Elemente des Filters existieren, deren Durchschnitt kein Element des Filters ist. Dies widerspricht nicht der Definition eines Ultrafilters, da nach dieser nur der Durchschnitt endlich vieler Elemente wieder im Filter enthalten sein muss. Aus dieser Voraussetzung folgt aber, dass die Vollständigkeit eines Ultrafilters mindestens [math]\aleph_0[/math] ist. Ein Ultrafilter, dessen Vollständigkeit größer als [math]\aleph_0[/math] ist, also überabzählbar, heißt abzählbar vollständig bzw. [math]\sigma[/math]-vollständig, da jede Schnittmenge abzählbar (auch abzählbar unendlich) vieler Elemente des Filters wieder ein Element des Filters ist.

Verallgemeinerung von Ultrafiltern auf Halbordnungen

Im Kontext der allgemeineren Definition von Filter als Teilmenge einer halbgeordneten Menge (zum Beispiel Potenzmenge mit Inklusion) [math]\mathcal{P}[/math] heißt ein Filter [math]\mathcal{F}[/math] Ultrafilter, wenn es keinen feineren Filter als [math]\mathcal{F}[/math] gibt, der nicht schon ganz [math]\mathcal{P}[/math] ist - formal ausgedrückt: Wenn [math]\mathcal{F'}[/math] ein Filter auf [math]\mathcal{P}[/math] ist mit [math]\mathcal{F} \subseteq \mathcal{F'}[/math], dann gilt [math]\mathcal{F'} = \mathcal{F}[/math] oder [math]\mathcal{F'} = \mathcal{P}[/math]. Diese allgemeinere Definition stimmt in dem Spezialfall, dass [math]\mathcal{P}[/math] die Potenzmenge einer Menge [math]X[/math] ist, mit der zuerst gegebenen überein. Mit Hilfe des Zornschen Lemmas lässt sich zeigen, dass jeder Filter in einem Ultrafilter enthalten ist.

Ultrafilter auf Verbänden

Als Spezialfall der Definition auf Halbordnungen ergibt sich eine Definition auf Verbänden. Ein Ultrafilter auf einem Verband lässt sich alternativ als Verbandshomomorphismus in die zweielementige boolesche Algebra [math]\{\bot,\top\}[/math] definieren. Ein abzählbar vollständiger Ultrafilter lässt sich als 0,1-wertiges Maß auffassen.

Arten und Existenz von Ultrafiltern

Es gibt zwei Arten von Filtern. Zur Unterscheidung wird folgende Definition benutzt:

Ein Filter [math]\mathcal{F}[/math] heißt frei, wenn [math]\bigcap\limits_{F\in\mathcal{F}}F=\emptyset[/math] ist, andernfalls heißt er fixiert.

Leicht sieht man, dass Ultrafilter auf einer endlichen Menge fixiert sind; auf endlichen, halbgeordneten Mengen besitzen Ultrafilter ein kleinstes Element, sie lassen sich als [math]\mathcal{F}_a=\{x:a\leq x\}[/math] für ein Element [math]a[/math] darstellen. Allgemeiner gilt auf beliebigen Mengen: Ein Filter [math]\mathcal{F}[/math] auf [math]X[/math] ist ein fixierter Ultrafilter genau dann, wenn er eine der folgenden äquivalenten Bedingungen erfüllt:

  • Es gibt ein [math]x\in X[/math] mit [math]\mathcal{F}=\mathcal{F}_x:=\{F: x\in F\subseteq X\}[/math].
  • Der Filter besitzt ein endliches Element.

In diesem Fall heißt [math]x[/math] Hauptelement des Ultrafilters.

Freie Ultrafilter können nur auf unendlichen Mengen existieren. Es lässt sich zeigen (Ultrafilterlemma), dass jeder Filter einer Menge [math]X[/math] (allgemeiner: jede Teilmenge [math]\mathcal{Y}\subseteq \mathcal{P}(X)[/math], für die die Schnittmenge endlich vieler Teilmengen von [math]\mathcal{Y}[/math] wieder in [math]\mathcal{Y}[/math] liegt) in einem Ultrafilter von [math]X[/math] enthalten ist, was die Existenz freier Ultrafilter sichert (etwa bilden die kofiniten Teilmengen einer unendlichen Menge einen Filter, die freien Ultrafilter sind gerade die Ultrafilter, die Oberfilter dieses Filters sind). Die Beweise dazu sind allerdings nicht konstruktiv und ergeben sich etwa aus dem Auswahlaxiom. Deshalb können freie Ultrafilter nicht explizit angegeben werden, obwohl die meisten Ultrafilter auf unendlichen Mengen frei sind.

Ein Beispiel für fixierte Filter sind Umgebungsfilter.

Beispiele

  • Auf der leeren Menge [math]\emptyset[/math] gibt es nur den leeren Filter, welcher die leere Menge ist. Dieser ist damit ein Ultrafilter.
  • Ist [math]X[/math] eine endliche Menge, dann ist jeder Ultrafilter auf [math]X[/math] genau durch einen Punkt fixiert. Wäre das nicht so und wäre der Filter durch die Menge [math]\{x_1,...,x_n\}[/math] fixiert, so könnte man ihn durch Hinzufügen von [math]{x_n}[/math] echt verfeinern. Somit sind die Ultrafilter auf einer Menge gerade die Punktfilter.
  • Der Umgebungsfilter eines Punktes in der Topologie ist genau dann ein Ultrafilter, wenn der Punkt isoliert ist.

Anwendungen

Literatur


Kategorien: Ordnungstheorie | Topologie | Mengensystem | Mengenlehre | Verbandstheorie

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Ultrafilter (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.