Wenn X / Y die gleiche Verteilung wie Z hat, stimmt es, dass X die gleiche Verteilung wie YZ hat?

9

Sei X, Y und Z drei unabhängige Zufallsvariablen. Wenn X / Y die gleiche Verteilung wie Z hat, stimmt es, dass X die gleiche Verteilung wie YZ hat?

user2808118
quelle
4
Nein. Betrachten Sie den Fall, dass X und Y Standardnormal und Z eine Standard-Cauchy-Zufallsvariable sind (wobei alle drei gemäß der Prämisse der Frage unabhängig sind). Es ist bekannt, dass X/Y eine Standard-Cauchy-Verteilung hat (die gleiche wie die von Z ), aber YZ keine Standard-Normalverteilung hat (da E[YZ] nicht existiert). Sie benötigen also zusätzliche Einschränkungen für X,Y,Z (vgl. Silverfishs Antwort), um Hoffnung zu haben, Beispiele zu finden, bei denen das Ergebnis zutreffen könnte.
Dilip Sarwate
1
@Dilip Ich dachte darüber nach, dies als mein Gegenbeispiel zu verwenden, scheute mich aber davor, weil mir keine kurze Erklärung einfiel, warum E[YZ] nicht existiert. Wenn Sie ein ordentliches Argument haben, sollten Sie es als Antwort veröffentlichen, denke ich. (Wie Sie wahrscheinlich sehen können, habe ich in meiner Antwort ganz bewusst Nullen und Unendlichkeiten vermieden, daher war ich sehr daran interessiert, etwas zu vermeiden, das nicht einmal unendlich ist!)
Silverfish
2
@Dilip Da Cauchy ist und E [ Z ] nicht existiert, scheint mir der Vorbehalt nicht erfüllt zu sein und die Aussage sagt nichts über E [ Y Z ] aus . Zum Vergleich: Wenn Z Cauchy ist und Y die entartete Verteilung P ( Y = 0 ) = 1 hat , scheint es, dass E [ Y Z ] existiert (und gleich Null ist), obwohl E [ Z ] dies nicht tut. ZE[Z]E[YZ]ZYP(Y=0)=1E[YZ]E[Z]
Silverfish
4
Eines der einfachsten und vielleicht intuitivsten möglichen Gegenbeispiele besteht darin, und Y eine beliebige Verteilung mit einer gewissen Wahrscheinlichkeit zu sein, nicht in { - 1 , 0 , 1 , ± } zu sein (da ± 1 die Fixpunkte von sind y 1 / y und 0 , , und - ist in der Definition von problematischem X / Y in jedem Fall). Dann Y Z.X=1Y{1,0,1,±}±1y1/y0,,X/YYZist offensichtlich nicht konstant, während ist. X
whuber
3
@Silverfish ist nur definiert, wenn E [ | Y Z | ] ist endlich. Aber E [ | Y Z | ] = E [ | Y | | Z | ] = E [ | Y | ] E [ | Z | ] seit | Y | und | Z |E[YZ]E[|YZ|]E[|YZ|]=E[|Y||Z|]=E[|Y|]E[|Z|]|Y||Z|sind unabhängige Zufallsvariablen. Aber seit ist nicht endlich und E [ | Y | ] > 0 schließen wir, dass E [ | Y Z | ] ist nicht endlich (es gibt keine Probleme mit dem Wert von 0 × ). Folglich ist E [ Y Z ] nicht definiert (oder existiert nicht), wohingegen E [ X ] sehr definitiv existiert und den Wert 0 hat . E[|Z|]E[|Y|]>0E[|YZ|]0×E[YZ]E[X]0
Dilip Sarwate

Antworten:

8

Es kann vorkommen. Wenn beispielsweise , Y und Z unabhängige Rademacher- Variablen sind, können sie mit gleicher Wahrscheinlichkeit 1 oder -1 sein. In diesem Fall ist X / Y auch Rademacher, hat also die gleiche Verteilung wie Z , während Y Z Rademacher ist und somit die gleiche Verteilung wie X hat .XYZX/YZYZX

Aber es wird im Allgemeinen nicht passieren. Solange die Mittel vorhanden sind, wären notwendige (aber nicht ausreichende) Bedingungen für , um die gleiche Verteilung wie Z zu haben , und für Y Z , um die gleiche Verteilung wie X zu haben , folgende: E ( Z ) = E ( X Y. - 1 ) = E ( X ) E ( Y - 1 ) E ( X ) = E ( Y Z ) = E.X/YZYZX

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

Die zweite Gleichheit, gefolgt von Unabhängigkeit. Einsetzen ergibt:

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

Wenn dann ist 1 = E ( Y ) E ( Y - 1 ) oder äquivalent, solange E ( Y ) 0 ist.E(Z)01=E(Y)E(Y1)E(Y)0

E(Y1)=1E(Y)

Dies gilt im Allgemeinen nicht. Zum Beispiel sei eine übersetzte Bernouilli- Variable, die mit gleicher Wahrscheinlichkeit die Werte 1 oder 2 annimmt , also E ( Y ) = 1,5 . Dann nimmt Y - 1 mit gleicher Wahrscheinlichkeit Werte 1 oder 0,5 an, also ist E ( Y - 1 ) = 0,75 1,5 - 1 . (Ich überlasse es der Vorstellungskraft des Lesers, wie dramatisch ein Effekt gewesen wäre, wenn er einen nicht übersetzten verwendet hätteY12E(Y)=1.5Y110.5E(Y1)=0.751.51Stattdessen eine Bernouilli-Variable oder eine nur geringfügig übersetzte Variable, sodass sie mit einer Wahrscheinlichkeit von der Hälfte sehr nahe bei 0 liegt. Beachten Sie, dass im Rademacher-Beispiel hier kein Problem aufgetreten ist, da alle drei Erwartungen Null waren. Beachten Sie außerdem, dass diese Bedingung nicht ausreicht.)

Wir können untersuchen, wie dieses versagt, indem wir ein expliziteres Gegenbeispiel konstruieren. Nehmen wir zur Vereinfachung an, X ist ein skaliertes Bernouilli und nimmt mit gleicher Wahrscheinlichkeit Werte 0 oder 2 an. Dann X / Y entweder 0 / 1 , 0 / 2 , 2 / 1 oder 2 / 2 mit gleicher Wahrscheinlichkeit. Es ist klar, dass P ( X / Y = 0 ) = 1 istYX02X/Y0/10/22/12/2 ,P(X/Y=1)=1P(X/Y=0)=12 undP(X/Y=2)=1P(X/Y=1)=14 . SeiZeine unabhängige Variable aus derselben Verteilung. Wie ist die Verteilung vonYZ? Ist es dasselbe wie die Verteilung vonX? Wir müssen nicht einmal die vollständige Wahrscheinlichkeitsverteilung berechnen, um zu sehen, dass dies nicht möglich ist. Es genügt, sich daran zu erinnern, dassXnur null oder zwei sein kann, währendYZjeden Wert annehmen kann, den Sie durch Multiplizieren eines von{1,2}mit einem von{0,1,2} erhalten können.P(X/Y=2)=14ZYZXXYZ{1,2}{0,1,2}

Wenn Sie eine Moral für diese Geschichte wollen, versuchen Sie, mit skalierten und übersetzten Bernouilli-Variablen (einschließlich Rademacher-Variablen) herumzuspielen. Sie können eine einfache Möglichkeit sein, Beispiele zu konstruieren - und Gegenbeispiele. Es hilft, weniger Werte in den Unterstützungen zu haben, so dass Verteilungen verschiedener Funktionen der Variablen leicht von Hand berechnet werden können.

Noch extremer können wir entartete Variablen betrachten, deren Unterstützung nur einen einzigen Wert hat. Wenn und Y degeneriert ist (mit Y 0 ) , dann Z = X / Y wird sein und so die Verteilung von Y Z den Wert von Übereinstimmen Z . Wie mein Rademacher Beispiel, das ist eine Situation , Ihre Bedingungen zeigt , kann zufrieden sein. Wenn stattdessen, wie @whuber in den Kommentaren vorschlägt, X mit P entartet sein soll ( X = 1 ) , aber Y zulassenXYY0Z=X/YYZZXP(X=1)Yzu variieren, dann ist es sehr einfach, ein noch einfacheres Gegenbeispiel zu konstruieren. Wenn mit positiver Wahrscheinlichkeit zwei endliche Werte ungleich Null annehmen kann - beispielsweise a und b - , kann X / Y und damit Z die Werte a - 1 und b - 1 annehmen . Jetzt hat Y Z daher ein b - 11 in seiner Unterstützung, kann also nicht der gleichen Verteilung wie X folgen . Dies ist ähnlich, aber einfacher als mein Argument, dass die Unterstützungen in meinem ursprünglichen Gegenbeispiel nicht übereinstimmen könnten.YabX/YZa1b1YZab11X

Silberfisch
quelle
1
Angenommen, . Da 1 / x eine konvexe Funktion von ( 0 , ) ist , sagt uns Jensens Ungleichung, dass die Bedingung E Y = E 1 istPr(Y>0)=11/x(0,) gilt nur, wennYentartet ist. Gleiches gilt, wennPr(Y<0)=1ist. In diesem Fall ist 1 / x konkav. WennYalso ein festes Vorzeichen hat, aber nicht entartet ist, kann die notwendige Bedingung nicht gelten. EY=E1YYPr(Y<0)=1Y
Dougal
1
@ Dougal Danke, dass du das erwähnt hast. Beim Schreiben habe ich darüber nachgedacht, es aufzunehmen, aber ich hatte das Gefühl, dass die Diskussion über Zeichen usw. den Fluss unterbrechen würde. Ich dachte darüber nach, nur "Jensens Ungleichung sehen" zu sagen und eine Wikipedia oder einen ähnlichen Link hinzuzufügen, entschied dann aber, dass dies keine gute Idee war, da ich sie nicht durch die Konvexitätsbedingungen vorangestellt hatte, die ich zu vermeiden versuchte. Stattdessen habe ich nachgesehen, ob es irgendwo (vielleicht einen CV-Thread) gibt, wo die Erwartung nichtlinearer Funktionen eines Wohnmobils allgemein diskutiert wird, was natürlich einen neugierigen Leser zu Jensen führen würde, aber ich habe nichts entdeckt Ich mag noch.
Silverfish
2
@Dougal Dies ist eine dieser Situationen, in denen es zu einem kleinen Konflikt zwischen wunderbar einfachen Gegenbeispielen kommt - etwas, das sehr einfach zu berechnen ist, sodass jemand, der unter einem Missverständnis gearbeitet hat, sofort erkennen kann, dass es unmöglich oder falsch ist - und einer gründlicheren, allgemeineren Behandlung, die tatsächlich hilft Zeigen Sie, unter welchen Bedingungen etwas tatsächlich halten könnte (was jedoch für manche Leser zu schwierig und daher für sie weniger überzeugend sein kann). Das Wohnmobil auf zeigt sogar Anfängern, warum E ( 1 / Y ) nicht so gut funktioniert wie E ( a Y + b ), aber Jensen sagt viel mehr darüber, warum!{1,2}E(1/Y)E(aY+b)
Silverfish
2
Ja, guter Punkt, obwohl ich neugierig bin, unter welchen Bedingungen diese (scheinbar natürliche) Beziehung bestehen kann, die ziemlich begrenzt zu sein scheint. Beachten Sie, dass ich in meinem obigen Kommentar die Bedingung falsch geschrieben habe: Es sollte natürlich . 1\EY=\E1Y
Dougal
2
@Dougal Ich denke, über entartete Wohnmobile hinaus sind solche Beziehungen nicht so "natürlich", wie sie zuerst erscheinen. Angenommen, hat die gleiche Verteilung wie und hat die gleiche Verteilung wie , und alle drei sind unabhängig ... Auch dies gilt im Allgemeinen nicht. X + Y Y Z - X.ZX+YYZX
Silverfish