## [Ultrafilter](/de/node/62146) Definition Ein Filter U auf einer Menge X, der bezüglich der Inklusion maximal ist: Es gibt keinen strikt größeren Filter auf X, der U enthält. Äquivalent: Für jede Teilmenge A von X gilt entweder A ∈ U oder X\A ∈ U, also eine binäre Entscheidung für jede Teilmenge. ## Prinzip Prinzip Ultrafilter kodieren ein entscheidungsfähiges Großheitskonzept: Maximalität erzwingt eine binäre Zerlegung der Potenzmenge in Mitglieder und Komplemente. Diese Maximalität steht hinter Anwendungen, die eine Wahl eines ‚Limes‘ oder eines generischen Wahrheitswerts für jede Eigenschaft benötigen. ## Demonstration Demonstration Ein principal Ultrafilter an x ∈ X ist {A ⊆ X : x ∈ A}. Nicht-prinzielle (freie) Ultrafilter auf unendlichen Mengen existieren unter dem Ultrafilter-Lemma (äquivalent zu einer schwachen Form des Auswahlaxioms) und werden zur Konstruktion von Grenzwerten entlang Ultrafiltern, Ultraprodukten und der Stone–Čech‑Kompaktifizierung verwendet. ## Fehlanwendung Fehlanwendung Anzunehmen, jeder Ultrafilter sei principal, die Existenz nicht‑principaler Ultrafilter ohne das notwendige Wahlprinzip voraussetzen oder Ultrafilterkonvergenz als eindeutig behandeln in Räumen, die verschiedene Ultrafiltergrenzen zulassen, sind häufige Fehlanwendungen. ## Konsequenz Konsequenz Ultrafilter liefern boolesche Bewertungen aller Teilmengen und ermöglichen mächtige Kompaktheits‑ und Erweiterungstechniken: So erzeugt jeder Ultrafilter auf einer Indexmenge ein Ultraprodukt, und die Kompaktheit bestimmter Räume lässt sich über Existenz von Häufungspunkten für Filter und Ultrafilter charakterisieren. ## Umkehrung Umkehrung Die duale Sichtweise vertauscht Zugehörigkeit mit Ausschluss und führt zu maximalen Idealen in der Booleschen Algebra der Teilmengen; Komplemente von Ultrafiltern sind Primideale. Das Umkehren der Maximalität liefert richtige Filter, die nicht entscheidend sind und daher nicht jede Teilmenge von ihrem Komplement trennen. ## Abgrenzung Abgrenzung Ultrafilter sind auf einer festen Grundmenge definiert und können principal oder nicht‑principal sein; die Existenz nicht‑principaler Ultrafilter ist unabhängig von ZF und stützt sich typischerweise auf wahlähnliche Prinzipien. Ultrafilter sind stärkere Objekte als allgemeine Filter und für viele elementare topologische Argumente nicht notwendig. ## Semantische Spannung Semantische Spannung ‚Ultrafilter‘ (maximaler Filter) kann mit dem alltäglichen Adjektiv ‚ultra‘ oder mit maximalen Idealen verwechselt werden; die präzise Spannung liegt zwischen prinzipiellen (punktgenerierten) und freien (nicht‑prinzipiellen) Ultrafiltern, die sich konstruktiv und folgerungsmäßig stark unterscheiden. ## Synthese Synthese Ein Ultrafilter ist ein maximal entscheidender Filter: Er erweitert Großheit zu einer binären Wahl für jede Teilmenge, ermöglicht Ultraprodukte und dient als mächtiges Extremalinstrument in Topologie, Modelltheorie und Kompaktheitsargumenten.