Ungleichung von Ottaviani-Skorokhod

Die Ungleichung von Ottaviani-Skorokhod ist eine stochastische Ungleichung innerhalb des Gebiets der Wahrscheinlichkeitsrechnung, welche auf die beiden Mathematiker Giuseppe Ottaviani und Anatoli Skorokhod zurückgeht. Sie bezieht sich auf endliche Familien von stochastisch unabhängigen reellen Zufallsvariablen und stellt ein nützliches Hilfsmittel für Beweise im Umfeld des Starken Gesetzes der großen Zahlen dar.

Formulierung der Ungleichung

Der Darstellung von Heinz Bauer folgend lässt sich die Ungleichung angeben wie folgt:

Gegeben seien ein Wahrscheinlichkeitsraum $(\mathrm{\Omega },𝒜,\mathrm{P})$ und darauf endlich viele unabhängige Zufallsvariablen $X_1,\dots ,X_n:(\mathrm{\Omega },𝒜,\mathrm{P})\to ℝ(n\in \mathbb{N})$

Sei hierbei für $i=1,\dots ,n$

$S_i=\sum _{j=1}^i{X}_j$

gesetzt.

Dann ist für jeden Index $m=1,\dots ,n$ und für zwei reelle Zahlen $ϵ>0$ und $\eta >0$

die Ungleichung

$\mathrm{P}(\underset{k=m,\dots ,n}{\max }|S_k|>ϵ+\eta )\cdot \underset{k=m,\dots ,n}{\min }\mathrm{P}(|S_n-S_k|\le ϵ)\le \mathrm{P}(|S_n|>\eta )$

erfüllt.

Folgerungen: Ein Satz von Lévy und weitere Korollare

Mit der Ungleichung von Ottaviani-Skorokhod lassen sich der folgende Satz des französischen Mathematikers Paul Lévy herleiten und einige Korollare herleiten.

Der lévysche Satz besagt:

Für jede unabhängige Folge reeller Zufallsvariablen $(X_n{)}_{n\in \mathbb{N}}$ folgt aus der stochastischen Konvergenz der Reihe $\sum _{n=1}^{\mathrm{\infty }}{X}_n$   die fast sichere Konvergenz dieser Reihe.

Daraus erhält man folgendes Korollar:

Ist $(X_n{)}_{n\in \mathbb{N}}$ eine unabhängige Folge reeller Zufallsvariablen mit

(1) $\sum _{n=1}^{\mathrm{\infty }}\mathrm{E}\left({X_n}^2\right)<\mathrm{\infty }$

(2) $\mathrm{E}(X_n)=0(n\in \mathbb{N})$

so ist die Reihe $\sum _{n=1}^{\mathrm{\infty }}{X}_n$ fast sicher konvergent.

Aus diesem Korollar gewinnt man dann unter Anwendung des kroneckerschen Lemmas unmittelbar das kolmogoroffsche Kriterium zum Starken Gesetz der großen Zahlen:

Ist $(X_n{)}_{n\in \mathbb{N}}$ eine unabhängige Folge von integrierbaren reellen Zufallsvariablen mit

(*) $\sum _{n=1}^{\mathrm{\infty }}\frac{\mathrm{Var}\left(X_n\right)}{n^2}<\mathrm{\infty }$

so genügt die Folge dem Starken Gesetz der großen Zahlen.

Anmerkungen

1. Die Ungleichung von Ottaviani-Skorokhod (und auch Abwandlungen derselben) verbinden einige Autoren nur mit dem Namen von Giuseppe Ottaviani und bezeichnen diese als Ungleichung von Ottaviani bzw. als ottavianische Ungleichung (Vorlage:EnS). Vielfach wird dabei auch allein der Fall $ϵ=\eta$ behandelt.
2. In dem Hochschultext von Peter Gänssler und Winfried Stute erscheint die Ungleichung (in einer anderen und sogar etwas allgemeineren Fassung) als Skorokhod-Ungleichung.
3. Die obige Darstellung der Ungleichung, welche unabhängige reelle Zufallsvariablen zugrunde legt, lässt sich in entsprechender Weise auch (etwa) für unabhängige borelmessbare Zufallsvariablen mit Werten in einem separablen Banachraum formulieren. Dabei tritt an die Stelle der obigen Betragsfunktion die Norm des Banachraums.

Literatur

Originalarbeiten

• Vorlage:Literatur
• Vorlage:Literatur

Monographien

• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur