Está en la página 1de 75

Una introduccion a la medida e integral

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

ITULO 1. LA INTEGRAL DE RIEMANN


lo cual es una contradiccion.
Al n umero R lo denotaremos mediante el smbolo
R
_
b
a
f(x)dx = lm
P0
R(f, P, ).
Recuerdese que si f 0 entonces R
_
b
a
f(x)dx es el area bajo la graca
de f en [a, b].
La denicion que hemos dado para la integral de Riemann de una funcion,
no es constructiva. En lo que sigue describiremos un metodo constructivo que
permite calcular integrales de Riemann. Ademas este metodo nos servira como
motivacion para denir la integral de Lebesgue.
Denicion 1.0.2. (Funcion escalonada)
Una funcion g denida en [a, b] es escalonada si existe una particion P de [a, b]
tal que g es constante en cada subintervalo de P.
Como consecuencia inmediata de la denicion obtenemos que una funcion
escalonada g toma solo un n umero nito de valores. Pero la funcion de Dirichlet
f(x) =
_
1 si x Q [0, 1]
0 si x [0, 1] \ Q,
no es escalonada a un cuando toma solo dos valores.
1 2/3 1/3 1/2
1/3
2/3
1/2
Figura 1.1: una funcion escalonada
La funcion escalonada de la gura 1,1 acepta la siguiente representacion
g(x) =
1
2

[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

ITULO 1. LA INTEGRAL DE RIEMANN


Lema 1.0.5. Si f es R-integrable en [a, b] y f(x) = g(x) excepto en un n umero
nito de puntos c
1
, . . . , c
k
[a, b] entonces g es R-integrable y
_
b
a
f(x)dx =
_
b
a
g(x)dx.
Demostracion.
Supongase que k = 1. Bastara demostar que si f(x) = g(x), excepto en c [a, b],
entonces |R(f, P, )R(g, P, )| es arbitrariamente peque no para P peque na.
Dada cualquier particion P de [a, b] con P = {x
0
< x
1
< . . . < x
n
}, el punto c
se encuentra a lo mas en dos subintervalos [x
i1
, x
i
] y [x
i
, x
i+1
],
Entonces
|R(f, P, ) R(g, P, )| = |R(f g, P, )| = |
n

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

ITULO 1. LA INTEGRAL DE RIEMANN


entonces
|f(x)| <
n
b a
(R+ ).
Si f cambia de signo escrbase f = f
+
f

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

, por lo tanto es f acotada.


Como f es R-integrable, entonces dado > 0 > 0 tal que
|R(f, P, ) R| < para toda eleccion , y toda particion P con P < .
Si P = {a = x
0
< x
1
< . . . < x
n
= b}, como f es acotada tiene sentido denir
f
1
(x) = nf{f(x) : x (x
i1
, x
i
)} para x (x
i1
, x
i
),
f
2
(x) = sup{f(x) : x (x
i1
, x
i
)} para x (x
i1
, x
i
)
Estas funciones se pueden denir tambien en los puntos de P de manera que
resulten escalonadas. Notese que f
1
(x) f(x) f
2
(x) x [a, b]. Recordemos
que si S es un subconjunto acotado de R, entonces
(i) S = sup S
(i,1) S s s S
(i,2) > 0 s

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

ITULO 1. LA INTEGRAL DE RIEMANN


pues
<
_
b
a
f
1
(x)dx
_
b
a
f
2
(x)dx
_
b
a
f
1
(x)dx R R(f, Q, ) R.
Y
R(f, Q, ) R
_
b
a
f
2
dx R
_
b
a
f
2
(x)dx
_
b
a
f
1
(x)dx < ,
pues
R
_
b
a
f
1
(x)dx.
Entonces,
< R(f, Q, ) R < .
Esto demuestra que f es R-integrable y ademas,
_
b
a
f(x)dx = R.
Notese que en la demostracion del Teorema anterior se describe un metodo
para calcular la integral de Riemann de cada funcion Riemann-integrable, de
hecho tenemos que
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]
_
= inf
_
_
b
a
f
2
(x)dx : f
2
es escalonada y f
2
(x) f(x) x [a, b]
_
.
Los siguientes teoremas, cuyas demostraciones dejamos como ejercicio para
el lector, describen propiedades basicas de la integral de Riemann.
Teorema 1.0.7. (Linealidad)
Si f y g son R-integrables entonces cf y f + g son R-integrables (c R) y
ademas
_
b
a
cf(x)dx = c
_
b
a
f(x)dx y
_
b
a
(f(x) +g(x))dx =
_
b
a
f(x)dx +
_
b
a
g(x)dx.
Teorema 1.0.8. (Monotona)
Si f y g son R-integrables y f g en [a, b], entonces
_
b
a
f(x)dx
_
b
a
g(x)dx.
Corolario 1.0.9. Si f es R-integrable y m f M entonces
m(b a)
_
b
a
f(x)dx M(b a).
13
Teorema 1.0.10. Cualquier funcion continua en [a, b] es R-integrable en [a, b].
Teorema 1.0.11. Cualquier funcion monotona en [a, b] es R-integrable en [a, b].
Teorema 1.0.12. Sea U un abierto que contiene [a, b]. Si f es continua en U
y F es primitiva de f en U entonces
_
b
a
f = F(b) F(a)
Ejemplo 1.0.13. Sea Q el conjunto de los n umeros racionales, considerese la
funcion caracterstica

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

ITULO 1. LA INTEGRAL DE RIEMANN


Ejemplo 1.0.14. (La funcion de Riemann) Representemos a los racionales
no nulos en la forma
p
q
con q = 0 y (p, q) = 1.
Defnase
g(x) =
_

_
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

ITULO 1. LA INTEGRAL DE RIEMANN


Captulo 2
La medida de Lebesgue
2.1. Introduccion
Alguna vez Lebesgue escribio: Es claro que se debe iniciar partiendo [c, d] en
lugar de [a, b], . . . . En efecto, en contraposicion con la integral de Riemann,
en la cual se inicia partiendo el dominio de la funcion, Lebesgue propuso iniciar
partiendo el rango de la funcion que se desea integrar. Podemos ilustrar la difer-
encia entre estos dos procedimientos con una analoga propuesta por el mismo
Lebesgue: si en un paquete se tienen billetes de las siguiente denominaciones
{0,10, 1, 0,50, 100, 20, 0,10, 2, 500, 20, 10, 100, 0,50}, de acuerdo con Riemann se
contaran agrupando los primeros tres, despues los cuatro siguientes y nalmente
los ultimos cinco para obtener 1,60 +122,10 +630,50 = 754,20. Pero de acuerdo
con el procedimeinto propuesto por Lebesgue los contariamos agrupandolos de
acuerdo a sus valores, as: 0,102+0,502+202+1002+2+500+1+10 =
754,20.
En la siguiente gura ilustramos el proceso propuesto por Lebesgue.
a
b
c
d
E
i
1
y
i
y
i+1
E
i
2
E
i
3
Figura 2.1: f
1
[y
i
, y
i+1
] = E
1
i
E
2
i
E
3
i
17
18 CAP

ITULO 2. LA MEDIDA DE LEBESGUE


La imagen inversa de un intervalo como [y
i
, y
i+1
], puede ser muy compli-
cada. En la gura, la imagen inversa del intervalo [y
i
, y
i+1
] es una union de
intervalos pero, para funciones menos regulares, esta imagen inversa es mucho
mas complicada. Por ejemplo, si f es la funcion de Dirichlet,
f(x) =
_
1 si x Q [0, 1]
0 si x / Q [0, 1],
la imagen inversa de un intervalo sucientemente peque no alrededor de 1 es
Q [0, 1] que no es una union de intervalos; lo mismo ocurre con la imagen
inversa [0, 1] \ Q, de un intervalo sucientemente peque no alrededor de 0.
No obstante el area de la parte sombreada en la gura 2,1 se puede aprox-
imar por c
i
(E
1
i
) + c
i
(E
2
i
) + c
i
(E
3
i
) = c
i

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

A esta bien denida, pues es el nmo de un subconjunto no


vaco y acotado por abajo.
Si A es tal que

n1
(I
n
) = para toda coleccion {I
n
}
n1
de intervalos
tales que

n=1
I
n
A, en este caso denimos m

A = .
2.2. LA MEDIDA EXTERIOR DE LEBESGUE 19
Tenemos que m

= 0. Para demostrar esto, basta tomar las cubiertas


{(1, 1)}, {(
1
2
,
1
2
)}, . . . . Todas ellas cubren a , es decir, (
1
n
,
1
n
), para
cada n 1; entonces 0 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

ITULO 2. LA MEDIDA DE LEBESGUE


Es decir, m

([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 para todo > 0, por lo tanto,


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

J = (J) = M con M > 0 arbitrario.


Es decir,
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 -

ALGEBRA DE LOS SUBCONJUNTOS MEDIBLES 21


Demostraci on. Si A = {a
1
, a
2
, }, como m

{a
n
} = 0 para cada n 1,
entonces
m

A = m

n=1
{a
n
}

n=1
m

{a
n
} = 0.
Sabemos que m

[0, 1] = 1, entonces [0, 1] es no-numerable.


Si A R es un subconjunto arbitrario entonces, de acuerdo con la denicion
de m

A y las propiedades del nmo de un conjunto, tenemos que dado > 0


existe una cubierta {I

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

abierto tal que 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

es aditiva cuando la sucesion {A


n
}
n1
es cualquier sucesion de subconuntos de R. Pero esta propiedad se cumple cuan-
do los elementos de la sucesion {A
n
}
n1
pertenecen a una clase especial de
subconjuntos, la de los subconjuntos medibles.
Denicion 2.3.1. (Caratheodory) Un subconjunto E de n umeros reales es
medible si y solo si dado cualquier otro subconjunto A R
m

A = m

(A E) + m

(A\E) = m

(A E) + m

(A E
c
).
22 CAP

ITULO 2. LA MEDIDA DE LEBESGUE


La condicion de Caratheodory puede considerarse como una condicion de
separabilidad, es decir, un subconjunto medible E separa bien a cualquier otro
conjunto en el sentido de la medida exterior.
Denotaremos por M a la coleccion de todos los subconjuntos medibles de
R. Si E M (i.e., si E es medible), entonces su medida de Lebesgue mE es su
medida exterior, mE = m

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 -

ALGEBRA DE LOS SUBCONJUNTOS MEDIBLES 23


Proposicion 2.3.3. Si E y F son medibles, entonces E F es medible.
Demostraci on.
Tomemos cualquier subconjunto A R. Bastara demostrar que
m

(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

ITULO 2. LA MEDIDA DE LEBESGUE


Proposicion 2.3.5. Sea A un algebra y {A
n
}

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 -

ALGEBRA DE LOS SUBCONJUNTOS MEDIBLES 25


Teorema 2.3.8. M es una algebra.
Demostraci on. Como ya sabemos que M es un algebra, bastara vericar que
es cerrada bajo uniones numerables. Sea (E
n
)
n1
una sucesion de elementos
de M. Siendo M un algebra por la Proposicion 2,3,5, podemos suponer que
(E
n
)
n1
es una sucesion disjunta. Sea F
n
=
n
j=1
E
j
, cada F
n
es medible y
F
n
E =

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

ITULO 2. LA MEDIDA DE LEBESGUE


Proposicion 2.3.10. El intervalo (a, ), a R, es medible.
Antes de demostrar esta proposicion escribamos algunas consecuencias in-
mediatas de ella:
(i) (, b] = (b, )
c
es medible b R.
(ii) (a, b] = (, b] (a, ). es medible
(iii) {a} (a, b] = [a, b] es medible.
(iv) (a, b] {b}
c
= (a, b) es medible.
(v) [0, 1] Q es medible y m[0, 1] Q = 0.
Entonces [0, 1] Q
c
es medible, y ademas
1 = m

[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

A = no hay nada que demostrar.


(ii) Supongase que m

A < . Por la denicion de m

, dado > 0 existe una


cubierta {I
n
}
n1
de A por intervalos abiertos tales que

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 -

ALGEBRA DE LOS SUBCONJUNTOS MEDIBLES 27


Sumando (1) y (2) se obtiene que
m

(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

si es una interseccion numerable de abiertos.


Notese que estos elementos se pueden salir de la topologa, pues esta no
es cerrada bajo interseccion numerable de abiertos.
28 CAP

ITULO 2. LA MEDIDA DE LEBESGUE


Un subconjunto F F

si es una union numerable de cerrados.


Tenemos que 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 -

ALGEBRA DE LOS SUBCONJUNTOS MEDIBLES 29


Los F
n
s son disjuntos a pares ya que
F
n
F
n+1
= (E
n
E
c
n+1
) (E
n+1
E
c
n+2
) = ,
y en general,
F
n
F
m
= si n = m.
Por la aditividad de m
m(E
1
\E) =

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

ITULO 2. LA MEDIDA DE LEBESGUE


y la union es disjunta. Entonces
m(

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

E abierto tal que m

(O

\E) < ,
(iii) Para cada > 0 F

E cerrado tal que m

(E\F

) <
(iv) Existe G G
G
con E G tal que m

(G\E) = 0
2.3. LA -

ALGEBRA DE LOS SUBCONJUNTOS MEDIBLES 31


(v) Existe F F

con F E tal que m

(E\F) = 0.
Si m

E < , las proposiciones anteriores son equivalentes con


(vi) Dado > 0 existe una union nita de intervalos abiertos U tal que
m

(E U) < con E U = (E\U) (U\E) donde denota


la diferencia simetrica.
Demostraci on. Demostraremos las siguientes implicaciones: (i) (ii) (iv) (i),
(i) (iii) (v) (i) y (ii) (iv) (ii).
Supongamos que m

E < . Dado > 0 O

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 = . Sigue siendo valido que dado > 0 O


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

ITULO 2. LA MEDIDA DE LEBESGUE


entonces
0 m

(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, para cualquier subconjunto de prueba A R. Tenemos


que A E A G, entonces m

(A E) m

(A G). Por otra parte,


A E
c
= (A E
c
) X = (A E
c
) (G G
c
)
= (A E
c
G) (A E
c
G
c
)
= (A G E
c
) (A G
c
) (G E
c
) (A G
c
),
entonces
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 -

ALGEBRA DE LOS SUBCONJUNTOS MEDIBLES 33


Es decir, (iii) (v).
Sea A R cualquier subconjunto de prueba y F F

como en (v). Como


F es medible, F
c
tambien es medible. Ademas, como F E, entonces E
c
F
c
,
y por lo tanto
m

(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 < . Ademas por la -aditividad,


> 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

ITULO 2. LA MEDIDA DE LEBESGUE


Consecuentemente
m

(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

E < y (vi) se cumple, para cada > 0 sea U =

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

es numerable pues la funcion x x es una biyeccion de E

sobre Q.
(ii) Si E

= entonces E

= E

Pues si x E

entonces x y x son racionales. Si y 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

. Sea V el subconjunto formado


con estos representantes x

s. Notese que en V solo hay un racional y ning un


par de elementos de este subconjunto dieren en un racional.
Ahora considerese una lista de los racionales en [0, 1], q
1
, q
2
, . . . y para cada
n 1 sea V
n
= q
n

+V donde

+ denota suma modulo 1; es decir
x

+y =
_
x + y si x + y < 1
x + y 1 si x + y 1.
Necesitaremos el siguiente resultado.
Lema 2.4.1. Si A [0, 1], entonces m

(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

ITULO 2. LA MEDIDA DE LEBESGUE


(ii)

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

no es -aditiva. Pues si suponemos que m

es -aditiva, entonces por


el Lema anterior,
1 = 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

[0, 1] esta denida para E X mediante la relacion


P(E) =

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

ITULO 2. LA MEDIDA DE LEBESGUE


(a) F es una algebra.
Para E F defnase
E =
_
0 si E es contable
1 si E
c
es contable
(b) Demuestre que : F [0, 1] es medida de probabilidad.
Captulo 3
Funciones medibles
En este captulo y el siguiente consideraremos funciones que pueden tomar
los valores . Es decir consideraremos funciones con valores en el conjunto
R

= R {, }, al que llamaremos conjunto de los n umeros reales extendi-


dos. La relacion de orden y las operaciones aritmeticas se pueden extender a R

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

tal que O R es abierto y


si + O, existe una vecindad {x : a < x +} O;
si O, existe una vecindad {x : x <} O,
39
40 CAP

ITULO 3. FUNCIONES MEDIBLES


con a, b R. Entonces con esta topologa R

es un espacio topologico compacto,


es decir, R

es una compacticacion de R. Pero esta no es la unica manera de


compacticar la recta real.
Si A R

es no vaco, entonces existen el supremo y el nmo de A a los


que denotaremos por supA e infA, respectivamente.
Proposicion 3.0.4. Sea f : E R

, donde E es un subconjunto medible.


Entonces la siguientes proposiciones son equivalentes:
(i) R f
1
(, ] = {x E : f(x) > } es medible
(ii) R f
1
([, ]) = {x E : f(x) } es medible
(iii) R f
1
([, )) = {x E : f(x) < } es medible
(iv) R f
1
([, ]) = {x E : f(x) } es medible.
Y cada una de estas implica que
(v) 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

es medible (o mas propiamente,


Lebesgue-medible) si E es medible y se cumple cualquiera de las armaciones
(i) (iv) en la proposicion anterior.
Una funcion s : E R

es simple si existen subconjuntos E


1
, E
2
, . . . , E
n
medibles tales que E
i
E
j
= y
s(x) =
n

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 continua, entonces f es medible.


(b) Si s : E R

es simple, entonces es medible.


(c) Si f : E R

es medible y F E, F medible, entonces f|


F
: F 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

ITULO 3. FUNCIONES MEDIBLES


(iii) Si c = 0, tenemos que
{x E : c f(x) < } = {x E : f(x) <

c
},
es medible.
Si c = 0,
{x E : c f(x) < } =
_
si 0
E si > 0,
que es medible.
(iv) Por (iii), con c = 1 se tiene que f es medible y aplicando (i) se obtiene
que g f es medible.
(v) Para mostrar que f g es medible, primero veamos que f
2
es medible. Para
0;
{x E : f
2
(x) < } = {x E : |f(x)| <

}
= {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

converge puntualmente si y solo si


lm
n
f
n
(x) = lm
n
f
n
(x) x E.
El resultado se sigue pues lm
n
f
n
y lm
n
f
n
son medibles.
Teorema 3.0.10. Sea f una funcion medible denida en [a, b] R y tal que
m{x [a, b] : f(x) = } = 0. Entonces para cada > 0 existen una funcion
escalonada g

y una funcion continua h

tales que
|fh

| < y |fg

| < excepto en un subconjunto de medida menor que .


Es decir,
m{x [a, b] : |f(x) g(x)| } <
m{x [a, b] : |f(x) h(x)| } < .
Ademas si m f M, entonces g y h se pueden elegir acotadas con las mismas
cotas.
Demostraci on. Separaremos la demostracion en varias partes.
(a) Dado > 0 M > 0 tal que |f| M excepto en un subconjunto de
medida menor que

3
. Es decir
m{x [a, b] : |f(x)| > M} <

3
.
44 CAP

ITULO 3. FUNCIONES MEDIBLES


Esto se demuestra de la siguiente manera.
Sea E
n
= {x [a, b] : |f(x)| n}
= {x [a, b] : |f(x)| > n} {x [a, b] : |f(x)| = n}.
Cada E
n
es medible y E
n
E
n+1
, pues si |f(x)| > n + 1, entonces |f(x)| > n.
Ademas
mE
n
m[a, b] = b a < n.
Entonces por la parte (i) de la Proposicion 2.3.16 m(
n1
E
n
) = lmmE
n
y
m{x [a, b] : |f(x)| = } = m(
n1
E
n
). Por lo tanto lmmE
n
= 0.
Para

3
> 0 existe N

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

ITULO 3. FUNCIONES MEDIBLES


= g excepto en E
2
[a, b] con mE
2
<

3
,
h = g excepto en E
3
[a, b] con mE
3
<

3
.
Entonces |f g| < excepto en E
2
E
1
y m(E
1
E
2
) < . Y |f h| <
excepto en E
3
E
2
E
1
. Pero m(E
1
E
2
E
3
) < .
3.1. Casi dondequiera
Si una condicion, por ejemplo f(x) = g(x), se cumple excepto en un conjunto
de medida cero, diremos que esta condicion se cumple casi dondequiera de
manera breve escribiremos c.d. De manera mas general, si E es un subconjunto
medible y P es una propiedad, la frase P se cumple casi dondequiera en E
signica que existe un subconjunto N de medida nula tal que la propiedad se
cumple en cada punto de E\N.
Proposicion 3.1.1. Si f : E R

es medible y f = g c.d. en E, entonces g


es medible.
Demostracion. Los subconjunto E
1
= {x E : f(x) > } y E
2
= {x E :
g(x) > } dieren a lo mas por un conjunto de medida cero. Es decir, E
1
\E
2
y
E
2
\E
1
son medibles y m(E
1
E
2
) = 0. Podemos escribir
E
2
= (E
1
(E
2
\E
1
))\(E
1
\E
2
).
Entonces E
2
es medible si E
1
lo es.
Ejercicios
1.- Demuestre que si una sucesion (f
n
)
n1
de funciones medibles converge
casi dondequiera a una funcion f, entonces f es medible.
2.- Dada una funcion f : R, de ejemplos que demuestren que la condicion
f es continua c.d. en no implica ni es implicada por la condicion
existe una funcion continua g : R tal que f = g c.d..
3.2. Los teoremas de Egoro y Lusin
Aparentemente existe una gran diferencia entre los conjuntos medibles y los
conjuntos abiertos o los intervalos y entre las funciones medibles y las continuas,
de manera que la intuicion se pierde al trabajar con subconjuntos y funciones
medibles. En realidad la diferencia no es tanta, de acuerdo con el Teorema 2.3.17
un subconjunto medible es casi un abierto, un cerrado o una union de intervalos
si tiene medida nita; as mismo, de acuerdo con el Teorema 3.0.10 una funcion
medible es casi una funcion continua. Algo similar ocurre entre las sucesiones
que convergen casi dondequiera y las que convergen uniformemente, tal como
demostraremos en esta seccion, de manera que tambien podemos decir que una
sucesion que converge c.d. casi converge uniformemente. Una forma rigurosa de
esto esta contenida en el Teorema de Egorov que demostraremos enseguida.
3.2. LOS TEOREMAS DE EGOROFF Y LUSIN 47
Teorema 3.2.1. (Egoro) Si (f
n
)
n1
es una sucesion de funciones medibles
que converge c.d. a una funcion con valores reales medible f sobre un subconjun-
to medible E de medida nita, entonces para cada > 0 existe un subconjunto
medible F E, con mF < tal que (f
n
)
n1
converge a f uniformemente en
E\F.
Demostraci on. Para cada > 0 y cada n 1, sean (
n
)
n1
una sucesion
decreciente con lm
n

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

ITULO 3. FUNCIONES MEDIBLES


Captulo 4
La integral de Lebesgue
La integral de Riemann es la primera generalizacion del concepto de integral
denido rigurosamente por Cauchy para funciones continuas, a una clase mas
grande de funciones. Sin embargo la integral de Riemann no resulto suciente
para tratar algunos problemas de la teora de series de Fourier, ni tampoco es
apropiada para aplicaciones en otras areas de las Matematicas, por ejemplo en
Probabilidad. La integral de Lebesgue cumple estos requisitos y por esta razon
es una herramienta indispensable en Matematicas.
Ademas, los teoremas de intercambio de lmites con integrales son mucho
mas poderosos cuando se formulan en terminos de la integral de Lebesgue en
lugar de la integral de Riemann.
En este captulo deniremos la integral de Lebesgue siguiendo un esquema
similar al aplicado en el Captulo 1 a la integral de Riemann. En lugar de
las funciones escalonadas que usamos para construir la integral de Riemann,
aqu usaremos una clase mas amplia de funciones, las funciones simples.
Una funcion simple es una combinacion lineal de la forma
s(x) =
n

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

ITULO 4. LA INTEGRAL DE LEBESGUE


De manera similar que en el caso de funciones escalonadas, si s es una funcion
simple que se anula fuera de un subconjunto de medida nita, denimos su
integral de Lebesgue mediante
_
sdm =
n

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

ITULO 4. LA INTEGRAL DE LEBESGUE


Tenemos que
_
sdm =
n

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

ITULO 4. LA INTEGRAL DE LEBESGUE


y
_
E
t
n
dm nf
__
E
tdm : t es simple y t f
_
, para cada n 1
Entonces
0 nf
__
E
tdm : t es simple y t f
_
sup
__
E
sdm : s es simple y s f
_

_
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

ITULO 4. LA INTEGRAL DE LEBESGUE


(iv) Si a f(x) A, entonces amE
_
E
fdm AmE.
(v) Si E
1
y E
2
son medibles y disjuntos de medida nita, entonces
_
E
1
E
2
fdm =
_
E
1
fdm +
_
E
2
fdm.
Demostracion. Notese que si t es una funcion simple, entonces la funcion at
tambien es simple y el recproco vale si a = 0. Entonces para a > 0 tenemos que
_
E
afdm = nf
__
E
atdm : t es simple y t f
_
= anf
__
E
tdm : t es simple y t f
_
= a
_
E
fdm
Si a < 0 tenemos que
_
E
afdm = nf
__
E
asdm : s es simple y s f
_
= a sup
__
E
sdm : s es simple y s f
_
= a
_
E
fdm
Esto demuestra que
_
E
afdm = a
_
E
fdm, pues esta identidad tambien se
cumple si a = 0.
Para demostrar (i) bastara demostrar que
_
E
(f +g)dm =
_
E
fdm+
_
E
gdm.
Si t
1
y t
2
son funciones simples que satisfacen t
1
f y t
2
g, entonces t
1
+ t
2
es una funcion simple que satisface la desigualdad f +g t
1
+t
2
, por lo tanto
_
E
(f + g)dm = nf
__
E
tdm : t es simple y f + g t
_

_
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

ITULO 4. LA INTEGRAL DE LEBESGUE


Proposicion 4.0.9. Sea f medible y acotada denida en un medible E con
mE < .
Si E =

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

ITULO 4. LA INTEGRAL DE LEBESGUE


Proposicion 4.1.1. Sean f, g funciones medibles no negativas, entonces
(i)
_
E
(af + bg)dm = a
_
E
fdm+ b
_
E
gdm, a, b > 0.
(ii) Si f g c.d., entonces
_
E
fdm
_
E
gdm.
Demostracion. Para a > 0 tenemos por la Proposicion 4.0.8 que
_
E
afdm = sup
__
E
ahdm : h es medible, acotada, h f y m{x : h(x) = 0} <
_
= a sup
__
E
hdm : h es medible, acotada, h f y m{x : h(x) = 0} <
_
= a
_
E
fdm.
Demostremos que
_
E
(f +g)dm =
_
E
fdm+
_
E
gdm. Si h f, g k g y h, k
son medibles, acotadas y se anulan fuera de conjuntos de medida nita, entonces
por la Proposicion 4.0.8 tenemos que
_
E
hdm +
_
E
kdm =
_
E
(h + k)dm
_
E
(f + g)dm.
Entonces tomando supremo obtenemos que
_
E
fdm +
_
E
gdm
_
E
(f + g)dm.
Ahora, si es una funcion medible, acotada y nula fuera de un subconjunto de
medida nita tal que f + g.
Entonces para h(x) = min(f(x), (x)) y k(x) = (x) h(x), tenemos que
h(x) f(x) y
k(x) = (x) h(x) =
_
(x) f(x) si f(x) (x)
0 si (x) < f(x),
por lo tanto k(x) g(x). Ademas h y k estan acotadas por la cota de y se
anulan donde se anula .
Entonces
_
E
dm =
_
E
hdm +
_
E
kdm
_
E
fdm +
_
E
gdm,
de manera que
_
E
fdm +
_
E
gdm
_
E
(f + g)dm.
Esto termina la demostracion de (i).
Como
__
E
hdm : h es medible, acotada, h f y m{x : h(x) = 0} <
_

__
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

ITULO 4. LA INTEGRAL DE LEBESGUE


Teorema 4.1.3. (de Convergencia Monotona)
Sea (f
n
)
n1
una sucesion monotona creciente de funciones medibles no neg-
ativas sobre un subconjunto medible E, y sea f = lm
n
f
n
. Entonces
_
E
fdm = lm
n
_
E
f
n
dm.
Demostracion. Por el Lema de Fatou tenemos inmediatamente que
_
E
fdm lm
n
_
E
f
n
dm.
Pero f
n
f para cada n 1, consecuentemente
_
E
f
n
dm
_
E
fdm para cada
n 1, De aqu se obtiene que
lm
n
_
E
f
n
dm
_
E
fdm.
Se sigue inmediatamente de esto que lm
n
_
E
f
n
dm existe y
_
E
fdm = lm
n
_
E
f
n
dm,
pues
lm
n
_
E
f
n
dm lm
n
_
E
f
n
dm
Corolario 4.1.4. Sea (U
n
)
n1
una sucesion de funciones medibles, no neg-
ativas sobre un medible E y sea f =

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

ITULO 4. LA INTEGRAL DE LEBESGUE


Ejercicios.
1. Demuestre que cada funcion medible no negativa, denida sobre un sub-
conjunto medible E, es lmite de una sucesion creciente de funciones sim-
ples no negativas.
Sugerencia: Para cada n 1 sean E
n,k
=
_
x E :
k 1
2
n
f(x)
k
2
n
_
,
k = 1, 2, . . . , 2
2
n
, y E
n,0
= E \
2
2
n
k=1
E
n,k
= {x E : f(x) 2
n
} .
Cada E
n,k
es medible y E =
2
2
n
k=0
E
n,k
. Dena
s
n
(x) = 2
n

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

es una funcion medible y O R es un subconjunto abierto,


entonces O =
n1
I
n
con I
n
un intervalo abierto para cada n 1. Por lo tanto
f
1
(O) =
n1
f
1
(I
n
) es un subconjunto medible, pues f
1
(I
n
) es medible
para n 1.
Reciprocamente, si f
1
(O) es medible para cada subconjunto abierto O R,
entonces f es medible. Esta caracterizacion de la medibilidad motiva la siguiente
denicion.
Denicion 4.2.1. Una funcion con valores complejos f : E C es medible si
E es medible y f
1
(O) = {x E : f(x) O} es medible para cada subconjunto
abierto O C.
Lema 4.2.2. Si g : C F, donde F es C o R, es una funcion continua y
f : E C es medible, entonces h = gf es medible.
Demostraci on. Si O F es un subconjunto abierto, entonces por la con-
tinuidad de g tenemos que g
1
(O) es abierto en C. Como f es medible obten-
emos que
h
1
(O) = f
1
_
g
1
(O)
_
es medible.
.
Proposicion 4.2.3. Si f = u+iv es una funcion con valores complejos denida
en un subconjunto medible E R, entonces
(a) f es medible si y solo si u y v son funciones reales medibles.
(b) |f| es una funcion medible.
Demostraci on. Las funciones g
1
(z) = Rez y g
2
(z) = Imz son continuas
de C en R. Tenemos que u = g
1
f y v = g
2
f, entonces aplicando el Lema
4.2.2 obtenemos que u y v son medibles.
Reciprocamente, si u y v son funciones reales medibles y R es un rectangulo
abierto, es decir, R = I
1
I
2
con I
1
, I
2
intervalos abiertos en R, entonces
f
1
(R) = u
1
(I
1
) v
1
(I
2
) es medible. Ahora, cada abierto O C se puede
escribir como union a lo mas numerable de rectangulos abiertos (R
n
)
n1
, es
decir, O =
n1
R
n
. Por lo tanto
f
1
(O) =
n1
f
1
(R
n
)
es medible. Esto demuestra (a).
66 CAP

ITULO 4. LA INTEGRAL DE LEBESGUE


Finalmente, tenemos que g(z) = |z| es una funcion continua de C en R y
|f| = gf, entonces |f| es medible por el Lema anterior.
La parte positiva de una funcion real u es la funcion u
+
= u 0, es decir,
u
+
(x) = max{u(x), 0}.
De manera similar la parte negativa de u es la funcion u

= (u)0. La funcion
u es medible si y solo si u
+
y u

son medibles. Tenemos que


u = u
+
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

son integrables sobre E y su integral


de Lebesgue esta dada por,
_
E
fdm =
_
E
u
+
dm
_
E
u

dm+ i
_
E
v
+
dmi
_
E
v

dm.
Como las funciones u
+
, u

, v
+
y v

son medibles no negativas, sus


integrales de Lebesgue tienen sentido.
En particular una funcion real u es Lebesgue integrable sobre un medible E
si u
+
y u

son ambas integrables sobre E y en este caso


_
E
udm =
_
E
u
+
dm
_
E
u

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)

es integrable sobre E. Entonces tenemos que cu es


integrable y
_
E
cudm =
_
E
(cu)
+
dm
_
E
(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

ITULO 4. LA INTEGRAL DE LEBESGUE


De manera analoga se demuestra que
_
E
(v + q)dm =
_
E
vdm +
_
E
qdm.
Esto demuestra (ii).
Finalmente tenemos que
_
AB
fdm =
_
f
AB
dm
=
_
f
A
dm+
_
f
B
dm
=
_
A
fdm +
_
B
fdm,
lo cual demuestra (iii).
Proposicion 4.2.6. Si f es una funcion compleja integrable sobre un subcon-
junto medible E, entonces

_
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

ITULO 4. LA INTEGRAL DE LEBESGUE


Captulo 5
Apendice
En este apendice incluimos algunos resultados importantes sobre puntos
lmite y lmites superior e inferior de una sucesion en R

. 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

, N). Tenemos que |s


n
k
| < .
Si (s
n
)
n1
es una sucesion de reales extendidos es un punto lmite si R
y se cumple la condicion de la denicion, o bien = y existe (s
n
k
)
k1
subsucesion de (s
n
)
n1
tal que s
n
k
.
71
72 CAP

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

: existe una subsucesion (s


n
k
)
k1
de (s
n
)
n1
tal que s
n
k
}.
Entonces
lm
n
s
n
=nf L, lm
n
s
n
= sup L
y lm
n
s
n
, lm
n
s
n
L.
73
Observe que la sucesion (s
n
)
n1
es convergente si y solo si L tiene solo un
punto.
Corolario 5.0.13. Una sucesion (s
n
)
n1
en 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

También podría gustarte