Lokal endliches Maß

Ein lokal endliches Maß ist in der Mathematik, genauer in der Maßtheorie, eine Abbildung, die Teilmengen von topologischen Räumen ein abstrahiertes Volumen zuordnet. Die lokale Endlichkeit ist eine wichtige Eigenschaft bei der Untersuchung von Maßen auf topologischen Räumen, weil sie für jeden Punkt die Existenz einer Umgebung mit endlichem Maß garantiert.

Definition

Gegeben sei ein Hausdorff-Raum $(X,\tau )$ sowie eine σ-Algebra $\mathcal A$ , die mindestens die Borelsche σ-Algebra ${\mathcal {B}}:=\sigma (\tau )$ enthält, also ${\mathcal {A}}\supset {\mathcal {B}}$ . Dann heißt ein Maß

$\mu :{\mathcal {A}}\to [0,\infty ]$

ein lokal endliches Maß, wenn für jedes $x\in X$ eine offene Umgebung $U_{x}$ existiert, so dass $\mu (U_{x})<\infty$ .

Beispiele

Jedes endliche Maß ist lokal endlich.
Das Lebesgue-Maß ist lokal endlich, eine mögliche offene Umgebung endlichen Maßes von wäre $(x-\epsilon ,x+\epsilon )$ für $\epsilon >0$ .

Eigenschaften

Ist $\mu$ lokal endlich, so hat jede kompakte Menge endliches Maß. Denn es ist

$K\subset \bigcup _{x\in K}U_{x}$ ,

aber aufgrund der Kompaktheit existiert eine endliche Teilüberdeckung $(U_{x_{i}})_{i=1,\dots ,n}$ und damit

$\mu (K)\leq \sum _{i=1}^{n}\mu (U_{x_{i}})<\infty$ .

Ist lokalkompakt, so gilt auch die Umkehrung, also dass $\mu$ genau dann lokal endlich ist, wenn jede kompakte Menge endliches Maß hat.

Literatur

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

Basierend auf einem Artikel in:

Wikipedia.de

Lokal endliches Maß

Definition

Beispiele

Eigenschaften

Verwandte Konzepte

Borel-Maße

Radon-Maße

Literatur