편집
2,675
번
Singleheart (토론 | 기여) (번역 끝) |
Singleheart (토론 | 기여) 잔글편집 요약 없음 |
||
[[확률론]]에서 '''마르코프 부등식'''은 [[확률 변수]]의 [[함수 (수학)|함수]]가 어떤 양수 [[수학 상수|상수]] 이상일 [[확률]]에 대한 [[상계]]를
마르코프 부등식은
== 설명 ==
[[측도 이론]]
:<math> \mu(\{x\in X|\,|f(x)|\geq t\}) \leq {1\over t}\int_X |f|\,d\mu.</math>
''X''가 확률 변수이고 ''a'' > 0일 때
:<math>\textrm{Pr}(|X| \geq a) \leq \frac{\textrm{E}(|X|)}{a}.</math>
== 증명 ==
측도 공간이 확률 공간인
=== 특수한 경우:
어떤 사건 ''E''에 대해서, ''I''<sub>''E''</sub>를 ''E''의 정의 확률 변수라 하자. 즉, ''E''가 일어나면 ''I''<sub>''E''</sub> = 1이고 일어나지 않으면 ''I''<sub>''E''</sub> = 0이다. 따라서
사건 |''X''| ≥ ''a''가 일어나면
''I''<sub>(|''X''| ≥ ''a'')</sub> = 0이다. 그러면 ''a'' > 0인 ''a''가 주어질 때,
:<math>aI_{(|X| \geq a)} \leq |X|
이고,
:<math>\operatorname{E}(aI_{(|X| \geq a)}) \leq \operatorname{E}(|X|)
이며 부등식 왼쪽이 아래 식과 같으므로
:<math>a\operatorname{E}(I_{(|X| \geq a)})=a\Pr(|X| \geq a)
이고, 다음 식을 얻는다.
:<math>a\Pr(|X| \geq a) \leq \operatorname{E}(|X|)
그리고 ''a'' > 0이므로, 양변을 ''a''로 나눌 수 있다.
=== 일반적인 경우: 측도
가측 집합 ''A''에 대해서 1<sub>''A''</sub>를 ''A''의 [[정의 함수]]라 하자. 다시 말해서 ''x'' ∈ ''A''일 때 1<sub>''A''</sub>(''x'') = 1이고, 다른 경우에는 0이다.
|