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 $ℱ$ 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\le 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\le 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^{i}G$ für alle $i\in \mathbb{Z}$, sodass $F^{i+1}G\subset F^{i}G$ für alle $i$.

Die Filtrierung heißt erschöpfend, falls $G={\cup }_{i\in \mathbb{Z}}{F}^{i}G$, sie heißt Hausdorff oder separiert, wenn ${\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^{i}G=G$ bzw. nach unten beschränkt, falls $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:

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

Beispiel

1. 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\}$.
2. Jede graduierte Algebra ist filtriert. Sei $K$ ein Körper, $𝒜=K\{x,y\}/\sim$, wobei "$\sim$" definiert ist durch die Kommutatorrelation $[x,y]=1$, d. h. $𝒜$ ist nicht kommutativ. Dann ist $𝒜$ ein Beispiel für eine Algebra, die filtriert ist, aber nicht graduiert.

Wahrscheinlichkeitstheorie

Vorlage:Hauptartikel Sei $(\mathrm{\Omega },𝒜,P)$ ein Wahrscheinlichkeitsraum, $T\subset ℝ$ eine Indexmenge.

Dann heißt die Familie von σ-Algebren auf $\mathrm{\Omega }$

$ℱ=({ℱ}_t{)}_{t\in T}$

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

für alle $s,t\in T$ mit $s\le t$ gilt ${ℱ}_s\subseteq {ℱ}_t\subseteq 𝒜$.

Ist $ℱ=({ℱ}_t{)}_{t\in T}$ eine Filtrierung, so wird $(\mathrm{\Omega },𝒜,({ℱ}_t{)}_{t\in T},P)$ auch ein filtrierter Wahrscheinlichkeitsraum genannt.

Literatur

• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur

Weblinks

• Vorlage:MathWorld