X / Y의 분포가 Z와 동일한 경우 X의 분포가 YZ와 같은 것이 사실입니까?


9

X, Y 및 Z를 3 개의 독립적 인 랜덤 변수로 둡니다. X / Y의 분포가 Z와 동일한 경우 X의 분포가 YZ와 같은 것이 사실입니까?


4
아니요. 와 가 표준 정규이고 가 표준 Cauchy 랜덤 변수 인 경우를 고려하십시오 (세 가지 모두 문제의 전제에 따라 독립적 임). 이는 그 잘 알려진 표준 코시 분포 (와 동일한 갖는다 )하지만 (이후 표준 정규 분포되어 있지 않은 존재하지 않음). 따라서 에 대한 추가 제한이 필요합니다 (Silfishfish의 답변 참조). XYZX/YZYZE[YZ]X,Y,Z
Dilip Sarwate

1
@Dilip 나는 그것을 반례로 사용하는 것을 고려했지만 가 존재하지 않는 이유에 대한 간단한 설명을 생각할 수 없었기 때문에 그것을 멀리했다 . 깔끔한 논쟁이 있다면, 내가 생각하는 답변으로 게시해야합니다. (아마도 알 수 있듯이, 나는 의도적으로 제로와 무한대의 대답을 피 했으므로 무한하지 않은 것을 피하려고 매우 열심했습니다!)E[YZ]
Silverfish

2
@Dilip 는 Cauchy이므로 는 존재하지 않으므로 그 조건이 충족되지 않고 대해서는 아무 말도하지 않습니다 . 비교를 위해 : 가 Cauchy이고 가 축퇴 분포ZE[Z]E[YZ]ZYP(Y=0)=1 이 있으면 나타납니다.E[YZ] 그래도 존재하지만 0과 같습니다. E[Z]하지 않습니다.
Silverfish

4
가장 간단하고 아마도 가장 직관적이며 가능한 반례 중 하나는 X=1Y 없을 가능성이있는 배포판 {1,0,1,±} (이후 ±1 고정 점입니다 y1/y0,, 의 정의에 문제가있다 X/Y어떤 경우에도). 그때YZ 분명히 일정하지 않습니다 X입니다.
whuber

3
S E[YZ] 다음과 같은 경우에만 정의됩니다 E[|YZ|]유한하다. 그러나,E[|YZ|]=E[|Y||Z|]=E[|Y|]E[|Z|] 이후 |Y||Z|독립적 인 랜덤 변수입니다. 하지만 이후E[|Z|] 유한하지 않으며 E[|Y|]>0우리는 결론 E[|YZ|] 유한하지 않다 (의 가치에 관한 문제는 없다) 0×). 따라서,E[YZ] 정의되지 않았거나 존재하지 않는 반면 E[X] 매우 존재하고 가치가 있습니다 0.
Dilip Sarwate

답변:


8

일어날 수 있습니다. 예를 들어X, YZ독립 Rademacher 변수입니다. 즉, 같은 확률로 1 또는 -1 일 수 있습니다. 이 경우X/Y Rademacher이기도합니다. Z, 동안 YZ Rademacher이므로 분포가 동일합니다 X.

그러나 일반적으로 발생하지는 않습니다. 수단이 존재하는 한, 필요한 (그러나 충분하지 않은) 조건X/Y 와 같은 분포를 갖기 위해 Z, 그리고 YZ 와 같은 분포를 갖기 위해 X다음과 같습니다.

E(Z)=E(XY1)=E(X)E(Y1)
E(X)=E(YZ)=E(Y)E(Z)

두 번째 평등과 독립. 대체는 다음을 제공합니다.

E(Z)=E(Y)E(Z)E(Y1)

만약 E(Z)0 그때 1=E(Y)E(Y1)또는 그에 상응하는 한 E(Y)0,

E(Y1)=1E(Y)

이것은 일반적으로 사실이 아닙니다. 예를 들어Y값을 취하는 번역 된 Bernouilli 변수1 또는 2 같은 확률로 E(Y)=1.5. 그때Y1 가치를 취하다 1 또는 0.5 같은 확률로 E(Y1)=0.751.51. (나는 그것을 독자의 상상력에 맡기고, 번역되지 않은 Bernouilli 변수를 대신 사용해야하는 효과가 얼마나 극적 이거나 하나만 약간 변환되어 확률이 절반으로 0에 매우 가깝습니다. Rademacher 예제에는 세 가지 기대치가 모두 0이기 때문에 문제가 없습니다.이 조건으로는 충분하지 않습니다.)

우리는 이것이 어떻게 탐구 할 수 있습니다 Y더 명확한 반례를 구성하여 실패합니다. 일을 단순하게 유지하려면X 비늘이있는 Bernouilli이며 가치가 있습니다 0 또는 2같은 확률로. 그때X/Y 다음 중 하나입니다 0/1, 0/2, 2/1 또는 2/2같은 확률로. 분명하다P(X/Y=0)=12, P(X/Y=1)=14P(X/Y=2)=14. 허락하다Z동일한 분포에서 도출 된 독립 변수 여야합니다. 분포는 무엇입니까YZ? 분포와 동일합니까?X? 우리는 그것이 불가능하다는 것을 알기 위해 전체 확률 분포를 계산할 필요조차 없습니다. 기억하기에 충분하다X 동안 0 또는 2 일 수있었습니다 YZ 다음 중 하나를 곱하면 얻을 수있는 가치가 있습니다 {1,2} 에 의해 {0,1,2}.

이 이야기에 대한 도덕을 원한다면, 스케일되고 번역 된 Bernouilli 변수 (Rademacher 변수 포함)를 가지고 놀아보십시오. 예제와 반대 예제를 구성하는 간단한 방법이 될 수 있습니다. 지지대의 값이 적어 변수의 다양한 기능 분포를 손으로 쉽게 해결할 수 있습니다.

더 극단적으로 우리는 지원에 단일 값을 갖는 변성 변수를 고려할 수 있습니다. 만약XY 타락하다 Y0) 그런 다음 Z=X/Y 너무 될 것이므로 YZ 의 가치와 일치합니다 Z. 내 Rademacher의 예와 같이 귀하의 조건 이 충족 될 있음을 보여주는 상황 입니다. 대신 @whuber가 의견에서 제안한 것처럼X 타락하다 P(X=1)하지만 허용 Y더 간단한 반례를 구성하는 것은 매우 쉽습니다. 만약Y 0이 아닌 두 개의 유한 값을 취할 수 있습니다- ab예를 들어 긍정적 인 확률로 X/Y따라서 Z, 가치를 가질 수있다 a1b1. 지금YZ 따라서 ab11 그것의 지원에서, 같은 분포를 따를 수 없습니다 X. 이것은 원래의 반례에서 지원이 일치 할 수 없다는 주장과 비슷하지만 간단합니다.


1
한다고 가정 Pr(Y>0)=1. 그런 다음부터1/x 볼록한 기능입니다 (0,)젠슨의 불평등은 그 상태가 EY=E1Y 경우에만 보유 Y퇴화된다. 다음과 같은 경우에도 마찬가지입니다.Pr(Y<0)=1이 경우 1 / x는 오목합니다. 그래서 만약Y고정 부호이지만 변질되지 않은 경우 필요한 조건을 유지할 수 없습니다.
Dougal

1
@Dougal 이것을 언급 해 주셔서 감사합니다. 글을 쓸 때 나는 그것을 포함시키는 것에 대해 생각했지만 표지판에 대한 토론이 흐름을 깨뜨릴 것이라고 느꼈습니다. 나는 단지 "Jensen의 불평등 참조"라고 말하고 Wikipedia 또는 이와 유사한 링크를 추가하는 것에 대해 생각했지만, 내가 피하려고하는 볼록한 조건에 의해 서두를 내지 않았기 때문에 그것이 좋은 생각이 아니라고 결정했습니다. 대신, RV의 비선형 함수에 대한 기대가 일반적으로 논의되는 어딘가 (CV 스레드)가 있는지 살펴보고 자연스럽게 호기심 많은 독자를 Jensen에게 인도 할 것이지만 아무것도 발견하지 못했습니다. 난 아직 좋아
Silverfish

2
@Dougal 이것은 아주 간단하게 계산 된 사례들 사이에 약간의 충돌이있는 시대 중 하나입니다. 매우 쉽게 계산할 수 있으므로 잘못 이해 한 사람은 즉시 불가능하거나 부정확하다는 것을 알 수 있습니다.보다 철저하고 일반적인 치료는 실제로 도움이됩니다 어떤 조건 하에서 실제로 어떤 상태를 유지할 수 있는지 보여주십시오 (그러나 일부 독자는 따라하기가 너무 어려워서 설득력이 떨어질 수 있습니다). 에 RV{1,2} 초보자도 왜 보여 E(1/Y) 만큼 잘 작동하지 않습니다 E(aY+b)그러나 Jensen은 그 이유에 대해 훨씬 더 많이 말합니다!
Silverfish

2
그렇습니다. 좋은 점이지만,이 관계가 보이는 것처럼 보이는 상황이 궁금합니다. 위의 의견에서 조건을 잘못 썼습니다. 물론1\EY=\E1Y.
Dougal

2
@Dougal 나는 퇴화 RV를 넘어서서 그런 관계가 처음 나타나는 것처럼 "자연스럽지 않다"고 생각합니다. 치다Z 분포가 동일하다 X+YY 분포가 동일하다 ZX그리고 세 개 모두 독립적입니다 ... 다시는 일반적으로 유지되지 않습니다.
Silverfish
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.