Zylindrisches Maß

Ein zylindrisches Maß (seltener auch Zylindermaß oder schwache Distribution) 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. Sie sind somit ein projektives System von Maßen. Zylindrische Maße sind der Prototyp einer Mengenfunktion auf unendlichdimensionalen Räumen.

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

Manche Autoren verwenden den Begriff Zylindermengenmaß (Vorlage:EnS) und reservieren den Begriff zylindrisches Maß nur für σ-additive Maße auf der zylindrischen σ-Algebra. Dies ist in der Literatur aber nicht einheitlich (siehe z. B.). Im Artikel wird deshalb der Begriff zylindrisches Maß als Synonym für das Zylindermengenmaß verwendet und auf letzteren Begriff verzichtet.

Definition

Sei $X$ ein topologischer Vektorraum über $ℝ$ und $X^{*}$ der algebraische Dualraum. Weiter sei $F$ ein Vektorraum von linearen Funktionalen auf $X$, das heißt $F\subseteq X^{*}$, und $𝒵𝓎𝓁(X,F)$ die zylindrische Algebra, das heißt die Familie aller Zylindermengen.

Eine Mengenfunktion

$\nu :𝒵𝓎𝓁(X,F)\to {ℝ}_{+}$

heißt zylindrisches Maß, falls für alle endlichen Mengen $G:=\{f_1,\dots ,f_n\}\subseteq F$ mit $n\in \mathbb{N}$ und zylindrischen σ-Algebren $ℰ(X,G):=\sigma (𝒵𝓎𝓁(X,G))$ die Restriktion

$\nu :ℰ(X,G)\to {ℝ}_{+}$

eine σ-additive Funktion ist, das heißt $\nu$ ist ein Maß.

Wie üblich nennt man ein zylindrisches Maß mit der Eigenschaft $\nu (E)=1$ ein zylindrisches Wahrscheinlichkeitsmaß. Die Menge aller zylindrischen Maße notiert man manchmal mit $ℳ(E)$.

Alternative Charakterisierung

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

$\nu \circ T^{-1}:B\mapsto \nu (T^{-1}(B)),B\in ℬ({ℝ}^n)$

σ-additiv ist.

Zusammenhang zu den abstrakten Wiener-Räumen

Vorlage:Hauptartikel Der abstrakte Wiener-Raum $(H,B,i)$ liefert eine Möglichkeit um von einem zylindrischen Gauß-Maß $\gamma$ in einem separablen Hilbertraum $H$ ein σ-additives Gauß-Maß auf der zylindrischen Algebra $𝒵𝓎𝓁(B,B^{\prime })$ des Banachraumes zu erhalten. Die σ-Additivität bleibt auf der zylindrischen σ-Algebra bestehen $ℰ(B,B^{\prime })$, weshalb das zylindrische Maß auch als Maß im klassischen Sinne auf der σ-Algebra definiert werden kann.

Beispiele

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

$C=T^{-1}(C_n),C_n\in ℬ(X_n),$

definieren wir

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

Dann nennt man $\nu$ das (kanonische) zylindrische gaußsche Maß.

Literatur

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

Siehe auch

• Zylindrische σ-Algebra