Предельная теорема Пуассона - Poisson limit theorem - Wikipedia
В теория вероятности, то закон редких событий или же Предельная теорема Пуассона заявляет, что распределение Пуассона может использоваться как приближение к биномиальное распределение, при определенных условиях.[1] Теорема была названа в честь Симеон Дени Пуассон (1781–1840). Обобщением этой теоремы является Теорема Ле Кама.
Теорема
Позволять
быть последовательностью действительных чисел в
такая, что последовательность
сходится к конечному пределу
. Потом:
![{ displaystyle lim _ {n to infty} {n select k} p_ {n} ^ {k} (1-p_ {n}) ^ {nk} = e ^ {- lambda} { frac { lambda ^ {k}} {k!}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a2a3853c310482f84dda7f07f5f99f308e75bcc)
Доказательства
.
С
![{ displaystyle lim _ {n to infty} left (1 - { frac { lambda} {n}} right) ^ {n} = e ^ {- lambda}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/84f9e7e4cb9d8e01cabb70e93b41052ae8e4ef93)
и
![{ displaystyle lim _ {n to infty} left (1 - { frac { lambda} {n}} right) ^ {- k} = 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a46c16acc61dc348da112bff63476055bef37d53)
Это оставляет
![{ displaystyle {n choose k} p ^ {k} (1-p) ^ {n-k} simeq { frac { lambda ^ {k} e ^ {- lambda}} {k!}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df85d961c4cf7b4b795a9f3aa72ff850963c7c80)
Альтернативное доказательство
С помощью Приближение Стирлинга, мы можем написать:
![{ displaystyle { begin {align} {n choose k} p ^ {k} (1-p) ^ {nk} & = { frac {n!} {(nk)! k!}} p ^ { k} (1-p) ^ {nk} & simeq { frac {{ sqrt {2 pi n}} left ({ frac {n} {e}} right) ^ {n} } {{ sqrt {2 pi left (nk right)}} left ({ frac {nk} {e}} right) ^ {nk} k!}} p ^ {k} (1- p) ^ {nk} & = { sqrt { frac {n} {nk}}} { frac {n ^ {n} e ^ {- k}} { left (nk right) ^ { nk} k!}} p ^ {k} (1-p) ^ {nk}. end {выравнивается}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db8039b02df92fe7f77a4d5f0e52e9ec501511f2)
Сдача
и
:
![{ displaystyle { begin {align} {n choose k} p ^ {k} (1-p) ^ {nk} & simeq { frac {n ^ {n} , p ^ {k} (1 -p) ^ {nk} e ^ {- k}} { left (nk right) ^ {nk} k!}} & = { frac {n ^ {n} left ({ frac { lambda} {n}} right) ^ {k} (1 - { frac { lambda} {n}}) ^ {nk} e ^ {- k}} {n ^ {nk} left (1 - { frac {k} {n}} right) ^ {nk} k!}} & = { frac { lambda ^ {k} left (1 - { frac { lambda} {n }} right) ^ {nk} e ^ {- k}} { left (1 - { frac {k} {n}} right) ^ {nk} k!}} & simeq { frac { lambda ^ {k} left (1 - { frac { lambda} {n}} right) ^ {n} e ^ {- k}} { left (1 - { frac {k}) {n}} right) ^ {n} k!}}. end {выравнивается}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00df7a219f602aa5f81f7830075988c2c8e12593)
В качестве
,
так:
![{ displaystyle { begin {align} {n choose k} p ^ {k} (1-p) ^ {nk} & simeq { frac { lambda ^ {k} e ^ {- lambda} e ^ {- k}} {e ^ {- k} k!}} & = { frac { lambda ^ {k} e ^ {- lambda}} {k!}} end {выровнено}} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/66670b4d6e131ad53d471ac4653e1285c9d4e517)
Обычные производящие функции
Также возможно продемонстрировать теорему с помощью обычные производящие функции биномиального распределения:
![{ displaystyle G _ { operatorname {bin}} (x; p, N) Equiv sum _ {k = 0} ^ {N} left [{ binom {N} {k}} p ^ {k} (1-p) ^ {Nk} right] x ^ {k} = { Big [} 1+ (x-1) p { Big]} ^ {N}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/84f0051a42e4b4e3ad464aa8519f814360e3697c)
в силу биномиальная теорема. Принимая предел
при сохранении продукта
постоянная, находим
![{ displaystyle lim _ {N rightarrow infty} G _ { operatorname {bin}} (x; p, N) = lim _ {N rightarrow infty} { Big [} 1 + { frac { lambda (x-1)} {N}} { Big]} ^ {N} = mathrm {e} ^ { lambda (x-1)} = sum _ {k = 0} ^ { infty } left [{ frac { mathrm {e} ^ {- lambda} lambda ^ {k}} {k!}} right] x ^ {k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba839e9ed3d34373d6afa1055498a32d4b90ca21)
что является OGF для распределения Пуассона. (Второе равенство выполняется в силу определения экспоненциальная функция.)
Смотрите также
Рекомендации