Valor esperado para variables aleatorias mutuamente independientes

Dejar X 1 , . . . , X norte ser variables aleatorias. Muestre que si para cualquier función de R a R β 1 , . . . , β norte , eso

mi [ β 1 ( X 1 ) × . . . × β norte ( X norte ) ] = mi [ β 1 ( X 1 ) ] × . . . × mi [ β norte ( X norte ) ] X 1 , . . . , X norte  son mutuamente independientes


Aquí es donde estoy con la pregunta hasta ahora:

De la definición de la función de densidad de probabilidad y la independencia mutua, tenemos que

X 1 , . . . , X norte  son mutuamente independientes F X 1 , . . . , X norte ( X 1 , . . . , X norte ) = F X 1 ( X 1 ) × . . . × F X norte ( X norte )
Y por la definición de valor esperado:
mi [ β 1 ( X 1 ) × . . . × β norte ( X norte ) ] = + . . . + β 1 ( X 1 ) . . . β norte ( X norte ) F X 1 , . . . , X norte ( X 1 , . . . X norte ) d X 1 . . . d norte X
mi [ β 1 ( X 1 ) ] × . . . × mi [ β norte ( X norte ) ] = + β 1 ( X 1 ) F X 1 ( X 1 ) d X 1 . . . + β norte ( X norte ) F X norte ( X norte ) d X norte
De alguna manera, necesito mostrar que esos dos valores esperados anteriores implican F X 1 , . . . , X norte ( X 1 , . . . , X norte ) = F X 1 ( X 1 ) × . . . × F X norte ( X norte ) , pero no estoy muy seguro de cómo hacerlo.

Creo que querrá considerar el caso en el que ( β 1 , , β norte ) es una función indicadora en un subconjunto A de R norte , de modo que mi ( β 1 ( X 1 ) × × β norte ( X norte ) ) debería ser PAG ( ( X 1 , , X norte ) A ) .
@JeroenvanderMeer Pude descubrir la prueba si β 1 , . . . β norte eran funciones indicadoras para el apoyo de X 1 , . . . , X norte , pero no estoy seguro de cómo generalizarlo para funciones arbitrarias. ¿Algun consejo?

Respuestas (1)

Por simplicidad considere el caso norte = 2 (el caso general va igual). Dejar β 1 ser la función indicadora en algún intervalo [ X 1 , X 2 ] y β 2 la función de indicador en [ y 1 , y 2 ] . Entonces

mi ( β 1 X 1 × β 2 X 2 ) = X 1 X 2 y 1 y 2 F 1 , 2 ( X , y ) d X d y
mientras
mi ( β 1 X 1 ) × mi ( β 2 X 2 ) = X 1 X 2 y 1 y 2 F 1 ( X ) F 2 ( y ) d X d y
Así que lo que vemos es que tenemos dos funciones en 2 variables, a saber F 1 , 2 ( X , y ) y F 1 ( X ) F 2 ( y ) , cuyas integrales dobles son las mismas en todos los cuadrados.

Afirmo que esto es suficiente para concluir que F 1 , 2 ( X , y ) = F 1 ( X ) F 2 ( y ) casi en todas partes (es decir, en todas partes si sus funciones son continuas). Si sus funciones son continuas, puede hacer el siguiente argumento. Supongamos que en algún momento ( X , y ) difieren, digamos F 1 , 2 ( X , y ) < F 1 ( X ) F 2 ( y ) , entonces esta desigualdad sigue siendo verdadera en un pequeño vecindario de ( X , y ) , y podemos elegir nuestro cuadrado lo suficientemente pequeño para asegurar que las dos integrales también sean desiguales. Pero, de manera más general, la conclusión sigue siendo válida si las funciones son simplemente medibles, consulte, por ejemplo, esta respuesta .

¡Gracias por responder! Sigo tu argumento y tiene sentido para mí, sin embargo, un par de preguntas. ¿Cómo se aplica esta respuesta a cualquier función en la que exista el valor esperado, no solo indicadores de conjuntos? Por ejemplo, si β 1 = X 2 . Hice otra publicación intentando usar tu comentario anterior, ¿hay alguna manera de hacer esta pregunta de la misma manera?
Una vez conocida la igualdad en el caso de que el β i son funciones indicadoras, tienes suficiente para inferir independencia. A partir de la independencia, puede inferir a la inversa que, de hecho, la igualdad se cumple para todos β i .
¡No puedo creer que no me di cuenta de eso! Eso tiene sentido entonces, ¡gracias!