테마
4회 · 셈하는 분포와 섞인 분포 · 워크북
B. 빈칸 증명
노트의 단계형 증명을 책을 덮고 다시 쓴다. 같은 정리를 여러 번 만나며 도움이 줄어든다. 1 단계는 주어지고 근거와 몇 개의 식만 빈칸이다. 2 단계의 이름만 주어진다. 3 전략만 주어진다. 근거에는 정의나 정리의 번호, 앞 회차의 번호, 도구 번호를 쓴다.
B1 초기하분포의 분산, 근거 채우기 ★
개 가운데 개가 성공인 모집단에서 개를 되돌려 넣지 않고 뽑는다. 이다. 근거와 빈칸을 채워라.
를 번째로 뽑은 것이 성공이라는 지시변수라 하면 이다.왜?지시함수 [T1]
이므로 이다.왜?뽑는 순서의 대칭, 기댓값의 선형성
이면 이다.왜?곱셈법칙, 1회 정리 5.3
이다.왜?2 3,
분산을 공분산의 합으로 쓴다.
풀이
빈칸의 빨간 글씨가 답이다. 노트 정리 1.5의 증명과 같다. 둘째 단계의 대칭은 “개를 뽑는 모든 순서가 같은 확률이므로, 번째 자리에 오는 것은 개 가운데 고르게 하나”라는 뜻이다. 공분산이 음수인 것은 성공 하나가 뽑히면 남은 모집단에서 성공의 비율이 줄기 때문이다.
B2 무기억성의 역, 근거 채우기 ★★
양수인 연속 확률변수 가 모든 에서 를 만족하면 지수분포임을 보인다. 이다. 근거를 채워라.
모든 에서 이고 이다.왜?조건부확률의 정의,
로 두면 자연수 에서 이다.왜?1, 에 대한 귀납 [T3]
이다.왜?이면 인데 , 귀류 [T2]
양의 유리수 에서 이다.왜?, 그리고 2와 같은 귀납
실수 에서 이다.왜?유리수열 , 의 오른쪽 연속
로 두면 이다.왜?3으로
힌트
다섯째 단계에서 왜 “오른쪽”인지 생각한다. 이고 분포함수는 오른쪽 연속이다(1회 정리 6.3(c)).
풀이
빈칸의 빨간 글씨가 근거다. 노트 정리 3.3의 증명과 같다. 셋째 단계에서 은 1회 정리 6.3(b)의 이다. 다섯째 단계는 가 유리수에서만 정해져 있으면 실수에서의 값을 정하는 데 연속성 같은 성질이 하나 더 필요하다는 것을 보여 준다. 그런 성질이 없으면 의 기이한 해들이 존재한다.
B3 베타와 감마, 근거와 식 채우기 ★★
과 이 독립이고 , 이다. 빈칸을 채워라.
역변환은 , 이고 위의 일대일 대응이다.왜?대입해 확인
역변환의 야코비안은 이다.왜? 행렬식 [T7]
이다.왜?독립, 3회 정리 3.2
이다.왜?3회 정리 5.1
와 는 독립이고 이다.왜?인수분해, 3회 정리 3.2
이고 이다.왜?의 밀도의 적분은 1
힌트
넷째 단계에서 이고 이다.
풀이
빈칸의 빨간 글씨가 답이다. 노트 정리 4.2의 증명과 같다. 야코비안은 이다. 마지막 단계는 “밀도의 적분은 1”이라는 사실 하나로 베타함수와 감마함수의 관계를 얻는다. 적분을 직접 계산하지 않는다.
B4 초기하분포의 분산, 단계의 이름만 ★★
정리 1.5를 증명하라. 단계의 이름만 주어진다. 각 단계 아래에 식과 근거를 써라.
를 지시변수의 합으로 쓴다
한 지시변수의 기댓값과 를 구한다
두 지시변수가 함께 1일 확률을 구한다
공분산을 계산한다
분산을 분산과 공분산의 합으로 쓰고 정리한다
힌트
B1을 보지 않고 쓴다. 넷째 단계의 계산은 로 묶으면 짧다.
B5 무기억성의 역, 단계의 이름만 ★★
정리 3.3의 역, 곧 무기억성을 갖는 양수인 연속 확률변수는 지수분포라는 것을 증명하라.
성질을 생존함수의 함수방정식으로 바꾼다
자연수에서 푼다
이 0과 1 사이에 있음을 보인다
양의 유리수로 넓힌다
실수로 넓힌다
지수분포임을 결론짓는다
힌트
유리수로 넓힐 때는 먼저 에서의 값을 구한다. .
풀이
노트 정리 3.3의 역방향 증명과 같다. 단계별 근거는 B2의 풀이를 본다. 셋째 단계에서 은 첫 단계의 에서, 은 귀류로 나온다. 이면 이 모든 에서 성립해 인데, 가 실숫값이면 이어야 한다.
B6 베타와 감마, 전략만 ★★
정리 4.2를 증명하라. 결론에는 , , , 가 모두 들어가야 한다.
전략 의 변수변환으로 결합밀도를 구하고, 그것이 만의 함수와 만의 함수의 곱으로 인수분해됨을 보인다.
힌트
단계는 여섯이다. 역변환, 야코비안, 독립인 결합밀도, 변수변환 공식, 인수분해, 정규화 상수의 비교.
풀이
B7 초기하분포의 분산, 전략만 ★★
정리 1.5를 증명하라. 그리고 이면 분산이 0이 되는 이유를 식과 말로 설명하라.
전략 를 지시변수의 합으로 쪼갠다. 지시변수들은 독립이 아니므로 분산에는 공분산 항이 남는다.
힌트
지시변수의 분산은 이고, 인 순서쌍은 개다.
풀이
B4의 풀이와 같다. 이면 이므로 분산이 0이다. 모집단 전체를 뽑으면 로 확정되기 때문이다. 식으로는 이다. 분산 항의 합과 공분산 항의 합이 정확히 상쇄된다.