Satz von Cantelli

Der Satz von Cantelli ist ein Lehrsatz der Wahrscheinlichkeitsrechnung, einem der Teilgebiete der Mathematik. Er geht auf den italienischen Mathematiker Francesco Paolo Cantelli zurück und formuliert eine hinreichende Bedingung zum Bestehen des Starken Gesetzes der großen Zahlen für gewisse Folgen reeller Zufallsvariablen. Der cantellische Satz gilt als eines der ersten Resultate dieser Art.

Formulierung des Satzes

Der cantellische Satz lässt sich angeben wie folgt:

Gegeben seien ein Wahrscheinlichkeitsraum (\Omega ,{\mathcal {A}},\operatorname {P} ) und eine Folge von Zufallsvariablen
 X_n \colon (\Omega, \mathcal{A} , \operatorname{P}) \to \R \; (n \in \N)
auf diesem Wahrscheinlichkeitsraum.
Die Folge sei stochastisch unabhängig und mit endlichen vierten Momenten:
{\displaystyle \operatorname {E} {\bigl (}{X_{n}}^{4}{\bigr )}<{\infty }\;(n\in \mathbb {N} )} .[1]
Darüber hinaus seien die zentralen vierten Momente gleichmäßig nach oben beschränkt:
{\displaystyle \sup _{n\in \mathbb {N} }\;{\operatorname {E} {\bigl (}{(X_{n}-\operatorname {E} (X_{n}))}^{4}{\bigr )}}<{\infty }} .
Dann genügt die Folge \operatorname{P}-fast sicher der Konvergenz
 \lim_{n \to \infty} { {\frac{1}{n}} \sum_{j=1}^n { \bigl( X_j - {\operatorname{E} (X_j) }  \bigr) }  } = 0
und damit dem starken Gesetz der großen Zahlen.

Beweis des Satzes nach Širjaev

Man setzt für {\displaystyle j\in \mathbb {N} }

{\displaystyle Y_{j}=X_{j}-{\operatorname {E} (X_{j})}}

und weiter für n\in \mathbb{N}

{\displaystyle S_{n}=\sum _{j=1}^{n}{Y_{j}}}

sowie

{\displaystyle C=\sup _{n\in \mathbb {N} }\;{\operatorname {E} {\bigl (}{Y_{n}}^{4}{\bigr )}}}

Dann ist für n\in \mathbb{N}

(0) {\displaystyle \quad \operatorname {E} {(Y_{n})}=0=\operatorname {E} {(S_{n})}}

und folglich ist zu zeigen, dass

(1) {\displaystyle \quad \lim _{n\to \infty }{\frac {S_{n}}{n}}=0\;(\operatorname {P} {\mathrm {\text{-fast sicher}} })}

gilt.

Zieht man nun die im letzten Abschnitt des Artikels zum Borel-Cantelli-Lemma genannten Folgerung sowie die tschebyschow-markowsche Ungleichung in Betracht, so sieht man, dass ausreicht, die Konvergenz der Reihe

(2) {\displaystyle \quad \sum _{n=1}^{\infty }{\frac {\operatorname {E} {({S_{n}}^{4}})}{n^{4}}}}

nachzuweisen.

Dazu wertet man die Glieder der Reihe (2) unter Anwendung des Polynomialsatzes aus.

Es ist nämlich:

(3) {\displaystyle \quad {S_{n}}^{4}={(Y_{1}+\ldots +Y_{n})}^{4}=\sum _{k_{1}+\ldots +k_{n}=4}{{\frac {4!}{k_{1}!\cdot \ldots \cdot k_{n}!}}\cdot {Y_{1}}^{k_{1}}\cdot {Y_{2}}^{k_{2}}\cdots {Y_{n}}^{k_{n}}}} .

Nun fallen bei der Bildung der Erwartungswerte zu (3) allein diejenigen Summanden ins Gewicht, für welche bei den zugehörigen   {\displaystyle Y_{j}}   ausschließlich die Hochzahlen   2   oder   {\displaystyle 4}   auftreten.

Denn in allen anderen Fällen kommt zumindest ein   {\displaystyle Y_{j}}   mit Hochzahl    1   vor und es leisten wegen der Linearität des Erwartungswerts, der Unabhängigkeitsvoraussetzung und wegen   (0)   in dem Erwartungswert zu (3) allein die Summanden mit geraden Hochzahlen einen positiven Beitrag.

Somit hat man

(4) {\displaystyle \quad \operatorname {E} {({S_{n}}^{4})}=\sum _{j=1}^{n}{\operatorname {E} {({Y_{j}}^{4})}}\;+\;\sum _{i,j=1,\ldots ,n \atop \;\ i<j}{{\frac {4!}{2!\cdot 2!}}\cdot \operatorname {E} {({Y_{i}}^{2})}\cdot \operatorname {E} {({Y_{j}}^{2})}}} .

Mit (4) und unter Anwendung der Voraussetzung sowie der Ungleichung von Ljapunow ergibt sich dann die folgende Ungleichungskette:

(5) {\displaystyle \quad {\begin{aligned}\operatorname {E} {({S_{n}}^{4})}&\leq n\cdot C\;+\;6\cdot \sum _{i,j=1,\ldots ,n \atop \;\ i<j}{{\operatorname {E} {({Y_{i}}^{4})}}^{\frac {1}{2}}\cdot {\operatorname {E} {({Y_{j}}^{4})}}^{\frac {1}{2}}}\leq n\cdot C\;+\;6\cdot \sum _{i,j=1,\ldots ,n \atop \;\ i<j}{{C}^{\frac {1}{2}}\cdot {C}^{\frac {1}{2}}}\\&=n\cdot C\;+\;6\;\cdot {\frac {n\cdot {(n-1)}}{2}}\cdot C=(3\cdot n^{2}-2\cdot n)\cdot C<3\cdot n^{2}\cdot C.\end{aligned}}}

Die Ungleichungskette (5) zieht unter Berücksichtigung der Konvergenz der Zeta-Reihe ihrerseits die Ungleichungskette

(6) {\displaystyle \quad \sum _{n=1}^{\infty }{\frac {\operatorname {E} {({S_{n}}^{4}})}{n^{4}}}\leq 3\cdot C\cdot \sum _{n=1}^{\infty }{\frac {1}{n^{2}}}=3\cdot C\cdot {\frac {\pi ^{2}}{6}}<{\infty }}

nach sich und damit auch (2).

Literatur

Anmerkungen

  1. Für eine reelle Zufallsvariable \xi wird mit {\displaystyle \operatorname {E} {\bigl (}\xi {\bigr )}} deren Erwartungswert bezeichnet.
Trenner
Basierend auf einem Artikel in: Wikipedia.de
Seitenende
Seite zurück
©  biancahoegel.de
Datum der letzten Änderung: Jena, den: 04.06. 2020