Clase 6 TEOREMA DE RADON-NIKODYM

C ONTENIDO R EFERENCIAS SUGERIDAS
C URSO : A NÁLISIS R EAL II

C LASE 6: T EOREMA DE R ADON -N IKODYM
VERSUS DUALIDAD DE LOS ESPACIOS Lp
Yamilet Quintana1
1
Universidad Simón Bolívar
Programa Interuniversitario de Doctorado en Matemáticas

Universidad Autónoma de Santo Domingo
Junio, 2020
1 C ONTENIDO
Teorema de Radon-Nikodym versus dualidad de los espacios
Lp
2 R EFERENCIAS SUGERIDAS
T EOREMA DE R ADON -N IKODYM VERSUS DUALIDAD DE LOS ESPACIOS Lp
Teorema de Radon-Nikodym versus dualidad de los espacios Lp
El Capítulo 4 del curso A NÁLISIS R EAL I estuvo dedicado al estu-

dio de las propiedades básicas de los espacios Lp (X , µ). En esta
lección examinaremos otra propiedad fundamental de estos espa-
cios: su dualidad. Especícamente estudiaremos al espacio dual de
Lp (X , µ) a la luz del Teorema de Radon-Nikodym.

Sea (X , A , µ) un espacio de medida, y para 1 ≤ p ≤ ∞ consideremos el
espacio de Lebesgue Lp (X , µ). Como sabemos:
( I ) (Lp (X , µ), k · kp ) es un espacio normado, con

1
|f (x)|p dµ(x) p , si 1 ≤ p < ∞,
 R
 X
kf kp =

 esssup{|f (x)| : x ∈ X }, si p = ∞.
( II ) (Lp (X , µ), d) es espacio métrico completo (es decir, un espacio de

Banach), con
d(f , g) = kf − gkp , 1 ≤ p ≤ ∞.
En particular, L2 (X , µ) es un espacio de Hilbert.
Recuerde Real Analysis: Chapter 4, Prof. W. Urbina.


Para poder abordar el estudio del espacio dual de Lp (X , µ), necesitaremos
recordar algunas pocas nociones preliminares sobre espacios normados.
Definición 1-C6. Sea V espacio vectorial sobre un cuerpo K(= R o C),
dotado con una norma k · k : V → [0, ∞). Un funcional lineal Λ : V → K se
dice acotado si existe una constante c > 0 tal que
|Λ(x)| ≤ ckxk para todo x ∈ V .
La norma de un funcional lineal acotado Λ : V → K se define como

|Λ(x)|
kΛk := sup : x ∈ V , x 6= 0 . (1)
kxk
El conjunto de todos los funcionales lineales acotados sobre V es denotado

por V 0 y es llamado el espacio dual topológico de V .
Note que si V ∗ es el dual algebraico de V entonces V 0 ⊆ V ∗ . En particular,
si dim(V ) < ∞ entonces V 0 = V ∗ .

En esta lección siempre consideraremos a (X , A , µ) un espacio de medida
fijado.
P ROPOSICIÓN 1-C6
Sean 1 ≤ p, q ≤ ∞ exponentes conjugados y g ∈ Lq (X , µ). Entonces la

aplicación Λg : Lp (X , µ) → C dada por
Z
Λg (f ) := f (x)g(x) dµ(x), para toda f ∈ Lp (X , µ),
X
es un funcional lineal y continuo tal que

kΛg k ≤ kgkq . (2)
Demostración
Seguiremos el enfoque de [7, 8, 9, 10, 11].
Ya que p y q son exponentes conjugados, por la desigualdad de Hölder
tenemos que
Z Z

|Λg (f )| = f (x)g(x) dµ(x) ≤ |f (x)g(x)| dµ(x) ≤ kf kp kgkq .
X X

Demostración (cont.)
Por lo que Λg está bien definido y además,
|Λg (f )|
≤ kgkq , para toda f ∈ Lp (X , µ), f 6= 0. (3)
kf kp
Como la linealidad de Λg se desprende de la linealidad de la integral, usando

la definición 1-C6 obtenemos (2). De manera que nuestro problema se
reduce a mostrar la continuidad de Λg .
Sean f ∈ Lp (X , µ) y {fn }n∈N ⊂ Lp (X , µ) tales que lim kfn − f kp = 0.
n→∞
Entonces dado ε > 0, existe n0 ∈ N tal que kfn − f kp < ε, siempre que
n ≥ n0 .
Luego si n ≥ n0 , de la linealidad de Λg y la desigualdad de Hölder obtenemos
|Λg (fn ) − Λg (f )| = |Λg (fn − f )| ≤ kfn − f kp < ε.
Por lo tanto Λg es continua.


Observaciones:
(1) Para la demostración de la continuidad de Λg hemos aplicado mutatis
mutandis la definición de continuidad para espacios métricos. Sin
embargo, dado que Λg es lineal, es suficiente mostrar su continuidad en
f = 0. O incluso trabajar sólo con sucesiones de Cauchy, dado que
tanto Lp (X , µ) como C son espacios de Banach.
(2) En el caso particular p = q = 2, Λg coincide con el producto interno
asociado a L2 (X , µ) como espacio de Hilbert. Además, por ser Λg
acotado el T EOREMA DE REPRESENTACIÓN DE R IESZ nos garantiza que
la igualdad en (2) es alcanzada, y cualquier funcional lineal sobre
L2 (X , µ) tiene la forma de Λg , para una única función g.
(3) ¿Diferentes elementos de Lq (X , µ) definen diferentes funcionales sobre
Lq (X , µ)?
(4) ¿Habrá igualdad en (2) si p y q son exponentes conjugados distintos de
2?
(5) ¿Existen funcionales lineales y continuos en Lp (X , µ) que no tengan la
forma de Λg ?
(6) ¿Qué relación existe entre el dual topológico de Lp (X , µ) y Lq (X , µ)?

0
El siguiente resultado nos permite establecer la relación entre [Lp (X , µ)] y
Lq (X , µ) cuando 1 < p < ∞ y q es el exponente conjugado de p.
T EOREMA 1-C6
Sea Λ : Lp (X , µ) → C un funcional lineal y continuo, 1 < p < ∞, entonces

existe una función g ∈ Lq (X , µ), p1 + q1 = 1, tal que
Z
Λ(f ) = Λg (f ) = f (x)g(x) dµ(x), para toda f ∈ Lp (X , µ). (4)
X
Además, g es única (como clase de equivalencia), y

kΛk = kgkq . (5)
Si µ es σ-finita, (4) y (5) también son válidas para p = 1.
Demostración
Seguiremos los enfoques de las referencias [3, 7, 8, 9, 11]. Obviaremos el
caso elemental Λ ≡ 0. Dividiremos la demostración en tres pasos:
Paso 3: µ infinita
Paso 1: µ finita Paso 2: µ σ-finita
(pero no σ-finita )

Paso 1: Si µ es finita, entonces χE ∈ Lp (X , µ), para todo E ∈ A , 1 ≤ p < ∞.
Consideremos la función conjuntista ν : A → C dada por
ν(E) := Λ(χE ), para todo E ∈ A .
Veamos que ν es una medida compleja sobre A :

Sea A ∈ A y {An }n∈N ∈ J (A), entonces
m m m
! m
!
X X X [
ν(An ) = Λ(χAn ) = Λ χAn = Λ χSmn=1 An = ν An . (6)
n=1 n=1 n=1 n=1
Como
Z p 1 Z p 1
p p

χA − χSm = χA (x) − χSm An (x) dµ(x) = χh Sm
dµ(x)
i (x)

A
n=1 n p X n=1 X
A\
n=1
An
" m
!# 1
[ p
= µ A\ An −→ 0, cuando m → ∞,
n=1

y Λ es continuo, entonces

m
X
Λ(χA ) − Λ (χAn ) = Λ(χA ) − Λ χSmn=1 An −→ 0, cuando m → ∞.

n=1
Es decir,
m
X
lim Λ(χA ) − Λ (χAn ) , = 0

m→∞
n=1
luego
∞
X ∞
X
Λ(χA ) = Λ (χAn ) =⇒ ν(A) = ν(An ),
n=1 n=1
por lo tanto,
∞
! ∞
[ X
ν An = ν(A) = ν(An ),
n=1 n=1
y en consecuencia, ν es σ-aditiva.

Es claro que ν(∅) = Λ(χ∅ ) = Λ(0) = 0. Así que ν es una medida compleja.
Ahora, consideremos A ∈ A tal que µ(A) = 0, entonces χA = 0 µ-a.e. por
lo que
ν(A) = Λ(χA ) = Λ(0) = 0,
por tanto, ν µ y por el T EOREMA DE R ADON -N IKODYM (ver Teorema
2-C5), existe una única g ∈ L1 (X , dµ) tal que dν = g dµ, y debido a la
definición de ν tenemos
Z
Λ(χE ) = ν(E) = χE (x)g(x) dµ(x), para todo E ∈ A . (7)
X
Y por linealidad de la integral, obtenemos que para toda función simple

s : X → C se tiene
Z
Λ(s) = s(x)g(x) dµ(x) = Λg (s). Esto nos dice que los funcionales Λ y Λg coinciden sobre
las funciones simples.
X
Luego si f ∈ L∞ (X , dµ), como µ es finita, existe una sucesión de funciones

simples {sn }n∈N tal que lim kf − sn k∞ = 0 (ver Ejercicio 4.).
n→∞

Ahora bien,
Z
|Λg (f ) − Λg (sn )| ≤ |f (x) − sn (x)| |g(x)| dµ(x) ≤ kf − sn k∞ kgk1 −→
n→∞
0,
X
y por continuidad de Λ (ver Ejercicio 1.):
|Λ(f ) − Λ(sn )| ≤ kΛk kf − sn k∞ −→

n→∞
0.

 lim Λg (sn ) = Λg (f ),
 n→∞
Por lo tanto:
 lim Λ(sn ) = Λ(f ).

n→∞
Luego, dado ε > 0 podemos elegir n0 ∈ N tal que si n ≥ n0 , entonces

|Λg (f ) − Λg (sn )| < ε2 y |Λ(f ) − Λ(sn )| < ε2 . De donde se deduce que
|Λ(f )−Λg (f )| ≤ |Λ(f )−Λ(sn )|+|Λ(sn )−Λg (f )| = |Λ(f )−Λ(sn )|+|Λg (sn )−Λg (f )| < ε,
es decir, |Λ(f ) − Λg (f )| = 0 y en consecuencia, Λ(f ) = Λg (f ).


Note que también debido que µ es finita, lim kf − sn kp = 0, para
n→∞
1 ≤ p < ∞.
Supongamos ahora que p = 1. Sea A ∈ A tal que µ(A) > 0, entonces
Z Z

g(x) dµ(x) = χA (x)g(x) dµ(x) = |ν(A)| = |Λ(χA )| ≤ kΛk kχA k1 ,

A X
lo que implica que

Ver Ejercicio 5. ó recuerde el Teorema 3.11. Real Analysis: Chapter 3, Prof. W. Urbina.
kgk∞ ≤ kΛk. (8)

Mientras que si 1 < p < ∞, tomando la función h : X → C dada por

g(x)
 |g(x)| , si x ∈ g −1 (C \ {0}) ,

h(x) :=
1, si x ∈ g −1 ({0}) ,


tenemos que h es medible y

|h(x)| = 1, y h(x)g(x) = |g(x)|, para todo x ∈ X . (9)

Definiendo
An := {x ∈ X : |g(x)| < n}, fn (x) := χAn (x)|g(x)|q−1 h(x), para todo x ∈ X ,
∞ p
tenemos que fn ∈ L (X , µ) ⊂ L (X , µ), y usando (9):
Z Z Z
|g(x)|q dµ(x) = |g(x)|q−1 |g(x)| dµ(x) = χAn (x)|g(x)|q−1 h(x)g(x) dµ(x)
An An X
Z
= fn (x)g(x) dµ(x) = Λ(fn ) ≤ kΛk kfn kp . (10)
X
Por otro lado,
|fn (x)|p = χAn (x)|g(x)|p(q−1) = χAn (x)|g(x)|q , p(q − 1) = q, porque p y q son exponentes conjugados
por lo que Z Z
kfn kpp = |fn (x)|p = |g(x)|q dµ(x),
An An
Z
si |g(x)|q dµ(x) 6= 0, usando (10) obtenemos que
An
p p
kfn kp−1
p ≤ kΛk =⇒ (kfn kp ) q ≤ kΛk =⇒ kfn kpp ≤ kΛkq . p − 1 =
q
, porque p y q son expo-
nentes conjugados

Luego, Z
χAn (x)|g(x)|q dµ(x) ≤ kΛkq . (11)
X
Z
Note que (11) sigue siendo válida, aunque |g(x)|q dµ(x) = 0 (ver
An
Ejercicio 6.), y de (11) se deduce que
kgkq ≤ kΛk. (12)
En conclusión, hemos demostrado que para todo 1 ≤ p < ∞ existe una función
g ∈ Lq (X , µ), con p1 + q1 = 1 tal que (4) es cierta para toda función simple f .
Y ahora usando que el conjunto de las funciones simples es denso en

Lp (X , µ) para 1 ≤ p < ∞:
Recuerde Teorema 4.7. Real Analysis: Chapter 4, Prof. W. Urbina.

Para f ∈ Lp (X , µ) existe {hn }n∈N sucesión de funciones simples, tal que
lim kf − hn kp = 0,
n→∞
y por continuidad de Λ:
Z

lim |Λ(f ) − Λ(hn )| = 0 =⇒ lim Λ(f ) −
hn (x)g(x) dµ(x) = 0,
n→∞ n→∞ X
Luego, Z
Λ(f ) = lim hn (x)g(x) dµ(x). (13)
n→∞ X
Por otro lado,
Z Z Z

f (x)g(x) dµ(x) − hn (x)g(x) dµ(x) = (f (x) − hn (x))g(x) dµ(x)

X X
ZX
≤ |f (x) − hn (x)| |g(x)| dµ(x)
X
desigualdad de Hölder y densidad de las funciones simples en Lp (X , µ) ≤ kf − hn kp kgkq −→

n→∞
0,

Por lo tanto,
Z Z

lim f (x)g(x) dµ(x) − hn (x)g(x) dµ(x) = 0,
n→∞ X X
y en consecuencia,
Z Z
f (x)g(x) dµ(x) = lim hn (x)g(x) dµ(x). (14)
X n→∞ X
Comparando (13) y (14) obtenemos

Z
Λ(f ) = f (x)g(x) dµ(x).
X
Finalmente, de (8) y (12) obtenemos que kgkq ≤ kΛk, y la Proposición 1-C6

garantiza que se verifica (5).

Paso 2: Si µ es σ-finita, sea {An }n∈N ∈ J (X ). Fijado p tal que 1 ≤ p < ∞,
como µ(An ) < ∞ entonces las funciones f ∈ Lp (X , µ) tales que
χ(X \An ) fn = 0 µ-a.e. forman un subespacio cerrado de Lp (X , µ) que puede
identificarse con Lp (An , µ|A ∩An ), para cada n ∈ N (ver Ejercicio 7.). Luego,
para cada n ∈ N tomamos µ̂n = µ|A ∩An y definimos un funcional lineal
ΛAn : Lp (An , µ̂n ) → C dado por
ΛAn (f ) = Λ(f ).
Entonces por la definición 1-C6:

|ΛAn (f )|
kΛAn k = sup : f ∈ Lp (An , µ̂n ), f 6= 0 .
kf kp

|Λ(f )|
≤ sup : f ∈ Lp (X , µ), f 6= 0 = kΛk,
kf kp
por lo que ΛAn es continuo. Así que aplicando el Paso 1 obtenemos que para
cada n ∈ N existe gn ∈ Lq (An , µ̂n ), tal que
Z Z
ΛAn (f ) = f (x)gn (x) d µ̂n (x) = χAn (x)f (x)gn (x) dµ(x).
An X

Si f ∈ Lp (X , µ) entonces
f = lim χSmn=1 An f .
m→∞
Luego, por continuidad de Λ:
m
!
X
Λ(f ) = lim Λ χSm n=1
An f = lim Λ χAn f
m→∞ m→∞
n=1
m
X m
X
= lim Λ (χAn f ) = lim ΛAn (χAn f ) (15)
m→∞ m→∞
n=1 n=1
m Z
X
= lim χAn (x)f (x)gn (x) dµ(x)
m→∞ X
n=1
Z m
!
X
= lim gn (x) f (x) dµ(x). (16)
m→∞ X n=1
m
! m
[ X
Como µ An < ∞, por el Paso 1 la función gn está asociada al
n=1 n=1
funcional ΛSm n=1
An .

Luego, m
X
gn = ΛSmn=1 An ≤ kΛk. (17)

n=1 q
∞
X
Consideremos la serie g := gn . Esta serie converge puntualmente, ya
n=1
que para cada x ∈ X , sólo un sumando gn (x) puede ser diferente de cero
(verifique esta afirmación). En particular,
∞ ∞
X X
gn = |gn | . (18)

n=1 n=1
Ahora por el L EMA DE FATOU y (17) obtenemos

Recuerde el Teorema 3.3. Real Analysis: Chapter 3, Prof. W. Urbina.

Z Z m p Z m p
X X
p
|g(x)| dµ(x) = lim inf gn (x) dµ(x) ≤ lim inf gn (x) dµ(x)

X X m→∞ m→∞ X
n=1 n=1
q
≤ kΛk ,
lo que significa que
kgkq ≤ kΛk. (19)
Finalmente, para cada x ∈ X
m
!
X
lim f (x) gn (x) = f (x)g(x),
m→∞
n=1
así que utilizando (18) y (19):

m
! m
X X
f (x) gn (x) = |f (x)| |gn (x)| ≤ |f (x)| |g(x)|,

n=1 n=1
y como f ∈ L (X , µ) y g ∈ L (X , µ), tenemos que |f | |g| ∈ L1 (X , µ). Luego,

p q
podemos aplicar el T EOREMA DE CONVERGENCIA DOMINADA DE L EBESGUE

a la derecha de (16), obteniendo: Recuerde el Teorema 3.7. Real Analysis: Chapter 3, Prof. W. Urbina.

Z m
! Z
X
Λ(f ) = lim gn (x) f (x) dµ(x) = f (x)g(x) dµ(x).
m→∞ X X
n=1
Y nuevamente obtenemos (4). Mientras que (5) puede deducirse de la

Proposición 1-C6 y (19).
Paso 3: Si µ es infinita, pero no σ-finita. Fijemos p tal que 1 < p < ∞. Como
Λ es no nulo, existe h ∈ Lp (X , µ) tal que para cada f ∈ Lp (X , µ) podemos
encontrar un único α ∈ C y una única f̂ ∈ Ker(Λ) tales que
f = αh + f̂ y Λ(f ) = α. (20)
Λ(f )
Sea h ∈ Lp (X , µ) \ Ker(Λ), para cada f ∈ Lp (X , µ) considere α = Λ(h)
, entonces la función
f̂ = (f − αh) ∈ Ker(Λ), f = αh + f̂ , y Λ(f ) = α. Esto es consecuencia de que Ker(Λ) es
subespacio de codimensión 1 en Lp (X , µ).
Sea A := {x ∈ X : h(x) 6= 0}, como h ∈ Lp (X , µ) se deduce que A es µ

σ-finito y procediendo como en el Paso 2 las funciones f ∈ Lp (X , µ) que se
anulan fuera de A forman un subespacio cerrado de Lp (X , µ) que puede

identificarse con Lp (A, µ|A ∩A ) (ver Ejercicio 7.). Luego, tomamos µ̂ = µ|A ∩A
y definimos el funcional lineal ΛA : Lp (A, µ̂) → C dado por
ΛA (f ) = Λ(f ).
Como en el Paso 2, ΛA es continuo y existe g ∈ Lq (A, µ̂), tal que

Z Z
ΛA (f ) = f (x)g(x) d µ̂(x) = χA (x)f (x)g(x) dµ(x), (21)
A X
para toda f ∈ Lp (A, µ̂), y
kgkq ≤ kΛA k ≤ kΛk. (22)
Ahora bien, si u ∈ Lp (X , µ) es una función que se anula en A, entonces

Z
Λ(u) = 0 = u(x)g(x) dµ(x) (23)
X
En efecto, por (20) tenemos que u = αh + û y Λ(u) = α, pero h se anula

fuera de A, esto implica que α = 0 y u = û. Igualmente, de las hipótesis
sobre u y g, deducimos que ug = 0 µ-a.e.

Por lo que si f ∈ Lp (X , µ) es arbitraria, por (21) y (20) tenemos que
Λ(f ) = Λ(χA f ) + Λ(χ(X \A) f ) = ΛA (f )
Z Z
= χA (x)f (x)g(x) dµ(x) + χ(X \A) (x)f (x)g(x) dµ(x)
ZX X
= f (x)g(x) dµ(x).
X
Mientras que (5) puede deducirse de la Proposición 1-C6 y (22).

Unicidad de g: Si µ es σ-finita. Fijemos p tal que 1 ≤ p < ∞ y sean
g, ĝ ∈ Lq (X , µ), p1 + q1 = 1, tales que
Z
f (x)(g(x) − ĝ(x)) dµ(x) = 0, para toda f ∈ Lp (X , µ). (24)
X
Sea {An }n∈N ∈ J (X ), si E ∈ A entonces χE χAn = χE∩An ∈ Lp (X , µ), para

cada n ∈ N. Por (24) tenemos que
Z
χAn (x)(g(x) − ĝ(x)) dµ(x) = 0. (25)
E

Como g − ĝ ∈ Lq (X , µ) y µ(An ) < ∞, obtenemos que χAn (g − ĝ) ∈ L1 (X , µ),
y esto junto con (25) implica que χAn (g − ĝ) = 0 µ-a.e. para cada n ∈ N.
Por lo que g − ĝ = 0 µ-a.e.
Si µ infinita, pero no σ-finita. Fijemos p tal que 1 < p < ∞, atendiendo a los
resultados y notaciones del Paso 3 para mostrar la unicidad de g ∈ Lq (X , µ),
1
p
+ q1 = 1, es suficiente mostrar que si existe otra función ĝ ∈ Lq (X , µ), que
satisface (4) y(5), entonces χ(X \A) ĝ = 0 µ-a.e.
Si no fuese así, existiría B ∈ A , tal que B ∩ A = ∅, µ(B) 6= 0 y ĝ no se anula
en B. Como ĝ ∈ Lq (X , µ) y q 6= ∞, B tiene que ser µ σ-finito. Por lo tanto,
existe C ∈ A tal que C ⊂ B, 0 < µ(C) < ∞ y
Z
ĝ(x) dµ(x) 6= 0. (26)
C
Pero χC ∈ Lp (X , µ) y como demostramos en el Paso 3, Λ(χC ) = 0, lo que

contradice (26).


Los ejemplos siguientes demuestran que el Teorema 1-C6 no siempre puede
ampliarse al caso p = ∞, incluso cuando µ es σ-finita, ni a p = 1 cuando µ
no es σ-finita.
Ejemplo 1. Considere m : M → [0, ∞] la medida de Lebesgue en R y
L∞ ([0, 1]) := L∞ ([0, 1], m|M∩[0,1] ) (ver Ejercicio 7.). Sea W el subespacio de
L∞ ([0, 1]) dado por
W := {f ∈ L∞ ([0, 1]) : lim f (x) = r < ∞},

x→1
si f ∈ W defina Λ : W → R por Λ(f ) = r . Entonces Λ es un funcional lineal y

continuo, y kΛk = 1 (verifíquelo). Por el Ejercicio 9. existe Λ̃ : L∞ ([0, 1]) → R
tal que
Λ̃ = Λ y kΛ̃k = kΛk.

W

Si suponemos que existe g ∈ L1 ([0, 1]) tal que g representa a Λ vía (4)
entonces
Z g no puede ser nula µ-a.e. Tomando A ∈ M ∩ [0, 1] tal que
g(x) dm(x) 6= 0, reduciendo, si fuese necesario, al conjunto A, podemos
A
obtener B ∈ M ∩ [0, 1] tal que [1 − δ, δ] ∩ B = ∅ para algún δ > 0
suficientemente pequeño, mateniendo la condición
Z
g(x) dm(x) 6= 0, (27)
B
Luego, la representación de Λ por g vía (4) es imposible, ya que χB ∈ W y

Λ(χB ) = 0, contradice (27) (verifíquelo).
Ejemplo 2. Sean X = {x, y }, A = P(X ) y µ la medida sobre A definida
mediante µ ({x}) = 1 y µ ({y }) = ∞. Entonces, L1 (X , µ) es identificable con
C y L∞ (X , µ) es identificable con C2 . Luego en este caso,
0
L (X , µ) ( L∞ (X , µ) (verifíquelo, Ejercicio 12.).
1
Observaciones:
Podemos resumir los resultados obtenidos sobre la dualidad de los espacios
Lp en los siguientes puntos:
(1) Si 1 < p < ∞ entonces el dual de Lp (X , µ) es isométricamente isomorfo
a Lq (X , µ) como espacios de Banach, donde q es el exponente
0
conjugado de p. La correspondencia entre [Lp (X , µ)] y Lq (X , µ) viene
dada por (4). Como p, a su vez, es el exponente conjugado de q resulta
que p 00 0
L (X , µ) = Lq (X , µ) = Lp (X , µ),
es decir, Lp (X , µ) es un espacio reflexivo, (coincide con su doble dual).
0
(2) Si p = 1 y µ es σ-finita, entonces L1 (X , µ) también se identifica con

L∞ (X , µ), pero ni aún siendo µ finita se puede asegurar que el dual de

L∞ (X , µ) coincida con L1 (X , µ). No obstante, para medidas σ-finitas
existe un subespacio cerrado Y de [L∞ (X , µ)]0 tal que L1 (X , µ) es
isométricamente isomorfo a Y como espacios de Banach.
(3) Como una consecuencia, es útil tener presente que si 1 < p < ∞,
entonces Z
kf kp = sup f (x)g(x) dµ(x) : kgkq ≤ 1 , (28)
X
para toda f ∈ Lp (X , µ). Cuando µ es σ-finita (28) también es válida para
p = 1 o p = ∞ (ver Ejercicio 13.).
Caracterización de los espacios Lp para p > 1
P ROPOSICIÓN 2-C6
Dados (X , A , µ) un espacio de medida σ-finita y 1 ≤ q < ∞, 1 < p ≤ ∞

exponentes conjugados. Sea f : X → C (o f : X → [0, ∞]) función medible
tal que para todo g ∈ Lq (X , µ) se tiene que fg ∈ L1 (X , µ). Entonces
f ∈ Lp (X , µ).
Demostración
∞
[
Sea {An }n∈N ⊂ A sucesión creciente tal que X = An y µ(An ) < ∞ para
n=1
cada n ∈ N. Ya que fg ∈ L1 (X , µ), si y sólo si, |f |g ∈ L1 (X , µ), podemos
suponer que f ≥ 0.
Sea {sn }N una sucesión creciente de funciones simples no negativas tal que
lim sn = f puntualmente. Definamos sn0 := χAn sn , entonces {sn0 }N es
n→∞
también creciente, lim sn = f puntualmente, y sn0 ∈ Lp (X , µ), para cada
n→∞
n ∈ N. Como |sn g| ≤ |f ||g| ∈ L1 (X , µ), aplicando el T EOREMA DE
CONVERGENCIA DOMINADA DE L EBESGUE tenemos que
Caracterización de los espacios Lp para p > 1

Z Z
Λn (g) := sn (x)g(x) dµ(x) −→
n→∞
f (x)g(x) dµ(x). (29)
X X
Entonces definiendo
Z
Λ(g) := f (x)g(x) dµ(x), para toda g ∈ Lq (X , µ), (30)
X
tenemos que Λ es un funcional lineal y continuo sobre Lq (X , µ) (ver Ejercicio

14.).
Ahora, por el Teorema 1-C6 existe f̂ ∈ Lp (X , µ) tal que
Z
Λ(g) = f̂ (x)g(x) dµ(x), para toda g ∈ Lq (X , µ), (31)
X
Luego, de (30) y (31) se deduce que

Z
(f (x) − f̂ (x))g(x) dµ(x) = 0, para toda g ∈ Lq (X , µ). (32)
X
Y ahora empleando un razonamiento similar al usado para mostrar la
unicidad en la demostración del Teorema 1-C6, podemos concluir que
f − f̂ = 0 µ-a.e. y en consecuencia f ∈ Lp (X , µ).

Henri Léon Lebesgue

Henri Léon Lebesgue (1875-1941) fue un matemático francés conocido por haber formulando las
bases de la Teoría de la Medida en 1901 al dar la definición de lo que conocemos hoy como
intengral de Lebesgue, generalizando la integral de Riemann al extender el concepto del área
debajo de una curva para incluir muchas funciones discontinuas. Esta generalización de la
integral de Riemann revolucionó el Cálculo Integral.
A partir de 1898, Lebesgue estuvo interesado, -y de hecho estudió detalladamente-, las
contribuciones de Baire sobre funciones discontinuas y se dio cuenta de que se podía lograr
mucho más en ese tema. Este interés estaba vinculado a su deseo de obtener una demostración
de la convergencia de los desarrollos trigonométricos de Fourier (series de Fourier). Sobre la
base del trabajo de otros, incluido el de Émile Borel y Camille Jordan, Lebesgue formuló la
noción de conjuntos medibles en la recta, y de funciones integrables (en el sentido Lebesgue) en
su famoso paper Sur une généralisation de l’intégrale définie:
H. Lebesgue, Sur une généralisation de l’intégrale définie, Comptes rendus

hebdomadaires des séances de l’Académie des sciences Tome CXXXII No. 1
(1901), 1025-1028. Disponible en: https://gallica.bnf.fr/ark:/12148/
bpt6k30888
Más tarde habría una considerable rivalidad entre Baire y Lebesgue. La primera vez que
pelearon fue en 1904, cuando Baire dio el Cours Peccot en el Collège de France, y visiblemente
molesto porque Lebesque había sido invitado un año antes, preguntó quién tenía más derecho a
dictar tal curso. Al año siguiente el Collège de France volvió a invitar a Lebesgue... Sobre la base
de estas conferencias Lebesgue escribió dos monografías Leçons sur l’intégration et la recherche
des fonctions primitives (1904) y Leçons sur les séries trigonométriques (1906). Sin embargo, su
trabajo recibió una recepción hostil de analistas clásicos, especialmente en Francia. También se
peleó con Borel durante la primera guerra mundial; durante ese conflicto bélico Lebesgue trabajó
para la defensa de Francia, y en este momento Borel también estaba haciendo una tarea similar.
Es interesante notar que Lebesgue no se concentró a lo largo de su carrera en el campo que él
mismo había comenzado. Esto podría atribuirse a que su trabajo era una generalización
sorprendente, y el mismo Lebesgue temía las generalizaciones. Una vez escribió: “ Reducida a
teorías generales, la matemática sería una forma hermosa sin contenido. Moriría rápidamente”.
Aunque los desarrollos posteriores demostraron que sus temores no tienen fundamento, esto
nos permite comprender el curso que siguió su propio trabajo.
Fuente: J. J. O’Connor, E. F. Robertson, Henri Léon Lebesgue.
https://mathshistory.st- andrews.ac.uk/Biographies/Lebesgue
Referencias sugeridas
[1] J. J. Benedetto, W. Czaja, Integration and Modern Analysis, Birkha̋user,

2009.
[2] H. Bercovici, A. Brown, C. Pearcy, Measure and Integration, Springer
International Publishing, 2016.
[3] P. Cannarsa, T. D’Aprile, Introduction to Measure Theory and Functional
Analysis, Springer International Publishing, 2015.
[4] J. B. Conway, A Course in Abstract Analysis, AMS Graduate Studies in
Mathematics, Vol 41, 2012.
[5] C. S. Kubrusly, Essentials of Measure Theory, Springer International
Publishing, 2015.
[6] H. L. Royden, Real Analysis (3rd ed), Macmillan Publishing Co., 1988.
Referencias sugeridas
[7] H. L. Royden, P. Fitzpatrick, Real Analysis (4th ed), Prentice Hall, 2010.
[8] W. Rudin, Real and Complex Analysis (3rd ed), McGraw Hill, Inc., 1987.
[9] D. A. Salamon, Measure and Integration, EMS Textbooks in
Mathematics, 2016.
[10] M. E. Taylor, Measure Theory and Integration, AMS Graduate Studies in
Mathematics, Vol 76, 2006.
[11] M. A. Jiménez Pozo, Teoría de la Medida, Editorial Pueblo y Educación,
1989.
[12] P. R. Halmos, Measure Theory, Springer-Verlag, 1974.

Clase 6 TEOREMA DE RADON-NIKODYM

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Clase 6 TEOREMA DE RADON-NIKODYM

Cargado por

Copyright:

Formatos disponibles

C ONTENIDO R EFERENCIAS SUGERIDAS

C URSO : A NÁLISIS R EAL II

Programa Interuniversitario de Doctorado en Matemáticas

T EOREMA DE R ADON -N IKODYM VERSUS DUALIDAD DE LOS ESPACIOS Lp

Teorema de Radon-Nikodym versus dualidad de los espacios Lp

El Capítulo 4 del curso A NÁLISIS R EAL I estuvo dedicado al estu-

T EOREMA DE R ADON -N IKODYM VERSUS DUALIDAD DE LOS ESPACIOS Lp

Teorema de Radon-Nikodym versus dualidad de los espacios Lp

( II ) (Lp (X , µ), d) es espacio métrico completo (es decir, un espacio de

Recuerde Real Analysis: Chapter 4, Prof. W. Urbina.

T EOREMA DE R ADON -N IKODYM VERSUS DUALIDAD DE LOS ESPACIOS Lp

Teorema de Radon-Nikodym versus dualidad de los espacios Lp

|Λ(x)| ≤ ckxk para todo x ∈ V .

La norma de un funcional lineal acotado Λ : V → K se define como

El conjunto de todos los funcionales lineales acotados sobre V es denotado

T EOREMA DE R ADON -N IKODYM VERSUS DUALIDAD DE LOS ESPACIOS Lp

Teorema de Radon-Nikodym versus dualidad de los espacios Lp

Sean 1 ≤ p, q ≤ ∞ exponentes conjugados y g ∈ Lq (X , µ). Entonces la

es un funcional lineal y continuo tal que

T EOREMA DE R ADON -N IKODYM VERSUS DUALIDAD DE LOS ESPACIOS Lp

Teorema de Radon-Nikodym versus dualidad de los espacios Lp

Como la linealidad de Λg se desprende de la linealidad de la integral, usando

|Λg (fn ) − Λg (f )| = |Λg (fn − f )| ≤ kfn − f kp < ε.

Por lo tanto Λg es continua.

T EOREMA DE R ADON -N IKODYM VERSUS DUALIDAD DE LOS ESPACIOS Lp

Teorema de Radon-Nikodym versus dualidad de los espacios Lp

T EOREMA DE R ADON -N IKODYM VERSUS DUALIDAD DE LOS ESPACIOS Lp

Teorema de Radon-Nikodym versus dualidad de los espacios Lp

Sea Λ : Lp (X , µ) → C un funcional lineal y continuo, 1 < p < ∞, entonces

Además, g es única (como clase de equivalencia), y

T EOREMA DE R ADON -N IKODYM VERSUS DUALIDAD DE LOS ESPACIOS Lp

Teorema de Radon-Nikodym versus dualidad de los espacios Lp

ν(E) := Λ(χE ), para todo E ∈ A .

Veamos que ν es una medida compleja sobre A :

T EOREMA DE R ADON -N IKODYM VERSUS DUALIDAD DE LOS ESPACIOS Lp

Teorema de Radon-Nikodym versus dualidad de los espacios Lp

T EOREMA DE R ADON -N IKODYM VERSUS DUALIDAD DE LOS ESPACIOS Lp

Teorema de Radon-Nikodym versus dualidad de los espacios Lp

Y por linealidad de la integral, obtenemos que para toda función simple

Luego si f ∈ L∞ (X , dµ), como µ es finita, existe una sucesión de funciones

T EOREMA DE R ADON -N IKODYM VERSUS DUALIDAD DE LOS ESPACIOS Lp

Teorema de Radon-Nikodym versus dualidad de los espacios Lp

y por continuidad de Λ (ver Ejercicio 1.):

|Λ(f ) − Λ(sn )| ≤ kΛk kf − sn k∞ −→

Luego, dado ε > 0 podemos elegir n0 ∈ N tal que si n ≥ n0 , entonces

es decir, |Λ(f ) − Λg (f )| = 0 y en consecuencia, Λ(f ) = Λg (f ).

T EOREMA DE R ADON -N IKODYM VERSUS DUALIDAD DE LOS ESPACIOS Lp

Teorema de Radon-Nikodym versus dualidad de los espacios Lp

lo que implica que

kgk∞ ≤ kΛk. (8)

tenemos que h es medible y

T EOREMA DE R ADON -N IKODYM VERSUS DUALIDAD DE LOS ESPACIOS Lp

Teorema de Radon-Nikodym versus dualidad de los espacios Lp

T EOREMA DE R ADON -N IKODYM VERSUS DUALIDAD DE LOS ESPACIOS Lp

Teorema de Radon-Nikodym versus dualidad de los espacios Lp

kgkq ≤ kΛk. (12)

Y ahora usando que el conjunto de las funciones simples es denso en

T EOREMA DE R ADON -N IKODYM VERSUS DUALIDAD DE LOS ESPACIOS Lp

Teorema de Radon-Nikodym versus dualidad de los espacios Lp

desigualdad de Hölder y densidad de las funciones simples en Lp (X , µ) ≤ kf − hn kp kgkq −→

T EOREMA DE R ADON -N IKODYM VERSUS DUALIDAD DE LOS ESPACIOS Lp

Teorema de Radon-Nikodym versus dualidad de los espacios Lp

Comparando (13) y (14) obtenemos