Medidas con signo

Jonathan Farfán

PUCP

Jonathan Farfán (PUCP) Medidas con signo 1/7

Medidas con signo
Sea (Ω, F) un espacio medible.
Una medida con signo en (Ω, F) es una función ν : F → [−∞, +∞] que cumple:
ν(∅) = 0.
{−∞, +∞} no está contenido en ν(F).
Si A1 , A2 , A3 , · · · ∈ F son disjuntos dos a dos entonces
∞
! ∞
[ X
ν An = ν(An ) .
n=1 n=1

∞
! ∞
[ X
Además, si ν An < ∞ entonces la serie ν(An ) es absolutamente
n=1 n=1
convergente.

Proposición
Sean En , n ≥ 1, conjuntos medibles.
a) Si En ↑ E entonces lim ν(En ) = ν(E).
n→∞

b) Si En ↓ E y ν(E1 ) es finita entonces lim ν(En ) = ν(E).

n→∞

Jonathan Farfán (PUCP) Medidas con signo 2/7

Sea ν una medida con signo en (Ω, F).

Decimos que E ∈ F es un conjunto ν-positivo cuando se cumple:

A∈F y A⊂E =⇒ ν(A) ≥ 0 .

Decimos que E ∈ F es un conjunto ν-negativo cuando se cumple:

A∈F y A⊂E =⇒ ν(A) ≤ 0 .

Decimos que E ∈ F es un conjunto ν-nulo cuando se cumple:

A∈F y A⊂E =⇒ ν(A) = 0 .

Proposición
a) Cualquier subconjunto de un conjunto ν-positivo también es ν-positivo.
b) La unión numerable de conjuntos ν-positivos es ν-positivo.
Valen resultados análogos para conjuntos ν-negativos y para conjuntos ν-nulos.

Jonathan Farfán (PUCP) Medidas con signo 3/7

Teorema
Si A ∈ F, ν(A) > 0 y +∞ ∈ / ν(F) entonces existe un conjunto E ∈ F tal que
E ⊂ A, ν(E) > 0 y E es ν-positivo.

Teorema de descomposición de Hahn

Si ν es una medida con signo en (Ω, F) entonces existen conjuntos medibles P
y N tales que:
i) P ∪ N = Ω y P ∩ N = ∅.
ii) P es ν-positivo y N es ν-negativo.
Además, si P̃ y Ñ cumplen i) y ii) entonces P ∆P̃ = N ∆Ñ es ν-nulo.

Observación. Cuando P y N cumplen i) y ii), la expresión

Ω=P ∪N
es conocida como una descomposición de Hahn de Ω con respecto a ν.

Jonathan Farfán (PUCP) Medidas con signo 4/7

Sean µ y ν dos medidas con signo en (Ω, F).
Se dice que µ y ν son mutuamente singulares o que ν es singular con respecto
a µ cuando existen A, B ∈ F tales que
Ω = A ∪ B, A ∩ B = ∅, A es µ-nulo y B es ν-nulo .
Notación. µ ⊥ ν.

Teorema de descomposición de Jordan

Si ν es una medida con signo en (Ω, F) entonces existen únicas medidas
(positivas) ν + y ν − en (Ω, F) tales que:
i) ν = ν + − ν − .
ii) ν + ⊥ ν − .

Observaciones:
La expresión ν = ν + − ν − es conocida como la descomposición de Jordan
de ν.
ν + es conocida como la variación positiva de ν y ν − es conocida como la
variación negativa de ν.
La medida |ν| = ν + + ν − es conocida como la variación total de ν.
Jonathan Farfán (PUCP) Medidas con signo 5/7
Lebesgue-Radon-Nikodym
Sean µ y ν medidas en el espacio medible (Ω, F).
Se dice que ν es absolutamente continua con respecto a µ cuando se
cumple:
I Si A ∈ F y µ(A) = 0 entonces ν(A) = 0.
Notación: ν  µ.

Se dice que las medidas µ y ν son equivalentes cuando ν  µ y µ  ν.

Notación: ν ∼ µ.

Ejemplo. Si ν y m son respectivamente las medidas de conteo y de Lebesgue

en (R, B(R)) entonces se cumple m  ν, pero no se cumple ν  m.
Observación. Si f : Ω → [0, +∞] es una función medible, µ es una medida en
(Ω, F) y dν = f dµ, entonces ν  µ.
Si ν  µ, ¿podemos afirmar que existe una función positiva f : Ω → R̄
tal que dν = f dµ? No necesariamente
Ejemplo. En el ejemplo anterior vimos que m  ν, pero no existe una función
medible f : R → [0, +∞] tal que dm = f dν.
Jonathan Farfán (PUCP) Medidas con signo 6/7
Teorema de Lebesgue-Radon-Nikodym
Sean µ una medida σ-finita y ν una medida con signo σ-finita en (Ω, F).
Entonces:
a) Existen únicas medidas σ-finitas λ y ρ en (Ω, F) tales que
λ ⊥ µ, ρµ y ν = λ + ρ.
b) Existe una función medible f : Ω → [0, +∞] tal que dρ = f dµ.
c) f es µ-única. Es decir, si g : Ω → [0, +∞] es otra función medible tal que
dρ = g dµ, entonces g = f µ-c.s.

Jonathan Farfán (PUCP) Medidas con signo 7/7