Zylindermenge

Eine Zylindermenge, manchmal auch Randereignisse genannt, ist eine spezielle Menge, die in der Maßtheorie, einem Teilgebiet der Mathematik verwendet wird. Ein Spezialfall einer Zylindermenge ist ein Rechteckszylinder. Systeme von Zylindermengen werden verwendet, um Produkt-σ-Algebren zu definieren, die wiederum die Basis für die Definition von Produktmaßen und Produktmodelle bilden.

Definition

Gegeben sei eine beliebige Indexmenge $I$, eine Grundmenge

$\Omega :=\prod _{i\in I}\Omega _{i}$

sowie für eine Teilmenge $J\subset I$ die kanonische Projektion

$\pi _{J}:\Omega \to \prod _{i\in J}\Omega _{i},\quad \pi _{J}(\omega )=\omega |_{J}$,

wobei $\omega |_{J}$ die Einschränkung auf die Komponenten in $J$ bezeichnet. Dann heißt eine Menge der Form

$\pi _{J}^{-1}(M)\subset \Omega {\text{ für }}M\in \Omega _{J}:=\prod _{i\in J}\Omega _{i}$

eine Zylindermenge mit Basis $J$.

Abgeleitete Begriffsbildungen

System der Zylindermengen

Ist auf der Menge $\Omega _{J}$ eine σ-Algebra ${\mathcal {A}}_{J}$ gegeben, so nennt man das Mengensystem

${\mathcal {Z}}_{J}:=\{\pi _{J}^{-1}(A_{J})\,|\,A_{J}\in {\mathcal {A}}_{J}\}$

das Mengensystem der Zylindermengen.

Rechteckszylinder

Lässt sich ein Element der σ-Algebra ${\mathcal {A}}_{J}$ als kartesisches Produkt von Mengen aus den σ-Algebren ${\mathcal {A}}_{j}$ auf $\Omega _{i}$ schreiben, also

$A_{J}=\prod _{i\in J}A_{i}{\text{ für }}A_{i}\in {\mathcal {A}}_{i}$,

so nennt man $A_{J}$ einen Rechteckszylinder mit Basis $J$. Man definiert dann

${\mathcal {Z}}_{J}^{R}:=\{\pi _{J}^{-1}(A_{J})\,|\,A_{J}{\text{ ist Rechteckszylinder }}\}$

als Mengensystem aller Rechteckszylinder.

Eigenschaften

Definiert man das Mengensystem

${\mathcal {Z}}:=\bigcup _{J\subseteq I \atop J{\text{ endlich}}}{\mathcal {Z}}_{J}$,

so ist dies ein Erzeuger der Produkt-σ-Algebra der ${\mathcal {A}}_{i}$, es ist also

$\bigotimes _{i\in I}{\mathcal {A}}_{i}=\sigma ({\mathcal {Z}})$.

Ebenso ist das Mengensystem, das bei der Vereinigung aller endlichen Rechteckszylinder entsteht,

${\mathcal {Z}}^{R}:=\bigcup _{J\subseteq I \atop J{\text{ endlich}}}{\mathcal {Z}}_{J}^{R}$

ein Erzeuger der Produkt-σ-Algebra der ${\mathcal {A}}_{i}$, es ist also

$\bigotimes _{i\in I}{\mathcal {A}}_{i}=\sigma ({\mathcal {Z}}^{R})$.

Literatur

• Jürgen Elstrodt: Maß- und Integrationstheorie. 6., korrigierte Auflage. Springer-Verlag, Berlin Heidelberg 2009, ISBN 978-3-540-89727-9, doi:10.1007/978-3-540-89728-6. 
• Achim Klenke: Wahrscheinlichkeitstheorie. 3. Auflage. Springer-Verlag, Berlin Heidelberg 2013, ISBN 978-3-642-36017-6, doi:10.1007/978-3-642-36018-3.