Ульянов (новое издание) (1115355), страница 5
Текст из файла (страница 5)
. . ⊆ Ai ⊆ Ai+1 ⊆ . . . (∀i ∈ N Ai ⊆ Ai+1 )Определение 2.10. Последовательность событий {Ai } — невозрастающаяmA1 ⊇ A2 ⊇ A3 ⊇ A4 ⊇ A5 ⊇ . . . ⊇ Ai ⊇ Ai+1 ⊇ . . . (∀i ∈ N Ai ⊇ Ai+1 )Определение 2.11. Событие Q называется пределом неубывающей последовательности {Ai } (обозначается Q = lim Ai )i→∞Q=m∞SAi .i=1Определение 2.12.
Событие Q называется пределом невозрастающей последовательности {Ai } (обозначается Q = lim Ai )Q=m∞Ti→∞Ai .i=1Определение 2.13. Последовательность событий {Ai } — монотонная, если онаявляется невозрастающей либо неубывающей.17В обоих случаях монотонности тот факт, что Q —событие, следует из свойства счётной аддитивностиσ-алгебры.
Ещё в обоих случаях монотонности наглядной иллюстрацией может послужить цепь матрёшек! Каждая точка вложенной матрёшки принадлежит множеству точек объемлющей (точки внутриполой фигуры здесь тоже считаются принадлежащими ей). Так что ничего мистического в этих последовательностях на самом деле нет.Вообще, здесь идёт речь о простых вещах длинным научным языком. Для облегчения пониманиярекомендуется пользоваться сначала кругами Эйлера, а затем аналитическим аппаратом теории множеств. На самом деле, всё то, что пойдёт дальше,весьма и весьма просто и наглядно, если всякое неясное место иллюстрировать себе таким способом.8◦ (Непрерывность по монотонной последовательности). Пусть {Ai } — монотонная последовательность событий. Тогда вероятность предела{Ai } равна пределу вероятности события Ai .
Иными словами,{Ai } — монотонная последовательность событий⇓³´P lim Ai = lim P(Ai )i→∞i→∞Доказательство. Для неубывающей последовательности событий построим последовательность несовместных событий на базе данной в условии последовательности и для неё воспользуемся свойством счётной аддитивности:Dn = A n \n[n−1[Ai =i=1Ai = An \ An−1 , что следует из неубывания {Ai }i=1n[Di ∀n ∈ N — это наглядно и почти очевидно,i=1⇓³P´lim An =n→∞∞Xn=1P(Dn ) = limnXn→∞ÃP(Di ) = lim Pn→∞i=1n[i=1!Di= lim P(An ).n→∞Факт попарной несовместности событий-членов {Di } обоснован в процессе доказательства свойства счётной полуаддитивности.Для невозрастающей последовательности заметим, что если {Bi } — невозрастающая последовательность, то {Bi } — неубывающая.
А поскольку известен простой и очень важный факт о том, чтоn\Bi ≡i=1n[i=118Bi ,то справедливо соотношениеQB = lim Bn =n→∞∞\∞[Bn =n=1Bn = lim Bn = QBn=1n→∞Всё это означает, что мы можем с помощью операции отрицания из невозрастающей последовательности событий {Bn } сделать неубывающую {Bn }, а для неё ужедоказано, что³´¡ ¢P lim Bn = lim P Bn .n→∞n→∞Остаётся провести маневр с отрицанием:³´³´³´¡ ¢1 − lim P(Bn ) = lim P Bn = P lim Bn = P lim Bn = 1 − P lim Bnn→∞n→∞³lim P(Bn ) = Pn→∞n→∞lim Bnn→∞⇓´n→∞n→∞теперь уже для невозрастающей последовательности.Определение 2.14. Невозрастающая последовательность событий {An }имеет нулевой предел ⇐⇒ lim An = ∅.n→∞Замечание. Вместо аксиомы о счётной аддитивности вероятности можно требоватьвыполнения конечной аддитивности и непрерывности по неубывающей последовательности либо непрерывности по невозрастающей последовательности или даже понеубывающей последовательности с нулевым пределом.
Поскольку выше мы показали, что из счётной аддитивности можно получить непрерывность по монотоннымпоследовательностям событий, то доказав ниже обратное (плюс случай невозрастающей последовательности с нулевым пределом) сможем утверждать, что все этивещи равносильны.Утверждение 2.3. Из конечной аддитивности и непрерывности по неубывающейпоследовательности следует счётная аддитивность.Доказательство. Пусть задана бесконечная последовательность событий {Bi },причём события в ней попарно несовместные. Запишем условие конечной аддитивности:i, j ∈ N, i 6= j =⇒ Bi Bj = 0 — несовместность⇓!ÃnnX[P(Bi ) ∀n ∈ NBi =Pi=1i=1Построим неубывающую последовательность {An } следующим образом:An =n[Bi .i=1Для этой последовательности работает неперывность и, кроме того,n[i=1Bi =n[Ai ∀n ∈ N.i=119Всё, почва для выкладок подготовлена. Выкладки:Ã∞ !Ã∞ !n∞´³[[XXPBi = PAi = P lim An = lim P(An ) = limP(Bi ) =P(Bi ).i=1n→∞i=1n→∞n→∞i=1i=1Утверждение 2.4.
При наличии конечной аддитивности из непрерывности поневозрастающей последовательности следует непрерывность по неубывающей последовательности и наоборот.Доказательство. Тесная связь между этими двумя свойствами уже демонстрировалась. Продемонстрируем её ещё раз несколькими равносильными переходами:Пусть {Bi } — любая невозрастающая последовательность событий и есть непрерывность по невозрастающей последовательности:³´∀k ∈ N Bk ⊇ Bk+1 , P lim Bn = lim P(Bn );n→∞n→∞Пусть {Ai } — любая неубывающая последовательность.
Рассмотрим определние предела для последовательности {Ai }:lim An =n→∞∞[Ai =i=1∞\Ai = lim Ani=1n→∞Последовательность {Ai } невозрастает, поэтому для неё бесконечное пересечение —это и есть предел, а для невозрастающей последовательности есть непрерывностьÃ∞ !Ã∞ !\\¡ ¢Ai = 1 − PAi = 1 − lim P An .Pi=1i=1n→∞Всё, остаётся собрать это всё вместе:Ã∞ !Ã∞ !Ã∞ !³´[\\¡ ¢P lim An = PAi = PAi = 1 − PAi = 1 − lim P Ann→∞i=1i=1¡ ¢= lim (1 − P An ) = lim P(An ).n→∞i=1n→∞n→∞Доказательство в обратную сторону проводится точно так же. Тут все переходыравносильные, нужно только отрицания иначе расставить.
Конечная аддитивностьнужна здесь неявно, чтобы было обоснованным равенство P(A) + P(A) = 1.Замечание. Последний установленный факт позволяет заявить, что из непрерывности по невозрастающей последовательности событий и конечной аддитивности следует счётная аддитивность.Замечание. Поскольку из счётной аддитивности следует непрерывность по невозрастающей последовательности, то непрерывность по невозрастающей последовательности с нулевым пределом следует подавно. Осталось доказать обратное.Утверждение 2.5. Из конечной аддитивности и непрерывности по невозрастающей последовательности событий с нулевым пределом следует счётная аддитивность.20Доказательство. Пусть есть бесконечная последовательность событий {Ai }, исобытия-члены попарно несовместны. Событие∞[Ai =i=1n[∞[Ai ∪i=1Ai ∀n ∈ Ni=n+1разбили на два события, тоже несовместных.
Дальше воспользуемся конечной аддитивностью вероятности, которая есть по условию:!!Ãnà ∞Ã∞ 














