Eine nichtleere Familie F von Teilmengen einer Menge X, die unter endlichen Schnitten und Untergang in Obermengen abgeschlossen ist (wenn A ∈ F und A ⊆ B ⊆ X, dann B ∈ F). Filter werden verwendet, um Begriffe von ‚Größe‘ oder ‚Häufigkeit‘ auszudrücken und Konvergenz unabhängig von abzählbaren Indizes zu definieren.

Prinzip

Filter verallgemeinern die Idee ‚großer‘ oder ‚häufiger‘ Teilmengen: Abschluss unter endlichen Schnitten erzwingt, dass zwei große Eigenschaften gemeinsam groß sind, und Abschluss unter Obermengen erzwingt, dass Großheit erhalten bleibt, wenn ein Satz vergrößert wird.

Demonstration

Der Fréchet- (cofinite) Filter auf einer unendlichen Menge X besteht aus allen kofinalen Teilmengen von X; er erfasst die Idee ‚bis auf endlich viele‘ Elemente haben eine Eigenschaft. Der Umgebungsfilter eines Punktes p in einem topologischen Raum ist die Familie aller Umgebungen von p; Konvergenz von Netzen oder Filtern benutzt solche Ziel‑Filter.

Fehlanwendung

Filter mit σ‑Algebren verwechseln (Filter müssen nicht unter abzählbaren Vereinigungen oder Komplemente geschlossen sein) oder annehmen, jeder Filter enthalte keine Einermengen (prinzipielle Filter, von Einermengen erzeugt, sind gültig). Eine Familie zu verwenden, die nicht unter endlichen Schnitten oder Obermengen abgeschlossen ist, ist ein häufiger Fehler.

Konsequenz

Filter liefern eine alternative Sprache für Konvergenz, Häufungspunkte und Kompaktheit (jeder Filter auf einem kompakten Raum hat einen Häufungspunkt). Sie korrespondieren auch zu bestimmten Idealen über Komplemente und führen durch maximale Erweiterung zu Ultrafiltern, was mächtige Kompaktheits‑ und Erweiterungsargumente ermöglicht.

Umkehrung

Die duale Idee ist ein Ideal: eine Familie von Teilmengen, die unter endlichen Vereinigungen und Untermengen abgeschlossen ist und ‚kleine‘ oder vernachlässigbare Mengen erfasst statt großer. Viele Aussagen lassen sich durch Austausch von Filtern und Idealen via Komplement übersetzen.

Abgrenzung

Filter sind Mengenmengen auf der Potenzmenge eines Grundraums und können prinzipiell (von einem Element erzeugt) oder frei/nicht prinzipiell sein; die Existenz nichtprinzipieller Ultrafilter kann das Auswahlaxiom erfordern. Filter kodieren ohne zusätzliche Struktur weder Maß noch Kardinalität.

Semantische Spannung

‚Filter‘ als allgemeines Mittel für Großheit steht in Spannung zu verwandten Begriffen wie Umgebungsfilter (punktweise, topologisch) und Ultrafilter (maximale Filter) — es muss geklärt werden, ob von einem allgemeinen Filter, einem Umgebungsfilter oder einem maximalen Fall die Rede ist.

Synthese

Ein Filter ist eine Familie von Mengen, die formalisiert, welche Teilmengen von X als groß oder generisch gelten: abgeschlossen unter endlichen Schnitten, damit gemeinsame Großheit erhalten bleibt, und unter Obermengen, damit Großheit beim Vergrößern erhalten bleibt; so unterstützt er eine topologyunabhängige Konvergenzbegriffsbildung.