Träger (Maßtheorie)

Der Träger eines Maßes ist ein Begriff aus der Maßtheorie, einem Teilgebiet der Mathematik, das sich mit verallgemeinerten Volumenbegriffen beschäftigt. Ähnlich zum Träger einer Funktion in der Analysis garantiert die Kompaktheit des Trägers gewisse Eigenschaften wie beispielsweise die Integrierbarkeit stetiger Funktionen.

Definition

Gegeben sei ein Hausdorff-Raum $(X,\tau )$ und ein Radon-Maß $\mu$ (im Sinne eines von innen regulären, lokal endlichem Maßes) auf ${\mathcal {B}}:=\sigma (\tau )$ , der borelschen σ-Algebra.

Ist $({\mathcal {O}}_{i})_{i\in I}$ die (möglicherweise überabzählbare) Familie der offenen $\mu$ -Nullmengen, so ist

$O:=\bigcup _{i\in I}O_{i}$

die bezüglich mengentheoretischer Inklusion größte offene $\mu$ -Nullmenge. Ihr Komplement wird der Träger von $\mu$ genannt, also

$\operatorname {supp} (\mu )=X\setminus O$ .

Alternativ findet sich auch die Notation $\operatorname {Tr} (\mu )$ .

Bemerkung

Dass wirklich eine Nullmenge ist, sieht man wie folgt ein: Ist $K\subset O$ und kompakt, existiert per Definition der Kompaktheit eine endliche Überdeckung $O_{i_{k}}$ von . Also ist aufgrund der Monotonie des Maßes $\mu (K)\leq \sum _{k=1}^{n}\mu (O_{i_{k}})=0$ . Da aber $\mu$ von innen regulär ist, folgt $\mu (O)=0$ .

Eigenschaften

Ist der Träger eines Radon-Maßes kompakt, so sind alle stetigen Funktionen $\mu$ -integrierbar, also ist $C(X)\subset {\mathcal {L}}^{1}(\mu )$
Umgekehrt ist auf einem σ-kompakten, lokalkompakten Hausdorff-Raum, bei dem $C(X)\subset {\mathcal {L}}^{1}(\mu )$ für ein Radon-Maß $\mu$ gilt, der Träger dieses Radon-Maßes immer kompakt.

Literatur

Jürgen Elstrodt: Maß- und Integrationstheorie. 6., korrigierte Auflage. Springer-Verlag, Berlin Heidelberg 2009, ISBN 978-3-540-89727-9.

Basierend auf einem Artikel in:

Wikipedia.de