Satz von Helly-Bray

Satz der Maßtheorie, einem Teilgebiet der Mathematik, zur Verbindung der Konvergenz von Maßen und Verteilungsfunktionen

Der Satz von Helly-Bray ist ein Satz der Maßtheorie, einem Teilgebiet der Mathematik, das sich mit der Untersuchung von abstrahierten Volumenbegriffen beschäftigt. Diese finden beispielsweise Verwendung in der Stochastik oder der Integrationstheorie. Der Satz von Helly-Bray knüpft eine Verbindung von der vagen Konvergenz von Maßen zur vagen Konvergenz von Verteilungsfunktionen und der schwachen Konvergenz von Maßen zur schwachen Konvergenz von Verteilungsfunktionen. Somit ermöglicht er es, das Konvergenzverhalten einer Folge von Maßen auf das (punktweise) Konvergenzverhalten der Verteilungsfunktionen zurückzuführen. Bekanntestes Beispiel hierfür ist die Konvergenz in Verteilung in der Stochastik, denn dabei handelt es sich um die schwache Konvergenz von Wahrscheinlichkeitsmaßen und diese kann auf die Konvergenz der Verteilungsfunktionen (im Sinne der Stochastik) zurückgeführt werden.

Der Satz ist nach Eduard Helly und Hubert Evelyn Bray benannt. Helly bewies den Satz bereits 1912 in seiner Arbeit Über lineare Funktionaloperatoren, während Bray ihn, vermutlich ohne davon zu wissen, 1919 in seiner Arbeit Elementary properties of the Stieltjes integral veröffentlichte.[1]

Rahmenbedingungen

Bearbeiten

Auf den reellen Zahlen definiert jedes endliche Maß   durch

 

eine sogenannte Verteilungsfunktion, die monoton wachsend, rechtsseitig stetig und beschränkt ist. Umgekehrt definiert jede monoton wachsende rechtsseitig stetige beschränkte Funktion   durch

 

ein Maß, das Lebesgue-Stieltjes-Maß. Die Zuordnung der Verteilungsfunktionen zu den Maßen ist bis auf eine Konstante eindeutig, das heißt   und   erzeugen dasselbe Maß. Nun stellt sich die Frage, wie sich Eigenschaften der Maße in den Verteilungsfunktionen widerspiegeln und umgekehrt. Der Satz von Helly-Bray trifft eine Aussage darüber, wann aus der Konvergenz der Verteilungsfunktionen auf die Konvergenz der Maße geschlossen werden kann.

Gegeben seien Verteilungsfunktionen  . Dann gilt:

  1. Konvergiert die Folge   schwach gegen  , so gilt für jede beschränkte stetige Funktion  
     .
  2. Konvergiert die Folge   vage gegen  , so gilt für jede stetige Funktion   mit kompaktem Träger
     .

Folgerungen

Bearbeiten

Allgemein

Bearbeiten

Eine direkte Schlussfolgerung aus den obigen Aussagen ist, dass aus der schwachen (vagen) Konvergenz der Verteilungsfunktionen   gegen   die schwache (vage) Konvergenz der Maße   gegen   folgt, da das Stieltjes-Integral bezüglich   genau dem Integral bezüglich   entspricht.

Schließlich lässt sich noch die Umkehrung zeigen: konvergieren die endlichen Maße   schwach/vage, so existiert eine reelle Folge  , so dass   schwach/vage konvergiert.

Für Wahrscheinlichkeitsmaße

Bearbeiten

Sind die   alle Wahrscheinlichkeitsmaße, so kann man die Folge   konstant gleich Null setzen, da die Verteilungsfunktionen im Sinne der Wahrscheinlichkeitstheorie durch die Bedingungen   und   eindeutig festgelegt sind. Somit konvergieren die Wahrscheinlichkeitsmaße genau dann schwach, wenn die Verteilungsfunktionen schwach konvergieren.

In diesem Fall ist Vorsicht geboten, da für Wahrscheinlichkeitsmaße die schwache und die vage Konvergenz von Verteilungsfunktionen zusammenfallen und die Begriffe in der Literatur nicht immer eindeutig verwendet werden.

Einzelnachweise

Bearbeiten
  1. Elstrodt: Maß- und Integrationstheorie. 2009, S. 392.

Literatur

Bearbeiten