stringtranslate.com

medida σ-finita

En matemáticas , una medida positiva (o con signo ) μ definida en una σ -álgebra Σ de subconjuntos de un conjunto X se denomina medida finita si μ ( X ) es un número real finito (en lugar de ∞). Un conjunto A en Σ es de medida finita si μ ( A ) < ∞ . La medida μ se denomina σ-finita si X es una unión contable de conjuntos medibles cada uno con medida finita. Se dice que un conjunto en un espacio de medida tiene medida σ -finita si es una unión contable de conjuntos medibles con medida finita. Que una medida sea σ-finita es una condición más débil que que sea finita, es decir, todas las medidas finitas son σ-finitas pero hay (muchas) medidas σ-finitas que no son finitas.

Una noción diferente pero relacionada que no debe confundirse con la σ-finititud es la s-finititud .

Definición

Sea un espacio medible y una medida en él.

La medida se denomina medida σ-finita si satisface uno de los cuatro criterios equivalentes siguientes:

  1. El conjunto puede ser cubierto con un máximo de un número numerable de conjuntos mensurables con medida finita. Esto significa que existen conjuntos con para todos los que satisfacen . [1]
  2. El conjunto puede ser cubierto con un máximo de un número numerable de conjuntos disjuntos medibles con medida finita. Esto significa que hay conjuntos con para todos y para que satisfacen .
  3. El conjunto puede ser cubierto por una sucesión monótona de conjuntos mensurables con medida finita. Esto significa que hay conjuntos con y para todos los que satisfacen .
  4. existe una función medible estrictamente positiva cuya integral es finita. [2] Esto significa que para todos y .

Si es una medida -finita, el espacio de medida se denomina espacio de medida -finito . [3]

Ejemplos

Medida de Lebesgue

Por ejemplo, la medida de Lebesgue sobre los números reales no es finita, pero es σ-finita. De hecho, considérense los intervalos [ kk  + 1) para todos los enteros k ; hay una cantidad contable de tales intervalos, cada uno tiene medida 1 y su unión es la recta real entera.

Medida de conteo

Alternativamente, considere los números reales con la medida de conteo ; la medida de cualquier conjunto finito es el número de elementos en el conjunto, y la medida de cualquier conjunto infinito es infinito. Esta medida no es σ -finita, porque cada conjunto con medida finita contiene solo un número finito de puntos, y se necesitarían incontables conjuntos de este tipo para cubrir toda la línea real. Pero, el conjunto de números naturales con la medida de conteo es σ -finito.

Grupos compactos a nivel local

Los grupos localmente compactos que son σ-compactos son σ-finitos según la medida de Haar . Por ejemplo, todos los grupos localmente compactos G conexos son σ-compactos. Para ver esto, sea V un entorno abierto relativamente compacto y simétrico (es decir, V  =  V −1 ) de la identidad. Entonces

es un subgrupo abierto de G . Por lo tanto, H también es cerrado ya que su complemento es una unión de conjuntos abiertos y por la conectividad de G , debe ser G mismo. Por lo tanto, todos los grupos de Lie conexos son σ-finitos bajo la medida de Haar.

Ejemplos no válidos

Cualquier medida no trivial que tome solo los dos valores 0 y es claramente no σ-finita. Un ejemplo en es: para todo , si y solo si A no está vacío; otro es: para todo , si y solo si A es incontable, 0 en caso contrario. Por cierto, ambos son invariantes en cuanto a la traducción.

Propiedades

La clase de medidas σ-finitas tiene algunas propiedades muy convenientes; la σ-finitez puede compararse en este sentido con la separabilidad de los espacios topológicos. Algunos teoremas en análisis requieren la σ-finitez como hipótesis. Por lo general, tanto el teorema de Radon-Nikodym como el teorema de Fubini se establecen bajo el supuesto de σ-finitez en las medidas involucradas. Sin embargo, como lo muestra Irving Segal [4], solo requieren una condición más débil, a saber, la localizabilidad .

Aunque las medidas que no son σ -finitas a veces se consideran patológicas, de hecho ocurren de manera bastante natural. Por ejemplo, si X es un espacio métrico de dimensión de Hausdorff r , entonces todas las medidas de Hausdorff de dimensión inferior son no σ-finitas si se las considera como medidas en X .

Equivalencia a una medida de probabilidad

Cualquier medida σ-finita μ en un espacio X es equivalente a una medida de probabilidad en X : sea V n , n  ∈  N , una cobertura de X por conjuntos medibles disjuntos por pares de μ -medidas finitas, y sea w n , n  ∈  N , una secuencia de números positivos (pesos) tales que

La medida ν definida por

es entonces una medida de probabilidad en X con exactamente los mismos conjuntos nulos que  μ .

Conceptos relacionados

Medidas moderadas

Una medida de Borel (en el sentido de una medida localmente finita en el álgebra de Borel [5] ) se denomina medida moderada si y solo si hay como máximo un número contable de conjuntos abiertos con para todos y . [6]

Toda medida moderada es una medida -finita, lo inverso no es cierto.

Medidas descomponibles

Una medida se denomina medida descomponible; existen conjuntos medibles disjuntos con para todos y . Para las medidas descomponibles, no hay restricción en el número de conjuntos medibles con medida finita.

Toda medida -finita es una medida descomponible, lo inverso no es cierto.

medidas s-finitas

Una medida se denomina medida s-finita si es la suma de como máximo un número contable de medidas finitas . [2]

Toda medida σ-finita es s-finita, la recíproca no es cierta. Para una demostración y un contraejemplo, véase medida s-finita#Relación con medidas σ-finitas .

Véase también

Referencias

  1. ^ Klenke, Achim (2008). Probability Theory . Berlín: Springer. pág. 12. doi :10.1007/978-1-84800-048-3. ISBN 978-1-84800-047-6.
  2. ^ ab Kallenberg, Olav (2017). Medidas aleatorias, teoría y aplicaciones . Suiza: Springer. p. 21. doi :10.1007/978-3-319-41598-7. ISBN 978-3-319-41596-3.
  3. ^ Anosov, DV (2001) [1994], "Medir el espacio", Enciclopedia de Matemáticas , EMS Press
  4. ^ Segal, IE (1951). "Equivalencias de espacios de medida". American Journal of Mathematics . 73 (2): 275–313. JSTOR  2372178.
  5. ^ Elstrodt, Jürgen (2009). Maß- und Integrationstheorie [ Teoría de la medida y la integración ] (en alemán). Berlín: Springer Verlag. pag. 313.doi : 10.1007 /978-3-540-89728-6. ISBN 978-3-540-89727-9.
  6. ^ Elstrodt, Jürgen (2009). Maß- und Integrationstheorie [ Teoría de la medida y la integración ] (en alemán). Berlín: Springer Verlag. pag. 318.doi : 10.1007 /978-3-540-89728-6. ISBN 978-3-540-89727-9.