Teoría de La Medida e Integración - Carlos Martinez Yañez

Teora de la Medida e Integracin
Carlos Martnez Yez

Marzo 2011
ndice general
1. Elementos Previos
1.1. Elementos y Subconjuntos . . . .
1.2. Uniones Disjuntas . . . . . . . .
1.3. Cardinalidad . . . . . . . . . . .
1.4. Espacios Mtricos y Topolgicos
1.5. Convergencia y Completitud . . .
1.6. Espacios Normados . . . . . . . .
1.7. Continuidad . . . . . . . . . . . .
1.8. Compacidad . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
7
8
8
10
12
13
14
15
2. Clases de Conjuntos
2.1. Algebras . . . . . . . . . . . . . .
2.2. Sigma-Algebras . . . . . . . . . .
2.3. Algebras y -lgebras generadas
2.4. Colecciones Montonas . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
21
21
21
22
23
3. Medida
3.1. Funciones de Conjuntos . . . . . . . . . . .
3.2. Medidas . . . . . . . . . . . . . . . . . . . .
3.3. Medidas Exteriores . . . . . . . . . . . . . .
3.4. Construccin de Medidas Exteriores . . . .
3.5. Medidas Inducidas por Medidas Exteriores .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
27
27
27
30
31
32
4. Extensin de Medidas
4.1. El Teorema de Carathodory . . . . . . .
4.2. Completacin de Medidas . . . . . . . . .
4.3. La Medida de Lebesgue . . . . . . . . . .
4.4. Un conjunto que no es Lebesgue Medible .
4.5. La Medida de Lebesgue-Stieltjes . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
39
39
40
41
42
42
.
.
.
.
.
.
.
45
45
47
48
50
52
54
54
.
.
.
.
.
5. Integracin
5.1. Funciones medibles . . . . . . . . . . . . . . . . . . . .
5.2. Funciones Simples . . . . . . . . . . . . . . . . . . . .
5.3. Integracin de Funciones Positivas . . . . . . . . . . .
5.4. El Teorema de la Convergencia Montona de Lebesgue
5.5. El Lema de Fatou . . . . . . . . . . . . . . . . . . . .
5.6. El Teorema de la Convergencia Dominada de Lebesgue
5.7. Comparacin con la integral de Riemann . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
NDICE GENERAL
6. Los
6.1.
6.2.
6.3.
6.4.
Espacios Lp
Funciones Convexas . . . . . . . . . . . .
La Desigualdad de Jensen . . . . . . . . .
Las Desigualdades de Hlder y Minkowki
Los Espacios Lp . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
59
59
59
60
61
. . . . . . . .
. . . . . . . .
. . . . . . . .
. . . . . . . .
de Lebesgue
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
69
69
70
71
72
74
8. Integracin en Espacios Producto

8.1. Medidas Producto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.2. El Teorema de Fubini . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.3. El caso Real . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
77
77
79
81
9. El Teorema Fundamental del Clculo

9.1. Funciones de Variacin Acotada . . . .
9.2. Diferenciabilidad . . . . . . . . . . . .
9.3. Continuidad Absoluta . . . . . . . . .
9.4. El Teorema Fundamental . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
83
83
85
87
88
10.Respuestas
10.1. Captulo
10.2. Captulo
10.3. Captulo
10.4. Captulo
10.5. Captulo
10.6. Captulo
10.7. Captulo
10.8. Captulo
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
91
91
95
98
100
101
106
110
111
7. Medidas Signadas
7.1. La Descomposicin de Hahn . . .
7.2. La Descomposicin de Jordan . .
7.3. Continuidad Absoluta . . . . . .
7.4. El Teorema de Radon-Nikodym .
7.5. El Teorema de la Descomposicin
1,
2,
3,
4,
5,
6,
7,
8,
pgina
pgina
pgina
pgina
pgina
pgina
pgina
pgina
16
24
35
43
55
65
76
82
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
NDICE GENERAL
Prefacio
El objetivo de estos apuntes es, por un lado entregar al estudiante que se
enfrenta por primera vez con la teora de la medida y la integracin un texto enteramente
escrito en espaol y por otro lado ofrecer a este estudiante un real apoyo a travs de
una gran cantidad de problemas propuestos en cada captulo y con indicaciones de su
resolucin al nal del texto. Desde mi modesto punto de vista, estos dos objetivos son
totalmente vlidos: actualmente existe en circulacin una gran cantidad de textos, de
muy buen nivel en el tema, pero escritos en otros idiomas. No hago juicios sobre si se
debe conocer otros idiomas, pero en todo caso, espero contribur al desarrollo matemtico
de aquellos estudiantes que no los dominan. Por otro lado, es un hecho indiscutible que
la mayora de estos buenos textos viene con una gran variedad de problemas propuestos,
pero desgraciadamente, en su gran mayora sin indicaciones de como enfrentarlos. Es claro
que es discutible el valor formativo que las indicaciones de como resolver un problema
pueda ejercer sobre un estudiante de matemtica, especialmente si este estudiante tiene
como proyecto de vida la investigacin, sin embargo no es menos cierto que el no poder
resolver un problema propuesto puede llevar al desaliento y a la frustracin y nalmente la
poca habilidad adquirida en la solucin de problemas rinda pocos benecios en trminos
de la capacidad del futuro investigador para usar las herramientas matemticas de las
que dispone. Es un hecho bien conocido que el resolver problemas, incluso aquellos con
indicaciones, profundizan la comprensin de teoremas y valorizan la real potencia de los
variados mtodos y enfoques para analizar metodolgicamente un problema.
Para ser consecuente con lo anterior, slo me resta esperar que los problemas
sean trabajados a conciencia, dedicndoles un tiempo prudente y haciendo un genuino
esfuerzo personal para su resolucin y slo en caso necesario, recurrir a las indicaciones al
nal del texto. En cualquier caso desde ya agradezco toda crtica, tanto al texto como a
las soluciones propuestas a los problemas planteados.
Por ltimo me gustara agradecer el apoyo recibido por parte de las autoridades del Instituto de Matemtica de la UCV para realizar la tercera edicin de este
trabajo.
Dr. Carlos Martnez Yez

Valparaso, marzo de 2011.
NDICE GENERAL
Captulo 1
ELEMENTOS PREVIOS
En este captulo presentaremos aquellos resultados bsicos que necesitaremos para
desarrollar la teora de la medida y la integracin. La mayora de los resultados los presentaremos sin demostraciones por cuanto ellas pueden encontrarse, con gran detalle y
explicaciones en la literatura clsica.
1.1.
Elementos y Subconjuntos
Sea un conjunto no vaco arbitrario, denotaremos por P( ) la familia de todos

los subconjuntos de . Por ejemplo, si = f1; 2; 3g, entonces
P( )= f ; f1g ; f2g ; f3g ; f1; 2g ; f1; 3g ; f2; 3g ; f1; 2; 3gg :
En estos apuntes supondremos siempre que 6= .
Una coleccin o familia C de subconjuntos de P( ) es simplemente un subconjunto
de P( ). Por ejemplo si = f1; 2; 3g, entonces C = f ; f1g ; f3g ; f1; 3g ; f2; 3gg es una tal
coleccin. Para simplicar notacin y lenguaje en algunas ocasiones diremos, por ejemplo,
la coleccin ; f1g ; f3g ; f1; 3g ; f2; 3g para referirnos a la coleccin C. Debemos prestar
especial atencin a la naturaleza de los objetos involucrados cuando se trabaja con familias
de conjuntos. Ejemplos tpicos de expresiones errneas son las siguientes:
Incorrecto: f1g es un subconjunto de C. Correcto:f1g es un elemento de C.
Incorrecto: 1 2 C. Expresiones correctas: 1 2 ; f1g 2 C; f1g
Incorrecto:
2 . Expresiones correctas:
C;
; ff1gg
C:
2 C.
Otro ejemplo tpico de expresin incorrecta es armar que si C = f g entonces C

es vaco. En realidad esta familia no es vaca puesto que contiene un elemento: el elemento
.
A menos que se diga lo contrario, cada vez que tengamos una familia C, se supondr que esta familia es no vaca
y est formada por subconjuntos de . Esto es
6=
T
C P( ). Denotaremos por C a la interseccin de todos los conjuntos pertenecientes a
C, esto es:
\
\
C=
F
S
F 2C
Anlogamente usaremos la notacin C para denotar la unin de todos los conjuntos

pertenecientes a C.
1
Usaremos la notacin (An )n=1 (o simplemente (An )) para representar una suce1
sin de conjuntos (secuencia ordenada por los nmeros naturales) y la notacin fAn gn=1
(o simplemente fAn g) para representar el recorrido de la sucesin.
Elementos Previos
8
1
Denicin 1 Se dice que la sucesin (An )n=1 es montona creciente si para todo n 1
1
S
se tiene An An+1 . Esta situacin la denotaremos por An " A en donde A =
An .
n=1
Anlogamente diremos que la sucesin (An )n=1 es montona decreciente si para

todo n 1 se tiene An
An+1 y denotaremos esta situacin por el smbolo An # A en
1
T
donde A =
An .
n=1
Diremos que la sucesin (An )n=1 es montona si es montona creciente o montona decreciente.
1
Denicin 2 Sea (An )n=1 una sucesin de subconjuntos de , entonces los conjuntos
l m sup An y l m inf An se denominan respectivamente lmite superior y lmite inferior de
n!1
n!1
la sucesin y estn denidos por las siguientes identidades:

l m sup An
n!1
l m inf An
n!1
1 [
1
\
n=1 i=n
1
1 \
[
Ai
Ai
n=1 i=n
Si l m sup An = l m inf An , diremos que la sucesin (An ) tiene lmite y escribiremos:

n!1
n!1
l m An = l m sup An = l m inf An :
n!1
n!1
n!1
Es fcil demostrar (ver Problema 3) que toda sucesin montona tiene lmite.
1.2.
Uniones Disjuntas
Suponga que fCi g es una coleccin arbitraria de subconjuntos de . Se dice que

la coleccin es disjunta si Ci T
\ Cj = para todo i 6= j. Note que esta condicin es ms
fuerte que simplemente pedir Ci = . Por ejemplo, la coleccin C1 = f1; 2g; C2 = f2; 3g;
C3 = f1; 3g tiene interseccin vaca, pero no es una coleccin disjunta de conjuntos.
Si A y B son dos conjuntos disjuntos, su unin, como siempre, se denota por
A [ B. Sin embargo esta notacin no indica, por si sola que los conjuntos son disjuntos.
Para poner de maniesto esta propiedad de los conjuntos A y B; se acostumbra emplear otras notaciones, como por ejemplo colocar un punto sobre el signo de unin: A [ B.
Nosotros no usaremos
P esta notacin, preferiremos la notacin A+B. Anlogamente usaremos la notacin: Ci para uniones de colecciones disjuntas. En estos casos hablaremos de
uniones de conjuntos disjuntos, de uniones disjuntas o simplemente de suma de conjuntos.
1.3.
Cardinalidad
Se dice que dos conjuntos A y B tienen la misma cardinalidad si existe una funcin
' : A ! B biyectiva. En este caso escribiremos que jAj = jBj. Es fcil ver que la relacin
de cardinalidad es una relacin de equivalencia en la categora de todos los conjuntos y
en consecuencia podemos denir el nmero cardinal o cardinalidad de A como la clase de
equivalencia de A.
Todo conjunto A que tenga la misma cardinalidad que In = f1; 2; : : : ; ng
N
para algn n 2 N se dir que tiene cardinalidad nita n o que es un conjunto nito con
n elementos, en caso contrario diremos que A es innito o que tiene cardinalidad innita.
Denotaremos por @0 la cardinalidad de N.
Cardinalidad
Diremos que A es numerable si tiene la misma cardinalidad que N.

Diremos que el conjunto A es contable si es nito o numerable.
Denicin 3 Sean A y B dos subconjuntos de . Escribiremos jAj
jBj si existe ' :
A ! B inyectiva. Por otro lado escribiremos que jAj < jBj si y slo si jAj jBj pero no
existe funcin ' : A ! B biyectiva.
Proposicin 4 Si A es un conjunto, entonces jAj < jP(A)j.
Demostracin. La aplicacin ' : A ! P(A) dada por '(a) = fag es una funcin
inyectiva. Supongamos ahora que existe una funcin biyectiva f : A ! P(A). Denamos
B = fa 2 A : a 2
= f (a)g. Como B 2 P(A) y f es epiyectiva, se deduce que debe existir
b 2 A tal que f (b) = B. Pero esta ltima observacin nos lleva a una contradiccin puesto
que ahora es fcil deducir que b 2 B y b 2
= B. Esto concluye la demostracin.
Ejemplo 5 Es posible demostrar que jP(N)j = jRj, por lo tanto de acuerdo a la proposicin anterior se tiene:
jNj = @0 < c = jRj :
La cardinalidad de R se conoce como la cardinalidad del continuum y se denota por c. La
Hiptesis del Continuum postula que no existe nmero cardinal tal que @0 < < c.
Se ha demostrado que esta hiptesis es independiente del Axioma de Eleccin y los otros
axiomas bsicos de la teora de conjuntos (ver Bibliografa, P.J. Cohen).
Proposicin 6 Si A es innito y F(A) es la familia de todos los subconjuntos nitos de
A, entonces jAj = jF(A)j.
Demostracin. Vea Corolario 8.13 de Thomas Hungerford.
Denicin 7 Sean
y
dos nmeros cardinales. La suma + se dene como el
nmero cardinal jA + Bj en donde A y B son dos conjuntos disjuntos tales que jAj = y
jBj = . El producto
se dene como el nmero cardinal jA Bj.
Teorema 8 Sean y
es innito. Entonces
dos nmeros cardinales tales que 1

y supongamos que
= ; en particular @0 = y si es nito, entonces @0 = @0 .
Demostracin. Ver Teorema 8.11 de Thomas Hungerford.

Corolario 9 Las cardinalidades de R; C y Rn para cualquier n 2 N son iguales.
Demostracin. Como jCj = jR
mente jRn j = cn = c = jRj.
Rj, se deduce que jCj = c2 = c = jRj. Anloga-
Corolario 10 La unin contable de conjuntos contables es contable.

Demostracin. Basta suponer que se tiene una unin disjunta de conjuntos
numerables.
1
P
Sea A =
An en donde An es numerable. Entonces jAn j = jfng Nj. Luego
n=1
jAj =
1
P
(fng
n=1
Esto termina la demostracin.
N) = jN
Nj = jNj :
Elementos Previos
10
1.4.
Espacios Mtricos y Topolgicos
Denicin 11 Sea X un conjunto no vaco. Una funcin d : X X ! R se dice que es

una mtrica (o una distancia) en X si cumple con las siguientes propiedades:
d(x; y) 0 y d(x; y) = 0 () x = y
d(x; y) = d(y; x)
d(x; y) d(x; z) + d(z; y)
Denida positiva.
Simetra.
Desigualdad triangular.
El par ordenado (X; d) se conoce como espacio mtrico. Cuando la mtrica d est
clara del contexto, diremos simplemente el espacio mtrico X.
Si x 2 X y r > 0, entonces el conjunto
B(x; r) = fy 2 X : d(y; x) < rg
se conoce como la bola abierta de radio r centrada en x.
Si X0 es un subconjunto no vaco de X, entonces la restriccin de la mtrica d
al espacio X0 X0 es obviamente una mtrica en X0 . Al espacio mtrico (X0 ; d) se lo
denomina subespacio de (X; d).
Denicin 12 Sea (X; d) un espacio mtrico. Entonces:
1. G X se dice que es un conjunto abierto si para todo x 2 G, existe r > 0, tal que
B(x; r) G.
Si G es abierto y x 2 G, diremos que el conjunto abierto G es una vecindad de x.
2. F
3. Si A
X se dir que es cerrado si su complemento es abierto.

X, denotaremos por A la clausura de A, esto es, el conjunto
\
A=
fF : F cerrado y A F g :
Diremos que A es denso (en X) si A = X.

Diremos que X es separable si existe un subconjunto A
4. Si A
X denso y contable.
X, denotaremos por A el interior de A, esto es, el conjunto

A=
fG : G abierto y G
Ag :
Los elementos de A se denominan puntos interiores de A.

5. Si A
X, denotaremos por Fr(A) a la frontera de A, esto es:

Fr(A) = A \ X
6. Si A
X es un conjunto no vaco, denotaremos por diam(A) al dimetro de A,
esto e:
diam(A) = sup fd(x; y) : x; y 2 Ag .
Diremos que A es acotado si diam(A) < 1.
Espacios Mtricos y Topolgicos
11
Ejemplo 13 En R denamos d(x; y) = jx yj. Entonces (R; d) es un espacio mtrico.

Esta mtrica se conoce como la mtrica usual de R. Anlogamente podemos denir en C la
mtrica usual por d(z1 ; z2 ) = jz1 z2 j en donde z1 ; z2 son nmeros complejos y jz1 z2 j
es el mdulo del nmero complejo z1 z2 .
Si en Rn denimos la distancia por
d ((xi )ni=1 ; (yi )ni=1 ) =
n
P
i=1
1=2
jxi
yi j
entonces Rn es un espacio mtrico y la distancia d se conoce como su mtrica usual. Sin

otro aviso en contrario siempre se entender que Rn est provista de su mtrica usual.
En el caso particular de R R su mtrica usual est dada por
p
d((x1 ; y1 ); (x2 ; y2 )) = (x1 x2 )2 + (y1 y2 )2 :
Sea
A = f(1=n; 1=m) : m; n 2 Ng :
Entonces
1) A = A [ f(0; 0)g [ f(0; 1=n) : n 2 Ng [ f(1=n; 0) : n 2 Ng :
2) A =
3) Fr(A) = A \pAc = A \ (R
4) diam(A) = 2:
R) = A.
Proposicin 14 Sea (X; d) un espacio mtrico. Entonces la coleccin T formada por

todos los conjuntos abiertos, satisface las siguientes propiedades:
1.
;X 2 T :
2. Si fG g es una coleccin arbitraria de abiertos, entonces

3. Si G1 ; G2 ; : : : ; Gn son n conjuntos abiertos, entonces
n
T
G es abierto.
Gk es abierto.
k=1
La Proposicin 14 tiene, por razones obvias, su dual en el siguiente resultado:

Proposicin 15 Sea (X; d) un espacio mtrico. Entonces la coleccin F formada por
todos los conjuntos cerrados, satisface las siguientes propiedades:
1.
; X 2 F:
2. Si fF g es una coleccin arbitraria de cerrados, entonces

3. Si F1 ; F2 ; : : : ; Fn son n conjuntos cerrados, entonces
n
S
F es cerrado.
Fk es cerrado.
k=1
Denicin 16 Sea (X; d) un espacio mtrico y A X. Un punto x 2 X se dice que es

un punto de acumulacin de A si toda bola abierta centrada en x contiene al menos un
punto de A distinto de x.
Proposicin 17 Sea (X; d) un espacio mtrico y F
slo si contiene a todos sus puntos de acumulacin.
X. Entonces F es cerrado si y
Elementos Previos
12
Toda coleccin de subconjuntos de un conjunto X que satisfaga las tres propiedades enumeradas en la Proposicin 14, se conoce como topologa. As ese resultado nos
dice que la coleccin T de todos los subconjuntos abiertos de un espacio mtrico X es una
topologa para X.
Denicin 18 Sea X un conjunto arbitrario no vaco. Una coleccin T de subconjuntos
de X es una topologa para X si satisface las siguientes tres propiedades:
1.
;X 2 T
2. Si fG g es una coleccin arbitraria en T , entonces

3. Si G1 ; G2 ; : : : ; Gn son n conjuntos en T , entonces
n
T
k=1
G 2T.
Gk 2 T .
En este caso diremos que el par (X; T ) es un espacio topolgico y los conjuntos
de T se conocern como conjuntos abiertos.
Sea X0 X: Es fcil vericar que la coleccin:
T \ X0 = fG \ X0 : G 2 T g ;
es una topologa en X0 . En consecuencia el par (X0 ; T \ X0 ) es un espacio topolgico.
Diremos que (X0 ; T \ X0 ) es un subespacio topolgico de (X; T ).
Las deniciones de conjuntos cerrados, clausura, densidad, frontera, vecindad, interior, puntos interiores y separabilidad se entendern extendidas a los espacios topolgicos.
Denicin 19 Sea (X; T ) un espacio topolgico. Una subcoleccin B de T se dice que es
un base para la topologa T si todo conjunto abierto es una unin de conjuntos en esta
subcoleccin. Si B existe y es contable, entonces el espacio topolgico X se dice que es un
espacio segundo contable o que satisface el segundo axioma de contabilidad.
1.5.
Convergencia y Completitud
Denicin 20 Sea (X; d) un espacio mtrico y (xn ) una sucesin en X. Diremos que la
sucesin (xn ) es convergente si existe un punto x 2 X tal que:
(8 > 0) (9n0 2 N) (8n 2 N) (n
n0
=)
d(xn ; x) < ) :
Si este es el caso, usaremos cualquiera de las siguientes notaciones:

l m xn = x;
n!1
l m xn = x;
xn ! x:
Si l m xn = x diremos que x es el lmite de la sucesin (xn ).

n!1
Proposicin 21 El lmite de una sucesin convergente es nico.

Denicin 22 Sea (X; d) un espacio mtrico y (xn ) una sucesin en X. Diremos que la
sucesin (xn ) es de Cauchy si:
(8 > 0) (9n0 2 N) (8n; m 2 N) (n; m
n0
=)
d(xn ; xm ) < ) :
Proposicin 23 Sea (X; d) un espacio mtrico. Entonces toda sucesin convergente es

de Cauchy.
Espacios Normados
13
Denicin 24 Un espacio mtrico (X; d) se dice que es un espacio mtrico completo si

toda sucesin de Cauchy en X converge a algn punto de X.
Ejemplo 25 El espacio mtrico (0; 1] con la mtrica usual no es completo. En efecto, si
1
tomamos la sucesin (1=n)n=1 vemos que ella es de Cauchy pero no es convergente en
(0; 1] pues el punto 0; que sera su nico posible lmite, no es un punto del espacio.
Nota 26 Es un hecho fundamental del anlisis que R y C, as como en realidad todos los
espacios Rn ; son espacios mtricos completos.
Proposicin 27 Sea (X; d) un espacio mtrico completo y E
completo si y slo si E es cerrado en X.
1.6.
X. Entonces (E; d) es
Espacios Normados
Denicin 28 Un espacio normado es un espacio vectorial (escalares reales o complejos)

X sobre el cual se ha denido una funcin real x ! kxk denominada norma, que tiene
las siguientes propiedades:
(a) kxk 0; y kxk = 0 si y slo si x = 0.
(b) k xk = j j kxk ;
(c) kx + yk kxk + kyk :
Es fcil vericar que si X es un espacio normado entonces la funcin:
d(x; y) = kx
yk ;
es una mtrica en X. Diremos que el espacio normado X es un espacio de Banach si el

espacio mtrico (X; d) es completo.
Ejemplo 29 Para 1
p <P1, denamos lp como el conjunto de todas las sucesiones
p
de escalares (xn ) tales que
jxn j < 1. Si en lp se dene la suma de sucesiones y el
producto por escalar de la manera usual, vale decir, por:
(xn ) + (yn ) = (xn + yn )
(xn ) = ( xn )
entonces es posible demostrar que lp es un espacio vectorial. Si adems denimos:
P
p 1=p
k(xn )kp = ( jxn j )
es posible demostrar que lp es un espacio de Banach. Estos espacios son un caso especial
de los espacios Lp que deniremos ms adelante.
Ejemplo 30 El espacio l1 se dene como el conjunto de todas las sucesiones acotadas de
escalares. Es fcil vericar que l1 es un espacio vectorial con la suma y producto denidos
como en el ejemplo anterior. Adems si se dene:
k(xn )k1 = sup jxn j
n 1
es fcil vericar que l1 tambin es un espacio de Banach. La correspondiente distancia es

una caso especial de la distancia uniforme denida en el espacio L1 ( ) que deniremos
ms adelante.
Elementos Previos
14
1.7.
Continuidad
Denicin 31 Sean (X; d1 ) e (Y; d2 ) dos espacios mtricos y f : X ! Y una funcin.

Diremos que f es continua en x0 2 X, si:
(8 > 0) (9 = ( ; x0 ) > 0) (8x 2 X) (d1 (x; x0 ) <
=)
d2 (f (x); f (x0 )) < ) :
Diremos que f es continua en X si es continua en cada punto de X. Note que

depende tanto de como de x0 .
en general
Proposicin 32 Sean (X; d1 ) e (Y; d2 ) dos espacios mtricos y f : X ! Y una funcin.

Entonces las siguientes propiedades son equivalentes:
(1) f es continua en X.
(2) xn ! x =) f (xn ) ! f (x):
(3) f 1 (G) es abierto en X para todo G abierto en Y:
La clase de las funciones continuas es quizs la clase de funciones que ms xito
ha tenido en todas las matemticas, tanto por sus mltiples propiedades como por ser las
funciones de eleccin cuando se trata de modelar algn fenmeno natural. Una subclase
de estas funciones la constituye la clase de las uniformemente continuas:
Denicin 33 Sean (X; d1 ) e (Y; d2 ) dos espacios mtricos y f : X ! Y una funcin.
Diremos que f es uniformemente continua en X si:
(8 > 0) (9 = ( ) > 0) (8x; y 2 X) (d1 (x; y) <
=)
d2 (f (x); f (y)) < ) :
Note que a diferencia de la simple continuidad, la continuidad uniforme exige que haya
un mdulo de continuidad ( ) uniforme para todos los elementos del dominio.
La Proposicin 32, que nos da una equivalencia de continuidad enteramente en
base a las respectivas topologas de los espacios involucrados, nos permite generalizar la
nocin de continuidad al mbito de los espacios topolgicos:
Denicin 34 Sean (X; T1 ) e (Y; T2 ) dos espacios topolgicos y f : X ! Y una funcin.
Diremos que la funcin es continua en X si f 1 (G) 2 T1 para todo G 2 T2 .
Sea x0 2 X. Diremos que f es continua en x0 si dada cualquier vecindad V de
f (x0 ) existe una vecindad U de x0 tal que f (U ) V .
Proposicin 35 Sean (X; T1 ) e (Y; T2 ) dos espacios topolgicos y f : X ! Y una funcin. Entonces f es continua en X si y slo si es continua en cada punto de X.
Denicin 36 Sea (fn ) una sucesin de funciones reales denidas en el espacio metrico
(X; d). Diremos que la sucesin (fn ) converge puntualmente a la funcin f : X ! R si
para todo x 2 X y para todo > 0, existe un natural N 2 N tal que
(8n 2 N) (n
=)
jfn (x)
f (x)j < ) :
Denicin 37 Sea (fn ) una sucesin de funciones reales denidas en el espacio metrico
(X; d). Diremos que la sucesin (fn ) converge uniformemente a la funcin f : X ! R si
para todo > 0, existe un natural N 2 N tal que
(8n 2 N) (8x 2 X) (n
=)
jfn (x)
f (x)j < ) :
Proposicin 38 Sea (fn ) una sucesin de funciones reales denidas en el espacio metrico
(X; d) que converge uniformemente a la funcin f : X ! R. Entonces si cada funcin fn
es continua, tambin lo es f:
Compacidad
1.8.
15
Compacidad
Denicin 39 Sea (X; T ) un espacio topolgico. Una clase fG g de subconjuntos de X

se dice que es
S un recubrimiento abierto de X si G es abierto para cada y adems se
cumple que G = X.
Denicin 40 Diremos que el espacio topolgico (X; T ) es un espacio compacto si todo

recubrimiento abierto fG g de X tiene un subrecubrimiento nito, es decir, existe una
n
S
n
subcoleccin fGk gk=1 de la coleccin fG g tal que
Gk = X. Si X0 X, diremos que
k=1
X0 es un subconjunto compacto de X si el subespacio topolgico (X0 ; T \X0 ) es compacto.
Proposicin 41 (Heine-Borel) Todo subconjunto cerrado y acotado de Rn es compacto.

En particular todo intervalo [a; b] es un subconjunto compacto de R.
Proposicin 42 Todo subconjunto cerrado de un espacio topolgico compacto es compacto.
Proposicin 43 Sean (X; T1 ) e (Y; T2 ) dos espacios topolgicos y f : X ! Y una funcin
continua. Entonces, si A X se tiene:
A compacto en X =) f (A) compacto en Y .
Denicin 44 Sea (X; d) un espacio mtrico. Diremos que X es totalmente acotado si
para todo > 0, existe una coleccin nita de puntos a1 ; a2 ; : : : ; an en X tal que:
X=
n
[
B(ak ; ):
k=1
Denicin 45 Sea (X; d) un espacio mtrico. Diremos que X es secuencialmente compacto si toda sucesin en X tiene una subsucesin convergente.
Denicin 46 Sea (X; d) un espacio mtrico. Diremos que X tiene la propiedad de
Bolzano-Weierstrass si todo subconjunto A de cardinalidad innita tiene al menos un
punto de acumulacin en X.
Proposicin 47 Sea (X; d) un espacio mtrico. Entonces las siguientes propiedades son
equivalentes:
(1) (X; d) es un espacio compacto.
(2) (X; d) es un espacio secuencialmente compacto.
(3) (X; d) tiene la propiedad de Bolzano-Weierstrass.
(4) (X; d) es completo y totalmente acotado.
Proposicin 48 Sean (X; d1 ) e (Y; d2 ) dos espacios mtricos y f : X ! Y una funcin
continua. Entonces si X es compacto se tiene que f es uniformemente continua.
El siguiente teorema se conoce como Teorema de Dini:
Proposicin 49 Suponga que (fn ) con fn : X ! R es una sucesin de funciones continuas que converge puntual y montonamente a la funcin real f . Entonces si X es
compacto se cumple que la convergencia es uniforme.
Elementos Previos
16
Problemas
1
1. Sea (An )n=1 una sucesin de subconjuntos de
. Demuestre que el l m sup An es

n!1
aquel subconjunto de formado por aquellos elementos que pertenecen a innitos

An y el l m inf An lo forman aquellos elementos que pertenecen a todos los conjuntos
n!1
An con la posible excepcin de un nmero nitos de ellos.
1
2. Sea (An )n=1 una sucesin de subconjuntos de

l m inf An
. Demuestre que
l m sup An :
3. Demuestre que si (An )n=1 una sucesin montona, entonces l m An existe. Si la

n!1
sucesin es creciente, el lmite es la unin de la coleccin fAn g; si es decreciente el

lmite es la interseccin.
4. Demuestre las siguientes identidades:
c
a)
l m inf An
n!1
b)
l m sup An
n!1
5. Sean A y B dos subconjuntos de

par. Demuestre que:
= l m sup Acn
n!1
= l m inf Acn
n!1
. Dena An = A si n es impar y An = B si n es
l m inf An = A \ B
n!1
l m sup An = A [ B:
n!1
6. Suponga que (An ) es una sucesin disjunta de subconjuntos de

l m An = .
. Demuestre que
7. Sea (an )n=1 una sucesin de nmeros reales. Las expresiones siguientes se conocen
como el lmite superior y el lmite inferior de fan g:
a)
l m sup an = nf
n!1
b)
n 1
l m inf an = sup
n!1
n 1
sup ak
k n
nf ak
k n
Demuestre las siguientes propiedades:

a) l m inf an
n!1
l m sup an
n!1
b) Si la sucesin (an ) no es acotada superiormente, entonces l m sup an = 1.

n!1
c) Si la sucesin (an ) no es acotada inferiormente, entonces l m inf an =

n!1
1.
d ) Sea L un nmero real. Entonces L = l m sup an si y slo si se cumplen las

n!1
siguientes dos condiciones:

1) (8 > 0) (9n0 2 N) (8n 2 N) (n
2) (8 > 0) (8n 2 N) (9m 2 N) (m
n0 =) an < L + )
n^L
< am ) :
Compacidad
17
e) Sea L un nmero real. Entonces L = l m inf an si y slo si se cumplen las

n!1
siguientes dos condiciones:
1) (8 > 0) (9n0 2 N) (8n 2 N) (n
2) (8 > 0) (8n 2 N) (9m 2 N) (m
n0 =) L
< an )
n ^ am < L + ) :
f ) l m inf an = l m sup an si y slo si l m ak existe. En este caso adems se tiene

n!1
n!1
n!1
que:
l m inf an = l m sup an = l m ak
n!1
g) Si an
n!1
n!1
bn para todo n, entonces

a)
l m inf an
l m inf bn
b)
l m sup an
l m sup bn
h) Si (an ) y (bn ) son sucesiones arbitrarias, entonces

l m sup(an + bn )
l m sup an + l m sup bn :
i ) Si (an ) es una sucesin arbitraria, entonces

l m sup( an ) =
l m inf(an ):
8. Sea A = l m inf An y A = l m sup An . Demuestre que:

n!1
n!1
A
A
en donde
(x) = l m inf
An (x)
(x) = l m sup
An (x)
n!1
n!1
son las funciones caractersticas de A y A respectivamente.
9. Demuestre que toda bola abierta es un conjunto abierto.

10. Demuestre que todo subconjunto abierto no vaco de R es una unin contable de
intervalos abiertos disjuntos.
11. Demuestre que la cardinalidad de la coleccin de todos los subconjuntos abiertos de
R es c. Cual es la cardinalidad de la coleccin de todos los subconjuntos cerrados
de R?
12. Halle la cardinalidad de la coleccin de todos los subconjuntos de N formados exclusivamente por nmeros primos. Cul es la cardinalidad si nos restringimos a
subconjuntos nitos?
13. Demuestre que un subespacio de un espacio mtrico separable es separable. Demuestre que R es separable.
14. Los reales extendidos R. Sea R = R[ f 1; 1g. Sea f : R ! [ 1; 1] denida por:
8
x
>
x2R
< 1 + jxj
f (x) =
1
x= 1
>
:
1
x=1
Dena en R R la funcin d(x; y) = jf (x) f (y)j. Demuestre que R; d es un

espacio mtrico y una base para su topologa es la coleccin de todos los intervalos
de la forma (a; b) ; [ 1; b) y (a; 1] con a; b 2 R.
Elementos Previos
18
15. Demuestre que un subconjunto G de un espacio topolgico es abierto si y slo si

G = G.
16. Demuestre que un subconjunto F de un espacio topolgico es cerrado si y slo si
F = F.
17. Sea G un subconjunto abierto y A un subconjunto arbitrario de un espacio topolgico. Demuestre que
G\A=
() G \ A = :
18. Sean A y B dos subconjuntos de un espacio topolgico X. Demuestre que:
A[B =A[B
19. Sea X un espacio topolgico y A
A\B
A\B
X. Entonces:
A = fx 2 X : Toda vecindad de x intersecta a Ag .

20. Demuestre que todo espacio topolgico segundo contable es separable.
21. Demuestre que todo espacio mtrico separable es segundo contable.
22. Demuestre que R es segundo contable.
23. Demuestre que R y R2 son espacio mtricos completos.
24. Sea (X; d) un espacio mtrico completo y (Fn ) una sucesin decreciente de subconjuntos cerrados no vacos tales que Fn # F . Suponga que diam(Fn ) ! 0. Entonces
1
T
Fn contiene exactamente un punto (este teorema se conoce como el Teorema de
n=1
la Interseccin de Cantor).
25. Sean X; Y dos espacios topolgicos y f : X ! Y . Demuestre:

a) f continua si y slo si f
(F ) es cerrado para todo cerrado F .
b) f continua si y slo si f (A)

26. Sea:
f (x) =
8
< x
1
: p sin
q
f (A) para todo A
X.
Si x es irracional
p
Si x = (fraccin irreducible)
q
Demuestre que f es continua slo en 0 y en los irracionales.

27. Demuestre que l1 y l1 son espacios de Banach.
28. Demuestre que todo subconjunto compacto de un espacio mtrico X es cerrado en
X.
29. Demuestre que todo subconjunto compacto de un espacio mtrico es acotado.
30. Demuestre que la unin de dos subconjuntos compactos de X es un conjunto compacto.
Compacidad
19
31. (lmite superior y lmite inferior de una funcin real ) Sea f : R ! R. Entonces la
expresin:
l m sup f (x) = nf
sup f (x);
>0 0<jx yj<
x!y
se conoce como lmite superior de f en y. Anlogamente, la expresin:

l m inf f (x) = sup
x!y
nf
>0 0<jx yj<
f (x);
se conoce como lmite inferior de f en y. Demuestre:

a) l m sup f (x)
A si y slo si:
x!y
(8 > 0) (9 > 0) (8x 2 R) (0 < jx

b) l m sup f (x)
yj <
=) f (x) < A + ) :
A si y slo si:
x!y
(8 > 0) (8 > 0) (9x 2 R) (0 < jx

c) l m inf f (x)
x!y
yj < ^ f (x) > A
):
l m sup f (x):
x!y
d ) l m inf f (x) = l m sup f (x) si y slo si l m f (x) existe.

x!y
x!y
x!y
32. (funciones semicontinuas) Una funcin f : R ! R se dice que es semicontinua superiormente en el punto x0 si:
f (x0 )
l m sup f (x):
x!x0
y diremos que f es semicontinua superiormente si es semicontinua superiormente en

cada punto x0 2 R.
Anlogamente, f se dice semicontinua inferiormente en el punto x0 si:

f (x0 )
l m inf f (x):
x!x0
y diremos que f es semicontinua inferiormente si es semicontinua inferiormente en

cada punto x0 2 R.
a) Demuestre que f es semicontinua superiormente si y slo si el conjunto
fx : f (x) < g
es abierto para todo
2 R.
b) Demuestre que f es semicontinua inferiormente si y slo si el conjunto

fx : f (x) > g
es abierto para todo
2 R.
c) Demuestre que f es continua en R si y slo si es semicontinua superior e inferiormente en R.

d ) Demuestre que si f y g son semicontinuas inferiormente, entonces tambin lo
es f + g.
Elementos Previos
20
e) Demuestre que si f y g son semicontinuas inferiormente, entonces tambin lo

es f _ g = max ff; gg.
f ) Demuestre que si (fn ) es una sucesin de funciones semicontinuas inferiormente,

entonces tambin lo es la funcin f (x) = sup fn (x).
n 1
g) Demuestre que si f y g son semicontinuas superiormente, entonces tambin lo

es f + g.
h) Demuestre que si f y g son semicontinuas superiormente, entonces tambin lo
es f ^ g = m n ff; gg.
i ) Demuestre que si (fn ) es una sucesin de funciones semicontinuas superiormente, entonces tambin lo es la funcin f (x) = nf fn (x).
n 1
33. Demuestre la Proposicin 38.

34. De un ejemplo para demostrar que la convergencia puntual de una sucesin de
funciones reales y continuas no implica que la sucesin converge uniformemente.
35. Sea (X; d) un espacio mtrico y A un subconjunto no vacio de X. Demuestre que la
funcin
f (x) = d(x; A) = nf fd(x; z) : z 2 Ag
es una funcin uniformemente continua en X. Ms aun, demuestre que es una aplicacin no expansiva, esto es, para todo x; y 2 X se cumple que jf (x) f (y)j
d(x; y).
36. (Banach 1922). Sea (X; d) un espacio mtrico completo y T : X ! X. Suponga que
existe k 2 (0; 1) tal que para todo x; y 2 X se cumple:
d(T (x); T (y))
kd(x; y)
Entonces:
a) T tiene un nico punto jo z en X, esto es, T (z) = z.
b) Para todo x0 2 X, la sucesin (xn ) denida inductivamente por xn+1 = T xn ,
converge a z.
c) Estimacin de Errores. Para todo n = 1; 2; : : : se cumple
1) error a priori:
d(xn ; z) k n (1 k) 1 d(x0 ; x1 )
2) error a posteriori: d(xn+1 ; z) k(1 k) 1 d(xn ; xn+1 ).
d ) Rapidez de convergencia. Para todo n = 1; 2; : : :se cumple:
d(xn+1 ; z)
kd(xn ; z):
37. Sea I = [0; a] R y f : I Rn ! Rn una aplicacin continua, lipschitziana en la

segunda variable. Entonces el problema de valor inicial
x0 (t) = f (t; x); x(0) = xo ;
tiene una nica solucin en I.
Captulo 2
CLASES DE CONJUNTOS
2.1.
Algebras
Denicin 50 Sea A una coleccin de subconjuntos de P( ). Diremos que A es un

lgebra en si contiene al conjunto y es cerrada respecto a complementos y uniones.
En otras palabras, cumple con las siguientes propiedades:
(a) 2 A
(b) Si A 2 A, entonces Ac 2 A.
(c) Si A 2 A y B 2 A, entonces A [ B 2 A.
Nota 51 Por induccin se deduce que la coleccin A cumple la propiedad (c) si y slo
si es cerrada bajo uniones nitas, es decir, uniones del tipo A1 [ A2 [
[ An . Por lo
tanto, si la coleccin A cumple con (c) diremos simplemente que la coleccin es cerrada
bajo uniones. Ms adelante veremos situaciones con uniones innitas.
Si A es un lgebra, entonces A tambin es cerrado bajo intersecciones y diferencias, puesto que:
A\B
A B
Note que si A es un lgebra, entonces
= (Ac [ B c )
= A \ Bc:
2 A puesto que
Proposicin 52 La coleccin A es un lgebra si y slo si cumple con las siguientes

condiciones:
(1) 2 A
(2) Si A 2 A y B 2 A, entonces A B 2 A.
(3) Si A 2 A y B 2 A, con A \ B = ; entonces A + B 2 A.
Demostracin. Si A es un lgebra entonces la propiedad (2) es evidente (ver
Nota 51). Recprocamente las propiedades (b) y (c) se deducen de las siguientes identidades:
Ac
A[B
=
A
= A + (B
A).

2.2.
Sigma-Algebras
Denicin 53 Una coleccin A de subconjuntos de P( ) se dice que es un sigma lgebra

( -lgebra) en si contiene a y es cerrada bajo complementos y uniones numerables,
esto es, cumple con las siguientes propiedades:
(a) 2 A
Clases de Conjuntos
22
(b) A 2 A
=)
Ac 2 A.
(c) An 2 A; n = 1; 2; : : :
1
S
=)
n=1
An 2 A:
Nota 54 Nuevamente es claro que 2 A. Por otro lado, si A es un -lgebra, entonces

A es cerrada respecto a uniones nitas: en efecto, si A; B 2 A, entonces debido a la
identidad:
A[B =A[B[ [ [
se deduce de (c) y del hecho que
es tambin un lgebra.
2 A que A [ B 2 A. Esto signica que todo -lgebra
Proposicin 55 A es un -lgebra si y solamente si cumple con:

(1) 2 A.
(2) A 2 A y B 2 A =) A B 2 A.
1
P
An 2 A.
(3) An 2 A; n = 1; 2; : : :, sucesin disjunta, entonces
n=1
Demostracin. En claro que si A es un -lgebra entonces se cumplen las condiciones indicadas. Recprocamente es evidente que las condiciones indicadas implican que
A es un lgebra (Note que =
2 A), luego basta demostrar que se cumple la
1
condicin (c) de la Denicin 53. Sea (An )n=1 una sucesin arbitraria en A. Entonces:
0
1
1
1
i[1
[
X
@Ai
Ai = A1 +
Aj A
i=1
i=2
j=1
Ahora como A es un lgebra, la condicin (3) implica que

termina la demostracin.
Proposicin 56 Todo
es, cumple con:
i=1
Ai 2 A. Esto
-lgebra A es cerrado respecto a intersecciones contables, esto

1
(An )n=1
=)
Demostracin. Basta observar que
1
\
n=1
1
T
n=1
2.3.
1
S
An =
An 2 A:
1
S
n=1
Acn
. Esto termina la demostracin.
Algebras y -lgebras generadas
Denicin 57 Sea C una familia no vaca de subconjuntos de

\
A(C) =
fA : A lgebra y C Ag :
. Denamos:
Es fcil demostrar (ver Problema 2) que esta interseccin es el lgebra ms chica que
contiene a C. En otras palabras, si B es un lgebra en
que contiene a C, entonces
A(C) B. Esta lgebra se denomina el lgebra generada por C.
Denicin 58 Sea C una familia no vaca de subconjuntos de . Denamos:
\
(C) =
fA : A es -lgebra y C Ag :
Es fcil demostrar (ver Problema 3) que esta interseccin es la -lgebra ms chica que
contiene a C. En otras palabras, si B es una -lgebra en
que contiene a C entonces
(C) B. Esta -lgebra se denomina el -lgebra generada por C.
Colecciones Montonas
23
Ejemplo 59 Sea ( ; ) un espacio topolgico. Denotaremos por B( ) la -lgebra generada por la topologa. Esto es B( ) = ( ). Esta -lgebra se conoce como la -lgebra
de Borel.
En los casos especiales en que = R o R es posible demostrar que B (R) y B R
coinciden con la -lgebra generada por la coleccin C = f(a; b] : a; b 2 Rg (para este
resultado ver Problema 10 y para considerar otras colecciones vea Problema 11).
2.4.
En general es imposible describir constructivamente la -lgebra generada por

una coleccin arbitraria de subconjuntos de y por ende se hace difcil demostrar aquellas proposiciones que involucran -lgebra generadas. Por esta razn se introducen las
colecciones montonas, colecciones ms fciles de manejar que las -lgebras generadas y
que en casos especiales las contienen (proposicin 61).
Denicin 60 Una familia no vaca M de subconjuntos de se dice que es una familia
o coleccin montona si, dada cualquier sucesin montona (En ) en M, se cumple que
l m En 2 M.
Si C es una familia no vaca de subconjuntos de
denotaremos por M(C) la
familia montona generada por C. Esto es:
\
M(C) =
fM : M es familia montona y C Mg .
Nuevamente es fcil ver que M(C) es la familia montona ms chica que contiene a C
(ver Problema 18).
Diremos que A es una lgebra montona si A es lgebra y es una familia montona.
La importancia de las familias montonas reside en el siguiente resultado:
Proposicin 61 Sea A es una lgebra y C una familia montona de subconjuntos de
Suponga que A C, entonces (A) C.
Demostracin. De acuerdo al Problema 24, M(A) = (A). Por otro lado es

claro que M(A) C. Luego, (A) C. Esto termina la demostracin.
Clases de Conjuntos
24
Problemas
1. Sea fA :
2 g una familia no vaca de lgebras en

A=
es un lgebra en
T
2
, entonces
2. Sea C es una familia no vaca de subconjuntos de . Demuestre que A(C) es el

lgebra ms chica que contiene a C. En otras palabras, si B es un lgebra en que
contiene a C entonces A(C) B.
3. Sea C es una familia no vaca de subconjuntos de . Demuestre que (C) es la menor
-lgebra que contiene a C.
4. Demuestre que todo -lgebra A es cerrado respecto a lmites superiores y lmites
inferiores de sucesiones de conjuntos.
5. Sea A la coleccin de todos los subconjuntos de
que son nitos o tienen un
complemento nito. Demuestre que A es un lgebra. Demuestre que si
no es
nito, entonces A no es una -lgebra.
6. Sea
A
un espacio innito no contable. Sea A la coleccin de todos los conjuntos

tal que A o Ac son contables. Demuestre que A es una -lgebra en .
7. Sea A una -lgebra en y sea f : ! X una funcin arbitraria. Demuestre que

la coleccin B = B : f 1 (B) 2 A es una -lgebra en X.
8. Sea A la familia formada por R y todos los subconjuntos de R de la forma
n
P
(ak ; bk ],
k=1
(uniones nitas y disjuntas de intervalos de la forma (a; b] ; ( 1; b] y (a; 1), con

a; b 2 R). Demuestre que A es un lgebra pero no una -lgebra.
9. Sea
= f1; 2; 3g y sea C = ff1g ; f1; 2gg. Halle A(C) y (C).
10. Sea ( ; ) un espacio topolgico. Denotaremos por B( ) la -lgebra generada por la

topologa. Esto es B( ) = ( ). Esta -lgebra se conoce como la -lgebra de Borel.
Demuestre que la -lgebra de Borel en = R coincide con la -lgebra generada por
la coleccin C = f(a; b] : a; b 2 Rg. Esto es, demuestre que B (R) = (C). Demuestre
un resultado similar para = R usando la misma coleccin.
11. Demuestre que la -lgebra de Borel en
= R o en R coincide con la -lgebra
generada por la coleccin C = f[a; b] : a; b 2 Rg. Demuestre un resultado anlogo
usando la coleccin C = f(a; b) : a; b 2 Rg.
12. Sean C1 y C2 dos familias no vacas de subconjuntos de
Demuestre las siguientes inclusiones:
A(C 1 )
A(C 1 ) y
(C1 )
13. Sea C una familia no vaca de subconjuntos de

una familia contable D C tal que A 2 (D).
. Suponga que C1
C2 .
(C2 ) :
. Sea A 2
(C). Entonces existe
25
14. Sea C una familia no vaca y A
. Denotemos por
C \ A = fC \ A : C 2 Cg :
Demuestre que (C) \ A = (C \ A), en donde
por C \ A en el espacio
= A.
(C \ A) es la -lgebra generada
15. Sean C una familia innita de subconjuntos de

la misma cardinalidad.
. Demuestre que C y A(C) tienen
16. Se dice que una -lgebra A es separable si existe A0

(A0 ) = A.
A, con A0 contable, tal que
a) Demuestre que la -lgebra de Borel en R es separable.

b) Demuestre que la -lgebra de Borel de un espacio mtrico separable es separable.
17. Demuestre que no existe una -lgebra A innita numerable.
18. Sea C es una familia no vaca de subconjuntos de
familia montona ms chica que contiene a C.
. Demuestre que M(C) es la
19. Sea A una lgebra de conjuntos en

y (An ) una sucesin de conjuntos en A.
Entonces existe una coleccin montona creciente (En ) de conjuntos en A tal que
1
[
An =
n=1
1
[
En = l m En :
n!1
n=1
20. Sea A una lgebra de conjuntos en

y (An ) una sucesin de conjuntos en A.
Entonces existe una sucesin disjunta de conjuntos (En ) en A tal que
1
[
n=1
An =
1
[
En :
n=1
21. Demuestre que toda lgebra montona es una -lgebra.

22. Demuestre que toda -lgebra es una familia montona.
23. Demuestre que si A es un lgebra, entonces tambin lo es M(A).
24. Demuestre que si A es un lgebra, entonces M(A) = (A).
25. Sea = Q, el conjunto de todos los nmeros racionales. En considere el lgebra
A formada por Q y todas las uniones nitas y disjuntas de intervalos de la forma
(vea Problema 8):
(a; b] = fx 2 Q : a < x b; a; b 2 Qg
( 1; b] = fx 2 Q : x b; b 2 Qg :
(a; 1) = fx 2 Q : a < x; a 2 Qg
Demuestre que (A) = P (Q).
Clases de Conjuntos
26
26. Sea R una coleccin no vaca de subconjuntos de

A4B = (A
B) + (B
y sean A; B 2 R. Al conjunto:
A);
se lo conoce como diferencia simtrica de A y B. Por otro lado, la diferencia A

se conoce como diferencia propia si B A.
Demuestre que son equivalentes las siguientes armaciones respecto a R:

a) R es cerrada bajo diferencias y uniones nitas.
b) R es cerrada bajo diferencias propias y uniones nitas.
c) R es cerrada bajo diferencias simtrica e intersecciones nitas.
d ) R es cerrada bajo diferencias propias, intersecciones nitas y uniones nitas

disjuntas.
Si R satisface alguna de estas armaciones (y por lo tanto las cuatro), entonces se
dice que R es un anillo. Note que un anillo siempre contiene al conjunto vaco.
27. Sea A una coleccin de subconjuntos de
slo si A es un anillo conteniendo .
28. Sea R un anillo de subconjuntos de
A
. Demuestre que A es una lgebra si y
(ver Problema 26). Para A; B 2 R denamos
B =A\B
y A
B = A 4 B:
Demuestre que con estas operaciones de suma y producto , el sistema (R; ; )

es un anillo en el sentido algebraico de la palabra. Estos anillos algebraicos, en que
cada elemento es idempotente, vale decir que cumple con A A = A para cada
A 2 R se conocen como anillos de Boole.
29. Una coleccin A de subconjuntos de .se dice que es -aditiva si
2 A y si es
cerrada bajo diferencias propias, sumas nitas y uniones crecientes. Demuestre que
si C es una coleccin no vaca de subconjuntos de , entonces existe una coleccin
-aditiva A ms pequea que contiene a C y se conoce como la coleccin -aditiva
generada por C. Demuestre que si C es cerrada bajo intersecciones nitas, entonces
la clase -aditiva generada por C es igual a (C), esto es a la -lgebra generada
por C.
30. Sea f : ! 0 una funcin arbitraria y suponga que C es una coleccin de subconjuntos de 0 . Demuestre que:
f
(C) = f
( (C)) :
Captulo 3
MEDIDA
3.1.
Funciones de Conjuntos
Sea C una familia no vaca de subconjuntos de
Denicin 62 Una funcin

Observe que la funcin
. Entonces:
: C ! [0; 1] se denomina funcin de conjuntos.

puede tomar el valor 1.
Ejemplo 63 Sea C = P(R). Para cada A 2 C dena

jAj A nito
1 A innito
(A) =
Por ejemplo (R) = (N)=1, pero (f1; 4; 9g) = (f6; 7; 9g) = 3:

Denicin 64 Sea C una familia no vaca de subconjuntos de
funcin de conjuntos. Entonces diremos que la funcin es:
(a) Aditiva si para todo A; B 2 C con A + B 2 C se tiene:
: C ! [0; 1] una
(A + B) = (A) + (B)
n
(b) Finitamente aditiva si para toda coleccin disjunta (Ak )k=1 en C, con
tiene:
n
P
Ak
n
P
k=1
n
P
k=1
(Ak )
k=1
1
(c) Contablemente aditiva (o -aditiva) si para toda sucesin (Ak )k=1 en C, con
se tiene:
1
P
k=1
Ak
Ak 2 C se
1
P
1
P
k=1
Ak 2 C
(Ak ) :
k=1
Recuerde que en las notaciones A+B y
1
P
Ak la suma signica que los conjuntos
k=1
involucrados son disjuntos.

3.2.
Medidas
Denicin 65 Sea A un lgebra en . Diremos que la funcin : A ! [0; 1] es una

medida nitamente aditiva si ( ) = 0 y cumple con la propiedad (b). Si la funcin
adems cumple con la propiedad (c) se dir que es una medida contablemente aditiva o
simplemente una medida. En alguna ocasiones y para enfatizar que el rango de la medida
es [0; 1] hablaremos de medida positiva.
Medida
28
Denicin 66 Un tro ( ; A; ) se dice que es un espacio de medida si A es una

lgebra en y es una medida. En otras palabras, se cumple:
a) El dominio A de es una -lgebra en
b)
es no negativa en A.
c)
es contablemente aditiva en A.
d)
( ) = 0:
El par ( ; A) se dice que es un espacio medible y los elementos de A se llamarn

conjuntos medibles.
Nota 67 Si es una medida en la -lgebra A entonces adems de ser contablemente
aditiva, es nitamente aditiva. En efecto, si A; B estn en A y son disjuntos, entonces:
(A + B)
(A + B +
(A) + (B) +
1
X
( )
k=1
(A) + (B):
Ejemplo 68 Sea = R. Si A = (a; b] es un intervalo acotado, denamos la medida de A

por medio de la longitud del intervalo (a; b]. Esto es, (A) = b a. Veremos ms adelante
(ver Seccin 4.3) que esta denicin nos permite asignar, de manera nica, una medida
a una gran coleccin de subconjuntos de R y en particular a todos los conjuntos de Borel.
De esta manera podremos asignarle una medida a conjuntos tales como:
(a) Q, el conjunto
p de todos los nmeros racionales.
(b) A = a + 2b : a; b 2 Q .
Proposicin 69 Sea ( ; A; ) un espacio de medida. Entonces:
1. A; B 2 A y A
2. A; B 2 A, A
3. An " A
=)
=)
(A)
B y (B) < 1
(A) = l m
n!1
(B):
=)
(B
A) = (B)
(An )
4. An # A y existe n0 2 N tal que (An0 ) < 1

tanto
(A):
Demostracin. 1.- Sean A; B 2 A y A
=)
(A) = l m
n!1
(An ):
B, entonces B = A + (B
(B) = (A) + (B
A)
A), por lo
(3.1)
Como (B A) 0 entonces (A)

(B):
2.- Si (B) < 1, entonces por (1) se tiene que (A) < 1. Restando la cantidad
(A) de los dos lados de la Ecuacin 3.1 se obtiene que (B A) = (B)
(A).
1
P
3.-Como la sucesin es creciente podemos escribir que A = A1 +
(Ai Ai 1 ),
i=2
por lo tanto:
(A) = (A1 ) +
1
P
(Ai
Ai
1)
i=2
= lm
n!1
= lm
n!1
= lm
n!1
(A1 ) +
A1 +
n
P
i=2
n
P
(Ai
i=2
(An ) :
(Ai
Ai
Ai
1)
1)
Medidas
29
1
S
4.-Observe que A = An0
n=n0
(An0
An ), por lo tanto de (2) se deduce que:

1
S
(A) = (An0 )
n=n0
(An0
An )
Pero (An0 An )n=n0 es una sucesin creciente y por lo tanto, podemos aplicar la propiedad
(3) obteniendo:
1
S
(An0 An ) = l m (An0 An );
n!1
n=n0
pero entonces:
(A)
(An0 )
(An0 )
lm
lm
n!1
(An0
An )
(An0 ) + l m
(An )
n!1
(An ).
n!1

Nota 70 La condicin que exista n0 2 N tal que (An0 ) < 1 no es superua en esta
proposicin como puede ser observado a travs del siguiente ejemplo:
Ejemplo 71 Sea = N y A la -lgebra de todos los subconjuntos de N. En A consideremos la medida de conteo, esto es:
jAj si A es nito
1 si A es innito.
(A) =
Entonces si An = fn; n + 1; n + 2; : : :g, se tendr que An #

que (An ) ! ( ) = 0.
y sin embargo no se cumple

1
Proposicin 72 Sea ( ; A; ) un espacio de medida y (An )n=1 una sucesin en A. Entonces:

1
1
S
P
a)
An
(An )
n=1
n=1
b)
l m inf An
c)
l m sup An
n!1
n!1
l m inf
(An )
n!1
n!1
1
S
An = A1 +
n=1
An
(A1 ) +
n=1
1
P
(A1 ) +
1
P
An
n!1
1
T
n=1 i=n
An
1
P
nS1
Aj
(An ) =
1
P
< 1:
!
Aj , por lo tanto:
j=1
j=1
n=2
1
1 T
S
nS1
n=2
n=2
b) Como l m inf An =
An
n=1
Demostracin. a) Observe que

1
S
1
S
l m sup (An ) siempre que
(An )
n=1
Ai , se tiene que En " l m inf An en donde En =

n!1
Ai . Luego, de acuerdo a la parte (3) de la Proposicin 69 se tiene que:
i=n
l m inf An = l m
n!1
n!1
1
\
i=n
Ai
= l m inf
n!1
1
\
i=n
Ai
l m inf
n!1
(An )
Medida
30
Note que en esta demostracin hemos usado el resultado del Problema 7, pgina 16, partes
(f) y (g).
1 S
1
T
c) Como l m sup An =
Ai , se tiene que En # l m sup An en donde En =
1
S
n=1 i=n
Ai . Usar ahora parte (4) de la Proposicin 69. Esto termina la demostracin.
i=n
Denicin 73 Sea A un lgebra sobre

y
una medida sobre A. Si ( ) < 1 se
dir que es una medida nita o totalmente nita. Por otro lado diremos que es una
medida -nita si existe una sucesin (Xn ) en A con (Xn ) < 1.para cada n 2 N y tal
1
S
que =
Xn .
n=1
Ejemplo 74 Sea (N; P(N); ) en donde es la medida de conteo (ver Ejemplo 71). Entonces no es una medida nita pero si es -nita. Para ver esto, basta observar que:
N=
1
[
n=1
fng ,
(fng) = 1.
Denicin 75 Sea ( ; A; ) un espacio de medida y P (x) una propiedad que un punto

x 2
pudiera o no tener. Diremos entonces que la propiedad P (x) se cumple casi en
todo
o que la propiedad P (x) se cumple para casi todos los x 2
si el conjunto
N = fx 2 : P (x) no se cumpleg 2 A y (N ) = 0. En este caso escribiremos que P (x)
es cierto c.t.p. en (c.t.p. por casi en todas partes).
Ejemplo 76 Sea ( ; A; ) un espacio de medida y sean A y B dos subconjuntos medibles.
Entonces,
c.t.p. en
,
(A4B) = 0.
A (x) = B (x)
3.3.
Medidas Exteriores
Denicin 77 Sea : C ! [0; 1] una funcin de conjuntos denida en una familia no

vaca C de subconjuntos de . Entonces se dice que es:
1. Subaditiva si para todo A; B 2 C tal que A [ B 2 C se tiene:
(A [ B)
(A) + (B):
2. Finitamente subaditiva si dados A1 ; A2 ; : : : An en C tal que

n
S
Ak
k=1
n
X
k=1
Ak 2 C, entonces:
1
S
Ak 2 C, entonces:
k=1
(Ak ).
k=1
3. Contablemente subaditiva si dados A1 ; A2 ; : : : en C tal que

1
S
n
S
Ak
1
X
k=1
(Ak ).
k=1
Construccin de Medidas Exteriores
31
4. Montona si para todo A; B 2 C tal que A

(A)
B se tiene:
(B).
Denicin 78 Sea
: P ( ) ! [0; 1]. Entonce
en si es montona, contablemente subaditiva y
medida exterior si:
1. El dominio de
son todos los subconjuntos de
2.
es no negativa, esto es
3.
es contablemente subaditiva.
4.
es montona.
5.
(A)
0 para todo A
( ) = 0.
Dado que
mente subaditiva.
3.4.
se dice que es una medida exterior

( ) = 0. En otras palabras
es una
cumple con (3) y (5), se deduce que toda medida exterior es nita-
Construccin de Medidas Exteriores
Denicin 79 Una familia no vaca A de subconjuntos de se dice que es una familia

secuencial de recubrimientos para
si (i)
2 A, y (ii) para todo A
existe una
secuencia fEn g en A tal que:
1
[
En :
A
n=1
Por ejemplo, la familia de todos los intervalos semicerrados (a; b] es una familia
secuencial de recubrimientos para R. Note que toda lgebra A de subconjuntos de es
una familia secuencial de recubrimientos para .
Sea ahora : A ! [0; 1] una funcin de conjuntos tal que ( ) = 0. Para cada
A
, denamos:
(
)
1
1
[
P
(A) = nf
(En ) : En 2 A;
En A. :
(3.2)
n=1
n=1
Proposicin 80 Si A es una familia secuencial de recubrimientos para y : A ! [0; 1]

una funcin de conjuntos tal que ( ) = 0, entonces la funcin de conjuntos
denida
por la Ecuacin 3.2 es una medida exterior en .
Demostracin. Las condiciones (i),(ii),(iv) y (v) son fcilmente vericables. Slo

demostraremos la condicin (iii). Sea (An ) una sucesin de subconjuntos de y > 0. Si
(An ) = 1 para algn n, entonces la condicin (iii) se cumple trivialmente. Supongamos
en consecuencia que (An ) < 1 para todo n. Por denicin de
para cada n, existe
1
una sucesin (Enk )k=1 tal que:
An
1
[
Enk
(An ) +
k=1
2n
>
pero entonces la coleccin fEnk : n:k 2 Ng cumple con:

1
[
n=1
An
1
[
n;k=1
Enk ;
1
P
k=1
(Enk );
Medida
32
y adems:
1
[
An
n=1
1
X
1
X
(Enk )
n=1
n;k=1
Como es arbitrario, se deduce que

demostracin.
3.5.
(An ) +
2n
1
X
(An ) + :
n=1
es contablemente subaditiva. Esto termina la
Medidas Inducidas por Medidas Exteriores
Denicin 81 Sea
una medida exterior en . Diremos que un conjunto E
conjunto -medible (o simplemente medible) si:
(A) =
para todo subconjunto A de
Nota 82 Dado que
(A \ E) +
(A
E)
es un
(3.3)
es subaditiva, se tiene:
(A) =
((A \ E) + (A
E))
(A \ E) +
(A
E);
por lo tanto la condicin 3.3 es equivalente a:

(A)
(A \ E) +
(A
E):
(3.4)
Proposicin 83 Sea
una medida exterior en . Denotemos por A la familia de todos
los subconjuntos de que son -medibles. Entonces A es una -lgebra y la restriccin
de
a la -lgebra A es una medida.
Demostracin. La demostracin la dividiremos en una serie de pasos y se basar
en la Proposicin 55:
(i) Supongamos que
(E) = 0, entonces E es medible. En efecto, si A
,
entonces:
(A \ E) + (A E)
(E) + (A) = (A);
por lo tanto se cumple la condicin 3.4 y E es medible.
(ii) Como ( ) = 0, parte (i) implica que 2 A.
(iii) Sea E 2 A. Demostraremos que E c 2 A. En efecto:
(A \ E c ) +
se tiene:
(A
Ec) =
(A
E) +
(A \ E) =
(A):
Note ahora que 2 A puesto que 2 A.

(iv) Si E y F pertenecen a A, entonces E [ F 2 A. En efecto, de acuerdo a 3.3,
(A) =
(A E) =
Suponiendo que
(A
(A)
(A \ E) + (A E)
((A E) \ F ) + ((A
E)
F)
E) < 1 se obtiene:
(A \ E) + ((A E) \ F ) +
((A \ E) [ ((A E) \ F ))) +
((A
((A
E)
E)
F)
F)
33
Observando ahora que

(A \ E) [ ((A
y que (A
E)
F =A
E) \ F ))
=
=
=
=
(A \ E) [ (A \ E c \ F ))
(A \ E) [ (A \ F \ E c ))
A \ (E [ (F \ E c ))
A \ (E [ F );
(E [ F ), se concluye que:
(A)
(A \ (E [ F )) +
esto signica que E [ F 2 A.

(v) Si E; F 2 A, entonces E
(A
(E [ F ))
F 2 A. En efecto, esto se sigue de (iii) y (iv) pues:

c
F = E \ F c = (E c [ F ) :
(vi) Supongamos que E1 ; E2 ; : : : es una sucesin disjunta de elementos de A. Sea

n
S
Fn =
Ek . Entonces se arma que para todo n 1 se cumple:
k=1
n
X
(A \ Fn ) =
k=1
(A \ Ek ) :
Demostraremos esta armacin por induccin.

El caso n = 1 es evidente y el paso de n a n + 1 se obtiene de:
(A \ Fn+1 ) =
=
(A \ Fn+1 \ Fn ) + (A \ Fn+1
(A \ Fn ) + (A \ En+1 )
n
X
=
(A \ Ek ) + (A \ En+1 )
Fn )
k=1
n+1
X
k=1
(A \ Ek ) :
Note que al escribir la primera ecuacin hemos hecho uso de la medibilidad de Fn garantizada por (iv):
(vii) Sea nuevamente E1 ; E2 ; : : : una sucesin disjunta de elementos de A. Demostraremos
1
S
que F =
Ek cumple con la igualdad:
k=1
(A \ F ) =
En efecto, por la monotona de
(A \ F )
1
X
k=1
(A \ Ek ) :
(3.5)
se tiene:
(A \ Fn ) =
n
X
k=1
(A \ Ek ) :
La igualdad 3.5 se deduce de la subaditividad contable de

en la Ecuacin 3.6.
(3.6)
y haciendo tender n ! 1
Medida
34
(viii) Demostraremos ahora que si E1 ; E2 ; : : : una sucesin disjunta de elementos

1
X
de A, entonces F =
Ek pertenece a A. En efecto, para todo A
se tiene:
k=1
(A)
=
=
(A \ Fn ) +
n
X
k=1
n
X
k=1
(A
Fn )
(A \ Ek ) +
(A
Fn )
(A \ Ek ) +
(A
F ):
Haciendo tender ahora n ! 1, se deduce de la Ecuacin 3.5, que:

(A)
(A \ F ) +
(A
F ).
Esto demuestra que F 2 A.

Finalmente es evidente que la restriccin de
a la -lgebra A cumple con (a),
(b) y (d) de la Denicin 66. La condicin (c) se deduce de la igualdad 3.5 tomando
A = F . Esto termina la demostracin.
35
Problemas
1. Suponga que satisface las primeras tres propiedades de la Denicin 66. Suponga
adems que existe A 2 A tal que (A) < 1. Demuestre que ( ) = 0:
2. Sea un espacio innito contable. Sea A como en el Problema 5, pgina 24. Dena
(A) = 0 si A es nito y (A) = 1 si A tiene complemento nito. Demuestre que
es una medida nitamente aditiva pero no contablemente aditiva. Qu sucede si
es innito no contable?
3. Sea
un espacio innito no contable. Sea A como en el Problema 6, pgina 24.
Dena (A) = 0 en el primer caso y (A) = 1 en el segundo. Demuestre que es
una medida en A. Es una mediada nita o -nita?
4. Si
es una medida sobre una lgebra A, y A; B 2 A, entonces:

(A) + (B) = (A [ B) + (A \ B).
5. Si y
por:
son dos medidas denidas en la misma lgebra A, entonces

( + ) (A) = (A) + (A);
+ , denida
A 2 A,
es una medida en A. Demuestre un resultado similar para una sucesin (

medidas sobre A.
1
n )n=1
de
6. Sea = fxn : n 2 Ng un espacio innito numerable y (pn ) una sucesin de nmeros

no negativos. Para cada A
, dena:
X
(A) =
pm .
xm 2A
Demuestre que
es una medida -nita en la -lgebra A = P( ).
7. Sea ( ; A; ) un espacio de medida nita y suponga que (An ) es una sucesin en A

tal que l m An existe. Demuestre que ( l m An ) = l m (An ).
n!1
n!1
n!1
8. Sea ( ; A; ) un espacio de medida y suponga que (An ) es una sucesin en A, tal

1
P
que
(An ) < 1. Demuestre que casi todos los x 2 pertenecen a lo ms a un
n=1
nmero nito de An .
9. Sea ( ; A; ) un espacio de medida y sean:

B = fA 2 A : (A) = 0 _ (Ac ) = 0g :
Demuestre que B es una -lgebra.
10. Sea ( ; A; ) un espacio de medida y sea E 2 A. Denote por AE la clase de todos
los conjuntos medibles que son subconjuntos de E, y denote por E la restriccin
de a AE . Demuestre que (E; AE ; E ) es un espacio de medida. Estos espacios se
conocen como subespacios de medida del espacio ( ; A; ).
11. Sea (E; B; ) un espacio de medida y suponga que E
. Denotemos por A la clase
de todos los subconjuntos A de
tales que A \ E 2 B y denamos en A por
(A) = (A \ E). Demuestre que ( ; A; ) es un espacio de medida y (E; AE ; E )
coincide con (E; B; ). Nota: el espacio (E; AE ; E ) est denido en el Problema 10.
Medida
36
12. Sea ( ; A; ) un espacio de medida y sea:

F = fE 2 A : (E) < 1g :
Dena, para A; B 2 F,
d(A; B) = (A 4 B);
en donde A 4 B = (A B) [ (B A) es la diferencia simtrica entre A y B.

Demuestre que (F; d) es un espacio pseudomtrico, esto es, cumple con las siguientes
propiedades:
a) d(A; B)
b) d(A; B) = d(B; A)
c) d(A; C)
d(A; B) + d(B; C)
13. Sea ( ; B; ) un espacio de probabilidades (espacio de medida con ( ) = 1). Suponga que es un espacio Polaco (esto es un espacio mtrico separable y completo) y B
es la -lgebra de Borel de . Entonces 8 > 0; 9K compacto, tal que (K) 1 .
14. Sea un conjunto. Para cada A 2 P( ) denamos: #(A) = jAj (cardinalidad de
A). Demuestre que ( ; P( ); #) es un espacio de medida y que # es -nita si y
slo si es contable. Esta mediada # se denomina medida de conteo.
15. De un ejemplo de un espacio de medida ( ; A; ) y una sucesin (An ) en A, tal que
An # A y l m (An ) 6= (A). Contradice su resultado la Proposicin 69?
16. Se dice que : A ! [0; 1] es continua inferiormente si para cada A 2 A y toda
sucesin (An ) " A se tiene l m (An ) = (A). Suponga que es aditiva y nita en
n!1
el lgebra A. Demuestre que si continua inferiormente en cada A 2 A, entonces
es una medida en A.
1
P
17. Sea una medida -nita sobre el lgebra B. Demuestre que =
An con An 2 B
n=1
y (An ) < 1 para todo n.
18. Sea ( ; A; ) un espacio de medida con medida -nita. Demuestre que el conjunto:
fx 2 : fxg 2 A y (fxg) > 0g ;
es a lo ms contable.
19. Sea ( ; A; ) un espacio de medida. Un conjunto A 2 A se dice que es un tomo si
(A) > 0 y para todo B 2 A con B A, se tiene que (B) = 0 (B) = (A). Se
dice que no es atmica si A no tiene tomos. Demuestre que si no es atmica
y A 2 A con 0 < (A) < 1, entonces para todo > 0 existe B 2 A con B A y
0 < (B) < .
20. Sea = Q y A el lgebra denida en el Problema 25, pgina 25. Demuestre que la
medida de conteo es -nita en (A) pero no en A (vea Problema 14).
21. Sea ( ; A; ) un espacio de medida. Una aplicacin T : ! se dice que es medible
si para todo E 2 A, se tiene que T 1 (E) 2 A. La aplicacin medible T se dice que
preserva medida si (T 1 (E)) = (E) para todo E 2 A.
Sea T es una aplicacin que preserva medida en un espacio de medida nita y sea
E 2 A. Demuestre que casi todos los puntos de E son recurrentes, esto es, demuestre
que para casi todos los puntos x 2 E, se cumple que T n (x) 2 E para algn n 2 N.
37
22. Sea A la coleccin formada por ; y todos los subconjuntos singulares (singletons)
de . Dena ( ) = 1; ( ) = 0 y (E) = 1 si E es un singleton. Describa la
medida exterior correspondiente.
23. Sea
un conjunto innito no contable y sea A como en el Problema 22. Dena
( ) = 1 y (E) = 0 si E 6= . Describa la medida exterior correspondiente.
24. Demuestre que bajo las hiptesis de la Proposicin 80, (E)
(E) para todo
E 2 A. De un ejemplo en donde se produzca la desigualdad estricta.
25. Si A es una -lgebra y
E 2 A.
es una medida sobre A, entonces
(E) = (E) para todo
26. Sea un conjunto innito. Dena (A) en P ( ) como el nmero de puntos de A

si A es nito, en caso contrario dena (A) = 1. Demuestre que
es una medida
exterior en P ( ). Halle los conjuntos medibles.
27. Sea un conjunto no vaco. Dena ( ) = 0 y (A) = 1 si A 6= . Demuestre que
es una medida exterior en P ( ). Halle los conjuntos medibles.
28. Sea un conjunto innito no contable. Dena (A) = 0 si A es contable y (A) =
1 en caso contrario. Demuestre que
es una medida exterior en P ( ). Halle los
conjuntos medibles.
29. Sea B
y suponga que
es una medida exterior en . Dena (A) = (A\B).
Demuestre que
es una medida exterior en . Encuentre la relacin entre los
conjuntos medibles de
y .
30. Demuestre que si una medida exterior es aditiva entonces es contablemente aditiva.
31. Los siguientes son algunos ejemplos de funciones de conjuntos. Determine cules son
medidas exteriores:
a)
es arbitrario y x0 es un punto jo en
E (x0 ).
b)
es arbitrario. Dena
c)
= fx; yg con x 6= y. Dena
. Para E 2 P( ) dena
(E) =
(E) = 1 para todo E 2 P( ).
( ) = 0;
en P( ) como:
(fxg) =
(fyg) = 10;
( ) = 1:
d)
es un conjunto de 100 puntos. Estos 100 puntos forman una matriz de 10 10.
Si E es un subconjunto de , denamos (E) como el nmero de columnas
que contienen al menos un punto de E.
e)
= N. Si E es un subconjunto nito de N escribamos (E) para denotar

el nmero de puntos de E. Ahora, para un subconjunto arbitrario E de N,
denamos:
1
(E \ f1; 2; : : : ; ng):
(E) = l m sup
n!1 n
32. Demuestre que si

es.
son medidas exteriores en
, entonces
tambin lo
33. Si ( n ) es una sucesin de medidas exteriores en y (an ) es una sucesin

P de nmeros
positivos, entonces la funcin de conjuntos
denida por (E) = an n es una
medida exterior en .
Medida
38
34. Sea ( ; A) un espacio medible. Una funcin compleja de conjuntos : A ! C se

dice que es una medida compleja si es contablemente aditiva en A.
1
P
Si E =
Ek con Ek 2 A y E 2 A, diremos que (Ek ) es una particin para E.
k=1
Dena:
j j (E) = sup
1
X
k=1
j (Ek )j
(E 2 A)
en donde el supremo se toma sobre todas las posibles particiones de E. Demostraremos que j j es una medida positiva en A. Esta medida se conoce como la variacin
total de .
Sea (Ei ) una particin de E 2 A. Sean ti nmeros reales tales que ti < j j (Ei ).
Ahora cada Ei tiene una particin (Aij ) tal que:
1
X
j=1
j (Aij )j > ti .
Como (Aij ) con i; j = 1; 2; : : : es una particin de E, se tiene que:

1
X
ti
i=1
i;j
j (Aij )j
j j (E):
(3.7)
Tomando el supremo en el lado izquierdo de 3.7, sobre todas las posibles elecciones
de (ti ) se deduce que:
1
X
j j (Ei ) j j (E):
(3.8)
i=1
Para demostrar la otra desigualdad, denotemos por (Aj ) cualquier particin de E.

Entonces, para un j jo, (Aj \ Ei ) es una particin de Ei . Luego:
X
j
j (Aj )j =
X X
i
XX
i
(Aj \ Ei )
j (Aj \ Ei )j
Por lo tanto
j j (E)
X
i
XX
j
X
i
j (Aj \ Ei )j
j j (Ei ).
j j (Ei ).
(3.9)
De 3.8 y 3.9 se deduce que j j es contablemente aditiva.

Para medidas complejas se puede demostrar que j j es una medida real acotada,
esto es j j ( ) < 1. Nosotros no demostraremos esta armacin. El lector interesado
puede consultar Real and Complex Analysis de W. Rudin.
Captulo 4
EXTENSIN DE MEDIDAS
4.1.
El Teorema de Carathodory
Teorema 84 Suponga que es una medida -nita y nitamente aditiva en un lgebra

A de subconjuntos de . Entonces tiene una nica extensin a una medida en (A).
Demostracin. Como A es una familia secuencial de recubrimientos para , las
proposiciones 80 y 83 nos aseguran la existencia de un espacio de medida ( ; A ; ) en
donde A es la -lgebra de todos los conjuntos -medibles y
es la restriccin a A de
medida exterior inducida en por la medida . Para demostrar que
es una extensin
de bastar con probar que A A ya que entonces (A) A y por consiguiente
estar denida en (A). Note que y
coinciden en A ya que es una medida en A.
Sean entonces F 2 A y A
. Debemos demostrar que (A)
(A \ F ) +
(A \ F c ). Obviamente podemos suponer que (A) < 1. Si > 0 elijamos una sucesin
1
1
S
P
(En ) en A tal que A
En y
(En ) < (A) + . Entonces:
n=1
n=1
1
[
(A \ F )
Como
n=1
(En \ F )
1
X
n=1
(En \ F ) :
en A se deduce que:
(A \ F )
(En \ F ) ;
(4.1)
1
X
(En \ F c ) :
(4.2)
n=1
Anlogamente:
(A \ F c )
n=1
De 4.1 y 4.2 se obtiene nalmente que:

(A \ F ) +
1
X
1
X
(A \ F c )
=
n=1
1
X
(En \ F ) + (En \ F c )
(En )
n=1
<
(A) + :
es arbitrario se concluye que (A)

(A \ F ) + (A \ F c ). Esto demuestra
A .
Demostraremos ahora que la extensin de a (A) es nica. Supongamos que
es otra medida sobre (A) tal que = en A. Como es -nita en A, se tiene que
Como
que A
Extensin de Medidas
40
existe (An ) en A tal que
1
S
n=1
An con (An ) < 1 para todo n
1. Como A es un
lgebra, la sucesin (An ) puede ser considerada disjunta (ver Problema 17, pgina 36).
Para cada n 1 denamos:
n (A)
n (A)
Entonces
Entonces,
=
=
(A \ An ) ; A 2
(A \ An ) ; A 2
son medidas nitas en

C = fA 2
(A)
(A) .
(A) y coinciden en A pues
(A) :
n (A)
lo hacen.
n (A)g :
es una familia montona que contiene a A (ver Problema 5) y por lo tanto, de acuerdo a
la Proposicin 61 se deduce que (A) = C. Esto signica que n (A) = n (A) para todo
A 2 (A). Finalmente como:
=
1
X
n=1
se concluye que
4.2.
1
X
= ;
n=1
es nica. Esto termina la demostracin.
Completacin de Medidas
Denicin 85 Sea ( ; A; ) un espacio de medida. Diremos que es completa si para

todo A 2 A tal que (A) = 0, se cumple que B 2 A para todo conjunto B A.
Note que la medida construida en la Proposicin 83 es completa. Demostraremos
ahora que cualquier medida puede ser extendida a una medida completa.
Proposicin 86 Sea ( ; A; ) un espacio de medida. Denotemos por A la familia de
todos los conjuntos de la forma E [ N , en donde E 2 A y N es cualquier subconjunto de
algn conjunto en A de medida nula. Entonces A es una -lgebra que contiene a A y la
s
funcin denida por:
s
(E [ N ) = (E)
es una medida completa en A que extiende a la medida . Esta medida
completacin de .
se denomina la
Demostracin. Demostraremos en primer lugar que A es una

lgebra que
contiene a A. Sean E; A 2 A y sea N A con (A) = 0. Demostraremos que (E[N )c 2 A.
Note que:
E c A = E c \ Ac E c \ N c = (E [ N )c E c :
Luego E c A (E [ N )c E c , de donde se deduce que (E [ N )c = (E c A) [ M con

M A. Como E c A 2 A, se concluye que (E [ N )c 2 A.
Sea ahora En [ Nn 2 A; en donde Nn
An con (An ) = 0 y En ; An 2 A.
Entonces:
!
!
1
1
1
[
[
[
(En [ Nn ) =
En [
Nn :
n=1
Como
1
S
n=1
Nn
1
S
n=1
An con
n=1
1
S
n=1
En ;
1
S
n=1
An 2 A y
n=1
1
S
n=1
An
= 0, se deduce que A es
cerrada bajo uniones contables.

Que A A es evidente puesto que si E 2 A, entonces E = E [
2 A.
La Medida de Lebesgue
41
Demostraremos ahora que

E2 [ N2 , en donde E1 ; E2 2 A, N1
E1
est bien denida en A. Supongamos que E1 [ N1 =

A1 ; N2 A2 y (A1 ) = (A2 ) = 0. Entonces como:
E 1 [ N 1 = E2 [ N 2
E2 [ A2
se deduce que (E1 )

(E2 ). De modo similar se deduce que (E2 )
(E1 ) y por lo
s
s
tanto est bien denida en A. Como ( ) = 0, esto demuestra tambin que es una
extensin de .
Ahora, si En [ Nn 2 A es una sucesin como arriba, pero disjunta, entonces:
!
!
1
1
1
X
s X
s X
En [ N n
En [
Nn
=
n=1
n=1
1
X
En
n=1
=
=
1
X
n=1
1
X
n=1
(En )
s
n=1
(En [ Nn ).
s
Finalmente probaremos la completitud. Suponga que (E [ N ) = (E) = 0 en

donde N
A y A; E 2 A con (A) = 0. Entonces H E [ N implica H E [ A 2 A.
Como (E [ A) = 0, se concluye que H = [ H 2 A. Esto concluye la demostracin.
4.3.
La Medida de Lebesgue
Sea = R y sea A la familia formada por R y todos los subconjuntos de R de

n
P
la forma
(ak ; bk ], (uniones nitas y disjuntas de intervalos de la forma (a; b] ; ( 1; b]
k=1
y (a; 1), con a; b 2 R). Es claro que el lgebra A (ver Problema 8, pgina 24) es una
familia secuencial de recubrimientos para R. En A denamos la funcin de conjunto m,
conocida como funcin de longitud de intervalos, como 1 para intervalos no acotados y
para el caso de uniones disjuntas de intervalos acotados, la denimos por:
n
n
P
P
m(
(ak ; bk ]) =
(bk ak )
k=1
k=1
m( )
0:
Es posible demostrar que esta funcin de conjuntos m est bien denida y es una medida
-nita* en el lgebra A. Ahora bien, como la -lgebra generada por A es justamente
la -lgebra de Borel B(R) (ver Problema 10, pgina 24) el Teorema 84 nos asegura que
existe una nica extensin de m a la -lgebra de Borel B(R).
Denicin 87 La medida m denida en la -lgebra de Borel B(R) y que resulta de
extender de manera nica la funcin de longitud de intervalos por medio del teorema de
Carathodory desde el lgebra de intervalos A a la -lgebra de Borel B(R); se conoce como
la medida de Lebesgue. La extensin de esta medida, por medio de la Proposicin 86, al
lgebra completa B(R) tambin se conoce como la medida de Lebesgue y los elementos de
-lgebra B(R) se conocen como conjuntos Lebesgue medibles.
Corolario 88 Un conjunto Lebesgue medible es la unin de un conjunto de Borel y un
subconjunto de algn conjunto de Borel de medida de Lebesgue nula.
* Ver
Halmos, Measure Theory, seccin 8.
Extensin de Medidas
42
4.4.
Un conjunto que no es Lebesgue Medible
Sean x; y 2 R. Diremos que x es equivalente a y si y slo si x

el caso, escribiremos x v y. Esto es:
xvy
y 2 Q. Si este es
y 2 Q.
Es fcil vericar que la relacin v es una relacin de equivalencia en R (ver Problema

7). Esta relacin de equivalencia induce una particin de R en sus respectivas clases de
equivalencia. Sea ahora E un subconjunto del intervalo (0; 1) conteniendo exactamente un
punto de cada clase de equivalencia. Demostraremos que E no es Lebesgue medible. Para
esto necesitamos dos propiedades de E:
(a) Si x 2 (0; 1), entonces x 2 E + r para algn racional r 2 ( 1; 1) :
(b) Si r y s son dos racionales distintos, entonces (E + r) \ (E + s) = .
Para probar (a), note que para todo x 2 (0; 1) existe y 2 E tal que x v y. Si r = x y,
entonces x = y + r 2 E + r. Para probar (b), suponga que x 2 (E + r) \ (E + s). Entonces
x = y + r = z + s con y 2 E; z 2 E. Como y z = s r 6= 0, se deduce que y v z, y E
contendra dos puntos equivalentes, lo cual contradice nuestra eleccin de E.
Ahora, S
supongamos que E es Lebesgue medible y pongamos que m(E) = .
Denamos S = (E +r), en donde la unin se toma sobre todos los racionales r 2 ( 1; 1).
Por (b), la coleccin es disjunta. Como m es invariante bajo traslaciones (ver Problema
8) m(E + r) = para todo r. Como S ( 1; 2), se tiene que m(S) 3. Este resultado,
junto a la aditividad contable de m obliga a que = 0 y por ende a que m(S) = 0. Pero
(a) implica que (0; 1) S y en consecuencia m(S) 1. Esto es una contradiccin.
4.5.
La Medida de Lebesgue-Stieltjes
Denicin 89 Una medida de Lebesgue-Stieltjes en R es una medida

(I) < 1 para todo intervalo acotado I R.
en B(R) tal que
Denicin 90 Una funcin f : R ! R se dice que es una funcin de distribucin si es

creciente y continua por la derecha. Esto es, si cumple con:
(1) x < y =) f (x) f (y):
(2) l m+ f (x) = f (a) para todo a 2 R.
x!a
Proposicin 91 Sea f : R ! R una funcin de distribucin y sea (a; b] = f (b) f (a).

Entonces existe una nica extensin de a una medida de Lebesgue-Stieltjes en R.
Demostracin. Extienda de manera natural
a una medida contablemente
aditiva (aqu se requiere la continuidad por la derecha de la funcin de distribucin f )
sobre el lgebra A. Use ahora el teorema de Carathodory para extender a B (R). Es
claro que esta medida es de Lebesgue-Stieltjes pues (a; b] = f (b) f (a) < 1. Esto
Esta medida usualmente se denota por f (o mf ) para indicar que depende de
f.
La Medida de Lebesgue-Stieltjes
43
Problemas
1. Demuestre que C = f(a; b] : a; b 2 Rg es una familia secuencial de recubrimientos
para R.
2. Demuestre que todo subconjunto singular de R tiene medida de Lebesgue nula. Ms
an, demuestre que todo subconjunto contable de R tiene medida de Lebesgue nula.
3. Demuestre que los intervalos (a; b) ; [a; b] ; (a; b] y [a:b) tienen la misma medida b
a.
4. Demuestre que existen conjuntos Lebesgue medibles que no son borelianos. Ms

precisamente, si c es la cardinalidad de R, demuestre que hay 2c conjuntos Lebesgue
medibles y tan solo c conjuntos Borelianos.
5. Sea A una lgebra en y sean y dos medidas nitas en (A) tales que (A) =
(A) para todo A 2 A. Demuestre que la coleccin
C = fA 2 (A) : (A) = (A)g
es una familia montona que contiene a A. Concluya que C = (A).
6. Demuestre que en la Proposicin 86 se obtiene la misma -lgebra si en lugar de
tomar la unin en la denicin de la -lgebra A se toma la resta de conjuntos.
Demuestre el mismo resultado, pero ahora tomando la diferencia simtrica.
7. Sean x; y 2 R. Dena
xvy
()
y 2 Q:
Demuestre que la relacin v es una relacin de equivalencia, esto es, simtrica,

reexiva y transitiva.
8. Demuestre que la medida de Lebesgue es invariante bajo traslaciones, esto es, E
es Lebesgue medible si y slo si E + a es Lebesgue medible para todo a 2 R y
m(E) = m(E + a).
9. Dado
que
> 0, construya un conjunto abierto E
[0; 1] que sea denso en [0; 1] y tal
m(E) < :
10. El conjunto de Cantor. Considere la siguiente sucesin de conjuntos cerrados:
F1
F2
F3
= [0; 1]
= [0; 1=3] [ [2=3; 1]
= [0; 1=9] [ [2=9; 1=3] [ [2=3; 7=9] [ [8=9; 1]
En esta sucesin, cada conjunto Fn+1 se forma eliminando el tercio central de cada
uno de los intervalos cerrados que forman el conjunto Fn . El conjunto de Cantor se
dene por:
1
\
F =
Fn :
n=1
Demuestre que la medida de Lebesgue de este conjunto es nula a pesar que F y R

tienen la misma cardinalidad.
Extensin de Medidas
44
11. Sea E
R un conjunto de medida exterior nita. Demuestre que para todo
existe un conjunto abierto G conteniendo a E y tal que
>0
m(G) < m (E) + :

12. Sea f : [a; b] ! R una funcin montona. Demuestre que f es Lebesgue medible
(vea denicin del concepto de Lebesgue medible en el siguiente captulo).
13. Sea E un subconjunto de R, demuestre que las siguientes condiciones son equivalentes:
a) E es medible.
b) Para todo > 0, existe un conjunto abierto G tal que E
m (G E) < :
G y cumple con
c) Para todo > 0, existe un conjunto cerrado F tal que F

m (E F ) < :
E y cumple con
Captulo 5
INTEGRACIN
5.1.
Funciones medibles
Denicin 92 Sean ( ; A) y ( ; B) dos espacios medibles y f :

!
una funcin
arbitraria. Diremos que la funcin f es medible si la imagen inversa de todo conjunto
medible en est en A. Esto es:
f medible
(B) 2 A para todo B 2 B:
La notacin f : ( ; A) ! ( ; B) medible, signicar que f :

medible respecto a las correspondientes -lgebras.
y que f es
Denicin 93 Sea ( ; A) un espacio medible e (Y; ) es un espacio topolgico. Diremos

que f es Borel medible si f : ( ; A) ! (Y; B( )) es medible. En el caso que Y sea un
subconjunto de Borel en R o en R con la topologa relativa usual, hablaremos simplemente
de funciones medibles, pero se entender que se trata de funciones Borel medibles.
Proposicin 94 Sea ( ; A) un espacio medible e (Y; ) es un espacio topolgico. Sea f :
( ; A) ! (Y; B( )). Entonces:
f es Borel medible
(G) 2 A para todo G 2 .
(5.1)
Demostracin. Si f es Borel medible es inmediato que se cumple la condicin

indicada. Supogamos ahora que se cumple la condicin. Denamos como C la coleccin de
todos los E
Y tales que f 1 (E) 2 A. De acuerdo al Problema 7, pgina 24, C es una
-lgebra en Y y la condicin indicada en 5.1 implica que
C. Como B( ) es la menor
-lgebra que contiene a , se concluye que B( ) C. Esto termina la demostracin.
Ejemplo 95 Sean (X;
continua. Entonces:
1)
e (Y;
2)
dos espacios topolgicos y f : X ! Y una aplicacin
f : (X; B( 1 )) ! (Y; B( 2 ))
es Borel medible. Esto es inmediato de la proposicin anterior puesto que el hecho que f
sea continua implica que para todo G 2 2 ,
f
(G) 2
B( 1 ):
Ejemplo 96 Sea ( ; A) un espacio medible y sean (Y;

cos. Considere las siguientes funciones:
f
g
:
:
1)
y (Z;
2)
dos espacios topolgi-
( ; A) ! (Y; B( 1 )) y
(Y; 1 ) ! (Z; 2 ) :
Suponga que f es Borel medible y que g es continua. Entonces g f es Borel medible.
Integracin
46
Proposicin 97 Sea ( ; A) un espacio medible. Entonces f : ( ; A) ! R; B R es

medible si y slo si
f 1 (( ; 1]) 2 A para todo 2 R.
(5.2)
Demostracin. Denamos como C la coleccin de todos los E
R tales que
f 1 (E) 2 A. De acuerdo al Problema 7, pgina 24, C es una -lgebra en R y la condicin
5.2 implica que ( ; 1] 2 C para todo 2 R. Elija un nmero real y una sucesin de
reales ( n ) tal que n < y n ! . Como ( n ; 1] 2 C y,
[ 1; ) =
1
[
n=1
[ 1;
n]
1
[
n=1
c
n ; 1]
se deduce que [ 1; ) 2 C. Lo mismo es cierto de:

( ; ) = [ 1; ) \ ( ; 1] :
Como B R es la menor -lgebra que contiene a todos estos intervalos, se deduce
que B R
C. Esto termina la demostracin.
Proposicin 98 Sea fn : ( ; A) ! [ 1; 1] una sucesin de funciones medibles. Dena:
g(x) = sup fn (x);
h(x) = l m sup fn (x);

n!1
n 1
entonces g y h son medibles.

Demostracin. Observe que g
(( ; 1]) =
1
S
n=1
fn 1 (( ; 1]). Por lo tanto, de
acuerdo a la Proposicin 97, se tiene que g es medible. Obviamente el mismo resultado se

obtiene si reemplazamos sup por nf en el enunciado de la proposicin. Ahora como:
(
)
h(x) = nf
k 1
sup fj
j k
se sigue que h es medible. Esto termina la demostracin.

Corolario 99 Si f; g : ( ; A) ! [ 1; 1] son dos funciones medibles, entonces tambin
lo son max ff; gg y m n ff; gg. En particular son medibles:
f + = max ff; 0g y f
m n ff; 0g :
Estas funciones f + y f se denominan respectivamente, parte positiva y parte negativa

de f y cumplen con las siguientes propiedades:
jf j = f + + f
f = f+ f .
Proposicin 100 Sean f; g : ( ; A) ! R dos funciones medibles. Sea F : R
una funcin continua. Entonces la funcin:
h(x) = F (f (x); g(x))
es medible. En particular f + g y f g son medibles.
(x 2 )
R!R
Funciones Simples
47
Demostracin. Sea
G = f(u; v) : F (u; v) > g :
Como F es continua, G es un subconjunto abierto de R
G =
1
[
R y podemos escribir:
Rn
n=1
en donde Rn son rectngulos abiertos de la forma (an ; bn ) (cn ; dn ) :

Ahora bien, para demostrar que h es medible, de acuerdo a la Proposicin 97,
basta demostrar que h 1 (( ; 1]) 2 A para todo 2 R. Pero:
h
(( ; 1])
= fx : h(x) > g = fx : F (f (x); g(x)) > g

(
= fx : (f (x); g(x)) 2 G g =
=
=
1
[
n=1
1
[
n=1
x : (f (x); g(x)) 2
1
[
Rn
n=1
fx : (f (x); g(x)) 2 Rn g
(fx : f (x) 2 (an ; bn )g \ fx : g(x) 2 (cn ; dn )g) :
Como los conjuntos fx : f (x) 2 (an ; bn )g y fx : g(x) 2 (cn ; dn )g son medibles, entonces
h 1 (( ; 1]) es medible. Esto termina la demostracin.
5.2.
Funciones Simples
Denicin 101 Una funcin s : ! [0; 1) cuyo rango consiste de un nmero nito de
puntos se denominar funcin simple.
Si 1 ; 2 ; : : : ; n son todos los valores que asume s (slo valores distintos) y si
denimos Ak = fx 2 : s(x) = k g, entonces es fcil ver que:
s=
n
X
k Ak ;
(5.3)
k=1
en donde Ak es la funcin caracterstica de Ak . Si ( ; A) es un espacio medible, entonces

s es medible si y slo si todos los conjuntos Ak son medibles. Cada vez que escribamos s
como en la Ecuacin 5.3, supondremos que los valores k y los conjuntos Ak son como
en esta denicin.
Proposicin 102 Sea f : ( ; A) ! [0; 1] una funcin medible. Entonces existe una
1
sucesin de funciones simples y medibles (sn )n=1 tales que:
(1) 0 s1 s2
f:
(2) sn (x) ! f (x) para n ! 1, para todo x 2 .
Demostracin. Para n = 1; 2; 3; : : : ; y para 1
En;i = f
1
2n
Denamos:
i
2n
y Fn = f
sn =
n2
X
i
i=1
1
2n
En;i
+n
n2n , denamos:
Fn .
([n; 1]).
Integracin
48
Como los conjuntos En;i y Fn son medibles, se deduce que sn son funciones simples
1
medibles. Es claro que la sucesin (sn )n=1 satisface la condicin (1):
Ahora, si x es tal que f (x) < 1, entonces sn (x)
f (x) 2 n para todo n
sucientemente grande; si f (x) = 1, entonces sn (x) = n. Esto demuestra (2). Esto
Proposicin 103 Sean f; g : ( ; A) ! [0; 1] dos funciones medibles. Entonces f + g y
f g son medibles.
Demostracin. Sean (sn ) y (tn ) dos sucesiones de funciones simples medibles,
como en la Proposicin 102, asociadas a f y g respectivamente. Esto es:
0
s1
0
s2
t1
t2
: : : f; y sn (x) ! f (x) para todo x 2 y

: : : g; y tn (x) ! g(x) para todo x 2 :
Entonces es claro* que para todo x 2
se tiene:
sn (x) + tn (x) ! f (x) + g(x) y sn (x)tn (x) ! f (x)g(x):
(5.4)
Como sn + tn y sn tn son funciones simples medibles, se deduce de la Proposicin 98 que

f + g y f g son medibles. Esto termina la demostracin.
Nota 104 Observe que en la proposicin anterior aparece la suma f (x)+g(x) y el producto f (x)g(x). Como el rango de f y g es el intervalo extendido [0; 1] podra muy bien darse
el caso que esta suma y este producto den origen a expresiones del tipo 1 + 1; a + 1;
1 1, 0 1 a 1 con a real positivo. Debido a esto y a otras razones que veremos pronto (ver Denicin 107), se hace necesario denir este tipo de expresiones. Las siguientes
deniciones, entre otras buenas cualidades, hacen que efectivamente la conclusin 5.4 se
correcta:
Denicin 105 Si 1 < a < 1, se dene a 1 = 1 + a = 1. No deniremos la
expresin 1 1 ni 1 + 1.
Por otro lado, denimos:
8
< 1 Si 0 < a 1
1 Si
1 a<0
a ( 1) = ( 1) a =
:
0
Si a = 0.
Corolario 106 Sean f; g : ( ; A) ! [ 1; 1] funciones medibles. Suponga que f + g y

f g estn bien denidas. Entonces f + g y f g son medibles.
Demostracin. Basta observar que h
0 medible implica
Aplique ahora la Proposicin 103 y el Corolario 99.
5.3.
h es medible.
Integracin de Funciones Positivas
Denicin 107 Sea ( ; A; ) un espacio de medida y sea s una funcin simple y medible
de la forma:
n
X
s=
k Ak :
k=1
* Vea
nota y denicin siguiente.
Integracin de Funciones Positivas

Si E 2 A, se dene:
49
sd =
n
X
(Ak \ E):
k=1
La convencin 0 1 = 0 debe ser considerada en esta denicin. Podra suceder que

k = 0 para algn k y que justamente (Ak \ E) = 1.
Denicin 108 Si f : ( ; A; ) ! [0; 1] es una funcin medible y E 2 A, se dene:
Z
Z
f d = sup
sd ,
E
en donde el supremo se toma sobre todas las funciones simples medibles tales que 0
f . Esta integral se conoce como la integral de Lebesgue de f respecto a .
Note que, aparentemente, tenemos dos deniciones para la integral de f en el caso

que f sea una funcin simple medible, sin embargo es claro que ambas deniciones dan el
mismo resultado.
Proposicin 109 La integral dada en la Denicin 108, cumple con las siguientes propiedades. Las funciones y conjuntos queR aparecen Ra continuacin se supone que son medibles:
(a) Si 0 f g, entonces E f dR
g dR :
E
(b) Si A B y f 0, entonces A f Rd
f d R:
B
(c) Si f 0, y 0 c 1, entonces E cf dR = c E f d :
(d) Si f (x) = 0 para todo xR 2 E, entonces E f d = 0.
(e) Si (E) = 0, entonces
f d R = 0.
E
R
(f ) Si f 0, entonces E f d =
Ef d :
Demostracin. (a), (b), (d)

R y (e) se deducen directamente de la denicin. Para
(c) consideremos dos casos (i) Si E f d = 0; entonces por Problema 8, se deduce que
fR = 0 c.t.p. sobre E y ambos lados son nulos independientemente del valor de c. (ii) Si
f d > 0 y 0 < c < 1, entonces el resultado se deduce del hecho que una funcin
E
simple s cumple con 0 s f si y slo si la funcin simple cs cumple con 0 cs cf . Si
c = 0 el resultado es evidente. Finalmente si c = 1 es claro que ambos lados son iguales
a 1. Para (f) ver Problema 9.
Lema 110 Sea ( ; A; ) un espacio de medida y sean s y t dos funciones simple medibles
en . Si E 2 A, denamos:
Z
'(E) =
sd :
E
Entonces ' es una medida sobre A. Adems:

Z
Z
Z
(s + t) d =
sd +
td :
Demostracin. Sea s =
miembros de A, entonces si E =
'(E)
n
X
n
P
k=1
1
X
k Ak .
(5.5)
Sea E1 ; E2 ; : : : ; una sucesin disjunta de
Ej , la aditividad contable de
implica que:
j=1
k=1
1 X
n
X
j=1 k=1
(Ak \ E) =
k
n
X
k=1
(Ak \ Ej ) =
1
X
j=1
1
X
(Ak \ Ej )
'(Ej ):
j=1
Integracin
50
Como '( ) = 0, entonces ' es una medida sobre A.

Ahora demostraremos la segunda parte del lema. Sea s como antes y suponga que
m
P
t=
k Bk . Sea:
k=1
Eij = Ai \ Bj ,
entonces:
Z
(s + t) d = (
j)
(Eij ) =
(Eij ) +
(Eij ) =
Eij
sd +
Eij
td :
Eij
Por lo tanto la Ecuacin 5.5 se cumple con Eij en lugar de . Como es la unin disjunta
de estos conjuntos Eij con 1 i n; 1 j m, la primera parte del Lema implica que
se cumple la Ecuacin 5.5. Esto termina la demostracin.
5.4.
El Teorema de la Convergencia Montona de Lebesgue
El siguiente teorema, por razones obvias, se conoce como el teorema de la convergencia montona de Lebesgue:
Teorema 111 Sea fn : ( ; A; ) ! [0; 1] una sucesin de funciones medibles. y suponga
que:
(1) 0 f1 (x) f2 (x)
1 para todo x 2 .
(2) fn (x) ! f (x) cuando n ! 1, para todo x 2 .
Entonces f es medible y,
Z
Z
fn d !
fd
cuando n ! 1.
Demostracin. Como
fn d
Z
fn+1 d , existe
2 [0; 1] tal que:
fn d ! .
RPor Proposicin 98, f es medible. Por otro lado, como fn

f d , esto implica que:
R
fd :
f , se tiene que
fn d
(5.6)
Para terminar la demostracin bastar probar la desigualdad inversa en 5.6.

Sea s una funcin simple medible tal que 0
s
f . Sea c una constante,
0 < c < 1. Para cada n 2 N dena:
En = fx : fn (x)
Entonces cada En es medible, E1 E2 E3
Z
Z
fn d
fn d
En
cs(x)g :
,y
Z
c
En . Ahora observe que:
sd :
En
Ahora si hacemos tender n ! 1; de acuerdo al Lema 110, podemos usar la Proposicin

69 (3) y obtendramos que:
Z
c
sd :
(5.7)
Como la Ecuacin 5.7 es cierta para todo c < 1, se obtiene que:
Z
sd :
El Teorema de la Convergencia Montona de Lebesgue

Finalmente, como s
51
f es arbitrario, se concluye que:

Z
fd :

Corolario 112 Sea fn : ( ; A; ) ! [0; 1] una sucesin de funciones medibles. Entonces
1
P
la funcin
fn (x) es medible en y,
n=1
Z X
1
fn (x) d =
n=1
1 Z
X
fn (x) d :
n=1
Demostracin. Sean (sn ) y (tn ) sucesiones de funciones simples medibles tales

que sn ! f1 y tn ! f2 como en la Proposicin 102. Si un = sn +tn entonces un ! f1 +f2 .
Aplicando el teorema de la convergencia montona, Teorema 111, se deduce que:
Z
Z
un d !
(f1 + f2 ) d :
(5.8)
Pero, de acuerdo al Lema 110, se tiene que:
Z
Z
Z
Z
Z
Z
un d =
(sn + tn ) d =
sn d +
tn d !
f1 d +
f2 d :
(5.9)
Como el lmite es nico, de 5.8 y 5.9 se deduce que:

Z
Z
Z
(f1 + f2 ) d =
f1 d +
f2 d :
Ahora aplicando induccin, para todo N 2 N se tiene:
Z X
N
fn (x) d =
N
P
n=1
implica que:
fn (x) "
1
P
n=1
fn (x) d
(5.10)
n=1
n=1
Pero como
N Z
X
fn (x) para N ! 1, el teorema de la convergencia montona

Z X
N
fn (x) d !
N Z
X
fn (x) d !
n=1
Z X
1
fn (x) d :
(5.11)
1 Z
X
fn (x) d
(5.12)
n=1
Por otro lado, por simple denicin, se tiene que:
n=1
n=1
Usando nuevamente el argumento de la unicidad del lmite de una sucesin (note que,
de acuerdo a 5.10, las sucesiones en 5.11 y 5.12 son iguales) de 5.11 y 5.12 se deduce
nalmente que:
Z X
1
1 Z
X
fn (x) d =
fn (x) d :
n=1
n=1
Integracin
52
Corolario 113 Sea f : ( ; A; ) ! [0; 1] una funcin medible. Entonces:

Z
(E) =
fd ;
(5.13)
es una medida sobre A y para toda funcin medible g con rango en [0; 1] ; se tiene:
Z
Z
gd =
gf d :
(5.14)
Demostracin. La demostracin de que es una medida es consecuencia del
Corolario 112 (ver Problema 10).
Para demostrar la segunda parte observe que 5.13 implica que 5.14 es vlido para
toda funcin caracterstica g = E y por ende es vlido para toda funcin simple s. Ahora
si s1
s2
g es una sucesin de funciones simples que converge a g se tiene que
sn f " gf y por lo tanto, de acuerdo al teorema de la convergencia montona de Lebesgue,
se tiene:
Z
Z
Z
Z
Z
Z
gd =
l m sn d = l m
sn d = l m
sn f d =
l m sn f d =
gf d :
n!1
n!1
n!1
n!1

5.5.
El Lema de Fatou
La siguiente proposicin se conoce como Lema de Fatou:
Proposicin 114 Sea fn : ( ; A; ) ! [0; 1] una sucesin de funciones medibles. Entonces:

Z
Z
l m inf fn d
l m inf
fn d .
n!1
n!1
Demostracin. Para cada n 2 N y cada x 2 , denamos:

gn (x) = nf fk (x):
k n
Como gn
fn , se tiene que:
Observe ahora que 0
g1
g2
gn d
fn d :
(5.15)
y gn (x) ! l m inf fn (x). Aplicando el teorema de la

n!1
convergencia montona de Lebesgue a la sucesin (gn ), se tiene:

Z
Z
lm
gn d =
l m inf fn d :
n!1
Por otro lado de 5.15 se obtiene:

l m inf
n!1
n!1
gn d
l m inf
n!1
fn d :
(5.16)
(5.17)
Comparando 5.16 y 5.17 (recuerde que si una sucesin tiene lmite, entonces este lmite
es igual al lmite inferior y al superior), se concluye que:
Z
Z
l m inf fn d
l m inf
fn d :
n!1
n!1
El Lema de Fatou
53
Denicin 115 Sea f : ( ; A; ) ! [ 1; 1] una funcin medible. De acuerdo al Corolario 99, las funciones f + y f son medibles. Para E 2 A, denamos:
Z
Z
Z
fd =
f+ d
f d ;
(5.18)
E
siempre que al menos una de las integrales en el lado derecho de 5.18 sea nita.
Por otro lado y de acuerdo al Ejemplo 96, la funcin jf j es medible ya que es la
compuesta de f con la funcin valor absoluto que es continua. Diremos entonces que f es
una funcin integrable si:
Z
jf j d < 1:
R
Note que, en el caso en que f es integrable, la integral E fR d est bien denida
y es un
R
nmero real, puesto que f + jf j y f
jf j y por lo tanto E f + d < 1 y E f d < 1:
Corolario 116 Sea fn : ( ; A; ) ! [ 1; 1] una sucesin de funciones medibles. Suponga que existe una funcin integrable g tal que fn g para todo n. Entonces:
Z
Z
l m sup fn d
l m sup
fn d .
n!1
n!1
Demostracin. Sea hn = g fn . Entonces hn : ( ; A; ) ! [0; 1] y podemos

aplicar el lema de Fatou a la sucesin (hn ). As se tiene:
Z
Z
l m inf hn d
l m inf
hn d ;
n!1
pero entonces:
Z
gd
Simplicando por
demostracin.
l m sup fn d
n!1
n!1
Z
l m inf (g fn ) d =
l m inf hn d =
n!1
n!1
Z
Z
l m inf
hn d = l m inf
(g fn ) d
n!1
n!1
Z
Z
=
gd
l m sup
fn d :
=
g d se obtiene
n!1
l m sup fn d
l m sup
n!1
n!1
fn d : Esto termina la
Proposicin 117 Sea f : ( ; A; ) ! [ 1; 1] una funcin integrable. Entonces, para

todo E 2 A se tiene:
Z
Z
fd
jf j d :
E
Demostracin. Observe que:

Z
Z
Z
fd =
f+ d
f d
E
Anlogamente:
Z
Por lo tanto:
fd =
f+ d
f d
jf j d
f+ d
f d
fd
jf j d :
jf j d :
jf j d :
Integracin
54
5.6.
El Teorema de la Convergencia Dominada de Lebesgue
El siguiente teorema se conoce como el teorema de la convergencia dominada de

Lebesgue:
Teorema 118 Sea fn : ( ; A; ) ! [ 1; 1] una sucesin de funciones medibles tales
que:
f (x) = l m fn (x)
n!1
existe para todo x 2 . Suponga que existe una funcin integrable g tal que:
jfn (x)j
g(x) para todo n 2 N y para todo x 2 .
Entonces f es integrable y,
lm
n!1
y
lm
n!1
jfn
f j d = 0;
fn d =
(5.19)
fd :
(5.20)
Demostracin. Como jf j
g y f es medible, se deduce que f es integrable.
Como jfn f j 2g, una aplicacin del Lema de Fatou a la funcin 2g jfn f j, nos da:
Z
Z
(2g jfn f j) d
2g d
l m inf
n!1
Z
Z
=
2g d + l m inf
jfn f j d
n!1
Z
Z
=
2g d
l m sup
jfn f j d
:
Como
n!1
2g d es nito, se puede sustraer de ambos lados, obteniendo:

Z
l m sup
jfn f j d
0:
n!1
Evidentemente este resultado implica 5.19.

Por otro lado, de acuerdo a la Proposicin 5.20, se tiene:
Z
Z
Z
Z
jfn
(fn f ) d
fn d
fd =
fj d
Por lo tanto 5.19.implica 5.20. Esto termina la demostracin.
5.7.
Comparacin con la integral de Riemann
El siguiente teorema cuya demostracin no daremos (ver Problema 28) muestra

que la integral de Lebesgue es una extensin natural de la integral de Riemann. Sea el
intervalo [a; b] con la -lgebra M de los conjuntos Lebesgue medibles de [a; b] y dx la
Rb
medida de Lebesgue. Usaremos la notacin a f dx para escribir la integral de Lebesgue
Rb
en el intervalo [a; b] y R a f dx para la correspondiente integral de Riemann..
Teorema 119 Sea f : [a; b] ! R una funcin real acotada. Entonces:

(a) f es Riemann integrable en [a; b] si y slo si f es continua c.t.p. en [a; b] :
(b) Si f es Riemann integrable en [a; b], entonces f es Lebesgue integrable en [a; b]
y,
Z b
Z b
f dx = R
f dx
a
55
Problemas
1. Sean f; g : ( ; A; ) ! [ 1; 1] dos funciones medibles. Demuestre que los conjuntos:
A = fx : f (x) = g(x)g ;
B = fx : f (x) < g(x)g ;
C = fx : f (x)
g(x)g ;
son todos medibles.

2. Sea ( ; A) un espacio medible y E 2 A. Demuestre que f (x) =
E (x)
es medible.
3. Sea f : ( ; A; ) ! [ 1; 1]. Demuestre que cada una de las siguientes cuatro

condiciones implica las otras tres:
fx : f (x) >
fx : f (x)
fx : f (x) <
fx : f (x)
g
g
g
g
es
es
es
es
medible
medible
medible
medible
para
para
para
para
todo
todo
todo
todo
2 R.
2 R.
2 R.
2 R.
4. Sea f : ( ; A; ) ! [ 1; 1] una funcin medible. Demuestre que jf j es medible

usando la denicin.
5. Suponga que f : ( ; A; ) ! [ 1; 1] es medible y
Demuestre que si f = g c.t.p., entonces g es medible.
es una medida completa.
6. Sean ( ; A; ) y ( ; B; ) dos espacios medibles con medida completa y f; g : !

funciones tales que f es medible. Demuestre que si f = g c.t.p., entonces g es
medible.
7. Sea fn : ( ; A; ) ! [ 1; 1] una sucesin de funciones medibles. Demuestre que
el conjunto:
1
A = fx : (fn (x))n=1 convergeg
es un conjunto medible.
8. Sea f : ( ; A; ) ! [0; 1] medible, E 2 A. Suponga que
f = 0 c.t.p. sobre E.
fd
= 0. Entonces
9. Demuestre la Proposicin 109 (f).

10. Sea f : ( ; A; ) ! [0; 1] medible y sea (E) =
medida en .
f d . Demuestre que
11. Sea f : ( ; A; ) ! [ 1; 1] una funcin integrable. Suponga que

todo E 2 A. Entonces f = 0 c.t.p. sobre .
es una
f d = 0 para
12. Suponga que f; g : ( ; A; ) ! [ 1; 1] Rson medibles

con f = g c.t.p. Entonces f
R
integrable implica que g es integrables y f d = g d :
13. Suponga que f : ( ; A; ) ! [ 1; 1] es integrable. Demuestre que fx : f (x) 6= 0g

es -nito.
14. Sea
R
-lgebra discreta y la medida del conteo. Demuestre que f :

1
P
! [ 1; 1] es integrable si y slo si
jf (n)j es convergente. En este caso
= N con la
fd =
1
P
n=1
n=1
f (n).
Integracin
56
15. Use el Corolario 112 aplicado al espacio N con la -lgebra usual y la medida de
conteo, para demostrar que para toda sucesin doble (aij ) de nmeros positivos, se
cumple:
1 X
1
1 X
1
X
X
aij =
aij :
i=1 j=1
j=1 i=1
16. Sea f : ( ; A; ) ! [ 1; 1] una funcin integrable con ( ) < 1. Sea F un

subconjunto de R cerrado y no vaco. Suponga que:
Z
1
fd 2F :
(8E 2 A)
(E) > 0 )
(A) E
Entonces f (x) 2 F c.t.p. sobre
17. Sea f : ( ; A; ) ! [0; 1] una sucesin decreciente de funciones medibles tales que
fn (x) ! f (x) para todo x 2 . Suponga que f1 es integrable. Demuestre que:
Z
Z
lm
fn d =
fd :
n!1
18. Sea (fn ) una sucesin de funciones continuas en [0; 1] tal que 0 fn
R1
que fn (x) ! 0 para todo x 2 [0; 1]. Demuestre que l m 0 fn d = 0.
1. Suponga
n!1
19. Usando el teorema de la convergencia montona de Lebesgue demuestre que:

Z n
x n x=2
e dx = 2
lm
1
n!1 0
n
Z n
x n 2x
lm
1+
e
dx = 1:
n!1 0
n
20. Sea fn = E si n es impar y fn = 1
esta sucesin respecto al lema de Fatou?
si n es par. Cual es la importancia de
21. Suponga que ( ; A; ) es un espacio de medida. Demuestre que es

slo si existe funcin integrable f tal que f (x) > 0 para todo x 2 .
-nita si y
22. Sea fn : ( ; A; ) ! R una sucesin de funciones medibles y acotadas que convergeR uniformemente
a la funcin f . Suponga que ( ) < 1. Demuestre que
R
lm
fn d =
fd :
n!1
23. Sea = N con la -lgebra discreta y la medida del conteo. Considere la sucesin
(fn ) denida por:
1=n Si 1 k n
fn (k) =
0
Si k > n:
R
Demuestre
que esta sucesin converge uniformemente a f = 0, sin embargo l m fn 6=
R
f . Compare con el problema anterior.
24. Sea = N con la -lgebra discreta y la medida del conteo. Considere la sucesin
(fn ) denida por:
1=k Si 1 k n
fn (k) =
0
Si k > n:
(a) Demuestre que esta sucesin converge uniformemente a la funcin f (k) = 1=k; k 2
N.
(b) Demuestre que cada fn es integrable, pero f no lo es.
57
25. Convergencia casi uniforme.

Una sucesin fn : ( ; A; ) ! [ 1; 1] de funciones medibles y reales c.t.p. se dice
que converge casi uniformemente a una funcin medible f si para todo > 0, existe
un conjunto medible E
con (E) < tal que (fn ) converge a f de manera
uniforme en
E. Demuestre que la sucesin (fn ) converge puntualmente a f casi
en todas partes (en ).
26. El teorema de Egoro .
Suponga que la sucesin fn : ( ; A; ) ! [ 1; 1] de funciones reales c.t.p. converge
puntualmente (tambin c.t.p.) a una funcin medible f y real c.t.p. Entonces si
( ) < 1 se tiene que (fn ) converge casi uniformemente a f .
27. Convergencia en medida.
Una sucesin fn : ( ; A; ) ! [ 1; 1] de funciones medibles y reales c.t.p. se dice
que converge en medida a una funcin medible f si para todo > 0,
lm
n!1
(fx : jfn (x)
f (x)j
g) = 0:
Demuestre:
a) El lmite es nico c.t.p.
b) Convergencia casi uniforme ) convergencia en medida.
28. Demuestre que si f : [a; b] ! R es una funcin acotada y Riemann integrable,
entonces f es continua c.t.p. en [a; b].
29. Resuelva el Problema 8, pgina 35 usando integracin del siguiente modo: dena A
como el conjunto de los puntos x que estn en innitos An . Hay que demostrar que
1
P
(A) = 0. Para este efecto dena g(x) =
), en donde An es la
An (x), (x 2
n=1
funcin caracterstica de An y observe que x 2 A si y slo si g(x) = 1.

R
30. Sea f : ( ; A; ) ! [0; 1] una funcin integrable con 0 <
f d = c < 1. Sea
una constante. Demuestre que:
8
Z
< 1 Si 0 < < 1
f
c
Si = 1
lm
n ln 1 +
d =
n!1
:
n
0 Si 1 < < 1:
31. Sea,
fn (x) =
n
0
Si 0 x < 1=n
Si 1=n x 1
Demuestre que l m fn (x) = 0 c.t.p. en [0; 1], sin embargo l m
R1
n!1 0
n!1
la medida de Lebesgue). Este ejemplo muestra que la condicin jfn j

teorema de la convergencia dominada de Lebesgue no es superua.
32. Sea ( ; A; ) un espacio medible y (
g dada en el
; A0 ) un espacio de medida. Suponga que:
f : ( ; A) ! (
es medible. Demuestre que:
fn dm = 1 (m
; A0 )
Integracin
58
(a)
: A0 ! [0; 1] denida por:

0
(E 0 ) = f
(E 0 ) =
(E 0 )
(E 0 2 A0 )
es una medida sobre A0 :

(b) Suponga que g :
! [0; 1] es medible. Entonces:

Z
Z
gd f 1 =
(g f ) d :
(5.21)
(c) Suponga que g : 0 ! [ 1; 1] es medible. Entonces g es

si g f es -integrable y en este caso tambin rige 5.21.
-integrable si y slo
33. Demuestre que la funcin f (x) = sin x + cos x no es Lebesgue integrable en R.

34. Demuestre que la funcin f (x) = (sin x)=x no es Lebesgue integrable en (1; 1).
35. Demuestre que la funcin f (x) = 1=x no es Lebesgue integrable en (0; 1).
36. Considere la funcin denida en [0; 1] por:
f (x) =
1=m Si x = n=m (fraccin irreducible) con m; n 2 N.

0
Si x es irracional.
Demuestre que f es Lebesgue integrable. Halle
R1
0
f (x) dx.
37. Sea f : ( ; A; ) ! [0; 1] una funcin integrable y

A 2 A, (A) < 1 y tal que:
Z
Z
fd
fd < :
> 0. Demuestre que existe
38. Sea ( ; A; ) un espacio de medida tal que ( ) < 1 y f : ( ; A; ) ! R una

funcin medible. Sea:
An = fx : n 1 jf (x)j < ng :
P
Entonces f es integrable si y slo si
n (An ) < 1.
39. Sean f; g : ( ; A; ) ! [ 1; 1] funciones medibles. Demuestre:
f y g integrables
2
f 2 + g2
f y g integrables
1=2
integrable.
f g integrable.
Captulo 6
LOS ESPACIOS LP
6.1.
Funciones Convexas
Denicin 120 Suponga que 1 a < b 1. Entonces ' : (a; b) ! R se dice que es
una funcin convexa si para todo par de reales x; y 2 (a; b) y 2 (0; 1) se tiene:
'((1
)x + y)
(1
)'(x) + '(y):
(6.1)
Gracamente la condicin establece que para todo t 2 (x; y) el punto (t; '(t)) debe estar
sobre o debajo del segmento lineal que une los puntos (x; '(x)) e (y; '(y)).
Ejemplo 121 Dos ejemplos tpicos de funciones convexas, la primera denida en R y la
segunda en (0; 1) son '(x) = exp(x) = ex y '(x) = xp con p 1.
Lema 122 ' : (a; b) ! R es convexa si y slo si:
'(t)
t
'(u)
u
'(s)
s
'(t)
t
(6.2)
para todo s; t y u tales que a < s < t < u < b.

Demostracin. Ver Problema 2.
Ejemplo 123 Si ' : (a; b) ! R es diferenciable, entonces ' es convexa si y slo si '0 es
montonamente creciente, esto es a < s < t < b implica que '0 (s) '0 (t):
Proposicin 124 Si ' : (a; b) ! R es convexa, entonces ' es continua.
Demostracin. Ver Problema 1.
6.2.
La Desigualdad de Jensen
Proposicin 125 Sea ( ; A; ) un espacio de medida tal que ( ) = 1 y f :

una funcin integrable. Entonces si ' : (a; b) ! R es convexa, se tiene que:
Z
Z
'
fd
(' f ) d :
! (a; b)
Nota 126 Las cantidades a y b pueden ser reales extendidos.

R
Demostracin. Pongamos t =
f d . Entonces a < t < b. Si es el supremo
de los cuocientes del lado izquierdo en 6.2 para a < s < t, entonces no es mayor que
ninguno de los cuocientes del lado derecho para u 2 (t; b). De aqu se sigue que:
'(s)
'(t) + (s
t)
(a < s < b):
Los Espacios Lp
60
Por lo tanto para todo x 2
se tiene:
'(f (x))
'(t)
(f (x)
t)
0:
(6.3)
Como ' es continua, ' f es medible. Integrando ambos lados de 6.3 se tiene:
Z
Z
Z
Z
(' f ) d
'(t)
d
fd + t
d
0:
Pero t =
fd y
d = 1. Reemplazando se obtiene:
Z
Z
'( f d )
(' f ) d
t+ t
0.

6.3.
Las Desigualdades de Hlder y Minkowki
Denicin 127 Diremos que los nmeros reales positivos p y q son exponentes conjugados si:
1 1
+ = 1:
p q
Los casos extremos p = 1 y q = 1 (y viceversa) tambin se consideran exponentes conjugados.
Proposicin 128 Sean p y q dos exponentes conjugados con 1 < p; q < 1. Sea ( ; A; )
un espacio de medida. Entonces si f; g : ( ; A; ) ! [0; 1] son dos funciones medibles, se
tiene:
Z
Z
1=p Z
1=q
fg d
fp d
gq d
(6.4)
y
1=p
p
(f + g) d
1=p
fp d
1=p
gp d
(6.5)
La desigualdad 6.4 se denomina desigualdad de Hlder y la 6.5 se conoce como desigualdad de Minkowski. Si en 6.4 hacemos p = q = 2 entonces la desigualdad obtenida se
conoce como desigualdad de Schwarz.
Demostracin. Sean A y B los factores del lado derecho de 6.4. Si A = 0,
entonces f = 0 c.t.p. por Problema 8, pgina 55; luego f g = 0 c.t.p. y la desigualdad 6.4
es cierta. Si A > 0 y B = 1 la desigualdad 6.4 nuevamente es trivial. Por lo tanto slo
necesitamos considerar el caso 0 < A; B < 1. Pongamos:
F =
Entonces:
Si x 2
que:
f
;
A
F d =
G=
Z
g
:
B
(6.6)
Gq d = 1:
cumple con 0 < F (x) < 1 y 0 < G(x) < 1, entonces existen reales s y t tales
F (x) = es=p ;
G(x) = et=q .
Los Espacios Lp
61
Como 1=p + 1=q = 1, la convexidad de la funcin exponencial implica que:

1 s 1 t
e + e:
p
q
es=p+t=q
De lo que sigue:
1
1
F (x)p + G(x)q :
p
q
Note que 6.7 es vlida para todo x 2 . Integrando se obtiene:
Z
Z
Z
1
1
1 1
p
FGd
F d +
Gq d = + = 1.
p
q
p q
F (x)G(x)
(6.7)
Usando 6.6, nalmente se obtiene:

Z
fg d
AB =
1=p
fp d
1=q
gq d
lo que demuestra la desigualdad de Hlder.

Para demostrar 6.5 escribamos:
p
p 1
(f + g) = f (f + g)
p 1
+ g (f + g)
De acuerdo a Hlder se tiene que:

Z
p 1
p 1
f (f + g)
f d
gp d
1=p
p
(f + g)
(f + g)
1=q
(p 1)q
(p 1)q
(6.8)
Anlogamente:
Z
g (f + g)
Sumando 6.8 y 6.9 y observando que (p

Z
(f + g) d
(f + g) d
1=p
1=q
1) q = p, se obtiene:
" Z
Z
1=q
1=p
f pd
+
gp d
(6.9)
1=p
(6.10)
Evidentemente es suciente demostrar 6.5 en el caso que el lado izquierdo sea mayor que
0 y el derecho menor que 1. La convexidad de la funcin tp para t 2 R implica que:
f +g
2
1 p
(f + g p ) :
2
R
p
De aqu se deduce que
(f + g) d es menor que 1. Dividiendo por este factor en 6.10
se obtiene la desigualdad 6.5. Esto termina la demostracin.
6.4.
Los Espacios Lp
Denicin 129 Si 0 < p < 1 y f : ( ; A; ) ! [ 1; 1] es una funcin medible,

denamos:
Z
1=p
p
kf kp =
jf j d
:
Denotaremos por Lp ( ) al conjunto de todas las funciones f tales que kf kp < 1. Si

= R, escribiremos Lp (R) en lugar de Lp ( ).
Los Espacios Lp
62
Denicin 130 Sea g : ! [0; 1] una funcin medible y sea S el conjunto de todos los
reales positivos tales que:
g 1 (( ; 1]) = 0:
Denamos el supremos esencial kgk1 de g como:
1
nf S
kgk1 =
Si S =
Si S =
6
:
Denotemos por L1 ( ) al conjunto de todas las funciones f : ( ; A; ) ! [ 1; 1]

medibles tales que el supremo esencial de jf j, denotado por kf k1 es acotado, esto es
kf k1 < 1. Las funciones de L1 ( ) se dice que son esencialmente acotadas. Si = R,
escribiremos L1 (R) en lugar de L1 ( ).
Ejemplo 131 Si es la medida de conteo en un conjunto A con la -lgebra A = P(A),
entonces, en lugar de usar la notacin Lp ( ), 1
p
1; para denotar los espacios
arriba denidos, usaremos lp (A). Si A es contable escribiremos lp . Los elementos de estos
ltimos espacios pueden ser considerados como sucesiones reales. Si x = (xn ) es una tal
sucesin, entonces:
kxkp =
8
>
<
1
P
n=1
1=p
p
jxn j
Si 1
>
: sup jxn j
p<1
Si p = 1:
n 1
Nota 132 De acuerdo a la Denicin 130, se tiene:

(a) Si S 6= entonces kgk1 = nf S = m n S. En efecto, si
g
(( ; 1]) =
por lo tanto g 1 (( ; 1]) = 0 y

(b) jf (x)j
c.t.p. en
1
S
n=1
2 S.
,
1
;1
n
kf k1 :
Proposicin 133 Sean p y q exponentes conjugados, 1

Lp ( ) y g 2 Lq ( ). Entonces f g 2 L1 ( ) y,
kf gk1
= nf S, entonces:
p; q
1. Suponga que f 2
kf kp kgkq :
(6.11)
Demostracin. Si 1 < p; q < 1 entonces la conclusin es inmediata de la

Proposicin 128. Si p = 1, entonces integrando ambos lados de la desigualdad,
jf (x)g(x)j
kf k1 jg(x)j
c.t.p. sobre
se deduce 6.11. Si p = 1, entonces q = 1 y podemos aplicar el mismo argumento. Esto

Teorema 134 Sea 1
Lp ( ) y adems:
1. Suponga que f 2 Lp ( ) y g 2 Lp ( ). Entonces f + g 2

kf + gkp
kf kp + kgkp :
(6.12)
Demostracin. Si 1 < p < 1, el resultado se sigue directamente de la Proposicin 128. Si p = 1 p = 1, entonces 6.12 es consecuencia inmediata de la desigualdad
jf + gj jf j + jgj. Esto termina la demostracin.
Los Espacios Lp
63
Denicin 135 Si en los espacios Lp ( ) con 1

f vg
1; denimos la relacin:
f = g c.t.p. sobre
entonces f v g es una relacin de equivalencia sobre estos espacios. Denotaremos por

Lp ( ) los espacios vectoriales formados por las respectivas clases de equivalencia.
Nota 136 Es fcil darse cuenta que a diferencia de Lp ( ), 1
p
1; los espacios
Lp ( ) son espacios vectoriales normados. Si en estos espacios denimos:
d(f; g) = kf
gkp
entonces d es una distancia en Lp ( ). Esta distancia se conoce como la mtrica o distancia

usual de Lp ( ). En el caso de L1 ( ) tambin se conoce como la mtrica o distancia
uniforme o de la convergencia uniforme.
Teorema 137 Los espacios Lp ( ), 1
que:
1 son espacios mtricos completos.
Demostracin. El caso p = 1 ver Problema 8.

Si 1 p < 1 y (fn ) es de Cauchy, entonces existe (fnk ) con n1 < n2 <
fni+1
Dena:
gk =
k
X
fni
fni+1
<
fni ;
1
2i
g=
i=1
Por 6.13,
kgk kp
1
X
1:
fni+1
(6.13)
fni :
(6.14)
i=1
k
X
fni+1
fni
i=1
k
X
1
< 1:
2i
i=1
Usando ahora el lema de Fatou, se tiene:

Z
Z
Z
p
p
kgkp =
g p d = (l m gk ) d = l m (gkp ) d
Z
Z
p
p
=
l m inf (gk ) d
l m inf gkp d = l m inf kgk kp
Por lo tanto kgkp
, tal
1.
1. En particular g(x) < 1 c.t.p., de manera que la serie:

f (x) = fn1 (x) +
1
X
fni+1 (x)
fni (x)
i=1
converge absolutamente casi en todas partes. Como

fn1 +
k
X1
fni+1
fni = fnk
i=1
se concluye que f (x) = l m fni (x) casi en todas partes. Demostraremos ahora que (fn )
i!1
converge a f en Lp . Sea > 0. Entonces existe N tal que para todo n; m N se cumple
que kfn fm kp < . Fijemos m N . Entonces por el lema de Fatou, se tiene:
Z
Z
Z
p
p
p
jf fm j d
=
jl m fni fm j d = l m jfni fm j d
Z
p
p
l m inf jfni fm j d = l m inf kfni fm kp < p :
Los Espacios Lp
64
Luego, para todo m N se cumple que kf fm kp < . De aqu se obtienen dos conclusiones:
(1) f fm 2 Lp y como fm 2 Lp , se deduce que f 2 Lp .
(2) Ya que f 2 Lp y kf fm kp < para todo m
N , de deduce que (fn )
converge a f en Lp . Esto naliza la demostracin.
Corolario 138 Si (fn ) es una sucesin convergente a f en el espacio Lp ( ), 1
entonces existe una subsucesin (fnk ) que converge puntualmente a f c.t.p.
1,
Proposicin 139 Sea S el conjunto de todas las funciones medibles simples s con soporte
de medida nita y denidas en , esto es
(fx : s(x) 6= 0g) < 1;
entonces si 1
p < 1, se tiene que S es denso en Lp ( ).
Demostracin. Como el soporte de las funciones simples de S tiene medida

nita, se sigue que S
Lp ( ). Supongamos que f
0 y sea fsn g una sucesin de
funciones medibles simples denidas como en la Proposicin 102. Como 0
sn
f , se
p
deduce que sn 2 Lp ( ), y por lo tanto sn 2 S. Como jf sn j
f p , el teorema de la
convergencia dominada demuestra que kf sn kp ! 0. Esto demuestra que f pertenece a
la Lp -clausura de S. El caso general se deduce de este.
Los Espacios Lp
65
Problemas
2. Demuestre el Lema 122.
3. Usando la desigualdad de Jensen en el espacio
= f1; 2; : : : ; ng con la medida
(fkg) = 1=n (A = P ( )) y la funcin convexa '(x) = exp(x) demuestre la
desigualdad:
4. Suponga que
1
(y1 + y2 +
n
1=n
(y1 y2
yn )
+ yn )
y n 2 R+ :
y1 ; y 2 ;
> 0 para i = 1; 2; : : : ; n y cumplen con
n
P
= 1. Demuestre que
i=1
y1 1 y 2 2
1 y1
yn n
2 y2
n yn
y1 ; y 2 ;
yn 2 R+ :
(6.15)
5. Usando la desigualdad de Jensen en el espacio

= f1; 2; : : : ; ng con la medida
(fkg) = 1=n y la funcin '(x) = x2 , demuestre la desigualdad:
+ xn )2
(x1 + x2 +
n(x21 + x22 +
+ x2n )
6. Demuestre que si f es una funcin integrable en [0; 1], entonces

Z 1
Z 1
exp
f (t) dt
exp(f (t)) dt
0
7. Suponga que f : [0; 1] ! (0; 1) es una funcin medible tal que ln f es integrable.
Demuestre que
Z 1
Z 1
ln(f (t)) dt ln
f (t) dt :
0
8. Demuestre que L1 ( ) es completo.

9. Suponga que la sucesin (fn ) converge a la funcin f en Lp ( ) para algn p
que l m fn = g c.t.p. Demuestre que f = g c.t.p.
1y
n!1
10. Suponga que (xi ) 2 lp e (yi ) 2 lq en donde p y q son exponentes conjugados tales
que 1 < p; q < 1. Demuestre que:
!1=p 1
!1=q
1
1
X
X
X
p
q
jxi yi j
jxi j
jyi j
:
i=1
i=1
i=1
11. Suponga que (xi ) e (yi ) pertenecen a lp con 1 p < 1. Demuestre que (xi + yi ) 2 lp
y adems:
!1=p
!1=p
!1=p
1
1
1
X
X
X
p
p
p
jxi + yi j
jxi j
+
jyi j
:
i=1
i=1
i=1
R
1=p
p
12. Demuestre que si 0 < p < 1, entonces la funcin d(f; g) =
jf gj d
no es
R
p
p
una distancia en L . Sin embargo si denimos d(f; g) =
jf gj d si lo es.
Los Espacios Lp
66
n
o
13. Demuestre que si 0 < p < 1, entonces la vecindad del cero f : kf kp <
en Lp (0; 1)
no es un conjunto convexo.
14. Demuestre la siguiente extensin de la Proposicin 133. Sean p; q; r
1 tales que
1
1 1
p
q
r
= + . Suponga que f 2 L ( ) y g 2 L ( ). Entonces f g 2 L ( ) y kf gkr
r
p
q
kf kp kgkq .
15. Sea f : ( ; A; ) ! R una funcin medible tal que kf k1 > 0. Para p > 0, dena:
Z
p
'(p) =
jf j d ;
E = fp : '(p) < 1g :
Demuestre:
(a) Si r < p < s; r 2 E y s 2 E, entonces p 2 E.
(b) Demuestre que ln ' es convexa en E (y por lo tanto en E) y que ' es continua
en E.
max fkf kr ; kf ks g y Lr ( ) \ Ls ( )
(c) Si r < p < s, entonces kf kp
Lp ( ):
(d) Suponga que kf kr < 1 para algn r < 1. Demuestre que l m kf kp = kf k1 :

p!1
16. Sea f : ( ; A; ) ! R una funcin medible. Suponga que

0<r
( ) = 1, demuestre que
kf kr
kf ks
=)
Ls ( )
Lr ( ):
17. Suponga que ( ) < 1. Demuestre:

0<r
18. Suponga que ( ) < 1 y que 1

r < s
1. Demuestre que si (fn ) es una
secuencia de funciones que converge a f en Ls , entonces (fn ) tambin converge a f
en Lr .
19. Suponga que ( ) = 1 y f; g : ( ; A; ) ! [0; 1] son funciones medibles tales que
f g 1. Demuestre que:
Z
Z
fd
gd
1.
20. Suponga que ( ) = 1 y h : ( ; A; ) ! (0; 1) es medible. Dena A =
Demuestre que:
Z p
p
1 + A2
1 + h2 d
1 + A.
Encuentre una interpretacin para este resultado en el caso en que
de Lebesgue en [0; 1] y h = f 0 ; con h continua.
hd .
sea la medida
1
21. Sea ( ; A; ) un espacio de medida
R y suponga que f 2 L ( ). Demuestre que para
todo > 0 existe > 0 tal que E jf j d < para todo conjunto E 2 A tal que
(E) < .
22. Suponga que g 2 L1 (R) \ L1 (R) y l m jg(x)j = 0. Demuestre que

jxj!1
lm
n!1
1
n
g(t) f (t=n) dt = 0
para toda funcin f 2 L1 (R). (Indicacin: Use teorema 8.26 de Rudin).
Los Espacios Lp
23. Sea 1
1
( )
67
p < 1, 0 <
p
jf j d
1=p
( ) < 1 y f : ( ; A; ) ! R medible. Dena Np (f ) =
. Demuestre
a) p1 < p2 implica que Np1 (f )

b) Np (f + g) Np (f ) + Np (g):
R
jf gj d
Np (f )Np (g)
c) (1 )
Np2 (f ).
Note que Np (f ) tiene las mismas propiedades que k:kp pero tiene una propiedad
adicional de ser montona.
68
Los Espacios Lp
Captulo 7
MEDIDAS SIGNADAS
7.1.
La Descomposicin de Hahn
Denicin 140 Sea ( ; A; ) un espacio de medida. Diremos que

una medida signada si cumple con las siguientes condiciones:
a)
b)
c)
El dominio A de es una -lgebra en

es contablemente aditiva en A.
( ) = 0:
: A ! ( 1; 1] es
:
Ejemplo 141 La motivacin de esta nocin proviene de considerar la funcin:

(E) =
1 (E)
2 (E);
E 2 A,
(7.1)
denida como la diferencia de las medidas 1 y 2 , en donde 2 es nita. Es claro que

en este caso es una medida signada. En esta seccin demostraremos que toda medida
signada es de esta forma.
R
Ejemplo 142 Suponga que f es una funcin real medible, tal que
f d < 1. Entonces
la funcin denida por:
Z
(A) =
fd ;
es una medida signada.

Denicin 143 Sea una medida signada denida en la -lgebra A y sean P 2 A; N 2
A. Entonces diremos que:
1. P es positivo respecto a
2. N es negativo respecto a
si (P \ A)
0 para todo A 2 A.
si (N \ A)
0 para todo A 2 A.
Proposicin 144 Sea una medida signada, entonces existen dos conjuntos medibles y
disjuntos P y N tales que P es positivo y N es negativo respecto a y = P + N . Esto
es, es la unin disjunta de P y N .
Demostracin. Denotemos por N la clase de todos los conjuntos negativos respecto a . Dena = nf (B) y sea (Bj ) una sucesin de conjuntos negativos tales que
B2N
(Bj ) ! . Sea:
N
1
[
Bj y
j=1
Medidas Signadas
70
Demostraremos ahora que N es negativo y P es positivo respecto a . Esto terminar la

demostracin.
De acuerdo a los Problemas 3 y 4, se tiene que N es negativo y (N ) = .
Supongamos que P no es positivo. Entonces existe un conjunto E0 P tal que
(E0 ) < 0. Es claro que E0 no puede ser negativo, puesto que entonces E0 [ N sera
negativo y (E0 [ N ) < , contradiciendo la eleccin de . Por lo tanto existe E1 E0
tal que (E1 ) > 0. Sea m1 el entero positivo ms pequeo para el cual existe un tal
conjunto E1 satisfaciendo (E1 ) 1=m1 . De acuerdo al Problema 1 se debe cumplir que
(E1 ) < 1. Como:
(E0
E1 ) = (E0 )
(E1 )
(E0 )
1
< 0;
m1
podemos aplicarle al conjunto E0 E1 el mismo argumento que le aplicamos a E0 . Llamemos nuevamente m2 al menor entero positivo tal que E0 E1 contiene un conjunto E2
satisfaciendo (E2 ) 1=m2 .
1
1
Continuando de esta manera se obtiene (Ek )k=1 y (mk )k=1 tales que mk es el
kS1
menor entero positivo para el cual existe Ek E0
Ei , satisfaciendo:
i=1
(Ek )
Es claro que
1
S
Ei
i=1
1=mk :
(7.2)
< 1 y como la coleccin Ek es disjunta, se deduce que (Ek ) ! 0.
Por lo tanto, de acuerdo a 7.2 se tiene:

1
= 0.
k!1 mk
lm
De aqu se deduce que para todo subconjunto medible F de F0 = E0
1
S
Ei se cumple:
i=1
(F )
Esto signica que (F )
1
mk
! 0.
0 y por lo tanto F0 es negativo. Como:

(F0 ) = (E0 )
1
X
(Ei ) < (E0 ) < 0;
i=1
se obtiene que (N [ F0 ) < (N ) lo que constituye una contradiccin. Esto termina la

demostracin.
En el contexto de este resultado, la descomposicin de en dos conjuntos medibles
disjuntos, uno positivo y el otro negativo respecto a la medida signada , se conoce como
descomposicin de Hahn.
7.2.
La Descomposicin de Jordan
A pesar de que la descomposicin de Hahn no es nica (ver Problema 5), cualquiera

de ellas da origen a una descomposicin de la medida signada, conocida como descomposicin de Jordan y que es independiente de la descomposicin de Hahn elegida (ver
Problema 6).
Continuidad Absoluta
71
Proposicin 145 Sea una medida signada y sea P y N una descomposicin de Hahn,
en donde P es positivo y N es negativo respecto a . Denamos:
+
entonces
(E)
(E)
=
=
(E \ P );
(E \ N )
son medidas. Adems para todo conjunto medible E se tiene:

(E) =
(E)
(E):
Esta descomposicin de como la diferencia de dos medidas no negativas se conoce como

la descomposicin de Jordan de la medida signada .
Denicin 146 Las medidas + y
se conocen como la variacin positiva y la variacin
negativa de respectivamente. La medida:
+
j j (E) =
(E) +
(E)
se conoce como la variacin total de . Note que j j (E) en general es distinto de j (E)j.
Una medida signada se dice que es nita (resp. -nita) si j j es nita (resp.
-nita).
7.3.
Denicin 147 Sean , , 1 y 2 medidas denidas en la -lgebra A. Supongamos

que es positiva y ; 1 y 2 son medidas signadas. Entonces:
(1) Diremos que es absolutamente continua respecto a y escribiremos
si para todo E 2 A,
(E) = 0 )
(E) = 0.
(2) Diremos que
tiene que
est concentrada en el conjunto A 2 A, si para todo E 2 A se

(E) = (E \ A):
(3) Diremos que

disjuntos A y B tales que
caso escribiremos que
y
1
2 son mutuamente singulares si existe un par de conjuntos

est concentrado en A y 2 est concentrado en B. En este
2:
Proposicin 148 Suponga que , ; 1 y 2 son medidas en la -lgebra A y que

positiva. Entonces:
(a) concentrada en A ) j j concentrada en A.
(b) Si 1 ? 2 , entonces j 1 j ? j 2 j.
(c) Si 1 ? y 2 ? , entonces 1 + 2 ? .
(d) Si 1
y 2
, entonces 1 + 2
.
(e) Si
, entonces j j
.
(f ) Si 1
y 2 ? , entonces 1 ? 2 .
(g) Si
y ? , entonces = 0.
es
Demostracin. a) Sea P y N una descomposicin de Hahn, en donde P es

positivo y N es negativo respecto a . Entonces:
j j (E \ A)
=
=
(E \ A) + (E \ A) = (E \ A \ P )
(E \ A \ N )
+
(E \ P )
(E \ N ) =
(E) + (E) = j j (E):
Medidas Signadas
72
b) Sigue inmediatamente de (a).

c) Existen conjuntos disjuntos A1 y B1 tal que 1 est concentrada en A1 y
en B1 . Tambin hay conjuntos disjuntos A2 y B2 tal que 2 est concentrada en A2 y
en B2 . Entonces 1 + 2 est concentrada en A = A1 [ A2 y est concentrada en
B = B1 \ B2 . Es claro que A \ B = .
d) Obvio.
e) Sea P y N una descomposicin como en (a) y suponga que (E) = 0. Como
se tiene que (E \ P ) = (E \ N ) = 0. Por lo tanto:
j j (E) =
(E) +
(E) = (E \ P )
(E \ N ) = 0:
f) Como 2 ? , existe un conjunto A tal que (A) = 0 sobre el cual 2 est

concentrado. Como 1
, se tiene entonces que 1 (E) = 0 para todo E
A. Esto
signica que 1 est concentrado en B = Ac . Luego 1 ? 2 .
g) Por f) y la hiptesis de g) se tiene que ? . Esto implica que = 0. Esto
7.4.
El Teorema de Radon-Nikodym
Lema 149 Sean y dos medidas positivas reales, tales que

. Suponga que
es idnticamente nula. Entonces existe un conjunto medible P y un > 0 tal que:
(P ) > 0 y P es positivo para la medida signada
no
Demostracin. Sea (Pn ; Nn ) una descomposicin de Hahn para la medida sig1

nada
n . Evidentemente el lema quedar demostrado si probamos que existe n tal que
(Pn ) > 0. Supongamos
por el contrario que para todo natural n se tiene que (Pn ) = 0.
S
Entonces ( Pn ) = 0 y como
se concluye que
Por otro lado:
Por lo tanto:
Nn
Pn = 0:
(Nn )
\
1
(Nn )
n
(7.3)
1
( ):
n
Nn = 0:
(7.4)
S
T
c
Como ( Pn ) = Nn , se deduce de 7.3 y 7.4 que = 0. Esto contradice la hiptesis y
completa la demostracin.
El siguiente teorema se conoce como el teorema de Radon-Nikodym.
Teorema 150 Sean y
conjuntos de tales que
dos medidas positivas y acotadas en una -lgebra A de sub. Entonces existe una nica funcin f 2 L1 ( ) tal que:
Z
(E) =
fd
(E 2 A).
(7.5)
E
Esta funcin f se conoce como la derivada de Radon-Nikodym de

expresa como
d =fd :
respecto a
y se
El Teorema de Radon-Nikodym
73
Demostracin. La unicidad de f se Rdeduce del Problema 11, pgina 55.

Sea ahora H = g : g 0 medible y A g d
(A); 8A 2 A . Como g = 0 2
H, H =
6
. Demostraremos ahora que si (gi ) es una sucesin de funciones en H, entonces:
fn = max fg1 ; g2 ; : : : ; gn g 2 H.
Denamos A1 = fx : g1 (x) = fn (x)g y para 2
n,
Aj = fx : gj (x) = fn (x) ^ gj > max fg1 ; : : : ; gj

entonces A1 ; A2 ; : : : ; An es una coleccin disjunta tal que
n
P
1 gg ;
Aj =
. Por lo tanto, de
j=1
acuerdo al Corolario 113, si A 2 A se tiene:

Z
Z
Z
n
n
P
P
fn d =
fn d =
A
j=1
j=1
A\Aj
n
P
gj d
j=1
A\Aj
(A \ Aj ) =
(A) :
Por lo tanto fn 2 H. Usando ahora el teorema de la convergencia montona de Lebesgue

se deduce que:
sup gi 2 H.
Sea ahora:
= sup
gd : g 2 H ;
R
y sea (fn ) una sucesin en H tal que
fn d ! . Sea f = sup fn . Evidentemente f 2 H
y,
Z
fd = .
Como
( ) < 1, se deduce que f 2 L1 ( ). Demostraremos que f es la derivada
de Radon-Nikodym de respecto a . Para este efecto basta demostrar que la medida
positiva denida por:
Z
(E) = (E)
fd ,
es idnticamente cero. Si esto fuese falso, una aplicacin directa del Lema 149, nos asegura
la existencia de un conjunto P 2 A y un > 0 tal que (P ) > 0 y P es positivo para la
medida signada:
Z
'(E) = (E)
(E) = (E)
fd
(E).
E
De esta ltima armacin se desprende que para todo E 2 A,

Z
(E \ P )
f d + (E \ P ):
(7.6)
E\P
Como f 2 H, tambin se tiene que:

(E
P)
fd :
(7.7)
E P
Sumando las desigualdades 7.6 y 7.7, se obtiene:

Z
Z
(E) =
(E \ P ) + (E P )
f d + (E \ P ) +
E
Z
Z E\P
Z
=
f d + (E \ P ) =
fd +
P d
E
E
E
Z
=
(f + P ) d :
E
fd
P
Medidas Signadas
74
Por lo tanto f +
Z
2 H. Pero:
(f +
P) d =
fd +
d =
(P ) > ,
lo que es una contradiccin. Esto termina la demostracin.

Corolario 151 Sean y
conjuntos de tales que
dos medidas positivas y -nita en una -lgebra A de sub. Entonces existe una nica funcin medible f tal que:
Z
(E) =
fd
(E 2 A).
E
Demostracin. Como
dibles y disjuntos (An ) tal que:
1
X
An = ;
son -nita, existe una sucesin de conjuntos me-
(An ) < 1;
n=1
(An ) < 1
(n = 1; 2; : : :):
Usando el teorema anterior, se obtienen funciones fn tales que:

Z
(E \ An ) =
fn d .
E\An
Ahora es fcil ver que la funcin f =
An fn
satisface las condiciones del corolario.
Corolario 152 Sea y dos medidas -nita en una -lgebra A de subconjuntos de

tales que
. Entonces si es positiva y es signada, existe una nica funcin
medible f tal que:
Z
(E) =
fd
(E 2 A).
Demostracin. De acuerdo al Corolario anterior, existen funciones medibles f1

y f2 tales que:
Z
Z
+
(E) =
f1 d ;
(E) =
f2 d
(E 2 A).
E
Entonces:
(E) =
(E)
(E) =
(f1
f2 ) d :
La unicidad de f = f1
7.5.
f2 se deduce del Problema 11, pgina 55.
El Teorema de la Descomposicin de Lebesgue

El siguiente teorema se conoce como el teorema de la descomposicin de Lebesgue:.
Teorema 153 Sea y dos medidas signadas y -nitas en una -lgebra A de subconjuntos de . Entonces existe un nico par de medidas signadas y -nitas a y s en
A tal que:
= a + s;
;
(7.8)
a
s ? :
El par (
a;
s)
se conoce como la descomposicin de Lebesgue de
respecto a .
El Teorema de la Descomposicin de Lebesgue
75
Demostracin. Descomponiendo las medidas en sus correspondientes variaciones,

podemos suponer que y son positivas. De acuerdo al Corolario 151, se tiene que existe
funcin medible f 0 tal que:
d = f d( + ):
(7.9)
Sea:
A = fx : f (x) > 0g ;
B = fx : f (x) = 0g :
Entonces A y B son disjuntos y A + B = y,

Z
(B) =
f d( + ) = 0:
B
Si (C) = 0 y C
A entonces (C) = 0 y por lo tanto 7.9 implica que:

Z
f d( + ) = (C) = 0:
C
Como C
A = fx : f (x) > 0g este resultado implica que ( + )(C) = 0. Ahora como
(C) = 0 se concluye nalmente que (C) = 0. Denamos ahora:
a
(E) = (E \ A);
(E) = (E \ B):
Es fcil vericar que esta es la descomposicin buscada. Para demostrar la unicidad suponga que existe otra descomposicin 0a y 0s satisfaciendo 7.8. Entonces:
0
a
0
s;
entonces la Proposicin 148 implica que

demostracin.
0
a
a
0
a
s
s
0
s
0
s
? ;
= 0. Esto completa la
Nota 154 Entre las muchas aplicaciones que tiene el teorema de Radon-Nikodym se encuentra en lugar destacado su uso casi directo en las demostraciones de una serie de
teoremas de representacin. En particular se utiliza para representar, mediante una integral apropiada, operadores lineales continuos denidos en espacios vectoriales tan diversos
como* C0 (X) o Lp con 1 p < 1. Estos teoremas llevan el nombre genrico de teoremas
de representacin de Riesz.
* Espacio
de funciones complejas continuas que se anulan al innito.
Medidas Signadas
76
Problemas
1. Sea una medida signada y sean E y F dos conjuntos medibles tales que E
Demuestre que si j (F )j < 1, entonces j (E)j < 1.
2. Sea
una medida signada real. Demuestre que
F.
es acotada.
3. Si N1 y N2 son dos conjuntos negativos respecto a la medida signada , entonces

N1 N2 implica que (N2 )
(N1 ).
4. Demuestre que la coleccin N de todos los conjuntos negativos respecto a una medida signada es un -anillo. En otras palabras, demuestre que N contiene al conjunto
y es cerrada bajo diferencias y uniones contables. Demuestre un resultado similar
para la coleccin de todos los conjuntos positivos.
5. De un ejemplo de una medida signada para la cual la descomposicin de Hahn no
es nica.
6. Suponga que = P1 + N1 = P2 + N2 son dos descomposiciones de Hahn de una
medida signada . Demuestre que para todo subconjunto medible E se tiene (E \
P1 ) = (E \ P2 ) y (E \ N1 ) = (E \ N2 ):
R
8. Sea f : ( ; A; ) ! [ 1; 1] una funcin integrable. Dena (A) = A f d :Entonces:
Z
Z
Z
+
+
(A) =
f d ;
(A) =
f d ; j j (A) =
jf j d :
A
9. Demuestre que:
+
(A) = sup f (C) : C 2 A; C
10. Sean ;
(a) Si
1
1
(A) =
nf f (C) : C 2 A; C
medidas positivas -nitas:
medidas signadas -nitas y

entonces
d(
(b) Si
Ag ;
+
d
2)
+
d
d
y se cumple
2
1
Ag :
d
d
c.t.p. [ ] :
, entonces se cumple
d
d d
=
d
d d
c.t.p. [ ] :
11. Sea un espacio innito no contable y A la coleccin de todos los conjuntos A

tal que A o Ac son contables. Dena como en el Problema 3, pgina 35, esto es
(A) = 0 si A es contable y (A) = 1 si A no es contable y dena como la medida
del conteo. Demuestre que
, pero el teorema de Radon-Nikodym no es vlido.
12. Sea
= [0; 1] y A la -lgebra de Borel en [0; 1]. Dena
Lebesgue y como la medida del conteo. Demuestre que
Radon-Nikodym no es vlido.
como la medida de
, pero el teorema de
Captulo 8
INTEGRACIN EN ESPACIOS PRODUCTO
8.1.
Medidas Producto
Denicin 155 Sean ( ; A) y ( ; B) dos espacios medibles. Denotaremos por A B la

-lgebra generada en
por todos los rectngulos medibles E F con E 2 A y F 2 B.
Como siempre denotaremos por (
; A B) el espacio medible resultante.
Proposicin 156 Sean ( ; A) y ( ; B) dos espacios medibles. Sea E 2 A
para cada x 2 y para cada y 2 ,
Ex
Ey
= fy 2
= fx 2
B, entonces
: (x; y) 2 Eg 2 B:
: (x; y) 2 Eg 2 A.
En otras palabras, Ex y E y son conjuntos medibles.

Estos conjuntos se conocen respectivamente como la x-seccin y la y-seccin de
E.
Demostracin. Denamos H = fE 2 A B : Ex 2 Bg. Como cualquier rectngulo medible pertenece a H, bastar demostrar que H es una -lgebra para concluir que
H = A B y terminar la demostracin. El que H sea una -lgebra se deduce de las
siguientes identidades:
[
En
(En )x
(E c )x = (Ex ) .
Proposicin 157 Sea f : (

; A B) ! [ 1; 1] una funcin medible. Entonces:
(a) Para cada x 2 la funcin fx : ( ; B) ! [ 1; 1] denida por:
fx (y) = f (x; y)
(y 2 );
es medible (respecto a la -lgebra B).

(b) Para cada y 2 la funcin f y : ( ; A) ! [ 1; 1] denida por:
f y (x) = f (x; y)
(x 2 );
es medible (respecto a la -lgebra A).

Demostracin. (a) Basta demostrar la proposicin para funciones del tipo f =
,
es
decir,
funciones indicatrices, ya que entonces sera cierto para funciones simples.
A
Usando aproximaciones por funciones simples se podra extender a funciones medibles
positivas y nalmente a funciones medibles arbitrarias por descomposicin en sus partes
positiva y negativa.
Integracin en Espacios Producto
78
Supongamos entonces que f = A con A 2 A

demostrar que para todo 2 R, el conjunto:
fy 2
:(
A )x
(y) > g = fy 2
Pero:
fy 2
A (x; y) > g =
8
<
:
B. Sea x 2
A (x; y)
, entonces hay que
> g 2 B.
Si
1
: (x; y) 2 Ag Si 0
<1
Si < 0
fy 2
Por lo tanto todo se reduce a demostrar que la seccin Ax = fy 2 : (x; y) 2 Ag pertenece

a B y esto ltimo es cierto por Proposicin 156. Esto termina la demostracin.
Teorema 158 Sean ( ; A; ) y ( ; B; ) dos espacios de medida. Entonces existe, sobre
la -lgebra A B una medida, denotada por
tal que:
(
Si
) (A
B) = (A) (B)
son -nitas, entonces la medida
A 2 A; B 2 B.
(8.1)
es nica y se denomina medida producto.
Demostracin. Sea H la coleccin de todas las sumas (disjuntas) nitas de

rectngulos A B con A 2 A; B 2 B. Es fcil vericar H es una lgebra. Denamos
=
por 8.1 y extendamos de manera lineal al lgebra H. Usando el teorema
de la convergencia montona es posible demostrar que es una medida sobre H (ver
Problema 1). Usando ahora el teorema de extensin de Carathedory podemos extender
a la -lgebra A B. Como es -nita sobre H, esta extensin es nica. Esto termina
la demostracin.
Proposicin 159 Sean ( ; A; ) y ( ; B; ) dos espacios de medida
que Q 2 A B. Considere las funciones:
':
:
-nitas. Suponga
! [0; 1] , denida por '(x) = (Qx ):

! [0; 1] , denida por (y) = (Qy ):
Entonces ' es A-medible y
es B-medible y se cumple:
Z
'd = (
) (Q) =
d .
(8.2)
Demostracin. Demostraremos slo la primera igualdad. Sean (Aj ) y (Bj )Sdos

sucesiones
S de conjuntos (ambas disjuntas) en A y B respectivamente tales que = Aj
y = Bj con (Aj ) < 1 y (Bj ) < 1, para todo j. Por el teorema de la convergencia
montona es suciente demostrar que para todo j y k jos, se tiene que:
'k :
! [0; 1] , denida por 'k (x) = (Qx \ Bk )
es A-medible y,
(
) (Q \ (Aj
Bk )) =
Aj
(Qx \ Bk ) d :
Sea H la coleccin de todos los conjuntos en A B tales estas dos propiedades son ciertas.
Como H contiene a todos los rectngulos medibles, el Problema 29, de la pgina 26 nos
asegura que H = A B en el caso que H sea -aditiva. Aqu demostraremos solamente
que H es cerrada bajo diferencias propias.
El Teorema de Fubini
79
Sean E; F 2 H tal que F

((E
E. Entonces como (Bk ) < 1, se tiene:
F )x \ Bk )
=
=
((Ex \ Bk )
(Ex \ Bk )
(Fx \ Bk ))
(Fx \ Bk ) :
Esto demuestra que la funcin x 7! ((E F )x \ Bk ) es A-medible.

Por otro lado, como las funciones:
Aj (x)
son -integrables, se tiene:

Z
((E F )x \ Bk ) d
(Ex \ Bk ) y
Aj
Aj
= (
= (
Aj (x)
(Ex \ Bk ) d
(Fx \ Bk )
Z
Aj
(Fx \ Bk ) d
) (E \ (Aj Bk )) (
) (F \ (Aj
) ((E F ) \ (Aj Bk )) :
Bk ))
Esto demuestra que A es cerrada bajo diferencia propia y termina la demostracin.

8.2.
El Teorema de Fubini
Teorema 160 Sean ( ; A; ) y ( ; B; ) dos espacios de medida -nitas. Entonces:

(a) Si f : (
; A B;
) ! [0; 1] es medible y ' y son las funciones:
Z
Z
'(x) =
fx d ;
(y) =
fy d :
(8.3)
Entonces ' es A-medible y
Z
es B-medible y se cumple:
Z
Z
'd =
f d(
)=
d :
(8.4)
(b) Si f : (
; A B;
) ! [ 1; 1] es integrable, entonces fx 2 L1 ( )
y
1
para casi todo x 2 , f 2 L ( ) para casi todo y 2 , las funciones denidas por 8.3
pertenecen a L1 ( ) y a L1 ( ) respectivamente y se cumple 8.4.
(c) Si f : (
; A B;
) ! [ 1; 1] es medible y si
Z
Z
' (x) =
jf jx d
y
' d < 1;
entonces f 2 L1 (
).
Demostracin. Por Proposicin 157, las deniciones de ' y tienen sentido.

Si Q 2 A B y f = q entonces 8.4 corresponde simplemente a 8.2 por lo tanto (a)
se cumple para toda funcin simple no negativa y A B-medible. Para el caso general
considere una sucesin creciente (sn ) de tales funciones simples tales que sn (x; y) " f (x; y)
para todo (x; y) 2
. Si 'n se asocia con sn de la misma forma en que ' fue asociado
con f , se tiene que para todo n 1, se cumple:
Z
Z
'n d =
sn d(
):
(8.5)
Ahora, por el teorema de la convergencia montona 'n " ' y una nueva aplicacin del
mismo teorema en 8.5 nos da 8.4. La segunda parte de (a) se sigue simplemente intercambiando el rol de x e y.
80
(b) Considere las funciones f + y f . Apliquemos parte (a) a f + y a f . Sea '1

y '2 las funciones asociadas a f + y a f del mismo modo en que ' se asoci a f . Como
f 2 L1 (
) y f+
jf j y como (a) se cumple para f + , se deduce que '1 2 L1 ( ).
Anlogamente '2 2 L1 ( ). Ahora como:
fx = f +
se deduce que fx 2 L1 ( ) para todo x tal que '1 (x) < 1 y '2 (x) < 1. Como '1 y '2 estn
en L1 ( ), esto ocurre para casi todos los x y en tales x se tiene que '(x) = '1 (x) '2 (x).
Por lo tanto ' 2 L1 ( ). Ahora 8.4 se cumple con '1 y f + y con '2 y f en lugar de ' y
f . Si restamos las ecuaciones resultantes se obtiene una parte del resultado. La segunda
parte se obtiene de la misma manera con f y y en lugar de fx y '.
(c) Basta aplicar parte (a) a la funcin jf j.
Nota 161 La identidad 8.4 usualmente se escribe como:
Z
Z
ZZ
Z
Z
d (x) f d (y) =
f d(
)=
d (y)
f d (x):
(8.6)
La integral del medio se denomina integral doble y la de los extremos integrales iteradas.
Corolario 162 Sea E
. Suponga que E es A
0 si y slo si (Ex ) = 0 para casi todos los x 2 .
B-medible. Entonces (
) (E) =
Demostracin. Aplicando la primera igualdad de 8.6 a la funcin caracterstica

de E se tiene:
Z
Z
ZZ
d (x)
)=(
) (E):
E (x; y) d (y) =
E d(
Por lo tanto (
R
) (E) = 0 si y slo si
E (x; y) d (y) = 0 c.t.p.[ ]. Pero:
Z
E (x; y) d (y) = (Ex ):

Ejemplo 163 Sean = = [0; 1] ; = =medida de Lebesgue en [0; 1]. Sea 0 < 1 <
; tal que n " 1. Para cada n
1 elija una funcin
2
R 1 real y continua gn tal que
gn (x) = 0, 8x 2
= ( n ; n+1 ) y que cumpla con la igualdad 0 gn (t) dt = 1. Dena:
f (x; y) =
1
X
(gn (x)
gn+1 (x)) gn (y):
n=1
Note que para cada punto (x; y) a lo ms un trmino en esta suma es diferente de 0, luego
f es real en todo
. Ahora observe que:
Z 1 Z 1
Z 1 Z 1
dx
f (x; y) dy = 1 6= 0 =
dy
f (x; y) dx;
0
por lo tanto no se cumple la conclusin del teorema de Fubini an cuando ambas integrales
iteradas existen. Note que f es continua excepto en (1; 1) pero,
Z 1 Z 1
dx
jf (x; y)j dy = 1.
0
El caso Real
81
Ejemplo 164 Sean

=
conteo en [0; 1]. Dena:
= [0; 1] ;
=medida de Lebesgue en [0; 1] y
f (x; y) =
=medida de
1 x=y
0 x=
6 y:
Entonces para todo x; y 2 [0; 1] se cumple que:

Z
Z
f (x; y) d (x) = 0;
f (x; y) d (y) = 1:
Por lo tanto:
Z
d (y)
f (x; y) d (x) = 0 6= 1 =
d (x)
f (x; y) d (y):
En este caso la hiptesis que falta para aplicar el teorema de Fubini es la -nitud de la
medida .
8.3.
El caso Real
En esta seccin discutiremos la relacin que existe entre el espacio de medida,
R
R; B(R
R); m2
y el espacio:
R
R; B(R)
B(R); m1
m1
que hemos estado discutiendo en la seccin anterior.

En el primer caso, el espacio R R; B(R R); m2 se obtiene de una aplicacin
directa del torema de Carathedory en R R y la -lgebra de Lebesgue B(R
completa respecto a la medida de Lebesgue m2 . En el segundo caso, el espacio
R
R; B(R)
B(R); m1
R) es
m1
no es ni siquiera completo (ver Problema 3). Afortunadamente, este problema tiene una
solucin elegante:
Teorema 165 Denotemos por mk la medida de Lebesgue en Rk y supongamos que k =
r + s; r 1; s 1; entonces mk es la completacin de la medida producto mr ms .
Demostracin. Ver Rudin, Real and Complex Analysis.
Este resultado hace necesario el siguiente teorema:
Teorema 166 Sean ( ; A; ) y (
(A B) la completacin de A
funcin (A B) -medible en
vlidas, slo que las funciones '
partes.
; B; ) dos espacios de medida -nitas completas. Sea

B relativa a la medida producto
. Si f es una
, entonces todas las conclusiones del Teorema 160 son
y
dadas por 8.3 estn denidas slo casi en todas
Demostracin. Ver Rudin, Real and Complex Analysis.
82
Problemas
1. Demuestre que la funcin
medida sobre H.
denida en la demostracin del Teorema 158, es una
2. Demuestre que la funcin f denida en el Ejemplo 164 es A B-medible, en donde

A es la -lgebra de los conjuntos Lebesgue medibles en [0; 1] y B es la -lgebra
de todos los subconjuntos de [0; 1].
3. Demuestre que el espacio de medida R R; B(R) B(R); m1 m1 no es completo.
Z a
Z 1
sin x
1
xt
4. Usando la relacin
e dt
(x > 0), demuestre que l m
=
dx =
a!1
x
x
0
0
:
2
5. Demuestre que si f (x; y) =
x2
(x2
y2
2,
y2 )
entonces
R1R1
0
f dxdy 6=
R1R1
0
f dydx.
6. Consideremos los espacios (R; B (R) ; m) y (N; P (N) ; #). Consideremos el rectngulo
medible:
Q = f(x; k) 2 R N : a x b; n k mg :
Dena:
f (x; k) =
a) Calcule (m
#) (Q)
k
0
Si x 2 [0; 1] y k = 1; 2; : : : ; r
Si x 2
= [0; 1] k > r:
b) Demuestre que
Z Z
R N
f d (m
#) =
r(r + 1)
.
2
Captulo 9
EL TEOREMA FUNDAMENTAL DEL CLCULO
El objetivo principal de este captulo es el de estudiar el teorema fundamental del
clculo en el dominio de la integral de Lebesgue. Recordemos el Teorema Fundamental
del Clculo:
Teorema 167 F : [a; b] ! R es continuamente diferenciable si y slo si,
Z x
F (x) = F (a) +
g(t) dt;
(9.1)
para alguna funcin continua g : [a; b] ! R. Si este es el caso, entonces se cumple que
F 0 (x) = g(x) en [a; b].
En otras palabras el Teorema Fundamental del Clculo establecer una correspondencia biunvoca entre la clase de las funciones continuamente diferenciables y la clase de
las funciones continuas.
Nuestra intencin es establecer un resultado similar entre la clase de las funciones
absolutamente continuas y la clase de las funciones Lebesgue integrables. Especcamente
demostraremos que una funcin F : [a; b] ! R es absolutamente continua si y slo si se
cumple 9.1 para alguna funcin g 2 L1 ([a; b]) y en tal caso, F 0 (x) = g(x) c.t.p. en [a; b].
Comenzaremos estudiando una clase de funciones ms general que la clase de funciones
absolutamente continua para despus centralizarnos en esta ltima clase.
9.1.
Funciones de Variacin Acotada
Denicin 168 Sea f : [a; b] ! R una funcin y sea a = t0 < t1 <

particin del intervalo [a; b]. Dena:
p
k
X
(f (tj )
f (tj
+
1 ))
(f (tj )
f (tj
1 ))
jf (tj )
f (tj
1 )j ;
< tk = b una
(9.2)
j=1
k
X
j=1
k
X
j=1
en donde (f (tj ) f (tj 1 )) y (f (tj ) f (tj 1 )) representan respectivamente la parte

positiva y la parte negativa de (f (tj ) f (tj 1 )). Denamos ahora:
P
N
T
=
=
=
sup p
sup n
sup t
El Teorema Fundamental del Clculo
84
en donde los respectivos supremos se toman sobre todas las posibles particiones del intervalo [a; b]. Las cantidades P; N y T se denominan respectivamente variacin positiva,
variacin negativa y variacin total de f en [a; b]. Si T < 1, diremos que f es una funcin de variacin acotada en [a; b]. Denotaremos por BV [a; b] el conjunto de todas las
funciones de variacin acotada en [a; b].
La demostracin del siguiente lema se basa en las identidades a = a+
jaj = a+ + a vlidas para todo nmero real a.
Lema 169 Si f 2 BV [a; b] entonces:

P N
P +N
= f (b)
= T:
f (a)
Demostracin. Dada una particin cualquiera en [a; b] dena p; n y t como en

9.2. Entonces:
p
k
X
(f (tj )
f (tj
+
1 ))
(f (tj )
f (tj
1 ))
j=1
k
X
(f (tj )
f (tj
1 ))
= f (b)
f (a):
j=1
Por lo tanto:
p = n + f (b)
f (a)
N + f (b)
f (a):
Tomando supremos para p, se obtiene:

P
N + f (b)
f (a):
(9.3)
Ahora como N < T < 1, podemos restar N en 9.3 para obtener:

P
f (b)
f (a):
f (a)
f (b);
N = f (b)
f (a).
De manera similar se deduce que:
de donde se concluye que:

Por lo tanto:
T
t=p+n=p+p
(f (b)
f (a)) = 2p + N
P:
Tomando supremos para p se obtiene:

T
Como la desigualdad T
2P + N
P = P + N:
P + N es obvia, se deduce nalmente que T = P + N .
Proposicin 170 Una funcin f : [a; b] ! R es de variacin acotada si y slo si f =

f1 f2 en donde f1 y f2 son funciones montonas crecientes en [a; b].
Diferenciabilidad
85
Demostracin. Condicin necesaria. Sea f funcin de variacin acotada en el

intervalo [a; b]. Si x 2 [a; b], dena g(x) y h(x) como la variacin positiva y la variacin
negativa respectivamente de f en [a; x]. Es claro que g y h denidas de esta manera son
funciones montonamente crecientes en [a; b]. Por otro lado, de acuerdo al Lema 169, se
tiene que:
f (x) = g(x) h(x) + f (a) = g(x) (h(x) f (a)) :
Note que f2 (x) = h(x) f (a) es tambin montonamente creciente, luego haciendo f1 (x) =
g(x) se tiene la condicin necesaria.
Recprocamente, suponga que f = f1 f2 , con f1 y f2 funciones montonas
k
crecientes en [a; b], entonces para toda particin (tj )j=0 del intervalo [a; b] se tiene:
k
X
j=1
jf (tj )
f (tj
k
X
1 )j
j=1
k
X
jf1 (tj )
f1 (tj
(f1 (tj )
f1 (tj
1 )j
k
X
j=1
1 )) +
j=1
= f1 (b)
jf2 (tj )
k
X
(f2 (tj )
f2 (tj
f2 (tj
1 )j
1 ))
j=1
f1 (a) + f2 (b)
f2 (a);
por lo tanto si T es la variacin total de f en [a; b], se tiene que:

T
f1 (b)
f1 (a) + f2 (b)
f2 (a) < 1;
esto es, f es de variacin acotada en [a; b].

9.2.
Diferenciabilidad
En esta seccin demostraremos que las funciones montonas son diferenciables

casi en todas partes. Este resultado, junto con la Proposicin 170, establecer la diferenciabilidad c.t.p. de las funciones de variacin acotada.
Denicin 171 Sea J una coleccin de intervalos de longitud no nula en R. Diremos
que la coleccin J cubre al conjunto E en el sentido de Vitali, si para todo > 0 y para
todo x 2 E, existe un intervalo I 2 J tal que x 2 I y m(I) < .
Lema 172 Sea E
R de medida exterior nita y sea J una coleccin de intervalos
que cubren E en el sentido de Vitali, entonces dado > 0, existe una coleccin nita y
disjunta de intervalos I1 ; I2 ; : : : ; IN en J tal que:
!
N
[
m E
Ik < :
(9.4)
k=1
Demostracin. Es claro que es suciente demostrar el lema en el caso que J

est formado slo por intervalos cerrados de longitud no nula, ya que en caso contrario
podemos reemplazar los intervalos no cerrados por su correspondiente clausura y luego
usar la desigualdad:
!
!
n
n
[
[
m E
Ik
m E
Ik + m (A);
k=1
k=1
en donde A es el conjunto de los puntos extremos de los intervalos I1 ; I2 ; : : : ; In , conjunto

que tiene obviamente medida (exterior) nula.
86
De acuerdo al Problema 11, pgina 44 existe un conjunto abierto G de medida

nita conteniendo a E. Como J es un cubrimiento de Vitali del conjunto E, podemos
suponer que cada intervalo de J est contenido en G.
1
Elijamos una sucesin (Ik )k=1 de intervalos disjuntos en J del modo siguiente:
Sea I1 cualquier intervalo en J y supongamos que los intervalos I1 ; I2 ; : : : ; In ya han
sido elegidos. Denamos kn como el supremo de las longitudes de los intervalos que son
n
S
disjuntos de los ya elegidos. Si kn = 0, entonces E
Ik (de lo contrario se contradice la
condicin de Vitali puesto que
n
S
k=1
Ik es cerrado) y el lema quedara demostrado. Si kn > 0,
k=1
entonces existe un intervalo In+1 disjunto de los ya elegidos y tal que m(In+1 ) > kn =2.
1
De esta forma se puede elegir una sucesin (Ik )k=1 de intervalos disjuntos en J .
1
1
P
S
m(Ik ) m(G) < 1.
Ik G, se deduce que
Ahora, como la coleccin es disjunta y
k=1
Por lo tanto, existe un natural N tal que
1
P
k=1
m(Ik ) < =5. Finalmente demostraremos
k=N +1
ahora que I1 ; I2 ; : : : ; IN satisface 9.4. Sea R = E
N
S
Ik y sea x un punto arbitrario de
k=1
R. Como
N
S
Ik es un conjunto cerrado que no contiene a x, la condicin de Vitali asegura
k=1
la existencia de un intervalo I en J que contiene a x y es disjunto de los intervalos

I1 ; I2 ; : : : ; IN . Ahora si I \ Ik = para todo k
n, entonces m(I)
kn < 2m(In+1 ).
Como l m m(In ) = 0, el intervalo I debe intersectar al menos un intervalo In . Sea n el
n!1
menor natural tal que I intersecta In , entonces es claro que m(I) kn 1 < 2m(In ).
Como x 2 I e I intersecta a In , se sigue que la distancia de x al punto medio de In es
a lo ms,
1
5
1
m(I) + m(In ) < 2m(In ) + m(In ) = m(In ):
2
2
2
Esto signica que x pertenece al intervalo Jn concntrico a In pero de longitud cinco
1
S
veces mayor. Como n > N , hemos demostrado que R
Jk . Por lo tanto:
k=N +1
m (R)
1
P
m(Jk ) = 5
k=N +1
1
P
m(Ik ) < :
k=N +1
Denicin 173 Sea f : [a; b] ! R. Las siguientes expresiones se denominan derivadas

de f en a:
f (a + h)
h
h!0+
f (a + h)
D f (a) = l m sup
h
h!0
D+ f (a) = l m sup
f (a)
f (a + h)
h
f (a + h)
D f (a) = l m inf
h
h!0
D+ f (a) = l m inf
f (a)
h!0+
f (a)
f (a)
D+ f (a) se denomina derivada superior lateral derecha y D f (a) derivada superior lateral izquierda de f en el punto a. Anlogamente D+ f (a) se denomina derivada
inferior lateral derecha y D f (a) derivada inferior lateral izquierda.
Nota 174 De acuerdo al Problema 31, pgina 19, f es diferenciable por la derecha en el
punto a si y slo si D+ f (a) = D+ f (a) 6= 1. Anlogamente f es diferenciable por la
87
izquierda en a si y slo si D f (a) = D f (a) 6=

en el punto a si y slo si,
1, en consecuencia f es diferenciable
D+ f (a) = D+ f (a) = D f (a) = D f (a) 6=
1:
y en este caso el valor de la derivada f 0 (a) es el valor comn de estas cuatro cantidades.
En el caso que a sea uno de los extremos del intervalo [a; b] se consideran slo las derivadas
laterales correspondientes.
Proposicin 175 Sea f : [a; b] ! R una funcin montonamente creciente. Entonces f
es diferenciable casi en todas partes. La derivada f 0 es medible y,
Z b
f 0 dm f (b) f (a):
a
Demostracin. De acuerdo al Problema 4 basta demostrar que el lmite:

g(x) = l m
h!0
f (x + h)
h
f (x)
es un real extendido c.t.p. en [a; b] y para esto basta demostrar que el conjunto en donde las
cuatro derivadas no son iguales tiene medida nula, para lo cual a su vez basta demostrar
que el conjunto en donde dos de estas derivadas son distintas tiene medida nula. Nosotros
demostraremos esta armacin slo para el conjunto:
E = x 2 [a; b] : D+ f (x) > D f (x) :
Note que:
E=
p;q2Q
x 2 [a; b] : D+ f (x) > p > q > D f (x) :
Por lo tanto basta demostrar que cada conjunto,

Ep;q = x 2 [a; b] : D+ f (x) > p > q > D f (x) ;
tiene medida nula.
Sea s = m (Ep;q ). De acuerdo al Problema 11, pgina 44 dado > 0, existe un
abierto G conteniendo Ep;q tal que m(G) < s + .
Si x 2 Ep;q , entonces q > D f (x), luego para todo h < 0 sucientemente pequeo,
se tiene que [x + h; x] G y cumple con:
f (x + h)
h
f (x)
<q
Corolario 176 Si f es de variacin acotada en [a; b], entonces f 0 existe casi en todas
partes en [a; b] :
9.3.
Denicin 177 Una funcin f : [a; b] ! R se dice que es absolutamente continua si para
todo > 0, existe > 0 tal que
n
X
i=1
jf (x0i )
f (xi )j <
88
para toda particin

a = x1 < x01 < x2 < x02 <
< xn < x0n = b;
que cumpla con la condicin

n
X
i=1
jx0i
xi j < :
Nota 178 Una funcin absolutamente continua claramente es continua, de variacin acotada y por ende, de acuerdo al Corolario 176 es tambin diferenciable casi en todas partes
. Por otro lado, de acuerdo al Problema 21, pgina 66, es fcil ver que si f es integrable
en [a; b] entonces la integral indenida
Z x
F (x) =
f (t)dt
a
es absolutamente continua.
Lema 179 Si f : [a; b] ! R es integrable y
f (t) = 0 casi en todas partes en [a; b].
Rx
f (t)dt = 0 para todo x 2 [a; b], entonces
Demostracin. Supongamos que f (x) > 0 en un conjunto de medida positiva

E. Entonces por Problema 13 existe un conjunto cerrado F
E tal que m(F ) > 0. Sea
G = (a; b) F , entonces como
0=
f=
f+
R
R
f . Pero por otro lado F f > 0, por lo que G f 6= 0. Ahora, como
X1
Rb
G es abierto, entonces G =
(an ; bn ) y por lo tanto, se debe cumplir que ann f 6= 0
n=1
para algn n. Ahora como
Z bn
Z bn
Z an
f=
f
f
se tiene que
f=
an
se debe cumplir que al menos una de las integrales

contradice la condicin de Lema.
R bn
a
f;
R an
a
f debe ser no nula. Esto
Lema 180 Si f : [a; b] ! R es absolutamente continua y f 0 (x) = 0 c.t.p. en [a; b],

entonces f es constante.
9.4.
El Teorema Fundamental
Rx
Lema 181 Si f : [a; b] ! R es acotada y medible entonces la funcin F (x) = a f (t)dt
es diferenciable casi en todas partes en [a; b] y adems se cumple que F 0 (x) = f (x) c.t.p.
en [a; b].
Demostracin. Como evidentemente f es integrable en [a; b] se cumple que F
es de variacin acotada y por lo tanto F 0 existe casi en todas partes en [a; b]. Como f es
acotada existe K > 0 tal que jf j K. Para h = 1=n denamos
fn (x) =
F (x + h)
h
F (x)
1
h
x+h
f (t)dt:
El Teorema Fundamental
89
De la segunda igualdad se deduce que jfn j K. Como evidntemente se cumple

que fn (x) ! F 0 (x) casi en todas partes en [a; b] podemos aplicar el teorema de la convergencia dominada:
Z
Z c
Z c
1 c
(F (x + h) F (x))dx
F0 = l m
fn = l m
n!1 h a
n!1 a
a
" Z
#
Z
1 c+h
1 a+h
= lm
F (x)dx
F (x)dx
n!1 h c
h a
Ahora, como F es continua (recuerde
que f es integrable) del teorema
del
Rc
Rc
Rfundamental
c
clculo clsico se deduce que a F 0 = F (c) F (a) y por ende a F 0 = a f . Como esta
igualdad es vlida para todo c 2 [a; b] podemos aplica el Lema 179 y deducir que F 0 = f
c.t.p. en [a; b].
90
Problemas
1
1. Sea (fn )n=1 una sucesin de funciones de variacin acotada en [a; b]. Si T (fk )
M < 1 para todo k, en donde T (fk ) es la variacin total de fk en el intervalo [a; b]
y si fk (x) ! f (x) para todo x 2 [a; b], demuestre que T (f ) M .
2. De un ejemplo de una sucesin convergente de funciones de variacin acotada en
[a; b] cuyo lmite no sea de variacin acotada.
3. Suponga que f es de variacin acotada y continua en [a; b]. Si llamamos respectivamente P (x), N (x) y T (x) a la variacin positiva, negativa y total de f en [a; x],
demuestre que estas funciones son continuas en [a; b].
4. Sea f : [a; b] ! R una funcin creciente. Suponga que el lmite,
g(x) = l m
h!0
f (x + h)
h
f (x)
es un real extendido c.t.p. en [a; b] Demuestre que f es diferenciable c.t.p. en [a; b],
Rb
f 0 es medible y a f 0 dm f (b) f (a).
5. fsdfsdf
Captulo 10
RESPUESTAS
10.1.
Captulo 1, pgina 16
1.-Es inmediato de las deniciones.

2.-x 2 l m inf An implica que existe n0 2 N tal que x 2 Ai para todo i
n!1
1
S
Luego x 2
Ai para todo n 2 N. Esto demuestra que x 2 l m sup An .
n!1
i=n
3.-Suponga que
1
fAn gn=1
es creciente. Demuestre que l m sup An =
1
S
n0 .
An =
n=1
l m inf An .
4.-Use las leyes de Morgan.
5.- Inmediato de las deniciones.
6.- Inmediato de las deniciones.
7.-Las partes (a), (b), (c), (g), (h) e (i) son inmediatas. La parte (f) se deduce
de (d) y (e). La parte (e) es dual de (d). Por lo tanto basta demostrar (d): supongamos
que L = l m sup an y dena bn = sup ak . Es claro que b1
b2
y L = l m bn .
n!1
n!1
k n
Por lo tanto, si > 0, entonces existe n0 tal que L

< bn < L + para todo n n0 .
Claramente de aqu se deduce (i). Por otro lado, L
no puede ser cota superior del
conjunto fak : k ng, luego existe am tal que am > L
. Recprocamente si se cumple
la parte (i) se deduce que l m sup an L. Finalmente la parte (ii) contradice la posibilidad
n!1
que l m sup an < L.

n!1
8.-Sea A = l m inf An . Demostraremos que

n!1
(x)
=
()
(x) = l m inf
n!1
1 () x 2 A , x 2 l m inf An () (9n0 ) (8n) (n

n!1
(9n0 ) (8n) n
n0 =)
An (x)
= 1 () l m inf
n!1
An (x).
n0 =) x 2 An )
An (x)
= 1:
Note que en la ltima equivalencia se us el hecho que An (x) es igual a 1 cero para
todo n y el problema 7(e(i)).
9.-Sea G = B(a; r). Sea b 2 G. Demuestre que B(b; s)
G, en donde s =
r d(a; b).
10.-Ver Simmons, Introduction to topology and modern analysis, pgina 62.
11.-Consider la coleccin C de todos los intervalos abiertos (q r; q + r) con q 2 Q
y r 2 Q+ . Es claro que esta coleccin es numerable. Es fcil ver ahora que todo intervalo
abierto es unin (contable) de intervalos en esta coleccin y por lo tanto de acuerdo
al Problema 10 todo abierto en R ser unin (contable) de intervalos en C. Luego la
cardinalidad de la topologa de los reales es igual a la cardinalidad de P(N) que corresponde
a la cardinalidad del continuo.
12.-Como la coleccin de los nmeros primos es numerable, entonces la cardinalidad de la coleccin de todos los subconjuntos de N formados exclusivamente por nmeros
Respuestas
92
primos es la misma que la de P(N). Si nos restringimos a subconjuntos nitos entonces

podemos aplicar la Proposicin 6.
1
13.-Sea (X; d) separable y suponga que Y
X. Sea fxn gn=1 un subconjunto de
X denso. Para cada n; k 2 N, elija (en el caso que exista) yn;k 2 B(xn ; 1=k) \ Y . Es claro
que la sucesin fyn;k g es una sucesin contables de elementos de Y . Demuestre ahora que
fyn;k g es densa en Y .
14.-d es distancia pues f es estrictamente creciente. Ahora si 0 < r < 2, entonces
la bola abierta B(1; r) = (a; 1], en donde f (a) = 1 r. Si r = 2, entonces B(1; r) =
( 1; 1]. Finalmente si r > 2, entonces B(1; r) = [ 1; 1] = R.
15.-Si G es abierto, entonces por denicin G
G. Luego G = G. Recprocamente,
si G = G, entonces G es abierto pues es igual a una unin (arbitraria) de conjuntos

abiertos, esto es, igual a G.
F , luego F = F . Recprocamente si F = F
16.-Si F es cerrado, entonces F
entonces F es cerrado pues es igual a una interseccin (arbitraria) de cerrados.
17.-G \ A = , A Gc , esto implica que A Gc pues Gc es cerrado. Luego
G \ A = . El recproco es inmediato pues A A.
18.-Como A [ B
A [ B y A [ B es cerrado, se sigue que A [ B
A [ B. La
otra inclusin es trivial.
19.-Sea G una vecindad de x que no intersecta a A. Entonces A Gc . Como Gc
es cerrado A Gc . Esto implica que A \ G = y por lo tanto x 2
= A. Esto demuestra que
A fx 2 X : Toda vecindad de x intersecta a Ag. La otra inclusin es similar.
20.-Si (X; T ) es segundo contable, entonces X tiene una base fBn g contable para
su topologa T . Elija un punto xn en cada Bn . Este conjunto fxn g es contable y es denso
en X.
21.-Suponga que (X; d) es separable. Sea fxn g contable y denso en X. Considere la
coleccin de todas las bolas abiertas B(xn ; r) centradas en puntos xn y con radio racional
r. Esta coleccin es contable y es una base para la topologa inducida por la distancia d.
22.-R es segundo contable pues es un espacio mtrico separable. Q es un subconjunto denso contable.
23.-Si (xn ) es de Cauchy entonces es acotada y por lo tanto, de acuerdo al axioma
del supremo L = l m sup xn es un nmero real. Usando Problema 7(d) encuentre subsucen!1
sin (xnk ) convergente a L. Demuestre ahora que (xn ) converge a L. La completitud. de

R R se deduce inmediatamente de la completitud de R.
24.-Basta demostrar que F es no vaco. Sea xn 2 Fn . Es fcil ver que fxn g es de
Cauchy. Como X es completo xn ! x0 . Demuestre ahora que x0 2 Fn para todo n.
25.-(a) es inmediato. (b) Suponga que f es continua y A
X. Sea a 2 A y
V una vecindad de f (a). Entonces f 1 (V ) es una vecindad de a y por lo tanto existe
y 2 f 1 (V ) \ A, luego V \ f (A) 6= . Esto signica que f (a) 2 f (A) y por lo tanto
f (A) f (A). Recprocamente suponga que f (A) f (A) para todo A X, entonces si
F es cerrado en Y , se tiene que:
f f
1 (F )
f (f
1 (F ))
F = F;
y por lo tanto f 1 (F ) f 1 (F ), lo cual implica que f 1 (F ) = f

f 1 (F ) es cerrado. Aplique ahora parte (a).
26.-Si x0 = p=q 6= 0, dena = 1=q sin(1=q). Entonces
p =
p
q
p sin
1
p
=
q
q
f (x0 ) :
(F ) y en consecuencia
> 0 y,
Captulo 1, pgina 16
93
Ahora, si x es irracional, se tiene:

jf (x)
f (x0 )j = x
p
+p
q
p
=p
q
jx
x0 j ;
por tanto, f (x) no converge a f (x0 ) cuando x ! x0 .

Sea ahora x0 irracional. Es claro que f (x) ! f (x0 ) si x ! x0 (con x irracional).
Por otro lado, si x es racional y p(x)=q(x) es su correspondiente representacin irreducible,
entonces:
1
1
jf (x) f (x0 )j = p(x) sin
x0 = xq(x) sin
x0 :
q(x)
q(x)
Como q(x) sin(1=q(x)) ! 1 para todo x racional sucientemente cerca de x0 , se sigue que
f (x) ! f (x0 ) cuando x ! x0 (con x racional). Esto demuestra que f es continua en los
irracionales. El caso x0 = 0 es similar.
27.-Sea (xn ) una sucesin de Cauchy en l1 , en donde xn = (x1n ; x2n ; : : :). Si > 0,
entonces (9N 2 N) (8n; m 2 N) (n; m N =) kxn xm k1 < ). Pero entonces para cada
k = 1; 2; : : : ; se tiene que
n; m
N =) xkn
xkm
k
X
xjn
xjm
kxn
j=1
xm k1 < ;
(10.1)
esto es, la sucesin xkn n=1 es de Cauchy en R. Como R es completo, se sigue que existe
xk tal que xkn ! xk cuando n ! 1. Falta demostrar que x = (x1 ; x2 ; : : :) pertenece a l1
y que xn ! x. De acuerdo a 10.1, si mantenemos n N jo, pero hacemos tender m a
1, obtenemos:
k
X
n N =)
xjn xj
;
j=1
como N es independiente de k se deduce que n N =) kxn xk1

. Esto demuestra
que x 2 l1 (pues x = x xn + xn y tanto x xn como xn estn en l1 ) y que xn ! x.
La demostracin para l1 es similar.
28.-Sea (X; d) un espacio mtrico y K
X compacto. Sea x0 2 K c . Entonces,
para cada x 2 K; d(x; x0 ) > 0. Si ponemos rx = d(x; x0 ), S
entonces B(x; rx =2) es disjunta de la bola B(x0 ; rx =2). Es claro adems que K
B(x; rx =2). Como K es
compacto, existen x1 ; x2 ; : : : ; xn 2 K tal que K
n
S
x2K
B(xk ; rxk =2). Sea ahora r =
k=1
m n frx1 ; rx2 ; : : : ; rxn g. Es claro que B(x0 ; r=2) K . Luego K c es abierto y por lo tanto
K es cerrado.
29.-Suponga que el espacio mtrico (X; d) es compacto y sea x0 2 X. Note ahora
que,
1
[
X=
B(x0 ; n):
n=1
Como X es compacto, existe n 2 N tal que X B(x0 ; n), luego X es acotado.

30.-Es trivial. Use slo la denicin.
31.-(a) Suponga que l m sup f (x) A. Sea > 0, entonces l m sup f (x) < A + ,
x!y
y en consecuencia existe
> 0 tal que
x!y
sup
f (x) < A + , luego:
0<jx yj<
(8x 2 R) (0 < jx
yj <
=) f (x) < A + ) :
Respuestas
94
. El recproco es inmediato.
32.-(a) Suponga que f es semicontinua superiormente. Demostraremos que el
conjunto fx : f (x) < g es abierto. Sea x0 2 fx : f (x) < g. Entonces f (x0 ) < . Como
f es semicontinua superiormente se tiene que > f (x0 ) l m sup f (x). Esto implica que
x!x0
existe
> 0 tal que
sup
f (x) < , lo que a su vez implica que f (x) <
para todo x
0<jx x0 j<
tal que 0 < jx x0 j < . Por lo tanto (x0

; x0 + ) fx : f (x) < g. Esto demuestra
que el conjunto fx : f (x) < g es abierto. El recproco es inmediato. Basta considerar el
conjunto fx : f (x) < f (x0 ) + g.
(d) Observe que
fx : f (x) + g(x) > g =
2R
(fx : f (x) > g
fx : g(x) >
g) :
e)Observe que:
fx : f (x) _ g(x) > g = fx : f (x) > g
fx : g(x) > g
33.-Sea x0 2 X. Demostraremos que f es continua en x0 . Sea > 0. Como (fn )

converge uniformemente a f existe N 2 N tal que para todo x 2 X y para todo n N se
tiene jfn (x) f (x)j < =3. En particular, para todo x 2 X se tiene jfN (x) f (x)j < =3.
Ahora, como fN es continua en x0 se tiene que debe existir > 0 tal que la condicin
d(x; x0 ) < implica que jfN (x) fN (x0 )j < =3. Luego, si d(x; x0 ) < se tiene
jf (x)
f (x0 )j
jf (x)
fN (x)j+jfN (x)
fN (x0 )j+jfN (x0 )
f (x0 )j < =3+ =3+ =3 = :
34.-Considere la sucesin fn (x) = xn , con x 2 [0; 1]. Es claro que esta sucesin
converge puntualmente a la funcin discontinua
f (x) =
0 0<x 1
1
x=1
Por Proposicin 38 la convergencia no es uniforme.

35.-Sean x; y 2 X jos, entonces si z 2 A la desigualdad triangular implica
d(x; z)
d(x; y) + d(y; z)
Por lo tanto
d(x; A) = nf fd(x; z) : z 2 Ag
d(x; y) + nf fd(y; z) : z 2 Ag ;
en otras palabras se tiene

f (x)
d(x; y) + f (y);
como d(x; y) = d(y; x) este resultado implica que jf (x) f (y)j d(x; y) lo que a su vez
implica que f es uniformemente continua.
36.-Como d(xn ; xn+1 ) kd(xn 1 ; xn )
k n d(x0 ; x1 ), se obtiene que:
d(xn ; xn+m )
(k n + k n+1 +
+ k n+m
)d(x0 ; x1 ):
(10.2)
Por lo tanto d(xn ; xn+m ) k n (1 k) 1 d(x0 ; x1 ). Esto signica que la sucesin fxn g es
de Cauchy. Como X es completo, se sigue que (xn )converge a un elemento z, el cual, por
la continuidad de T es un punto jo de T . La unicidad de z es obvia. El error a priori se
Captulo 2, pgina 24
95
obtiene haciendo tender m ! 1 en 10.2. El error a posteriori, se obtiene haciendo tender

m ! 1 en la siguiente desigualdad:
d(xn+1 ; xn+m+1 )
d(xn+1 ; xn+2 ) + d(xn+2 ; xn+3 ) +
+ d(xn+m ; xn+m+1 )
(k + k 2 +
+ k m )d(xn ; xn+1 )
1
k(1 k) d(xn ; xn+1 ):
37.-Es claro que la existencia de una solucin en I es equivalente a encontrar una
funcin continua x : I ! Rn , tal que
Z t
f (s; x(x))ds;
t2I
( )
x(t) = xo +
0
Para demostrar la existencia de tal solucin, denamos X como el espacio vectorial de todas las funciones continuas en el intervalo I. Si x 2 X, denamos jjxjj =
maxfe t jx(t)j : t 2 Ig. Entonces el espacio (X; d) con d(x; y) = jjx yjj es un espacio
mtrico completo. Denamos T : X ! X de modo que T x sea la funcin denida por
la parte de la derecha de la igualdad (*). Ahora, como f es lipschitziana en la segunda
variable, existe un k > 0 tal que jf (s; x) f (s; y)j kjx yj. Por lo tanto:
Z t
t
jjT x T yjj = maxfe j
f (s; x(s)) f (s; y(s))dsj : t 2 Ig
maxfe
kjx(s)
y(s)jds : t 2 Ig
maxfe
maxfe
kjjx
yjj
jx(s)
Z
maxfkjjx
(k= )jjx
Tomando
10.2.
yjj
y(s)je
: t 2 Ig
e s ds : t 2 Ig
t
: t 2 Ig
yjj:
> k se puede aplicar el theorem de Banach (ver Problema 36).
Captulo 2, pgina 24
1.-Sean A; B 2 A entonces A; B 2 A para todo 2 . Como cada A es un

lgebra, se deduce que A [ B y Ac y pertenecen a A para todo 2 . Esto signica
que A [ B y Ac y pertenecen a A y por lo tanto A es un lgebra.
2.-Es claro que esta familia es no vaca, puesto que P( ) es un lgebra en que
obviamente contiene a C. De acuerdo al problema anterior, la interseccin de esta familia
de lgebras es nuevamente un lgebra en . Por otro lado, si B es un lgebra en que
contiene a C, entonces B 2 fA : A lgebra y C Ag y por consiguiente A(C) B.
3.-Similar al Problema 2.
4.-Es inmediato de la propiedad (c) de la Denicin 53 y de la Proposicin 56.
5.-Si A; B 2 A, es claro que A [ B es nito si A y B lo son, en caso contrario
c
(A [ B) lo es.
Si no es nito, entonces existe un subconjunto B innito contable tal que B c
tambin es innito. Es claro que este conjunto B no pertenece a A. Si A fuese una lgebra, debiera cumplirse que B 2 A.
Respuestas
96
6.-Si A =
1
S
An , entonces A es contable si todos los An lo son, en caso contrario
n=1
Ac lo es.
1
S
7.-Si A =
An con An 2 B, entonces f
1
S
(A) =
n=1
n=1
(An ) 2 A, luego A 2 B.
8.-Las condiciones (1) y (3) de la Proposicin 52 son obvias. Por otra parte es
claro que la diferencia de dos intervalos de los tipos indicados es un intervalo del mismo
tipo o una unin de dos intervalos disjuntos del mismo tipo. La coleccin no es -lgebra
1
S
pues (a; b) =
(a; b 1=n].
n=1
9.-A(C) = (C) =P(C).
10.-Use Proposicin 56 y la igualdad (a; b] =

(C)
B(R). Recprocamente use la igualdad (a; b) =
1
T
(a; b + 1=n) para concluir que
n=1
1
S
(a; b
1=n] y el hecho de que
n=1
todo conjunto abierto de R es unin contable de intervalos abiertos para concluir que
B(R)
(C). El caso R es similar.
11.-De acuerdo al Problema 10, basta demostrar que la -lgebra generada por
los intervalos semi-abiertos coincide con la -lgebra generada por los intervalos cerrados.
Esto ltimo es evidente de las identidades:
(a; b] =
1
S
[a + 1=n; b]
[a; b] =
n=1
1
T
(a
1=n; b]
n=1
12.- (C2 ) es una -lgebra que contiene a C2 , luego contiene a C1 . Consecuente(C1 )

(C2 ).
13.-Si C es contable entonces no hay nada que demostrar. Suponga entonces
que
S
C es innito no contable. Sea = fD C : D es contableg. Entonces A =
(D) es
mente
D2
un -lgebra. Es claro que A contiene a C y est contenido en (C). Luego A = (C).

14.-Es claro que (C)\A es una -lgebra en A que contiene a C \A. Esto implica
que (C \ A)
(C) \ A. Recprocamente, dena,
A = fB [ (C
A) : B 2
Verique que A es una -lgebra en
(C \ A) ^ C 2
(C)g
. Si E 2 C, entonces dado que:
E = (E \ A) [ (E
A)
junto al hecho que E \ A 2 C \ A

(C \ A) implica que E 2 A, de donde se sigue que
C A y por consiguiente (C) A, lo que a su vez implica que:
(C) \ A
A\A
(C \ A) :
15.-Es claro que jCj jA(C)j. Por otro lado note que A(C) no
T es nada ms que
la coleccin de todas las uniones nitas de conjuntos de la forma Ck , en donde la
interseccin tambin es nita y los conjuntos Ck estn en C o en su complemento. Use
ahora Proposicin 6 (dos veces) para concluir que jCj = jA(C)j.
16.-(a) Sea A0 = fB(r; 1=n) : r 2 Q; n 2 Ng en donde B(r; 1=n) es la bola abierta
centrada en r y de radio 1=n. Es claro que A0 es contable (numerable) y obviamente
A0 A. Por otro lado note que todo conjunto abierto de R es una unin de conjuntos de
A0 , por lo tanto (A0 ) = A. (b) es similar a (a).
17.-Suponga que si existe una -lgebra A innita numerable en . Ciertamente
debe ser al menos innito numerable. Para cada x 2 dena N (x) = \ fA 2 A : x 2 Ag.
Sean x; y 2 ; x 6= y. Demuestre que:
Captulo 2, pgina 24
97
(i) N (x) 2 A para todo x 2 .

(ii) Si x 2
= N (y) o y 2
= N (x) entonces N (x) \ N (y) = :
(iii) Si x 2 N (y) y y 2 N (x) entonces N (x) = N (y).
De lo anterior deduzca que C = fN (x) : x 2 g es una coleccin disjunta contenida en A. Como cada elemento de A es una unin disjunta de elementos de C se deduce que
C es una coleccin innita numerable y disjunta. Esto implica que P(C) es una coleccin
innita no numerable contenida en A. Esto es una contradiccin pues A es numerable.
18.-Similar al Problema 2.
19.-Sea A una lgebra y sea (An ) una sucesin de conjuntos en A. Dena En =
n
S
Ak .
k=1
20.-Sea A una lgebra y sea (An ) una sucesin de conjuntos en A. Dena E1 = A1

nS1
y En = An
Aj para n 2.
j=1
21.-Sea A una lgebra montona y sea (An ) una sucesin de conjuntos en A.

1
1
S
S
Por Problema 19 existe una sucesin creciente (En ) en A tal que
An =
En . Esto
implica que
1
S
n=1
n=1
n=1
An pertenece a A.
22.-trivial.
23.-Suponga que A es una lgebra. Es claro que 2 M(A). Sea ahora F
y
dena K(F ) la clase de todos los conjuntos E
tal que E F; F E; y E [ F estn
en M(A). Note que E 2 K(F ) si y slo si F 2 K(E). Es fcil ver que si K(F ) no es vaco,
entonces es una familia montona. Sea F 2 A, como A es lgebra, entonces A K(F ).
Como K(F ) es montona, se deduce que M(A) K(F ), luego si E 2 M(A), entonces
E 2 K(F ), pero entonces F 2 K(E) y por lo tanto M(A) K(E) con E 2 M(A). Esta
ltima armacin implica que M(A) es una lgebra.
24.-De acuerdo al Problema 22, M(A)
(A). Para la inclusin inversa basta
probar que M(A) es -lgebra; para lo cual, de acuerdo al Problema 21 basta probar que
M(A) es una lgebra, lo cual es cierto de acuerdo al Problema 23.
25.-Basta demostrar que si q 2 Q, entonces fqg 2 (A), lo cual se deduce de la
1
T
igualdad fqg =
(q 1=n; q] :
n=1
26.-(a)!(b) trivial. (b)!(c): Se desprende de las relaciones:

A4B
A\B
= (A B) [ (B A) = ((A [ B)
= (A [ B) A 4 B
B) [ ((B [ A)
(c)!(d) Se desprende de la relacin:

A + B = A 4 B;
y de la igualdad A B = A 4 B que es vlida si B
(d)!(a):Se deduce de las relaciones:
A B
A[B
A.
= A (A \ B)
= (A B) + B:
27.-Use el Problema 26.

28.-Observe que (R; ) es un grupo abeliano:
(A B) C = A (B
A B=B A
A
=
A=A
A A=A A=
C) Asociatividad de la suma
Conmutatividad de la suma
Existencia del neutro aditivo
Existencia del inverso aditivo
A)
Respuestas
98
y que
es distributiva sobre la suma .

29.-Sea F la coleccin -aditiva generada por C. Como (C) es -aditiva, se
deduce que F
(C). Recprocamente si se demuestra que F es -lgebra, se deducira
que (C) F y se terminara la demostracin. Para demostrar que F es -lgebra usemos
la Proposicin 55 y para esto basta demostrar que F es cerrada bajo diferencias ya que
n
1 P
1
S
P
Ak .
Ak =
n=1 k=1
k=1
Para demostrar que F es cerrada bajo diferencias basta demostrar que es cerrada
bajo intersecciones puesto que A B = A \ B c = A \ (
B). Para demostrar que F es
cerrada bajo intersecciones dena H = fA
: 8B 2 F; A \ B 2 Fg. Para terminar el
problema basta probar que F H y para que esto ltimo sea cierto basta vericar que H
es -aditiva y contiene a C. La -aditividad es fcil de vericar. Finalmente para demostrar
que H contiene a C tmese un conjunto C 2 C y dena la clase D = fA
: A \ C 2 Fg.
De modo similar al anterior demuestre que D es -aditiva. Como C D, se deduce entonces
que F D. Esto implica que C 2 H y termina la demostracin.
30.- Demostrar que
f 1 (C)
f 1 ( (C)) es fcil. Para demostrar la otra
inclusin dena como S la coleccin de todos los conjunto A 2 (C) tal que f 1 (A) 2
f 1 (C) . Demuestre que S es una -lgebra que contiene a C. Por lo tanto (C) S.
10.3.
Captulo 3, pgina 35
1.- (A+ + + ) = (A)+ ( )+ ( )+ . Luego (A) = (A)+ ( )+ ( )+.

Como (A) es nito, se tiene ( )+ ( )+ = 0. Como ( ) 0, se deduce que ( ) = 0.
2.-Es claro que : A ! [0; 1) y que ( ) = 0. Si alguno de los conjuntos Ak ,
k = 1; 2; : : : ; n tiene complemento nito, entonces (A1 + +An ) = (A1 )+ + (An ) =
1, en caso contrario (A1 +
+ An ) = (A1 ) +
+ (An ) = 0. Para demostrar que
no es contablemente aditiva elija un subconjunto innito A = fa1 ; a2 ; : : :g de
con
complemento nito.
1
1
P
P
3.-Sea A =
An . Entonces (A) =
(An ) = 0 en el caso que todos los An
n=1
sean contables, en caso contrario (A) =
1
P
n=1
n=1
(An ) = 1 puesto que la coleccin fAn gn=1
puede tener a lo ms un conjunto con complemento contable.

4.-Si (A) o (B) es innito el resultado es trivial. Suponga entonces que (A) y
(B) son nitos. Entonces si escribimos C = A \ B, se tiene:
(A [ B)
=
=
=
(A C) + (C) + (B C)
(A)
(C) + (C) + (B)
(A) + (B)
(C)
de donde se sigue el resultado.

1
1
P
P
5.-Si
(An ) y
(An ) son nitos, se tiene:
n=1
( + )
1
X
n=1
(C)
n=1
An
1
X
n=1
1
X
n=1
An
1
X
n=1
(An ) + (An ) =
An
1
X
1
X
(An ) +
n=1
1
X
(An )
n=1
( + ) (An ) .
n=1
la penltima igualdad se debe a la convergencia absoluta de las series
1
P
n=1
(An ) y
Captulo 3, pgina 35
1
P
99
(An ). La demostracin para el caso de una sucesin contable de medidas es sim-
n=1
ilar y se basa en la igualdad
1
1 P
P
aij =
i=1 j=1
6.-Tome Xn = fxn g. Entonces
1 P
1
P
aij (Teorema 36.10, Bartle)
j=1 i=1
1
S
n=1
Xn con (Xn ) = pn < 1. La -aditividad
es consecuencia de la convergencia absoluta.

7.-Consecuencia inmediata de la Proposicin 72, parte (b) y (c).
8.-Sea N el conjunto de puntos de que pertenecen a innitos An . Entonces N =
1
1
1
1 S
1
P
S
S
T
(An ).
Ak
Ak # N y que
Ak = l m sup An . Ahora observe que
n!1
n=1 k=n
k=n
k=n
k=n
9.-Lo nico no evidente es que B sea cerrada bajo uniones contables. Sea fAn g
1
S
B, entonces (
An ) = 0 si (An ) = 0 para cada n. Si (Acn0 ) = 0 para algn n0 ,
entonces
n=1
1
S
An
1
T
n=1
n=1
Acn
(Acn0 ) = 0.
10.-directo.
11.-directo.
12.-la desigualdad triangular se deduce de la inclusin A4C (A 4 B)[(B 4 C).
Las otras propiedades son evidentes.
13.-Sea (xn ) una sucesin densa en
y denotemos por Dnk el disco cerrado de
m
S
k
=
Dnk . Para 0 < < 1.
radio 1=k centrado en xn . Considere el subconjunto cerrado Fm
n=1
k
" , luego, de acuerdo a la Proposicin 69. Sea mk ; denido
Si k es jo, entonces Fm
inductivamente como el natural ms pequeo para el cual se cumple que:
k
T
i=1
Si ahora escribimos K =
1
T
i=1
i
Fm
i
>1
i
Fm
, vemos que K es compacto (completo y totali
mente acotado) y adems (K) = l m
k!1
k
T
i=1
i
Fm
i
14.-Caso especial del Problema 6.

15.-Considere = N y An = fn; n + 1; n + 2; : : :g.
16.-Es claro que
es nitamente aditiva. Sea (Ek ) una sucesin disjunta en
1
n
n
P
P
P
A tal que E =
Ek 2 A. Como
Ek " E, se tiene (E) = l m
Ek =
lm
n
P
n!1 k=1
k=1
1
P
(Ek ) =
17.-Sea
k=1
n!1
k=1
(Ek ).
k=1
una medida -nita sobre la lgebra B y suponga que
1
S
Bn con
n=1
Bn 2 B y (Bn ) < 1 para todo n. Dena An =P

Bn (A1 [
[ An 1 ):
18.-De acuerdo al Problema 17,
=
An con (An ) < 1 para todo n. Si
suponemos que B = fx 2 : fxg 2 A y (fxg) > 0g no es contable, entonces An0 \ B es
no contable para algn n0 . Dena ahora Bk = fx 2 An0 \ B : (fxg) > 1=kg. Entonces
Bk0 es no contable para algn k0 . Sea fx1 ; x2 ; : : :g un subconjunto numerable (innito)
de Bk0 . Es claro que fx1 ; x2 ; : : :g 2 A y (fx1 ; x2 ; : : :g) = 1. Esto es una contradiccin
puesto que fx1 ; x2 ; : : :g Bk0 An0 \ B An0 y An0 tiene medida nita.
19.-Sea A 2 A con 0 < (A) < 1. Como A no es un tomo, existe C
A, con
C 2 A y 0 < (C) < (A). Si (C) > (A)=2, entonces (A C) = (A)
(C) <
Respuestas
100
(A)=2. Esto implica que (C)

(A)=2 (A C)
(A)=2. Luego existe B1 A tal
que B1 2 A y 0 < (B1 ) < (A)=2. De esta manera se deduce que existe una sucesin
(Bn )
A tal que 0 < (Bn ) < (A)=2n . Como (A) es nito, se deduce el resultado
buscado.
1
S
20.-Como Q =
fqn g en donde q1 ; q2 ; : : : es una sucesin de todos los racionales,
n=1
se deduce que la medida de conteo es -nita en (A) = P (Q). Claramente no es nita en A ya que todos los conjuntos del lgebra A (con la excepcin del vaco) contienen
innitos racionales.
21.-Sea F el conjunto de puntos de E que no son recurrentes. Como,
1
F =E\T
E) \ T
E) \
se tiene que F es medible. Suponga que (F ) > 0. Es fcil vericar que F es disjunto de
T k (F ) para todo k
1. Esto implica que la coleccin T 1 (F ); T 2 (F ); : : : es disjunta
puesto que:
T n (F ) \ T (n+k) (F ) = T n (F \ T k (F )):
Como T preserva medida, esto es una contradiccin.
22.- es la medida de conteo.
23.- (E) = 0 si E es contable y (E) = 1 si E es no contable.
24.- = fx; yg con x 6= y. Dena ( ) = 0; ( ) = 3 y (fxg) = (fyg) = 1.
Entonces ( ) < ( ) = 3.
25.-Inmediato por la monotona y la subaditividad contable de la medida .
26.-Todos los conjuntos de P ( ) son -medibles.
27.-Slo y son -medibles.
28.-Son -medibles todos los conjuntos contables o cuyo complemento es contable.
29.-Todo conjunto -medible es -medible.
n
n
1
1
P
P
P
P
30.-Note que
(Ak ) =
Ak
Ak , luego
(Ak )
1
P
k=1
k=1
k=1
k=1
Ak .
k=1
31.-Son medidas exteriores (a), (d) y (e). La subaditividad contable de (e) se

deduce de la desigualdad:
l m sup
n!1
1
X
m=1
knm
1
X
m=1
l m sup knm
n!1
la que a su vez es consecuencia inmediata del Corolario 116, pgina 53.

32.-Inmediato.
33.-Use Problema 15, pgina 56.
10.4.
Captulo 4, pgina 43
1.-Basta observar que R =
1
S
( n; n].
n=1
2.-Si x 2 R, entonces fxg (x 1=n; x], luego m (fxg) P

1=n. Note que fxg es
boreliano puesto
que
es
cerrado.
Si
A
es
numerable,
entonces
A
=
fxk g y por lo tanto
P
P
m (A) = m ( fxk g) = m (fxk g) = 0.
3.-Como m es una medida sobre el lgebra A, se tiene, de acuerdo al Problema
25, pgina 37, que m((a; b]) = m ((a; b]) = b a. Por otro lado (a; b) = (a; b] fbg, por lo
tanto m((a; b)) = b a.
Captulo 5, pgina 55
101
4.-De acuerdo al Problema 16, pgina 25, la -lgebra de Borel en R es separable

y por lo tanto su cardinalidad es c. Por otro lado el conjunto de Cantor tiene medida
nula y por la completitud de la medida de Lebesgue son Lebesgue medibles todos los
subconjuntos del conjunto de Cantor. Esta coleccin tiene cardinalidad 2c puesto que el
conjunto de Cantor tiene cardinalidad c.
5.-Es claro que A C. Ahora si (An ) es una sucesin montona en C, tambin lo
ser en (A) y por Proposicin 69, se tiene que:
(l m An ) = l m (An ) = l m (An ) = (l m An )
y por consiguiente l m An 2 C. La conclusin se obtiene de la Proposicin 61.
6.-(Slo el caso de la resta) Use las identidades:
E [ N = (E [ A)
(A
N );
N = (E
A) [ (A
N)
en donde A; E 2 A y N A.
7.-Inmediata.
8.-Inmediato del hecho que la medida de un intervalo (a; b] es invariante bajo
traslaciones.
n m n
;
con 1
9.-Varias maneras. Por ejemplo dena rn;m = mn m n
2
m
m
S
n
n
n < m y considere
rnm ;
+ rnm .
m
m
1 n<m
10.-Note que Fn # F , por lo tanto por Proposicin 69 se deduce que m(F ) =
l m m(Fn ) = 1 l m m(Fnc ) = 0.
1
1
P
S
11.-Como m (E) = nf
((an ; bn ]) : E
(an ; bn ] , entonces existe una
n=1
n=1
coleccin f(an ; bn ]g de intervalos nitos tales que E

=2. Considere ahora el conjunto G =
1
S
1
S
(an ; bn ] y
n=1
1
P
bn an < m (E)+
n=1
an ; bn + =2n+1 . Es claro que G es abierto y
n=1
contiene a E. Adems por Problema 3, pgina 43, se tiene:

m(G)
1
P
bn + =2n+1
an =
n=1
1
P
(bn
n=1
an ) +
1
P
=2n+1 < m (E) + =2 + =2:
n=1
12.- Suponga que f es montona creciente. Entonces f

valo de [a; b] y consecuentemente es medible.
10.5.
(( ; 1]) es un subinter-
Captulo 5, pgina 55
1.-Claramente basta demostrar que B es medible, ya que entonces, por simetra

tambin lo ser el conjunto D = fx : f (x) > g(x)g y por consiguiente tambin lo sern los
conjuntos A y C ya que C = Dc y A = C \ B c . Para demostrar que B es medible observe
que
[
B=
[fx : f (x) < rn g \ fx : rn < g(x)g]
rn
en donde (rn ) es el conjunto de todos los nmeros racionales.

2.-Es evidente, ya que f 1 (B) puede ser slo uno de los siguientes conjuntos:
c
; E; E y .
3.-Note que
fx : f (x)
g=
1
T
n=1
fx : f (x) >
1=ng
Respuestas
102
y
c
fx : f (x) < g = fx : f (x)

4.-Use Problema 3.
5.-Sea E = fx 2 : f (x) 6= g(x)g. Si
g
(( ; 1]) = f
g :
2 R, entonces
(( ; 1]) [ fx 2 E : g(x) > g
fx 2 E : g(x)
g:
Note ahora que fx 2 E : g(x) > g y fx 2 E : g(x)

g son medibles puesto que son
subconjuntos de E y (E) = 0.
6.-Sea E = fx 2 : f (x) 6= g(x)g, entonces si F 2 B, se tiene:
g
(F ) = g
(F ) \ E c [ g
como (E) = 0 se deduce que E \ g 1 (F ) y E \ g

7.-Use Proposicin 98 y el hecho que
1
A = fx : (fn (x))n=1 convergeg =
(F ) \ E :
(F c ) son medibles.
x : l m inf fn (x) = l m sup fn (x) :

n!1
n!1
8.-Sea An = fx 2 E : f (x) > 1=ng. Entonces:

Z
Z
1
(An )
fd
f d = 0:
n
An
E
S
Deduzca que (An ) = 0. P
Ahora use que fx 2 E : f (x) 6= 0g = An .
9.-Note
k Ak es una funcin simple medible tal que 0
P que s =
slo si s0 =
es
una
funcin simple tal que 0S s0
k Ak \E
Ef.
10.-Sea (Ek ) sucesin disjunta en A y sea E = Ek . Observe que:
R
R
P
(E) =
(Ek ) =
Ef =
Ek f;
E f;
Ek f:
f si y
Use ahora Corolario 112.

R
R
11.-Sea E = fx : f (x) 0g. Entonces E f d = E f + d = 0. Use ahora Problema 8.
R
R
12.-Sea E = fx 2 : f (x) 6= g(x)g entonces como E jgj d = E jf j d = 0, se
tiene:
Z
Z
Z
Z
Z
Z
jgj d =
jgj d +
jgj d =
jf j d +
jf j d =
jf j d :
E
La demostracin de la igualdad
13.-Note que fx : f (x) 6= 0g =
1
S
f d = g d es similar.
n=1
fx : jf (x)j > 1=ng. Como la funcin f es inte-
grable cada uno de los conjuntos fx : jf (x)j > 1=ng debe tener medida nita.
14.-Usando funciones simples, se obtiene inmediatamente que
R
jf j d =
N
1
P
n=1
jf (n)j ,
1
R
P
luego la primera armacin es evidente. Para demostrar que N f d =
f (n) use la
n=1
R
R +
R
denicin N f d = N f d
f d y aplique lgebra de series convergentes.
N
15.-Evidente del Problema 14.
Captulo 5, pgina 55
103
16.- Como todo abierto en R es unin contable de abiertos, se tiene que:

S
S
P
(f 1 (F c )) = (f 1 ( Gn )) = ( f 1 (Gn ))
f 1 (Gn ) :
Por lo tanto basta demostrar que f 1 (Gn ) = 0 para un intervalo (a

Supongamos por el contrario que E = f 1 (Gn ) > 0, entonces:
Z
Z
Z
1
1
1
(f a) d
fd
a =
jf
(E) E
(E) E
(E) E
r; a + r) cualquiera.
aj d
r.
Esto contradice la hiptesis.

17.-Considere la sucesin gn = f1 fn . REntonces gn "Rf1 f . Aplique teorema de
la convergencia montona para
linealidad
R llegar a que
R l m R (f1 R fn ) = f1 f . Aplique
R
(Corolario 112) para obtener f1 l m fn = f1
f . Simplique por f1 puesto que
es nito.
18.-Aplique el teorema de la convergencia dominada.
n
19.-Observe que para todo n 2 N, la funcin fn (x) = [0;n] (x) 1 + nx e 2x es
no negativa y la sucesin (fn ) es no decreciente. En efecto, para x 2 [0; n 1] se tiene que
!n
n
1 + nx
n 1+x
x
fn (x)
x
=
=
1
:
1
+
x
2
fn 1 (x)
1+ n 1
n 1
n
n + nx
n 1
Usando ahora la desigualdad de Bernoulli, se tiene
fn (x)
=
fn 1 (x)
n2
x
n + nx
n
n
1+x
1
n2
nx
n + nx
n
n
1+x
1
= 1:
Esto demuestra que(fn ) es creciente. Ahora como fn " e x podemos aplicar el teorema
de la convergencia montona. El otro lmite es similar.
20.-Observe que l m inf fn = 0 y que l m sup fn = 1. Este ejemplo muestra que la
desigualdad estricta puede darse en el lema de Fatou.
1
P
21.-Condicin necesaria: de acuerdo al Problema 17, pgina 36, =
An con
n=1
An 2 A y 0 < (An ) < 1 para todo n. Dena f de modo que f jAn = 2 n = (An ).
Condicin suciente: Considere los conjuntos An = fx 2 : f (x) > 1=ng.
22.-Como la convergencia es uniforme, existe N 2 N tal que jfn (x) fm (x)j < 1
para todo x 2 y para todo m; n
N . Luego jfn (x)j < jfN (x)j + 1. Como la funcin
jfN (x)j + 1 es integrable en , podemos aplicar el teorema de la convergencia dominada
de Lebesgue.
R
23.-Obviamente
la convergencia es uniforme y para todo n 2 N se tiene N fn d =
R
1; en cambio N f d = 0.
24.-Note que kfn f k1 = 1=(n + 1), luego la convergencia es uniforme. Por otro
1
R
R
P
lado fn = 1 + 1=2 +
+ 1=n < 1, en cambio f =
1=n = 1.
n=1
25.-Podemos suponer que todas las funciones son reales. Sea En tal que (En ) <
1=n y (fn ) converge uniformemente en Enc . Entonces (fn ) converge a f en:
F =
Enc =
En
Observe ahora que (F c )

(En ) < 1=n.
26.-Podemos suponer que todas las funciones son reales y la convergencia en
1
T
k
todo . Dena Enk =
fx : jfm (x) f (x)j < 1=kg. Entonces Enk
En+1
y como hay
m=n
Respuestas
104
convergencia en todo ; para todo k; Enk " . Por lo tanto

Enk # . Aplicando
Proposicin 22 (4), se deduce que
Enk # 0. Luego, si > 0, existe nk tal que:
Enk <
Dena F =
1
T
k=1
1
2k
Enkk . Demuestre que (F c ) <
nk .
y (fn ) converge a f uniformemente en F .
27.-(a) Suponga que fn ! f y fn ! g (ambas en medida). Como:

x : jf (x)
entonces
1
n
g(x)j
(fx : jf (x)
x : jfn (x)
g(x)j
1
2n
f (x)j
[ x : jfn (x)
1
2n
g(x)j
1=ng) = 0. Como:
fx : f (x) 6= g(x)g = fx : jf (x)
g(x)j > 0g =
fx : jf (x)
g(x)j
1=ng ;
Por lo tanto f = g c.t.p. (b) Para > 0 y > 0, existe un conjunto E y n0 tal que
(E) < y jfn (x) f (x)j < para todo x 2 E c y 8n n0 . Por lo tanto:
(8n) (8n
n0 ) )
(fx : jfn (x)
Esto signica que l m (fx : jfn (x)

n!1
(
28.-Sea Ek =
f (x)j
x : l m sup
!0
f (x)j
g) = 0:
sup
y;z2B(x; )
jf (y)
f (z)j
g) < :
)
> 1=k . Si E es el conjunto
de puntos en donde f no es continua, entonces Ek " E. Si f no es continua c.t.p., entonces m(E) > 0. Por Proposicin 69 (3) m(Ek ) = > 0 para algn k. Ahora si P =
ft0 ; t1 ; : : : ; tn g es una particin de [a; b], se tiene que los intervalos (t0 ; t1 ) ; : : : ; (tn 1 ; tn )
forman un recubrimiento del conjunto Ek P y claramente m(Ek P ) = m(Ek ) =
Denote por P 0 aquel subconjunto de P consistente en todos los puntos tj tales que:
(tj
1 ; tj )
Por la monotonicidad de m se tiene:

X
(tj
\ Ek 6= :
tj
1)
tj 2P 0
Si Mj =
sup
x2(tj
f (x); mj =
1 ;tj )
nf
x2(tj
1 ;tj )
mj > 1=k si i 2 P 0 . Si
f (x), entonces Mj
llamamos UP y LP a la suma superior e inferior respectivamente, se tiene:

X
X
UP LP =
(Mj mj )(tj tj 1 )
(Mj mj )(tj tj 1 ) >
tj 2P 0
tj 2P
Esto contradice la suposicin de la integrabilidad de Riemann.

29.-De acuerdo al Corolario 112, pgina 51, se tiene
Z
Z
1 Z
1
X
X
gd
gd =
d
=
(An ) < 1:
An
A
n=1
n=1
esto implica que (A) = 0.

30.-Es claro que f < 1 c.t.p. Sea A = fx 2
fn (x) = n ln 1 +
f
n
= n1
: f (x) > 0g. Dena

ln 1 +
f
n
Captulo 5, pgina 55
h
Como ln 1 +
f
n
in
105
"f
se deduce que para todo x 2 A se tiene:

8
Si 0 < < 1
< 1
f (x) Si = 1
l m fn (x) =
n!1
:
0
Si 1 < < 1:
Aplique ahora el teorema de la convergencia montona.

R1
31.- l m fn (x) = 0 para todo x 2 (0; 1] y l m fn (0) = 1. Luego 0 l m fn dm =
n!1
n!1
Rn!1
R1
1
0. Por otro lado, para todo n 2 N se tiene 0 fn dm = 1 y por lo tanto l m 0 fn dm = 1.
n!1
32.- (a) Suponga que (En0 ) es una sucesin disjunta en A0 . Entonces:

X
X
X
X
X
f 1
=
En0 =
En0
f 1 (En0 ) =
f 1 (En0 ) =
(b) Consideremos en primer lugar el caso g = E 0 :
Z
Z
Z
1
1
0
gd f 1
=
d
f
=
f
(E
)
=
0
E
0
0
Z
Z
=
( E0 f ) d =
(g f ) d :
1 (E 0 )
(En0 ) :
Usando la linealidad de la integral, vemos que la igualdad es vlida para funciones simples.
Finalmente si g : 0 ! [0; 1] es medible, elijamos una sucesin creciente (sn ) de funciones
simples no negativas tales que sn " g. De acuerdo al teorema de la convergencia montona
de Lebesgue, se tiene:
Z
Z
Z
gd f 1
=
l m sn d f 1 = l m
sn d f 1
n!1
0
0 n!1
0
Z
Z
(sn f ) d =
l m (sn f ) d
= lm
n!1
0
0 n!1
Z
=
(g f ) d :
(c) Aplique el resultado (b) a las funciones
g+ y g .
p
33.-Note que f (x) = sin x + cos x = 2 sin(x + =4).
R1
34.-Para demostrar que 0 j sinx xj dx diverge, observe que el rea bajo la curva
y = j sin xj=x (vea Figura) es
mayor que la suma de las reas de los tringulos indicados en la gura. Ahora bien, considerando que la altura de estos tringulo sigue la secuencia ( =2) 1 , (3 =2) 1 , (5 =2) 1 ,
: : :, (n =2) 1 , : : :(n impar), se sigue que:
Z 1
1
1
X
j sin xj
1
2
1X 1
dx
=
.
x
2 2 (2n + 1)
2 n=0 2n + 1
0
n=0
Respuestas
106
R 1 dx
=
l m ln = 1.
0 x
!0+
36.-La funcin f es continua en todos los irracionales: sea c un irracional en [0; 1]
y sea > 0. Como el conjunto de todos los nmeros racionales p=q 2 [0; 1] (con p=q escrito
en forma irreducible) tales que 1=q
es nito, se sigue que ninguno de ellos est en el
intervalo (c
; c + ) para = m nfjp=q cj : 1=q
g, y por lo tanto si jx cj <
se sigue que jf (x) f (c)j = jf (x)j < . Esto demuestra que f es discontinua slo en un
R1
subconjunto de medida cero (los racionales de [0; 1]) y por lo tanto 0 f dm = 0.
37.-Sea An = fx 2 : f (x) > 1=ng. Es claro que An " B = fx 2 : f (x) > 0g y
(An ) < 1. Por el Corolario 113, pgina 52, se tiene
Z
Z
Z
fd =
fd = lm
fd :
35.-
n!1
38.-Condicin necesaria: note que

1
X
(n
n (An ) =
n=1
(n
An
An
y por lo tanto
jf j d =
jf j d < 1;
1) (An ) + ( ) < 1. La condicin suciente es inmediata.
39.-Note que f + g 2
10.6.
An =
1 Z
X
1) (An )
n=1
luego
1=2
jf j + jgj y jf gj
f 2 + g 2 =2.
Captulo 6, pgina 65
1.- Suponga que a < s < x < y < t < b. Escriba S = (s; '(s)). Dena como X; Y
y T los puntos correspondientes a los puntos x; y y t. Entonces X est sobre o debajo del
segmento SY lo que implica que Y est sobre o por encima de la recta que pasa por S y
X. Tambin Y est sobre o debajo del segmento XT . Si y ! x, entonces Y ! X. Esto
implica que '(y) ! '(x).
2.-Sea ' es convexa y a < s < t < u < b., entonces:
'(t) = '
t
u
s
s
s+
t
u
de donde:
'(t)
'(s)
s
u
s
t
u
Supongamos ahora que se cumple 10.3. Sea

'((1
)x + y)
'(x)
(1
t
u
s
('(u)
s
s
s
'(s) +
t
u
s
'(u);
s
'(s)) :
(10.3)
2 (0; 1) y x; y 2 (a; b) con x < y. Entonces:
)x + y
y x
('(y)
'(x)) =
('(y)
'(x))
De donde:
'((1
)x + y)
('(y)
'(x)) + '(x) = (1
)'(x) + '(y):
(10.4)
El caso y < x se deduce de 10.4.

3.-Sea y1 ; y2 ; : : : ; yn nmeros reales positivos. Dena f : ! R+ por f (k) = ln yk .
Entonces, de acuerdo a la desigualdad de Jensen, se tiene:
Z
Z
1
exp
fd
= exp
(ln y1 + ln y2 +
+ ln yn )
(' f ) d :
(10.5)
n
Captulo 6, pgina 65
107
Pero
1
(y1 + y2 +
n
(' f ) d =
+ yn )
(10.6)
De 10.5 y 10.6 se deduce que:

1
(y1 + y2 +
n
1=n
(y1 y2
yn )
+ yn )
4.-Dena f : ! R+ por f (k) = ln yk . Usando la desigualdad de Jensen en el

espacio = f1; 2; : : : ; ng con la medida (fkg) = k (A = P ( )) y la funcin convexa
'(x) = exp(x), se tiene:
Z
Z
exp
fd
= exp ( 1 ln y1 + 2 ln y2 +
+ n ln yn )
(' f ) d :
(10.7)
Pero
(' f ) d =
1 y1
2 y2
n yn :
(10.8)
De 10.7 y 10.8 se deduce que:

y 1 1 y2 2
yn n
1 y1
2 y2
n yn
5.-Observe que la funcin '(x) = x2 tiene segunda derivada positiva, por lo tanto
es una funcin convexa. De acuerdo a la desigualdad de Jensen, se tiene:
'(
1
(x1 + x2 +
n
1
(' (x1 ) + ' (x2 ) +
n
+ xn ))
+ ' (xn )) ;
lo que equivale a:
1
(x1 + x2 +
n2
+ xn )
1 2
x + x22 +
n 1
+ x2n :
Multiplicando por n2 se obtiene la tesis.

6.-La funcin exponencial es convexa y m ([0; 1]) = 1, por lo tanto se aplica Jensen.
7.-Como ln f es integrable, aplicando el Problema 6, se tiene
Z 1
Z 1
Z 1
exp
ln(f (t)) dt
exp [ln(f (t))] dt =
f (t) dt;
0
el resultado se obtiene ahora tomando logartmos.

8.-Sea (fn ) de Cauchy en L1 . Dena:
Bm;n = fx 2
: jfn (x)
fm (x)j > kfn
fm k1 g
y sea E la unin de todos estos conjuntos (m; n 1). Entonces (E) = 0. Es claro (fn )
es Cauchy uniforme en E c y por lo tanto converge uniformemente a un funcin medible
f en E c . Dena f (x) = 0 en E. Es fcil ver que f 2 L1 .
9.-Como l m kfn f kp = 0, entonces por Corolario 138, existe una subsucesin
n!1
(fnk ) que converge c.t.p. a f . Por otro lado como l m fn = g c.t.p., tambin se tiene que
n!1
(fnk ) converge c.t.p. a g. Esto implica que f = g c.t.p.

10.-Inmediato de la Proposicin 128, pgina 60 tomando
discreta y la medida de conteo.
11.-Inmediato de la Proposicin 128, pgina 60 tomando
discreta y la medida de conteo.
= N con la -lgebra
= N con la -lgebra
Respuestas
108
12.-Basta demostrar que para todo a; b

0 se cumple (a + b)p
ap + bp , para
lo cual basta probar que para todo x
0 se cumple que (1 + x)p
1 + xp . Dena
h(x) = 1 + xp (1 + x)p . Note que h(0) = 0 y h0 (x) 0.
13.- Considere las funciones f = (0; p ) y g = ( p ;2 p ) .
r
14.-Las condiciones implican que p=r y q=r son exponentes conjugados, que jf j 2
r
r
Lp=r ( ) y jgj 2 Lq=r ( ). Aplicando la Proposicin 133, se obtiene que jf gj 2 L1 ( ) y
r
r
r
kjf gj k1 kjf j kp=r kjgj kq=r , lo que equivale a f g 2 Lr ( ) y kf gkr kf kp kgkq .
15.-Como r < p < s, entonces 1=s < 1=p < 1=r. Por lo tanto existe 2 (0; 1) tal
que 1=p = =s + (1
)=r, de donde se obtiene que:
1=
1
1
+
s= p r=(1
)p
;
p
por consiguiente s= p y r=(1

)p son exponentes conjugados. Ahora como jf j
2
(1
)p
p
p
(1
)p
Ls= p ( ) y jf j
2 Lr=(1 )p ( ), la Proposicin 133 implica que jf j = jf j jf j
2
L1 ( ). Esto signica que p 2 E y prueba la parte (a). Por otro lado tambin se cumple
que
Z
Z
p=s Z
(1
)p=r
p
s
r
jf j d
jf j d
jf j d
:
(10.9)
Tomando logaritmo natural se obtiene que:
(1
)p
p
ln '(s) +
ln '(r);
s
r
ln '(p)
lo que demuestra que ln ' es una funcin convexa en E. Por parte (a) E es un intervalo
y por lo tanto la Proposicin 124 asegura que la funcin ln ' es continua en el interior
de E. Como ' = eln ' se concluye que ' es continua en el interior de E. Esto demuestra
(1
)
parte (b). Finalmente escribiendo la desigualdad 10.9 en la forma kf kp kf ks kf kr
y
usando la desigualdad 6.15, de la pgina 65, se obtiene que kf kp
kf ks + (1
) kf kr .
Esto demuestra que kf kp max fkf ks ; kf kr g. Esto claramente demuestra la parte (c):
(d) Es claro que si kf kr = 0 el resultado es trivial. Supongamos por lo tanto que 0 < kf kr < 1. En primer lugar demostraremos que l m sup kf kp
kf k1 . Si
p!1
kf k1 = 1 no hay nada que demostrar, por lo tanto supongamos que kf k1 < 1. Como
p
p r
r
0 < kf kr , entonces se cumple que 0 < kf k1 < 1. Sea p > r, entonces jf j = jf j
jf j
R
R
p r
r
p
p r
r
kf k1 jf j (c.t.p.). Integrando se obtiene jf j = kf k1
jf j , de donde se tiene que
1 r=p
r 1=p
kf kp kf k1
(kf kr ) . Haciendo tender p ! 1, se deduce que l m sup kf kp kf k1 .
p!1
Ahora demostraremos que l m inf kf kp

p!1
kf k1 . Sea 0 <
< kf k1 , entonces por deni-
cin de supremo esencial, el conjunto A = fx : jf (x)j > g tiene medida positiva y como
kf kr < 1 debe cumplirse que 0 < (A) < 1. Entonces como
kf kp =
se deduce que l m inf kf kp

p!1
1=p
p
jf j d
1=p
p
jf j d
>
1=p
( (A))
kf k1 .
16.-Si kf kr = 1, entonces como ( ) = 1 se deduce que kf ks = 1. Por lo tanto

r
podemos suponer que jf j es integrable. Como la funcin '(x) = xs=r es convexa en (0; 1)
podemos aplicar la desigualdad de Jensen. Entonces se tiene
Z
s=r
r
jf j d
r s=r
(jf j )
Captulo 6, pgina 65
109
lo que equivale a armar que kf kr Rkf ks .

s
17.-Sea f 2 Ls ( ), entonces
jf j d < 1. Dena:
A = fx : jf (x)j > 1g ;
B = fx : jf (x)j
1g ;
entonces:
Z
jf j d
ZA
A
jf j d +
jf j d
jf j d +
d
A
B
Z
s
s
jf j d + (B)
jf j d + ( ) < 1.
B
18.-Por Problema 17 la sucesin (fn ) y la funcin f estn en Lr . Si s = 1 la

demostracin es inmediata, por lo tanto supondremos que s < 1. Note que s=r > 1 y
r
por lo tanto p = s=r y q = s=(s r) son exponentes conjugados. Como jfn f j 2 Lp y
q
g(x) 1 2 L , entonces de acuerdo a la desigualdad de Hlder, se tiene:
Z
jfn
fj d =
jfn
fj g d
r=s
s
jfn
fj d
1=q
gq d
de donde se concluye que

kfn
f kr
kfn
(s r)=rs
f ks ( ( ))
19.-Como las funciones f y g son no negativas y f g 1, entonces f 1=2 g 1=2

entonces:
Z
Z
1=2 1=2
f g d
d = ( ) = 1:
1,
Aplicando ahora la desigualdad de Schwarz al producto f 1=2 g 1=2 se tiene:

Z
1
=
f 1=2 g 1=2 d
Z
1=2
fd
f 1=2
1=2
1=2
g 1=2
1=2
gd
R
1=2 R
1=2
Por lo tanto
fd
gd
1. Elevando al cuadrado se obtiene el resultado
buscado.
p
20.-La segunda desigualdad es inmediata ya que 1 + h2 1 + h implica que
Z p
Z
Z
Z
2
1+h d
(1 + h) d =
d +
h d = 1 + A:
p
Para la primera desigualdad aplique Jensen con la funcin convexa '(x) = 1 + x2 . Para
la interpretacin geomtrica del ejemplo dado, note que las desigualdades corresponden
a:
Z 1p
p
1 + (f (1) f (0))2
1 + (f 0 (x))2 dx 1 + f (1) f (0)
0
lo cual puede interpretarse en el sentido que la longitud de la curva y(x) = f (x) en el

intervalo [0; 1] es mayor que la longitud del segmento que une los extremos de la curva y
menor que la suma de los catetos correspondientes (note que la curva debe ser creciente).
21.- Como f 2 L1 ( ) dado
> 0 se puede hallar una funcin simple s =
Xk=n
R
R
jf j d <
s d + =2. Por
s
jf j y que cumpla con
k Ak tal que 0
k=1
Respuestas
110
la misma razn se puede suponer que k > 0 y (Ak ) < 1 para todo k = 1; : : : ; n. Sea
= max f k g y dena = 2n . Entonces si (E) < , se cumple:
Z
Z
jf j d <
s d + =2 n (E) + =2 < :
E
22.-Como g 2 L (R), entonces

Z
Z
jg(t) f (t=n)j dt kgk1 jf (t=n)j dt = n kgk1 kf k1 < 1;
R
por lo tanto g( ) f ( =n) 2 L (R) y de acuerdo al Teorema 8.26 (e) de Rudin, haciendo
x = t=n se tiene
Z
Z
1
g(t) f (t=n) dt =
g(nx) f (x) dx:
n R
R
Ahora, como la funcin f tiene que ser real c.t.p. puesto que pertenece a L1 (R) la condicin
l m jg(x)j = 0 implica que hn (x) = g(nx) f (x) ! 0 c.t.p. Como la sucesin hn (x) es
jxj!1
mayorada por la funcin kgk1 f 2 L1 (R) se puede aplicar el teorema de la convergencia

dominada.
23.- (a) Note que la funcin (x) = xp2 =p1 es convexa. Aplique Jensen usando la
medida = (1 ) . La demostracin de (b) y (c) son inmediatas.
10.7.
Captulo 7, pgina 76
1.- Si j (E)j = 1, entonces (E) = 1 (ya que el rango de est contenido en

(0; 1]). Esto implica que (F ) = 1, ya que (F ) = (F E)+ (E) = (F E)+1 = 1
ya que (F E) 6= 1.
2.-De acuerdo a la Proposicin 145 se tiene que = +
, entonces, para
cualquier A medible, se tiene
j (A)j
(A) +
(A)
( )+
( ) = (P )
(N ) < 1;
en donde P + N es una descomposicin de Hahn respecto de la medida real .

3.- (N2 ) = (N2 N1 ) + (N1 )
(N1 ).
4.-Sean N1 y N2 negativos y sea A medible. Entonces
((N1
N2 ) \ A) = (N1 \ N2c \ A) = (N1 \ (N2c \ A))
puesto que N1 es negativo. Esto demuestra que N1
0;
N2 es negativo. Por otra parte
((N1 [ N2 ) \ A) = ((N1 \ A) + ((N2
N1 ) \ A)
0;
puesto que tanto N1 como N2 N1 son negativos. Esto demuestra que N1 [N2 es negativo.
Ahora si (Nn ) es una sucesin de conjuntos negativos, entonces deniendo Nn0 = Nn
(N1 [
[ Nn 1 )Sse tendr
la sucesin (Nn0 ) es una sucesin disjunta de conjuntos
P que
0
negativos tal que Nn = Nn y por lo tanto
[
X
X
(
Nn \ A) = (
Nn0 \ A) =
(Nn0 \ A) 0:
S
Esto demuestra que Nn es negativo.
5.-Si A [ 1; 2] es un conjunto borel medible, entonces
Z
(E) =
[ 1;0]
[1;2] dm
E
Captulo 8, pgina 82
111
es una medida signada en la sigma-lgebra de los borelianos de [ 1; 2]. Adems. Para esta
medida signada hay innitas descomposiciones de Hahn, por ejemplo P = [ 1; 0] ; N =
(0; 2] y P = [ 1; 1] ; N = (1; 2] son dos descomposiciones.
6.-Como = P2 + N2 , entonces por la aditividad de se tiene
(E \ P1 ) = (E \ P1 \ P2 ) + (E \ P1 \ N2 ) = (E \ P1 \ P2 );
ya que (E \ P1 \ N2 ) = 0. Esto claramente demuestra que (E \ P1 ) = (E \ P2 ).
1
P
7.- + ( ) = ( \ P ) = ( ) = 0. Si E =
En , entonces la aditividad contable
de
implica que
(E) =
1
P
n=1
(En ). Por otro lado, como P es positivo, se cumple
n=1
que
0. Esto demuestra que + es una medida. Finalmente como ( ) = 0 y
contablemente aditiva, se deduce que debe ser aditiva y por lo tanto
+
(E)
es
(E) = (E \ P ) + (E \ N ) = (E \ ) = (E):
8.-Sea P = fx 2 : f (x) 0g y N = fx 2 : f (x) < 0g. Es claro que P y N

forman una descomposicin de Hahn respecto de la medida signada y por lo tanto, de
acuerdo al Problema 6, se cumple
Z
Z
+
(A) = (A \ P ) =
fd =
f+ d ;
A\P
R
Finalmente j j (A) = A f + d + A f d = A (f + + f ) d = A jf j d .
9.-Sea P; N una descomposicin de Hahn, entonces + (A) = (A \ P ). Sea C 2
A; C A, entonces como es una medida positiva en P y C \ P A \ P se tiene:
(C) = (C \ P ) + (C \ N )
(C \ P )
(A \ P ) =
(A);
+
esto demustra que sup f (C) : C 2 A; C Ag
(A). Note ahora que el supremo se
alcanza para el conjunto C = P \ A.
10.-(a) El que 1 + 2
es obvio. Ahora si f1 = dd 1 y f2 = dd 2 , entonces
R
R
R
1 (A) = A f1 d y 2 (A) = A f2 d , por lo tanto ( 1 + 2 ) (A) = A (f1 + f2 ) d para
todo A 2 A. Esto signica que d( 1d+ 2 ) = dd 1 + dd 2
c.t.p. respecto a . Para la parte
(b) use (apropiadamente) Corolario 113.
11.-Es claro que
. Suponga que existe una funcin medible f tal que (A) =
R
f
d
para
cada
A
2
A.
Tomando
conjuntos singulares (singletons) deduzca que f 0
A
y por lo tanto tendra que ser la medida nula. Esto contradice la denicin de . Note
que el teorema de Radon-Nikodym no es aplicable por cuanto no es -nita.
12.-Note que
es obvio ya que (A)
R = 0 implica que A = . Suponga
que existe una funcin medible f tal que (A) = A f d para cada A 2 A. Nuevamente
tomando conjuntos singulares deduzca que f es idnticamente nula. Esto contradice la
denicin de . Note que no es -nita.
10.8.
Captulo 8, pgina 82
1.-Es claro que
0 y que ( ) = 0. Falta demostrar que es contablemente

n
1
P
P
aditiva en H. Suponga que A =
Ai Bi =
Ci Di . Entonces para todo (x; y) 2
i=1
se tiene
n
P
i=1
Ai (x) Bi (y)
i=1
1
P
i=1
Ci (x) Di (y)
Respuestas
112
Si mantenemos ja la variable x e integramos respecto a la variable y y aplicamos el

teorema de la convergencia montona, se obtiene
n
P
Ai (x)
i=1
(Bi ) =
1
P
i=1
Ci (x)
(Di );
integrando nuevamente respecto a la variable x y usando nuevamente el teorema de la

convergencia montona, se concluye que
(A)
n
P
i=1
1
P
(Ai ) (Bi ) =
1
P
(Ci ) (Di )
i=1
(Ci
Di ):
i=1
2.-Note que f = D en donde D es la diagonal del cuadrado unitario. Para

demostrar que f es medible, basta demostrar que D es medible. Para cada natural n
dena
Ij
Qn
1
T
Note ahora que D =
j
n
(I1
1 j
;
n
I1 ) [ (I2
I2 ) [
[ (In
In ) :
Qn . Esto demuestra que D es medible.
n=1
3.-Sea C R no medible. Entonces, por Proposicin 156 el conjunto A = f1g C

no pertenece a la -lgebra B(R) B(R) y sin embargo es subconjunto de un conjunto de
medida nula, esto es f1g R.
4.-De acuerdo al Teorema 160, parte (c) la funcin e tx sin x es integrable en
+
+
R
R y por lo tanto las integrales iteradas son iguales. Luego:
Z 1 Z 1
Z 1 Z 1
Z 1
sin x
xt
dx =
e
sin x dt dx =
e xt sin x dx dt
x
0
0
0
0
0
Z 1
e at ( t sin a cos a
1
=
lm
+
dt
2
a!1
1
+
t
1
+
t2
Z0 1
1
dt = :
=
1
+
t2
2
0
x2
5.-Note que
(x2
y2
2
y2 )
x2
1
+ y2
usando frmula de reduccin en la expresin

Z
f dxdy
dy
dx
x2 + y 2
dy
=
1 + y2
2y 2
1
(x2
1
2.
+ y2 )
2,
(x2 + y 2 )
2y 2
arctan 1 =
Integrando respecto a x y
se obtiene:
1
1
+
2y 2 (1 + y 2 ) 2y 2
4
R1R1
Similarmente 0 0 f dydx = =4:
6.-De acuerdo a la denicin
(m
#) (Q)
= m([a; b] #(fn; n + 1; : : : ; mg)

= (b a)(m n + 1):
dx
x2 + y 2
Captulo 8, pgina 82
113
Por otro lado:

Z Z
R N
f d (m
#) = 1 + 2 +
+r =
r(r + 1)
:
2
Respuestas
114
Bibliografa
FP Medida e integraao, Pedro Fernandez, IMPA.
FA Foundations of Modern Analysis, Avner Friedman, Northwestern University.1970.
HT Algebra, Thomas Hungerford, Springer-Verlag.
CP Set Theory and the Continuum Hypothesis, P.J. Cohen, New York: W.A.Benjamin
Inc., 1966.
RB The Elements of Real Analysis, Robert Bartle (second edition), John Wiley & Sons,
1976.
GS An Introduction to Topology and Modern Analysis, G.B.Simmons.
AR Real Analysis and Probability, Robert Ash, Academic Press, 1972.
WR2 Real and Complex Analysis, Walter Rudin, TMH edition.1974.

Teoría de La Medida e Integración - Carlos Martinez Yañez

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Teoría de La Medida e Integración - Carlos Martinez Yañez

Cargado por

Copyright:

Formatos disponibles

Teora de la Medida e Integracin

Carlos Martnez Yez

8. Integracin en Espacios Producto

9. El Teorema Fundamental del Clculo

Dr. Carlos Martnez Yez

Sea un conjunto no vaco arbitrario, denotaremos por P( ) la familia de todos

Otro ejemplo tpico de expresin incorrecta es armar que si C = f g entonces C

Anlogamente usaremos la notacin C para denotar la unin de todos los conjuntos

Anlogamente diremos que la sucesin (An )n=1 es montona decreciente si para

la sucesin y estn denidos por las siguientes identidades:

Si l m sup An = l m inf An , diremos que la sucesin (An ) tiene lmite y escribiremos:

Suponga que fCi g es una coleccin arbitraria de subconjuntos de . Se dice que

Diremos que A es numerable si tiene la misma cardinalidad que N.

dos nmeros cardinales tales que 1

Demostracin. Ver Teorema 8.11 de Thomas Hungerford.

Rj, se deduce que jCj = c2 = c = jRj. Anloga-

Corolario 10 La unin contable de conjuntos contables es contable.

Esto termina la demostracin.

Espacios Mtricos y Topolgicos

Denicin 11 Sea X un conjunto no vaco. Una funcin d : X X ! R se dice que es

X se dir que es cerrado si su complemento es abierto.

Diremos que A es denso (en X) si A = X.

X, denotaremos por A el interior de A, esto es, el conjunto

Los elementos de A se denominan puntos interiores de A.

X, denotaremos por Fr(A) a la frontera de A, esto es:

Espacios Mtricos y Topolgicos

Ejemplo 13 En R denamos d(x; y) = jx yj. Entonces (R; d) es un espacio mtrico.

entonces Rn es un espacio mtrico y la distancia d se conoce como su mtrica usual. Sin

Proposicin 14 Sea (X; d) un espacio mtrico. Entonces la coleccin T formada por

2. Si fG g es una coleccin arbitraria de abiertos, entonces

La Proposicin 14 tiene, por razones obvias, su dual en el siguiente resultado:

2. Si fF g es una coleccin arbitraria de cerrados, entonces

Denicin 16 Sea (X; d) un espacio mtrico y A X. Un punto x 2 X se dice que es

2. Si fG g es una coleccin arbitraria en T , entonces

Si este es el caso, usaremos cualquiera de las siguientes notaciones:

Si l m xn = x diremos que x es el lmite de la sucesin (xn ).

Proposicin 21 El lmite de una sucesin convergente es nico.

Proposicin 23 Sea (X; d) un espacio mtrico. Entonces toda sucesin convergente es

Denicin 24 Un espacio mtrico (X; d) se dice que es un espacio mtrico completo si

Denicin 28 Un espacio normado es un espacio vectorial (escalares reales o complejos)

es una mtrica en X. Diremos que el espacio normado X es un espacio de Banach si el

es fcil vericar que l1 tambin es un espacio de Banach. La correspondiente distancia es

Denicin 31 Sean (X; d1 ) e (Y; d2 ) dos espacios mtricos y f : X ! Y una funcin.

d2 (f (x); f (x0 )) < ) :

Diremos que f es continua en X si es continua en cada punto de X. Note que

Proposicin 32 Sean (X; d1 ) e (Y; d2 ) dos espacios mtricos y f : X ! Y una funcin.

d2 (f (x); f (y)) < ) :

Denicin 39 Sea (X; T ) un espacio topolgico. Una clase fG g de subconjuntos de X

Denicin 40 Diremos que el espacio topolgico (X; T ) es un espacio compacto si todo

X0 es un subconjunto compacto de X si el subespacio topolgico (X0 ; T \X0 ) es compacto.

Proposicin 41 (Heine-Borel) Todo subconjunto cerrado y acotado de Rn es compacto.

1. Sea (An )n=1 una sucesin de subconjuntos de

. Demuestre que el l m sup An es

aquel subconjunto de formado por aquellos elementos que pertenecen a innitos

2. Sea (An )n=1 una sucesin de subconjuntos de

3. Demuestre que si (An )n=1 una sucesin montona, entonces l m An existe. Si la

sucesin es creciente, el lmite es la unin de la coleccin fAn g; si es decreciente el

5. Sean A y B dos subconjuntos de

6. Suponga que (An ) es una sucesin disjunta de subconjuntos de

Demuestre las siguientes propiedades:

b) Si la sucesin (an ) no es acotada superiormente, entonces l m sup an = 1.

c) Si la sucesin (an ) no es acotada inferiormente, entonces l m inf an =

d ) Sea L un nmero real. Entonces L = l m sup an si y slo si se cumplen las

siguientes dos condiciones: