Medida de Borel
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.
Definición formal
[editar]Dejar ser un espacio de Hausdorff localmente compacto, y dejar ser la σ-álgebra más pequeña que contiene los conjuntos abiertos de ; esto se conoce como σ-álgebra de conjuntos de Borel. Una medida de Borel es cualquier medida definido en el σ-álgebra de conjuntos de Borel.[2] Algunos autores exigen además que es localmente finito, lo que significa que para cada conjunto compacto . Si una medida de Borel es regular interior y exterior, se denomina medida de Borel regular. Si es regular interior, regular exterior y localmente finito, se llama medida de radón.
En la recta real
[editar]La recta 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 por cada intervalo medio abierto a veces se le llama "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 se define 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 es 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álido, en general, para espacios de dimensiones infinitas. Las medidas de Lebesgue de dimensión infinita no existen.
Espacios de producto
[editar]Si X e Y son espacios topológicos de Hausdorff contables en segundos, entonces el conjunto de subconjuntos de Borel de su producto coincide con el producto de los conjuntos de los subconjuntos de Borel de X e Y. [3] Es decir, el funtor de Borel
desde la categoría de segundos espacios de Hausdorff contables hasta la categoría de espacios medibles conserva productos finitos.
Aplicaciones
[editar]Integral de Lebesgue-Stieltjes
[editar]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
[editar]Se puede definir la transformada de Laplace de una medida finita de Borel μ en la recta real mediante la integral de Lebesgue [5]
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
donde el límite inferior de 0 − es la notación abreviada para
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 del momento
[editar]Se pueden definir los momentos de una medida finita de Borel μ en la recta real mediante la integral
Para 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.
Dimensión de Hausdorff y lema de Frostman
[editar]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 n y sea s > 0. Entonces los siguientes son equivalentes:
- Hs (A) > 0, donde H s denota la medida de Hausdorff s -dimensional.
- Hay una medida de Borel (sin firmar) μ que satisface μ (A) > 0, y tal que
- vale para todo x ∈ r n y r > 0.
Teorema de Cramér-Wold
[editar]El teorema de Cramér-Wold en la teoría de la medida establece que una medida de probabilidad de Borel en está determinada únicamente por la totalidad de sus proyecciones unidimensionales.[7] Se utiliza como método para demostrar resultados de convergencia conjunta. El teorema lleva el nombre de Harald Cramér y Herman Ole Andreas Wold.
Véase también
[editar]Referencias
[editar]- ↑ D. H. Fremlin, 2000. Measure Theory Archivado el 7 de julio de 2016 en Wayback Machine.. Torres Fremlin.
- ↑ Alan J. Weir (1974). General integration and measure. Cambridge University Press. pp. 158-184. ISBN 0-521-29715-X.
- ↑ Vladimir I. Bogachev. Measure Theory, Volume 1. Springer Science & Business Media, Jan 15, 2007
- ↑ Halmos, Paul R. (1974), Measure Theory, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90088-9.
- ↑ Feller, 1971, §XIII.1
- ↑ Rogers, C. A. (1998). Hausdorff measures. Cambridge Mathematical Library (Third edición). Cambridge: Cambridge University Press. pp. xxx+195. ISBN 0-521-62491-6.
- ↑ K. Stromberg, 1994. Probability Theory for Analysts. Chapman and Hall.
Otras lecturas
[editar]- Gaussian measure, a finite-dimensional Borel measure
- Feller, William (1971), An introduction to probability theory and its applications. Vol. II., Second edition, New York: John Wiley & Sons, MR 0270403.
- J. D. Pryce (1973). Basic methods of functional analysis. Hutchinson University Library. Hutchinson. p. 217. ISBN 0-09-113411-0.
- Ransford, Thomas (1995). Potential theory in the complex plane. London Mathematical Society Student Texts 28. Cambridge: Cambridge University Press. pp. 209–218. ISBN 0-521-46654-7. Zbl 0828.31001.
- Teschl, Gerald, Topics in Real and Functional Analysis, (lecture notes).
- Wiener's lemma