## [Ultrafilter](/de/node/60083) Definition 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 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 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 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 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 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 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 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 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.