Skip to content

4회 · 셈하는 분포와 섞인 분포 · 워크북

B. 빈칸 증명 ​

노트의 단계형 증명을 책을 덮고 다시 쓴다. 같은 정리를 여러 번 만나며 도움이 줄어든다. 1 단계는 주어지고 근거와 몇 개의 식만 빈칸이다. 2 단계의 이름만 주어진다. 3 전략만 주어진다. 근거에는 정의나 정리의 번호, 앞 회차의 번호, 도구 번호를 쓴다.

B1 초기하분포의 분산, 근거 채우기 ★ ​

1 · 정리 1.5 · 15분

NN개 가운데 KK개가 성공인 모집단에서 nn개를 되돌려 넣지 않고 뽑는다. p=K/Np=K/N이다. 근거와 빈칸을 채워라.

  1. 1i\mathbf 1_i를 ii번째로 뽑은 것이 성공이라는 지시변수라 하면 X=∑i=1n1iX=\sum_{i=1}^n\mathbf 1_i이다.왜?지시함수 [T1]

  2. P(1i=1)=pP(\mathbf 1_i=1)=p이므로 EX=npEX=np이다.왜?뽑는 순서의 대칭, 기댓값의 선형성

  3. i≠ji\ne j이면 P(1i1j=1)=P(\mathbf 1_i\mathbf 1_j=1)={}KN⋅K−1N−1\tfrac KN\cdot\tfrac{K-1}{N-1}이다.왜?곱셈법칙, 1회 정리 5.3

  4. Cov⁡(1i,1j)=\Cov(\mathbf 1_i,\allowbreak \mathbf 1_j)={}−p(1−p)N−1-\tfrac{p(1-p)}{N-1}이다.왜?2 3, Cov⁡=E[1i1j]−p2\Cov=E[\mathbf 1_i\mathbf 1_j]-p^2

  5. 분산을 공분산의 합으로 쓴다.

    Var⁡X=∑iVar⁡1i+∑i≠jCov⁡(1i,1j)=np(1−p)−n(n−1)⋅p(1−p)N−1=np(1−p)N−nN−1\begin{align*} \Var X&=\sum_i\Var\mathbf 1_i+\sum_{i\ne j}\Cov(\mathbf 1_i,\mathbf 1_j) \tag*{\htmlClass{why}{\htmlClass{why-q}{\text{왜?}}\htmlClass{why-a}{\text{3회 정리 4.2(c)}}}}\\ &=np(1-p)-\htmlClass{blank}{n(n-1)}\cdot\frac{p(1-p)}{N-1}=np(1-p)\frac{N-n}{N-1} \tag*{\htmlClass{why}{\htmlClass{why-q}{\text{왜?}}\htmlClass{why-a}{\text{\htmlClass{sref}{\text{4}}, 순서쌍 $i\ne j$의 수}}}} \end{align*}
힌트

근거는 짧게 쓴다. 예: “정리 4.2(c)”, “[T1] 지시함수”. 공분산 항의 수는 순서 있는 쌍 (i,j)(i,j), i≠ji\ne j의 수다.

풀이

빈칸의 빨간 글씨가 답이다. 노트 정리 1.5의 증명과 같다. 둘째 단계의 대칭은 “nn개를 뽑는 모든 순서가 같은 확률이므로, ii번째 자리에 오는 것은 NN개 가운데 고르게 하나”라는 뜻이다. 공분산이 음수인 것은 성공 하나가 뽑히면 남은 모집단에서 성공의 비율이 줄기 때문이다.

B2 무기억성의 역, 근거 채우기 ★★ ​

1 · 정리 3.3 · 15분

양수인 연속 확률변수 XX가 모든 s,t>0s,t>0에서 P(X>s+t∣X>s)=P(X>t)P(X>s+t\mid X>s)=P(X>t)를 만족하면 지수분포임을 보인다. G(x)=P(X>x)G(x)=P(X>x)이다. 근거를 채워라.

  1. 모든 s>0s>0에서 G(s)>0G(s)>0이고 G(s+t)=G(s)G(t)G(s+t)=G(s)G(t)이다.왜?조건부확률의 정의, {X>s+t}⊂{X>s}\{X>s+t\}\subset\{X>s\}

  2. c=G(1)c=G(1)로 두면 자연수 nn에서 G(n)=cnG(n)=c^n이다.왜?1, nn에 대한 귀납 [T3]

  3. 0<c<10<c<1이다.왜?c=1c=1이면 G(n)=1G(n)=1인데 G(n)→0G(n)\to0, 귀류 [T2]

  4. 양의 유리수 q=nmq=\tfrac nm에서 G(q)=cqG(q)=c^q이다.왜?c=G(1m)mc=G(\tfrac1m)^m, 그리고 2와 같은 귀납

  5. 실수 x>0x>0에서 G(x)=cxG(x)=c^x이다.왜?유리수열 qk↓xq_k\downarrow x, GG의 오른쪽 연속

  6. λ=−log⁡c\lambda=-\log c로 두면 X∼Exp(λ)X\sim\mathrm{Exp}(\lambda)이다.왜?3으로 λ>0\lambda>0

힌트

다섯째 단계에서 왜 “오른쪽”인지 생각한다. G=1−FG=1-F이고 분포함수는 오른쪽 연속이다(1회 정리 6.3(c)).

풀이

빈칸의 빨간 글씨가 근거다. 노트 정리 3.3의 증명과 같다. 셋째 단계에서 G(n)→0G(n)\to0은 1회 정리 6.3(b)의 F(n)→1F(n)\to1이다. 다섯째 단계는 GG가 유리수에서만 정해져 있으면 실수에서의 값을 정하는 데 연속성 같은 성질이 하나 더 필요하다는 것을 보여 준다. 그런 성질이 없으면 G(s+t)=G(s)G(t)G(s+t)=G(s)G(t)의 기이한 해들이 존재한다.

B3 베타와 감마, 근거와 식 채우기 ★★ ​

1 · 정리 4.2 · 15분

X∼Γ(a,1)X\sim\Gamma(a,1)과 Y∼Γ(b,1)Y\sim\Gamma(b,1)이 독립이고 U=XX+YU=\tfrac X{X+Y}, V=X+YV=X+Y이다. 빈칸을 채워라.

  1. 역변환은 x=x={}uvuv, y=y={}(1−u)v(1-u)v이고 (0,1)×(0,∞)(0,1)\times(0,\infty) 위의 일대일 대응이다.왜?대입해 확인

  2. 역변환의 야코비안은 vv이다.왜?2×22\times2 행렬식 [T7]

  3. fX,Y(x,y)=xa−1e−xΓ(a)⋅yb−1e−yΓ(b)f_{X,Y}(x,\allowbreak y)=\tfrac{x^{a-1}e^{-x}}{\Gamma(a)}\cdot\tfrac{y^{b-1}e^{-y}}{\Gamma(b)}이다.왜?독립, 3회 정리 3.2

  4. fU,V(u,v)=ua−1(1−u)b−1Γ(a)Γ(b)/Γ(a+b)⋅va+b−1e−vΓ(a+b)f_{U,V}(u,\allowbreak v)=\dfrac{u^{a-1}(1-u)^{b-1}}{\Gamma(a)\Gamma(b)/\Gamma(a+b)}\cdot\dfrac{v^{a+b-1}e^{-v}}{\Gamma(a+b)}이다.왜?3회 정리 5.1

  5. UU와 VV는 독립이고 V∼Γ(a+b,1)V\sim\Gamma(a+b,1)이다.왜?인수분해, 3회 정리 3.2

  6. B(a,b)=B(a,b)={}Γ(a)Γ(b)Γ(a+b)\tfrac{\Gamma(a)\Gamma(b)}{\Gamma(a+b)}이고 U∼Beta(a,b)U\sim\mathrm{Beta}(a,b)이다.왜?UU의 밀도의 적분은 1

힌트

넷째 단계에서 e−uve−(1−u)v=e−ve^{-uv}e^{-(1-u)v}=e^{-v}이고 (uv)a−1((1−u)v)b−1⋅v=ua−1(1−u)b−1va+b−1(uv)^{a-1}((1-u)v)^{b-1}\cdot v=u^{a-1}(1-u)^{b-1}v^{a+b-1}이다.

풀이

빈칸의 빨간 글씨가 답이다. 노트 정리 4.2의 증명과 같다. 야코비안은 det⁡(vu−v1−u)=v(1−u)+uv=v\det\smat{v&u\\-v&1-u}=v(1-u)+uv=v이다. 마지막 단계는 “밀도의 적분은 1”이라는 사실 하나로 베타함수와 감마함수의 관계를 얻는다. 적분을 직접 계산하지 않는다.

B4 초기하분포의 분산, 단계의 이름만 ★★ ​

2 · 정리 1.5 · 25분

정리 1.5를 증명하라. 단계의 이름만 주어진다. 각 단계 아래에 식과 근거를 써라.

  1. XX를 지시변수의 합으로 쓴다

  2. 한 지시변수의 기댓값과 EXEX를 구한다

  3. 두 지시변수가 함께 1일 확률을 구한다

  4. 공분산을 계산한다

  5. 분산을 분산과 공분산의 합으로 쓰고 정리한다

힌트

B1을 보지 않고 쓴다. 넷째 단계의 계산은 KN(K−1N−1−KN)\tfrac KN\bigl(\tfrac{K-1}{N-1}-\tfrac KN\bigr)로 묶으면 짧다.

풀이
  1. X=∑i=1n1iX=\sum_{i=1}^n\mathbf 1_i.[T1]

  2. 대칭으로 E1i=KN=pE\mathbf 1_i=\tfrac KN=p, EX=npEX=np.선형성

  3. P(1i1j=1)=KN⋅K−1N−1P(\mathbf 1_i\mathbf 1_j=1)=\tfrac KN\cdot\tfrac{K-1}{N-1} (i≠ji\ne j).1회 정리 5.3

  4. Cov⁡(1i,1j)=KN(K−1N−1−KN)=KN⋅K−NN(N−1)=−p(1−p)N−1\Cov(\mathbf 1_i,\allowbreak \mathbf 1_j)=\tfrac KN\bigl(\tfrac{K-1}{N-1}-\tfrac KN\bigr)=\tfrac KN\cdot\tfrac{K-N}{N(N-1)}=-\tfrac{p(1-p)}{N-1}.계산

  5. Var⁡X=np(1−p)−n(n−1)p(1−p)N−1=np(1−p)N−nN−1\Var X=np(1-p)-n(n-1)\tfrac{p(1-p)}{N-1}=np(1-p)\tfrac{N-n}{N-1}.3회 정리 4.2(c)

B5 무기억성의 역, 단계의 이름만 ★★ ​

2 · 정리 3.3 · 25분

정리 3.3의 역, 곧 무기억성을 갖는 양수인 연속 확률변수는 지수분포라는 것을 증명하라.

  1. 성질을 생존함수의 함수방정식으로 바꾼다

  2. 자연수에서 푼다

  3. c=G(1)c=G(1)이 0과 1 사이에 있음을 보인다

  4. 양의 유리수로 넓힌다

  5. 실수로 넓힌다

  6. 지수분포임을 결론짓는다

힌트

유리수로 넓힐 때는 먼저 1m\tfrac1m에서의 값을 구한다. G(1)=G(1m+⋯+1m)G(1)=G(\tfrac1m+\cdots+\tfrac1m).

풀이

노트 정리 3.3의 역방향 증명과 같다. 단계별 근거는 B2의 풀이를 본다. 셋째 단계에서 c>0c>0은 첫 단계의 G>0G>0에서, c<1c<1은 귀류로 나온다. c=1c=1이면 G(n)=1G(n)=1이 모든 nn에서 성립해 P(X>n)=1P(X>n)=1인데, XX가 실숫값이면 P(X>n)→0P(X>n)\to0이어야 한다.

B6 베타와 감마, 전략만 ★★ ​

3 · 정리 4.2 · 30분

정리 4.2를 증명하라. 결론에는 U⊥VU\perp V, U∼Beta(a,b)U\sim\mathrm{Beta}(a,b), V∼Γ(a+b,1)V\sim\Gamma(a+b,1), B(a,b)=Γ(a)Γ(b)/Γ(a+b)B(a,\allowbreak b)=\Gamma(a)\Gamma(b)/\Gamma(a+b)가 모두 들어가야 한다.

전략 (X,Y)↦(U,V)(X,Y)\mapsto(U,V)의 변수변환으로 결합밀도를 구하고, 그것이 uu만의 함수와 vv만의 함수의 곱으로 인수분해됨을 보인다.

힌트

단계는 여섯이다. 역변환, 야코비안, 독립인 결합밀도, 변수변환 공식, 인수분해, 정규화 상수의 비교.

풀이

B3의 풀이와 노트 정리 4.2의 증명과 같다. 이 증명은 같은 틀로 세 개 이상의 감마로 넓어진다(노트 연습 4.5의 Dirichlet). 또 R=X/Y=U/(1−U)R=X/Y=U/(1-U)의 밀도를 구하면 노트 연습 4.4의 FF 분포의 씨앗이 된다.

B7 초기하분포의 분산, 전략만 ★★ ​

3 · 정리 1.5 · 30분

정리 1.5를 증명하라. 그리고 n=Nn=N이면 분산이 0이 되는 이유를 식과 말로 설명하라.

전략 XX를 지시변수의 합으로 쪼갠다. 지시변수들은 독립이 아니므로 분산에는 공분산 항이 남는다.

힌트

지시변수의 분산은 p(1−p)p(1-p)이고, i≠ji\ne j인 순서쌍은 n(n−1)n(n-1)개다.

풀이

B4의 풀이와 같다. n=Nn=N이면 N−nN−1=0\tfrac{N-n}{N-1}=0이므로 분산이 0이다. 모집단 전체를 뽑으면 X=KX=K로 확정되기 때문이다. 식으로는 Var⁡∑i1i=Np(1−p)−N(N−1)p(1−p)N−1=0\Var\sum_i\mathbf 1_i=Np(1-p)-N(N-1)\tfrac{p(1-p)}{N-1}=0이다. 분산 항의 합과 공분산 항의 합이 정확히 상쇄된다.