Zbieżność prawie wszędzie
Zbieżność prawie wszędzie ciągu funkcji względem (pewnej) miary to rodzaj zbieżności ciągów funkcyjnych rozważany w teorii miary i analizie matematycznej. Pojęcie to pojawiło się w sferze zainteresowań matematyków z początkiem XX wieku. W teorii prawdopodobieństwa i statystyce znane jest ono pod nazwą zbieżność z prawdopodobieństwem 1 lub prawie na pewno.
[edytuj] Definicja
- Teoria miary
Niech
będzie przestrzenią mierzalną z miarą (tak więc w szczególności
) oraz niech (Y,d) będzie przestrzenią metryczną. Przypuśćmy, że
oraz
.
Mówimy, że ciąg
jest prawie wszędzie zbieżny do funkcji f (względem miary μ na zbiorze A), wtedy i tylko wtedy, gdy można znaleźć zbiór mierzalny podzbiór B zbioru A, który jest miary zero, tzn. μ(B) = 0 oraz
dla wszystkich
.
Formułując tę definicję inaczej, powiemy że ciąg funkcji
jest prawie wszędzie zbieżny do funkcji f, jeśli jest on zbieżny punktowo do funkcji f poza zbiorem miary μ zero.
- Statystyka
W statystyce, rozważamy zbieżność z prawdopodobieństwem 1 dla ciągów ciąg zmiennych losowych Xn. Mówimy, że ciąg zmiennych losowych
dąży z prawdopodobieństwem 1 do zmiennej losowej X, przy n dążącym do nieskończoności, jeśli
. Jest to więc to samo pojęcie co zdefiniowane w języku miary powyżej.
[edytuj] Własności
- Każdy ciąg zbieżny prawie jednostajnie jest zbieżny prawie wszędzie
- Jeśli miara μ jest σ-skończona oraz ciąg
jest μ-prawie wszędzie zbieżny do funkcji f, to ciąg ten jest zbieżny według miary (do tej samej funkcji). - W szczególności, jeśli ciąg zmiennych losowych określonych na danej przestrzeni probabilistycznej jest zbieżny z prawdopodobieństwem 1 to jest on zbieżny według prawdopodobieństwa.