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

Teora de la Medida e Integracin
Carlos Martnez Yez

Marzo 2011
2
ndice general
1. Elementos Previos 7
1.1. Elementos y Subconjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2. Uniones Disjuntas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3. Cardinalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4. Espacios Mtricos y Topolgicos . . . . . . . . . . . . . . . . . . . . . . . 10
1.5. Convergencia y Completitud . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.6. Espacios Normados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.7. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.8. Compacidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2. Clases de Conjuntos 21
2.1. Algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.2. Sigma-Algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.3. Algebras y o-lgebras generadas . . . . . . . . . . . . . . . . . . . . . . . 22
2.4. Colecciones Montonas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3. Medida 27
3.1. Funciones de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.2. Medidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.3. Medidas Exteriores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.4. Construccin de Medidas Exteriores . . . . . . . . . . . . . . . . . . . . . 31
3.5. Medidas Inducidas por Medidas Exteriores . . . . . . . . . . . . . . . . . . 32
4. Extensin de Medidas 39
4.1. El Teorema de Carathodory . . . . . . . . . . . . . . . . . . . . . . . . . 39
4.2. Completacin de Medidas . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
4.3. La Medida de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
4.4. Un conjunto que no es Lebesgue Medible . . . . . . . . . . . . . . . . . . . 42
4.5. La Medida de Lebesgue-Stieltjes . . . . . . . . . . . . . . . . . . . . . . . 42
5. Integracin 45
5.1. Funciones medibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
5.2. Funciones Simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
5.3. Integracin de Funciones Positivas . . . . . . . . . . . . . . . . . . . . . . 48
5.4. El Teorema de la Convergencia Montona de Lebesgue . . . . . . . . . . . 50
5.5. El Lema de Fatou . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
5.6. El Teorema de la Convergencia Dominada de Lebesgue . . . . . . . . . . . 54
5.7. Comparacin con la integral de Riemann . . . . . . . . . . . . . . . . . . . 54
4 NDICE GENERAL
6. Los Espacios 1
59
6.1. Funciones Convexas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
6.2. La Desigualdad de Jensen . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
6.3. Las Desigualdades de Hlder y Minkowki . . . . . . . . . . . . . . . . . . 60
6.4. Los Espacios 1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
7. Medidas Signadas 69
7.1. La Descomposicin de Hahn . . . . . . . . . . . . . . . . . . . . . . . . . . 69
7.2. La Descomposicin de Jordan . . . . . . . . . . . . . . . . . . . . . . . . . 70
7.3. Continuidad Absoluta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
7.4. El Teorema de Radon-Nikodym . . . . . . . . . . . . . . . . . . . . . . . . 72
7.5. El Teorema de la Descomposicin de Lebesgue . . . . . . . . . . . . . . . 74
8. Integracin en Espacios Producto 77
8.1. Medidas Producto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
8.2. El Teorema de Fubini . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
8.3. El caso Real . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
9. El Teorema Fundamental del Clculo 83
9.1. Funciones de Variacin Acotada . . . . . . . . . . . . . . . . . . . . . . . . 83
9.2. Diferenciabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
9.3. Continuidad Absoluta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
9.4. El Teorema Fundamental . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
10.Respuestas 91
10.1. Captulo 1, pgina 16 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
10.2. Captulo 2, pgina 24 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
10.3. Captulo 3, pgina 35 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
10.4. Captulo 4, pgina 43 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
10.5. Captulo 5, pgina 55 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
10.6. Captulo 6, pgina 65 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
10.7. Captulo 7, pgina 76 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
10.8. Captulo 8, pgina 82 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
NDICE GENERAL 5
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 autori-
dades del Instituto de Matemtica de la UCV para realizar la tercera edicin de este
trabajo.
Dr. Carlos Martnez Yez
Valparaso, marzo de 2011.
6 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 pre-
sentaremos 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 T(\) la familia de todos
los subconjuntos de \. Por ejemplo, si \ = 1, 2, 8, entonces
T(\)=c, 1 , 2 , 8 , 1, 2 , 1, 8 , 2, 8 , 1, 2, 8 .
En estos apuntes supondremos siempre que \ ,= c.
Una coleccin o familia ( de subconjuntos de T(\) es simplemente un subconjunto
de T(\). Por ejemplo si \ = 1, 2, 8, entonces ( =c, 1 , 8 , 1, 8 , 2, 8 es una tal
coleccin. Para simplicar notacin y lenguaje en algunas ocasiones diremos, por ejemplo,
la coleccin c, 1 , 8 , 1, 8 , 2, 8 para referirnos a la coleccin (. 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: 1 es un subconjunto de (. Correcto:1 es un elemento de (.
Incorrecto: 1 (. Expresiones correctas: 1 \, 1 (, 1 \, 1 (.
Incorrecto: c \. Expresiones correctas: c \, c (, c (.
Otro ejemplo tpico de expresin incorrecta es armar que si ( =c entonces (
es vaco. En realidad esta familia no es vaca puesto que contiene un elemento: el elemento
c.
A menos que se diga lo contrario, cada vez que tengamos una familia (, se supon-
dr que esta familia es no vaca y est formada por subconjuntos de \. Esto es c ,=
( T(\). Denotaremos por

( a la interseccin de todos los conjuntos pertenecientes a
(, esto es:
( =

Jc
1
Anlogamente usaremos la notacin

( para denotar la unin de todos los conjuntos
pertenecientes a (.
Usaremos la notacin (
n
)
o
n=1
(o simplemente (
n
)) para representar una suce-
sin de conjuntos (secuencia ordenada por los nmeros naturales) y la notacin
n
o
n=1
(o simplemente
n
) para representar el recorrido de la sucesin.
8 Elementos Previos
Denicin 1 Se dice que la sucesin (
n
)
o
n=1
es montona creciente si para todo : _ 1
se tiene
n

n+1
. Esta situacin la denotaremos por
n
en donde =
o
n=1
n
.
Anlogamente diremos que la sucesin (
n
)
o
n=1
es montona decreciente si para
todo : _ 1 se tiene
n

n+1
y denotaremos esta situacin por el smbolo
n
| en
donde =
o
n=1
n
.
Diremos que la sucesin (
n
)
o
n=1
es montona si es montona creciente o mon-
tona decreciente.
Denicin 2 Sea (
n
)
o
n=1
una sucesin de subconjuntos de \, entonces los conjuntos
limsup
no

n
y liminf
no

n
se denominan respectivamente lmite superior y lmite inferior de
la sucesin y estn denidos por las siguientes identidades:
limsup
no

n
=
o
n=1
o
_
I=n
I
liminf
no

n
=
o
_
n=1
o
I=n
I
Si limsup
no

n
= liminf
no

n
, diremos que la sucesin (
n
) tiene lmite y escribiremos:
lim
no
n
= limsup
no

n
= liminf
no

n
.
Es fcil demostrar (ver Problema 3) que toda sucesin montona tiene lmite.
1.2. Uniones Disjuntas
Suponga que C
I
es una coleccin arbitraria de subconjuntos de \. Se dice que
la coleccin es disjunta si C
I
C
= c para todo i ,= ,. Note que esta condicin es ms

fuerte que simplemente pedir
C
I
= c. Por ejemplo, la coleccin C
1
= 1, 2; C
2
= 2, 8;
C
3
= 1, 8 tiene interseccin vaca, pero no es una coleccin disjunta de conjuntos.
Si y 1 son dos conjuntos disjuntos, su unin, como siempre, se denota por
' 1. Sin embargo esta notacin no indica, por si sola que los conjuntos son disjuntos.
Para poner de maniesto esta propiedad de los conjuntos y 1, se acostumbra em-
plear otras notaciones, como por ejemplo colocar un punto sobre el signo de unin:

'1.
Nosotros no usaremos esta notacin, preferiremos la notacin 1. Anlogamente usare-
mos la notacin:
C
I
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 y 1 tienen la misma cardinalidad si existe una funcin
, : 1 biyectiva. En este caso escribiremos que [[ = [1[. 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 como la clase de
equivalencia de .
Todo conjunto que tenga la misma cardinalidad que 1
n
= 1, 2, . . . , : N
para algn : N se dir que tiene cardinalidad nita : o que es un conjunto nito con
: elementos, en caso contrario diremos que es innito o que tiene cardinalidad innita.
Denotaremos por
0
la cardinalidad de N.
Cardinalidad 9
Diremos que es numerable si tiene la misma cardinalidad que N.
Diremos que el conjunto es contable si es nito o numerable.
Denicin 3 Sean y 1 dos subconjuntos de \. Escribiremos [[ _ [1[ si existe , :
1 inyectiva. Por otro lado escribiremos que [[ < [1[ si y slo si [[ _ [1[ pero no
existe funcin , : 1 biyectiva.
Proposicin 4 Si es un conjunto, entonces [[ < [T()[.
Demostracin. La aplicacin , : T() dada por ,(a) = a es una funcin
inyectiva. Supongamos ahora que existe una funcin biyectiva ) : T(). Denamos
1 = a : a , )(a). Como 1 T() y ) es epiyectiva, se deduce que debe existir
/ tal que )(/) = 1. Pero esta ltima observacin nos lleva a una contradiccin puesto
que ahora es fcil deducir que / 1 y / , 1. Esto concluye la demostracin.
Ejemplo 5 Es posible demostrar que [T(N)[ = [R[, por lo tanto de acuerdo a la proposi-
cin anterior se tiene:
[N[ =
0
< c = [R[ .
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 es innito y T() es la familia de todos los subconjuntos nitos de
, entonces [[ = [T()[.
Demostracin. Vea Corolario 8.13 de Thomas Hungerford.
Denicin 7 Sean c y , dos nmeros cardinales. La suma c , se dene como el
nmero cardinal [1[ en donde y 1 son dos conjuntos disjuntos tales que [[ = c y
[1[ = ,. El producto c, se dene como el nmero cardinal [1[.
Teorema 8 Sean c y , dos nmeros cardinales tales que 1 _ , _ c y supongamos que c
es innito. Entonces c, = c; en particular c
0
= c y si , es nito, entonces
0
, =
0
.
Demostracin. Ver Teorema 8.11 de Thomas Hungerford.
Corolario 9 Las cardinalidades de R, C y R
n
para cualquier : N son iguales.
Demostracin. Como [C[ = [R R[, se deduce que [C[ = c
2
= c = [R[. Anloga-
mente [R
n
[ = c
n
= c = [R[.
Corolario 10 La unin contable de conjuntos contables es contable.
Demostracin. Basta suponer que se tiene una unin disjunta de conjuntos
numerables.
Sea =
o
n=1
n
en donde
n
es numerable. Entonces [
n
[ = [: N[. Luego
[[ =
n=1
(: N)
= [N N[ = [N[ .
Esto termina la demostracin.
10 Elementos Previos
1.4. Espacios Mtricos y Topolgicos
Denicin 11 Sea A un conjunto no vaco. Una funcin d : A A R se dice que es
una mtrica (o una distancia) en A si cumple con las siguientes propiedades:
d(r, j) _ 0 y d(r, j) = 0 ==r = j Denida positiva.
d(r, j) = d(j, r) Simetra.
d(r, j) _ d(r, .) d(., j) Desigualdad triangular.
El par ordenado (A, d) se conoce como espacio mtrico. Cuando la mtrica d est
clara del contexto, diremos simplemente el espacio mtrico A.
Si r A y r 0, entonces el conjunto
1(r, r) = j A : d(j, r) < r
se conoce como la bola abierta de radio r centrada en r.
Si A
0
es un subconjunto no vaco de A, entonces la restriccin de la mtrica d
al espacio A
0
A
0
es obviamente una mtrica en A
0
. Al espacio mtrico (A
0
, d) se lo
denomina subespacio de (A, d).
Denicin 12 Sea (A, d) un espacio mtrico. Entonces:
1. G A se dice que es un conjunto abierto si para todo r G, existe r 0, tal que
1(r, r) G.
Si G es abierto y r G, diremos que el conjunto abierto G es una vecindad de r.
2. 1 A se dir que es cerrado si su complemento es abierto.
3. Si A, denotaremos por la clausura de , esto es, el conjunto
=
1 : 1 cerrado y 1 .
Diremos que es denso (en A) si = A.
Diremos que A es separable si existe un subconjunto A denso y contable.
4. Si A, denotaremos por

el interior de , esto es, el conjunto
=
_
G : G abierto y G .
Los elementos de

se denominan puntos interiores de .
5. Si A, denotaremos por Fr() a la frontera de , esto es:
Fr() =
_
A
_
6. Si A es un conjunto no vaco, denotaremos por diam() al dimetro de ,
esto e:
diam() = supd(r, j) : r, j .
Diremos que es acotado si diam() < .
Espacios Mtricos y Topolgicos 11
Ejemplo 13 En R denamos d(r, j) = [r j[. 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(.
1
, .
2
) = [.
1
.
2
[ en donde .
1
, .
2
son nmeros complejos y [.
1
.
2
[
es el mdulo del nmero complejo .
1
.
2
.
Si en R
n
denimos la distancia por
d ((r
I
)
n
I=1
, (j
I
)
n
I=1
) =
_
n
I=1
[r
I
j
I
[
2
_
1/2
,
entonces R
n
es un espacio mtrico y la distancia d se conoce como su mtrica usual. Sin
otro aviso en contrario siempre se entender que R
n
est provista de su mtrica usual.
En el caso particular de R R su mtrica usual est dada por
d((r
1
, j
1
), (r
2
, j
2
)) =
_
(r
1
r
2
)
2
(j
1
j
2
)
2
.
Sea
= (1,:, 1,:) : :, : N .
Entonces
1) = ' (0, 0) ' (0, 1,:) : : N ' (1,:, 0) : : N .
2)

= c
3) Fr() =
c
= (R R) = .
4) diam() =
_
2.
Proposicin 14 Sea (A, d) un espacio mtrico. Entonces la coleccin T formada por
todos los conjuntos abiertos, satisface las siguientes propiedades:
1. c, A T .
2. Si G
o
es una coleccin arbitraria de abiertos, entonces

o
G
o
es abierto.
3. Si G
1
, G
2
, . . . , G
n
son : conjuntos abiertos, entonces
n
|=1
G
|
es abierto.
La Proposicin 14 tiene, por razones obvias, su dual en el siguiente resultado:
Proposicin 15 Sea (A, d) un espacio mtrico. Entonces la coleccin T formada por
todos los conjuntos cerrados, satisface las siguientes propiedades:
1. c, A T.
2. Si 1
o
es una coleccin arbitraria de cerrados, entonces

o
1
o
es cerrado.
3. Si 1
1
, 1
2
, . . . , 1
n
son : conjuntos cerrados, entonces
n
|=1
1
|
es cerrado.
Denicin 16 Sea (A, d) un espacio mtrico y A. Un punto r A se dice que es
un punto de acumulacin de si toda bola abierta centrada en r contiene al menos un
punto de distinto de r.
Proposicin 17 Sea (A, d) un espacio mtrico y 1 A. Entonces 1 es cerrado si y
slo si contiene a todos sus puntos de acumulacin.
Toda coleccin de subconjuntos de un conjunto A que satisfaga las tres propie-
dades 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 A es una
topologa para A.
Denicin 18 Sea A un conjunto arbitrario no vaco. Una coleccin T de subconjuntos
de A es una topologa para A si satisface las siguientes tres propiedades:
1. c, A T
2. Si G
o
es una coleccin arbitraria en T , entonces

o
G
o
T .
3. Si G
1
, G
2
, . . . , G
n
son : conjuntos en T , entonces
n
|=1
G
|
T .
En este caso diremos que el par (A, T ) es un espacio topolgico y los conjuntos
de T se conocern como conjuntos abiertos.
Sea A
0
A. Es fcil vericar que la coleccin:
T A
0
= G A
0
: G T ,
es una topologa en A
0
. En consecuencia el par (A
0
, T A
0
) es un espacio topolgico.
Diremos que (A
0
, T A
0
) es un subespacio topolgico de (A, T ).
Las deniciones de conjuntos cerrados, clausura, densidad, frontera, vecindad, in-
terior, puntos interiores y separabilidad se entendern extendidas a los espacios topolgi-
cos.
Denicin 19 Sea (A, T ) un espacio topolgico. Una subcoleccin E 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 E existe y es contable, entonces el espacio topolgico A se dice que es un
espacio segundo contable o que satisface el segundo axioma de contabilidad.
1.5. Convergencia y Completitud
Denicin 20 Sea (A, d) un espacio mtrico y (r
n
) una sucesin en A. Diremos que la
sucesin (r
n
) es convergente si existe un punto r A tal que:
(\c 0) (:
0
N) (\: N) (: _ :
0
== d(r
n
, r) < c) .
Si este es el caso, usaremos cualquiera de las siguientes notaciones:
lim
no
r
n
= r; limr
n
= r; r
n
r.
Si lim
no
r
n
= r diremos que r es el lmite de la sucesin (r
n
).
Proposicin 21 El lmite de una sucesin convergente es nico.
Denicin 22 Sea (A, d) un espacio mtrico y (r
n
) una sucesin en A. Diremos que la
sucesin (r
n
) es de Cauchy si:
(\c 0) (:
0
N) (\:, : N) (:, : _ :
0
== d(r
n
, r
n
) < c) .
Proposicin 23 Sea (A, d) un espacio mtrico. Entonces toda sucesin convergente es
de Cauchy.
Espacios Normados 13
Denicin 24 Un espacio mtrico (A, d) se dice que es un espacio mtrico completo si
toda sucesin de Cauchy en A converge a algn punto de A.
Ejemplo 25 El espacio mtrico (0, 1[ con la mtrica usual no es completo. En efecto, si
tomamos la sucesin (1,:)
o
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 R
n
, son espacios mtricos completos.
Proposicin 27 Sea (A, d) un espacio mtrico completo y 1 A. Entonces (1, d) es
completo si y slo si 1 es cerrado en A.
1.6. Espacios Normados
Denicin 28 Un espacio normado es un espacio vectorial (escalares reales o complejos)
A sobre el cual se ha denido una funcin real r |r| denominada norma, que tiene
las siguientes propiedades:
(a) |r| _ 0, y |r| = 0 si y slo si r = 0.
(b) |`r| = [`[ |r| ;
(c) |r j| _ |r| |j| .
Es fcil vericar que si A es un espacio normado entonces la funcin:
d(r, j) = |r j| ,
es una mtrica en A. Diremos que el espacio normado A es un espacio de Banach si el
espacio mtrico (A, d) es completo.
Ejemplo 29 Para 1 _ j < , denamos |
como el conjunto de todas las sucesiones

de escalares (r
n
) tales que

[r
n
[
< . Si en |
se dene la suma de sucesiones y el

producto por escalar de la manera usual, vale decir, por:
(r
n
) (j
n
) = (r
n
j
n
)
`(r
n
) = (`r
n
)
entonces es posible demostrar que |
es un espacio vectorial. Si adems denimos:

|(r
n
)|
= (
[r
n
[
)
1/
es posible demostrar que |
es un espacio de Banach. Estos espacios son un caso especial

de los espacios 1
que deniremos ms adelante.

Ejemplo 30 El espacio |
o
se dene como el conjunto de todas las sucesiones acotadas de
escalares. Es fcil vericar que |
o
es un espacio vectorial con la suma y producto denidos
como en el ejemplo anterior. Adems si se dene:
|(r
n
)|
o
= sup
n1
[r
n
[
es fcil vericar que |
o
tambin es un espacio de Banach. La correspondiente distancia es
una caso especial de la distancia uniforme denida en el espacio 1
o
(j) que deniremos
ms adelante.
1.7. Continuidad
Denicin 31 Sean (A, d
1
) e (1, d
2
) dos espacios mtricos y ) : A 1 una funcin.
Diremos que ) es continua en r
0
A, si:
(\c 0) (c = c(c, r
0
) 0) (\r A) (d
1
(r, r
0
) < c == d
2
()(r), )(r
0
)) < c) .
Diremos que ) es continua en A si es continua en cada punto de A. Note que c en general
depende tanto de c como de r
0
.
Proposicin 32 Sean (A, d
1
) e (1, d
2
Entonces las siguientes propiedades son equivalentes:
(1) ) es continua en A.
(2) r
n
r == )(r
n
) )(r).
(3) )
1
(G) es abierto en A para todo G abierto en 1.
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 (A, d
1
) e (1, d
2
Diremos que ) es uniformemente continua en A si:
(\c 0) (c = c(c) 0) (\r, j A) (d
1
(r, j) < c == d
2
()(r), )(j)) < c) .
Note que a diferencia de la simple continuidad, la continuidad uniforme exige que haya
un mdulo de continuidad c(c) 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 (A, T
1
) e (1, T
2
) dos espacios topolgicos y ) : A 1 una funcin.
Diremos que la funcin es continua en A si )
1
(G) T
1
para todo G T
2
.
Sea r
0
A. Diremos que ) es continua en r
0
si dada cualquier vecindad \ de
)(r
0
) existe una vecindad l de r
0
tal que )(l) \ .
Proposicin 35 Sean (A, T
1
) e (1, T
2
) dos espacios topolgicos y ) : A 1 una fun-
cin. Entonces ) es continua en A si y slo si es continua en cada punto de A.
Denicin 36 Sea ()
n
) una sucesin de funciones reales denidas en el espacio metrico
(A, d). Diremos que la sucesin ()
n
) converge puntualmente a la funcin ) : A R si
para todo r A y para todo c 0, existe un natural N tal que
(\: N) (: _ == [)
n
(r) )(r)[ < c) .
Denicin 37 Sea ()
n
(A, d). Diremos que la sucesin ()
n
) converge uniformemente a la funcin ) : A R si
para todo c 0, existe un natural N tal que
(\: N) (\r A) (: _ == [)
n
(r) )(r)[ < c) .
Proposicin 38 Sea ()
n
(A, d) que converge uniformemente a la funcin ) : A R. Entonces si cada funcin )
n
es continua, tambin lo es ).
Compacidad 15
1.8. Compacidad
Denicin 39 Sea (A, T ) un espacio topolgico. Una clase G
o
de subconjuntos de A
se dice que es un recubrimiento abierto de A si G
o
es abierto para cada c y adems se
cumple que

o
G
o
= A.
Denicin 40 Diremos que el espacio topolgico (A, T ) es un espacio compacto si todo
recubrimiento abierto G
o
de A tiene un subrecubrimiento nito, es decir, existe una
subcoleccin G
|
n
|=1
de la coleccin G
o
tal que
n
|=1
G
|
= A. Si A
0
A, diremos que
A
0
es un subconjunto compacto de A si el subespacio topolgico (A
0
, T A
0
) es compacto.
Proposicin 41 (Heine-Borel) Todo subconjunto cerrado y acotado de R
n
es compacto.
En particular todo intervalo [a, /[ es un subconjunto compacto de R.
Proposicin 42 Todo subconjunto cerrado de un espacio topolgico compacto es com-
pacto.
Proposicin 43 Sean (A, T
1
) e (1, T
2
) dos espacios topolgicos y ) : A 1 una funcin
continua. Entonces, si A se tiene:
compacto en A == )() compacto en 1 .
Denicin 44 Sea (A, d) un espacio mtrico. Diremos que A es totalmente acotado si
para todo c 0, existe una coleccin nita de puntos a
1
, a
2
, . . . , a
n
en A tal que:
A =
n
_
|=1
1(a
|
, c).
Denicin 45 Sea (A, d) un espacio mtrico. Diremos que A es secuencialmente com-
pacto si toda sucesin en A tiene una subsucesin convergente.
Denicin 46 Sea (A, d) un espacio mtrico. Diremos que A tiene la propiedad de
Bolzano-Weierstrass si todo subconjunto de cardinalidad innita tiene al menos un
punto de acumulacin en A.
Proposicin 47 Sea (A, d) un espacio mtrico. Entonces las siguientes propiedades son
equivalentes:
(1) (A, d) es un espacio compacto.
(2) (A, d) es un espacio secuencialmente compacto.
(3) (A, d) tiene la propiedad de Bolzano-Weierstrass.
(4) (A, d) es completo y totalmente acotado.
Proposicin 48 Sean (A, d
1
) e (1, d
2
) dos espacios mtricos y ) : A 1 una funcin
continua. Entonces si A es compacto se tiene que ) es uniformemente continua.
El siguiente teorema se conoce como Teorema de Dini:
Proposicin 49 Suponga que ()
n
) con )
n
: A R es una sucesin de funciones con-
tinuas que converge puntual y montonamente a la funcin real ). Entonces si A es
compacto se cumple que la convergencia es uniforme.
Problemas
1. Sea (
n
)
o
n=1
una sucesin de subconjuntos de \. Demuestre que el limsup
no

n
es
aquel subconjunto de \ formado por aquellos elementos que pertenecen a innitos
n
y el liminf
no

n
lo forman aquellos elementos que pertenecen a todos los conjuntos
n
con la posible excepcin de un nmero nitos de ellos.
2. Sea (
n
)
o
n=1
una sucesin de subconjuntos de \. Demuestre que
liminf
n
limsup
n
.
3. Demuestre que si (
n
)
o
n=1
una sucesin montona, entonces lim
no
n
existe. Si la
sucesin es creciente, el lmite es la unin de la coleccin
n
; si es decreciente el
lmite es la interseccin.
4. Demuestre las siguientes identidades:
a)
_
liminf
no

n
_
c
= limsup
no

c
n
b)
_
limsup
no

n
_
c
= liminf
no

c
n
5. Sean y 1 dos subconjuntos de \. Dena
n
= si : es impar y
n
= 1 si : es
par. Demuestre que:
liminf
no

n
= 1
limsup
no

n
= ' 1.
6. Suponga que (
n
) es una sucesin disjunta de subconjuntos de \. Demuestre que
lim
n
= c.
7. Sea (a
n
)
o
n=1
una sucesin de nmeros reales. Las expresiones siguientes se conocen
como el lmite superior y el lmite inferior de a
n
:
a) limsup
no
a
n
= inf
n1
_
sup
|n
a
|
_
b) liminf
no
a
n
= sup
n1
_
inf
|n
a
|
_
Demuestre las siguientes propiedades:
a) liminf
no
a
n
_ limsup
no
a
n
b) Si la sucesin (a
n
) no es acotada superiormente, entonces limsup
no
a
n
= .
c) Si la sucesin (a
n
) no es acotada inferiormente, entonces liminf
no
a
n
= .
d) Sea 1 un nmero real. Entonces 1 = limsup
no
a
n
si y slo si se cumplen las
siguientes dos condiciones:
1) (\c 0) (:
0
N) (\: N) (: _ :
0
==a
n
< 1 c)
2) (\c 0) (\: N) (: N) (: _ : . 1 c < a
n
) .
Compacidad 17
e) Sea 1 un nmero real. Entonces 1 = liminf
no
a
n
si y slo si se cumplen las
siguientes dos condiciones:
1) (\c 0) (:
0
N) (\: N) (: _ :
0
==1 c < a
n
)
2) (\c 0) (\: N) (: N) (: _ : . a
n
< 1 c) .
f ) liminf
no
a
n
= limsup
no
a
n
si y slo si lim
no
a
|
existe. En este caso adems se tiene
que:
liminf
no
a
n
= limsup
no
a
n
= lim
no
a
|
g) Si a
n
_ /
n
para todo :, entonces
a) liminf a
n
_ liminf /
n
b) limsupa
n
_ limsup/
n
h) Si (a
n
) y (/
n
) son sucesiones arbitrarias, entonces
limsup(a
n
/
n
) _ limsupa
n
limsup/
n
.
i ) Si (a
n
) es una sucesin arbitraria, entonces
limsup(a
n
) = liminf(a
n
).
8. Sea
+
= liminf
no

n
y
+
= limsup
no

n
. Demuestre que:
.
(r) = liminf
no

.n
(r)
.
(r) = limsup
no

.n
(r)
en donde
.
y
.
son las funciones caractersticas de
+
y
+
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 ex-
clusivamente 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. De-
muestre que R es separable.
14. Los reales extendidos R. Sea R = R', . Sea ) : R [1, 1[ denida por:
)(r) =
_
_
r
1 [r[
r R
1 r =
1 r =
Dena en R R la funcin d(r, j) = [)(r) )(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, /) , [, /) y (a, [ con a, / R.
15. Demuestre que un subconjunto G de un espacio topolgico es abierto si y slo si
G =

G.
16. Demuestre que un subconjunto 1 de un espacio topolgico es cerrado si y slo si
1 = 1.
17. Sea G un subconjunto abierto y un subconjunto arbitrario de un espacio topolgi-
co. Demuestre que
G = c == G = c.
18. Sean y 1 dos subconjuntos de un espacio topolgico A. Demuestre que:
' 1 = ' 1 1 1
19. Sea A un espacio topolgico y A. Entonces:
= r A : Toda vecindad de r intersecta a .
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 R
2
son espacio mtricos completos.
24. Sea (A, d) un espacio mtrico completo y (1
n
) una sucesin decreciente de subcon-
juntos cerrados no vacos tales que 1
n
| 1. Suponga que diam(1
n
) 0. Entonces
o
n=1
1
n
contiene exactamente un punto (este teorema se conoce como el Teorema de
la Interseccin de Cantor).
25. Sean A, 1 dos espacios topolgicos y ) : A 1 . Demuestre:
a) ) continua si y slo si )
1
(1) es cerrado para todo cerrado 1.
b) ) continua si y slo si )() )() para todo A.
26. Sea:
)(r) =
_
_
_
r Si r es irracional
j sin
1
Si r =
j
(fraccin irreducible)
Demuestre que ) es continua slo en 0 y en los irracionales.
27. Demuestre que |
1
y |
o
son espacios de Banach.
28. Demuestre que todo subconjunto compacto de un espacio mtrico A es cerrado en
A.
29. Demuestre que todo subconjunto compacto de un espacio mtrico es acotado.
30. Demuestre que la unin de dos subconjuntos compactos de A es un conjunto com-
pacto.
Compacidad 19
31. (lmite superior y lmite inferior de una funcin real ) Sea ) : R R. Entonces la
expresin:
limsup
r
)(r) = inf
o,0
sup
0<]r]<o
)(r),
se conoce como lmite superior de ) en j. Anlogamente, la expresin:
liminf
r
)(r) = sup
o,0
inf
0<]r]<o
)(r),
se conoce como lmite inferior de ) en j. Demuestre:
a) limsup
r
)(r) _ si y slo si:
(\c 0) (c 0) (\r R) (0 < [r j[ < c ==)(r) < c) .
b) limsup
r
)(r) _ si y slo si:
(\c 0) (\c 0) (r R) (0 < [r j[ < c . )(r) c) .
c) liminf
r
)(r) _ limsup
r
)(r).
d) liminf
r
)(r) = limsup
r
)(r) si y slo si lim
r
)(r) existe.
32. (funciones semicontinuas) Una funcin ) : R R se dice que es semicontinua su-
periormente en el punto r
0
si:
)(r
0
) _ limsup
rr0
)(r).
y diremos que ) es semicontinua superiormente si es semicontinua superiormente en
cada punto r
0
R.
Anlogamente, ) se dice semicontinua inferiormente en el punto r
0
si:
)(r
0
) _ liminf
rr0
)(r).
y diremos que ) es semicontinua inferiormente si es semicontinua inferiormente en
cada punto r
0
R.
a) Demuestre que ) es semicontinua superiormente si y slo si el conjunto
r : )(r) < `
es abierto para todo ` R.
b) Demuestre que ) es semicontinua inferiormente si y slo si el conjunto
r : )(r) `
es abierto para todo ` R.
c) Demuestre que ) es continua en R si y slo si es semicontinua superior e infe-
riormente en R.
d) Demuestre que si ) y q son semicontinuas inferiormente, entonces tambin lo
es ) q.
e) Demuestre que si ) y q son semicontinuas inferiormente, entonces tambin lo
es ) . q = max ), q.
f ) Demuestre que si ()
n
) es una sucesin de funciones semicontinuas inferiormente,
entonces tambin lo es la funcin )(r) = sup
n1
)
n
(r).
g) Demuestre que si ) y q son semicontinuas superiormente, entonces tambin lo
es ) q.
h) Demuestre que si ) y q son semicontinuas superiormente, entonces tambin lo
es ) . q = min), q.
i ) Demuestre que si ()
n
) es una sucesin de funciones semicontinuas superior-
mente, entonces tambin lo es la funcin )(r) = inf
n1
)
n
(r).
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 (A, d) un espacio mtrico y un subconjunto no vacio de A. Demuestre que la
funcin
)(r) = d(r, ) =inf d(r, .) : .
es una funcin uniformemente continua en A. Ms aun, demuestre que es una apli-
cacin no expansiva, esto es, para todo r, j A se cumple que [)(r) )(j)[ _
d(r, j).
36. (Banach 1922). Sea (A, d) un espacio mtrico completo y T : A A. Suponga que
existe / (0, 1) tal que para todo r, j A se cumple:
d(T(r), T(j)) _ /d(r, j)
Entonces:
a) T tiene un nico punto jo . en A, esto es, T(.) = ..
b) Para todo r
0
A, la sucesin (r
n
) denida inductivamente por r
n+1
= Tr
n
,
converge a ..
c) Estimacin de Errores. Para todo : = 1, 2, . . . se cumple
1) error a priori: d(r
n
, .) _ /
n
(1 /)
1
d(r
0
, r
1
)
2) error a posteriori: d(r
n+1
, .) _ /(1 /)
1
d(r
n
, r
n+1
).
d) Rapidez de convergencia. Para todo : = 1, 2, . . .se cumple:
d(r
n+1
, .) _ /d(r
n
, .).
37. Sea 1 = [0, a[ _ R y ) : 1 R
n
R
n
una aplicacin continua, lipschitziana en la
segunda variable. Entonces el problema de valor inicial
r
t
(t) = )(t, r); r(0) = r
o
,
tiene una nica solucin en 1.
Captulo 2
CLASES DE CONJUNTOS
2.1. Algebras
Denicin 50 Sea / una coleccin de subconjuntos de T(\). Diremos que / 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) \ /
(b) Si /, entonces
c
/.
(c) Si / y 1 /, entonces ' 1 /.
Nota 51 Por induccin se deduce que la coleccin / cumple la propiedad (c) si y slo
si es cerrada bajo uniones nitas, es decir, uniones del tipo
1
'
2
' '
n
. Por lo
tanto, si la coleccin / cumple con (c) diremos simplemente que la coleccin es cerrada
bajo uniones. Ms adelante veremos situaciones con uniones innitas.
Si / es un lgebra, entonces / tambin es cerrado bajo intersecciones y diferen-
cias, puesto que:
1 = (
c
' 1
c
)
c
1 = 1
c
.
Note que si / es un lgebra, entonces c / puesto que c = \
c
.
Proposicin 52 La coleccin / es un lgebra si y slo si cumple con las siguientes
condiciones:
(1) \ /
(2) Si / y 1 /, entonces 1 /.
(3) Si / y 1 /, con 1 = c, entonces 1 /.
Demostracin. Si / es un lgebra entonces la propiedad (2) es evidente (ver
Nota 51). Recprocamente las propiedades (b) y (c) se deducen de las siguientes identi-
dades:
c
= \
' 1 = (1 ).
2.2. Sigma-Algebras
Denicin 53 Una coleccin / de subconjuntos de T(\) se dice que es un sigma lgebra
(o-lgebra) en \ si contiene a \ y es cerrada bajo complementos y uniones numerables,
esto es, cumple con las siguientes propiedades:
(a) \ /
22 Clases de Conjuntos
(b) / ==
c
/.
(c)
n
/, : = 1, 2, . . . ==
o
n=1
n
/.
Nota 54 Nuevamente es claro que c /. Por otro lado, si / es un o-lgebra, entonces
/ es cerrada respecto a uniones nitas: en efecto, si , 1 /, entonces debido a la
identidad:
' 1 = ' 1 ' c ' c '
se deduce de (c) y del hecho que c / que ' 1 /. Esto signica que todo o-lgebra
es tambin un lgebra.
Proposicin 55 / es un o-lgebra si y solamente si cumple con:
(1) \ /.
(2) / y 1 / == 1 /.
(3)
n
/, : = 1, 2, . . ., sucesin disjunta, entonces
o
n=1
n
/.
Demostracin. En claro que si / es un o-lgebra entonces se cumplen las condi-
ciones indicadas. Recprocamente es evidente que las condiciones indicadas implican que
/ es un lgebra (Note que c = \ \ /), luego basta demostrar que se cumple la
condicin (c) de la Denicin 53. Sea (
n
)
o
n=1
una sucesin arbitraria en /. Entonces:
o
_
I=1
I
=
1

o
I=2
_
_
I1
_
=1
_
_
Ahora como / es un lgebra, la condicin (3) implica que
o
I=1
I
/. Esto
termina la demostracin.
Proposicin 56 Todo o-lgebra / es cerrado respecto a intersecciones contables, esto
es, cumple con:
(
n
)
o
n=1
/ ==
o
n=1
n
/.
Demostracin. Basta observar que
o
n=1
n
=
_
o
n=1
c
n
_
c
. Esto termina la demostracin.
2.3. Algebras y o-lgebras generadas
Denicin 57 Sea ( una familia no vaca de subconjuntos de \. Denamos:
/(() =
/ : / lgebra y ( / .
Es fcil demostrar (ver Problema 2) que esta interseccin es el lgebra ms chica que
contiene a (. En otras palabras, si E es un lgebra en \ que contiene a (, entonces
/(() E. Esta lgebra se denomina el lgebra generada por (.
Denicin 58 Sea ( una familia no vaca de subconjuntos de \. Denamos:
o(() =
/ : / es o-lgebra y ( / .
Es fcil demostrar (ver Problema 3) que esta interseccin es la o-lgebra ms chica que
contiene a (. En otras palabras, si E es una o-lgebra en \ que contiene a ( entonces
o(() E. Esta o-lgebra se denomina el o-lgebra generada por (.
Colecciones Montonas 23
Ejemplo 59 Sea (\, t) un espacio topolgico. Denotaremos por E(\) la o-lgebra gene-
rada por la topologa. Esto es E(\) = o(t). Esta o-lgebra se conoce como la o-lgebra
de Borel.
En los casos especiales en que \ = R o R es posible demostrar que E(R) y E
_
R
_
coinciden con la o-lgebra generada por la coleccin ( = (a, /[ : a, / R (para este
resultado ver Problema 10 y para considerar otras colecciones vea Problema 11).
2.4. Colecciones Montonas
En general es imposible describir constructivamente la o-lgebra generada por
una coleccin arbitraria de subconjuntos de \ y por ende se hace difcil demostrar aque-
llas proposiciones que involucran o-lgebra generadas. Por esta razn se introducen las
colecciones montonas, colecciones ms fciles de manejar que las o-lgebras generadas y
que en casos especiales las contienen (proposicin 61).
Denicin 60 Una familia no vaca / de subconjuntos de \ se dice que es una familia
o coleccin montona si, dada cualquier sucesin montona (1
n
) en /, se cumple que
lim1
n
/.
Si ( es una familia no vaca de subconjuntos de \ denotaremos por /(() la
familia montona generada por (. Esto es:
/(() =
/: / es familia montona y ( / .
Nuevamente es fcil ver que /(() es la familia montona ms chica que contiene a (
(ver Problema 18).
Diremos que / es una lgebra montona si / es lgebra y es una familia mon-
tona.
La importancia de las familias montonas reside en el siguiente resultado:
Proposicin 61 Sea / es una lgebra y ( una familia montona de subconjuntos de \.
Suponga que / (, entonces o(/) (.
Demostracin. De acuerdo al Problema 24, /(/) = o(/). Por otro lado es
claro que /(/) (. Luego, o(/) (. Esto termina la demostracin.
Problemas
1. Sea /
X
: ` A una familia no vaca de lgebras en \, entonces
/ =

X
/
X
es un lgebra en \.
2. Sea ( es una familia no vaca de subconjuntos de \. Demuestre que /(() es el
lgebra ms chica que contiene a (. En otras palabras, si E es un lgebra en \ que
contiene a ( entonces /(() E.
3. Sea ( es una familia no vaca de subconjuntos de \. Demuestre que o(() es la menor
o-lgebra que contiene a (.
4. Demuestre que todo o-lgebra / es cerrado respecto a lmites superiores y lmites
inferiores de sucesiones de conjuntos.
5. Sea / la coleccin de todos los subconjuntos de \ que son nitos o tienen un
complemento nito. Demuestre que / es un lgebra. Demuestre que si \ no es
nito, entonces / no es una o-lgebra.
6. Sea \ un espacio innito no contable. Sea / la coleccin de todos los conjuntos
\ tal que o
c
son contables. Demuestre que / es una o-lgebra en \.
7. Sea / una o-lgebra en \ y sea ) : \ A una funcin arbitraria. Demuestre que
la coleccin E =
_
1 : )
1
(1) /
_
es una o-lgebra en A.
8. Sea /la familia formada por R y todos los subconjuntos de R de la forma
n
|=1
(a
|
, /
|
[,
(uniones nitas y disjuntas de intervalos de la forma (a, /[ , (, /[ y (a, ), con
a, / R). Demuestre que / es un lgebra pero no una o-lgebra.
9. Sea \ = 1, 2, 8 y sea ( =1 , 1, 2. Halle /(() y o(().
10. Sea (\, t) un espacio topolgico. Denotaremos por E(\) la o-lgebra generada por la
topologa. Esto es E(\) = o(t). Esta o-lgebra se conoce como la o-lgebra de Borel.
Demuestre que la o-lgebra de Borel en \ = R coincide con la o-lgebra generada por
la coleccin ( = (a, /[ : a, / R. Esto es, demuestre que E(R) = o((). Demuestre
un resultado similar para \ = R usando la misma coleccin.
11. Demuestre que la o-lgebra de Borel en \ = R o en R coincide con la o-lgebra
generada por la coleccin ( = [a, /[ : a, / R. Demuestre un resultado anlogo
usando la coleccin ( = (a, /) : a, / R.
12. Sean (
1
y (
2
dos familias no vacas de subconjuntos de \. Suponga que (
1
(
2
.
Demuestre las siguientes inclusiones:
/((
1
) /((
1
) y o ((
1
) o ((
2
) .
13. Sea ( una familia no vaca de subconjuntos de \. Sea o ((). Entonces existe
una familia contable T ( tal que o (T).
Colecciones Montonas 25
14. Sea ( una familia no vaca y \. Denotemos por
( = C : C ( .
Demuestre que o (() = o (( ), en donde o (( ) es la o-lgebra generada
por ( en el espacio \
+
= .
15. Sean ( una familia innita de subconjuntos de \. Demuestre que ( y /(() tienen
la misma cardinalidad.
16. Se dice que una o-lgebra / es separable si existe /
0
/, con /
0
contable, tal que
o(/
0
) = /.
a) Demuestre que la o-lgebra de Borel en R es separable.
b) Demuestre que la o-lgebra de Borel de un espacio mtrico separable es sepa-
rable.
17. Demuestre que no existe una o-lgebra / innita numerable.
18. Sea ( es una familia no vaca de subconjuntos de \. Demuestre que /(() es la
familia montona ms chica que contiene a (.
19. Sea / una lgebra de conjuntos en \ y (
n
) una sucesin de conjuntos en /.
Entonces existe una coleccin montona creciente (1
n
) de conjuntos en / tal que
o
_
n=1
n
=
o
_
n=1
1
n
= lim
no
1
n
.
20. Sea / una lgebra de conjuntos en \ y (
n
Entonces existe una sucesin disjunta de conjuntos (1
n
) en / tal que
o
_
n=1
n
=
o
_
n=1
1
n
.
21. Demuestre que toda lgebra montona es una o-lgebra.
22. Demuestre que toda o-lgebra es una familia montona.
23. Demuestre que si / es un lgebra, entonces tambin lo es /(/).
24. Demuestre que si / es un lgebra, entonces /(/) = o(/).
25. Sea \ = Q, el conjunto de todos los nmeros racionales. En \ considere el lgebra
/ formada por Q y todas las uniones nitas y disjuntas de intervalos de la forma
(vea Problema 8):
(a, /[ = r Q : a < r _ /; a, / Q
(, /[ = r Q : r _ /; / Q .
(a, ) = r Q : a < r; a Q
Demuestre que o(/) = T (Q).
26. Sea una coleccin no vaca de subconjuntos de \ y sean , 1 . Al conjunto:
1 = (1) (1 ),
se lo conoce como diferencia simtrica de y 1. Por otro lado, la diferencia 1
se conoce como diferencia propia si 1 .
Demuestre que son equivalentes las siguientes armaciones respecto a :
a) es cerrada bajo diferencias y uniones nitas.
b) es cerrada bajo diferencias propias y uniones nitas.
c) es cerrada bajo diferencias simtrica e intersecciones nitas.
d) es cerrada bajo diferencias propias, intersecciones nitas y uniones nitas
disjuntas.
Si satisface alguna de estas armaciones (y por lo tanto las cuatro), entonces se
dice que es un anillo. Note que un anillo siempre contiene al conjunto vaco.
27. Sea / una coleccin de subconjuntos de \. Demuestre que / es una lgebra si y
slo si / es un anillo conteniendo \.
28. Sea un anillo de subconjuntos de \ (ver Problema 26). Para , 1 denamos
1 = 1 y 1 = 1.
Demuestre que con estas operaciones de suma y producto , el sistema (, , )
es un anillo en el sentido algebraico de la palabra. Estos anillos algebraicos, en que
cada elemento es idempotente, vale decir que cumple con = para cada
se conocen como anillos de Boole.
29. Una coleccin / de subconjuntos de \.se dice que es o-aditiva si \ / y si es
cerrada bajo diferencias propias, sumas nitas y uniones crecientes. Demuestre que
si ( es una coleccin no vaca de subconjuntos de \, entonces existe una coleccin
o-aditiva / ms pequea que contiene a ( y se conoce como la coleccin o-aditiva
generada por (. Demuestre que si ( es cerrada bajo intersecciones nitas, entonces
la clase o-aditiva generada por ( es igual a o ((), esto es a la o-lgebra generada
por (.
30. Sea ) : \ \
t
una funcin arbitraria y suponga que ( es una coleccin de subcon-
juntos de \
t
. Demuestre que:
o
_
)
1
(()
_
= )
1
(o (()) .
Captulo 3
MEDIDA
3.1. Funciones de Conjuntos
Sea ( una familia no vaca de subconjuntos de \. Entonces:
Denicin 62 Una funcin j : ( [0, [ se denomina funcin de conjuntos.
Observe que la funcin j puede tomar el valor .
Ejemplo 63 Sea ( = T(R). Para cada ( dena
j() =
_
[[ nito
innito
Por ejemplo j(R) =j(N)=, pero j(1, 4, 0) = j(6, 7, 0) = 8.
Denicin 64 Sea ( una familia no vaca de subconjuntos de \ y j : ( [0, [ una
funcin de conjuntos. Entonces diremos que la funcin es:
(a) Aditiva si para todo , 1 ( con 1 ( se tiene:
j(1) = j() j(1)
(b) Finitamente aditiva si para toda coleccin disjunta (
|
)
n
|=1
en (, con
n
|=1
|
( se
tiene:
j
_
n
|=1
|
_
=
n
|=1
j(
|
)
(c) Contablemente aditiva (o o-aditiva) si para toda sucesin (
|
)
o
|=1
en (, con
o
|=1
|
(
se tiene:
j
_
o
|=1
|
_
=
o
|=1
j(
|
) .
Recuerde que en las notaciones 1 y
o
|=1
|
la suma signica que los conjuntos
involucrados son disjuntos.
3.2. Medidas
Denicin 65 Sea / un lgebra en \. Diremos que la funcin j : / [0, [ es una
medida nitamente aditiva si j(c) = 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, [ hablaremos de medida positiva.
28 Medida
Denicin 66 Un tro (\, /, j) se dice que es un espacio de medida si / es una o-
lgebra en \ y j es una medida. En otras palabras, se cumple:
a) El dominio / de j es una o-lgebra en \.
b) j es no negativa en /.
c) j es contablemente aditiva en /.
d) j(c) = 0.
El par (\, /) se dice que es un espacio medible y los elementos de / se llamarn
conjuntos medibles.
Nota 67 Si j es una medida en la o-lgebra / entonces j adems de ser contablemente
aditiva, es nitamente aditiva. En efecto, si , 1 estn en / y son disjuntos, entonces:
j(1) = j(1 c c )
= j() j(1)
o
|=1
j(c)
= j() j(1).
Ejemplo 68 Sea \ = R. Si = (a, /[ es un intervalo acotado, denamos la medida de
por medio de la longitud del intervalo (a, /[. Esto es, j() = / 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 de todos los nmeros racionales.
(b) =
_
a
_
2/ : a, / Q
_
.
Proposicin 69 Sea (\, /, j) un espacio de medida. Entonces:
1. , 1 / y 1 == j() _ j(1).
2. , 1 /, 1 y j(1) < == j(1 ) = j(1) j().
3.
n
== j() = lim
no
j(
n
)
4.
n
| y existe :
0
N tal que j(
n0
) < == j() = lim
no
j(
n
).
Demostracin. 1.- Sean , 1 / y 1, entonces 1 = (1 ), por lo
tanto
j(1) = j() j(1 ) (3.1)
Como j(1 ) _ 0 entonces j() _ j(1).
2.- Si j(1) < , entonces por (1) se tiene que j() < . Restando la cantidad
j() de los dos lados de la Ecuacin 3.1 se obtiene que j(1 ) = j(1) j().
3.-Como la sucesin es creciente podemos escribir que =
1

o
I=2
(
I
I1
),
por lo tanto:
j() = j(
1
)
o
I=2
j(
I
I1
)
= lim
no
_
j(
1
)
n
I=2
j(
I
I1
)
_
= lim
no
j
_
1

n
I=2
(
I
I1
)
_
= lim
no
j(
n
) .
Medidas 29
4.-Observe que =
n0

o
n=n0
(
n0

n
), por lo tanto de (2) se deduce que:
j() = j(
n0
) j
_
o
n=n0
(
n0

n
)
_
Pero (
n0

n
)
o
n=n0
es una sucesin creciente y por lo tanto, podemos aplicar la propiedad
(3) obteniendo:
j
_
o
n=n0
(
n0

n
)
_
= lim
no
j(
n0

n
),
pero entonces:
j() = j(
n0
) lim
no
j(
n0

n
)
= j(
n0
) j(
n0
) lim
no
j(
n
)
= lim
no
j(
n
).
Nota 70 La condicin que exista :
0
N tal que j(
n0
) < no es superua en esta
proposicin como puede ser observado a travs del siguiente ejemplo:
Ejemplo 71 Sea \ = N y / la o-lgebra de todos los subconjuntos de N. En / conside-
remos la medida de conteo, esto es:
j() =
_
[[ si es nito
si es innito.
Entonces si
n
= :, : 1, : 2, . . ., se tendr que
n
| c y sin embargo no se cumple
que j(
n
) j(c) = 0.
Proposicin 72 Sea (\, /, j) un espacio de medida y (
n
)
o
n=1
una sucesin en /. En-
tonces:
a) j
_
o
n=1
n
_
_
o
n=1
j(
n
)
b) j
_
liminf
no

n
_
_ liminf
no
j(
n
)
c) j
_
limsup
no

n
_
_ limsup
no
j(
n
) siempre que j
_
o
n=1
n
_
< .
Demostracin. a) Observe que
o
n=1
n
=
1
n=2
_
n1
=1

_
, por lo tanto:
j
_
o
n=1
n
_
= j(
1
)
o
n=2
j
_
n1
=1

_
_ j(
1
)
o
n=2
j(
n
) =
o
n=1
j(
n
)
b) Como liminf
no

n
=
o
n=1
o
I=n
I
, se tiene que 1
n
liminf
no

n
en donde 1
n
=
o
I=n
I
. Luego, de acuerdo a la parte (3) de la Proposicin 69 se tiene que:
j
_
liminf
no

n
_
= lim
no
j
_
o
I=n
I
_
= liminf
no
j
_
o
I=n
I
_
_ liminf
no
j(
n
)
30 Medida
Note que en esta demostracin hemos usado el resultado del Problema 7, pgina 16, partes
(f) y (g).
c) Como limsup
n
=
o
n=1
o
I=n
I
, se tiene que 1
n
| limsup
n
en donde 1
n
=
o
I=n
I
. Usar ahora parte (4) de la Proposicin 69. Esto termina la demostracin.
Denicin 73 Sea / un lgebra sobre \ y j una medida sobre /. Si j(\) < se
dir que j es una medida nita o totalmente nita. Por otro lado diremos que j es una
medida o-nita si existe una sucesin (A
n
) en / con j(A
n
) < .para cada : N y tal
que \ =
o
n=1
A
n
.
Ejemplo 74 Sea (N, T(N), j) en donde j es la medida de conteo (ver Ejemplo 71). En-
tonces j no es una medida nita pero si es o-nita. Para ver esto, basta observar que:
N =
o
_
n=1
: ,
y j(:) = 1.
Denicin 75 Sea (\, /, j) un espacio de medida y 1(r) una propiedad que un punto
r \ pudiera o no tener. Diremos entonces que la propiedad 1(r) se cumple casi en
todo \ o que la propiedad 1(r) se cumple para casi todos los r \ si el conjunto
= r \ : 1(r) no se cumple / y j() = 0. En este caso escribiremos que 1(r)
es cierto c.t.p. en \ (c.t.p. por casi en todas partes).
Ejemplo 76 Sea (\, /, j) un espacio de medida y sean y 1 dos subconjuntos medibles.
Entonces,
.
(r) =
1
(r) c.t.p. en \ = j(1) = 0.
3.3. Medidas Exteriores
Denicin 77 Sea j : ( [0, [ una funcin de conjuntos denida en una familia no
vaca ( de subconjuntos de \. Entonces se dice que j es:
1. Subaditiva si para todo , 1 ( tal que ' 1 ( se tiene:
j(' 1) _ j() j(1).
2. Finitamente subaditiva si dados
1
,
2
, . . .
n
en ( tal que
n
|=1
|
(, entonces:
j
_
n
|=1
|
_
_
n
|=1
j(
|
).
3. Contablemente subaditiva si dados
1
,
2
, . . . en ( tal que
o
|=1
|
(, entonces:
j
_
o
|=1
|
_
_
o
|=1
j(
|
).
Construccin de Medidas Exteriores 31
4. Montona si para todo , 1 ( tal que 1 se tiene:
j() _ j(1).
Denicin 78 Sea j
+
: T (\) [0, [. Entonce j
+
se dice que es una medida exterior
en \ si es montona, contablemente subaditiva y j
+
(c) = 0. En otras palabras j
+
es una
medida exterior si:
1. El dominio de j
+
son todos los subconjuntos de \.
2. j
+
es no negativa, esto es j
+
() _ 0 para todo \.
3. j
+
es contablemente subaditiva.
4. j
+
es montona.
5. j
+
(c) = 0.
Dado que j
+
cumple con (3) y (5), se deduce que toda medida exterior es nita-
mente subaditiva.
3.4. Construccin de Medidas Exteriores
Denicin 79 Una familia no vaca / de subconjuntos de \ se dice que es una familia
secuencial de recubrimientos para \ si (i) c /, y (ii) para todo \ existe una
secuencia 1
n
en / tal que:

o
_
n=1
1
n
.
Por ejemplo, la familia de todos los intervalos semicerrados (a, /[ es una familia
secuencial de recubrimientos para R. Note que toda lgebra / de subconjuntos de \ es
una familia secuencial de recubrimientos para \.
Sea ahora ` : / [0, [ una funcin de conjuntos tal que `(c) = 0. Para cada
\, denamos:
`
+
() =inf
_
o
n=1
`(1
n
) : 1
n
/,
o
_
n=1
1
n
.
_
. (3.2)
Proposicin 80 Si / es una familia secuencial de recubrimientos para \ y ` : / [0, [
una funcin de conjuntos tal que `(c) = 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 (
n
) una sucesin de subconjuntos de \ y c 0. Si
`
+
(
n
) = para algn :, entonces la condicin (iii) se cumple trivialmente. Supongamos
en consecuencia que `
+
(
n
) < para todo :. Por denicin de `
+
para cada :, existe
una sucesin (1
n|
)
o
|=1
tal que:
n

o
_
|=1
1
n|
y `
+
(
n
)
c
2
n

o
|=1
`(1
n|
),
pero entonces la coleccin 1
n|
: :./ N cumple con:
o
_
n=1
n

o
_
n,|=1
1
n|
,
32 Medida
y adems:
`
+
_
o
_
n=1
n
_
_
o
n,|=1
`(1
n|
) _
o
n=1
_
`
+
(
n
)
c
2
n
_
=
o
n=1
`
+
(
n
) c.
Como c es arbitrario, se deduce que `
+
es contablemente subaditiva. Esto termina la
demostracin.
3.5. Medidas Inducidas por Medidas Exteriores
Denicin 81 Sea j
+
una medida exterior en \. Diremos que un conjunto 1 \ es un
conjunto j
+
-medible (o simplemente medible) si:
j
+
() = j
+
( 1) j
+
(1) (3.3)
para todo subconjunto de \.
Nota 82 Dado que j
+
es subaditiva, se tiene:
j
+
() = j
+
(( 1) (1)) _ j
+
( 1) j
+
(1),
por lo tanto la condicin 3.3 es equivalente a:
j
+
() _ j
+
( 1) j
+
(1). (3.4)
Proposicin 83 Sea j
+
una medida exterior en \. Denotemos por / la familia de todos
los subconjuntos de \ que son j
+
-medibles. Entonces / es una o-lgebra y la restriccin
de j
+
a la o-lgebra / es una medida.
Demostracin. La demostracin la dividiremos en una serie de pasos y se basar
en la Proposicin 55.
(i) Supongamos que j
+
(1) = 0, entonces 1 es medible. En efecto, si \,
entonces:
j
+
( 1) j
+
(1) _ j
+
(1) j
+
() = j
+
(),
por lo tanto se cumple la condicin 3.4 y 1 es medible.
(ii) Como j
+
(c) = 0, parte (i) implica que c /.
(iii) Sea 1 /. Demostraremos que 1
c
/. En efecto:
j
+
( 1
c
) j
+
(1
c
) = j
+
(1) j
+
( 1) = j
+
().
Note ahora que \ / puesto que c /.
(iv) Si 1 y 1 pertenecen a /, entonces 1 ' 1 /. En efecto, de acuerdo a 3.3,
se tiene:
j
+
() = j
+
( 1) j
+
(1)
j
+
(1) = j
+
((1) 1) j
+
((1) 1)
Suponiendo que j
+
(1) < se obtiene:
j
+
() = j
+
( 1) j
+
((1) 1) j
+
((1) 1)
_ j
+
(( 1) ' ((1) 1))) j
+
((1) 1)
Medidas Inducidas por Medidas Exteriores 33
Observando ahora que
( 1) ' ((1) 1)) = ( 1) ' ( 1
c
1))
= ( 1) ' ( 1 1
c
))
= (1 ' (1 1
c
))
= (1 ' 1),
y que (1) 1 = (1 ' 1), se concluye que:
j
+
() _ j
+
( (1 ' 1)) j
+
((1 ' 1))
esto signica que 1 ' 1 /.
(v) Si 1, 1 /, entonces 1 1 /. En efecto, esto se sigue de (iii) y (iv) pues:
1 1 = 1 1
c
= (1
c
' 1)
c
.
(vi) Supongamos que 1
1
, 1
2
, . . . es una sucesin disjunta de elementos de /. Sea
1
n
=
n
|=1
1
|
. Entonces se arma que para todo : _ 1 se cumple:
j
+
( 1
n
) =
n
|=1
j
+
( 1
|
) .
Demostraremos esta armacin por induccin.
El caso : = 1 es evidente y el paso de : a : 1 se obtiene de:
j
+
( 1
n+1
) = j
+
( 1
n+1
1
n
) j
+
( 1
n+1
1
n
)
= j
+
( 1
n
) j
+
( 1
n+1
)
=
n
|=1
j
+
( 1
|
) j
+
( 1
n+1
)
=
n+1
|=1
j
+
( 1
|
) .
Note que al escribir la primera ecuacin hemos hecho uso de la medibilidad de 1
n
garan-
tizada por (iv).
(vii) Sea nuevamente 1
1
, 1
2
, . . . una sucesin disjunta de elementos de /. Demostraremos
que 1 =
o
|=1
1
|
cumple con la igualdad:
j
+
( 1) =
o
|=1
j
+
( 1
|
) . (3.5)
En efecto, por la monotona de j
+
se tiene:
j
+
( 1) _ j
+
( 1
n
) =
n
|=1
j
+
( 1
|
) . (3.6)
La igualdad 3.5 se deduce de la subaditividad contable de j
+
y haciendo tender :
en la Ecuacin 3.6.
34 Medida
(viii) Demostraremos ahora que si 1
1
, 1
2
, . . . una sucesin disjunta de elementos
de /, entonces 1 =
o
|=1
1
|
pertenece a /. En efecto, para todo \ se tiene:
j
+
() = j
+
( 1
n
) j
+
(1
n
)
=
n
|=1
j
+
( 1
|
) j
+
(1
n
)
_
n
|=1
j
+
( 1
|
) j
+
(1).
Haciendo tender ahora : , se deduce de la Ecuacin 3.5, que:
j
+
() _ j
+
( 1) j
+
(1).
Esto demuestra que 1 /.
Finalmente es evidente que la restriccin de j
+
a la o-lgebra / cumple con (a),
(b) y (d) de la Denicin 66. La condicin (c) se deduce de la igualdad 3.5 tomando
= 1. Esto termina la demostracin.
Problemas
1. Suponga que j satisface las primeras tres propiedades de la Denicin 66. Suponga
adems que existe / tal que j() < . Demuestre que j(c) = 0.
2. Sea \ un espacio innito contable. Sea / como en el Problema 5, pgina 24. Dena
j() = 0 si es nito y j() = si tiene complemento nito. Demuestre que
j es una medida nitamente aditiva pero no contablemente aditiva. Qu sucede si
\ es innito no contable?
3. Sea \ un espacio innito no contable. Sea / como en el Problema 6, pgina 24.
Dena j() = 0 en el primer caso y j() = 1 en el segundo. Demuestre que j es
una medida en /. Es j una mediada nita o o-nita?
4. Si j es una medida sobre una lgebra /, y , 1 /, entonces:
j() j(1) = j(' 1) j( 1).
5. Si j y ` son dos medidas denidas en la misma lgebra /, entonces j `, denida
por:
(j `) () = j() `(), /,
es una medida en /. Demuestre un resultado similar para una sucesin (j
n
)
o
n=1
de
medidas sobre /.
6. Sea \ = r
n
: : N un espacio innito numerable y (j
n
) una sucesin de nmeros
no negativos. Para cada \, dena:
j() =

rm.
j
n
.
Demuestre que j es una medida o-nita en la o-lgebra / = T(\).
7. Sea (\, /, j) un espacio de medida nita y suponga que (
n
) es una sucesin en /
tal que lim
no
n
existe. Demuestre que j( lim
no
n
) = lim
no
j(
n
).
8. Sea (\, /, j) un espacio de medida y suponga que (
n
) es una sucesin en /, tal
que
o
n=1
j(
n
) < . Demuestre que casi todos los r \ pertenecen a lo ms a un
nmero nito de
n
.
9. Sea (\, /, j) un espacio de medida y sean:
E = / : j() = 0 . j(
c
) = 0 .
Demuestre que E es una o-lgebra.
10. Sea (\, /, j) un espacio de medida y sea 1 /. Denote por /
J
la clase de todos
los conjuntos medibles que son subconjuntos de 1, y denote por j
J
la restriccin
de j a /
J
. Demuestre que (1, /
J
, j
J
) es un espacio de medida. Estos espacios se
conocen como subespacios de medida del espacio (\, /, j).
11. Sea (1, E, i) un espacio de medida y suponga que 1 \. Denotemos por / la clase
de todos los subconjuntos de \ tales que 1 E y denamos j en / por
j() = i( 1). Demuestre que (\, /, j) es un espacio de medida y (1, /
J
, j
J
)
coincide con (1, E, i). Nota: el espacio (1, /
J
, j
J
) est denido en el Problema 10.
36 Medida
12. Sea (\, /, j) un espacio de medida y sea:
T = 1 / : j(1) < .
Dena, para , 1 T,
d(, 1) = j(1),
en donde 1 = ( 1) ' (1 ) es la diferencia simtrica entre y 1.
Demuestre que (T, d) es un espacio pseudomtrico, esto es, cumple con las siguientes
propiedades:
a) d(, 1) _ 0
b) d(, 1) = d(1, )
c) d(, C) _ d(, 1) d(1, C)
13. Sea (\, E, j) un espacio de probabilidades (espacio de medida con j(\) = 1). Supon-
ga que \ es un espacio Polaco (esto es un espacio mtrico separable y completo) y E
es la o-lgebra de Borel de \. Entonces \c 0, 1 compacto, tal que j(1) _ 1 c.
14. Sea \ un conjunto. Para cada T(\) denamos: =() = [[ (cardinalidad de
). Demuestre que (\, T(\), =) es un espacio de medida y que = es o-nita si y
slo si \ es contable. Esta mediada = se denomina medida de conteo.
15. De un ejemplo de un espacio de medida (\, /, j) y una sucesin (
n
) en /, tal que
n
| y limj(
n
) ,= j(). Contradice su resultado la Proposicin 69?
16. Se dice que j : / [0, [ es continua inferiormente si para cada / y toda
sucesin (
n
) se tiene lim
no
j(
n
) = j(). Suponga que j es aditiva y nita en
el lgebra /. Demuestre que si j continua inferiormente en cada /, entonces j
es una medida en /.
17. Sea j una medida o-nita sobre el lgebra E. Demuestre que \ =
o
n=1
n
con
n
E
y j(
n
) < para todo :.
18. Sea (\, /, j) un espacio de medida con j medida o-nita. Demuestre que el con-
junto:
r \ : r / y j(r) 0 ,
es a lo ms contable.
19. Sea (\, /, j) un espacio de medida. Un conjunto / se dice que es un tomo si
j() 0 y para todo 1 / con 1 , se tiene que j(1) = 0 j(1) = j(). Se
dice que j no es atmica si / no tiene tomos. Demuestre que si j no es atmica
y / con 0 < j() < , entonces para todo c 0 existe 1 / con 1 y
0 < j(1) < c.
20. Sea \ = Q y / el lgebra denida en el Problema 25, pgina 25. Demuestre que la
medida de conteo j es o-nita en o(/) pero no en / (vea Problema 14).
21. Sea (\, /, j) un espacio de medida. Una aplicacin T : \ \ se dice que es medible
si para todo 1 /, se tiene que T
1
(1) /. La aplicacin medible T se dice que
preserva medida si j(T
1
(1)) = j(1) para todo 1 /.
Sea T es una aplicacin que preserva medida en un espacio de medida nita y sea
1 /. Demuestre que casi todos los puntos de 1 son recurrentes, esto es, demuestre
que para casi todos los puntos r 1, se cumple que T
n
(r) 1 para algn : N.
22. Sea / la coleccin formada por \, c y todos los subconjuntos singulares (singletons)
de \. Dena `(\) = , `(c) = 0 y `(1) = 1 si 1 es un singleton. Describa la
medida exterior correspondiente.
23. Sea \ un conjunto innito no contable y sea / como en el Problema 22. Dena
`(\) = 1 y `(1) = 0 si 1 ,= \. Describa la medida exterior correspondiente.
24. Demuestre que bajo las hiptesis de la Proposicin 80, `
+
(1) _ `(1) para todo
1 /. De un ejemplo en donde se produzca la desigualdad estricta.
25. Si / es una o-lgebra y ` es una medida sobre /, entonces `
+
(1) = `(1) para todo
1 /.
26. Sea \ un conjunto innito. Dena j
+
() en T (\) como el nmero de puntos de
si es nito, en caso contrario dena j
+
() = . Demuestre que j
+
es una medida
exterior en T (\). Halle los conjuntos medibles.
27. Sea \ un conjunto no vaco. Dena j
+
(c) = 0 y j
+
() = 1 si ,= c. Demuestre que
j
+
es una medida exterior en T (\). Halle los conjuntos medibles.
28. Sea \ un conjunto innito no contable. Dena j
+
() = 0 si es contable y j
+
() =
1 en caso contrario. Demuestre que j
+
es una medida exterior en T (\). Halle los
conjuntos medibles.
29. Sea 1 \ y suponga que j
+
es una medida exterior en \. Dena `
+
() = j
+
(1).
Demuestre que `
+
es una medida exterior en \. Encuentre la relacin entre los
conjuntos medibles de j
+
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 r
0
es un punto jo en \. Para 1 T(\) dena j
+
(1) =
J
(r
0
).
b) \ es arbitrario. Dena j
+
(1) = 1 para todo 1 T(\).
c) \ = r, j con r ,= j. Dena j
+
en T(\) como:
j
+
(c) = 0, j
+
(r) = j
+
(j) = 10, j
+
(\) = 1.
d) \ es un conjunto de 100 puntos. Estos 100 puntos forman una matriz de 1010.
Si 1 es un subconjunto de \, denamos j
+
(1) como el nmero de columnas
que contienen al menos un punto de 1.
e) \ = N. Si 1 es un subconjunto nito de N escribamos i(1) para denotar
el nmero de puntos de 1. Ahora, para un subconjunto arbitrario 1 de N,
denamos:
j
+
(1) = limsup
no
1
:
i(1 1, 2, . . . , :).
32. Demuestre que si `
+
y j
+
son medidas exteriores en \, entonces `
+
j
+
tambin lo
es.
33. Si (j
+
n
) es una sucesin de medidas exteriores en \ y (a
n
) es una sucesin de nmeros
positivos, entonces la funcin de conjuntos j
+
denida por j
+
(1) =
a
n
j
+
n
es una
medida exterior en \.
38 Medida
34. Sea (\, /) un espacio medible. Una funcin compleja de conjuntos j : / C se
dice que es una medida compleja si es contablemente aditiva en /.
Si 1 =
o
|=1
1
|
con 1
|
/ y 1 /, diremos que (1
|
) es una particin para 1.
Dena:
[j[ (1) = sup
o
|=1
[j(1
|
)[ (1 /)
en donde el supremo se toma sobre todas las posibles particiones de 1. Demostrare-
mos que [j[ es una medida positiva en /. Esta medida se conoce como la variacin
total de j.
Sea (1
I
) una particin de 1 /. Sean t
I
nmeros reales tales que t
I
< [j[ (1
I
).
Ahora cada 1
I
tiene una particin (
I
) tal que:
o
=1
[j(
I
)[ t
I
.
Como (
I
) con i, , = 1, 2, . . . es una particin de 1, se tiene que:
o
I=1
t
I
_
I,
[j(
I
)[ _ [j[ (1). (3.7)
Tomando el supremo en el lado izquierdo de 3.7, sobre todas las posibles elecciones
de (t
I
) se deduce que:
o
I=1
[j[ (1
I
) _ [j[ (1). (3.8)
Para demostrar la otra desigualdad, denotemos por (
) cualquier particin de 1.
Entonces, para un , jo, (
1
I
) es una particin de 1
I
. Luego:
[j(
)[ =

I
j(
1
I
)
I
[j(
1
I
)[
_

I
[j(
1
I
)[ _
I
[j[ (1
I
).
Por lo tanto
[j[ (1) _
I
[j[ (1
I
). (3.9)
De 3.8 y 3.9 se deduce que [j[ es contablemente aditiva.
Para medidas complejas se puede demostrar que [j[ es una medida real acotada,
esto es [j[ (\) < . 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 j es una medida o-nita y nitamente aditiva en un lgebra
/ de subconjuntos de \. Entonces j tiene una nica extensin a una medida en o(/).
Demostracin. Como / es una familia secuencial de recubrimientos para \, las
proposiciones 80 y 83 nos aseguran la existencia de un espacio de medida (\, /
+
, j
+
) en
donde /
+
es la o-lgebra de todos los conjuntos j
+
-medibles y j
+
es la restriccin a /
+
de
medida exterior inducida en \ por la medida j. Para demostrar que j
+
es una extensin
de j bastar con probar que / /
+
ya que entonces o(/) /
+
y por consiguiente j
+
estar denida en o(/). Note que j y j
+
coinciden en / ya que j es una medida en /.
Sean entonces 1 / y \. Debemos demostrar que j
+
() _ j
+
( 1)
j
+
(1
c
). Obviamente podemos suponer que j
+
() < . Si c 0 elijamos una sucesin
(1
n
) en / tal que
o
n=1
1
n
y
o
n=1
j(1
n
) < j
+
() c. Entonces:
j
+
( 1) _ j
+
_
o
_
n=1
(1
n
1)
_
_
o
n=1
j
+
(1
n
1) .
Como j
+
= j en / se deduce que:
j
+
( 1) _
o
n=1
j(1
n
1) , (4.1)
Anlogamente:
j
+
( 1
c
) _
o
n=1
j(1
n
1
c
) . (4.2)
De 4.1 y 4.2 se obtiene nalmente que:
j
+
( 1) j
+
( 1
c
) _
o
n=1
j(1
n
1) j(1
n
1
c
)
=
o
n=1
j(1
n
)
< j
+
() c.
Como c es arbitrario se concluye que j
+
() _ j
+
( 1) j
+
( 1
c
). Esto demuestra
que / /
+
.
Demostraremos ahora que la extensin de j a o(/) es nica. Supongamos que `
es otra medida sobre o(/) tal que ` = j en /. Como j es o-nita en /, se tiene que
40 Extensin de Medidas
existe (
n
) en / tal que \ =
o
n=1
n
con j(
n
) < para todo : _ 1. Como / es un
lgebra, la sucesin (
n
) puede ser considerada disjunta (ver Problema 17, pgina 36).
Para cada : _ 1 denamos:
`
n
() = `(
n
) , o (/)
j
n
() = j(
n
) , o (/) .
Entonces `
n
y j
n
son medidas nitas en o (/) y coinciden en / pues ` y j lo hacen.
Entonces,
( = o (/) : `
n
() = j
n
() .
es una familia montona que contiene a / (ver Problema 5) y por lo tanto, de acuerdo a
la Proposicin 61 se deduce que o (/) = (. Esto signica que `
n
() = j
n
() para todo
o (/). Finalmente como:
` =
o
n=1
`
n
=
o
n=1
j
n
= j,
se concluye que j es nica. Esto termina la demostracin.
4.2. Completacin de Medidas
Denicin 85 Sea (\, /, j) un espacio de medida. Diremos que j es completa si para
todo / tal que j() = 0, se cumple que 1 / para todo conjunto 1 .
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 (\, /, j) un espacio de medida. Denotemos por / la familia de
todos los conjuntos de la forma 1 ', en donde 1 / y es cualquier subconjunto de
algn conjunto en / de medida nula. Entonces / es una o-lgebra que contiene a / y la
funcin
s
j denida por:
s
j(1 ' ) = j(1)
es una medida completa en / que extiende a la medida j. Esta medida
s
j se denomina la
completacin de j.
Demostracin. Demostraremos en primer lugar que / es una olgebra que
contiene a /. Sean 1, /y sea con j() = 0. Demostraremos que (1')
c
/.
Note que:
1
c
= 1
c

c
1
c

c
= (1 ' )
c
1
c
.
Luego 1
c
(1 ' )
c
1
c
, de donde se deduce que (1 ' )
c
= (1
c
) ' ' con
' . Como 1
c
/, se concluye que (1 ' )
c
/.
Sea ahora 1
n
'
n
/, en donde
n

n
con j(
n
) = 0 y 1
n
,
n
/.
Entonces:
o
_
n=1
(1
n
'
n
) =
_
o
_
n=1
1
n
_
'
_
o
_
n=1
n
_
.
Como
o
n=1
n

o
n=1
n
con
o
n=1
1
n
,
o
n=1
n
/ y j
_
o
n=1
n
_
= 0, se deduce que / es
cerrada bajo uniones contables.
Que / / es evidente puesto que si 1 /, entonces 1 = 1 ' c /.
La Medida de Lebesgue 41
Demostraremos ahora que
s
j est bien denida en /. Supongamos que 1
1
'
1
=
1
2
'
2
, en donde 1
1
, 1
2
/,
1

1
,
2

2
y j(
1
) = j(
2
) = 0. Entonces como:
1
1
1
1
'
1
= 1
2
'
2
1
2
'
2
se deduce que j(1
1
) _ j(1
2
). De modo similar se deduce que j(1
2
) _ j(1
1
) y por lo
tanto
s
j est bien denida en /. Como j(c) = 0, esto demuestra tambin que
s
j es una
extensin de j.
Ahora, si 1
n
'
n
/ es una sucesin como arriba, pero disjunta, entonces:
s
j
_
o
n=1
1
n
'
n
_
=
s
j
_
o
n=1
1
n
'
o
n=1
n
_
= j
_
o
n=1
1
n
_
=
o
n=1
j(1
n
)
=
o
n=1
s
j(1
n
'
n
).
Finalmente probaremos la completitud. Suponga que
s
j(1 ' ) = j(1) = 0 en
donde y , 1 / con j() = 0. Entonces H 1 ' implica H 1 ' /.
Como j(1 ' ) = 0, se concluye que H = c ' H /. Esto concluye la demostracin.
4.3. La Medida de Lebesgue
Sea \ = R y sea / la familia formada por R y todos los subconjuntos de R de
la forma
n
|=1
(a
|
, /
|
[, (uniones nitas y disjuntas de intervalos de la forma (a, /[ , (, /[
y (a, ), con a, / R). Es claro que el lgebra / (ver Problema 8, pgina 24) es una
familia secuencial de recubrimientos para R. En / denamos la funcin de conjunto :,
conocida como funcin de longitud de intervalos, como para intervalos no acotados y
para el caso de uniones disjuntas de intervalos acotados, la denimos por:
:(
n
|=1
(a
|
, /
|
[) =
n
|=1
(/
|
a
|
)
:(c) = 0.
Es posible demostrar que esta funcin de conjuntos : est bien denida y es una medida
o-nita
*
en el lgebra /. Ahora bien, como la o-lgebra generada por / es justamente
la o-lgebra de Borel E(R) (ver Problema 10, pgina 24) el Teorema 84 nos asegura que
existe una nica extensin de : a la o-lgebra de Borel E(R).
Denicin 87 La medida : denida en la o-lgebra de Borel E(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 la o-lgebra de Borel E(R), se conoce como
la medida de Lebesgue. La extensin de esta medida, por medio de la Proposicin 86, al
lgebra completa E(R) tambin se conoce como la medida de Lebesgue y los elementos de
o-lgebra E(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.
4.4. Un conjunto que no es Lebesgue Medible
Sean r, j R. Diremos que r es equivalente a j si y slo si r j Q. Si este es
el caso, escribiremos r v j. Esto es:
r v j = r j 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 1 un subconjunto del intervalo (0, 1) conteniendo exactamente un
punto de cada clase de equivalencia. Demostraremos que 1 no es Lebesgue medible. Para
esto necesitamos dos propiedades de 1:
(a) Si r (0, 1), entonces r 1 r para algn racional r (1, 1) .
(b) Si r y : son dos racionales distintos, entonces (1 r) (1 :) = c.
Para probar (a), note que para todo r (0, 1) existe j 1 tal que r v j. Si r = r j,
entonces r = j r 1r. Para probar (b), suponga que r (1r) (1:). Entonces
r = j r = . : con j 1, . 1. Como j . = : r ,= 0, se deduce que j v ., y 1
contendra dos puntos equivalentes, lo cual contradice nuestra eleccin de 1.
Ahora, supongamos que 1 es Lebesgue medible y pongamos que :(1) = c.
Denamos o =
(1r), en donde la unin se toma sobre todos los racionales r (1, 1).
Por (b), la coleccin es disjunta. Como : es invariante bajo traslaciones (ver Problema
8) :(1 r) = c para todo r. Como o (1, 2), se tiene que :(o) _ 8. Este resultado,
junto a la aditividad contable de : obliga a que c = 0 y por ende a que :(o) = 0. Pero
(a) implica que (0, 1) o y en consecuencia :(o) _ 1. Esto es una contradiccin.
4.5. La Medida de Lebesgue-Stieltjes
Denicin 89 Una medida de Lebesgue-Stieltjes en R es una medida j en E(R) tal que
j(1) < para todo intervalo acotado 1 R.
Denicin 90 Una funcin ) : R R se dice que es una funcin de distribucin si es
creciente y continua por la derecha. Esto es, si cumple con:
(1) r < j == )(r) _ )(j).
(2) lim
ro
+
)(r) = )(a) para todo a R.
Proposicin 91 Sea ) : R R una funcin de distribucin y sea j(a, /[ = )(/) )(a).
Entonces existe una nica extensin de j a una medida de Lebesgue-Stieltjes en R.
Demostracin. Extienda de manera natural j a una medida contablemente
aditiva (aqu se requiere la continuidad por la derecha de la funcin de distribucin ))
sobre el lgebra /. Use ahora el teorema de Carathodory para extender j a E(R). Es
claro que esta medida es de Lebesgue-Stieltjes pues j(a, /[ = )(/) )(a) < . Esto
Esta medida j usualmente se denota por j
}
(o :
}
) para indicar que depende de
).
La Medida de Lebesgue-Stieltjes 43
Problemas
1. Demuestre que ( =(a, /[ : a, / R 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, /) , [a, /[ , (a, /[ y [a./) tienen la misma medida / a.
4. Demuestre que existen conjuntos Lebesgue medibles que no son borelianos. Ms
precisamente, si c es la cardinalidad de R, demuestre que hay 2
c
conjuntos Lebesgue
medibles y tan solo c conjuntos Borelianos.
5. Sea / una lgebra en \ y sean ` y j dos medidas nitas en o(/) tales que `() =
j() para todo /. Demuestre que la coleccin
( = o(/) : `() = j()
es una familia montona que contiene a /. Concluya que ( = o(/).
6. Demuestre que en la Proposicin 86 se obtiene la misma o-lgebra si en lugar de
tomar la unin en la denicin de la o-lgebra / se toma la resta de conjuntos.
Demuestre el mismo resultado, pero ahora tomando la diferencia simtrica.
7. Sean r, j R. Dena
r v j == r j 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, 1
es Lebesgue medible si y slo si 1 a es Lebesgue medible para todo a R y
:(1) = :(1 a).
9. Dado c 0, construya un conjunto abierto 1 [0, 1[ que sea denso en [0, 1[ y tal
que
:(1) < c.
10. El conjunto de Cantor. Considere la siguiente sucesin de conjuntos cerrados:
1
1
= [0, 1[
1
2
= [0, 1,8[ ' [2,8, 1[
1
3
= [0, 1,0[ ' [2,0, 1,8[ ' [2,8, 7,0[ ' [8,0, 1[

En esta sucesin, cada conjunto 1
n+1
se forma eliminando el tercio central de cada
uno de los intervalos cerrados que forman el conjunto 1
n
. El conjunto de Cantor se
dene por:
1 =
o
n=1
1
n
.
Demuestre que la medida de Lebesgue de este conjunto es nula a pesar que 1 y R
tienen la misma cardinalidad.
11. Sea 1 R un conjunto de medida exterior nita. Demuestre que para todo c 0
existe un conjunto abierto G conteniendo a 1 y tal que
:(G) < :
+
(1) c.
12. Sea ) : [a, /[ R una funcin montona. Demuestre que ) es Lebesgue medible
(vea denicin del concepto de Lebesgue medible en el siguiente captulo).
13. Sea 1 un subconjunto de R, demuestre que las siguientes condiciones son equiva-
lentes:
a) 1 es medible.
b) Para todo c 0, existe un conjunto abierto G tal que 1 G y cumple con
:
+
(G1) < c.
c) Para todo c 0, existe un conjunto cerrado 1 tal que 1 1 y cumple con
:
+
(1 1) < c.
Captulo 5
INTEGRACIN
5.1. Funciones medibles
Denicin 92 Sean (\, /) y (, E) dos espacios medibles y ) : \ una funcin
arbitraria. Diremos que la funcin ) es medible si la imagen inversa de todo conjunto
medible en est en /. Esto es:
) medible = )
1
(1) / para todo 1 E.
La notacin ) : (\, /) (, E) medible, signicar que ) : \ y que ) es
medible respecto a las correspondientes o-lgebras.
Denicin 93 Sea (\, /) un espacio medible e (1, t) es un espacio topolgico. Diremos
que ) es Borel medible si ) : (\, /) (1, E(t)) es medible. En el caso que 1 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 (\, /) un espacio medible e (1, t) es un espacio topolgico. Sea ) :
(\, /) (1, E(t)). Entonces:
) es Borel medible = )
1
(G) / para todo G t. (5.1)
Demostracin. Si ) es Borel medible es inmediato que se cumple la condicin
indicada. Supogamos ahora que se cumple la condicin. Denamos como ( la coleccin de
todos los 1 1 tales que )
1
(1) /. De acuerdo al Problema 7, pgina 24, ( es una
o-lgebra en 1 y la condicin indicada en 5.1 implica que t (. Como E(t) es la menor
o-lgebra que contiene a t, se concluye que E(t) (. Esto termina la demostracin.
Ejemplo 95 Sean (A, t
1
) e (1, t
2
) dos espacios topolgicos y ) : A 1 una aplicacin
continua. Entonces:
) : (A, E(t
1
)) (1, E(t
2
))
es Borel medible. Esto es inmediato de la proposicin anterior puesto que el hecho que )
sea continua implica que para todo G t
2
,
)
1
(G) t
1
E(t
1
).
Ejemplo 96 Sea (\, /) un espacio medible y sean (1, t
1
) y (7, t
2
) dos espacios topolgi-
cos. Considere las siguientes funciones:
) : (\, /) (1, E(t
1
)) y
q : (1, t
1
) (7, t
2
) .
Suponga que ) es Borel medible y que q es continua. Entonces q ) es Borel medible.
46 Integracin
Proposicin 97 Sea (\, /) un espacio medible. Entonces ) : (\, /)
_
R, E
_
R
__
es
medible si y slo si
)
1
((c, [) / para todo c R. (5.2)
Demostracin. Denamos como ( la coleccin de todos los 1 R tales que
)
1
(1) /. De acuerdo al Problema 7, pgina 24, ( es una o-lgebra en R y la condicin
5.2 implica que (c, [ ( para todo c R. Elija un nmero real c y una sucesin de
reales (c
n
) tal que c
n
< c y c
n
c. Como (c
n
, [ ( y,
[, c) =
o
_
n=1
[, c
n
[ =
o
_
n=1
(c
n
, [
c
se deduce que [, c) (. Lo mismo es cierto de:
(c, ,) = [, ,) (c, [ .
Como E
_
R
_
es la menor o-lgebra que contiene a todos estos intervalos, se deduce
que E
_
R
_
(. Esto termina la demostracin.
Proposicin 98 Sea )
n
: (\, /) [, [ una sucesin de funciones medibles. Dena:
q(r) = sup
n1
)
n
(r), /(r) = limsup
no
)
n
(r),
entonces q y / son medibles.
Demostracin. Observe que q
1
((c, [) =
o
n=1
)
1
n
((c, [). Por lo tanto, de
acuerdo a la Proposicin 97, se tiene que q es medible. Obviamente el mismo resultado se
obtiene si reemplazamos sup por inf en el enunciado de la proposicin. Ahora como:
/(r) = inf
|1
_
sup
|
)
_
,
se sigue que / es medible. Esto termina la demostracin.
Corolario 99 Si ), q : (\, /) [, [ son dos funciones medibles, entonces tambin
lo son max ), q y min), q. En particular son medibles:
)
+
= max ), 0 y )
= min), 0 .
Estas funciones )
+
y )
se denominan respectivamente, parte positiva y parte negativa

de ) y cumplen con las siguientes propiedades:
[)[ = )
+
)
) = )
+
)
.
Proposicin 100 Sean ), q : (\, /) R dos funciones medibles. Sea 1 : R R R
una funcin continua. Entonces la funcin:
/(r) = 1()(r), q(r)) (r \)
es medible. En particular ) q y )q son medibles.
Funciones Simples 47
Demostracin. Sea
G
o
= (n, ) : 1(n, ) c .
Como 1 es continua, G
o
es un subconjunto abierto de R R y podemos escribir:
G
o
=
o
_
n=1
1
n
en donde 1
n
son rectngulos abiertos de la forma (a
n
, /
n
) (c
n
, d
n
) .
Ahora bien, para demostrar que / es medible, de acuerdo a la Proposicin 97,
basta demostrar que /
1
((c, [) / para todo c R. Pero:
/
1
((c, [) = r : /(r) c = r : 1()(r), q(r)) c
= r : ()(r), q(r)) G
o
=
_
r : ()(r), q(r))
o
_
n=1
1
n
_
=
o
_
n=1
r : ()(r), q(r)) 1
n
=
o
_
n=1
(r : )(r) (a
n
, /
n
) r : q(r) (c
n
, d
n
)) .
Como los conjuntos r : )(r) (a
n
, /
n
) y r : q(r) (c
n
, d
n
) son medibles, entonces
/
1
((c, [) es medible. Esto termina la demostracin.
5.2. Funciones Simples
Denicin 101 Una funcin : : \ [0, ) cuyo rango consiste de un nmero nito de
puntos se denominar funcin simple.
Si c
1
, c
2
, . . . , c
n
son todos los valores que asume : (slo valores distintos) y si
denimos
|
= r \ : :(r) = c
|
, entonces es fcil ver que:
: =
n
|=1
c
|
.
k
, (5.3)
en donde
.
k
es la funcin caracterstica de
|
. Si (\, /) es un espacio medible, entonces
: es medible si y slo si todos los conjuntos
|
son medibles. Cada vez que escribamos :
como en la Ecuacin 5.3, supondremos que los valores c
|
y los conjuntos
|
son como
en esta denicin.
Proposicin 102 Sea ) : (\, /) [0, [ una funcin medible. Entonces existe una
sucesin de funciones simples y medibles (:
n
)
o
n=1
tales que:
(1) 0 _ :
1
_ :
2
_ _ ).
(2) :
n
(r) )(r) para : , para todo r \.
Demostracin. Para : = 1, 2, 8, . . . , y para 1 _ i _ :2
n
, denamos:
1
n,I
= )
1
__
i 1
2
n
,
i
2
n
__
y 1
n
= )
1
([:, [).
Denamos:
:
n
=
n2
n
I=1
i 1
2
n

Jn;i
:
Jn
.
48 Integracin
Como los conjuntos 1
n,I
y 1
n
son medibles, se deduce que :
n
son funciones simples
medibles. Es claro que la sucesin (:
n
)
o
n=1
satisface la condicin (1).
Ahora, si r es tal que )(r) < , entonces :
n
(r) _ )(r) 2
n
para todo :
sucientemente grande; si )(r) = , entonces :
n
(r) = :. Esto demuestra (2). Esto
Proposicin 103 Sean ), q : (\, /) [0, [ dos funciones medibles. Entonces ) q y
)q son medibles.
Demostracin. Sean (:
n
) y (t
n
) dos sucesiones de funciones simples medibles,
como en la Proposicin 102, asociadas a ) y q respectivamente. Esto es:
0 _ :
1
_ :
2
_ . . . _ ), y :
n
(r) )(r) para todo r \ y
0 _ t
1
_ t
2
_ . . . _ q, y t
n
(r) q(r) para todo r \.
Entonces es claro
*
que para todo r \ se tiene:
:
n
(r) t
n
(r) )(r) q(r) y :
n
(r)t
n
(r) )(r)q(r). (5.4)
Como :
n
t
n
y :
n
t
n
son funciones simples medibles, se deduce de la Proposicin 98 que
) q y )q son medibles. Esto termina la demostracin.
Nota 104 Observe que en la proposicin anterior aparece la suma )(r)q(r) y el produc-
to )(r)q(r). Como el rango de ) y q es el intervalo extendido [0, [ podra muy bien darse
el caso que esta suma y este producto den origen a expresiones del tipo , a ,
, 0 a con a real positivo. Debido a esto y a otras razones que veremos pron-
to (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 < a < , se dene a = a = . No deniremos la
expresin ni .
Por otro lado, denimos:
a () = () a =
_
_
_
Si 0 < a _
( Si _ a < 0
0 Si a = 0.
Corolario 106 Sean ), q : (\, /) [, [ funciones medibles. Suponga que ) q y
)q estn bien denidas. Entonces ) q y )q son medibles.
Demostracin. Basta observar que / _ 0 medible implica / es medible.
Aplique ahora la Proposicin 103 y el Corolario 99.
5.3. Integracin de Funciones Positivas
Denicin 107 Sea (\, /, j) un espacio de medida y sea : una funcin simple y medible
de la forma:
: =
n
|=1
c
|
.
k
.
*
Vea nota y denicin siguiente.
Integracin de Funciones Positivas 49
Si 1 /, se dene:
_
J
: dj =
n
|=1
c
|
j(
|
1).
La convencin 0 = 0 debe ser considerada en esta denicin. Podra suceder que
c
|
= 0 para algn / y que justamente j(
|
1) = .
Denicin 108 Si ) : (\, /, j) [0, [ es una funcin medible y 1 /, se dene:
_
J
) dj = sup
_
J
: dj,
en donde el supremo se toma sobre todas las funciones simples medibles tales que 0 _ : _
). Esta integral se conoce como la integral de Lebesgue de ) respecto a j.
Note que, aparentemente, tenemos dos deniciones para la integral de ) en el caso
que ) 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 propie-
dades. Las funciones y conjuntos que aparecen a continuacin se supone que son medibles:
(a) Si 0 _ ) _ q, entonces
_
J
) dj _
_
J
q dj.
(b) Si 1 y ) _ 0, entonces
_
.
) dj _
_
1
) dj.
(c) Si ) _ 0, y 0 _ c _ , entonces
_
J
c) dj = c
_
J
) dj.
(d) Si )(r) = 0 para todo r 1, entonces
_
J
) dj = 0.
(e) Si j(1) = 0, entonces
_
J
) dj = 0.
(f ) Si ) _ 0, entonces
_
J
) dj =
_
J
) dj.
Demostracin. (a), (b), (d) y (e) se deducen directamente de la denicin. Para
(c) consideremos dos casos (i) Si
_
J
) dj = 0, entonces por Problema 8, se deduce que
) = 0 c.t.p. sobre 1 y ambos lados son nulos independientemente del valor de c. (ii) Si
_
J
) dj 0 y 0 < c < , entonces el resultado se deduce del hecho que una funcin
simple : cumple con 0 _ : _ ) si y slo si la funcin simple c: cumple con 0 _ c: _ c). Si
c = 0 el resultado es evidente. Finalmente si c = es claro que ambos lados son iguales
a . Para (f) ver Problema 9.
Lema 110 Sea (\, /, j) un espacio de medida y sean : y t dos funciones simple medibles
en \. Si 1 /, denamos:
,(1) =
_
J
: dj.
Entonces , es una medida sobre /. Adems:
_
(: t) dj =
_
: dj
_
t dj. (5.5)
Demostracin. Sea : =
n
|=1
c
|
.
k
. Sea 1
1
, 1
2
, . . . , una sucesin disjunta de
miembros de /, entonces si 1 =
o
=1
1
, la aditividad contable de j implica que:

,(1) =
n
|=1
c
|
j(
|
1) =
n
|=1
c
|
o
=1
j(
|
1
)
=
o
=1
n
|=1
c
|
j(
|
1
) =
o
=1
,(1
).
50 Integracin
Como ,(c) = 0, entonces , es una medida sobre /.
Ahora demostraremos la segunda parte del lema. Sea : como antes y suponga que
t =
n
|=1
,
|
1
k
. Sea:
1
I
=
I
1
,
entonces:
_
Jij
(: t) dj = (c
I
,
)j(1
I
) = c
I
j(1
I
) ,
j(1
I
) =
_
Jij
: dj
_
Jij
t dj.
Por lo tanto la Ecuacin 5.5 se cumple con 1
I
en lugar de \. Como \ es la unin disjunta
de estos conjuntos 1
I
con 1 _ i _ :, 1 _ , _ :, 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 con-
vergencia montona de Lebesgue:
Teorema 111 Sea )
n
: (\, /, j) [0, [ una sucesin de funciones medibles. y suponga
que:
(1) 0 _ )
1
(r) _ )
2
(r) _ _ para todo r \.
(2) )
n
(r) )(r) cuando : , para todo r \.
Entonces ) es medible y,
_
)
n
dj
_
) dj cuando : .
Demostracin. Como
_
)
n
dj _
_
)
n+1
dj, existe c [0, [ tal que:
_
)
n
dj c.
Por Proposicin 98, ) es medible. Por otro lado, como )
n
_ ), se tiene que
_
)
n
dj _
_
) dj, esto implica que:
c _
_
) dj. (5.6)
Para terminar la demostracin bastar probar la desigualdad inversa en 5.6.
Sea : una funcin simple medible tal que 0 _ : _ ). Sea c una constante,
0 < c < 1. Para cada : N dena:
1
n
= r : )
n
(r) _ c:(r) .
Entonces cada 1
n
es medible, 1
1
1
2
1
3
, y \ =
1
n
. Ahora observe que:
_
)
n
dj _
_
Jn
)
n
dj _ c
_
Jn
: dj.
Ahora si hacemos tender : , de acuerdo al Lema 110, podemos usar la Proposicin
69 (3) y obtendramos que:
c _ c
_
: dj. (5.7)
Como la Ecuacin 5.7 es cierta para todo c < 1, se obtiene que:
c _
_
: dj.
El Teorema de la Convergencia Montona de Lebesgue 51
Finalmente, como : _ ) es arbitrario, se concluye que:
c _
_
) dj.
Corolario 112 Sea )
n
: (\, /, j) [0, [ una sucesin de funciones medibles. Entonces
la funcin
o
n=1
)
n
(r) es medible en \ y,
_
n=1
)
n
(r) dj =
o
n=1
_
)
n
(r) dj.
Demostracin. Sean (:
n
) y (t
n
) sucesiones de funciones simples medibles tales
que :
n
)
1
y t
n
)
2
como en la Proposicin 102. Si n
n
= :
n
t
n
entonces n
n
)
1
)
2
.
Aplicando el teorema de la convergencia montona, Teorema 111, se deduce que:
_
n
n
dj
_
()
1
)
2
) dj. (5.8)
Pero, de acuerdo al Lema 110, se tiene que:
_
n
n
dj =
_
(:
n
t
n
) dj =
_
:
n
dj
_
t
n
dj
_
)
1
dj
_
)
2
dj. (5.9)
Como el lmite es nico, de 5.8 y 5.9 se deduce que:
_
()
1
)
2
) dj =
_
)
1
dj
_
)
2
dj.
Ahora aplicando induccin, para todo N se tiene:
_
n=1
)
n
(r) dj =

n=1
_
)
n
(r) dj (5.10)
Pero como

n=1
)
n
(r)
o
n=1
)
n
(r) para , el teorema de la convergencia montona
implica que:
_
n=1
)
n
(r) dj
_
n=1
)
n
(r) dj. (5.11)
Por otro lado, por simple denicin, se tiene que:
n=1
_
)
n
(r) dj
o
n=1
_
)
n
(r) dj (5.12)
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:
_
n=1
)
n
(r) dj =
o
n=1
_
)
n
(r) dj.
52 Integracin
Corolario 113 Sea ) : (\, /, j) [0, [ una funcin medible. Entonces:
c(1) =
_
J
) dj, (5.13)
es una medida sobre / y para toda funcin medible q con rango en [0, [ , se tiene:
_
q dc =
_
q) dj. (5.14)
Demostracin. La demostracin de que c 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 q =
J
y por ende es vlido para toda funcin simple :. Ahora
si :
1
_ :
2
_ _ q es una sucesin de funciones simples que converge a q se tiene que
:
n
) q) y por lo tanto, de acuerdo al teorema de la convergencia montona de Lebesgue,
se tiene:
_
q dc =
_
lim
no
:
n
dc = lim
no
_
:
n
dc = lim
no
_
:
n
) dj =
_
lim
no
:
n
) dj =
_
q) dj.
5.5. El Lema de Fatou
La siguiente proposicin se conoce como Lema de Fatou:
Proposicin 114 Sea )
n
: (\, /, j) [0, [ una sucesin de funciones medibles. En-
tonces: _
_
liminf
no
)
n
_
dj _ liminf
no
_
)
n
dj.
Demostracin. Para cada : N y cada r \, denamos:
q
n
(r) = inf
|n
)
|
(r).
Como q
n
_ )
n
, se tiene que:
_
q
n
dj _
_
)
n
dj. (5.15)
Observe ahora que 0 _ q
1
_ q
2
_ y q
n
(r) liminf
no
)
n
(r). Aplicando el teorema de la
convergencia montona de Lebesgue a la sucesin (q
n
), se tiene:
lim
no
_
q
n
dj =
_
liminf
no
)
n
dj. (5.16)
Por otro lado de 5.15 se obtiene:
liminf
no
_
q
n
dj _ liminf
no
_
)
n
dj. (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:
_
liminf
no
)
n
dj _ liminf
no
_
)
n
dj.
El Lema de Fatou 53
Denicin 115 Sea ) : (\, /, j) [, [ una funcin medible. De acuerdo al Coro-
lario 99, las funciones )
+
y )
son medibles. Para 1 /, denamos:

_
J
) dj =
_
J
)
+
dj
_
J
)
dj, (5.18)
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 [)[ es medible ya que es la
compuesta de ) con la funcin valor absoluto que es continua. Diremos entonces que ) es
una funcin integrable si:
_
[)[ dj < .
Note que, en el caso en que ) es integrable, la integral
_
J
) dj est bien denida y es un
nmero real, puesto que )
+
_ [)[ y )
_ [)[ y por lo tanto

_
J
)
+
dj < y
_
J
)
dj < .
Corolario 116 Sea )
n
: (\, /, j) [, [ una sucesin de funciones medibles. Supon-
ga que existe una funcin integrable q tal que )
n
_ q para todo :. Entonces:
_
_
limsup
no
)
n
_
dj _ limsup
no
_
)
n
dj.
Demostracin. Sea /
n
= q )
n
. Entonces /
n
: (\, /, j) [0, [ y podemos
aplicar el lema de Fatou a la sucesin (/
n
). As se tiene:
_
liminf
no
/
n
dj _ liminf
no
_
/
n
dj,
pero entonces:
_
q dj
_
limsup
no
)
n
dj =
_
liminf
no
(q )
n
) dj =
_
liminf
no
/
n
dj =
_ liminf
no
_
/
n
dj = liminf
no
_
(q )
n
) dj
=
_
q dj limsup
no
_
)
n
dj.
Simplicando por
_
q dj se obtiene
_
limsup
no
)
n
dj _ limsup
no
_
)
n
dj. Esto termina la
demostracin.
Proposicin 117 Sea ) : (\, /, j) [, [ una funcin integrable. Entonces, para
todo 1 / se tiene:

_
J
) dj
_
_
J
[)[ dj.
Demostracin. Observe que:
_
J
) dj =
_
J
)
+
dj
_
J
)
dj _
_
J
)
+
dj _
_
J
[)[ dj.
Anlogamente:
_
J
) dj =
_
J
)
+
dj
_
J
)
dj _
_
J
)
dj _
_
J
[)[ dj.
Por lo tanto:
_
J
[)[ dj _
_
J
) dj _
_
J
[)[ dj.
54 Integracin
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 )
n
: (\, /, j) [, [ una sucesin de funciones medibles tales
que:
)(r) = lim
no
)
n
(r)
existe para todo r \. Suponga que existe una funcin integrable q tal que:
[)
n
(r)[ _ q(r) para todo : N y para todo r \.
Entonces ) es integrable y,
lim
no
_
[)
n
)[ dj = 0, (5.19)
y
lim
no
_
)
n
dj =
_
) dj. (5.20)
Demostracin. Como [)[ _ q y ) es medible, se deduce que ) es integrable.
Como [)
n
)[ _ 2q, una aplicacin del Lema de Fatou a la funcin 2q [)
n
)[, nos da:
_
2q dj _ liminf
no
_
(2q [)
n
)[) dj
=
_
2q dj liminf
no
_
[)
n
)[ dj
_
=
_
2q dj limsup
no
__
[)
n
)[ dj
_
.
Como
_
2q dj es nito, se puede sustraer de ambos lados, obteniendo:

limsup
no
__
[)
n
)[ dj
_
_ 0.
Evidentemente este resultado implica 5.19.
Por otro lado, de acuerdo a la Proposicin 5.20, se tiene:
)
n
dj
_
) dj
()
n
)) dj
_
_
[)
n
)[ dj
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, /[ con la o-lgebra / de los conjuntos Lebesgue medibles de [a, /[ y dr la
medida de Lebesgue. Usaremos la notacin
_
b
o
) dr para escribir la integral de Lebesgue
en el intervalo [a, /[ y
_
b
o
) dr para la correspondiente integral de Riemann..
Teorema 119 Sea ) : [a, /[ R una funcin real acotada. Entonces:
(a) ) es Riemann integrable en [a, /[ si y slo si ) es continua c.t.p. en [a, /[ .
(b) Si ) es Riemann integrable en [a, /[, entonces ) es Lebesgue integrable en [a, /[
y,
_
b
o
) dr =
_
b
o
) dr
Comparacin con la integral de Riemann 55
Problemas
1. Sean ), q : (\, /, j) [, [ dos funciones medibles. Demuestre que los conjun-
tos:
= r : )(r) = q(r) ; 1 = r : )(r) < q(r) ; C = r : )(r) _ q(r) ,
son todos medibles.
2. Sea (\, /) un espacio medible y 1 /. Demuestre que )(r) =
J
(r) es medible.
3. Sea ) : (\, /, j) [, [. Demuestre que cada una de las siguientes cuatro
condiciones implica las otras tres:
r : )(r) c es medible para todo c R.
r : )(r) _ c es medible para todo c R.
r : )(r) < c es medible para todo c R.
r : )(r) _ c es medible para todo c R.
4. Sea ) : (\, /, j) [, [ una funcin medible. Demuestre que [)[ es medible
usando la denicin.
5. Suponga que ) : (\, /, j) [, [ es medible y j es una medida completa.
Demuestre que si ) = q c.t.p., entonces q es medible.
6. Sean (\, /, j) y (, E, `) dos espacios medibles con j medida completa y ), q : \
funciones tales que ) es medible. Demuestre que si ) = q c.t.p., entonces q es
medible.
7. Sea )
n
: (\, /, j) [, [ una sucesin de funciones medibles. Demuestre que
el conjunto:
= r : ()
n
(r))
o
n=1
converge
es un conjunto medible.
8. Sea ) : (\, /, j) [0, [ medible, 1 /. Suponga que
_
J
) dj = 0. Entonces
) = 0 c.t.p. sobre 1.
9. Demuestre la Proposicin 109 (f).
10. Sea ) : (\, /, j) [0, [ medible y sea c(1) =
_
J
) dj. Demuestre que c es una
medida en \.
11. Sea ) : (\, /, j) [, [ una funcin integrable. Suponga que
_
J
) dj = 0 para
todo 1 /. Entonces ) = 0 c.t.p. sobre \.
12. Suponga que ), q : (\, /, j) [, [ son medibles con ) = q c.t.p. Entonces )
integrable implica que q es integrables y
_
) dj =
_
q dj.
13. Suponga que ) : (\, /, j) [, [ es integrable. Demuestre que r : )(r) ,= 0
es o-nito.
14. Sea \ = N con la o-lgebra discreta y la medida del conteo. Demuestre que ) :
\ [, [ es integrable si y slo si
o
n=1
[)(:)[ es convergente. En este caso
_
N
) dj =
o
n=1
)(:).
56 Integracin
15. Use el Corolario 112 aplicado al espacio N con la o-lgebra usual y la medida de
conteo, para demostrar que para toda sucesin doble (a
I
) de nmeros positivos, se
cumple:
o
I=1
o
=1
a
I
=
o
=1
o
I=1
a
I
.
16. Sea ) : (\, /, j) [, [ una funcin integrable con j(\) < . Sea 1 un
subconjunto de R cerrado y no vaco. Suponga que:
(\1 /)
_
j(1) 0 =
1
j()
_
J
) dj 1
_
.
Entonces )(r) 1 c.t.p. sobre \.
17. Sea ) : (\, /, j) [0, [ una sucesin decreciente de funciones medibles tales que
)
n
(r) )(r) para todo r \. Suponga que )
1
es integrable. Demuestre que:
lim
no
_
)
n
dj =
_
) dj.
18. Sea ()
n
) una sucesin de funciones continuas en [0, 1[ tal que 0 _ )
n
_ 1. Suponga
que )
n
(r) 0 para todo r [0, 1[. Demuestre que lim
no
_
1
0
)
n
dj = 0.
19. Usando el teorema de la convergencia montona de Lebesgue demuestre que:
lim
no
_
n
0
_
1
r
:
_
n
c
r/2
dr = 2
lim
no
_
n
0
_
1
r
:
_
n
c
2r
dr = 1.
20. Sea )
n
=
J
si : es impar y )
n
= 1
J
si : es par. Cual es la importancia de
esta sucesin respecto al lema de Fatou?
21. Suponga que (\, /, j) es un espacio de medida. Demuestre que j es o-nita si y
slo si existe funcin integrable ) tal que )(r) 0 para todo r \.
22. Sea )
n
: (\, /, j) R una sucesin de funciones medibles y acotadas que con-
verge uniformemente a la funcin ). Suponga que j(\) < . Demuestre que
lim
no
_
)
n
dj =
_
) dj.
23. Sea \ = N con la o-lgebra discreta y la medida del conteo. Considere la sucesin
()
n
) denida por:
)
n
(/) =
_
1,: Si 1 _ / _ :
0 Si / :.
Demuestre que esta sucesin converge uniformemente a ) = 0, sin embargo lim
_
)
n
,=
_
). Compare con el problema anterior.
24. Sea \ = N con la o-lgebra discreta y la medida del conteo. Considere la sucesin
()
n
) denida por:
)
n
(/) =
_
1,/ Si 1 _ / _ :
0 Si / :.
(a) Demuestre que esta sucesin converge uniformemente a la funcin )(/) = 1,/, /
N.
(b) Demuestre que cada )
n
es integrable, pero ) no lo es.
Comparacin con la integral de Riemann 57
25. Convergencia casi uniforme.
Una sucesin )
n
: (\, /, j) [, [ de funciones medibles y reales c.t.p. se dice
que converge casi uniformemente a una funcin medible ) si para todo c 0, existe
un conjunto medible 1 \ con j(1) < c tal que ()
n
) converge a ) de manera
uniforme en \1. Demuestre que la sucesin ()
n
) converge puntualmente a ) casi
en todas partes (en \).
26. El teorema de Egoro.
Suponga que la sucesin )
n
: (\, /, j) [, [ de funciones reales c.t.p. converge
puntualmente (tambin c.t.p.) a una funcin medible ) y real c.t.p. Entonces si
j(\) < se tiene que ()
n
) converge casi uniformemente a ).
27. Convergencia en medida.
Una sucesin )
n
: (\, /, j) [, [ de funciones medibles y reales c.t.p. se dice
que converge en medida a una funcin medible ) si para todo j 0,
lim
no
j(r : [)
n
(r) )(r)[ _ j) = 0.
Demuestre:
a) El lmite es nico c.t.p.
b) Convergencia casi uniforme = convergencia en medida.
28. Demuestre que si ) : [a, /[ R es una funcin acotada y Riemann integrable,
entonces ) es continua c.t.p. en [a, /[.
29. Resuelva el Problema 8, pgina 35 usando integracin del siguiente modo: dena
como el conjunto de los puntos r que estn en innitos
n
. Hay que demostrar que
j() = 0. Para este efecto dena q(r) =
o
n=1
.n
(r), (r \), en donde
.n
es la
funcin caracterstica de
n
y observe que r si y slo si q(r) = .
30. Sea ) : (\, /, j) [0, [ una funcin integrable con 0 <
_
) dj = c < . Sea c
una constante. Demuestre que:
lim
no
_
:ln
_
1
_
)
:
_
o
_
dj =
_
_
_
Si 0 < c < 1
c Si c = 1
0 Si 1 < c < .
31. Sea,
)
n
(r) =
_
: Si 0 _ r < 1,:
0 Si 1,: _ r _ 1
Demuestre que lim
no
)
n
(r) = 0 c.t.p. en [0, 1[, sin embargo lim
no
_
1
0
)
n
d: = 1 (:
la medida de Lebesgue). Este ejemplo muestra que la condicin [)
n
[ _ q dada en el
teorema de la convergencia dominada de Lebesgue no es superua.
32. Sea (\, /, j) un espacio medible y (\
t
, /
t
) un espacio de medida. Suponga que:
) : (\, /) (\
t
, /
t
)
es medible. Demuestre que:
58 Integracin
(a) j
t
: /
t
[0, [ denida por:
j
t
(1
t
) = j)
1
(1
t
) = j
_
)
1
(1
t
)
_
(1
t
/
t
)
es una medida sobre /
t
.
(b) Suponga que q : \
t
[0, [ es medible. Entonces:
_
0
q d
_
j)
1
_
=
_
(q )) dj. (5.21)
(c) Suponga que q : \
t
[, [ es medible. Entonces q es j
t
-integrable si y slo
si q ) es j-integrable y en este caso tambin rige 5.21.
33. Demuestre que la funcin )(r) = sinr cos r no es Lebesgue integrable en R.
34. Demuestre que la funcin )(r) = (sinr),r no es Lebesgue integrable en (1, ).
35. Demuestre que la funcin )(r) = 1,r no es Lebesgue integrable en (0, 1).
36. Considere la funcin denida en [0, 1[ por:
)(r) =
_
1,: Si r = :,: (fraccin irreducible) con :, : N.
0 Si r es irracional.
Demuestre que ) es Lebesgue integrable. Halle
_
1
0
)(r) dr.
37. Sea ) : (\, /, j) [0, [ una funcin integrable y c 0. Demuestre que existe
/, j() < y tal que:
) dj
_
.
) dj
< c.
38. Sea (\, /, j) un espacio de medida tal que j(\) < y ) : (\, /, j) R una
funcin medible. Sea:
n
= r : : 1 _ [)(r)[ < : .
Entonces ) es integrable si y slo si

:j(
n
) < .
39. Sean ), q : (\, /, j) [, [ funciones medibles. Demuestre:
) y q integrables =
_
)
2
q
2
_
1/2
integrable.
)
2
y q
2
integrables = )q integrable.
Captulo 6
LOS ESPACIOS L
P
6.1. Funciones Convexas
Denicin 120 Suponga que _ a < / _ . Entonces , : (a, /) R se dice que es
una funcin convexa si para todo par de reales r, j (a, /) y ` (0, 1) se tiene:
,((1 `)r `j) _ (1 `),(r) `,(j). (6.1)
Gracamente la condicin establece que para todo t (r, j) el punto (t, ,(t)) debe estar
sobre o debajo del segmento lineal que une los puntos (r, ,(r)) e (j, ,(j)).
Ejemplo 121 Dos ejemplos tpicos de funciones convexas, la primera denida en R y la
segunda en (0, ) son ,(r) = oxp(r) = c
r
y ,(r) = r
con j _ 1.
Lema 122 , : (a, /) R es convexa si y slo si:
,(t) ,(:)
t :
_
,(n) ,(t)
n t
(6.2)
para todo :, t y n tales que a < : < t < n < /.
Demostracin. Ver Problema 2.
Ejemplo 123 Si , : (a, /) R es diferenciable, entonces , es convexa si y slo si ,
t
es
montonamente creciente, esto es a < : < t < / implica que ,
t
(:) _ ,
t
(t).
Proposicin 124 Si , : (a, /) R es convexa, entonces , es continua.
Demostracin. Ver Problema 1.
6.2. La Desigualdad de Jensen
Proposicin 125 Sea (\, /, j) un espacio de medida tal que j(\) = 1 y ) : \ (a, /)
una funcin integrable. Entonces si , : (a, /) R es convexa, se tiene que:
,
__
) dj
_
_
_
(, )) dj.
Nota 126 Las cantidades a y / pueden ser reales extendidos.
Demostracin. Pongamos t =
_
) dj. Entonces a < t < /. Si , es el supremo

de los cuocientes del lado izquierdo en 6.2 para a < : < t, entonces , no es mayor que
ninguno de los cuocientes del lado derecho para n (t, /). De aqu se sigue que:
,(:) _ ,(t) ,(: t) (a < : < /).
60 Los Espacios 1
Por lo tanto para todo r \ se tiene:

,()(r)) ,(t) ,()(r) t) _ 0. (6.3)
Como , es continua, , ) es medible. Integrando ambos lados de 6.3 se tiene:
_
(, )) dj ,(t)
_
dj ,
_
) dj ,t
_
dj _ 0.
Pero t =
_
) dj y
_
dj = 1. Reemplazando se obtiene:
_
(, )) dj ,(
_
) dj) ,t ,t _ 0.
6.3. Las Desigualdades de Hlder y Minkowki
Denicin 127 Diremos que los nmeros reales positivos j y son exponentes conjuga-
dos si:
1
j

1
= 1.
Los casos extremos j = 1 y = (y viceversa) tambin se consideran exponentes conju-
gados.
Proposicin 128 Sean j y dos exponentes conjugados con 1 < j, < . Sea (\, /, j)
un espacio de medida. Entonces si ), q : (\, /, j) [0, [ son dos funciones medibles, se
tiene:
_
)q dj _
__
dj
_
1/
__
q
j
dj
_
1/j
(6.4)
y
__
() q)
dj
_
1/
_
__
dj
_
1/
__
dj
_
1/
(6.5)
La desigualdad 6.4 se denomina desigualdad de Hlder y la 6.5 se conoce como desigual-
dad de Minkowski. Si en 6.4 hacemos j = = 2 entonces la desigualdad obtenida se
conoce como desigualdad de Schwarz.
Demostracin. Sean y 1 los factores del lado derecho de 6.4. Si = 0,
entonces ) = 0 c.t.p. por Problema 8, pgina 55; luego )q = 0 c.t.p. y la desigualdad 6.4
es cierta. Si 0 y 1 = la desigualdad 6.4 nuevamente es trivial. Por lo tanto slo
necesitamos considerar el caso 0 < , 1 < . Pongamos:
1 =
)
, G =
q
1
. (6.6)
Entonces:
_
dj =
_
G
j
dj = 1.
Si r \ cumple con 0 < 1(r) < y 0 < G(r) < , entonces existen reales : y t tales
que:
1(r) = c
s/
, G(r) = c
|/j
.
Los Espacios 1
61
Como 1,j 1, = 1, la convexidad de la funcin exponencial implica que:
c
s/+|/j
_
1
j
c
s
c
|
.
De lo que sigue:
1(r)G(r) _
1
j
1(r)
G(r)
j
. (6.7)
Note que 6.7 es vlida para todo r \. Integrando se obtiene:
_
1Gdj _
1
j
_
dj
1
G
j
dj =
1
j

1
= 1.
Usando 6.6, nalmente se obtiene:
_
)q dj _ 1 =
__
dj
_
1/
__
q
j
dj
_
1/j
,
lo que demuestra la desigualdad de Hlder.
Para demostrar 6.5 escribamos:
() q)
= ) () q)
1
q () q)
1
.
De acuerdo a Hlder se tiene que:
_
) () q)
1
dj _
__
dj
_
1/
__
() q)
(1)j
dj
_
1/j
(6.8)
Anlogamente:
_
q () q)
1
dj _
__
dj
_
1/
__
() q)
(1)j
dj
_
1/j
(6.9)
Sumando 6.8 y 6.9 y observando que (j 1) = j, se obtiene:
_
() q)
dj _
__
() q)
dj
_
1/j
_
__
dj
_
1/
__
dj
_
1/
_
. (6.10)
Evidentemente es suciente demostrar 6.5 en el caso que el lado izquierdo sea mayor que
0 y el derecho menor que . La convexidad de la funcin t
para t R implica que:

_
) q
2
_
_
1
2
()
) .
De aqu se deduce que
_
() q)
dj es menor que . Dividiendo por este factor en 6.10

se obtiene la desigualdad 6.5. Esto termina la demostracin.
6.4. Los Espacios 1
Denicin 129 Si 0 < j < y ) : (\, /, j) [, [ es una funcin medible,

denamos:
|)|
=
__
[)[
dj
_
1/
.
Denotaremos por /
(j) al conjunto de todas las funciones ) tales que |)|
< . Si
\ = R, escribiremos /
(R) en lugar de /
(j).
62 Los Espacios 1
Denicin 130 Sea q : \ [0, [ una funcin medible y sea o el conjunto de todos los
reales positivos c tales que:
j
_
q
1
((c, [)
_
= 0.
Denamos el supremos esencial |q|
o
de q como:
|q|
o
=
_
Si o = c
inf o Si o ,= c.
Denotemos por /
o
(j) al conjunto de todas las funciones ) : (\, /, j) [, [
medibles tales que el supremo esencial de [)[, denotado por |)|
o
es acotado, esto es
|)|
o
< . Las funciones de /
o
(j) se dice que son esencialmente acotadas. Si \ = R,
escribiremos /
o
(R) en lugar de /
o
(j).
Ejemplo 131 Si j es la medida de conteo en un conjunto con la o-lgebra / = T(),
entonces, en lugar de usar la notacin /
(j), 1 _ j _ , para denotar los espacios

arriba denidos, usaremos |
(). Si es contable escribiremos |
. Los elementos de estos

ltimos espacios pueden ser considerados como sucesiones reales. Si r = (r
n
) es una tal
sucesin, entonces:
|r|
=
_
_
_
o
n=1
[r
n
[
_
1/
Si 1 _ j <
sup
n1
[r
n
[ Si j = .
Nota 132 De acuerdo a la Denicin 130, se tiene:
(a) Si o ,= c entonces |q|
o
=inf o = mino. En efecto, si , =inf o, entonces:
q
1
((,, [) =
o
n=1
q
1
__
,
1
:
,
__
,
por lo tanto q
1
((,, [) = 0 y , o.
(b) [)(r)[ _ ` c.t.p. en \ = ` _ |)|
o
.
Proposicin 133 Sean j y exponentes conjugados, 1 _ j, _ . Suponga que )
/
(j) y q /
j
(j). Entonces )q /
1
(j) y,
|)q|
1
_ |)|
|q|
j
. (6.11)
Demostracin. Si 1 < j, < entonces la conclusin es inmediata de la
Proposicin 128. Si j = , entonces integrando ambos lados de la desigualdad,
[)(r)q(r)[ _ |)|
o
[q(r)[ c.t.p. sobre \,
se deduce 6.11. Si j = 1, entonces = y podemos aplicar el mismo argumento. Esto
Teorema 134 Sea 1 _ j _ . Suponga que ) /
(j) y q /
(j). Entonces ) q
/
(j) y adems:
|) q|
_ |)|
|q|
. (6.12)
Demostracin. Si 1 < j < , el resultado se sigue directamente de la Proposi-
cin 128. Si j = 1 j = , entonces 6.12 es consecuencia inmediata de la desigualdad
[) q[ _ [)[ [q[. Esto termina la demostracin.
Los Espacios 1
63
Denicin 135 Si en los espacios /
(j) con 1 _ j _ , denimos la relacin:

) v q = ) = q c.t.p. sobre \,
entonces ) v q es una relacin de equivalencia sobre estos espacios. Denotaremos por
1
(j) los espacios vectoriales formados por las respectivas clases de equivalencia.
Nota 136 Es fcil darse cuenta que a diferencia de /
(j), 1 _ j _ , los espacios

1
(j) son espacios vectoriales normados. Si en estos espacios denimos:

d(), q) = |) q|
entonces d es una distancia en 1
(j). Esta distancia se conoce como la mtrica o distancia

usual de 1
(j). En el caso de 1
o
(j) tambin se conoce como la mtrica o distancia
uniforme o de la convergencia uniforme.
Teorema 137 Los espacios 1
(j), 1 _ j _ son espacios mtricos completos.

Demostracin. El caso j = ver Problema 8.
Si 1 _ j < y ()
n
) es de Cauchy, entonces existe ()
n
k
) con :
1
< :
2
< , tal
que:
_
_
)
ni+1
)
ni
_
_
<
1
2
I
i _ 1. (6.13)
Dena:
q
|
=
|
I=1
)
ni+1
)
ni
, q =
o
I=1
)
ni+1
)
ni
. (6.14)
Por 6.13,
|q
|
|
_
|
I=1
_
_
)
ni+1
)
ni
_
_
_
|
I=1
1
2
I
< 1.
Usando ahora el lema de Fatou, se tiene:
|q|
=
_
q
dj =
_
(limq
|
)
dj =
_
lim(q
|
) dj
=
_
liminf (q
|
) dj _ liminf
_
q
|
dj = liminf |q
|
|
_ 1.
Por lo tanto |q|
_ 1. En particular q(r) < c.t.p., de manera que la serie:

)(r) = )
n1
(r)
o
I=1
_
)
ni+1
(r) )
ni
(r)
_
converge absolutamente casi en todas partes. Como
)
n1

|1
I=1
_
)
ni+1
)
ni
_
= )
n
k
se concluye que )(r) = lim
Io
)
ni
(r) casi en todas partes. Demostraremos ahora que ()
n
)
converge a ) en 1
. Sea c 0. Entonces existe tal que para todo :, : _ se cumple

que |)
n
)
n
|
< c. Fijemos : _ . Entonces por el lema de Fatou, se tiene:

_
[) )
n
[
dj =
_
[lim)
ni
)
n
[
dj =
_
lim[)
ni
)
n
[
dj
_ liminf
_
[)
ni
)
n
[
dj = liminf |)
ni
)
n
|
< c
.
64 Los Espacios 1
Luego, para todo : _ se cumple que |) )

n
|
< c. De aqu se obtienen dos conclu-

siones:
(1) ) )
n
1
y como )
n
1
, se deduce que ) 1
.
(2) Ya que ) 1
y |) )
n
|
< c para todo : _ , de deduce que ()

n
)
converge a ) en 1
. Esto naliza la demostracin.

Corolario 138 Si ()
n
) es una sucesin convergente a ) en el espacio 1
(j), 1 _ j _ ,
entonces existe una subsucesin ()
n
k
) que converge puntualmente a ) c.t.p.
Proposicin 139 Sea o el conjunto de todas las funciones medibles simples : con soporte
de medida nita y denidas en \, esto es
j(r : :(r) ,= 0) < ,
entonces si 1 _ j < , se tiene que o es denso en 1
(j).
Demostracin. Como el soporte de las funciones simples de o tiene medida
nita, se sigue que o 1
(j). Supongamos que ) _ 0 y sea :

n
una sucesin de
funciones medibles simples denidas como en la Proposicin 102. Como 0 _ :
n
_ ), se
deduce que :
n
1
(j), y por lo tanto :

n
o. Como [) :
n
[
_ )
, el teorema de la
convergencia dominada demuestra que |) :
n
|
0. Esto demuestra que ) pertenece a

la 1
-clausura de o. El caso general se deduce de este.

Los Espacios 1
65
Problemas
2. Demuestre el Lema 122.
3. Usando la desigualdad de Jensen en el espacio \ = 1, 2, . . . , : con la medida
j(/) = 1,: (/ = T (\)) y la funcin convexa ,(r) = oxp(r) demuestre la
desigualdad:
(j
1
j
2
j
n
)
1/n
_
1
:
(j
1
j
2
j
n
) j
1
, j
2
, j
n
R
+
.
4. Suponga que c
I
0 para i = 1, 2, . . . , : y cumplen con
n
I=1
c
I
= 1. Demuestre que
j
o1
1
j
o2
2
j
on
n
_ c
1
j
1
c
2
j
2
c
n
j
n
j
1
, j
2
, j
n
R
+
. (6.15)
5. Usando la desigualdad de Jensen en el espacio \ = 1, 2, . . . , : con la medida
j(/) = 1,: y la funcin ,(r) = r
2
, demuestre la desigualdad:
(r
1
r
2
r
n
)
2
_ :(r
2
1
r
2
2
r
2
n
)
6. Demuestre que si ) es una funcin integrable en [0, 1[, entonces
oxp
__
1
0
)(t) dt
_
_
_
1
0
oxp()(t)) dt
7. Suponga que ) : [0, 1[ (0, ) es una funcin medible tal que ln) es integrable.
Demuestre que
_
1
0
ln()(t)) dt _ ln
__
1
0
)(t) dt
_
.
8. Demuestre que 1
o
(j) es completo.
9. Suponga que la sucesin ()
n
) converge a la funcin ) en 1
(j) para algn j _ 1 y

que lim
no
)
n
= q c.t.p. Demuestre que ) = q c.t.p.
10. Suponga que (r
I
) |
e (j
I
) |
j
en donde j y son exponentes conjugados tales
que 1 < j, < . Demuestre que:
o
I=1
[r
I
j
I
[ _
_
o
I=1
[r
I
[
_
1/
_
o
I=1
[j
I
[
j
_
1/j
.
11. Suponga que (r
I
) e (j
I
) pertenecen a |
con 1 _ j < . Demuestre que (r

I
j
I
) |
y adems:
_
o
I=1
[r
I
j
I
[
_
1/
_
_
o
I=1
[r
I
[
_
1/
_
o
I=1
[j
I
[
_
1/
.
12. Demuestre que si 0 < j < 1, entonces la funcin d(), q) =
__
[) q[
dj
_
1/
no es
una distancia en 1
. Sin embargo si denimos d(), q) =

_
[) q[
dj si lo es.
66 Los Espacios 1
13. Demuestre que si 0 < j < 1, entonces la vecindad del cero

_
) : |)|
< c
_
en 1
(0, 1)
no es un conjunto convexo.
14. Demuestre la siguiente extensin de la Proposicin 133. Sean j, , r _ 1 tales que
1
r
=
1
j

1
. Suponga que ) /
(j) y q /
j
(j). Entonces )q /
:
(j) y |)q|
:
_
|)|
|q|
j
.
15. Sea ) : (\, /, j) R una funcin medible tal que |)|
o
0. Para j 0, dena:
,(j) =
_
[)[
dj, 1 = j : ,(j) < .

Demuestre:
(a) Si r < j < :, r 1 y : 1, entonces j 1.
(b) Demuestre que ln, es convexa en 1 (y por lo tanto en

1) y que , es continua
en 1.
(c) Si r < j < :, entonces |)|
_ max |)|
:
, |)|
s
y 1
:
(j) 1
s
(j) 1
(j).
(d) Suponga que |)|
:
< para algn r < . Demuestre que lim
o
|)|
= |)|
o
.
16. Sea ) : (\, /, j) R una funcin medible. Suponga que j(\) = 1, demuestre que
0 < r _ : _ = |)|
:
_ |)|
s
17. Suponga que j(\) < . Demuestre:
0 < r _ : _ == 1
s
(j) 1
:
(j).
18. Suponga que j(\) < y que 1 _ r < : _ . Demuestre que si ()
n
) es una
secuencia de funciones que converge a ) en 1
s
, entonces ()
n
) tambin converge a )
en 1
:
.
19. Suponga que j(\) = 1 y ), q : (\, /, j) [0, [ son funciones medibles tales que
)q _ 1. Demuestre que:
__
) dj
___
q dj
_
_ 1.
20. Suponga que j(\) = 1 y / : (\, /, j) (0, ) es medible. Dena =
_
/dj.
Demuestre que:
_
1
2
_
_
_
1 /
2
dj _ 1 .
Encuentre una interpretacin para este resultado en el caso en que j sea la medida
de Lebesgue en [0, 1[ y / = )
t
, con / continua.
21. Sea (\, /, j) un espacio de medida y suponga que ) 1
1
(j). Demuestre que para
todo c 0 existe c 0 tal que
_
J
[)[ dj < c para todo conjunto 1 / tal que
j(1) < c.
22. Suponga que q 1
1
(R) 1
o
(R) y lim
]r]o
[q(r)[ = 0. Demuestre que
lim
no
1
:
_
R
q(t) )(t,:) dt = 0
para toda funcin ) 1
1
(R). (Indicacin: Use teorema 8.26 de Rudin).
Los Espacios 1
67
23. Sea 1 _ j < , 0 < j(\) < y ) : (\, /, j) R medible. Dena
()) =
_
1
()
_
[) [
dj
_
1/
. Demuestre
a) j
1
< j
2
implica que
1
()) _
2
()).
b)
() q) _
())
(q).
c)
1
()
_
[) q[ dj _
())
(q)
Note que
()) tiene las mismas propiedades que |.|
pero tiene una propiedad

adicional de ser montona.
68 Los Espacios 1
Captulo 7
MEDIDAS SIGNADAS
7.1. La Descomposicin de Hahn
Denicin 140 Sea (\, /, j) un espacio de medida. Diremos que j : / (, [ es
una medida signada si cumple con las siguientes condiciones:
a) El dominio / de j es una o-lgebra en \.
b) j es contablemente aditiva en /.
c) j(c) = 0.
Ejemplo 141 La motivacin de esta nocin proviene de considerar la funcin:
j(1) = j
1
(1) j
2
(1), 1 /, (7.1)
denida como la diferencia de las medidas j
1
y j
2
, en donde j
2
es nita. Es claro que
en este caso j es una medida signada. En esta seccin demostraremos que toda medida
signada es de esta forma.
Ejemplo 142 Suponga que ) es una funcin real medible, tal que
_
dj < . Entonces
la funcin j denida por:
j() =
_
.
) dj,
es una medida signada.
Denicin 143 Sea j una medida signada denida en la o-lgebra / y sean 1 /,
/. Entonces diremos que:
1. 1 es positivo respecto a j si j(1 ) _ 0 para todo /.
2. es negativo respecto a j si j( ) _ 0 para todo /.
Proposicin 144 Sea j una medida signada, entonces existen dos conjuntos medibles y
disjuntos 1 y tales que 1 es positivo y es negativo respecto a j y \ = 1 . Esto
es, \ es la unin disjunta de 1 y .
Demostracin. Denotemos por A la clase de todos los conjuntos negativos res-
pecto a j. Dena , = inf
1A
j(1) y sea (1
) una sucesin de conjuntos negativos tales que

j(1
) ,. Sea:
=
o
_
=1
1
y
1 = \ 1
70 Medidas Signadas
Demostraremos ahora que es negativo y 1 es positivo respecto a j. Esto terminar la
demostracin.
De acuerdo a los Problemas 3 y 4, se tiene que es negativo y j() = ,.
Supongamos que 1 no es positivo. Entonces existe un conjunto 1
0
1 tal que
j(1
0
) < 0. Es claro que 1
0
no puede ser negativo, puesto que entonces 1
0
' sera
negativo y j(1
0
' ) < ,, contradiciendo la eleccin de ,. Por lo tanto existe 1
1
1
0
tal que j(1
1
) 0. Sea :
1
el entero positivo ms pequeo para el cual existe un tal
conjunto 1
1
satisfaciendo j(1
1
) _ 1,:
1
. De acuerdo al Problema 1 se debe cumplir que
j(1
1
) < . Como:
j(1
0
1
1
) = j(1
0
) j(1
1
) _ j(1
0
)
1
:
1
< 0,
podemos aplicarle al conjunto 1
0
1
1
el mismo argumento que le aplicamos a 1
0
. Lla-
memos nuevamente :
2
al menor entero positivo tal que 1
0
1
1
contiene un conjunto 1
2
satisfaciendo j(1
2
) _ 1,:
2
.
Continuando de esta manera se obtiene (1
|
)
o
|=1
y (:
|
)
o
|=1
tales que :
|
es el
menor entero positivo para el cual existe 1
|
1
0
|1
I=1
1
I
, satisfaciendo:
j(1
|
) _ 1,:
|
. (7.2)
Es claro que j
_
o
I=1
1
I
_
< y como la coleccin 1
|
es disjunta, se deduce que j(1
|
) 0.
Por lo tanto, de acuerdo a 7.2 se tiene:
lim
|o
1
:
|
= 0.
De aqu se deduce que para todo subconjunto medible 1 de 1
0
= 1
0
I=1
1
I
se cumple:
j(1) _
1
:
|
1
0.
Esto signica que j(1) _ 0 y por lo tanto 1
0
es negativo. Como:
j(1
0
) = j(1
0
)
o
I=1
j(1
I
) < j(1
0
) < 0,
se obtiene que j( ' 1
0
) < j() 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 j, 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 descom-
posicin de Jordan y que es independiente de la descomposicin de Hahn elegida (ver
Problema 6).
Continuidad Absoluta 71
Proposicin 145 Sea j una medida signada y sea 1 y una descomposicin de Hahn,
en donde 1 es positivo y es negativo respecto a j. Denamos:
j
+
(1) = j(1 1),
j
(1) = j(1 )
entonces j
+
y j
son medidas. Adems para todo conjunto medible 1 se tiene:

j(1) = j
+
(1) j
(1).
Esta descomposicin de j como la diferencia de dos medidas no negativas se conoce como
la descomposicin de Jordan de la medida signada j.
Denicin 146 Las medidas j
+
y j
se conocen como la variacin positiva y la variacin

negativa de j respectivamente. La medida:
[j[ (1) = j
+
(1) j
(1)
se conoce como la variacin total de j. Note que [j[ (1) en general es distinto de [j(1)[.
Una medida signada j se dice que es nita (resp. o-nita) si [j[ es nita (resp.
o-nita).
7.3. Continuidad Absoluta
Denicin 147 Sean j, `, `
1
y `
2
medidas denidas en la o-lgebra /. Supongamos
que j es positiva y `, `
1
y `
2
son medidas signadas. Entonces:
(1) Diremos que ` es absolutamente continua respecto a j y escribiremos ` j
si para todo 1 /,
j(1) = 0 = `(1) = 0.
(2) Diremos que ` est concentrada en el conjunto /, si para todo 1 / se
tiene que
`(1) = `(1 ).
(3) Diremos que `
1
y `
2
son mutuamente singulares si existe un par de conjuntos
disjuntos y 1 tales que `
1
est concentrado en y `
2
est concentrado en 1. En este
caso escribiremos que
`
1
l `
2
.
Proposicin 148 Suponga que j, `, `
1
y `
2
son medidas en la o-lgebra / y que j es
positiva. Entonces:
(a) ` concentrada en = [`[ concentrada en .
(b) Si `
1
l `
2
, entonces [`
1
[ l [`
2
[.
(c) Si `
1
l j y `
2
l j, entonces `
1
`
2
l j.
(d) Si `
1
j y `
2
j, entonces `
1
`
2
j.
(e) Si ` j, entonces [`[ j.
(f ) Si `
1
j y `
2
l j, entonces `
1
l `
2
.
(g) Si ` j y ` l j, entonces ` = 0.
Demostracin. a) Sea 1 y una descomposicin de Hahn, en donde 1 es
positivo y es negativo respecto a `. Entonces:
[`[ (1 ) = `
+
(1 ) `
(1 ) = `(1 1) `(1 )
= `(1 1) `(1 ) = `
+
(1) `
(1) = [`[ (1).

72 Medidas Signadas
b) Sigue inmediatamente de (a).
c) Existen conjuntos disjuntos
1
y 1
1
tal que `
1
est concentrada en
1
y j
en 1
1
. Tambin hay conjuntos disjuntos
2
y 1
2
tal que `
2
est concentrada en
2
y
j en 1
2
. Entonces `
1
`
2
est concentrada en =
1
'
2
y j est concentrada en
1 = 1
1
1
2
. Es claro que 1 = c.
d) Obvio.
e) Sea 1 y una descomposicin como en (a) y suponga que j(1) = 0. Como
` j se tiene que `(1 1) = `(1 ) = 0. Por lo tanto:
[`[ (1) = `
+
(1) `
(1) = `(1 1) `(1 ) = 0.

f) Como `
2
l j, existe un conjunto tal que j() = 0 sobre el cual `
2
est
concentrado. Como `
1
j, se tiene entonces que `
1
(1) = 0 para todo 1 . Esto
signica que `
1
est concentrado en 1 =
c
. Luego `
1
l `
2
.
g) Por f) y la hiptesis de g) se tiene que ` l `. Esto implica que ` = 0. Esto
7.4. El Teorema de Radon-Nikodym
Lema 149 Sean i y j dos medidas positivas reales, tales que i j. Suponga que i no
es idnticamente nula. Entonces existe un conjunto medible 1 y un c 0 tal que:
j(1) 0 y 1 es positivo para la medida signada i cj.
Demostracin. Sea (1
n
,
n
) una descomposicin de Hahn para la medida sig-
nada i
1
n
j. Evidentemente el lema quedar demostrado si probamos que existe : tal que
j(1
n
) 0. Supongamos por el contrario que para todo natural : se tiene que j(1
n
) = 0.
Entonces j(
1
n
) = 0 y como i j se concluye que
i
_
_
1
n
_
= 0. (7.3)
Por otro lado:
i
_
n
_
_ i (
n
) _
1
:
j(
n
) _
1
:
j(\).
Por lo tanto:
i
_
n
_
= 0. (7.4)
Como (
1
n
)
c
=

n
, se deduce de 7.3 y 7.4 que i = 0. Esto contradice la hiptesis y
completa la demostracin.
El siguiente teorema se conoce como el teorema de Radon-Nikodym.
Teorema 150 Sean j y ` dos medidas positivas y acotadas en una o-lgebra / de sub-
conjuntos de \ tales que ` j. Entonces existe una nica funcin ) 1
1
(j) tal que:
`(1) =
_
J
) dj (1 /). (7.5)
Esta funcin ) se conoce como la derivada de Radon-Nikodym de ` respecto a j y se
expresa como
d` = ) dj.
El Teorema de Radon-Nikodym 73
Demostracin. La unicidad de ) se deduce del Problema 11, pgina 55.
Sea ahora H =
_
q : q _ 0 medible y
_
.
q dj _ `(), \ /
_
. Como q = 0
H, H , = c. Demostraremos ahora que si (q
I
) es una sucesin de funciones en H, entonces:
)
n
= max q
1
, q
2
, . . . , q
n
H.
Denamos
1
= r : q
1
(r) = )
n
(r) y para 2 _ , _ :,
= r : q
(r) = )
n
(r) . q
max q
1
, . . . , q
1
,
entonces
1
,
2
, . . . ,
n
es una coleccin disjunta tal que
n
=1
= \. Por lo tanto, de
acuerdo al Corolario 113, si / se tiene:
_
.
)
n
dj =
n
=1
_
.|.j
)
n
dj =
n
=1
_
.|.j
q
dj _
n
=1
`(
) = `() .
Por lo tanto )
n
H. Usando ahora el teorema de la convergencia montona de Lebesgue
se deduce que:
supq
I
H.
Sea ahora:
, = sup
__
q dj : q H
_
,
y sea ()
n
) una sucesin en H tal que
_
)
n
dj ,. Sea ) = sup)
n
. Evidentemente ) H
y,
_
) dj = ,.
Como , _ `(\) < , se deduce que ) 1
1
(j). Demostraremos que ) es la derivada
de Radon-Nikodym de ` respecto a j. Para este efecto basta demostrar que la medida
positiva i denida por:
i(1) = `(1)
_
J
) dj,
es idnticamente cero. Si esto fuese falso, una aplicacin directa del Lema 149, nos asegura
la existencia de un conjunto 1 / y un c 0 tal que j(1) 0 y 1 es positivo para la
medida signada:
,(1) = i(1) cj(1) = `(1)
_
J
) dj cj(1).
De esta ltima armacin se desprende que para todo 1 /,
`(1 1) _
_
J|1
) dj cj(1 1). (7.6)
Como ) H, tambin se tiene que:
`(1 1) _
_
J1
) dj. (7.7)
Sumando las desigualdades 7.6 y 7.7, se obtiene:
`(1) = `(1 1) `(1 1) _
_
J|1
) dj cj(1 1)
_
J1
) dj
=
_
J
) dj cj(1 1) =
_
J
) dj c
_
J

1
dj
=
_
J
() c
1
) dj.
74 Medidas Signadas
Por lo tanto ) c
1
H. Pero:
_
() c
1
) dj =
_
) dj c
_
1
dj = , cj(1) ,,
lo que es una contradiccin. Esto termina la demostracin.
Corolario 151 Sean j y ` dos medidas positivas y o-nita en una o-lgebra / de sub-
conjuntos de \ tales que ` j. Entonces existe una nica funcin medible ) tal que:
`(1) =
_
J
) dj (1 /).
Demostracin. Como j y ` son o-nita, existe una sucesin de conjuntos me-
dibles y disjuntos (
n
) tal que:
o
n=1
n
= \, `(
n
) < , j(
n
) < (: = 1, 2, . . .).
Usando el teorema anterior, se obtienen funciones )
n
tales que:
`(1
n
) =
_
J|.n
)
n
dj.
Ahora es fcil ver que la funcin ) =
.n
)
n
satisface las condiciones del corolario.
Corolario 152 Sea j y ` dos medidas o-nita en una o-lgebra / de subconjuntos de
\ tales que ` j. Entonces si j es positiva y ` es signada, existe una nica funcin
medible ) tal que:
`(1) =
_
J
) dj (1 /).
Demostracin. De acuerdo al Corolario anterior, existen funciones medibles )
1
y )
2
tales que:
`
+
(1) =
_
J
)
1
dj, `
(1) =
_
J
)
2
dj (1 /).
Entonces:
`(1) = `
+
(1) `
(1) =
_
J
()
1
)
2
) dj.
La unicidad de ) = )
1
)
2
se deduce del Problema 11, pgina 55.
7.5. El Teorema de la Descomposicin de Lebesgue
El siguiente teorema se conoce como el teorema de la descomposicin de Lebesgue:.
Teorema 153 Sea j y ` dos medidas signadas y o-nitas en una o-lgebra / de sub-
conjuntos de \. Entonces existe un nico par de medidas signadas y o-nitas `
o
y `
s
en
/ tal que:
` = `
o
`
s
, `
o
j, `
s
l j. (7.8)
El par (`
o
, `
s
) se conoce como la descomposicin de Lebesgue de ` respecto a j.
El Teorema de la Descomposicin de Lebesgue 75
Demostracin. Descomponiendo las medidas en sus correspondientes variaciones,
podemos suponer que j y ` son positivas. De acuerdo al Corolario 151, se tiene que existe
funcin medible ) _ 0 tal que:
dj = ) d(` j). (7.9)
Sea:
= r : )(r) 0 , 1 = r : )(r) = 0 .
Entonces y 1 son disjuntos y 1 = \ y,
j(1) =
_
1
) d(` j) = 0.
Si j(C) = 0 y C entonces j(C) = 0 y por lo tanto 7.9 implica que:
_
c
) d(` j) = j(C) = 0.
Como C = r : )(r) 0 este resultado implica que (` j)(C) = 0. Ahora como
j(C) = 0 se concluye nalmente que `(C) = 0. Denamos ahora:
`
o
(1) = `(1 ), `
s
(1) = `(1 1).
Es fcil vericar que esta es la descomposicin buscada. Para demostrar la unicidad supon-
ga que existe otra descomposicin `
t
o
y `
t
s
satisfaciendo 7.8. Entonces:
`
t
o
`
o
= `
s
`
t
s
, `
t
o
`
o
j, `
s
`
t
s
l j,
entonces la Proposicin 148 implica que `
t
o
`
o
= `
s
`
t
s
= 0. Esto completa la
demostracin.
Nota 154 Entre las muchas aplicaciones que tiene el teorema de Radon-Nikodym se en-
cuentra 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 inte-
gral apropiada, operadores lineales continuos denidos en espacios vectoriales tan diversos
como
*
C
0
(A) o 1
con 1 _ j < . Estos teoremas llevan el nombre genrico de teoremas

de representacin de Riesz.
*
Espacio de funciones complejas continuas que se anulan al innito.
76 Medidas Signadas
Problemas
1. Sea j una medida signada y sean 1 y 1 dos conjuntos medibles tales que 1 1.
Demuestre que si [j(1)[ < , entonces [j(1)[ < .
2. Sea j una medida signada real. Demuestre que j es acotada.
3. Si
1
y
2
son dos conjuntos negativos respecto a la medida signada j, entonces
1

2
implica que j(
2
) _ j(
1
).
4. Demuestre que la coleccin A de todos los conjuntos negativos respecto a una medi-
da signada j es un o-anillo. En otras palabras, demuestre que A contiene al conjunto
c 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 \ = 1
1

1
= 1
2

2
son dos descomposiciones de Hahn de una
medida signada j. Demuestre que para todo subconjunto medible 1 se tiene j(1
1
1
) = j(1 1
2
) y j(1
1
) = j(1
2
).
8. Sea ) : (\, /, j) [, [ una funcin integrable. Dena `() =
_
.
) dj.Entonces:
`
+
() =
_
.
)
+
dj; `
() =
_
.
)
dj; [`[ () =
_
.
[) [ dj.
9. Demuestre que:
j
+
() = supj(C) : C /, C ; j
() = inf j(C) : C /, C .
10. Sean i, i
1
y i
2
medidas signadas o-nitas y j y ` medidas positivas o-nitas:
(a) Si i
1
j y i
2
j entonces i
1
i
2
j y se cumple
d(i
1
i
2
)
dj
=
di
1
dj

di
2
dj
c.t.p. [j[ .
(b) Si i j `, entonces se cumple
di
d`
=
di
dj
dj
d`
c.t.p. [j[ .
11. Sea \ un espacio innito no contable y / la coleccin de todos los conjuntos \
tal que o
c
son contables. Dena ` como en el Problema 3, pgina 35, esto es
`() = 0 si es contable y `() = 1 si no es contable y dena j como la medida
del conteo. Demuestre que ` j, pero el teorema de Radon-Nikodym no es vlido.
12. Sea \ = [0, 1[ y / la o-lgebra de Borel en [0, 1[. Dena ` como la medida de
Lebesgue y j como la medida del conteo. Demuestre que ` j, pero el teorema de
Radon-Nikodym no es vlido.
Captulo 8
INTEGRACIN EN ESPACIOS PRODUCTO
8.1. Medidas Producto
Denicin 155 Sean (\, /) y (I, E) dos espacios medibles. Denotaremos por /E la
o-lgebra generada en \I por todos los rectngulos medibles 11 con 1 / y 1 E.
Como siempre denotaremos por (\ I, /E) el espacio medible resultante.
Proposicin 156 Sean (\, /) y (I, E) dos espacios medibles. Sea 1 /E, entonces
para cada r \ y para cada j I,
1
r
= j I : (r, j) 1 E.
1
= r \ : (r, j) 1 /.
En otras palabras, 1
r
y 1
son conjuntos medibles.

Estos conjuntos se conocen respectivamente como la r-seccin y la j-seccin de
1.
Demostracin. Denamos H = 1 /E : 1
r
E. Como cualquier rectn-
gulo medible pertenece a H, bastar demostrar que H es una o-lgebra para concluir que
H = /E y terminar la demostracin. El que H sea una o-lgebra se deduce de las
siguientes identidades:
_
_
1
n
_
r
=
_
(1
n
)
r
(1
c
)
r
= (1
r
)
c
.
Proposicin 157 Sea ) : (\ I, /E) [, [ una funcin medible. Entonces:
(a) Para cada r \ la funcin )
r
: (I, E) [, [ denida por:
)
r
(j) = )(r, j) (j I),
es medible (respecto a la o-lgebra E).
(b) Para cada j I la funcin )
: (\, /) [, [ denida por:

)
(r) = )(r, j) (r \),

es medible (respecto a la o-lgebra /).
Demostracin. (a) Basta demostrar la proposicin para funciones del tipo ) =
.
, es decir, funciones indicatrices, ya que entonces sera cierto para funciones simples.
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.
78 Integracin en Espacios Producto
Supongamos entonces que ) =
.
con /E. Sea r \, entonces hay que
demostrar que para todo c R, el conjunto:
j I : (
.
)
r
(j) c = j I :
.
(r, j) c E.
Pero:
j I :
.
(r, j) c =
_
_
_
c Si c _ 1
j I : (r, j) Si 0 _ c < 1
\ Si c < 0
Por lo tanto todo se reduce a demostrar que la seccin
r
= j I : (r, j) pertenece
a E y esto ltimo es cierto por Proposicin 156. Esto termina la demostracin.
Teorema 158 Sean (\, /, j) y (I, E, `) dos espacios de medida. Entonces existe, sobre
la o-lgebra /E una medida, denotada por j ` tal que:
(j `) (1) = j()`(1) /, 1 E. (8.1)
Si j y ` son o-nitas, entonces la medida j` es nica y se denomina medida producto.
Demostracin. Sea H la coleccin de todas las sumas (disjuntas) nitas de
rectngulos 1 con /, 1 E. Es fcil vericar H es una lgebra. Denamos
i = j ` por 8.1 y extendamos i de manera lineal al lgebra H. Usando el teorema
de la convergencia montona es posible demostrar que i es una medida sobre H (ver
Problema 1). Usando ahora el teorema de extensin de Carathedory podemos extender
i a la o-lgebra /E. Como i es o-nita sobre H, esta extensin es nica. Esto termina
la demostracin.
Proposicin 159 Sean (\, /, j) y (I, E, `) dos espacios de medida o-nitas. Suponga
que Q /E. Considere las funciones:
, : \ [0, [ , denida por ,(r) = `(Q
r
).
c : I [0, [ , denida por c(j) = j(Q
).
Entonces , es /-medible y c es E-medible y se cumple:
_
,dj = (j `) (Q) =
_
c d`. (8.2)
Demostracin. Demostraremos slo la primera igualdad. Sean (
) y (1
) dos
sucesiones de conjuntos (ambas disjuntas) en / y E respectivamente tales que \ =
y I =
con j(
) < y `(1
) < , para todo ,. Por el teorema de la convergencia

montona es suciente demostrar que para todo , y / jos, se tiene que:
,
|
: \ [0, [ , denida por ,
|
(r) = `(Q
r
1
|
)
es /-medible y,
(j `) (Q (
1
|
)) =
_
.j
`(Q
r
1
|
) dj.
Sea H la coleccin de todos los conjuntos en /E 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 = /E en el caso que H sea o-aditiva. Aqu demostraremos solamente
que H es cerrada bajo diferencias propias.
El Teorema de Fubini 79
Sean 1, 1 H tal que 1 1. Entonces como `(1
|
) < , se tiene:
`((1 1)
r
1
|
) = `((1
r
1
|
) (1
r
1
|
))
= `(1
r
1
|
) `(1
r
1
|
) .
Esto demuestra que la funcin r `((1 1)
r
1
|
) es /-medible.
Por otro lado, como las funciones:
.j
(r)`(1
r
1
|
) y
.j
(r)`(1
r
1
|
)
son j-integrables, se tiene:
_
.j
`((1 1)
r
1
|
) dj =
_
.j
`(1
r
1
|
) dj
_
.j
`(1
r
1
|
) dj
= (j `) (1 (
1
|
)) (j `) (1 (
1
|
))
= (j `) ((1 1) (
1
|
)) .
Esto demuestra que / es cerrada bajo diferencia propia y termina la demostracin.
8.2. El Teorema de Fubini
Teorema 160 Sean (\, /, j) y (I, E, `) dos espacios de medida o-nitas. Entonces:
(a) Si ) : (\ I, /E, j `) [0, [ es medible y , y c son las funciones:
,(r) =
_
)
r
d`, c(j) =
_
dj. (8.3)
Entonces , es /-medible y c es E-medible y se cumple:
_
,dj =
_
) d (j `) =
_
c d`. (8.4)
(b) Si ) : (\ I, /E, j `) [, [ es integrable, entonces )
r
1
1
(`)
para casi todo r \, )
1
1
(j) para casi todo j I, las funciones denidas por 8.3
pertenecen a 1
1
(j) y a 1
1
(`) respectivamente y se cumple 8.4.
(c) Si ) : (\ I, /E, j `) [, [ es medible y si
,
+
(r) =
_
[)[
r
d` y
_
,
+
dj < ,
entonces ) 1
1
(j `).
Demostracin. Por Proposicin 157, las deniciones de , y c tienen sentido.
Si Q /E y ) =
j
entonces 8.4 corresponde simplemente a 8.2 por lo tanto (a)
se cumple para toda funcin simple no negativa y /E-medible. Para el caso general
considere una sucesin creciente (:
n
) de tales funciones simples tales que :
n
(r, j) )(r, j)
para todo (r, j) \I. Si ,
n
se asocia con :
n
de la misma forma en que , fue asociado
con ), se tiene que para todo : _ 1, se cumple:
_
,
n
dj =
_
:
n
d(j `). (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 intercam-
biando el rol de r e j.
(b) Considere las funciones )
+
y )
. Apliquemos parte (a) a )

+
y a )
. Sea ,
1
y ,
2
las funciones asociadas a )
+
y a )
del mismo modo en que , se asoci a ). Como

) 1
1
(j `) y )
+
_ [)[ y como (a) se cumple para )
+
, se deduce que ,
1
1
1
(j).
Anlogamente ,
2
1
1
(`). Ahora como:
)
r
=
_
)
+
_
r
_
)
_
r
se deduce que )
r
1
1
(`) para todo r tal que ,
1
(r) < y ,
2
(r) < . Como ,
1
y ,
2
estn
en 1
1
(j), esto ocurre para casi todos los r y en tales r se tiene que ,(r) = ,
1
(r) ,
2
(r).
Por lo tanto , 1
1
(j). Ahora 8.4 se cumple con ,
1
y )
+
y con ,
2
y )
en lugar de , y
). Si restamos las ecuaciones resultantes se obtiene una parte del resultado. La segunda
parte se obtiene de la misma manera con )
y c en lugar de )
r
y ,.
(c) Basta aplicar parte (a) a la funcin [)[.
Nota 161 La identidad 8.4 usualmente se escribe como:
_
dj(r)
_
) d`(j) =
__
) d (j `) =
_
d`(j)
_
) dj(r). (8.6)
La integral del medio se denomina integral doble y la de los extremos integrales iteradas.
Corolario 162 Sea 1 \I. Suponga que 1 es /E-medible. Entonces (j `) (1) =
0 si y slo si `(1
r
) = 0 para casi todos los r \.
Demostracin. Aplicando la primera igualdad de 8.6 a la funcin caracterstica
de 1 se tiene:
_
dj(r)
_
J
(r, j) d`(j) =
__
J
d (j `) = (j `) (1).
Por lo tanto (j `) (1) = 0 si y slo si
_
J
(r, j) d`(j) = 0 c.t.p.[j[. Pero:
_
J
(r, j) d`(j) = `(1
r
).
Ejemplo 163 Sean \ = I = [0, 1[ , j = ` =medida de Lebesgue en [0, 1[. Sea 0 < c
1
<
c
2
, tal que c
n
1. Para cada : _ 1 elija una funcin real y continua q
n
tal que
q
n
(r) = 0, \r , (c
n
, c
n+1
) y que cumpla con la igualdad
_
1
0
q
n
(t) dt = 1. Dena:
)(r, j) =
o
n=1
(q
n
(r) q
n+1
(r)) q
n
(j).
Note que para cada punto (r, j) a lo ms un trmino en esta suma es diferente de 0, luego
) es real en todo \ I. Ahora observe que:
_
1
0
dr
_
1
0
)(r, j) dj = 1 ,= 0 =
_
1
0
dj
_
1
0
)(r, j) dr,
por lo tanto no se cumple la conclusin del teorema de Fubini an cuando ambas integrales
iteradas existen. Note que ) es continua excepto en (1, 1) pero,
_
1
0
dr
_
1
0
[)(r, j)[ dj = .
El caso Real 81
Ejemplo 164 Sean \ = I = [0, 1[ , j =medida de Lebesgue en [0, 1[ y ` =medida de
conteo en [0, 1[. Dena:
)(r, j) =
_
1 r = j
0 r ,= j.
Entonces para todo r, j [0, 1[ se cumple que:
_
)(r, j) dj(r) = 0,
_
)(r, j) d`(j) = 1.
Por lo tanto:
_
d`(j)
_
)(r, j) dj(r) = 0 ,= 1 =
_
dj(r)
_
)(r, j) d`(j).
En este caso la hiptesis que falta para aplicar el teorema de Fubini es la o-nitud de la
medida `.
8.3. El caso Real
En esta seccin discutiremos la relacin que existe entre el espacio de medida,
_
R R, E(R R), :
2
_
y el espacio:
_
R R, E(R) E(R), :
1
:
1
_
que hemos estado discutiendo en la seccin anterior.
En el primer caso, el espacio
_
R R, E(R R), :
2
_
se obtiene de una aplicacin
directa del torema de Carathedory en R R y la o-lgebra de Lebesgue E(R R) es
completa respecto a la medida de Lebesgue :
2
. En el segundo caso, el espacio
_
R R, E(R) E(R), :
1
:
1
_
no es ni siquiera completo (ver Problema 3). Afortunadamente, este problema tiene una
solucin elegante:
Teorema 165 Denotemos por :
|
la medida de Lebesgue en R
|
y supongamos que / =
r :, r _ 1, : _ 1, entonces :
|
es la completacin de la medida producto :
:
:
s
.
Demostracin. Ver Rudin, Real and Complex Analysis.
Este resultado hace necesario el siguiente teorema:
Teorema 166 Sean (\, /, j) y (I, E, `) dos espacios de medida o-nitas completas. Sea
(/E)
+
la completacin de /E relativa a la medida producto j `. Si ) es una
funcin (/E)
+
-medible en \I, entonces todas las conclusiones del Teorema 160 son
vlidas, slo que las funciones , y c dadas por 8.3 estn denidas slo casi en todas
partes.
Demostracin. Ver Rudin, Real and Complex Analysis.
Problemas
1. Demuestre que la funcin i denida en la demostracin del Teorema 158, es una
medida sobre H.
2. Demuestre que la funcin ) denida en el Ejemplo 164 es /E-medible, en donde
/ es la o-lgebra de los conjuntos Lebesgue medibles en [0, 1[ y E es la o-lgebra
de todos los subconjuntos de [0, 1[.
3. Demuestre que el espacio de medida
_
R R, E(R) E(R), :
1
:
1
_
no es comple-
to.
4. Usando la relacin
1
r
=
_
o
0
c
r|
dt (r 0), demuestre que lim
oo
_
o
0
sinr
r
dr =
2
.
5. Demuestre que si )(r, j) =
r
2
j
2
(r
2
j
2
)
2
, entonces
_
1
0
_
1
0
) drdj ,=
_
1
0
_
1
0
) djdr.
6. Consideremos los espacios (R, E(R) , :) y (N, T (N) , =). Consideremos el rectngulo
medible:
Q = (r, /) R N : a _ r _ /, : _ / _ : .
Dena:
)(r, /) =
_
/ Si r [0, 1[ y / = 1, 2, . . . , r
0 Si r , [0, 1[ / r.
a) Calcule (:=) (Q) b) Demuestre que
_ _
RN
) d (:=) =
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 1 : [a, /[ R es continuamente diferenciable si y slo si,
1(r) = 1(a)
_
r
o
q(t) dt, (9.1)
para alguna funcin continua q : [a, /[ R. Si este es el caso, entonces se cumple que
1
t
(r) = q(r) en [a, /[.
En otras palabras el Teorema Fundamental del Clculo establecer una correspon-
dencia 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 1 : [a, /[ R es absolutamente continua si y slo si se
cumple 9.1 para alguna funcin q 1
1
([a, /[) y en tal caso, 1
t
(r) = q(r) c.t.p. en [a, /[.
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 ) : [a, /[ R una funcin y sea a = t
0
< t
1
< < t
|
= / una
particin del intervalo [a, /[. Dena:
j =
|
=1
()(t
) )(t
1
))
+
(9.2)
: =
|
=1
()(t
) )(t
1
))
t =
|
=1
[)(t
) )(t
1
)[ ,
en donde ()(t
) )(t
1
))
+
y ()(t
) )(t
1
))
representan respectivamente la parte

positiva y la parte negativa de ()(t
) )(t
1
)). Denamos ahora:
1 = supj
= sup:
T = supt
84 El Teorema Fundamental del Clculo
en donde los respectivos supremos se toman sobre todas las posibles particiones del in-
tervalo [a, /[. Las cantidades 1, y T se denominan respectivamente variacin positiva,
variacin negativa y variacin total de ) en [a, /[. Si T < , diremos que ) es una fun-
cin de variacin acotada en [a, /[. Denotaremos por 1\ [a, /[ el conjunto de todas las
funciones de variacin acotada en [a, /[.
La demostracin del siguiente lema se basa en las identidades a = a
+
a
y
[a[ = a
+
a
vlidas para todo nmero real a.

Lema 169 Si ) 1\ [a, /[ entonces:
1 = )(/) )(a)
1 = T.
Demostracin. Dada una particin cualquiera en [a, /[ dena j, : y t como en
9.2. Entonces:
j : =
|
=1
_
()(t
) )(t
1
))
+
()(t
) )(t
1
))
_
=
|
=1
()(t
) )(t
1
)) = )(/) )(a).
Por lo tanto:
j = : )(/) )(a) _ )(/) )(a).
Tomando supremos para j, se obtiene:
1 _ )(/) )(a). (9.3)
Ahora como < T < , podemos restar en 9.3 para obtener:
1 _ )(/) )(a).
De manera similar se deduce que:
1 _ )(a) )(/),
de donde se concluye que:
1 = )(/) )(a).
Por lo tanto:
T _ t = j : = j j ()(/) )(a)) = 2j 1.
Tomando supremos para j se obtiene:
T _ 21 1 = 1 .
Como la desigualdad T _ 1 es obvia, se deduce nalmente que T = 1 .
Proposicin 170 Una funcin ) : [a, /[ R es de variacin acotada si y slo si ) =
)
1
)
2
en donde )
1
y )
2
son funciones montonas crecientes en [a, /[.
Diferenciabilidad 85
Demostracin. Condicin necesaria. Sea ) funcin de variacin acotada en el
intervalo [a, /[. Si r [a, /[, dena q(r) y /(r) como la variacin positiva y la variacin
negativa respectivamente de ) en [a, r[. Es claro que q y / denidas de esta manera son
funciones montonamente crecientes en [a, /[. Por otro lado, de acuerdo al Lema 169, se
tiene que:
)(r) = q(r) /(r) )(a) = q(r) (/(r) )(a)) .
Note que )
2
(r) = /(r))(a) es tambin montonamente creciente, luego haciendo )
1
(r) =
q(r) se tiene la condicin necesaria.
Recprocamente, suponga que ) = )
1
)
2
, con )
1
y )
2
funciones montonas
crecientes en [a, /[, entonces para toda particin (t
)
|
=0
del intervalo [a, /[ se tiene:
|
=1
[)(t
) )(t
1
)[ _
|
=1
[)
1
(t
) )
1
(t
1
)[
|
=1
[)
2
(t
) )
2
(t
1
)[
=
|
=1
()
1
(t
) )
1
(t
1
))
|
=1
()
2
(t
) )
2
(t
1
))
= )
1
(/) )
1
(a) )
2
(/) )
2
(a),
por lo tanto si T es la variacin total de ) en [a, /[, se tiene que:
T _ )
1
(/) )
1
(a) )
2
(/) )
2
(a) < ,
esto es, ) es de variacin acotada en [a, /[.
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 diferen-
ciabilidad c.t.p. de las funciones de variacin acotada.
Denicin 171 Sea una coleccin de intervalos de longitud no nula en R. Diremos
que la coleccin cubre al conjunto 1 en el sentido de Vitali, si para todo c 0 y para
todo r 1, existe un intervalo 1 tal que r 1 y :(1) < c.
Lema 172 Sea 1 R de medida exterior nita y sea una coleccin de intervalos
que cubren 1 en el sentido de Vitali, entonces dado c 0, existe una coleccin nita y
disjunta de intervalos 1
1
, 1
2
, . . . , 1
en tal que:
:
+
_
1

_
|=1
1
|
_
< c. (9.4)
Demostracin. Es claro que es suciente demostrar el lema en el caso que
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:
:
+
_
1
n
_
|=1
1
|
_
_ :
+
_
1
n
_
|=1
1
|
_
:
+
(),
en donde es el conjunto de los puntos extremos de los intervalos 1
1
, 1
2
, . . . , 1
n
, conjunto
que tiene obviamente medida (exterior) nula.
De acuerdo al Problema 11, pgina 44 existe un conjunto abierto G de medida
nita conteniendo a 1. Como es un cubrimiento de Vitali del conjunto 1, podemos
suponer que cada intervalo de est contenido en G.
Elijamos una sucesin (1
|
)
o
|=1
de intervalos disjuntos en del modo siguiente:
Sea 1
1
cualquier intervalo en y supongamos que los intervalos 1
1
, 1
2
, . . . , 1
n
ya han
sido elegidos. Denamos /
n
como el supremo de las longitudes de los intervalos que son
disjuntos de los ya elegidos. Si /
n
= 0, entonces 1
n
|=1
1
|
(de lo contrario se contradice la
condicin de Vitali puesto que
n
|=1
1
|
es cerrado) y el lema quedara demostrado. Si /
n
0,
entonces existe un intervalo 1
n+1
disjunto de los ya elegidos y tal que :(1
n+1
) /
n
,2.
De esta forma se puede elegir una sucesin (1
|
)
o
|=1
de intervalos disjuntos en .
Ahora, como la coleccin es disjunta y
o
|=1
1
|
G, se deduce que
o
|=1
:(1
|
) _ :(G) < .
Por lo tanto, existe un natural tal que
o
|=+1
:(1
|
) < c,. Finalmente demostraremos
ahora que 1
1
, 1
2
, . . . , 1
satisface 9.4. Sea 1 = 1

|=1
1
|
y sea r un punto arbitrario de
1. Como

|=1
1
|
es un conjunto cerrado que no contiene a r, la condicin de Vitali asegura
la existencia de un intervalo 1 en que contiene a r y es disjunto de los intervalos
1
1
, 1
2
, . . . , 1
. Ahora si 1 1
|
= c para todo / _ :, entonces :(1) _ /
n
< 2:(1
n+1
).
Como lim
no
:(1
n
) = 0, el intervalo 1 debe intersectar al menos un intervalo 1
n
. Sea :
+
el
menor natural tal que 1 intersecta 1
n
, entonces es claro que :(1) _ /
n
1
< 2:(1
n
).
Como r 1 e 1 intersecta a 1
n
, se sigue que la distancia de r al punto medio de 1
n
es
a lo ms,
:(1)
1
2
:(1
n
) < 2:(1
n
)
1
2
:(1
n
) =

2
:(1
n
).
Esto signica que r pertenece al intervalo J
n
concntrico a 1
n
pero de longitud cinco
veces mayor. Como :
+
, hemos demostrado que 1
o
|=+1
J
|
. Por lo tanto:
:
+
(1) _
o
|=+1
:(J
|
) =
o
|=+1
:(1
|
) < c.
Denicin 173 Sea ) : [a, /[ R. Las siguientes expresiones se denominan derivadas
de ) en a:
1
+
)(a) = limsup
|0
+
)(a /) )(a)
/
1
+
)(a) = liminf
|0
+
)(a /) )(a)
/
1
)(a) = limsup
|0
)(a /) )(a)
/
1
)(a) = liminf
|0
)(a /) )(a)
/
1
+
)(a) se denomina derivada superior lateral derecha y 1
)(a) derivada supe-

rior lateral izquierda de ) en el punto a. Anlogamente 1
+
)(a) se denomina derivada
inferior lateral derecha y 1
)(a) derivada inferior lateral izquierda.

Nota 174 De acuerdo al Problema 31, pgina 19, ) es diferenciable por la derecha en el
punto a si y slo si 1
+
)(a) = 1
+
)(a) ,= . Anlogamente ) es diferenciable por la
Continuidad Absoluta 87
izquierda en a si y slo si 1
)(a) = 1
)(a) ,= , en consecuencia ) es diferenciable

en el punto a si y slo si,
1
+
)(a) = 1
+
)(a) = 1
)(a) = 1
)(a) ,= .
y en este caso el valor de la derivada )
t
(a) es el valor comn de estas cuatro cantidades.
En el caso que a sea uno de los extremos del intervalo [a, /[ se consideran slo las derivadas
laterales correspondientes.
Proposicin 175 Sea ) : [a, /[ R una funcin montonamente creciente. Entonces )
es diferenciable casi en todas partes. La derivada )
t
es medible y,
_
b
o
)
t
d: _ )(/) )(a).
Demostracin. De acuerdo al Problema 4 basta demostrar que el lmite:
q(r) = lim
|0
)(r /) )(r)
/
es un real extendido c.t.p. en [a, /[ 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:
1 =
_
r [a, /[ : 1
+
)(r) 1
)(r)
_
.
Note que:
1 =
_
,jQ
_
r [a, /[ : 1
+
)(r) j 1
)(r)
_
.
Por lo tanto basta demostrar que cada conjunto,
1
,j
=
_
r [a, /[ : 1
+
)(r) j 1
)(r)
_
,
tiene medida nula.
Sea : = :
+
(1
,j
). De acuerdo al Problema 11, pgina 44 dado c 0, existe un
abierto G conteniendo 1
,j
tal que :(G) < : c.
Si r 1
,j
, entonces 1
)(r), luego para todo / < 0 sucientemente pequeo,

se tiene que [r /, r[ G y cumple con:
)(r /) )(r)
/
<
Corolario 176 Si ) es de variacin acotada en [a, /[, entonces )
t
existe casi en todas
partes en [a, /[ .
9.3. Continuidad Absoluta
Denicin 177 Una funcin ) : [a, /[ R se dice que es absolutamente continua si para
todo c 0, existe c 0 tal que
n
I=1
[)(r
t
I
) )(r
I
)[ < c
para toda particin
a = r
1
< r
t
1
< r
2
< r
t
2
< < r
n
< r
t
n
= /,
que cumpla con la condicin
n
I=1
[r
t
I
r
I
[ < c.
Nota 178 Una funcin absolutamente continua claramente es continua, de variacin aco-
tada 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 ) es integrable
en [a, /[ entonces la integral indenida
1(r) =
_
r
o
)(t)dt
es absolutamente continua.
Lema 179 Si ) : [a, /[ R es integrable y
_
r
o
)(t)dt = 0 para todo r [a, /[, entonces
)(t) = 0 casi en todas partes en [a, /[.
Demostracin. Supongamos que )(r) 0 en un conjunto de medida positiva
1. Entonces por Problema 13 existe un conjunto cerrado 1 1 tal que :(1) 0. Sea
G = (a, /) 1, entonces como
0 =
_
b
o
) =
_
J
)
_
c
)
se tiene que
_
J
) =
_
c
). Pero por otro lado
_
J
) 0, por lo que
_
c
) ,= 0. Ahora, como
G es abierto, entonces G =
o
n=1
(a
n
, /
n
) y por lo tanto, se debe cumplir que
_
bn
on
) ,= 0
para algn :. Ahora como
_
bn
on
) =
_
bn
o
)
_
on
o
)
se debe cumplir que al menos una de las integrales
_
bn
o
),
_
on
o
) debe ser no nula. Esto
contradice la condicin de Lema.
Lema 180 Si ) : [a, /[ R es absolutamente continua y )
t
(r) = 0 c.t.p. en [a, /[,
entonces ) es constante.
9.4. El Teorema Fundamental
Lema 181 Si ) : [a, /[ R es acotada y medible entonces la funcin 1(r) =
_
r
o
)(t)dt
es diferenciable casi en todas partes en [a, /[ y adems se cumple que 1
t
(r) = )(r) c.t.p.
en [a, /[.
Demostracin. Como evidentemente ) es integrable en [a, /[ se cumple que 1
es de variacin acotada y por lo tanto 1
t
existe casi en todas partes en [a, /[. Como ) es
acotada existe 1 0 tal que [)[ _ 1. Para / = 1,: denamos
)
n
(r) =
1(r /) 1(r)
/
=
1
/
_
r+|
r
)(t)dt.
El Teorema Fundamental 89
De la segunda igualdad se deduce que [)
n
[ _ 1. Como evidntemente se cumple
que )
n
(r) 1
t
(r) casi en todas partes en [a, /[ podemos aplicar el teorema de la conver-
gencia dominada:
_
c
o
1
t
= lim
no
_
c
o
)
n
= lim
no
1
/
_
c
o
(1(r /) 1(r))dr
= lim
no
_
1
/
_
c+|
c
1(r)dr
1
/
_
o+|
o
1(r)dr
_
Ahora, como 1 es continua (recuerde que ) es integrable) del teorema fundamental del
clculo clsico se deduce que
_
c
o
1
t
= 1(c) 1(a) y por ende
_
c
o
1
t
=
_
c
o
). Como esta
igualdad es vlida para todo c [a, /[ podemos aplica el Lema 179 y deducir que 1
t
= )
c.t.p. en [a, /[.
Problemas
1. Sea ()
n
)
o
n=1
una sucesin de funciones de variacin acotada en [a, /[. Si T()
|
) _
' < para todo /, en donde T()
|
) es la variacin total de )
|
en el intervalo [a, /[
y si )
|
(r) )(r) para todo r [a, /[, demuestre que T()) _ '.
2. De un ejemplo de una sucesin convergente de funciones de variacin acotada en
[a, /[ cuyo lmite no sea de variacin acotada.
3. Suponga que ) es de variacin acotada y continua en [a, /[. Si llamamos respecti-
vamente 1(r), (r) y T(r) a la variacin positiva, negativa y total de ) en [a, r[,
demuestre que estas funciones son continuas en [a, /[.
4. Sea ) : [a, /[ R una funcin creciente. Suponga que el lmite,
q(r) = lim
|0
)(r /) )(r)
/
,
es un real extendido c.t.p. en [a, /[ Demuestre que ) es diferenciable c.t.p. en [a, /[,
)
t
es medible y
_
b
o
)
t
d: _ )(/) )(a).
5. fsdfsdf
Captulo 10
RESPUESTAS
10.1. Captulo 1, pgina 16
1.-Es inmediato de las deniciones.
2.-r liminf
no

n
implica que existe :
0
N tal que r
I
para todo i _ :
0
.
Luego r
o
I=n
I
para todo : N. Esto demuestra que r limsup
no

n
.
3.-Suponga que
n
o
n=1
es creciente. Demuestre que limsup
n
=
o
n=1
n
=
liminf
n
.
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 1 = limsup
no
a
n
y dena /
n
= sup
|n
a
|
. Es claro que /
1
_ /
2
_ y 1 = lim
no
/
n
.
Por lo tanto, si c 0, entonces existe :
0
tal que 1 c < /
n
< 1 c para todo : _ :
0
.
Claramente de aqu se deduce (i). Por otro lado, 1 c no puede ser cota superior del
conjunto a
|
: / _ :, luego existe a
n
tal que a
n
1 c. Recprocamente si se cumple
la parte (i) se deduce que limsup
no
a
n
_ 1. Finalmente la parte (ii) contradice la posibilidad
que limsup
no
a
n
< 1.
8.-Sea
+
= liminf
no

n
. Demostraremos que
.
(r) = liminf
no

.n
(r).
.
(r) = 1 ==r
+
=r liminf
no

n
==(:
0
) (\:) (: _ :
0
==r
n
)
== (:
0
) (\:)
_
: _ :
0
==
.n
(r) = 1
_
==liminf
no

.n
(r) = 1.
Note que en la ltima equivalencia se us el hecho que
.n
(r) es igual a 1 cero para
todo : y el problema 7(e(i)).
9.-Sea G = 1(a, r). Sea / G. Demuestre que 1(/, :) G, en donde : =
r d(a, /).
10.-Ver Simmons, Introduction to topology and modern analysis, pgina 62.
11.-Consider la coleccin ( de todos los intervalos abiertos ( r, r) con Q
y r 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 (. Luego la
cardinalidad de la topologa de los reales es igual a la cardinalidad de T(N) que corresponde
a la cardinalidad del continuo.
12.-Como la coleccin de los nmeros primos es numerable, entonces la cardinali-
dad de la coleccin de todos los subconjuntos de N formados exclusivamente por nmeros
92 Respuestas
primos es la misma que la de T(N). Si nos restringimos a subconjuntos nitos entonces
podemos aplicar la Proposicin 6.
13.-Sea (A, d) separable y suponga que 1 A. Sea r
n
o
n=1
un subconjunto de
A denso. Para cada :, / N, elija (en el caso que exista) j
n,|
1(r
n
, 1,/) 1 . Es claro
que la sucesin j
n,|
es una sucesin contables de elementos de 1 . Demuestre ahora que
j
n,|
es densa en 1 .
14.-d es distancia pues ) es estrictamente creciente. Ahora si 0 < r < 2, entonces
la bola abierta 1(, r) = (a, [, en donde )(a) = 1 r. Si r = 2, entonces 1(, r) =
(, [. Finalmente si r 2, entonces 1(, r) = [, [ = R.
15.-Si Ges 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.
16.-Si 1 es cerrado, entonces 1 1, luego 1 = 1. Recprocamente si 1 = 1
entonces 1 es cerrado pues es igual a una interseccin (arbitraria) de cerrados.
17.-G = c = G
c
, esto implica que G
c
pues G
c
es cerrado. Luego
G = c. El recproco es inmediato pues .
18.-Como ' 1 ' 1 y ' 1 es cerrado, se sigue que ' 1 ' 1. La
otra inclusin es trivial.
19.-Sea G una vecindad de r que no intersecta a . Entonces G
c
. Como G
c
es cerrado G
c
. Esto implica que G = c y por lo tanto r , . Esto demuestra que
r A : Toda vecindad de r intersecta a . La otra inclusin es similar.
20.-Si (A, T ) es segundo contable, entonces A tiene una base 1
n
contable para
su topologa T . Elija un punto r
n
en cada 1
n
. Este conjunto r
n
es contable y es denso
en A.
21.-Suponga que (A, d) es separable. Sea r
n
contable y denso en A. Considere la
coleccin de todas las bolas abiertas 1(r
n
, r) centradas en puntos r
n
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 subcon-
junto denso contable.
23.-Si (r
n
) es de Cauchy entonces es acotada y por lo tanto, de acuerdo al axioma
del supremo 1 = limsup
no
r
n
es un nmero real. Usando Problema 7(d) encuentre subsuce-
sin (r
n
k
) convergente a 1. Demuestre ahora que (r
n
) converge a 1. La completitud. de
R R se deduce inmediatamente de la completitud de R.
24.-Basta demostrar que 1 es no vaco. Sea r
n
1
n
. Es fcil ver que r
n
es de
Cauchy. Como A es completo r
n
r
0
. Demuestre ahora que r
0
1
n
para todo :.
25.-(a) es inmediato. (b) Suponga que ) es continua y A. Sea a y
\ una vecindad de )(a). Entonces )
1
(\ ) es una vecindad de a y por lo tanto existe
j )
1
(\ ) , luego \ )() ,= c. Esto signica que )(a) )() y por lo tanto
)() )(). Recprocamente suponga que )() )() para todo A, entonces si
1 es cerrado en 1 , se tiene que:
)
_
)
1
(1)
_
) ()
1
(1)) 1 = 1,
y por lo tanto )
1
(1) )
1
(1), lo cual implica que )
1
(1) = )
1
(1) y en consecuencia
)
1
(1) es cerrado. Aplique ahora parte (a).
26.-Si r
0
= j, ,= 0, dena j = 1, sin(1,). Entonces j 0 y,
jj =
j
j sin
1
=
j
) (r
0
) .
Captulo 1, pgina 16 93
Ahora, si r es irracional, se tiene:
[)(r) )(r
0
)[ =
r
j
jj
_ jj
r
j
= jj [r r
0
[ ,
por tanto, )(r) no converge a )(r
0
) cuando r r
0
.
Sea ahora r
0
irracional. Es claro que )(r) )(r
0
) si r r
0
(con r irracional).
Por otro lado, si r es racional y j(r),(r) es su correspondiente representacin irreducible,
entonces:
[)(r) )(r
0
)[ =
j(r) sin
1
(r)
r
0
r(r) sin
1
(r)
r
0
.
Como (r) sin(1,(r)) 1 para todo r racional sucientemente cerca de r
0
, se sigue que
)(r) )(r
0
) cuando r r
0
(con r racional). Esto demuestra que ) es continua en los
irracionales. El caso r
0
= 0 es similar.
27.-Sea (r
n
) una sucesin de Cauchy en |
1
, en donde r
n
= (r
1
n
, r
2
n
, . . .). Si c 0,
entonces ( N) (\:, : N) (:, : _ ==|r
n
r
n
|
1
< c). Pero entonces para cada
/ = 1, 2, . . . , se tiene que
:, : _ ==
r
|
n
r
|
n
_
|
=1
n
r
_ |r
n
r
n
|
1
< c, (10.1)
esto es, la sucesin
_
r
|
n
_
o
n=1
es de Cauchy en R. Como R es completo, se sigue que existe
r
|
tal que r
|
n
r
|
cuando : . Falta demostrar que r = (r
1
, r
2
, . . .) pertenece a |
1
y que r
n
r. De acuerdo a 10.1, si mantenemos : _ jo, pero hacemos tender : a
, obtenemos:
: _ ==
|
=1
n
r
_ c,
como es independiente de / se deduce que : _ == |r
n
r|
1
_ c. Esto demuestra
que r |
1
(pues r = r r
n
r
n
y tanto r r
n
como r
n
estn en |
1
) y que r
n
r.
La demostracin para |
o
es similar.
28.-Sea (A, d) un espacio mtrico y 1 A compacto. Sea r
0
1
c
. Entonces,
para cada r 1, d(r, r
0
) 0. Si ponemos r
r
= d(r, r
0
), entonces 1(r, r
r
,2) es dis-
junta de la bola 1(r
0
, r
r
,2). Es claro adems que 1

r1
1(r, r
r
,2). Como 1 es
compacto, existen r
1
, r
2
, . . . , r
n
1 tal que 1
n
|=1
1(r
|
, r
r
k
,2). Sea ahora r =
minr
r1
, r
r2
, . . . , r
rn
. Es claro que 1(r
0
, r,2) 1
c
. Luego 1
c
es abierto y por lo tanto
1 es cerrado.
29.-Suponga que el espacio mtrico (A, d) es compacto y sea r
0
A. Note ahora
que,
A =
o
_
n=1
1(r
0
, :).
Como A es compacto, existe : N tal que A 1(r
0
, :), luego A es acotado.
30.-Es trivial. Use slo la denicin.
31.-(a) Suponga que limsup
r
)(r) _ . Sea c 0, entonces limsup
r
)(r) < c,
y en consecuencia existe c 0 tal que sup
0<]r]<o
)(r) < c, luego:
(\r R) (0 < [r j[ < c ==)(r) < c) .
94 Respuestas
. El recproco es inmediato.
32.-(a) Suponga que ) es semicontinua superiormente. Demostraremos que el
conjunto r : )(r) < ` es abierto. Sea r
0
r : )(r) < `. Entonces )(r
0
) < `. Como
) es semicontinua superiormente se tiene que ` )(r
0
) _ limsup
rr0
)(r). Esto implica que
existe c 0 tal que sup
0<]rr0]<o
)(r) < `, lo que a su vez implica que )(r) < ` para todo r
tal que 0 < [r r
0
[ < c. Por lo tanto (r
0
c, r
0
c) r : )(r) < `. Esto demuestra
que el conjunto r : )(r) < ` es abierto. El recproco es inmediato. Basta considerar el
conjunto r : )(r) < )(r
0
) c.
(d) Observe que
r : )(r) q(r) ` =
_
R
(r : )(r) j
r : q(r) ` j) .
e)Observe que:
r : )(r) . q(r) ` = r : )(r) j
r : q(r) `
33.-Sea r
0
A. Demostraremos que ) es continua en r
0
. Sea c 0. Como ()
n
)
converge uniformemente a ) existe N tal que para todo r A y para todo : _ se
tiene [)
n
(r) )(r)[ < c,8. En particular, para todo r A se tiene [)
(r) )(r)[ < c,8.

Ahora, como )
es continua en r
0
se tiene que debe existir c 0 tal que la condicin
d(r, r
0
) < c implica que [)
(r) )
(r
0
)[ < c,8. Luego, si d(r, r
0
) < c se tiene
[)(r) )(r
0
)[ _ [)(r) )
(r)[[)
(r) )
(r
0
)[[)
(r
0
) )(r
0
)[ < c,8c,8c,8 = c.
34.-Considere la sucesin )
n
(r) = r
n
, con r [0, 1[. Es claro que esta sucesin
converge puntualmente a la funcin discontinua
)(r) =
_
0 0 < r _ 1
1 r = 1
Por Proposicin 38 la convergencia no es uniforme.
35.-Sean r, j A jos, entonces si . la desigualdad triangular implica
d(r, .) _ d(r, j) d(j, .)
Por lo tanto
d(r, ) =inf d(r, .) : . _ d(r, j) inf d(j, .) : . ,
en otras palabras se tiene
)(r) _ d(r, j) )(j),
como d(r, j) = d(j, r) este resultado implica que [)(r) )(j)[ _ d(r, j) lo que a su vez
implica que ) es uniformemente continua.
36.-Como d(r
n
, r
n+1
) _ /d(r
n1
, r
n
) _ _ /
n
d(r
0
, r
1
), se obtiene que:
d(r
n
, r
n+n
) _ (/
n
/
n+1
/
n+n1
)d(r
0
, r
1
). (10.2)
Por lo tanto d(r
n
, r
n+n
) _ /
n
(1 /)
1
d(r
0
, r
1
). Esto signica que la sucesin r
n
es
de Cauchy. Como A es completo, se sigue que (r
n
)converge a un elemento ., el cual, por
la continuidad de T es un punto jo de T. La unicidad de . es obvia. El error a priori se
obtiene haciendo tender : en 10.2. El error a posteriori, se obtiene haciendo tender
: en la siguiente desigualdad:
d(r
n+1
, r
n+n+1
) _ d(r
n+1
, r
n+2
) d(r
n+2
, r
n+3
) d(r
n+n
, r
n+n+1
)
_ (/ /
2
/
n
)d(r
n
, r
n+1
)
_ /(1 /)
1
d(r
n
, r
n+1
).
37.-Es claro que la existencia de una solucin en 1 es equivalente a encontrar una
funcin continua r : 1 R
n
, tal que
r(t) = r
o

_
|
0
)(:, r(r))d:, t 1 (+)
Para demostrar la existencia de tal solucin, denamos A como el espacio vec-
torial de todas las funciones continuas en el intervalo 1. Si r A, denamos [[r[[ =
maxc
|
[r(t)[ : t 1. Entonces el espacio (A, d) con d(r, j) = [[r j[[ es un espacio
mtrico completo. Denamos T : A A de modo que Tr sea la funcin denida por
la parte de la derecha de la igualdad (*). Ahora, como ) es lipschitziana en la segunda
variable, existe un / 0 tal que [)(:, r) )(:, j)[ _ /[r j[. Por lo tanto:
[[Tr Tj[[ = maxc
|
[
_
|
0
)(:, r(:)) )(:, j(:))d:[ : t 1
_ maxc
|
_
|
0
/[r(:) j(:)[d: : t 1
_ maxc
|
/
_
|
0
c
s
[r(:) j(:)[c
s
: t 1
_ maxc
|
/[[r j[[
_
|
0
c
s
d: : t 1
_ max/[[r j[[
1 c
|
j
: t 1
_ (/,j)[[r j[[.
Tomando j / se puede aplicar el theorem de Banach (ver Problema 36).
1.-Sean , 1 / entonces , 1 /
X
para todo ` A. Como cada /
X
es un
lgebra, se deduce que ' 1 y
c
y \ pertenecen a /
X
para todo ` A. Esto signica
que ' 1 y
c
y \ pertenecen a / y por lo tanto / es un lgebra.
2.-Es claro que esta familia es no vaca, puesto que T(\) es un lgebra en \ que
obviamente contiene a (. De acuerdo al problema anterior, la interseccin de esta familia
de lgebras es nuevamente un lgebra en \. Por otro lado, si E es un lgebra en \ que
contiene a (, entonces E / : / lgebra y ( / y por consiguiente /(() E.
3.-Similar al Problema 2.
4.-Es inmediato de la propiedad (c) de la Denicin 53 y de la Proposicin 56.
5.-Si , 1 /, es claro que ' 1 es nito si y 1 lo son, en caso contrario
(' 1)
c
lo es.
Si \ no es nito, entonces existe un subconjunto 1 innito contable tal que 1
c
tambin es innito. Es claro que este conjunto 1 no pertenece a /. Si / fuese una o-
lgebra, debiera cumplirse que 1 /.
96 Respuestas
6.-Si =
o
n=1
n
, entonces es contable si todos los
n
lo son, en caso contrario
c
lo es.
7.-Si =
o
n=1
n
con
n
E, entonces )
1
() =
o
n=1
)
1
(
n
) /, luego E.
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 o-lgebra
pues (a, /) =
o
n=1
(a, / 1,:[.
9.-/(() =o(() =T(().
10.-Use Proposicin 56 y la igualdad (a, /[ =
o
n=1
(a, / 1,:) para concluir que
o(() E(R). Recprocamente use la igualdad (a, /) =
o
n=1
(a, / 1,:[ y el hecho de que
todo conjunto abierto de R es unin contable de intervalos abiertos para concluir que
E(R) o((). El caso R es similar.
11.-De acuerdo al Problema 10, basta demostrar que la o-lgebra generada por
los intervalos semi-abiertos coincide con la o-lgebra generada por los intervalos cerrados.
Esto ltimo es evidente de las identidades:
(a, /[ =
o
n=1
[a 1,:, /[ [a, /[ =
o
n=1
(a 1,:, /[
12.-o ((
2
) es una o-lgebra que contiene a (
2
, luego contiene a (
1
. Consecuente-
mente o ((
1
) o ((
2
).
13.-Si ( es contable entonces no hay nada que demostrar. Suponga entonces que
( es innito no contable. Sea A = T ( : T es contable. Entonces / =

1
o (T) es
un o-lgebra. Es claro que / contiene a ( y est contenido en o ((). Luego / = o (().
14.-Es claro que o (() es una o-lgebra en que contiene a (. Esto implica
que o (( ) o (() . Recprocamente, dena,
/ = 1 ' (C ) : 1 o (( ) . C o (()
Verique que / es una o-lgebra en \. Si 1 (, entonces dado que:
1 = (1 ) ' (1 )
junto al hecho que 1 ( o (( ) implica que 1 /, de donde se sigue que
( / y por consiguiente o (() /, lo que a su vez implica que:
o (() / o (( ) .
15.-Es claro que [([ _ [/(()[. Por otro lado note que /(() no es nada ms que
la coleccin de todas las uniones nitas de conjuntos de la forma

C
|
, en donde la
interseccin tambin es nita y los conjuntos C
|
estn en ( o en su complemento. Use
ahora Proposicin 6 (dos veces) para concluir que [([ = [/(()[.
16.-(a) Sea /
0
= 1(r, 1,:) : r Q, : N en donde 1(r, 1,:) es la bola abierta
centrada en r y de radio 1,:. Es claro que /
0
es contable (numerable) y obviamente
/
0
/. Por otro lado note que todo conjunto abierto de R es una unin de conjuntos de
/
0
, por lo tanto o(/
0
) = /. (b) es similar a (a).
17.-Suponga que si existe una o-lgebra / innita numerable en \. Ciertamente \
debe ser al menos innito numerable. Para cada r \ dena (r) = / : r .
Sean r, j \, r ,= j. Demuestre que:
(i) (r) / para todo r \.
(ii) Si r , (j) o j , (r) entonces (r) (j) = c.
(iii) Si r (j) y j (r) entonces (r) = (j).
De lo anterior deduzca que ( = (r) : r \ es una coleccin disjunta conteni-
da en /. Como cada elemento de / es una unin disjunta de elementos de ( se deduce que
( es una coleccin innita numerable y disjunta. Esto implica que T(() es una coleccin
innita no numerable contenida en /. Esto es una contradiccin pues / es numerable.
18.-Similar al Problema 2.
19.-Sea / una lgebra y sea (
n
) una sucesin de conjuntos en /. Dena 1
n
=
n
|=1
|
.
20.-Sea / una lgebra y sea (
n
) una sucesin de conjuntos en /. Dena 1
1
=
1
y 1
n
=
n
n1
=1

para : _ 2.
21.-Sea / una lgebra montona y sea (
n
Por Problema 19 existe una sucesin creciente (1
n
) en / tal que
o
n=1
n
=
o
n=1
1
n
. Esto
implica que
o
n=1
n
pertenece a /.
22.-trivial.
23.-Suponga que / es una lgebra. Es claro que \ /(/). Sea ahora 1 \ y
dena /(1) la clase de todos los conjuntos 1 \ tal que 1 1, 1 1, y 1 ' 1 estn
en /(/). Note que 1 /(1) si y slo si 1 /(1). Es fcil ver que si /(1) no es vaco,
entonces es una familia montona. Sea 1 /, como / es lgebra, entonces / /(1).
Como /(1) es montona, se deduce que /(/) /(1), luego si 1 /(/), entonces
1 /(1), pero entonces 1 /(1) y por lo tanto /(/) /(1) con 1 /(/). Esta
ltima armacin implica que /(/) es una lgebra.
24.-De acuerdo al Problema 22, /(/) o(/). Para la inclusin inversa basta
probar que /(/) es o-lgebra; para lo cual, de acuerdo al Problema 21 basta probar que
/(/) es una lgebra, lo cual es cierto de acuerdo al Problema 23.
25.-Basta demostrar que si Q, entonces o(/), lo cual se deduce de la
igualdad =
o
n=1
( 1,:, [ .
26.-(a)(b) trivial. (b)(c): Se desprende de las relaciones:
1 = (1) ' (1 ) = ((' 1) 1) ' ((1 ' ) )
1 = (' 1) 1
(c)(d) Se desprende de la relacin:
1 = 1,
y de la igualdad 1 = 1 que es vlida si 1 .
(d)(a):Se deduce de las relaciones:
1 = ( 1)
' 1 = (1) 1.
27.-Use el Problema 26.
28.-Observe que (, ) es un grupo abeliano:
(1) C = (1 C) Asociatividad de la suma
1 = 1 Conmutatividad de la suma
c = c = Existencia del neutro aditivo
= = c Existencia del inverso aditivo
98 Respuestas
y que es distributiva sobre la suma .
29.-Sea T la coleccin o-aditiva generada por (. Como o (() es o-aditiva, se
deduce que T o ((). Recprocamente si se demuestra que T es o-lgebra, se deducira
que o (() T y se terminara la demostracin. Para demostrar que T es o-lgebra usemos
la Proposicin 55 y para esto basta demostrar que T es cerrada bajo diferencias ya que
o
|=1
|
=
o
n=1
n
|=1
|
.
Para demostrar que T es cerrada bajo diferencias basta demostrar que es cerrada
bajo intersecciones puesto que 1 = 1
c
= (\ 1). Para demostrar que T es
cerrada bajo intersecciones dena H = \ : \1 T, 1 T. Para terminar el
problema basta probar que T H y para que esto ltimo sea cierto basta vericar que H
es o-aditiva y contiene a (. La o-aditividad es fcil de vericar. Finalmente para demostrar
que H contiene a ( tmese un conjunto C ( y dena la clase T = \ : C T.
De modo similar al anterior demuestre que T es o-aditiva. Como ( T, se deduce entonces
que T T. Esto implica que C H y termina la demostracin.
30.- Demostrar que o
_
)
1
(()
_
)
1
(o (()) es fcil. Para demostrar la otra
inclusin dena como o la coleccin de todos los conjunto o (() tal que )
1
()
o
_
)
1
(()
_
. Demuestre que o es una o-lgebra que contiene a (. Por lo tanto o (() o.
1.-j(cc ) = j()j(c)j(c) . Luego j() = j()j(c)j(c).
Como j() es nito, se tiene j(c)j(c) = 0. Como j(c) _ 0, se deduce que j(c) = 0.
2.-Es claro que j : / [0, ) y que j(c) = 0. Si alguno de los conjuntos
|
,
/ = 1, 2, . . . , : tiene complemento nito, entonces j(
1

n
) = j(
1
) j(
n
) =
, en caso contrario j(
1

n
) = j(
1
) j(
n
) = 0. Para demostrar que
no es contablemente aditiva elija un subconjunto innito = a
1
, a
2
, . . . de \ con
complemento nito.
3.-Sea =
o
n=1
n
. Entonces j() =
o
n=1
j(
n
) = 0 en el caso que todos los
n
sean contables, en caso contrario j() =
o
n=1
j(
n
) = 1 puesto que la coleccin
n
o
n=1
puede tener a lo ms un conjunto con complemento contable.
4.-Si j() o j(1) es innito el resultado es trivial. Suponga entonces que j() y
j(1) son nitos. Entonces si escribimos C = 1, se tiene:
j(' 1) = j(C) j(C) j(1 C)
= j() j(C) j(C) j(1) j(C)
= j() j(1) j(C)
de donde se sigue el resultado.
5.-Si
o
n=1
j(
n
) y
o
n=1
`(
n
) son nitos, se tiene:
(j `)
_
o
n=1
n
_
= j
_
o
n=1
n
_
`
_
o
n=1
n
_
=
o
n=1
j(
n
)
o
n=1
`(
n
)
=
o
n=1
j(
n
) `(
n
) =
o
n=1
(j `) (
n
) .
la penltima igualdad se debe a la convergencia absoluta de las series
o
n=1
j(
n
) y
o
n=1
`(
n
). La demostracin para el caso de una sucesin contable de medidas es sim-
ilar y se basa en la igualdad
o
I=1
o
=1
a
I
=
o
=1
o
I=1
a
I
(Teorema 36.10, Bartle)
6.-Tome A
n
= r
n
. Entonces \ =
o
n=1
A
n
con j(A
n
) = j
n
< . La o-aditividad
es consecuencia de la convergencia absoluta.
7.-Consecuencia inmediata de la Proposicin 72, parte (b) y (c).
8.-Sea el conjunto de puntos de \ que pertenecen a innitos
n
. Entonces =
o
n=1
o
|=n
|
= limsup
no

n
. Ahora observe que
o
|=n
|
| y que j
_
o
|=n
|
_
_
o
|=n
j(
n
).
9.-Lo nico no evidente es que E sea cerrada bajo uniones contables. Sea
n

E, entonces j(
o
n=1
n
) = 0 si j(
n
) = 0 para cada :. Si j(
c
n0
) = 0 para algn :
0
,
entonces j
__
o
n=1
n
_
c
_
= j
_
o
n=1
c
n
_
_ j(
c
n0
) = 0.
10.-directo.
11.-directo.
12.-la desigualdad triangular se deduce de la inclusin C (1)'(1 C).
Las otras propiedades son evidentes.
13.-Sea (r
n
) una sucesin densa en \ y denotemos por 1
|
n
el disco cerrado de
radio 1,/ centrado en r
n
. Considere el subconjunto cerrado 1
|
n
=
n
n=1
1
|
n
. Para 0 < c < 1.
Si / es jo, entonces 1
|
n
\, luego, de acuerdo a la Proposicin 69. Sea :
|
, denido
inductivamente como el natural ms pequeo para el cual se cumple que:
j
_
|
I=1
1
I
ni
_
1 c.
Si ahora escribimos 1 =
o
I=1
1
I
ni
, vemos que 1 es compacto (completo y total-
mente acotado) y adems j(1) = lim
|o
j
_
|
I=1
1
I
ni
_
_ 1 c.
14.-Caso especial del Problema 6.
15.-Considere \ = N y
n
= :, : 1, : 2, . . ..
16.-Es claro que j es nitamente aditiva. Sea (1
|
) una sucesin disjunta en
/ tal que 1 =
o
|=1
1
|
/. Como
n
|=1
1
|
1, se tiene j(1) = lim
no
j
_
n
|=1
1
|
_
=
lim
no
n
|=1
j(1
|
) =
o
|=1
j(1
|
).
17.-Sea j una medida o-nita sobre la lgebra E y suponga que \ =
o
n=1
1
n
con
1
n
E y j(1
n
) < para todo :. Dena
n
= 1
n
(
1
' '
n1
).
18.-De acuerdo al Problema 17, \ =

n
con j(
n
) < para todo :. Si
suponemos que 1 = r \ : r / y j(r) 0 no es contable, entonces
n0
1 es
no contable para algn :
0
. Dena ahora 1
|
= r
n0
1 : j(r) 1,/. Entonces
1
|0
es no contable para algn /
0
. Sea r
1
, r
2
, . . . un subconjunto numerable (innito)
de 1
|0
. Es claro que r
1
, r
2
, . . . / y j(r
1
, r
2
, . . .) = . Esto es una contradiccin
puesto que r
1
, r
2
, . . . 1
|0

n0
1
n0
y
n0
tiene medida nita.
19.-Sea / con 0 < j() < . Como no es un tomo, existe C , con
C / y 0 < j(C) < j(). Si j(C) j(),2, entonces j( C) = j() j(C) <
100 Respuestas
j(),2. Esto implica que j(C) _ j(),2 j(C) _ j(),2. Luego existe 1
1
tal
que 1
1
/ y 0 < j(1
1
) < j(),2. De esta manera se deduce que existe una sucesin
(1
n
) / tal que 0 < j(1
n
) < j(),2
n
. Como j() es nito, se deduce el resultado
buscado.
20.-Como Q =
o
n=1
n
en donde
1
,
2
, . . . es una sucesin de todos los racionales,
se deduce que la medida de conteo j es o-nita en o(/) = T (Q). Claramente no es o-
nita en / ya que todos los conjuntos del lgebra / (con la excepcin del vaco) contienen
innitos racionales.
21.-Sea 1 el conjunto de puntos de 1 que no son recurrentes. Como,
1 = 1 T
1
(\ 1) T
2
(\ 1)
se tiene que 1 es medible. Suponga que j(1) 0. Es fcil vericar que 1 es disjunto de
T
|
(1) para todo / _ 1. Esto implica que la coleccin T
1
(1), T
2
(1), . . . es disjunta
puesto que:
T
n
(1) T
(n+|)
(1) = T
n
(1 T
|
(1)).
Como T preserva medida, esto es una contradiccin.
22.-`
+
es la medida de conteo.
23.-`
+
(1) = 0 si 1 es contable y `
+
(1) = 1 si 1 es no contable.
24.-\ = r, j con r ,= j. Dena `(c) = 0, `(\) = 8 y `(r) = `(j) = 1.
Entonces `
+
(\) < `(\) = 8.
25.-Inmediato por la monotona y la subaditividad contable de la medida `.
26.-Todos los conjuntos de T (\) son j
+
-medibles.
27.-Slo \ y c son j
+
-medibles.
28.-Son j
+
-medibles todos los conjuntos contables o cuyo complemento es con-
table.
29.-Todo conjunto j
+
-medible es `
+
-medible.
30.-Note que
n
|=1
`
+
(
|
) = `
+
_
n
|=1
|
_
_ `
+
_
o
|=1
|
_
, luego
o
|=1
`
+
(
|
) _
`
+
_
o
|=1
|
_
.
31.-Son medidas exteriores (a), (d) y (e). La subaditividad contable de (e) se
deduce de la desigualdad:
limsup
no
o
n=1
/
nn
_
o
n=1
limsup
no
/
nn
la que a su vez es consecuencia inmediata del Corolario 116, pgina 53.
32.-Inmediato.
33.-Use Problema 15, pgina 56.
1.-Basta observar que R =
o
n=1
(:, :[.
2.-Si r R, entonces r (r 1,:, r[, luego :(r) _ 1,:. Note que r es
boreliano puesto que es cerrado. Si es numerable, entonces =
r
|
y por lo tanto
:() = :(
r
|
) =
:(r
|
) = 0.
3.-Como : es una medida sobre el lgebra /, se tiene, de acuerdo al Problema
25, pgina 37, que :((a, /[) = :
+
((a, /[) = / a. Por otro lado (a, /) = (a, /[ /, por lo
tanto :((a, /)) = / a.
4.-De acuerdo al Problema 16, pgina 25, la o-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 2
c
puesto que el
conjunto de Cantor tiene cardinalidad c.
5.-Es claro que / (. Ahora si (
n
) es una sucesin montona en (, tambin lo
ser en o(/) y por Proposicin 69, se tiene que:
`(lim
n
) = lim`(
n
) = limj(
n
) = j(lim
n
)
y por consiguiente lim
n
(. La conclusin se obtiene de la Proposicin 61.
6.-(Slo el caso de la resta) Use las identidades:
1 ' = (1 ' ) (); 1 = (1 ) ' ()
en donde , 1 / y .
7.-Inmediata.
8.-Inmediato del hecho que la medida de un intervalo (a, /[ es invariante bajo
traslaciones.
9.-Varias maneras. Por ejemplo dena r
n,n
=
c
2
nn
min
_
:
:
,
::
:
_
con 1 _
: < : y considere

1n<n
_
:
:
r
nn
,
:
:
r
nn
_
.
10.-Note que 1
n
| 1, por lo tanto por Proposicin 69 se deduce que :(1) =
lim:(1
n
) = 1 lim:(1
c
n
) = 0.
11.-Como :
+
(1) = inf
_
o
n=1
`((a
n
, /
n
[) : 1
o
n=1
(a
n
, /
n
[
_
, entonces existe una
coleccin (a
n
, /
n
[ de intervalos nitos tales que 1
o
n=1
(a
n
, /
n
[ y
o
n=1
/
n
a
n
< :
+
(1)
c,2. Considere ahora el conjunto G =
o
n=1
_
a
n
, /
n
c,2
n+1
_
. Es claro que G es abierto y
contiene a 1. Adems por Problema 3, pgina 43, se tiene:
:(G) _
o
n=1
_
/
n
c,2
n+1
a
n
_
=
o
n=1
(/
n
a
n
)
o
n=1
c,2
n+1
< :
+
(1) c,2 c,2.
12.- Suponga que ) es montona creciente. Entonces )
1
((c, [) es un subinter-
valo de [a, /[ y consecuentemente es medible.
1.-Claramente basta demostrar que 1 es medible, ya que entonces, por simetra
tambin lo ser el conjunto 1 = r : )(r) q(r) y por consiguiente tambin lo sern los
conjuntos y C ya que C = 1
c
y = C 1
c
. Para demostrar que 1 es medible observe
que
1 =
_
:n
[r : )(r) < r
n
r : r
n
< q(r)[
en donde (r
n
) es el conjunto de todos los nmeros racionales.
2.-Es evidente, ya que )
1
(1) puede ser slo uno de los siguientes conjuntos:
c, 1, 1
c
y \.
3.-Note que
r : )(r) _ c =
o
n=1
r : )(r) c 1,:
102 Respuestas
y
r : )(r) < c = r : )(r) _ c
c
.
4.-Use Problema 3.
5.-Sea 1 = r \ : )(r) ,= q(r). Si c R, entonces
q
1
((c, [) =
_
)
1
((c, [) ' r 1 : q(r) c
r 1 : q(r) _ c .
Note ahora que r 1 : q(r) c y r 1 : q(r) _ c son medibles puesto que son
subconjuntos de 1 y j(1) = 0.
6.-Sea 1 = r \ : )(r) ,= q(r), entonces si 1 E, se tiene:
q
1
(1) =
_
q
1
(1) 1
c
_
'
_
q
1
(1) 1
_
.
como j(1) = 0 se deduce que 1 q
1
(1) y 1 q
1
(1
c
) son medibles.
7.-Use Proposicin 98 y el hecho que
= r : ()
n
(r))
o
n=1
converge =
_
r : liminf
no
)
n
(r) = limsup
no
)
n
(r)
_
.
8.-Sea
n
= r 1 : )(r) 1,:. Entonces:
1
:
j(
n
) _
_
.n
) dj _
_
J
) dj = 0.
Deduzca que j(
n
) = 0. Ahora use que r 1 : )(r) ,= 0 =
n
.
9.-Note que : =

c
|
.
k
es una funcin simple medible tal que 0 _ : _ ) si y
slo si :
t
=
c
|
.
k
|J
es una funcin simple tal que 0 _ :
t
_
J
).
10.-Sea (1
|
) sucesin disjunta en / y sea 1 =
1
|
. Observe que:
J
) =
J
k
), c(1) =
_
J
), c(1
|
) =
_
J
k
).
Use ahora Corolario 112.
11.-Sea 1 = r : )(r) _ 0. Entonces
_
J
) dj =
_
J
)
+
dj = 0. Use ahora Proble-
ma 8.
12.-Sea 1 = r \ : )(r) ,= q(r) entonces como
_
J
[q[ dj =
_
J
[)[ dj = 0, se
tiene:
_
[q[ dj =
_
J
[q[ dj
_
J
[q[ dj =
_
J
[)[ dj
_
J
[)[ dj =
_
[)[ dj.
La demostracin de la igualdad
_
) dj =
_
q dj es similar.
13.-Note que r : )(r) ,= 0 =
o
n=1
r : [)(r)[ 1,:. Como la funcin ) es inte-
grable cada uno de los conjuntos r : [)(r)[ 1,: debe tener medida nita.
14.-Usando funciones simples, se obtiene inmediatamente que
_
N
[)[ dj =
o
n=1
[)(:)[ ,
luego la primera armacin es evidente. Para demostrar que
_
N
) dj =
o
n=1
)(:) use la
denicin
_
N
) dj =
_
N
)
+
dj
_
N
)
dj y aplique lgebra de series convergentes.

15.-Evidente del Problema 14.
16.- Como todo abierto en R es unin contable de abiertos, se tiene que:
j()
1
(1
c
)) = j()
1
(
G
n
)) = j(
)
1
(G
n
)) _
j
_
)
1
(G
n
)
_
.
Por lo tanto basta demostrar que )
1
(G
n
) = 0 para un intervalo (a r, a r) cualquiera.
Supongamos por el contrario que 1 = )
1
(G
n
) 0, entonces:
1
j(1)
_
J
) dj a
=
1
j(1)
_
J
() a)
dj _
1
j(1)
_
J
[) a[ dj _ r.
Esto contradice la hiptesis.
17.-Considere la sucesin q
n
= )
1
)
n
. Entonces q
n
)
1
). Aplique teorema de
la convergencia montona para llegar a que lim
_
()
1
)
n
) =
_
)
1
). Aplique linealidad
(Corolario 112) para obtener
_
)
1
lim
_
)
n
=
_
)
1
_
). Simplique por
_
)
1
puesto que
es nito.
18.-Aplique el teorema de la convergencia dominada.
19.-Observe que para todo : N, la funcin )
n
(r) =
[0,n]
(r)
_
1
r
n
_
n
c
2r
es
no negativa y la sucesin ()
n
) es no decreciente. En efecto, para r [0, : 1[ se tiene que
)
n
(r)
)
n1
(r)
=
_
1
r
n
1
r
n1
_
n _
1
r
: 1
_
=
_
1
r
:
2
: :r
_
n
_
: 1 r
: 1
_
.
Usando ahora la desigualdad de Bernoulli, se tiene
)
n
(r)
)
n1
(r)
=
_
1
r
:
2
: :r
_
n
_
: 1 r
: 1
_
_
_
1
:r
:
2
: :r
__
: 1 r
: 1
_
= 1.
Esto demuestra que()
n
) es creciente. Ahora como )
n
c
r
podemos aplicar el teorema
de la convergencia montona. El otro lmite es similar.
20.-Observe que liminf )
n
= 0 y que limsup)
n
= 1. Este ejemplo muestra que la
desigualdad estricta puede darse en el lema de Fatou.
21.-Condicin necesaria: de acuerdo al Problema 17, pgina 36, \ =
o
n=1
n
con
n
/ y 0 < j(
n
) < para todo :. Dena ) de modo que )[
.n
= 2
n
,j(
n
).
Condicin suciente: Considere los conjuntos
n
= r \ : )(r) 1,:.
22.-Como la convergencia es uniforme, existe N tal que [)
n
(r) )
n
(r)[ < 1
para todo r \ y para todo :, : _ . Luego [)
n
(r)[ < [)
(r)[ 1. Como la funcin

[)
(r)[ 1 es integrable en \, podemos aplicar el teorema de la convergencia dominada

de Lebesgue.
23.-Obviamente la convergencia es uniforme y para todo : N se tiene
_
N
)
n
dj =
1; en cambio
_
N
) dj = 0.
24.-Note que |)
n
)|
o
= 1,(:1), luego la convergencia es uniforme. Por otro
lado
_
)
n
= 1 1,2 1,: < , en cambio
_
) =
o
n=1
1,: = .
25.-Podemos suponer que todas las funciones son reales. Sea 1
n
tal que j(1
n
) <
1,: y ()
n
) converge uniformemente en 1
c
n
. Entonces ()
n
) converge a ) en:
1 =
_
1
c
n
=
_
1
n
_
c
.
Observe ahora que j(1
c
) _ j(1
n
) < 1,:.
26.-Podemos suponer que todas las funciones son reales y la convergencia en
todo \. Dena 1
|
n
=
o
n=n
r : [)
n
(r) )(r)[ < 1,/. Entonces 1
|
n
1
|
n+1
y como hay
104 Respuestas
convergencia en todo \, para todo /, 1
|
n
\. Por lo tanto \ 1
|
n
| c. Aplicando
Proposicin 22 (4), se deduce que j
_
\ 1
|
n
_
| 0. Luego, si c 0, existe :
|
tal que:
j
_
\ 1
|
n
_
<
1
2
|
: _ :
|
.
Dena 1 =
o
|=1
1
|
n
k
. Demuestre que j(1
c
) < c y ()
n
) converge a ) uniformemente en 1.
27.-(a) Suponga que )
n
) y )
n
q (ambas en medida). Como:
_
r : [)(r) q(r)[ _
1
n
_
_
r : [)
n
(r) )(r)[ _
1
2n
_
'
_
r : [)
n
(r) q(r)[ _
1
2n
_
,
entonces j(r : [)(r) q(r)[ _ 1,:) = 0. Como:
r : )(r) ,= q(r) = r : [)(r) q(r)[ 0 =
_
r : [)(r) q(r)[ _ 1,: ,
Por lo tanto ) = q c.t.p. (b) Para c 0 y c 0, existe un conjunto 1 y :
0
tal que
j(1) < c y [)
n
(r) )(r)[ < c para todo r 1
c
y \: _ :
0
. Por lo tanto:
(\:) (\: _ :
0
) =j(r : [)
n
(r) )(r)[ _ c) < c.
Esto signica que lim
no
j(r : [)
n
(r) )(r)[ _ c) = 0.
28.-Sea 1
|
=
_
r : limsup
o0
_
sup
,:1(r,o)
[)(j) )(.)[
_
1,/
_
. Si 1 es el conjunto
de puntos en donde ) no es continua, entonces 1
|
1. Si ) no es continua c.t.p., en-
tonces :(1) 0. Por Proposicin 69 (3) :(1
|
) = c 0 para algn /. Ahora si 1 =
t
0
, t
1
, . . . , t
n
es una particin de [a, /[, se tiene que los intervalos (t
0
, t
1
) , . . . , (t
n1
, t
n
)
forman un recubrimiento del conjunto 1
|
1 y claramente :(1
|
1) = :(1
|
) = c
Denote por 1
t
aquel subconjunto de 1 consistente en todos los puntos t
tales que:
(t
1
, t
) 1
|
,= c.
Por la monotonicidad de : se tiene:
|j1
0
(t
t
1
) _ c.
Si '
= sup
r(|j1,|j)
)(r); :
= inf
r(|j1,|j)
)(r), entonces '
1,/ si i 1
t
. Si
llamamos l
1
y 1
1
a la suma superior e inferior respectivamente, se tiene:
l
1
1
1
=

|j1
('
)(t
t
1
) _

|j1
0
('
)(t
t
1
)
c
/
.
Esto contradice la suposicin de la integrabilidad de Riemann.
29.-De acuerdo al Corolario 112, pgina 51, se tiene
_
.
q dj _
_
q dj =
o
n=1
_
.n
dj =
o
n=1
j(
n
) < .
esto implica que j() = 0.
30.-Es claro que ) < c.t.p. Sea = r \ : )(r) 0. Dena
)
n
(r) = :ln
_
1
_
)
:
_
o
_
= :
1o
ln
_
1
_
)
:
_
o
_
n
.
Como ln
_
1
_
}
n
_
o
_
n
)
o
se deduce que para todo r se tiene:
lim
no
)
n
(r) =
_
_
_
Si 0 < c < 1
)(r) Si c = 1
0 Si 1 < c < .
Aplique ahora el teorema de la convergencia montona.
31.- lim
no
)
n
(r) = 0 para todo r (0, 1[ y lim
no
)
n
(0) = . Luego
_
1
0
lim
no
)
n
d: =
0. Por otro lado, para todo : N se tiene
_
1
0
)
n
d: = 1 y por lo tanto lim
no
_
1
0
)
n
d: = 1.
32.- (a) Suponga que (1
t
n
) es una sucesin disjunta en /
t
. Entonces:
j
t
_
1
t
n
_
= j
_
)
1
_
1
t
n
__
= j
_
)
1
(1
t
n
)
_
=
j)
1
(1
t
n
) =
j
t
(1
t
n
) .
(b) Consideremos en primer lugar el caso q =
J
0 :
_
0
q d
_
j)
1
_
=
_
J
0 d
_
j)
1
_
= j
_
)
1
(1
t
)
_
=
_
}
1
(J
0
)
dj
=
_
(
J
0 )) dj =
_
(q )) dj.
Usando la linealidad de la integral, vemos que la igualdad es vlida para funciones simples.
Finalmente si q : \
t
[0, [ es medible, elijamos una sucesin creciente (:
n
) de funciones
simples no negativas tales que :
n
q. De acuerdo al teorema de la convergencia montona
de Lebesgue, se tiene:
_
0
q d
_
j)
1
_
=
_
0
lim
no
:
n
d
_
j)
1
_
= lim
no
_
0
:
n
d
_
j)
1
_
= lim
no
_
0
(:
n
)) dj =
_
0
lim
no
(:
n
)) dj
=
_
(q )) dj.
(c) Aplique el resultado (b) a las funciones q
+
y q
.
33.-Note que )(r) = sinr cos r =
_
2 sin(r ,4).
34.-Para demostrar que
_
o
0
] sin r]
r
dr diverge, observe que el rea bajo la curva
j = [ sinr[,r (vea Figura) es
mayor que la suma de las reas de los tringulos indicados en la gura. Ahora bien, con-
siderando que la altura de estos tringulo sigue la secuencia (,2)
1
, (8,2)
1
, (,2)
1
,
. . ., (:,2)
1
, . . .(: impar), se sigue que:
_
o
0
[ sinr[
r
dr _
o
n=0
1
2

2
2
(2: 1)
=
1
2
o
n=0
1
2: 1
.
106 Respuestas
35.-
_
1
0
dr
r
= lim
t0
+
lnc = .
36.-La funcin ) es continua en todos los irracionales: sea c un irracional en [0, 1[
y sea c 0. Como el conjunto de todos los nmeros racionales j, [0, 1[ (con j, escrito
en forma irreducible) tales que 1, _ c es nito, se sigue que ninguno de ellos est en el
intervalo (c c, c c) para c = min[j, c[ : 1, _ c, y por lo tanto si [r c[ < c
se sigue que [)(r) )(c)[ = [)(r)[ < c. Esto demuestra que )es discontinua slo en un
subconjunto de medida cero (los racionales de [0, 1[) y por lo tanto
_
1
0
) d: = 0.
37.-Sea
n
= r \ : )(r) 1,:. Es claro que
n
1 = r \ : )(r) 0 y
j(
n
) < . Por el Corolario 113, pgina 52, se tiene
_
) dj =
_
1
) dj = lim
no
_
.n
) dj.
38.-Condicin necesaria: note que

n
= \ y por lo tanto
o
n=1
(: 1) j(
n
) _
o
n=1
_
.n
[)[ dj =
_
[)[ dj < ,
luego

:j(
n
) =
(: 1) j(
n
) j(\) < . La condicin suciente es inmediata.
39.-Note que
_
)
2
q
2
_
1/2
_ [)[ [q[ y [)q[ _
_
)
2
q
2
_
,2.
1.- Suponga que a < : < r < j < t < /. Escriba o = (:, ,(:)). Dena como A, 1
y T los puntos correspondientes a los puntos r, j y t. Entonces A est sobre o debajo del
segmento o1 lo que implica que 1 est sobre o por encima de la recta que pasa por o y
A. Tambin 1 est sobre o debajo del segmento AT. Si j r, entonces 1 A. Esto
implica que ,(j) ,(r).
2.-Sea , es convexa y a < : < t < n < /., entonces:
,(t) = ,
__
1
t :
n :
_
:
t :
n :
n
_
_
_
1
t :
n :
_
,(:)
t :
n :
,(n),
de donde:
,(t) ,(:) _
t :
n :
(,(n) ,(:)) . (10.3)
Supongamos ahora que se cumple 10.3. Sea ` (0, 1) y r, j (a, /) con r < j. Entonces:
,((1 `)r `j) ,(r) _
(1 `)r `j r
j r
(,(j) ,(r)) = `(,(j) ,(r))
De donde:
,((1 `)r `j) _ `(,(j) ,(r)) ,(r) = (1 `),(r) `,(j). (10.4)
El caso j < r se deduce de 10.4.
3.-Sea j
1
, j
2
, . . . , j
n
nmeros reales positivos. Dena ) : \ R
+
por )(/) = lnj
|
.
Entonces, de acuerdo a la desigualdad de Jensen, se tiene:
oxp
__
) dj
_
= oxp
_
1
:
(lnj
1
lnj
2
lnj
n
)
_
_
_
(, )) dj. (10.5)
Pero _
(, )) dj =
1
:
(j
1
j
2
j
n
) (10.6)
De 10.5 y 10.6 se deduce que:
(j
1
j
2
j
n
)
1/n
_
1
:
(j
1
j
2
j
n
)
4.-Dena ) : \ R
+
por )(/) = lnj
|
. Usando la desigualdad de Jensen en el
espacio \ = 1, 2, . . . , : con la medida j(/) = c
|
(/ = T (\)) y la funcin convexa
,(r) = oxp(r), se tiene:
oxp
__
) dj
_
= oxp(c
1
lnj
1
c
2
lnj
2
c
n
lnj
n
) _
_
(, )) dj. (10.7)
Pero _
(, )) dj = c
1
j
1
c
2
j
2
c
n
j
n
. (10.8)
De 10.7 y 10.8 se deduce que:
j
o1
1
j
o2
2
j
on
n
_ c
1
j
1
c
2
j
2
c
n
j
n
5.-Observe que la funcin ,(r) = r
2
tiene segunda derivada positiva, por lo tanto
es una funcin convexa. De acuerdo a la desigualdad de Jensen, se tiene:
,(
1
:
(r
1
r
2
r
n
)) _
1
:
(,(r
1
) ,(r
2
) ,(r
n
)) ,
lo que equivale a:
1
:
2
(r
1
r
2
r
n
)
2
_
1
:
_
r
2
1
r
2
2
r
2
n
_
.
Multiplicando por :
2
se obtiene la tesis.
6.-La funcin exponencial es convexa y :([0, 1[) = 1, por lo tanto se aplica Jensen.
7.-Como ln) es integrable, aplicando el Problema 6, se tiene
oxp
__
1
0
ln()(t)) dt
_
_
_
1
0
oxp[ln()(t))[ dt =
_
1
0
)(t) dt,
el resultado se obtiene ahora tomando logartmos.
8.-Sea ()
n
) de Cauchy en L
o
. Dena:
1
n,n
= r \ : [)
n
(r) )
n
(r)[ |)
n
)
n
|
o
y sea 1 la unin de todos estos conjuntos (:, : _ 1). Entonces j(1) = 0. Es claro ()
n
)
es Cauchy uniforme en 1
c
y por lo tanto converge uniformemente a un funcin medible
) en 1
c
. Dena )(r) = 0 en 1. Es fcil ver que ) 1
o
.
9.-Como lim
no
|)
n
)|
= 0, entonces por Corolario 138, existe una subsucesin

()
n
k
) que converge c.t.p. a ). Por otro lado como lim
no
)
n
= q c.t.p., tambin se tiene que
()
n
k
) converge c.t.p. a q. Esto implica que ) = q c.t.p.
10.-Inmediato de la Proposicin 128, pgina 60 tomando \ = N con la o-lgebra
discreta y la medida de conteo.
11.-Inmediato de la Proposicin 128, pgina 60 tomando \ = N con la o-lgebra
discreta y la medida de conteo.
108 Respuestas
12.-Basta demostrar que para todo a, / _ 0 se cumple (a /)
_ a
, para
lo cual basta probar que para todo r _ 0 se cumple que (1 r)
_ 1 r
. Dena
/(r) = 1 r
(1 r)
. Note que /(0) = 0 y /

t
(r) _ 0.
13.- Considere las funciones ) =
(0,t
p
)
y q =
(t
p
,2t
p
)
.
14.-Las condiciones implican que j,r y ,r son exponentes conjugados, que [)[
:
/
/:
(j) y [q[
:
/
j/:
(j). Aplicando la Proposicin 133, se obtiene que [)q[
:
/
1
(j) y
|[)q[
:
|
1
_ |[)[
:
|
/:
|[q[
:
|
j/:
, lo que equivale a )q /
:
(j) y |)q|
:
_ |)|
|q|
j
.
15.-Como r < j < :, entonces 1,: < 1,j < 1,r. Por lo tanto existe c (0, 1) tal
que 1,j = c,: (1 c),r, de donde se obtiene que:
1 =
1
:,cj

1
r,(1 c)j
,
por consiguiente :,cj y r,(1 c)j son exponentes conjugados. Ahora como [)[
o
/
s/o
(j) y [)[
(1o)
/
:/(1o)
(j), la Proposicin 133 implica que [)[
= [)[
o
[)[
(1o)
/
1
(j). Esto signica que j 1 y prueba la parte (a). Por otro lado tambin se cumple
que
_
[)[
dj _
__
[)[
s
dj
_
o/s
__
[)[
:
dj
_
(1o)/:
. (10.9)
Tomando logaritmo natural se obtiene que:
ln,(j) _
cj
:
ln,(:)
(1 c)j
r
ln,(r),
lo que demuestra que ln, es una funcin convexa en 1. Por parte (a) 1 es un intervalo
y por lo tanto la Proposicin 124 asegura que la funcin ln, es continua en el interior
de 1. Como , = c
ln ,
se concluye que , es continua en el interior de 1. Esto demuestra
parte (b). Finalmente escribiendo la desigualdad 10.9 en la forma |)|
_ |)|
o
s
|)|
(1o)
:
y
usando la desigualdad 6.15, de la pgina 65, se obtiene que |)|
_ c|)|
s
(1 c) |)|
:
.
Esto demuestra que |)|
_ max |)|
s
, |)|
:
. Esto claramente demuestra la parte (c).
(d) Es claro que si |)|
:
= 0 el resultado es trivial. Supongamos por lo tan-
to que 0 < |)|
:
< . En primer lugar demostraremos que limsup
o
|)|
_ |)|
o
. Si
|)|
o
= no hay nada que demostrar, por lo tanto supongamos que |)|
o
< . Como
0 < |)|
:
, entonces se cumple que 0 < |)|
o
< . Sea j r, entonces [)[
= [)[
:
[)[
:
_
|)|
:
o
[)[
:
(c.t.p.). Integrando se obtiene
_
[)[
= |)|
:
o
_
[)[
:
, de donde se tiene que
|)|
_ |)|
1:/
o
(|)|
:
:
)
1/
. Haciendo tender j , se deduce que limsup
o
|)|
_ |)|
o
.
Ahora demostraremos que liminf
o
|)|
_ |)|
o
. Sea 0 < ` < |)|
o
, entonces por deni-
cin de supremo esencial, el conjunto = r : [)(r)[ ` tiene medida positiva y como
|)|
:
< debe cumplirse que 0 < j() < . Entonces como
|)|
=
__
[)[
dj
_
1/
_
__
.
[)[
dj
_
1/
`(j())
1/
,
se deduce que liminf
o
|)|
_ |)|
o
.
16.-Si |)|
:
= , entonces como j(\) = 1 se deduce que |)|
s
= . Por lo tanto
podemos suponer que [)[
:
es integrable. Como la funcin ,(r) = r
s/:
es convexa en (0, )
podemos aplicar la desigualdad de Jensen. Entonces se tiene
__
[)[
:
dj
_
s/:
_
_
([)[
:
)
s/:
dj
lo que equivale a armar que |)|
:
_ |)|
s
.
17.-Sea ) 1
s
(j), entonces
_
[)[
s
dj < . Dena:
= r : [)(r)[ 1 ; 1 = r : [)(r)[ _ 1 ,
entonces:
_
[)[
:
dj =
_
.
[)[
:
dj
_
1
[)[
:
dj _
_
.
[)[
:
dj
_
1
dj
_
_
.
[)[
s
dj j(1) _
_
[)[
s
dj j(\) < .
18.-Por Problema 17 la sucesin ()
n
) y la funcin ) estn en 1
:
. Si : = la
demostracin es inmediata, por lo tanto supondremos que : < . Note que :,r 1 y
por lo tanto j = :,r y = :,(: r) son exponentes conjugados. Como [)
n
)[
:
1
y
q(r) = 1 1
j
, entonces de acuerdo a la desigualdad de Hlder, se tiene:
_
[)
n
)[
:
dj =
_
[)
n
)[
:
q dj _
__
[)
n
)[
s
dj
_
:/s
__
q
j
dj
_
1/j
,
de donde se concluye que
|)
n
)|
:
_ |)
n
)|
s
(j(\))
(s:)/:s
.
19.-Como las funciones ) y q son no negativas y )q _ 1, entonces )
1/2
q
1/2
_ 1,
entonces: _
)
1/2
q
1/2
dj _
_
dj = j(\) = 1.
Aplicando ahora la desigualdad de Schwarz al producto )
1/2
q
1/2
se tiene:
1 _
_
)
1/2
q
1/2
dj _
__
_
)
1/2
_
2
dj
_
1/2
__
_
q
1/2
_
2
dj
_
1/2
=
__
) dj
_
1/2
__
q dj
_
1/2
Por lo tanto
__
) dj
_
1/2
__
q dj
_
1/2
_ 1. Elevando al cuadrado se obtiene el resultado
buscado.
20.-La segunda desigualdad es inmediata ya que
_
1 /
2
_ 1 / implica que
_
_
1 /
2
dj _
_
(1 /) dj =
_
dj
_
/dj = 1 .
Para la primera desigualdad aplique Jensen con la funcin convexa ,(r) =
_
1 r
2
. Para
la interpretacin geomtrica del ejemplo dado, note que las desigualdades corresponden
a:
_
1 ()(1) )(0))
2
_
_
1
0
_
1 ()
t
(r))
2
dr _ 1 )(1) )(0)
lo cual puede interpretarse en el sentido que la longitud de la curva j(r) = )(r) 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 ) 1
1
(j) dado c 0 se puede hallar una funcin simple : =
|=n
|=1
c
|
|
tal que 0 _ : _ [)[ y que cumpla con
_
[)[ dj <
_
: dj c,2. Por
110 Respuestas
la misma razn se puede suponer que c
|
0 y j(
|
) < para todo / = 1, . . . , :. Sea
, = max c
|
y dena c =
t
2no
. Entonces si j(1) < c, se cumple:
_
J
[)[ dj <
_
J
: dj c,2 _ :,j(1) c,2 < c.
22.-Como q 1
o
(R), entonces
_
R
[q(t) )(t,:)[ dt _ |q|
o
_
R
[)(t,:)[ dt = :|q|
o
|)|
1
< ,
por lo tanto q() )(,:) 1
1
(R) y de acuerdo al Teorema 8.26 (e) de Rudin, haciendo
r = t,: se tiene
1
:
_
R
q(t) )(t,:) dt =
_
R
q(:r) )(r) dr.
Ahora, como la funcin ) tiene que ser real c.t.p. puesto que pertenece a 1
1
(R) la condicin
lim
]r]o
[q(r)[ = 0 implica que /
n
(r) = q(:r) )(r) 0 c.t.p. Como la sucesin /
n
(r) es
mayorada por la funcin |q|
o
) 1
1
(R) se puede aplicar el teorema de la convergencia
dominada.
23.- (a) Note que la funcin c(r) = r
2/1
es convexa. Aplique Jensen usando la
medida ` =
1
()
j. La demostracin de (b) y (c) son inmediatas.
1.- Si [j(1)[ = , entonces j(1) = (ya que el rango de j est contenido en
(0, [). Esto implica que j(1) = , ya que j(1) = j(1 1)j(1) = j(1 1)=
ya que j(1 1) ,= .
2.-De acuerdo a la Proposicin 145 se tiene que j = j
+
j
, entonces, para
cualquier medible, se tiene
[j()[ _ j
+
() j
() _ j
+
(\) j
(\) = j(1) j() < ,

en donde 1 es una descomposicin de Hahn respecto de la medida real j.
3.-j(
2
) = j(
2
1
) j(
1
) _ j(
1
).
4.-Sean
1
y
2
negativos y sea medible. Entonces
j((
1
2
) ) = j(
1

c
2
) = j(
1
(
c
2
)) _ 0,
puesto que
1
es negativo. Esto demuestra que
1
2
es negativo. Por otra parte
j((
1
'
2
) ) = j((
1
) j((
2
1
) ) _ 0,
puesto que tanto
1
como
2
1
son negativos. Esto demuestra que
1
'
2
es negativo.
Ahora si (
n
) es una sucesin de conjuntos negativos, entonces deniendo
t
n
=
n

(
1
' '
n1
) se tendr que la sucesin (
t
n
) es una sucesin disjunta de conjuntos
negativos tal que

n
=
t
n
y por lo tanto
j(
_
_
n
_
) = j(
_
t
n
_
) =
j(
t
n
) _ 0.
Esto demuestra que

n
es negativo.
5.-Si [1, 2[ es un conjunto borel medible, entonces
j(1) =
_
J
_
[1,0]
[1,2]
_
d:
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 1 = [1, 0[ , =
(0, 2[ y 1 = [1, 1[ , = (1, 2[ son dos descomposiciones.
6.-Como \ = 1
2

2
, entonces por la aditividad de j se tiene
j(1 1
1
) = j(1 1
1
1
2
) j(1 1
1

2
) = j(1 1
1
1
2
),
ya que j(1 1
1

2
) = 0. Esto claramente demuestra que j(1 1
1
) = j(1 1
2
).
7.-j
+
(c) = j(c 1) = j(c) = 0. Si 1 =
o
n=1
1
n
, entonces la aditividad contable
de j implica que j
+
(1) =
o
n=1
j
+
(1
n
). Por otro lado, como 1 es positivo, se cumple
que j
+
_ 0. Esto demuestra que j
+
es una medida. Finalmente como j(c) = 0 y j es
contablemente aditiva, se deduce que debe ser aditiva y por lo tanto
j
+
(1) j
(1) = j(1 1) j(1 ) = j(1 \) = j(1).

8.-Sea 1 = r \ : )(r) _ 0 y = r \ : )(r) < 0. Es claro que 1 y
forman una descomposicin de Hahn respecto de la medida signada ` y por lo tanto, de
acuerdo al Problema 6, se cumple
`
+
() = `( 1) =
_
.|1
) dj =
_
.
)
+
dj,
Finalmente [`[ () =
_
.
)
+
dj
_
.
)
dj =
_
.
()
+
)
) dj =
_
.
[) [ dj.
9.-Sea 1, una descomposicin de Hahn, entonces j
+
() = j( 1). Sea C
/, C , entonces como j es una medida positiva en 1 y C 1 1 se tiene:
j(C) = j(C 1) j(C ) _ j(C 1) _ j( 1) = j
+
(),
esto demustra que supj(C) : C /, C _ j
+
(). Note ahora que el supremo se
alcanza para el conjunto C = 1 .
10.-(a) El que i
1
i
2
j es obvio. Ahora si )
1
=
Ji1
J
y )
2
=
Ji2
J
, entonces
i
1
() =
_
.
)
1
dj y i
2
() =
_
.
)
2
dj, por lo tanto (i
1
i
2
) () =
_
.
()
1
)
2
) dj para
todo /. Esto signica que
J(i1+i2)
J
=
Ji1
J

Ji2
J
c.t.p. respecto a j. Para la parte
(b) use (apropiadamente) Corolario 113.
11.-Es claro que ` j. Suponga que existe una funcin medible ) tal que `() =
_
.
) dj para cada /. Tomando conjuntos singulares (singletons) deduzca que ) = 0
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 j no es o-nita.
12.-Note que ` j es obvio ya que j() = 0 implica que = c. Suponga
que existe una funcin medible ) tal que `() =
_
.
) dj para cada /. Nuevamente
tomando conjuntos singulares deduzca que ) es idnticamente nula. Esto contradice la
denicin de `. Note que j no es o-nita.
1.-Es claro que i _ 0 y que i(c) = 0. Falta demostrar que i es contablemente
aditiva en H. Suponga que =
n
I=1
I
1
I
=
o
I=1
C
I
1
I
. Entonces para todo (r, j) \I
se tiene
n
I=1
.i
(r)
1i
(j) =
o
I=1
ci
(r)
1i
(j)
112 Respuestas
Si mantenemos ja la variable r e integramos respecto a la variable j y aplicamos el
teorema de la convergencia montona, se obtiene
n
I=1
.i
(r)`(1
I
) =
o
I=1
ci
(r)`(1
I
),
integrando nuevamente respecto a la variable r y usando nuevamente el teorema de la
convergencia montona, se concluye que
i() =
n
I=1
j(
I
)`(1
I
) =
o
I=1
j(C
I
)`(1
I
)
=
o
I=1
i(C
I
1
I
).
2.-Note que ) =
1
en donde 1 es la diagonal del cuadrado unitario. Para
demostrar que ) es medible, basta demostrar que 1 es medible. Para cada natural :
dena
1
=
_
, 1
:
,
,
:
_
Q
n
= (1
1
1
1
) ' (1
2
1
2
) ' ' (1
n
1
n
) .
Note ahora que 1 =
o
n=1
Q
n
. Esto demuestra que 1 es medible.
3.-Sea C R no medible. Entonces, por Proposicin 156 el conjunto = 1C
no pertenece a la o-lgebra E(R) E(R) y sin embargo es subconjunto de un conjunto de
medida nula, esto es 1 R.
4.-De acuerdo al Teorema 160, parte (c) la funcin c
|r
sinr es integrable en
R
+
R
+
y por lo tanto las integrales iteradas son iguales. Luego:
_
o
0
sinr
r
dr =
_
o
0
__
o
0
c
r|
sinrdt
_
dr =
_
o
0
__
o
0
c
r|
sinrdr
_
dt
=
_
o
0
_
lim
oo
c
o|
(t sina cos a
1 t
2

1
1 t
2
_
dt
=
_
o
0
1
1 t
2
dt =

2
.
5.-Note que
r
2
j
2
(r
2
j
2
)
2
=
1
r
2
j
2
2j
2
1
(r
2
j
2
)
2
. Integrando respecto a r y
usando frmula de reduccin en la expresin
1
(r
2
j
2
)
2
, se obtiene:
_
1
0
_
1
0
) drdj =
_
1
0
dj
__
1
0
dr
r
2
j
2
2j
2
_
1
2j
2
(1 j
2
)

1
2j
2
_
1
0
dr
r
2
j
2
__
=
_
1
0
dj
1 j
2
= aiclan1 =
4
.
Similarmente
_
1
0
_
1
0
) djdr = ,4.
6.-De acuerdo a la denicin
(:=) (Q) = :([a, /[ =(:, : 1, . . . , :)
= (/ a)(:: 1).
Por otro lado:
_ _
RN
) d (:=) = 1 2 r =
r(r 1)
2
.
114 Respuestas
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 PDF

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

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

Загружено:

Авторское право:

Доступные форматы

Teora de la Medida e Integracin

Carlos Martnez Yez

= c para todo i ,= ,. Note que esta condicin es ms

como el conjunto de todas las sucesiones

se dene la suma de sucesiones y el

es un espacio vectorial. Si adems denimos:

es un espacio de Banach. Estos espacios son un caso especial

que deniremos ms adelante.

se denominan respectivamente, parte positiva y parte negativa

, la aditividad contable de j implica que:

son medibles. Para 1 /, denamos:

_ [)[ y por lo tanto

2q dj es nito, se puede sustraer de ambos lados, obteniendo:

) dj. Entonces a < t < /. Si , es el supremo

Por lo tanto para todo r \ se tiene:

para t R implica que:

dj es menor que . Dividiendo por este factor en 6.10

Denicin 129 Si 0 < j < y ) : (\, /, j) [, [ es una funcin medible,

(j) al conjunto de todas las funciones ) tales que |)|

(j), 1 _ j _ , para denotar los espacios

(). Si es contable escribiremos |

. Los elementos de estos

(j) con 1 _ j _ , denimos la relacin:

(j), 1 _ j _ , los espacios

(j) son espacios vectoriales normados. Si en estos espacios denimos:

entonces d es una distancia en 1

(j). Esta distancia se conoce como la mtrica o distancia

(j), 1 _ j _ son espacios mtricos completos.

_ 1. En particular q(r) < c.t.p., de manera que la serie:

. Sea c 0. Entonces existe tal que para todo :, : _ se cumple

< c. Fijemos : _ . Entonces por el lema de Fatou, se tiene:

Luego, para todo : _ se cumple que |) )

< c. De aqu se obtienen dos conclu-

< c para todo : _ , de deduce que ()

. Esto naliza la demostracin.

(j). Supongamos que ) _ 0 y sea :

(j), y por lo tanto :

0. Esto demuestra que ) pertenece a

-clausura de o. El caso general se deduce de este.

(j) para algn j _ 1 y

con 1 _ j < . Demuestre que (r

. Sin embargo si denimos d(), q) =

13. Demuestre que si 0 < j < 1, entonces la vecindad del cero

dj, 1 = j : ,(j) < .

()) tiene las mismas propiedades que |.|

pero tiene una propiedad

) una sucesin de conjuntos negativos tales que

son medidas. Adems para todo conjunto medible 1 se tiene:

se conocen como la variacin positiva y la variacin

(1) = [`[ (1).

(1) = `(1 1) `(1 ) = 0.

con 1 _ j < . Estos teoremas llevan el nombre genrico de teoremas

son conjuntos medibles.

: (\, /) [, [ denida por:

(r) = )(r, j) (r \),

) < , para todo ,. Por el teorema de la convergencia

. Apliquemos parte (a) a )

del mismo modo en que , se asoci a ). Como

representan respectivamente la parte

vlidas para todo nmero real a.

satisface 9.4. Sea 1 = 1

)(a) derivada supe-

)(a) derivada inferior lateral izquierda.