Лекция 11. Центральная предельная теорема |
1. Сходимость нормированной суммы независимых СВ |
Замечание 1. Рассмотрим, как и в предыдущей лекции, сумму независимых СВ Xk, k = 1,n, но не усредненную по n:
Yn | Δ = |
1 n |
n ∑ k=1 |
Xk, |
Zn |
Δ = |
1 sn |
( |
n ∑ k=1 |
Xk - M[ |
n ∑ k=1 |
Xk ]) = |
1 sn |
n ∑ k=1 |
(Xk - mk), |
sn2 | Δ = |
D[ |
n ∑ k=1 |
Xk] |
3)M[X] = |
n ∑ k=1 |
D[Xk] = |
n ∑ k=1 |
σk2, |
т.к. σk2 |
Δ = |
D[Xk], mk |
Δ = |
M[Xk]. |
Определение 1. Будем говорить, что к последовательности {Xn}, n = 1,2,..., независимых СВ применима центральная предельная теорема, если последовательность СВ Zn сходится по распределению к СВ U, имеющей стандартное нормальное распределение U ~ N(0,1), т.е.
Zn | F → |
U. |
Замечание 2. Напомним, что закон больших чисел - это по сути некоторое свойство последовательности независимых СВ Xn (Л10.Р2.З5), которое выполняется при определенных условиях. Аналогичную интерпретацию имеет и центральная предельная теорема. Название "центральная предельная теорема", на наш взгляд не очень точное, так как по смыслу - это свойство, а не теорема. Но так как в литературе это понятие закрепилось, то и мы будем его придерживаться. Фундаментальная роль центральной предельной теоремы теории вероятностей состоит в том, что при весьма общих предположениях сумма большого числа независимых (относительно малых) СВ удовлетворительно описывается нормальным законом. Этим фактом и объясняется очень широкое распространение нормального закона на практике.
Определение 2. Будем говорить, что последовательность {Xn}, n = 1,2,..., независимых СВ удовлетворяет условию Ляпунова, если
l i m n→+∞ |
1 sn3 |
n ∑ k=1 |
M[|Xk-mk|3] = 0. |
Замечание 3. Поясним смысл условия Ляпунова. Рассмотрим для произвольного δ > 0 случайные события
Ak | Δ = |
{|Xk-mk| / sn ≥ δ}, k = 1,n. |
P{ | 1 sn | m a x 1≤k≤n |
|Xk - mk| ≥ δ} = P( | n ∑ k=1 |
Ak) | 7)P ≤ |
n ∑ k=1 |
P(Ak) | Δ = |
Δ = |
n ∑ k=1 |
P{|Xk - mk| ≥ δsn} ≤ | | | Л10.Р1.Т1 ε = snδ, r = 3 |
| | ≤ | 1 δ3sn3 |
n ∑ k=1 |
M|Xk - mk|3. |
Теорема 1 (Ляпунова). Если последовательность {Xn}, n = 1,2,..., независимых СВ удовлетворяет условию Ляпунова и СВ Xn, ее образующие, имеют конечные МО и дисперсии, т.е. mn ≤ ∞, σn2 ≤ ∞, то к {Xn} применима центральная предельная теорема.
Доказательство. Рассмотрим для простоты случай одинаково распределенных СВ Xn, n = 1,2,... . Тогда
sn2 = nσ2, Zn = | 1 √n |
n ∑ k=1 |
* Xk |
, где σ2 | Δ = |
D[Xk], | * Xk |
Δ = |
(Xk - m) σ |
. |
* Xk / √n, учитывая, что M[( |
* Xk)2] = 1, M[ |
* Xk] = 0. |
gk(t) | Δ = |
M[exp{ |
* it Xk √n |
}] = |
|| |
по формуле Тейлора |
|| |
= |
= M[1+ |
* it Xk √n |
+ |
* (it Xk)2 2n |
+ o( |
* (it Xk)2 √n |
)] = 1 - t2/(2n) + o(t2/n) , |
gZ | n |
(t) |
Δ = |
M[exp(itZn)] = M[exp{it |
n ∑ k=1 |
* Xk √n |
}] = M[ |
n ∏ k=1 |
exp{ |
* it Xk √n |
}] = |
= | | | * СВ Xk независимы |
| | = | n ∏ k=1 |
M[exp{ | * it Xk √n |
}] = | n ∏ k=1 |
gk(t). |
gZ | n | (t) = | n ∏ k=1 |
gk(t) = [1 - t2 / 2n + o(t2 / n)]n, |
ln gZ | n | (t) = n ln[1 - t2 / 2n + o(t2 / n)] = ||ln(1 + α)=α + o(α) || = |
ln gZ | n | (t) → -t2 / 2 при n → +∞. |
gZ | n | (t) → exp{-t2 / 2} при n → +∞. |
2. Сходимость частоты |
Замечание 1. Рассмотрим частоту успехов
Wn(A) |
Δ = |
M n |
Wn(A) |
Δ = |
M n |
= |
1 n |
n ∑ k=1 |
Xk, где M[Xn] = p, D[Xn] = pq. |
M[Wn(A)] = | 1 n |
n ∑ k=1 |
M[Xk] = p, D[Wn(A)] = | 1 n2 |
n ∑ k=1 |
D[Xk] = | pq n |
. |
* Wn |
Δ = |
Wn-M[Wn] √D[Wn] |
= (Wn - p) |
√ |
n pq |
= |
|| |
Wn(A) |
Δ = |
M n |
|| |
= |
M-np √npq |
. |
Теорема 1 (Муавра-Лапласа). Последовательность
* {Wn}, n = 1,2,..., |
Доказательство. Проверим условие Ляпунова. Так как СВ Xk, k = 1,2,..., независимы и имеют один и тот же ряд распределения: x0 = 1, x1 = 0, P{Xk = 1} = p, P{Xk = 0} = q, то в данном случае
sn2 | Δ = |
n ∑ k=1 |
D[Xk] = n2D[Wn] = npq, |
и, кроме того, в силу замечания 1
1 sn3 |
n ∑ k=1 |
M[|Xk - M[Xk]|3] = | 1 (npq)3/2 |
n ∑ k=1 |
qp(p2 + q2) = | p2+q2 √npq |
. |
Zn | F → |
U. |
Zn |
Δ = |
1 sn |
n ∑ k=1 |
(Xk - mk) = |
|| | sn2 = npq , mk = p , |
n ∑ k=1 |
(Xk)/n = Wn |
|| | = |
= (Wn - p) |
√ |
n pq |
Δ = |
* Wn. |
Замечание 2. В соответствии с теоремой Муавра - Лапласа
* Wn |
F → |
U, |
* Wn≈ U. |
* Wn= (Wn - p)√n/pq |
Wn = √pq/n |
* Wn+ p. |
Замечание 3. Представим теперь частоту Wn в виде
Wn |
Δ = |
M / n, |
Wn |
Δ = |
M n |
≈ |
√ |
pq n |
U + p и M ≈ √pqnU + np, |
FM(m) |
Δ = |
P{M ≤ m} ≈ Φ( |
m-np √npq |
), |
Замечание 4. Если n велико, а p мало, то в схеме Бернулли можно получить другую приближенную оценку для P{M ≤ m}. Согласно теореме Пуассона (Л5.Р3.T1) при условии np ≡ a > 0 биномиальное распределение сходится при n → +∞ к распределению Пуассона, т.е.
P{M = m} = Cnmpmqn-m → | am m! |
e-a |
FM(m) |
Δ = |
P{M ≤ m} ≈ |
n ∑ k=0 |
ak k! |
e-a. |