Ein Ultrafilter ist ein maximaler, eigentlicher Filter auf einer Menge: eine Sammlung von Teilmengen, abgeschlossen unter endlichen Schnitten und Supersets, die die leere Menge nicht enthält, und so beschaffen, dass für jede Teilmenge A entweder A oder ihr Komplement im Ultrafilter liegt.

Prinzip

Maximalität unter Filtern: Ein Ultrafilter erweitert die Eigenschaft des endlichen Durchschnitts zu einer entscheidenden Auswahlsregel, die für jede Teilmenge Mitgliedschaft oder ihr Komplement wählt, wodurch er wie ein {0,1}-wertiges, endlich additives Maß auf der Potenzmenge wirkt.

Demonstration

Für einen Punkt x in einer Menge X besteht der prinzipielle Ultrafilter in x aus allen Teilmengen von X, die x enthalten; ein nicht-prinzipieller Ultrafilter auf den natürlichen Zahlen (dessen Existenz Auswahlaxiom benötigt) enthält alle kofinen Mengen und mehr und bestimmt Grenzwerte entlang ultrafilter-geführten Teilfolgen.

Fehlanwendung

Eine beliebige endlich additive Mengenfunktion als Ultrafilter zu behandeln oder anzunehmen, dass nicht-prinzipielle Ultrafilter konstruktiv existieren ohne das Auswahlaxiom heranzuziehen; oder die Ultrafilter-Selektion als eindeutig und kanonisch auf unendlichen Mengen zu verwenden.

Konsequenz

Ultrafilter liefern Kompaktheitswerkzeuge (Stone-Čech-Kompaktifizierung), ermöglichen Konstruktionen wie Ultraproducts und nichtstandardmäßige Grenzwerte und verwandeln letztlich „schließlich“-Eigenschaften in definitive Zugehörigkeitsaussagen, die Grenzargumente und Transferprinzipien erlauben.

Umkehrung

Ein eigentliches Filter, das nicht maximal ist: Es kann Abschluss unter Schnitten und Supersets haben, fehlt aber die Dichotomie, dass jede Teilmenge oder ihr Komplement gewählt wird, und bietet daher weniger entschiedene Auswahlkriterien für Grenzwerte.

Abgrenzung

Definiert auf beliebigen Mengen, aber die Existenz nicht-prinzipieller Ultrafilter auf unendlichen Mengen hängt vom Auswahlaxiom ab; auf endlichen Mengen ist jeder Ultrafilter prinzipiell und entspricht einem einzelnen Punkt.

Semantische Spannung

Filter versus Ultrafilter: Filter kodieren Konvergenz und ‚Größe‘ ohne maximale Entscheidungsgewalt, während Ultrafilter als maximale Filter wie binäre Maße wirken und stärkere Selektionsprinzipien erlauben.

Synthese

Ein Ultrafilter ist ein maximaler, eigentlicher Filter auf einer Menge, der dadurch, dass er für jede Teilmenge entweder diese oder ihr Komplement auswählt, als binäres, entscheidendes Werkzeug für Grenz- und Kompaktheitskonstruktionen in Topologie, Modelltheorie und Kombinatorik dient.