σしぐま-Stetigkeit

Die σしぐま-Stetigkeit ist in der Mathematik eine Eigenschaft von Mengenfunktionen, also Funktionen, die nicht Punkte, sondern Mengen als Argument („Input“) nehmen. Man unterscheidet in σしぐま-Stetigkeit von unten (oder kurz Stetigkeit von unten), σしぐま-Stetigkeit von oben (oder kurz Stetigkeit von oben) und $\emptyset$-Stetigkeit. Diese Arten von Stetigkeit spielen eine Rolle in der Stochastik und Maßtheorie, wo sie zu den elementaren Eigenschaften von Wahrscheinlichkeitsmaßen und Maßen gehören.

Definition

Gegeben sei ein Mengenring ${\mathcal {M}}$ auf dem ein Inhalt $\mu :{\mathcal {M}}\to [0,\infty ]$ erklärt ist.

Die Mengenfunktion $\mu$ heißt dann

• σしぐま-stetig von unten in $A$, wenn für jede monoton wachsende Mengenfolge $A_{n}\uparrow A$ aus ${\mathcal {M}}$ immer $\lim _{n\to \infty }\mu (A_{n})=\mu (A)$ ist.
• σしぐま-stetig von oben in $A$, wenn für jede monoton fallende Mengenfolge $A_{n}\downarrow A$ aus ${\mathcal {M}}$ mit $\mu (A_{n})<\infty$ für alle $n\in \mathbb {N}$ immer $\lim _{n\to \infty }\mu (A_{n})=\mu (A)$ ist.

Sie heißt nun

• σしぐま-stetig von unten, wenn sie σしぐま-stetig von unten für alle $A\in {\mathcal {M}}$ ist.
• σしぐま-stetig von oben, wenn sie σしぐま-stetig von oben für alle $A\in {\mathcal {M}}$ ist.
• $\emptyset$-stetig, wenn sie stetig von oben in der leeren Menge $\emptyset$ ist.

Die Definitionen übertragen sich identisch auf den spezielleren Standardfall eines Maßes auf einer σしぐま-Algebra.

Bemerkung

Im Falle von endlichen Mengenfunktionen wie Wahrscheinlichkeitsmaßen und endlichen Maßen kann bei der Definition der σしぐま-Stetigkeit von oben auf das Endlichkeitskriterium verzichtet werden, da immer $\mu (X)<\infty$ ist. Im allgemeinen Fall ist dies jedoch nicht möglich. Betrachtet man beispielsweise die Mengenfunktion

$\mu :{\mathcal {P}}(\mathbb {N} )\to [0,\infty ]$

definiert durch

$\mu (A):=\#A$,

das sogenannte Zählmaß ($\#A$ bezeichnet hier die Menge der Elemente in der Menge $A$), so ist die Mengenfolge

$A_{n}:=\{n,n+1,n+2,\dots \}$

fallend gegen die leere Menge, aber es ist

$0=\mu (\emptyset )\neq \lim _{n\to \infty }\mu (A_{n})=\infty$.

Verwendung

Die Stetigkeit einer Mengenfunktion ist ein wichtiges Hilfsmittel bei vielen Beweisen, da sie es ermöglicht, von der Annäherung der Mengen auf die Annäherung der Funktionswerte zu schließen. Außerdem lassen sich mit ihr äquivalente Charakterisierungen der σしぐま-Additivität von Inhalten angeben und damit Kriterien, unter denen diese Prämaße sind und somit zu Maßen fortgesetzt werden können.

Literatur

• Achim Klenke: Wahrscheinlichkeitstheorie. 3. Auflage. Springer-Verlag, Berlin Heidelberg 2013, ISBN 978-3-642-36017-6, doi:10.1007/978-3-642-36018-3. 
• Hans-Otto Georgii: Stochastik. Einführung in die Wahrscheinlichkeitstheorie und Statistik. 4. Auflage. Walter de Gruyter, Berlin 2009, ISBN 978-3-11-021526-7, doi:10.1515/9783110215274.