Ayudantı́a 4 Análisis II, Postgrado

Ayudante: Nestor Jara

Septiembre 2021

1. Teorema de Radon-Nikodym
Ejercicio 1.1 Sea X = {1, 2, 3} y considere la σ−álgebra 2X . Definiendo µ : 2X → R dada por

µ({1}) = 1/3 ; µ({2}) = 0 ; µ({3}) = 4

µ({i}). Sean análogamente ν1 : 2X → R dada por

P
y de manera general µ(A) = i∈A

ν1 ({1}) = 0 ; ν1 ({2}) = 5 ; ν1 ({3}) = 8

ν1 ({i}), mientras que ν2 : 2X → R dada por

P
y de manera general ν1 (A) = i∈A

ν2 ({1}) = 2 ; ν2 ({2}) = 0 ; ν2 ({3}) = 1

P
y de manera general ν2 (A) = i∈A ν2 ({i}). Muestre que ν1 6 µ pero ν2  µ y calcule una derivada de
Radon-Nikodym de ν2

Solución:

Note que µ({2}) = 0 y ν1 ({2}) = 5 6= 0, por lo que ν1 6 µ.

Por otra parte, note que

µ(A) = 0 ⇒ A = ∅ o bien A = {2}

⇒ ν2 (A) = 0

Por lo que deducimos que ν2  µ.

Sea f : X → R dada por

1
f (1) = 6 ; f (2) = 0 ; f (3) =
4
Es claro que Z
ν2 (A) = f dµ
A
ya que se verifica en los singleton y sobre otros conjuntos actúa por descomposición. Por tanto, f es una
derivada de Radon-Nikodym de ν2 respecto a µ.

Note que esta función no es única, pues toda función g : X → R dada por
1
g(1) = 6 ; g(2) = x ; g(3) =
4
cumple lo indicado, para cualquier x ∈ R. De todos modos, tenemos unicidad µ−ctp.
Ejercicio 1.2 Encuentre una σ−álgebra no trivial en X del ejercicio anterior de modo que ν1  µ.

1
 Solución:

Basta con construir una σ−álgebra que no contenga al singleton {2}. Por ejemplo, considere

M = {∅, X, {3}, {1, 2}}

Ejercicio 1.3 Tomando en cuenta el ejercicio anterior y el ejercicio 2.2 de la ayudantı́a 2, ¿Es cierto que
dadas dos medidas µ, ν sobre un conjunto X, existe una σ−álgebra para la cual µ  ν o bien ν  µ?

Solución:

Si, pues dado un conjunto X, siempre existe sobre el la σ−álgebra trivial, dada por M0 = {∅, X}. Note en
particular, que esta se corresponde a la σ−álgebra Boreliana cuando dotamos a X de la topologı́a trivial.

Entonces, tenemos algunos casos que analizar:

Si µ(X) = 0, entonces µ  ν, puesto que ν(A) = 0 ⇒ µ(A) = 0 para todo A ∈ M0 (puesto que µ(A)
siempre vale cero en esta σ−álgebra).
Si ν(X) = 0, entonces ν  µ, puesto que µ(A) = 0 ⇒ ν(A) = 0 para todo A ∈ M0 (puesto que ν(A)
siempre vale cero en esta σ−álgebra).

Si µ(X) 6= 0 y ν(X) 6= 0, entonces µ  ν, puesto que ν(A) = 0 ⇒ A = ∅ ⇒ µ(A) = 0 (puesto que A = ∅

serı́a el único conjunto nulo en esta σ−álgebra).
Ası́, de todos modos siempre podemos establecer la comparación entre las medidas.
Ejercicio 1.4 Teniendo en cuenta el ejercicio anterior ¿existe una σ−álgebra maximal que cumpla lo pedido?

Solución:

Si, existe. Para sustentar esta afirmación debemos demostrarla. Para ello, recordemos el Lema de Zorn:

Todo conjunto parcialmente ordenado no vacı́o en el que toda cadena (subconjunto totalmente ordenado) tiene
una cota superior, contiene al menos un elemento maximal

Sean µ y ν dos medidas en alguna σ−álgebra de un conjunto X. Sean M1 la familia de todas las σ−álgebras
para las cuales ν  µ y M2 la familia de todas las σ−álgebras para las cuales µ  ν.

Sabemos por el ejercicio anterior que al menos una de estas familias es no vacı́a. Sin perder generalidad
supongamos que M1 6= ∅.

Ordenemos parcialmente M1 por inclusión y sea M ⊂ M1 una cadena. Como M es una cadena, entonces
M = ∪M, es decir, la unión de todos los elementos que pertenecen a la cadena, es una σ−álgebra.

Ojo, recuerde que en general la unión de σ−álgebras no es σ−álgebra, pero al tratarse de una cadena, si lo
es. Ası́, M es una cota superior para M y por tanto, por el lema de Zorn, M1 tiene elemento maximal.
Ejercicio 1.5 Sea (X, M, µ) un espacio de medida y sea g : X → R una función en L1 (X, µ). Definiendo
Z
λ(E) = gdµ
E

Demuestre que
R
|λ|(E) = E
|g|dµ

λ+ (E) = g + dµ
R
E

λ− (E) = g − dµ
R
E

2
 Solución:

Sean P = {x ∈ X : g(x) ≥ 0} y N = {x ∈ X : g(x) < 0}. Claramente, P ∪ N = X y P ∩ N = ∅.

Además, si A ⊂ P , entonces Z
λ(A) = gdµ ≥ 0
A
Mientras que si B ⊂ N , tenemos Z
λ(B) = gdµ ≤ 0
B
Por tanto P es positivo para λ y N es negativo para λ. Concluimos que P y N conforman una descomposi-
ción de Hahn para λ.

Recordemos que las funciones medibles g + y g − están definidas por:

g + (x) = sup{g(x), 0}
g − (x) = sup{−g(x), 0}
En particular, esto nos dice que para x ∈ P , g + (x) = g(x) y para x ∈ N tenemos g − (x) = −g(x).

Recordemos que en la demostración del Teorema de descomposición de Jordan vimos que una forma de
obtener la descomposición es mediante la descomposición de Hahn, es decir:
λ+ (E) = λ(E ∩ P )
λ− (E) = −λ(E ∩ N )
Ası́, tenemos:
λ+ (E) = λ(E ∩ P )
Z
= gdµ
(E∩P )
Z
= g + dµ
(E∩P )
Z Z
+
= g dµ + 0dµ
(E∩P ) (E∩N )
Z Z
= g + dµ + g + dµ
(E∩P ) (E∩N )
Z
= g + dµ
E

y similarmente
λ− (E) = −λ(E ∩ N )
Z
= − gdµ
(E∩N )
Z
= − −g − dµ
(E∩N )
Z
= g − dµ
(E∩N )
Z Z
−
= g dµ + 0dµ
(E∩N ) (E∩P )
Z Z
= g − dµ + g − dµ
(E∩N ) (E∩P )
Z
= g − dµ
E

3
 Finalmente, sabemos que |g| = g + + g − y que |λ| = λ+ + λ− (Aunque no debemos confundirnos, la primera
igualdad habla del valor absoluto de una función respecto a la suma de parte negativa y parte positiva, meintras
que la segunda dice que la variación total de una medida es su variación positiva sumada a su variación negativa).
Ası́:
Z Z Z Z
+ − + − + −
|λ|(E) = λ (E) + λ (E) = g dµ + g dµ = (g + g )dµ = |g|dµ
E E E E

Ejercicio 1.6 Sea X un conjunto no numerable y sea M la σ−álgebra compuesta por conjuntos que son o bien
numerables, o tienen complemento numerable. Sea µ la medida de conteo sobre X y sea λ la medida definida
como λ(E) = 0 si E es numerable y λ(E) = +∞ en otro caso.

Muestre que λ  µ pero el teorema de Radon-Nikodym falla.

Solución:

Sabemos que la medida de conteo sólo es nula en el vacı́o, por lo que µ(A) = 0 ⇒ A = ∅ ⇒ λ(A) = 0, por
lo que tenemos la continuidad absoluta λ  µ.

No obstante, para x ∈ X,
R µ({x}) = 1, mientras que λ({x}) = 0, por lo que si existiera una función µ−medible
f : X → R tal que λ(A) = A f dµ, esto implicarı́a que
Z
0 = λ({x}) = f dµ = f (x)µ({x}) = f (x)
{x}

y como x es arbitrario, tendrı́amos que f es la función identicamente nula.

Esto es una contradicción, pues en tal caso λ deberı́a ser la medida identicamente nula, pero sabemos que
existen subcojuntos no numerables de X cuya λ−medida es +∞.

Ası́, concluimos que el teorema de Radon-Nikodym falla en este caso. Notemos que esto sucede pues la
medida λ NO es σ−finita.

Observación 1.7 Existen autores, como Gert K. Pedersen, en su libro Analysis Now, que desarrollan primero
la teorı́a de Radon y a partir de ella construyen los resultados de descomposición de Jordan, Hahn, Radon-
Nikodym y Lebesgue.