X, Y variable aleatoria univariada con : ¿son independientes?

8

Deje que e sean variables aleatorias univariadas con CDF tales que: donde , son funciones conocidas.X:ΩRY:ΩRFX,Y(x,y)

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

Pregunta : ¿Es cierto que e son RV independientes?XY

¿Alguien puede darme algunas pistas?

Traté de: pero no sé por qué (o 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é
fuente
2
¿La relación FX,Y(x,y)=G1(x)G2(y) cumple para todos los x e y o solo en un determinado (x,y) ?
Dilip Sarwate
2
Además, ¿es el CDF? FX,Y(x,y)
Vimal
1
¿Intenta preguntarse si saber cómo factorizar la función de distribución de una variable aleatoria bivariada en un producto de funciones de e separado es suficiente para concluir que e son independientes? (X,Y)xyXY
whuber
Perdón por la confusión, editaré la pregunta ahora. es el CDF y la propiedad es válida para todos los . FX,Y(x,y)x,y
Guilherme Salomé
1
limyG2(y)=1 no tiene que ser cierto. Considere y y considere que pero ambos y no puede tener un límite de 1.H1(x)=G1(x)0.5H2(y)=G2(y)2FX,Y(x,y)=H1(x)H2(y)G1H1
bsdfish

Respuestas:

7

Sí, es cierto que estos supuestos implican que e son independientes.XY

Simplifique la notación escribiendo . Por definición,F=FX,Y

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

Por lo tanto, el límite de medida que aumenta sin límite existe y es la posibilidad de que no exceda :F(x,y)yXx

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

Elegir cualquier para la que muestre no es cero. (Tal debe existir por la ley de probabilidad total, que afirma ) AsíxFX(x)0G2=limyG2(y)xlimxFX(x)=1

G1(x)=FX(x)G2

para todo . Intercambiando los roles de e y usando notación análoga,xXY

G2(y)=FY(y)G1

por todo . Tomando el límite de la articulación a medida que e crecen sin espectáculos encuadernadosyxy

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

Por lo tanto

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

demostrando que e son independientes.XY

whuber
fuente
1
Lo curioso es que y pueden ser funciones de valor negativo con, por ejemplo, y y todo seguirá siendo funciona bien. G1()G2()G1=2G2=12
Dilip Sarwate
2
@DilipSarwate: no es muy curioso que, si satisface la relación, también lo hace , por lo que puede asumir con seguridad que y tienen un valor positivo. Del mismo modo, si satisface la relación, también lo hace , para cualquier . (G1,G2)(G1,G2)G1G2(G1,G2)(αG1,α1G2)αR
Xi'an
@ Xi'an entiendo perfectamente bien. Solo quería enfatizar (ya que el OP se preguntaba cómo mostrar que tenía un valor límite como lo que significa que quería y ) que la factorización implica que e son independientes sin que sea necesariamente cierto que para todo ; para todos funciona igual de 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
@Dilip El podría incluso tener valores complejos si lo desea :-). Gi
whuber
1
@KiranK. La pregunta que se hace es "Si un CDF conjunto se puede expresar como , entonces son e independientes? " para lo cual la respuesta es Sí, y se requiere un poco de trabajo para mostrar esto. Se no afirmó que y son los FDC válidas; Si insiste en incluir esta afirmación, la respuesta es trivial Sí, porque una de las definiciones de RV independiente es que los factores CDF conjuntos en el producto de los CDF marginales. FX,Y(x,y)FX,Y(x,y)=G1(x)G2(y) x,yXYG1(x)G2(y)
Dilip Sarwate