σ-endliches Maß

Artikel bearbeiten

In der Mathematik heißt ein positives (oder vorzeichenbehaftetes ) Maß μ, das auf einer σ- Algebra Σ von Teilmengen einer Menge X definiert ist, endliches Maß, wenn μ ( X ) eine endliche reelle Zahl (statt ∞) ist und eine Menge A in Σ ist endlich, wenn μ ( A ) lt;. Das Maß μ heißt σ-endlich, wenn X eine abzählbare Vereinigung von messbaren Mengen mit endlichem Maß ist. Eine Menge in einem Maßraum heißt σ -endliches Maß, wenn sie eine abzählbare Vereinigung von messbaren Mengen mit endlichem Maß ist. Ein -endliches Maß ist eine schwächere Bedingung als endlich, dh alle endlichen Maße sind σ-endlich, aber es gibt (viele) σ-endliche Maße, die nicht endlich sind.

Ein anderer, aber verwandter Begriff, der nicht mit Sigma-Endlichkeit verwechselt werden sollte, ist s-Endlichkeit.

Inhalt

1 Definition
2 Beispiele
- 2.1 Lebesgue-Maßnahme
- 2.2 Zählmaß
- 2.3 Lokal kompakte Gruppen
- 2.4 Negativbeispiele
3 Eigenschaften
- 3.1 Äquivalenz zu einem Wahrscheinlichkeitsmaß
4 Verwandte Konzepte
- 4.1 Moderate Maßnahmen
- 4.2 Zersetzbare Maßnahmen
- 4.3 s-endliche Maße
5 Siehe auch
6 Referenzen

Definition

Sei ein messbarer Raum und ein Maß darauf. $(X,{\mathcal {A}})$

(x, EIN)

{\displaystyle (X,{\mathcal{A}})}

(X,{\mathcal{A}})

\mu

{\displaystyle\mu}

\mu

Das Maß wird als σ-endliches Maß bezeichnet, wenn es eines der folgenden vier gleichwertigen Kriterien erfüllt: $\mu$

{\displaystyle\mu}

\mu

die Menge kann mit höchstens abzählbar vielen messbaren Mengen mit endlichem Maß abgedeckt werden. Das bedeutet, dass es Sets mit für alle gibt, die zufriedenstellen.x

{\displaystyle X} $x$ $A_{1},A_{2},\ldots \in {\mathcal {A}}$ EIN 1, EIN 2,…∈ EIN

{\displaystyle A_{1},A_{2},\ldots\in {\mathcal{A}}} $A_{1},A_{2},\ldots\in {\mathcal{A}}$ $\mu \left(A_{n}\right)lt;\infty$ μ ( EIN n )lt;∞

{\displaystyle \mu\left(A_{n}\right)lt;\infty} $\mu\left(A_{n}\right)lt;\infty$ $n\in \mathbb {N}$ n∈ n

{\displaystyle n\in\mathbb{N}} $n\in\mathbb{N}$ $\bigcup _{n\in \mathbb {N} }A_{n}=X$ ⋃ n ∈ n EIN n=x

{\displaystyle \bigcup_{n\in\mathbb{N}}A_{n}=X} $\bigcup_{n\in\mathbb{N}}A_{n}=X$
die Menge kann mit höchstens abzählbar vielen messbaren disjunkten Mengen mit endlichem Maß abgedeckt werden. Das heißt, es gibt Sets mit für alle und für die befriedigen.x

{\displaystyle X} $x$ $B_{1},B_{2},\ldots \in {\mathcal {A}}$ B 1, B 2,…∈ EIN

{\displaystyle B_{1},B_{2},\ldots\in {\mathcal{A}}} $B_{1},B_{2},\ldots\in {\mathcal{A}}$ $\mu \left(B_{n}\right)lt;\infty$ μ ( B n )lt;∞

{\displaystyle \mu\left(B_{n}\right)lt;\infty} $\mu\left(B_{n}\right)lt;\infty$ $n\in \mathbb {N}$ n∈ n

{\displaystyle n\in\mathbb{N}} $n\in\mathbb{N}$ $B_{i}\cap B_{j}=\varnothing$ B ich∩ B J=∅

{\displaystyle B_{i}\cap B_{j}=\varnothing} $B_{i}\cap B_{j}=\varnothing$ $i\neq j$ ich≠J

{\displaystyle i\neq j} $i\neq j$ $\bigcup _{n\in \mathbb {N} }B_{n}=X$ ⋃ n ∈ n B n=x

{\displaystyle \bigcup_{n\in\mathbb{N}}B_{n}=X} $\bigcup_{n\in\mathbb{N}}B_{n}=X$
die Menge kann mit einer monotonen Folge messbarer Mengen mit endlichem Maß abgedeckt werden. Das bedeutet, dass es Sets mit und für alles gibt, die befriedigen.x

{\displaystyle X} $x$ $C_{1},C_{2},\ldots \in {\mathcal {A}}$ C 1, C 2,…∈ EIN

{\displaystyle C_{1},C_{2},\ldots\in {\mathcal{A}}} $C_{1},C_{2},\ldots\in {\mathcal{A}}$ $C_{1}\subset C_{2}\subset \cdots$ C 1⊂ C 2⊂⋯

{\displaystyle C_{1}\subset C_{2}\subset \cdots} $C_{1}\subset C_{2}\subset \cdots$ $\mu \left(C_{n}\right)lt;\infty$ μ ( C n )lt;∞

{\displaystyle \mu\left(C_{n}\right)lt;\infty} $\mu\left(C_{n}\right)lt;\infty$ $n\in \mathbb {N}$ n∈ n

{\displaystyle n\in\mathbb{N}} $n\in\mathbb{N}$ $\bigcup _{n\in \mathbb {N} }C_{n}=X$ ⋃ n ∈ n C n=x

{\displaystyle \bigcup_{n\in\mathbb{N}}C_{n}=X} $\bigcup_{n\in\mathbb{N}}C_{n}=X$
es gibt eine streng positiv messbare Funktion, deren Integral endlich ist. Das bedeutet für alle und.F

{\displaystyle f} $F$ $f(x)gt;0$ F(x)gt;0

{\displaystyle f(x)gt;0} $f(x)gt;0$ $x\in X$ x∈x

{\displaystyle x\in X} $x\in X$ $\int f(x)\mu (\mathrm {d} x)lt;\infty$ ∫F(x)μ( Dx)lt;∞

{\displaystyle \int f(x)\mu(\mathrm{d}x)lt;\infty} $\int f(x)\mu(\mathrm{d}x)lt;\infty$

Wenn es sich um ein -endliches Maß handelt, wird der Maßraum als -endlicher Maßraum bezeichnet. $\mu$

{\displaystyle\mu}

\mu

\sigma

{\displaystyle \sigma}

\sigma

(X,{\mathcal {A}},\mu )

(x, EIN,μ)

{\displaystyle (X,{\mathcal{A}},\mu)}

(X,{\mathcal{A}},\mu)

\sigma

{\displaystyle \sigma}

\sigma

Beispiele

Lebesgue-Maßnahme

Zum Beispiel ist das Lebesgue-Maß für die reellen Zahlen nicht endlich, aber es ist σ-endlich. Betrachten Sie tatsächlich die Intervalle [ k, k + 1) für alle ganzen Zahlen k ; es gibt abzählbar viele solcher Intervalle, jedes hat den Takt 1 und ihre Vereinigung ist die gesamte reelle Linie.

Zählmaß

Betrachten Sie alternativ die reellen Zahlen mit dem Zählmaß ; Das Maß jeder endlichen Menge ist die Anzahl der Elemente in der Menge, und das Maß jeder unendlichen Menge ist die Unendlichkeit. Dieses Maß ist nicht σ- endlich, weil jede Menge mit endlichem Maß nur endlich viele Punkte enthält und es unzählig viele solcher Mengen braucht, um die gesamte reelle Gerade abzudecken. Aber die Menge der natürlichen Zahlen mit dem Zählmaß ist σ -endlich. $\mathbb {N}$

{\displaystyle \mathbb{N}}

\mathbb N

Lokal kompakte Gruppen

Lokal kompakte Gruppen, die σ-kompakt sind, sind -endlich unter dem Haar-Maß. Zum Beispiel sind alle zusammenhängenden, lokal kompakten Gruppen G σ-kompakt. Um dies zu sehen, sei V eine relativ kompakte, symmetrische (dh V = V ⁻¹ ) offene Umgebung der Identität. Dann

H=\bigcup _{n\in \mathbb {N} }V^{n}

h= ⋃ n ∈ n V n

{\displaystyle H=\bigcup_{n\in\mathbb{N}}V^{n}}

H = \bigcup_{n\in\mathbb{N}} V^n

ist eine offene Untergruppe von G. Daher ist auch H abgeschlossen, da sein Komplement eine Vereinigung offener Mengen ist und nach Zusammenhang von G selbst G sein muss. Somit sind alle zusammenhängenden Lie-Gruppen -endlich unter Haar-Maß.

Negativbeispiele

Jedes nicht-triviale Maß nimmt nur die beiden Werte 0 an und ist eindeutig nicht σ-endlich. Ein Beispiel in ist: for all, genau dann, wenn A nicht leer ist; eine andere ist: für alle, wenn und nur wenn A überzählbar ist, sonst 0. Beide sind übrigens translationsinvariant. $\infty$

∞

{\displaystyle\infty}

\infty

\mathbb {R}

{\displaystyle \mathbb{R}}

\mathbb{R}

A\subset \mathbb {R}

EIN⊂ R

{\displaystyle A\subset \mathbb{R}}

A\subset \mathbb{R}

\mu (A)=\infty

μ(EIN)=∞

{\displaystyle \mu(A)=\infty}

\mu(A)=\infty

A\subset \mathbb {R}

EIN⊂ R

{\displaystyle A\subset \mathbb{R}}

A\subset \mathbb{R}

\mu (A)=\infty

μ(EIN)=∞

{\displaystyle \mu(A)=\infty}

\mu(A)=\infty

Eigenschaften

Die Klasse der σ-endlichen Maße hat einige sehr praktische Eigenschaften; σ-Endlichkeit kann in dieser Hinsicht mit der Trennbarkeit topologischer Räume verglichen werden. Einige Theoreme in der Analysis erfordern σ-Endlichkeit als Hypothese. In der Regel sowohl die Radon-Nikodym und Satz von Fubini sind unter der Annahme von σ-Endlichkeit über die Maßnahmen angegeben beteiligt. Sie erfordern jedoch, wie in Segals Aufsatz "Äquivalenzen von Maßräumen" ( Am. J. Math. 73, 275 (1953)) gezeigt wird, nur eine schwächere Bedingung, nämlich Lokalisierbarkeit.

Obwohl nicht σ- endliche Maßnahmen manchmal als pathologisch angesehen werden, treten sie in der Tat ganz natürlich auf. Wenn beispielsweise X ein metrischer Raum der Hausdorff-Dimension r ist, dann sind alle niederdimensionalen Hausdorff-Maße nicht-σ-endlich, wenn sie als Maße auf X betrachtet werden.

Äquivalenz zu einem Wahrscheinlichkeitsmaß

Jedes σ-endliches Maß μ auf einen Raum X ist äquivalent zu einem Wahrscheinlichkeitsmaß auf X: gelassen V n, n ∈ N, sein, um eine Abdeckung von X durch paarweise disjunkte Sätze von meßbaren finite μ -Maßnahme, und lassen w n, n ∈ N, sei eine Folge positiver Zahlen (Gewichte) mit

\sum _{n=1}^{\infty }w_{n}=1.

Σ n = 1 ∞ w n=1.

{\displaystyle \sum_{n=1}^{\infty}w_{n}=1.}

\sum_{n = 1}^\infty w_n = 1.

Das Maß ν definiert durch

\nu (A)=\sum _{n=1}^{\infty }w_{n}{\frac {\mu \left(A\cap V_{n}\right)}{\mu \left(V_{n}\right)}}

ν(EIN)= Σ n = 1 ∞ w n μ ( EIN ∩ V n ) μ ( V n )

{\displaystyle \nu(A)=\sum_{n=1}^{\infty}w_{n}{\frac {\mu\left(A\cap V_{n}\right)}{\mu\ links(V_{n}\rechts)}}}

\nu(A)=\sum_{n=1}^{\infty}w_{n}{\frac {\mu\left(A\cap V_{n}\right)}{\mu\ links(V_{n}\rechts)}}

ist dann ein Wahrscheinlichkeitsmaß auf X mit genau denselben Nullmengen wie μ.

Siehe auch

Sigma-Additivität

Verweise

^ Klenke, Achim (2008). Wahrscheinlichkeitstheorie. Berlin: Springer. P. 12. doi : 10.1007/978-1-84800-048-3. ISBN 978-1-84800-047-6.
^ ^a ^b Kallenberg, Olav (2017). Zufällige Messungen, Theorie und Anwendungen. Schweiz: Springer. P. 21. doi : 10.1007/978-3-319-41598-7. ISBN 978-3-319-41596-3.
^ Anosov, DV (2001) [1994], "Raum messen", Enzyklopädie der Mathematik, EMS Press
^ Elstrodt, Jürgen (2009). Mass- und Integrations [ Messen und Integrationstheorie ] (in deutscher Sprache). Berlin: Springer-Verlag. P. 313. doi : 10.1007/978-3-540-89728-6. ISBN 978-3-540-89727-9.
^ Elstrodt, Jürgen (2009). Mass- und Integrations [ Messen und Integrationstheorie ] (in deutscher Sprache). Berlin: Springer-Verlag. P. 318. doi : 10.1007/978-3-540-89728-6. ISBN 978-3-540-89727-9.

σ-endliches Maß

Inhalt

Definition

Beispiele

Lebesgue-Maßnahme

Zählmaß

Lokal kompakte Gruppen

Negativbeispiele

Eigenschaften

Äquivalenz zu einem Wahrscheinlichkeitsmaß

Verwandte konzepte

Moderate Maßnahmen

Zersetzbare Maßnahmen

s-endliche Maße

Siehe auch

Verweise