Straffes Maß

Ein Straffes Maß ist ein mathematischer Begriff aus der Maßtheorie, einem Teilgebiet der Mathematik, das sich mit der Untersuchung von abstrahierten Volumenbegriffen beschäftigt und die Basis für die Stochastik und die Integrationstheorie liefert. Straffheit ist eine Eigenschaft, die endlichen Maßen sowie Familien und Folgen von endlichen Maßen zukommen kann. Verwendung finden straffe Familien von Maßen beispielsweise bei der Formulierung des Satzes von Prochorow, wo sie zur Charakterisierung von schwach relativ folgenkompakten Mengen von endlichen Maßen auf polnischen Räumen herangezogen werden. Die schwach relativ folgenkompakten Mengen sind von großer Bedeutung, da jede Folge von Elementen aus solch einer Menge immer eine schwache konvergente Teilfolge besitzt.

Definition

Gegeben sei ein metrischer Raum (X,d), versehen mit der Borelschen σ-Algebra  \mathcal B (X) .

Ein endliches Maß auf  \mathcal B (X) heißt ein straffes Maß, wenn zu jedem \varepsilon >0 eine kompakte Menge {\displaystyle K\subset X} existiert, so dass

 \mu(X \setminus K) < \varepsilon

ist. Eine Menge oder Familie {\mathcal {M}} von endlichen Maßen heißt straff, wenn zu jedem \varepsilon >0 eine kompakte Menge {\displaystyle K\subset X} existiert, so dass

 \sup_{\mu \in \mathcal M} \; \{ \mu(X \setminus K) \} < \varepsilon

ist. Eine Folge (\mu _{n})_{{n\in \mathbb{N} }} von endlichen Maßen heißt straff, wenn die Menge  \mathcal M= \{\mu_n \; | \; n \in \N\} straff ist.

Für den Spezialfall eines Wahrscheinlichkeitsmaßes P folgt, dass P genau dann straff ist, wenn für jedes \epsilon >0 eine kompakte Menge K existiert, so dass

{\displaystyle P(K)\geq 1-\epsilon }

ist. Die Straffheit von Mengen, Familien und Folgen von Wahrscheinlichkeitsmaßen folgt dann analog.

Beispiele

Ist  \delta_x das Dirac-Maß auf dem Punkt x, aufgefasst als Maß auf (\mathbb{R} ,{\mathcal  B}(\mathbb{R} )), so ist die Folge  (\delta_n)_{n \in \N} nicht straff. Denn die kompakten Teilmengen von \mathbb {R} sind nach dem Satz von Heine-Borel beschränkt und abgeschlossen. Dann existiert für jedes  \varepsilon \in (0,1) und jede kompakte Menge K ein  N_K \in \N, so dass  N_K > x für alle x\in K, da K beschränkt ist. Damit ist dann aber auch  \delta_{N_K}(\R \setminus K)=1 für jede beliebige kompakte Menge. Also ist die Folge nicht straff.

Umgekehrt ist die Folge  \mathcal M :=\left(\delta_{a_n}\right)_{n \in \N} genau dann straff, wenn die Folge (a_{n})_{{n\in \mathbb{N} }} beschränkt ist. Denn setzt man  C:= \sup_{n \in \N} |a_n| , so ist die Menge  K=[-C,C] kompakt, und es ist

 \sup_{\mu \in \mathcal M} \; \{ \mu(\R \setminus [-C,C]) \} =0

und somit ist das Straffheitskriterium auch für alle \varepsilon >0 erfüllt.

Bemerkung

Der Begriff der Straffheit wird in der Literatur, insbesondere im angelsächsischen Sprachraum, nicht eindeutig verwendet. Elstrodt spricht in seinem deutschsprachigen Buch von Straffheit und verweist auf den englischen Begriff „tight“, die Encyclopaedia of Mathematics verweist aber unter tight measure auf ein lokal endliches Maß auf einem Hausdorff-Raum und der entsprechenden borelschen σ-Algebra, das von innen regulär ist. Solche Maße werden in der Literatur als Radon-Maße bezeichnet. Auch die Staffheit entspricht nicht dem englischen Begriff der tightness, diese ist die Regularität von innen. Daher ist bei jedem Autor eine Überprüfung der verwendeten Definitionen unerlässlich.

Verwandte Begriffe

Die Straffheit lässt sich auch für Verteilungsfunktionen im Sinne der Stochastik definieren, man spricht dann von straffen Familien von Verteilungsfunktionen.

Trenner
Basierend auf einem Artikel in Wikipedia.de
 
Seitenende
Seite zurück
©  biancahoegel.de; 
Datum der letzten Änderung:  Jena, den: 30.06. 2020