Ultrafilter

Ultrafilter

Ein Ultrafilter ist in der Mathematik ein Mengenfilter auf einer Menge X, so dass für jede Teilmenge A von X entweder A selbst oder ihr Komplement XA (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 übertragen.

Ultrafilter mit der Eigenschaft, dass die Schnittmenge aller ihrer Elemente nichtleer ist, heißen fixierte Ultrafilter. Alle Ultrafilter auf endlichen Mengen sind fixierte Ultrafilter. Ein von einer Einpunktmenge erzeugter Ultrafilter heißt auch Elementarfilter. 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. Freie Ultrafilter lassen sich nur mit Hilfe des Auswahlaxioms konstruieren und nicht explizit angeben.

Inhaltsverzeichnis

Formale Definition und grundlegende Eigenschaften

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

  1. \emptyset\notin \mathcal{F}, X\in \mathcal{F}
  2. F\in\mathcal{F}, G\supseteq F \Rightarrow G\in \mathcal{F}
  3.  F_1,\ldots, F_n: F_i\in \mathcal{F}: \left(\bigcap\limits_{i=1}^n F_i\right)\in \mathcal{F}
  4. Seien \mathcal{F}, \mathcal{G} Filter auf X.  \mathcal{F} heißt genau dann Ultrafilter, wenn \mathcal{G}\supseteq \mathcal{F}\Rightarrow \mathcal{G}=\mathcal{F} gilt.

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

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

Ultrafilter lassen sich durch folgenden Satz charakterisieren:

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

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

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

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} sowie 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}

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

Vollständigkeit

Unter der Vollständigkeit eines Ultrafilters, versteht man die kleinste Kardinalzahl κ, sodass der Durchschnitt von κ Elementen des Filters kein Element des Filters ist. Dies widerspricht nicht der Definition von Ultrafiltern, da nach dieser nur der Durchschnitt von endlich vielen Elementen eines Ultrafilters ein Element des Ultrafilters sein muss. Aus der Definition folgt, dass die Vollständigkeit eines Ultrafilters mindestens \aleph_0 ist. Ein Ultrafilter, dessen Vollständigkeit größer als \aleph_0 ist, heißt, abzählbar vollständig, bzw. σ-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) \mathcal{P} heißt ein Filter \mathcal{F} Ultrafilter, wenn es keinen feineren Filter als \mathcal{F} gibt, der nicht schon ganz \mathcal{P} ist - formal ausgedrückt: Wenn \mathcal{F'} ein Filter auf \mathcal{P} ist mit \mathcal{F} \subseteq \mathcal{F'}, dann gilt \mathcal{F'} = \mathcal{F} oder \mathcal{F'} = \mathcal{P}. Diese allgemeinere Definition stimmt in dem Spezialfall, dass \mathcal{P} die Potenzmenge einer Menge X ist, mit der zuerst gegebenen überein.Mit Hilfe des Zornschen Lemmas lässt sich zeigen, dass jeder Filter in einem Ultrafilter enthalten ist.

Arten und Existenz von Ultrafiltern

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

Ein Filter \mathcal{F} heißt frei, wenn \bigcap\limits_{F\in\mathcal{F}}F=\emptyset 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 \mathcal{F}_a=\{x:a\leq x\} für ein Element a darstellen. Für Filter auf allgemeinen Mengen gilt folgender Satz:

  • Ein Filter \mathcal{F} auf X ist ein fixierter Ultrafilter genau dann, wenn es ein x\in X gibt mit \mathcal{F}=\mathcal{F}_x:=\{F: x\in F\subseteq X\}.

In diesem Fall heißt x Hauptelement des Ultrafilters.

Freie Ultrafilter können nur auf unendlichen Mengen existieren. Es lässt sich zeigen, dass jeder Filter einer Menge X (allgemeiner: jede Teilmenge \mathcal{Y}\subseteq \mathcal{P}(X), für die die Schnittmenge endlich vieler Teilmengen von \mathcal{Y} wieder in \mathcal{Y} liegt) in einem Ultrafilter von X enthalten ist, was die Existenz freier Ultrafilter sichert. Die Beweise dazu beruhen allerdings auf dem Auswahlaxiom und sind daher nicht konstruktiv. 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 \emptyset gibt es nur den leeren Filter, welcher die leere Menge ist. Dieser ist damit ein Ultrafilter.
  • Ist X eine endliche Menge, dann ist jeder Ultrafilter auf X genau durch einen Punkt fixiert. Wäre das nicht so und wäre der Filter durch die Menge {x1,...,xn} fixiert, so könnte man ihn durch Hinzufügen von xn 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.
  • Zur Konstruktion hyperreeller Zahlen verwendet man einen Ultrafilter auf den natürlichen Zahlen: Der kofinite Filter auf den natürlichen Zahlen ist der Filter, der nur die Komplemente endlicher Mengen natürlicher Zahlen enthält. Er ist selbst kein Ultrafilter (denn er enthält weder die Menge der geraden noch die Menge der ungeraden natürlichen Zahlen), ist aber in einem Ultrafilter enthalten - diesen kann man nicht konkret angeben, es gibt auch mehrere mögliche. Entscheidet man sich für einen davon (nicht-konstruktiv), kann man hyperrelle Zahlen definieren.

Literatur


Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

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

  • Ultrafilter — In the mathematical field of set theory, an ultrafilter on a set X is a collection of subsets of X that is a filter, that cannot be enlarged (as a filter). An ultrafilter may be considered as a finitely additive measure. Then every subset of X is …   Wikipedia

  • ultrafilter — I. |əltrə+ noun Etymology: International Scientific Vocabulary ultra + filter : a dense filter used for the filtration of a colloidal solution that holds back the dispersed particles but not the liquid II. transitive verb : to cause to pass… …   Useful english dictionary

  • Ultrafilter — ypač tankus filtras statusas T sritis radioelektronika atitikmenys: angl. ultrafilter vok. Ultrafilter, n rus. фильтр сверхтонкой очистки, m pranc. ultrafiltre, m …   Radioelektronikos terminų žodynas

  • ultrafilter — ypač tankus filtras statusas T sritis radioelektronika atitikmenys: angl. ultrafilter vok. Ultrafilter, n rus. фильтр сверхтонкой очистки, m pranc. ultrafiltre, m …   Radioelektronikos terminų žodynas

  • Ultrafilter — ultrafiltras statusas T sritis Standartizacija ir metrologija apibrėžtis Įtaisas didesnėms kaip 0,1 μm dalelėms filtruoti. atitikmenys: angl. ultrafilter vok. Ultrafilter, n rus. ультрафильтр, m pranc. ultrafiltre, m …   Penkiakalbis aiškinamasis metrologijos terminų žodynas

  • ultrafilter — ultrafiltras statusas T sritis Standartizacija ir metrologija apibrėžtis Įtaisas didesnėms kaip 0,1 μm dalelėms filtruoti. atitikmenys: angl. ultrafilter vok. Ultrafilter, n rus. ультрафильтр, m pranc. ultrafiltre, m …   Penkiakalbis aiškinamasis metrologijos terminų žodynas

  • ultrafilter — ultrafiltration /ul treuh fil tray sheuhn/, n. /ul treuh fil teuhr/, n. 1. Physical Chem. a filter for purifying sols, having a membrane with pores sufficiently small to prevent the passage of the suspended particles. 2. Math. a filter in a… …   Universalium

  • ultrafilter — ul•tra•fil•ter [[t]ˌʌl trəˈfɪl tər[/t]] n. 1) chem. a filter for purifying sols, having a membrane with pores sufficiently small to prevent the passage of the suspended particles 2) chem. to purify by means of an ultrafilter • Etymology: 1905–10… …   From formal English to slang

  • ultrafilter — /ʌltrəˈfɪltə/ (say ultruh filtuh) noun 1. a filter for the separation of solute molecules of different sizes, using a semipermeable membrane filter through which the solute cannot pass. –verb (t) 2. to separate in an ultrafilter …  

  • últrafílter — tra m (ȗ í) teh. naprava za filtracijo, navadno pod zvišanim tlakom, ki se uporablja za ločevanje koloidnih delcev in makromolekulskih snovi od tekočine: ultracentrifuga in ultrafilter …   Slovar slovenskega knjižnega jezika

Share the article and excerpts

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