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 als kartesisches Produkt

{\displaystyle \Omega

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$ .

Erläuterungen

Eine Zylindermenge ist folglich von der Form

{\displaystyle \{\omega

für $M\in \Omega _{J}$ .

Insbesondere wenn $\pi _{J}(\omega )=(\pi _{j_{1}}(\omega ),\dots ,\pi _{j_{n}}(\omega ))$ , dann ist die Menge von der Form

{\displaystyle \{\omega

und wird häufig abgekürzt als $Z_{\pi _{j_{1}},\dots ,\pi _{j_{n}},M}$ .

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})

.

Siehe auch

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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.