C Basico de Teoria de La Medida RM

Contenido
Introduccion 1
1 Longitud y Medida 3
1.1 Longitud . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Medida Exterior . . . . . . . . . . . . . . . . . . . . . . . . 12
1.3 Conjuntos Medibles . . . . . . . . . . . . . . . . . . . . . . 13
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2 Medida: Denicion, Uso y Propiedades 23
2.1 -algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.2 Medidas y sus Propiedades . . . . . . . . . . . . . . . . . . 24
2.3 Funciones Medibles . . . . . . . . . . . . . . . . . . . . . . . 28
2.4 Integral de Lebesgue . . . . . . . . . . . . . . . . . . . . . . 35
2.5 Convergencia Monotona . . . . . . . . . . . . . . . . . . . . 38
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3 Funciones Integrables 43
3.1 Teoremas de Convergencia . . . . . . . . . . . . . . . . . . . 45
3.2 Otros Modos de Convergencia . . . . . . . . . . . . . . . . . 46
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
1
4 Descomposicion de Medidas y el Teorema de Radon-
Nikodym 55
4.1 Medidas con Signo . . . . . . . . . . . . . . . . . . . . . . . 56
4.2 El Teorema de Radon-Nikodym . . . . . . . . . . . . . . . . 58
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
5 Medidas Producto y el Teorema de Fubini 63
5.1 Espacios Producto . . . . . . . . . . . . . . . . . . . . . . . 63
5.2 Medidas Producto . . . . . . . . . . . . . . . . . . . . . . . 66
5.3 El Teorema de Fubini . . . . . . . . . . . . . . . . . . . . . 69
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
A De Abiertos, Cerrados y Aproximacion de Conjuntos Med-
ibles 73
A.1 Aproximacion por Abiertos . . . . . . . . . . . . . . . . . . 75
A.2 Aproximacion por Cerrados . . . . . . . . . . . . . . . . . . 78
A.3 Aproximacion por Compactos . . . . . . . . . . . . . . . . . 79
A.4 Aproximacion por Intervalos . . . . . . . . . . . . . . . . . . 80
Introduccion
El presente librito se preparo para servir como notas del curso Teora de
la Medida que se dicto en el IMCA como parte de la Escuela EMALCA
realizada en Lima entre el 18 y 29 de Febrero del 2008.
En el primer captulo de este libro se desarrolla la medida de Lebesgue
en la recta. La nocion de medida en general esta relacionada con la com-
paracion con algo que se tiene a bien llamar unidad. Desde hace mucho ya
sabemos medir intervalos por su longitud, que es equivalente a comparar
un intervalo dado con el intervalo unitario [0, 1]. La medida de Lebesgue es
una generalizacion de este concepto, en el sentido que nos ense na la manera
mas conveniente de aplicar esta manera de medir a subconjuntos de la
recta que no sean intervalos. Lamentablemente no todos los subconjuntos
de la recta estan en esta clase. Los conjuntos medibles seg un Lebesgue
seran la mayor clase de subconjuntos que se puedan medir conservando las
propiedades de la medida de intervalos. trata el concepto que se tiene de
medida
A partir del segundo captulo desarrollamos la nocion de medida como
un concepto mas general que puede ser aplicado en una diversidad de situa-
ciones.
Se vera en el Captulo 2 que la propiedad de ser contablemente aditiva
es el ingrediente principal en la denicion de medida y en las propiedades
de la integracion a la que estamos acostumbrados desde el Calculo. En
el Captulo 3 veremos como la nocion de medida e integracion introducen
nuevos modos de decir como una sucesion de funciones se acerca a otra.
Los teoremas desarrollados en este captulo son resultados que se usan y
aplican en probabilidad y en analisis funcional. En el Captulo 4 veremos
algunas relaciones que pueden existir entre medidas denidas en el mismo
2 introducci on
espacio. Aqu se desarrolla el importante Teorema de Radon-Nikodym
que es fundamental en Teora Ergodica y para otros resultados como el
Teorema de Representacion de Riesz. En el Captulo 5 damos un modo de
construir medidas producto en espacios producto. Aqu el modelo es RR
y el resultado principal es el que se reere a integrales iteradas en espacios
productos. Este resultado es conocido como el Teorema de Fubini.
Asumimos que el lector ya esta familiarizado con las nociones y termi-
nologa de conjuntos. Es decir, las operaciones de union (), interseccion
() y diferencia ( ) de conjuntos y con la denicion de complemento
de un conjunto (
c
). Eventualmente usaremos el smbolo
para enfatizar
que la union realizada se esta haciendo entre conjuntos dos a dos disjuntos.
En el desarrollo de este trabajo usamos las notaciones mas comunes
posibles. En mas de una ocasion sera necesario considerar los reales exten-
didos

R = R , en los cuales se dene las operaciones de suma y
multiplicacion de la siguiente forma:
a = para todo a R , =
0 = 0 , a = si a > 0.
Y el resto de las operaciones se hace de forma usual, como lo haramos si
fuesen elementos de R. No estan denidas las operaciones +.
Un hecho que simplica las cosas en los reales extendidos es que ah,
cualquier sucesion monotona es convergente, pues puede convergir a un
n umero a R, a + o a .
Finalizo agradeciendo la conanza recibida por parte del Prof. Marcelo
Viana y el Comite Cientco de UMALCA para la realizacion de este curso.
Roger Metzger Alvan
Lima, Febrero 2008
Captulo 1
Longitud y Medida
1.1 Longitud
La medida de un intervalo se denomina usualmente longitud. Esta claro lo
que sera la longitud de un intervalo acotado cualquiera, comenzamos pues
escribiendo esta denicion. La longitud de un intervalo con extremos
a, b es el n umero (I) = b a.
Con esto ya sabemos medir intervalos, y entre ellos a los intervalos
abiertos. Ahora, cual es la manera mas razonable de denir la longitud de
la union de dos intervalos abiertos disjuntos y acotados?. Es decir cual es
la longitud de G = (a, b) (c, d) donde b < c?. Naturalmente se debe tener
que (G) = b a +d c.
La denicion anterior sirve para el caso de union de dos intervalos abier-
tos disjuntos, pero como debera ser la denicion cuando se trate de abier-
tos en general?
Se puede mostrar que un conjunto abierto y acotado de R se descompone
de manera unica en una union disjunta, a lo mas numerable, de intervalos
abiertos, vea el Lema A.0.1. Por lo tanto denimos para cualquier conjunto
abierto G R, la longitud de G como
(G) =
n=1
(J
n
) , (1.1)
3
4 captulo 1. Longitud y Medida
donde G =
n=1
J
n
es la descomposicion ( unica) de G como union de una
coleccion disjunta, a lo mas numerable de intervalos abiertos.
Una observacion importante es que si G es un conjunto abierto acotado
entonces (G) < y por lo tanto la suma en (1.1) es una serie absoluta-
mente convergente.
En la siguiente proposicion tenemos la propiedad principal de esta ma-
nera de denir longitud de abiertos.
Proposicion 1.1.1 Dados dos conjuntos abiertos G
1
y G
2
acotados y dis-
juntos, se tiene que
(G
1
G
2
) = (G
1
) +(G
2
) .
Demostracion. Como los conjuntos G
1
=
n=1
I
n
y G
2
=
n=1
J
n
son aco-
tados y disjuntos, entonces si denimos K
2n
= I
n
y K
2n1
= J
n
tendremos
que K
n
n=1
es una union numerable de intervalos acotados disjuntos dos
a dos y ademas G
1
G
2
=
n=1
K
n
de modo que
(G
1
G
2
) =
n=1
(K
n
) ,
y como la suma es absolutamente convergente, podemos reordenar terminos
y obtenemos
(G
1
G
2
) =
n=1
(I
n
) +
n=1
(J
n
) ,
que es lo que queramos demostrar.
Observacion 1.1.1 Otras propiedades importantes de la longitud de un
abierto acotado son las siguientes:
1. El vaco es considerado como el intervalo abierto (a, a). Por lo tanto
la longitud del conjunto vaco es cero.
2. Si G
1
y G
2
son dos conjunto abierto y acotados, y G
1
G
2
, se tiene
(G
1
) (G
2
).
3. Si G es un conjunto abierto y acotado y x
0
R, se tiene que Gx
0
es un conjunto abierto y acotado, y (Gx
0
) = (G).
secci on 1.1. longitud 5
Para la longitud de un conjunto abierto cualquiera G(no necesariamente
acotado), escoja una sucesion de intervalos abiertos y acotados I
n
n=1
tal
que I
n
I
n+1
y

n=1
I
n
= R. Esta ultima condicion se escribe como
I
n
R o en palabras, que la sucesion I
n
crece hasta R.
Denimos entonces la longitud de G como
(G) = lim
n
(G I
n
) .
El siguiente lema nos dice que la denicion anterior no depende de la
sucesion de intervalos escogida. Y tambien que la longitud de un intervalo
abierto existe como n umero real extendido.
Lema 1.1.1 Sean G un subconjunto abierto de R y I
n
n=1
y J
n
n=1
dos
sucesiones de intervalos abiertos acotados, tales que J
n
J
n+1
, I
n
I
n+1
para todo n N, y
_
n=1
J
n
= R =
_
n=1
I
n
.
En este caso se tiene
lim
n
(G J
n
) = lim
n
(G I
n
) .
Demostracion. Como J
n
J
n+1
son conjuntos abiertos, se tiene que
(G J
n
) (G J
n+1
) para todo n N de modo que lim
n
(G J
n
)
existe como n umero real extendido y lo mismo vale para lim
n
(GI
n
).
Como para cada n N el conjunto G J
n
es abierto y acotado, existe
K N tal que GJ
n
GI
k
para todo k > K pues los conjuntos I
k
son
intervalos cada vez mas grandes (crecen hasta R).
Tenemos entonces (GJ
n
) (GI
k
) para todo k > K, por lo tanto
(G J
n
) lim
k
(G I
k
)
y como esta ultima desigualdad vale para todo n N tenemos que
lim
n
(G J
n
) lim
n=1
(G I
n
) .
De igual manera se obtiene la desigualdad contraria y el lema esta
probado.
Observacion 1.1.2 Algunas propiedades que vienen directamente del
Lema 1.1.1 y de la denicion son:
1. Si G es un conjunto abierto acotado, las dos deniciones de longitud
para abiertos que hemos visto coinciden.
2. Si G
1
G
2
son dos conjuntos abiertos entonces (G
1
) (G
2
).
3. Un intervalo no acotado G puede tener medida innita ((G) = ),
como en el caso en que G = (0, ); o puede tener medida nita
((G) < ), como en el caso en que G =
n=1
(n
1
2n
2
, n +
1
2n
2
) que
tiene longitud (G) =
n=1
1
n
2
< .
4. Si G es un conjunto abierto de R y x
0
R entonces (Gx
0
) = (G).
Lema 1.1.2 Si el conjunto G R es abierto e I es un intervalo abierto y
acotado, tenemos que:
(G I) (G) +(I) .
Demostracion. Denotemos I = (a, b), con a, b R y a < b. Supon-
gamos primero que G es abierto y acotado. En ese caso tenemos que
G =
n=1
(a
n
, b
n
), con a
n
, b
n
R y a
n
< b
n
para todo n N.
Ahora bien, si G I = , entonces G I =
n=1
(a
n
, b
n
) I, de modo
que por la denicion de longitud se tiene
(G I) =
n=1
(b
n
a
n
) +b a = (G) +(I),
y en este caso el lema esta probado.
Si G I o I G, es obvio que (G I) (G) + (I). Por lo tanto
solo queda hacer la demostracion para el caso en que G I ,= I , G, y
G , I.
Supongamos entonces que existe n
0
N tal que (a
n
0
, b
n
0
) I ,= ,
I , (a
n
0
, b
n
0
).
Hay tres casos posibles:
(i) a
n
0
a < b
n
0
< b.
(ii) a < a
n
0
< b
n
0
b.
(iii) a < a
n
0
< b b
n
0
.
Demostraremos solamente el primer caso, pues los demas son similares
y se deja como ejercicio al lector.
Considere B = n N : (a
n
, b
n
) I ,= , n ,= n
0
. Entonces para
cada n B se tiene que b
n
0
a
n
en cualquier otro caso se tendra que
(a
n
, b
n
) (a
n
0
, b
n
0
) ,= .
Luego, si B = , entonces
G I =
_

n = 1
n = n
0
(a
n
, b
n
)
_
(a
n
0
, b),
que es una union a lo sumo numerable de conjuntos dos a dos disjuntos.
Luego, por denicion se tiene que:
(G I) =
n = 1
n = n
0
(b
n
a
n
) +b a
n
0

n = 1
n = n
0
(b
n
a
n
) + (b a) + (b
n
0
a
n
0
)
n=1
(b
n
a
n
) + (b a) = (G) +(I).
Si B ,= , haga c = sup[b
n
: n B b]. Ahora, si denotamos
B
1
= B n
0
, se tiene:
G I =
_

_
n = 1
n B
1
(a
n
, b
n
)
_
(a
n
0
, c),
que tambien es una union disjunta y a lo mas numerable de intervalos
abiertos, y por lo tanto:
(G I) =
n = 1
n = n
0
(b
n
a
n
) +c a
n
0
,
y similarmente al proceso anterior es facil ver que
(G I) (G) +(I) .
Finalmente para el caso en que G sea un abierto no acotado sea J
n
n=1
una sucesion de intervalos abiertos y acotados que crece a R. Luego
(G I) J
n
) = ((G J
n
) (I J
n
)) ((G J
n
)) +((I J
n
))
pues GJ
n
es un conjunto abierto y acotado y cae en el caso ya desarrollado,
puesto que I J
n
tambien es un intervalo abierto y acotado. El lema queda
demostrado tomando lmites y usando la denicion de longitud de conjuntos
abiertos en este caso.
Corolario 1.1.1 Sean n N y I
k
n
k=1
una familia nita de intervalos
abiertos y acotados. Entonces
_
n
_
k=1
I
k
_
k=1
(I
k
) .
El resultado del lema anterior puede ser generalizado para una union
cualquiera de conjuntos abiertos.
Teorema 1.1.1 Sean G
n
n=1
una sucesion de conjuntos abiertos de R.
Entonces
_

_
n=1
G
n
_
n=1
(G
n
) .
Demostracion. Sin perdida de generalidad podemos suponer que todos
los G
n
son no vacos. Haga G =
n=1
G
n
y supongamos que G sea acotado.
Para el caso de G no acotado se concluye como en el teorema anterior.
Entonces tenemos que G es abierto y acotado y por lo tanto G =
n=1
J
n
donde J
n
n=1
es una sucesion de intervalos disjuntos abiertos
y acotados. Similarmente para cada n, G
n
=
n=1
I
n
r
, con los I
n
r
interva-
los abiertos disjuntos y acotados.
Tome > 0. Como (G) < sigue que

n=1
(J
n
) < y por lo
tanto, existe un N N tal que
n=N+1
(J
n
) < /2 . (1.2)
Para cada J
n
tome K
n
un intervalo cerrado (esto hace que

K
n
sea com-
pacto) tal que (J
n
) < (K
n
)

2N
y si juntamos esta relacion a (1.2)
tenemos
(G) <
N
n=1
(J
n
) +

2
<
N
n=1
(K
n
) + . (1.3)
Como los I
n
r
son abiertos y cubren

N
n=1
K
n
que es compacto, existe
un conjunto nito I
n
1
r
1
, . . . , I
n
s
r
s
que lo sigue cubriendo y por lo tanto
tambien a

N
n=1
K
n
, es decir
N
_
n=1
K
n

N
_
n=1
K
n
I
n
1
r
1
I
n
s
r
s
. (1.4)
Tenemos entonces que
N
n=1
(K
n
) (I
n
1
r
1
I
n
s
r
s
)
s
j=1
(I
n
j
r
j
), (1.5)
donde la ultima desigualdad se obtiene por el corolario del teorema anterior.
De ah

N
n=1
(K
n
)
n=1
(G
n
) que junto con (1.3) nos da
(G) <
N
n=1
(K
n
) +
n=1
(G
n
) + . (1.6)
Como esta ecuacion vale para todo > 0 el teorema esta probado.
Teorema 1.1.2 Sean G
1
y G
2
dos subconjuntos abiertos de R. En este
caso
(G
1
) +(G
2
) = (G
1
G
2
) +(G
1
G
2
) . (1.7)
Demostracion. Como primer paso haremos la demostracion del teorema
en el caso en que G
1
es un intervalo acotado y G
2
es acotado y union de
un n umero nito de intervalos (abiertos acotados y disjuntos).
Estamos armando entonces que si G
1
= (a, b) y G
2
=
n
i=1
I
i
entonces
(1.7) vale para cualquier coleccion nita de intervalos I
i
n
i=1
disjuntos dos
a dos.
Demostraremos esta armacion por induccion en n. Para n = 1, es
decir si G
1
= (a, b) y G
2
= (c, d), el resultado es obvio. Suponga que la
armacion vale para n, mostraremos ahora que vale para n + 1.
Se tiene entonces que G
2
=
n+1
i=1
I
i
y hacemos I = (a, b) = G
1
.
Si I G
2
= entonces, de la denicion de longitud, se tiene
(I G
2
) = (I) +
n+1
i=1
I
i
= (I) +(G
2
)
Si I G
2
,= , escribimos primero G
2
= I
1
G
2
, donde G
2
=
n+1
i=2
, de
modo que
(I) +(G
2
) +(I
1
) = (I) +(G
2
) . (1.8)
Sin perdida de generalidad se puede suponer que I intersecta a I
1
. (De
no ser as se re-enumeran los I
i
de modo que I
1
sea un intervalo tal que
I I
j
,= .)
Si I I
1
,= se tiene que I I
1
es un intervalo abierto y acotado, y por
la hipotesis de induccion
(I) +(G
2
) +(I
1
) = (I I
1
) +(I I
1
) +(G
2
)
= (I I
1
G
2
) +((I I
1
) G
2
) +(I I
1
)
= (I G
2
) +(I G
2
) +(I I
1
) (1.9)
Pero como G
2
I =
n+1
i=1
(I I
i
), los ultimos dos sumandos de la ecuacion
(1.9) nos dan (G
2
I), de modo que obtenemos
(I) +(G
2
) = (I) +(G
2
) +(I
1
) = (I G
2
) +(G
2
I)
con lo que hemos demostrado el teorema en el caso en que G
1
= I y
G
2
=
n
i=1
I
i
para cualquier n N.
De aqu es facil ver que el teorema tambien vale en el caso en que
G
1
=
n
1
j=1
J
j
y G
2
=
n
2
i=1
I
i
para cualesquiera n
1
, n
2
N.
Mostremos ahora que el teorema vale para G
1
=

j=1
J
j
, y G
2
=
i=1
I
i
, conjuntos abiertos arbitrarios pero acotados.
Para cada > 0 existe N N tal que
j=N+1
(J
j
) <

2
, y
i=N+1
(I
i
) <

2
.
Dena

G
1
=

N
j=1
J
j
,

G
1
=

j=N+1
J
j
, y de la misma manera

G
2
=
N
i=1
I
i
,

G
2
=
i=N+1
I
i
. Entonces para i = 1, 2 se tiene
(G
i
) = (

G
i
) +(

G
i
), y (

G
i
) < /2.
De la primera parte tenemos que
(

G
1
) +(

G
2
) = (

G
1

G
2
) +(

G
1

G
2
)
y como

G
1

G
2
G
1
G
2
y

G
1

G
2
G
1
G
2
la igualdad anterior se
convierte en
(G
1
) +(G
2
) (G
1
G
2
) +(G
1
G
2
). (1.10)
Por otro lado se cumple que
(G
1
) +(G
2
) = (

G
1
) +(

G
2
) +(

G
1
) +(

G
2
) < 2
para todo > 0, que junto con (1.10) nos da
(G
1
) +(G
2
) (G
1
G
2
) +(G
1
G
2
) .
Tambien
G
1
G
2
= (

G
1

G
2
)
(

G
2

G
2
) (

G
1

G
2
)
_
(

G
1

G
2
).
de modo que
(G
1
G
2
) ((

G
1

G
2
)

G
1

G
2
) (

G
1

G
2
) + 2,
y por lo tanto tenemos
(G
1
) +(G
2
) (

G
1
) +(

G
2
)
(

G
1

G
1
) +(

G
1

G
2
)
(

G
1

G
2
) + ((G
1
G
2
) 2)
((G
1
G
2
) 2) + ((G
1
G
2
) 2)
y como estas desigualdades valen para todo > 0 tenemos
(G
1
) +(G
2
) (G
1
G
2
) +(G
1
G
2
)
y que junto con (1.10) nos da la igualdad (1.7) para G
1
y G
2
abiertos
acotados.
Para el caso cuando G
1
y G
2
son abiertos no acotados se usa la denicion
de longitud en este caso.
1.2 Medida Exterior
A continuacion denimos la funcion m
: T(R) [0, ], llamada medida

exterior y estudiaremos algunas de sus propiedades.
Sea E P(R). La medida exterior de E, m
(E), se dene por el

n umero real extendido:
m
(E) = inf(G) : G R es abierto y E G .

Nuevamente, esta no es la medida buscada, pero de ella se sacaran la mayor
parte de las propiedades que queremos, solo habra que pedir una propiedad
mas para que se convierta en la medida que estamos buscando.
Observacion 1.2.1 Presentamos algunas propiedades no muy difciles de
demostrar de la medida exterior.
1. Es inmediato que, si E T(R) es acotado, entonces m
(E) < .
2. Si E
1
y E
2
P(R) y E
1
E
2
, entonces m
(E
1
) m
(E
2
).
3. Si E P(R) es abierto, entonces m
(E) = (E).
4. Si E P(R) y x
0
E, entonces m
(E x
0
) = m
(E).
Proposicion 1.2.1 Si E
1
y E
2
son subconjuntos de R, se tiene,
m
(E
1
) +m
(E
2
) m
(E
1
E
2
) +m
(E
1
E
2
) . (1.11)
Demostracion. Si m(E
1
) = o m(E
2
) = , la proposicion se satisface
trivialmente. Suponga entonces, que tanto E
1
como E
2
tienen medida
nita.
secci on 1.3. conjuntos medibles 13
Dado > 0, por la denicion de medida exterior, existen conjuntos
abiertos G
1
y G
2
con E
1
G
1
y E
2
G
2
y tal que
m
(E
i
) +

2
> (G
i
) para i = 1, 2.
Sumando estas desigualdades tenemos
m
(E
1
) +m
(E
2
) + > (G
1
) +(G
2
) = (G
1
G
2
) +(G
1
G
2
).
Pero E
1
E
2
G
1
G
2
y E
1
E
2
G
1
G
2
, de modo que por las
propiedades (2) y (3) de la medida exterior tenemos
m
(E
1
) +m
(E
2
) + > m
(G
1
G
2
) +m
(G
1
G
2
)
que vale para todo > 0 y por lo tanto implica la ecuacion 1.11.
Proposicion 1.2.2 Sea E
n
n=1
una sucesion de subconjuntos de R. En-
tonces:
m
_
n=1
E
n
)
n=1
m
(E
n
) .
Demostracion. Si para alg un n N, m
(E
n
) = , la proposicion se
cumple trivialmente. Suponga entonces que para todo n N, E
n
tiene
medida nita.
Por lo tanto dado > 0 podemos obtener, para cada n N, un conjunto
abierto G
n
con E
n
G
n
y m
(E
n
) < (G
n
)

2
n
.
Como

n=1
E
n

n=1
G
n
tenemos, usando el Teorema 1.1.1, que
m
n=1
E
n
) m
n=1
G
n
) = (
n=1
G
n
), donde la ultima igualdad se
da debido a que la union de los G
n
es un conjunto abierto.
1.3 Conjuntos Medibles
La medida exterior tiene la ventaja de estar denida para cualquier subcon-
junto de R, pero no satisface m
(AB) = m
(A) +m
(B) para conjuntos

A y B disjuntos, lo que sera deseable para una medidacomo ya hemos
mencionado antes. Es por eso que para obtener la propiedad que estamos
buscando restringiremos la funci on m
a una familia L de subconjuntos

de R que satisfagan lo que deseamos, mas a un la funcion as obtenida sera
contablemente aditiva. Se dice que una funcion denida sobre subconjuntos
de R es contablemente aditiva si para toda sucesion E
n
n=1
de con-
juntos dos a dos disjuntos se tiene que m
n=1
E
n
) =
n=1
m
(E
n
), que
es precisamente la propiedad que hace funcionar la teora de la integracion,
como se podra percibir posteriormente.
Sea m
la medida exterior denida en los subconjuntos de R. Un con-

junto E R satisface la condicion de Caratheodory si se verica la
igualdad siguiente
m
(A) = m
(A E) +m
(A E
c
) (1.12)
para todo A R.
Los conjuntos que satisfacen la condicion de Caratheodory tambien son
llamados medibles, y a la clase conjuntos Lebesgue medibles la denotaremos
por
L = E R : E es Lebesgue medible .
Lema 1.3.1 Un conjunto E es medible si y solamente si para todo A con
m
(A) < se tiene

m
(A) m
(A E) +m
+
(A E
c
) (1.13)
Demostracion. Que cuando E es medible se implica la condicion (1.13)
es obvio.
Para la segunda implicacion, como A E y A E
c
son disjuntos y
(AE) (AE
c
) = A, siempre se tiene que m
(A) m
(AE) +m
(A
E
c
). La condicion de Caratheodory es trivial en el caso m
(A) = y
para que se cumpla solo falta ver que m
(A) < implica que m
(A)
m
(A E) +m
(A E
c
), que es la condicion que se pide en (1.13).
Teorema 1.3.1 La coleccion L (de subconjuntos medibles de R) satisface:
(i) L, y R L.
(ii) Si E L entonces E
c
L.
(iii) Si E
n
son subconjuntos de L entonces E
n
L.
Demostracion. La parte (i) es facil puesto que se cumple la siguiente
igualdad para todo A R
m
(A) = m
(A ) +m
(A
c
) = m
(A R) +m
(A X
c
) .
Para la parte (ii) basta observar que la condicion (1.12) es simetrica con
respecto a E y E
c
.
Para la parte (iii) lo haremos por partes como anteriormente. Primero
mostraremos que si A y B estan en L entonces E F estan en L.
Sean, entonces dos conjuntos medibles E y F.
m
(A) = m
(A E) +m
+
(A E
c
) para todo A L
y de ah
m
(A E) = m
(A E F) +m
(A E F
c
) para todo A L
usando A E en el lugar de A en la ecuacion anterior. Es decir
m
(A) = m
(A E F) +m
(A E
c
) +m
(A E F
c
),
y usando otra vez que E es medible
m
(A (E F)
c
) = m
(A (E F)
c
E) +
+ m
(A (E F)
c
E
c
)
= m
(A F
c
E) +m
(A E
c
) .
Esta ultima relacion se puede usar en la anterior y se obtiene
m
(A) = m
(A E F) +m
(A E
c
) +
+ m
(A (E F)
c
) m
(A E
c
)
= m
(A (E F)) +m
(A (E F)
c
) .
Hemos mostrado entonces que la interseccion de dos conjuntos medibles
es medible. A su vez, esto implica que la union de dos conjuntos medibles
cualesquiera es medible, usando la parte (ii) sobre los complementos.
Tambien se tiene, tomando E y F medibles disjuntos, que
m
(A (A F)) = m
(A (E F) E) +
+ m
(A (E F) E
c
)
= m
(A E) +m
(A F)
y por induccion que m
(A E
1
E
n
) =

n
i=1
m
(A E
i
) si los A
i
son conjuntos dos a dos disjuntos.
Ahora bien, dada una familia numerable de conjuntos E
n
medibles,
se puede formar una nueva sucesion de conjuntos dos a dos disjuntos, de la
siguiente manera
F
1
= E
1
, F
i
= E
i
E
i1
para todo i > 1
de modo que los F
i
son conjuntos dos a dos disjuntos,
Entonces para probar la parte (iii) basta mostrarla para una familia de
conjuntos dos a dos disjuntos. Sea, pues, E
n
una tal sucesion y haga
E =
_
k=1
E
k
y F
n
=
n
_
k=1
E
k
. Ya vimos que los F
n
son medibles para todo
n N y ademas si A R
m
(A) = m
(A F
n
) +m
(A F
c
n
)
= m
(
n
_
k=1
A E
k
) +m
(A F
c
n
)
=
n
k=1
m
(A E
k
) +m
(A F
c
n
)
como F
n
E se tiene que A F
c
n
A E
c
por lo tanto
m
(A)
n
k=1
m
(A E
k
) +m
(A E)
y como esta desigualdad vale para todo n N, tambien se tiene
m
(A)
k=1
m
(A E
k
) +m
(A E) . (1.14)
Pero por la subaditividad de m
tambien vale
m
(A E) = m
_
k=1
A E
k
)
k=1
m
(A E
k
) (1.15)
es decir
m
(A) m
(A E) +m
(A E
c
)
con lo que queda mostrado la parte (iii).
Teorema 1.3.2 La restriccion de m
a L satisface
(i) m
() = 0
(ii) 0 m
(E) para todo E L.

(iii) Si E
n
n=1
es una familia numerable de subconjuntos de L dos a dos
disjuntos, entonces
m
_
n=1
E
n
) =
n=1
m
(E
n
) .
Demostracion. Las partes (i) y (iii) son propiedades de m
ya vistas, y
en la demostracion del teorema anterior se mostro las desigualdades (1.14)
y (1.15), para todo A R. Las usamos entonces con A = E =
k=1
E
k
de
donde obtenemos
m
(E)
k=1
m
(E
k
) y m
(E)
k=1
m
(E
k
)
y el teorema esta probado.
En general, a las clases de conjuntos que tengan propiedades como las de
(i), (ii) y (iii) en el Teorema 1.3.1 se les llama -algebra, y especcamente
al conjunto L (que proviene del modo de medir intervalos) se le llama -
algebra de Lebesgue y a los conjuntos en L se les llama Lebesgue medibles.
A funciones de conjunto con las propiedades (i), (ii) y (iii) del Teorema
1.3.2 se les llama medida, especcamente a la funcion m
|
L
: L [0, ] se
le llama medida de Lebesgue de R y la denotamos m
|
L
= m. En el Captulo
2 veremos estas deniciones en general.
Teorema 1.3.3 Si I es un intervalo en R, acotado, entonces I es medible,
y por lo tanto m(I) = (I).
Demostracion. Como ya mencionamos antes, basta ver que se satisface
(1.13), para todo A R con m
(A) < .
Sea n N e I
n
un intervalo contenido en I con (I
n
) > (I) 1/n.
Entonces lim
n
m
(I I
n
) = 0. Note tambien que A (AI
n
)(AI
c
),
de modo que
m
(A) m
((A I
n
) (A I
c
))
m
(A I
n
) +m
(A I
c
)
Tambien A I = (A I
n
) (A (I I
c
n
). Y de ah,
m
(A I
n
) m
(A I) m
(A I
n
) +m
(I I
n
)
Tomando lmites tenemos m
(A I) = lim
n
m
(A I
n
) de modo que
m
(A) m
(A I) +m
(A I) y por lo tanto I es medible.

Como se tiene que m(I) = (I) para intervalos m se considera una
extension de la longitud de intervalos y es la que estabamos buscando. La
pregunta ahora es existen otras extensiones de ?. La respuesta es no. Es
decir si tenemos otra funcion denida en L satisfaciendo las condiciones
(i), (ii) y (iii) del Teorema 1.3.1 tal que (I) = (I) en intervalos, se debe
tener que = m.
Teorema 1.3.4 Si es una medida denida en L (i.e. () = 0 y
(
k=1
E
k
) =

k=1
(E
k
)) tal que (I) = m(I) para todo los intervalos
abiertos I R, entonces = m.
Demostracion. Primero mostraremos para E I
n
= (n, n).
Considere J
k
k=1
un cubrimiento de E por intervalos abiertos, en-
tonces
(E) (
_
k=1
J
k
)
k=1
(J
k
) =
k=1
(J
k
),
tomando nmo sobre todos los cubrimientos de E tenemos (E)
m
(E) = m(E).
Tambien se tienen las igualdades siguientes (E) +(I
n
E) = (I
n
) =
m(I
n
) = m(E) +m(I
n
E). Como todos los terminos son nitos y ademas
(E) m(E) y (I
n
E) m(I
n
E) solo se puede tener (E) = m(E).
Para E L arbitrario dena E
1
= E I
1
, E
i
= E (I
i
I
i1
), de
modo que E =

j=1
E
j
. Y como (E
n
) = m(E
n
) tenemos entonces que
(E) =

n=1
(E
n
) =

n=1
m(E
n
) = m(E) pues tanto como m son
medidas.
Teorema 1.3.5 Si E, F son medibles y si E F entonces m(E) m(F)
y si ademas m(E) < se tiene m(F E) = m(F) m(E).
Demostracion. Como m es aditivo en L y F = E (F E) vale m(F) =
m(E) +m(F E), de donde m(E) m(F) y si m(E) < se puede restar
m(E) en ambos miembros y queda m(F) m(E) = m(F E).
Teorema 1.3.6 (i) Si E
n
es tal que E
k
E
k+1
entonces
m(
_
k=1
E
k
) = lim
k
m(E
k
).
(ii) Si F
n
es tal que F
k+1
F
k
entonces
m(
k=1
F
k
) = lim
k
m(F
k
).
Demostracion. Parte (i). Si m
k
0
= para alg un k
0
N entonces no hay
mucho que mostrar.
Supongamos entonces que m(E
k
) < para todo k N. Hagamos
A
1
= E
1
y A
k
= E
k
E
k1
, de modo que los A
j
j=1
forman una coleccion
numerable de conjuntos medibles disjuntos, con m(A
j
) < para todo
j N y ademas

k=1
E
k
=
j=1
A
j
, E
k
=
k
j=1
A
j
,

k=1
E
k
=
A
k
.
Siendo as, la parte (i) queda probada con la siguiente cadena de igual-
dades.
m(
_
k=1
E
k
) = m(
k=1
A
k
) =
k=1
m(A
k
)
= lim
n
n
k=1
m(A
k
)
= E
1
+ lim
n
n
k=2
m(E
k
) m(E
k1
)
= lim
n
m(E
n
)
La parte (ii) es similar. Denimos E
k
= F
1
F
k
, de modo que E
k
es
creciente y por la parte (i) tenemos
m(
_
k=1
E
k
) = lim
k
m(E
k
) = lim
k
m(F
1
) m(F
k
) = m(F
1
) lim
k
m(F
k
)
pero como

k=1
E
k
= F
1
(
k=1
F
k
) se tiene tambien que
m(
_
k=1
E
k
) = m(F
1
) m(
k=1
F
k
)
que junto a la ecuaci on anterior nos da
m(
k=1
F
k
) = lim
k
m(F
k
)
Ejercicios
1.1 Si m
(A) = 0 entonces A es medible.

1.2 Diga si es verdadero o falso y justique su respuesta.
(a) Union arbitraria de conjuntos medibles es medible.
(b) Si E es un subconjunto de R tal que m
(E) < entonces

m
(E) < .
(c) Si F es un conjunto cerrado de R y (F) = 0 entonces F = .
1.3 Sea E
1
y E
2
dos subconjuntos medibles de [0, 1]. Pruebe que si
m(E
1
) = 1 entonces m(E
1
E
2
) = m(E
2
).
1.4 Sea E el Cantor com un en un intervalo (retirando los tercios medios).
Muestre que m(E) = 0.
1.5 Demuestre que hay subconjuntos cerrados E [0, 1] con medida pos-
itiva que no contienen intervalos.
1.6 Sean I un intervalo nito y J
n
n=1
una sucesion de subintervalos de
I dos a dos disjuntos. Demuestre que
n=1
(J
n
) (I) .
21
1.7 eran E R y a R. Pruebe que:
m
(E a) = m
(E) .
1.8 Si a R entonces m
(a) = 0. Concluya que el conjunto Q de los

irracionales es medible y tiene medida cero.
Captulo 2
Medida: Denicion, Uso y
Propiedades
En este captulo generalizaremos lo que desarrollamos en el capitulo an-
terior para intervalos de modo que se pueda usar el concepto de medida
en cosas mas generales y a la vez familiares como pesar, medir (areas,
vol umenes, etc.) y tambien contar.
2.1 -algebra
La medida, como se vio en el caso de la recta, asigna a cada conjunto
un valor real no negativo que es llamada su medida que dependiendo del
problema puede signicar peso, area, longitud, o cantidad de elementos de
dicho conjunto. Pero debido a las propiedades requeridas para una medida
no siempre es posible asignar dicho n umero a todos los conjuntos. Por esta
razon es importante especicar la clase de conjuntos que se puede medir.
Dado entonces un espacio consideramos la clase / T() de sub-
conjuntos de con las siguientes propiedades: la clase contiene al espacio
completo, a los complementos de cada elemento y a uniones numerables
de sus elementos. Una clase con estas propiedades es llamada -algebra
de conjuntos de . Dicho de otro modo / T() es una -algebra de
conjuntos de si cumple las siguientes propiedades.
23
24 captulo 2. Medida
I. esta en /.
II. Para todo A / se tiene A
c
/.
III. Si A =
nN
A
n
y A
n
/ para todo n N entonces A /.
Siguiendo la tradicion, llamaremos medibles a los conjuntos perten-
cientes a la -algebra de la cual estemos hablando.
Ponemos a consideracion del lector las siguientes clases de conjuntos
que armamos son -algebras:
1. Si es cualquier conjunto tome / = T(). Esto es, la clase formada
por todos los subconjuntos de siempre es una -algebra.
2. Tambien, / = , es una -algebra para cualquier conjunto .
3. Considere = 1, 2, . . . = N el conjunto de los naturales. Podemos
tomar como -algebra a la clase / = , 1, 3, 5, . . ., 2, 4, 6, . . ., .
4. Sea un conjunto no numerable. La clase / de los conjuntos nume-
rables o que tienen complemento numerable es una -algebra.
5. Sea = R. En este conjunto ademas de las -algebras como en 1, 2
y 4 arriba, se puede considerar la -algebra / = L formada por los
conjuntos medibles (los subconjuntos de R que satisfacen la condicion
de Caratheodory) como en la denicion del captulo anterior. Pre-
cisamente, la ultima parte del captulo anterior estuvo dedicada a
demostrar que la clase de los conjuntos medibles es una -algebra
2.2 Medidas y sus Propiedades
Como mencionamos al inicio de este captulo, una medida es una funcion
que asigna a cada subconjunto de una -algebra un n umero. Pero esta
asignacion no puede ser arbitraria pues deseamos imitar las propiedades de
medir peso, area, volumen, longitud, cantidad de elementos, etc. Por eso
se le debe requerir a dicha funcion algunas propiedades que modelan las
propiedades que deseamos.
En este sentido llamaremos medida a una funcion : / [0, +]
denida en una -algebra / que satisfaga las siguientes propiedades:
secci on 2.2. propiedades 25
I. La medida del conjunto vaco es cero. () = 0.
II. La funcion es contablemente aditiva (-aditiva) esto es:
(
i=1
A
i
) =
i=1
(A
i
) .
Una terna (, /, ) donde es un conjunto, / es una -algebra y
es una medida sobre / se llama espacio de medida. El par (, /) se
le llama espacio medible. Un espacio de medida se llama espacio de
medida finito si () < , o tambien que es una medida nita. En el
caso particular en que () = 1 el espacio de medida es llamado espacio
de probabilidad. Observe que en el caso de un espacio de medida nito
las medidas de todos los demas conjuntos medibles tienen que estar entre
0 y (), i.e. 0 (A) () para todo conjunto medible A.
A continuacion enumeramos propiedades de los espacios de medida.
Proposicion 2.2.1 Sea (, /, ) un espacio de medida, se cumple lo si-
guiente:
1. Sean A, B conjuntos medibles, con A B y (B) < entonces
(B A) = (B) (A).
2. Si A
n
A, i.e. si A
n
es una sucesion de conjuntos medibles que crece
hacia A, entonces A es un conjunto medible y (A) = lim
n
(A
n
).
3. Si A
n
A, i.e. si A
n
es una sucesion de conjuntos medibles que
decrece hacia A, y existe n
0
N tal que (A
n
0
< entonces A es
un conjunto medible y (A) = lim
n
(A
n
).
4. Si A
i
son conjuntos medibles para todo i N entonces (
i=1
A
i
)
i=1
(A
i
).
5. Para cualquier sucesion A
n
de conjuntos medibles se tiene que
(liminf
nN
A
n
) liminf
nN
(A
n
) y si existe n
0
N tal que
(
i=n
0
A
i
) < entonces limsup
nN
(A
n
) (limsup
nN
A
n
).
En particular si (, /, P) es un espacio de probabilidad A
n
A
implica que P(A
n
) P(A).
6. Si

i=1
(A
i
) < entonces (limsup
nN
A
n
) = 0.
Las armaciones 2 y 3 son las mismas armaciones hechas en el Teorema
1.3.6 y las demostraciones son esencialmente las mismas.
Demostracion. 1. Note que B = A (B A) de modo que (B) =
(A) +(B A) y de ah, (B) (A) = (B A).
2. En el caso en que exista un A
n
con (A
n
) = y considerando que
la sucesion es creciente entonces la propiedad se cumple. Solo queda por
demostrar en el caso en que (A
n
) < para todo n N. En esta caso
escribimos la sucesion A
n
como
A = A
1
+
i=2
(A
i
A
i1
)
de modo que la propiedad II de la denicion de medida implica
(A) = (A
1
) +
i=1
(A
i
A
i1
)
= (A
1
) +
i=1
((A
i
) (A
i1
))
= lim
n
(A
1
) +
n
i=1
((A
i
) (A
i1
))
= lim
j
(A
j
)
3. La demostracion se hace de modo analogo a la parte 2 considerando que
en este caso A se puede escribir como
A = A
n
0
_
i=n
0
(A
n
0
A
i
) .
4. En este caso podemos escribir
_
i=1
A
i
= A
1
+
n=2
(A
n

n1
i=1
A
i
) ,
de modo que
(A) = (A
1
) +
n=2
(A
n

n1
i=1
A
i
)
secci on 2.2. propiedades 27
(A
1
) +
n=2
(A
n
) =
n=1
(A
n
)
5. De la denicion liminf A
n
=
n=1
i=n
A
i
. As,
_
i=n
A
i
_
nN
es una sucesion creciente de conjuntos. Con lo que, usando la parte 2,
tenemos
(liminf A
n
) = lim
n
(
i=n
A
i
)
= liminf (
i=n
A
i
)
liminf (A
n
)
donde la ultima desigualdad sigue del hecho que
i
i=n
nftyA
i
A
n
.
El caso del lmite superior es analogo pero necesitamos que
(
i=n
0
A
i
) < en alg un n
0
para poder usar la parte 3.
Si tenemos un espacio de probabilidad la condicion anterior se cumple
siempre con lo que tendremos que
A
n
A = limP(A
n
) = P(limA
n
) .
6. De la parte 4 se tiene que (
i=n
A
i
)
i=n
(A
i
) < , de modo que
(limsup A
n
) = (
n=1
_
i=n
A
i
)
= lim(
_
i=n
A
i
)
lim
n
i=n
(A
i
) = 0
puesto que

n=1
(A
n
) < implica lim
n
i=n
(A
i
) = 0.
Ejemplo 1. El Captulo 1 estuvo dedicado a demostrar que (R, L, m) es
un espacio de medida.
Ejemplo 2. Para el espacio = a, b podemos denir la -algebra / =
, , a, b. En este ejemplo podemos dar una medida de la siguiente
manera. Tome p, q R y dena (a) = p, (b) = q, () = 0 y
() = p + q. De este modo es una medida nita y sera una medida de
probabilidad si p +q = 1.
Ejemplo 3. En un espacio medible (, /) siempre es posible denir una
medida de la siguiente manera:
(A) =
_
#A si A es nito
en cualquier otro caso,
donde #A signica la cantidad de elementos del conjunto A. Esta medida
es llamada usualmente medida de conteo.
Ejemplo 4. Consideremos el espacio medible (, /) donde el conjunto p
sea medible, en este caso se puede denir la siguiente medida:
(A) =
_
1 si p A
0 si p , A
Con esta propiedad la medida se dice que esta medida esta concentrada en
p. Esta medida es usualmente llamada -Dirac en p y denotada
p
.
2.3 Funciones Medibles
En esta seccion estaremos hablando de un espacio de medida (, /, ).
Sean A un conjunto medible y f : A R una funcion. Se dice que
f es medible si x A [ f(x) > es medible para todo R.
Con esta denicion estamos tomando preimagenes de intervalos del tipo
(, ) o (, ] si estamos trabajando en la recta extendida. Como veremos
posteriormente esta denicion es equivalente a pedir que la preimagen de
cualquier intervalo abierto sea medible. Naturalmente debemos denir lo
que es abierto en la recta extendida, no lo haremos aqu pero mencionamos
que en el libro [1] se puede encontrar una exposicion sobre la topologa de
la recta extendida.
secci on 2.3. funciones medibles 29
Proposicion 2.3.1 Sean A medible y f : A R una funcion, en-
tonces son equivalentes las siguientes armaciones:
(i) f es medible.
(ii) f
1
([, )) es medible para todo R.
(iii) f
1
((, )) es medible para todo R.
(iv) f
1
((, ]) es medible para todo R.
Demostracion. (i) (ii) pues si tomamos
n
una sucesion creciente a
entonces
f
1
([, )) = f
1
(
n=1
(
n
, )) =
n=1
f
1
((
n
, ))
que es medible (pues f
1
((
n
, )) es medible de la denicion de f ser
medible).
(ii) (iii) pues f
1
((, )) = R f
1
([, )) = f
1
(R [, ).
(iii) (iv) pues f
1
((, ]) = (f
1
(,
n
)) = f
1
((, ))
tomando una sucesion
n
decreciente a .
(iv) (i) pues f
1
((, )) = R f
1
((, ]).
Sea A un conjunto medible y f, g : A R dos funciones, diremos
que f es igual g en casi toda parte (o casi todo punto) y escribiremos
f = g c.t.p. si el conjunto de puntos donde f no es igual a g tiene medida
cero esto es m(x A [ f(x) ,= g(x)) = 0.
Proposicion 2.3.2 Sea A medible, f : A R medible y g : A R
una funcion tal que f = g c.t.p. , entonces g es medible.
Demostracion. Dena E = x A : f(x) ,= g(x), de las hipotesis se
tiene que E es medible y m(E) = 0, y ademas que cualquier subconjunto
de E es medible y tiene medida cero. De modo que
g
1
((, )) = x A [ g(x) >
= (x A [ f(x) > E)
_
x E [ g(x) >
que es union de conjuntos medibles.
Sean A , f, g : A R funciones y c R. Denimos las funciones,
f +c, cf, f +g, fg : A R de la siguiente manera:
(f +c)(x) = f(x) +c,
(cf)(x) = c f(x),
(f +g)(x) = f(x) +g(x),
(fg)(x) = f(x)g(x).
Para la funcion f f usaremos la notacion f
2
.
Teorema 2.3.1 Sea A medible y f, g : A R funciones medibles y
c R. Entonces las funciones f + c, cf, f
2
, f + g, fg : A R son
medibles.
Demostracion. Para f +c note que (f +c)
1
((, )) = f
1
((c, )).
Para la funcion cf, en el caso c = 0 se tiene cf = 0 y por lo tanto
(cf)
1
(, ) = si 0 y (cf)
1
(, ) = R si < 0.
En el caso c > 0, se tiene que (cf)
1
(, ) = f
1
(
c
, ). Dejamos el
caso c < 0 como ejercicio.
Considere ahora el conjunto Q = r
n
[ n N que es una enumeracion
de los irracionales, y sea R cualquiera y x A,
Ahora, f(x) + g(x) > es equivalente a que exista r
n
tal que f(x) >
r
n
> g(x), es decir
(f +g)
1
((, )) = a A [ f(x) +g(x) >
=
_
n=1
(x A [ f(x) > r
n
x A [ r
n
> g(x) )
=
_
n=1
[f
1
((r
n
, )) g
1
(( r
n
, ))]
y por lo tanto f +g es medible.
Ahora (f
2
)
1
(, ) = a A [ (f(x))
2
> = A si < 0. Si 0
entonces

y
estan en R y
(f
2
)
1
(, ) = x A [ f(x) >
_
x A [ f(x) <
y por lo tanto f
2
es medible.
Similarmente fg es medible pues siendo f +g, f
2
y g
2
medibles, se tiene
que fg =
1
2
((f +g)
2
f
2
g
2
es medible.
El siguiente teorema es importante pues en el estaran basados la mayor
parte de las demostraciones sucesivas de esta seccion as como de la teora
de integracion.
Teorema 2.3.2 Sean a R, un conjunto medible y f
n
n=1
una sucesion
de funciones medibles de A en R, tal que para todo x A, f
n
(x)
n=1
es una sucesion acotada de n umeros reales. En este caso, las funciones
K, k : A R denidas por
K(x) = supf
n
(x) : n N y
k(x) = inff
n
(x) : n N
son medibles.
Demostracion. Sea R y observe que si x A, entonces
k(x) < existe n N tal que f
n
(x) < ,
por lo tanto k
1
((, )) =
n=1
f
1
n
((, )) es medible. Similarmente
obtenemos K
1
((, )) =
n=1
f
1
n
((, )), es medible.
Corolario 2.3.1 El maximo y el mnimo entre dos funciones medibles, es
medible.
Sea A medible, f : A R una funcion y f
n
n=1
una sucesion
de funciones f
n
: A R. Diremos que f
n
converge a f en c.t.p.
(y escribimos lim
n
f
n
= f c.t.p. ) si existe un subconjunto E A de
medida cero (m(E) = 0) tal que para todo x que no esta en E se tiene que
lim
n
f
n
(x) = f(x).
Si f
n
es una sucesion monotona no decreciente (i.e. si f
n
(x) f
n+1
(x)
para todo x) y si es acotada se tendra que existe el lmite pues en este caso
lim
n
f
n
(x) = f(x) = supf
n
(x) : n N
y obtenemos
lim
n
f
n
(x) = f(x) = inff
n
(x) : n N
si la sucesion es monotona no creciente y acotada.
Para todo n N denimos las funciones K
n
y k
n
como
K
n
(x) = supf
r
(x) [ r n para todo x A
k
n
(x) = inff
r
(x) [ r n para todo x A
Notemos que K
n
es una sucesion monotona no creciente y k
n
es una
sucesion monotona no decreciente. Si f
n
n=1
es acotado, tambien lo seran
las funciones K
n
y k
n
, de modo que podemos denir
S(x) = infK
n
(x) [ n N y
s(x) = supk
n
(x) [ n N,
Es decir lim
n
K
n
= S y lim
n
k
n
= s.
Las funciones S : A R y s : A R se llaman respectivamente lmite
superior y lmite inferior de la sucesion f
n
n=1
, y se denotan por
S = limsup f
n
s = liminf f
n
.
Proposicion 2.3.3 Se tiene que f
n
converge a f (i.e. f
n
(x) converge a
f(x) para todo x A) si, y solamente si limsup f
n
= liminf f
n
.
Demostracion. La demostracion de esta proposicion queda a cargo del
lector en el ejercicio 2.4.
Teorema 2.3.3 Si f
n
n=1
es una sucesion de funciones medibles y aco-
tadas entonces liminf f
n
y limsup f
n
son medibles.
Demostracion. Observemos que K
n
es medible para todo n, por lo tanto
limsup f
n
es igual a inf K
n
que es medible. Un argumento similar se usa
para liminf f
n
.
En el teorema anterior la condicion de que las funciones sean acotadas es
debido a que estamos tomando funciones en R si estuviesemos trabajando
en los reales extendidos esta condicion no sera necesaria, ver [1, 2].
Corolario 2.3.2 Si f
n
n=1
es una sucesion de funciones medibles, en-
tonces lim
n
f
n
= f es medible.
Proposicion 2.3.4 Si f
n
n=1
es una sucesion de funciones medibles tal
que limf
n
= f c.t.p. , entonces f es medible.
Demostracion. Como f
n
converge c.t.p. a f, existe E con m(E) = 0 tal
que para todo x A E, f
n
(x) converge a f(x). Dena g
n
: A R como
g
n
(x) = f
n
(x) cuando x A E y como g
n
(x) = 0 si x E. Entonces
limg
n
= g : A R, ademas g(x) = f(x) cuando x A E, y g(x) = 0 en
E.
Con esta construccion tenemos que g
n
= f
n
c.t.p. y por lo tanto los
g
n
son medibles, de modo que limg
n
= g es medible y como g = f c.t.p.
tenemos que f es medible.
Considere E A , denimos la funcion caracterstica de E
como la funcion
E
: A R tal que
E
(x) =
_
1 si x E
0 si x A E .
Asimismo, diremos que una funcion h : A R es una funcion simple
si la imagen de h es un conjunto nito.
Proposicion 2.3.5 Sea A medible y h : A R una funcion simple
con h(A) =
1
, . . . ,
n
, entonces h es medible si, y solamente si los
conjuntos A
i
= h
1
(
i
) son conjuntos medibles.
La demostracion de esta proposicion se deja a cargo del lector en el
ejercicio 2.5. Observe que los conjuntos A
i
de la proposicion anterior son
disjuntos y tales que
n
i=1
A
i
= A, y que la funcion h puede escribirse como
h =
n
i=1
A
i
. (Ejercicio 2.6.)
Teorema 2.3.4 (Aproximacion) Sea A un conjunto medible y f :
A [0, ) una funcion medible (positiva). Entonces existe una sucesion
de funciones simples medibles h
n
tal que:
(i) h
n1
h
n
h
n+1
, h
n
es una sucesion monotona creciente.
(ii) lim
n
h
n
= f.
Demostracion. Para cada n N dividamos el intervalo [0, n) en intervali-
tos de tama no 2
n
es decir. Los intervalitos son de la forma I
i
= [
i1
2
n
,
i
2
n
),
con i = 1, . . . , n2
n
.
Para cada intervalo I
i
denamos el conjunto E
n
i
= f
1
(I
i
). Y con esto,
para cada n, podemos denir la funcion simple
h
n
=
n2
n
i=1
i 1
2
n

E
n
i
.
Tenemos entonces que siendo f medible, los E
n
i
son conjuntos medibles
y por la Proposicion 2.3.5 las funciones h
n
tambien son funciones (simples)
medibles.
Ahora, para x A y n N, si f(x) n+1 denimos h
n
(x) = h
n+1
(x),
si f(x) [n, n + 1) se tiene que h
n
(x) = 0 y h
n+1
(x) 0.
Si f(x) [0, n), entonces existe i 1, . . . , n2
n
tal que f(x) [
i1
2
n
,
i
2
n
)
de modo que h
n
(x) =
i1
2
n
.
Si consideramos ahora n + 1 estaremos subdividiendo los intervalitos
por la mitad, de modo que ahora existira j 2i 1, 2i tal que f(x)
[
j1
2
n+1
,
j
2
n+1
), por consiguiente
h
n+1
(x) =
j 1
2
n+1

i 1
2
n
= h
n
(x)
y as h
n
es una sucesion creciente.
Se tiene tambien que h
n
f, para todo n N. Solo faltara demostrar
que h
n
(x) converge a f(x) para todo x A.
En efecto, sea x A entonces f(x) [0, ), de modo que existe n
0
tal
que f(x) [0, n
0
).
Ahora si n N con n n
0
tenemos que h
n
(x) f(x) 2
n
, es decir
0 f(x) h
n
(x) 2
n
, y el teorema esta probado.
secci on 2.4. integral de lebesgue 35
2.4 Integral de Lebesgue
Sean A medible y s : A R una funcion simple, medible tal que
s(x) > 0 para todo x A. Si s(A) =
1
, . . . ,
n
y A
i
= x A [ s(x) =
i
, denimos la integral de s sobre A, denotada por
_
A
sdm, como
(el n umero real extendido)
_
A
sdm =
n
i=1
i
m(A
i
) .
Ejemplo 5. Sea A = [1, 1], s : A R, tal que
s(x) =
_
_
_
5 , x [1, 1/2]
0 , x (1/2]
2 , x (1/2, 1] .
De modo que
_
[1,1]
s dm = 5 m([1, 1/2)) + 0 m((1/2, 1/2] + 2 m((1/2, 1])
= 7/2 .
Proposicion 2.4.1 (Linealidad) Sean A medible, s
1
, s
2
: A R
funciones simples, medibles, tales que s
i
(x) > 0 para todo x A, i = 1, 2,
y R, > 0. Entonces:
(i)
_
A
s
i
dm =
_
A
s
i
dm
(ii)
_
A
(s
1
+s
2
)dm =
_
A
s
1
dm+
_
A
s
2
dm.
Demostracion. (i) Haremos para s
1
. Tenemos que s
1
(A) =
1
, . . . ,
n
,
luego, s
1
(A) =
1
, . . . ,
n
, y A
1
= x A [ s
1
(x) =
1
= x
A [ s
1
(x) =
1
. Por consiguiente
_
A
s
1
=
i
m(A
i
) =
i
m(A
i
) =
_
A
s
1
dm.
(ii) Podemos escribir las funciones simples de la siguiente manera
s
1
=
n
i=1
A
i
, s
2
=
m
j=1
B
j
con s
1
(A) =
1
, . . . ,
n
, s
2
=
1
, . . . ,
m
y

n
i=1
A
i
=

n
j=1
B
j
= A.
Y tambien la suma
s
1
+s
2
=
p
k=1
C
k
,
con (s
1
+s
2
)(A) =
1
. . . ,
p
y

n
k=1
C
k
= A.
Ahora bien, para todo k denimos el conjunto
J
k
= (i, j) 1, . . . , n 1, . . . , m :
i
+
j
=
k
,
de modo que
p
_
k=1
J
k
= 1, . . . , n 1, . . . , m y C
k
=
_
(i,j)J
k
A
i
B
j
.
Observe que cada sucesion conjuntos A
i
B
k
(i,j)J
k
es nita y disjunta
por lo tanto
m(C
k
) =
(i,j)J
k
m(A
i
B
k
) ,
que junto con la denicion de integral de una funcion simple nos da
_
A
(s
1
+s
2
)d m =
p
k=1
k
m(C
k
) =
p
k=1
(i,j)J
k
m(A
i
B
j
)
=
p
k=1
(i,j)J
k
(
i
+
j
)m(A
i
B
j
)
=
n
i=1
m
j=1
(
i
+
j
)m(A
i
B
j
)
=
n
i=1
m
j=1
i
m(A
i
B
j
) +
m
j=1
n
i=1
j
m(A
i
B
j
)
=
n
i=1
i
m(A
i
A) +
m
j=1
j
m(A B
j
)
=
_
A
s
1
d m+
_
A
s
2
d m
Sean A y B conjuntos medibles de con B A. Si f : A R es

medible, entonces (vea ejercicio 27) f[
B
: B R tambien es medible. Por
secci on 2.4. integral de lebesgue 37
lo tanto, si B A, es un conjunto medible, y s : A R es una funcion
simple, medible, no negativa, podemos denir la integral sobre B como
_
B
sdm =
_
B
s[
B
dm.
Proposicion 2.4.2 Sean A y B subconjuntos de , con B A, s
1
, s
2
:
A R dos funciones simples, medibles y no negativas, entonces:
(i) s
1
s
2
implica
_
A
s
1
dm
_
A
s
2
dm.
(ii)
_
B
s
1
dm
_
A
s
1
dm.
(iii)
_
A
s
1
dm = 0 si, y solamente si s
1
(x) = 0 c.t.p. .
(iv) m(A) = 0 implica
_
A
s
1
dm = 0
La demostracion de estas propiedades se dejan a cargo del lector.
Considere A medible y f : A R una funcion medible no negativa.
Denimos la integral de Lebesgue de f sobre A,
_
A
fdm, como
_
A
fdm = sup
_
A
sdm [ s S
donde S es el conjunto de todas las funciones simples no negativas tal que
s f.
Observe que, con esta denicion, habra dos modos de calcular la inte-
gral de una funcion simple, sin embargo estas dos deniciones coinciden en
este caso. Mencionamos tambien que, similarmente al caso anterior, para
B A se puede denir
_
B
fdm =
_
B
f[
B
dm.
Para la integracion concreta damos a continuacion algunas propiedades
que nos ayudan a hallar integrales de funciones en general.
Proposicion 2.4.3 Sean A y B subconjuntos medibles de , con B A,
f
1
, f
2
: A R funciones medibles no negativas, R, 0.Entonces:
(i) f
1
f
2
implica
_
A
f
1
dm
_
A
f
2
dm.
(ii)
_
B
f
1
dm
_
A
f
1
dm.
(iii)
_
A
f
i
dm =
_
A
f
i
dm.
(iv)
_
A
f
1
dm = 0 si, y solamente si, f
1
(x) = 0 c.t.p. .
(v) m(A) = 0 implica
_
A
f
1
dm = 0
2.5 Convergencia Monotona
Teorema 2.5.1 (Lebesgue) Sea A medible, f
n
n=1
una sucesion
de funciones no negativas, f
n
: A R y f : A R una funcion. Suponga
que
(i) f
n
(x) f
n+1
(x), para todo x A, n N.
(ii) lim
n
f
n
(x) = f(x) para todo x A.
entonces
_
A
fdm = lim
n
_
A
f
n
dm.
Demostracion. Como el lmite de funciones medibles es medible, se tiene
que f es medible, y como los f
n
son no negativos, f tambien lo sera. Luego,
_
A
fdm esta bien denida, y como vale (i), se tiene tambien
_
A
f
n
dm
_
A
f
n+1
dm, de modo que
_
A
f
n
dm
n=1
es una sucesion monotona cre-
ciente, y por lo tanto converge a alg un [0, ]. Observe que (i) tambien
implica que
_
A
f
n
dm
_
A
fdm para todo n N, de modo que

_
A
fdm. (2.1)
Tome ahora s 0 una funcion simple tal que s(x) f(x) para todo
x A. Fijamos c (0, 1) y para todo n N denimos el conjunto
E
n
= a A [ f
n
(x) c s(x).
que es medible para todo n. Se cumple tambien que E
1
E
2
E
n

E
n+1
. Ahora, como f
n
(x) converge a f(x) para todo x debemos tener
_
n=1
E
n
= A
de modo que
c
_
A
sdm =
_
A
csdm = lim
n
_
E
n
(cs)dm .
secci on 2.5. convergencia mon otona 39
Ahora bien, para n N
_
A
f
n
dm
_
E
n
dm
_
E
n
csdm = c
_
E
n
edm
y por lo tanto
lim
n
_
A
f
n
dm lim
n
c
_
E
n
sdm = c
_
A
sdm.
Como esta ultima relacion vale para todo c (0, 1), se cumple que
lim
n
_
A
f
n
dm
_
A
sdm.
y como hemos tomado un s arbitrario, usamos la denicion de integral y
obtenemos
= lim
n
_
A
f
n
dm
_
A
fdm,
que junto con la desigualdad (2.1) nos da la igualdad que buscamos.
Si juntamos este teorema con el de aproximacion de funciones medibles
por funciones simples tenemos que siempre es posible para todo f medible
exhibir una sucesion de funciones simples s
n
tal que s
n
s
n+1
, s
n
f y
lim
n
_
A
s
n
dm =
_
A
sdm.
Conviene tambien observar que esto nos permite calcular (por aproxi-
macion) la integral de funciones. En vista de este teorema tambien pode-
mos mencionar aqu una diferencia entre la integral de Riemann y la de
Lebesgue. La integral de Riemann se calcula subdividiendo el dominio de
denicion de la funcion (en general un intervalo) calculando maximos y
mnimos de la funcion en estos intervalitos, de modo que se puede formar
una aproximacion por arriba y otra por abajo de la integral de Riemann.
En el caso de la integral de Lebesgue se subdivide el rango de la funcion
en intervalitos y se mide la preimagen de estos intervalos para aproximar
el area multiplicando la medida de la base por la altura (ya jada) del
conjunto.
Ejemplo 6. Sea (, /, ) donde = [0, 1], y consideramos el / el -
algebra de los Lebesgue medibles y = m la medida de Lebesgue. Con-
sidere f : A R, x f(x) = x. Para todo n N denimos s
n
: A R
de la siguiente manera
s
n
=
2
n
j=1
j 1
2
n

(
j1
2
n ,
j
2
n ]
.
Vemos que lims
n
= f y que
_
A
s
n
dm =
2
n
j=1
j 1
2
n
1
2
n
=
1
2
2n
_
2
n
(2
n
+ 1)
2
2
n
_
cuyo lmite nos da
1
2
.
Para concluir demostramos la propiedad de linealidad de la integral que
hemos denido.
Teorema 2.5.2 Sea A un conjunto medible y f
1
, f
2
: A R funciones
medibles no negativas. Entonces
_
A
f
1
+f
2
dm =
_
A
f
1
dm+
_
A
f
2
dm.
Demostracion. Tome s
n
una sucesion creciente de funciones que con-
vergen a f
1
, por el Teorema 2.3.4, y t
n
la correspondiente a f
2
. Tenemos
entonces que s
n
+t
n
es una sucesion creciente de funciones simples que con-
verge a f
1
+f
2
y por lo tanto
_
A
s
n
+t
n
dm
_
A
f
1
+f
2
dm, pero tambien
se tiene que
_
A
s
n
+ t
n
dm =
_
A
s
n
dm +
_
A
t
n
dm por la Proposicion 2.4.2
y por lo tanto
_
A
f
1
+f
2
d m = lim
_
A
s
n
+t
n
d m = lim
_
A
s
n
d m+
_
A
t
n
d m
=
_
A
f
1
d m+
_
A
f
2
d m.
Ejemplo 7. Considere el espacio (N, T(N), ) donde es la medida de

conteo. Tome cualquier funcion f : N R. Como el -algebra considerado
incluye a todos los subconjuntos de N entonces f es medible. Si hacemos
n
= f(n) podemos escribir
f(x) = lim
n
n
j=1
{j}
(x) .
41
para todo x N. De modo que
_
fd = lim
n
_
n
j=1
{j}
d = lim
n
n
j=1
j
(j)
y como es la medida de conteo (j) = 1 para todo j. Es decir
_
fd =
j=1
j
.
Ejemplo 8. En el caso en que tengamos una medida concentrada en p y
f : R, tenemos que f = f(p)
{p}
c.t.p. . De modo que
_
fd
p
= f(p).
Ejercicios
2.1 La funcion f es medible si, y solamente si la preimagen por f de
cualquier abierto en R es medible.
2.2 La funcion f es medible si, y solamente si, la imagen inversa de
cualquier intervalo es medible.
2.3 Probar que una funcion continua es medible.
2.4 Demuestre Proposicion 2.3.3
2.5 Demuestre la Proposicion 2.3.5
2.6 Una funcion simple h : A R se puede expresar como h =
n
i=1
A
i
con

m
i=1
A
i
A, y se pueden escoger los A
i
de modo
que sean disjuntos dos a dos. Recprocamente, cualquier funcion
g : A R de la forma g =

m
j=1
B
i
con

m
i=1
B
i
A es una
funcion simple.
2.7 Sean A y B conjuntos medibles de R con B A. Si f : A R es
medible, entonces f[
B
: B R tambien es medible.
2.8 Demuestre la Proposicion 2.4.2.
2.9 Demuestre la Proposicion 2.4.3
Captulo 3
Funciones Integrables
En este captulo deniremos la integral de una funcion cualquiera. Debdido
a que trataremos de funcion que pueden tomar valores positivos o negativos,
necesitamos las siguientes deniciones.
Dada una funcion f : A R denimos:
La parte positiva de f, como la funcion f
+
: A R tal que
f
+
= maxf, 0 .
La parte negativa de f como la funcion f
: A R tal que
f
= maxf, 0 = minf, 0, .
El valor absoluto de f como la funcion [f[ : A R tal que
[f[(x) = [f(x)[ .
Observe que las funciones arriba denidas son todas no negativas y
ademas [f[ = f
+
+f
y f = f
+
f
, y de ah facilmente se deduce que si

f es medible tambien son medibles [f[, f
+
y f
.
Sea A un conjunto medible y f : A R una funcion medible. Decimos
que f es una funcion Lebesgue integrable (o simplemente integrable)
si
_
A
[f[dm <
43
44 captulo 3. Funciones Integrables
y en este caso se dene la integral de f como
_
A
fdm =
_
A
f
+
dm
_
A
f
dm. (3.1)
Es facil ver que si f : A R es integrable el hecho que f
[f[ obliga
a que
_
A
f
dm
_
A
[f[dm < y por lo tanto nito de modo que la
diferencia esta bien denida y ademas [
_
A
dm[ < , i.e.
_
A
fdm es nito.
Teorema 3.0.3 Sea A un conjunto medible y f
1
, f
2
: A R funciones
integrables y R. Entonces:
(i) f
1
+f
2
: A R es integrable y
_
A
f
1
+f
2
dm =
_
A
f
1
dm+
_
A
f
2
dm.
(ii) f
1
: A R es integrable y
_
A
f
1
dm =
_
A
f
1
dm.
Demostracion. Usando la desigualdad triangular [f
1
+ f
2
[ [f
1
[ + [f
2
[
obtenemos
_
A
[f
1
+f
2
[dm
_
A
[f
1
[ +
_
A
[f
2
[.
Podemos escribir f
1
+ f
2
= f
1+
f
1
+ f
2+
f
2
y tambien que
f
1
+f
2
= g
+
g
, donde g
+
y g
son la parte positiva y la parte negativa

de la funcion f
1
+ f
2
. Juntando estas dos igualdades y transponiendo
terminos podemos escribir
g
+
+f
1
+f
2
= g
+f
1+
+f
2+
y usando esta igualdad tenemos la siguiente sucesion de igualdades que
demuestran la parte (i) del Teorema.
_
A
(g
+
+f
1
+f
2
) dm =
_
A
(g
+f
1+
+f
2+
) dm
_
A
g
+
dm+
_
A
f
1
dm+
_
A
f
2
dm =
_
A
g
dm+
_
A
f
1+
dm+
+
_
A
f
2+
dm
_
A
g
+
dm
_
A
g
dm =
_
A
f
1+
dm
_
A
f
1
dm+
+
_
A
f
2+
dm
_
A
f
2
dm
_
A
(f
1
+f
2
) dm =
_
A
g dm =
_
A
f
1
dm
_
A
f
2
dm
secci on 3.1. teoremas de convergencia 45
Para la parte (ii) tenemos que si = 0 la armacion se cumple triv-
ialmente. Si > 0 tenemos que (f
1
) = f
1
y si < 0 entonces
(f
1
)
= f
1
.
3.1 Teoremas de Convergencia
Los siguientes son resultandos muy importante en la teora de la medida.
El primero de ellos lo enunciamos como teorema, por su importancia, pero
es conocido usualmente como Lema de Fatou.
Teorema 3.1.1 (Lema de Fatou) Sea A un conjunto medible y f
n
n=1
una sucesion de funciones reales no negativas denidas en A, entonces
_
A
(liminf f
n
)dm liminf
_
A
f
n
dm.
Demostracion. Dena k
n
= inff
r
(x) [ r n para cada x A, con esta
denicion se ve facilmente que limk
n
(x) = liminf f
n
(x) y ademas k
n
(x) > 0
para todo x A (pues sucede lo mismo con f
n
(x)). De aqu, por el teorema
de la convergencia monotona, se tiene
_
A
liminf f
n
dm = lim
_
A
k
n
dm, pero
como k
n
< f
n
tenemos
_
A
k
n
dm
_
A
f
n
dm para todo n N y por lo tanto
lim
n
_
A
k
n
dm =
_
A
liminf f
n
dm liminf
_
A
f
n
dm.
Teorema 3.1.2 (Convergencia Dominada) Sea A un conjunto medible

y f
n
n=1
funciones reales medibles denidas en A, tal que lim
n
f
n
(x)
existe para todo x A. Si existe una funcion g : A R integrable tal
que para todo n N se tiene [f
n
(x)[ g(x) para todo x A, entonces la
funcion
f = lim
n
f
n
es integrable, lim
_
A
[f
n
f[dm = 0
y
lim
n
_
A
f
n
dm =
_
A
fdm.
Demostracion. Como f es lmite de funciones integrables es integrable, y
como g es integrable tenemos, de la condicion sobre g, que para todo n N
f
n
es integrable, y por la misma desigualdad, tomando lmite, obtenemos
[f[ g, lo que implica que f es integrable.
Ahora bien, 2g [f
n
f[ es una funcion medible no negativa y satisface
_
A
liminf(2g [f
n
f[) dm =
_
A
liminf 2g dm
y por el Lema de Fatou las funciones 2g [f
n
f[ satisfacen
_
A
2g dm liminf
_
A
2g [f
n
f[ dm
_
A
2g dm+ liminf(
_
A
[f
n
f[ dm)
_
A
2g limsup
_
A
[f
n
f[ dm
y por lo tanto limsup
_
A
[f
n
f[ dm 0 de donde
_
A
[f
n
f[ dm = 0.
Para mostrar la ultima armacion del teorema observemos que
_
A
(f
n
f) dm
_
A
[f
n
f[ dm
y por lo tanto
0 lim
n
_
A
(f
n
f) dm
lim
n
_
A
[f
n
f[ dm = 0,
de donde lim
n
_
A
(f
n
f) dm = 0 y
_
A
f dm = lim
n
_
A
f
n
dm.
3.2 Otros Modos de Convergencia
A continuacion estaremos trabajando en un espacio medible (, /, ), con
funciones f : R. Para funciones denidas en A , A medible,
podemos denir en todo una nueva funcion

f con la propiedad que
_
fd =
_
A
fd
secci on 3.2. otros modos de convergencia 47
del modo siguiente

f : R, con

f(x) = f(x) cuando x A y

f(x) = 0
si x , A.
En la seccion anterior vimos teoremas que dicen cuando el lmite de
funciones integrables es integrable y si el lmite de las integrales es la inte-
gral del lmite. Pero al hacer esto lo hicimos para el caso particular en que
la convergencia de las funciones se da en todo punto.
Una primera generalizacion es denir la convergencia en casi todo
punto ( c.t.p. ). Diremos que la sucesion f
n
: R converge c.t.p.
a la funcion f : R si existe un subconjunto A medible tal que
( A) = 0 y la sucesion f
n
converge en todo punto x A. Esta denicion
y el hecho de que la integral de un conjunto de medida cero es cero hace que
podamos facilmente adaptar las demostraciones de los teoremas anteriores
para el caso en que las sucesiones solo converjan en casi todo punto.
Damos a continuacion la denicion de otros tipos de convergencia de
funciones:
1. Decimos que f
n
: R, n N, converge uniformemente a la
funcion f : R si para todo > 0 existe n
0
> 0 tal que
sup
x
[f
n
(x) f(x)[ < para todo n n
0
.
2. Decimos que f
n
: R, n N, converge en media a la funcion
f : R si
lim
_
[f
n
f[d = 0 .
La convergencia en media tambien se denomina convergencia en L
1
.
3. Decimos que f
n
: R, n N, converge en medida a f : R
si
lim
n
(x : [f
n
(x) f(x)[ ) = 0
para todo > 0.
4. Decimos que f
n
: R, n N, converge casi uniformemente a
f : R si para cada > 0 existe un conjunto E
medible con
(E
) < y tal que f

n
[
\ E
converge uniformemente a f[
\ E
.
A continuacion daremos algunos teoremas que relacionan estos diversos
modos de convergencia. No todas las posibles relaciones estan incluidas y
algunas han sido adaptadas para que se ajusten al caracter basico de este
librito.
Es evidente de las deniciones que convergencia uniforme implica que
converge en todo punto y por lo tanto en casi todo punto.
La convergencia casi todo punto no implica la convergencia en media.
Sin embargo en el caso en que la sucesion sea dominada s, como vimos en
la seccion anterior (Teorema 3.1.2).
Para el caso en que la medida del espacio es nita, como en el caso de
los espacios de probabilidad, tenemos
Proposicion 3.2.1 Suponga que () < y que f
n
es una sucesion que
converge uniformemente a f en , entonces f es integrable y f
n
converge
e f en media.
Demostracion. De la convergencia uniforme, dado > 0 existe n() tal
que n > n() implica [f
n
(x) f(x)[ < para todo x , por lo tanto
_
[f
n
f[d < () para todo n > n()
que es lo mismo que decir lim
_
[f
n
f[d = 0.
La convergencia en medida no implica la convergencia casi todo punto
pero si la existencia de una subsucesion que lo hace.
Proposicion 3.2.2 Si la sucesion f
n
converge en medida a f entonces
existe una subsucesion que converge casi todo punto a f.
Demostracion. La denicion de convergencia en medida es equivalente a
que para todo > 0 y todo > 0 se puede hallar N > 0 tal que si n > N
se tiene que el conjunto E = x : [f
n
(x) f(x)[ es tal que
(E) < , esm decir, es peque no en medida.
Por lo tanto, para cada k N si tomo = 2
k
y = 2
k
podemos hallar
un n(k) sucientemente grande tal que E
k
= x : [f
n(k)
(x) f(x)[
2
k
tiene medida (E
k
) < 2
k
.
Tomando F
k
=
j=k
E
k
tenemos F
k
medible y (F
k
) < 2 2
k
.
As, el conjunto F =
k=1
F
k
tiene medida nula.
Solo falta mostrar entonces que si x , F entonces
lim
k
f
n(k)
(x) = f(x) .
En efecto, como x , F entonces x , F
k
para ning un k. Esto es, existe
k
0
> k tal que x , E
k
0
es decir [f
n(k)
(x) f(x)[ < 2
k
0
. Luego si x , F,
dado > podemos tomar k sucientemente grande como para que 2
k
<
y as tenemos que existe k
0
tal que [f
n(k)
(x) f(x)[ < 2
k
0
< . Lo que
demuestra el lmite que queramos.
Corolario 3.2.1 Si la sucesion f
n
converge en medida a f entonces
existe una subsucesion que converge casi uniformemente a f.
Demostracion. Este corolario viene de la demostracion del teorema ante-
rior, pues la subsucesion mostrada satisface que para todo puedo escoger
el conjunto F
k
0
con (F
k
0
) < , bastando para ello tomar k
0
suciente-
mente grande. Una vez jado el k
0
grande debemos mostrar que en el
conjunto F
k
0
la subsucesion converge uniformemente.
En efecto, observe que si x , F
k
0
entonces x , E
j
para todo j > k
0
,
esto es [f
n(j)
(x) f(x)[ < 2
j
para todo j > k
0
. Luego dado > 0
tome j
0
sucientemente grande (y mayor que k
0
) como para que 2
j
0
<
. Escogiendo de esa manera podemos ver que sup
x\ F
k
0
[f
n(k)
(x)
f(x)[ < para todo k > j
0
> k
0
, lo que demuestra la armacion.
Para el siguiente teorema necesitamos la siguiente denicion: Decimos
que f
n
es una sucesion de Cauchy en media si para todo > 0 existe
N > 0 tal que si n, m > N entonces
_
[f
n
f
m
[d < .
Teorema 3.2.1 Si la sucesion f
n
es de Cauchy en media, entonces
existe una funcion f integrable tal que f
n
f en media.
Demostracion. Como la sucesion f
n
es de Cauchy, para cada k N
podemos escoger una subsucesion f
n
k
tal que [f
n
k+1
f
n
k
[ < 2
k
. Para
simplicar la no tacion haremos g
k
= f
n
k
. Ahora construyamos la siguiente
sucesion
h
n
= [g
1
(x)[ +
n
k=1
[g
k+1
(x) g
k
[,
y usamos el Lema de Fatou para armar que se cumple.
_
liminf h
n
d liminf
_
_
[g
1
(x)[ +
n
k=1
[g
k+1
(x) g
k
[
_
d (3.2)
Observe que el lado derecho de la ecuacion (3.2) es acotado pues la suma-
toria es nita ( 1), debido a la forma como se escogieron los g
n
.
Por otro lado, como (h
n
) es una sucesion monotona creciente de fun-
ciones no negativas, se tiene que liminf h
n
(x) = limh
n
(x) = h(x) con-
siderando h(x) puede ser nito o +.
En conclusion,
_
hd
_
[g
1
(x)[d + 1,
como g
1
es integrable entonces h es integrable y por lo tanto E = x :
h(x) < tiene complemento con medida nula, esto es, ( E) = 0.
Esto es la serie que dene h converge c.t.p. . Es decir podemos denir
f(x) =
_
g
1
(x)
n
k=1
g
k+1
(x) g
k
si x E
0 si x , E .
Con esta denicion y con lo mostrado anteriormente tenemos que f es
integrable. Tambien, [g
k
[ [g
1
[ +
k1
j=1
[g
j+1
g
j
[ h y g
k
f c.t.p. , lo
que nos permite usar el Teorema de la Convergencia Dominada para decir
que f es integrable g
k
f en media.
Solo falta ver que efectivamente f
n
converge a f en media.
De la deniicon de sucesion de Cauchy, dado > 0 y tomando m > N()
y k sucientemente grandes tenemos
_
[f
m
g
k
[d .
Aplicando el Lema de Fatou para la sucesion en k vemos que
_
[f
n
f[d liminf
k
_
[f
m
g
k
[d ,
para tod m N(). Lo que prueba que f
n
Proposicion 3.2.3 Si una sucesion converge en media entonces converge
en medida.
Demostracion. Para cada > 0 hacemos
E
n
() = x : [f
n
(x) f(x)[ ,
entonces
_
[f
n
f[d
_
E
n
()
[f
n
f[d (E
n
()).
Como
_
[f
n
f[d 0 esto implica que (E
n
()) 0, pues > 0.
Proposicion 3.2.4 Sea f
n
una sucesion de funciones integrables que
converge en medida a f y sea g integrable tal que [f
n
(x)[ < g(x) c.t.p. .
Entonces f es integrable y f
n
Demostracion. Suponga que f
n
no converja a f en media. Entonces se
puede conseguir una subsucesion (g
k
) de f
n
tal que
_
[g
k
f[d >
para todo k.
Como g
k
es una subsucesion de f
n
entonces tambien converge en medida
a f, luego, existe una subsucesion h
r
(de g
k
) tal que h
r
converge a f c.t.p. , y
tambien [h
r
()[ < g(x). De aqu, y usando el Teorema de la Convergencia
Dominada se tiene que h
r
converge a f en media, pero esto no debera
ocurrir pues h
r
es un subsucesion de g
k
.
La convergencia casi uniforme implica la convergencia en casi todo
punto.
Proposicion 3.2.5 Si f
n
f casi uniformemente entonces f
n
f
c.t.p. .
Demostracion. Como la convergencia es casi uniforme podemos tomar
deltas tan peque nos como queramos, digamos
k
= 2
k
y obtener para
cada uno de ellos un conjunto medible E
k
con (E
k
) < 2
k
y tal que
f
n
converge uniformemente a f cuando los restringimos a E
k
.
Considere los conjuntos F
k
=

i=k
E
i
, los cuales forman una sucesion
decreciente con k. Tome F =
i=1
F
k
, que es medible, y como
(F
k
)
i=k
(E
k
) < 2
(k1)
para todo k tenemos que (F) = 0 pues (F) = lim
k
(F
k
) = 0.
Como f
n
f uniformemente en E
k
y como E
k
F
k
tenemos f
n

f uniformemente en F
k
y por lo tanto f
n
(x) f(x) en todo x , F
k
.
Podemos asegurar entonces que si x , F
k
para todo k, f
n
(x) f(x) y por
lo tanto f
n
f c.t.p. .
Proposicion 3.2.6 Si una sucesion converge casi uniformemente a f en-
tonces converge en medida.
Demostracion. Como f
n
f casi uniformemente dado > 0 existe
E
con (E
) < y f
n
f uniformemente en E
. Por lo tanto
para todo > 0 si n sucientemente grande
E
n
() = x : [f
n
(x) f(x)[
esta contenido en E
. Luego (E
n
()) < (E
) < , y as f
n
f en
medida.
El ultimo teorema de esta seccion es el Teorema de Egoro, el cual
a nadira mas relaciones entre los diferentes tipos de convergencia cuando se
trata de espacios de medida nita, como el caso muy usado de las medidas
de probabilidad.
Teorema 3.2.2 (Egoro) Suponga que () < y que f
n
es una
sucesion de funciones medibles, reales que convergen casi todo punto a la
funcion f medible y real. Entonces existe la sucesion converge casi uni-
formemente y en medida a f.
Demostracion. Observe que debido a la proposicion anterior solo es nece-
sario mostrar que la f
k
converge casi uniformemente a f.
53
Suponga que f
n
f en todo punto del conjunto R con (R) = 0.
Si m, n N dena
E
n
(m) =
_
k=n
_
x : [f
k
(x) f(x)[
1
m
_
.
Tenemos que los E
n
(m) son medibles y E
n+1
E
n
(m) y como f
n
(x)
f(x) para todo x , R, entonces
n=1
E
n
(m) R.
Luego, como () < , se tiene
lim
n
(E
n
(m)) =
_

n=1
E
n
(m)
_
= 0 ; para todo m N.
Por lo tanto dado > 0 se puede escoger para cada m un k
m
de modo
que (E
k
m
(m)) <

2
m
. As, tomando E
m=1
E
k
m
(m) tendremos que
(E
) < .
Ahora, si x , E
se tiene que x , E
k
m
luego [f
k
(x) f(x)[ <
1
m
para
todo k > k
m
, demostrando as que f
k
es uniformemente convergente en
E
.
Ejercicios
3.1 Demuestre la desigualdad
_
A
(f
n
f) dm
_
A
[f
n
f[ dm.
3.2 Sean f, g : [, ] funciones medibles, pruebe que los conjun-
tos
x : f(x) < g(x) y x : f(x) = g(x)
son medibles.
3.3 Sean A y B dos subconjuntos medibles de R y f : A R una funcion
integrable Lebesgue. Pruebe que
_
B
fdm =
_
A
(
B
f)dm.
3.4 Considere la funcion f : [0, 1] R denida por f(x) = sen x. Pruebe
que f no es integrable sobre [0, ]
3.5 Sean , R, > 0 y dena f : [0, 1] R como f(0) = 0 y
f(x) = x
sen (x
) cuando x [0, 1]. Para que valores de resulta

f ser integrable Lebesgue sobre [0, 1].
3.6 Diga si las armaciones siguientes son verdaderas y justique su re-
spuesta.
(a) Existen funciones de R en R que no son medibles.
(b) Si la suma de dos funciones es una funcion medible, entonces
cada una de ellas es medible.
Captulo 4
Descomposicion de
Medidas y el Teorema de
Radon-Nikodym
Dado un espacio medible (, /) el conjunto de medidas que se pueden
denir en el es vasto. Es por eso importante ver las relaciones que pueden
ocurrir entre medidas diferentes en el mismo espacio medible.
Decimos que una medida en es absolutamente continua respecto
de en / si para todo conjunto medible E con (E) = 0 se tiene que
(E) = 0. En este caso escribimos << .
Como ejemplo podemos anotar lo siguiente: Si tenemos una medida
denida en / y una funcion f positiva e integrable con respecto a la
medida , es facil ver que deniendo (A) =
_
A
fd obtenemos una medida
denida en la misma -algebra que y por las propiedades de la integral
se tiene que si A satisface (A) = 0 entonces (A) = 0 con lo que << .
En un caso como este se dice que la funcion f representa a la medida .
En el otro extremo tenemos la nocion de medidas singulares. Diremos
dos medidas y en son mutuamente singulares si existen conjunto
medibles A, B tales que = A B y (A) = (B) = 0. En este caso
escribimos . Aunque claramente la denicion es simetrica tambien es
usual decir que es singular respecto de .
55
56 captulo 4. Descomposici on de Medidas
Como ejemplo de esta situacion podemos dar la medida de Lebesgue m
en el intervalo I = [0, 1] y la medida concentrada en el punto p =
1
2
.
Recordemos que (E) = 0 si p , A y (E) = 1 si p E. Tenemos que
m pues podemos tomar A = I p y B = p y tenemos (A) =
m(B) = 0.
Nuestro objetivo sera probar versiones simplicadas del Teorema de
Radon-Nikodym y del Teorema de descomposicion de Lebesgue. Una de
las simplicaciones consiste en que nos restringiremos a medidas nitas,
pero los teoremas valen para espacios de medida -nitos. Un espacio de
medida (, /, ) es -finito si es union numerable de conjuntos con
medida nita.
4.1 Medidas con Signo
Dado un espacio medible (, /), decimos que la funcion : / R es una
medida real (o tambien medida con signo), si () = 0 y es contable-
mente aditiva, esto es
k=1
E
k
_
=
k=1
(E
k
) (4.1)
para cualquier coleccion disjunta de conjuntos medibles E
k
en .
Observe que de la denicion se tiene que () < , mas a un, (E) <
para cualquier conjunto medible E. Esto implica que la serie en el lado
derecho de la ecuacion 4.1 es absolutamente convergente.
Un subconjunto P de es denominado conjunto positivo de la me-
dida real si para todo conjunto medible E se tiene (E P) 0. Simi-
larmente un conjunto N de se denomina negativo si (EN) 0 para
todo E medible.
Teorema 4.1.1 (Descomposicion de Hahn) Si es una medida real,
entonces existen conjuntos P y N en tal que = P N, P N = , y
tal que P es positivo y N es negativo respecto de .
Demostracion. Considere la clase T de todos los conjuntos positivos, esta
clase es no vaca pues el conjunto esta en ella. Tome = sup(A) : A
secci on 4.1. medidas con signo 57
T y una sucesion A
n
de conjuntos en T que aproxime este supremo, i.e.
lim(A
n
) = . Podemos denir ahora P =

n=1
A
n
y como la union de
dos conjuntos positivos es positivo, podemos tomar la sucesion A
n
como
una sucesion creciente de modo que
(E P) = (E
_
n=1
A
n
) = (
_
n=1
E A
n
) = lim(E A
n
) 0
lo que demuestra que P es un conjunto positivo y ademas con la propiedad
que lim(A
n
) = (P) = < .
Solo queda por demostrar que el conjunto N = P es un conjunto
negativo. Si no lo fuera, existe un subconjunto E de N con (E) > 0. El
conjunto E no puede ser positivo pues si hacemos P E obtendramos un
conjunto positivo con medida estrictamente mayor que , lo que contradice
la denicion de . Por lo tanto E contiene un conjunto E
1
medible tal que
(E
1
) 1/n
1
.
Como (E) = (E
1
E E
1
) = (E
1
) +(E E
1
) tenemos que
(E E
1
) = (E) (E
1
) > (E) > 0 .
Otra vez, E E
1
no puede ser positivo por un argumento analogo al
mencionado para E. Por lo que E E
1
contiene conjuntos con -medida
negativa. Tome n
2
el menor numero natural tal que E E
1
contiene un con-
junto E
2
con medida (E
2
) 1/n
2
. Como antes E (E
1
E
2
) no puede
ser positivo y se tomamos n
3
el menor entero tal que E (E
1
E
2
) contiene
un conjunto E
3
con (E
3
) 1/n
3
. Repitiendo este argumento obtenemos
un sucesion (E
k
) de conjuntos medibles tales que (E
k
) 1/n
k
.
Ahora hacemos F =
k=1
E
k
de modo que
(F) =
k=1
(E
k
)
k=1
1
n
k
0
lo que nos da que necesariamente 1/n
k
0. Si G es un subconjunto
medible de E F con (G) < 0, entonces existe un n
k
de modo que (G) <
1/(n
k
1) para un k sucientemente grande. Pero como G E (E
1
E
k
) tenemos una contradicci on pues n
k
debera ser el menor natural
tal que E (E
1
E
k
) contiene un conjunto con medida menor que
1/n
k
.
De este modo, todo subconjunto G de E F debe satisfacer (G) 0, lo
que indicara que E F es positivo para . Como (E F) = (E) (F),
tendramos que P (E F) es un conjunto positivo y con medida mayor
que , lo cual es una contradiccion.
Sigue que el conjunto N = P es negativo para y ya tenemos la
descomposicion requerida.
Los conjuntos P y N se denominan una descomposicion de Hahn de
con respecto a la medida real . En general dicha descomposicion no es
unica, pero esto no causa mayor inconveniente pues se puede demostrar que
los diferentes descomposiciones dieren por conjuntos con medida nula.
4.2 El Teorema de Radon-Nikodym
Diremos que la funcion integrable f representa a la medida si
(E) =
_
E
fd, E /, (4.2)
Teorema 4.2.1 (Radon-Nikodym) Sean y medidas nitas en el es-
pacio medible (, /) y suponga que << . Entonces existe una funcion
integrable positiva denida en tal que f representa a . Mas a un Si existe
otra funcion g que representa a se tiene que f = g en casi todo punto.
Demostracion. Dado c > 0 denotemos por P(c) y N(c) la descomposicion
de Hahn de la medida real c. Si k N, consideremos los conjuntos
medibles
A
1
= N(c), A
k+1
= N((k + 1)c)
k
_
j=1
A
j
.
Observe que los A
k
son disjuntos y que

k
j=1
N(jc) =
k
j=1
A
j
.
Se tiene entonces que A
k
= N(kc)

k1
j=1
N(jc) = N(kc)
k1
j=1
P(jc).
y por consiguiente, si E es un conjunto medible de A
k
, entonces E N(kc)
y E P((k 1)c) con lo que
(E) kc(E) 0 y (E) (k 1)c(E) 0 .
secci on 4.2. teorema de rad on-nikodym 59
Por lo tanto
(k 1)c(E) (E) kc(E). (4.3)
Dena ahora B =

j=1
A
j
=
i
j=1
nftyP(jc), de modo que B P(kc)
para todo k. Esto implica
0 kc(B) (B) () < , para todo k N.
Siendo as (B) tiene que tener medida nula, y como << tambien se
tiene (B) = 0. Observe tambien que B es disjunto de todos los A
k
y que
B
k=1
A
k
= .
Ahora estamos en condiciones de comenzar a buscar la funcion inte-
grable f solicitada en el teorema.
Para cada c > 0 de la construccion anterior podemos denir
f
c
(x) =
_
(k 1)c si x A
k
0 si x B.
Ahora, si E es un conjunto medible cualquiera puede ser escrito como union
disjunta de conjuntos del tipo EB y EA
k
, k N, de modo que usando
la ecuacion 4.3 tenemos
_
E
f
c
d (E)
_
E
(f
c
+c)d
_
E
f
c
d +c().
Ahora formamos una sucesion de funciones tomando c = 2
n
para n N,
y las denotamos f
n
. Siendo as, las funciones f
n
satisfacen
_
E
f
n
d (E)
_
E
f
n
d + 2
n
() (4.4)
para todo n N. Dicho de otro modo, se cumple que
_
E
f
n
d (E) y (E)
_
E
f
m
d + 2
m
()
para cualquier medible E y todo m, n N. Con esta informacion, y
suponiendo que m n, es facil ver que
_
E
(f
n
f
m
)d
2
n
()
para cualquier medible E. Escogiendo en cada caso E
+
n,m
= x :
(f
n
(x)f
m
(x)) 0 y E
n,m
= x : (f
n
(x)f
m
(x)) < 0, obtenemos
_
E
+
n,m
(f
n
f
m
)d
=
_
(f
n
f
m
)
+
d 2
n
()
Donde, como antes, (f
n
f
m
)
+
denota la funcion parte positiva de f
n
f
m
.
Similarmente
_
E
n,m
(f
n
f
m
)d
=
_
(f
n
f
m
)
d 2
n
().
De modo que
_
[f
n
f
m
[d 2 2
n
()
Esto signica que la sucesion f
n
es de Cauchy en media, y por lo
tanto converge en media a una funcion positiva f. Tambien,
_
E
f
n
d
_
E
fd
_
E
[f
n
f[d
_
[f
n
f[d,
para todo n N, que junto con la ecuacion 4.4 quiere decir que
(E) = lim
_
E
f
n
d =
_
E
fd,
para todo E medible, y por lo tanto f es la funcion buscada.
Supongamos ahora que existen dos funciones f y g que representan a
respecto de , esto es
(E) =
_
E
fd =
_
E
gd,
para todo E medible. Podemos escoger entonces E
1
= x : f(x) >
g(x) y E
2
= x : g(x) > f(x) y aplicando la Proposicion 2.4.3
obtenemos f = g c.t.p. .
Teorema 4.2.2 (Descomposicion de Lebesgue) Sean y medidas
nitas en un -algebra /. Entonces existe una medida
1
que es singular
respecto de y una medida
2
que es absolutamente continua respecto de
y tal que =
1
+
2
. Mas a un, las medidas
1
y
2
son unicas.
secci on 4.2. teorema de rad on-nikodym 61
Demostracion. Dena = + de modo que tambien es una medida
nita. De esta denicion tambien se tiene que tanto como son absoluta-
mente continuas respecto de de modo que el Teorema de Radon-Nikodym
implica que existen funciones positivas f y g tales que representan a y
respecto de , esto es:
(E) =
_
E
fd, (E) =
_
E
gd
para todo medible E. Sean A = x : g(x) = 0, y B = x :
g(x) > 0 de tal forma que A B = , y = A B.
Denamos ahora dos medidas
1
y
2
de la siguiente forma
1
(E) = (E A)
2
(E) = (E B) ,
para todo E medible. Queda claro entonces que =
1
+
2
.
Veamos que
1
. En efecto, tenemos que (A) =
_
A
gd = 0 pues g
es identicamente nula en A y
1
(B) = (B A) = 0 pues A B = .
Veamos ahora que
2
<< . Si (E) = 0 se tiene que
_
E
gd = 0,
de modo que g(x) = 0 para c.t.p. x E. Entonces, (E B) = 0
lo que implica (E B) = 0 pues << . Esto ultimo es lo mismo que
2
(E) = (E B) = 0, implicando que
2
<< .
Ahora solo falta la unicidad de esta descomposicion. Vamos a usar el
hecho de que si es una medida satisfaciendo << y entonces
= 0. La prueba de esta armacion la dejamos como ejercicio.
Ahora bien, suponga que existan dos descomposiciones para =
1
+
2
=
1
+
2
, donde
i
y
i
, i = 1, 2, son medidas satisfaciendo
1
,
2
<< ,
1
y
2
<< .
Tenemos que
1
1
=
2
2
es una medida con signo y consideramos
P y N la descomposicion de Hahn de esa medida. Dena h
+
(E) = (
1
1
)(EP) = (
2
2
)(EP), de modo que h
+
es una medida positiva (vea
el Ejercicio 4.2) y tal que h
+
y h
+
<< , de modo que h
+
(E) = 0 para
todo E medible. Similarmente, si denimos h
(E) = (
1

1
)(E N) =
(
2
2
)(E N), obtenemos que h
(E) = 0 para todo E medible.

Juntando estas relaciones tenemos que para todo E medible
0 = h
+
(E) +h
(E) = (
1
1
)(E P) + (
1
1
)(E N)
= (
1
1
)(E)
= (
2
2
)(E)
= (
2
2
)(E P) + (
2
2
)(E N) = h
+
(E) +h
(E) = 0 ,
lo que indica que
1
=
1
y
2
=
2
.
Ejercicios
4.1 Si P
1
and P
2
son conjuntos positivos para una medida con signo
entonces P
1
P
2
tambien es un conjunto positivo para la misma
medida.
4.2 Si P es un conjunto positivo de la medida real entonces
+
(E) = (E P)
dene
+
como una medida (positiva) sobre la misma -algebra.
4.3 Demuestre que si
1
<< y
2
<< entonces
1
+
2
<< .
4.4 Demuestre que si
1
<< y
2
entonces
1

2
.
4.5 Demuestre que si << y entonces = 0.
4.6 Sean y medidas -nitas en en el espacio medible (, /), y tales
que << . Si f es la funcion dada por el teorema de Radon-
Nikodym, entonces pra toda funcion no negativa denida en , se
tiene
_
gd =
_
gfd.
4.7 Demostrar que si tenemos dos medidas, y , satisfaciendo <<
y << entonces existe una funcion g tal que si E = x :
g(x) ,= 0 se tiene
(A) =
_
AE
gd y (A) =
_
AE
1
g
d,
para todo A medible.
Captulo 5
Medidas Producto y el
Teorema de Fubini
El objetivo principal de este captulo es demostrar el Teorema de Fubini, el
cual es de suma importancia para la evaluacion de integrales de funciones
denidas en espacios medibles generados por el producto de espacios medi-
bles. El modelo que uno debe tener presente es una construccion del espacio
medible RR. Es por eso necesario dar las deniciones y algunos resultados
de los espacios producto.
5.1 Espacios Producto
Si tenemos dos espacios medibles (
1
, /
1
) y (
2
, /
2
) al producto cartesiano
de A
1
A
2
con A
i
/
i
, i = 1, 2, le llamaremos un rectangulo medible
del espacio producto =
1

2
. Las uniones nitas de rectangulos
medibles sera denotada por /
0
y es usualmente llamada la clase de los
conjuntos elementales.
Denimos como /
1
/
2
como la menor -algebra en
1

2
que
contiene todos los rectangulos medibles.
Una clase monotona / es una coleccion de conjuntos tales que
Si E
i
/, E
i
E
i+1
para todo i N entonces A =
i=1
E
i
/.
63
Si E
i
/, E
i
E
i+1
para todo i N entonces A =
i=1
E
i
/.
Dado un conjunto E
1

2
y puntos x
1
e y
2
, denimos
la seccion x como E
x
= y
2
: (x, y) E la seccion y como
E
y
= x
1
: (x, y) E. Es evidente de la denicion que E
x

2
y
E
y

1
.
Proposicion 5.1.1 Si E /
1
/
2
entonces E
x
/
2
y E
y
/
1
, para
todo x
1
e y
2
.
Demostracion. Consider la clase de conjuntos siguiente
B = E /
1
/
2
: E
x
/
2
para todo x
1
.
Si E = A
1
A
2
, es facil ver que E
x
= B cuando x A
1
y E
x
= si
x , A
1
, y por lo tanto E B. Esto es, B es una clase de conjuntos que
contiene a los rectangulos elementales. Ademas, no es difcil mostrar que
se satisfacen las siguientes propiedades:
(a)
1
2
B.
(b) Si E B entonces (E
c
)
x
= (E
x
)
c
/
2
para todo x
1
y por lo
tanto E
c
B.
(c) Si E
i
B, y E =

i=1
entonces E
x
=

i=1
(E
i
)
x
/
2
para todo x
y por lo tanto E B.
Con estas tres propiedades la clase B es una -algebra y contiene a los
rectangulos medibles, por lo tanto B = /
1
/
2
. Es decir para todo E
medible se tiene que E
x
es medible. Un procedimiento similar demuestra
la propiedad para la seccion E
y
.
Teorema 5.1.1 La -algebra /
1
/
2
es la menor clase monotonica que
contiene a todos los conjuntos elementales.
Demostracion. Llamemos B a la menor clase monotonica que contiene a
/
0
, los conjuntos elementales, esto es la menor clase monotonica tal que
/
0
B. Para probar el teorema debemos probar que B = /
1
A
2
.
Para esto, observe que como /
1
/
2
tambien es una clase monotonica
65
que contiene los elementales entonces B /
1
A
2
. Para demostrar que
/
1
/
2
B bastara mostrar que B es un -algebra pues ya contiene a los
rectangulos medibles.
Dejamos al lector el ejercicio de demostrar que la interseccion de dos
rectangulos es un rectangulo y que la diferencia de rectangulos es la union
disjunta de una cantidad nita de rectangulos
1
. Por consiguiente si P y Q
son conjuntos elementales, entonces tambien son elementales los conjuntos
P Q y P Q y como P Q = (P Q) Q tambien tenemos que P Q es
elemental.
Dena para cualquier conjunto P
1
2
el conjunto H(P) como
H(P) = Q
1
2
: P Q B , Q P B , P Q B
Nuestro primer armacion es que si Q B entonces B H(Q).
Para esto describamos primero dos propiedades simples de H(P).
(a) Q H(P) si y solamente si P H(Q).
(b) Como B es una clase monotonica, H(P) tambien lo es.
Ahora, je P /
0
un conjunto elemental. De las propiedades de los
conjuntos elementales es facil ver que Q H(P) para todo Q elemental.
Esto es /
0
H(P) si P es elemental y como H(P) es una clase monotonica
se tiene que B H(P) para todo P /
0
. Pero si jamos Q B lo que
probamos es que Q H(P) para todo P elemental, lo que por la propiedad
(a) dice que P H(Q) para todo P elemental. Nuevamente, entonces,
/
0
H(Q) y as B H(Q) para todo Q B, demostrando la armacion.
Usando la armacion precedente tenemos que si P y Q estan en B
entonces P Q y P Q estan en B.
Ahora s veamos que B es una -algebra.
Se tiene que A
1
A
2
/
0
y por lo tanto A
1
A
2
B.
Si Q B entonces Q
c
= A
1
A
2
Q B.
Si P
i
B y P =

i=1
, entonces Q
n
=

n
i=1
P
i
esta en B y de esta
manera P =
Q
n
B de la denicion de clase monotona.
1
Observe que una armacion similar cumplen los intervalos en la recta.
Concluyendo, como B es una -algebra que contiene a los elementales
entonces /
1
/
2
B y como B /
1
/
2
, pues /
1
/
2
tambien es
una clase monotona que contiene a los elementales, tenemos nalmente,
que /
1
/
2
= B.
Para cada funcion f : A
1
A
2
R y cada x A
1
denimos f
x
: A
2
R
tal que f
x
(y) = f(x, y). De modo similar f
y
es la funcion denida en A
2
tal que f
y
(x) = f(x, y).
Teorema 5.1.2 Sea f una funcion /
1
/
2
-medible en
1
2
entonces:
(i) Para todo x
1
, f
x
es /
2
-medible.
(ii) Para todo y
2
, f
y
es /
1
-medible.
Demostracion. De la denicion de que f es medible se tiene que para
todo abierto V R el conjunto Q = (x, y) : f(x, y) V = f
1
(V ) es
medible. Usando la Proposicion 5.1.1 se tiene que
Q
x
= y : (x, y) Q = y : f(x, y) V =
= y : f
x
(y) V = (f
x
)
1
(V )
es medible y por consiguiente f
x
es una funcion /
2
-medible. Usando un
argumento similar se demuestra que f
y
es una funcion /
1
-medible.
5.2 Medidas Producto
El teorema siguiente es la base para la denicion de medida producto, como
se podra apreciar posteriormente. Lo que dice es que dada una funcion
caracterstica medible en un espacio producto, podemos cambiar el orden
de integracion y obtendremos el mismo resultado.
Teorema 5.2.1 Sean (
1
, /
1
, ) y
2
, /
2
, ) dos espacios de medida -
nito. Dado Q /
1
/
2
dena
(x) = (Q
x
) y (y) = (Q
y
), (5.1)
para cada x
1
e y
2
. En estas condiciones es /
1
-medible, es
/
2
-medible y
_
1
d =
_
2
d. (5.2)
67
Demostracion. Sea / clase de conjuntos Q /
1
/
2
para los cuales
la conclusion del teorema se cumple. Queremos mostrar que la conclusion
del teorema vale para todos lo medibles, es decir queremos mostrar que
/ = /
1
/
2
. Para esto primero veamos que se cumplen las siguientes
propiedades.
(a) Todo rectangulo medible esta en /.
(b) Si Q
1
Q
2
, y si cada Q
i
esta en A entonces el conjunto
Q = Q
i
esta en /.
(c) Si (Q
i
) es una coleccion disjunta numerable de conjuntos de / en-
tonces el conjunto Q = Q
i
esta en /.
(d) Si (A) < , (B) < , y A B Q
1
Q
2
, con todos los
Q
i
en / entonces el conjunto Q = Q
i
esta en /.
parte (a) Si Q = AB es un rectangulo medible, entonces
(Q
x
) = (B)
A
(x) y (Q
y
) = (A)
B
(x)
y as las integrales en (5.2) son ambas iguales a (A)(B), lo que demuestra
la parte (a).
parte (b) Sean
i
y
i
las funciones asociadas (como en el enunciado del
teorema) a Q
i
. La propiedad de las medidas y muestra que
lim
i
(x) = (x), lim
i
(y) = (y)
siendo la convergencia monotona creciente en cada punto. Del Teorema de
la Convergencia Mononota, tenemos que
_
d = lim
_

i
d = lim
_

i
d =
_
d.
parte (c) Para union nita disjunta desde Q
1
hasta Q
N
es facil de de-
mostrar pues
Q
1
Q
2
Q
n
=
Q
1
+
Q
2
+
Q
N
de modo que
_
1
d(x)
_
Q
1
Q
2
Q
n
d(y) =
_
1
d(x)
_
2
(
Q
1
+ +
Q
N
)d(y) =
=
_
(
1
+
2
+ +
N
)d(x) =
_
(
1
+
2
+ +
N
)d(y)
=
_
2
d
_
Q
1
Q
2
Q
n
d(x)
Por lo tanto se cumple para la sucesion creciente

Q
N
=

N
i=1
Q
i
. Siendo
as, podemos usar la parte (b) para ver que tambien se cumple para el
conjunto Q =
i=1
Q
i
=
N=1
Q
N
.
parte (d) Es similar a la parte (b) solo que esta vez debemos usar el
Teorema de la Convergencia Dominada, lo cual es posible debido a que
(A) < y (B) < .
Siguiendo con la demostracion del teorema. Como los espacios de me-
dida son -nitos tenemos que
1
=
i=1
E
i
, donde los conjuntos E
i
for-
man una coleccion eneumerable disjunta de conjuntos medibles con medida
nita y
2
=

j=1
F
j
, donde los conjuntos F
j
, son conjuntos disjuntos,
medibles, con medida nita.
Dena Q
m,n
= Q (E
m
F
n
) para cada m, n N y / la clase de los
Q /
1
/
2
tales que Q
m,n
/ para todo m, n. Tenemos lo siguiente:
Las armaciones (b) y (d) anteriores, dicen que / es una clase
monotona.
las armaciones (a) y (c) dicen que los conjuntos elementales estan
en /.
De la denicion tenemos que / /
1
/
2
y como los hechos anteriores
junto con el Teorema 5.1.1 implican que / /
1
/
2
obtenemos que
/= /
1
/
2
.
Hasta aqu, hemos demostrado que para todo Q /
/
2
los conjuntos
Q
m,n
estan en /. A partir de aqu, y considerando que Q es union de
conjuntos disjuntos, todos en /, usamos la parte (c) para concluir que
Q /, lo que completa la prueba.
A la luz de este teorema podemos denir la medida en el espacio
producto (
1
2
, /
1
/
2
) como
( )(Q) =
_
1
(Q
x
)d(x) =
_
2
(Q
y
)d(y) .
A le llamamos el producto de de las medida y . El hecho de
que es una medida viene de las propiedades basicas de la integracion
y observe que tambien la medida es -nita.
69
5.3 El Teorema de Fubini
Teorema 5.3.1 Sean (
1
, /
1
, ) y (
2
, /
2
, ) espacios de medida -
nitos, y f una funcion /
1
/
2
-medible en
1
2
.
(a) Si 0 f , y si
(x) =
_
2
f
x
d, (y) =
_
1
f
y
d, (x
1
, y
2
). (5.3)
entonces es /
1
-medible, es /
2
-medible y
_
1
d =
_
2
fd( ) =
_
2
d (5.4)
(b) Si f es una funcion real
1
2
-integrable entonces
f
x
es -integrable para -casi todo x
1
,
f
y
es -integrable para -casi todo y
2
,
, que esta denida - c.t.p. , es -integrable,
, que esta denida - c.t.p. , es -integrable.
Mas a un, se cumple la ecuacion (5.4).
Demostracion. El teorema anterior implica que la parte (a) vale cuando
f =
Q
es una funcion caracterstica medible. Por linealidad de la integral
tambien vale para funciones simples.
Ahora, si f es un funcion no negativa, entonces existe una sucesion
monotona de funciones simples que tales que s
n
f entonces por el Teo-
rema de la Convergencia Monotona, se tiene que
_
n
d =
_
2
s
n
d( ) =
_
n
d
vale para todo n y por lo tanto tambien en el lmite, i.e.
_
1
d =
_
2
fd( ) =
_
2
d,
donde
n
y
n
estan asociados a s
n
del mismo modo en que y estan
asociados a f. Lo que demuestra la parte (a).
Para probar la parte (b) descomponga f en su parte positiva y su parte
negativa, esto es f = f
+
f
, de modo que [f[ = f

+
+ f
. Asociemos
1
a f
+
del mismo modo en que esta asociados a f. De modo similar
denimos
2
.
Usando la parte (a)
_
1
d =
_
2
f
+
d( )
_
[f[ <
_
2
d =
_
2
f
d( )
_
[f[ <
Como la funcion
1
es no negativas, se tiene que
1
es -integrables.
Mas a un,
_
1
(x)d(x) <
lo que implica que
1
x) < para - c.t.p. x
1
. Pero
1
(x) =
_
2
f
+
x
(y)d(y) es decir f
+
x
es -integrable en los mismos x donde (x)
es nita. Un razonamiento analogo demuestra que (f
y
)
+
es -integrable
en los y donde
2
(y) es nito, esto es - c.t.p. y
2
.
Como f
x
= (f
+
)
x
(f
)
x
y [f
x
[ = (f
+
)
x
+(f
)
x
tendremos que f
x
es
-integrable para los x donde tanto
1
(x) como
2
(x) son nitos. Lo que
sucede - c.t.p. x
1
, pues
1
y
2
son integrables. Observe tambien
que (x) =
1
(x) (x) lo que implica que es -integrable.
Una vez comprobados estos hechos para , la mitad de la ecuacion 5.4
ya esta probada
_
1
d =
_
2
fd( )
La otra mitad sigue de un razonamiento analogo al anterior para la funcion
, concluyendo la prueba de la parte (b).
Observe que la ecuacion 5.4 tambien se escribe en la forma
_
1
d(x)
__
2
f(x, y)d(y)
_
=
_
2
fd( ) =
=
_
2
d
__
1
f(x, y)d(x)
_
,
que es una forma un poco mas familiar del Teorema de Fubini.
71
Ejercicios
5.1 Sean (
1
, /
1
) y (
2
, /
2
) dos espacios medibles. SI A
j
/
1
y B
j

/
2
para j = 1, . . . , n, entonces el conjunto
n
_
j=1
(A
j
, B
j
)
puede ser escrito como union disjunta de una cantida nita de
rectangulos en
1
2
.
5.2 Sea A
j

1
y B
j

2
, j = 1, 2. entonces
(A
1
B
1
) (A
2
B
2
) = [(A
1
A
2
) (B
1
B
2
)] [(A
1
A
2
) B
1
]
y tambien
(A
1
B
1
) (B
1
B
2
) = (A
1
A
2
) (B
1
B
2
).
5.3 Dada una funcion f : R R, medible con respecto a la medida
de Lebesgue, entonces la funcion F : R R R denida como
F(x, y) = f(x y) tambien es medible.
5.4 Considere
1
=
2
= [0, 1], y en ambos espacios la -algebra de los
Lebesgue medibles. Sea la medida de de Lebesgue en el intervalo
(para
1
) y la medida de conteo en
2
. Si D = (x, y) : x = y,
muestre que D es medible con respecto a la -algebra producto, pero
que
_
(D
x
)d(x) ,=
_
(D
y
)d(y) .
5.5 Si a
nm
0 para m, n N, entonces
m=1
n=1
a
mn
=
n=1
m=1
a
mn
( ).
5.6 Sea a
mn
denida para m, n N del siguiente modo: a
nn
= 1,
a
n,n+1
= 1, y a
mn
= 0 si m ,= n o m ,= n + 1. Muestre que
m=1
n=1
a
mn
= 0
n=1
m=1
a
mn
= 1.
Apendice A
De Abiertos, Cerrados y
Aproximaci on de
Conjuntos Medibles
Aqu trataremos de dar una idea de cuan grande puede ser la coleccion
de los conjuntos medibles seg un Lebesgue (vease Captulo 1) a traves de
teoremas de aproximacion de conjuntos. La proximidad de dos conjuntos
sera establecida por la medida de la diferencia entre ellos.
Lema A.0.1 Todo conjunto abierto de R es la union de una coleccion
contable de intervalos abiertos.
Demostracion. Es claro que el conjunto Q de los racionales es numerable,
y escoja z
n
nN
una enumeracion de Q. Si G R es abierto, para todo
z G Q considere el intervalo C(z,
1
n
z
) con centro z y de tama no
1
n
z
,
donde n
z
es el menos natural tal que C(z,
1
n
z
) G.
Considere el conjunto G
0
=
zGQ
C(z,
1
n
z
) de modo que G
0
es abierto
y tambien G
0
G.
Por lo tanto para probar el lema solo falta mostrar que G G
0
.
En efecto, sea y G y como G es abierto, existe C(y,
1
n
z
), tal que
C(y,
1
n
z
) G para alg un n
z
sucientemente grande. Considere el cubo
73
74 ap endice A. aproximaci on de conjuntos medibles
C(y,
1
2n
z
), con la mitad del radio que el anterior. Como Q es denso en
R existen innitos puntos racionales en G C(y,
1
2n
z
). Sea el primero
(considerando el orden de la enumeracion de Q). Luego
G C(y,
1
2n
z
) lo que implica que C(,
1
2n
z
) C(y,
1
n
z
) y ademas
y C(,
1
n
z
) C(,
1
n
) G
0
lo que implica que G G
0
y el lema esta probado.
Teorema A.0.2 Todo abierto y todo cerrado de R es Lebesgue medible.
Demostracion. Todo abierto es medible pues es union numerable de inter-
valos abiertos, que son medibles. Todo cerrado es complemento de abiertos
y por lo tanto medible.
Un subconjunto E R con m
(E) = 0 se llama conjunto con medida

(de Lebesgue) nula .
Proposicion A.0.1 Si Z R es de medida nula entonces Z es medible.
Mas a un, cualquier subconjunto de Z es medible con medida nula.
Demostracion. De la denicion de medida exterior y de la denicion de
conjunto medible.
Aunque se incline a pensar que los conjuntos con medida nula, o son
puntos, o un conjunto numerable, tambien existen conjuntos no numerables
con medida nula. Ejemplo, el conjunto de Cantor tercios (vea [5]).
Teorema A.0.3 Si E R es medible y x R entonces la traslacion xE
es medible con la misma medida, i.e.
m(x E) = m(E) .
Demostracion. Dados dos conjuntos arbitrarios A y B contenidos en R,
y z R, se comprueba facilmente que
(z A) B = z (A ((z) B)) .
secci on A.1. aproximaci on por abiertos 75
y tambien
x B
c
= (x B)
c
.
Si tenemos x, z con x = z, entonces de la invariancia de m
resulta
m
((z A) B) = m
(A (x B)) .
Sea E un conjunto medible, usando los resultados anteriores con B = E
y B = E
c
obtenemos
m
(A) = m
(z A) = m
((z A) E) +m
((z A) E
c
)
= m
(A (x E)) +m
(A (x B
c
))
= m
(A (x E)) +m
(A (x E)
c
).
Las ecuaciones anteriores valen para todo A medible, por lo tanto xE es
medible, y como m
(x E) = m
(E), tenemos que m(x E) = m(E).

A.1 Aproximacion por Abiertos
Veamos primero que todo subconjunto de R se puede aproximar por un
conjunto que es interseccion de abiertos y que tiene la misma medida ex-
terior.
Lema A.1.1 (i) Si A R y > 0, entonces existe un abierto G R tal
que A G y m(G) m
(A) +, y por lo tanto m
(A) = infm(G) :
A G, G abierto.
(ii) Si A R, entonces existe un conjunto H que es interseccion de
abiertos y tal que A H con m
(A) = m
(H).
Demostracion. Prueba de (i). Asumimos que m
(A) < , pues el

caso contrario es obvio. Entonces, existen celdas I
k
abiertas tal que
A
k=1
I
k
, con
k=1
(I
k
) m
(A) +, .
Denimos G como G =
k=1
I
k
. Vemos que G es abierto y ademas
m(G)
k=1
m
(I
k
) =
k=1
(I
k
) m
(A) + ,
que junto con la denicion de nmo prueba esta parte del lema.
Prueba de (ii). Para cada n N llamamos G
n
al abierto obtenido usando
la parte (i) del lema con = 1/n, es decir
m(G
n
) m
(A) +
1
n
.
Denimos el conjunto H como
H =
n=1
G
n
de modo que A H G
n
para todo n N, lo que implica que
m
(A) m
(H) m
(A) +
1
n
para todo n N y por lo tanto m
(A) = m
(H).
De aqu es inmediato el siguiente corolario.
Corolario A.1.1 Todo conjunto de medida nula es una subconjunto de un
conjunto que es interseccion de abiertos y que tiene medida nula
Demostracion. Si Z es un conjunto de medida nula, entonces existe H tal
que Z H tal que m
(Z) = m
(H) = 0, con H interseccion de abiertos

por el lema anterior.
Observe que aun cuando conseguimos para cualquier conjunto A un
conjunto H, que sabemos medible, con la misma medida exterior, el con-
junto H A no tiene necesariamente medida peque na o nula. Este caso se
da solo cuando el conjunto A es medible, como veremos en lo que sigue.
Teorema A.1.1 Un conjunto E de R es medible si, y solamente si, para
todo > 0 existe un abierto G tal que E G y
m
(G E) < .
Demostracion. Si E es medible y m(E) < , entonces existe G con
E G tal que m(G) < m(E) + . De la denicion de que E es medible
tambien tenemos
m(G) = m(G E) +m(G E) = m(E) +m(G E) ,
secci on A.1. aproximaci on por abiertos 77
y como m(E) < se tiene m(G E) = m(G) m(E) < .
Ahora, si m(E) = denimos E
1
= Ex : [[x[[ 1, E
n
= Ex :
n 1 < [[x[[ n, y E =
E
n
.
De modo que para todo n N podemos tomar G
n
abierto con E
n
G
n
y tal que m(G
N
E
n
) <

2
n
. Si denimos G =
n=1
G
n
, tendremos que G
es abierto, E G y G E
n=1
(G
n
E
n
) y por lo tanto
m(G E)
m(G
n
E
n
)

2
n
= .
Supongamos ahora que para todo > 0 podemos hallar un abierto G
tal que E G y m
(G E) < , es decir, podemos construir una sucesion

de abiertos G
n
todos contenidos en E y con m
(G
n
E) <
1
n
.
Sea H =

n=1
G
n
, este conjunto es medible pues es interseccion de
abiertos. Se tiene tambien que H G
n
para todo n N. Entonces se
cumple que H E G
n
E y
m
(H E) m
(G
n
E) <
1
n
,
para todo n N, y por lo tanto m
(H E) = 0, lo que, por la Proposicion

A.0.1, quiere decir que H E es medible y entonces E = H (H E) es
medible.
Corolario A.1.2 Si E R es medible entonces para todo > 0 existe un
abierto G, que contiene a E, con m(G) m(E) +. Mas a un, se tiene
m(E) = infm(G) : G es abierto y G E .
Demostracion. Es claro, hagalo.
Corolario A.1.3 Las siguientes armaciones son equivalentes:
(i) El conjunto E R es Lebesgue medible.
(ii) Existe un conjunto H que es interseccion de abiertos, con E H tal
que m
(H E) = 0.
(iii) Existe un conjunto H que es interseccion de abiertos, y un conjunto
Z de medida nula tal que E H, Z H y E = H Z.
A.2 Aproximacion por Cerrados
Teorema A.2.1 Un conjunto E R es Lebesgue medible si, y solamente
si, para cada > 0, existe un conjunto F cerrado, con F E y
m
(E F) < .
Demostracion. Si E es medible, E
c
tambien lo es. Entonces por el
teorema anterior existe un conjunto G abierto tal que E
c
G y con
m(G E
c
) < . Sea F = G
c
, y por lo tanto F es cerrado, con F E,
y ademas E F = E G = G (E
c
), de modo que
m(E F) = m(G E
c
) < .
Supongamos ahora que para todo n N existe F
n
E con
m
(E F
n
) <
1
n
. Sea K =

n=1
F
n
, y por lo tanto es medible pues es
union de cerrados y como F
n
K tenemos E K E F
n
, lo que implica
m(E K) m
(E F
n
) <
1
n
,
para todo n N, y por lo tanto m
(E K) = 0, y as el conjunto E K es
medible, con lo que el conjunto E = K (E K) es medible .
Corolario A.2.1 Si E R es Lebesgue medible, entonces para todo > 0
existe un conjunto F, cerrado, con F E, y m(E) m(F) +. Mas a un,
m(E) = supm(F) : F es cerrado, F E .
Corolario A.2.2 Las siguientes armaciones son equivalentes:
(i) El conjunto E R es Lebesgue medible.
(ii) Existe un conjunto K que es union de cerrados, con K E tal que
m
(E K) = 0.
(iii) Existe un conjunto K que es union de cerrados, y un conjunto Z de
medida nula tal que K E, Z E y E = K Z.
secci on A.3. aproximaci on por compactos 79
A.3 Aproximacion por Compactos
Recordamos el hecho basico de que un compacto tiene medida nita pues
esta contenido en una intervalo sucientemente grande.
Teorema A.3.1 Un conjunto E R con m
(E) < es Lebesgue medible

si, y solamente si, para todo > 0 existe un conjunto C, compacto tal que
C E y
m
(E G) < .
Demostracion. Sea E un conjunto medible. Para cada n N considera-
mos E
n
el conjunto denido por E
n
= Ex : [x[ n. Como la sucesion
E
n
crece monotonamente a E, entonces m(E
n
) converge monotonamente a
m(E) . Luego, existe n
0
N tal que m(E) < m(E
n
0
) +

2
. Pero como
E
n
0
es medible, existe un cerrado C contenido en E
n
0
y con m(E
n
0
C) <
/2. De la denicion de conjunto medible
m(E) = m(E E
n
0
) +m(E
n
0
)
y como m(E) < , tenemos
m(E E
n
0
) = m(E) m(E
n
0
) <

2
,
y ademas como E C = E E
n
0
(E
n
0
C), obtenemos
m(E C) = m(E E
n
0
) +m(E
n
0
C) = ,
con C cerrado, limitado y por lo tanto compacto en R.
Supongamos ahora que para todo n N existe un conjunto C
n
com-
pacto, contenido en E, tal que m
(E C
n
) <
1
n
. Considere el conjunto C
denido como C =
n=1
C
n
. Entonces C es medible, y E C E C
n
, y
as
m
(E C) m
(E C
n
) <
1
n
.
para todo n N y por lo tanto m
(E C) = 0, implicando que E =
(E C) C es medible.
A.4 Aproximacion por Intervalos
Teorema A.4.1 Si E es Lebesgue medible con medida nita y > 0, en-
tonces existen intervalos abiertos (limitados) I
i
n
i=1
tal que si K =
n
i=1
I
i
entonces
m(EK) < .
Demostracion. Existe un conjunto G abierto que cubre E, i.e. E G
con m(G) m(E) +

2
, y sabemos tambien que este conjunto abierto es
union de un conjunto numerable de intervalos, es decir G =
i=1
I
i
.
Tambien existe un compacto C E tal que m(E C) <

2
. Como E
tambien esta contenido en G, existe un n umero nito de I
i
n
i=1
que siguen
cubriendo C. Dena el conjunto K como K =

n
i=1
I
i
, de modo que se
tiene c K G y C E G, y por lo tanto
m(EK) = m(E K) +m(K E)
m(E C) +m(G E)

Hacemos notar que el mismo teorema se puede demostrar reemplazando

los I
i
por intervalos cerrados, semiabiertos, o dos a dos disjuntos, y que los
teoremas en este captulo pueden ser demostrados con poqusimas modi-
caciones para medidas de Lebesgue y conjuntos en R
p
donde consideramos
el -algebra producto.
Bibliografa
[1] Bartle, Robert G., The Elements of Integration and Lebesgue Measure.
Jhon Wiley & Sons, Inc. New York (1996).
[2] Fernandez, Pedro J., Medida e Integracao. Projeto Euclides IMPA 2
a
Edicion. Rio de Janeiro (1996).
[3] Frid Neto, Hermano, Introducao `a Integral de Lebesgue. Monografas
del IMCA 5. Lima (1999).
[4] Gatica, Juan A., Introduccion a la Integral de Lebesgue en la Recta.
O.E.A. (1997).
[5] Lima, Elon L., Analisis Real Vol. 1. Textos del IMCA 1, Lima (1997).
[6] Lima, Elon L., Curso de Analise Vol. 2. Projeto Euclides IMPA 4
a
Edicion. Rio (1995).
[7] Metzger, Roger J., Teora de la Medida en R. XX Coloquio de la
Sociedad Matematica Peruana, SMP, 2002.
[8] Rudin, Walter, Real and Complex Analysis. Mc. Graw-Hill. Singapore
(1987).
81

C Basico de Teoria de La Medida RM

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

C Basico de Teoria de La Medida RM

Încărcat de

Drepturi de autor:

Formate disponibile

Contenido

: T(R) [0, ], llamada medida

(E), se dene por el

(E) = inf(G) : G R es abierto y E G .

(B) para conjuntos

a una familia L de subconjuntos

la medida exterior denida en los subconjuntos de R. Un con-

(A) < se tiene

(A) < implica que m

(E) para todo E L.

(A I) y por lo tanto I es medible.

(A) = 0 entonces A es medible.

(E) < entonces

(a) = 0. Concluya que el conjunto Q de los

Sean A y B conjuntos medibles de con B A. Si f : A R es

Ejemplo 7. Considere el espacio (N, T(N), ) donde es la medida de

, y de ah facilmente se deduce que si

son la parte positiva y la parte negativa

Teorema 3.1.2 (Convergencia Dominada) Sea A un conjunto medible

) < y tal que f

) cuando x [0, 1]. Para que valores de resulta

(E) = 0 para todo E medible.

, de modo que [f[ = f

(E) = 0 se llama conjunto con medida

(E), tenemos que m(x E) = m(E).

(A) +, y por lo tanto m

(A) < , pues el

(H) = 0, con H interseccion de abiertos

(G E) < , es decir, podemos construir una sucesion

(H E) = 0, lo que, por la Proposicion

(E) < es Lebesgue medible

Hacemos notar que el mismo teorema se puede demostrar reemplazando

S-ar putea să vă placă și