Skip to content

7회 · 극한의 언어 · 워크북

D. 퀄형 ​

여러 절과 앞 회차의 도구를 잇는 종합 문제다. 머리의 제한 시간을 재고, 노트를 덮고 푼다. 어느 극한 정리를 어떤 가정 아래 쓰는지 밝히는 것까지 답안의 일부다.

D1 Poisson에서 0의 확률 ★★★ ​

정리 1.6, 3.1, 4.4 · 4회 · 제한 35분

X1,…,Xn∼iidPoi(λ)X_1,\allowbreak \dots,\allowbreak X_n\iid\mathrm{Poi}(\lambda)에서 θ=P(X=0)=e−λ\theta=P(X=0)=e^{-\lambda}를 추정한다. 두 추정량

T1=1n#{i:Xi=0},T2=e−XˉnT_1=\frac1n\#\{i:X_i=0\},\qquad T_2=e^{-\bar X_n}

을 비교한다. (노트북의 check()에는 λ\lambda를 lam으로 쓴다.)

  1. (a)

    T1T_1과 T2T_2가 모두 θ\theta로 확률수렴함을 보여라.

  2. (b)

    n(T1−θ)\sqrt n(T_1-\theta)의 극한분포의 분산을 구하라.

  3. (c)

    n(T2−θ)\sqrt n(T_2-\theta)의 극한분포의 분산을 구하라.

  4. (d)

    점근분산의 비 (c)(b)\tfrac{(\text{c})}{(\text{b})}가 모든 λ>0\lambda>0에서 1보다 작음을 보이고, λ=1\lambda=1에서의 값을 구하라.

힌트

(b) 1{Xi=0}1\{X_i=0\}은 Bernoulli(θ)(\theta)다. (c) g(x)=e−xg(x)=e^{-x}에 델타 방법. (d) 비는 λeλ−1\tfrac{\lambda}{e^\lambda-1}이고 eλ>1+λe^\lambda>1+\lambda [T4].

풀이

(a) 1{Xi=0}1\{X_i=0\}은 iid Bernoulli(θ)(\theta)이므로 대수의 법칙으로 T1→PθT_1\xrightarrow{P}\theta이다. Xˉn→Pλ\bar X_n\xrightarrow{P}\lambda이고 e−xe^{-x}는 연속이므로 정리 1.3으로 T2→Pe−λT_2\xrightarrow{P}e^{-\lambda}이다. (b) 중심극한정리로 n(T1−θ)→DN(0,θ(1−θ))\sqrt n(T_1-\theta)\xrightarrow{D}\N(0,\allowbreak \theta(1-\theta))이므로 분산은 e−λ(1−e−λ)e^{-\lambda}(1-e^{-\lambda})이다. (c) n(Xˉn−λ)→DN(0,λ)\sqrt n(\bar X_n-\lambda)\xrightarrow{D}\N(0,\allowbreak \lambda)(4회의 Poisson 분산), g(x)=e−xg(x)=e^{-x}, g′(λ)=−e−λg'(\lambda)=-e^{-\lambda}이므로 분산은 λe−2λ\lambda e^{-2\lambda}이다. (d) λe−2λe−λ(1−e−λ)=λe−λ1−e−λ=λeλ−1\tfrac{\lambda e^{-2\lambda}}{e^{-\lambda}(1-e^{-\lambda})}=\tfrac{\lambda e^{-\lambda}}{1-e^{-\lambda}}=\tfrac\lambda{e^\lambda-1}이다. eλ>1+λe^\lambda>1+\lambda (λ>0\lambda>0)이므로 1보다 작다. λ=1\lambda=1이면 1e−1=0.582\tfrac1{e-1}=0.582이다. T1T_1은 0의 개수만 쓰고 나머지 관측값을 버리지만, T2T_2는 모든 관측을 Xˉn\bar X_n으로 쓴다. 대가는 T2T_2가 Poisson 모형을 가정한다는 것이다. 모형이 틀리면 T2T_2는 e−λe^{-\lambda}가 아닌 값으로 간다.

최종답 (b) e−λ(1−e−λ)e^{-\lambda}(1-e^{-\lambda}) (c) λe−2λ\lambda e^{-2\lambda} (d) 1e−1≈0.582\tfrac1{e-1}\approx0.582

D2 균등분포의 끝점 ★★★ ​

예제 2.2(b), 정리 3.1 · 3회 · 제한 40분

X1,…,Xn∼iidU(0,θ)X_1,\allowbreak \dots,\allowbreak X_n\iid\mathrm U(0,\allowbreak \theta)이고 Mn=max⁡iXiM_n=\max_iX_i이다.

  1. (a)

    x≥0x\ge0에서 P(n(θ−Mn)>x)→e−x/θP\bigl(n(\theta-M_n)>x\bigr)\to e^{-x/\theta}임을 보여라.

  2. (b)

    2Xˉn2\bar X_n의 분산을 구하라.

  3. (c)

    T=n+1nMnT=\tfrac{n+1}nM_n이 불편이고 분산이 θ2n(n+2)\tfrac{\theta^2}{n(n+2)}임을 보여라.

  4. (d)

    n=10n=10에서 Var⁡(2Xˉn)/Var⁡T\Var(2\bar X_n)/\Var T를 구하라. 두 추정량의 오차는 nn에 대해 각각 어떤 속도로 줄어드는가?

힌트

(a) P(Mn<θ−x/n)=(1−xnθ)nP(M_n<\theta-x/n)=(1-\tfrac x{n\theta})^n. (c) Mn/θM_n/\theta의 밀도는 nun−1nu^{n-1} (0<u<10<u<1)이다.

풀이

(a) x<nθx<n\theta이면 P(n(θ−Mn)>x)=P(Mn<θ−xn)=(1−xnθ)n→e−x/θP(n(\theta-M_n)>x)=P(M_n<\theta-\tfrac xn)=\bigl(1-\tfrac x{n\theta}\bigr)^n\to e^{-x/\theta}이다(독립이므로 nn개의 확률을 곱한다). 극한은 평균 θ\theta인 지수분포다. (b) Var⁡X=θ212\Var X=\tfrac{\theta^2}{12}이므로 Var⁡(2Xˉn)=4n⋅θ212=θ23n\Var(2\bar X_n)=\tfrac4n\cdot\tfrac{\theta^2}{12}=\tfrac{\theta^2}{3n}이다. (c) U=Mn/θU=M_n/\theta의 분포함수는 unu^n, 밀도는 nun−1nu^{n-1}이다. EU=nn+1EU=\tfrac n{n+1}, EU2=nn+2EU^2=\tfrac n{n+2}이므로 Var⁡U=nn+2−n2(n+1)2=n(n+1)2(n+2)\Var U=\tfrac n{n+2}-\tfrac{n^2}{(n+1)^2}=\tfrac n{(n+1)^2(n+2)}이다. 따라서 ET=n+1nθ⋅nn+1=θET=\tfrac{n+1}n\theta\cdot\tfrac n{n+1}=\theta이고 Var⁡T=(n+1)2n2θ2⋅n(n+1)2(n+2)=θ2n(n+2)\Var T=\tfrac{(n+1)^2}{n^2}\theta^2\cdot\tfrac n{(n+1)^2(n+2)}=\tfrac{\theta^2}{n(n+2)}이다. (d) n=10n=10이면 θ2/30θ2/120=4\tfrac{\theta^2/30}{\theta^2/120}=4이다. 2Xˉn2\bar X_n의 표준편차는 1/n1/\sqrt n, TT의 표준편차는 1/n1/n의 속도로 준다. (a)의 n(θ−Mn)n(\theta-M_n)이 수렴한다는 것이 곧 MnM_n의 오차가 1/n1/n의 크기라는 뜻이다. 표본의 받침이 모수에 의존하면 중심극한정리의 n\sqrt n보다 빠를 수 있다.

최종답 (b) θ23n\tfrac{\theta^2}{3n} (c) θ2n(n+2)\tfrac{\theta^2}{n(n+2)} (d) 44

D3 기하분포의 성공 확률 ★★★ ​

정리 3.1, 4.2, 4.4 · 4회 · 제한 30분

X1,…,XnX_1,\dots,X_n이 iid이고 P(X=k)=(1−p)k−1pP(X=k)=(1-p)^{k-1}p (k=1,2,…k=1,2,\dots)이다. EX=1pEX=\tfrac1p, Var⁡X=1−pp2\Var X=\tfrac{1-p}{p^2}이다.

  1. (a)

    p^=1/Xˉn\hat p=1/\bar X_n에 대해 n(p^−p)\sqrt n(\hat p-p)의 극한분포의 분산을 구하라.

  2. (b)

    그 분산의 pp 자리에 p^\hat p를 넣은 근사 95% 구간이 점근적으로 옳음을 Slutsky로 보여라.

  3. (c)

    n=50n=50, Xˉ=4\bar X=4이면 (b)에서 쓰는 표준오차 p^(1−p^)/n\hat p\sqrt{(1-\hat p)/n}은 얼마인가?

  4. (d)

    같은 자료로 (b)의 구간을 구하라(z0.025=1.96z_{0.025}=1.96).

힌트

(a) g(x)=1/xg(x)=1/x, g′(1/p)=−p2g'(1/p)=-p^2. (c) p^=0.25\hat p=0.25이다. (d) 노트북의 check()에는 구간의 아래 끝을 넣는다.

풀이

(a) n(Xˉn−1p)→DN(0,1−pp2)\sqrt n(\bar X_n-\tfrac1p)\xrightarrow{D}\N(0,\allowbreak \tfrac{1-p}{p^2})이고 g′(1p)=−p2g'(\tfrac1p)=-p^2이므로 분산은 p4⋅1−pp2=p2(1−p)p^4\cdot\tfrac{1-p}{p^2}=p^2(1-p)이다. (b) n(p^−p)p^1−p^=p1−pp^1−p^⋅n(p^−p)p1−p\tfrac{\sqrt n(\hat p-p)}{\hat p\sqrt{1-\hat p}}=\tfrac{p\sqrt{1-p}}{\hat p\sqrt{1-\hat p}}\cdot\tfrac{\sqrt n(\hat p-p)}{p\sqrt{1-p}}이다. 둘째 인수는 (a)로 N(0,1)\N(0,1)로 분포수렴하고, p^→Pp\hat p\xrightarrow{P}p이므로 첫 인수는 1로 확률수렴한다(정리 1.3). Slutsky로 N(0,1)\N(0,1)이므로 p^±1.96 p^(1−p^)/n\hat p\pm1.96\,\hat p\sqrt{(1-\hat p)/n}의 포함확률은 0.950.95로 간다. (c) p^=1/4=0.25\hat p=1/4=0.25이고 표준오차는 0.250.75/50=0.03060.25\sqrt{0.75/50}=0.0306이다. (d) 0.25±1.96×0.0306=0.25±0.0600=[0.190, 0.310]0.25\pm1.96\times0.0306=0.25\pm0.0600=[0.190,\allowbreak \ 0.310]이다.

최종답 (a) p2(1−p)p^2(1-p) (c) 0.03060.0306 (d) [0.190, 0.310][0.190,\ 0.310]

D4 정규 꼬리의 중요도 표집 ★★★ ​

정리 6.6 · 5회 · 제한 40분

θ=P(Z>a)=1−Φ(a)\theta=P(Z>a)=1-\Phi(a)를 제안분포 g=N(μ,1)g=\N(\mu,1)의 중요도 표집으로 추정한다. h=1{y>a}h=1\{y>a\}, w(y)=ϕ(y)/ϕ(y−μ)w(y)=\phi(y)/\phi(y-\mu)이다.

  1. (a)

    w(y)=e−μy+μ2/2w(y)=e^{-\mu y+\mu^2/2}이고 Eg[h2w2]=eμ2(1−Φ(a+μ))E_g[h^2w^2]=e^{\mu^2}\bigl(1-\Phi(a+\mu)\bigr)임을 보여라.

  2. (b)

    a=μ=3a=\mu=3일 때 한 표본의 분산의 비 θ(1−θ)Eg[h2w2]−θ2\tfrac{\theta(1-\theta)}{E_g[h^2w^2]-\theta^2}을 구하라. 1−Φ(3)=1.3499×10−31-\Phi(3)=1.3499\times10^{-3}, 1−Φ(6)=9.866×10−101-\Phi(6)=9.866\times10^{-10}, e9=8103.08e^9=8103.08이다.

  3. (c)

    Eg[h2w2]E_g[h^2w^2]을 최소로 하는 μ\mu가 2μ(1−Φ(a+μ))=ϕ(a+μ)2\mu\bigl(1-\Phi(a+\mu)\bigr)=\phi(a+\mu)를 만족함을 보이고, 1−Φ(x)≈ϕ(x)/x1-\Phi(x)\approx\phi(x)/x를 써서 μ≈a\mu\approx a임을 보여라.

힌트

(a) ϕ(y−μ)e−2μy+μ2\phi(y-\mu)e^{-2\mu y+\mu^2}의 지수를 완전제곱으로 정리하면 ϕ(y+μ)eμ2\phi(y+\mu)e^{\mu^2}이다.

풀이

(a) w(y)=exp⁡(−y22+(y−μ)22)=e−μy+μ2/2w(y)=\exp\bigl(-\tfrac{y^2}2+\tfrac{(y-\mu)^2}2\bigr)=e^{-\mu y+\mu^2/2}이다. 그러면

Eg[h2w2]=∫a∞e−2μy+μ2ϕ(y−μ) dy=eμ2∫a∞ϕ(y+μ) dy=eμ2(1−Φ(a+μ)).E_g[h^2w^2]=\int_a^\infty e^{-2\mu y+\mu^2}\phi(y-\mu)\,dy=e^{\mu^2}\int_a^\infty\phi(y+\mu)\,dy=e^{\mu^2}\bigl(1-\Phi(a+\mu)\bigr) .

가운데 등호는 −(y−μ)22−2μy+μ2=−(y+μ)22+μ2-\tfrac{(y-\mu)^2}2-2\mu y+\mu^2=-\tfrac{(y+\mu)^2}2+\mu^2에서 나온다. (b) Eg[h2w2]=8103.08×9.866×10−10=7.995×10−6E_g[h^2w^2]=8103.08\times9.866\times10^{-10}=7.995\times10^{-6}이고 θ2=1.822×10−6\theta^2=1.822\times10^{-6}이므로 분산은 6.17×10−66.17\times10^{-6}이다. 보통 Monte Carlo의 θ(1−θ)=1.348×10−3\theta(1-\theta)=1.348\times10^{-3}과의 비는 약 218218이다. (c) log⁡Eg[h2w2]=μ2+log⁡(1−Φ(a+μ))\log E_g[h^2w^2]=\mu^2+\log(1-\Phi(a+\mu))를 μ\mu로 미분해 0으로 두면 2μ−ϕ(a+μ)1−Φ(a+μ)=02\mu-\tfrac{\phi(a+\mu)}{1-\Phi(a+\mu)}=0이다. 1−Φ(x)≈ϕ(x)/x1-\Phi(x)\approx\phi(x)/x를 넣으면 2μ≈a+μ2\mu\approx a+\mu, 곧 μ≈a\mu\approx a이다. 제안분포의 중심을 드문 사건의 경계로 옮기라는 뜻이다. 수치로 최소점을 구하면 a=3a=3에서 μ=3.15\mu=3.15로 aa보다 조금 크다.

최종답 (b) ≈218\approx218