Straffes Maß

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

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.

Gegeben sei ein metrischer Raum , versehen mit der Borelschen σ-Algebra .

Ein endliches Maß auf heißt ein straffes Maß, wenn zu jedem eine kompakte Menge existiert, so dass

ist. Eine Menge oder Familie von endlichen Maßen heißt straff, wenn zu jedem eine kompakte Menge existiert, so dass

ist. Eine Folge von endlichen Maßen heißt straff, wenn die Menge straff ist.

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

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

Die Straffheit einer Menge von Verteilungen von Zufallsvariablen wird als Straffheit der Folge bezeichnet. Alternativ sagt man, dass stochastisch beschränkt sei.[1]

Ist das Dirac-Maß auf dem Punkt , aufgefasst als Maß auf , so ist die Folge nicht straff. Denn die kompakten Teilmengen von sind nach dem Satz von Heine-Borel beschränkt und abgeschlossen. Dann existiert für jedes und jede kompakte Menge ein , so dass für alle , da beschränkt ist. Damit ist dann aber auch für jede beliebige kompakte Menge. Also ist die Folge nicht straff.

Umgekehrt ist die Folge genau dann straff, wenn die Folge beschränkt ist. Denn setzt man , so ist die Menge kompakt, und es ist

und somit ist das Straffheitskriterium auch für alle erfüllt.

Die Bedingung der Straffheit stellt also sicher, dass keine Masse „ins Unendliche abwandert“.[2]

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“,[3] 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.[4] Solche Maße werden bei Elstrodt als Radon-Maße bezeichnet. Auch die Staffheit entspricht nicht dem englischen Begriff der tightness, diese ist die Regularität von innen[5]. Daher ist bei jedem Autor eine Überprüfung der verwendeten Definitionen unerlässlich.

Es ist außerdem ausreichend wenn der Raum lediglich mit einer Topologie ausgestattet ist und keiner Metrik.

Verwandte Begriffe

[Bearbeiten | Quelltext bearbeiten]

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

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. Norbert Henze: Stochastik: Eine Einführung mit Grundzügen der Maßtheorie. 1. Auflage. Springer Spektrum, 2019, ISBN 978-3-662-59562-6, S. 214.
  2. Achim Klenke: Wahrscheinlichkeitstheorie. 4. Auflage. Springer Spektrum, 2020, ISBN 978-3-662-62088-5, S. 287.
  3. Elstrodt: Maß- und Integrationstheorie. 2009, S. 380.
  4. Tight measure. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 1-55608-010-7 (englisch, encyclopediaofmath.org).
  5. R.A. Minlos: Radon Mesure. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 1-55608-010-7 (englisch, encyclopediaofmath.org).