테마
2회 · 기댓값·부등식·대수의 법칙 · 워크북
B. 빈칸 증명
노트의 단계형 증명을 책을 덮고 다시 쓴다. 같은 정리를 여러 번 만나며 도움이 줄어든다. 1 단계는 주어지고 근거만 빈칸이다. 2 단계의 이름만 주어진다. 3 전략만 주어진다. 근거에는 정의나 정리의 번호, 도구 번호를 쓴다.
B1 꼬리 공식, 근거 채우기 ★
이 밀도 를 가지면 이다. 각 단계의 근거를 써라.
이다.왜?1회 정리 6.7(c)
영역 위에서 를 두 순서로 적분한다.
이다.왜?여사건, 1회 정리 4.3(c)
마지막으로, 순서를 바꿀 때 쓴 조건은 무엇이고 부호가 섞인 에 이 계산을 그대로 쓸 수 없는 이유는 무엇인지 두 줄로 써라.
힌트
둘째 단계의 둘째 줄에서 영역을 를 먼저 고정해 읽는다. 0부터 까지의 가 남는다.
풀이
빈칸의 빨간 글씨가 근거다. 순서를 바꿀 때 쓴 조건은 피적분함수가 음이 아니라는 것뿐이다(그래서 양변이 여도 등식이 성립한다). 부호가 섞이면 의 두 순서가 다른 값을 줄 수 있고(도구 상자 T6의 반례), 가 존재하지 않을 수도 있다. 그때는 로 나눠 각각에 쓴다.
B2 Jensen 부등식, 근거 채우기 ★★
가 열린 구간 에서 볼록이고 , , 이면 이다. 근거를 채워라.
는 안에 있다. 끝점이면 인데 이 되어 모순이다.왜?Markov와 1회 정리 4.7
에서 인 가 있다.왜?보조정리 5.8
이다.왜?단조성, 정리 1.10(b)
이다.왜?선형성, 정리 1.10(a)
3에서 가 존재한다.왜?
힌트
근거는 짧게 쓴다. 5는 에서 나온다.
풀이
빈칸의 빨간 글씨가 근거다. 1의 자세한 논리: 이면 는 확률 1로 양수이고 이다. Markov 부등식으로 이고, 이므로 연속성으로 이 되어 과 모순이다.
B3 확률적분변환, 근거 채우기 ★★
가 연속인 분포함수이면 이다. 을 고정한다. 근거를 채워라.
이다.왜?1회 정리 6.3(d), 연속
이다.왜?하한의 정의, 의 오른쪽 연속
이다.왜?이면 , 연속
이다.왜?1회 정리 4.7(b)
힌트
의 연속성은 두 번 쓰인다. 한 번은 에, 한 번은 에.
풀이
빈칸의 빨간 글씨가 근거다. 가 뛰는 점이 있으면 2와 4가 모두 깨진다. 노트 연습 4.7의 Bernoulli 예에서 는 과 1의 두 값만 갖는다.
B4 꼬리 공식, 단계의 이름만 ★★
정리 1.13의 (a)와 (b)를 증명하라. 각 단계 아래에 식과 근거를 써라.
(a) 를 확률질량함수의 합으로 쓴다
이중합으로 쓰고 항 가 몇 번 나오는지 센다
순서를 바꿔 를 얻는다
(b) 를 밀도의 적분으로 쓴다
적분 영역을 그리고 순서를 바꾼다
조건 확인: 순서를 바꿀 수 있는 근거
힌트
B1에서 채운 근거를 다시 보지 않고 쓴다. (a)에서 가 기댓값의 “값”을 만든다.
B5 Jensen 부등식, 단계의 이름만 ★★
정리 5.9를 증명하라. 보조정리 5.8(받침선)은 써도 된다.
가 안에 있음을 보인다
받침선을 잡는다
단조성으로 기댓값을 비교한다
받침선의 기댓값을 계산한다
조건 확인: 두 기댓값이 존재하는가
오목인 경우
힌트
첫 단계는 B2의 풀이에 있는 Markov와 연속성의 논리다. 끝점이 이면 확인할 것이 없다.
풀이
노트 정리 5.9의 단계형 증명과 같다. 단계별 근거는 B2를 본다. 마지막 단계: 가 오목이면 가 볼록이므로 , 곧 이다.
B6 받침선과 Jensen, 전략만 ★★★
전략 볼록이면 왼쪽의 기울기들이 오른쪽의 기울기들보다 작다. 그 사이의 기울기 로 받침선을 만들고, 받침선의 기댓값을 계산한다.
힌트
보조정리는 두 단계다. (1) 에서 기울기의 부등식을 볼록성에 를 넣어 얻는다. (2) 왼쪽 기울기들의 상한을 로 잡는다.
풀이
보조정리: 이면 , 이고 볼록성으로 이다. 양변에 를 곱해 정리하면 , 곧 이다. 왼쪽 기울기들은 오른쪽 기울기 하나로 위로 유계이므로 상한 가 있고, 모든 에서 왼쪽 기울기 오른쪽 기울기이다. 각각에 , 을 곱하면 , 이다. 가 열린 구간이어서 의 양쪽에 점이 있다는 것이 쓰였다. 정리는 B2와 B5의 풀이와 같다.
B7 역변환 표집과 확률적분변환, 전략만 ★★★
보조정리 4.6과 정리 4.7의 (a)(b)를 모두 증명하라.
전략 하한의 정의와 의 오른쪽 연속성으로 를 얻는 것이 보조정리의 전부다. 정리는 이 보조정리로 사건을 바꿔 쓴다.
힌트
보조정리의 ()에서 먼저 집합 가 비어 있지 않고 아래로 유계임을 1회 정리 6.3(b)로 확인한다.
풀이
보조정리: () 이면 는 집합 에 속하므로 하한 이다. () 그 집합은 이므로 비어 있지 않고, 이므로 아래로 유계다. 하한으로 가는 수열 , 를 잡으면 오른쪽 연속성으로 이다. 이면 가 비감소이므로 이다. 정리 (a)는 이고, (b)는 B3의 단계와 같다.