medida σ-finita

Concepto en la teoría de la medida

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. ${\displaystyle (X,{\mathcal {A}})}$ ${\displaystyle \mu }$

La medida se denomina medida σ-finita si satisface uno de los cuatro criterios equivalentes siguientes: ${\displaystyle \mu }$

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] ${\displaystyle X}$ ${\displaystyle A_{1},A_{2},\ldots \in {\mathcal {A}}}$ ${\displaystyle \mu \left(A_{n}\right)<\infty }$ ${\displaystyle n\in \mathbb {N} }$ ${\displaystyle \bigcup _{n\in \mathbb {N} }A_{n}=X}$
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 . ${\displaystyle X}$ ${\displaystyle B_{1},B_{2},\ldots \in {\mathcal {A}}}$ ${\displaystyle \mu \left(B_{n}\right)<\infty }$ ${\displaystyle n\in \mathbb {N} }$ ${\displaystyle B_{i}\cap B_{j}=\varnothing }$ ${\displaystyle i\neq j}$ ${\displaystyle \bigcup _{n\in \mathbb {N} }B_{n}=X}$
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 . ${\displaystyle X}$ ${\displaystyle C_{1},C_{2},\ldots \in {\mathcal {A}}}$ ${\displaystyle C_{1}\subset C_{2}\subset \cdots }$ ${\displaystyle \mu \left(C_{n}\right)<\infty }$ ${\displaystyle n\in \mathbb {N} }$ ${\displaystyle \bigcup _{n\in \mathbb {N} }C_{n}=X}$
4. existe una función medible estrictamente positiva cuya integral es finita. ^[2] Esto significa que para todos y . ${\displaystyle f}$ ${\displaystyle f(x)>0}$ ${\displaystyle x\in X}$ ${\displaystyle \int f(x)\mu (\mathrm {d} x)<\infty }$

Si es una medida -finita, el espacio de medida se denomina espacio de medida -finito . ^[3] ${\displaystyle \mu }$ ${\displaystyle \sigma }$ ${\displaystyle (X,{\mathcal {A}},\mu )}$ ${\displaystyle \sigma }$

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 [ k ,  k  + 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. ${\displaystyle \mathbb {N} }$

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 ⁻¹ ) de la identidad. Entonces

${\displaystyle H=\bigcup _{n\in \mathbb {N} }V^{n}}$

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. ${\displaystyle \infty }$ ${\displaystyle \mathbb {R} }$ ${\displaystyle A\subset \mathbb {R} }$ ${\displaystyle \mu (A)=\infty }$ ${\displaystyle A\subset \mathbb {R} }$ ${\displaystyle \mu (A)=\infty }$

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

${\displaystyle \sum _{n=1}^{\infty }w_{n}=1.}$

La medida ν definida por

${\displaystyle \nu (A)=\sum _{n=1}^{\infty }w_{n}{\frac {\mu \left(A\cap V_{n}\right)}{\mu \left(V_{n}\right)}}}$

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] ${\displaystyle \sigma }$ ${\displaystyle \mu }$ ${\displaystyle A_{1},A_{2},\ldots }$ ${\displaystyle \mu \left(A_{i}\right)<\infty }$ ${\displaystyle i}$ ${\displaystyle \bigcup _{i=1}^{\infty }A_{i}=X}$

Toda medida moderada es una medida -finita, lo inverso no es cierto. ${\displaystyle \sigma }$

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. ${\displaystyle \left(A_{i}\right)_{i\in I}}$ ${\displaystyle \mu \left(A_{i}\right)<\infty }$ ${\displaystyle i\in I}$ ${\displaystyle \bigcup _{i\in I}A_{i}=X}$

Toda medida -finita es una medida descomponible, lo inverso no es cierto. ${\displaystyle \sigma }$

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] ${\displaystyle \mu }$

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

• Medida finita
• Aditividad sigma

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. 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.