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 endlichen 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 $O$ 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 $K$. 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.

Weblinks

• M.I. Voitsekhovskii: Support of a measure. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 1-55608-010-7 (englisch, encyclopediaofmath.org). 

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.