Variable aléatoire univariée X, Y avec : sont-ils indépendants?

8

Soit et des variables aléatoires univariées avec CDF telles que: où , sont des fonctions connues.X:ΩRY:ΩRFX,Y(x,y)

FX,Y(x,y)=G1(x)G2(y),(x,y)R×R
G1:RRG2:RR

Question : Est-il vrai que et sont des VR indépendants?XY

Quelqu'un peut-il me donner quelques indices?

J'ai essayé de: mais je ne sais pas pourquoi (ou si) \ lim_ {y \ to \ infty} G_2 (y) = 1 .

FX(x)=limyFX,Y(x,y)=limyG1(x)G2(y)=G1(x)limyG2(y)
limyG2(y)=1
Guilherme Salomé
la source
2
La relation FX,Y(x,y)=G1(x)G2(y) à tous les x et y ou seulement à un (x, y) spécifique (x,y)?
Dilip Sarwate
2
De plus, le CDF? FX,Y(x,y)
Vimal
1
Essayez-vous de savoir si savoir comment factoriser la fonction de distribution d'une variable aléatoire bivariée en un produit de fonctions de et séparément suffit pour conclure que et sont indépendants? (X,Y)xyXY
whuber
Désolé pour la confusion, je vais modifier la question maintenant. est le CDF et la propriété est valable pour tous les . FX,Y(x,y)x,y
Guilherme Salomé
1
limyG2(y)=1 ne doit pas être vrai. Considérons et et considérons que mais les deux et ne peut pas avoir une limite de 1.H1(x)=G1(x)0.5H2(y)=G2(y)2FX,Y(x,y)=H1(x)H2(y)G1H1
bsdfish

Réponses:

7

Oui, il est vrai que ces hypothèses impliquent que et sont indépendants.XY

Simplifiez la notation en écrivant . Par définition,F=FX,Y

F(x,y)=Pr(Xx,Yy).

Par conséquent, la limite de lorsque augmente sans limite existe et est la chance que ne dépasse pas :F(x,y)yXx

FX(x)=Pr(Xx)=limyF(x,y)=G1(x)limyG2(y).

Choisir n'importe quel pour lequel affiche est différent de zéro. (Un tel doit exister par la loi de la probabilité totale, qui affirme que ) AinsixFX(x)0G2=limyG2(y)xlimxFX(x)=1

G1(x)=FX(x)G2

pour tous . Échanger les rôles de et et utiliser une notation analogue,xXY

G2(y)=FY(y)G1

pour tous . Prendre la limite commune à mesure que et grandissent sans spectacle liéyxy

1=limx,yF(x,y)=G1G2.

Donc

F(x,y)=G1(x)G2(y)=FX(x)FY(y)G1G2=FX(x)FY(y),

démontrant et sont indépendants.XY

whuber
la source
1
La chose curieuse est que et peuvent tous deux être des fonctions à valeur négative avec, par exemple, et et tout sera encore travailler sur OK. G1()G2()G1=2G2=12
Dilip Sarwate du
2
@DilipSarwate: ce n'est pas très curieux en ce que, si satisfait la relation, il en va de même pour , vous pouvez donc supposer en toute sécurité que et ont une valeur positive. De même, si satisfait la relation, il en va de même , pour tout . (G1,G2)(G1,G2)G1G2(G1,G2)(αG1,α1G2)αR
Xi'an
@ Xi'an, je comprends parfaitement bien. Je voulais juste souligner (puisque l'OP se demandait comment montrer que avait la valeur limite comme signifiant qu'il voulait et ) que la factorisation implique que et sont indépendants sans qu'il soit nécessairement vrai que pour tout ; pour tous les fonctionne aussi bien. G2(y)1yG1=FXG2=FYFX,Y(x,y)=G1(x)G2(y)  x,yXYG1(x)0,G2(y)0x,yG1(x)0,G2(y)0x,y
Dilip Sarwate du
@Dilip Le pourrait même avoir des valeurs complexes si vous aimez :-). Gi
whuber
1
@KiranK. La question posée est "Si un CDF commun peut être exprimé par , alors et indépendants? " à laquelle la réponse est oui, et cela demande un peu de travail pour le montrer. Il n'est pas affirmé que et sont des CDF valides; si vous insistez pour inclure cette affirmation, la réponse est trivialement oui parce que l'une des définitions de RV indépendant est que le CDF commun entre dans le produit des CDF marginaux. FX,Y(x,y)FX,Y(x,y)=G1(x)G2(y) x,yXYG1(x)G2(y)
Dilip Sarwate,