stringtranslate.com

Medida (matemáticas)

De manera informal, una medida tiene la propiedad de ser monótona en el sentido de que si es un subconjunto de la medida de es menor o igual a la medida de Además, se requiere que la medida del conjunto vacío sea 0. Un ejemplo simple es un volumen (qué tan grande ocupa un objeto un espacio) como medida.

En matemáticas , el concepto de medida es una generalización y formalización de medidas geométricas ( longitud , área , volumen ) y otras nociones comunes, como magnitud , masa y probabilidad de eventos. Estos conceptos aparentemente distintos tienen muchas similitudes y a menudo se pueden tratar juntos en un solo contexto matemático. Las medidas son fundamentales en la teoría de la probabilidad , la teoría de la integración y se pueden generalizar para asumir valores negativos , como ocurre con la carga eléctrica . Las generalizaciones de largo alcance (como las medidas espectrales y las medidas con valores de proyección ) de la medida se utilizan ampliamente en la física cuántica y la física en general.

La intuición detrás de este concepto se remonta a la antigua Grecia , cuando Arquímedes intentó calcular el área de un círculo . [1] [2] Pero no fue hasta finales del siglo XIX y principios del XX que la teoría de la medida se convirtió en una rama de las matemáticas. Las bases de la teoría de la medida moderna se sentaron en las obras de Émile Borel , Henri Lebesgue , Nikolai Luzin , Johann Radon , Constantin Carathéodory y Maurice Fréchet , entre otros.

Definición

Aditividad contable de una medida : La medida de una unión disjunta contable es la misma que la suma de todas las medidas de cada subconjunto.

Sea un conjunto y un -álgebra sobre una función de conjunto de la recta de números reales extendida se denomina medida si se cumplen las siguientes condiciones:

Si al menos un conjunto tiene medida finita, entonces el requisito se cumple automáticamente debido a la aditividad contable: y por lo tanto

Si se descarta la condición de no negatividad y toma como máximo uno de los valores de entonces se denomina medida con signo .

El par se llama espacio medible y los miembros de se llaman conjuntos mesurables .

Un triple se llama espacio de medida . Una medida de probabilidad es una medida con una medida total de uno, es decir, Un espacio de probabilidad es un espacio de medida con una medida de probabilidad.

Para los espacios de medida que también son espacios topológicos, se pueden establecer varias condiciones de compatibilidad para la medida y la topología. La mayoría de las medidas que se cumplen en la práctica en el análisis (y en muchos casos también en la teoría de la probabilidad ) son medidas de Radon . Las medidas de Radon tienen una definición alternativa en términos de funcionales lineales en el espacio vectorial topológico localmente convexo de funciones continuas con soporte compacto . Este enfoque es adoptado por Bourbaki (2004) y varias otras fuentes. Para más detalles, consulte el artículo sobre medidas de Radon .

Instancias

Aquí se enumeran algunas medidas importantes.

Otras medidas "nombradas" utilizadas en varias teorías incluyen: medida de Borel , medida de Jordan , medida ergódica , medida gaussiana , medida de Baire , medida de Radon , medida de Young y medida de Loeb .

En física, un ejemplo de medida es la distribución espacial de la masa (véase, por ejemplo, el potencial de gravedad ) u otra propiedad extensiva no negativa , conservada (véase la ley de conservación para obtener una lista de ellas) o no. Los valores negativos dan lugar a medidas con signo; consulte "generalizaciones" a continuación.

La teoría de la medida se utiliza en el aprendizaje automático. Un ejemplo es la medida de probabilidad inducida por flujo en GFlowNet. [3]

Propiedades básicas

Sea una medida.

Monotonía

Si y son conjuntos medibles con entonces

Medida de uniones e intersecciones contables

Subaditividad contable

Para cualquier secuencia contable de conjuntos mensurables (no necesariamente disjuntos) en

Continuidad desde abajo

Si son conjuntos medibles que son crecientes (es decir que ) entonces la unión de los conjuntos es medible y

Continuidad desde arriba

Si son conjuntos medibles que son decrecientes (es decir que ) entonces la intersección de los conjuntos es medible; además, si al menos uno de los tiene medida finita entonces

Esta propiedad es falsa sin la suposición de que al menos uno de los tiene medida finita. Por ejemplo, para cada let que todos tienen medida de Lebesgue infinita, pero la intersección está vacía.

Otras propiedades

Lo completo

Un conjunto medible se denomina conjunto nulo si Un subconjunto de un conjunto nulo se denomina conjunto despreciable . Un conjunto despreciable no necesita ser medible, pero todo conjunto despreciable medible es automáticamente un conjunto nulo. Una medida se denomina completa si todo conjunto despreciable es medible.

Una medida puede extenderse a una completa considerando el σ-álgebra de subconjuntos que difieren en un conjunto despreciable de un conjunto medible , es decir, de modo que la diferencia simétrica de y está contenida en un conjunto nulo. Se define como igual

"Dejando caer el borde"

Si es -medible, entonces para casi todos [4] Esta propiedad se utiliza en conexión con la integral de Lebesgue .

Prueba

Tanto y son funciones monótonamente no crecientes de, por lo que ambas tienen como máximo un número contable de discontinuidades y, por lo tanto, son continuas casi en todas partes, en relación con la medida de Lebesgue. Si, entonces, de modo que, como se desea.

Si es tal que entonces la monotonía implica que como se requiere. Si para todos entonces hemos terminado, entonces supongamos lo contrario. Entonces hay un único tal que es infinito a la izquierda de (lo que solo puede suceder cuando ) y finito a la derecha. Argumentando como arriba, cuando De manera similar, si y entonces

Sea una secuencia monótonamente no decreciente que converge a Las secuencias monótonamente no crecientes de miembros de tienen al menos un componente finitamente medible, y La continuidad desde arriba garantiza que El lado derecho entonces es igual a si es un punto de continuidad de Dado que es continua casi en todas partes, esto completa la prueba.

Aditividad

Se requiere que las medidas sean contablemente aditivas. Sin embargo, la condición se puede reforzar de la siguiente manera. Para cualquier conjunto y cualquier conjunto de no negativos definimos: Es decir, definimos la suma de los como el supremo de todas las sumas de un número finito de ellos.

Una medida de es -aditiva si para cualquier familia de conjuntos disjuntos se cumple lo siguiente: La segunda condición es equivalente a la afirmación de que el ideal de los conjuntos nulos es -completo.

Medidas sigma-finitas

Un espacio de medida se llama finito si es un número real finito (en lugar de ). Las medidas finitas distintas de cero son análogas a las medidas de probabilidad en el sentido de que cualquier medida finita es proporcional a la medida de probabilidad. Una medida se llama σ-finita si se puede descomponer en una unión contable de conjuntos mensurables de medida finita. Análogamente, se dice que un conjunto en un espacio de medida tiene una medida σ-finita si es una unión contable de conjuntos con medida finita.

Por ejemplo, los números reales con la medida estándar de Lebesgue son σ-finitos pero no finitos. Considérense los intervalos cerrados para todos los números enteros: hay una cantidad contable de tales intervalos, cada uno tiene medida 1, y su unión es la línea real entera. Alternativamente, considérense los números reales con la medida de conteo , que asigna a cada conjunto finito de reales la cantidad de puntos en el conjunto. Este espacio de medida no es σ-finito, porque cada conjunto con medida finita contiene solo una cantidad finita de puntos, y se necesitarían una cantidad incontable de tales conjuntos para cubrir la línea real entera. Los espacios de medida σ-finitos tienen algunas propiedades muy convenientes; la σ-finitez puede compararse en este sentido con la propiedad de Lindelöf de los espacios topológicos. [ investigación original? ] También pueden considerarse como una generalización vaga de la idea de que un espacio de medida puede tener 'medida incontable'.

Medidas estrictamente localizables

Medidas semifinitas

Sea un conjunto, sea un álgebra sigma en y sea una medida en Decimos que es semifinito para significar que para todo [5]

Las medidas semifinitas generalizan las medidas sigma-finitas, de tal manera que algunos grandes teoremas de la teoría de la medida que son válidos para medidas sigma-finitas pero no arbitrarias pueden extenderse con pocas modificaciones para que sean válidos para medidas semifinitas. (Por hacer: agregar ejemplos de tales teoremas; cf. la página de discusión).

Ejemplos básicos

Ejemplo implicado

La medida cero es sigma-finita y, por lo tanto, semifinita. Además, la medida cero es claramente menor o igual a. Se puede demostrar que existe una medida máxima con estas dos propiedades:

Teorema (parte semifinita) [9]  —  Para cualquier medida en existe, entre las medidas semifinitas en que son menores o iguales a un elemento mayor

Decimos que la parte semifinita de significa la medida semifinita definida en el teorema anterior. Damos algunas fórmulas explícitas y agradables, que algunos autores pueden tomar como definición, para la parte semifinita:

Como es semifinito, se sigue que si entonces es semifinito. También es evidente que si es semifinito entonces

No-ejemplos

Toda medida que no sea la medida cero no es semifinita. (Aquí, decimos medida para significar una medida cuyo rango está en : ) A continuación damos ejemplos de medidas que no son medidas cero.

No-ejemplo involucrado

Las medidas que no son semifinitas son muy salvajes cuando se restringen a ciertos conjuntos. [Nota 1] Toda medida es, en cierto sentido, semifinita una vez que se le quita su parte (la parte salvaje).

—  A. Mukherjea y K. Pothoven, Análisis real y funcional, Parte A: Análisis real (1985)

Teorema (descomposición de Lutero) [14] [15]  —  Para cualquier medida en existe una medida en tal que para alguna medida semifinita en De hecho, entre tales medidas existe una medida mínima Además, tenemos

Decimos que la parte de significa la medida definida en el teorema anterior. A continuación se muestra una fórmula explícita para :

Resultados relativos a medidas semifinitas

Medidas localizables

Las medidas localizables son un caso especial de medidas semifinitas y una generalización de las medidas sigma-finitas.

Sea un conjunto, sea un álgebra sigma en y sea una medida en

medidas s-finitas

Se dice que una medida es s-finita si es una suma contable de medidas finitas. Las medidas s-finitas son más generales que las sigma-finitas y tienen aplicaciones en la teoría de procesos estocásticos .

Conjuntos no mensurables

Si se supone que el axioma de elección es verdadero, se puede demostrar que no todos los subconjuntos del espacio euclidiano son medibles según el método de Lebesgue ; ejemplos de tales conjuntos incluyen el conjunto de Vitali y los conjuntos no medibles postulados por la paradoja de Hausdorff y la paradoja de Banach-Tarski .

Generalizaciones

Para ciertos propósitos, es útil tener una "medida" cuyos valores no estén restringidos a los reales no negativos o al infinito. Por ejemplo, una función de conjunto contablemente aditiva con valores en los números reales (con signo) se llama medida con signo , mientras que una función de este tipo con valores en los números complejos se llama medida compleja . Obsérvese, sin embargo, que la medida compleja es necesariamente de variación finita, por lo tanto, las medidas complejas incluyen medidas con signo finitas pero no, por ejemplo, la medida de Lebesgue .

Las medidas que toman valores en espacios de Banach han sido estudiadas extensamente. [22] Una medida que toma valores en el conjunto de proyecciones autoadjuntas en un espacio de Hilbert se llama medida con valor de proyección ; estas se utilizan en el análisis funcional para el teorema espectral . Cuando es necesario distinguir las medidas habituales que toman valores no negativos de las generalizaciones, se utiliza el término medida positiva . Las medidas positivas están cerradas bajo la combinación cónica pero no bajo la combinación lineal general , mientras que las medidas con signo son el cierre lineal de las medidas positivas.

Otra generalización es la medida finitamente aditiva , también conocida como contenido . Es lo mismo que una medida excepto que en lugar de requerir aditividad contable , solo requerimos aditividad finita . Históricamente, esta definición se utilizó primero. Resulta que, en general, las medidas finitamente aditivas están conectadas con nociones como los límites de Banach , el dual de y la compactificación de Stone-Čech . Todas estas están vinculadas de una forma u otra al axioma de elección . Los contenidos siguen siendo útiles en ciertos problemas técnicos en la teoría de la medida geométrica ; esta es la teoría de las medidas de Banach .

Una carga es una generalización en ambas direcciones: es una medida con signo y finitamente aditiva. [23] (Cf. b a ) para obtener información sobre cargas acotadas , donde decimos que una carga está acotada para significar que su rango es un subconjunto acotado de R ).

Véase también

Notas

  1. ^ Una forma de reformular nuestra definición es que es semifinito si y solo si Negando esta reformulación, encontramos que no es semifinito si y solo si Para cada conjunto, la medida del subespacio inducida por el álgebra sigma del subespacio inducida por, es decir, la restricción de a dicho álgebra sigma del subespacio, es una medida que no es la medida cero.

Bibliografía

Referencias

  1. ^ Arquímedes midiendo el círculo
  2. ^ Heath, TL (1897). "Medición de un círculo". Las obras de Arquímedes. Universidad de Osmania, Biblioteca Digital de la India. Cambridge University Press. págs. 91–98.
  3. ^ Bengio, Yoshua; Lahlou, Salem; Deleu, Tristán; Hu, Edward J.; Tiwari, Mo; Bengio, Emmanuel (2021). "Fundamentos de GFlowNet". arXiv : 2111.09266 [cs.LG].
  4. ^ Fremlin, DH (2010), Teoría de la medida , vol. 2 (segunda ed.), pág. 221
  5. ^ abc Mukherjea y Pothoven 1985, pág. 90.
  6. ^ Folland 1999, pág. 25.
  7. ^ Edgar 1998, Teorema 1.5.2, pág. 42.
  8. ^ Edgar 1998, Teorema 1.5.3, pág. 42.
  9. ^ desde Nielsen 1997, Ejercicio 11.30, pág. 159.
  10. ^ Fremlin 2016, Sección 213X, parte (c).
  11. ^ Royden y Fitzpatrick 2010, Ejercicio 17.8, pág. 342.
  12. ^ Hewitt y Stromberg 1965, parte (b) del Ejemplo 10.4, pág. 127.
  13. ^ Fremlin 2016, Sección 211O, pág. 15.
  14. ^ desde Luther 1967, Teorema 1.
  15. ^ Mukherjea y Pothoven 1985, parte (b) de la Proposición 2.3, pág. 90.
  16. ^ Fremlin 2016, parte (a) del Teorema 243G, pág. 159.
  17. ^ ab Fremlin 2016, Sección 243K, pág. 162.
  18. ^ Fremlin 2016, parte (a) del Teorema en la Sección 245E, pág. 182.
  19. ^ Fremlin 2016, Sección 245M, pág. 188.
  20. ^ Berberian 1965, Teorema 39.1, pág. 129.
  21. ^ Fremlin 2016, parte (b) del Teorema 243G, pág. 159.
  22. ^ Rao, MM (2012), Medidas aleatorias y vectoriales , Serie sobre análisis multivariante, vol. 9, World Scientific , ISBN 978-981-4350-81-5, Sr.  2840012.
  23. ^ Bhaskara Rao, KPS (1983). Teoría de cargas: un estudio de medidas finitamente aditivas. M. Bhaskara Rao. Londres: Academic Press. pag. 35.ISBN 0-12-095780-9.OCLC 21196971  .
  24. ^ Folland 1999, pag. 27, Ejercicio 1.15.a.

Enlaces externos