Teoria de La Medida e Integracion

Teora de la Medida e Integracin
Carlos Martnez Yez

Marzo 2002
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
p
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
p
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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 2007.
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, 3, entonces
T()=c, 1 , 2 , 3 , 1, 2 , 1, 3 , 2, 3 , 1, 2, 3 .
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, 3, entonces ( =c, 1 , 3 , 1, 3 , 2, 3 es una tal
coleccin. Para simplicar notacin y lenguaje en algunas ocasiones diremos, por ejemplo,
la coleccin c, 1 , 3 , 1, 3 , 2, 3 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:
( =

Fc
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
lmsup
no

n
y lminf
no

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

n
=
o
n=1
o
_
i=n
i
lminf
no

n
=
o
_
n=1
o
i=n
i
Si lmsup
no

n
= lminf
no

n
, diremos que la sucesin (
n
) tiene lmite y escribiremos:
lm
no
n
= lmsup
no

n
= lminf
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
j
= 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, 3;
C
3
= 1, 3 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
es una coleccin arbitraria de abiertos, entonces

es abierto.
3. Si G
1
, G
2
, . . . , G
n
son : conjuntos abiertos, entonces
n
k=1
G
k
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
es una coleccin arbitraria de cerrados, entonces

es cerrado.
3. Si 1
1
, 1
2
, . . . , 1
n
son : conjuntos cerrados, entonces
n
k=1
1
k
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
es una coleccin arbitraria en T , entonces

T .
3. Si G
1
, G
2
, . . . , G
n
son : conjuntos en T , entonces
n
k=1
G
k
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:
lm
no
r
n
= r; lmr
n
= r; r
n
r.
Si lm
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
m
) < 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 |
p
como el conjunto de todas las sucesiones
de escalares (r
n
) tales que

[r
n
[
p
< . Si en |
p
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 |
p
es un espacio vectorial. Si adems denimos:
|(r
n
)|
p
= (
[r
n
[
p
)
1=p
es posible demostrar que |
p
es un espacio de Banach. Estos espacios son un caso especial
de los espacios 1
p
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
de subconjuntos de A
se dice que es un recubrimiento abierto de A si G
es abierto para cada c y adems se

cumple que

= A.
Denicin 40 Diremos que el espacio topolgico (A, T ) es un espacio compacto si todo
recubrimiento abierto G
de A tiene un subrecubrimiento nito, es decir, existe una

subcoleccin G
k
n
k=1
de la coleccin G
tal que
n
k=1
G
k
= 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
_
k=1
1(a
k
, 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.
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
_
j=1
j
_
_
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
lm1
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.
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, 9) = j(6, 7, 9) = 3.
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 (
k
)
n
k=1
en (, con
n
k=1
k
( se
tiene:
j
_
n
k=1
k
_
=
n
k=1
j(
k
)
(c) Contablemente aditiva (o o-aditiva) si para toda sucesin (
k
)
o
k=1
en (, con
o
k=1
k
(
se tiene:
j
_
o
k=1
k
_
=
o
k=1
j(
k
) .
Recuerde que en las notaciones +1 y
o
k=1
k
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
k=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() = lm
no
j(
n
)
4.
n
| y existe :
0
N tal que j(
n0
) < == j() = lm
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
)
= lm
no
_
j(
1
) +
n
i=2
j(
i
i1
)
_
= lm
no
j
_
1
+
n
i=2
(
i
i1
)
_
= lm
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
)
_
= lm
no
j(
n0

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

n
)
= j(
n0
) j(
n0
) + lm
no
j(
n
)
= lm
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
_
lminf
no

n
_
_ lminf
no
j(
n
)
c) j
_
lmsup
no

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

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

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

n
=
o
n=1
o
i=n
i
, se tiene que 1
n
lminf
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
_
lminf
no

n
_
= lm
no
j
_
o
i=n
i
_
= lminf
no
j
_
o
i=n
i
_
_ lminf
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 lmsup
n
=
o
n=1
o
i=n
i
, se tiene que 1
n
| lmsup
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,
A
(r) =
B
(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
k=1
k
(, entonces:
j
_
n
k=1
k
_
_
n
k=1
j(
k
).
3. Contablemente subaditiva si dados
1
,
2
, . . . en ( tal que
o
k=1
k
(, entonces:
j
_
o
k=1
k
_
_
o
k=1
j(
k
).
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:
`
+
() =nf
_
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
nk
)
o
k=1
tal que:
n

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

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

o
_
n;k=1
1
nk
,
32 Medida
y adems:
`
+
_
o
_
n=1
n
_
_
o
n;k=1
`(1
nk
) _
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)
Sumando ambas ecuaciones y enseguida restando j
+
(1) a cada lado (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
k=1
1
k
. Entonces se arma que para todo : _ 1 se cumple:
j
+
( 1
n
) =
n
k=1
j
+
( 1
k
) .
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
k=1
j
+
( 1
k
) +j
+
( 1
n+1
)
=
n+1
k=1
j
+
( 1
k
) .
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
k=1
1
k
cumple con la igualdad:
j
+
( 1) =
o
k=1
j
+
( 1
k
) . (3.5)
En efecto, por la monotona de j
+
se tiene:
j
+
( 1) _ j
+
( 1
n
) =
n
k=1
j
+
( 1
k
) . (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
k=1
1
k
pertenece a /. En efecto, para todo se tiene:
j
+
() = j
+
( 1
n
) +j
+
(1
n
)
=
n
k=1
j
+
( 1
k
) +j
+
(1
n
)
_
n
k=1
j
+
( 1
k
) +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.
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
k=1
(a
k
, /
k
], (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
k=1
(a
k
, /
k
]) =
n
k=1
(/
k
a
k
)
:(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.
42 Extensin de Medidas
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 1+r. Para probar (b), suponga que r (1+r) (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 =
(1+r), 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) _ 3. 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) lm
xa
+
)(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
f
(o :
f
) para indicar que depende de
).
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) = lmsup
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 nf en el enunciado de la proposicin. Ahora como:
/(r) = nf
k1
_
sup
jk
)
j
_
,
se sigue que / es medible. Esto termina la demostracin.
Corolario 99 Si ), q : (, /) [, ] son dos funciones medibles, entonces tambin
lo son max ), q y mn), q. En particular son medibles:
)
+
= max ), 0 y )
= mn), 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
= (n, ) : 1(n, ) c .
Como 1 es continua, G
es un subconjunto abierto de R R y podemos escribir:

G
=
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
=
_
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
k
= r : :(r) = c
k
, entonces es fcil ver que:
: =
n
k=1
c
k
A
k
, (5.3)
en donde
A
k
es la funcin caracterstica de
k
. Si (, /) es un espacio medible, entonces
: es medible si y slo si todos los conjuntos
k
son medibles. Cada vez que escribamos :
como en la Ecuacin 5.3, supondremos que los valores c
k
y los conjuntos
k
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, 3, . . . , 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

En;i
+:
Fn
.
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
k=1
c
k
A
k
.
*
Vea nota y denicin siguiente.
Integracin de Funciones Positivas 49
Si 1 /, se dene:
_
E
: dj =
n
k=1
c
k
j(
k
1).
La convencin 0 = 0 debe ser considerada en esta denicin. Podra suceder que
c
k
= 0 para algn / y que justamente j(
k
1) = .
Denicin 108 Si ) : (, /, j) [0, ] es una funcin medible y 1 /, se dene:
_
E
) dj = sup
_
E
: 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
_
E
) dj _
_
E
q dj.
(b) Si 1 y ) _ 0, entonces
_
A
) dj _
_
B
) dj.
(c) Si ) _ 0, y 0 _ c _ , entonces
_
E
c) dj = c
_
E
) dj.
(d) Si )(r) = 0 para todo r 1, entonces
_
E
) dj = 0.
(e) Si j(1) = 0, entonces
_
E
) dj = 0.
(f ) Si ) _ 0, entonces
_
E
) dj =
_
E
) dj.
Demostracin. (a), (b), (d) y (e) se deducen directamente de la denicin. Para
(c) consideremos dos casos (i) Si
_
E
) 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
_
E
) 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) =
_
E
: dj.
Entonces , es una medida sobre /. Adems:
_
(: +t) dj =
_
: dj +
_
t dj. (5.5)
Demostracin. Sea : =
n
k=1
c
k
A
k
. Sea 1
1
, 1
2
, . . . , una sucesin disjunta de
miembros de /, entonces si 1 =
o
j=1
1
j
, la aditividad contable de j implica que:
,(1) =
n
k=1
c
k
j(
k
1) =
n
k=1
c
k
o
j=1
j(
k
1
j
)
=
o
j=1
n
k=1
c
k
j(
k
1
j
) =
o
j=1
,(1
j
).
50 Integracin
Como ,(c) = 0, entonces , es una medida sobre /.
Ahora demostraremos la segunda parte del lema. Sea : como antes y suponga que
t =
m
k=1
,
k
B
k
. Sea:
1
ij
=
i
1
j
,
entonces:
_
Eij
(: +t) dj = (c
i
+,
j
)j(1
ij
) = c
i
j(1
ij
) +,
j
j(1
ij
) =
_
Eij
: dj +
_
Eij
t dj.
Por lo tanto la Ecuacin 5.5 se cumple con 1
ij
en lugar de . Como es la unin disjunta
de estos conjuntos 1
ij
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 _
_
En
)
n
dj _ c
_
En
: 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
n=1
_
)
n
(r) dj (5.10)
Pero como
N
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
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) =
_
E
) 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 =
E
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 =
_
lm
no
:
n
dc = lm
no
_
:
n
dc = lm
no
_
:
n
) dj =
_
lm
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: _
_
lminf
no
)
n
_
dj _ lminf
no
_
)
n
dj.
Demostracin. Para cada : N y cada r , denamos:
q
n
(r) = nf
kn
)
k
(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) lminf
no
)
n
(r). Aplicando el teorema de la
convergencia montona de Lebesgue a la sucesin (q
n
), se tiene:
lm
no
_
q
n
dj =
_
lminf
no
)
n
dj. (5.16)
Por otro lado de 5.15 se obtiene:
lminf
no
_
q
n
dj _ lminf
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:
_
lminf
no
)
n
dj _ lminf
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:

_
E
) dj =
_
E
)
+
dj
_
E
)
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
_
E
) dj est bien denida y es un
nmero real, puesto que )
+
_ [)[ y )
_ [)[ y por lo tanto

_
E
)
+
dj < y
_
E
)
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:
_
_
lmsup
no
)
n
_
dj _ lmsup
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:
_
lminf
no
/
n
dj _ lminf
no
_
/
n
dj,
pero entonces:
_
q dj
_
lmsup
no
)
n
dj =
_
lminf
no
(q )
n
) dj =
_
lminf
no
/
n
dj =
_ lminf
no
_
/
n
dj = lminf
no
_
(q )
n
) dj
=
_
q dj lmsup
no
_
)
n
dj.
Simplicando por
_
q dj se obtiene
_
lmsup
no
)
n
dj _ lmsup
no
_
)
n
dj. Esto termina la
demostracin.
Proposicin 117 Sea ) : (, /, j) [, ] una funcin integrable. Entonces, para
todo 1 / se tiene:

_
E
) dj
_
_
E
[)[ dj.
Demostracin. Observe que:
_
E
) dj =
_
E
)
+
dj
_
E
)
dj _
_
E
)
+
dj _
_
E
[)[ dj.
Anlogamente:
_
E
) dj =
_
E
)
+
dj
_
E
)
dj _
_
E
)
dj _
_
E
[)[ dj.
Por lo tanto:
_
E
[)[ dj _
_
E
) dj _
_
E
[)[ 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) = lm
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,
lm
no
_
[)
n
)[ dj = 0, (5.19)
y
lm
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 _ lminf
no
_
(2q [)
n
)[) dj
=
_
2q dj + lminf
no
_
[)
n
)[ dj
_
=
_
2q dj lmsup
no
__
[)
n
)[ dj
_
.
Como
_
2q dj es nito, se puede sustraer de ambos lados, obteniendo:

lmsup
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
a
) dr para escribir la integral de Lebesgue
en el intervalo [a, /] y
_
b
a
) 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
a
) dr =
_
b
a
) dr
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) = exp(r) = c
x
y ,(r) = r
p
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
p
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 _
__
)
p
dj
_
1=p
__
q
q
dj
_
1=q
(6.4)
y
__
() +q)
p
dj
_
1=p
_
__
)
p
dj
_
1=p
+
__
q
p
dj
_
1=p
(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:
_
1
p
dj =
_
G
q
dj = 1.
Si r cumple con 0 < 1(r) < y 0 < G(r) < , entonces existen reales : y t tales
que:
1(r) = c
s=p
, G(r) = c
t=q
.
Los Espacios 1
p
61
Como 1,j + 1, = 1, la convexidad de la funcin exponencial implica que:
c
s=p+t=q
_
1
j
c
s
+
1
c
t
.
De lo que sigue:
1(r)G(r) _
1
j
1(r)
p
+
1
G(r)
q
. (6.7)
Note que 6.7 es vlida para todo r . Integrando se obtiene:
_
1Gdj _
1
j
_
1
p
dj +
1
G
q
dj =
1
j
+
1
= 1.
Usando 6.6, nalmente se obtiene:
_
)q dj _ 1 =
__
)
p
dj
_
1=p
__
q
q
dj
_
1=q
,
lo que demuestra la desigualdad de Hlder.
Para demostrar 6.5 escribamos:
() +q)
p
= ) () +q)
p1
+q () +q)
p1
.
De acuerdo a Hlder se tiene que:
_
) () +q)
p1
dj _
__
)
p
dj
_
1=p
__
() +q)
(p1)q
dj
_
1=q
(6.8)
Anlogamente:
_
q () +q)
p1
dj _
__
q
p
dj
_
1=p
__
() +q)
(p1)q
dj
_
1=q
(6.9)
Sumando 6.8 y 6.9 y observando que (j 1) = j, se obtiene:
_
() +q)
p
dj _
__
() +q)
p
dj
_
1=q
_
__
)
p
dj
_
1=p
+
__
q
p
dj
_
1=p
_
. (6.10)
Evidentemente es suciente demostrar 6.5 en el caso que el lado izquierdo sea mayor que
0 y el derecho menor que . La convexidad de la funcin t
p
para t R implica que:
_
) +q
2
_
p
_
1
2
()
p
+q
p
) .
De aqu se deduce que
_
() +q)
p
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
p
Denicin 129 Si 0 < j < y ) : (, /, j) [, ] es una funcin medible,
denamos:
|)|
p
=
__
[)[
p
dj
_
1=p
.
Denotaremos por /
p
(j) al conjunto de todas las funciones ) tales que |)|
p
< . Si
= R, escribiremos /
p
(R) en lugar de /
p
(j).
62 Los Espacios 1
p
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
nf 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 /
p
(j), 1 _ j _ , para denotar los espacios
arriba denidos, usaremos |
p
(). Si es contable escribiremos |
p
. Los elementos de estos
ltimos espacios pueden ser considerados como sucesiones reales. Si r = (r
n
) es una tal
sucesin, entonces:
|r|
p
=
_
_
_
o
n=1
[r
n
[
p
_
1=p
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
=nf o = mno. En efecto, si , =nf 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 )
/
p
(j) y q /
q
(j). Entonces )q /
1
(j) y,
|)q|
1
_ |)|
p
|q|
q
. (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 ) /
p
(j) y q /
p
(j). Entonces ) + q
/
p
(j) y adems:
|) +q|
p
_ |)|
p
+|q|
p
. (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
p
63
Denicin 135 Si en los espacios /
p
(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
p
(j) los espacios vectoriales formados por las respectivas clases de equivalencia.
Nota 136 Es fcil darse cuenta que a diferencia de /
p
(j), 1 _ j _ , los espacios
1
p
(j) son espacios vectoriales normados. Si en estos espacios denimos:
d(), q) = |) q|
p
entonces d es una distancia en 1
p
(j). Esta distancia se conoce como la mtrica o distancia
usual de 1
p
(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
p
(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
_
_
p
<
1
2
i
i _ 1. (6.13)
Dena:
q
k
=
k
i=1
)
ni+1
)
ni
, q =
o
i=1
)
ni+1
)
ni
. (6.14)
Por 6.13,
|q
k
|
p
_
k
i=1
_
_
)
ni+1
)
ni
_
_
p
_
k
i=1
1
2
i
< 1.
Usando ahora el lema de Fatou, se tiene:
|q|
p
p
=
_
q
p
dj =
_
(lmq
k
)
p
dj =
_
lm(q
p
k
) dj
=
_
lminf (q
p
k
) dj _ lminf
_
q
p
k
dj = lminf |q
k
|
p
p
_ 1.
Por lo tanto |q|
p
_ 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
+
k1
i=1
_
)
ni+1
)
ni
_
= )
n
k
se concluye que )(r) = lm
io
)
ni
(r) casi en todas partes. Demostraremos ahora que ()
n
)
converge a ) en 1
p
. Sea c 0. Entonces existe tal que para todo :, : _ se cumple
que |)
n
)
m
|
p
< c. Fijemos : _ . Entonces por el lema de Fatou, se tiene:
_
[) )
m
[
p
dj =
_
[lm)
ni
)
m
[
p
dj =
_
lm[)
ni
)
m
[
p
dj
_ lminf
_
[)
ni
)
m
[
p
dj = lminf |)
ni
)
m
|
p
p
< c
p
.
64 Los Espacios 1
p
Luego, para todo : _ se cumple que |) )
m
|
p
< c. De aqu se obtienen dos conclu-
siones:
(1) ) )
m
1
p
y como )
m
1
p
, se deduce que ) 1
p
.
(2) Ya que ) 1
p
y |) )
m
|
p
< c para todo : _ , de deduce que ()
n
)
converge a ) en 1
p
. Esto naliza la demostracin.
Corolario 138 Si ()
n
) es una sucesin convergente a ) en el espacio 1
p
(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
p
(j).
Demostracin. Como el soporte de las funciones simples de o tiene medida
nita, se sigue que o 1
p
(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
p
(j), y por lo tanto :
n
o. Como [) :
n
[
p
_ )
p
, el teorema de la
convergencia dominada demuestra que |) :
n
|
p
0. Esto demuestra que ) pertenece a
la 1
p
-clausura de o. El caso general se deduce de este.
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() =
_
A
) 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 , = nf
BA
j(1) y sea (1
j
) una sucesin de conjuntos negativos tales que
j(1
j
) ,. Sea:
=
o
_
j=1
1
j
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
k
)
o
k=1
y (:
k
)
o
k=1
tales que :
k
es el
menor entero positivo para el cual existe 1
k
1
0
k1
i=1
1
i
, satisfaciendo:
j(1
k
) _ 1,:
k
. (7.2)
Es claro que j
_
o
i=1
1
i
_
< y como la coleccin 1
k
es disjunta, se deduce que j(1
k
) 0.
Por lo tanto, de acuerdo a 7.2 se tiene:
lm
ko
1
:
k
= 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
:
k
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) =
_
E
) 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
_
A
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 _ , _ :,
j
= r : q
j
(r) = )
n
(r) . q
j
max q
1
, . . . , q
j1
,
entonces
1
,
2
, . . . ,
n
es una coleccin disjunta tal que
n
j=1
j
= . Por lo tanto, de
acuerdo al Corolario 113, si / se tiene:
_
A
)
n
dj =
n
j=1
_
A|Aj
)
n
dj =
n
j=1
_
A|Aj
q
j
dj _
n
j=1
`(
j
) = `() .
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)
_
E
) 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)
_
E
) dj cj(1).
De esta ltima armacin se desprende que para todo 1 /,
`(1 1) _
_
E|P
) dj +cj(1 1). (7.6)
Como ) H, tambin se tiene que:
`(1 1) _
_
EP
) dj. (7.7)
Sumando las desigualdades 7.6 y 7.7, se obtiene:
`(1) = `(1 1) +`(1 1) _
_
E|P
) dj +cj(1 1) +
_
EP
) dj
=
_
E
) dj +cj(1 1) =
_
E
) dj +c
_
E

P
dj
=
_
E
() +c
P
) dj.
74 Medidas Signadas
Por lo tanto ) +c
P
H. Pero:
_
() +c
P
) dj =
_
) dj +c
_
P
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) =
_
E
) 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
) =
_
E|An
)
n
dj.
Ahora es fcil ver que la funcin ) =
An
)
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) =
_
E
) dj (1 /).
Demostracin. De acuerdo al Corolario anterior, existen funciones medibles )
1
y )
2
tales que:
`
+
(1) =
_
E
)
1
dj, `
(1) =
_
E
)
2
dj (1 /).
Entonces:
`(1) = `
+
(1) `
(1) =
_
E
()
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 `
a
y `
s
en
/ tal que:
` = `
a
+`
s
, `
a
j, `
s
l j. (7.8)
El par (`
a
, `
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) =
_
B
) 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:
`
a
(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
a
y `
t
s
satisfaciendo 7.8. Entonces:
`
t
a
`
a
= `
s
`
t
s
, `
t
a
`
a
j, `
s
`
t
s
l j,
entonces la Proposicin 148 implica que `
t
a
`
a
= `
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
p
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.
Captulo 8
INTEGRACIN EN ESPACIOS PRODUCTO
8.1. Medidas Producto
Denicin 155 Sean (, /) y (, E) dos espacios medibles. Denotaremos por /E la
o-lgebra generada en por todos los rectngulos medibles 11 con 1 / y 1 E.
Como siempre denotaremos por ( , /E) el espacio medible resultante.
Proposicin 156 Sean (, /) y (, E) dos espacios medibles. Sea 1 /E, entonces
para cada r y para cada j ,
1
x
= j : (r, j) 1 E.
1
y
= r : (r, j) 1 /.
En otras palabras, 1
x
y 1
y
son conjuntos medibles.
Estos conjuntos se conocen respectivamente como la r-seccin y la j-seccin de
1.
Demostracin. Denamos H = 1 /E : 1
x
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
_
x
=
_
(1
n
)
x
(1
c
)
x
= (1
x
)
c
.
Proposicin 157 Sea ) : ( , /E) [, ] una funcin medible. Entonces:
(a) Para cada r la funcin )
x
: (, E) [, ] denida por:
)
x
(j) = )(r, j) (j ),
es medible (respecto a la o-lgebra E).
(b) Para cada j la funcin )
y
: (, /) [, ] denida por:
)
y
(r) = )(r, j) (r ),
es medible (respecto a la o-lgebra /).
Demostracin. (a) Basta demostrar la proposicin para funciones del tipo ) =
A
, 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 ) =
A
con /E. Sea r , entonces hay que
demostrar que para todo c R, el conjunto:
j : (
A
)
x
(j) c = j :
A
(r, j) c E.
Pero:
j :
A
(r, j) c =
_
_
_
c Si c _ 1
j : (r, j) Si 0 _ c < 1
Si c < 0
Por lo tanto todo se reduce a demostrar que la seccin
x
= j : (r, j) pertenece
a E y esto ltimo es cierto por Proposicin 156. Esto termina la demostracin.
Teorema 158 Sean (, /, j) y (, 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 (, E, `) dos espacios de medida o-nitas. Suponga
que Q /E. Considere las funciones:
, : [0, ] , denida por ,(r) = `(Q
x
).
c : [0, ] , denida por c(j) = j(Q
y
).
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 (
j
) y (1
j
) dos
sucesiones de conjuntos (ambas disjuntas) en / y E respectivamente tales que =
j
y =
1
j
con j(
j
) < y `(1
j
) < , para todo ,. Por el teorema de la convergencia
montona es suciente demostrar que para todo , y / jos, se tiene que:
,
k
: [0, ] , denida por ,
k
(r) = `(Q
x
1
k
)
es /-medible y,
(j `) (Q (
j
1
k
)) =
_
Aj
`(Q
x
1
k
) 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
k
) < , se tiene:
`((1 1)
x
1
k
) = `((1
x
1
k
) (1
x
1
k
))
= `(1
x
1
k
) `(1
x
1
k
) .
Esto demuestra que la funcin r `((1 1)
x
1
k
) es /-medible.
Por otro lado, como las funciones:
Aj
(r)`(1
x
1
k
) y
Aj
(r)`(1
x
1
k
)
son j-integrables, se tiene:
_
Aj
`((1 1)
x
1
k
) dj =
_
Aj
`(1
x
1
k
) dj
_
Aj
`(1
x
1
k
) dj
= (j `) (1 (
j
1
k
)) (j `) (1 (
j
1
k
))
= (j `) ((1 1) (
j
1
k
)) .
Esto demuestra que / es cerrada bajo diferencia propia y termina la demostracin.
8.2. El Teorema de Fubini
Teorema 160 Sean (, /, j) y (, E, `) dos espacios de medida o-nitas. Entonces:
(a) Si ) : ( , /E, j `) [0, ] es medible y , y c son las funciones:
,(r) =
_
)
x
d`, c(j) =
_
)
y
dj. (8.3)
Entonces , es /-medible y c es E-medible y se cumple:
_
,dj =
_
) d (j `) =
_
c d`. (8.4)
(b) Si ) : ( , /E, j `) [, ] es integrable, entonces )
x
1
1
(`)
para casi todo r , )
y
1
1
(j) para casi todo j , las funciones denidas por 8.3
pertenecen a 1
1
(j) y a 1
1
(`) respectivamente y se cumple 8.4.
(c) Si ) : ( , /E, j `) [, ] es medible y si
,
+
(r) =
_
[)[
x
d` y
_
,
+
dj < ,
entonces ) 1
1
(j `).
Demostracin. Por Proposicin 157, las deniciones de , y c tienen sentido.
Si Q /E y ) =
q
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) . 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.
80 Integracin en Espacios Producto
(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:
)
x
=
_
)
+
_
x
_
)
_
x
se deduce que )
x
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
y c en lugar de )
x
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 . Suponga que 1 es /E-medible. Entonces (j `) (1) =
0 si y slo si `(1
x
) = 0 para casi todos los r .
Demostracin. Aplicando la primera igualdad de 8.6 a la funcin caracterstica
de 1 se tiene:
_
dj(r)
_
E
(r, j) d`(j) =
__
E
d (j `) = (j `) (1).
Por lo tanto (j `) (1) = 0 si y slo si
_
E
(r, j) d`(j) = 0 c.t.p.[j]. Pero:
_
E
(r, j) d`(j) = `(1
x
).
Ejemplo 163 Sean = = [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 . 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 = = [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 :
k
la medida de Lebesgue en R
k
y supongamos que / =
r +:, r _ 1, : _ 1, entonces :
k
es la completacin de la medida producto :
r
:
s
.
Demostracin. Ver Rudin, Real and Complex Analysis.
Este resultado hace necesario el siguiente teorema:
Teorema 166 Sean (, /, j) y (, 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 , 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.
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) +
_
x
a
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
k
= / una
particin del intervalo [a, /]. Dena:
j =
k
j=1
()(t
j
) )(t
j1
))
+
(9.2)
: =
k
j=1
()(t
j
) )(t
j1
))
t =
k
j=1
[)(t
j
) )(t
j1
)[ ,
en donde ()(t
j
) )(t
j1
))
+
y ()(t
j
) )(t
j1
))
representan respectivamente la parte

positiva y la parte negativa de ()(t
j
) )(t
j1
)). 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 : =
k
j=1
_
()(t
j
) )(t
j1
))
+
()(t
j
) )(t
j1
))
_
=
k
j=1
()(t
j
) )(t
j1
)) = )(/) )(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
j
)
k
j=0
del intervalo [a, /] se tiene:
k
j=1
[)(t
j
) )(t
j1
)[ _
k
j=1
[)
1
(t
j
) )
1
(t
j1
)[ +
k
j=1
[)
2
(t
j
) )
2
(t
j1
)[
=
k
j=1
()
1
(t
j
) )
1
(t
j1
)) +
k
j=1
()
2
(t
j
) )
2
(t
j1
))
= )
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
N
en tal que:
:
+
_
1
N
_
k=1
1
k
_
< 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
_
k=1
1
k
_
_ :
+
_
1
n
_
k=1
1
k
_
+:
+
(),
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
k
)
o
k=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
k=1
1
k
(de lo contrario se contradice la
condicin de Vitali puesto que
n
k=1
1
k
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
k
)
o
k=1
de intervalos disjuntos en .
Ahora, como la coleccin es disjunta y
o
k=1
1
k
G, se deduce que
o
k=1
:(1
k
) _ :(G) < .
Por lo tanto, existe un natural tal que
o
k=N+1
:(1
k
) < c,5. Finalmente demostraremos
ahora que 1
1
, 1
2
, . . . , 1
N
satisface 9.4. Sea 1 = 1
N
k=1
1
k
y sea r un punto arbitrario de
1. Como
N
k=1
1
k
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
N
. Ahora si 1 1
k
= c para todo / _ :, entonces :(1) _ /
n
< 2:(1
n+1
).
Como lm
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
) =
5
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
k=N+1
J
k
. Por lo tanto:
:
+
(1) _
o
k=N+1
:(J
k
) = 5
o
k=N+1
:(1
k
) < c.
Denicin 173 Sea ) : [a, /] R. Las siguientes expresiones se denominan derivadas
de ) en a:
1
+
)(a) = lmsup
h0
+
)(a +/) )(a)
/
1
+
)(a) = lminf
h0
+
)(a +/) )(a)
/
1
)(a) = lmsup
h0
)(a +/) )(a)

/
1
)(a) = lminf
h0
)(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
a
)
t
d: _ )(/) )(a).
Demostracin. De acuerdo al Problema 4 basta demostrar que el lmite:
q(r) = lm
h0
)(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 =
_
p;qQ
_
r [a, /] : 1
+
)(r) j 1
)(r)
_
.
Por lo tanto basta demostrar que cada conjunto,
1
p;q
=
_
r [a, /] : 1
+
)(r) j 1
)(r)
_
,
tiene medida nula.
Sea : = :
+
(1
p;q
). De acuerdo al Problema 11, pgina 44 dado c 0, existe un
abierto G conteniendo 1
p;q
tal que :(G) < : +c.
Si r 1
p;q
, 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) =
_
x
a
)(t)dt
es absolutamente continua.
Lema 179 Si ) : [a, /] R es integrable y
_
x
a
)(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
a
) =
_
F
) +
_
G
)
se tiene que
_
F
) =
_
G
). Pero por otro lado
_
F
) 0, por lo que
_
G
) ,= 0. Ahora, como
G es abierto, entonces G =
o
n=1
(a
n
, /
n
) y por lo tanto, se debe cumplir que
_
bn
an
) ,= 0
para algn :. Ahora como
_
bn
an
) =
_
bn
a
)
_
an
a
)
se debe cumplir que al menos una de las integrales
_
bn
a
),
_
an
a
) 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) =
_
x
a
)(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
/
_
x+h
x
)(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
a
1
t
= lm
no
_
c
a
)
n
= lm
no
1
/
_
c
a
(1(r +/) 1(r))dr
= lm
no
_
1
/
_
c+h
c
1(r)dr
1
/
_
a+h
a
1(r)dr
_
Ahora, como 1 es continua (recuerde que ) es integrable) del teorema fundamental del
clculo clsico se deduce que
_
c
a
1
t
= 1(c) 1(a) y por ende
_
c
a
1
t
=
_
c
a
). Como esta
igualdad es vlida para todo c [a, /] podemos aplica el Lema 179 y deducir que 1
t
= )
c.t.p. en [a, /].
Captulo 8, pgina 82 113
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.

Teoria de La Medida e Integracion

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Teoria de La Medida e Integracion

Uploaded by

Copyright:

Available Formats

Teora de la Medida e Integracin

Carlos Martnez Yez

( a la interseccin de todos los conjuntos pertenecientes a

es una coleccin arbitraria de abiertos, entonces

es una coleccin arbitraria de cerrados, entonces

es una coleccin arbitraria en T , entonces

es abierto para cada c y adems se

de A tiene un subrecubrimiento nito, es decir, existe una

se denominan respectivamente, parte positiva y parte negativa

es un subconjunto abierto de R R y podemos escribir:

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

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.

. Apliquemos parte (a) a )

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

representan respectivamente la parte

vlidas para todo nmero real a.

)(a +/) )(a)

)(a +/) )(a)

)(a) derivada supe-

)(a) derivada inferior lateral izquierda.

)(a) ,= , en consecuencia ) es diferenciable

)(r), luego para todo / < 0 sucientemente pequeo,

You might also like