MEDIDAS COMPLEJAS

1. Preliminares

Definición 1. Sea (X, M) un espacio medible. Una medida compleja sobre

(X, M) es una función ν : M → C tal que:
• ν(∅) = 0,
• ν no puede tomar valores infinitos.
• Si {Ej }j es una sucesión de conjuntos disjuntos de M, entonces se tiene
la igualdad
∞ ∞
!
[ X
ν En = ν(En )
n=1 n=1
cuando la serie converge absolutamente.

Ejemplo 1 Si µ es una medida positiva sobre (X, M) se tendrá que µ es una

medida compleja si y solo si µ es finita.
Ejemplo 2R Si f : X → C es una función medible tal que f ∈ L1 (X, µ) entonces
E 7→ ν(E) = E f dµ es una medida compleja.
Introduciremos algo de notación:
a) Si ν es una medida compleja, diremos que νr e νi son sus partes reales e
imaginarias respectivamente. o sea
ν(E) = νr (E) + i νi (E) ∀ E ∈ M
y ademas tanto νr y νi son medidas con signo finitas, lo que equivale a decir
que |νr | y |νi | son medidas finitas positivas.
b) El conjunto L1 (X, ν) se define como
L1 (X, ν) := L1 (X, νr ) ∩ L1 (X, νi ),
por lo tanto, si f ∈ L1 (X, ν) escribiremos
Z Z Z
f dν = f dνr + i f dνi

c) Si µ y ν son medidas complejas se dirá que µ ⊥ ν si

µa ⊥ νb con a, b = r, i.
d) Si ν es medida compleja y λ es medida positiva direms que ν << λ si
νr << λ y νi << λ.
Teorema 1 (Teorema de Radon–Nikodym–Lebesgue). Si ν es una medida compleja
sobre (X, M) y µ es una medida σ–finita y positiva sobre (X, M), entonces existe
una medida compleja λ y f ∈ L1 (X, µ) tales que
i) λ ⊥ µ, R
ii) d ν = d λ + f dµ, es decir ν(E) = λ(E) + E f dµ para todo E medible.
1
2 INTEGRACIÓN

iii) Si existe una medida compleja λ0 tal que λ0 ⊥ µ y d nu = d λ0 + f˜ dµ entonces

λ = λ0 y f = f˜ µ-(c.t.p.)
Demostración. Como ν = νr + iνi es una medida compleja se tiene que νr y νi son
medidas con signo finitas.
Como νr es una medida con signo finita y µ es una medida positiva σ–finita,
podemos aplicar el Teorema de Radon–Nikodym–Lebesgue predecente, el cual ase-
gura la existencia de una única medida con signo λr sigma–finita tal que λr ⊥ µ y
de una función fr µ–integrable extendida tal que
d νr = d λr + fr dµ
y la unicidad de fr es µ–(c.t.p.).
Como νr es una medida finita, tenemos que |νr | es finita, es decir
Z {
−
+
|νr |(X) = λr (X) + λr (X) + fr+ + fr− } dµ < ∞,
X
lo cual implica que
Z
|λ|(X) < ∞ y {fr+ + fr− } dµ < ∞
X
es decir λr es una medida con signo finita y fr ∈ L1 (X, µ).
Podemos trabajar de un modo similar con la medida con signo νi y deducir la
existencia de una única medida con signo λi sigma–finita tal que λi ⊥ µ y de una
función fi µ–integrable extendida tal que
d νi = d λi + fi dµ
y la unicidad de fi es µ–(c.t.p.).
Además se puede concluir que es decir λi es una medida con signo finita y
fr ∈ L1 (X, µ).
Sabemos que ν = νr + iνi . Tambien definimos λ = λr + iλi y f = fr + ifi . Luego
tenemos que
ν = νr + iνi

= λr + fr dµ + iλi + i fi dµ

= λr + iλi + {fr + ifi } dµ

= λ + f dµ
Como λr y λi son medidas con signo finitas, tenemos que λ es una medida
compleja. Como fr y fi ∈ L1 (X, µ) se tiene que f ∈ L1 (X, µ). Finalmente, como
λr ⊥ µ y λi ⊥ µ se tiene que λ ⊥ µ.
La unicidad es una consecuencia de las unicidades de las partes real e imaginaria.

Teorema 2 (Radon–Nikodym (versión clásica)). Considere un par de medidas ν y
µ sobre el espacio medible (X, M). Si ν es una medida compleja y µ es una medida
positiva σ–finita tal que ν << µ, entonces existe una función f : X → C que verifica
f ∈ L1 (X, µ) tal que
(1) dν = f dµ.
De existir otra función f tal que dν = f 0 dµ se tiene que f = f 0 (µ–c.t.p.)
0
 INTEGRACIÓN 3

Demostración. Como
ν = νr + iνi << µ,
esto significa que
νr << µ y νi << µ.
Como νr es medida con signo finita y µ es positiva y σ–finita, podemos aplicar
el Teorema de Radon–Nikodym en su version clásica y deducir la existencia de fr
µ–integrable extendida tal que
Z
νr (E) = fr dµ.
E
Similarmente se puede deducir la existencia de fi ∈ L1 (X, µ) tal que
Z
νi (E) = fi dµ
E
y por lo tanto Z
ν(E) = νr (E) + iνi (E) = f dµ,
E
donde f = fr + ifi ∈ L1 (X, µ). 
dν
Al igual que en la sección anterior f = dµ se conoce como la derivada de Radon–
Nikodym de ν con respecto a µ.

2. Variación total

Definición 2. Dado un par de medidas ν y µ sobre el espacio medible (X, M)

que satisfacen las hipótesis del Teorema de Radon–Nikodym tal que
dν = f dµ,
diremos que la variación total de ν es la medida positiva |ν| sobre (X, M)
determinada por d ν = f dµ donde µ es una medida positiva tal que
(2) d|ν| = |f | dµ.

Las páginas 93 y 94 del texto de Folland se dedican a justificar la definición de

variación total. Lo interesante es que |ν| es independiente de f y µ.
Lema 1. Toda medida compleja ν sobre (X, M) es de la forma
dν = f dµ
para alguna medida positiva µ y alguna f ∈ L1 (µ).
Demostración. Dada la medida compleja ν construiremos:
µ = |νr | + |νi |
y como νr y νi son medidas con signo, recordemos que su variación total se describe
usando su descomposición de Jordan:
|νr | = νr+ + νr− y |νi | = νi+ + νi− .
Con los antecedentes anteriores vemos que µ es una suma finita de medidad
positivas y por lo tanto es una medida positiva.
Como
µ(E) = 0 ⇐⇒ νr+ (E) = νr− (E) = νi+ (E) = νi− (E) = 0
4 INTEGRACIÓN

se tiene que si µ(E) = 0 entonces ν(E) = 0 y concluı́mos que ν << µ.

Dado que ν y µ satisfacen las hipótesis del Teorema de Radon–Nikodym, tenemos
la existencia de f ∈ L1 (X, µ) tal que
dν = f dµ
y de existir otra función f tal que dν = f 0 dµ se tiene que f = f 0 (µ–c.t.p.), lo cual
0

concluye la demostración. 
Dado que el resultado precedente dice que dν = f dµ, ¿podemos decir que la
variación total |ν| es la medida que verifica
Z
d|ν| = f dµ?.

Lamentablemente aun es prematuro dar una respuesta afirmativa. En efecto,

notemos que el resultado precedente sólo indica la existencia de una medida positiva
µ. El resultado siguiente nos da información adicional:
Lema 2. Si una medida compleja ν sobre (X, M) es de la forma
dν = f1 dµ1 y dν = f2 dµ2
para algun par de medidas positivas µ1 , µ2 y algunas f1 , f2 ∈ L1 (µ), entonces se
tiene que la medida ρ = µ1 + µ2 es tal que
dµ1 dµ2
(3) f1 dρ = f2 dρ ρ–(c.t.p.)
dρ dρ
Demostración. Notemos que como µ1 y µ2 son medidas positivas se tiene que
ρ(E) = (µ1 + µ2 )(E) = 0 ⇒ µ1 (E) = 0 y µ2 (E) = 0
y por lo tanto concluı́mos que
µ1 << ρ y µ2 << ρ.
Como ya sabemos que ν << µi y µi << ρ para i = 1, 2 entonces por la Propo-
sicion 2 de la sección anterior (ver numeral b) de la Proposición 3.9 de Folland) se
tiene que ν << ρ y además la derivada de Radon–Nikodym de ν con respecto a ρ
tiene la doble representación:
dν dν dµ1 dν dµ2
= = .
dρ dµ1 dρ dµ2 dρ
Esta doble representación de la derivada de Radon–Nikodym de ν con respecto
a ρ combinada con ν << ρ implica que
dν
dν = dρ
dρ
y por lo tanto dν tiene la doble representación:
dν dµ1 dµ1 dν dµ2 dµ2
dν = dρ = f1 dρ y dν = dρ = f2 dρ.
dµ1 dρ dρ dµ2 dρ dρ
El Teorema de Radon–Nikodym afirma que
dµ1 dµ2
f1 = f2 ρ–(c.t.p),
dρ dρ
lo cual concluye la demostración. 
dµ1 dµ2
Lema 3. Las derivadas de Radon–Nikodym dρ y dρ son ρ–no negativas.
 INTEGRACIÓN 5

dµ1
Demostración. Demostraremos que dρ > 0 ρ–(c.t.p.) por contradicción. Para ello
supondremos que existe E ∈ M tal que ρ(E) > 0 y dµ dρ (x) < 0 con x ∈ E.
1

Como µ1 y ρ son medidas positivas y µ1 << ρ, por Teorema de Radon–Nikodym

sabemos que Z
dµ1
µ1 (E) = dρ < 0
E dρ
y eso contradice la positividad de µ1 . 
El siguiente resultado ratifica que si ν es una medida compleja entonces su varia-
ción total |ν| esta bien definida y su caracterización es independiente de la medida
µi y la función fi :
Lema 4. Si una medida compleja ν sobre (X, M) es de la forma
dν = f1 dµ1 y dν = f2 dµ2
para algun par de medidas positivas µ1 , µ2 y algunas f1 , f2 ∈ L1 (µ), entonces se
tiene que la medida positiva |ν| definida por
Z
|ν|(E) = |f1 | dµ1
E
verifica la igualdad Z Z
|ν|(E) = |f1 | dµ1 = |f2 | dµ2 .
E E
Demostración. Dado que ya sabemos que
dµ1 dµ2
f1 = f2 ρ–(c.t.p),
dρ dρ
dµ1 dµ2
y que dρ y dρ son positivas. Entonces se tiene que
dµ1 dµ2
|f1 | = |f2 | ρ–(c.t.p).
dρ dρ
Integramos Z Z
dµ1 dµ2
|f1 | dρ = |f2 | dρ.
dρ dρ
Como dµ1 = dµ dµ2
dρ dρ y dµ2 = dρ dρ, las integrales se reescriben como
1

Z Z
|f1 |dµ1 = |f2 |dµ2 .