泊松极限定理

在概率论中，泊松极限定理是指，在一定条件下，泊松分布可以用于近似二项分布，可以用来解释为什么泊松分布适合描述单位时间内随机事件发生的次数。这个定理是以法国数学家西梅翁·德尼·泊松的名字命名。该定理的一个推广形式是Le Cam定理。

定理陈述

设 $p_{n}$ 是一个 $[0, 1]$ 中的实数列，如果 $n p_{n}$ 收敛到一个有限极限 $λ$ ，那么

\lim_{n \to \infty} (\binom{n}{k}) p_{n}^{k} (1 - p_{n})^{n - k} = e^{- λ} \frac{λ^{k}}{k!}

\begin{matrix} \lim \limits_{n \to \infty} (\binom{n}{k}) p_{n}^{k} (1 - p_{n})^{n - k} & ≃ \lim_{n \to \infty} \frac{n (n - 1) (n - 2) \dots (n - k + 1)}{k!} {(\frac{λ}{n})}^{k} {(1 - \frac{λ}{n})}^{n - k} \\ = \lim_{n \to \infty} \frac{n^{k} + O (n^{k - 1})}{k!} \frac{λ^{k}}{n^{k}} {(1 - \frac{λ}{n})}^{n - k} \\ = \lim_{n \to \infty} \frac{λ^{k}}{k!} {(1 - \frac{λ}{n})}^{n - k} \end{matrix}

.

考虑到

\lim_{n \to \infty} {(1 - \frac{λ}{n})}^{n} = e^{- λ}

以及

\lim_{n \to \infty} {(1 - \frac{λ}{n})}^{- k} = 1

这就推出所需结论

(\binom{n}{k}) p^{k} (1 - p)^{n - k} ≃ \frac{λ^{k} e^{- λ}}{k!} .

\begin{matrix} (\binom{n}{k}) p^{k} (1 - p)^{n - k} & = \frac{n!}{(n - k)! k!} p^{k} (1 - p)^{n - k} \\ ≃ \frac{\sqrt{2 π n} {(\frac{n}{e})}^{n}}{\sqrt{2 π (n - k)} {(\frac{n - k}{e})}^{n - k} k!} p^{k} (1 - p)^{n - k} \\ = \sqrt{\frac{n}{n - k}} \frac{n^{n} e^{- k}}{{(n - k)}^{n - k} k!} p^{k} (1 - p)^{n - k} . \end{matrix}

令 $n \to \infty$ 以及 $n p = λ$ :

\begin{matrix} (\binom{n}{k}) p^{k} (1 - p)^{n - k} & ≃ \frac{n^{n} p^{k} (1 - p)^{n - k} e^{- k}}{{(n - k)}^{n - k} k!} \\ = \frac{n^{n} {(\frac{λ}{n})}^{k} {(1 - \frac{λ}{n})}^{n - k} e^{- k}}{n^{n - k} {(1 - \frac{k}{n})}^{n - k} k!} \\ = \frac{λ^{k} {(1 - \frac{λ}{n})}^{n - k} e^{- k}}{{(1 - \frac{k}{n})}^{n - k} k!} \\ ≃ \frac{λ^{k} {(1 - \frac{λ}{n})}^{n} e^{- k}}{{(1 - \frac{k}{n})}^{n} k!} . \end{matrix}

因为当 $n \to \infty$ , ${(1 - \frac{x}{n})}^{n} \to e^{- x}$ ，所以：

\begin{matrix} (\binom{n}{k}) p^{k} (1 - p)^{n - k} & ≃ \frac{λ^{k} e^{- λ} e^{- k}}{e^{- k} k!} \\ = \frac{λ^{k} e^{- λ}}{k!} \end{matrix}

我们也可以通过使用二项分布的生成函数来证明这个定理：

G_{bin} (x; p, N) \equiv \sum_{k = 0}^{N} [(\binom{N}{k}) p^{k} (1 - p)^{N - k}] x^{k} = [1 + (x - 1) p]^{N}

由二项式定理。令 $N \to \infty$ 的同时使 $p N \equiv λ$ 为常数，可以发现

\lim_{N \to \infty} G_{bin} (x; p, N) = \lim_{N \to \infty} {[1 + \frac{λ (x - 1)}{N}]}^{N} = e^{λ (x - 1)} = \sum_{k = 0}^{\infty} [\frac{e^{- λ} λ^{k}}{k!}] x^{k}

这是泊松分布的生成函数（第二个等式成立是由于指数函数的定义)。