Die Filtrierung, auch Filtration oder Filterung genannt, ist ein Begriff aus der Mathematik, der vor allem in der Wahrscheinlichkeitstheorie und in der algebraischen Topologie verwendet wird. Es handelt sich um eine bestimmte Eigenschaft einer Familie von Mengen.
Eine (aufsteigende) Filtrierung einer Menge (oft zusammen mit einer weiteren Struktur wie einer Topologie, einer algebraischen Struktur oder der Eigenschaft der Messbarkeit) ist eine Familie von Subobjekten und eine total geordnete Indexmenge , sodass gilt:
Analog verwendet man auch den Begriff der absteigenden Filtrierung, das heißt für .
Manchmal werden zusätzlich noch andere Eigenschaften gefordert, wie beispielsweise bei der Filtrierung einer Algebra, siehe Filtrierung und Algebra.
Eine absteigende Filtrierung einer Gruppe besteht aus Untergruppen für alle , sodass für alle .
Die Filtrierung heißt erschöpfend, falls , sie heißt Hausdorff oder separiert, wenn . Sie ist nach oben beschränkt, wenn es ein gibt mit bzw. nach unten beschränkt, falls für ein .
Eine aufsteigende Filtrierung einer Algebra über einem Körper ist eine Sequenz von Untermoduln von , sodass
und die zudem mit der Multiplikation kompatibel ist:
Sei ein Wahrscheinlichkeitsraum, eine Indexmenge.
Dann heißt die Familie von σ-Algebren auf
eine Filtrierung (in oder auf ), falls:
Ist eine Filtrierung, so wird auch ein filtrierter Wahrscheinlichkeitsraum genannt.