Zylindrisches Maß – Wikipedia

Ein zylindrisches Maß (seltener auch Zylindermaß) ist in der Maßtheorie eine Mengenfunktion auf der zylindrischen Algebra eines topologischen Vektorraumes, so dass diese auf jeder endlichen Restriktion des gewählten Funktionenraumes ein Maß ist. Zylindrische Maße sind der Prototyp einer Mengenfunktion auf unendlich-dimensionalen Räumen.

Im Allgemeinen ist ein zylindrisches Maß nur endlich additiv und nicht σ-additiv und nur auf den Unter-σ-Algebren ein Maß.

Sei ${\displaystyle X}$ ein topologischer Vektorraum über ${\displaystyle \mathbb {R} }$, ${\displaystyle F}$ ein Vektorraum von linearen reellen Funktionen auf ${\displaystyle X}$ und ${\displaystyle {\mathcal {Zyl}}(X,F)}$ die zylindrische Algebra, das heißt die Familie aller Zylindermengen.

Eine Mengenfunktion

${\displaystyle \nu :{\mathcal {Zyl}}(X,F)\to \mathbb {R} _{+}}$

heißt zylindrisches Maß, falls für alle endlichen Mengen ${\displaystyle G:=\{f_{1},\dots ,f_{n}\}\subseteq F}$ mit ${\displaystyle n\in \mathbb {N} }$ und zylindrischen σ-Algebren ${\displaystyle {\mathcal {E}}(X,G):=\sigma ({\mathcal {Zyl}}(X,G))}$ die Restriktion

${\displaystyle \nu :{\mathcal {E}}(X,G)\to \mathbb {R} _{+}}$

eine σ-additive Funktion ist, das heißt ${\displaystyle \nu }$ ist ein Maß.^[1][2]

Die Menge aller solchen Funktionen notiert man manchmal mit ${\displaystyle {\mathcal {M}}(E)}$.

Die Mengenfunktion ${\displaystyle \nu }$ ist ein zylindrisches Maß, wenn für jeden stetigen linearen Operator ${\displaystyle T:X\to \mathbb {R} ^{n}}$ die Mengenfunktion

${\displaystyle \nu \circ T^{-1}:B\mapsto \nu (T^{-1}(B)),\quad B\in {\mathcal {B}}(\mathbb {R} ^{n})}$

σ-additiv ist.^[3]

• Sei ${\displaystyle \gamma ^{n}(dx)}$ das kanonische gaußsche Maß, ${\displaystyle X}$ ein unendlich-dimensionaler topologischer Vektorraum, ${\displaystyle X_{n}\subset X}$ ein ${\displaystyle n}$-dimensionaler Unterraum und ${\displaystyle T:X\to X_{n}}$ die orthogonale Projektion auf diesen. Für jede Zylindermenge ${\displaystyle C}$ der Form

${\displaystyle C=T^{-1}(C_{n}),\quad C_{n}\in {\mathcal {B}}(X_{n}),}$

definieren wir

${\displaystyle \nu (C)=\gamma ^{n}(C_{n}).}$

Dann nennt man ${\displaystyle \nu }$ das (kanonische) zylindrische gaußsche Maß.^[3]

• Wladimir I. Bogatschow: Gaussian Measures. Hrsg.: American Mathematical Society. 1998, ISBN 1-4704-1869-X. 
• N. N. Vakhania, V. I., Tarieladze, S. A. Chobanyan: Probability Distributions on Banach Spaces. Hrsg.: Springer. Dordrecht 1987. 
• Oleg Smolyanow und Wladimir I. Bogatschow: Topological Vector Spaces and Their Applications. Hrsg.: Springer International Publishing. Deutschland 2017. 
• Xia Dao-Xing: Measure and Integration Theory on Infinite-Dimensional Spaces. In: Abstract Harmonic Analysis. Band 48, 1972. 

• Zylindrische σ-Algebra

1. ↑ Xia Dao-Xing: Measure and Integration Theory on Infinite-Dimensional Spaces. In: Abstract Harmonic Analysis. Band 48, 1972, S. 255. 
2. ↑ Oleg Smolyanow und Wladimir I. Bogatschow: Topological Vector Spaces and Their Applications. Hrsg.: Springer International Publishing. Deutschland 2017, S. 327. 
3. ↑ ^{a b} Wladimir I. Bogatschow: Gaussian Measures. Hrsg.: American Mathematical Society. 1998, ISBN 1-4704-1869-X, S. 136.