Vektorielles Maß

Ein vektorielles Maß ist ein Begriff aus der Maßtheorie. Er stellt eine Verallgemeinerung des Maßbegriffes dar: Das Maß ist nicht mehr reellwertig, sondern vektorwertig. Vektormaße werden unter anderem in der Funktionalanalysis benutzt (Spektralmaß).

Definitionen

Vektorielle Maße sind endlich- oder abzählbar additive Mengenfunktionen mit Werten in einem Banachraum. Genauer seien <math>(\Omega,\Sigma)</math> ein Messraum (also eine nichtleere Menge und eine σ-Algebra) und <math>E</math> ein Banachraum. Eine <math>E</math>-wertige Mengenfunktion auf <math>\Sigma</math> ist eine Funktion <math>\nu\colon\Sigma\rightarrow E</math>. Man nennt <math>\nu</math> ein endlich-additives Maß, falls

<math>\nu(\varnothing)=0</math> und

<math>\nu(A_1\cup\cdots\cup A_n)=\nu(A_1)+\cdots+\nu(A_n)</math>

für endlich viele, paarweise disjunkte Mengen <math>A_1,\ldots,A_n</math> aus <math>\Sigma</math> gilt. Man spricht von einem abzählbar-additiven Maß, falls

<math>\nu(\varnothing)=0</math> und

<math>\nu\bigg(\biguplus_{n=1}^{\infty} A_n\bigg)=\sum_{n=1}^{\infty}\nu(A_n)</math>

für jede Folge <math>(A_n)_{n\in \N}</math> paarweise disjunkter Mengen <math>A_n\in \Sigma</math>, wobei die Konvergenz der Summe auf der rechten Seite im Banachraum <math>E</math> zu verstehen ist. Da das für jede Folge paarweise disjunkter Mengen aus <math>\Sigma</math> gelten soll und da eine beliebige Umordnung einer solchen Folge deren Vereinigung und damit die linke Seite obiger Formel nicht ändert, muss auch die Summe auf der rechten Seite bei Umordnungen unverändert bleiben; das heißt, es liegt automatisch unbedingte Konvergenz vor.

Ist von einem Maß die Rede, so meint man damit ein abzählbar-additives Maß. Es sei <math>M(\Omega,\Sigma,E)</math> die Menge aller <math>E</math>-wertigen Maße auf dem Messraum <math>(\Omega,\Sigma)</math>. Sind <math>\nu_1,\nu_2</math> zwei solche Maße und ist <math>\alpha</math> ein Skalar, so sind durch

<math> (\alpha\cdot \nu_1)(A) := \alpha \cdot \nu_1(A)</math>

Maße <math>\nu_1+\nu_2</math> und <math>\alpha\cdot \nu_1</math> aus <math>M(\Omega,\Sigma,E)</math> gegeben. Die so definierten Operationen machen <math>M(\Omega,\Sigma,E)</math> zu einem Vektorraum.

Ist <math>E=\R</math>, so erhält man den Raum der skalaren Maße <math>M(\Omega,\Sigma) = M(\Omega,\Sigma, \R)</math>, der mit der Totalvariationsnorm <math>\|\nu\| := |\nu|(\Omega) </math> zu einem Banachraum wird. Der Versuch, dies auf Räume vektorieller Maße zu übertragen, stößt auf ein Hindernis. Die verallgemeinerte Totalvariation ist nicht für alle Maße automatisch endlich, was aber durch den Begriff der Semivariation geheilt werden kann.

Totalvariation

Analog zu den signierten Maßen kann man ebenfalls die totale Variation eines vektoriellen Maßes einführen: Es sei <math>\nu</math> eine <math>E</math>-wertige Mengenfunktion. Die totale Variation von <math>\nu</math> ist die Funktion

<math>\|\nu\|\colon\Sigma\rightarrow [0,\infty],</math>

die durch

<math>\|\nu\|(A):=\sup\bigg\{\sum_{n=1}^{\infty}\|\nu(A_n)\|\,|\,(A_n)_{n\in\mathbb{N}}\text{ ist messbare Zerlegung von } A\bigg\}</math>

erklärt ist. Hierbei sind <math>A</math> eine Menge aus <math>\Sigma</math> und eine messbare Zerlegung von <math>A</math> eine Partition von <math>A</math>, die aus Mengen aus <math>\Sigma</math> besteht. Man kann zeigen, dass die totale Variation von <math>\nu</math> ein endlich bzw. abzählbar additives, positives Maß ist, wenn <math>\nu</math> endlich bzw. abzählbar additiv ist. Ein vektorielles Maß ist von beschränkter Variation, wenn seine totale Variation endlich ist, das heißt, wenn <math>\|\nu\|(\Omega) < \infty</math>. Manche Autoren, z. B. Serge Lang<ref>Serge Lang: Real Analysis (= Addison-Wesley Series in Mathematics). Addison-Wesley, Reading MA u. a. 1969, ISBN 0-201-04179-0.</ref>, verstehen unter vektoriellen Maßen nur solche von beschränkter Variation. Wir folgen hier der Terminologie von Diestel-Uhl<ref>J. Diestel, J. J. Uhl Jr.: Vector measures. 1977.</ref>, in der vektorielle Maße nicht von beschränkter Variation sein müssen. Es gilt folgender Satz<ref>Serge Lang: Real Analysis (= Addison-Wesley Series in Mathematics). Addison-Wesley, Reading MA u. a. 1969, ISBN 0-201-04179-0, XI, 4.5. Theorem 8.</ref>:

Ist der Banachraum <math>E</math> endlich-dimensional, so ist die totale Variation von <math>\nu</math> ein endliches Maß, das heißt <math>\nu</math> ist von beschränkter Variation.

In unendlich-dimensionalen Banachräumen ist ein vektorielles Maß nicht notwendig von beschränkter Variation. Als Beispiel sei <math>(\Omega,\Sigma)</math> die Halbgerade <math>\R_0^+=[0,\infty)</math> mit den Borelmengen, <math>E</math> sei der Folgenraum <math>\ell^2</math>. Für <math>A\in\Sigma</math> sei <math>\nu(A) := (\frac{1}{n}\lambda(A\cap[n-1,n]))_{n\in \N} \in \ell^2</math>, wobei <math>\lambda</math> das Lebesguemaß auf <math>[0,\infty)</math> sei. Dann ist <math>\nu</math> ein vektorielles Maß mit Werten in <math>\ell^2</math>, das nicht von beschränkter Variation ist.<ref>Serge Lang: Real Analysis (= Addison-Wesley Series in Mathematics). Addison-Wesley, Reading MA u. a. 1969, ISBN 0-201-04179-0, XI, 4.5.</ref>

Der Raum <math>M^1(\Omega,\Sigma, E)</math> der abzählbar additiven Maße beschränkter Variation mit Werten im Banachraum <math>E</math> ist ein Untervektorraum von <math>M(\Omega,\Sigma,E)</math>. Mit der totalen Variation <math>\|\nu\| := \|\nu\|(\Omega)</math> als Norm wird <math>M^1(\Omega,\Sigma, E)</math> zu einem Banachraum.

Semivariation

Die hier vorgestellte Semivariation eines vektoriellen Maßes behebt den Nachteil der totalen Variation, nicht immer endlich zu sein. Dies erkauft man sich allerdings damit, nicht immer ein abzählbar additives Maß zu erhalten. Es seien wieder <math>(\Omega,\Sigma)</math> ein Messraum, <math>E</math> ein Banachraum und <math>\nu\colon\Sigma \rightarrow E</math> ein vektorielles Maß. Leicht überlegt man sich, dass <math>\varphi\circ \nu</math> für jedes <math>\varphi</math> aus dem Dualraum <math>E'</math> ein skalares Maß auf <math>(\Omega,\Sigma)</math> ist. Wir erhalten auf diese Weise einen linearen Operator

<math>T_\nu\colon E' \rightarrow M(\Omega,\Sigma), \quad T_\nu(\varphi) := \varphi\circ \nu</math>

in den Banachraum <math>M(\Omega,\Sigma)</math> der skalaren Maße auf <math>(\Omega,\Sigma)</math>. Mit Hilfe des Satzes vom abgeschlossenen Graphen zeigt man, dass <math>T_\nu</math> sogar beschränkt ist. Damit definiert man eine Abbildung <math>\Sigma \rightarrow \R</math> durch

<math>|\nu|_\infty(A) := \sup\{|\varphi\circ \nu|(A);\,\varphi \in E', \|\varphi\|\le 1\}</math>

und nennt <math>|\nu|_\infty(\cdot)\colon\Sigma \rightarrow \R </math> die Semivariation von <math>\nu</math>. Wegen

<math>|\nu|_\infty(A) \le |\nu|_\infty(\Omega) = \sup\{\|T_\nu(\varphi)\|;\,\varphi \in E', \|\varphi\|\le 1\} = \|T_\nu\|</math>

ist diese Größe zwar stets endlich, allerdings ist die Semivariation im Allgemeinen nur eine monotone, abzählbar subadditive Mengenfunktion. <math>M(\Omega,\Sigma,E)</math> wird mit der Norm

<math>\|\nu\|_\infty := |\nu|_\infty(\Omega) = \|T_\nu\|</math>

ein Banachraum.<ref>Raymond A. Ryan: Introduction to Tensor Products of Banach Spaces, Springer-Verlag 2002, ISBN 1-85233-437-1, Satz 5.3</ref>

Beispiele

Jedes komplexe bzw. signierte Maß ist ein vektorielles Maß.
Jedes Spektralmaß definiert ein endlich additives vektorielles Maß.
Es seien <math>\Omega</math> das Einheitsintervall <math>[0,1]</math> und <math>\Sigma</math> die <math>\sigma</math>-Algebra der Lebesgue-messbaren Mengen von <math>\Omega</math>. Für <math>A</math> in <math>\Sigma</math> bezeichne <math>\nu(A):=\chi_A</math> die charakteristische Funktion von <math>A</math>. Je nach Wahl des Wertebereichs werden hierdurch unterschiedliche vektorielle Maße definiert:
- Die Funktion <math>\nu\colon\Sigma\rightarrow L^{\infty}[0,1]</math> ist ein endlich additives vektorielles Maß, das nicht abzählbar additiv und nicht von beschränkter Variation ist.
- Die Funktion <math>\nu\colon\Sigma\rightarrow L^1[0,1]</math> ist ein abzählbar additives vektorielles Maß.
Es sei <math>(\Omega,\Sigma)=(\N,\mathcal{P}(\N))</math> und <math>E</math> sei der Folgenraum <math>c_0</math> der Nullfolgen. Wähle ein festes <math>(\alpha_n)_n\in c_0</math> und definiere das vektorielle Maß <math>\nu\colon\mathcal{P}(\N) \rightarrow c_0</math> durch

<math>\nu(A) := \sum_{n\in A} \alpha_n e_n</math>,

wobei <math>e_n \in c_0</math> die Folge sei, die an der n-ten Stelle eine 1 und sonst nur Nullen hat. Für die Totalvariation gilt

<math>\|\nu\|(A) = \sum_{n\in A}|\alpha_n|</math>

und für die Semivariation erhält man

<math>|\nu|_\infty(A) = \sup_{n\in A}|\alpha_n|</math>.

Das Integral nach einem vektoriellen Maß

Es seien wie oben <math>(\Omega,\Sigma)</math> ein Messraum, <math>E</math> ein Banachraum und <math>\nu\colon\Sigma \rightarrow E</math> ein vektorielles Maß. Weiter sei <math>B(\Omega,\Sigma)</math> der Banachraum der beschränkten, messbaren Funktionen <math>\Omega\rightarrow \R</math> (oder <math>\Complex</math>) mit der Supremumsnorm <math>\|\cdot\|_\infty</math>. Wir wollen das Integral

<math>\int_\Omega f\mathrm{d}\nu \in E</math>

für Funktionen <math>f\in B(\Omega,\Sigma)</math> erklären. Jedes <math>f\in B(\Omega,\Sigma)</math> definiert ein stetiges, lineares Funktional

<math>\psi_f\colon M(\Omega, \Sigma) \rightarrow \R, \quad \psi_f(\mu) := \int_\Omega f \mathrm{d}\mu</math>.

Beachte, dass in dieser Definition nur das Integral bzgl. eines skalaren Maßes vorkommt, das an dieser Stelle als bekannt vorausgesetzt ist.

Wir erinnern an den oben eingeführten Operator

<math>T_\nu\colon E'\rightarrow M(\Omega, \Sigma),\quad T_\nu(\varphi) := \varphi\circ \nu</math>.

und betrachten den dazu adjungierten Operator

<math>T_\nu'\colon M(\Omega, \Sigma)' \rightarrow E</math>.

Diesen können wir also auf <math>\psi_f</math> anwenden und definieren so

<math>\int_\Omega f\mathrm{d}\nu := T_\nu'(\psi_f) \in E</math>.

Schließlich überlegt man sich, dass das so definierte Integral sogar in <math>E</math> liegt, wobei man <math>E</math> wie üblich mittels der kanonischen Einbettung in den Bidualraum als Untervektorraum von <math>E</math> auffasst. Da die einfachen Funktionen dicht in <math>B(\Omega,\Sigma)</math> liegen, genügt es für eine charakteristische Funktion <math>f=\chi_A</math> zu zeigen, dass obiges Integral tatsächlich in <math>E</math> liegt. Da die dazu erforderliche Rechnung obige Definitionen verdeutlicht, soll sie als Beispiel eines solchen Integrals ausgeführt werden. Da obige Definition ein Element aus <math>E</math> ist, können wir sie auf ein beliebiges <math>\varphi \in E'</math> anwenden und erhalten

<math>\int_\Omega \chi_A\mathrm{d}\nu (\varphi) := T_\nu'(\psi_{\chi_A}) (\varphi) = (\psi_{\chi_A}\circ T_\nu)(\varphi) = \psi_{\chi_A}(T_\nu(\varphi))</math>

<math>=\psi_{\chi_A}(\varphi\circ \nu) = \int_\Omega \chi_A \mathrm{d}(\varphi\circ \nu) = (\varphi\circ \nu)(A) = \varphi(\nu(A))</math>.

Da <math>\varphi \in E'</math> beliebig war, folgt

<math>\int_\Omega \chi_A\mathrm{d}\nu = \nu(A)</math>

und das ist tatsächlich ein Element aus <math>E</math>. Also ist das oben definierte Integral für alle beschränkten, messbaren Funktionen ein Element aus <math>E</math>. Diese Rechnung zeigt darüber hinaus, dass man für einfache Funktionen die erwartete Formel

<math>\int_\Omega \sum_{k=1}^n\alpha_k\chi_{A_k}\,\mathrm{d}\nu \, = \, \sum_{k=1}^n\alpha_k \nu(A_k)</math>

erhält. Das Integral über eine messbare Teilmenge <math>A\subset \Omega</math> wird dann wie üblich durch

<math>\int_A f\mathrm{d}\nu := \int_\Omega \chi_A\cdot f\,\mathrm{d}\nu </math>

definiert. Es gilt folgende Abschätzung:

<math>\big\|\int_A f\mathrm{d}\nu\big\| \le \|f\|_\infty |\nu|_\infty(A)</math>

für alle <math>A\in \Sigma, f\in B(\Omega,\Sigma), \nu \in M(\Omega, \Sigma, E)</math>.<ref>Raymond A. Ryan: Introduction to Tensor Products of Banach Spaces, Springer-Verlag 2002, ISBN 1-85233-437-1, Seite 100 und Satz 5.10</ref>

Verallgemeinerte maßtheoretische Sätze

Satz von Jegorow

Der klassische Satz von Jegorow überträgt sich wie folgt auf vektorielle Maße:<ref>Raymond A. Ryan: Introduction to Tensor Products of Banach Spaces, Springer-Verlag 2002, ISBN 1-85233-437-1, Satz 5.11</ref>

Es seien <math>(\Omega,\Sigma)</math> ein Messraum, <math>E</math> ein Banachraum und <math>\nu\colon\Sigma \rightarrow E</math> ein vektorielles Maß. Es sei weiter <math>(f_n)_{n\in \N}</math> eine Folge <math>\Sigma</math>-messbarer Funktionen, die punktweise gegen eine Funktion <math>f</math> konvergiert. Dann gibt es zu jedem <math>\varepsilon > 0</math> eine messbare Menge <math>A\in \Sigma</math> mit <math>|\nu|_\infty(A)<\varepsilon</math>, so dass die Folge auf <math>\Omega\setminus A</math> gleichmäßig gegen <math>f</math> konvergiert.

Satz von der majorisierten Konvergenz

Der klassische Satz von der majorisierten Konvergenz gilt in folgender Form auch für vektorielle Maße:<ref>Raymond A. Ryan: Introduction to Tensor Products of Banach Spaces, Springer-Verlag 2002, ISBN 1-85233-437-1, Satz 5.12</ref>

Es seien <math>(\Omega,\Sigma)</math> ein Messraum, <math>E</math> ein Banachraum und <math>\nu\colon\Sigma \rightarrow E</math> ein vektorielles Maß. Es sei weiter <math>(f_n)_{n\in \N}</math> eine gleichmäßig beschränkte Folge <math>\Sigma</math>-messbarer Funktionen, die punktweise gegen eine Funktion <math>f</math> konvergiert. Dann konvergiert

<math>\lim_{n\to\infty}\int_\Omega f_n\mathrm{d}\nu \,=\, \int_\Omega f\mathrm{d}\nu</math>.

Satz von Radon-Nikodým

Der klassische Satz von Radon-Nikodým gilt nicht in voller Allgemeinheit für vektorielle Maße. Dazu sei <math>(\Omega,\Sigma)</math> ein Messraum, <math>\mu</math> ein positives Maß auf <math>\Sigma</math>, <math>E</math> ein Banachraum und <math>f\in \mathcal{L}^1(\mu,E)</math>. Dann ist durch

<math> \mu_f(A)\,:=\,\int_A f \mathrm{d}\mu </math>

ein vektorielles Maß

<math>\mu_f \in M^1(\Omega,\Sigma,E)</math> mit <math>\|\mu_f\|=\|f\|_1</math>

definiert.<ref>Serge Lang: Real Analysis (= Addison-Wesley Series in Mathematics). Addison-Wesley, Reading MA u. a. 1969, ISBN 0-201-04179-0, XI, 4.5, Theorem 9.</ref> Beachte, dass wir hier mittels des Bochner-Integrals eine Banachraum-wertige Funktion nach einem skalaren Maß integrieren. Im Gegensatz dazu ist das oben eingeführte Integral für vektorielle Maße für skalarwertige Funktionen erklärt.

Ein vektorielles Maß <math>\nu</math> heißt <math>\mu</math>-stetig oder absolut stetig gegen <math>\mu</math>, falls aus <math>A\in \Sigma</math> und <math>\mu(A)=0</math> stets <math>\nu(A)=0\in E</math> folgt. Leicht zeigt man, dass das oben definierte <math>\mu_f</math> absolut stetig gegen <math>\mu</math> ist. Sei

<math>M^1(\mu,E):= \{\nu \in M^1(\Omega,\Sigma,E);\, \nu \mbox{ absolut stetig gegen } \mu\}</math>.

Dann ist <math>M^1(\mu,E)</math> ein abgeschlossener Unterraum von <math>M^1(\Omega,\Sigma,E)</math>. Der Satz von Radon-Nikodým befasst sich mit der Frage, ob jedes <math>\mu</math>-stetige vektorielle Maß bereits von der Form <math>\mu_f</math> ist. In Verallgemeinerung des klassischen Satzes von Radon-Nikodým erhält man:<ref>Serge Lang: Real Analysis (= Addison-Wesley Series in Mathematics). Addison-Wesley, Reading MA u. a. 1969, ISBN 0-201-04179-0, XI, 4.5, Korollar 2 zu Theorem 10.</ref>

Sei <math>\mu</math> ein σ-endliches, positives Maß auf dem Messraum <math>(\Omega,\Sigma)</math>, <math>E</math> sei ein Hilbertraum. Dann ist die Abbildung <math>L^1(\mu, E) \rightarrow M^1(\mu, E)</math>, <math>f \mapsto \mu_f</math> ein isometrischer Isomorphismus. Insbesondere ist jedes <math>\mu</math>-stetige vektorielle Maß aus <math>M^1(\Omega,\Sigma,E)</math> von der Form <math>\mu_f</math>, wobei <math>f\in \mathcal{L}^1(\mu,E)</math> <math>\mu</math>-eindeutig bestimmt ist.

Neben Hilberträumen gibt es auch andere Banachräume, die eine analoge Eigenschaft erfüllen, diese nennt man Räume mit Radon-Nikodym-Eigenschaft.

Tensorprodukte

Eine Möglichkeit, aus skalarwertigen Funktionen solche mit Werten in einem Banachraum zu konstruieren, ist die Verwendung von Tensorprodukten. Es liegt daher nahe, Tensorprodukte <math>M(\Omega,\Sigma)\otimes E</math> zu betrachten. Jedes

<math>\nu = \sum_{k=1}^n\mu_k\otimes x_k \in M(\Omega,\Sigma)\otimes E</math>

ist mit der Definition

ein vektorielles Maß. Die verschiedenen Möglichkeiten, solche Tensorprodukte zu normieren, führen zu der oben eingeführten Totalvariationen bzw. Semivariation.

Projektives Tensorprodukt

Die Norm <math>\|\cdot\|_\pi</math> des projektiven Tensorprodukts fällt mit der Totalvariation zusammen, das heißt für jedes <math>\textstyle \nu = \sum_{k=1}^n\mu_k\otimes x_k \in M(\Omega,\Sigma)\otimes E</math> ist <math>\|\nu\|_\pi = \|\nu\|</math> die Totalvariation des Maßes. Insbesondere sind all diese Maße von beschränkter Totalvariation und die Vervollständigung <math>M(\Omega,\Sigma)\hat{\otimes}_\pi E</math> ist isometrisch isomorph zu einem Untervektorraum von <math>(M^1(\Omega,\Sigma,E),\|\cdot\|)</math>. Dies ist im Allgemeinen ein echter Untervektorraum, genauer handelt es sich um den Untervektorraum der vektoriellen Maße mit Radon-Nikodym-Eigenschaft.<ref>Raymond A. Ryan: Introduction to Tensor Products of Banach Spaces, Springer-Verlag 2002, ISBN 1-85233-437-1, Theorem 5.22</ref>

Injektives Tensorprodukt

Die Norm <math>\|\cdot\|_\varepsilon</math> des injektiven Tensorprodukts fällt mit der Semivariation zusammen, das heißt für jedes <math>\textstyle \nu = \sum_{k=1}^n\mu_k\otimes x_k \in M(\Omega,\Sigma)\otimes E</math> ist <math>\|\nu\|_\varepsilon = \|\nu\|_\infty</math> die Semivariation des Maßes. Die Vervollständigung <math>M(\Omega,\Sigma)\hat{\otimes}_\varepsilon E</math> ist isometrisch isomorph zu einem Untervektorraum von <math>(M(\Omega,\Sigma,E),\|\cdot\|_\infty)</math>. Dies ist im Allgemeinen ein echter Untervektorraum, genauer handelt es sich um den Untervektorraum der vektoriellen Maße, deren Bildmenge <math>\nu(\Sigma) \subset E</math> relativ kompakt ist.<ref>Raymond A. Ryan: Introduction to Tensor Products of Banach Spaces, Springer-Verlag 2002, ISBN 1-85233-437-1, Satz 5.18</ref>

Einzelnachweise

Literatur

Joseph Diestel, John J. Uhl Jr.: Vector measures (= Mathematical Surveys. Bd. 15). American Mathematical Society, Providence RI 1977, ISBN 0-821-81515-6.
Serge Lang: Real and Functional Analysis (= Graduate Texts in Mathematics. Bd. 142). 3rd edition. Springer, New York NY u. a. 1993, ISBN 0-387-94001-4.
Tsoy-Wo Ma: Banach-Hilbert Spaces, Vector Measures and Group Representations. World Scientific Publishing Company, River Edge NJ u. a. 2002, ISBN 981-238-038-8.
Raymond A. Ryan: Introduction to Tensor Products of Banach Spaces, Springer-Verlag 2002, ISBN 1-85233-437-1