Ein maximales, echtes Filter auf einer Booleschen Algebra oder der Potenzmenge einer Menge: eine Sammlung von Teilmengen, abgeschlossen unter endlichen Schnitten und Obermengen, die jeweils genau eine Seite eines Komplementärpaares enthält; prinzipielle Ultrafilter konzentrieren sich auf ein einzelnes Element, nicht-prinzipielle tun dies nicht.

Prinzip

Ein Ultrafilter entscheidet die Zugehörigkeit jeder Teilmenge: Für jede Teilmenge A gehört entweder A oder ihr Komplement zum Ultrafilter. Die Maximalität in der Ordnung der Filter erzwingt diese globale Entscheidungsfähigkeit und bildet die Basis limitartiger Konstruktionen.

Demonstration

Auf einer endlichen Menge ist jeder Ultrafilter prinzipiell (er wird von einem Einpunkt erzeugt). Auf den natürlichen Zahlen wird ein nicht-prinzipieller Ultrafilter (falls vorhanden) zur Konstruktion nichtstandardmäßiger Ganzer via Ultraprodukte verwendet.

Fehlanwendung

Ein beliebig großes Filter (z. B. das kofinite Filter) fälschlich für ein Ultrafilter zu halten oder ein beliebiges echtes Filter dort zu verwenden, wo Maximalität erforderlich ist; die Existenz nicht-prinzipieller Ultrafilter ohne Set-Theorie-Aussagen anzunehmen, ist in bestimmten Rahmenfehlerhaft.

Konsequenz

Ultrafilter ermöglichen Ultraprodukt- und Ultrapower-Konstruktionen, die Erste-Ordnung-Wahrheit erhalten (durch Łoś' Theorem), erzeugen elementare Erweiterungen und kompaktheitsartige Argumente und dienen in kombinatorischen Beweisen als 0–1-wertige endlich-additive Maße.

Umkehrung

Ein bloßes Filter, das nicht maximal ist, kann viele Mengen enthalten, ohne Komplemente zu entscheiden; die Verallgemeinerung zu nicht-maximalen Filtern liefert Beispiele, die keinen Łoś-artigen Transfer unterstützen.

Abgrenzung

Die Definition gilt für Filter auf Booleschen Algebren oder Potenzmengen; prinzipielle Ultrafilter existieren immer, die Existenz nicht-prinzipieller Ultrafilter auf unendlichen Mengen hängt von Mengentheorie-Annahmen ab; Ultrafilter sind Entscheidungsvorrichtungen mit zwei Werten und verallgemeinern nicht direkt zu σ-additiven Maßen.

Semantische Spannung

Spannung zwischen Ultrafilter als kombinatorischem Auswahlmechanismus (Mitgliedschaft entscheiden) und als maßähnlichem Objekt: Ultrafilter verhalten sich wie 0–1-Maße, fehlen jedoch σ-Additivität, weshalb sie sich deutlich von Wahrscheinlichkeitsmaßen oder Banach-Grenzen unterscheiden.

Synthese

Ein Ultrafilter ist das maximale, entscheidungsfähige Filter auf einer Booleschen Algebra: es wählt eine Seite jeder Partition, ermöglicht Ultraprodukt-Konstruktionen mit Transfer erster-Ordnung-Eigenschaften und bietet mächtige kombinatorische Werkzeuge, unterscheidbar von maßtheoretischen Objekten.