Puede que sea un error, pero a menudo he oído decir a algunos que "nos preocupamos sobre todo por los CDF". Asimismo, en los libros de texto se ve $X \sim N(0,1)$ , sin ninguna referencia al espacio de la muestra. Pero, ¿por qué y cómo lo justificamos?
Mis pensamientos: con mis limitados conocimientos en probabilidad, dos resultados:
- Cualquier función de distribución $F:\mathbb{R} \rightarrow [0,1]$ , se obtiene una medida de Lebesgue-Stiltjes $\mu_F$ . Teniendo en cuenta el espacio $(\mathbb{R}, B_{\mathbb{R}}, \mu_F)$ con la variable randon $X$ siendo la identidad, obtenemos, $$P(X \le t ) = \mu((-\infty, t]) = F(t)$$
Esto implica que es suficiente en la especificación de cdf $F$ y decir que existe una RV, $X$ con cdf $F$ .
- (Construcción de Skorokhod, en Williams) Dejemos $F: \mathbb{R} \rightarrow [0,1]$ sea una cdf. $U\sim U[0,1]$ . $$ X^-:= \sup \{ y \in \mathbb{R} \,: \, F(y) < U \} $$ es una RV en $[0,1]$ con la misma distribución que $F$ .
Creo que también hay una generalización a las variables conjuntas.
Pero estos resultados no son satisfactorios, No veo cómo son canónicos .
1 votos
Cuando se tiene una función medible $X:\Omega\to E$ y una medida $P$ en $\Omega$ se puede definir la medida de empuje $X_*(P)$ en $E$ definido como $X_*(P)(A)=P(X^{-1}(A))$ para cada conjunto medible de $E$ . En el caso de $E=\mathbb{R}$ y $P$ una probabilidad, basta con saber $X_*(P)$ en conjuntos de la forma $(-\infty,a]$ . Si sólo vas a hacer preguntas sobre los tamaños de los conjuntos de la forma $X^{-1}(A)$ entonces todo lo que necesitas saber es $X_*(P)$ en $E$ .
1 votos
Dado $E=\mathbb{R}$ y un CDF, $F$ sobre ello, tienes razón en que hay muchos $X:\Omega\to E$ y medidas $P$ en $\Omega$ , de tal manera que $F(a)=X_*(P)((-\infty,a])$ . Por ejemplo, tener un $X$ siempre puedes elegir un elemento $\omega\in\Omega$ y añadir un elemento (o muchos) $\omega_1$ a $\Omega$ y definir $X(\omega_1)=X(\omega)$ . La medida de empuje será la misma. Si va a estudiar los elementos de $\Omega$ entonces no puedes olvidarlo. La afirmación se mantiene siempre y cuando todo lo que se haga sean preguntas sobre $P(X^{-1}(A))$ .
1 votos
CWL: Por favor, explique lo que no es canónico aquí.
0 votos
En cuanto a los dos resultados que he indicado: Dada una CDF $F$ la existencia de una variable aleatoria $X$ que tiene tal cdf tiene dominio un subconjunto de $\mathbb{R}$ . (al menos en el primer caso, ¿cómo se construye $X$ para un espacio muestral determinado $\Omega$ ?)