1 離散分布
次の級数公式を、幾何分布の期待値と分散の計算に用いる。
補題 1.1.0≤q<1に対して、
k=0∑∞qkk=0∑∞kqkk=0∑∞k2qk=1−q1,=(1−q)2q,=(1−q)3q(1+q)(1.1.1)(1.1.2) が成り立つ。
定義 1.2.p∈[0,1]とする。P(X=1)=p、P(X=0)=1−pである分布を Bernoulli 分布Bern(p) (Bernoulli distribution) という。n∈{0,1,2,…}に対して、
P(X=k)=(kn)pk(1−p)n−k(0≤k≤n)である分布を二項分布Bin(n,p) (binomial distribution) という。端点を含む式では00=1と約束する。
命題 1.3.X∼Bern(p)ならばE[X]=p、Var(X)=p(1−p)である。X∼Bin(n,p)ならばE[X]=np,Var(X)=np(1−p)である。
証明. Bernoulli 分布では、二点上の和を計算すると
E[X]=0(1−p)+1p=p,E[X2]=02(1−p)+12p=pである。したがって、
Var(X)=E[X2]−E[X]2=p−p2=p(1−p)となる。
二項定理により二項分布の確率の総和は(p+1−p)n=1である。k(kn)=n(k−1n−1)とk(k−1)(kn)=n(n−1)(k−2n−2)を用いると、E[X]=np,E[X(X−1)]=n(n−1)p2.したがってE[X2]=n(n−1)p2+npであり、E[X2]−E[X]2=np(1−p)となる。端点n=0,1でも同じ式が直接成り立つ。▨
定義 1.4.p∈(0,1]とし、q=1−pとする。P(X=k)=pqk(k=0,1,2,…)である分布を幾何分布Geom(p) (geometric distribution) という。Xは最初の成功より前の失敗回数を表すため、値は0から始まる。
λ>0に対して、P(X=k)=e−λk!λk(k=0,1,2,…)である分布を Poisson 分布Pois(λ) (Poisson distribution) という。
命題 1.5.X∼Geom(p)ならばE[X]=p1−p,Var(X)=p21−p.X∼Pois(λ)ならばE[X]=λ,Var(X)=λ.
証明. 幾何級数により幾何分布は規格化される。補題 1.1からE[X]=p(1−q)2q=pq,E[X2]=p(1−q)3q(1+q)=p2q(1+q)であるから、分散はq/p2である。
指数関数の級数により Poisson 分布の総質量はe−λeλ=1である。添字をずらすとE[X]=λ,E[X(X−1)]=λ2.したがってE[X2]=λ2+λであり、分散はλである。▨
定理 1.6.X∼Geom(p)とし、m,n∈{0,1,2,…}およびP(X≥m)>0を仮定する。このときP(X≥m+n∣X≥m)=P(X≥n)が成り立つ。
証明.P(X≥r)=∑k=r∞pqk=qrである。仮定によりqm>0であるから、条件付き確率の定義から比はqm+n/qm=qnとなる。▨
2 絶対連続分布
証明. 密度の積分はいずれも1である。一様分布ではxとx2を[a,b]上で積分すると、E[X]=2a+b,E[X2]=3a2+ab+b2を得る。差を取れば分散の式が従う。
指数分布では、xme−λx→0(x→∞)と部分積分により、E[X]=∫0∞xλe−λxdx=λ1,E[X2]=λ22.したがって分散は1/λ2である。▨
定理 2.3.X∼Exp(λ)とし、s,t≥0とする。このときP(X>s+t∣X>s)=P(X>t)が成り立つ。
証明.u≥0に対してP(X>u)=∫u∞λe−λxdx=e−λuである。条件事象の確率は正であるから、条件付き確率の定義により左辺はe−λ(s+t)/e−λs=e−λtとなる。▨
定義 2.4.μ∈R、σ>0とする。密度f(x)=2πσ1exp(−2σ2(x−μ)2)をもつ分布を正規分布N(μ,σ2) (normal distribution) という。
命題 2.5. 正規分布の密度の積分は1であり、X∼N(μ,σ2)ならばE[X]=μ,Var(X)=σ2.
証明. Gaussian 積分§E4.14 例 3.2と有限区間上の Riemann 積分と Lebesgue 積分の一致§E10.17 系 5.2を用いる。区間を実数全体へ増加させ、単調収束定理§E10.11 定理 1.1を適用すると、∫Re−u2/2du=2πを得る。有限区間でu=(x−μ)/σと置換し、区間を増加させて単調収束定理を適用すると、密度の積分は1である。
ϕ(u)=(2π)−1/2e−u2/2と置く。有限区間上で積分し、単調収束定理を適用すると、
∫R∣u∣ϕ(u)du=2R→∞lim∫0Ruϕ(u)du=2π2<∞.したがってE[∣X∣]≤∣μ∣+σ∫R∣u∣ϕ(u)du<∞であり、一階積率を定義することができる。奇関数uϕ(u)の対称区間上の積分からE[X]=μを得る。さらに、[−R,R]上の部分積分により
∫−RRu2ϕ(u)du=−2Rϕ(R)+∫−RRϕ(u)du.Rϕ(R)→0であり、左辺に単調収束定理を適用すると、∫Ru2ϕ(u)du=1である。よってE[(X−μ)2]=σ2となる。▨
3 演習
問題 3.1.
- 二項分布についてE[X(X−1)]を確率質量関数から計算し、分散の公式を証明せよ。
- X∼Geom(p)とP(X≥m)>0に対してP(X=k+m∣X≥m)=P(X=k)を証明せよ。
- X∼N(μ,σ2)とa=0に対して、aX+bの密度を求めよ。
解答.
-
X∼Bin(n,p)とする。Xの分布は{0,…,n}に集中するので、§E11.4 定理 1.3により、関数gについてE[g(X)]=∑k=0ng(k)(kn)pk(1−p)n−kである(00=1とする)。2≤k≤nに対して
k(k−1)(kn)=(k−2)!(n−k)!n!=n(n−1)(k−2n−2)
であり、k=0,1ではk(k−1)=0である。n≥2ならば、j=k−2とおいて二項定理を用いると
E[X(X−1)]=n(n−1)p2j=0∑n−2(jn−2)pj(1−p)n−2−j=n(n−1)p2(p+1−p)n−2=n(n−1)p2
である。n=0,1ならばすべての項が0であり、n(n−1)p2=0と一致する。同じく1≤k≤nに対してk(kn)=n(k−1n−1)であるから、n≥1ならばE[X]=np∑j=0n−1(jn−1)pj(1−p)n−1−j=npであり、n=0でもE[X]=0=npである。§E11.4 命題 1.2によりE[X2]=E[X(X−1)]+E[X]=n(n−1)p2+npであり、§E11.4 命題 2.3により
Var(X)=E[X2]−E[X]2=n(n−1)p2+np−n2p2=np−np2=np(1−p)
を得る。
-
q=1−pとし、k≥0を整数とする(負の整数kでは両辺がともに0である)。定義 1.4と有限または可算加法性からP(X≥m)=∑j=m∞pqj=qmである。p=1ではq=0であり、00=1の規約のもとで同じ式が成り立つ。k≥0ならば{X=k+m}⊆{X≥m}であるから、P(X≥m)>0と§E11.2 定義 1.1により
P(X=k+m∣X≥m)=P(X≥m)P(X=k+m)=qmpqk+m=pqk=P(X=k)
が成り立つ。
-
fをN(μ,σ2)の密度とし、Y=aX+bとおく。∣a∣σ>0であるから、
g(u)=2π∣a∣σ1exp(−2a2σ2(u−(aμ+b))2)
は定義 2.4のN(aμ+b,a2σ2)の密度であり、命題 2.5によりν(B)=∫Bgdλは Borel 確率測度である。x=(u−b)/aならば(x−μ)2=(u−b−aμ)2/a2であるから、f((u−b)/a)/∣a∣=g(u)である。
y∈Rを固定し、c=(y−b)/aとおく。a>0ならばP(Y≤y)=P(X≤c)である。R>∣c∣に対して、有限区間[−R,c]上の連続関数の Riemann 積分でu=ax+bと置換すると
∫−Rcf(x)dx=∫−aR+bya1f(au−b)du=∫−aR+byg(u)du
である。a<0ならばP(Y≤y)=P(X≥c)であり、[c,R]上で同じ置換を行うと、uはyからaR+bまで減少するので
∫cRf(x)dx=∫yaR+ba1f(au−b)du=∫aR+by∣a∣1f(au−b)du=∫aR+byg(u)du
である。§E10.17 系 5.2により有限区間上の Riemann 積分は Lebesgue 積分に等しく、R→∞のとき積分範囲が増加するので、§E10.11 定理 1.1により左辺はP(X≤c)またはP(X≥c)へ、右辺はν((−∞,y])へ収束する。したがって、すべてのyについてP(Y≤y)=ν((−∞,y])が成り立つ。§E11.3 定理 2.3によりYの分布はνに等しく、aX+bは密度gをもつ。すなわちaX+b∼N(aμ+b,a2σ2)である。
▨