Contenido (teoría de la medida)
En matemáticas, en particular en teoría de la medida, un contenido es una función de valor real definida en una colección de subconjuntos tal que
Es decir, un contenido es una generalización de una medida: mientras que esta última debe ser contablemente aditiva, la primera sólo debe ser finitamente aditiva.
En muchas aplicaciones importantes el se elige para que sea un anillo de conjuntos o que sea al menos un semianillo de conjuntos, en cuyo caso se pueden deducir algunas propiedades adicionales que se describen a continuación. Por este motivo algunos autores prefieren definir contenidos sólo para el caso de semianillos o incluso anillos.
Si un contenido es adicionalmente σ -aditivo se llama premedida y si además es una σ -álgebra, el contenido se llama medida. Por tanto, toda medida (de valor real) es un contenido, pero no al revés. Los contenidos dan una buena noción de cómo integrar funciones acotadas en un espacio, pero pueden comportarse mal cuando se integran funciones ilimitadas, mientras que las medidas dan una buena noción de cómo integrar funciones ilimitadas.
Ejemplos
[editar]Un ejemplo clásico es definir un contenido en todos los intervalos medio abiertos. estableciendo su contenido a la longitud de los intervalos, es decir, Además, se puede demostrar que este contenido es en realidad σ -aditivo y, por tanto, define una medida previa en el semianillo de todos los intervalos semiabiertos. Esto se puede utilizar para construir la medida de Lebesgue para la recta numérica real utilizando el teorema de extensión de Carathéodory. Para obtener más detalles sobre la construcción general, consulte el artículo sobre la medida de Lebesgue.
Un ejemplo de un contenido que no es una medida en un σ -álgebra es el contenido de todos los subconjuntos de enteros positivos que tiene valor. en cualquier número entero y es infinito en cualquier subconjunto infinito.
A continuación, se puede dar un ejemplo de un contenido de los números enteros positivos que siempre es finito pero que no es una medida. Tome una funcional lineal positiva en las secuencias acotadas que sea 0 si la secuencia tiene solo un número finito de elementos distintos de cero y toma el valor 1 en la secuencia entonces lo funcional en algún sentido da un "valor promedio" de cualquier secuencia acotada. (Tal funcional no puede construirse explícitamente, pero existe según el teorema de Hahn-Banach). Entonces, el contenido de un conjunto de números enteros positivos es el valor promedio de la secuencia que es 1 en este conjunto y 0 en otros lugares. Informalmente, se puede pensar en el contenido de un subconjunto de números enteros como la "probabilidad" de que un número entero elegido aleatoriamente se encuentre en este subconjunto (aunque esto no es compatible con las definiciones habituales de azar en la teoría de la probabilidad, que suponen aditividad contable).
Propiedades
[editar]Con frecuencia, los contenidos se definen en colecciones de conjuntos que satisfacen restricciones adicionales. En este caso, se pueden deducir propiedades adicionales que no se cumplen en general para los contenidos definidos en cualquier colección de conjuntos.
en semianillos
[editar]Si forma un Semiring de conjuntos entonces se pueden deducir las siguientes afirmaciones:
- Cada contenido es monótono, es decir,
- Cada contenido es subaditivo es decir,
- para tal que
en anillos
[editar]si además es un Anillo de conjuntos uno obtiene, además:
- Sustractividad : para satisfactorio sigue
- Subaditividad :
- -Superaditividad : Para cualquier satisfactorio por pares disjunto tenemos
- Si es un contenido finito, es decir, entonces se aplica el principio de inclusión-exclusión:
Integración de funciones acotadas
[editar]En general la integración de funciones con respecto a un contenido no se comporta bien. Sin embargo, existe una noción de integración que se comporta bien siempre que la función sea acotada y el contenido total del espacio sea finito, dado lo siguiente.
Supongamos que el contenido total de un espacio es finito. Si es una función acotada en el espacio tal que la imagen inversa de cualquier subconjunto abierto de los reales tiene un contenido, entonces podemos definir la integral de con respecto al contenido comodonde el forman colecciones finitas de conjuntos semiabiertos disjuntos cuya unión cubre el rango de y es cualquier elemento de y donde el límite se toma como los diámetros de los conjuntos tiende a 0.
Duales de espacios de funciones acotadas
[editar]Suponer que es una medida en algún espacio Las funciones mensurables acotadas en forman un espacio de Banach con respecto a la norma suprema. Los elementos positivos del dual de este espacio corresponden a contenidos acotados con el valor de en dado por la integral De manera similar, se puede formar el espacio de funciones esencialmente acotadas, con la norma dada por el supremo esencial, y los elementos positivos del dual de este espacio están dados por contenidos acotados que desaparecen en conjuntos de medida 0.
Construcción de una medida a partir de un contenido
[editar]Hay varias formas de construir una medida μ a partir de un contenido. en un espacio topológico. Esta sección proporciona uno de esos métodos para espacios de Hausdorff localmente compactos, de modo que el contenido se define en todos los subconjuntos compactos. En general, la medida no es una extensión del contenido, ya que el contenido puede no ser contablemente aditivo, y la medida puede incluso ser idénticamente cero incluso si el contenido no lo es.
Primero restrinja el contenido a conjuntos compactos. Esto da una función de conjuntos compactos con las siguientes propiedades:
- para todos los conjuntos compactos
- para todos los pares de juegos compactos
- para todos los pares de conjuntos compactos disjuntos.
También hay ejemplos de funciones. como arriba, no construido a partir de contenidos. Un ejemplo lo da la construcción de la medida de Haar en un grupo localmente compacto. Un método para construir una medida de Haar de este tipo es producir una función invariante por la izquierda como arriba en los subconjuntos compactos del grupo, que luego se pueden extender a una medida invariante a la izquierda.
Definición en conjuntos abiertos
[editar]Dado λ como arriba, definimos una función μ en todos los conjuntos abiertos porEste tiene las siguientes propiedades:
- para cualquier colección de conjuntos abiertos
- para cualquier colección de conjuntos abiertos disjuntos.
Definición en todos los conjuntos
[editar]Dado μ como arriba, extendemos la función μ a todos los subconjuntos del espacio topológico porEsta es una medida exterior, es decir que tiene las siguientes propiedades:
- para cualquier colección contable de conjuntos.
Construcción de una medida
[editar]La función μ anterior es una medida externa de la familia de todos los subconjuntos. Por lo tanto, se convierte en una medida cuando se restringe a los subconjuntos medibles para la medida exterior, que son los subconjuntos tal que para todos los subconjuntos Si el espacio es localmente compacto, entonces cada conjunto abierto es mensurable para esta medida.
La medida no necesariamente coincide con el contenido en conjuntos compactos, sin embargo, lo hace si es regular en el sentido de que para cualquier compacto es el inf de para conjuntos compactos que contiene en sus interiores.
Referencias
[editar]- Elstrodt, Jürgen (2018), Maß- und Integrationstheorie, Springer-Verlag.
- Halmos, Paul (1950), Measure Theory, Van Nostrand and Co..
- Mayrhofer, Karl (1952), Inhalt und Mass (Content and measure), Springer-Verlag.