Documentos de Académico
Documentos de Profesional
Documentos de Cultura
de Lebesgue
Roberto Quezada Batalla
Departamento de Matematicas, UAM-I
2
Indice general
1. La Integral de Riemann 5
2. La medida de Lebesgue 17
2.1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.2. La medida exterior de Lebesgue . . . . . . . . . . . . . . . . . . . 18
2.3. La -algebra de los subconjuntos medibles . . . . . . . . . . . . . 21
2.4. Subconjuntos no medibles . . . . . . . . . . . . . . . . . . . . . . 34
2.5. Espacios de medida . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3. Funciones medibles 39
3.1. Casi dondequiera . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.2. Los teoremas de Egoro y Lusin . . . . . . . . . . . . . . . . . . 46
4. La integral de Lebesgue 49
4.1. La integral de funciones no negativas. . . . . . . . . . . . . . . . 59
4.2. La integral de funciones complejas . . . . . . . . . . . . . . . . . 65
5. Apendice 71
3
4
INDICE GENERAL
Introduccion
Estas notas son una breve introduccion a la teora de la medida e integral
de Lebesgue, incluyen conceptos y resultados considerados clasicos y que todo
joven matematico debe conocer.
Hemos hecho un intento serio por hacer accesible al lector los resultados mas
importantes de la teora en toda su extension sin simplicarlos, discutiendolos
de una manera completa y sin dejar huecos. Para entender el material de estas
notas solo se necesita un buen conocimieto del Calculo Diferencial e Integral,
en la forma que se desarrolla en los cursos de Calculo Avanzado. No obstante,
al nal de las notas hemos incluido un apendice con algunos de los conceptos
usados a lo largo de ellas.
Nuestro objetivo principal es presentar aquellas partes de la teora que son
indispensables y encuentran aplicacion inmediata en otras areas, por ejemplo
en Probabilidad y en Fsica Matematica. Consecuentemente, otros temas como
integracion y diferenciacion, medidas en espacios abstractos, espacios L
p
, series
de Fourier, integral de Lebesgue-Stieltjes, tambien considerados clasicos, han
quedado fuera. Los lectores interesados en estos temas pueden estudiarlos en
los cursos mas avanzados de Analisis Matematico o bien pueden leerlos en las
referencias incluidas al nal de las notas.
El Captulo 1 contiene un breve repaso de la integral de Riemann, presentada
de una manera tal que la integral de Lebesgue resulta ser una extension natural
de ella obtenida al reemplazar la clase de las funciones aproximantes, funciones
escalonadas, por la clase mas general de las funciones simples.
La medida de Lebesgue en la recta real se desarrolla en el Captulo 2, in-
cluyendo la construccion de la -algebra de los subconjuntos Lebesgue-medibles
a partir de la condicion de Caratheodory, que interpretamos como una condi-
cion de separabilidad; en la Proposicion 2.3.17 demostramos varias condiciones
equivalentes a la de Caratheodory, las cuales permiten interpretar de manera
intuitiva el concepto de medibilidad.
La clase de las funciones medibles se trata en el Captulo 3, incluyendo los
resultados sobre aproximacion por funciones continuas. La integral de Lebesgue
se trata en el Captulo 4, primero para funciones medibles y acotadas denidas
en subconjuntos de medida nita, despues extendemos este concepto a la clase de
funciones medibles no negativas y nalmente a la clase de las funciones medibles
con valores complejos.
Consideramos que esta es una version preliminar de las notas porque todava
requieren ser completadas, por ejemplo en la parte de los ejercicios para el
estudiante.
Captulo 1
La Integral de Riemann
Recordemos brevemente la construccion y algunas propiedades de la integral
de Riemann en intervalos acotados de R.
Una particion P de [a, b] es una coleccion nita
{x
0
= a < x
1
< . . . < x
n
= b}. La norma de P es P = max
0jn
|x
j
x
j1
|.
Sean P una particion de [a, b], f una funcion denida en [a, b] y
i
[x
i1
, x
i
], i = 1, . . . , n, una eleccion de puntos en [a, b]. Defnase
R(f, P, ) =
n
i=1
f(
i
)|x
i
x
i1
|
A esta suma la llamaremos Suma de Riemann de f relativa a la partici on P
de [a, b] y la elecci on = {
1
,
2
, . . . ,
n
}. Este nombre nos permitira recordar
que para cada f esta suma depende de la particion P y de la eleccion .
Denicion 1.0.1. (Riemann-integrabilidad).
Una funcion f denida en [a, b] es Riemann integrable (R-integrable) si existe
un n umero real R tal que para cualquier > 0 > 0, tal que P particion
de [a, b] con P < y toda eleccion se tiene
|R(f, P, ) R| < .
De manera breve:
( > 0) ( > 0) (P) () [ P < |R(f, P, ) R| < ].
No es dicil demostrar que, en caso de existir, el n umero R es unico: pues
si existen dos R
1
= R
2
, digamos R
2
> R
1
, que satisfacen la denicion anterior
entonces para <
1
2
(R
2
R
1
), > 0 tal que P y se tiene que si
P < entonces |R(f, P, ) R
1
| < y |R(f, P, ) R
2
| < . Entonces
utilizando desigualdad del triangulo obtenemos que
|R
1
R
2
| 2,
5
6 CAP
[0,
1
3
)
(x) +
2
3
[
1
3
,
2
3
)
(x) +
1
3
[
2
3
,1]
(x),
donde
[,)
es la funcion indicadora del intervalo [, ) denida de la siguiente
manera:
[,)
(x) =
_
1 si x [, )
0 si x / [, ).
Pero esta representacion de g no es unica. Aqu tenemos otra:
7
g(x) =
1
2
[0,
1
3
)
(x) +
2
3
[
1
3
,
1
2
)
(x) +
2
3
[
1
2
,
2
3
)
(x) +
1
3
[
2
3
,1]
(x).
Sean g
1
, g
2
, dos funciones escalonadas en [a, b] con representaciones
g
1
(x) =
n
j=1
a
j
[x
j1
,x
j
)
(x) y g
2
(x) =
m
k=1
b
k
[y
k1
,y
k
)
(x)
y sean
P
1
= {x
0
= a, x
1
, . . . , x
n
= b} y P
2
= {y
0
= a, y
1
, . . . , y
m
= b}
las particiones asociadas con g
1
y g
2
, respectivamente.
Si Q = P
1
P
2
= {z
0
, z
1
, . . . , z
k
}, podemos escribir
g
1
(x) =
l
j=1
[z
j1
,z
j
)
(x), g
2
(x) =
l
j=1
[z
j1
,z
j
)
(x),
con
j
= a
k
y
j
= b
l
para algunos j y l,
y g
1
(x) + g
2
(x) =
l
j=1
(
j
+
j
)
(z
j1
,z
j
)
(x).
Proposicion 1.0.3. Si g es una funcion escalonada en [a, b] entonces g es
R-integrable y ademas si
g(x) =
n
i=1
c
i
(x
i1
,x
i
)
(x)
entonces
_
b
a
g(x)dx =
n
i=1
c
i
.
Para demostrar esta proposicion utilizaremos el siguiente resultado, cuya
demostracion dejamos como ejercicio para el lector.
Teorema 1.0.4. (Aditividad)
Si t
0
= a < t
1
< t
2
< . . . < t
n
= b, entonces una funcion f es R-integrable en
[a, b] si y solo si es R-integrable en cada subintervalo [t
i1
, t
i
] i = 1, . . . , n y
ademas
_
b
a
f(x)dx =
_
t
1
a
f(x)dx +
_
t
2
t
1
f(x)dx + +
_
b
t
n1
f(x)dx.
Tambien necesitaremos el siguiente.
8 CAP
i=1
(f(
i
) g(
i
))(x
i
x
i1
)|
i=1
|f(c) g(c)||x
i
x
i1
| +|f(c) g(c)||x
i+1
x
i
|
2P |f(c) g(c)|
Para cualquier > 0, tomese < (2|f(c) g(c)|)
1
, entonces se tiene que
|R(f, P, ) R(g, P, )| < eleccion si P < . Esto demuestra el resul-
tado si k = 1.
Si se tienen k puntos distintos, para cualquier particion
P = {x
0
< x
1
< . . . < x
n
}, cada punto c
j
, j = 1, . . . , k, se encuentra en a lo
mas dos subintervalos [x
j1
, x
j
] y [x
j
, x
j+1
].
Entonces
|R(f, P, ) R(g, P, )| = |R(f g, P, )| =
n
i=1
(f(
i
) g(
i
))(x
i
x
i1
)
k
j=1
|(f(c
j
) g(c
j
))||x
j
x
j1
| +|f(c
j
) g(c
j
)||x
j+1
x
j
|
2P
k
j=1
|f(c
j
) g(c
j
)|.
Entonces para cada > 0 se puede tomar < (2
k
j=1
|f(c) g(c)|)
1
, y
se tendra que
|R(f, P, ) R(g, P, )| < si P < .
9
Demostraci on.(de la Proposicion 1.0.3)
Una funcion constante es R-integrable en cualquier intervalo [a, b] pues si R =
c(b a) donde c es el valor de la funcion, entonces
|R(f, P, ) R| = |
k
j=1
(f(
j
)(x
j
x
j1
) R|
= |c(b a) R| = 0.
Como cada funcion escalonada es constante, digamos igual a c
j
, en cada subin-
tervalo [x
j1
, x
j
] de alguna particion P entonces esta funcion es R-integrable en
cada subintervalo y ademas
_
x
j
x
j1
g(x)dx = c
j
(x
j
x
j+1
) j = 1, 2, . . . , n.
Ahora basta aplicar el teorema de aditividad para obtener que g es R-integrable
en [a, b] y
_
b
a
g(x)dx =
k
j=1
c
j
(x
j
x
j+1
).
Teorema 1.0.6. Una funcion denida en [a, b] es R-integrable si y solo si para
cualquier > 0, existen dos funciones escalonadas f
1
y f
2
tales que
f
1
(x) f(x) f
2
(x) x [a, b] y
_
R
_
b
a
f
2
(x)dx
_
_
R
_
b
a
f
1
(x)dx
_
< .
Demostraci on.
Como f es R-integrable, esto implica que f es acotada en [a, b]. Pues sea = 1,
y t
omese > 0 como en la Denicion 1,0,1, entonces para cualquier particion P
con P < y cualquier eleccion se tiene que
|R(f, P, ) R| < ;
con R = R
_
b
a
f(x)dx, lo cual implica que
|R(f, P, )| |R(f, P, ) R| +|R| < |R| + .
Sea P una equiparticion de [a, b] con P =
ba
n
< . Cada x [a, b] pertenece
a alg un intervalo de P, digamos x (x
j1
, x
j
).
Si f 0 tomando una eleccion que contenga al punto x tenemos que
|f(x)|
b a
n
|R(f, P, )| < |R| + ,
10 CAP
donde
f
+
(x) =
_
f(x) si f(x) 0
0 si f(x) < 0
= max(f(x), 0)
f
(x) =
_
f(x) si f(x) 0
0 si f(x) > 0
= max(f(x), 0)
Se tiene que f
+
, f
0 y |f| = f
+
+ f
S tal que s
> S
(ii) s =nf S
(ii,1) s s s S
(ii,2) > 0 s
S tal que s
< s + .
Por la denicion de f
1
, f
2
existen
i
,
i
(x
i1
, x
i
)) tales que
f(
i
) < f
1
(x) + ,
y f(
i
) > f
2
(x) , x (x
i1
, x
i
).
Por ser escalonada, f
1
se puede representar en la forma
f
1
(x) =
n
i=1
(nf{f(x) : x [x
i1
, x
i
)})
[x
i1
,x
i
)
(x).
Ahora,
_
b
a
f
2
(x)dx
_
b
a
f
1
(x)dx =
n
j=1
(f
2
(x) f
1
(x))(x
j
x
j1
)
j=1
(f(
j
) + f(
j
) + )(x
j
x
j1
)
=
n
j=1
(f(
j
) f(
j
))(x
j
x
j1
) +
n
j=1
2(x
j
x
j1
)
= R(f, P, ) R(f, P, ) + 2(b a)
< 2(1 + (b a)),
11
pues como |R(f, P, ) R| < entonces
|R(f, P, ) R(f, P, )| |R(f, P, ) R| +|RR(f, P, )|
< + = 2.
Reciprocamente, sea
R = sup
_
_
b
a
f
1
(x)dx : f
1
es escalonada y f
1
(x) f(x) x [a, b]
_
.
Si f
2
es escalonada con f
2
(x) f(x) f
1
(x), entonces
_
b
a
f
2
(x)dx
_
b
a
f
1
(x) f
1
escalonada con f
1
< f en [a, b].
Es decir,
_
b
a
f
2
(x)dx es cota superior del conjunto
_
_
b
a
f
1
(x)dx : f
1
es escalonada y f
1
f
_
.
Entonces
_
b
a
f
2
(x)dx R.
Consecuentemente R es cota inferior del conjunto
_
_
b
a
f
2
(x)dx : f
2
es escalonada y f
2
f en [a, b]
_
.
Ademas para > 0 existen f
1
, f
2
escalonadas con f
1
f f
2
en [a, b] y
_
b
a
f
2
(x)dx <
_
b
a
f
1
(x)dx + R+ .
Entonces,
R =nf
_
_
b
a
f
2
dx : f
2
es escalonada y f
2
f
_
.
Ahora veremos que R es la integral de f.
Estas ultimas f
1
y f
2
son integrables y si P es una particion asociada con
f
1
y f
2
_
b
a
f
1
(x)dx R(f, Q, ) Q particion con Q < P,
_
b
a
f
2
(x)dx R(f, Q, ) Q particion con Q < P.
Entonces
|R(f, Q, ) R| < ,
12 CAP
Q
(x) =
_
1 si x Q
0 si x / Q.
Tenemos que
(i)
Q
(x) es acotada y no es continua en punto alguno.
(ii)
Q
(x) no es monotona, ni seccionalmente monotona.
(iii)
Q
(x) no es R-integrable en intervalo acotado alguno.
Demostraci on.
(iii) Si f
1
y f
2
son dos funciones escalonadas, f
1
Q
(x) < f
2
bastara demostrar
que para alg un > 0.
_
b
a
f
2
(x)dx
_
b
a
f
1
(x)dx >
Observese que f
1
Q
(x) en [a, b] entonces f
1
0, para toda x [a, b] y por
lo tanto
_
b
a
f
1
(x)dx 0.
De manera analoga, si f
2
es escalonada y
Q
(x) f
2
entonces f
2
1 y por
lo tanto
_
b
a
f
2
(x)dx (b a)
Entonces
_
b
a
f
2
(x)dx
_
b
a
f
1
(x)dx (b a) = > 0,
para cualesquiera f
1
, f
2
escalonadas con f
1
Q
(x) < f
2
.
Por lo tanto, por el Teorema 1.0.6
Q
(x) no es R-integrable.
14 CAP
_
1
q
si x =
p
q
1 si x = 0
0 si x / Q.
Entonces:
(i) g(x) es continua en cada irracional y discontinua en los racionales.
Demostracion.
Sea x R\Q. Podemos suponer sin perder generalidad que [x1, x+1] [0, ),
en otro caso el intervalo [x 1, x +1] se puede transformar a un intervalo de la
forma [y 1, y + 1] con y 1.
Para cada > 0 el subconjunto A
=
_
p
q
:
p
q
[x 1, x + 1] y
1
q
_
es nito. Pues si notamos que x1
p
q
x+1 y 0 < q
1
, tenemos que
0 (x 1)q p (x + 1)q
x + 1
.
Entonces p y q varian dentro de intervalos acotados y por lo tanto A
< .
Sea > 0 tal que [x , x + ] A
= . Entonces si y [x , x + ],
g(y)
_
= 0 si y es irracional
< si y es racional
Entonces g(y) < , para toda y [x , x + ], es decir,
|g(x) g(y)| = |g(y)| < si |x y| < .
Esto demuestra que g es continua para cada x R \ Q.
Ahora, si x Q, digamos 0 = x =
p
q
, entonces g(x) =
1
q
= 0. Si g fuera
continua en x entonces para cualquier sucesion (x
n
)
n1
que converge a x, la
sucesion de sus imagenes convergera a g(x). No obstante, si (x
n
)
n1
es una
sucesion de irracionales con x
n
x entonces
g(x
n
) = 0
1
q
= g(x).
Esto demuestra que g no es continua en los racionales.
(ii) g es R-integrable en [0, 1]. En realidad, esto mismo vale para cualquier
intervalo acotado.
15
Demostraci on.
Sean > 0 y f
1
(x) = 0 la funcion identicamente cero para x [0, 1]. Si
1
n
< ,
sea f
2
(x) =
1
n
para todo x [0, 1] excepto en aquellos racionales en A1
n
[0, 1],
donde A1
n
=
_
p
q
:
p
q
[0, 1] y
1
q
1
n
_
, recuerdese que
_
A1
n
_
< . Notese
que como x [0, 1], entonces [0, 1] [x1, x+1] y por lo tanto
_
[0, 1] A1
n
_
<
. Tenemos que f
1
(x) g(x)
1
n
= f
2
(x) se cumple excepto en [0, 1] A1
n
,
que tiene cardinalidad nita. Entonces,
_
1
0
f
2
(x)dx
_
1
0
f
1
(x)dx =
1
n
< .
Y podemos concluir que g es R-integrable y ademas,
_
1
0
g(x)dx = 0.
16 CAP
k
(E
k
i
), con c
i
[y
i
, y
i+1
], donde
(E) representa la longitud del intervalo E. Y la integral se aproximara por
la suma de las areas de las imagenes inversas de los intervalos [y
i
, y
i+1
]. Pero,
que longitud es natural asignar a subconjuntos como Q [0, 1] y [0, 1] \ Q?
En lo que sigue estudiaremos este problema separandolo en dos partes:
1.- Caracterizar la clase de los subconjuntos E que son imagenes inversas de
funciones razonablemente buenas.
2.- Asignar una longitud (medida) a cada uno de estos subconjuntos E.
Para tratar con estos dos problemas utilizaremos el concepto de medida
exterior y la condicion de Caratheodory para denir la clase de los subconjuntos
medibles. Este enfoque requiere superar varias dicultades tecnicas, no obstante
lo preferimos debido a su versatilidad para generalizarse a un contexto mas
abstracto.
2.2. La medida exterior de Lebesgue
Sea A R arbitrario y sea (I
n
)
n1
una coleccion a lo mas numerable de
intervalos abiertos tal que A
n=1
I
n
. La medida anterior de A se dene
mediante la relacion
0 m
A =nf
_
_
_
n1
(I
n
) : {I
n
}
n1
, A
n=1
I
n
_
_
_
el nmo se toma sobre
todas las colecciones {I
n
} a lo mas numerables de subintervalos abiertos con
A
n=1
I
n
.
Como
n1
(I
n
) 0, para toda coleccion de intervalos abiertos {I
n
}
n1
,
tenemos que m
n=1
I
n
A, en este caso denimos m
A = .
2.2. LA MEDIDA EXTERIOR DE LEBESGUE 19
Tenemos que m
2
n
, . . . n > 1.
El mismo razonamiento permite demostrar que la medida exterior de un
punto a R es cero: m
{a} = 0.
Teorema 2.2.1. Si A B, entonces m
A m
B.
Demostraci on. Si {I
n
}
n1
es una cubierta de B por intervalos abiertos en-
tonces
n1
I
n
B A, por lo tanto {I
n
}
n1
tambien es una cubierta abierta
de A por intervalos abiertos.
Notese que
_
n1
(I
n
) :
n1
I
n
B
_
_
n1
(J
n
) :
n1
J
n
A
_
,
porque las cubiertas de B tambien cubren A y A tiene cubiertas que no cubren
B. Entonces
m
B =nf
_
(I
j
) :
j
I
j
B
_
nf
_
_
_
j
(I
j
) :
j1
I
j
A
_
_
_
= m
(A).
Teorema 2.2.2. La medida exterior de un intervalo es igual a su longitud.
Demostraci on. (i) Consideremos el caso I = [a, b], a < b. Demostraremos
las dos desigualdades: m
[a, b] b a, y b a m
[a, b].
Consideremos cubiertas del tipo
__
a
1
n
, b +
1
n
__
. Entonces
[a, b]
_
a
1
n
, b +
1
n
_
, n 1
y por lo tanto para toda n 1,
m
[a, b] b a +
2
n
.
Esto demuestra que m
[a, b] b a.
Ahora sea {I
n
}
n1
una cubierta de [a, b] por intervalos abiertos. Por la
compacidad de [a, b], existe una subcubierta nita {I
n
m
}
M
m=1
de [a, b]. Como
a
M
m=1
I
n
m
, existe un subintervalo I
1
= I
n
m
1
tal que a I
1
= (a
1
, b
1
), en-
tonces a
1
< a < b
1
. Si b < b
1
ya terminamos. En otro caso b
1
< b y como
[a, b]
M
m=1
I
n
m
, existe un intervalo I
2
= I
n
m
2
tal que b
1
I
2
= (a
2
, b
2
),
es decir a
2
< b
1
< b
2
. De esta manera logramos obtener una nueva subcolec-
cion nita I
1
, I
2
, . . . , I
k
de subintervalos abiertos tales que a
j
< b
j1
< b
j
para
2 j k 1 y a
k
< b < b
k
. Entonces para toda cubierta (I
n
)
n1
de [a, b],
se tiene que
n1
(I
n
)
M
m=1
(I
n
m
)
k
j=1
(I
j
) =
k
j=1
(b
j
a
j
)
= (b
k
a
k
) + (b
k1
a
k1
) + + (b
2
a
2
) + (b
1
a
1
)
= b
k
(a
k
b
k1
) (a
2
b
1
) a
1
b a.
20 CAP
([a, b]) b a.
(ii) Supongase ahora que I es arbitrario pero con longitud nita. Entonces
existe un intervalo cerrado J tal que J I y (J) > (I) , > 0. Por lo
tanto,
(I) < (J) = m
J m
I
m
I = (I) = (I).
De aqu se sigue que m
I (I) y (I) m
I = (I).
(iii) Si I es un intervalo innito, dado cualquier M > 0 existe un intervalo
cerrado J I tal que (J) = M. Entonces
m
I m
I = = (I).
Teorema 2.2.3. (Subaditividad de la medida exterior)
Sea {A
n
}
n1
una sucesion de subconjuntos de R entonces
m
n=1
A
n
n=1
m
A
n
.
Demostracion. Si m
A
n
= para alg un n 1, entonces la desigualdad es
obvia. Supongase m
A
n
< n 1. Para cada > 0 y n 1 sea
n
=
2
n
.
Entonces existe una cubierta {I
n,j
}
j1
de A
n
por intervalos abiertos tales que
j=1
(I
n
, j) < m
A
n
+
2
n
.
La coleccion {I
n
, j}
j1,n1
es una cubierta de
n1
An por intervalos abiertos.
Entonces
m
n1
A
n
n1
j1
(I
n,j
) <
n1
(m
A
n
+
2
n
)
=
n1
m
A
n
+
n1
1
2
n
=
n1
m
A
n
+ ,
para todo > 0.
Corolario 2.2.4. Supongase A R a lo mas numerable, entonces m
A = 0.
2.3. LA -
{a
n
} = 0 para cada n 1,
entonces
m
A = m
n=1
{a
n
}
n=1
m
{a
n
} = 0.
Sabemos que m
n
}
n>1
de A por intervalos abiertos tales que
n1
(I
n
) < m
A+ .
Sea O
=
n1
I
n
entonces O
A, y
m
= m
n1
In
n>1
m
(I
n
) =
n1
(I
n
) < m
A+ .
En otras palabras, hemos demostrado el siguiente.
Corolario 2.2.5. Para todo A R y > 0 existe O
A
y m
< m
A+ .
Es decir la medida exterior de cualquier subconjunto de R se puede aproxi-
mar por la medida exterior de un abierto.
2.3. La -algebra de los subconjuntos medibles
Una propiedad natural de una medida es la aditividad :
m
n=1
A
n
=
n=1
m
A
n
,
si la sucesion {A
n
}
n1
tiene elementos mutuamente ajenos, es decir, A
n
A
m
=
, si n = m.
No es posible demostrar que m
A = m
(A E) + m
(A\E) = m
(A E) + m
(A E
c
).
22 CAP
E.
La condicion de Caratheodory es simetrica (invariante) respecto de la apli-
cacion E E
c
. En consecuencia, E es medible si y solo si E
c
es medible.
El subconjunto vaco es medible, pues si A R, es cualquier subconjunto
(de prueba), entonces m
(A) = m
= 0 y m
(A
c
) = m
(AR) = m
A.
Por lo tanto,
m
(A ) + m
(A
c
) = m
A A R.
En consecuencia R tambien es medible.
Notese que la condicion de Caratheodory es equivalente con las dos desigual-
dades
(i) m
A m
(A E) + m
(A E
c
), A R
(ii) m
A m
(A E) + m
(A E
c
) A R.
Y la primera de ellas siempre se cumple, pues por subaditividad,
m
A = m
((A E) (A E
c
)) m
(A E) + m
(A E
c
).
Entonces para demostrar que un subconjunto E es medible, bastara vericar que
la segunda desigualdad se cumple para todo subconjunto (de prueba) A R.
Proposicion 2.3.2. Todo subconjunto E con medida exterior cero es medible
y mE = 0.
Demostracion. Tomemos cualquier subconjunto A R. Tenemos que AE
E, entonces 0 m
(A E) m
E, por lo tanto
m
(A E) = 0.
Por otra parte A E
c
A, entonces
m
(A E
c
) m
A.
Por lo tanto tenemos que
m
(A E) + m
(A E
c
) = m(A E
c
) m
A.
Como consecuencia inmediata de la Proposicion anterior se obtiene que todo
subconjunto de R que es a lo mas numerable, es medible y tiene medida cero.
Tambien son medibles aquellos subconjuntos de R cuyo complemento es a lo
mas numerable. En particular Q y R\Q son medibles y mQ = 0. Tambien son
medibles todos los subconjuntos de conjuntos de medida exterior cero.
2.3. LA -
(A (E F)) + m
(A (E F)
c
) m
A.
Tenemos que,
A (E F) = (A (E F)) (E E
c
)
= (A (E F) E) (A (E F) E
c
)
= (A E E) (A F E) (A E E
c
) (A F E
c
)
= (A E) (A F E
c
).
Entonces por la subaditividad,
m
(A (E F)) m
(A E) + m
(A F E
c
),
consecuentemente,
m
(A (E F)) + m
(A E
c
F
c
)
m
(A E) + m
(A F E
c
) + m
(A E
c
F
c
) =
m
(A E) + m
(A E
c
),
pues F es medible. As mismo, la medibilidad de E implica que
m
(A (E F)) + m
(A E
c
F
c
) m
(A E) + m
(A E
c
) = m
A.
Denicion 2.3.4. Una coleccion A de subconjuntos de R se llama algebra (o
algebra de Borel) si para A, B A, se tiene que
(i) A B A
(ii) A
c
A
(iii) A B A.
Si E, F A, entonces E
c
y F
c
tambien pertenecen a A, por lo tanto E
c
F
c
A. Pero E F = (E
c
F
c
)
c
. Entonces las propiedades (i) y (ii) junto con
leyes de DeMorgan implican (iii).
Ejercicio. Demostrar que si A
1
, A
2
, . . . , A
n
A, entonces
n
k=1
A
k
A.
De acuerdo con lo que hemos demostrado hasta ahora podemos concluir que
la coleccion M, de los subconjuntos medibles de R, es un algebra.
24 CAP
n=1
una sucesion de subconjuntos
de A, entonces existe una sucesion {B
n
}
n=1
de subconjuntos de A tales que
B
n
B
m
= para n = m y
n=1
B
n
=
n=1
A
n
.
Demostracion. Tomese B
1
= A
1
y para n > 1, defnase
B
n
= A
n
\(A
n1
A
n2
A
1
)
= A
n
(A
n1
A
n2
A
1
)
c
.
Se tiene que B
n
A para todo n > 1. Ademas,
B
n
B
n1
= (A
n
(A
n1
A
n2
A
1
)
c
) (A
n1
(A
n2
A
1
)
c
)
= A
n
A
c
n1
(A
n2
A
1
)
c
A
n1
(A
n2
A
1
)
c
= n > 1.
Como B
n
A
n
, entonces
n1
B
n
n1
A
n
. Si x
n1
A
n
, sea m el menor
ndice tal que x A
m
. Entonces x B
m
ya que x / A
j
para 1 j m 1 y
consecuentemente,
x
n1
B
n
Denicion 2.3.6. Una algebra A es un algebra que tambien es cerrada bajo
uniones contables, es decir, si A
1
, A
2
, . . . , A, entonces
n1
A
n
A.
Lema 2.3.7. Sea A cualquier subconjunto y E
1
, . . . , E
n
subconjuntos medibles
y disjuntos. Entonces
m
(A (
j=1
E
j
)) =
n
j=1
m
(A E
j
) .
Demostracion. Si n = 1, entonces m
(A E
1
) = m
(A E
1
). Supongamos
que el resultado vale para n 1 subconjuntos. Como los E
j
s son disjuntos,
entonces
A
_
n
j=1
(E
j
_
E
n
= A E
n
,
y
A
_
n
j=1
E
j
_
E
c
n
= A
_
n1
j=1
E
j
_
.
Entonces como E
n
es medible
m
_
A
_
n
j=1
E
j
__
= m
_
A
_
n
j=1
E
j
_
E
n
_
+ m
_
A
_
n
j=1
E
j
_
E
c
n
_
= m
(A E
n
) + m
_
A
_
n1
j=1
E
j
__
.
Ahora, por hipotesis de induccion
m
(A E
n
) + m
_
A
_
n1
j=1
E
j
__
= m
(A E
n
) +
n1
j=1
m
(A E
j
) =
n
j=1
m
(A E
j
) .
2.3. LA -
j=1
E
j
, entonces para cada n 1,
E
c
F
c
n
.
Sea A R cualquier subconjunto de prueba, tenemos que
m
(A) = m
(A F
n
) + m
(A F
c
n
)
m
(A F
n
) + m
(A E
c
n
)
=
n
j=1
m
(A E
j
) + m
(A E
c
n
) n 1,
pues A E
c
n
A F
c
n
y F
n
=
n
j=1
E
j
. Entonces
m
(A)
j=1
m
(A E
j
) + m
(A E
c
)
m
(A E) + m
(A E
c
),
por la subaditividad.
Corolario 2.3.9. Sea (E
n
)
n1
una sucesion de subconjuntos medibles disjuntos,
entonces m
n1
E
n
=
n1
mE
n
, Es decir, la medida de Lebesgue es -aditiva.
Demostraci on. Como M es -algebra, para cada m 1 tenemos que
m
n1
E
n
M y
n1
E
n
M.
Sea (E
n
)
n1
una sucesion de medibles disjuntos, entonces tenemos para cada
m 1
m
n=1
E
n
n=1
E
n
,
entonces
m(
m
n=1
E
n
) m(
n=1
E
n
) .
Por el Lema 2.3.7 para todo m 1 tenemos que,
m
n=1
mE
n
= m
m
n=1
E
n
m(
n=1
E
n
) .
Por lo tanto,
lm
m
m
n=1
mE
n
=
n1
mE
n
m(
n1
E
n
) .
La desigualdad opuesta es la subaditividad.
26 CAP
[0, 1] m
([0, 1] Q) + m
([0, 1] Q
c
)
= m
([0, 1] Q
c
).
Como [0, 1] Q
c
[0, 1] tenemos que m
([0, 1] Q
c
) 1,
entonces
m([0, 1] Q
c
) = 1.
Demostracion.(de la Proposicion 2.3.10) Bastara demostrar que para todo
A R,
m
(A (a, )) + m
(A (, a]) m
A.
(i) Si m
n
(I
n
) m
A+ .
Sean
I
n
= I
n
(a, ) y I
n
= I
n
(, a]
Los intervalos I
n
, I
n
son disjuntos o vacos y
(I
n
) = (I
n
) + (I
n
) = m
I
n
+ m
I
n
.
Ademas
(A (a, ))
n
I
n
,
entonces
m
(A (a, ))
n
m
I
n
. (1)
De manera analoga
A (, a]
n
I
n
,
y de aqu se obtiene que
m
(A (, a])
n
m
I
n
=
n
(I
n
). (2)
2.3. LA -
(A (a, )) + m
(A (, a])
n
(I
n
) +
n
(I
n
)
=
n
((I
n
) + (I
n
)) =
n
(I
n
)
m
A + ,
para todo > 0. Consecuentemente,
m
(A (a, )) + m
(A (, a]) m
A.
Proposicion 2.3.11. Todo abierto O R es medible. Ademas, si O =
n1
I
n
,
es la representacion de O como union de una coleccion a lo mas numerable de
intervalos abiertos y disjuntos, entonces mO =
n1
(I
n
).
Demostraci on. Sea O =
n1
I
n
la represntacion de O como union a lo mas
numerable de intervalos abiertos disjuntos. Entonces O es medible porque M
es algebra y cada I
n
es medible, ademas por el Corolario 2.3.9
mO = m
O =
n
m
I
n
=
n
(I
n
).
A partir de una coleccion arbitraria de subconjuntos se puede generar una -
algebra. El lector puede encontrar en la literatura la demostracion de la siguiente
Proposicion, o puede intentar elaborar su propia demostracion.
Proposicion 2.3.12. Dada una coleccion C de subconjuntos de R, existe una
mnima -algebra A que la contiene. Es decir, si B es otra -algebra que contiene
a C, entonces A B.
Denicion 2.3.13. La mnima -algebra que contiene a la topologa de R,
se llama -algebra de Borel y se denota por B. Los elementos de B se llaman
subconjuntos de Borel.
Todo subconjunto de Borel es medible pues, de acuerdo con la Proposicion
2.3.12, B M.
Ejercicio. Demostrar que existe un conjunto medible que no es de Borel, es
decir la -algebra de Borel es una -algebra propia de la -algebra de los sub-
conjuntos medibles.
Los subconjuntos (a, b), (, a), [a, ) son borelianos y, por lo tanto,
medibles.
Denicion 2.3.14. (Las clases G
y F
)
Un subconjunto G G
, F
B.
Proposicion 2.3.15. El conjunto de puntos de discontinuidad de una funcion
arbitraria es un F
.
Demostracion. Sean M(x, h) y m(x, h) el supremo y el nmo de f en el
intervalo [x h, x + h]. La funcion o(x) = lm
h0
(M(x, h) m(x, h)) se llama
la oscilacion de f. Notese que la condicion o(x) = 0 signica que f es continua
en x. Consecuentemente el conjunto de puntos de discontinuidad de f se puede
representar en la forma
n1
{x : o(x)
1
n
}.
Bastara demostrar que el conjunto {x : o(x)
1
n
} es cerrado para cada n 1.
Si x
n
x y o(x
n
)
1
n
para cada n 1, entonces para cada h existe N
h
tal que
x
n
(xh, x+h) si n N
h
. Sea > 0 tal que (x
n
, x
n
+) (xh, x+h),
existen puntos y
n
y z
n
en (x
n
, x
n
+) tales que |f(y
n
)f(x
n
)| >
1
n
, entonces
o(x)
1
n
.
Ejercicios
1.- Demuestre que en R la interseccion de una coleccion numerable de abiertos
densos es denso.
2.- Demuestre que R no es una union numerable de subconjuntos cerrados
con interior vaco (es decir, con complemento denso).
3.- Demuestre que los irracionales no son un F
. Sugerencia: Si lo fueran
entonces R sera una union numerable de cerrados con interior vaco.
4.- Concluya que no existe una funcion continua en los racionales y discon-
tinua en los irracionales.
Proposicion 2.3.16. (i) Si (E
n
)
n1
es una sucesion decreciente (E
n+1
E
n
)
de subconjuntos medibles y mE
1
< , entonces
m(
n=1
E
n
) = lm
n
mE
n
.
(ii) Si (E
n
)
n1
es una sucesion creciente de subconjuntos medibles, entonces
m(
n=1
E
n
) = lm
n
mE
n
.
Demostracion. Sean E =
n1
E
n
y F
n
= E
n
\E
n+1
entonces
n1
F
n
= (E
1
\E
2
) (E
2
\E
3
) . . .
= (E
1
E
c
2
) (E
2
E
c
3
) (E
3
E
c
4
) . . .
= E
1
(E
c
2
E
c
3
) = E
1
(E
c
2
E
c
3
. . . )
= E
1
(
n1
E
n
)
c
= E
1
\E
2.3. LA -
n1
mF
n
=
n1
m(E
n
\E
n+1
).
Pero
E
1
= E (E
1
\E),
entonces
mE
1
= mE + m(E
1
\E).
Y de manera analoga se demuestra que
mE
n
= mE
n+1
+ m(E
n
\E
n+1
).
Como
mE
1
< y E
n
E
1
n 2,
entonces
mE
n
mE
1
< n 2.
Es decir todos los E
n
y E, tienen medida de Lebesgue nita. De acuerdo con lo
anterior tenemos que
m(E
1
\ E) = mE
1
mE,
y
m(E
n
\E
n+1
) = mE
n
mE
n+1
.
Consecuentemente,
mE
1
mE =
n1
(mE
n
mE
n+1
) = lm
n
n1
k=1
mE
k
mE
k+1
= lm
n
(mE
1
mE
n
) = mE
1
lm
n
mE
n
.
Por lo tanto
mE = m(
n1
E
n
) = lm
n
mE
n
.
Esto demuestra (i).
Para demostrar (ii) observese que si mE
n
= para alg un n, entonces
m(
n=1
E
n
= , pues la sucesion es creciente. Y si mE
n
< para cada n 1,
podemos escribir
n
= E
1
n=1
(E
n+1
E
n
),
30 CAP
n
E
n
) = mE
1
+
n=1
m(E
n+1
E
n
) = mE
1
+lm
N
N
n=1
m(E
n+1
E
n
) = lm
N
mE
N
.
El conjunto de Cantor. En [0, 1] considerese la siguiente construccion
C
1
C
2
C
3
0 1/3 2/3 1
0
0
1/9 2/9 1/3
2/3
2
1/3
2
Figura 2.2: Conjunto de Cantor
El conjunto de Cantor C se dene como,
C =
n=1
C
n
.
De acuerdo con la parte (i) de la Proposicion 2.3.16
mC = lm
n
mC
n
,
pero
mC
1
=
2
3
mC
2
=
_
2
3
_
2
mC
3
=
_
2
3
_
3
. . . ,
y no es dicil demostrar por induccion que mC
n
=
_
2
3
_
n
. Por lo tanto
mC = lm
n
mC
n
= lm
n
_
2
3
_
n
= 0.
Para nalizar esta seccion demostraremos varias condiciones que son equiv-
alentes con la condicion de Caratheodory. Cualquiera de ellas pudo haberse
tomado como denicion de subconjunto medible.
Proposicion 2.3.17. Sea E R. Las siguientes proposiciones son equivalentes:
(i) E es medible,
(ii) Para cada > 0 O
(O
\E) < ,
(iii) Para cada > 0 F
(E\F
) <
(iv) Existe G G
G
con E G tal que m
(G\E) = 0
2.3. LA -
(E\F) = 0.
Si m
E tal que m
< m
E+.
Como E es medible entonces E separa bien a O
es decir
m
= m
(O
E) + m
(O
E
c
) = m
E + m
(O
\E) ,
entonces
m
(O
\E) = m
E < .
Supongase ahora que m
E tal que m
< m
E + . Sea E
n
= E (n, n + 1) n Z. Como m
E
n
1 < n Z, existe O
n
E
n
tal que
m
(O
n
\E
n
) <
n
=
2
|n|
.
Sea O =
nZ
O
n
nZ
E
n
= E, entonces O es abierto y
O
\E = (
nZ
O
n
) (
nZ
E
n
)
c
= (
nZ
O
n
) (
nZ
E
c
n
)
=
n
(O
n
(
n
E
c
n
)) =
n
O
n
E
c
=
n
(O
n
\E) .
Ahora como
O
n
\E O
n
\E
n
,
m
(O
n
\E) m
(O
n
\E
n
) ,
entonces
m
(O\E)
n
m
(O
n
\E)
n
m
(O
n
\E
n
) <
2
|n|
= .
Esto demuestra que (i) (ii).
Sea (
n
)
n1
, con
n
> 0, cualquier sucesion que converge a cero.
n O
n
tal que O
n
E y m
(O
n
\E) < .
Sea G =
n=1
O
n
G
,
G\E = G E
c
= (
n=1
O
n
) E
c
=
n=1
(O
n
E
c
)
=
n=1
(O
n
\E) O
n
\E n 1,
32 CAP
(G\E) m
(O
n
\E) <
n
0.
Por lo tanto
m
(G\E) = 0
Esto demuestra que (ii) (iv).
Demostremos ahora que (iv) (i). Bastara demostrar que m
(A E) +
m
(A E
c
) m
(A E) m
(A E
c
) m
(G E
c
) + m
(A G
c
) = m
(A G
c
),
pues m
(G\ E) = 0.
Por lo tanto,
m
(AE)+m
(AE
c
) m
(AG)+m
(AG
c
) = m
A, pues G es medible.
Consideremos ahora la segunda cadena de implicaciones. Supongase que (i)
se cumple y tomese un subconjunto E medible, entonces E
c
es medible y por
(ii), O
E
c
abierto tal que m
(O
(E
c
)
c
) < .
Tomese el cerrado F
= O
c
y observese que E O
c
= F
, por lo tanto
m
(E\F
) = m
(E F
c
) m
(E O
) < .
Esto demuestra que (i) (iii).
Sea (
n
)
n1
,
n
> 0, una sucesion convergente a cero, entonces por (iii),
para todo n 1 existe un cerrado F
n
tal que F
n
E y m
(E F
c
n
) <
n
. Sea
F =
n=1
F
n
F
, como F F
F
c
F
c
, y se tiene F E. Ahora,
E\F = E F
c
= E (
n=1
F
n
)
c
= E (
n=1
F
c
n
)
=
n=1
E F
c
n
E F
c
n
n 1,
por lo tanto
m
(E\F) = m
n=1
E F
c
n
) m
(E F
c
n
) <
n
,
para todo n 1. Esto demuestra que
m
(E\F) = 0.
2.3. LA -
(A E
c
) m
(A F
c
).
Por otra parte,
A E = (A E) X = (A E) (F F
c
)
= (A E F) (A E F
c
)
= (A F) (A E F
c
) (A F) (E F
c
),
entonces
m
(A E) m
(A F) + m
(E F
c
) = m
(A F).
Por lo tanto,
m
(A E) + m
(A E
c
) m
(A F) + m
(A F
c
) = m
A.
Esto demuestra que E es medible y consecuentemente (v) (i).
La ultima cadena de implicaciones se demuestra enseguida. Supongase que
(ii) se cumple y sea > 0. Entonces existe un abierto O tal que E O y
m
(O\E) <
2
. Sea O =
n=1
I
n
la representacion de O como union de intervalos
abiertos tales que I
n
I
m
= n = m. Si E tiene medida nita, el abierto
O se puede escoger con m
O = m
n1
I
n
=
n1
m
I
n
,
es decir, la serie es convergente. Entonces existe un n umero natural n
0
() tal
que
nn
0
m
I
n
<
2
. Sea U =
n
0
()
n=1
I
n
.
Tenemos que
E U = (E\U) (U\E).
Pero
E\U = E U
c
O U
c
= (
n=1
I
n
) U
c
=
_
n
0
()
n=1
I
n
n=n
0
+1
I
n
_
U
c
= U
c
=
n=n
0
+1
I
n
,
entonces
m
(E\U) = m
n=n
0
+1
I
n
_
=
nn
0
m
I
n
<
2
.
Por otra parte U\E O\E, entonces m
(U\E) m
(O\E) <
2
.
34 CAP
(E U) = m
(E\U) + m
(U\E)
2
+
2
= ,
y por lo tanto
m
(E U) < .
Esto demuestra que (vi) se cumple.
Reciprocamente, si m
n
k=1
I
k
una union nita de intervalos abiertos con m
(E U) <
2
. Tenemos
que m
(E\U) m
(E U) <
2
entonces existe una cubierta {J
m
}
m1
de
E\U por intervalos abiertos, tales que
m1
J
m
E\U y m
(
m1
J
m
)
m1
(J
m
) <
2
.
Sea O = U (
m1
J
m
) , O es abierto y
E = (E\U) U (
m1
J
m
) U = O.
Observese que
O\E = U\E (
m1
J
m
) \E = U\E ((J
m
\E)) .
Entonces
m
(O\E) m
(U\E) + m
(
m1
(J
m
\E))
<
2
+ m
(
m1
J
m
)
2
+
m1
(J
m
) < .
Esto demuestra que (ii) se cumple.
2.4. Subconjuntos no medibles
En esta seccion demostraremos que la medida exterior de Lebesgue no es -
aditiva. Para esto construiremos una sucesion {V n}
n1
de subconjuntos ajenos
de [0, 1] tal que
n1
V n = [0, 1] pero
1 = m
(
n1
V n) =
n=1
m
V n.
Entonces estos Vns son no medibles y esto demuestra que M 2
R
.
Construccion de los Vns. Para cada [0, 1] sea E
= {x [0, 1] : x
Q}. Por ejemplo, E
0
= [0, 1] Q y E1
2
= E
0
. De hecho,
E
0
= E
m
para todo m =
p
q
, p, q Z, q = 0.
2.4. SUBCONJUNTOS NO MEDIBLES 35
Pero E
4
= E
0
pues
1
2
/ E
4
. De hecho
E
4
E
0
= ,
pues si x E
4
E
0
, entonces x
4
=
p
q
y x =
r
s
4
=
r
s
p
q
Q, lo cual es una contradiccion.
De hecho tenemos lo siguiente:
(i) Cada E
sobre Q.
(ii) Si E
= entonces E
= E
Pues si x E
, es decir,
y Q, tenemos que y = (y)+(), y (x)(x) = Q.
Entonces y Q, es decir y E
. De manera analoga E
.
Dada la coleccion {E
}
[0,1]
, por el Axioma de Eleccion podemos elegir
exactamente un representante x
de cada E
(x
+A) = m
A x [0, 1]
Demostraci on. Si A es un intervalo x
+A = (a+x][0, b+x1] y m
(x
+A) =
1 a x + b + x 1 = b a. De manera analoga se demuestra el caso cuando
A = O =
n=1
I
n
, I
n
I
m
= si n = m.
Para A [0, 1] se tiene
m
(x
+A) = nf
_
n=1
(I
n
) :
n
I
n
x
+A, I
n
abierto
_
= nf
_
m
(x
+O) : A x
+O, O abierto
_
= m
A.
Tenemos que
(i) V
n
V
m
= si n m.
Pues si x V
n
V
m
, entonces existen x
, x
V tales que x = x
+ q
n
y x = x
+q
m
de aqu se ve que x
= q
m
q
n
Q lo cual es
una contradiccion.
36 CAP
n=1
V
n
= [0, 1]. Pues obviamente
n=1
V
n
[0, 1], y si x [0, 1], existe
E
tal que x E
. De manera que
x = x
+ q
n
V
n
entonces x
n1
V
n
.
(iii) m
[0, 1] = m
n=1
V
n
) =
n=1
m
V
n
=
n=1
m
(q
n
+V) =
n=1
m
V.
Lo cual es imposible.
2.5. Espacios de medida
Llamemos espacio medible a un par (X, ) donde X es un conjunto y
es una algebra de subconjuntos de X. Un espacio de medida es una terna
(X, , ) donde X, son como antes y : [0, ) es una medida. Es decir:
(i) = 0,
(ii) (
n
E
n
) =
E
n
,
para toda sucesion (E
n
)
n1
de subconjuntos disjuntos de .
Ejemplo 2.5.1. (El espacio de medida de Lebesgue). En secciones ante-
riores construimos el espacio de medida de Lebesgue (R, M, m). Tenemos que
(i) m
= 0 y M entonces m = 0,
(ii) Si (E
n
)
n=1
es una sucesion de medibles disjuntos entonces
m(
n1
E
n
) =
n1
mE
n
.
Ejemplo 2.5.2. Sea X cualquier conjunto y = 2
X
la colecci on de todos los
subconjuntos de X. Para E 2
X
, defnase
E =
_
si E es innito
E si E es nito.
La terna (X, 2
X
, ) es un espacio de medida.
Demostracion. Tenemos que
2.5. ESPACIOS DE MEDIDA 37
(i) m
= = 0,
(ii) Sea (E
n
)
n1
una sucesion de subconjuntos disjuntos de ,
Para demostrar la aditividad consideraremos dos casos:
(a)
n1
E
n
es nito,
(b)
n1
E
n
es innito.
En el primer caso solo un n umero nito de sumandos son no vacos, digamos
E
1
, E
2
, . . . , E
n
y como son ajenos
(
n1
E
n
) = (
n
k=1
E
k
) =
k=1
E
k
=
k=1
E
k
porque k > n E
k
= 0.
Si (
n1
E
n
) es innito, puede ocurrir que exista E
n
innito. En este caso
E
n
=
n=1
E
n
, entonces
n=1
E
n
= = (
n1
E
n
). Si todos los
E
n
s son nitos, entonces existe una subsucesion (E
n
k
)
k1
con E
n
k
= k
1, por lo tanto, =
k1
E
n
k
n=1
E
n
. Es decir
n=1
E
n
= =
(
n1
E
n
). Esto demuestra la -aditividad.
Ejercicio. Sea X = {x
1
, x
2
, . . . , x
n
} y : X (0, 1) una funcion tal que
n
j=1
(x
j
) = 1. La terna (X, 2
X
, P) es un espacio de medida, donde P : 2
X
x
j
E
(x
j
).
Denicion 2.5.3. Un espacio de medida (X, F, P) es un Espacio de proba-
bilidad si la medida P toma valores en el intervalo [0, 1], es decir P : F [0, 1].
Ejercicio. (Delta de Dirac) Sea X = un conjunto y = 2
X
. Para x
0
X
y E defnase
x
0
(E) =
_
0 si x
0
/ E
1 si x
0
E
(X, 2
X
,
x
0
) es un espacio de probabilidad.
Ejercicio En el espacio de medida de Lebesgue (R, M, m) considerese la suce-
si on (E
n
= [n, ))
n1
. Tenemos que E
1
E
2
E
3
. . . y
n1
E
n
= , en-
tonces (
n1
E
n
) = 0. Pero E
n
= para todo n 1, entonces m(
n
E
n
) =
lm
n
mE
n
. Porque esto no contradice el resultado de la parte (i) de la Proposi-
cion 2.3.16?
Ejercicio. Sea X un conjunto no numerable. Sea F la coleccion de los subcon-
juntos de X que son contables (nitos o numerables) o que tienen complemento
contable. Demuestre que
38 CAP
de la siguiente manera:
Orden : dados a, b R
a b a b, a, b R
< a a R, b < b R.
Operaciones aritmeticas: para x R,
(i) x + = , x =
(ii) x = si x > 0
(iii) x () = si x > 0
(iv) 0 = 0
(v) + = , =
(vi) () = , () =
(vii) permanece indenida.
Para a b podemos denir los siguientes intervalos: [a, b] =
{x : a x b}, (a, b] = {x : a < x b}, (a, b) = {x : a < x < b},
[a, b) = {x : a x < b}, por ejemplo R
= [, ].
Si llamamos abierto a todo subconjunto O R
el conjunto f
1
({}) = {x E : f(x) = } es medible.
Demostracion. (i) (iv); pues {x E : f(x) } = E\{x E :
f(x) > } y como f
1
((, )) es medible, f
1
((, ]) tambien es medible.
De manera analoga se demuestra que (iv) (i) y (ii) (iii).
Demostremos ahora que (i) (ii). Sea
n
con
n
> . Entonces
[, ] =
n1
(
n
, ], consecuentemente f
1
([, ]) = f
1
(
n1
(
n
, ]) =
n1
f
1
(
n
, ] es medible.
Para demostrar que (ii) (i), sea
n
con
n
< . Entonces (, ] =
n1
[
n
, ], por lo tanto f
1
(, ] = f
1
(
n1
[
n
, ]) =
n1
f
1
[
n
, ],
que es medible.
Finalmente, tenemos que {} = [, ) (, ], entonces f
1
({}) =
f
1
([, ]) f
1
((, ]), que es medible para R. Ademas, si
n
entonces {x E : f(x) = } =
n1
{x E : f(x)
n
}. Y de manera
analoga, si
n
entonces {x E : f(x) = } =
n1
{x E : f(x)
n
}.
Denicion 3.0.5. Una funcion f : E R
j=1
c
j
E
j
(x),
con c
j
, 1 j n n umeros reales.
Corolario 3.0.6. Sea E medible
41
(a) Si f : E R
es medible.
(d) Si g : R
es continua y f : E R
es medible, entonces h = g f
es medible.
Demostraci on.
(a) Para R, (, ] es abierto en R
y por la continuidad de f, f
1
(, ]
es abierto, por lo tanto es medible y {x E : f(x) > } = f
1
(, ] E
es medible.
(b) Sea R, entonces s
1
(, ) = {x E : s(x) > } = E
c
k
>
E
k
, que
es medible.
(c) Tenemos que {x F : f(x) > } = F {x E : f(x) > }, entonces
como F es medible y {x E : f(x) > } es medible obtenemos que
{x F : f|
F
(x) > } tambien es medible.
(d) Se tiene que h
1
(, ) = f
1
(g
1
(, )). Como g
1
(, ) es abierto
podemos escribir g
1
(, ) =
n1
I
n
, donde I
n
es un intervalo abierto
para cada n 1. Ahora, h
1
(, ) = f
1
(
n1
I
n
) =
n1
f
1
(I
n
) y
cada f
1
(I
n
) es medible para cada n 1.
Proposicion 3.0.7. Sean c una constante real y f, g dos funciones medibles
con valores reales y con el mismo dominio medible. Entonces las funciones f +
c, cf, f + g, g f, f g son medibles.
Demostraci on.
(i) Si f, g : E R son medibles, entonces (f + g)
1
[, ) = {x E :
f(x) + g(x) < }. Si f(x) + g(x) < entonces f(x) < g(x) y por lo
tanto existe r
x
Q tal que f(x) < r
x
< g(x). Entonces
{x E : f(x)+g(x) < } =
rQ
{x E : f(x) < r}{x E : g(x) < r},
que es medible pues es una union numerable de medibles.
(ii)
(f + c)
1
(, ) = {x E : f(x) + c < } = {x E : f(x) < + c},
es medible.
42 CAP
}
= {x E : f(x) <
} {x E : f(x) >
},
que es medible. Y si < 0,
{x E : f
2
(x) < } = ,
que es medible.
Ahora, aplicando los incisos anteriores se ve que fg =
1
2
[(f + g)
2
f
2
g
2
]
es medible.
La hipotesis que f y g tomen valores reales es necesaria porque en otro caso
f + g no estara bien denida en los puntos donde f(x) = y g(x) =
Teorema 3.0.8. Sea (f
n
)
n1
una sucesion de funciones medibles con el mismo
dominio medible E entonces las funciones sup{f
1
, . . . , f
n
}, nf{f
1
, . . . , f
n
},
sup
n
f
n
, nf
n
f
n
, lm
n
f
n
y lm
n
f
n
son medibles; donde
sup{f
1
, . . . , f
n
}(x) = sup{f
1
(x), f
2
(x), . . . , f
n
(x)},
_
sup
n
f
n
_
(x) = sup
n
f
n
(x) = sup
n
{f
1
(x), f
2
(x), . . . }
y
_
lm
n
f
n
_
(x) = lm
n
f
n
(x).
Demostracion. Por ejemplo si h(x) = sup{f
1
(x), f
2
(x), . . . , f
n
(x)}, x E,
entonces
{x E : h(x) > } =
n
j=1
{x E : f
j
(x) > },
resulta medible pues cada {x E : f
j
(x) > } es medible.
43
As mismo, si h(x) = sup
n
{f
1
(x), f
2
(x), . . . }, x E, tenemos que
{x E : h(x) > } =
j=1
{x E : f
j
(x) > },
que es medible.
Ahora sea L(x) = lm
n
f
n
(x), x E, es decir, L(x) =nf
n
sup
kn
f
n
(x).
Demostremos quenf
n
{f
1
(x), . . . } es medible. Si k(x) =nf
n
{f
1
(x), f
2
(x), . . . }, x
E, entonces {x E : k(x) > } =
j=1
{x E : f
j
(x) > }. Por lo tanto k(x)
es medible. Ahora si f
k
(x) = sup
jk
f
j
(x), tenemos que
{x E : L(x) > } =
j=1
{x E : f
j
(x) > }
=
j=1
(
kj
{x E : f
j
(x) > }) ,
entonces lm
n
f
n
es medible.
De manera analoga se demuestra que lm
n
f
n
es medible.
Corolario 3.0.9. El lmite puntual de una sucesion de funciones medibles es
medible.
Demostraci on. Una sucesion (f
n
)
n1
de funciones denidas de subconjuntos
E de R con valores en R
tales que
|fh
| < y |fg
1 tal que mE
n
<
3
n 1. Tomese M = N
+ 1,
entonces m{x [a, b] : |f(x)| > M} <
3
.
(b) Dados > 0 y M > 0, existe una funcion simple tal que |f | < ,
excepto en aquellos puntos donde |f(x)| > M.
Para demostrar esto dividamos a [M, M] en n subintervalos iguales. Es
decir sea > 0, tomese n tal que
2M
n
< y consideremos la particion
P = {M, M +
2M
n
, . . . , M}.
Sea
E
k
= f
1
__
M +
2(k 1)M
n
, M +
2kM
n
__
= {x [a, b] : M +
2(k 1)M
n
< f(x) < M +
2kM
n
},
1 k n. Cada E
k
es medible y podemos denir una de la siguiente manera
(x) =
n
k=1
_
M +
2kM
n
_
E
k
.
Para x E
k
tenemos que |f(x) (x)| <
2M
n
< , pero
n
k=1
E
k
= [a, b]\E,
donde E = m{x [a, b] : |f(x)| > M}; pues
[a, b]\E = f
1
([M, M])
= f
1
_
n
k=1
_
M +
2(k 1)M
n
, M +
2kM
n
__
=
n
k=1
f
1
__
M +
2(k 1)M
n
, M +
2kM
n
__
=
n
k=1
E
k
.
Ademas E
k
E
k
= , k = k
.
(c) Existe una funcion escalonada g en [a, b] tal que g(x) = (x), excepto en
un subconjunto de medida menor que
3
.
45
Para obtener esta funcion observese que cada E
k
del inciso anterior es med-
ible y E
k
[a, b], entonces mE
k
< , k = 1, 2, . . . , n. Para cada k, existe
{I
k
}
m
k
=1
coleccion nita de intervalos tales que
m
_
E
k
m
k
=1
I
k
_
<
3n
.
Sin perdida de generalidad podemos suponer que estos subintervalos son disjun-
tos. Sea
g(x) =
_
M +
2kM
n
_
m
k
=1
I
k
(x) para x E
k
m
k
=1
I
k
.
Esta funcion es escalonada pues
k
j=1
I
j
=
I
1
+
I
2
+ +
I
k
.
Ademas g(x) = (x) excepto en A =
n
k=1
_
E
k
m
k
=1
I
k
_
y
mA
n
k=1
m
_
E
k
m
k
=1
I
k
k=1
3n
=
3
.
(d) Notese que
g(x) =
n
k=1
_
M +
2kM
n
_
m
k
=1
I
k
(x)
=
m
j=1
c
j
I
j
(x)
para algunos c
j
R. Podemos escribir I
j
= [a
j1
, a
j
] para 1 j m.
En el intervalo
_
a
1
6m
, a
1
+
6m
_
se dene h como el segmento que une
_
a
1
6m
, c
1
_
con
_
a
1
+
6m
, c
2
_
y as para cada subintervalo de la particion.
De esta manera conseguimos una funcion continua h(x) tal que h(x) = g(x)
excepto en
m
j=1
_
a
j
6m
, a
j
+
6m
_
.
Pero
m
_
m
j=1
_
a
j
6m
, a
j
+
6m
__
=
m
j=1
3m
=
3
.
En resumen tenemos que:
|f | < , excepto en E
1
[a, b] con mE
1
<
3
,
46 CAP
n
= 0 y
n
=
2
n
. Sea E el subconjunto de E donde
(f
n
)
n1
no converge.
Sea
G
n,k
= {x E\E : |f
n
(x) f(x)|
n
},
y
E
n,K
=
kK
G
n,k
= {x E\E : |f
k
(x) f(x)|
n
, para alguna k K}.
La sucesion (E
n,K
)
K1
es decreciente y como para cada x E\E se tiene
que f
n
(x) f(x), entonces debe existir alg un K 1 tal que x / E
n,K
, es decir,
K1
E
n,K
= . Por la parte (i) de 2.3.16, se tiene que lm
K
E
n,K
= 0. Entonces
existe K
n
tal que mE
n,K
n
<
n
, es decir,
m{x E\E : |f
k
(x) f(x)|
n
, para alg unk K
n
} <
n
.
Sea E
n
= E
n,K
n
, tenemos que mE
n
<
n
y
(E\E)\E
n
= {x E\E : |f
k
(x) f(x)| <
n
, para todo k K
n
}.
Tomese F = E {
n1
E
n
}, tenemos que mF
n1
mE
n
= , y E\F =
n1
(E\E)\E
n
. Para cada > 0, existe n 1 tal que
n
< , por lo tanto,
|f
k
(x) f(x)| < si k K
n
para todo x E\F. Es decir la sucesion converge
uniformemente en E\F.
Ejercicio. Demuestre lo siguiente (Teorema de Lusin): Sea f una funcion
con valores reales y medible en un intervalo cerrado [a, b]. Dado > 0, existe
una funcion continua g en [a, b] tal que m{x : f(x) = g(x)} < .
Sugerencia: Aplique el Teorema de Egoro y las Proposiciones 2.3.17,
3.0.10.
48 CAP
j=1
a
j
E
j
(x),
donde los E
j
s son subconjuntos medibles de R y a
j
R, j = 1, 2, . . . , n.
Igual que en el caso de las funciones escalonadas esta representacion no es unica.
Observese que una funcion S es simple si y solo si es medible y toma solo un
n umero nito de valores. Si {a
1
, . . . , a
n
} son los valores de una funcion simple
s, entonces
s(x) =
n
j=1
a
j
A
j
(x),
con A
j
= s
1
({a
j
}) = {x R : s(x) = a
j
}, j = 1, 2, . . . , n. Esta ultima es la
representacion canonica de s, tiene la propiedad de que los A
j
s son disjuntos
y los a
j
s son distintos y no nulos.
49
50 CAP
j=1
a
j
mA
j
,
cuando s =
n
j=1
a
j
A
j
, es la representacion canonica de s.
Tambien como en el caso de las funciones escalonadas, la integral de Lebesgue
de una funcion escalonada no depende de la representacion elegida.
Proposicion 4.0.2. Sea s =
n
j=1
a
j
E
j
, con E
i
E
j
= para i =
j. Supongase ademas que cada subconjunto E
j
es medible con medida ni-
ta,entonces
_
sdm =
n
j=1
a
j
mE
j
.
Demostracion. Sea A
j
= {x R : s(x) = a
j
} =
a
i
=a
j
E
i
.
Entonces
a
j
mA
j
=
a
i
=a
j
a
i
mE
i
por la aditividad de m
por lo tanto
_
sdm =
j=1
a
j
mA
j
=
i
a
i
mE
i
.
Proposicion 4.0.3. Si s y t son funciones simples que se anulan fuera de un
subconjunto de medida nita, entonces
(i)
_
(as + bt)dm = a
_
sdm + b
_
tdm, para cualesquiera a, b R
(ii)
_
sdm
_
tdm, si s t c.d.
Demostracion. Si (A
j
)
n
j=1
y (B
j
)
m
j=1
son los subconjuntos que aparecen en
la representacion canonica de s y t, respectivamente, y A
0
y B
0
los subconjuntos
donde s y t se anulan; entonces (A
i
B
j
)
0i=n,0jm
es una coleccion nita
de subconjuntos medibles y disjuntos que podemos reenumerar y denotar por
(E
k
)
N
k=1
. Podemos escribir
s =
N
k=1
a
k
E
k
y t =
N
k=1
b
k
E
k
,
consecuentemente
as + bt =
N
k=1
(aa
k
+ bb
k
)
E
k
51
por la proposicion anterior obtenemos que
_
(as + bt)dm = a
_
sdm + b
_
tdm.
Ahora, como t s 0, entonces
_
tdm
_
sdm =
_
(t s)dm 0.
Esto demuestra (ii).
Como consecuencia de esta ultima proposicion y el principio de induccion
matematica, se obtiene que para cada funcion simple s =
n
j=1
a
j
E
j
se tiene
que
_
sdm =
n
j=1
a
j
mE
j
.
De manera que la hipotesis E
i
E
j
= si i = j en la primera proposicion
no es esencial.
Si s es una funcion simple y E un subconjunto medible, denimos
_
E
sdm :=
_
s
E
dm
Notese que s
E
tambien es una funcion simple, por lo tanto el lado derecho
de la igualdad anterior tiene sentido.
Proposicion 4.0.4. Si s es una funcion simple que se anula fuera de un con-
junto de medida nita E y E = E
1
E
2
con E
1
, E
2
medibles y disjuntos,
entonces
_
E
sdm =
_
E
1
sdm +
_
E
2
sdm
Demostraci on. Supongase que s =
n
j=1
c
j
F
j
, c
j
R y F
j
medible para
1 j n y E =
n
j=1
F
j
.
Tomemos las restricciones s|
E
1
=
n
j=1
c
j
E
1
F
j
y s|
E
2
=
n
j=1
c
j
E
2
F
j
.
52 CAP
j=1
c
j
mF
j
=
n
j=1
c
j
(mE
1
F
j
+ mE
2
F
j
)
=
n
j=1
c
j
m(E
1
F
j
) +
n
j=1
c
j
m(E
2
F
j
)
=
_
n
j=1
c
j
E
1
F
j
dm+
_
n
j=1
c
j
E
2
F
j
dm
=
_
n
j=1
c
j
E
1
F
j
dm+
_
n
j=1
c
j
E
2
F
j
dm
=
_
s
E
1
dm+
_
s
E
2
dm
=
_
E
1
sdm +
_
E
2
sdm
Hemos usado que
AB
=
A
B
.
.
Teorema 4.0.5. Sea f una funcion acotada denida en un subconjunto medible
E con mE < . Los siguientes enunciados son equivalentes :
(i) f es medible,
(ii) Para cada > 0, existen dos funciones simples s y t tales que
s(x) f(x) t(x), para todo x E y
_
E
tdm
_
E
sdm < .
Demostracion. Sea M la cota de M y supongase que f es medible. Los sub-
conjuntos
E
k
=
_
x E :
kM
n
f(x)
(k 1)M
n
_
, n k n,
son medibles, ajenos y E =
n
k=n
E
k
. Consecuentemente mE =
n
k=n
mE
k
.
Las funciones simples denidas por
s
n
(x) =
M
n
n
k=n
(k 1)
E
k
(x) y t
n
(x) =
M
n
n
k=n
k
E
k
(x),
satisfacen las desigualdades s
n
(x) f(x) t
n
(x), para cada x E.
Ademas
_
E
t
n
dm
_
E
s
n
dm =
M
n
n
k=n
(k (k 1))mE
k
=
M
n
mE.
53
Dado > 0, para n sucientemente grande tenemos que
_
E
t
n
dm
_
E
s
n
dm < .
Esto demuestra que (i) implica (ii).
Reciprocamente, supongase que (ii) se cumple y para cada n 1 sean
s
n
y t
n
funciones simples tales que s
n
(x) f(x) t
n
(x), y
_
E
t
n
dm
_
E
s
n
dm <
1
n
.
Las funciones s = sup
n
s
n
y t = nf
n
t
n
son medibles por el Teorema ?? y
ademas s
n
(x) f(x) t
n
(x), para todo x E.
Sea F = {x X : s(x) < t(x)} y para cada k 1 sea
F
k
=
_
x E : s(x) < t(x)
1
k
_
.
Tenemos que
F =
k1
F
k
y F
k
F
k,n
=
_
x E : s(x) < t(x)
1
k
_
para todo n 1; pues s
n
(x) s(x) < t(x)
1
k
t
n
(x)
1
k
para todo
n 1.
Por lo tanto se tiene que
1
k
F
k
(x) < t
n
(x) s
n
(x), para todo x F
k
y todo n 1
Integrando se obtiene
1
k
mF
k
<
_
F
k
t
n
dm
_
F
k
s
n
dm
_
E
t
n
dm
_
E
s
n
dm
<
1
n
, para todo n 1
Es decir, mF
k
<
k
n
para todo n 1, lo cual demuestra que mF
k
= 0.
Consecuentemente mF = 0 pues F =
k1
F
k
. Esto implica que s = f = t c.d.
y por lo tanto f es medible.
Con las mismas notaciones de la demostracion anterior tenemos que
_
E
s
n
dm sup
__
E
sdm : s es simple y s f
_
54 CAP
_
E
t
n
dm
_
E
s
n
dm =
M
n
mE, para cada n 1.
Permitiendo que n obtenemos que, si alguna de las condiciones en el
teorema anterior se cumple, entonces
nf
__
E
tdm : t es simple y f t
_
= sup
__
E
sdm : s es simple y s f
_
.
Esto motiva la siguiente
Denicion 4.0.6. Si f es medible y acotada denida en un subconjunto medible
E con mE < , la integral de f sobre E se dene como
_
E
fdm = nf
__
E
tdm : t es simple y f t
_
= sup
__
E
sdm : s es simple y s f
_
.
Si E = [a, b], a < b, entonces escribiremos
_
b
a
fdm en lugar de
_
[a,b]
fdm.
Si f es medible, acotada y nula fuera de un subconjunto de medida nita E,
escribiremos simplemente
_
fdm en lugar de
_
E
fdm. Con esta conveccion
tenemos que
_
E
fdm =
_
f
E
dm.
La diferencia entre las integrales de Riemann y Lebesgue se aprecia muy
bien en el caso de funciones escalonadas, que tambien son simples.
Por ejemplo, consideremos la funcion escalonada
e(x) = 0
[0,1)
+ 2
[1,2)
+ 3
[2,3)
+ 0
[3,4)
+ 2
[4,5)
,
cuya representacion canonica como funcion simple es
e(x) = 0
[0,1)[3,4)
+ 2
[1,2)[4,5)
+ 3
[2,3)
.
Tenemos que
R
_
5
0
e(x)dx = 0 (1 0) +2 (2 1) +3 (3 2) +0 (4 3) +2 (5 4) = 7
y
_
5
0
edm = 0 ((1 0) + (4 3)) + 2 ((2 1) + (5 4)) + 3 (3 2) = 7
En general tenemos el siguiente resultado.
55
Proposicion 4.0.7. Sea f una funcion denida en un intervalo cerrado [a, b].
Si f es Riemann integrable en [a, b], entonces es medible y
R
_
b
a
f(x)dx =
_
b
a
fdm.
Demostraci on. Por ser Riemann integrable es acotada y de acuerdo con el
Teorema 1.0.6 para cada > 0 existen funciones escalonadas f
1
y f
2
tales que
f
1
(x) f(x) f
2
(x), x [a, b] y
_
R
_
b
a
f
2
(x)dx
_
_
R
_
b
a
f
1
(x)dx
_
< .
Pero cada funcion escalonada es simple y ademas
R
_
b
a
f
j
(x)dx =
_
b
a
f
j
dm, j = 1, 2.
Entonces se cumple la condicion (ii) en el Teorema 4.0.5 y por lo tanto f es
medible.
Ademas
_
R
_
b
a
f(x)dx
_
= sup
_
_
b
a
f
1
(x)dx : f
1
es escalonada y f
1
(x) f(x), x [a, b]
_
sup
_
_
b
a
sdm : s es simple y s(x) f(x) x [a, b]
_
nf
_
_
b
a
tdm : t es simple y t(x) f(x) x [a, b]
_
nf
_
_
b
a
f
2
(x)dx : f
2
es escalonada y f
2
(x) f(x), x [a, b]
_
=
_
R
_
b
a
f(x)dx
_
Esto demuestra que R
_
b
a
f(x)dx =
_
b
a
fdm.
Proposicion 4.0.8. Si f y g son funciones acotadas y medibles denidas en
un subconjunto de medida nita, entonces
(i)
_
E
(af + bg)dm = a
_
E
fdm + b
_
E
gdm.
(ii) Si f = g c.d., entonces
_
E
fdm =
_
E
gdm.
(iii) Si f g c.d., entonces
_
E
fdm
_
E
gdm. Consecuentemente
_
E
fdm
_
E
|f|dm.
56 CAP
_
E
(t
1
+ t
2
)dm =
_
E
t
1
dm +
_
E
t
2
dm.
Como nf
__
E
tdm : t es simple y f + g t
_
=
_
E
fdm +
_
E
gdm, esto de-
muestra que
_
E
(f + g)dm
_
E
fdm +
_
E
gdm.
Para demostrar la desigualdad opuesta, observese que si s
1
y s
2
son funciones
simples que satisfacen s
1
f y s
2
g, entonces s
1
+ s
2
es una funcion simple
y satisface que s
1
+ s
2
f + g. Por lo tanto,
_
E
(f + g)dm = sup
__
E
sdm : s es simple y s f
_
_
E
(s
1
+ s
2
)dm
=
_
E
s
1
dm+
_
E
s
2
dm,
57
esto demuestra que
_
E
(f + g)dm
_
E
fdm+
_
E
gdm;
de lo cual se sigue (i).
Como f g = 0 c.d., si t es una funcion simple tal que t f g, entonces
t 0 c.d. Por lo tanto
_
E
tdm 0 y de esto se sigue que
_
E
(f g)dm =nf
__
E
tdm : t es simple y t f g
_
0.
De manera analoga
_
E
(f g)dm = sup
__
E
sdm : s es simple y s f g
_
0.
Esto demuestra (ii).
De la misma manera se demuestra que si f g c.d. entonces
_
E
fdm
_
E
gdm.
De aqu se sigue que
_
E
fdm
_
E
|f|dm,
pues |f| f |f| implica que
_
E
|f|dm
_
E
fdm
_
E
|f|dm, lo cual
demuestra (iii).
Como
_
E
Adm = AmE y
_
E
adm = amE (iv) se sigue de (iii).
Tenemos que
_
E
1
E
2
fdm =
_
f
E
1
E
2
dm =
_
(f
E
1
+ f
E
2
) dm
=
_
f
E
1
dm+
_
f
E
2
dm
=
_
E
1
fdm +
_
E
2
fdm,
donde hemos usado (i).
58 CAP
n1
E
n
, con E
n
medible para cada n 1 y E
n
E
m
= si n = m,
entonces
_
E
fdm =
n1
_
E
n
fdm.
Demostracion. Usando el Principio de Induccion Matematica y la parte (v)
de la proposicion anterior se demuestra que
_
N
n=1
E
n
fdm =
N
n=1
_
E
n
fdm, para cada N 1.
Ahora, para cada N 1 sea F
N
=
n=N+1
E
n
. Tenemos que
_
E
fdm
N
n=1
_
E
fdm =
_
E
fdm
_
N
n=1
E
n
fdm =
_
F
n
fdm,
pues E =
_
N
n=1
E
N
_
F
N
. Observese que como f es acotada, digamos
|f(x)| M, entonces
_
E
|f(x)|dm MmE < y por lo tanto
_
E
fdm <
por la parte (iv) de la proposicion anterior, as mismo
_
N
n=1
E
n
fdm y
_
F
N
fdm
son ambas nitas.
Entonces
_
E
fdm
N
n=1
_
E
fdm
_
F
N
fdm
_
F
N
|f|dm.
De acuerdo con la Denicion 4.0.6, para cada > 0 existe una funcion simple s
tal que 0 s |f| y
_
F
N
|f|dm
2
<
_
F
N
sdm MmF
N
, para cada N 1.
Como F
N+1
F
N
y mF
1
mE < , de acuerdo con la parte (i) de la
Proposicion 2.3.16 tenemos que lm
N
mF
N
= m(
N1
F
N
) = m = 0.
Tomando N sucientemente grande obtenemos que MmF
N
<
2
y por lo tanto
_
E
fdm
N
n=1
_
E
fdm
_
F
N
|f|dm <
2
+
2
= .
Esto demuestra la Proposicion.
.
Si f es medible, acotada y f 0 denida en R, entonces la funcion
f
: M [0, ] denida por M
f
E :=
_
E
fdm, para E M, donde M
es la algebra de los subconjuntos Lebesgue-medibles, es una medida. Pues
4.1. LA INTEGRAL DE FUNCIONES NO NEGATIVAS. 59
obviamente
f
E 0, para cada E M,
f
= 0 y si E =
n1
E
n
con
E
n
M y E
n
E
m
= para n = m, entonces por la Proposicion anterior
tenemos que
f
E =
_
n1
E
n
fdm =
n1
_
E
n
fdm =
n1
f
E
n
.
Demostraremos ahora nuestro primer teorema de convergencia, es decir,
nuestro primer resultado que indica condiciones sucientes para intercambiar
un lmite con una integral.
Proposicion 4.0.10. (Teorema de Convergencia Acotada).
Si (f
n
)
n1
es una sucesion de funciones medibles sobre un subconjunto medible
E con mE < que esta uniformemente acotada por una constante real M, es
decir, |f
n
(x)| M para todo n 1 y todo x E, y ademas se tiene
lm
n
f
n
(x) = f(x) entonces
_
E
fdm = lm
n
_
E
f
n
dm.
Demostraci on. Por el Lema, dados > 0 y =
4M
existen un subconjunto
A E con mA <
4M
y un natural N tal que para n N y todo x E\A
tenemos que |f(x) f
n
(x)| <
2mE
.
Entonces
_
E
fdm
_
E
f
n
dm
_
E
|f f
n
|dm
=
_
E\A
|f f
n
|dm+
_
A
|f f
n
|dm
<
2mE
mE + 2MmA
=
2
+
2
= .
4.1. La integral de funciones no negativas.
En la seccion anterior hemos denido la integral de Lebesgue para la clase
de funciones que son medibles, acotadas y estan denidas sobre un subconjunto
medible de medida nita. En esta seccion extenderemos esta denicion al caso
de funciones medibles no negativas denidas sobre un subconjunto medible,
eliminando la restriccion de que las funciones sean acotadas y los subconjuntos
(dominios) sean de medida nita. En la proxima seccion, tambien eliminaremos
la restriccion sobre el signo de las funciones.
60 CAP
__
E
kdm : k es medible, acotada, k g y m{x : k(x) = 0} <
_
,
entonces
_
E
fdm
_
E
gdm, lo cual demuestra (ii).
4.1. LA INTEGRAL DE FUNCIONES NO NEGATIVAS. 61
Teorema 4.1.2. (Lema de Fatou).
Sea (f
n
)
n1
una sucesion de funciones medibles no negativas tales que
lm
n
f
n
(x) = f(x) c.d. en un subconjunto medible E. Entonces
_
E
fdm lm
n
_
E
f
n
.
Demostraci on. Sea E
0
E tal que lm
n
f
n
(x) = f(x), x E \ E
0
.
Entonces mE
0
= 0.
Sea h una funcion medible, acotada, h f y E
E \ E
0
tal que mE
= 0
y h es nula fuera de E
. Defnase
h
n
(x) = min(h(x), f
n
(x)),
entonces h
n
esta acotada por la cota de h y se anula fuera de E
. Ahora, como
h
n
(x) = h(x) si h(x) f
n
(x), o bien, h
n
(x) = f
n
(x) si f
n
(x) < h(x),
tenemos que h
n
(x)
n
h(x) para cada x E
.
Entonces podemos aplicar el Teorema de Convergencia Acotada para obtener
que
_
E
hdm =
_
E\E
0
hdm =
_
E
hdm
= lm
n
_
E
h
n
dm lm
n
_
E
f
n
dm,
pues h
n
f
n
para cada n 1.
Tomando supremo sobre h obtenemos que
_
E
fdm lm
n
_
E
f
n
dm.
El Lema de Fatou es un resultado que supone muy pocas hipotesis sobre
la sucesion (f
n
)
n1
, pero no permite intercambiar el lmite con la integral,
arma solo que
_
E
fdm lm
n
_
E
f
n
dm.
Los dos teoremas de convergencia mas fuertes se demuestran usando el Lema
de Fatou.
La hipotesis de no negatividad de las funciones f
n
en el Lema de Fatou es
esencial; pues si en E = R consideramos la sucesion (f
n
)
n1
donde
f
n
= n
2
(0,1/n)
, entonces tenemos que f(x) = lm
n
f
n
(x) = 0 para cada x R,
pero
_
R
n
2
(0,1/n)
dm = n, entonces lm
n
_
R
f
n
dm = < 0 =
_
R
fdm.
Por otra parte, la desigualdad en el Lema de Fatou puede ser estricta. Por
ejemplo para la sucesion de funciones medibles no negativas (f
n
)
n1
donde
f
n
(x) =
[n,n+1]
(x), tenemos que f(x) = lm
n
f
n
(x) = 0 para cada x R pero
_
R
f
n
dm = 1 para todo n 1, entonces
_
R
fdm = 0 < 1 = lm
n
_
R
f
n
dm.
62 CAP
n1
U
n
.
Entonces
_
E
fdm =
n1
_
E
U
n
dm.
Demostracion. Bastara tomar la sucesion de sumas parciales f
n
=
n
k=1
U
k
,
n 1 que es una sucesion creciente de funciones medibles y no negativas.
Aplicando el Teorema anterior se obtiene que
_
E
fdm = lm
n
_
E
f
n
dm = lm
n
n
k=1
_
E
U
k
dm
=
k1
_
E
U
n
dm
Notese que en todos los resultados anteriores puede ocurrir que
_
E
fdm = .
Tambien observese que hasta ahora no hemos usado el nombre Lebesgue inte-
grable para designar a una funcion cuya integral de Lebesgue existe, pues de
acuerdo con el Teorema 4.0.5 esta ultima condicion se cumple para toda fun-
cion medible. Este nombre lo aplicaremos solo a aquellas funciones medibles que
tienen integral de Lebesgue nita.
4.1. LA INTEGRAL DE FUNCIONES NO NEGATIVAS. 63
Denicion 4.1.5. Una funcion medible no negativa se llama Lebesgue inte-
grable sobre un subconjunto medible E si
_
E
fdm < .
Si una funcion medible no negativa g esta dominada por una funcion in-
tegrable f sobre un subconjunto medible E, es decir, g(x) f(x) para cada
x E; entonces por la linealidad
_
E
fdm =
_
E
(f g)dm+
_
E
gdm.
Como el lado izquierdo es nito, los dos terminos del lado derecho son nitos y
por lo tanto g tambien es integrable.
Corolario 4.1.6. (Continuidad absoluta).
Sea f una funcion no negativa e integrable sobre un medible E. Entonces para
A E,
_
A
fdm 0 cuando mA 0.
Demostraci on. Sea
f
n
(x) =
_
f(x) si f(x) n
n si f(x) > n,
para cada n 1.
La sucesion (f
n
)
n1
es monotona creciente de funciones medibles no negativas,
entonces por Teorema de Convergencia Monotona se tiene que lm
n
_
E
f
n
dm =
_
E
fdm.
Entonces para cada > 0, existe N 1 tal que
_
E
(f f
n
)dm <
2
para n N.
Entonces si A E es un subconjunto medible con mA <
2N
tenemos que
_
A
fdm =
_
A
(f f
N
) dm+
_
A
f
N
dm <
_
A
(f f
N
) dm+ NmA
<
2
+
2
= .
64 CAP
E
n,0
+
2
2
n
k=1
k 1
2
n
E
n,k
, para cada n 1.
2. Demuestre que si f es medible y no negativa sobre un medible E, entonces
_
E
fdm = sup
__
E
sdm : s es simple y s f
_
.
Sugerencia. Use el ejercicio 1 y el Teorema de Convergencia Monotona.
3. Si (f
n
)
n1
es una sucesion de funciones medibles no negativas, demuestre
que
(a)
_
E
lm
n
f
n
dm lm
n
_
E
f
n
dm, esta es una generalizacion del
Lema de Fatou.
Sugerencia: Dena g
n
= nf
kn
f
k
. (g
n
)
n1
es una sucesion cre-
ciente de funciones medibles no negativas y lm
n
g
n
= lm
n
f
n
. Use
que g
n
f
n
para cada n y aplique el Teorema de Convergencia
Monotona.
(b)
_
E
lm
n
f
n
dm lm
n
_
E
f
n
dm.
4. (a) Suponga que f es una funcion medible y no negativa y dena
f
E =
_
E
fdm para cada E M, donde M es la sigma algebra
de los subconjuntos Lebesgue medibles. Demuestre que
f
es una
medida sobre M y que para cada funcion medible y no negativa g se
tiene que
_
gd
f
=
_
gfdm.
Sugerencia: La identidad es obviamente cierta si g =
E
, E M.
Consecuentemente tambien vale para cada funcion simple no negati-
va. El caso general se demuestra usando el Teorema de Convergencia
Monotona.
(b) Si ademas f es integrable, demuestre que
f
es absolutamente con-
tinua respecto de m, es decir, si mE = 0 entonces
f
E = 0.
4.2. LA INTEGRAL DE FUNCIONES COMPLEJAS 65
4.2. La integral de funciones complejas
En esta seccion extenderemos el concepto de integral de Lebesgue al caso de
funciones medibles con valores complejos.
Si f : E R
= (u)0. La funcion
u es medible si y solo si u
+
y u
,
y
|u| = u
+
+ u
.
Denicion 4.2.4. Si f = u + iv, con u y v funciones reales medibles sobre un
subconjunto medible E, entonces decimos que f es integrable sobre E si cada
una de las funciones u
+
, u
, v
+
y v
dm+ i
_
E
v
+
dmi
_
E
v
dm.
Como las funciones u
+
, u
, v
+
y v
dm.
Proposicion 4.2.5. Sean f y g funciones complejas integrables sobre E, en-
tonces
(i) La funcion cf es integrable sobre E y
_
E
cfdm = c
_
E
fdm.
(ii) La funcion f + g tambien es integrable sobre E y
_
E
(f + g)dm =
_
E
fdm +
_
E
gdm.
(iii) Si A y B son medibles y disjuntos contenidos en E, entonces
_
AB
fdm =
_
A
fdm +
_
B
fdm.
4.2. LA INTEGRAL DE FUNCIONES COMPLEJAS 67
Demostraci on. Si f = u +iv, f es integrable sobre E si y solo si u y v son
integrables sobre E como funciones reales y
_
E
fdm =
_
E
udm+ i
_
E
vdm. (1)
Tenemos que
(cu)
+
=
_
cu
+
si c 0
cu
si c < 0,
entonces por la Proposicion 4.2.3 (cu)
+
es integrable sobre E. De manera similar
se demuestra que (cu)
dm
= c
_
E
u
+
dmc
_
E
u
dm
= c
_
E
udm,
pues
(cu)
=
_
cu
si c 0
cu
+
si c < 0,
De manera analoga se demuestra que cv es integrable sobre E y
_
E
cvdm = c
_
E
vdm.
Esto demuestra (i) en el caso cuando a y b son reales. El caso general se sigue
de esto usando la identidad (1).
Si u
1
y u
2
son funciones no negativas e integrables sobre E tales que
u = u
1
u
2
, entonces u
+
+u
2
= u
+u
1
y por la Proposicion 4.2.3 obtenemos
que
_
E
u
+
dm+
_
E
u
2
dm =
_
E
u
dm +
_
E
u
1
dm.
Como estas integrales son nitas tenemos que
_
E
udm =
_
E
u
+
dm
_
E
u
dm =
_
E
u
1
dm
_
E
u
2
dm.
Si f = u +iv y g = p +iq son integrables entonces u, p, v y q son integrables
y por ejemplo u + p = (u
+
+ p
+
) (u
+ p
) entonces
_
E
(u + p)dm =
_
E
(u
+
+ p
+
)dm
_
E
(u
+ p
)dm
=
_
E
u
+
dm+
_
E
p
+
dm
_
E
u
dm
_
E
p
dm
=
_
E
udm+
_
E
pdm.
68 CAP
_
E
fdm
_
E
|f|dm.
Demostracion. Sea z =
_
E
fdm y C con || = 1 tal que z = |z|.
Supongase que f = u + iv, entonces tenemos que u |f| = |f| y conse-
cuentemente
_
E
fdm
=
_
E
fdm =
_
E
fdm
=
_
E
udm
_
E
|f|dm,
donde se ha usado que
_
fdm es un n umero real.
Teorema 4.2.7. (Convergencia Dominada)
Sean g una funcion no negativa integrable sobre E y (f
n
)
n1
una sucesion de
funciones complejas medibles tales que |f
n
| g sobre E para cada n 1 y
f(x) = lm
n
f
n
(x) c.d. en E. Entonces
_
E
fdm = lm
n
_
E
f
n
dm
y
lm
n
_
E
|f
n
f|dm = 0.
4.2. LA INTEGRAL DE FUNCIONES COMPLEJAS 69
Demostraci on. f es medible y |f
n
| g, entonces |f
n
f| 2g.
Aplicando el Lema de Fatou a la sucesion de funciones medibles y no negativas
(2g |f
n
f|)
n1
obtenemos que
_
E
2gdm lm
n
_
E
(2g |f
n
f|) dm =
_
E
2gdm + lm
n
_
_
E
|f
n
f|dm
_
=
_
E
2gdmlm
n
_
E
|f
n
f|dm
Como g es integrable obtenemos que
lm
n
_
E
|f
n
f|dm 0 lm
n
_
E
|f
n
f|dm,
pues la sucesion de reales
__
E
|f
n
f|dm
_
n1
es no negativa. Entonces pode-
mos concluir que
lm
n
_
E
|f
n
f|dm = 0.
Por la Proposicion 4.2.5 obtenemos que
_
E
f
n
dm
_
E
fdm
_
E
(f
n
f)dm
_
E
|f
n
f|dm,
lo cual implica que
lm
n
_
E
f
n
dm =
_
E
fdm.
Ejercicio
1.- Demuestre que si f medible, f 0 y
_
f(x)dx = 0, entonces f = 0 c.d.
2.- Demuestre el siguiente Teorema de Lebesgue. Una funcion f : [a, b]
R es Riemann integrable si y solo si f es continua c.d. en [a, b], es decir,
si el conjunto de discontinuidades de f en [a, b] tiene medida de Lebesgue
cero.
70 CAP
. Dejamos la de-
mostracion de algunos de estos resultados como ejercicio para el lector.
Dada una sucesion (s
n
)
nN
de n umeros reales se tiene que
s = lm
n
s
n
> 0 N
N tal que |s s
n
| < n > N
.
Debilitando un poco esta condicion se obtiene la nocion de punto lmite:
es un punto lmite de (s
n
)
nN
si > 0 existen una innidad de terminos de
la sucesion (s
n
)
n1
que distan de menos que > 0. De manera mas precisa
tenemos.
Denicion 5.0.8. es punto lmite de (s
n
)
n1
si y solo si dados > 0 y N 1
existe n = n
N tal que |s
n
| < .
Una forma equivalente de expresar este concepto esta contenida en la sigu-
iente.
Proposicion 5.0.9. es punto lmite de una sucesion de n umeros reales (s
n
)
n1
si y solo si existe una subsucesion (s
n
k
)
k1
de (s
n
)
n1
tal que = lm
k
s
n
k
.
Demostraci on. Sea un punto lmite de (s
n
)
n1
y tomense =
1
k
, N = k.
Entonces para cada k existe n
k
k tal que |s
n
k
| <
1
k
, por lo tanto la
subsucesion (s
n
k
)
k1
converge a .
Reciprocamente, si = lm
k
s
n
k
, (s
n
k
)
n1
subsucesion de (s
n
)
n1
. En-
tonces para cada > 0 k
1 tal que |s
n
k
| < , si n
k
k
. Entonces
dados > 0 y N 1 sea n
max(k
ITULO 5. AP
ENDICE
Si = lm
n
s
n
entonces es punto lmite de (s
n
)
n1
. El recproco no es cierto,
por ejemplo s
n
= 1 + (1)
n
no es convergente pero si tiene puntos lmites.
Denicion 5.0.10. Si (s
n
)
n1
es una sucesion de reales extendidos denimos
su lmite superior y su lmite inferior como,
(i) lm
n
s
n
=nf
n
sup
kn
s
k
(ii) lm
n
s
n
= sup
n
nf
kn
s
k
,
respectivamente.
Recuerde que Todo subconjunto de reales extendidos tiene supremo enmo
si es no vaco.
Considerese la sucesion s
n
= sup
kn
s
k
= sup{s
n
, s
n+1
, . . . }. Como s
n+1
=
sup{s
n
, s
n+1
, . . . }, entonces s
n+1
s
n
,; es decir, la sucesion (s
n
)
n1
es no-
creciente en R
. Entonces existe
lm
n
s
n
=nf{s
1
, s
2
, . . . , } = lm
n
s
n
.
De manera analoga, si s
n
=nf
kn
s
k
=nf{s
n
, s
n+1
, s
n+2
, . . . }, la sucesion
(s
n
)
n1
es monotona no-decreciente en R
, y por lo tanto
lm
n
s
n
= sup
n
s
n
= lm
n
s
n
.
Proposicion 5.0.11. (a) Sea L R, L = lm
n
s
n
si y solo si
(a.i) Para cada > 0 existe n tal que s
k
< L + para todo k n;
(a.ii) Dados > 0 y n 1, existe k
n tal que s
k
> + .
(b) Sea R, = lm
n
s
n
si y solo si
(b.i) Dado > 0 existe n tal que s
k
> para todo k n;
(b.ii) Dados > 0 y n 1, existe k
n tal que s
k
< .
La condicion (b) en la Proposicion anterior es dual de la condicion (a).
Teorema 5.0.12. Sea (s
n
)
n1
una sucesion en R
y
L = { R
: es punto lmite de (s
n
)
n1
}
o bien,
L = { R
es convergente si y solo si
lm
n
s
n
= lm
n
s
n
.
Ejercicio. Sea S R acotado. Demuestre que
(i)
nf{as : s S} = anf{s : s S} si a > 0,
(ii)
nf{as : s S} = a sup{s : s S} si a < 0,
(iii)
sup{as : s S} = anf{s : s S} si a < 0,
(iv)
sup{as : s S} = a sup{s : s S} si a > 0,
(v) Si 0 / S,
sup{s
1
: s S} = (nf{s : s S})
1
,
(vi) Si 0 / S,
nf{s
1
: s S} = (sup{s : s S})
1.
Proposicion 5.0.14. Supongase lm
n
s
n
y lm
n
s
n
R, entonces
(i) lm
n
(s
n
) = lm
n
s
n
(ii) lm
n
s
n
lm
n
s
n
(iii)
lm
n
s
n
+ lm
n
t
n
lm
n
(s
n
+ t
n
) lm
n
s
n
+ lm
n
t
n
lm
n
(s
n
+ t
n
) lm
n
s
n
+ lm
n
t
n
.
74 CAP
ITULO 5. AP
ENDICE
Bibliografa
[1] H.L. Royden, Real Analysis. The Macmillan company, Collier-Macmillan
Limited, London, (1968).
[2] W. Rudin, Real and Complex Analysis (second edition). McGraw-Hill, Inc.,
New York, (1974).
[3] H.J. Wilcox, D.L. Myers, An Introduction to Lebesgue Integration and Fouri-
er Series, Dover Publications, Inc., New York, (1994).
[4] S. Hartman, J.Mikusinski, The Theory of Lebesgue Measure and Integration,
Pergamon Press, New York - Panstwowe Wydawnictwo Naukowe, Warszawa,
1961.
75