www.wikidata.de-de.nina.az
Der Satz von Mourier ist ein Lehrsatz der Wahrscheinlichkeitsrechnung einem der Teilgebiete der Mathematik Er geht auf die franzosische Mathematikerin Edith Mourier zuruck und formuliert eine hinreichende Bedingung zum Bestehen des starken Gesetzes der grossen Zahlen fur gewisse Folgen von Zufallselementen in einem separablen Banachraum uber dem Korper der reellen Zahlen Der Satz lasst sich als Verallgemeinerung des zweiten kolmogorowschen Gesetzes der grossen Zahlen auffassen Inhaltsverzeichnis 1 Formulierung des Satzes 2 Erlauterungen 3 Verwandtes Resultat im Zusammenhang mit Kolmogorows erstem Gesetz der grossen Zahlen 4 Quellen und Hintergrundliteratur 5 Einzelnachweise und FussnotenFormulierung des Satzes BearbeitenDer Satz lasst sich angeben wie folgt 1 2 3 Gegeben seien ein Wahrscheinlichkeitsraum W A P displaystyle Omega mathcal A operatorname P nbsp ein separabler R displaystyle mathbb R nbsp Banachraum X displaystyle X cdot nbsp und eine Folge3 n W A P X n N displaystyle xi n colon Omega mathcal A operatorname P to X cdot n in mathbb N nbsp dd von Zufallselementen in X displaystyle X nbsp Die Folge sei stochastisch unabhangig und ihre Glieder 3 n n N displaystyle xi n n in mathbb N nbsp seien identisch verteilt Dabei gelteE 3 1 lt displaystyle operatorname E bigl xi 1 bigr lt infty nbsp dd Dann gilt P displaystyle operatorname P nbsp fast sicher die Konvergenzlim n 1 n j 1 n 3 j E 3 1 displaystyle lim n to infty frac 1 n sum j 1 n xi j operatorname E bigl xi 1 bigr nbsp dd Erlauterungen BearbeitenEine Borel messbare Zufallsvariable 3 W A P X B X displaystyle xi colon Omega mathcal A operatorname P to X mathcal B X nbsp mit Werten in einem topologischen Raum X displaystyle X nbsp wird allgemein als Zufallselement bezeichnet Bei einem Zufallselement 3 displaystyle xi nbsp mit Werten in einem separablen normierten R displaystyle mathbb R nbsp Vektorraum X displaystyle X cdot nbsp wird mit E 3 displaystyle operatorname E bigl xi bigr nbsp stets dessen Erwartungswert bezeichnet sofern dieser definiert ist Er ist zumindest immer dann definiert wenn fur 3 displaystyle xi nbsp das Pettis Integral existiert Ist dies der Fall so ist der Erwartungswert gleich dem Pettis Integral Der Erwartungswert E 3 displaystyle operatorname E bigl xi bigr nbsp zeichnet sich dadurch aus dass fur stetige Linearformen f X R displaystyle f colon X cdot to mathbb R nbsp stets E f 3 f E 3 displaystyle operatorname E bigl f circ xi bigr f operatorname E bigl xi bigr nbsp gilt 4 Fur ein Zufallselement 3 displaystyle xi nbsp mit Werten in einem separablen R displaystyle mathbb R nbsp Banachraum X displaystyle X cdot nbsp ist 3 W A P R w 3 w w W displaystyle xi colon Omega mathcal A operatorname P to mathbb R omega mapsto xi omega omega in Omega nbsp stets eine nichtnegative reelle Zufallsvariable fur die der Erwartungswert E 3 0 displaystyle operatorname E bigl xi bigr in 0 infty nbsp stets existiert 5 Ist dabei sogar E 3 lt displaystyle operatorname E bigl xi bigr lt infty nbsp so existiert auch der Erwartungswert E 3 displaystyle operatorname E bigl xi bigr nbsp 6 Verwandtes Resultat im Zusammenhang mit Kolmogorows erstem Gesetz der grossen Zahlen BearbeitenAusgehend von dem Satz von Mourier ergibt sich die Frage ob und inwieweit auch Kolmogorows erstes Gesetz der grossen Zahlen auf Folgen von Zufallselementen in normierten Vektorraumen auszudehnen ist Wie sich zeigen lasst ist diese Ausdehnung zumindest immer im Falle der separablen Hilbertraume moglich Es gilt namlich der folgende Satz 7 Gegeben seien ein Wahrscheinlichkeitsraum W A P displaystyle Omega mathcal A operatorname P nbsp ein separabler R displaystyle mathbb R nbsp Hilbertraum H H displaystyle H H langle cdot cdot rangle cdot nbsp 8 und eine Folge3 n W A P H n N displaystyle xi n colon Omega mathcal A operatorname P to H n in mathbb N nbsp dd von Pettis integrierbaren Zufallselementen in H displaystyle H nbsp Die Folge sei stochastisch unabhangig und es gelte n 1 E 3 n E 3 n 2 n 2 lt displaystyle sum n 1 infty frac operatorname E bigl xi n operatorname E xi n 2 bigr n 2 lt infty nbsp 9 dd Dann genugt die Folge der BedingungP lim n j 1 n 3 j E 3 j n 0 1 displaystyle operatorname P left lim n to infty frac sum j 1 n bigl xi j operatorname E xi j bigr n 0 right 1 nbsp dd und damit dem starken Gesetz der grossen Zahlen Quellen und Hintergrundliteratur BearbeitenP Ganssler W Stute Wahrscheinlichkeitstheorie Hochschultext Band 91 Springer Verlag Berlin Heidelberg New York 1977 ISBN 3 540 08418 5 MR0501219 R G Laha V K Rohatgi Probability Theory Wiley Series in Probability and Mathematical Statistics John Wiley amp Sons New York u a 1979 ISBN 0 471 03262 X MR0534143 Michel Ledoux Michel Talagrand Probability in Banach Spaces Isoperimetry and Processes Ergebnisse der Mathematik und ihrer Grenzgebiete 3 Folge Band 23 Springer Verlag Berlin u a 1991 ISBN 3 540 52013 9 MR1102015 Edith Mourier Elements aleatoires dans un espace de Banach In Annales de l Institut Henri Poincare Band 13 1953 S 161 244 MR0064339 Pal Revesz Die Gesetze der grossen Zahlen Lehrbucher und Monographien aus dem Gebiete der Exakten Wissenschaften Mathematische Reihe Band 35 Birkhauser Verlag Basel Stuttgart 1968 MR0245080 N N Vakhania V I Tarieladze S A Chobanyan Probability Distributions on Banach Spaces Mathematics and its Applications Soviet Series Band 14 D Reidel Publishing Company Dordrecht Boston Lancaster Tokio 1987 ISBN 90 277 2496 2 Einzelnachweise und Fussnoten Bearbeiten P Ganssler W Stute Wahrscheinlichkeitstheorie 1977 S 337 338 R G Laha V K Rohatgi Probability Theory 1979 S 452 454 Pal Revesz Die Gesetze der grossen Zahlen 1968 S 146 147 P Ganssler W Stute Wahrscheinlichkeitstheorie 1977 S 335 R G Laha V K Rohatgi Probability Theory 1979 S 447 P Ganssler W Stute Wahrscheinlichkeitstheorie 1977 S 336 R G Laha V K Rohatgi Probability Theory 1979 S 455 Hier ist h h h h displaystyle h mapsto h sqrt langle h h rangle nbsp die auf dem Hilbertraum durch das Skalarprodukt erzeugte Norm Die zuletzt genannte Bedingung entspricht der aus dem Fall der reellen Zufallsvariablen bekannten Varianzbedingung Abgerufen von https de wikipedia org w index php title Satz von Mourier amp oldid 189230474