Analisis Real

A R
Introduccin a la teora de la medida e

integracin de Lebesgue
Dr. Fernando Villafae Duarte
Basado en las notas del Profesor
Jess Rodrguez Caruc +
ndice general
Captulo 1. lgebras de conjuntos y Funciones continuas
1. lgebras y -lgebras de conjuntos.
2. Conjuntos Borelianos
3. Sucesiones de nmeros reales:
lmite superior y lmite inferior.
4. Funciones continuas
Problemario No 1
7
11
18
Captulo 2. Medida de Lebesgue

1. Medida exterior
2. La medida de Lebesgue
3. Existencia de un conjunto no medible
Problemario No 2
21
21
28
34
36
Captulo 3. Funciones medibles

Problemario No 3
39
41
Captulo 4. La integral de Lebesgue

1. La integral de Riemann
2. Integral de Lebesgue
Problemario No 4
43
43
44
53
Captulo 5. Diferenciacin e integracin

1. Diferenciacin de funciones montonas.
Problemario No 5
57
57
59
ndice alfabtico
61
5
5
6
Captulo 1
lgebras de conjuntos y Funciones continuas

1. lgebras y -lgebras de conjuntos.
Definicin 1 (lgebra de conjuntos). sea X un conjunto y A una coleccin
de subconjuntos de X. Diremos que A es un lgebra de conjuntos si satisface:
(i) Si A, B A , entonces A B A .
e =X\AA.
(ii) Si A A , entonces A
Ejemplo 1.1. Dado un conjunto X, A1 = P(X) (conjunto potencia de X) y

A2 = {, X}, son lgebras de conjuntos.

Proposicin 1.1. Sea A un lgebra de subconjuntos de X. Entonces se cumple
para todo A, B A se tiene que,
(1.1)
ABA
Adems, si A1 , A2 , . . . An A , entonces,
n
[
Ai A , y
i=1
n
\
Ai A
i=1
e B
e pertenece al
Prueba:
Si A, B pertenecen al lgebra A , tambin A
e
e
algebra A , por la ley de Dmorgan A B = X \ (A B) pertenece a Alg.
El resto de la prueba se deja como ejercicio.
Proposicin 1.2. Sea C cualquier coleccin de subconjuntos de X. Entonces

existe un lgebra A de subconjuntos de X tal que C A y adems, A B para
cualquier lgebra B de subconjuntos de X tal que B C .
Prueba:
Sea F ls familia de todas las lgebras de subconjuntos de X
que contienen
a
C . F 6= ya que al menos se tiene P(X) F ; colocamos
\
A =
B.
BF
Entonces,
1. C es un elemento de B para todo B F , por lo tanto, C pertenece a la
interseccin A , de todas estas lgebras B .
2. A es un gebra de conjuntos ya que:
(i) Si A, T
B A entonces, para toda B F se tiene que A, B B , as
AB B =A.
T
e B para toda lgebra B en F ,
(ii) Si A A = B se cumple que A
T
e
por lo tanto, A B = A .
3. Si B0Tes un lgebra de conjuntos que contiene a C , entonces B0 F y
A = B B0 .
5
1. LGEBRAS DE CONJUNTOS Y FUNCIONES CONTINUAS

Proposicin 1.3. Si A es un lgebra de subconjuntos de X y {Ai }
i=1 es una
sucesin de subconjuntos de A , entonces existe una sucesin {Bi }
en
A tal que
i=1
Bi Bj = si i 6= j
Ai =
Bi .
i=1
i=1
S
Prueba:
Sea B1 = A1 y para 1 < k n, Bk = Ak \ ( i=1 Ai ). Entonces,
Bi Ai para i = 1, 2, .
1
Por otra parte, si j < k y x Bj Aj entonces, x k
i=1 Ai y por tanto,
k1
x 6 Ak \ (i=1 Ai ) = Bk . En consecuencia, Bj Bk = si j < k. Intercambiando
el rol de j y k tendremos que Bj Bk = si j 6= k.
Como Bi Ai para todo i = 1, 2, , es claro que

i=1 Bi i=1 Ai .
Recprocamente, si x i=1 Ai , x pertenece a algn Ai , sea r el menor ndice

1
tal que x Ar , entonces x 6 (r

i=1 Ai ), es decir, x Br i=1 Bi .
Definicin 2 (-lgebra). Diremos que una coleccin A de subconjuntos de
un conjunto X es una -lgebra de conjuntos si satisface:
(1) A es un lgebra de conjuntos.
(2) Para cualquier sucesin {Ai }

i=1 del lgebra A , se cumple que i=1 Ai A .
Ejemplo 1.2.
Dado un conjunto X, tanto el conjunto potencia P(X) como
la coleccin trivial {X, } son -lgebras de subconjuntos de X.

Proposicin 1.4. Si A es una -lgebra de subconjuntos de X, entonces para
cualquier sucesin {Ai }
i=1 en A , se verifica que
Ai A .
i=1
Prueba:
i=1
Ai = X \
i=1
fi
A

Parafraseando la prueba para un lgebra se prueba la existencia de la lgebra ms pequea que contiene a una coleccin de subconjuntos de X.
Proposicin 1.5. Dada cualquier coleccin C de subconjuntos de X, existe
una -lgebra A de subconjuntos de X tal que A C y para cualquier otra lgebra B de subconjuntos de X que contenga a la coleccin C , se cumple B A .
Prueba:
Ejercicio.

2.

Conjuntos Borelianos
Para esta seccin tomaremos X = R con la topologa determinada por la

mtrica usual d(x, y) = |x y|.
3. SUCESIONES DE NMEROS REALES: LMITE SUPERIOR Y LMITE INFERIOR.
Definicin 3 (Borelianos1 ). Llamaremos conjuntos borelianos a todos los

elementos de la -lgebra ms pequea que contiene a los conjuntos abiertos de
R, la cual ser denotada por B .
Ejemplo 1.3. Si A R es un conjunto abierto, dado que B es un lgebra,
e pertenece a B , en consecuencia los conjuntos cerrados de R tambin son
A
borelianos. En particualr, son borelianos los intervalos abiertos y los intervalos
cerrados (acotados o no acotados). Tambin los intervalos semiabiertos [a, b) y
(a, b], (ya que [a, b) = (, b) [a, +) y (a, b] = (, b] (a, +)). De la
denicin de -lgebra, se sigue que cualquier unin o interseccin numerable
de conjuntos abiertos o cerrados es un conjunto boreliano.

Definicin 4 (G , F ).
Un conjunto A R se dice que es un F (F-sigma) si es unin numerable
de conjuntos cerrados.
Un conjunto A R se dice que es un G (G-delta) si es interseccin
numerable de conjuntos abiertos.
Ejemplo 1.4. Todo conjunto cerrado de R es un F , tambin lo son los intervalos abiertos, ya que

[
1
1
a + ,b
(a, b) =
n
n
n=1
as mismo, los conjuntos numerables son F .

Todo conjunto abierto de R es un G , tambin lo son los intervalos cerrados,
ya que

\
1
1
a ,b +
[a, b] =
n
n
n=1
Proposicin 1.6.
1. Si {Ai }
i=1 es una sucesin de conjuntos F , entonces i=1 Ai tambin es
F .
2. Si A R es abierto, entonces A es F .
e es G .
3. A es F , si y slo si A
4. Si A es F o G , entonces A es un conjunto boreliano.
Prueba:
Ejercicio.
3. Sucesiones de nmeros reales:

lmite superior y lmite inferior.
Consideremos el conjunto de los nmeros reales extendidos o ampliado constituido por R unido con {, +} el cual denotaremos por R.
La relacin < de R se extiende a R postulando que < x < + para
cualquier nmero real x.
1 Flix douard Justin mile Borel (1871-1956) fue un matemtico y poltico francs. Junto con
Ren-Louis Baire y Henri Lebesgue fue uno de los pioneros de Teora de la medida y sus aplicaciones
a la Teora de la probabilidad.
As mismo, se extienden las operaciones suma y producto, deniendo para

x R:
x + = x + (+) = x () := +
x = x + () = x (+) :=
x (+) =
x () =
si x > 0
si x < 0
si x > 0
si x < 0
Extendiendo la propiedad absorvente de 0:

0 (+) := 0
0 () := 0
Finalmente tenemos las operaciones entre + y :
(+) + (+) := + ;
= () + () :=
(+) (+) = + ;
() () = +
(+) () = () (+) =
La expresin + se declara indefinida.
Convenimos en escribir := +.
Definicin 5 (Supremo e nmo

contiene ni a ni a ), entonces se
mnima cota superior de S

+
sup S :=
en R). Sea S un subconjunto de R (no

define:
si S 6= y S es acotado superiormente
si S =
6 y S no es acotado superiormente
si S =
Similarmante,
mxima cota superior de S
nf S :=
si S 6= y S es acotado inferiormente
si S =
6 y S no es acotado inferiormente
si S =
Podemos decir entonces que para un subconjunto S de R, sup S es el menor

nmero real extendido que es mayor o igual que todos los elementos de S, e nf S
es el mayor nmero real extendido que es menor o igual que todos los elementos
de S.
Consideremos ahora una sucesin de nmeros reales, {xn }nN . Un nmero
real es lmite de la sucesin {xn } si dado un > 0, existe N N tal que
|xn | < para todo n N; se verica fcilmente que una sucesin puede tener
a lo ms un lmite. Cuando R es el lmite de {xn }, lo denotaremos como
= lm xn tambin escribiremos xn y diremos que la sucesin {xn } converge
al nmero real .
Ahora extendemos el concepto de convergencia de una sucesin {xn } en el
conjunto de los reales extendidos R.
3. SUCESIONES DE NMEROS REALES: LMITE SUPERIOR Y LMITE INFERIOR.
Definicin 6 (Lmites innitos). Sea {xn } una sucesin en R, se definen los

lmites infinitos por:
1. lm xn = +, si y slo si, para todo M > 0 (M R), existe N N tal que
si n N, entonces xn > M.
2. lm xn = , si y slo si, para todo M > 0 (M R), existe N N tal que
si n N, entonces xn < M.
Diremos que la sucesin {xn } es convergente en R si tiene lmite nito o
innito.
Proposicin 1.7. Una sucesin {xn } en R converge a si, y slo si, para
cualquier > 0 todos, excepto una cantidad finita de trminos xn de la sucesin,
pertenecen a la bola abierta B(; ) := ( , + ).
Prueba:
Ejercicio.

Dada cualquier sucesin {xn }, pueden existir puntos p R tales que para
cualquier > 0, la bola abierta (p , p + ) contiene innitos trminos de la
sucesin, es decir, la sucesin {xn } se acumula alrededor de estos puntos p.
Definicin 7 (Punto de acumulacin en R). Diremos que p R es un punto
de acumulacin de la sucesin {xn } si para todo > 0 y todo N N existe
n N, n N tal que xn (p , p + ).
Diremos que es punto de acumulacin de {xn } si para todo M > 0 y todo
N N, existe n N, n N tal que, xn > M.
Diremos que es punto de acumulacin de {xn } si para todo M > 0 y todo
N N, existe n N, n N tal que, xn < M.
Se desprende de la denicin, que todo lmite de una sucesin es un punto
de acumulacin de la misma; sin embargo, el recproco no es cierto.

Ejemplo 1.5. La sucesin {xn } denida por xn = (1)n 1 + n1 no converge,
pero tiene a 1 y a 1 como puntos de acumulacin.

Por otra parte, si p es un punto de acumulacin de la sucesin {xn }, podemos
asegurar que existe una subsucesin {xnk }kN de {xn }, tal que lm xnk = p. En
efecto, supongamos que p R, dado k N y tomando el de la denicin como
(1/k), existe nk N tal que nk > k y |xnk p| < (1/k); as, xnk p. Si p = +
(resp. p = ), para k N existe nk N tal que nk > k (resp. nk < k) de
donde lmk xnk = + = p (resp. lmk xnk = = p).
Existen dos expresiones ligusticas
muy apropiadas para cuanticar que pue
den facilitar la comprensin de algunos conceptos, a saber, suficientemente grande y arbitrariamente grande.
Diremos que una propiedad respecto a una sucesin {xn } se verica para n
suficientemente grande si existe N N tal que dicha propiedad es vlida siempre
que n N.
Del mismo modo, diremos que una propiedad se verica para n arbitrariamente grande, si para todo N N existe al menos un ndice n N con n > N,
para el cual es vlida la propiedad.
Con estas expresiones podemos armar por ejemplo:
R es el lmite de {xn } si dado > 0, xn B(; ) para n sucientemente grande.
10
p R es punto de acumulacin de {xn } si dado > 0, xn B(p; ) para

n arbitrariamente grande.
Dos conceptos muy tiles para trabajar con sucesiones de nmeros reales
son los siguientes.
Definicin 8 (Lmites superior e inferior). Dada una sucesin infinita de
nmeros reales {xn }, se definen:
Lmite superior de {xn } por
!
lm sup xn = lim xn := nf
sup xk
Lmite inferior de {xn } por

lm inf xn = lim xn := sup
n
kn
nf xk
kn
Dada la sucesin {xn } de nmeros reales, para cada n N se denen los

conjuntos Sn = {xk : k n} = {xn , xn+1 , xn+2 , }; esta sucesin de conjuntos da
lugar a dos sucesiones en los reales extendidos, a saber,

{nf Sn }nN = nf xk
y
{sup Sn }nN = sup xk
kn
kn
nN
nN
Entonces,
lm inf xn = sup(nf Sn )
n
lm sup xn = nf (sup Sn )
n
De acuerdo a el concepto de nmo y supremo en lo reales extendidos se

concluye que lm sup xn y lm inf xn siempre existen en R (nitos o innitos).
La siguiente proposicin muestra una caracterizacin de lmite superior para
los casos nito e innito, basada en las deniciones de supremo e nmo.
Proposicin 1.8.
(1) Un nmero real es el lmite superior de {xn } si, y slo si,
(a) Para todo > 0, xn < + para n suficientemente grande.
(b) Para todo > 0, < xn para n arbitrariamente grande.
(2) lm sup xn = si, y slo si, para todo M > 0, xn > M para n arbitrariamente grande.
(3) lm sup xn = si, y slo si, para todo M > 0, xn < M para n
suficientemente grande.
Prueba:
(1) (Slo si) Supongamos que = lm sup xn ; para cada n N se dene
Sn = {xk : k n} y n = sup Sn . Entonces := nf {n }
n=1 ; por tanto, para
todo n N, n ( es cota inferior de {n }). Utilizando la caracterizacin
de nmo, para todo > 0, + no es cota inferior de {n }, as existe N N
N < + (A).
Como N = sup SN , + tambin es cota superior de SN , en consecuencia,
para todo n N vale xn N < + (B).
De (A) y (B), se tiene que para todo > 0, existe N N tal que para todo
n N, xn < + , lo que prueba (a).
Por otra parte, dados > 0 arbitrario y N N, por ser N = sup SN resulta
que N no es cota superior de SN , por lo que existe n N tal que N < xn
4. FUNCIONES CONTINUAS
11
y como N se concluye que N < xn . Es decir, < xn para

n arbitrariamente grande, lo que prueba (b).
(Si) Supongamos ahora que satisface (a) y (b). Se probar que = nf {n }
n=1 .
Dados > 0, para todo n N, la condicin (b) implica que para todo n N,
no es cota superior del conjunto Sn , ya que dado un n N existe otro
n1 N, que es mayor que n y cumple que < xn1 pero xn1 pertenece a
Sn y en consecuencia, xn1 n , por lo tanto, para todo n, < n , as
nf {n }
n=1 y como es arbitrario, nf {n }n=1 (C).
Por otra parte, (a) signica que para cada > 0, existe N N para el cual
+ es cota superior de SN , as
nf n N +
n
para todo > 0
como es arbitrario, nf n n (D).

De (C) y (D), = nf n n = lm sup xn .
(2)Ejercicio.
(3)Ejercicio.

4. Funciones continuas
A continuacin, se plantean los conceptos de lmite superior e inferior para
funciones.
Definicin 9 (Lmite superior e inferior de una funcin).
Sean p R, I
un intervalo que contiene a p y f una funcin definida en I a valores en R en R.
Definimos:
i) Lmite superior de f en p como:
lim f(x) = lm sup f(x) := nf
xp
xp
>0
ii) Lmite inferior de f en p como:
lim f(x) = lm inf f(x) := sup
xp
xp
>0
f(x)
sup
0<|xp|<
xDom(f)
nf
0<|xp|<
xDom(f)
f(x)
Para los lmites laterales se define,

iii) Lmite superior por la izquierda:
xp
xp
>0
sup
0<px<
xDom(f)
f(x)
12
iv) Lmite superior por la derecha:
xp+
>0
xp+
v) Lmite inferior por la izquierda:
lim f(x) = lm inf

f(x) := sup
xp
xp
>0
vi) Lmite inferior por la derecha:
lim f(x) = lm inf

f(x) := sup
+
xp+
xp
>0
sup
0<xp<
xDom(f)
nf
0<px<
xDom(f)
nf
0<xp<
xDom(f)
f(x)
f(x)
f(x)
Ntese que lim f(x) y lim f(x) siempre existen en los reales extendidos.
xp
xp
Este tipo de lmite genera tambin una forma de continuidad de la funcin

en un punto.
Definicin 10 (semicontinuidad). Sean p R, I un intervalo que contiene
a p y f una funcin definida en I a valores en R en R.
(a) f es semicontinua inferiormente en p si
< f(p) lim f(x)

xp
(b) f es semicontinua superiormente en p si

lim f(x) f(p) < +
xp
A continuacin, se muestran algunos resultados relativos a los conceptos de

lmite superior y semicontinuidad.
Proposicin 1.9. Si limxp f(x) = L, entonces existe una sucesin {xn } que
converge a p tal que para todo n N xn 6= p y f(xn ) L.
Prueba:
Supongamos que limxp f(x) = L, para > 0 denimos el intervalo abierto I = (p, p+) y el intervalo pinchado o agujereado J = I \{p},
pongamos ahora S = sup{f(x) : x J }. Con esta notacin, L = nf {S : > 0},
en consecuencia, utilizando una caracterizacin de nmo, dado > 0 existe
> 0 tal que
L S < L +
(1.2)
1
Para cada n N tomamos n = n que constituye una sucesin decreciente
y por tanto, Jn+1 Jn , lo que conduce a la siguiente inclusin
{f(x) : x Jn+1 } {f(x) : x Jn }

Por lo tanto,
Sn+1 = sup{f(x) : x Jn+1 }
sup{f(x) : x Jn } = Sn
por lo que la sucesin {Sn } es decreciente.

Para el establecido en (1.2) existe N N tal que
que para todo n N,
L S n S N < L +
13
1
N
= N < ; de tal manera

(1.3)
Ahora bien, como Sn = sup{f(x) : x Jn }, Sn ya no es cota superior

del conjunto anterior y as, para cada n N, existe un elemento xn en Jn que
verica
(1.4)
Sn < f(xn ) Sn
Combinando (1.3) y (1.4) tenemos que dado > 0 existe N N tal que para
n N,
L < f(xn ) < L +
es decir, f(xn ) L. Como xn pertenece a Jn , ste es distinto de p y adems
|xn p| < n1 , por lo que se tiene que xn p como se quera demostrar.

La siguiente proposicin es una caracterizacin de la semicontinudad inferior y la semicontinuidad superior.
Proposicin 1.10. Sean p R, I un intervalo que contiene a p y f una
funcin definida sobre I. Supongamos que f(p) es finito. Entonces,
(a) f es semicontinua inferiormente en p si, y slo si,
> 0, > 0 tal que |x p| < f(p) < f(x)
(b) f es semicontinua superiormente en p si, y slo si,
Prueba:
> 0, > 0 tal que |x p| < f(x) < f(p) +
(a) (Slo si) Supongamos que f es semicontinua inferiormente en p. Hagamos

= limxp f(x) y para cada > 0 sean I = (p , p + ), J = I \ {p} y
= nf {f(x) : x J }.
Entonces, = sup{ : > 0} para todo > 0.
Adems, dado > 0 por propiedades de nmo, existe 1 > 0 tal que
< 1 .
Para todo x en J1 , 1 f(x), y como f(p) , tenemos
f(p) < 1 f(x)
para todo x J1
Luego, dado > 0, existe 1 > 0 tal que para x I1 vale f(p) < f(x) + ,
como se quera demostrar.
(Si) Por hiptesis, dado > 0, existe > 0 tal que
|x p| < f(p) < f(x)
entonces, f(p) es cota inferior de {f(x) : x I } {f(x) : x J },

de donde f(p) sup{ }>0 = . Como > 0 es arbitrario,
f(p) , y por hiptesis f(p) es nito; de esta forma, f es semicontinua
inferiormente en p.
(b) Ejercicio.

14
Corolario 1.11. Sean p R, I un intervalo que contiene a p y f una funcin

definida sobre I. Entonces, f es continua en p si, y slo si, f es semicontinua
inferiormente y semicontinua superiormente en p.
Prueba:
(Slo si) f es continua en p, para todo > 0 existe > 0 tal que
f(p) < f(x) < f(p) + para x en el intervalo I . Por la caracterizacin de la
Proposicin 1.10 se tienen las dos semicontinuidades.
(Si) Si f es tanto semicontinua inferiormente como superiormente en p, por la
carcterizacin de la Proposcin 1.10 tenemos que para > 0 existen 1 > 0 y
2 > 0, tales que
f(p) < f(x) para x I1
f(x) < f(p) + para x I2

Tomando = mn{1 , 2 }, para x en I valen las dos desigualdades anteriores
por tanto, |f(x) f(p)| < , lo que implica la continudad de f en p.

Definicin 11 (convergencia puntual). Una sucesin de funciones {fn }, definidas sobre un conjunto E, se dice que converge puntualmente a f en E si para
todo x E se tiene que lm fn (x) = f(x), es decir, si dado un x E y dado > 0,
existe un N N tal que si n N entonces, |fn (x) f(x)| < .
Definicin 12 (convergencia uniforme). Una sucesin de funciones {fn },
definidas sobre un conjunto E, se dice que converge uniformemente a f sobre
E si dado > 0, existe un N N tal que si n N entonces, para todo x E se
verifica que |fn (x) f(x)| < .
Definicin 13 (funcin escalonada). Una funcin : [a, b] R se llama
escalonada si existe una particin a = x0 < x1 < x2 < < xr < b del intervalo
[a, b] tal que es constante sobre cada uno de los intervalos (xj , xj+1 ) para j =
0, 1, . . . , r 1.
En otras palabras, existen nmeros reales d1 , d2 , . . . , dr y c0 , c1 , . . . , cr tales
que (x) = dj+1 para cada x en (xj , xj+1 ), j = 0, 1, . . . , r 1
y (xj ) = cj , j = 0, . . . , r.
Proposicin 1.12. Sea : [a, b] R una funcin escalonada definida mediante la particin del intervalo [a, b], {a = x0 , x1 , . . . , xr = b}, por:
(x) = dj+1 para todo x en (xj , xj+1 ), j = 0, . . . , r 1 y (xj ) = cj , j = 0, . . . , r.
Entonces, es semicontinua inferiormente en [a, b] si, y slo si,
(a) d1 , (b) dr y (xj ) mn{dj , dj+1 } para j = 1, . . . , r 1.

Prueba:
(slo si)
Notemos primero que, siendo una funcin escalonada, (p) 6= para
todo p [a, b]. Para jar la notacin, si limxp (x) = lp , para cada > 0,
hagamos I = (p , p + ), y J = I \ {p}; si = nf {(x) : x J }, entonces
lp = sup{ : > 0}.
Si es semicontinua inferiormente en [a, b], lo es en particular en para
cada punto de la particin, consideremos un xj con j = 1, . . . , r 1, y tomemos
0 < 1 mn{xj xj1 , xj+1 xj }, as tenemos que,
(xj 1 , xj ) (xj1 , xj )
(xj , xj + 1 ) (xj , xj+1 )
15
de donde, 1 = nf {(x) : x J1 } = mn{dj , dj+1 }; de hecho, para todo tal que

0 < < 1 , vale = 1 . Por otra parte, si > 1 , entonces J J1 y por tanto,
1 (Por qu?)
En consecuencia, 1 es cota superior del conjunto { : > 0} y resulta
lxj = 1 .
Por ser semicontinua inferiormente en xj , es (xj ) lxj = 1 = mn{dj , dj+1 }.
Para x0 = a y xr = b, el anlisis es similar.
(Si)
Supongamos ahora que (a) d1 , (b) dr y que (xj ) mn{dj , dj+1 }
para j = 1, . . . , r 1.
Para probar que es semicontinua inferiormente es necesario probar que,
para cualquier p en el intervalo [a, b]:
(p) lp = sup{ : > 0}

con = nf {(x) : x J } y J = (p , p + ) \ {p}
Si p no es un punto de la particin que dene a , entonces pertenece a
(xj , xj+1 ) para algn j = 0, 1, . . . , r 1. En este caso, (p) = dj+1 y existe un
1 > 0 tal que I1 = (p 1 , p + 1 ) (xj , xj+1 ), de manera que = dj+1 siempre
que 0 < 1 . Para > 1 , ocurre que I I1 y por tanto, 1 . En
consecuencia, lp = sup{ : > 0} = 1 = dj+1 = (p). As, (p) lp .
Si p = xj para algn j = 1, . . . , r 1, tomando 1 = mn{xj xj1 , xj+1 xj }
como antes, tenemos entonces que 1 = mn{dj , dj+1 } y para todo 0 < < 1 es
= 1 , mientras que para todo > 1 es 1 . Por tanto, lp = sup{ :
> 0} = 1 = mn{dj , dj+1 }. De la hiptesis se sigue que (p) lp para p = xj
y j = 1, 2, . . . , r 1.
Los casos p = a y p = b son similares con ligeras modicaciones.

La siguiente proposicin nos presenta una caracterizacin de las funciones
semicontinuas inferiormente, presentada como lmite de funciones escalonadas.
Proposicin 1.13. Sea f una funcin definida sobre un intervalo cerrado
[a, b]. Entonces f es semicontinua inferiormente en [a, b] si, y slo si, existe una
sucesin montona creciente {n }, de funciones escalonadas y semicontinuas inferiormente, definidas en [a, b], que converge puntualmente a f en [a, b].
Prueba:
(Slo si)
Supongamos que f es semicontinua inferiormente en [a, b]. Para cada n en
N, consideramos la particin Pn de [a, b] que lo divide en 2n subintervalos de
(ba)
n
n
n
n
para
igual longitud, esto es: Pn = {xn
0 = a, x1 , . . . , x2n = b} con xj = xj1 + 2n
j = 1, . . . , 2 n .
Se dene n : [a, b] R por:
n n
n
n n
n
nf {f(x) : x (xj , xj+1 )} = dj+1 si x (xj , xj+1 ) j = 0, . . . , 2 1
n
n
n
n
mn{dj , dj+1 }
si x = xj para j = 1, . . . , 2 1
n (x) =
n
d
si x = a
1n
d2n
si x = b
La particin Pn+1 se obtiene a partir de Pn aadiendo los puntos medios de

cada subintervalo, por lo tanto, Pn+1 Pn . El nmo calculado sobre cada mitad
16
de un subintervalo de la particin Pn es mayor o igual que el nmo sobre el

intervalo total. Esto implica que la sucesin {n } es montona creciente.adems,
por denicin y por la proposicin 1.12, cada n es una funcin escalonada y
semicontinua inferiormente.
Veamos ahora que n converge puntualmente a f sobre [a, b]. Fijemos un
p perteneciente a [a, b]; como f es semicontinua inferiormente, utilizando la
caracterizacin establecida en la proposicin 1.10, dado > 0, existe > 0 para
el cual
si |x p| < , entonces f(p) f(x)
(1.5)
para ste , existe algn natural n0 tal que para todo n n0 , vale ba
< , es
2n
decir, la longitud de los subintervalos de la particin Pn es menor que .
Puede ocurrir que p sea uno de los puntos de la particin Pn o que p sea
un punto interior de alguno de los subintervalos generados por Pn . En el primer
n
caso, si p = xj , (p) = mn{dn
j , dj+1 } y como los intervalos (xj1 , xj ) y (xj , xj+1 )
son de longitud menor que , stos estn contenidos en el intervalo (p , p + )
n
y por la denicin de dn
j y dj+1 , se tiene que
n
nf {f(x) : |x p| < } mn{dn
j , dj+1 } = (p)
(1.6)
la armacin (1.5) nos dice que f(p) es cota inferior del conjunto
{f(x) : |x p| < },
combinando entonces (1.5), (1.6) y la misma denicin de , concluimos que
f(p) n (p) f(p) para todo n n0

de donde,
|n (p) f(p)| para todo n n0

es decir, para todo p en [a, b],
lm n (p) = f(p)
(Si)
Supongamos que f es el lmite puntual de la sucesin montona creciente
{n } de funciones escalonadas y semicontinuas inferiormente en [a, b]. Entonces
para todo x en [a, b], y todo n en N,
n (x) f(x)
en esta situacin
lm n (x) = sup n (x) = f(x) para todo x en [a, b]
n
Para probar la semicontinudad inferior de f se utilizar la caracterizacin

establecida en la proposicin 1.10. Sea p un elemento en [a, b], y tomemos > 0
arbitrario. Por una caracterizacin de supremo, existe n0 en N tal que,
f(p) < n0 (p) f(p)
(1.7)
la funcin escalonada n0 se dene mediante una particin del intervalo [a, b],
digamos Pn0 = {x0 = a, x1 , . . . , xr = b}, con n0 /(xj , xj+1 ) = dj . Tomemos ahora
> 0 y menor que la mitad de la menor de las longitudes de todos los subintervalos determinados por la particin Pn0 . Con p tenemos dos posibilidades: una es
17
que p coincida con un xj de la particin, en este caso, por ser n0 semicontinua

inferiormente y por la proposicin 1.12,
n0 (p) = n0 (xj ) = mn{dj1 , dj }

pero mn{dj1 , dj } n0 (x) para todo x en (p , p + )
y as, de la desigualdad (1.7)
f(p) < n0 (p) n0 (x) f(x) para todo x (p , p + )

La otra posibilidad es que p pertenezca a (xj , xj+1 ), en este caso,
f(p) < n0 (p) = n0 (x) f(x) para todo x (p , p + )

Luego, f es semicontinua inferiormente en todo p de [a, b].
18
Problemario No 1
1
Sea {xn } una sucesin de nmeros reales. Demuestre que:

() Tanto lm sup xn como lm inf xn son puntos de acumulacin de la sucesin y si p es cualquier punto de acumulacin de la misma, se tiene
que lm inf xn p lm sup xn .
() lm inf xn = lm sup xn si, y slo si, {xn } es convergente.
() si {yn } es otra sucesin de nmeros reales, entonces:
(a) lim xn + lim yn lim(xn + yn ) lim xn + lim yn ;
siempre que nign trmino de la desigualdad sea de la forma .
(b) lim(xn yn ) (lim xn ) (lim yn ) si xn 0, yn 0(n N);
siempre que el producto de la derecha no sea de la forma 0 .
Cmo tratar el caso en que xn 6 0 yn 6 0?.
Sea {xn } una sucesin de nmeros reales. Demuestre que
lm xn = x
si, y slo si
x = x1 +
(xk+1 xk )
k=1
Demuestre que todo conjunto abierto en R se puede expresar como una

unin numerable de intervalos abiertos.
(Sumatoria generalizada) Dado un conjunto E de nmeros reales positivos, se

X
dene
x como sup SF , donde F es la coleccin de todos los subconjuntos
xE
FF
nitos de E y, para cada F en F , SF es la suma de los elementos de F (es

una suma nita).
Demuestre
que:
X
(a)
x es nita slo si E es numerable.
xE
(b) Si E es numerable y {xn } es una enumeracin de E, demuestre que
xE
x=
xn .
n=1
(Representacin decimal) Sea x un nmero real, 0 < x < 1. Demuestre

que existe una sucesin {an } de nmeros enteros en {0, 1, . . . , 9}, tal que
X
an
x=
. Si x = 10pk para algn p Z y k N, existen precisamente
10n
n=1
dos sucesiones {an }, en cualquier otro caso, slo existe una.
(Representacin en base b) Generalice el problema [5] tomando b N en

lugar de 10; en este caso, an {0, 1, . . . , (b 1)}.
Recprocamente, dada una sucesin {an } de nmeros enteros pertene
X
an
converge a un
cientes a {0, 1, . . . , (b 1)}, demuestre que la serie
bn
n=1
nmero real en [0, 1].
PROBLEMAS DEL CAPTULO 1
19
(El conjunto ternario de Cantor) Los elementos del conjunto ternario de

Cantor, C se pueden caracterizar como aquellos elementos del intervalo
[0, 1] cuya expansin ternaria ( representacin en base 3) determinada por
la sucesin {an }, est constituida unicamente por los nmeros (dgitos) 0 y
2. Si un elemento tiene dos representaciones y una de ellas no contiene al
1, entonces es un elemento del conjunto de Cantor.
Comprobar que este conjunto coincide con el que se obtiene mediante el
proceso de extraccin de tercios centrales.
(Funcin de Cantor-Lebesgue) Si x es un nmero real en [0, 1] cuya representancin en base 3 o expansin ternaria se determina por la sucesin
{an }; si an 6= 1 para todo n, hacemos N = , en caso contrario hacemos
N = mn{n : an = 1}; ahora se dene bn = a2n para n < N y si N < ,
bN = 1. Demuestre que:
N
X
bn
(a) El valor
es independiente de la expansin ternaria d x.
2n
n=1
(b) La correspondencia x 7
N
X
bn
n=1
2n
dene una funcin continua y mon-
tona sobre [0, 1].

(c) Esta funcin f es constante sobre cada intervalo en [0, 1] \ C .
(d) f aplica sobreyectivamente el conjunto de cantor C en el intervalo [0, 1].
Sea f una funcin continua sobre un intervalo [a, b]. Demuestre que existe
una funcin continua g tal que g(f(x)) = x para todo x en [a, b], si y slo
si, f es estrictamente montona. En tal caso, tambin vale f(g(y)) = y para
todo y entre f(a) y f(b).
10
Una funcin continua sobre [a, b] es llamada poligonal o lineal a trozos

si existe una particin a = x0 , x1 , . . . , xk = b tal que es lineal en cada
subintervalo [xi , xi+1 ]. Demuestre que si f es una funcin continua en [a, b]
y es un nmero real positivo, entonces existe una funcin poligonal tal
que
|f(x) (x)| <
para todo x [a, b]
11
Sea f una funcin a valores reales denida en el intervalo (a, b). Demuestre que f es semicontinua inferiormente si, y slo si, para todo R, el
conjunto {t (a, b) : f(t) > } es abierto.
12
Sea {fn } una sucesin de funciones semicontinuas inferiormente. Demuestre

que la funcin denida por f(x) = sup{fn (x) : n N} tambin es semicontinua inferiormente. lo es la funcin g(x) = nf {fn (x) : n N}?.
13
Demuestre que f es semicontinua inferiormente en [a, b] si, y slo si, f es el

lmite puntual de una sucesin creciente de funciones continuas en [a, b].
20
14
Dada una funcin f : [a, b] R, se denen la envolvente inferior g y la

envolvente superior h como:
g(x) = sup
nf
>0 |tx|<
f(t) h(x) = nf
sup f(t)
>0 |tx|<
respectivamente. Demuestre que:

(a) Para todo x en [a, b], se tiene que g(x) f(x) h(x).
(b) g(x) = f(x) si, y slo si, f es semicontinua inferiormente en x.
(c) h(x) = f(x) si, y slo si, f es semicontinua superiormente en x.
(d) g(x) = h(x) si, y slo si, f es continua en x.
(e) Si f es acotada, g es semicontinua inferiormente y h es semicontinua
superiormente.
(f) Toda funcin semicontinua inferiormente en [a, b] tal que f,
tambin cumple g.
(g) Toda funcin semicontinua superiormente en [a, b] tal que f ,
tambin cumple h .
Captulo 2
Medida de Lebesgue
En este captulo se comenzar por extender el concepto de longitud de un
intervalo a todos los subconjuntos de R, mediante el concepto de medida exterior.
Pronto veremos que para que esa extensin posea las propiedades adecuadas
es necesario restringir el dominio de denicin de tal medida, a una familia de
subconjuntos menos universal pero no por eso pequea. De all surge el concepto
de conjunto medible y el de la medida de Lebesgue1 , que es la base de sustento
de la integral del mismo nombre que se desarrolla en el siguiente captulo.
1. Medida exterior
Definicin 14 (Longitud de un intervalo). Sea I un intervalo de R. Llamaremos longitud de I al nmero real extendido (I) dado por:

a si I es acotdo con extremos a, b R; a < b
(I) = b+
si I es no acotado
Ntese que la longitud es una funcin a valores reales extendidos con dominio de denicin la familia de los intervalos de R.
Citamos ahora, dos importantes propiedades de esta funcin:
S
(a) Si {In } es una coleccin numerable de intervalos disjuntos tal que n In
P
S
es un intervalo, entonces ( n In ) = n (In ) (aditividad numerable).
(b) Si I es un intervalo y p + I = {p + x : x I} es una traslacin de I,
determinada por un nmero real p, entonces, (p+I) = (I) (invarianza
por traslaciones).
En el sentido coloquial, la longitud de un intervalo nos da una nocin de
la medida del mismo. Nuestro objetivo en lo sucesivo ser extender la funcin
de conjuntos a una clase ms amplia de subconjuntos de nmeros reales; en
lo posible, extenderla a todos los subconjuntos de R. De modo que apuntamos a
encontrar una funcin de conjuntos m, no negativa a valores reales extendidos,
tal que:
(1) El dominio de denicin de m es el conjunto potencia de R, P(R).
(2) m(I) = (I) para todo intevalo I.
1 Henri
Lon Lebesgue (1875-1941) fue un matemtico francs. Es fundamentalmente conocido

por sus aportaciones a la teora de la medida y de la integral. A partir de trabajos de otros matemticos como mile Borel y Camille Jordan, Lebesgue realiz importantes contribuciones a la teora
de la medida. Al ao siguiente, en su disertacin Intgrale, longueur, aire (Integral, longitud, rea)
presentada en la Universidad de Nancy, deni la integral de Lebesgue, que generaliza la nocin de
la integral de Riemann extendiendo el concepto de rea bajo una curva para incluir a las funciones
discontinuas.
21
22
2. MEDIDA DE LEBESGUE
(3) Para toda coleccin numerable {En } de subconjuntos disjuntos de R se

tenga:
!
[
X
m
En =
m(En )
n
(4) Para todo subconjunto A de R y todo nmero real p, se tenga:

m(p + A) = m(A);
siendo p + A = {p + x : x A}.
De hecho, mostraremos ms adelante que no es posible encontrar tal funcin.
Para encontrar una buena extensin m de , debilitaremos la condicin (1)
manteniendo (2), (3) y (4); en lugar de (1), pediremos que m est denida en
tantos subconjuntos de R como sea posible y trataremos que dicha coleccin sea
una -lgebra. La funcin resultante ha de encajar en la siguiente denicin:
Definicin 15 (medida numerablemente aditiva). Diremos que una funcin
de conjuntos m es una medida numerablemente aditiva, si m es una funcin
no negativa, a valores reales extendidos, con dominio de definicin una -lgebra
A de subconjuntos de R y que satisface:
!
X
[
m
m(En )
(2.1)
En =
n
para toda coleccin numerable disjunta {En } en A .
A continuacin, procederemos a construir una medida numerablemente aditiva, la cual resultar ser una extensin de y ser invariante por traslaciones.
Para lograrlo, comencemos por considerar, para un subconjunto A de nmeros
reales, la coleccin FA constituida por todas las familias numerables {In } de intervalos abiertos que forman un cubrimiento del conjunto A (es decir, A In ).
Al considerar una famila ja {In } de FA , el nmero real extendido dado por
P
la suma
(In ) de las longitudes de los intervalos abiertos, es invariante bajo
cualquier reordenamiento de la serie, ya que se trata de una serie de trminos
no negativos ( (In ) 0); por tanto, es nica ya sea nita o innita.
Definicin 16 (medida exterior). Para cualquier subconjunto A de nmeros
reales, llamaremos medida exterior de A al nmero real extendido y no negativo
definido por:

X
m (A) = nf
(In ) : {In } FA
n
Resaltamos algunas propiedades de esta funcin de conjuntos.

Proposicin 2.1. La medida exterior satisface las siguientes propiedades:
(a) m () = 0.
(b) Para subconjuntos A, B de R, se tiene,
A B m (A) m (B).
(c) Para cualquier nmero real p, m ({p}) = 0.

(d) Para cualquier intervalo I de R vale m (I) =
(I).
1. MEDIDA EXTERIOR
23
(e) Para cualquier coleccin numerable {An }nN de subconjuntos de R se

cumple la llamada subaditividad numerable:
nN
An
m (An )
(2.2)
nN
Prueba:
(a) Cualquier coleccin de intervalos abiertos es un cubrimiento del conjunto
vaco, en particular para cada n N, la coleccin de un intervalo {(0, n1 )}
pertenece a F , sea Jn = (0, n1 ); por denicin, la medida exterior de todo
conjunto es no negativa; ahora, la medida exterior del conjunto vaco, es menor
o igual que el nmo del conjunto { (Jn ) = n1 : n N} que es igual a 0. As
m () = 0.
(b) Siendo A subconjunto de B, todo cubrimiento de B es un cubrimiento de
A, de tal forma que FB FA , de donde el nmo sobre los elementos de FA es
menor o igual al nmo sobre FB y por tanto, m (A) m (B).
(c) Dado p, se dene In = (p n1 , p + n1 ) para cada n en N, cada uno de los
intervalos In por s slo, es un cubrimento de {p} y por tanto, es un elemento
de F{p} . De esta forma, cada una de las longitudes (p n1 , p + n1 ) = n2 es
P
un elemento del conjunto {
(I ) : {I } F{p} }. As, el nmo de este ltimo
conjunto,m ({p}), es menor o igual que el nmo del conjunto { (p n1 , p + n1 ) =
2
n : n N} que es igual a 0. De aqu, m ({p}) = 0.

(d) Se considerar primero el caso de que el intervalo I sea cerrado y acotado,
es decir, compacto: I = [a, b]. I es subconjunto del intervalo J = (a , b + )
para cualquier > 0, cuya longitud es (J ) = b a + 2; por la parte (b), m (I)
es cota inferior de { (J ) : > 0}, en consecuencia, m (I) b a.
Para probar el otro sentido de la desigualdad, veamos que b a es una cota
P
inferior del conjunto {
(In ) : {In } FI }. Dado {In } FI , por la compacidad del intervalo I, existe una subcoleccin nita {In1 , . . . , Ink } de {In } tambin
perteneciente a FI . Para esta subcoleccin nita es evidente que
(In ) (In ) + + (In

1
El extremo a del intervalo I, pertenece a al menos, uno de los intervalos de

la subcoleccin nita In1 ,. . . ,Ink , ste intervalo se denotar por J1 = (a1 , b1 ). Si
P
fuese b < b1 , se tendra que I J1 y por tanto, b a = (I) (J1 )
(In ).
De no ser as, siendo a < b1 < b, existe uno de los intervalos In1 ,. . . ,Ink , que
contiene a b1 digamos J2 = (a2 , b2 ); entonces puede ser que b pertenezca a J2 o
no. Si b J2 , entonces I est contenido en la unin J1 J2 y as, nuevamente,
P
b a < b2 a1
(In ). Si b / J2 , se repite el procedimiento anterior y como
se trata de una coleccin nita, en un cierto momento se tiene una coleccin
de intervalos abiertos J1 ,. . . ,Jr , con Ji = (ai , bi ) que son parte de los In1 ,. . . ,Ink ;
adems a1 < a, b < br y ai+1 < bi < bi+1 para i = 1, . . . , r 1, de modo que la
unin de los Ji es un intervalo de longitud br a1 que es menor que la suma
24
Pr
i=1
(Ji ). As se tiene la siguiente cadena de desigualdades

b a < br a1 <
r
X
i=1
(Ji )
k
X
j=1
(In )
j
(In )
P
en cualquier caso, b a es cota inferior del conjunto {
(In ) : {In } FI } y as,
b a m (I) lo que completa la prueba en el caso de que I sea un intervalo

cerrado y acotado.
2o caso I es un intervalo acotado (de longitud nita).
En este caso, si I tiene extremos a y b, dado > 0, consideramos el intervalo
compacto J = [a + 2 , b 2 ] cuya longitud es (J ) = b a = (I) .
Denotando por I la clausura de I, se tiene que I es un intervalo compacto que
contiene a I, a su vez I contiene al intervalo compacto J , usando la parte (b) se
obtiene
(I) = (J ) = m (J ) m (I) m (I) = (I) = (I)

para cualquier > 0; por lo que m (I) = (I).
3o caso I es un intervalo de longitud innita o no acotado.

Dado un nmero natural arbitrario k, se puede hallar un intervalo Jk de
longitud k, contenido en I. Entonces para todo k N, m (I) m (Jk ) = (Jk ) =
k. As se deduce que, m (I) = = (I).
(e) Si algn elemento An0 , de la coleccin numerable tiene medida exterior innita, se tiene por un lado que = m (An0P
) m (An ) de modo
que m (An ) = , por otro lado = m (An0 )

m (An ), por lo tanto,
P
m (An ) = . En esta situacin se tiene la igualdad.

Por el contrario si la medidida exterior de todos lo elementos de la coleccin
numerable tienen medida exterior nita, utilizando la caracterizacin de nmo
para un n jo pero arbitrario, dado > 0 podemos encontrar una coleccin
{Ij,n }j en FAn , que satisface
X
m (An )
(Ij,n ) < m (An ) + 2n
j
Ahora, la unin j (Ij,n ) contiene a An , por tanto, An n (j Ij,n ); adems

la unin numerable de colecciones numerables es una coleccin numerable; as
la coleccin {Ij,n }j,n es un elemento de F(Aj ) . De lo anterior se obtiene
!
X
[
X

m (An ) + n
m
(Ij,n )
An
2
n
n
j,n
separando los trminos de la serie y usando la P

suma de la serie geomtrica, se
concluye que para > 0 arbitrario, m (An )
m (An ) + . Por lo tanto,
!
[
X
m
An
m (An )
n
como se quera demostrar.

Corolario 2.2.
(a) Todo conjunto numerable tiene medida exterior nula.
1. MEDIDA EXTERIOR
25
(b) El intervalo [0, 1] es no numerable.

Prueba:
Ejercicio.
Proposicin 2.3. Dados cualquier subconjunto A de nmeros reales y > 0,

se cumple:
(a) Existe un conjunto abierto mathcalO, tal que A mathcalO y
m (mathcalO) m (A) + .
(b) Existe un conjunto G G que contiene a A y m (A) = m (G).
Prueba:
Ejercicio.

La siguiente denicin es la base de la construccin de la medida de Lebesgue, que parte de la denicin de la medida exterior pero que adems satisface
las propiedades esperadas de monotona, aditividad numerable e invarianza por
traslaciones.
Definicin 17 (Carathodory2 ). Un conjunto de nmeros reales E se dice que
es medible si, y slo si, para todo conjunto A R se cumple la siguiente igualdad:
e
m (A) = m (A E) + m (A E)
(2.3)
e
m (A) m (A E) + m (A E)
(2.4)
Ntese que para cualquier subconjunto A de nmeros reales, A = (A E)

e , por lo tanto, siempre vale la desigualdad m (A) m (AE)+ m (A E)
e
(A E)
por la proposicin 2.1(e). Para probar que un conjunto es medible es necesario y
suciente probar que
De la denicin 17 se desprende que un conjunto E es medible si, y slo si,

e es medible. As mismo, es inmediato ver que tanto como R
su complemento E
son conjuntos medibles.
Lema 2.4.
(a) Todo conjunto E R con m (E) = 0, es medible.

(b) Para cualesquiera E1 , E2 R medibles, se tiene que E1 E2 es medible.
Prueba:
(a) Sea E un conjunto con medida exterior nula y sea A R arbitrario.
Como A E E, se tiene que m (A E) m (E) = 0; por tanto, m (A E) = 0.
e A implica que m (A E)
e m (A). En consecuencia,
Por otra parte, A E
e = m (A E) + m (A E)
e
m (A) m (A E)
por (2.4), E es medible.

(b) Sean E1 , E2 conjuntos medibles y A cualquier subconjunto de R. Siendo
E2 medible, para el conjunto A Ee1 vale:
f2 )
m (A Ee1 ) = m (A Ee1 E2 ) + m (A Ee1 E
(2.5)
2 Constantin Carathodory (1873-1950) Matemtico Griego, hizo signicativos aportes a la teora

de funciones de variable real, clculo de variaciones y teora de la medida
26
Por otra parte,
A (E1 E2 ) = A (E1 E2 ) R = A (E1 E2 ) (E1 Ee1 ) =

h
i
= A E1 (E2 Ee1 ) =
= (A E1 ) (A Ee1 E2 )
Esta igualdad nos lleva a la siguiente desigualdad:

m [A (E1 E2 )] m (A E1 ) + m (A Ee1 E2 )
(2.6)
Ahora veamos que (E1 E2 ) es medible:

h
i
m [A (E1 E2 )] + m A (E^
1 E2 ) =
i
h
f2
= m [A (E1 E2 )] + m A Ee1 E
i
h
f2
m (A E1 ) + m (A Ee1 E2 ) + m A Ee1 E
por (2.6)
= m (A E1 ) + m (A Ee1 )
por (2.5)
= m (A)
por ser E1 medible
Luego, E1 E2 es medible.

En adelante, se denotar a la familia de todos los subconjuntos medibles de
R por
.
La parte (b) del lema anterior junto con algunas de las obsevaciones comentadas arriba, conducen al siguiente corolario:
Corolario 2.5. La familia

lgebra de conjuntos.
Prueba:
Ejercicio.
de todos los conjuntos medibles de R es un
Lema 2.6. Sean A un subconjunto de nmeros reales y E1 , . . . , En una coleccin finita de conjuntos medibles que son disjuntos dos a dos. Entonces se verifica
la siguiente igualdad:
!#
"
n
n
X
[
m (A Ei )
m A
=
Ei
i=1
i=1
Prueba:
Se proceder haciendo induccin sobre n. Para n = 1 la igualdad
es evidente. Supongamos que el resultado es vlido para n 1 conjuntos medibles
disjuntos dos a dos.
Sean E1 , . . . , En1 , En
disjuntos, entonces valen las siguientes igualdades:
#
" n !
[
Bn = A
Ei En = A En (por la disjuncin)
i=1
Cn = A
"
n
[
i=1
Ei
Ef
n =A
"
n
[
i=1
(Ei Ef
n) = A
"n1
[
i=1
Ei
1. MEDIDA EXTERIOR
27
del conjunto En , aplicada en particular al conjunto A

SnLa medibilidad
E
,
junto
con
las expresiones anteriores, permite escribir
i
i=1
!#
"
"n1 #!
n
[
[
m A
= m (Bn ) + m (Cn ) = m (A En ) + m A
Ei
Ei
i=1
i=1
aplicando la hiptesis inductiva en el segundo trmino de la suma, y resumiendo

los dos sumandos en una sola sumatoria, se llega a la conclusin buscada:
"
!#
n
n
[
X
m A
Ei
m (A Ei )
=
i=1
i=1

El siguiente teorema establece a la coleccin de conjuntos medibles como
una -lgebra, este hecho va a ser fundamental en la denicin de la medida de
Lebesgue.
Teorema 2.7. La coleccin
una -lgebra de conjuntos.
de todos los subconjuntos medibles de R es
Prueba:
Por el corolario 2.5,
es un lgebra de conjuntos. Basta probar
que la unin numerable de conjuntos medibles es medible. Sea {An }nN una
coleccin numerable de conjuntos medibles y E = An . Siendo
un lgebra, por
la proposicin 1.3, existe una sucesin {En }nN de conjuntos medibles disjuntos
dos a dos, cuya unin es el conjunto E.
Para cada natural n, se dene Fn = n
i=1 Ei . Al ser una unin nita de
e; en
conjuntos medibles, cada Fn es medible, y como Fn E, se tiene que e
Fn E
consecuencia,
e
m (A e
Fn ) m (A E)
para todo n N
(2.7)
Si A es un conjunto de nmeros reales, para cualquier natural n, la medibilidad de Fn , permite escribir:
e por (2.7)
m (A) = m (A Fn ) + m (A e
Fn ) m (A Fn ) + m (A E)
pero Fn es una unin nita, as que el lema 2.6 anterior aplicado al primer
sumando, resulta:
m (A)
n
X
i=1
e
m (A Ei ) + m (A E)
como m (A) no depende de n y se trata de una serie de trminos no negativos,

haciendo n , nos lleva a
m (A)
X
i=1
e
m (A Ei ) + m (A E)
Ahora bin,
numerable de m dada por la proposicin 2.1(e),
Pla subaditividad
implica que i=1 m (A Ei ) m (

i=1 (A Ei )) = m (A E).
e ; por tanto, E = n An es medible.

Luego, m (A) m (A E) + m (A E)
Lema 2.8. Todo intervalo de la forma (a, +) con a R, es medible.
28
Prueba:
El complemento del intervalo (a, +) es el intervalo (, a].
Dado un subconjunto A de R, sean A1 = A (a, +) y A2 = A (, a]. Es
suciente probar que m (A) m (A1 ) + m (A2 ), ver la inecuacin (2.4).
Si m (A) = no hay ms que probar. Sea entonces, m (A) < .
Por la denicin de medida exterior y la caracerizacin de nmo, dado
> 0 podemos encontrar una coleccin de intervalos abiertos {In } FA tal que
X
m (A)
(In ) < m (A) + .
n
Para cada n en N, se denota In = In (a, +) e In = In (, a] que son

intervalos o el vaco. Adems para cada n N, In In = y In In = In de
forma que m (In ) + m (In ) = (In ) + (In ) = (In ).
Tambin se tiene que A1 In y A2 In , por lo que
m (A1 )
entonces,
m (A1 ) + m (A2 )
m (In )
m (A2 )
[m (In ) + m (In )] =
m (In ).
(In ) < m (A) +
como > 0 es arbitrario, se concluye que m (A1 ) + m (A2 ) m (A) como se

quera demostrar.

Como consecuencia de este lema, tenemos que un intervalo de la forma
(, a] es medible, por ser complemento de (a, +). Para b R el intervalo
1
(, b) =
n=1 (, b n ] es medible por ser unin numerable de conjuntos
medibles.De esta forma, todo intervalo abierto acotado (a, b) = (, b)(a, +)
tambin es medible, aqu a, b R y a < b; en conclusin, todo intervalo abierto
de R es medible. Dado que todo conjunto abierto en R se puede expresar como
unin numerable de intervalos abiertos3 , se concluye que todo conjunto abierto
de R es medible; es decir, todo conjunto abierto de nmeros reales pertenece a
. Ahora, la familia de los Borelianos es la -lgebra mas pequea que contiene
a a los conjuntos abiertos, en consecuencia, todo conjunto de Borel es medible.
Esto prueba la siguiente proposicin:
Proposicin 2.9. Todo conjunto boreliano es medible. Esto es,

2. La medida de Lebesgue
En la proposicin 2.1 vimos que la medida exterior satisface varias propiedades adecuadas para ser una extensin del concepto de longitud de un intervalo,
sin embargo, veremos que si esta denicin abarca a todos los subconjuntos de
R se llega a contradicciones insoslayables. Estas contradicciones revelan la existencia de los conjuntos no medibles; en tal sentido, se hace necesario restringir
la denicin de medida exterior a una -lgebra mas pequea como lo es la de
los conjuntos medibles
.
3 ver
ejercicio [3] del problemario No 1.
2. LA MEDIDA DE LEBESGUE
29
Definicin 18 (medida de Lebesgue). Se define la medida de Lebesgue

como la restriccin de la medida exterior a la -lgebra
de todos los subconjuntos medibles de R. Si E es un subconjunto medible de R, denotamos la medida
de Lebesgue de E por:
m(E) := m (E)
Evidentemente, la medida de Lebesgue hereda las propiedades de la medida

exterior, pero tambin satisface otras propiedades no necesariamente satisfechas
por m .
Proposicin 2.10. Sea {Ei } una sucesin de conjuntos medibles. Entonces:
(a) La medida de Lebesgue numerablemente subaditiva (como lo es m )
X
m(Ei )
m((Ei )
(b) Si adems se tiene que Ei Ej = cuando i 6= j, entonces vale
X
m(Ei ) =
m(Ei )
Prueba:
(a) m = m sobre la -lebra de los medibles y aplica la proposicin 2.1(e).
(b) Si la sucesin es nita, basta tomar A = R en el lema 2.6 y se obtiene:
!
" n #!
n
n
n
X
X
[
[
m(Ei )
m(R Ei ) =
=
m
Ei
Ei = m R
i=1
i=1
i=1
i=1
que
i=1 Ei
Si la sucesin es innita, entonces encontramos

n
i=1 Ei , para
cualquier natural n. Por la propiedad de monotona de m aplicada a la medida
de Lebesgue y la propiedad ya demostrada para el caso nito, tenemos
!
!
n
n
X
[
[
m(Ei )
m
Ei =
Ei m
i=1
i=1
i=1
como vale para cualquier n N, se tiene que

!
X
[
m(Ei )
m
Ei
i=1
i=1
Aplicando la parte (a) se prueba la igualdad.
Proposicin 2.11. Sea {Ei }iN una sucesin infinita decreciente de conjuntos
medibles. Es decir, que para todo i N se verifica que Ei Ei+1 . Si m(E1 ) es finita,
entonces,
!
\
m
Ei = lm m(En )
i=1
T
Prueba:
Sea E = i=1 Ei , E es un conjunto medible en virtud
T de la
proposicin 1.4. Dado un elemento x en E1 \ E, se tiene que x
/ i=1 Ei , por
lo tanto existe
/ Ei0 +1 ,Sas que x es un
Sun ndice i0 N tal que x Ei0 y x
elemento de i=1 (Ei \ Ei+1 ). Recprocamente, si x pertenece a i=1 (Ei \ Ei+1 ), x
30
est en algn Ei E1 y no pertenece a Ei+1 de modo que x pertenece a E1 \ E.

Esto prueba que:
[
E1 \ E = (Ei \ Ei+1 ),
i=1
como se trata de una sucesin decreciente, para i 6= j, digamos i < j, Ei+1 Ej ,

en consecuencia,
(Ei \ Ei+1 ) (Ej \ Ej+1 ) = .
siendo cada Ei medible, tambin es medible el conjunto (Ei \ Ei+1 ) para cada
i N, de todo esto y aplicando la proposicin 2.10(b), se obtiene:
m(E1 \ E) =
m(Ei \ Ei+1 )
(2.8)
i=1
Apoyndonos nuevamente en la proposicin 2.10(b) y escribiendo tanto a E1

como a cada Ei como una unin disjunta de conjuntos medibles, tenemos las
siguientes igualdades:
m(E1 ) = m(E [E1 \ E]) = m(E) + m(E1 \ E)
(2.9)
m(Ei ) = m(Ei+1 [Ei \ Ei+1 ]) = m(Ei+1 ) + m(Ei \ Ei+1 )
(2.10)
Dada la nitud de m(E1 ), tenemos que tanto m(E) como m(Ei ) para todo
i N, son nitas; por tanto, despejando la medida de los conjuntos diferencia
de las ecuaciones (2.9) y (2.10) y sustituyndolas en la ecuacin (2.8) resulta:
m(E1 ) m(E) =
[m(Ei ) m(Ei+1 )]
i=1
= lm
n
X
[m(Ei ) m(Ei+1 )]
(suma telescpica)
i=1
= lm [m(E1 ) m(En+1 )]
n
= m(E1 ) lm m(En+1 )
n
De aqu se concluye que m(E) = lmn m(En ).

El argumento utilizado posterior a las ecuaciones (2.9) y (2.10) es utilizado
con cierta frecuencia, y se enuncia de manera ms general en el siguiente lema:
Lema 2.12. Sea A R y E un conjunto medible con m(E) < tal que
E A, entonces
m (A \ E) = m (A) m (E)
Prueba:
Siendo E medible se tiene que
e = m (E) + m (A \ E)
m (A) = m (A E) + m (A E)
restando m (E) < a ambos lados, se tiene
m (A \ E) = m (A) m (E)

La siguiente proposicin nos presenta una caracterizacin de los conjuntos
medibles.
31
Proposicin 2.13. Para un subconjunto E de R, son equivalentes las siguientes proposiciones:

() E es medible.
() Para cada > 0, existe un conjunto abierto O , tal que O E y
m (O \ E) < .
() Para cada > 0, existe un conjunto cerrado S . tal que S E y
m (E \ S) < .
() Existe un conjunto G G , tal que G E y m (G \ E) = 0.
() Existe un conjunto F F , tal que F E y m (E \ F) = 0.
() Cuando se tiene que m (E) < , tambin es equivalente la siguiente
proposicin:
Para cada > 0, existe un conjunto U que es unin finita de intervalos
abiertos, que verifica:
m (U E) <
Prueba:
Para probar esta proposicin se seguir la siguiente estratgia,
en tres etapas:
(A) Asumiendo que m (E) < , se probar que
() () ().
(B) Utilizando el resultado en (A), se probar para el caso general:

() () () ().
(C) Utilizando (B), se probar para el caso general:

() () () ().
Etapa (A): Sea E R con m (E) < .

()()
Por la denicin de la medida exterior, dado > 0 se puede encontrar una
familia de intervalos abiertos {In } perteneciente a FE , cuyas longitudes verican
la siguiente desigualdad
X
m (E)
(In ) < m (E) +
(2.11)
entonces O es un abierto
contiene a E; por la subadiSea O =
P que
tividad de la medida exterior, m (O )
m (In ), combinando con (2.11), se
obtiene
m (O ) < m (E) +
(2.12)
In ,
(Observe que tambin m (O ) < ).

Por el lema 2.12 y utilizando el hecho de que E es medible de medida nita
y la ecuacin (2.12), se obtiene:
m (O \ E) = m (O ) m (E) < m (E) + m (E) =
esto prueba ().
()()
Supongamos que dado > 0, existe un conjunto abierto O tal que O E y
m (O \ E) < /2.
32
Bajo la hiptesis de que m (E) < , y siendo O = E (O \ E), m (O) < .

Por ser abierto, O es una unin numerable de intervalos abiertos y acotados,
digamos O = In , es decir, {In } S
FE .
n
Para cada n se dene An = j=1 Ij . Entonces {An } es una sucesin creciente
de conjuntos abiertos de medida exterior nita,Scuya unin es O = An . Ahora,
si se dene A0 = , se puede escribir O = j=1 (Aj \ Aj1 ) como una unin

numerable de conjuntos medibles (los Ai son abiertos) disjuntos dos a dos. Por
la proposicin 2.10(b) se tiene
m (O) =
m (Aj \ Aj1 ) = lm
j=1
n
X
m (Aj \ Aj1 )
j=1
Los Aj son conjuntos medibles de medida nita, entonces por el lema 2.12
m (O) = lm
por lo que
n
X
[m (Aj ) m (Aj1 )] = lm [m (An ) m (A0 )]

n
j=1
m (O) = lm m (An )
n
Por la denicin de lmite, para el > 0 ya jado, existe N N tal que si

n N, entonces,
m (O \ An ) = m (O) m (An ) <

2
aqu se utiliza el lema 2.12 y que An O .
Entonces, dado que E O , se tiene que
m (E \ An ) m (O \ An ) < /2, para n N.
Tambin, como An O , se tiene que
m (An \ E) m (O \ E) < /2, (por hiptesis).
de lo anterior,
m (An E) m (E \ An ) + m (An \ E) < , si n N
esto prueba () tomando U = An para n N.
()()
Por hiptesis, dado > 0, existe una coleccin nita de intervalos abiertos
I1 , I2 , . . . , In tal que su unin A = I1 In satisface que m (A E) < /2.
El conjunto A est contenido en A E unido con A E ambos de medida
exterior nita. Por tanto, todos los In son acotados.
Por otra parte, como E \ A E A,
m (E \ A) m (E A) < /2
por la denicin de la medida exterior, para el ya jado, existe una coleccin
de intervalos abiertos {Jn } en FE\A , tal que
X
m (E \ A)
(Jn ) < /2
Sea O = A (n Jn ). Entonces, O es abierto y E O .
O \ E = [A (n Jn )] \ E = (A \ E) [(n Jn ) \ E] (A E) (n Jn )
As,
m (O \ E) m (A E) +
X
n
lo que prueba ().
33
(Jn ) < 2 + 2 =
Etapa (B): Ahora E R arbitrario.

()()
Sea E un conjunto medible. Se considera una coleccin numerable {An }
de intervalos abiertos y acotados cuya unin es todo R. De esta coleccin, se
seleccionan aquellos intervalos tales que An E 6= se denota dicha subcoleccin
como {In }nN que es un elemento de FE .
Para cada n N, sea En = E In , as E = n En . De esta forma, cada En es
medible y de medida exterior nita: m (En ) m (In ) < .
Utilizando ()() de la etapa (A) ya probada, dado > 0, se asegura que
para cada n existe un abierto On que contiene a En y m (On \ En ) < /2n .
Haciendo O = On , resulta que O es un abierto que contiene a E. Adems,
O \ E = (On ) \ E = (On \ E)) (On \ En ), ya que como (En E), se cumple
que (On \ E) (On \ En ) as se tiene que:
X
X
=
m (O \ E)
m (On \ En )
2n
()()
Por hiptesis, para cada n se puede encontrar un abierto On que contiene a
E y tal que m (On \ E) < 1/n.
Sean A1 = O1 , A2 = A1 O2 , . . . , An+1 = An On+1 ,. . . .
Entonces, para cada n, An An+1 , tambin cada An contiene a E y es
abierto, por lo tanto, medible. Como An On vale que (An \ E) (On \ E). As
que m (An \ E) < 1/n.
Sea ahora, G = An entoces G es un G y contiene a E.
m (G \ E) = m ((An ) \ E) = m ((An \ E))
pero
\ E) kn=1 (An \ E) = (Ak \ E) para todo k, por la relacin de
inclusin de los An . As resulta:
n=1 (An
m (G \ E) m (Ak \ E) < 1/k
para todo k N
es decir, m (G \ E) = 0, que era lo que se quera probar.

()()
Por hiptesis, existe un conjunto G G que contiene a E (G E) y tal que
m (G \ E) = 0. Se quiere mostrar que E es medible.
Como m (G \ E) = 0, G \ E es medible, por lo que su complemento tambin
^
^
e =G
e E.
es medible: (G
\ E) = (G E)
El conjunto G es medible por ser un G ; de esta forma, tambin es medible
el siguiente conjunto:
e E) = G E = E
G (G
Etapa (C): E R arbitrario.
.
Esta parte se deja como Ejercicio.
34

3.
Existencia de un conjunto no medible
Ya hemos visto la denicin de la medida exterior y la medida de Lebesgue

como su restricccin a los conjuntos medibles. En lo que sigue, mostraremos que
si no se establece tal restriccin de la medida exterior se producen inconsistencias con la propiedad de aditividad numerable. En esta seccin se mostrar la
existencia de un subconjunto de R no medible.
Primero se dene en [0, 1) la adicin mdulo 1 la cual se denotar por: +
y se dene como sigue
x+y := x + y
mod
1=
x+y
x+y1
si x + y < 1
si x + y 1
No es difcil probar que + es conmutativa y asociativa. Para un subconjunto

E del intervalo [0, 1) y un nmero real p [0, 1) se dene la traslacin por p
mdulo 1, como:
E+p := {x+p : x E}
Dados p [0, 1) y un conjunto medible E [0, 1); se denotan E1 = E[0, 1 p)
y E2 = E [1 p, 1).
Para todo x E1 se tiene que p x + p < 1, por lo tanto,
E1 +p = E1 + p = (E + p) [p, 1).
(2.13)
Similarmente, x E2 s y slo si 1 p x < 1, es decir, si y slo si,

1 x+p < 1+p, en consecuencia, para todo x E2 se verica que x+p = x+(p1)
y de esta forma,
E2 +p = E2 + (p 1) = (E + p 1) [0, p)
(2.14)
De las relaciones (2.13) y (2.14), y utilizando el hecho de que la traslacin

de un conjunto medible es medible (ejercicio 4 del problemario No 2), se obtiene
que E1 +p y E2 +p son conjuntos medibles y disjuntos cuya unin es E+p que
tambin es un conjunto medible.
Ya que m = m es invariante por traslaciones, (ver ejercicio 6 del problemario No 2), se tienen las siguientes igualdades:
m(E+p) = m(E1 +p) + m(E2 +p) = m(E1 ) + m(E2 ) = m(E)
(2.15)
Con esta operacin de suma mdulo 1 en [0, 1) procedemos a mostrar la

construccin de un conjunto no medible. A tal efecto, se dene en el intervalo
[0, 1) la relacin por
x y x y Q
sta es una relacin de equivalencia. Dos elementos del intervalo [0, 1) estn
en la misma clase de equivalencia si dieren en un racional y estn en clases
distintas si dieren en un irracional.
Sea P un conjunto de representantes de las clases de equivalencia, esto es,
de cada clase de equivalencia se escoje un nico elemento representante de la
clase (una aplicacin del axioma de eleccin).
3. EXISTENCIA DE UN CONJUNTO NO MEDIBLE
35
El conjunto Q [0, 1) es numerable, por lo que existe una enumeracin de

dicho conjunto (una funcion biyectiva r : N Q) de la forma {ri }
i=0 con r0 = 0.
Con esta enumeracin, se denen los siguientes conjuntos:
Pi := P+ri
con i = 1, 2, 3,
los cuales constituyen una familia numerable de conjuntos, tales que, P0 =

P+0 = P y son disjuntos dos a dos, en efecto: si existe x Pi Pj , por denicin,
existen elementos pi , pj de P tales que pi +ri = x = pj +ri de aqu resulta que
pi pj es un racional y as pi pj , como son representantes, necesariamente
pi = pj y por tanto, Pi = Pj (i = j), esto prueba que son disjuntos.
As hemos probado que {Pi }
i=0 es una sucesin de conjuntos disjuntos, la
unin de todos ellos es un subconjunto de [0, 1), pero veamos que
Pi = [0, 1)
i=1
en efecto, si x [0, 1), x pertenece a una de las clases de equivalencia cuyo representante correspondiente es un nico elemento p P, entoces x esta relacionado
con p y esto signica que x p es un racional de [0, 1), es decir, un ri para algn
i, por lo que x = p + ri y en consecuencia, x P+ri = Pi i Pi , esto prueba la
igualdad de arriba.
Llegados a este punto, si suponemos que el conjunto P es medible, por el
razonamiento hecho antes (lo que sigue a las ecuaciones (2.13) y (2.14)), se tiene
que cada Pi es medible y por (2.15), m(Pi ) = m(P) para todo i = 0, 1, .
Aplicando la proposicin 2.10(b) resulta:
!
X
[
X
m ([0, 1)) = m
m(Pi ) =
Pi =
m(P)
i
Entonces, por un lado m([0, 1)) = 1 y por el otro la suma innita de m(P) es
0 si m(P) = 0 o es + si m(P) > 0, esta contradiccin nos lleva a la conclusin
de que cada conjunto Pi y por tanto P,no son medibles.
36
Problemario No 2
1
Sea m una medida numerablemente aditiva, denida sobre una -lgebra de

conjuntos A . Demuestre que si existe un conjunto E A con m(E) < ,
entonces m() = 0.
Se dene una funcin n para cada subconjunto E de R por: n(E) = card(E)

el cardinal si E es nito y n(E) = + si E es innito. Muestre que n es una
medida numerablemente aditiva.
Sea A el conjunto de los nmeros racionales en [0, 1] y sea {Ik }n

k=1 una
coleccin nita de intervalos que es un cubrimiento de A. Demuestre que
Pn
k=1 (Ik ) 1.
Demuestre que la medida exterior es invariante por traslaciones.
Si A R es un conjunto de medida exterior nula, entonces para todo

conjunto B R, se tiene que m (A B) = m (B).
Sea E un subconjunto medible de R. Demuestre que para todo p R, el

conjunto E + p es medible.
Demuestre que si E y F son conjuntos medibles de R,
m(E F) = m(E) + m(F) m(E F)

8
D un ejemplo de una sucesin {En }

n=1 de conjuntos medibles con n En =
y En En+1 para todo n = 1, 2, y tal que m(En ) = para todo n. Qu
conclusin se puede obtener de este hecho?
Demuestre que el conjunto de Cantor tiene medida cero.
10
Dado un nmero real c, con 0 < c 1, imite la construccin del conjunto

de Cantor pero extrayendo en el paso n-simo, intervalos de longitud 3cn .
Esta es una forma generalizada del conjunto de Cantor, denotada por Cc/3 .
Demuestre que ste conjunto de Cantor es cerrado, que [0, 1] \ Cc/3 es denso
en [0, 1] y que es medible con m(Cc/3 ) = 1 c.
11
Sea P el conjunto no medible construido en la teora. Demuestre que si E P

es medible, entonces m(E) = 0. (Sugerencia: utilice los conjuntos Ei = E+ri
con ri Q).
12
Demuestre que en todo conjunto A con medida exterior no nula, se encuentra un subconjunto no medible. (Sugerencia: considere los casos A (0, 1) y
A 6 (0, 1). Si A (0, 1), y para todo i: Ai = A Pi es medible, m(Ai ) = 0 y
A = i Ai es contradictorio)
13
14
P
D un ejemplo de una sucesin disjunta {En } tal que m (En ) <
m (En ).
D un ejemplo de una sucesin decreciente {En } tal que m (En ) < para
todo n y m (En ) < lm m (En ).
Sea E un conjunto medible no vaco. Demuestre que
m (E) = nf {m (A) : E A y A abierto}

y
m (E) = sup{m (K) : K E y K compacto }.
15
37
Determine la veracidad o falsedad de las siguientes proposiciones:

(a) Si A es un conjunto denso en [0, 1], entonces m (A) = 1.
(b) m(A) > 0 para todo conjunto abierto no vaco A.
(c) m(K) < + para todo conjunto compacto K.
(d) Si m (E) = 0, entonces E es numerable.
Captulo 3
Funciones medibles
El concepto de funcin medible est ligado al concepto de conjunto medible
y es un eje fundamental en el desarrollo de la teora de integracin.
Proposicin 3.1. Sea f una funcin con dominio de definicin D un conjunto
medible y a valores reales extendidos. Las siguientes proposiciones son equivalentes:
() Para todo R el conjunto D1 = {x : f(x) > } es medible.
() Para todo R el conjunto D2 = {x : f(x) } es medible.
() Para todo R el conjunto D3 = {x : f(x) < } es medible.
() Para todo R el conjunto D4 = {x : f(x) } es medible.
Adems, cualquiera de (),. . . ,() implica la siguiente:
() Para todo R el conjunto D5 = {x : f(x) = } es medible.
Prueba:
()() Es claro porque D4 = D \ D1 y D1 = D \ D4 .
()() Tambin D3 = D \ D2 y D2 = D \ D3 .
()() Ntese que x D2 si y slo si f(x) , equivalentemente, f(x) > 1/n
para todo n N. De esta forma:
D2 =
{x : f(x) > 1/n}
n=1
por hiptesis, D2 es una interseccin numerable de conjuntos medibles, por tanto,

medible.
()()
[
{x : f(x) + 1/n}
D1 =
n=1
utilizando la hiptesis, D1 es una unin numerable de conjuntos medibles.

()()()()()
Si alguna de (),. . . ,() es cierta, todas lo son ya que son equivalentes.
Si R, entonces D5 = D2 D4 ; luego, D5 es medible.
Si = +, entonces D5 = {x : f(x) = +} =
n=1 {x : f(x) n}; por () D5
es medible.
Si = , entonces D5 = {x : f(x) = } =
n=1 {x : f(x) n}; por () D5
es medible.
Definicin 19 (funcin medible). Una funcin f a valores reales extendidos

se llama funcin medible si su dominio es un conjunto medible y tambin es
medible el conjunto:
{x : f(x) > } para todo R
39
40
3. FUNCIONES MEDIBLES
Ejemplo 3.1. Toda funcin constante con dominio de denicin medible, es

una funcin medible.

Definicin 20 (funcin caracterstica). Dado un conjunto A R, se define
la funcin caracterstica A de A , por:

A (x) := 1 si x A
0 si x
/A
Ejemplo 3.2. Se verica fcilmente que
A es medible si y slo si A es medible.

Ejemplo 3.3. Toda funcin escalonada es medible. Si es escalonada, el

conjunto {x : (x) > } dependiendo de los valores de y el valor de , es
vaco un unitario intervalo uniones nitas de intervalos todo R que son
todos medibles.

Definicin 21 (funcin simple). Una funcin se llama simple si es
medible y existen conjuntos medibles A1 , . . . , An y nmeros reales 1 , . . . , n tales
que:
n
X
i Ai
=
i=1
Ejemplo 3.4. Toda funcin simple es medible. La prueba es similar a la de la

funcin escalonada pero con uniones de conjunto medibles en lugar de intervalos.

Ejemplo 3.5. Si f es continua y D = Dom(f) es medible, entonces f es medible.
En efecto, Para todo R, se tiene que {x : f(x) > } = f1 ((, +)) por
la continuidad de f, es abierto en D por tanto, f1 ((, +)) = A D es una
interseccin de conjuntos medibles.

Ejemplo 3.6. Si f es medible con D = Dom(f) y E D es medible, entonces la
restriccin f/E de f a E es medible. Basta observar que
{x : (f/E)(x) > } = E {x D : f(x) > }

Ejemplo 3.7. Si f : [a, b] R es montona, entonces f es medible. Ejercicio.

41
Problemario No 3
1
D un ejemplo de una funcin para la cual la proposicin {x : f(x) = }

es medible para todo R, no implique la proposicin {x : f(x) > }
es medible para todo R. (Sugerencia: construir una funcin f tal que
{x : f(x) > 0} sea no medible y f asume cada valor a lo sumo una vez).
Sea D un conjunto denso en R y sea f : R R una funcin tal que el

conjunto {x : f(x) > } es medible para todo R. Demuestre que f es
medible.
Sean D, E conjuntos medibles y sea f una funcin con dominio D E.

Demuestre que f es medible si y slo si f/D y f/E son medibles.
Sea f una funcin con dominio medible D. Demuestre que f es medible si y

slo si, la funcin g : R R denida por g(x) = f(x) si x D y g(x) = 0 si
x
/ D, es medible.
Dado un conjunto medible D, sea f una funcin con dominio D y sean

D1 = {x D : f(x) = +}, D2 = {x D : f(x) = }. Demuestre que f es
medible si y slo si, son medibles D1 , D2 y la restriccin de f a D \ (D1 D2 ).
Sean f, g funciones medibles a valores en R y un dominio de denicin

comn.
(a) Demuestre que fg es medible.
(b) La funcin f + g no est bien denida en el conjunto I donde f(x) + g(x)
es de la forma + . Tomando R jo, se dene:

f(x) + g(x) si x
/I
H(x) =
si x I
Demuestre que H es medible.
(c) Demuestre que si f y g son nitas c.t.p. , entonces H es medible sin ser
relevante cmo se dene sobre I.
Sea f una funcin medible. Demuestre que f1 (B) es medible para todo
conjunto boreliano B.
Sea f una funcin medible, a valores reales, y g una funcin continua con
dominio R. Demuestre que g f es medible. Se puede asegurar que la
composicin de funciones medibles, es tambin medible?
Sea f1 la funcin de Cantor-Lebesgue. Dena h sobre [0, 1] por h(x) = x +

f1 (x).
(a) h es un homeomorsmo de [0, 1] sobre [0, 2];
(b) h transforma el conjunto de Cantor en un conjunto F de medida 1;
(c) si g = h1 , entonces existe un conjunto medible A tal que g1 (A) no es
medible;
(d) d un ejemplo de una funcin continua g y una funcin medible tales
que g existe pero no es medible;
42
3. FUNCIONES MEDIBLES
(e) muestre que existe un conjunto medible que no es boreliano. (B

10
Encuentre un ejemplo de una sucesin de funciones que satisfacen las hiptesis de la poposicin ?? (proposicin 23 Cap. 3 Royden 3a ed.), excepto que
m(E) < , y para la cual no se cumple la tesis.
11
F
Una funcin f es Borel-medible si y slo si, para cada R, el conjunto
{x : f(x) > } es boreliano.
(a) verique que las proposiciones 19, ?? y ?? siguen siendo vlidas si se
sustituye conjunto medibe por conjunto boreliano y medible (Lebesgue) por Borel-medible;
(b) demuestre que si f es Borel-medible, entonces f es medible Lebesgue;
(c) demuestre si B es boreliano y f es Borel-medible, f1 (B) es boreliano;
(d) demuestre que si f y g son Borel-medibles, f g es Borel-medible;
(e) demuestreque si f es Borel-medible si g es medible Lebesgue, entonces
f g es medible Lebesgue.
12
Demuestre los llamados teoremas de Egoro1 y Lusin2 .

E: Sea E un conjunto medible de medida nita sobre el cual, la sucesin {fn } de funciones medibles a valores reales, converge puntualmente
c.t.p. Entonces, dado > 0, existe A E tal que m(A) < y fn f
uniformemente sobre E \ A.
L: Sea f : [a, b] R una funcin medible. Entonces, dado > 0 existe
una funcin continua denida sobre [a, b] para la cual
m({x [a, b] : f(x) 6= (x)}) <
1 Dmitri Fyodorovich Egorov(1869-1931) fue un matemtico ruso conocido por contribuciones

signicativas a las reas de la geometra diferencial y el anlisis matemtico.
2 Nikolai Nikolaevich Luzin(1883-1950) fue un matemtico sovitico conocido por sus trabajos
en teora de conjuntos y los aspectos descriptivos del anlisis matemtico con fuertes conexiones con
la topologa general.
Captulo 4
La integral de Lebesgue
En este captulo se estudiar la construccin de la integral de lebesgue,
basada en la medida de Lebesgue. Esta es la base para el desarrollo de la teora
de la medida e integracin sobre espacios de medida ms generales. En primer
trmino se repasarn algunos conceptos acerca de la integral de Riemann que nos
permitirn realizar ciertas comparaciones entre sta y la integral de Lebesgue.
1. La integral de Riemann
Sea f : [a, b] R una funcin acotada, para cualquier particin P del
intervalo [a, b], digamos P = {a = t0 , t1 , , tr = b}, se denen
Mi = sup{f(x) : ti1 x ti }, mi = nf {f(x) : ti1 x ti } para i = 1, . . . , r

Se llama suma superior de Riemann de f respecto a P al nmero real:
U(f, P) :=
r
X
donde ti = ti ti1
Mi ti
i=1
y suma inferior de Riemann de f respecto a P al nmero real:
L(f, P) :=
r
X
mi ti
i=1
Rb
Se denen entonces, la integral superior de Riemann de f, (R a f), y la integral
Rb
inferior de Riemann de f, (R a f), en la forma siguiente:
Zb
R f=
a
nf
PP[a,b]
Zb
R f=
U(f, P),
sup
L(f, P)
PP[a,b]
con P[a, b] es la familia de todas las particiones de [a, b].

Rb
Rb
Siempre se cumple la desigualdad: R a f R a f; cuando f es una funcin
para la cual se cumple la igualdad, se dice entonces que f es Riemann-integrable.
Rb
En tal caso, el valor comn se denota por R a f y se le llama la integral de
Riemann de f
Proposicin 4.1. Sea : [a, b] R una funcin escalonada dada por (x) =
di si ti1 < x < ti y (ti ) = ci para i = 1, , r. Entonces,
Zb
r
X
ci ti
R =
Prueba:
Ejercicio.
i=1

43
44
que:
4. LA INTEGRAL DE LEBESGUE
Proposicin 4.2. Sea f : [a, b] R una funcin acotada. Entonces, se verifica
Zb
R f=
a
Prueba:
sup
escalonada
Ejercicio.
Zb !
R ,
Zb
R f=
a
nf
escalonada
Zb !
R
a
2. Integral de Lebesgue
2.1. I .
Para un conjunto E, hemos denido su funcin caracterstica por

E (x) = 1 si x Ee
0 si x E
Pn
Una combinacin lineal (nita) = i=1 di Ei de funciones caractersticas
es una funcin simple si y slo si, los conjuntos E1 , . . . , En son medibles.
Una funcin simple puede tener ms de una representacin como combinacin lineal de funciones caractersticas. Si el rango o imagen de la funcin
simple , sin el valor 0, es el conjunto {a1 , . . . , arP
}, entonces cada conjunto
r
Aj = {x : (x) = aj } (j = 1, . . . , r) es medible y = i=1 aj Aj es una representacin de que es llamada representacin cannica; ntese que los Aj son
disjuntos dos a dos.
Definicin 22 (integral de una funcin simple). Sea unaPfuncin simple
r
que se anula fuera de un conjunto de medida finita, y sea = j=1 aj Aj la
representacin cannica de . Se define la integral de Lebesgue de como el
nmero real:
Z
Z
r
X
aj m(Aj )
= (x)dx :=
j=1
Adems, para todo conjunto medible E, la integral de Lebesgue de sobre E

es el nmero real:
Z
Z
:= E
E
(ntese que E tambin es una funcin simple).
Lema 4.3. Sean EP

1 , . . . , En conjuntos medibles y disjuntos (dos a dos) de
n
medidas finitas. Si = i=1 di Ei , entonces
Z
n
X
di m(Ei )
=
i=1
Prueba:
Sean a1 , . . . , ar los distintos valores no nulos de la funcin .
Entonces, para cada j = 1, . . . , r se verica
[
Aj = {x : (x) = aj } = {Ei : di = aj , con 1 i n}
En consecuencia,
X
X
[
Ei
aj m(Aj ) = aj m
m(Ei ) =
di m(Ei )
= aj
di =aj
1in
di =aj
1in
di =aj
1in
2. INTEGRAL DE LEBESGUE
de esta forma, la integral de es
r
X
aj m(Aj ) =
n
r
X
X
X
=
di m(Ei )
d
m
(E
)
i
i
j=1
j=1
45
i=1
di =aj
1in
Proposicin 4.4. Sean 1 , 2 funciones simples tales que son nulas fuera de
un conjunto de medida finita. Entonces:
R
R
R
() linealidad: para todo a, b R, (a1 + b2 ) = a 1 + b 2 ;
R
R
() monotona: si 1 2 c.t.p. , entonces, 1 2 ;
Pr
Ps
Prueba:
Sean 1 = i=1 ai Ai , 2 = j=1 bj Bj , las representaciones
cannicas de 1 y 2 respectivamente, y sean
A0 = {x : 1 (x) = 0}, B0 = {x : 2 (x) = 0}.

Entonces los conjuntos Ei,j = Ai Bj , (i = 0, 1, . . . , r, j = 0, 1, . . . , s) son
medibles y disjuntos dos a dos; haciendo:
ai,j = ai sobre Ei,j ,
resulta
1 =
ai,j Ei,j ,
bi,j = bj sobre Ei,j

2 =
i,j
()
(a1 + b2 ) =
(a ai,j + b bi,j )m(Ei,j )

a ai,j m(Ei,j +
i,j
=a
bi,j Ei,j
i,j
i,j
(por el lema 4.3)
b bi,j m(Ei,j )
i,j
ai,j m(Ei,j ) + b
i,j
Z
Z
= a 1 + b 2
bi,j m(Ei,j )
i,j
(por el lema 4.3)
() Si 1 2 c.t.p. , entonces 1 2 0 c.t.p. , por lo tanto,

P
i,j (ai,j bi,j ) ei,j 0 c.t.p.
ntese que por este hecho, se puede asegurar que los conjuntos Ei,j para los
cuales se tiene que ai,j bi,j < 0 tienen medida cero. As,
Z
Z
Z
X
1 2 = (1 2 ) =
(ai,j bi,j )m(Ei,j )
i,j
(ai,j bi,j )m(Ei,j ) +
aij bij 0
(ai,j bi,j )m(Ei,j )
aij bij <0
(ai,j bi,j )m(Ei,j ) 0
aij bij 0
Luego,
2 .
46
Pn
Corolario 4.5. Si i=1 di Ei es una representacin cualquiera de una funcin simple (los Ei no necesariamente disjuntos), entonces
R
Pn
= i=1 di m(Ei )
Prueba:
Ejercicio.
2.2. I E .
La siguiente proposicin brinda una caracterizacin de la medibilidad de
funciones y permite comenzar a generalizar la denicin de la integral de Lebesgue.
Proposicin 4.6. Sean E un conjunto medible de medida finita y f una funcin
acotada y definida en E. Entonces, f es medible si, y slo si:
Z
Z
nf
= sup
f
simple
simple
Prueba:
(slo si) Sea f una funcin medible y acotada denida sobre E, entonces
existe M > 0 tal que |F| < M. Para n N arbitrario pero jo, se consideran
particiones de los intervalos [M, 0] y [0, M] consistentes cada una en n subintervalos de longitud n1 . A tal efecto, se toma k = n+ 1, , 1, 0, 1, , n 1, n y
k
1
los subintervalos de (M, M] dados por ( k
n M, n M]; en base a estos intervalos
se dene:

k
k1
k
k1
1
M < f(x) M = f
M, M
Ek,n = x E :
n
n
n
n
Entonces, cad Ek,n es medible y son disjuntos dos a dos (sobre k); adems,
E = n
n Ek,n , por lo tanto
m(E) =
n
X
m(Ek,n )
k=n+1
Ahora, para cada n se denen las funciones simples n y n por:

n
n
M X
M X
n =
(k 1) Ek,n ,
n =
kEk,n
n
n
k=n+1
k=n+1
que satisfacen
nf
f
simple
sup
f
simple
n f n ;
n
M X
n =
n
n =
de ah, para cada n, se tiene

Z
Z
M
sup
0 nf
f
n
f
simple
simple
M
=
n
k m(Ek,n )
k=n+1
M
n
n
X
(k 1) m(Ek,n )
k=n+1
n
X
[k m(Ek,n ) (k 1) m(Ek,n )]
k=n+1
n
X
k=n+1
m(Ek,n ) =
M
m(E)
n
47
como la medida de E es nita y n N arbitrario, se concluye que:

Z
Z
nf
= sup
f
simple
(si)
Supongamos que = nf
f
simple
simple
y = sup
f
simple
son iguales.
Por propiedades de nmo y supremo, dado n N existen funcione simples

n f n tales que
Z
Z
1
1
< n = n < +
2n
2n
es decir, tales que
Z
Z
1
0 n n <
n
Se denen ahora las funciones = sup n , y = nf n , que son medibles

en virtud del teorema ??(3.14) y satisfacen: f .
Se probar que = c.t.p. , as f ser igual c.t.p. a una funcin medible y
eso es suciente para que f sea medible.
Como , el conjunto donde estas funciones son distintas es = {x :
(x) < (x)}; este conjunto es la unin numerable de los conjuntos
1
< (x) (x)} con > 0, Q
Fijando Q, se denen, para cada n N, los conjuntos
= {x :
1
< n (x) n (x)}, entonces A,n
A,n = {x :
Entonces, vale que
A,n (n n ) A,n y por tanto,
como
A,n 1,
A,n (n n ) A,n
Z
1
1
m(A,n ) (n n ) <
de donde m(A,n ) < n

. Como A,n para todo n N, se concluye que
m( ) = 0 para cada Q, por lo que tambin m() = 0 y en consecuencia,
= c.t.p. , como se quera demostrar.

R
Definicin 23 ( f para f acotada). Sea E un cojunto medible de medida finita
y sea f una funcin medible y acotada sobre E. La integral de Lebesgue de f
sobre E se define como el nmero:
Z
Z
Z
f = f(x)dx := nf
E
simple
Rb
R
Si E = [a, b], se denota a f en lugar de [a,b] f. Si f se anula fuera de un
R
R
R
conjunto de medida finita E se puede escribir f = RR f para
R la integral E f. En
general, si A es un subconjunto medible de Dom(f), A f = f A .
48
La siguiente proposicin muestra a la integral de Lebesgue como una generalizacin de la integral de Riemann y justica el clculo de algunas integrales
de Lebesgue mediante conocidas tcnicas de integracin.
Proposicin 4.7. Sea f : [a, b] R acotada. Si f es Riemann integrable,
entonces f es medible y
Zb
Zb
f
R f=
a
Prueba:
Partiendo de la proposicin 4.2 se tiene que

Zb
Zb
Zb !
Zb !
R f = sup
R =R f
R nf
a
escalonada
escalonada
Adems, toda funcin escalonada es una funcin simple; por lo que est denida la integral de Lebesgue de una funcin escalonada y se verica que
si : [a, b] R es una funcin escalonada denida mediante la particin
P = {t0 = a, t1 , . . . , tr = b} por /(ti1 , ti P
) = di , (a) = c0 y P
(ti ) = ci para
r
r
i = 1, . . . , r, entonces se puede escribir = i=1 di (ti1 ,ti ) + i=0 ci {ti } y
de esta forma,
Zb
Zb
r
r
X
X
di m((ti1 , ti )) =
di ti =
R =
a
i=1
i=1
En consecuencia, vale la siguiente desigualdad:

Zb !
Zb !
Zb !

nf
R g sup
sup
gf
g escalonada
simple
simple
nf
fh
h escalonada
Zb !
R h
a
Rb
Rb
de aqu, si f es Riemann integrable, R a f = R a f, lo que hace que todas las
desigualdades de arriba se conviertan en igualdades y en consecuencia, f es
Rb
Rb
medible y R a f = a f.
49
Proposicin 4.8. Sea E un conjunto medible de medida finita y sean f, g

funciones medibles y acotadas definidas sobre E. Entonces:
R
R
R
= a E f + b E g;
() para todo a, b R, E (afR+ bg) R
() si f = g c.t.p. , entonces RE f = RE g;
() si f
g c.t.p. , entonces E f E g;
R R
() E f E |f|;
R
() si c f C sobre E, entonces c m(E) E f C m(E);
() Si A, B son conjuntos medibles, disjuntos y de medida finita, entonces
R
R
R
f = A f + B f;
AB
Prueba:
() Primero se mostrar la homogeneidad y luego la aditividad.
Si a > 0, entonces, { : af , simple} = {a : f , simple}; por lo
tanto,
Z
Z
Z
Z
Z
Z
af = nf
=a f
= nf
a = nf a = a nf
af
simple E
simple
simple
simple
Si a < 0, entonces, { : af , simple} = {a : f, simple}; luego,

Z
Z
Z
Z
Z
Z
af = nf
a = nf a = a sup
= nf
=a f
af
simple E
simple
simple
simple
Esto prueba la homogeneidad (el caso a = 0 es claro). Veamos ahora la

aditividad.
La siguiente inclusin es clara:
{1 + 2 : f 1 , g 2 , con 1 , 2 simples} { : f + g con , simple}

entonces,
Z
(f + g) =
E
nf
f+g
simple
nf
f1
g2
1 ,2 simples
nf
f1
1 simple
f+g
simple
1 +
sup
f1
1 simple
2 =
E
f+
E
g
E
(1 + 2 )
E
1 +
E
nf
g2
2 simple
f1
g2
1 ,2 simples
(1 + 2 )
E
similarmente, por la misma inclusin,

Z
Z
(f + g) = sup
sup
E
sup
g2
2 simple
2 =
E
f+
E
g
E
de las desigualdades anteriores resulta:

Z
Z
Z
(f + g) = f + g
E
E
E
R
() Sean f = g c.t.p. probemos que E (f g) = 0.
SeaR una funcin simple tal que f g, entonces 0 c.t.p. , por
tanto, E 0 y as
Z
(f g) 0
E
50
Del mismo modo si f g es una funcin simple, 0 c.t.p. , por lo que

Z
(f g) 0
E
() Como f g, { : g , con simple} { : f , con simple}, luego

Z
Z
Z
Z
= g
nf
f = nf
g
f
simple E
, simple
() Basta observar que |f| f |f| y aplicar (),() y propiedades de valor

absoluto.
() Siendo c f C sobre E, y aplicando () se tiene que
Z
Z
Z
c E f C E
E
y as,
c m(E)
f C m(E)
E
() Como A, B son disjuntos, f AB = f A + f B , luego

Z
Z
Z
f=
f+ f
AB

A continuacin, uno de los primeros teoremas de convergencia para una
sucesin de funciones acotadas.
Proposicin 4.9 (T ). Sea {fn } una sucesin de funciones medibles, definidas sobre un conjunto medible E de medida
finita. Supongamos que existe M > 0 tal que para todo n N y todo x E,
|fn (x)| < M. Si fn f puntualmente sobre E, entonces
Z
Z
lm fn = f
n
Prueba:
El caso m(E) = 0 es trivial.
Si m(E) 6= 0, para > 0 dado sea = /4M. Por la proposicin ??, existen
A E y N N tales que m(A) < 4M

y si n N, entonces, para todo x E \ A,
|fn (x) f(x)| <
2m(E)
En consecuencia, si n N,
Z
Z
Z Z
Z

fn f = (f fn ) |fn f| =

E
<
+
2m(E)
2M =
|fn f| +
E\A
|fn f| <
A
m(E) + 2Mm(A) <

2m(E)
51
2.3. L L .
Definicin 24. Sea f una funcin medible no negativa, definida sobre un
conjunto medible E, la integral de Lebesgue de f se defin por:
Z
Z
f := sup h
hf E
donde h es una funcin medible, acotada sobre E, con m(Vh ) < , siendo
Vh = {x R : h(x) 6= 0}.
Observe que en estaRdenicin no se exige que E sea de medida nita ni que f

sea acotada, por lo que E f puede ser un nmero real extendido. A continuacin,
las propiedades bsicas de la integral:
Proposicin 4.10. Sean f, g funciones medibles no negativas. Entonces,
R
R
f;
(cf)
=
c
() para
todo
real
c
>
0,
E
E
R
R
R
() E (f + g) = E f + E g; R
R
() si f g c.t.p. , entonces E f E g;
Prueba:
^ cf, entonces 1 h
^
() Para c > 0, si h
c f, es decir,
^:h
^ cf} {h : h f};
{1h
c
por tanto,
Z
Z
Z
1
1^
^
h sup h = f
sup
h = sup
c hcf
^
^
hf E
E
E
E c
hcf
R
R
de aqu que E cf c E f(1).
Por otra parte, si h f, entonces ch cf, de modo que
^:h
^ cf};
{ch : h f} {h
Z
por consiguiente,
Z
Z
Z
Z
Z
^
c f = c sup h = sup ch sup
h = cf
hf E
^
E
hcf
hf E
(2)
de (1) y (2) se tiene ().

()
Ya que h f k g h + k f + g, donde h y k son como en la denicin
de la integral, se tiene que:
Z
Z
Z
Z
Z
^
h + k = (h + k) sup
h = (f + g)
E
^
E
hf+g
luego, considerando el supremo sobre h y g, se tiene

Z
Z
Z
f + g (f + g)
E
(3)
^:h
^ f + g} se denen
Por otra parte, para cada l {h
h(x) = mn{f(x), l(x)},
k(x) = l(x) h(x)
entonces, l = h + k, h f y k g (verifquelo!); por tanto,

Z
Z
Z
Z
Z
Z
Z
l = (h + k) = h + k sup h1 + sup
k1 = f + g
E
h1 f
k1 g E
52
se sigue entonces que
(f + g) = sup
lf+g E
de (3) y (4) se verica ().

() Ejercicio.
f+
E
(4)
g
E
Proposicin 4.11 (L F1 ). Si {fn } es una sucesin de funciones medibles, no negativas tales que fn f c.t.p. sobre un conjunto medible E, entonces
se cumple que
Z
Z
f lim
fn
Prueba:
Ya que cada integral sobre un conjunto de medida cero es nula,
las integrales sobre el conjunto en el cual se tiene la convergencia puntual son
iguales a la integral sobre todo E; entonces, sin perder generalidad se puede
suponer que fn f en todo E.
Sea h una funcin medible, acotada en E y con m(Vh ) < tal que h f.
Para cada n N se dene hn (x) = mn{h(x), f(x)}.
Como h es acotada, existe M > 0 tal que |h(x)| < M; por otra parte, en
los puntos donde h(x) < 0, ya que fn (x) es no negativa, hn (x) = h(x), por
tanto, |hn (x)| = |h(x)| < M. Mientras que en los puntos donde h(x) 0, por la
denicin de hn , resulta 0 hn h, por tanto se tiene que |hn | |h| < M. As
{hn } es (uniformemente) acotada.
La funcin h se anula fuera de Vh , y siendo fn no negativa, hn se anula
fuera de Vh , por tanto, Vhn Vh lo que implica que m(Vhn ) m(Vh ) < .
Ya que hn (x) = h(x) o hn (x) = fn (x), se tiene que |hn (x) h(x)| es cero
en el primer caso, o |fn (x) h(x)| cuando hn (x) = fn (x) h(x) f(x). De esta
forma, la distancia de fn (x) a h(x) es menor o igual que la distancia de fn (x) a
f(x), as
0 |hn (x) h(x)| |fn (x) h(x)| |fn (x) f(x)| 0
(n +)
Por tanto, hn h sobre E. La sucesin {hn } satisface las condiciones del

teorema de la convergencia acotada (teorema 4.9); en consecuencia
Z
Z
Z
h = lm hn = lim hn
E
1 Pierre Joseph Louis Fatou (1878-1929) fue un matemtico y astrnomo francs que trabaj en
el campo de la dinmica compleja.
53
Problemario No 4
1
Sea una funcin a valores reales, acotada en [a, b]. Demuestre que
Zb
Zb
R f = sup R ;
a
(f)
Zb
Zb
y que R f = nf R ;
a
(f)
donde (f) = { : f, escalonada} y (f) = { : f , escalonada}.
Q y estudie su Riemann-integrabilidad en un inter-
Considere la funcin
valo [a, b].
Sea {fn } una sucesin creciente de funciones no negativas y Riemann integrables, tales que fn f en un intervalo [a, b]:
(a) Se puede asegurar que f es Riemann integrable en [a, b]?
(b) Qu se puede decir acerca del intercambio del smbolo de integracin
con el smbolo de lmite?
(a) Sea f una funcin acotada en [a, b] y sea h la envolvente superior de f

Rb
Rb
(ver problema 14 , del captulo 1) . Demuestre que a h = R a f.
[Sugerencia: si f es una funcin escalonada, entonces h excepto en un nmero nito de

Rb
Rb
f. Existe una sucesin decreciente de funciones escalonadas {n } que
h R a
a
Rb
Rb
Rb
f.]
convergen a h, use proposcisin 4.9 para tener a
h = lm a
n R a
Rb
Enuncie y demuestre la versin relativa a R a f y la envolvente inferior
puntos, as que
(b)
de f.
(c) Utilice la parte (a) para demostrar el T L:
una funcin acotada en [a, b], es Riemann integrable en [a, b] si y slo si,
el conjunto de discontinuidades de f en [a, b] tiene medida cero.
5
Sea
R f una funcin medible no negativa denida en E.
f = 0, entonces f = 0 c.t.p.
E
Demuestre que si
Sea f una funcin medible no negativa. Demuestre que:

(a) f es el lmite (puntual) de una sucesin creciente de funciones simples
no negativas, cada una de las cuales es nula fuera de un conjunto de
medida
nita.
R
R
(b)
f = sup{ : f, simple}
Rx
(c) Si f es integrable (sobre R), entonces la funcin F(x) = f es continua.
Se tiene una sucesin {fn } de funciones medibles no negativas. La sucesin
converge puntualmente hacia f, con fn f para todo n. Demuestre que
R
R
fn f.
(a) La desigualdad en el lema de Fatou puede ser estricta. [sug.: fn = [n,n+1) ]

(b) El teorema de la convergencia montona puede no ser vlido si la
sucesin es decreciente.[sug.:fn = [n,+) ]
54
10
11
Demuestre la siguiente generalizacin del lema de Fatou: si {fn } es una

sucesin de funciones medibles no negativas, entonces
R
R
(lim fn ) lim fn
Sea {fn } una sucesin de funciones medibles

R
Rno negativas, denidas en R,
tales que fn f c.t.p.
y
suponga
que
f
f < +. Entonces, para cada

n
R
R
conjunto medible E: E fn E f.
Demuestre que si f es integrable

R R sobre un conjunto medible E, entonces |f|
es integrable sobre E, E f E |f|. La integrabilidad de |f| implica la de
f?
12
Dada una funcin f puede ocurrir que la integral impropia de Riemann de f

exista sin que f se Lebesgue integrable; por ejemplo: f(x) = senx(x) en [0, +).
Demuestre que si f es Lebesgue integrable y existe la integral impropia de
Riemann de f entonces ambas coinciden.
13
Sea g una funcin integrable sobre un conjunto medible E, y sea {fn } una
sucesin de funciones medibles tal que |fn (x)| g(x) c.t.p. sobre E para
todo n. Demuestre que:
Z
Z
Z
Z
(lim fn ) lim fn lim fn (lim fn )
E
14
15
16
Sea {fn } una sucesin de funciones integrables (sobre R) que converge c.t.p.
a una funcin f integrable. Demuestre que
Z
Z
Z
|fn f| 0 si y slo si |fn | |f|
Dada una funcin f que es integrable sobre E (medible) y dado > 0,
demuestre que:
R
(a) existe una funcin simple tal que E |fR | < ;
(b) existe una funcin escalonada tal que E |f | < ;
(c) existe una
R funcin continua g, que se anula fuera de un intervalo nito,
tal que E |f g| < .
Demuestre el T R-L:
R+
si f es integrable sobre (, +), entonces f(x) cos(nx)dx 0
[sug.: comenzar con f escalonada, utilizar
17
15 ]
(a) Demuestre que si f es integrable

sobre
(, +), entonces
R
R
f(x)dx = f(x + t)dx.
(b) Dadas g acotada y medible, y f integrable sobre (, +), demuestre
que:
Z +
|g(x)[f(x) f(x + t)]| dx = 0
lm
t0
55
[Sug.: Si f fuera continua y se anula fuera de un intervalo acotado, el resultado se sigue de la

continudad uniforme. Utilice
18
15 ]
Demuestre el siguiente teorema:

Si f : (a, +) R es Lebesgue integrable en [a, b] para todo b a y
Rb
existe K > 0 tal que a |f| K para todo b a, entonces f es Lebesgue
Rb
R+
integrable en [a, +), existe el lmite: lmb+ a f y es igual a a f.
Captulo 5
Diferenciacin e integracin
En este captulo se estudiar la relacin entre la integral de Lebesgue y la
diferenciacin. Se plantea la interrogante respecto a que si son operaciones inversas, es decir bajo qu condiciones vale una versin del teorema fundamental del
clculo, para la integral de Riemann?. O bien, cundo se verican las siguientes
ecuaciones:
Z
f (x)dx = f(b) f(a)?

Z
dxd f (t)dt = f(x)?
b
1. Diferenciacin de funciones montonas.

Definicin 25 (cubrimiento de Vitali1 ). Sean I una coleccin y E un conjunto. Diremos que I es un cubrimiento de Vitali si para todo > 0 y todo
x E, existe I I tal que x I y (I) < .
Lema 5.1 (lema de cubrimiento de Vitali). Sea E un conjunto con m (E) <
y sea I un cubrimiento de Vitali para E. Entonces, dado > 0 existen I1 , . . . , IN
I , disjuntos dos a dos, tales que m (E \ N
i=1 Ii ) < .
Prueba:
Se considerar el caso en que cada intervalo I I es un intervalo cerrado. Para el caso general se toma la clausura de I, I, para cada I I ; al
obtener I1 , . . . , IN que verican m (E \ N
1 Ii ) < , como los extremos constituyen
un conjunto de medida cero, se concluye que m (E \ N
1 Ii ) < .
Como m (E) < , existe un conjunto abierto A que contiene a E y m (A) <
. Sin prdida de generalidad, se asume que para cada I I , se tiene que
I A (p. ej. se considera la coleccin {I A} y de ser necesario, se aumenta la
longitud de los intervalos componentes de A).
Primero se selecciona un I1 I arbitrario. Una vez ya seleccionados I1 , . . . , In
disjuntos dos a dos, si E I1 In se detiene el proceso inductivo; en caso
contrario, existe x E a distancia positiva del cerrado n
i=1 Ii y en consecuencia, por las caractersticas del cubrimiento de Vitali, existen intervalos en I
disjuntos de I1 , . . . , In .
Para seleccionar el intervalo In+1 , se considera la subcoleccin no vaca
mathcalSn = {J I : J Ii = , i = 1, . . . , n} y se hace kn = sup{ (J) :
J mathcalSn }; kn < ya que (J) m (A) < . Ahora se escoge In+1
mathcalSn tal que k2n < (In+1 ) kn .
1 Giuseppe Vitali (1875-1932), fue un matemtico italiano que trabaj en varias ramas del anlisis
matemtico. Adems de su teorema de cubrimiento, construy el ejemplo del conjunto no medible
desarrollado en el captulo 2.
57
58
5. DIFERENCIACIN E INTEGRACIN
Si el proceso no se detiene en un n, se obtiene una sucesin disjunta {In } en

I que satisface:
kn
In A,
< (In+1 ) kn para todo n
2
y
X
(In ) m (A) <
n=1
la ltima desigualdad implica que la serie es convergente y as, lmn

0; adems dado > 0, existe N N tal que
!
[
X
In =
(In ) < 5
N+1
(In ) =
N+1
Sea R = E \
se probar que m (R) < .
Para x R, como N
i=1 Ii es cerrado y no contiene a x, por ser I un cubrimiento de Vitali, existe I I tal que x I e I (N
1 Ii ) = (se toma I con
longitud menor que la distancia de x a Ii ).
El intervalo I se seleccion tal que I mathcalSN ; si I IN+1 = , entonces
I mathcalSN+1 . Entonces para algn n N + 1 ha de ocurrir que I In 6=
ya que, en caso contrario, I mathcalSn para todo n N + 1, pero entonces
0 < (I) kn < 2 (In+1 ) 0 lo cual es una contradiccin. Entonces para
dicho n que existe, se tiene que (I) kn < 2 (In+1 ).
Sea pn+1 el punto medio de In+1 , entonces para el x en R seleccionado, se
tiene:
1
5
|x pn+1 | (I) + (In+1 ) < (In+1 )
2
2
Sea ahora Jn+1 = [pn+1 52 (In+1 ), pn+1 + 52 (In+1 )]. Observe que (Jn+1 ) =
5 (In+1 ).
Entonces, R
N+1 Jn ; luego,
N
i=1 Ii ;
m (R)
N+1
(Jn )
N+1
5 (In ) < 5
=
5
59
Problemario No 5
1
Sea f la funcin denida por f(0) = 0 y f(x) = x sen( x1 ) si x 6= 0. Encuentre

las cuatro derivadas de f en 0.
Sea f una funcin que toma valor mximo en x0 . Demuestre que
D+ f(x0 ) D+ f(x0 ) 0 D f(x0 ) D f(x0 )

Qu ocurre si f tiene un mnimo en x0 ?
3
Se tiene una funcin f que es continua en [a, b] y con una de sus dervivadas (por ejemplo D+ ) no negativa en todo (a, b), demuestre que f es no
decreciente en [a, b] (es decir, x y f(x) f(y)) [Sugerencia: demostrarlo primero
para g tal que D+ g > 0 y aplicarlo a g = f + .]
D un ejemplo de una funcin montona en [0, 1] pero discontinua en cada

racional.
c
b
Si f est denida en [a, b] y a c b, demuestre que V(f)b
a = V(f)a + V(f)c
b
c
y V(f)a V(f)a (f). Si tambin se tiene g denida en [a, b] y R, entonces
b
b
b
b
V(f)b
a (f + g) V(f)a + V(g)a y V(f)a = || V(f)a .
Sean fn , f funciones tales que fn f puntualmente sobre [a, b], demuestre

b
que V(f)b
a lim V(fn )a . Se mantiene la conclusin si la convergencia es
c.t.p. ?
Determine si las siguientes funciones denidas en [1, 1] son de variacin

acotada:
(a) f(0) = 0, f(x) = x2 sen( x12 ) si x 6= 0.
(b) g(0) = 0, g(x) = x2 sen( x1 ) si x 6= 0.
Se tiene una funcin f que es absolutamente continua en [, 1] para cada

> 0.
(a) Si f es continua en 0, se puede asegurar que f es absolutamente continua en [0, 1]?
(b) Se puede llegar a esa conclusin si, adems, f es de variacin acotada
en [0, 1]?
Si f es absolutamente continua en [a, b], demuestre que la variacin total de

Rb
Rb
f en [a, b] es a |f | y que la variacin positiva de f en [a, b] es a (f )+ .
10
11
La funcin de Cantor-Lebesgue (ver problema 8 del captulo 1) es no decreciente (ms precisamente, es constante en cada intervalo extrado y es
estrictamente creciente en C ), es continua pero no es absolutamente continua. Calcule la derivada de esta funcin.
(a) Pruebe que toda funcin lipschitzciana es absolutamente continua.
60
5. DIFERENCIACIN E INTEGRACIN
(b) Pruebe que una funcin absolutamente continua f es lipchitzciana si y

slo si |f | es acotada.
(c) Pruebe que f satisface una condicin de Lipschitz si una de sus derivadas (por ejemplo D+ ) es acotada.
12
C . Sea g una funcin creciente y absolutamente continua

en [a, b], tal que g(a) = c, g(b) = d:
(a) Demuestre que para todo conjunto abierto mathcalO [c, d] se cumple:
Z
g (x)dx.
m(mathcalO) =
g1 (mathcalO)
(b) Si H = {x : g (x) 6= 0} y E [c, d] con m(E) = 0, demuestre que

g1 (E) H tiene medida cero.
(c) Si E [c, d] es medible, demuestre que F = g1 (E) H es medible y que
Rb
R
m(E) = F g = a (E g)(x) g (x)dx.
(d) Si f : [c, d] R es medible y no negativa, entonces (f g) g es medible
sobre [a, b] y
Zb
Zd
f(t)dt = (f g)(x) g (x)dx.
13
Sea g una funcin montona y absolutamente continua en [0, 1] y sea E un

conjunto de medida cero. Demuestre que m(g(E)) = 0.
14
(a) Construya una funcin estrictamente montona y absolutamente continua en [0, 1], tal que g = 0 sobre un conjunto de medida positiva.
[Sugerencia: sea G = [0, 1] \ Cc/3 con c > 0 (ver problema 10 del captulo 2) y sea g la integral
indenida de
G ].
(b) Demuestre que existe un conjunto E de medida cero tal que g1 (E) no
es medible. Compare con el problema 9 del captulo 3.
ndice alfabtico
inferior
de una funcin, 11
de una sucesin, 10
superior
de una funcin, 11
de una sucesin, 10
Lebesgue
teorema de , 53
lema
de Fatou, 52
longitud
de un intervalo, 21
lgebra de conjuntos, 5
adicin mdulo 1, 34
aditividad numerable, 22
B , -lgebra de Borel, 7
conjunto
F , 7
G , 7
boreliano, 7
de Cantor, 19
medible, 25
no medible, 34
potencia, 6
convergencia
puntual de fn , 14
uniforme de fn , 14
cubrimiento
de Vitali, 57
m(), la medida de Lebesgue, 29

, medibles de R, 26
m (), medida exterior, 22
medible
conjunto , 25
funcin , 39
medida
de Lebesgue, 29
exterior, 22
numerablemente aditiva, 22
FA , 22
funcin
caracterstica, 40
de Cantor-Lebesgue, 19
envolvente inferior, 20, 53
envolvente superior, 20, 53
escalonada, 14
medible, 39
Riemann-integrable, 43
simple, 44
representacin cannica, 44
punto
de acumulacin, 9
reales
extendidos, 7
Riemann
-integrable, 43
integral de , 43
integral inferior de , 43
integral superior de , 43
suma inferior de , 43
suma superior de , 43
nmo, 8
integral
de Lebesgue
de una funcin acotada, 47
de una funcin no negativa, 51
de una funcin simple, 44
de Riemann, 43
inferior , 43
superior , 43
semicontinuidad
inferior, 12, 13
superior, 12, 13
-lgebra, 6
B de Borel, 7
subaditividad numerable, 23
sucesin, 8
suma inferior de Riemann, 43
lmite
de una sucesin, 8
61
62
suma superior de Riemann, 43

sumatoria generalizada, 18
supremo, 8
teorema
de la convergencia acotada, 50
lema de Fatou, 52
Vitali
cubrimiento de , 57
ndice alfabtico

Analisis Real

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Analisis Real

Hochgeladen von

Copyright:

Verfügbare Formate

A R

Introduccin a la teora de la medida e

Jess Rodrguez Caruc +

Captulo 2. Medida de Lebesgue

Captulo 3. Funciones medibles

Captulo 4. La integral de Lebesgue

Captulo 5. Diferenciacin e integracin

lgebras de conjuntos y Funciones continuas

Ejemplo 1.1. Dado un conjunto X, A1 = P(X) (conjunto potencia de X) y

Proposicin 1.2. Sea C cualquier coleccin de subconjuntos de X. Entonces

1. LGEBRAS DE CONJUNTOS Y FUNCIONES CONTINUAS

Como Bi Ai para todo i = 1, 2, , es claro que

Recprocamente, si x i=1 Ai , x pertenece a algn Ai , sea r el menor ndice

tal que x Ar , entonces x 6 (r

(2) Para cualquier sucesin {Ai }

Para esta seccin tomaremos X = R con la topologa determinada por la

3. SUCESIONES DE NMEROS REALES: LMITE SUPERIOR Y LMITE INFERIOR.

Definicin 3 (Borelianos1 ). Llamaremos conjuntos borelianos a todos los

as mismo, los conjuntos numerables son F .

3. Sucesiones de nmeros reales:

1. LGEBRAS DE CONJUNTOS Y FUNCIONES CONTINUAS

As mismo, se extienden las operaciones suma y producto, deniendo para

Extendiendo la propiedad absorvente de 0:

Finalmente tenemos las operaciones entre + y :

Definicin 5 (Supremo e nmo

mnima cota superior de S

en R). Sea S un subconjunto de R (no

mxima cota superior de S

Podemos decir entonces que para un subconjunto S de R, sup S es el menor

3. SUCESIONES DE NMEROS REALES: LMITE SUPERIOR Y LMITE INFERIOR.

Definicin 6 (Lmites innitos). Sea {xn } una sucesin en R, se definen los

1. LGEBRAS DE CONJUNTOS Y FUNCIONES CONTINUAS

p R es punto de acumulacin de {xn } si dado > 0, xn B(p; ) para

Lmite inferior de {xn } por

Dada la sucesin {xn } de nmeros reales, para cada n N se denen los

De acuerdo a el concepto de nmo y supremo en lo reales extendidos se

y como N se concluye que N < xn . Es decir, < xn para

para todo > 0

como es arbitrario, nf n n (D).

lim f(x) = lm sup f(x) := nf

ii) Lmite inferior de f en p como:

lim f(x) = lm inf f(x) := sup

Para los lmites laterales se define,

lim f(x) = lm sup f(x) := nf

1. LGEBRAS DE CONJUNTOS Y FUNCIONES CONTINUAS

iv) Lmite superior por la derecha:

lim f(x) = lm sup f(x) := nf

v) Lmite inferior por la izquierda:

lim f(x) = lm inf

vi) Lmite inferior por la derecha:

lim f(x) = lm inf

Este tipo de lmite genera tambin una forma de continuidad de la funcin

< f(p) lim f(x)

(b) f es semicontinua superiormente en p si

A continuacin, se muestran algunos resultados relativos a los conceptos de

{f(x) : x Jn+1 } {f(x) : x Jn }

Sn+1 = sup{f(x) : x Jn+1 }

por lo que la sucesin {Sn } es decreciente.

= N < ; de tal manera

Ahora bien, como Sn = sup{f(x) : x Jn }, Sn ya no es cota superior

> 0, > 0 tal que |x p| < f(p) < f(x)

(b) f es semicontinua superiormente en p si, y slo si,

> 0, > 0 tal que |x p| < f(x) < f(p) +

(a) (Slo si) Supongamos que f es semicontinua inferiormente en p. Hagamos