참조 : 역 cdf의 꼬리


10

통계에서 다음 결과를 이미 보았지만 어디에 있는지 기억할 수 없습니다.

경우 X 양의 랜덤 변수이고 E(X)< 다음 εF1(1ε)0ε0+ , 여기서 F 의 CDF이다 X .

이것은 등식 를 사용하고 정수 1 - F 의 곡선 아래 영역의 εE(X)=1F 에서 수평 절단을 고려 하여 기하학적으로 쉽게 볼 수 있습니다.ε1F

이 결과에 대한 참조와 이름이 있는지 여부를 알고 있습니까?


3
"보다 일반적으로"는 부품별로 통합을 간단하게 적용한 것입니다. 그것은 거의 참조가 필요하지 않습니다!
whuber

@ whuber 첫 번째 결과에 대한 참조를 요청하고 있습니다.
Stéphane Laurent

2
stats.stackexchange.com/questions/18438 에서 보았 거나 적어도 비슷한 것을 보았을 것 입니다. 그 결과는 적분의 대체로 인한 것이기 때문에 다시 기본이되었으므로 문헌에 특별히 언급되거나 특별한 이름이 주어지지는 않을 것입니다.
whuber

1
@ whuber 링크에 이 표시 되지 않습니다 . 또한 내가 언급 한 결과는 이산 F에 대해서도 마찬가지입니다 ( 더 일반적인 진술에서 g 를 시퀀스 로 취하고 로 대체함으로써 ). 첫 번째 결과는 일반 F의 경우에도 마찬가지입니다 . ϵF1(1ϵ)0FgF
Stéphane Laurent

2
나는 이것이 더 고전적인 용어로 언급되어 있다면 아무런 언급없이 사용할 수 있다고 생각합니다. 대략, 이것은 : X ˉ F :=1-F, 직접적인 결과 중 :XxF¯(x)0xF¯:=1F 및 지배적 인 수렴. F 가 단계를 가질 수있는일반적인 경우에(왼쪽 연속) 역 F - 1 에 대한설명을 얻으려면 약간의 작업이 필요합니다. xPr{X>x}E[X1{X>x}]F1F
이브

답변:


2

주석에서 Yves가 제안한 "작은 작업"을 처리하기 위해 기하학은 엄격하고 완전한 일반 증거를 제안합니다.

원하는 경우 영역에 대한 모든 참조를 정수로 대체하고 일반적인 엡실론 델타 인수로 "임의"에 대한 참조를 대체 할 수 있습니다. 번역이 쉽습니다.

사진을 설정하려면, 하자 생존 기능 수G

G(x)=1F(x)=Pr(X>x).

그림

그림은 의 일부를 나타 냅니다. (그래프의 점프에 유의하십시오.이 특정 분포는 연속적이지 않습니다.) 큰 임계 값 T 가 표시되고 작은 확률 ϵ G ( T ) 가 선택되었습니다 ( G - 1 ( ϵ ) T ).GTϵG(T)G1(ϵ)T

우리는 갈 준비가되었습니다 : 우리가 관심있는 값, (우리가 0으로 수렴하고자하는 것)은 흰색의 면적입니다 높이와 직사각형 ε 베이스에서 X = 0X = G - 1 ( ε ) . 우리가 이용할 수있는 유일한 가정은이 기대가 존재하고 유한하다는 것이므로이 영역을 F 의 기대와 관련 시키십시오 .ϵF1(1ϵ)=ϵG1(ϵ)ϵx=0x=G1(ϵ)F

양극 부 기대의 E F ( X는 ) (에서 생존 곡선 아래의 면적 인 0 )E+EF(X)0

EF(X)=E+E=0G(x)dx0F(x)dx.

때문에 (그 자체가 존재하고 유한을하지 않을 것이다, 그렇지 않으면 기대에 대한) 유한해야합니다, 우리는 선택할 수 T를 아래의 면적 것이 큰 있도록 G 사이의 0T는 모든 계정, 또는 거의 모두의 E + .E+TG0TE+

이제 모든 조각이 제자리에 있습니다 : 의 그래프 , 임계 값 T , 작은 높이 ϵ 및 오른쪽 끝점 G - 1 ( ϵ ) 은 우리가 분석 할 수있는 영역 으로 E + 의 해부를 나타냅니다 .GTϵG1(ϵ)E+

  • 마찬가지로 위에서 제로로 진행하고, 기재와 흰색 사각형의 면적 0 X < T 가 수축 제로는,하기 때문에 T는 일정하게 유지된다. ( 이것이 T 가 소개 된 이유 입니다.이 데모의 핵심 아이디어입니다. )ϵ0x<TTT

  • 파란색 영역에 가깝게 만들 수 있습니다 당신이 좋아 하듯이 적절하게 대형으로 시작하여, T 작은 선택 다음과 ε을 . E+Tϵ

  • 결과적으로 에서 x = G - 1 ( ϵ ) 까지의 흰색 사각형보다 명확하게 남은 영역 은 임의로 작게 만들 수 있습니다. 즉, 빨간색과 금색 부분은 무시하십시오.x=Tx=G1(ϵ)

따라서 우리는 을 두 부분으로 나누고 그 영역은 모두 0으로 수렴합니다. ϵG1(ϵ) 따라서, , QED.ϵG1(ϵ)0

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.