medida gaussiana

Tipo de medida Borel

En matemáticas , la medida gaussiana es una medida de Borel en el espacio euclidiano de dimensión finita , estrechamente relacionada con la distribución normal en estadística . También hay una generalización a espacios de dimensiones infinitas. Las medidas gaussianas llevan el nombre del matemático alemán Carl Friedrich Gauss . Una de las razones por las que las medidas gaussianas son tan omnipresentes en la teoría de la probabilidad es el teorema del límite central . En términos generales, establece que si una variable aleatoria se obtiene sumando un gran número de variables aleatorias independientes con varianza 1, entonces tiene varianza y su ley es aproximadamente gaussiana. ${\displaystyle R^{n}}$ ${\displaystyle X}$ ${\displaystyle N}$ ${\displaystyle X}$ ${\displaystyle N}$

Definiciones

Sea y denote la finalización del álgebra de Borel en . Denotemos la medida habitual de Lebesgue -dimensional . Entonces la medida gaussiana estándar se define por para cualquier conjunto mensurable . En términos del derivado radón-Nikodym , ${\displaystyle n\in N}$ ${\displaystyle B_{0}(\mathbb {R} ^{n})}$ ${\displaystyle \sigma }$ ${\displaystyle \mathbb {R} ^{n}}$ ${\displaystyle \lambda ^{n}:B_{0}(\mathbb {R} ^{n})\to [0,+\infty ]}$ ${\displaystyle n}$ ${\displaystyle \gamma ^{n}:B_{0}(\mathbb {R} ^{n})\to [0,1]}$ $${\displaystyle \gamma ^{n}(A)={\frac {1}{{\sqrt {2\pi }}^{n}}}\int _{A}\exp \left(-{\frac {1}{2}}\left\|x\right\|_{\mathbb {R} ^{n}}^{2}\right)\,\mathrm {d} \lambda ^{n}(x)}$$ ${\displaystyle A\in B_{0}(\mathbb {R} ^{n})}$ $${\displaystyle {\frac {\mathrm {d} \gamma ^{n}}{\mathrm {d} \lambda ^{n}}}(x)={\frac {1}{{\sqrt {2\pi }}^{n}}}\exp \left(-{\frac {1}{2}}\left\|x\right\|_{\mathbb {R} ^{n}}^{2}\right).}$$

De manera más general, la medida gaussiana con media y varianza viene dada por ${\displaystyle \mu \in \mathbb {R} ^{n}}$ ${\displaystyle \sigma ^{2}>0}$ $${\displaystyle \gamma _{\mu ,\sigma ^{2}}^{n}(A):={\frac {1}{{\sqrt {2\pi \sigma ^{2}}}^{n}}}\int _{A}\exp \left(-{\frac {1}{2\sigma ^{2}}}\left\|x-\mu \right\|_{\mathbb {R} ^{n}}^{2}\right)\,\mathrm {d} \lambda ^{n}(x).}$$

Las medidas gaussianas con media se conocen como medidas gaussianas centradas . ${\displaystyle \mu =0}$

La medida de Dirac es el límite débil de as y se considera una medida gaussiana degenerada ; por el contrario, las medidas gaussianas con varianza finita distinta de cero se denominan medidas gaussianas no degeneradas . ${\displaystyle \delta _{\mu }}$ ${\displaystyle \gamma _{\mu ,\sigma ^{2}}^{n}}$ ${\displaystyle \sigma \to 0}$

Propiedades

La medida gaussiana estándar en ${\displaystyle \gamma ^{n}}$ ${\displaystyle \mathbb {R} ^{n}}$

• es una medida de Borel (de hecho, como se comentó anteriormente, se define al completar el álgebra sigma de Borel, que es una estructura más fina);
• es equivalente a la medida de Lebesgue: , donde significa continuidad absoluta de las medidas; ${\displaystyle \lambda ^{n}\ll \gamma ^{n}\ll \lambda ^{n}}$ ${\displaystyle \ll }$
• se apoya en todo el espacio euclidiano: ; ${\displaystyle \operatorname {supp} (\gamma ^{n})=\mathbb {R} ^{n}}$
• es una medida de probabilidad , por lo que es localmente finita ; ${\displaystyle (\gamma ^{n}(\mathbb {R} ^{n})=1)}$
• es estrictamente positivo : todo conjunto abierto no vacío tiene medida positiva;
• es regular internamente : para todos los conjuntos de Borel , la medida gaussiana es una medida de radón ; ${\displaystyle A}$ $${\displaystyle \gamma ^{n}(A)=\sup\{\gamma ^{n}(K)\mid K\subseteq A,K{\text{ is compact}}\},}$$
• no es invariante de traducción , pero satisface la relación donde la derivada en el lado izquierdo es la derivada de Radón-Nikodym , y es el avance de la medida gaussiana estándar por el mapa de traducción ; $${\displaystyle {\frac {\mathrm {d} (T_{h})_{*}(\gamma ^{n})}{\mathrm {d} \gamma ^{n}}}(x)=\exp \left(\langle h,x\rangle _{\mathbb {R} ^{n}}-{\frac {1}{2}}\|h\|_{\mathbb {R} ^{n}}^{2}\right),}$$ ${\displaystyle (T_{h})_{*}(\gamma ^{n})}$ ${\displaystyle T_{h}:\mathbb {R} ^{n}\to \mathbb {R} ^{n}}$ ${\displaystyle T_{h}(x)=x+h}$
• es la medida de probabilidad asociada a una distribución de probabilidad normal : $${\displaystyle Z\sim \operatorname {Normal} (\mu ,\sigma ^{2})\implies \mathbb {P} (Z\in A)=\gamma _{\mu ,\sigma ^{2}}^{n}(A).}$$

Espacios de dimensión infinita

Se puede demostrar que no existe ningún análogo de la medida de Lebesgue en un espacio vectorial de dimensión infinita . Aun así, es posible definir medidas gaussianas en espacios de dimensión infinita, siendo el ejemplo principal la construcción abstracta del espacio de Wiener . Se dice que una medida de Borel en un espacio de Banach separable es una medida gaussiana no degenerada (centrada) si, para cada funcional lineal excepto , la medida de avance es una medida gaussiana no degenerada (centrada) en el sentido definido anteriormente. . ${\displaystyle \gamma }$ ${\displaystyle E}$ ${\displaystyle L\in E^{*}}$ ${\displaystyle L=0}$ ${\displaystyle L_{*}(\gamma )}$ ${\displaystyle \mathbb {R} }$

Por ejemplo, la medida de Wiener clásica en el espacio de caminos continuos es una medida gaussiana.

Ver también

• Medida de Besov  : generalización de la medida gaussiana utilizando la norma de BesovPages displaying wikidata descriptions as a fallback
• Teorema de Cameron-Martin  : teorema que define la traducción de medidas gaussianas (medidas de Wiener) en espacios de Hilbert.
• Operador de covarianza  - Operador en teoría de probabilidad
• Teorema de Feldman-Hájek  - Teoría en teoría de la probabilidad

Referencias

• Bogachev, Vladimir (1998). Medidas gaussianas . Sociedad Matemática Estadounidense. ISBN 978-1470418694.
• Strock, Daniel (2010). Teoría de la probabilidad: una visión analítica . Prensa de la Universidad de Cambridge. ISBN 978-0521132503.