Prawo wielkich liczb
Z Wikipedii
Prawa wielkich liczb - seria twierdzeń matematycznych (jedne z tzw. twierdzeń granicznych), opisujących związek między liczbą wykonywanych doświadczeń a faktycznym prawdopodobieństwem wystąpienia zdarzenia, którego te doświadczenia dotyczą. Najprostszą i historycznie najwcześniejsza postać prawa wielkich liczb to prawo Bernoulliego sformułowane przez szwajcarskiego matematyka Jakoba Bernoulliego w książce Ars Conjectandi (1713). Prawo Bernoulliego orzeka, że:
„Z prawdopodobieństwem dowolnie bliskim 1 można się spodziewać, iż przy dostatecznie wielkiej liczbie prób częstość danego zdarzenia losowego będzie się dowolnie mało różniła od jego prawdopodobieństwa.”[1]
Bernoulli nazwał je „Złotym twierdzeniem”, ale matematycy przyjęli dla niego nazwę „Twierdzenie Bernoulliego”. Dopiero w 1835 roku francuski naukowiec Siméon Denis Poisson opisał je pod nazwą „Prawo wielkich liczb”. Obecnie twierdzenie to znane jest pod nazwami „Twierdzenie Bernoulliego”, jak i „Prawo wielkich liczb”, jednak ta druga nazwa jest częściej stosowana.
Spis treści |
[edytuj] Prawa wielkich liczb
[edytuj] Prawo wielkich liczb Bernoulliego
Jeśli Sn oznacza liczbę sukcesów w schemacie Bernoulliego n prób z prawdopodobieństwem sukcesu w pojedynczej próbie równym p, to dla każdego
.
.
Słownie: niezależnie od wyboru szerokości przedziału wokół wartości oczekiwanej, prawdopodobieństwo dla dużych n będzie dowolnie bliskie 1.
Dowód słabego prawa wielkich liczb opiera się na nierówności Czebyszewa.
Mocne prawo wielkich liczb Bernoulliego mówi, że ciąg
dąży do p prawie na pewno. Dowód tego faktu wykorzystuje nierówność Bernsteina.
[edytuj] Mocne prawo wielkich liczb
Dla ciągów (całkowalnych) zmiennych losowych wprowadza się definicję spełniania przez nich tzw. mocnego (i słabego) prawa wielkich liczb. I tak:
Mówimy, że ciąg zmiennych losowych
spełnia mocne prawo wielkich liczb (MPWL), gdy
prawie na pewno.
Dwa kolejne twierdzenia znane są pod wspólną nazwą mocnych praw wielkich liczb Kołmogorowa:
- Jeżeli
jest ciągiem niezależnych zmiennych losowych całkowalnych z kwadratem oraz
,- to ciąg
spełnia MPWL.
- Jeżeli
jest ciągiem niezależnych zmiennych losowych o tym samym rozkładzie oraz
, to

- prawie na pewno.
Dowód drugiego z tych twierdzeń opiera się o twierdzenie Kołmogorowa
[edytuj] Słabe prawo wielkich liczb
Mówimy, że ciąg zmiennych losowych
spełnia słabe prawo wielkich liczb (SPWL), gdy
ze względu na prawdopodobieństwo.
[edytuj] Słabe prawo wielkich liczb
Jeżeli
jest ciągiem parami niezależnych zmiennych losowych całkowalnych z kwadratami oraz
,
to ciąg
spełnia SPWL. Dowód tego faktu również opiera się o nierówność Czebyszewa.


