6 votos

Mostrando que una transformación es medir la preservación de

Nota: Esta pregunta está relacionada con esta cuestión sobre la construcción de los procesos estocásticos. Específicamente, se refiere a la transformación de $\mathbb S: \Omega \rightarrow \Omega$ que se menciona. El siguiente es un ejemplo para ayudar a comprender estas transformaciones. Si dicha transformación se miden preservar, entonces la función de distribución de $X_t$ es idéntico para todos $t \geq 0$.

Si suponemos que $\Omega = [0,1)$ y que $Pr$ es el uniforme de la medida y que $$ \mathbb S(\omega) = \begin{casos} 2 \omega & \omega \[0, 1/2) \\ 2 \omega - 1 & \omega \en [1/2, 1), \end{casos} $$ ¿cómo podemos demostrar que $\mathbb S$ es la medida de preservación?

Definitivamente es suficiente para comprobar esta propiedad sólo para abrir los intervalos en $\Omega$. Pero tratando de forma tan explícita para un intervalo arbitrario $(a,b) \subconjunto \Omega$ es complicado por el hecho de que es difícil decir más de $\mathbb S((a,b)) \subconjunto de [0,1)$ cuando $(a,b) \subconjunto [0,1/2)$ y que de nuevo $\mathbb S((a,b)) \subconjunto de [0,1)$ cuando $(a,b) \subconjunto [1/2)$. Dado esto, ¿qué es una manera fácil de ir sobre argumentando que $\mathbb S$ es la medida de preservación?

5voto

Josh Segall Puntos 1996

Para mostrar que la transformación es medir la preservación usted necesita para mostrar que el pleno preimagen $S^{-1}(A)$ de cualquier conjunto a en el Borel $\sigma$campo [0,1) está de nuevo en el mismo $\sigma$-campo, es decir, es medible, y que $Pr\{S^{-1}(A)\} = Pr\{A\}.$

Como ha señalado correctamente, por lo que será suficiente para mostrar que para cualquier base de la topología usual, es decir, todos los intervalos abiertos.

Es evidente que la preimagen de $(a,b)$ es $(\frac{a}{2},\frac{b}{2})\cup (\frac{1}{2}+\frac{a}{2},\frac{1}{2}+\frac{b}{2})$. Es, evidentemente, en Borel $\sigma$-campo, ya que es una unión de dos intervalos abiertos, y $Pr\{(\frac{a}{2},\frac{b}{2})\cup (\frac{1}{2}+\frac{a}{2},\frac{1}{2}+\frac{b}{2})\} = Pr\{(a,b)\} = b-a$

Hemos demostrado que la preimagen de cualquier intervalo abierto es medible y tiene la misma medida que el intervalo. Como abrir los intervalos de formar una base de la topología usual podemos extender este resultado a cualquier conjunto medible y se completa la prueba.

Finanhelp.com

FinanHelp es una comunidad para personas con conocimientos de economía y finanzas, o quiere aprender. Puedes hacer tus propias preguntas o resolver las de los demás.

Powered by:

X