Rendon Teoria de La Medida

Teora de la Medida
Leonardo Rendn
Pedro Zambrano
Universidad Nacional de Colombia

Facultad de Ciencias
Departamento de Matemticas
Bogot, D.C.
15 de abril de 2013
ndice general
1. Definiciones preliminares
1.1. -lgebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.1.
-lgebra de Borel . . . . . . . . . . . . . . . . . . . . .
1.1.2.
Funciones medibles . . . . . . . . . . . . . . . . . . . . .
1.2. La recta extendida . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.1.
Abiertos bsicos de la recta extendida. . . . . . . . . . .
1.2.2.
Arimtica en la recta extendida. . . . . . . . . . . . . . .
1.3. Ms sobre -lgebras . . . . . . . . . . . . . . . . . . . . . . . .
1.4. Funciones simples. . . . . . . . . . . . . . . . . . . . . . . . . . .
1.5. Definicin de medida. . . . . . . . . . . . . . . . . . . . . . . . .
11
1.5.1.
Propiedades. . . . . . . . . . . . . . . . . . . . . . . . . .
12
1.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
14
2. La medida de Lebesgue
16
2.1. Medida exterior. . . . . . . . . . . . . . . . . . . . . . . . . . . .
iii
16
2.2. Medida de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . .
22
2.3. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
26
2.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
31
3. La integral
33
3.1. Integrales de funciones medibles. . . . . . . . . . . . . . . . . .

3.1.1.
33
Propiedades. . . . . . . . . . . . . . . . . . . . . . . . . .
34
3.2. Teorema de la convergencia montona. . . . . . . . . . . . . . .
36
3.3. Teorema de la convergencia dominada . . . . . . . . . . . . . .
42
3.4. Las integrales de Riemann y de Lebesgue . . . . . . . . . . . . .
44
3.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
50
4. Medida producto
53
4.1. Definicin de lgebra . . . . . . . . . . . . . . . . . . . . . . . .
53
4.2. Algunas propiedades . . . . . . . . . . . . . . . . . . . . . . . .
59
4.3. Teorema de Fubini . . . . . . . . . . . . . . . . . . . . . . . . . .
63
4.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
66
5. Espacios Lp
68
5.1. Definicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
68
5.2. Completez de los espacios Lp . . . . . . . . . . . . . . . . . . . .
75
5.3. Algunos conjuntos densos en Lp () . . . . . . . . . . . . . . . .
77
5.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
86
6. Algunos tipos de convergencia
88
6.1. Definiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
88
6.2. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
90
6.3. Teorema de Egoroff . . . . . . . . . . . . . . . . . . . . . . . . .
95
6.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
99
7. Cargas
101
7.1. Teorema de descomposicin de Hahn . . . . . . . . . . . . . . .
101
7.2. Teorema de Radon-Nikodym . . . . . . . . . . . . . . . . . . . .
105
7.3. Teorema de representacin de Riesz . . . . . . . . . . . . . . . .
109
7.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
117
CAPTULO 1
Definiciones preliminares
1.1.
-lgebras
Definicin 1.1.1. Sean X 6= y M P(X). M es una -lgebra cuando :

1. X M.
2. Si A M, entonces X A M.
3. Si {An }nN es una familia de elementos de M entonces
i=1
An M.
Al par (X, M) se le denomina espacio medible. Igualmente, X es denominado

espacio medible si se sobreentiende cual es la -lgebra considerada.
Observacin 1.1.2.
M (consecuencia de las propiedades 1. y 2.)
Si A1 , , An M, entonces
Sn
i=1
para k > n y de la propiedad 3.
Ai M: consecuencia de tomar Ak =
1.1. -LGEBRAS
Si {An }nN es una familia de elementos de M, entonces
T
S c c
que
i=1 Ai = ( i=1 Ai ) y de las propiedades 2. y 3.
Si A1 , , An M, entonces
Tn
i=1
i=1
Ai M: ya
Ai M: consecuencia de tomar Ak =
X para k > n y de la observacin anterior.

Ejemplo 1.1.3 (Ejemplos de -lgebras).
1. Dado X 6= , P(X) es una -lgebra.
2. {R, , Q, I} P(R) es un -lgebra

Observacin 1.1.4. Sean M1 , M2 -lgebras en X 6= . Entonces M1 M2 es un
-lgebra en X.
Por otro lado, al considerar A, una coleccin no vaca de subconjuntos de X poT
demos tomar MA = MF M, donde F := {M : M es una -lgebra en X y A
M}. Tenemos que MA es la menor -lgebra que contiene a A, en el sentido que
dada M -lgebra en X, con A M entonces MA M. MA se denomina
-lgebra generada por A.
1.1.1.
-lgebra de Borel
Consideremos Rn con su topologa usual. La -lgebra generada por la familia de abiertos en Rn es denominada -lgebra de Borel.
Observacin 1.1.5. No existe una -lgebra con cardinal 0 , cardinal de N.
En efecto. Supongamos que M es una -lgebra sobre el conjunto X , con M
enumerable.
Note que si X es finito entonces P(X) es un conjunto finito y por lo tanto M es
un conjunto finito.
1.1. -LGEBRAS
Supongamos entonces que X es un conjunto infinito y que M es infinito enumerable. Dado x X definimos Ex = EF E donde F = {E M : x E}.
remarkrvese que Ex M, adems dado E M se tiene que x E o x X E
por lo tanto Ex E = o Ex E.
De igual forma dados x, y X, distintos, se tiene que Ex = Ey o Ex Ey = .
Como X es un conjunto infinito y M es infinito enumerable existe G = {x1 , x2 }, xi
X para cada i N, tal que Exi Exj = si i 6= j . Definamos EA = xA Ex para
cada A G. Ntese que EA E.
Ahora si A 6= B entonces EA 6= EB ; esto es, la funcin : P(G) M tal
que (A) = EA es inyectiva. Absurdo, ya que P(G) no es enumrable y M es
enumerable.
1.1.2.
Funciones medibles
Sea (X, M) un espacio medible y (Y, T ) un espacio topolgico. Decimos que

f : X Y es medible si y solo si dado V T (es decir, un abierto en (Y, T )) se
tiene que f1 (V) M (es decir, f1 (V) es medible).
Ejemplo 1.1.6. Sean (X, M) espacio medible y A M entonces la funcin

A : X R definida por
A (x) =
si x A,
si x
/ A.
es medible.
Dado un abierto bsico V R tenemos que
3
1.1. -LGEBRAS
si 1, 0 V entonces f1 (V) = X M
si 1 V y 0
/ V entonces f1 (V) = A M
si 1
/ V y 0 V entonces f1 (V) = X A M
si 1, 0
/ V entonces f1 (V) = M
y por lo tanto A es medible.
Proposicin 1.1.7. Sean (Y, TY ), (Z, TZ ) espacios topolgicos, (X, M) un espacio
medible, f : X Y una funcin medible y g : Y Z una funcin continua.
Entonces g f es medible.
Demostracin. Sea V TZ (un abierto en (Z, TZ )). Como g es continua, tenemos
que g1 (V) TY . Adems como f es medible, tenemos que f1 (g1 (V)) = (g
f)1 (V) M. Es decir: g f es medible.
Proposicin 1.1.8. Sean (X, M) espacio medible, (Y, T ) espacio topolgico, u, v :
X R funciones medibles y : R2 (Y) una funcin continua. Se tiene que
(u, v) es medible.
Demostracin. En virtud de la proposicin anterior basta ver que
f = (u, v) : X R2
x 7 (u(x), v(x))
(1.1)
(1.2)
es una funcin medible.

En efecto, siendo R = I1 I2 donde cada Ii es un abierto en R, tenemos que
f1 (R) = {x X : u(x) I1 } {x X : v(x) I2 }.
1.1. -LGEBRAS
Como {x X : u(x) I1 } M por ser u medible y {x X : v(x) I2 } M
ya que v es medible, por la definicin de -lgebra tenemos que f1 (R) M.
CONSECUENCIAS:
1. Sean (X, M) espacio medible y u, v : X R medibles. Entonces f(x) =

u(x) + iv(x) es medible.
2. Sea (X, M) espacio medible, y consideremos
f:X C
x 7 u(x) + iv(x)
medible. Entonces u, v, |f| :=
(1.3)
(1.4)
u2 + v2 son medibles. La prueba consiste
en escoger las funciones continuas
x, y2 , y + w, x, y, w R, con x 0
Im(z), Re(z) z C
y usar la proposicin anterior.
3. Siendo (X, M) espacio medible y u, v : X R, se tiene que u + v y u v
son funciones medibles. Basta uilizar la proposicin anterior combinada
con las funciones continuas + : R2 R y : R2 R.
1.2. LA RECTA EXTENDIDA
1.2.
La recta extendida
1.2.1.
Abiertos bsicos de la recta extendida.
Puede ser que una sucesin (an )nN de nmeros reales no sea acotada (es
decir, que sup an y/o nf an no existan).
Vamos a anexar dos nuevos elementos (que se notarn por + y ), donde [, ] denotar el conjunto R {+, }. De esta manera se define
sup an := + (si (an ) no es acotada superiormente en R) e nf an := (si
(an ) no es acotada inferiormente en R).
Se define en [, ] un orden parcial que extiende al usual en R, tenindose
que r y r + para todo r R.
Las vecindades bsicas de [, ] son de la forma (, ), [, ), (, +]

con , R .
1.2.2.
Arimtica en la recta extendida.
En [, ] se va a tener especial cuidado al definir las operaciones bsicas,

ya que no se definen las situaciones del tipo + (), las que consideraremos
como una indeterminacin. Adicionalmente, se define el producto de manera
que 0 d = d 0 = 0 para todo d [, ].
En este nuevo conjunto, se harn las definiciones de manera que extiendan las
operaciones + y usuales con las que se cuentan en R.
La siguiente tabla muestra la suma definida en [, ], con a, b R:
1.3. MS SOBRE -LGEBRAS

Suma en la recta extendida.
Indeterminado
b+a
+ Indeterminado
En la siguiente tabla, a, b R .
Producto en la recta extendida
+ 0
b < 0 + 0
+
1.3.
a > 0 +
ba
Ms sobre -lgebras
Proposicin 1.3.1. Sean M una -lgebra sobre X, Y un espacio topolgico y f :

X Y una funcin.
1. N := {E Y : f1 (E) M} es una -lgebra sobre Y.
2. Supongamos que Y := [, ]. Si para todo R, f1 ((, ]) M,
entonces f es medible.
Demostracin de 1). Tenemos que Y N puesto que f1 (Y) = X M.
Si A N, entonces f1 (A) M y por lo tanto X f1 (A) = f1 (Y A) M
y con esto concluimos que Y A N.
Por otro lado, si {Ai }iN es una familia en N, entonces f1 (Ai ) M (i N). De
1.3. MS SOBRE -LGEBRAS

esto, tenemos que
iN
f1 (Ai ) = f1 (
iN
Ai ) M, por lo tanto
iN
Ai
N.
Demostracin de 2). Veamos que f1 [, ) M y f1 (, ) M para todo
, R. No es necesario estudiar f1 (, ] puesto que pertenece a M por
hiptesis.
Sea (n )nN una sucesin tal que n < para todo n N y n . De esto
S
S
tenemos que [, ) = nN [, n ] = nN (n , +]c (donde notaremos
Ac := X A si A X).
Luego
S
f1 ([, )) = f1 ( nN (n , +]c ) =
S
1
c
nN (f (n , ]) M.
Adems tenemos que f1 (, ) M para todo , R, puesto que f1 (, ) =
f1 ([, ) (, ]) = f1 [, ) f1 (, ].
Definicin 1.3.2. Sean (an ) una sucesin en [, ] , bn := sup{ak : k n} y
cn := nf{ak : k n}. Definimos
lm sup an := nf bn y lm inf an := sup cn

Definicin 1.3.3. Sea {fn : X [, ]}nN una sucesin de funciones.
lm sup fn (x) := lm sup{fn (x)}
lm inf fn (x) := lm inf{fn (x)}
sup fn (x) := sup{fn (x)}
nf fn (x) := nf{fn (x)}
Proposicin 1.3.4. Sean (X, M) un espacio medible y {fn : X [, ]}nN

8
1.4. FUNCIONES SIMPLES.

una sucesin de funciones medibles. Entonces lm sup fn , lm inf fn , sup fn e nf fn
son tambin medibles.
Demostracin. Basta observar que
{x X : supfn (x) a, n N} =
{x X : inffn (x) < a, n N} =
nN
nN
{x X : fn (x) a}
{x X : fn (x) < a}.
lm sup fn = nfn1 supkn fk
lm infn = supn1 nfkn fk

estas igualdades aparecen al final del captulo como ejercicios.
1.4.
Funciones simples.
Definicin 1.4.1. Sean (X, M) un espacio medible y s : X R una funcin. Se

dice que s es simple si el conjunto s(X) es finito .
Observacin 1.4.2. Si s : X R es simple y s(X) := {a1 , , an }, definimos
Ai := {x X : f(x) = ai } i = 1, , n
Es decir, Ai corresponde a la imagen inversa de ai por la funcin s, para cada i.

P
Con lo que es posible escribir s = ni=1 ai Ai , recuerde que Ai es medible si
Ai es medible ( ver ejemplo leccin 1)
9
1.4. FUNCIONES SIMPLES.

Proposicin 1.4.3. Sea (X, M) un espacio medible y s : X R una funcin
simple. s es medible si y slo si Ai M, para i = 1, , n.
Demostracin. " " Si s es medible, fjemos i y escjamos i , i R tales que
ai (i , i ) y aj
/ (i , i ) para j 6= i. De esta manera, Ai = s1 (i , i ) M
(debido a que s es medible).
" " Como Ai es medible si Ai M (i = 1, , n) y dado que s =
Pn
i=1
a i Ai
tenemos que s es medible .
Proposicin 1.4.4. Sea f : X [0, ] una funcin medible. Existe {sn }nN sucesin de funciones simples,no negativas, tal que s1 s2 sn f y
sn f puntualmente en X.
Demostracin.
Consideremos los conjuntos

(n)
Ek
k
k+1
x X : n f(x) <
2
2n

, k = 0, 1 , n2n 1
(n)
y En2n = {x X : f(x) > n}.

Note que cada conjunto Enk es medible. Por lo tanto
n2
X
k
sn =
(n)
2 n Ek
k=0
n
es medible; adems la sucesin (sn )nN es creciente y sn f puntualmente.

Ms an en los conjuntos donde f es acotada tenemos convergencia uniforme,
10
1.5. DEFINICIN DE MEDIDA.

de hecho:
si E = {x X : f(x) M} entonces para n > M tenemos 0 f(x) sn <
1.5.
1
2n
Definicin de medida.
Definicin 1.5.1. Sea (X, M) un espacio medible. una funcin : M [0, ]

se denomina medida si :
1. () = 0
2. Dado {Ei }iN M disyuntos 2 a 2, (
iN
Ei ) =
P
i=1
(Ei ) (esta pro-
piedad es denominada -aditividad).

Si (X) < , decimos que la medida es finita.
S
Si existe {Ei }iN M tal que X = iN Ei y (Ei ) < para todo i N,
decimos que es -finita.
La tripleta (X, M, ) ser llamada espacio de medida.
Ejemplo 1.5.2. Consideremos el espacio medible (N, P(N)).
: P(N) [0, ]
card(A)
A 7
(1.5)
si A es finito
(1.6)
en caso contrario
Esta medida es denominada medida de cardinalidad o de conteo
11

Ejemplo 1.5.3. Dado (X, M) espacio medible, fjese y X.
: M [0, ]
1 si y A
A 7
0 en caso contrario
(1.7)
(1.8)
es una medida para (X, M).
1.5.1.
Propiedades.
1. Si Ai , , An M y son disyuntos 2 a 2, (
Sn
i=1
Ai ) =
Pn
i=1
(Ai )
(considrese Ak := para k > n).

2. Si A B (con A, B M), entonces (A) (B) y adicionalmente si
(A) < entonces (B A) = (B) (A).
En efecto, (B) = (A) + (B A). Si (A) < , (B) (A) tendra
sentido (ya que (B) podra ser sin problemas, lo que no ocurrira en
caso contrario) y por tanto tendramos (B) (A) = (B A).
3. Si {Ai }iN M es tal que Ai Ai+1 (i N), (
nN
An ) = lmn (Ai ).
En efecto, definamos E1 := A1 y En := An An1 (n 2). As, An =

Sn
S
S
i=1 En y por tanto
nN An =
nN En . De esta manera:
12
An ) = (
nN
En )
(1.9)
nN
(Ei ) (pues son disyuntos 2 a 2)
(1.10)
i=1
=
=
=
lm
n
n
X
lm (
(Ei )
(1.11)
i=1
n
[
Ei )
(1.12)
i=1
lm (Ai ) (pues
n
[
Ei = Ai )
(1.13)
i=1
4. Si {Ai }iN M es tal que Ai Ai+1 (i N) y (A1 ) < , entonces

T
( nN An ) = lmn (Ai ).
S
En efecto, tmese En := A1 An (n 1). Se tiene que nN En =

S
T
A1 nN An = A1 nN (X An ) .
S
T
En virtud de la propiedad 2., tenemos que ( nN En ) = (A1 )( nN An )
S
(pues (A1 ) < ). Por otro lado, ( nN En ) = lmn (A1 An ) =
(A1 ) lmn (An ) (pues (A1 ) < , en virtud de la propiedad 2.).
T
As, podemos concluir que lmn (An ) = ( nN An ).
Para tenerse esta propiedad, basta pedir que (Ai ) < para algn i N
(Por qu?).
Observacin 1.5.4. Sea : P(N) [0, ] la medida de cardinalidad.
T
Definiendo An := {n, n + 1, }, ntese que nN An = , pero (An ) =
por lo que lmn (An ) = .
Por qu fall aqu la propiedad 4.?
13
1.6. EJERCICIOS
1.6.
Ejercicios
1. Sean (An )nN una sucesin de conjuntos en X, muestre que:
ni=1 Ai = 1 ni=1 (1 Ai )
ni=1 Ai = ni=1 (Ai )
limsupAn = limsupAn
liminfAn = liminfAn
2. Sean (X, M) un espacio medible y {fn : X [, ]}nN una sucesin
de funciones medibles. Muestre que:
{x X : supfn (x) a, n N} =
{x X : inffn (x) < a, n N} =
nN
nN
{x X : fn (x) a}
{x X : fn (x) < a}.
.
3. Sean (An )nN una sucesin de conjuntos en X .
Tomando E0 = y En = nk=1 Ak , Fn = An En1 para cada n N.
Muestre que:
En1 En n N , Fi Fj = si i 6= j y
n=1 En = n=1 Fn = n=1 An
4. Sean (An )nN una sucesin de conjuntos en X.

Defina:
14
1.6. EJERCICIOS
limsupAn =
m=1 (n=m An ).
liminfAn =
m=1 (n=m An ).
Muestre que:
liminfAn limsupAn X.
5. Sean (An )nN una sucesin de conjuntos en X tal que Ai Ai+1 i N,
muestre que:
limsupAn =
n=1 An = liminfAn
6. Sean (An )nN una sucesin de conjuntos en X tal que Ai Ai+1 i N,
muestre que:
limsupAn =
n=1 An = liminfAn
7. Sean (X, M, ) un espacio de medida (An )nN una sucesin de conjuntos
medibles . Muestre que:
(liminfAn ) liminf(An )
limsup(An ) (limsupAn ), si (nN An ) <
8. Sean (X, M) un espacio medible y f : X [, ] una funcin entonces
muestre que:
f es medible si y slo si {x X : f(x) = } , {x X : f(x) = } M y
f =
si |f| < ,
0 si |f| = .
es medible.
15
CAPTULO 2
La medida de Lebesgue
2.1.
Medida exterior.
Definicin 2.1.1. Una medida exterior sobre un conjunto X ,no vaco, es una
funcin
: P(X) [0, ]
con las siguientes propiedades
() = 0
si A
kN
Ak entonces (A)
P
k=1
(Ak )
Decimos que un conjunto es una celda en R si tiene alguna de las siguientes

formas
(a, b)
[a, b]
16
2.1. MEDIDA EXTERIOR.

[a, b)
(a, b]
con a, b R.
Diremos adems que un conjunto es una n-celda o una celda en Rn si es de la
forma J1 J2 Jn , donde cada Ji es un celda en R.
Definamos para E Rn
(E) = inf

X

(Ik ) : Ik es una n-celda y E
Ik
kN
k=1
donde
Y

(Ik ) = ( ak1 , bk1 akn , bkn ) =
(bki aki )
1in
usamos la notacin {a, b} para indicar las diferentes posibilidades de celdas en

R.
Antes de probar que es una medida exterior en Rn hagamos las siguientes
observaciones
Si E F entonces (E) (F) , como consecuencia de las propiedades
del nfimo
como (Ik ) = (Ik ) es posible escoger en la definicin de (E) cubrimientos por n-celdas cerradas (producto de intervalos cerrados)
es posible escoger en la definicin de (E) cubrimientos por n-celdas
abiertas (producto de intervalos abiertos) ya que si {Ik }kN es un cubrimiento por n-celdas para E y dado > 0 existe {Jk }kN cubrimiento por
17

n-celdas abiertas tales que Ik Jk y (Jk ) < (Ik ) +
P
P
k=1 (Jk )
k=1 (Ik ) +

2k
y por lo tanto
Proposicin 2.1.2. es una medida exterior en Rn

Demostracin.
Restara mostrar que dada (Ek )kN una secuencia de subconjuntos de Rn
tenemos que
(
k=1 Ek )
(Ek ).
k=1
Si para algn k N (Ek ) = tenemos igualdad , pues ambos lados seran

infinito.
Supongamos entonces que (Ek ) < k N.
Dado > 0 y para cada k N escojamos (Ikm )mN una sucesin de n-celdas
tales que
Ek
m=1
Ikm
(Ikm ) (Ek ) +
m=1

2k
luego
(
k=1 Ek )
P P
k=1
k
m=1 (Im )
n=1 ( (Ek ) +

)
2k
P
n=1
(Ek ) +
Proposicin 2.1.3. Si I es una n-celda entonces (I) = (I)

Demostracin. Como {I, , , , } es un cubrimiento para I por n-celdas tenemos que (I) (I).
Veamos la otra desigualdad.
Consideremos inicialmente el caso en que I es cerrado. Dado > 0 existe un
P
cubrimiento (Ik )kN de I por n-celdas abiertas tales que

i=1 (Ik ) (I) + ,
como I es compacto existe un subcubrimiento finito de n-celdas que cubren I,
que por comodidad notaremos I1 , , Im .
18

Consideremos la extensin de los planos n 1-dimensionales que contienen las
fases de las n-celdas I, I1 , , Im si K1 , , Kp son las n-celdas cerradas en las
que se dividieron las n-celdas I1 , , Im y J1 , , Jr las n-celdas cerradas en las
P
P
P
que se dividi I tenemos: (I) = rj=1 (Jj ) pk=1 (Kk ) m
k=1 (Ik )
(I) + .
Si I no es cerrado existe J cerrado tal que J I y (I) < (J) por resultado
anterior tenemos que (I) (J) + (I) + 2.
Por la arbitrariedad del obtenemos lo deseado.
Definicin 2.1.4. Sean X un conjunto no vaco y una medida exterior en X.
E X es medible si para todo C X,
(C) = (C E) + (C E)
.
Observe que siempre se tiene:
para C, E X, (C) (C E) + (C E).
Note adems que: Si E es -medible, entonces X E es -medible.
Definicin 2.1.5. = {E P(Rn ) : E es medible}

Proposicin 2.1.6. Sean B Rn si (B) = 0 entonces B es -medible .
Demostracin. Dado E Rn veamos que
(E) (B E) + (E B)
19

Ahora como
(E) = (B) + (E) (B E) + (E B)
Puesto que 0 = (B) (B E) y (E) (E B)

Definicin 2.1.7. Sea (X, M, ) un espacio de medida decimos que es completa
si dados B M con (B) = 0
y A B entonces A M
Proposicin 2.1.8. (Rn , , ) es un espacio de medida y es una medida completa.
Demostracin. Veamos inicialmente que es una -lgebra; para esto mostremos
que:
i
ii A entonces X A
iii Si E, F entonces E F
Como E es medible entonces para cada A Rn tenemos
(A F) = (A F E) + (A F E)
Dado que F es medible tenemos
(A) = (A F) + (A F)
20

como tambin
(A(EF)) = ((A(EF))F)+ ((A(EF))F) = ((AF)E)+ (AF).
De lo anterior concluimos
(A) = (A F E) + (A (E F))
S
iv Dados A1 , A2 , ..., An entonces ni=1 Ai
T
S
Basta observar que ni=1 Ai = X ni=n (X Ai ) y por lo tanto como
T
consecuencia de los numerales 2, 3 tenemos que Rn ni=n (Rn Ai )
v Si E, F con E F = entonces (E F) = (E) + (F)
Sabemos que E, F luego
(A(EF)) = ((A(EF))F)+ ((A(EF))F) = (AE)+ (AF)
Tomando A = Rn obtenemos lo deseado.

vi Sea {Ei }iN familia disyunta en entonces
P
i=1 (Ei ).
i=1
Ei y (
i=1
Ei ) =
Para cada A Rn , E, F se tiene que

(A (E F)) = (A E) + (A F) si E F = ()
Definamos Fn =
Sn
i=1
Ei
21
2.2. MEDIDA DE LEBESGUE

Veamos que
(A) A
!
Ei
+ A
i=1
!
Ei
i=1
(A) = (A Fn ) + (A Fn ) pus Fn es -medible (2.1)

n
X
=
(A Ei ) + (A Fn ) de ()
(2.2)
i=1
n
X
(A Ei ) + A
!
Ei
(2.3)
i=1
i=1
haciendo n tenemos
S
S
P
)
(A
(A
E
(AE
)+
(A)
i
i
i=1 Ei )+ (A
i=1
i=1
S
i=1 Ei )
Con esto probamos que es una -lgebra, adems si tomamos A =
i=1
Ei
tenemos la -aditividad y con esto vemos que es una medida, la completez de

es una consecuencia directa de la proposicin anterior.
2.2.
Medida de Lebesgue
Definicin 2.2.1. El espacio (Rn , , ) es llamado espacio de medida de Lebesgue, y la medida es llamada medida de Lebesgue.
Proposicin 2.2.2. Lema Sean A, B Rn disjuntos tales que
d(A, B) = inf {ka bk : a A, b B} > 0
22

entonces (A B) = (A) + (B)
Demostracin. Demostracin
Para esto basta probar que (A B) (A) + (B); podemos suponer
adems que (A B) < .
Sea = inf {ka bk : a A, b B} > 0. Dado > 0 existe (Ik )kN una
P
sucesin de n-celdas que cubren A B tales que

k=1 (Ik ) (A B) + ,
podemos asumir que las n- celdas tienen dimetro menor que (por qu?).
Con este supuesto vemos que ninguna n-celda intersecta simultaneamente a los
P
conjuntos A y B. Luego (A) + (B)

k=1 (Ik ) (A B) +
Proposicin 2.2.3. Toda n-celda es Lebesgue medible
Demostracin. Veamos que dado A Rn tenemos (A) (AI)+ (AI).
Consideremos

1
n
Ik = x I : dis(x, R I) >
k
como (A Ik ) (A I) A y dis(A Ik , A I)
1
k
entonces por el lema
anterior tenemos
(A) ((A Ik ) (A I)) = ((A Ik )) + ((A I))()
. De otro lado sabemos que A I = (A Ik ) (A (I Ik ) Luego (A Ik )

(A I) (A Ik ) + (I Ik ).
Pasando al lmite y observando que limn (I Ik ) = 0 (por qu?).
tenemos que (A I) = limn (A Ik ).
Tomando lmite en () obtenemos lo deseado.
Usando el Teorema de Lindeloff vemos que todo abierto en Rn es unin enu23

meraable de n-celdas abiertas y por lo tanto es un conjunto Lebesgue medible,
de ah concluimos que todo conjunto cerrado es tambin Lebesgue medible y por
consiguiente todo Boreliano es Lebesgue medible; esto es, la -lgebra de Borel
es un subconjunto de la -lgebra de Lebesgue.
Ejemplo 2.2.4. Consideremos I = [0, 1] , 0 < 1 removemos de I sucesivamente una coleccin de intervalo abiertos de la siguiente forma:
removemos el intervalo central de longitud 3 ; es decir removemos I11 =
1
( 12 2,3
, 2 + 2,3
) obtenemos por lo tanto dos intervalos cerrados disjuntos,
cada uno de longitud
J11
1
3
2
a saber
= 0,
2 2,3
J12

1
=
+
,1
2 2,3
removemos los intervalos centrales , I21 , I22 , de longitud
de los intervalos
J11 , J12 respectivamente , obteniendo cuatro intervalos cerrados disjuntos.

J21 , J22 , J23 y J24
cada uno de longitud
2
1
3
9
4
procediendo de forma anloga de los intervalos cerrados disjuntos, cada

uno de longitud
1
2
3
2n
n1
3n
removemos los intervalos centrales
Ikn+1 , 1 k 2n cada uno de longitud
24
3n+1

sean
An =
n1
2[
j=1
Ijn1 , Bn
2
[
Jnk
y C =
k=1
n=1
Bn = [0, 1]
An
n=1
el conjunto C es llamado conjunto de cantor.

La longitud de los intervalos removidos de I es
X
n=0
2n
=
3n+1
Luego (C ) 6= 0 si 0 < < 1 entanto que (C ) = 0 si = 1. El

caso ms conocido de conjunto de Cantor es cuando = 1, sabemos por example que es un conjunto no enumerable, esto nos permite deducir que cualquier
subconjunto de este conjunto est en la -lgebra de Lebesgue y por lo tanto el
cardinal de de la -lgebra es por lo menos 22
= 2c , mas como la -lgebra
de Lebesgue est contenida en P(R) vemos que el cardinal de la -lgebra de
Lebesgue es 22 0 .
No es dificil intuir que la -lgebra de Borel tiene cardinal c = 20 , para esto
pensemos en la familia de intervalos con extremos racionales, la cual resulta ser
contable, la -lgebra generada por esta familia es justamente la de Borel . Consideremos uniones enumerable de intervalos de la familia con complementos de
intervalos de la familia ,este nuevo conjunto tiene cardinal c = 20 . Si nuevamente hacemos uniones enumerables de conjuntos de la nueva familia con
complementos de conjuntos de la familia obetenemos un conjunto de cardinal
c = 20 . Lo que nos permite intuir que el cardinal de la -lgebra de Borel es
c = 20 y por lo tanto est estrictamente contenida en la -lgebra de Lebesgue.
Para una prueba del cardinal de la -lgebra de Borel presentamos el siguiente
Teorema, sin prueba, que se encuentra en el libro: Real and Abstract Analysis de
25
2.3. PROPIEDADES .
Edwin Hewwit y Karl Stromberg.
Teorema 2.2.5. Sean X un conjunto y A una familia de subconjuntos de X tal que
A. Si MA es la menor -lgebra que contiene a A y el cardinal de A es e, con
e 2, entonces el cardinal de MA es menor o igual que e0
2.3.
Propiedades .
Teorema 2.3.1. Sea E Rn

E es Lebesgue medible ( > 0)(G abierto)(G E (G E) < )
Demostracin. " " Si (E) < como
(E) = nf

X

(Ik ) : Ik es una n-celda y
Ik E
kN
k=1
dado > 0 existe (Ik )kN cubrimiento de E por n-celdas abiertas tales que
(Ik ) < (E) +
k=1
Si tomamos G =
In
(G) < (E) +
.
Ahora como E es Lebesgue medible tenemos
(G) = (G E) + (G E) = (E) + (G E)
26
2.3. PROPIEDADES .
Luego
(G E) = (G) (E) <
Si (E) = +
Hagamos
E1 = {x E : kxk 1}
..
.
En = {x E : n 1 < kxk n}, n = 2, 3, ...
Para cada n N existe Gn abierto tal que Gn En (Gn En ) < n

2
S
Hagamos G = n=1 Gn
Luego G E
(G E)
(Gn En ) <
n=1
""
Dado n N; existe Gn abierto tal que .
Gn E,
hagamos G =
nN
(Gn E) <
1
n
Gn E luego
(G E) (Gn E) <
1
,
n
n N
(G E) = 0, As G E y E = (G E)c G con lo que E

Corolario 2.3.2. Si E Rn entonces
(E) = nf{ (G) : G es abierto G E}
27
2.3. PROPIEDADES .
Demostracin. si (E) = entonces cada abierto, G, que contiene a E tiene
medida infinita y por lo tanto el infimo del conjunto es infinito. si la medida de
(E) < se razona de la misma manera como en la prueba del Teorema.
Teorema 2.3.3. Sea E Rn
E es Lebesgue medible ( > 0)(F E)(F es cerrado (E F) < )
Demostracin. " " Dado > 0 Existe G abierto G Ec tal que
(G Ec ) <
con Gc E y Gc cerrado .
(E Gc ) = (E G) = (G Ec ) <
1
" " Dado n N, Existe Fn E, Fn cerrado y (E Fn ) <
n
S
Hagamos F = nN Fn
(E F) (E Fn ) <
1
n
As (E F) = 0 y por lo tanto E F y E = E F F L
Corolario 2.3.4. Si E Rn Lebesgue medible entonces

(E) = sup{ (F) : F es cerrado F E}
Demostracin. Si (E) < ,dado > 0 existe G abierto tal que Ec G y
28
2.3. PROPIEDADES .
(G Ec ) < .
Ahora Gc E, con Gc cerrado, adems (EGc ) < luego (E) (Gc ) <
, ya que (E) < y por lo tanto (Gc ) < ,de donde se sigue el resultado.
Si (E) = consideremos Dk = {x Rn : 1 kxk < k}. Entonces E =
P
kN Dk E y por lo tanto = (E) = kN (E Dk ).
Como para cada k N se tiene que (Dk E) < . Entonces para cada k N
existe Ck conjunto cerrado tal que Ck Dk E con (Ck ) (Dk E) 21k .
P
P
Ahora limn (nk=1 Ck ) = (kN Ck ) = kN (Ck ) kN [ (Dk
E)
1
]
2k
= .
Obsrvese que para cada n N nk=1 Ck es un conjunto cerrado.

Teorema 2.3.5. Sea E Rn , (E) <
E es Lebesgue medible ( > 0)( K compacto, K E (E K) < )
Demostracin. " " Hagamos En = {x E : kxk n} luego
lm (En ) = (E)
Dado > 0 existe n0 N tal que

(E) (En0 ) <
Luego (E En0 ) <
por teorema anterior, existe C cerrado C En0 tal que (En0 C) <
tanto
(E C) = (E En0 ) + (En0 C) <
29
por lo
2
2.3. PROPIEDADES .
Note que C es cerrado y acotado , por lo tanto compacto
" " Lo mismo que en el caso anterior.
Corolario 2.3.6. Si E Rn , Lebesge medible entonces
(E) = sup{ (E) : K compacto K E})
Demostracin. Si (E) < , dado > 0 existe F conjunto cerrado tal que
F E y (E F) < 2 ; como F es Lebesgue medible y con medida finita, existe
K compacto tal que K F y (F K) < 2 .
Luego (E K) < ; es decir (E) < (K) + .
Si (E) = entonces existe F cerrado tal que F E y (E F) < . Ntese
que necesariamente (F) = (por qu?)
Si consideramos DK == {x F : kxk K} vemos que (F) = limk (Dk )
y que cada Dk es compacto., Esto concluye la prueba.
El siguiente resultado nos muestra que no todo subconjunto de R es Lebesgue medible
Teorema 2.3.7. Si A Rn es Lebesgue medible y todo subconjunto de A es Lebesgue medible, entonces (A) = 0
Corolario 2.3.8. Si (E) > 0 entonces existe B E tal que B
/
Demostracin del Teorema : definamos en Rn la relacin
x y x y Qn
Se puede ver que es una relacin de equivalencia. Escojamos, usando el axioma
de eleccin, un elemento de cada clase de Rn / y denominemos por E dicha
30
2.4. EJERCICIOS
coleccin.
Dados r, s Qn tenemos
i (E + r) (E + s) = si r 6= s
ii x Rn , r Qn tal que x E + r
Hagamos At = A (E + t), t Qn , At medible At A
Sea K At (compacto) Luego
>
K + r =
r[0,1]n Qn
(K + r)
(2.4)
(K)
(2.5)
r[0,1]n Qn
r[0,1]n Qn
entonces (K) = 0.
Luego (At ) = 0 y por lo tanto (A) = 0 pues A =
2.4.
tQn
At
Ejercicios
1. Sea A Rn con (A) < . Muestre que para cada > 0 existe A R
acotado tal que A A y (A A ) <
2. Muetre que el conjunto {E Rn : (E) = 0 o (Rn E) = 0} es una lgebra.
3. Sean M Rn , h Rn y R: Si M es medible muestre que M + h , M
son medibles y que (M + h) = (M) , (M) = ||n (M)
4. Demostrar que si f : R R es monotona entonces es Lebessgue medible
31
2.4. EJERCICIOS
5. Sea f : Rn R Lebesgue medible si
muestre que
df
dx1
df
dx1
existe en cada punto de Rn
es Lebesgue medible.
6. Muestre que no existe una -lgebra con cardinal 0 (el cardinal de N )

7. Sea E [0, 1] si ([0, 1] E) = 0 muestre que E es denso en [0, 1].
8. Sea E Rn si (E) = 0 muestre que intE =
9. Sea E Rn enumerable muestre que (E) = 0
32
CAPTULO 3
La integral
3.1.
Integrales de funciones medibles.
Definicin 3.1.1. Sean (X, M, ) un espacio de medida , s : X [0, ) una

P
funcin simple medible, (s = ni=1 ai Ai , donde Ai M para i = 1, , n) y
E M. Definimos
Z
sd :=
E
n
X
ai (Ai E)
i=1
Si f : X [0, ] es medible y E M definimos

Z
Z
fd :=
E

sd .
sup
0sf,s simple
Tal supremo existe, en virtud del hecho de que existe una sucesin {sn }nN
de funciones simples sobre X, tal que 0 s1 sn f y sn f
puntualmente.
33
3.1. INTEGRALES DE FUNCIONES MEDIBLES.
3.1.1.
Propiedades.
R
R
1. Si 0 f g y E M, entonces E fd E gd
R

Demostracin. Sean A :=
sd
:
s
es
simple
no
negativa
y
s
f
y
E
R

B :=
sd : s es simple no negativa y s g . De esta manera, como
E
R
R
A B entonces sup A sup B, es decir, E fd E gd.
R
R
fd B fd.
R
R
Demostracin. Del hecho de que A sd B sd si s es simple no
2. Si A, B M, A B y 0 f,
negativa (Por qu?) se sigue el resultado.

3. Si E M y c R+ {0},
R
E
cfd = c
R
E
fd.
Demostracin. Es consecuencia de las propiedades del supremo ya que c

0
4. Si E M es tal que (E) = 0, entonces
R
E
fd = 0.
Demostracin. Si (E) = 0 y s es simple no negativa entonces
R
E
sd = 0,
luego el resultado se tiene para funciones simples no negativas y por lo

tanto para f
5. Si f 0 y E M,
R
E
fd =
R
X
fE d
Demostracin. Como AB = A B y el resultado es vlido para funciones

simples no negativas, obtenemos lo deseado.
6. Si s es simple no negativa y E M entonces (E) :=
medida para (X, M).
Demostracin.
a) () = 0 se sigue de la propiedad 4.
34
R
E
sd define una
3.1. INTEGRALES DE FUNCIONES MEDIBLES.

b) Sea {Ei }iN M disyunta 2 a 2, y considrese E :=
Z
sd =
(E) =
E
n
X
i=1
n
X
iN
Ei .
ai (Ai E)
(3.1)
"
ai
Ai
i=1
n
X
#!!
[
Ej
(3.2)
iN
ai
i=1
j=1
n
X
ai
j=1
!
(Ai Ej )
(3.3)
!
(Ai Ej )
(3.4)
i=1
(suma finita de lmites es el lmite de la suma)

(3.5)
Z
X
sd
(3.6)
=
=
j=1 Ej
(Ej ).
(3.7)
j=1
Por lo tanto, es una medida para (X, M).

7. Si s, t son simples no negativas y E M, entonces
R
R
sd
+
td.
E
E
R
E
Demostracin. Supongamos que s y t son de la forma s =

P
t= m
j=1 bj Bj , respectivamente.
(s + t)d =
Pn
i=1
a i Ai y
Al considerar Cij := Ai Bj (i = 1, , n; j = 1, , m) se forma una

R
R
particin de X. Como Cij (s + t)d = (ai + bj )(Cij ) = Cij sd +
R
S
td
y
i,j (Ai Bj E) = E, el resultado se sigue utilizando el hecho
Cij
R
R
de que s (E) := E sd y t (E) := E td definen dos medidas para
(X, M).
35
3.2. TEOREMA DE LA CONVERGENCIA MONTONA.
3.2.
Teorema de la convergencia montona.
Proposicin 3.2.1 (Teorema de la convergencia montona). Sean (X, M, ) un

espacio de medida , fn : X [0, ], n N una sucesin creciente de funciones
R
medibles tal que fn f puntualmente en X. Entonces f es medible y X fd =
R
lmn X fn d.
Demostracin. Es claro que f es medible, por ser el lmite de funciones medibles
(ver seccin 3 captulo 1).
R
R
Por otro lado, como X fn d X fd para todo n N (por ser {fn }nN una
R
R
sucesin creciente), lmn X fn d X fd.
Por otro lado, sea 0 s f simple y fijemos 0 < < 1. Definimos
En := {x X : fn (x) s(x)}.
Claramente, E1 E2 En y X =
nN
En (pues si f(x) 6= 0,
s(x) < f(x), luego existe n N tal que s(x) < fn (x) f(x)).
R
R
R
As, X fn d En fn d En sd, para cada n N.
R
R
Tomando n , tenemos que En sd X sd en virtud de la propieR
dad 3 (seccin 5 captulo 1), ya que (E) := E sd define una medida.
R
R
R
Por lo tanto, lmn X fn d X sd = X sd.
R
R
Tomando 1, tenemos que lmn X fn d X sd. Pero como esto vale
R
para toda funcin simple s f, entonces podemos decir que lmn X fn d
R
fd.
X
Luego se tiene el resultado.
Corolario 3.2.2 ((1) Lema de Fatou). Sean (X, M) un espacio de medida y fn :
R
R
X [0, ] funciones medibles (n N). Entonces X lm inf fn d lm inf X fn d.
36

Demostracin. Defnase gn := nfin fi (n N).
De esta manera tenemos que 0 g1 gn y que lmn gn (x) =
R
R
lm inf fn (x). Adicionalmente tenemos que X gn d X fi d si i n (puesto
R
R
que gn fi ), por lo que X gn d lm inf X fn d, esto para todo n N.
R
Por el teorema de la convergencia montona tenemos que X lm inf fn d =
R
R
R
lmn gn d = lmn X gn d lm inf X fn d, luego se tiene el reX
sultado.
Ejemplo 3.2.3. Definamos
fn : [0, ) [0, ]
1 si n x < n + 1
x 7
0 en caso contrario
(3.8)
(3.9)
Ntese que lmn fn (x) = 0, ya que fn (x) = 0 si n x.

R
R
R
Por otro lado, 0 = [0,) lm inf fn d = lmn [0,) gn d lm inf [0,) fn d =
1
Corolario 3.2.4 ((2)). Sean (X, M) un espacio de medida, : M [0, ] una
R P
medida y fn : X [0, ] funciones medibles (n N). Entonces X
n=1 fn d =
P R
n=1 X fn d
Demostracin. Sabemos que dado m N, existe una sucesin de funciones simm
m
m
ples {sm
n }nN tal que s1 sn fm y lmn sn (x) = fm (x) para todo
x X.

De esta mamera, la sucesin s1n + s2n nN converge puntualmente a f1 + f2 ,
de forma creciente. Por el teorema de la convergencia montona, tenemos que

R
R
R 1
R 2
1
2
)
(f
+
f
d
=
l
m
s
+
s
d
=
l
m
s
d+l
m
s d =
1
2
n
n
n
n
n
X
X n
X n
X
37

R
X
f1 d +
R
X
f2 d.
R Pn
Utilizando un argumento inductivo, podemos verificar que X
i=1 fi d =
Pn R
i=1 X fi d.
P
Tomemos gn := ni=1 fi (n N). Claramente, 0 g1 gn
P
i=1 fi .
Finalmente, nuevamente por el teorema de la convergencia montona tenemos
R
R Pn
Pn R
P R
g d =
f
d
=
l
m
f
d
=
l
m
f
d
=
l
m
que
i
n
i
n
n
n
i=1
i=1 X
n=1 X
X n
X
R
R P
lmn gn d = X
n=1 fn d.
X
Corolario 3.2.5 ((3)). Dados (X, M, ) un espacio de medida y f : X [0, +]
R
medible, entonces (E) := E fd (E M) define una medida en (X, M) y
R
R
adems X gd = E fgd (donde g : X [0, +] es medible).
Demostracin.
1. Es evidente que () =
fd = 0 (ya visto anteriormente).
2. Sea {En }nN M una coleccin cuyos elementos son disyuntos 2 a 2. De

R
S
esta manera tenemos que (E) = nN En = X fE d.
R
Puesto que (En ) = X fEn d, tenemos que
((En )) =
n=1
Z
X
n=1
(3.10)
=
Z

fEn d
!
fEn
d (por el corolario 2)
(3.11)
n=1
fE d (por ser los En disyuntos 2 a 2) (3.12)

ZX
fd
(3.13)
!
=
En
nN
38
(3.14)

De esto tenemos que es una medida para (X, M).
R
R
Por otro lado, veamos que X gd = X fgd.
R
R
Primero vemoslo para g := E . En este caso, X E d = (E) = E fd =
R
fE d.
X
R
R
De este hecho tenemos que X gd = X fgd vale si g es una funcin simple.
Siendo ahora g : X [0, ] una funcin medible, existe {sn }nN una sucesin de
funciones simples tal que 0 s1 sn g y lmn sn (x) = f(x)
para todo x X. As tenemos que
Z
gd =
Z
lm sn d
(3.15)
Z
lm
sn d (por el teorema de la convergencia montona)(3.16)
n X
Z
fsn d (el resultado vale para funciones simples) (3.17)
lm
n X
Z

(3.18)
f lm sn d (por el teorema de la convergencia montona)
n
X
Z
fgd
(3.19)
X
=
=
=
=
Corolario 3.2.6 ((4)). Si c R+ {0}, (X, M, ) es un espacio de medida y f :

R
R
X [0, ] es medible, X cfd = c X fd.
Demostracin. Este resultado se tiene como consecuencia inmediata del teorema
de la convergencia montona, pues esto vale para las funciones simples. Completar los detalles es un buen ejercicio.
Corolario 3.2.7 ((5)). Sea (X, M, ) un espacio de medida y f : X [0, ] una
funcin medible.
39

({x X : f(x) 6= 0}) = 0
R
X
fd = 0
Demostracin. Sea E := {x X : f(x) 6= 0}. Tenemos que E M puesto que

E = f1 (0, ], donde es claro que f1 (0, ] est en M por ser f medible. Luego
tiene sentido (E).
Veamos ahora la prueba de este corolario.
" ": Si (E) = 0,
Z
Z
fd =
X
fd
Z
Z
fd +
=
(3.20)
E(XE)
fd (porque la integral define una medida en (X,(3.21)

M))
XE
= 0 + 0 (pues (E) = 0 y f(x) = 0 si x X E)
(3.22)
= 0.
(3.23)
(3.24)

" ": Consideremos En := x X : f(x) > n1 (n N). De esta manera teneS
mos que E1 E2 y que E := nN En . Veamos que (En ) = 0 para cada
n N.
R
Si x En tenemos que f(x) > n1 , luego fEn n1 En . Por lo tanto 0 = X fd =
R
R
R 1
R
1
fd
=
f
d
=
En d = n1 (En ) para cada
d
E
E
n
n
n X
En
X
X n
n N. Luego (En ) = 0 para cada n N. Por la propiedad 3 de una medida

S
(seccin 5 captulo 1) tenemos que (E) = nN En = lmn (En ) = 0
Definicin 3.2.8. Sean (X, M, ) un espacio de medida decimos que una propiedad P(x) es vlida para -casi todo x X si ({x X : x no satisface P(x)}) = 0
. As por example dada f : X [0, ] una funcin medible . Diremos que f es
nula en -casi todas partes si ({x X : f(x) 6= 0}) = 0.
40
Ejemplo 3.2.9. Sea f : [0, 1] [0, ] tal que f(x) = 0 si x Q y si x I f(x) =

n donde n es el nmero de ceros que aparecen inmediatamente despus del
punto decimal.
R
Muestre que f es medible y encuentre el valor de fd. (medida de Lebesgue).
Consideremos g : [0, 1] [0, ] tal que g(0) = 0 y g(x) = n si 10(n+1)
x < 10n n = 0, 1,
Entonces f g y f = g en -casi todas partes. Luego f es medible y adems
R
R
fd = gd pero
R
P 9n
P
1
1
1
gd =
n=0 10n+1 = 9
n=0 n( 10n 10n+1 ) =
[0,1]
Corolario 3.2.10 ((6)). Sean (X, M, ) un espacio de medida y fn : X [0, ]
(n N) funciones medibles tales que f1 f2 y lmn fn (x) = f(x) en
R
R
-casi todas partes de X. Entonces lmn X fn d = X lmn fn d
Demostracin. Sea E := {x X : lmn fn (x) 6= f(x)}. Podemos decir sin problemas que f = fE + fXE . Anlogamente fn = fn E + fn XE para todo
n N.
Por hiptesis tenemos que (E) = 0 (puesto que lmn fn (x) = f(x) en -casi
todas partes en X).
41
3.3. TEOREMA DE LA CONVERGENCIA DOMINADA

De esta manera,
Z

fn d =
lm
n
=
=
=
=
=
Z

lm
fn d (pues (E) = 0)
(3.25)
n
XE

Z
fn XE d
(3.26)
lm
n
X
Z h
i
lm fn XE d (por el teorema de la convergencia montona)
(3.27)
n
X
Z h

i
lm fn XE d
(3.28)
n
X
Z

lm fn d
(3.29)
n
ZXE

lm fn d (pues (E) = 0)
(3.30)
X
3.3.
Teorema de la convergencia dominada
Definicin 3.3.1. Sea (X, m, ) un espacio de medida. Decimos que una funcin
R
f : X [, ] o f : X C es integrable si f es medible y X |f|d < .
Proposicin 3.3.2. Sean f, g funciones integrables y , C. Entonces f + g
es una funcin integrable.
Demostracin. Se sigue del hecho de que f + g es medible por ser f y g medibles, y de que |f + g| |f| + |g| (como ejercicio completar los detalles)
Definicin 3.3.3. Sean (X, M, ) un espacio de medida y f : X [, ]
42
3.3. TEOREMA DE LA CONVERGENCIA DOMINADA

medible. Definimos:
f+ (x) := max{f(x), 0}
(3.31)
f (x) := max{f(x), 0}
(3.32)
Adems si f es integrable definimos

Z
Z
+
fd :=
X
f d
f d
X
Para el caso complejo definimos

Z
Z
fd :=
Z
+
u d

Z
Z
+
v d v d
u d + i
donde f = u + iv
R
R
Proposicin 3.3.4. Sea f una funcin integrable . Entonces X fd X |f|d
Demostracin.
R

1. Supongamos que f : X [, ]. Como f = f+ f , X fd =
R +
R +
R
R
[f f ]d
f d + X f d = X |f|d
X
X
R

R
R
2. Supongamos que f : X C y que f = u+iv. As, X fd = X u+ d X u d +
R

R
i X v+ d X v d .
R
Sean z := X fd y C tales que || = 1 y z = |z| (tal escogencia
se hace de la siguiente manera: si z 6= 0, := |z|/z; si z = 0 se toma
cualquier con la condicin pedida).
Tomemos u = Re(f) y v = Im(f). De esta manera u |u| |f| = |f|.
R

R
R
Como X fd = z = X fd = X fd R, tenemos que
43
3.4. LAS INTEGRALES DE RIEMANN Y DE LEBESGUE

R
X
R
R
R
R
fd es real. As, X fd = X fd = X ud X |f|d (pues-
to que u |f|).
Teorema 3.3.5 (Teorema de la convergencia dominada). Sean fn : X C (n
N) funciones medibles tales que lmn fn (x) = f(x) para todo x X. Si existe
g integrable tal que para todo x X y todo n N se tiene que |fn (x)| g(x),
R
R
entonces f es integrable y lmn X fn d = X fd.
Demostracin. Fijo x X, se tiene que |f(x)| g(x) (ya que |fn (x)| g(x) para
R
R
todo n), y por lo tanto f es integrable (ya que X fd X |f|d).
Adems, |fn f| 2g. Usando el lema de Fatou tenemos que

R
R
R
(2g
|f
f|)d
. As,
(2g)d
=
l
m
inf[2g
|f
f|]d
m
inf
n
n
X
X
X

R
R
R
R
R
|f
f|d
.
|f
f|d
(2g)dl
m
sup
(2g)d
(2g)d+l
m
inf
n
n
X
X
X
X
X

R
R
por lo tanto lm sup X |fn f|d = 0, luego lmn X |fn f|d = 0.
R
R
R
R
Ahora X fn d X fd = X (fn f)d X |fn f| d.
Luego obtenemos lo deseado.
3.4.
Las integrales de Riemann y de Lebesgue
En esta seccin suponemos que el lector est familiarizado con la integral de

Riemann y algunas de sus propiedades.
Sea P([[a, b]) el conjunto de particiones del intervalo [a, b]. Dada una funcin
acotada f : [a, b] R definimos:
Zb
f(t)dt = supPP([a,b])
a
n
X
1=1
44
mi (ti ti1 )
Zb
f(t)dt = infPP([a,b])
a
n
X
Mi (ti ti1 )
1=1
donde mi = inf {f(t) : t [ti1 , ti ]} y Mi = sup {f(t) : t [ti1 , ti ]}

As tenemos que
Zb
(b a)inft[a,b] f(t)
Zb
f(t)dt (b a)supt[a,b] f(t)
f(t)dt
a
.
Decimos que f es integrable segn Riemann, lo que escribimos f R
si
Zb
Rb
a
f(t)dt,
Zb
f(t)dt =
y dicho valor lo denotamos por R
f(t)dt
a
Rb
a
f(t)dt Una funcin : [a, b] R es
escalonada si existe una particin P de [a, b] tal que (t) = ci , ci es constante,

en cada intervalo abierto de la particin es sabido adems que
Zb
a
Zb
a
Zb

f(t)dt = sup R (t)dt : es una funcin escalonada en [a, b] , f
a
Zb

f(t)dt = inf R (t)dt : es una funcin escalonada en [a, b] , f
a
Consideremos (X, M, ) un espacio de medida y E M tal que (E) < .
45

Dada f : E R acotada ,no necesariamente medible, definimos

sd : s S(E), s f
Z
fd = inf

sd : s S(E), s f
fd = sup
E
donde S(E) es el conjunto de funciones simples definidas en E y tomando

valores Reales
Proposicin 3.4.1. Sea E un conjunto medible de medida finita y f : E R una
funcin acotada entonces
R
E
fd =
R
E
fd si y slo si f es medible
si f es medible entonces
R
E
fd =
fd =
R
E
fd
Demostracin. Sean (sk )kN , (rk )kN sucesiones de funciones simples tales que
sk sk+1 f rk+1 rk k = 1, 2,
sk
Z
rk
fd
E
fd
E
Por qu existen dichas funciones? recurde que si s, r son funciones simples entonces max{s, k} y min{s, k} son funciones simples.
Las funciones f = supsk y f = infrk son medibles. Adems como sk f
f f rk tenemos que f y f son integrables, pus son medibles y acotadas
con (E) < , y vale
Z
sk d
f d
E
f d
E
46
rk d
E

Concluyendo que
Z
fd
E
Supongamos ahora que
f d
E
fd =
E
f d
fd.
E
fd. Entonces
E
R
E
(f f )d = 0 y como
f f 0 tenemos por resultado anterior que f f = 0 -casi todas partes.

Luego f f = 0 -casi todas partes y f es medible (por que?).
Reciprocamente supongamos que f es medible (y acotada) y sea la sucesin
(sk )kN de funciones simples , no negativas, tales que sk kfk f, con kfk =
supxE |f(x)| entonces
sk d
ya que
R
E
(kfk sk )d
(kfk f)d y por lo tanto
fd
E
|f| d kfk (E) < , ntese tambin que kfk sk S(E) y que
kfk sk f y kfk sk f por lo tanto

Z
Z
(kfksk )d
E
De manera anloga se puede ver que
R
E
(kfksk )d
fd = limk
fd lo que implica que

E
fd
R
E
fd con lo que se estara
probando que las tres integrales son iguales

Proposicin 3.4.2. Sea f : [a, b] R una funcin Riemann integrable entonces f
es medible y el valor de la integral de Riemann es igual al valor de la integral de
Lebesgue.
Demostracin. Como el conjunto de funciones escalonadas en [a, b] est conte-
47
fd
E

nido en el conjunto S([a, b]) tenemos
Zb
fd
f(t)dt
a
Z b
Zb
a
Zb
fd
fdt
a
y como f es Riemann integrable entonces las cuatro integrales son iguales y el

resultado se sigue del teorema anterior.
Una funcin f : [a, ) R es Riemann integrable ,integral impropia, si
Rk
Rk
existe la integral, R a fdt, para cada k > 0 y existe limk R a fdt .
Ejemplo 3.4.3. Puede existir la integral impropia de Riemann de una funcin y
no obstante no existir la integral de Lebesgue.
si x 6= 0 y f(0) = 1.
consideremos f : [0, ) R tal que f(x) = sent
t
Rx sent
Es sabido que lmx R o t dt existe.
R
R
Ahora el valor de las integrales 0 f+ dt y 0 f dt es , con lo que la integral
de Lebesgue de f no existe. En efecto :
Z
0
Z (2n+1)
Z (2n+1)
X
X
X
sent
1
2
f (t)dt =
dt
sentdt =
=
t
(2n
+
1)
(2n
+
1)
2n
2n
n=0
n=0
n=0
+
.
De forma anloga se muestra para la otra integral.
Definicin 3.4.4. Una funcin f : [a, b] R se dice semicontinua inferiormente
(semicontinua superiormente) si para todo x [a, b] y para todo c < f(x) (
c > f(x)) existe una vecindad Vx de x tal que, para todo y Vx se tiene que
c < f(y) (c > f(y)).
Note que el sup (inf) de una familia no vaca de funciones semicontinua
inferiormente (semicontinua superiormente) es semicontinua inferiormente (se48

micontinua superiormente)
Proposicin 3.4.5. Sea f : [a, b] R una funcin acotada.
f es Riemann integrable si y slo si f es continua en -casi todas partes.
Demostracin. Sean (sk )kN , (rk )kN sucesiones de funciones escalonadas con
sk sk+1 f rk+1 rk k = 1, 2,
tales que
Rb
Rb
Rb
Rb
R a sk (x)dx f(x)dx y R a rk dx a f(x)dx.
a
Siendo (tj1 , tj ), j = 1, 2 , nk los intervalos en los que sk (tk ) es constante ,

podemos suponer que
limk sup1jnk (tkj tkj1 ) = 0
Tambin podemos suponer que cada sk (tk ) es semicontinua inferiormente ( semicontinua superiormente) bastando para eso que en tkj sea igual al inf (sup) de
los valores en los intervalos adyacentes y del valor f(tjk ).
Tomando f = supsk y f = infrk tenemos
Zb
Z
sk (x)dx
R
a
por lo tanto
Zb
Zb
f d
[a,b]
Zb
f(x)dx =
a
rk (x)dx
f d y R
[a,b]
f d.
f d y
[a,b]
Si suponemos que f es Riemann integrable entonces
f d =
[a,b]
f d
[a,b]
como tenemos f f f se sigue que f = f = f , -casi todas partes en

[a, b] y por consiguiente f es semicontinua superiormente e inferiormente en casi todo punto de [a, b] y por lo tanto continua en -casi todo punto en [a, b].
49
3.5. EJERCICIOS
Reciprocamente. Si f es continua en x podemos suponer que sk (x) f(x) y
rk (x) f(x).
Por lo tanto si f es continua en -casi todas partes de [a, b] tenemos que f = f
-casi todas partes y por consiguiente
Z
Z
f d
f d =
[a,b]
entonces
Rb
a
3.5.
f(x)dx =
Rb
a
[a,b]
f(x)dx. y as f es Riemann integrable.
Ejercicios
1. Sean (X, M, ) un espacio de medida y fk : X [0, ], k N una

R
sucesin medibles tales que fk f en -casi todas partes y X fk d
R
R
fd con X fd < . Muestre que para todo conjunto medible A X
X
R
R
se tiene que A fk d A fd
R
R
sugerencia: B fd liminf B fk d haga B = A y B = Ac
R
sucesin decreciente de funciones medibles con X fk d < muestre
R
R
que limk X fk d = X limk fk d
R
sucesin creciente de funciones medibles tales que X fk d M k N
muestre que existe f tal que fk f en -casi todas partes , f es integrable
R
R
y que X fd = limk X fk d
4. De un ejemplo de una funcin f : [0, 1] R que es Lebesgue integrable
50
3.5. EJERCICIOS
y que no exista una funcin g integrable segun Riemann tal que f = g
-casi todas partes
5. Sean (X, M, ) un espacio de medida y f : X [0, ] una funcin mediR
ble tal que X fd < muestre que ({x X : f(x) = }) = 0
6. Sean (X, M, ) un espacio de medida y f : X [0, ] una funcin meR
dible tal que X fd < muestre que el conjunto {x X : f(x) > 0} es
-finito
7. Sean (X, M, ) un espacio de medida y f : X [0, ] una funcin mediR
ble tal que X fd < muestre que para todo > 0 existe un conjunto
R
R
E M tal que (E) < y X fd E fd +
8. Sean (X, M, ) un espacio de medida y f : X [0, ] una funcin
medible tal que f es integrable muestre que ({x X : |f(x)| })
R
1
|f| d < (desigualdad de Chebyshev)
X
9. Sean (X, M, ) un espacio de medida y f : X[a, b] R tal que la funcin
x f(x, t) es medible para cada t [a, b], suponga tambin que para
algn t0 [a, b] f(x, t0 ) = limtt0 f(x, t), x X y que existe una
R
funcin g integrable tal que |f(x, t)| g(x). Muestre que X f(x, t0 )d =
R
limtt0 X f(x, t)d
10. Sean (X, M, ) un espacio de medida y f : X [a, b] R tal que la funcin x f(x, t) es medible para cada t [a, b], suponga tambin que la
funcin t f(t, x) es continua en [a, b] y que existe una funcin g inteR
grable tal que |f(x, t)| g(x). Muestre que la funcin F(t) = X f(x, t)d
es continua
51
3.5. EJERCICIOS
Rx
11. Sean < a < b y f : [a, b] [0, ] tales que limxb R a f(t)dt <
R
Rx
muestre que f es integrable y [a,b] fd = limxb R a f(t)dt . medida de Lebesgue
52
CAPTULO 4
Medida producto
4.1.
Definicin de lgebra
Definicin 4.1.1. Sean X un conjunto no vaco y A P(X) decimos que A es

una lgebra si:
i A
ii Si E A entonces X E A
iii Si E1 , ..., En A entonces
Sn
i=1
Ei A
Una funcin : A [0, ] es una medida en A si

i () = 0
ii Si {Ei }
i=1 es una familia disyunta en A tal que
P
i=1 (Ai )
53
Ei A entonces (
i=1
Ai ) =
4.1. DEFINICIN DE LGEBRA

Definicin 4.1.2. Sean A una lgebra en X y una medida en A la funcin
: P(X) [0, ]
tal que dado B X
(B) = nf

X

(Ai ) : Ai A, i N y B
i=1
Ai
iN
es llamada medida exterior generada por .

De la misma manera como en el cpitulo 2 , medida exterior de Lebesgue,
podemos mostrar.
Proposicin 4.1.3. es una medida exterior en P(X).
Demostracin. Por la definicin es claro que () = 0, ahora por las propiedades del nfimo se tiene que si E, F X con E F entonces (E) (F).
Restara mostrar que dada (Ek )kN una secuencia de subconjuntos de X tenemos que
(
k=1 Ek )
(Ek ).
k=1
Si para algn k N (Ek ) = tenemos igualdad , pues ambos lados seran

infinito.
Supongamos entonces que (Ek ) < k N.
Dado > 0 y para cada k N escojamos (Akm )mN una sucesin en A tal que
Ek
[
m=1
Akm
(Akm ) (Ek ) +
m=1
54

2k

luego
(
k=1 Ek )
P P
k=1
m=1
(Akm )
n=1 ( (Ek )

)
2k
P
n=1
(Ek ) +
Definicin 4.1.4. A = {A P(X) : A es medible}.

Observacin 4.1.5. Dado E A entonces (E) = (E); en efecto:
por la definicin se tiene que (E) (E), ahora dado {En }nN cubrimeinto de
P
E por elementos de A tenemos que E = nN En E luego (E) nN (En
P
E) nN (En ); y por lo tanto (E) (E).
Teorema 4.1.6. (X, A, ) es un espacio de medida , es una medida completa
y A A.
Demostracin. Veamos inicialmente que A es una -lgebra; para esto mostremos que:
i A
ii si A A entonces X A A
iii Si E, F A entonces E F A
Como E es -medible entonces para cada A X tenemos
(A F) = (A F E) + (A F E)
Dado que F es -medible tenemos
(A) = (A F) + (A F)
55

como tambin
(A(EF)) = ((A(EF))F)+ ((A(EF))F) = ((AF)E)+ (AF).
De lo anterior concluimos
(A) = (A F E) + (A F E)
iv Si E, F A con E F = entonces (E F) = (E) + (F)
Sabemos que E, F A luego
(A(EF)) = ((A(EF))F)+ ((A(EF))F) = (AE)+ (AF)
Tomando A = X obtenemos lo deseado.

S
v Dados A1 , A2 , ..., An A entonces ni=1 Ai A
T
S
Basta observar que ni=1 Ai = X ni=n (X Ai ) y por lo tanto como
T
consecuencia de los numerales 2, 3 tenemos que X ni=n (X Ai ) A
vi Sea {Ei }iN familia disjunta, dos a dos, en A entonces
P
i=1 (Ei )
i=1
Ei A, (
Si A, B A entonces
(A (E F)) = (A E) + (A F) si E F = ()
.
Definamos Fn =
Sn
i=1
Ei .
56
i=1
Ei ) =

Veamos que para A X
(A) A
!
Ei
+ A
i=1
!
Ei
i=1
(A) = (A Fn ) + (A Fn ) pus Fn es -medible (4.1)

n
X
=
(A Ei ) + (A Fn ) de ()
(4.2)
i=1
n
X
(A Ei ) + A
!
Fi
(4.3)
i=1
i=1
haciendo n tenemos
S
S
P
)
(A
(A
F
(AE
)+
(A)
i
i
i=1 Ei )+ (A
i=1
i=1
S
i=1 Ei )
Mostremos ahora que A A

Dado B A veamos que B es -medible.
Sea A X y veamos que (A) (A B) + (A B)
Dado > 0 existe {Ai }iN , Ai A cubrimiento de A tal que
(Ai ) (A) +
i=1
Como A
i=1
Ai ; y A B
i=1 (Ai
B), A B
i=1 (Ai
B)
Entonces
(A B)
(Ai B), (A B)
i=1
57
(Ai B)
(A B) + (A B)
(Ai ) (A) +
i=1
La completez de se sigue directamente de las observaciones del captulo 2
Teorema 4.1.7. Si A es un lgebra y una medida -finita en A entonces la extensin, , de a A es nica

Demostracin. Sea otra extensin de a A
Inicialmnete suponemos que (X) < .
Sea B A y {Ai }iN una familia de conjuntos en A tal que B
i=n
Ai .
Luego
(B)
(Ai ) =
(Ai )
i=1
i=1
de donde (B) (B)

Ahora
(X B) + (B) = (X) = (X) <
y
(X B) + (B) = (X) = (X) <
Luego (B) = (B)
Miremos ahora el caso en que es una medida -finita; esto es, existe una familia
S
de conjuntos (Fi )iN en A tal que X =
i=1 Fi , (Fi ) < .
Podemos suponer tambin que Fi Fi+1 i N
Luego
58
4.2. ALGUNAS PROPIEDADES
(B) =
=
lm (B Fi )
(4.4)
lm (B Fi )
(4.5)
= (B)
4.2.
(4.6)
Algunas propiedades
Sean (X, M1 , ), (Y, M2 , ) espacios de medida. Definimos el rectngulo R =

A B, A M1 , B M2 y M = M1 M2 la -lgebra generada por el
conjunto de rectngulos.
Nuestro objetivo es definir una medida en M tal que (A B) = (A)(B)
con A M1 , B M2 .
Consideremos
Z=
k
[

Ri : k N, Ri es un rectngulo para cada i = 1, 2, ..., k
i=1
Note que en la definicin de Z podemos escoger los rectngulos disjuntos

dos a dos pus
dados A1 , A2 X y B1 , B2 Y tenemos que
(A1 B1 )(A2 B2 ) = [(A1 A2 )B1 ][(A1 A2 )(B1 B2 )][(A2 A1 )B2 ]
La afirmacin se sigue por un argumento inductivo.
59

Proposicin 4.2.1. Z P(X Y) es un lgebra
Demostracin. Es claro que Z adems dados R1 , , Rn Z entonces
ni=1 Ri Z .
Resta probar que dado R Z entonces X Y R Z, lo que es consecuencia
de la siguiente propiedad :
Dados A1 , A2 X y B1 , B2 Y tenemos
(A1 B1 ) (A2 B2 ) = [(A1 A2 ) (B1 B2 )] [(A1 A2 ) B1 ]
Definicin 4.2.2. Dado R = ni=1 Ai Bi con Ai Bi i = 1, , n rectngulos

disjuntos dos a dos.
P
Definimos (R) = ni=1 (Ai ).(Bi )
Proposicin 4.2.3. es una medida en Z
Demostracin. Mostremos inicialmente que si A B =
i=1 (Ai
Bi ) , con
(Ai Bi )iN familia disjunta dos dos entonces

XAB (x, y) = XA (x).XB (y) =
XAn (x)XBn (y)
n=1
Usando el Teorema de la convergencia monotona dos veces tenemos
(A)(B) =
(An )(Bn )
n=1
(A B) =
X
n=1
60
(An Bn ).
Consideremos una familia {En }nN de elementos de Z disjunta dos a dos y tal que
iN Ei Z. Como cada Ei es union finita de rectngulos, dos a dos disjunta, se
obtiene el resultado por la consideracin ya probada
Por Teorema de la seccin anterior existe una extensin de a la -lgebra
Z que continuaremos denotando por ; adems si suponemos que , son
-finitas entonces la extensin es nica. Ntese que M Z
Definicin 4.2.4. Dado E X Y definimos
Ex = {y Y : (x, y) E}
Ey = {x X : (x, y) E}
Dada f : X Y K definimos fx : Y K : y 7 f(x, y), fy : Y K : x 7
f(x, y)
Proposicin 4.2.5.
Si E M entonces Ex M2 , x X y Ey M1 , y
Y
Sea f : X Y K, K espacio Topolgico. Si f es M- medible entonces
fx es M2 medible y fy es M1 medible
Demostracin. Para mostrar la primera parte veamos que = {E M1 M2 :
(x X)(Ex M2 )} es una -lgebra y que M
61

Dado R = A B, A M1 , B M2
B si x A,
Rx =
si x
/ A.
luego R
Para ver que es una -lgebra mostremos que:
XY
Si E entonces
(Ec )x = (Ex )c pus
y (Ec )x (x, y) Ec
(4.7)
(x, y)
/E
(4.8)
y (Ex )c
(4.9)
y por lo tanto (Ec )x M2

Si E =
i=1
Ei entonces Ex =
i=1 (Ei )x
M2
Mostremos la segunda parte del enunciado si
fx : Y K : y 7 fx (y) = f(x, y)
1
y U un abierto en K entonces f1
x (U) = (f (U))x M2
Es importante mencionar que la inclusin M Z puede ser propia; pus

Z es completa en tanto que M puede no serlo.
si existe un conjunto B no medible en M1 entonces escogiendo un conjunto C
62
4.3. TEOREMA DE FUBINI

en M2 con medida nula tenemos que B C X C con (X C) = 0. Luego
B C Z , pero por el resultado anterior B C
/ M.
4.3.
Teorema de Fubini
Definicin 4.3.1. Dado X un conjunto no vaco ,un conjunto no vaco C P(X)

es una clase monotona si
Si dada (Ai )iN una familia en C y A1 A2 ... entonces
iN
Ai C
si dada (Ai )iN una familia en C y A1 A2 A3 ... entonces

T
iN Ai C
Observacin 4.3.2. Si A es una familia de conjuntos, CA =
CF
C donde F =
{C : C es clase montona C A} es la menor clase monotona conteniendo A y

ser llamada clase monotona generada por A
Lema 4.3.3. Si A es un lgebra, entonces CA = MA (-lgebra generada por A)
Demostracin. Dado que una -lgebra es una clase monotona tenemos que
CA MA , para mostrar la otra inclusin probemos que CA es una - lgebra, lo que se obtiene si conseguimos mostrar que CA es un lgebra.
Definamos
CA (E) = {F CA : F E CA , E F CA , E F CA }
Observe que:
CA (E) es una clase monotona para todo E X
63

E CA (F) F CA (E)
E A A CA (E)
CA = CA (E) para cada E A, por ser CA la menor clase monotona
conteniendo A.
CA (F) = CA , F CA
As concluimos que CA es una lgebra.
Lema 4.3.4. Sean (X, M1 , ), (Y, M2 , ) espacios de medida -finitos.
Si E M entonces las funciones
f(x) = (Ex ), g(y) = (Ey )
son M1 y M2 medibles, respectivamente, y (E) =
R
X
f(x)d =
R
Y
g(y)d
Demostracin. Supongamos inicialmente que (X Y) <

Definamos
Z
H = {E M : f(x) = Ex es M1 medible , g(y) = (E ) es M2 medible y (E) =

y
f(x)d =
X
Ahora si E = AB con A M1 y B M2 entonces f(x) = Ex = (B)A (x) y g(y) =

Ey = (A)B (y) luego E H, por lo tanto Z H.
Mostremos que H es una clase montona, con lo que probariamos que H = M.
S
Si A1 A2 A3 ... con Ai H, i N entonces iN Ai H, ya que si
hacemos fn (x) = (AnX ) tenemos que
f1 f2 ... y fn (x) ((iN Ai )x )
el resultado se sigue al aplicar el Teorema de la convergencia monotona.
64
g(
Y

Si A1 A2 A3 ... con Ai H, i N entonces tomando las mismas
funciones como en el caso anterior y usando el Teorema de la convergencia dominada tenemos que iN Ai H .
En el caso en que (X Y) = tomamos una secuencia creciente (Zk )kN
de rectngulos tal que (Zi ) < , i N y iN Zi = X Y. Aplicamos el
resultado anterior a los conjuntos EZi y usamos el Teorema de la convergencia
monotona para obtener el resultado.
Teorema 4.3.5 (Teorema de Tonelli). Sean (X, M1 , ), (Y, M2 , ) espacios de medida -finitos y F : XY [0, ] una funcin M-medible. Entonces las funciones
Z
Fy d
Fx d, g(y) =
f(x) =
son M1 y M2 medibles, respectivamente, y vale

Z
fd =
X
gd =
Y
Fd
XY
Demostracin. Vale para E , E M y por lo tanto vale para funciones simples.

Dada F no negativa M- medible, existen S1 S2 ... Sn sucesin de
funciones simples tal que Sn F .
Haciendo
fn (x) =
(Sn )x d,
Y
(Sn )y d
gn (y) =
X
tenemos que fn f, gn g (por Teorema de la convergencia monotona)

El resultado se obtiene integrando.
Teorema 4.3.6 (Teorema de Fubini). Sean (X, M1 , ), (Y, M2 , ) espacios de medida -finitos y F : X Y [, ] una funcin integrable entonces las funcio65
4.4. EJERCICIOS
nes
f(x) =
Fy d
Fx d, g(y) =
Y
son integrables y adems

Z
fd =
X
Fd =
XY
gd
Y
Demostracin. Basta aplicar el teorema de Tonelli a F+ , F .
4.4.
Ejercicios
1. Sea E BR ,-lgebra de Borel. Muestre que {(x, y) R2 : x + y E} y

{(x, y) Rn .x y E} son elementos de BR BR
2. Sean (X, M) un espacio medible , , R y E M BR . Muestre que
{(x, t) X R : (x, t + ) E} M BR
3. Sean (X, M) un espacio medible y f : X R medible . Muestre que
{(x, t) X R : f(x) = t} M BR
4. Sean f integrable en (X, M1 , ) , g integrable en (Y, M2 , ) y (x, y) =
f(x)g(y), x X , y Y. Muestre que es integrable en (X Y, M1
R
R
R
M2 , ) y XY (x, y)d = ( X f)( Y gd)
5. Sean (X, M, ) un espacio de medida , f : X [0, ] y f = {(x, t)
X [0, ] : 0 t f(x)} muestre que
f es medible si y slo si f M B[0,] , B[0,] -lgebra de Borel
Si f es medible entonces
R
X
fd = (f )
66
4.4. EJERCICIOS
6. Sean (X, M1 , ) y (Y, M2 , ) espacios de medida -finitos.Muestre que si
E, F M1 M2 (Ex ) = (Fx ), x X entonces (E) = (F)
67
CAPTULO 5
Espacios Lp
5.1.
Definicin
Definicin 5.1.1. Una funcin : (a, b) R se dice convexa si dados x, y

(a, b) y t [0, 1] (tx + (1 t)y) t(x) + (1 t)(y).
Una funcin es convexa si el grfico de , {(t, (t)) : x t y}, est por
debajo del segmento de recta comprendido entre (x, (x)) y (y, (y)).
Proposicin 5.1.2. : (a, b) R es convexa si y slo si para todo c (a, b)
c : (a, b) {c} R
x 7
(x) (c)
xc
es creciente.
Demostracin. Sea t1 < t2 y veamos que c (t1 ) < c (t2 ), si es convexa.
Hay que considerar tres casos: t1 < c < t2 , t1 < t2 < c y c < t1 < t2 .
68
(5.1)
(5.2)
5.1. DEFINICIN
Miremos el primer caso, los otros se tratan de manera anloga .
c
1
Como t2 t1 = (c t1 ) + (t2 c), tenemos que tct
+ tt22t
= 1 y que
2 t1
1

ct1
c
t2 + tt22t
t1 = c. Como es convexa,
t2 t1
1

t2 c
ct1
t2 c
ct1
1
(t
)+
(t
),
luego
+
(c)
(t2 )+
(c) tct
2
1
t
t2 t1
t t
t2 t1
t t

2 1

2 1

2 1
t2 c
c
1
(t1 ), de donde tenemos que tct
((t2 )(c))+ tt22t
((t1 )
t2 t1
2 t1
1
(c)) 0, por lo que (c t1 )((t2 ) (c)) (t2 c)((c) (t1 )), luego
(t1 )(c)
t1 c
(t2 )(c)
.
t2 c
Reciprocamente sean x, y (a, b). Sin prdida de generalidad podemos asumir

que x < y. Si t (0, 1), x < tx + (1 t)y < y. Por hiptesis tenemos que
(tx+(1t)y)(x)
tx+(1t)yx
(y)(tx+(1+t)y)
.
ytx(1t)y
(y)(tx+(1+t)y)
.
t(yx)
esto es
(tx+(1t)y)(x)
(1t)(yx)
Luego t[(tx + (1 t)y) (x)] (1 t)(y) (1 t)(tx + (1 t)y)

y por lo tanto
(tx + (1 t)y) t(x) + (1 t)(y).
Observacin 5.1.3. Si : (a, b) R es diferenciable, entonces es convexa si
slo si 0 es creciente.
Proposicin 5.1.4 (Desigualdad de Jensen). Sea (X, M, ) un espacio de medida
tal que (X) = 1 ( espacio de probabilidad). Si f : X R es medible , f(x)

R
(a, b) para todo x X, y si : (a, b) R es convexa entonces X fd
R
( f)d
X
Demostracin. Sea t :=
R
X
fd. Obsrvese que a < t < b. Siendo s, u tales que
a < s < t < u < b y puesto que es convexa, tenemos que H(s) =
(u)(t)
ut
(t)(s)
ts
= H(u) (tomando c := t). De esto tenemos que existe := sup{H(s) :

69
5.1. DEFINICIN
a < s < t} y := nf{H(s) : t < s < b}. As, (u t) (u) (t), es decir,
(u) (u t) + (t) si t u.
Anlogamente tenemos que
(s) (s t) + (t) si s t.
As,
(s) (s t) + (t) para todo s (a, b).
Haciendo s := f(x) (x X), (f(x)) (f(x) t) + (t).
Integrando sobre X, tenemos que

R
R
R
R
(f)d
[f(x)t]d+(t)
=
fd
(ya
que
[f(x)t]d =
X
X
X
X
R
0 y t := X fd).
Definicin 5.1.5. Sean (X, M, ) un espacios de medida y 1 p < definimos
R
p (X, M, ) = {f : X 7 C : fes medible y X |f|p d < }
En p (X, M, ) definimos la siguiente relacin f g f = g en -casi
todas partes de X , no es difl ver que que sta relacin es de equivalencia.
Definicin 5.1.6. Lp (X, M, ) = p (X, M, )/ . 1 < p < los elementos
de Lp (X, M, ) son clases de equivalencia , los representantes de esas clases los
notaremos simplemente por las letras f, g, h
Proposicin 5.1.7. Lp (X, M, ) 1 p < es un espacio vectorial.
Demostracin. Dados f Lp se tiene que c C cf Lp .
Si usamos que la funcin tp , 1 p < , t > 0 es convexa entonces
(x + (1 )y)p xp + (1 )yp
70
5.1. DEFINICIN
1
Si = ,
2
x+y
2
p
xp + yp
As dadas f, g Lp , f + g Lp
2
Proposicin 5.1.8. La funcin k.kp : Lp (X, M, ) [0, ) : f 7 kfkp =

R p 1/p
|f| d
1 p < . es una norma.
X
Demostracin. kfkp = 0 si y slo si f(x) = 0 en -casi todo x X, es decir f
pertenece a la clase de la funcin nula, esto es f = 0 en Lp .
Dados f Lp y C tenemos que kfkp = ||kfkp
En el caso p = 1 la desigualdad triangular es una consecuencia de la desigualdad triangular en C. Para los casos 1 < p < es necesario mostrar algunos
resultados previos
Definicin 5.1.9. Sea 1 < p < , q es el exponente conjugado de p si
1 1
+ =
p q
1
Proposicin 5.1.10 (Hlder). Sean p, q exponentes conjugados. Si f Lp (X, M, )yg
Lq (X, M, ) entonces
Z
|fg|d
f.g L (X, M, ) y
1/q
1/p Z
q
|g| d
.
|f| d
.
Z
Como ex es convexa
etx+(1t)y tex + (1 t)ey
etx e(1t)y tex + (1 t)ey

Para > 0 y > 0
t=
1
1
, 1t=
p
q
71
5.1. DEFINICIN
x = ln y = ln
1 p 1 q
+ (*) , [0, )
p
q
Si alguna de las funciones f o g es la funcin nula el resulatdo se tiene.Supongamos
Hagamos = 1/p , = 1/q luego
pus que kfkp 6= 0 y kgkq 6= 0

Usando (*) tenemos
1 |f|p
1 |g|q
|f| |g|
+
kfkp kgkq
p kfkpp q kgkqq
Integrando tenemos que
1
kfkp kgkq
Z
|fg|d 1
Z
|fg|d kfkp kgkq
X
Proposicin 5.1.11 (Desigualdad de Minkowsky). Sean f, g Lp (X, M, ) (1 <

p < ) entonces
kf + gkp kfkp + kgkp
Demostracin.
|f + g|p = |f + g||f + g|p1

|f||f + g|p1 + |g||f + g|p1
72
5.1. DEFINICIN
Usando Hlder,
Z
|f + g| d (kfkp + kgkp )
p
Z

p1 q
|f + g|
1/q
d
R
Si X |f + g|q d = 0 el resultado se tiene .
R
Si X |f + g|q d 6= 0 entonces kf + gkp kfkp + kgkp
Definicin 5.1.12. Sean (X, M, ) espacio de medida, f : X [0, ] medible. f
es esencialmente acotada si existe > 0 tal que (f1 ((, ])) = 0 (|f(x)|
en -casi todo x X).

Definicin 5.1.13. Sea = nf A donde A = : (f1 (, +])) = 0 , =
en el caso en que A = .
es denominado supremo esencial de f.
Ahora A pus
f (, +] =
n=1

1
+ ,
n
Es decir |f(x)| para -casi todo x X

Adems si |f(x)| para -casi todo x X entonces
Definicin 5.1.14. (X, M, ) = {f : X C : f es medible y |f| es esencialmente acotada}

Como en el caso anterior definimos en la siguiente relacin de equivalencia
f g si y slo si f = g en casi todas partes
73
5.1. DEFINICIN
y se define
(X, M, )/ = L (X, M, )
Proposicin 5.1.15. Dado (X, M, ) espacio de medida entonces L (X, M, ) es
un espacio vectorial, adems la funcin kfk : L (X, M, ) [0, ) donde
kfk = supremo esencial de |f| es una norma
Demostracin. Veamos la desigualdad triangular
si f, g L () entonces kf + gk kfk + kgk (Minkowski)
Existen E1 , E2 M tales que (E1 ) = (E2 ) = 0
kf(x)k = kfk , x X E1
kg(x)k = kgk , x X E2
Luego
|f(x) + g(x)| kfk + kgk , x X (E1 E2 ) y (E1 E2 ) = 0
Asi
kf + gk kfk + kgk
Definicin 5.1.16. El exponente conjugado de 1 es

Proposicin 5.1.17 (Hlder). Sea (X, M, ) si f L1 () y g L () entonces
fg L1 ().
74
5.2. COMPLETEZ DE LOS ESPACIOS LP
Z
X
|fg|d < kgk
|f|d <
X
Observacin 5.1.18. Sea (X, M, ) un espacio de medida. Si (X) < entonces

Lp () Lr (), 1 r p
Sea 1 r < p < . Si f Lp (X) entonces
Z
|f| d
r
Z
r/p
r
|f| d
.((x))1 p <
p
Si p = el resultado es inmediato.
5.2.
Completez de los espacios Lp
Proposicin 5.2.1. Si (X, M, ) es un espacio de medida entonces Lp () para

1eqpeq es espacio vectorial normado y completo.
Demostracin. Mostremos inicialmente que Lp () es completo para 1 p < .
Si (fn )nN es una sucesin de Cauchy en Lp () entonces existe (fni )iN tal que
kfni +1 fni kp <
1
para i = 1, 2, ...
2i
1
En efecto, para = , existe n1 N tal que si m n1 entonces
2
1
1
kfn1 fm kp < de igual forma vemos que para = i existe
2
2
1
ni N, ni > ni1 tal que si m ni entonces kfni fm kp < i razonando
2
por induccin se garantiza la existencia de
1
(ni )iN tal que |fni +1 fni |p < i
2
Pk
P
Sea gk = i=1 |fni +1 fni | y g =
i=1 |fni +1 fni |
75
5.2. COMPLETEZ DE LOS ESPACIOS LP

gk Lp () y kgkp eq1 ; pus usando el lema de Fatou tenemos que
R
R
iminf|gk |p deqiminf X |gk |p deq1.
X
textuego, existe E M (E) = 0 tal que g(x) < x X E.(por qu?)
Por lo tanto
fn1 +
fni +1 fni es convergente x X E.
i=1
imi fn
i
Definamos f =
0
f es medible. Note que fnk = fn1
si x
/ E,
si x E.
Pk1
+ i=1 (fni +1 fni ) y limi fni (x) = f(x)
para cada x
/E
Veamos que f Lp () y adems que fn f en Lp ()
Dado > 0 N N tal que si n, m N kfn fm kp <
En particular i, m > N, kfni fm kpp eqp .
R
R
Usando el lema de Fatou tenemos que X |f fn |p deqliminf X |fni fm |p deqp .
Luego
kf fm kp < , m N
Es decir, f fm Lp si m N
y por tanto f Lp
y adems fn f en Lp ().
Para el caso p = Si (fn )nN es una sucesin de Cauchy en L () definamos
Ek = {x X : |fk (x)| > kfk k }
Bm,n = {x X : |fm (x) fn (x)| > kfm fn k }.
76
5.3. ALGUNOS CONJUNTOS DENSOS EN LP ()

(Ek Bm,n )) existe una funcin acotada f tal que fn f
S
uniformemente y (A) = 0 donde A = k,m,n (Ek Bm,n ).
As en X (
Definamos
k,m,n
f
f=
si x X A,
si x A.
f es medible; f L () y fn f en L ()
5.3.
Algunos conjuntos densos en Lp()
Proposicin 5.3.1. Sean (X, M, ) un espacio de medida. El conjunto S = {s :

X C : s es una funcin simple y ({x : s(x) 6= 0}) < } es denso en Lp ()
1 p < .
Demostracin. Note que S Lp (), dada f Lp () ,suponemos inicialmente que
f 0, existe (j )jN tal que 0 j f, as j Lp () y por lo tanto j S.
Como |f j |p (2f)p el Teorema de la convergencia dominada garantiza que
kf j kp 0, cuando j .
En el caso real , f = f+ f , se aplica el resultado ya probado a f+ y a f .
Para el caso complejo escribimos f = Real(f) + iIm(f) y usamos el resultado
anterior
Definicin 5.3.2. Sean X espacio topolgico y f : X C una funcin. El soporte
de f ,denotado por suppf, es la adherencia del conjunto {x X : f(x) 6= 0}.
El conjunto de funciones continuas sobre X con soporte compacto ser denotado
por C0 (X)
Proposicin 5.3.3 (Teorema de extensin de Tietze). K Resn es compacto y
77

f : K Resm es una funcin continua, entonces existe f : Resn Resm tal que
f = f en K y supxResn |f(x)|
supxK |f(x)|
Demostracin. Como f = (f1 , ...., fm ), donde cada funcin fi : K Res, basta
mostrar el resultado para m = 1.
Sea U = Resn K.Para cada x U y s K tomemos
us (x) = max{2
|x s|
, 0}
dist(x, K)
Observamos que :us es continua en U, 0 us 1 y us (x) = 0 si |x s|

2dist(x, K).
Tomemos {sj }
j=1 un conjunto denso en K (por qu existe?)y definamos
(s) =
2j usj (x), para cada x U
j=1
0 < (x) 1 para cada x U. Tomando ahora para cada x U
vk (x) =
y definiendo
f(x)
=
2k usk (x)
(x)
f(x)
six K,

k=1 vk (x)f(sk )
six U
tenemos que por el criterio M-Weierstrass f es continua en U.
Mostremos que en U se tiene que limxa f(x)

= f(a) para cada A K.
Dado > 0 existe > 0 tal que |f(a) f(sk )| < para todo sk tal que |sk a| <
78

. Tomemos x U tal que |x a| < 4 . Si |a sk | entonces
|a sk | |a x| + |x sk | <
+ |x sk |,
4
luego
|x sk |
3
> 2|x a| 2dist(x, K).
4
Por lo tanto vk (x) = 0 siempre que |x a| < 4 y |a sk | . Ahora dado que

P
k=1 vk (x) = 1 tenemos que si |x a| < 4 entonces

f(a)|
|f(x)
vk (x)|f(sk ) f(a)| <
k=1
Proposicin 5.3.4 (Teorema de Lusin). Sean E Resn de medida de Lebesgue

finita y f : E Res una funcin medible . Dado > 0 existe un conjunto
compacto K E tal que (E K) y la restriccion de f a k es continua
Demostracin. como 0 = limk ({x E : |f(x)| > k}) vemos que para > 0
existen M > 0 y E E tales que (E E ) y |f| M si x E .
Lo que muestra que es suficiente probar el teorema para el caso en que f es
acotada.
Consideremos inicialmente el caso en que f 0.
Veamos que el resultado es vlido para funciones simples no negativas.
Pr
Sea =
k=1 ck Ek una funcin simple, dado > 0 para cada k existe un
compacto Fk Ek tal que (Ek Fk ) < 2 .
S
Tomemos K = rk=1 Fk . La restriccin de a K es continua (pus es constante
en cada Fk , los cuales son dos a dos disjuntos) y (E K) < .
79

Ahora para f existe una sucesin de funciones simples no negativas (j )jN
tales que j f uniformemente.Para cada j existe Kj compacto tal que Kj E
, (E kj ) 2j y ades la restriccin de j a kj es continua. Tomando K =
T
jN Kj vemos que K es compacto y (E K) , tambin como j f
uniformemente entonces f restricta a K es continua.
En el caso general f = f+ f se aplica el resultado anterior a f+ y a f
Observacin 5.3.5. Por los dos resultados anteriores es posible mostrar que: Si
f : Resn C una funcin Lebesgue-medible y A Resn Lebesgue-medible
con (A) < y f(x) = 0 x Resn A. Entonces para cada > 0
existe g C0 (Resn ) tal que ({x : f(x) 6= g(x)}) < ; adems kgk
supxResn |f(x)|
Proposicin 5.3.6. El conjunto C0 (Resn ) es denso en Lp (), 1 p < . (
medida de Lebesgue en Resn )
Demostracin. Sea S como en la proposicin anterior.Si s S y > 0 entonces
existe g C0 (Resn ) tal que g(x) = s(x) excepto en un conjunto de medida
menor que y |g| ksk (teorema de Lusin). Luego
1
kg skp 2 p ksk
y el resultado se sigue por la densidad de S
Corolario 5.3.7. Sean 1 p < y u Lp (Rn ) la funcin
: Rn Lp (Rn )
y 7 (y) = uy
80

donde uy (x) = u(x y). Es continua .
Demostracin. Dado > 0, por teorema anterior existe g C0 (Resn ) tal que
ku gkp <

.
3
Como g es uniformemente continua existe > 0 tal que
|g(x) g(y)| <

1
3(2(K)) p
si |x y| < , donde K = suppg.

Si kyk < entonces
Z
kg gy kp = (
Z
=(
|g(x) g(x y)|p d(x)) p

Resn
|g(x) g(x y)|p d(x)) p <

K(K+y)

3
Luego para |y| < tenemos
ku uy k ku gkp + kg gy kp + kgy uy kp <
Definicin 5.3.8. Sean f, g : Resn C definimos el producto de convolucin

R
f g(x) = Rn f(x y)g(y)dy, para los valores de x donde esta integral tenga
sentido.
En las condiciones de la definicin vale
1. f g = g f
81

2. f (h g) = (f h) g
3. f (g + h) = f g + f h
Proposicin 5.3.9. f, g L1 (Rn ) entonces
f g(x) < en casi todas partes y kf gk1 kfk1 .kgk1
Demostracin.
Z
|f g|dx
Resn
pus
R
Resn
|f(x y)|dx
Rn
|g(y)|dy kfk1 kgk1

Rn
|f(x y)|dy = kfk1 .
Teorema 5.3.10. Si f Lp (), p [1, ) y g L1 () entonces f g Lp , kf gkp

kfkp kgk1 ,
Demostracin.
Z

|(f g)(x)| =
f(x y)g(y)dy
n
Z R

1
1
=
g p (y)g q (y)f(x y)
Rn
Z
1/q
1
p
kgk q
|g(y)||f(x y)| dy
Rn
Z
|f g| dx kgk
p
Rn
p
q
L1
Z
|g(y)|(f(x y))p dydx
Rn
Rn
p
q
= kgk1 kgk1 kfkpp

82
(5.3)
(5.4)
(5.5)
Proposicin 5.3.11 (Teorema de Young). Sean p, q, r, [1, ) con
1
1
+
=
p
q
1
+ 1. Si f Lp (Resn ), g Lq (Resn ) entonces f g Lr (Resn ). y kf gkr
r
kfkp kgkq
Demostracin. Sin perdida de generalidad supongamos que kfkp = kgkq = 1.
Probaremos el resultado para funciones no negativas , el resultado general se
sigue de este, tomando |f| y |g|.
Usando la desigualdad de Holder para tres funciones, ver ejercicios, tenemos
Z
f g(x) =
p
r
f(y) g(x y)
q
r
f(y)1 r g(x y)1 r dy
Resn
Z
f(y)p g(x y)q dy
1r Z
f(y)
(1 pr )q 0
10 Z
q
g(x y)
dy
Resn
Resn
Resn
donde p 0 , q 0 son los exponentes conjugados de p y q respectivamente.

Note que
1
1
1
1
1
1
+ 0 + 0 = + (1 ) + (1 ) = 1
r q
p
r
q
p
Adems
(1
p 0
1 1
1
)q = p( )q 0 = p(1 )q 0 = p;
r
p r
q
(1
q 0
1 1
1
)p = q( )p 0 = q(1 )p 0 = q.
r
q r
p
Luego
Z
f g(x)
f(y) g(x y) dy
Resn
83
1r
,1,1,
0
(1 qr )p
10
p
dy
Z
r
f(y)p g(x y)q dy
(f g) (x)
Resn
esto es
(f g)r fp gq .
Por proposicin anterior tenemos
Z
Resn
(f g)r dx kfp gq k1 = kfp k1 kgq k1 = kfkpp kgkqq = 1
P
Definicin 5.3.12. = (1 , ..., n ) Nn , i N{0}, || = ni=1 i ,
||
x1 1 ...xnn
n
Decimos que C
0 (Res ) si tiene soporte compacto y existe y son continuas las funciones , Nn
Ejemplo 5.3.13.
(x) =
1
2
e 1 kxk
si kxk < 1,
en otros casos.
n
C
0 (R )
Si se define J(x) = R
1
entonces
dx
Rn
J
n
C
0 (R )
Z
y
84
Jdx = 1

Tomemos
J (x) = n J
J
x
n
C
0 (R );
para > 0
Z
J dx = 1
SuppJ = B[0, ]
Dada f Lp (Rn ), f J C
(f J ) = f J
Teorema 5.3.14. Si f Lp (Rn ) entonces f J f en Lp (Rn )
Demostracin.
|f J (x) f(x)| =
(5.6)
Z

= f(x y)J (y)dy f(x)
Z

= J (y)(f(x y) f(x))dy
Z
1/q Z
|f J f| dx K( (B[0, ]))
p
q
Rn
luego
1/p
|f(x y) f(x)| dy (5.9)
B[0,]
Z
p
Z
|f(x y) f(x)|p dydx
Rn
B[0,]
Z
|f J f| dx K( (B[0, ]))
p
(5.8)
p
(J (y)) dy
B[0,]
(5.7)
Rn
p
q
Z
kfy fkp dy
B[0,]
85
5.4. EJERCICIOS
n
p
n
Corolario 5.3.15. C
0 (R ) es denso en L (R )
Demostracin. Sea f Lp (Rn ). Dado > 0 por el teorema de la convergencia

dominada existe k N tal que

f B(0,k) f <
p
2

Luego existe un > 0 tal que J B(0,k) f B(0,k) f p < 2 , note que J B(0,k) f
tiene soporte compacto (por qu?).

Luego f J B(0,k) f p <
5.4.
Ejercicios
1. Sean (X, M, ) un espacio de medida ,1 < pk < , k = 1, , N con
Pn
1
k=1 pk
1 y fk LPk (), k = 1, , N muestre que kf1 .f2 fN k1 kf1 kp1 kf2 kp2 kfN kpN
2. Sean (X, M, ) un espacio de medida con (X) < . Muestre que si
1 p < q < entonces Lq () Lp ()
3. Sean (X, M, ) un espacio de medida ,p, q, r [1, ). Si
1
r
1
p
1
q
f Lp (), g Lq () muestre que kfgkr kfkp kgkq

4. Sean (X, M, ) un espacio de medida y 1 p < r < q < .Muestre que
Lp () Lq () Lr ()
5. Sean (X, M, ) un espacio de medida. Muestre que L () L1 () si y
slo si (X) <
6. Sean (X, M, ) un espacio de medida con (X) < . Muestre que si
f L () entonces limp kfkp = kfk
86
5.4. EJERCICIOS
7. Sean (X, M, ) un espacio de medida y f Lp (), 1 p < .Muestre
que el conjunto E = {x X : kf(x)k =
6 0} es -finito, Muestre adems que
limn (En ) = 0 donde En = {x X : kf(x)k n}
8. Suponga que X = N, M = P(N) y la medida de conteo en N.Mostrar
que
si f 0 entonces
R
X
fd =
f L1 () si y slo si
P
n=1
n=1
f(n)
|f(n)| <
9. Sean (X, M, ) un esapcio de medida y f Lp () 1 p < Muestre la

desigualdad de Markov
> 0, ({x X : |f(x)| }
kfkp
p
10. Sea f una funcin integrable en un espacio de probabilidad (X, M, )

R
R
muesre que e X fd X ef d
11. Suponga que X = N, M = P(N) y la medida de conteo en N .Muestre
que si f Lp () entonces f Ls () donde 1 p s < y adems
|fks kfkp
12. Sean (X, M, ) un espacio de medida y f, g Lp (), 1 < p < con
kfkp 6= 0 6= kgkp .Muestre que si kf + gkp = kfkp + kgkp entonces
f
kfkp
g
kgkp
13. Sean f, g : Rn R con soporte compacto . Si existe f g muestre que

supp(f g) supp(f) + supp(g)
87
CAPTULO 6
Algunos tipos de convergencia
6.1.
Definiciones
Definicin 6.1.1. Sean (X, M, ) espacio de medida,(fn )nN una sucesin de

funciones medibles y f una funcin medible
fn f cuando n :
Puntualmente. Si > 0 N(, x) tal que |fn (x) f(x)| < si n N.
En casi todas partes. Si existe E M, (E) = 0 tal que fn f(x)
puntualmente en X E.
Uniformemente. Si > 0 N() tal que x X, |fn (x) f(x)| < si
nN
En Lp (). Si > 0 N N tal que kfn fkp n N
Casi uniformemente. Si > 0 existe E M, (E) < tal que fn f
uniformemente en X E.
88
6.1. DEFINICIONES
En medida. Si > 0 , lm {x X : |fn (x) f(x)| } = 0.
n
Miremos algunos ejemplos y comentarios de comparacin.

1. Sea fn = X[n,n+1] , fn 0 puntualmente pero no uniformemente, adems
1
1
para = , {x X : |fn (x)| } = 1, n N luego fn no converge
4
4
a 0 en medida.
kfn kp = 1, por lo tanto tampoco tenemos convergencia en Lp (), 1
p
2.
X[0,n]
, p 1, fn 0 uniformemente en X pero fn no converge a 0 en
n1/p
R
Lp (), 1 p < , R |f|p d = 1 , n N
3. Si fn f en L entonces existe E M, (E) = 0 tal que |fn (x) f(x)| <

kfn fk ; x X E.
Luego fn f uniformemente en X E.
4. Convergencia uniforme implica convergencia puntual, casi uniforme y en
medida.
5. fn = X[ 1 , 1 ] converge casi uniformemente pero no uniformemente.
n n
6. Sean X = [0, 1], medida de Lebesgue consideremos

1
1
1
1 2
2
1
[0, 1], 0,
, , 1 , 0,
, ,
, , 1 , 0,
...
2
2
3
3 3
3
4
y fn = In ,
R
R
|fn |p = (In ) luego, fn 0, en Lp ().
De otro lado x [0, 1], existen (fnj (x))jN , tal que fnj (x) = 1, j N
y (fnk (x))kN , tal que fnk (x) = 0, k N. Esto nos dice que para ningn
valor de x se tiene convergencia puntual.
89
6.2. EJEMPLOS
7. De la prueba de la completez de los espacios Lp () 1 p < se vi
que si fn f en Lp () entonces existe una subsucesin (fni )iN tal que
fni f en -casi todas partes.
6.2.
Ejemplos
Proposicin 6.2.1. Sean (X, M, ) espacio de medida (fn )nN sucesin en Lp () .

Si fn f uniformemente, y (x) < , entonces fn f en Lp
Demostracin.
p
si n N.
Dado > 0, existe N N tal que |fn (x) f(x)|p <
(X)
R
Luego, X |fn f|p d < p , si n N
lo que muestra que f Lp () y que kfn fkp < , si n N.
Proposicin 6.2.2. Sean (X, M, ) espacio de medida (fn )nN sucesin en Lp Si
fn f en Lp (), 1 p < entonces fn f en medida.
En
}|
{
z
Demostracin. Dado > 0, veamos que lm {x X : |fn (x) f (x) | } = 0.
n
Dado > 0, N N tal que si n N entonces
R
X
|fn f|p d < p
Z
p
(En )
|fn f|p d < p
En
As,
(En ) <
p
Proposicin 6.2.3. Sean (X, M, ) espacio de medida y (fn )nN una sucesin de
90
6.2. EJEMPLOS
funciones medibles.
Si fn f casi uniformemente entonces fn f en medida.
Demostracin. Dado > 0 y > 0 existe E M (E ) < tal que fn f
uniformemente en X E .
Luego para n suficientemente grande el conjunto {x X : |fn (x) f(x)| }
esta contenido en E
Proposicin 6.2.4. Lema Sea (fn )nN una sucesin de funciones medibles. Si (fn )nN
es de Cauchy en medida, entonces existem (fni )iN y f funcin medible tales que
fni f en medida , en -casi todas partes y casi uniformemente.
Demostracin. (fn )nN de Cauchy en medida,

> 0,
lm {x X : |fn (x) fm (x)| } = 0
m,n
> 0, N; si n, m N ({x X : |fn (x) fm (x)| }) <

Existe (fni )iN tal que
Ei = {x X : |fni+1 fni | 1 }
2i
(Ei ) < 1
2i
Tomemos Fk =
i=k
Ei , (Fn ) <
1
2k1
91
6.2. EJEMPLOS
Note que si i j k, x
/ Fk entonces
|fni fnj | |fni fni1 | + ... + |fnj+1 fnj |
<
<
1
2i1
1
2j1
+ ... +
1
2j
(6.2)
(6.3)
(fni ) converge uniformemente en X Fk

T
Definamos F = Fk
F M, (F) = lm (Fk ) = 0
k
y
f(x) =
(6.1)
lm fni (x)
si x
/F
si x F
f es medible.
fni f casi todas partes
adems
fni f casi uniformemente
dados > 0, > 0 Tomemos k N tal que (Fk ) <
1
2k1
< mn{, }
Para i k

{x X : |fnj (x) f(x)| } (Fk ) <
fni f en medida.
92
6.2. EJEMPLOS
Proposicin 6.2.5. Sea (fn )nN sucesin de funciones medibles, (fn ) de Cauchy
en medida, entonces existe f medible tal que fn f medida. f es nicamente
determinada, excepto por un conjunto de medida nula
Demostracin. Demostracin: Sabemos que existen (fni )iN , f medibles, fni f
en medida.
Veamos que fn f en medida.
Dado > 0
A = {x X : |fn (x) f(x)| }
Bi = {x X : |fn (x) fni (x)|
}
2
Ci = {x X : |fni (x) f(x)|
}
2
Note que
A Bi Ci i N
de donde se obtiene la convergencia deseada
Supongamos que fn fyfn g en medida.

Dado > 0
E = {x X : |f(x) g(x)| }, > 0
Fn = {x X : |fn (x) g(x)|
}
2
Gn = {x X : |fn (x) f(x)|
}
2
E Fn Gn , n N lo que garantiza que f = g en -casi todas partes.
Proposicin 6.2.6. Si (fn )nN es casi uniformemente de Cauchy entonces existe f

93
6.2. EJEMPLOS
medible tal que fn f en -casi todas partes y fn f casi uniformemente
Demostracin. Dado k N, Ek M,
1
(Ek ) < k , (fn )nN converge uniformemente en X Ek .
2
S
1
Si Fk = j=k Ej luego, (Fk ) < k1
2
y F1 F2
..., (Fk ) = 0.
lm fn (x) si x X Fk ,
Sea gk (x) =
fn gk uniformemente en X Fk
0
si x Fk .
De otro lado como Fk Fm si k m, entonces gk = gm en X Fk
f(x) =
lm fn (x)
si x X Fk ,
en caso contrario.
f medible fn f en -casi todas partes .

Los resultados presentados hasta aqui pueden ser resumidos en el siguientes
grfico , donde se denota : convergencia en -casi todas partes (ctp), convergencia en medida (m), convergencia casi uniforme (cu), convergencia en Lp () (Lp ),
1 p < .
Adems cuando se estudia convergencia en Lp () se asume que la sucesin de
funciones pertenece a Lp () .
Cuando de un tipo de convergencia se sigue otro, se usa una la lnea continua.
Cuando slo es posible garantizar la existencia de una subsucesin convergente
se usa una lnea puntillada .
Sean (X, M, ) un espacio de medida y (fn )nN una sucesin de funciones

medibles
94
6.3. TEOREMA DE EGOROFF
6.3.
Teorema de Egoroff
Proposicin 6.3.1. Sean (X, M, ) un espacio de medida y (fn )nN una sucesin
en Lp ()
i Si fn f en -casi todas partes y existe g Lp () tal que |fn | < g entonces
fn f en Lp ()
ii Si fn f en medida y existe g Lp () tal que |fn (x)| g(x) -casi todas
partes entonces f Lp (), fn f en Lp ()
Demostracin.
i Como fn f -casi todas partes entonces |f| g -casi todas partes .
|fn f|p (2|g|)p luego f Lp (). Por Teorema de la convergencia
R
dominada X |fn f|p d 0 cuando n y por lo tanto kfn fkp 0
ii Supongamos que fn no converge a f en LP (). Existe > 0 (fnj )jN , kfnj
fkp > ()
fnj f en medida.
95

Existe (fnik )kN , fnik f cuando k en -casi todas partes
Usando (i) kfnik fkp 0 lo que contradice (*)
Sean (X, M, ) un espacio de medida , (fn )nN una sucesin de funciones
medibles y g una funcin en Lp (), 1 p < tal que |fn | gn N.
La siguiente grfica, con las convenciones asumidas anteriormente, ilustra los
resultados probados.
Proposicin 6.3.2 (Ergoroff). Sea (X, M, ) espacio de medida., (fn )nN funciones
medibles, (X) <
Si fn f -casi todas partes entonces fn f casi uniformemente.
Demostracin.
En (m) =
{x X : kfk (x) f(x)k
k=n
Em+1 (m) En (m)
\

En = 0
As lm (En (m)) = 0
n
96
1
}
m

Sea > 0 existe Enm (m) tal que
(Enm (m)) <
Consideremos F =
m=1
Enm (F) <
2m
fn f uniformemente en X F.
Sean (X, M, ) un espacio de medida ,con (X) < y (fn )nN una sucesin
de funciones medibles
Ejemplo 6.3.3. Sean (X, m, ) un espacio de medida , (fn )nN una sucesin de
funciones medibles y f medible. Si fn , f Lp ()(1 p < ), n N , fn f
en -casi todas partes y kfn kp kfkp entonces kfn fkp 0.
Como la funcin
xp , x > 0 1 p < es convexa
entonces

x+y
2
p
xp + y p
2
(x + y)p 2p1 (xp + yp )

luego
97

|fn f|p 2p1 (|fn |p + |f|p )
2p1 (|fn |p + |f|p ) |fn f|p 0
Z

lm inf 2p1 (|fn |p + |f|p ) |fn f|p d
X
Z
2p1 (|fn |p + |f|p ) |fn f|p d
lm inf
X
Z
2
|f| d 2
Z
|f| d lm sup
|fn f|p d
|fn f|p d 0
lm sup
X
Miremos otra solucin.

Definamos Ak = {x X :
1
< |f(x)|p < k}
k
Z
|f(x)| d
|f|p d
Ak
Dado > 0 existe k N tal que

Z
|f|p d <
XAk
Existe B Ak , (X B) <
tal que fn f uniformemente en B (Egoroff)

2k
Hagamos A = X B
Fatou
Z
|f| d lm inf
|fm |p d
Z
|f| d
|f| d lm inf
Z

|fn | d
|f| d
X
98
Z
p
6.4. EJERCICIOS
Z
|f| d
X
|f| d
|f| d lm sup
|fn |p d
+ k(Ak ) =
2
A
A

Z
Z
Z
p
p
p
p1
|fn | + |f| <
|fn f| d 2
lm sup
|f|p d
|f|p d <
|fn f|p d n 0
B
Luego kfn fkp 0
6.4.
Ejercicios
1. Muestre que el lema de Fatou continua vlido si se en lugar de convergencia en -casi todas partes se usa convergencia en medida
2. Muestre que el teorema de la convergencia dominada continua vlido si
se en lugar de convergencia en -casi todas partes se usa convergencia en
medida
3. Sean (X, M, ) un espacio de medida ,(X) < y f una funcin medible.
Si
r(f) =
|f|
d. Muestre que una sucesin de funciones medibles, (fn )nN ,
X 1+|f|
converge en medida a f si y slo si r(fn f) 0.

4. Sean (X, M, ) un espacio de medida ,(fn )nN una sucesin de funciones
medibles y f una funcin medible. Para cada > 0 y m N, si Am =
{x X : |fm (x) f(x)| }.Muestre que

fn f casi uniformemente si y slo si limn (
m=n Am ) = 0
99
6.4. EJERCICIOS

fn f en -casi todas partes si y slo si (

n=1 m=n Am ) = 0
5. Sean (X, M, ) un espacio de medida ,(fn )nN y (gn )n N sucesiones de

funciones medibles. Si fn f y gn g en medida muestre que
|fn | |f| en medida
fn gn f g en medida
si para cada n N fn (x) = gn (x) en - casi todas partes entonces
f(x) = g(x) en -casi todas partes
100
CAPTULO 7
Cargas
7.1.
Teorema de descomposicin de Hahn
Definicin 7.1.1. Sea M una algebra

en X; : M R es denominada
carga si:
1. () = 0
2. Si {Ei }
i=0 una familia disyunta en M
!
[
X
Ei =
(Ei )
i=1
i=1
Observacin 7.1.2. Note que la convergencia de la serie debe ser absoluta, de lo

contrario una reorganizacin de los conjuntos modificara el valor de la carga.
S
P
Si {Ei }ni=1 es una familia disyunta en M, entonces ( ni=1 Ei ) = ni=1 (Ei )..
Una carga puede tomar valores negativos (a diferencia de lo pedido para una
medida) , adems si A, B M, A B entonces (B A) = (B) (A).
101
7.1. TEOREMA DE DESCOMPOSICIN DE HAHN

Ejemplo 7.1.3.
Sean (X, M) espacio medible y , medidas finitas sobre
M entonces = es una carga

Sean (X, M, ) un espacio de medida y f L1 () entonces (E) =
R
E
fd
es una carga
Proposicin 7.1.4. Sean M una -lgebra en X y una carga.
Si (Ai )iN es una familia de conjuntos en M tal que A1 A2 A3 ... ,
S
entonces lm (An ) = (
n=1 An )
n
Demostracin. Hagamos E1 = A1 , En = An An1 para n > 1 luego (En )nN

S
S
es una familia disjunta en M y nN En = nN An
En
nN
(Ei )
(7.1)
i=1
=
=
lm
n
n
X
(Ei )
(7.2)
i=1
lm (An ).
(7.3)
Observacin 7.1.5. Si A1 A2 A3 ... entonces lm (An ) =

n
nN
An
Definicin 7.1.6. Sea una carga en X. Decimos que A es positivo con respecto
a si (E A) 0 E M.
Decimos que B es negativo con respecto a si (E B) 0, E M.
Decimos que C es nulo con respecto a , si (E C) = 0, E M.
Teorema 7.1.7 (Descomposicin de Hahn). Dada una carga, existen P, N M,
102

P positivo con respecto a ,N negativo con respecto a tales que P N = ;
P N = X.
Demostracin. Definamos P = {P M : P es positivo con respecto a },
P es no vaco ( P) llamemos = sup (P).
pP
Escojamos A1 A2 ... tales que (An )

S
Definamos P =
n=1 An luego
0 (E P) =
!
(An E)
n=1
Veamos que N = X P es negativo con respecto a

Supongamos que no, luego existe E X P = N, (E) > 0, ahora E
/ P caso
contrario P E es un conjunto positivo con respecto a y (P E) > (P).
1
y
Sea n1 N el menor natural tal que existe E1 E tal que (E1 )
n1
(E E1 ) > 0, Ahora E E1
/ P, por identica razn.
1
Sea n2 el menor natural. E2 E E1 , (E2 ) .
n2
Razonando de igual manera tenemos que {Ek }kN es una familia disjunta de con
S
P
1
juntos y kN Ek
k=1
nk
P 1
1
Luego k=1
converge y asi nk 0 cuando k
nk
S
Obsrvese adems que (E
i=1 Ei ) > 0
S
Veamos que E
k=1 Ek P lo que sera una contradiccin .
S
1
Si G E
k=1 Ek tal que (G) < 0 entonces nk , tal que (G) <
nk 1
contradiciendo la minimalidad de nk .
Observacin 7.1.8.
La descomposicn de Hahn no es nica.
Sea (P, N) un adescomposicn de Hahn y C M un conjunto nulo con

realcin a Entonces P C, N C es tambin una descomposicin de
103

Hahn.
Sean (P1 , N1 ), (P2 , N2 ) dos descomposiciones de Hahn para
Dado E M, (E P1 ) = (E P2 ), (E N1 ) = (E N2 ) pues
(E (P2 P1 )) = 0
(E (P1 P2 )) = 0
luego
(E P1 ) = (E P1 P2 ) = (E P2 )
La observacin anterior le da sentido a la siguiente definicin
Definicin 7.1.9. Sean X un conjunto no vaco , M una -lgebra , una carga
y (N, P) una descoposicin de Hahn definimos para cada E M
+ (E) = (E P), (E) = (E N), ||(E) = + (E) + (E)
Observacin 7.1.10.
+ , son medidas finitas adems = +
si = con y medidas finitas.
+ (E) = (E P) = (E P) (E P) (E P) (E)
luego + Anlogamente
(E) = (E N) = (E N) (E N) (E)
luego .
104
7.2. TEOREMA DE RADON-NIKODYM

Ejemplo 7.1.11. Sean (X, M, ) un espacio de medida f L1 () entonces (E) =
R
fd es una carga y
E
Z
Z
+
f d
f d, (E) =
(E) =
E
Z
||(E) =
|f|d
E
Adems
P = {x : f(x) 0}, N = {x : f(x) < 0}
es una descomposicin de Hahn.
7.2.
Teorema de Radon-Nikodym
Definicin 7.2.1. Sean (X, M, ) un espacio de medida y una medida ( o una

carga) en X. Decimos que es absolutamente continua en relacin a , ,
si para cada A M con (A) = 0 entonces (A) = 0.
Lema 7.2.2. Si y , son medidas tales que entonces
> 0, () tal que si (E) < entonces (E) <
Demostracin. Razonemos por el absurdo , esto es supongamos que existen > 0
P
, una sucesin (n )nN tal que n > 0 y
n=1 n < y (En )nN familia en M
tales que
(En ) < n y (En ) .
S
Hagamos Fn =
k=n Ek F = nN Fn
P
P
n=1 (En )
n=1 n < luego (F) = 0.
T
Adems (F) = (
n=1 Fn ) limsup(En ) .
105

absurdo
Lema 7.2.3. Sean , medidas finitas. Si y no nula, entonces existen
> 0, A M tales que (A) > 0 y A es positivo con respecto a
1
Demostracin. Sean (An , Bn ) Descomposicin de Hahn para . El resultado
n
es probado si mostramos que existe n N tal que (An ) > 0.
S
Caso contrario (An ) = 0 para todo n luego (
n=1 An ) = 0 y por lo tanto
S
(
n=1 An ) .
1
(nN Bn ) (Bn ) (Bn ) n1 (X).
n
T
As ( n=1 Bn ) = 0.
Luego 0.
Absurdo.
Teorema 7.2.4 (Radon-Nicodym). Sean , medidas -finitas tales que

entonces existe una f : X [0, ) medible tal que
Z
fd E M
(E) =
E
Cualquier otra funcin que satisfaga la condicin anterior es igual a f en -casi

d
todas partes ,f es denotada por
d
Demostracin. Supongamos , finitas.
Z
A = {g : X [0, ]; medibles
gd (E) , E M}
E
i A 6= ,pues 0 A
ii Si g A entonces g es finita en -casi todas partes
106

iii Si f, g A entonces max(f, g) A ya que si definimos A1 = {x :
f(x) g(x)} y A2 = {x : f(x) < g(x)} tenemos
max(f, g)d =
fd +
A1 E
gd
(7.4)
A2 E
(A1 E) + (A2 E) = (E)
(7.5)
iv Si (gn )nN es una sucesin en A entonces supnN gn A, para ver esto

basta usar el argumento anterior y el Teorema de la convergencia monotona

R
gd
y
(f
)
una
sucesin
en
A
tal
que
f d
n
nN
X
X n
gA
R
Definamos f = supnN fn luego f A y X fd = (X) luego f es
Sea = sup
integrable. Por lo tanto existe una funcin f finita tal que f = f -casi todas
partes.
Veamos que (E) =
R
E
R
fd E M.; esto es fd 0. Supongamos que
no es as.
Como
A tales que
fd por lema anterior existen > 0 y A
>0yA
es positiva con respecto a
(A)
Z
fd
As, dado C M
Z

(C A)
fd + (C A)
CA
107

y
Z

(C A)
fd
CA
Sumando tenemos
Z
(C)
fd + (C A)
(7.6)
(f + XA )
(7.7)
ZC
f + XA =
X
f+
d > .Absurdo.
Si suponemos ahora que , son -finitas.entonces existe {An }nN familia

S
disyunta tal que (An ) < , nN An = X, (An ) <
Por el resultado ya probado n N , fn : X [0, ) medible, tal que
R
f d = (An E).
EAn n
Si tomamos
f=
fn XAn
n=1
obtenemos lo deseado.
R
Supongamos que existe g tal que para todo E M
gd = (E) luego
E
R
(f g)d = 0 , E M , as f = g en -casi todas partes
E
Definicin 7.2.5. Dos medidas , sobre una -lgebra son singulares si existen
A, B M , X = A B y = A B tales que (A) = 0 = (B) lo que se
denotar por , .
Una carga en M se dice singular con si ||
108
7.3. TEOREMA DE REPRESENTACIN DE RIESZ

Teorema 7.2.6. Descomposicin de Lebesgue Sean , medidas -finitas sobre M
luego existen 1 , 2 medidas tales que
= 1 + 2 1 , 2
Las medidas 1 , 2 con sta propiedad son nicas

Demostracin. Definamos = + , sta resulta -finita y adems
y
por teorema de Radon-Nicodym existenf, g finitas y no negativas tales que

Z
(E) =
gd , E M
fd y (E) =
E
Sean A = {x X : f(x) = 0}, B = {x X : f(x) > 0} .

Definamos 1 (E) = (E A), 2 (E) = (E B), para cada E M. Dado que
(A) = 0 se sigue que 1 .
De otro lado si (E) = 0 entonces f = 0 en -casi todas partes luego (E B) =
0, esto es 2 (E) = 0. Para mostrar la unicidad basta observar que si es una
medida tal que y entonces = 0
7.3.
Teorema de representacin de Riesz
Definicin 7.3.1. Dada T : Lp C operador lineal, decimos que T es acotado

si existe k > 0 tal que |T (f)| kkfkp

|T (f)|
p
kT k = sup
: f L , f 6= 0
kfkp
109
f Lp . Si T es acotado definimos

Observacin 7.3.2. Si T es acotado entonces kT k = sup{|T (f)| : kfkp = 1}
Para mayores detalles sobre operadores lineales acotados ver.
Ejemplo 7.3.3. Sean 1 < p < y (X, M, ) un espacio de medida
Dada f Lp definimos
Z
Tf : L C : g 7 Tf (g) =
q
fgd
X
donde
1 1
+ =1
p q
Ahora
Z

|Tf (g)| = fgd < kfkp kgkp
as Tf es acotado y
kTf k kfkp
Consideremos h = sig(f)|f|p1 , h Lq ya que
Z
q
|h|
Z
|f|
1/q
= kfkp/q
=C<
p
Como f 6= 0 hagamos h =
1
h luego
C
1
|Tf (h)| =
C
Z
|f|p =
X
kfkpp
p/q
kfkp
= kfkp
luego, kTf k = kfkp

Ejemplo 7.3.4. Sea (X, M, ) espacio de medida con -finita.
110

Dado f L definamos
Z
Tf : L C : g 7
1
fgd
X
As
|Tf | kfk kgk1
Luego Tf es acotado y kTf k kfk
S
Sea X =
n=1 An con (An ) < (A1 A2 ...)
dado > 0, 0 < < kfk definamos E = {x : |f(x)| kfk } y
h = sig(f)E An
se puede ver que h L1 .

Ahora
Z
|f|d (kfk )(E An )
|Tf (h)| =
E An
> 0,
h L1 , , h =
h
6= 0 para n suficientemente grande
(An E )
1.
tenemos que khk
kfk .
Luego kTf k |Tf (h)|
Teorema 7.3.5 (Teorema de representacin de Riesz). Sean (X, M, ) espacio de
medida, -finita. T : Lp R (1 p < ) operador lineal acotado. Entonces
!g Lq ( p1 +
1
q
= 1) tal que
Z
fgd, f Lp , con kT k = kgk
T (f) =
X
Demostracin. Supongamos inicialmente que (X) < y dividamos la prueba

111

en las siguientes etapas
se define (E) = T (E ), E M y se muestra que es una carga con

Usando el Teorema de Radon-Nicodym existe
d
d
= g y se muestra que
g Lq
Se muestra que T (f) =
R
X
fgd ,f Lp
Finalmente se discute el caso en que es -finita.

Veamos que es una carga: () = 0, (X) = |T (1)| < .
dado {Ei }iN familia disyunta en M. Si An = nk=1 Ek entonces {An }nN converge
a E , donde E = nN En .
Por el Teorema de la convergencia dominada tenemos que
Z
|An E |p d = 0
limn
X
tambin
|T (E An )| K k E An kp
y por lo tanto
limn |T (E An )k = 0.
De la linealidad de T se sigue que (E) = T (E ) = limn T (An ) = 0.
P
P
P
Dado que An = nk=1 Ek entonces (E) = limn nk=1 T (Ek ) = limn nk=1 (Ek ) =
P
k=1 (Ek ).
Supongamos ahora que (E) = 0 entonces kE kp = 0 luego
|T (E )| K kE kp = 0
112

y por lo tanto |(E)| = 0, as . Por el teorema de Radon-Nikodym existe
g(x) =
d
d
, g es una funcin real y

Z
gd, E M
T (E ) =
E
por la linealidad de T vemos que para cada funcin simple no negativa s tenemos
que
Z
sgd
T (s) =
X
Supongamos inicialmente que 1 < p < . Tomemos {sk }kN sucesin de funciones simples tales que s1 s2 |g|p y limk sk = |g|p . Definamos
A = {x X : g(x) 0} y B = {x x : g(x) < 0}.
1
Hagamos n (x) = (A B )(sn (x)) p , x X. La sucesin {n }nN de funciones

simples medibles es tal que
Z
1
kn kp = ( sn d) p .
X
Adems
1
g(x)n (x) = |g(x)| (sn (x)) p y (sn (x)) q |g(x)|

Luego
1
g(x)n (x) (sn (x)) p + q = sn (x)

as
sn d
X
n gd T (n ).
X
113

Entonces
Z
sn d |T (n )| kT k kn kp = kT k (
X
sn d) p
X
esto es
sn d)1 p kT k
(
x
es decir
Z
sn d kT kq
X
Por el teorema de la convergencia monotona tenemos que

Z
|g|q d kT kq .
X
Lo que muestra que g Lq y kgkq kT k en el caaso que (1 < p < ).

Miremos ahora el caso P = 1 (q = ) Desamos probar que kgk kT k. Caso
contrario la funcin simple = (A B )C donde C = {x X : |g(x)| kT k}
no sera nula y
Z
|g| d > kT k (C) = kT k kk1
T () =
C
lo que es una contradiccin.

R
Mostremos que T (f) = x fgd, f LP .
Dada f Lp existe {sn }nN sucesin de funciones simples tal que lmn kf sn k =
0.
Por la continuidad de T (T es cotado) se tiene que T (f) = lmn T (sn ). Usando
114

la desigualdad de Holder tenemos que
Z
Z
Z

fgd sn gd |f sn | gd kf sn k kgk
p
q

x
Luego
limn
sn gd =
X
fgd
X
y as
Z
T (f) = limn T (sn ) = limn
fgd
sn gd =
X
para ver que kT k = kgkq usaamos los ejemplos anteriores. Veamos la unicidad.
R
Si existe otra funcin g1 tal que T (f) = X fg1 d, f Lp .
R
Como g g1 Lq entonces T(gg1 ) (f) = X (g g1 )fd = 0 f Lp .

entonce T(gg1 ) = kg g1 kq = 0.
Para finalizar mostremos el caso en que es -finita. Sea {Xn }nN una sucesin
en M tal que X1 X2 , nN Xn = X y (Xn ) < Definamos Tn (f) =
T (f)f Lp (Xn , M Xn , ) donde M Xn = {E Xn : E Xn } donde f es
tratada, en cada caso, como una funcin definida en X con f = 0 en X Xn .
Por el resultado anterior existe gn Lq (Xn , M Xn , ) tal que
Z
T (Xn f) =
fgn d
Xn
donde gn es tratado como una funcin en L(X, M, ) con gn = 0 en X Xn y

kgn kq kT k .
Dado que la sucesin {Xn }nN es creciente y cada gn es nicamnte determinado,
excepto por un conjunto de medidaa cero, podemos suponer que gn+1 (x) =
gn (x) si x Xn .
115

Definamos
g(x) = gn (x) si x Xn .
La cual satisface las condiciones deseadas.
Corolario 7.3.6. Sean (X, M, ) espacio de medida, T : Lp R (1 < p < )
operador lineal acotado. Entonces !g Lq ( p1 +
1
q
= 1) tal que
Z
fgd, f Lp , con kT k = kgk
T (f) =
X
Demostracin. Dado T : Lp R operador lineal mostraremos que existe unconjunto A con medida -finita tal que Si f Lp y f = 0 en A entonces T (f) = 0;
esto nos permite reducir el resultado al caso anterior, al considerar los espacios
de medida (A, A M, ) que son -finitos.
Sea {fn }nN una sucesin de funciones en Lp tal que
T (fn ) kT k (1
1
) con kfn kp = 1.
n
Usando la desigualdad de Markov se ve que existe A con medida -finita tal que
fn = 0 en X A , n N.
Sea E un conjunto medible , de medida finita, y disjunto con A.
kfn tE k (1 + tp (E)) p , t 0
Ahora
T (fn ) + T (tE ) |T (fn tE |
116
7.4. EJERCICIOS
Luego
1
|T (tE )| kT k {(1 + tp (E)) p (1
1
)} , n N
n
Haciendo n y dividiendo por t tenemos

1
(1 + tp (E)) p 1
|T (E )| kT k
t
Haciendo t 0+ ( regla de L Hospital) vemos que T (E ) = 0 . De ahi se sigue el
resulatdo para funciones simples y por densidad para cualquier funcin f Lp
Observacin 7.3.7. El teorema de representacin de Riesz es aplicable tambin
para un operador lineal T : Lp C para ver esto basta considerar los operadores
lineales (ReT )(f) = Re(T (f)) y (ImT )(f) = Im(T (f)) y aplicar el teorema
anterior
7.4.
Ejercicios
1. Sean M una -lgebra en X . Muestre que si es una carga en X entonces
+ (E) = sup{(F) : F E, F M}
(E) = inf{(F) : F E, F M}
2. Sea M una -lgebra en X. Defina H = { : es una carga en X} con las
operaciones definidas naturalmente y kk = ||(X). Muestre que H es un
espacio vectorial normado y completo
3. Muetre que. Un conjunto N es nulo en relacin a una carga si y slo si
117
7.4. EJERCICIOS
||(N) = 0
4. Sean 1 , 2 y cargas .Muestre que ,si 1 y 2 entonces (1 +2 )
5. Sean M una -lgebra en X y , , medidas en X. con (X), (X) < ,
y . Muestre que si f =
R
|f g|d
X
d
d
yg=
d
d
entonces k k =
6. Sean M una -lgebra en X y , medidas -finitas. Muestre que si

d
y si f = d
entonces para g funcin no negativa y medible en X se tiene
R
R
gd = X gfd
X
7. Sean M una -lgebra en X y , , medidas -finitas. Muestre que si

y entonces
d
d d
=
en casi todas partes
d
d d
8. Sean M una -lgebra en X y , 1 , 2 medidas -finitas. Muestre que si

1 y 2 entonces
d(1 +2 )
d
d1
d
2
d
en -casi todas partes
9. Sean M una -lgebra en X y , medidas -finitas. Muestre que si

y entonces
d
d
1
d
d
en -casi todas partes
10. Sean M una -lgebra en X y , medidas. Muestre que si y

entonces = 0
118

Rendon Teoria de La Medida

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Rendon Teoria de La Medida

Uploaded by

Copyright:

Available Formats

Teora de la Medida

Universidad Nacional de Colombia

1.2. La recta extendida . . . . . . . . . . . . . . . . . . . . . . . . . .

Abiertos bsicos de la recta extendida. . . . . . . . . . .

Arimtica en la recta extendida. . . . . . . . . . . . . . .

1.3. Ms sobre -lgebras . . . . . . . . . . . . . . . . . . . . . . . .

1.4. Funciones simples. . . . . . . . . . . . . . . . . . . . . . . . . . .

1.5. Definicin de medida. . . . . . . . . . . . . . . . . . . . . . . . .

2.1. Medida exterior. . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.2. Medida de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . .

3.1. Integrales de funciones medibles. . . . . . . . . . . . . . . . . .

3.2. Teorema de la convergencia montona. . . . . . . . . . . . . . .

3.3. Teorema de la convergencia dominada . . . . . . . . . . . . . .

3.4. Las integrales de Riemann y de Lebesgue . . . . . . . . . . . . .

4.1. Definicin de lgebra . . . . . . . . . . . . . . . . . . . . . . . .

4.2. Algunas propiedades . . . . . . . . . . . . . . . . . . . . . . . .

4.3. Teorema de Fubini . . . . . . . . . . . . . . . . . . . . . . . . . .

5.2. Completez de los espacios Lp . . . . . . . . . . . . . . . . . . . .

5.3. Algunos conjuntos densos en Lp () . . . . . . . . . . . . . . . .

6. Algunos tipos de convergencia

6.3. Teorema de Egoroff . . . . . . . . . . . . . . . . . . . . . . . . .

7.1. Teorema de descomposicin de Hahn . . . . . . . . . . . . . . .

7.2. Teorema de Radon-Nikodym . . . . . . . . . . . . . . . . . . . .

7.3. Teorema de representacin de Riesz . . . . . . . . . . . . . . . .

Definicin 1.1.1. Sean X 6= y M P(X). M es una -lgebra cuando :

Al par (X, M) se le denomina espacio medible. Igualmente, X es denominado

M (consecuencia de las propiedades 1. y 2.)

para k > n y de la propiedad 3.

X para k > n y de la observacin anterior.

1. Dado X 6= , P(X) es una -lgebra.

2. {R, , Q, I} P(R) es un -lgebra

Sea (X, M) un espacio medible y (Y, T ) un espacio topolgico. Decimos que

Ejemplo 1.1.6. Sean (X, M) espacio medible y A M entonces la funcin

es una funcin medible.

1. Sean (X, M) espacio medible y u, v : X R medibles. Entonces f(x) =

u2 + v2 son medibles. La prueba consiste

en escoger las funciones continuas

1.2. LA RECTA EXTENDIDA

Abiertos bsicos de la recta extendida.

Las vecindades bsicas de [, ] son de la forma (, ), [, ), (, +]

Arimtica en la recta extendida.

En [, ] se va a tener especial cuidado al definir las operaciones bsicas,

La siguiente tabla muestra la suma definida en [, ], con a, b R:

1.3. MS SOBRE -LGEBRAS

Producto en la recta extendida

Proposicin 1.3.1. Sean M una -lgebra sobre X, Y un espacio topolgico y f :

1.3. MS SOBRE -LGEBRAS

lm sup an := nf bn y lm inf an := sup cn

Proposicin 1.3.4. Sean (X, M) un espacio medible y {fn : X [, ]}nN

1.4. FUNCIONES SIMPLES.

{x X : inffn (x) < a, n N} =

{x X : fn (x) < a}.

lm sup fn = nfn1 supkn fk

lm infn = supn1 nfkn fk

Definicin 1.4.1. Sean (X, M) un espacio medible y s : X R una funcin. Se

Es decir, Ai corresponde a la imagen inversa de ai por la funcin s, para cada i.

1.4. FUNCIONES SIMPLES.

tenemos que s es medible .

y En2n = {x X : f(x) > n}.

es medible; adems la sucesin (sn )nN es creciente y sn f puntualmente.

1.5. DEFINICIN DE MEDIDA.

Definicin 1.5.1. Sea (X, M) un espacio medible. una funcin : M [0, ]

(Ei ) (esta pro-

piedad es denominada -aditividad).