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

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

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

${\pi }_J:\mathrm{\Omega }\to \prod _{i\in J}{\mathrm{\Omega }}_i,{\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 \mathrm{\Omega }\text{ für }M\subseteq {\mathrm{\Omega }}_J:=\prod _{i\in J}{\mathrm{\Omega }}_i$

eine Zylindermenge mit Basis $J$.

Erläuterungen

Eine Zylindermenge ist folglich von der Form

$\{\omega :{\pi }_J(\omega )\in M\}\subset \mathrm{\Omega }$

für $M\subseteq {\mathrm{\Omega }}_J$.

Insbesondere wenn ${\pi }_J(\omega )=({\pi }_{j_1}(\omega ),\dots ,{\pi }_{j_n}(\omega ))$, dann ist die Menge von der Form

$\{\omega :({\pi }_{j_1}(\omega ),\dots ,{\pi }_{j_n}(\omega ))\in M\}$

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 ${\mathrm{\Omega }}_J$ eine σ-Algebra ${𝒜}_J$ gegeben, so nennt man das Mengensystem

${𝒵}_J:=\{{\pi }_J^{-1}(A_J)|A_J\in {𝒜}_J\}$

das Mengensystem der Zylindermengen.

Rechteckszylinder

Lässt sich ein Element der σ-Algebra ${𝒜}_J$ als kartesisches Produkt von Mengen aus den σ-Algebren ${𝒜}_j$ auf ${\mathrm{\Omega }}_i$ schreiben, also

$A_J=\prod _{i\in J}{A}_i\text{ für }{A}_i\in {𝒜}_i$,

so nennt man $A_J$ einen Rechteckszylinder mit Basis $J$. Man definiert dann

${𝒵}_J^R:=\{{\pi }_J^{-1}(A_J)|A_J\text{ ist Rechteckszylinder}\}$

als Mengensystem aller Rechteckszylinder.

Eigenschaften

Definiert man das Mengensystem

$𝒵:=\bigcup _{\genfrac{}{}{0ex}{}{J\subseteq I}{J\text{ endlich}}}{𝒵}_J$,

so ist dies ein Erzeuger der Produkt-σ-Algebra der ${𝒜}_i$, es ist also

$\underset{i\in I}{⨂}{𝒜}_i=\sigma (𝒵)$.

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

${𝒵}^R:=\bigcup _{\genfrac{}{}{0ex}{}{J\subseteq I}{J\text{ endlich}}}{𝒵}_J^R$

ein Erzeuger der Produkt-σ-Algebra der ${𝒜}_i$, es ist also

$\underset{i\in I}{⨂}{𝒜}_i=\sigma ({𝒵}^R)$.

Siehe auch

• zylindrische σ-Algebra
• Zylindrisches Maß

Literatur

• Vorlage:Literatur
• Vorlage:Literatur