Autor Tema: Caracterización vector aleatorio

0 Usuarios y 1 Visitante están viendo este tema.

03 Junio, 2021, 02:08 pm
Leído 196 veces

mg

  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 285
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Hola,

El teorema es el siguiente.

Sea \( \mathcal{C} \) una familia de subconjutnos de \( \mathbb{R}^n \)  tal que \( B(\mathbb{R}^n)=\sigma(\mathcal{C}) \). Entonces \( \underline{X}:(\omega,\mathcal{F},\mathbb{P})\longrightarrow{}(\mathbb{R},B(\mathbb{R}^n)) \) un vector aleatorio si y solo si

\( \forall{}C\in\mathcal{C}, \underline{X}^{-1}(C)\in\mathcal{F} \).

Demostración:

Primera parte: Supongamos  que \( \underline{X} \) es vector aleatorio. Entonces tenemos que \( \underline{X}^{-1}(B)\in\mathcal{F}, \forall{}B\in{}B(\mathbb{R}^n) \). Ahora bien, por la caracterización de las sigmas álgebras borel en \( \mathbb{R}^n \) entonces \( \underline{X}^{-1}((-\infty,x_1]\times{}(-\infty,x_2]\times{}...\times{}(-\infty,x_n])\in\mathcal{F}, \forall{}\underline{x}\in{}\mathbb{R}^n \), donde \( \underline{x}=(x_1,x_2,...,x_n)) \).

Hasta aquí debe estar bien, he seguido los pasos que ha marcado el profesor. Pero ahora concluye que eso implica que \( \underline{X}^{-1}(C)\in\mathcal{F}, \forall{}C\in{}\mathcal{C} \), lo cual no se de donde se sigue.

Segunda parte:
Aquí dice que \( \underline{X}^{-1}(\sigma(\mathcal{C}))=\sigma(\underline{X}^{-1}(\mathcal{C})) \), y no se como hace eso. Indica que es por las propiedades de la función inversa, pero no encuentro nada parecido.

Un saludo.

03 Junio, 2021, 02:41 pm
Respuesta #1

Masacroso

  • Moderador Global
  • Mensajes: 2,949
  • País: es
  • Karma: +0/-0
Hasta aquí debe estar bien, he seguido los pasos que ha marcado el profesor. Pero ahora concluye que eso implica que \( \underline{X}^{-1}(C)\in\mathcal{F}, \forall{}C\in{}\mathcal{C} \), lo cual no se de donde se sigue.

Se sigue de que si \( \mathcal{C} \) genera la \( \sigma  \)-álgebra de Borel entonces necesariamente \( \mathcal{C}\subset B(\mathbb{R}^n) \).

Citar
Segunda parte:
Aquí dice que \( \underline{X}^{-1}(\sigma(\mathcal{C}))=\sigma(\underline{X}^{-1}(\mathcal{C})) \), y no se como hace eso. Indica que es por las propiedades de la función inversa, pero no encuentro nada parecido.

La igualdad entre dos conjuntos se muestra primero mostrando que un conjunto está contenido en el otro, y luego al revés. Las propiedades de la función inversa a las que se refiere son las siguientes

\( \displaystyle{
f^{-1}\left(\bigcup_{x\in I}A_x\right)=\bigcup_{x\in I}f^{-1}(A_x),\quad f^{-1}\left(\bigcap_{x\in I}A_x\right)=\bigcap_{x\in I}f^{-1}(A_x),\quad f^{-1}(A^\complement )=(f^{-1}(A))^\complement
} \)

Puedes verificar esas propiedades tú mismo para convencerte. Con lo dicho quizá ya sepas resolver esa parte del ejercicio, inténtalo y nos cuentas.

03 Junio, 2021, 05:47 pm
Respuesta #2

mg

  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 285
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Hasta aquí debe estar bien, he seguido los pasos que ha marcado el profesor. Pero ahora concluye que eso implica que \( \underline{X}^{-1}(C)\in\mathcal{F}, \forall{}C\in{}\mathcal{C} \), lo cual no se de donde se sigue.

Se sigue de que si \( \mathcal{C} \) genera la \( \sigma  \)-álgebra de Borel entonces necesariamente \( \mathcal{C}\subset B(\mathbb{R}^n) \).

A ver, según tengo entendido lo que denota \( \sigma(\mathcal{C}) \), es la mínima \( \sigma \)-álgebra que contiene a \( \mathcal{C} \). Por tanto se ahí se deduce lo que tu has dicho. Entonces lo que justifica que \( \underline{X}^{-1}(C)\in\mathcal{F}, \forall{}C\in{}\mathcal{C} \), ¿es que cada conjunto de borel de \( \mathcal{B}(\mathbb{R}^n) \) es una clase de \( \mathcal{C} \) ? Es decir, que cada boreliano en realidad es conjunto de  \( \sigma(\mathcal{C}) \), así como cada conjunto de  \( \sigma(\mathcal{C}) \) es un boreliano de \( \mathbb{R}^n \) ¿no?
Citar
Citar
Segunda parte:
Aquí dice que \( \underline{X}^{-1}(\sigma(\mathcal{C}))=\sigma(\underline{X}^{-1}(\mathcal{C})) \), y no se como hace eso. Indica que es por las propiedades de la función inversa, pero no encuentro nada parecido.

La igualdad entre dos conjuntos se muestra primero mostrando que un conjunto está contenido en el otro, y luego al revés. Las propiedades de la función inversa a las que se refiere son las siguientes

\( \displaystyle{
f^{-1}\left(\bigcup_{x\in I}A_x\right)=\bigcup_{x\in I}f^{-1}(A_x),\quad f^{-1}\left(\bigcap_{x\in I}A_x\right)=\bigcap_{x\in I}f^{-1}(A_x),\quad f^{-1}(A^\complement )=(f^{-1}(A))^\complement
} \)

Puedes verificar esas propiedades tú mismo para convencerte. Con lo dicho quizá ya sepas resolver esa parte del ejercicio, inténtalo y nos cuentas.
Esta parte queda clara.

Un saludo.

03 Junio, 2021, 06:30 pm
Respuesta #3

Masacroso

  • Moderador Global
  • Mensajes: 2,949
  • País: es
  • Karma: +0/-0
Es decir, que cada boreliano en realidad es conjunto de  \( \sigma(\mathcal{C}) \), así como cada conjunto de  \( \sigma(\mathcal{C}) \) es un boreliano de \( \mathbb{R}^n \) ¿no?

Claro, de eso es lo que se parte, es decir, te dicen que \( \sigma (\mathcal{C})=B(\mathbb{R}^n) \) (entiendo que la notación \( B(\mathbb{R}^n) \) se refiere al \( \sigma  \)-álgebra de Borel de la topología estándar en \( \mathbb{R}^n \)).

03 Junio, 2021, 07:29 pm
Respuesta #4

mg

  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 285
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Es decir, que cada boreliano en realidad es conjunto de  \( \sigma(\mathcal{C}) \), así como cada conjunto de  \( \sigma(\mathcal{C}) \) es un boreliano de \( \mathbb{R}^n \) ¿no?

Claro, de eso es lo que se parte, es decir, te dicen que \( \sigma (\mathcal{C})=B(\mathbb{R}^n) \) (entiendo que la notación \( B(\mathbb{R}^n) \) se refiere al \( \sigma  \)-álgebra de Borel de la topología estándar en \( \mathbb{R}^n \)).

Si si, en efecto. Eso era lo que no veía que esos conjuntos fueran exactamente iguales. Entonces en realidad la primera parte es inmediata claro.  Ahora ya todo claro. Gracias Masacroso.

Un saludo.