medida de borel

Medida definida en todos los conjuntos abiertos de un espacio topológico

En matemáticas , específicamente en teoría de medidas , una medida de Borel en un espacio topológico es una medida que se define en todos los conjuntos abiertos (y por tanto en todos los conjuntos de Borel ). ^[1] Algunos autores exigen restricciones adicionales a la medida, como se describe a continuación.

Definicion formal

Sea un espacio de Hausdorff localmente compacto y sea la σ-álgebra más pequeña que contenga los conjuntos abiertos de ; esto se conoce como σ-álgebra de conjuntos de Borel . Una medida de Borel es cualquier medida definida en el σ-álgebra de conjuntos de Borel. ^[2] Algunos autores requieren además que sea localmente finito , lo que significa que para cada conjunto compacto . Si una medida de Borel es regular interna y externa , se denomina medida de Borel regular . Si es regular interior, regular exterior y localmente finita , se llama medida de radón . ${\displaystyle X}$ ${\displaystyle {\mathfrak {B}}(X)}$ ${\displaystyle X}$ ${\displaystyle \mu }$ ${\displaystyle \mu }$ ${\displaystyle \mu (C)<\infty }$ ${\displaystyle C}$ ${\displaystyle \mu }$ ${\displaystyle \mu }$

en la linea real

La línea real con su topología habitual es un espacio de Hausdorff localmente compacto; por tanto, podemos definir una medida de Borel sobre él. En este caso, es la σ-álgebra más pequeña que contiene los intervalos abiertos de . Si bien hay muchas medidas de Borel μ , la elección de la medida de Borel que asigna cada intervalo medio abierto a veces se denomina "la" medida de Borel en . Esta medida resulta ser la restricción al σ-álgebra de Borel de la medida de Lebesgue , que es una medida completa y está definida en el σ-álgebra de Lebesgue. El σ-álgebra de Lebesgue es en realidad la compleción del σ-álgebra de Borel, lo que significa que es el σ-álgebra más pequeño que contiene todos los conjuntos de Borel y puede equiparse con una medida completa . Además, la medida de Borel y la medida de Lebesgue coinciden en los conjuntos de Borel (es decir, para cada conjunto medible de Borel, donde está la medida de Borel descrita anteriormente). Esta idea se extiende a espacios de dimensión finita (el teorema de Cramér-Wold , más abajo) pero no es válida, en general, para espacios de dimensión infinita. Las medidas de Lebesgue de dimensión infinita no existen. ${\displaystyle \mathbb {R} }$ ${\displaystyle {\mathfrak {B}}(\mathbb {R} )}$ ${\displaystyle \mathbb {R} }$ ${\displaystyle \mu ((a,b])=b-a}$ ${\displaystyle (a,b]}$ ${\displaystyle \mathbb {R} }$ ${\displaystyle \lambda }$ ${\displaystyle \lambda (E)=\mu (E)}$ ${\displaystyle \mu }$ ${\displaystyle \mathbb {R} ^{n}}$

Espacios de producto

Si X e Y son espacios topológicos de Hausdorff contables en segundo lugar , entonces el conjunto de subconjuntos de Borel de su producto coincide con el producto de los conjuntos de subconjuntos de Borel de X e Y. ^[3] Es decir, el funtor de Borel ${\displaystyle B(X\times Y)}$ ${\displaystyle B(X)\times B(Y)}$

${\displaystyle \mathbf {Bor} \colon \mathbf {Top} _{\mathrm {2CHaus} }\to \mathbf {Meas} }$

desde la categoría de segundos espacios de Hausdorff contables hasta la categoría de espacios medibles conserva productos finitos .

Aplicaciones

Integral de Lebesgue-Stieltjes

La integral de Lebesgue-Stieltjes es la integral de Lebesgue ordinaria con respecto a una medida conocida como medida de Lebesgue-Stieltjes, que puede asociarse a cualquier función de variación acotada sobre la recta real. La medida de Lebesgue-Stieltjes es una medida de Borel regular y, a la inversa, toda medida de Borel regular en la recta real es de este tipo. ^[4]

transformada de Laplace

Se puede definir la transformada de Laplace de una medida finita de Borel μ en la recta real mediante la integral de Lebesgue ^[5]

${\displaystyle ({\mathcal {L}}\mu )(s)=\int _{[0,\infty )}e^{-st}\,d\mu (t).}$

Un caso especial importante es cuando μ es una medida de probabilidad o, aún más específicamente, la función delta de Dirac. En cálculo operativo , la transformada de Laplace de una medida a menudo se trata como si la medida proviniera de una función de distribución f . En ese caso, para evitar posibles confusiones, a menudo se escribe

${\displaystyle ({\mathcal {L}}f)(s)=\int _{0^{-}}^{\infty }e^{-st}f(t)\,dt}$

donde el límite inferior de 0 ⁻ es la notación abreviada para

${\displaystyle \lim _{\varepsilon \downarrow 0}\int _{-\varepsilon }^{\infty }.}$

Este límite enfatiza que cualquier masa puntual ubicada en 0 es capturada completamente por la transformada de Laplace. Aunque con la integral de Lebesgue no es necesario tomar tal límite, sí aparece más naturalmente en conexión con la transformada de Laplace-Stieltjes .

Problema de momento

Se pueden definir los momentos de una medida finita de Borel μ en la recta real mediante la integral

${\displaystyle m_{n}=\int _{a}^{b}x^{n}\,d\mu (x).}$

Pues estos corresponden al problema del momento de Hamburger , al problema del momento de Stieltjes y al problema del momento de Hausdorff , respectivamente. La pregunta o problema a resolver es, dada una colección de tales momentos, ¿existe una medida correspondiente? Para el problema del momento de Hausdorff, la medida correspondiente es única. Para las demás variantes, en general, existe una infinidad de medidas distintas que dan los mismos momentos. ${\displaystyle (a,b)=(-\infty ,\infty ),\;(0,\infty ),\;(0,1)}$

Dimensión de Hausdorff y lema de Frostman

Dada una medida de Borel μ en un espacio métrico X tal que μ ( X ) > 0 y μ ( B ( x , r ) ≤ r ^s se cumple para alguna constante s > 0 y para cada bola B ( x , r ) en X , entonces la dimensión de Hausdorff dim _Haus ( X ) ≥ s . El lema de Frostman proporciona una inversa parcial : ^[6]

Lema: Sea A un subconjunto de Borel de R ⁿ y sea s  > 0. Entonces los siguientes son equivalentes:

• H ^s ( A ) > 0, donde H ^s denota la medida de Hausdorff s -dimensional .
• Existe una medida de Borel (sin signo) μ que satisface μ ( A ) > 0, y tal que

${\displaystyle \mu (B(x,r))\leq r^{s}}$

se cumple para todo x  ∈  R ⁿ y r  > 0.

Teorema de Cramér-Wold

El teorema de Cramér-Wold en la teoría de la medida establece que una medida de probabilidad de Borel está determinada únicamente por la totalidad de sus proyecciones unidimensionales. ^[7] Se utiliza como método para probar resultados de convergencia conjunta. El teorema lleva el nombre de Harald Cramér y Herman Ole Andreas Wold . ${\displaystyle \mathbb {R} ^{k}}$

Ver también

• operador jacobi

Referencias

1. DH Fremlin, 2000. Teoría de la medida Archivado el 1 de noviembre de 2010 en Wayback Machine . Torres Fremlin.
2. Alan J. Weir (1974). Integración general y medida . Prensa de la Universidad de Cambridge . págs. 158–184. ISBN 0-521-29715-X.
3. Vladimir I. Bogachev . Teoría de la medida, volumen 1. Springer Science & Business Media, 15 de enero de 2007
4. Halmos, Paul R. (1974), Teoría de la medida , Berlín, Nueva York: Springer-Verlag , ISBN 978-0-387-90088-9
5. Feller 1971, §XIII.1
6. Rogers, California (1998). Medidas de Hausdorff . Biblioteca de Matemáticas de Cambridge (Tercera ed.). Cambridge: Prensa de la Universidad de Cambridge. págs.xxx+195. ISBN 0-521-62491-6.
7. K. Stromberg, 1994. Teoría de la probabilidad para analistas . Chapman y Hall.

Otras lecturas

• Medida gaussiana , una medida de Borel de dimensión finita
• Feller, William (1971), Introducción a la teoría de la probabilidad y sus aplicaciones. vol. II. , Segunda edición, Nueva York: John Wiley & Sons , MR  0270403.
• JD Pryce (1973). Métodos básicos de análisis funcional . Biblioteca de la Universidad Hutchinson. Hutchinson . pag. 217.ISBN​ 0-09-113411-0.
• Ransford, Thomas (1995). Teoría potencial en el plano complejo. Textos estudiantiles de la Sociedad Matemática de Londres. vol. 28. Cambridge: Prensa de la Universidad de Cambridge . págs. 209-218. ISBN 0-521-46654-7. Zbl  0828.31001.
• Teschl, Gerald , Temas de análisis real y funcional, (notas de clase)
• Relacionado con el lema de Wiener

enlaces externos

• Medida de Borel en la Enciclopedia de Matemáticas