Equivalencia (teoría de la medida)

En matemáticas, y específicamente en teoría de la medida, la equivalencia es la noción de que dos medidas son cualitativamente similares. Específicamente, las dos medidas coinciden en qué eventos tienen medida cero.

Definición

Dejar $\mu$ y $\nu$ ser dos medidas en el espacio mensurable $(X,{\mathcal {A}}),$ y deja

$${\mathcal {N}}_{\mu }:=\{A\in {\mathcal {A}}\mid \mu (A)=0\}$$

y

$${\mathcal {N}}_{\nu }:=\{A\in {\mathcal {A}}\mid \nu (A)=0\}$$

ser los conjuntos de $\mu$ - conjuntos nulos y $\nu$ -conjuntos nulos, respectivamente. Entonces la medida $\nu$ se dice que es absolutamente continuo en referencia a $\mu$ si y solo si ${\mathcal {N}}_{\nu }\supseteq {\mathcal {N}}_{\mu }.$ Esto se denota como $\nu \ll \mu .$

Las dos medidas se llaman equivalentes si y sólo si $\mu \ll \nu$ y $\nu \ll \mu ,$ ​ que se denota como $\mu \sim \nu .$ Es decir, dos medidas son equivalentes si satisfacen ${\mathcal {N}}_{\mu }={\mathcal {N}}_{\nu }.$

Ejemplos

En la recta real

Defina las dos medidas en la recta real como

$$\mu (A)=\int _{A}\mathbf {1} _{[0,1]}(x)\mathrm {d} x$$

$$\nu (A)=\int _{A}x^{2}\mathbf {1} _{[0,1]}(x)\mathrm {d} x$$

para todos los conjuntos Borel $A.$ Entonces $\mu$ y $\nu$ son equivalentes, ya que todos los conjuntos fuera de $[0,1]$ tener $\mu$ y $\nu$ medida cero, y un conjunto dentro $[0,1]$ es un $\mu$ -conjunto nulo o un $\nu$ -conjunto nulo exactamente cuando es un conjunto nulo con respecto a la medida de Lebesgue.

Espacio de medida abstracto

Mira un espacio mensurable $(X,{\mathcal {A}})$ y deja $\mu$ ser la medida de conteo, entonces

$$\mu (A)=|A|,$$

dónde $|A|$ es la cardinalidad del conjunto a. Entonces la medida de conteo tiene solo un conjunto nulo, que es el conjunto vacío. Eso es, ${\mathcal {N}}_{\mu }=\{\varnothing \}.$ Entonces, según la segunda definición, cualquier otra medida $\nu$ es equivalente a la medida de conteo si y solo si también tiene solo el conjunto vacío como único $\nu$ -conjunto nulo.

Medidas de apoyo

Una medida $\mu$ se llama un supporting measure de una medida $\nu$ si $\mu$ es $\sigma$ -finito y $\nu$ es equivalente a $\mu .$ ​

Referencias

• Datos: Q5384705