Filtrierung (Mathematik)
# Filtrierung (Mathematik)

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.

## Definition

Eine (aufsteigende) Filtrierung ${\mathcal {F}}$ einer Menge $S$ (oft zusammen mit einer weiteren Struktur wie einer Topologie, einer algebraischen Struktur oder der Eigenschaft der Messbarkeit) ist eine Familie $(S_{i})_{i\in I}$ von Subobjekten und eine total geordnete Indexmenge $I$, sodass gilt:

    falls $i\leq j$ in $I$, dann ist $S_{i}\subset S_{j}$.

Analog verwendet man auch den Begriff der absteigenden Filtrierung, das heißt $S_{i}\supset S_{j}$ für $i\leq j$.

Manchmal werden zusätzlich noch andere Eigenschaften gefordert, wie beispielsweise bei der Filtrierung einer Algebra, siehe Filtrierung und Algebra.

## Filtrierungen in verschiedenen Strukturen

### Gruppen

Eine absteigende Filtrierung einer Gruppe $G$ besteht aus Untergruppen $F^iG{\textstyle$ F^{i}G} für alle $i\in \mathbb {Z}$, sodass $F^{i+1}G⊂F^iG{\textstyle$ F^{i+1}G\subset F^{i}G} für alle $i$.

Die Filtrierung heißt erschöpfend, falls $G=∪_{i∈Z}F^iG{\textstyle$ G=\cup _{i\in \mathbb {Z} }F^{i}G}, sie heißt Hausdorff oder separat, wenn $∩_{i∈Z}F^iG=0{\textstyle$ \cap _{i\in \mathbb {Z} }F^{i}G=0}. Sie ist nach oben beschränkt, wenn es ein $i\in \mathbb {Z}$ gibt mit $F^iG=G{\textstyle$ F^{i}G=G} bzw. nach unten beschränkt, falls $F^iG=0{\textstyle$ F^{i}G=0} für ein $i\in \mathbb {Z}$.

### Algebra

Eine aufsteigende Filtrierung einer Algebra $A$ über einem Körper $K$ ist eine Sequenz $\{0\}\subset F_{0}\subset F_{1}\subset \cdots \subset F_{i}\subset \cdots \subset A$ von Untermoduln von $A$, sodass

    $A=\bigcup _{i\in \mathbb {N} }F_{i}$,

und die zudem mit der Multiplikation kompatibel ist:

    $\forall m,n\in \mathbb {N} :\qquad F_{m}\cdot F_{n}\subset F_{n+m}$.

**Beispiel**

* Für einen Körper $K$ ist der Polynomring $K[X_{1},...,X_{n}]$ in n Variablen natürlich filtriert mit $F_{i}=K\{X_{1}^{k_{1}}\cdots X_{n}^{k_{n}}|k_{1}+\cdots +k_{n}=i\}$.
* Jede graduierte Algebra ist filtriert. Sei $K$ ein Körper, ${\mathcal {A}}=K\{x,y\}/\sim$, wobei "$\sim$" definiert ist durch die Kommutatorrelation $[x,y]=1$, d. h. ${\mathcal {A}}$ ist nicht kommutativ. Dann ist ${\mathcal {A}}$ ein Beispiel für eine Algebra, die filtriert ist, aber nicht graduiert.

### Wahrscheinlichkeitstheorie

Sei $(\Omega ,{\mathcal {A}},P)$ ein Wahrscheinlichkeitsraum, $T\subset \mathbb {R}$ eine Indexmenge.

Dann heißt die Familie von σ-Algebren

    ${\mathcal {F}}=({\mathcal {F}}_{t})_{t\in T}$

eine Filtrierung (in ${\mathcal {A}}$ oder auf $(\Omega ,{\mathcal {A}},P)$), falls:

    für alle $s,t\in T$ mit $s\leq t$ gilt ${\mathcal {F}}_{s}\subseteq {\mathcal {F}}_{t}\subseteq {\mathcal {A}}$.

Ist ${\mathcal {F}}=({\mathcal {F}}_{t})_{t\in T}$ eine Filtrierung, so wird $(\Omega ,{\mathcal {A}},({\mathcal {F}}_{t})_{t\in T},P)$ auch ein gefilterter Wahrscheinlichkeitsraum genannt.

