Poissons teorem

Den aktuella versionen av sidan har ännu inte granskats av erfarna bidragsgivare och kan skilja sig väsentligt från versionen som granskades den 26 juli 2022; kontroller kräver 2 redigeringar .

Poissons sats är en sats inom sannolikhetsteorin .

Formulering

Låt det finnas en sekvens av serier av Bernoulli-försök , där är sannolikheten för "framgång", är antalet "framgångar". $p_n$ $\mu _{n}$

Sedan om

$\lim _{{n\to \infty }}np_{n}=\lambda ;$
$\lambda >0,$

sedan

\lim _{{n\to \infty }}P(\omega :\mu _{n}(\omega )=m)=e^{{-\lambda }}{\cfrac {\lambda ^{m} }{m!}}.

Bevis

Med Bernoulli-formeln får vi det

\lim _{{n\to \infty }}P(\omega :\mu _{n}(\omega )=m)=C_{n}^{m}(p_{n})^{m}( 1-p_{n})^{{nm}}={\cfrac {n!}{m!(nm)!}}{\bigg (}{\cfrac {\lambda }{n}}+o{\ bigg (}{\cfrac {\lambda }{n}}{\bigg )}{\bigg )}^{m}{\bigg (}1-{\cfrac {\lambda }{n}}-o{\ bigg (}{\cfrac {\lambda }{n}}{\bigg )}{\bigg )}^{{nm}}=

={\cfrac {1}{m!)}}{\cfrac {(n-m+1)(n-m+2)\ldots n}{n^{m))}{\bigg (}\lambda + o{\bigg (}\lambda {\bigg )}{\bigg )}^{m}{\bigg (}1-{\cfrac {\lambda}{n))-o{\bigg (}{\ cfrac {\lambda }{n}}{\bigg )}{\bigg )}^{{nm)),

därför att

\lim _{{n\to \infty }}np_{n}=\lambda \;\Leftrightarrow \;p_{n}={\cfrac {\lambda }{n}}+o{\bigg (}{\ cfrac {\lambda }{n}}{\bigg )}

på

\lim _{{n\to \infty }}{\cfrac {o{\bigg (}{\cfrac {\lambda }{n}}{\bigg ))){{\cfrac {\lambda }{n} }}}=0.

Men eftersom

$\lim _{{n\to \infty }}{\cfrac {(n-m+1)(n-m+2)\ldots n}{n^{m}}}={\bigg (}\lim _{{n\to \infty }}{\cfrac {(n-m+1)}{n}}{\bigg )}\cdot {\bigg (}\lim _{{n\to \infty }} {\cfrac {(n-m+2)}{n}}{\bigg )}\cdot \ldots \cdot {\bigg (}\lim _{{n\to \infty }}{\cfrac {(n )}{n}}{\bigg )}=1;$
$\lim _{{n\to \infty }}(\lambda +o(\lambda ))^{m}=\lambda ^{m};$
$\lim _{{n\to \infty }}{\bigg (}1-{\cfrac {\lambda }{n}}-o{\bigg (}{\cfrac {\lambda }{n}}{\ bigg )}{\bigg )}^{{nm}}=e^{{-\lambda }},$

då blir den resulterande jämlikheten

\lim _{{n\to \infty }}P(\omega :\mu _{n}(\omega )=m)=e^{{-\lambda }}{\cfrac {\lambda ^{m} }{m!}}.

QED