Radonmaß

Das Radonmaß oder Radon-Maß ist ein Begriff aus dem mathematischen Teilgebiet der Maßtheorie. Es handelt sich um ein spezielles Maß auf der Borelschen σ-Algebra eines Hausdorff-Raums mit bestimmten Regularitätseigenschaften. Der Begriff wird in der Fachliteratur jedoch nicht einheitlich verwendet. Die in diesem Artikel präferierte Definition ist (laut Jürgen Elstrodt) „besonders vorteilhaft für die Behandlung des Darstellungssatzes von Riesz“.<ref>Jürgen Elstrodt: Maß- und Integrationstheorie. 7. Auflage. Springer, Berlin/Heidelberg 2011, ISBN 978-3-642-17904-4, S. vii.</ref> Benannt sind die Radonmaße nach dem Mathematiker Johann Radon.<ref>Radon, Johann Karl August. In: Guido Walz (Hrsg.): Lexikon der Mathematik. 1. Auflage. Spektrum Akademischer Verlag, Mannheim/Heidelberg 2000, ISBN 3-8274-0439-8. </ref>

Definition

Eine Definition (von Laurent Schwartz<ref>Laurent Schwartz: Radon measures on arbitrary topological spaces and cylindrical measures (= Studies in Mathematics. Bd. 6). Oxford University Press, London 1973, ISBN 0-19-560516-0.</ref> und Jürgen Elstrodt<ref>Elstrodt: Maß- und Integrationstheorie. 2009, S. 313.</ref>) lautet:

Sei <math>(X,\tau)</math> ein topologischer Raum, der hausdorff ist. Ein Radonmaß <math>\mu</math> auf <math>X</math> ist ein Maß auf der Borelschen σ-Algebra <math>\mathcal{B}(X)</math>, das lokal endlich und von innen regulär ist.

Lokal-endlich bedeutet: Für jedes <math>x \in X</math> existiert eine Umgebung <math>U</math> mit <math>\mu(U) < \infty</math>.

Von innen regulär bedeutet:

<math>\mu(A)=\sup \{ \mu(K) \mid K\subset A,\ K\ \textrm{kompakt} \}</math>

für alle <math>A\in\mathcal{B}(X)</math>.

Weitere Bedeutungen

Teilweise wird zusätzlich zur obigen Definition noch gefordert, dass das Maß endlich sein soll.

Manche Autoren verwenden den Begriff "Radon-Maß" für ein Borel-Maß, bei dem jede kompakte Menge endliches Maß hat.<ref>Eric W. Weisstein: Radon Measure. In: MathWorld (englisch). </ref> Dabei bezeichnen sie ein Maß als Borel-Maß, wenn es auf der Borelschen σ-Algebra eines topologischen Raumes definiert ist. Für einen lokal kompakten Hausdorff-Raum ist dieses Radon-Maß dann lokal endlich und entspricht somit in diesem Sonderfall einem Borel-Maß (im Sinne eines lokal endlichen Maßes auf der Borelschen σ-Algebra eines Hausdorff-Raumes).

Im Englischen werden lokal endliche Maße auf der Borelschen σ-Algebra eines Hausdorff-Raumes, die von innen regulär sind (also Radon-Maße im Sinne der hier gegebenen Definition) als tight measures bezeichnet<ref></ref>. Sie entsprechen dann aber nicht den straffen Maßen, wie sie im deutschen Sprachraum gebräuchlich sind.

Soweit nicht explizit anders erwähnt, behandelt dieser Artikel die Eigenschaften von Radon-Maßen im Sinne der oben gegebenen Definition.

Beispiele

Beispiele für Maße mit dieser Regularitätseigenschaft sind:

Die Lebesgue-Stieltjes-Maße auf den Borel-Mengen des <math>\mathbb R^n</math> sind genau die Radonmaße.
Das Haar-Maß auf lokalkompakten hausdorffschen topologischen Gruppen.

Zu dem Begriff des Radonmaßes kommt man in natürlicher Weise, wenn man positive <math>\textstyle \left(f\ge 0 \Rightarrow \int f \ge 0 \right)</math> lineare Funktionale „<math>\textstyle \int</math>“ (sogenannte Radon-Integrale) auf <math>C_c(X)</math> (den stetigen, reellwertigen Funktionen mit kompaktem Träger) auf einem lokalkompakten Hausdorff-Raum untersucht. In solchen lokalkompakten Räumen ist die Eigenschaft der Lokal-Endlichkeit eines Maßes äquivalent zu Endlichkeit des Maßes auf kompakten Mengen (siehe Borelmaß).

Eigenschaften

Auf <math>\mathbb R^n</math> ist jedes lokal endliche Borelmaß ein Radonmaß.<ref>Lawrence C. Evans und Ronald F. Gariepy: Measure Theory and Fine Properties of Functions. überarbeitete Auflage. Boca Raton, FL: CRC Press, 2015, ISBN 978-1-4822-4238-6 (Die hier verwendeten Definitionen weichen von den Definitionen dieses Buches stark ab. Nach Definitionen 1.1, 1.6 und 1.9 definieren die Autoren den Begriff Radonmaß als lokal endliches Borelmaß. Nach Theorem 1.8 hat ein Radonmaß im Sinne dieses Buches die Eigenschaften, von innen und außen regulär zu sein.). </ref>
Sei <math>X</math> ein polnischer Raum, <math>\mathcal{M}_1(X)</math> der Raum der Borel-Wahrscheinlichkeitsmaße über <math>X</math> und <math>\mu\in\mathcal{M}_1(X)</math>. Dann ist <math>\mu</math> ein Radonmaß.<ref>Gopinath Kallianpur und Jie Xiong: Stochastic differential equations in infinite-dimensional spaces: Chapter 2. Probability measures. 1995, S. 54, doi:10.1214/lnms/1215451870 (projecteuclid.org). </ref>
Sei <math>G</math> eine hausdorffsche topologische Gruppe, wenn darauf ein nicht-triviales linksinvariantes Radon-Maß <math>\mu</math> existiert, dann ist <math>G</math> lokalkompakt.<ref>Chandra Gowrisankaran: Radon Measures on Groups. In: Proceedings of the American Mathematical Society 25. Nr. 2, 1970, S. 381–84, doi:10.2307/2037226. </ref>

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.

Einzelnachweise