- Satz von Cramér
-
Der Satz von Cramér (nach dem schwedischen Mathematiker Harald Cramér) ist die Umkehrung der bekannten Aussage, dass die Summe unabhängiger normalverteilter Zufallsvariablen wieder normalverteilt ist.
Inhaltsverzeichnis
Satz von Cramér
Ist eine normalverteilte Zufallsvariable X die Summe von zwei unabhängigen Zufallsvariablen X1 und X2, dann sind die Summanden X1 und X2 ebenfalls normalverteilt.
Eine normalverteilte Zufallsvariable lässt sich also nur in normalverteilte unabhängige Summanden zerlegen.
Man beachte dazu auch die „Gegenaussage“ des zentralen Grenzwertsatzes, nach dem die Summe einer großen Anzahl von unabhängigen nicht notwendig normalverteilten Summanden annähernd normalverteilt ist.
Der Satz von Cramér hat eine gewisse Stabilität gegenüber kleinen Abweichungen: Ist die Summe X1 + X2 (in einem bestimmten Sinne) annähernd normalverteilt, dann sind es auch die Summanden.
Der Satz wurde ursprünglich von Paul Lévy formuliert,[1] aber erst kurz danach von Harald Cramér bewiesen.[2] Er wird deshalb manchmal auch als Satz von Lévy-Cramér bezeichnet, was aber zu Verwechslungen mit anderen Sätzen dieses Namens führen kann.
Beweisskizze
Der Beweis lässt sich sehr elegant durch Anwendung analytischer Eigenschaften charakteristischer Funktionen führen: Aus der Zerlegung X = X1 + X2 folgt für die zugehörigen charakteristischen Funktionen . Die Funktion φ ist eine ganze Funktion der Wachstumsordnung 2 ohne Nullstellen, deshalb sind die Faktoren ebenfalls ganze Funktionen mit einer Wachstumsordnung höchstens 2. Daraus folgt (am Beispiel des ersten Faktors) die Darstellung . Aus elementaren Eigenschaften charakteristischer Funktionen folgt daraus schließlich die Darstellung φ1(t) = exp(ia1t − a2t2), so dass φ1 die charakteristische Funktion einer normalverteilten Zufallsvariablen mit Parametern und ist.
Diese Beweisskizze demonstriert sehr gut das Zusammenwirken unterschiedlicher mathematischer Disziplinen, hier der Stochastik und der klassischen Funktionentheorie.
Literatur
- Eugen Lukacs: Characteristic functions. Griffin, London 1960. 2. Auflage 1970, ISBN 0-852-64170-2.
Einzelnachweise
Wikimedia Foundation.