Notas de teoria de la medida

Jess Armando Baldenebro Obeso

Universidad Autnoma de Quertaro.
Agosto 2006
2
ndice general
1. Espacios medibles y sigma-lgebras 5
1.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2. Sigma-lgebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3. Funciones medibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4. Funciones de valor complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.5. Funciones entre espacios medibles . . . . . . . . . . . . . . . . . . . . . . . . 14
2. Medidas 15
2.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.2. Medidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
3. Construccin de la medida de Lebesgue en R
.
21
3.1. Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.2. Existencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.3. Resultados adicionales sobre la medida de Lebesgue (opcional). . . . . . . . . 32
3.4. Invariancia euclidiana (opcional) . . . . . . . . . . . . . . . . . . . . . . . . . 35
4. Integrales 39
4.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
4.2. Integrales de funciones simples . . . . . . . . . . . . . . . . . . . . . . . . . . 39
4.3. Integrales de funciones medibles no negativas . . . . . . . . . . . . . . . . . . 42
5. El teorema de convergencia dominada y sus aplicaciones 49
5.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
5.2. Funciones integrables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
5.3. Aplicaciones del Teorema de Convergencia Dominada de Lebesgue . . . . . . 53
5.4. El conjunto de Cantor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
5.5. La funcin de Cantor (opcional) . . . . . . . . . . . . . . . . . . . . . . . . . 57
5.6. La funcin modicada de Cantor (opcional) . . . . . . . . . . . . . . . . . . 59
5.7. Integral de Riemann. Comparacin con la integral de Lebesgue . . . . . . . . 60
3
6. Los espacios de Lebesgue 1
j
65
6.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
6.2. Espacios normados. El espacios 1
1
. . . . . . . . . . . . . . . . . . . . . . . 65
6.3. Los espacios 1
j
. 1 _ j < . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
6.4. El espacio 1
o
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
7. Diferentes tipos de convergencia 73
7.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
7.2. Convergencia en 1
j
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
7.3. Convergencia en medida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
7.4. Convergencia casi uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
7.5. Teorema de Lusin (opcional) . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
8. Teorema de Radon-Nikodym 87
8.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
8.2. Teorema de descomposicin de Hahn . . . . . . . . . . . . . . . . . . . . . . 87
8.3. Medidas absolutamente continuas. Teorema de Radon-Nikodym . . . . . . . 90
8.4. Teorema de representacin de Riesz . . . . . . . . . . . . . . . . . . . . . . . 95
9. Generacin de medidas. El teorema de extensin de Carathedory 99
9.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
9.2. lgebras y medidas en lgebras . . . . . . . . . . . . . . . . . . . . . . . . . 99
9.3. Extensin de medidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
9.4. Medida de Lebesgue-Stieltjes . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
9.5. Funcionales lineales en C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
9.6. Complecin de medidas (opcional) . . . . . . . . . . . . . . . . . . . . . . . . 111
10.Medidas producto 115
10.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
10.2. Medidas producto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
10.3. Teorema de Tonelli y Teorema de Fubini . . . . . . . . . . . . . . . . . . . . 119
4
Captulo 1
Espacios medibles y sigma-lgebras
1.1. Introduccin
En este captulo exploraremos algunas cuestiones preliminares sobre espacios medibles.
La idea es establecer una generalizacin del concepto de longitud, rea y volumen, a espacios
ms generales. En realidad, no son necesarias todas las propiedades de R
.
para establecer
dichas cuestiones, y esto hace que el concepto sea aplicable en una multitud de situaciones.
De aqu en adelante, A representa un conjunto jo no vaco.
1.2. Sigma-lgebras
Denicin 1 Sea / una familia de subconjuntos de A. Decimos que / es una sigma-lgebra
(o-lgebra) en A si
i) A y ? estn en /
ii) Si /. entonces
c
= A /.
iii) Si
1
.
2
.
3
. ... es una sucesin de conjuntos en /. entonces
o
_
a=1

a
/.
Como 1 = 1
c
. y
o

a=1

a
=
_
o
_
a=1

c
a
_
c
. se sigue que 1 /. y
o

a=1

a
/.
siempre que . 1 /. y
a
/. para todo : N.
Ejemplo 1. Sea A un conjunto no vaco, y sea / = A. O . Es fcil ver que / es una
sigma-lgebra en A.
Ejemplo 2. Sea A un conjunto no vaco, y sea / = T (A) el conjunto potencia de A.
es decir, la familia de subconjuntos de A. Se puede ver que / es una sigma-algebra.
En cierto sentido estos dos ejemplos son las sigma-lgebras triviales.
5
Ejemplo 3. Sea A un conjunto no-numerable, y sea / la familia de subconjuntos de
A con la siguiente propiedad: / si, y slo si, o
c
es contable
1
. Entonces / es una
sigma-lgebra en A.
Ejemplo 4. Sean /
1
y /
2
sigma-lgebras en A. Entonces / = /
1
/
2
es una sigma-
lgebra en A. En general, si /
o

o1
es una familia arbitraria de sigma-lgebras en A.
entonces / =

o1
/
o
es una sigma-lgebra en A.
Ejemplo 5. Sea ( una familia no vaca de suconjuntos de A. Entonces existe una sigma-
lgebra ms pequea que contiene a (. Esta sigma-lgebra se denota por o (() . El hecho de
que sea la sigma-lgebra mas pequea que contiene a ( signica que si T es una sigma-lgebra
que contiene a (, entonces o (() _ T. En efecto, denimos
o (() :=

tT
T sigma-lgebra
T
Es fcil ver que o (() . denida as, cumple las propiedades mencionadas. A o (() se le llama
la sigma-lgebra generada por (.
Ejemplo 6. Un caso particular del ejemplo anterior es cuando A = R
.
. ( = la familia
de conjuntos abiertos en R
.
. En este caso a la sigma-lgebra generada por los conjuntos
abiertos de R
.
se le llama la sigma-lgebra de Borel en R
.
. y se denota por E
_
R
.
_
o E
R
N.
No debemos imaginar los elementos de la sigma-lgebra generada por la clase T de con-
juntos abiertos en R
.
en una forma constructiva, por medio de uniones numerables, intersec-
ciones o complementos de los elementos de T. El punto es que las operaciones mencionadas
antes pueden repetirse una cantidad innita de veces, en culquier orden. Por ejemplo, uno
puede formar la clase T
o
de uniones numerables de conjuntos cerrados en un intervalo, luego
la clase T
oc
de intersecciones numerables de elementos de T
o
. etc., y continuar este proceso
inductivamente. Se irn obteniendo nuevas clases de conjuntos en cada paso, pero ni siquiera
la union de todos ellos agota la coleccion o (T) . aunque la prueba de este hecho no es trivial
(ver Vestrup, Eric, The theory of measure and integration. pp. 23-27) Vamos a dar un ejem-
plo donde se puede dar la descripcin explcita de la sigma-lgebra generada por una clase
de conjuntos.
Ejemplo 7. Sea /
0
una sigma-lgebra de subconjuntos en un espacio A. Supngase que
un conjunto o _ A no pertenece a /
0
. Entonces la sigma-lgebra o (/
0
' o) generada
por /
0
y o es la coleccin de todos los conjuntos de la forma
1 = ( o) ' (1 (Ao)) . donde . 1 /
0
. (1.1)
1
Decimos que un conjunto en contable si es nito o numerable (en particular el conjunto vaco es nito).
Aqui entenderemos por numerable el hecho de que puede ponerse en correspondencia uno uno y sobre con
el conjunto N.
6
En efecto, todos los conjuntos de la forma (1.1) estan en o (/
0
' o) . Por otro lado, los
conjuntos del tipo indicado forman una sigma-lgebra. En efecto,
A1 = ((A) o) ' ((A1) (Ao))
ya que r no pertenece a 1 precisamente cuando r pertenece a o pero no a . o r no
pertenece ni a o ni a 1. Adems, si los conjuntos 1
a
se representan en la forma (1.1), con
algn
0
. 1
0
/
0
. entonces
o
a=1
1
a
y '
o
a=1
1
a
tambin tienen la forma (1.1). Por ejemplo,

o
a=1
1
a
tiene la forma (1.1) con =
o
a=1

a
y 1 =
o
a=1
1
a
. Finalmente, todos los conjuntos
en /
0
se obtienen en la forma (1.1) tomando = 1. y para obtener o se toma = A y
1 = O.
Denicin 2 Una coleccin T de subconjuntos de A es una lgebra en A si i) A. O T.
ii) si 1 T. entonces 1
c
T. iii) Si . 1 T. entonces ' 1 T.
De la denicin es fcil ver que si . 1 T. entonces 1 = (
c
' 1
c
)
c
T y que T
es cerrado bajo uniones nitas e intersecciones nitas. Tambin, toda sigma-lgebra es una
lgebra, pero el recproco es falso.
De modo anlogo a las sigma-lgebras, la interseccin arbitraria de lgebras de A es
una lgebra en A. y por lo tanto, si ( es una coleccin de subconjuntos de A. existe una
lgebra mnima, que denotaremos por c(() . que contiene a (, que es la interseccin de todas
las lgebras que contienen a (. Hemos mencionado antes que la construccin de la sigma-
lgebra de Borel de R (generada por los conjuntos abiertos de R) no tiene una construccin
sencilla. En cambio, la lgebra generada por una coleccin T de subconjuntos de A tiene
una descripcin explcita fcil. Sea T
0
= T'O . y sea T
1
= T
0
' :
c
T
0
. Sea
T
2
la coleccin de subconjuntos de A que son interseccin nita de elementos de T
1
. y
T
3
la coleccin de subconjuntos de A que son unin nita de elementos de T
2
. Entonces
c(T) = T
3
. En efecto, obsrvese que
T _ T
0
_ T
1
_ T
2
_ T
3
_ c(T) .
Probaremos que T
3
es cerrada bajo intersecciones y uniones nitas, y bajo complementos,
es decir, T
3
es una lgebra que contiene a T. y por lo tanto c(T) _ T
3
. y esto implica T
3
=
c(T) . Obsrvese que T
3
admite intersecciones nitas, porque si = '
a
i=1

i
, 1 = '
I
)=1
1
)
.
con
i
. 1
)
T. entonces
1 =
_
1ia,
1)I
(
i
1
)
) . con
i
1
)
T
2
.
Tambin, T
3
es cerrado al tomar complementos, porque si 1 = '
a
i=1
1
i
. con 1
i
T
2
. entonces
A1 =
a
i=1
(A1
i
) .
7
Como 1
i
= 1
i,1
' ' 1
i,I
i
. con 1
i,)
T
1
. entonces
A1
i
=
I
i

)=1
(A1
i,)
) .
donde 1
i,)
:= A1
i,)
T
1
. Por lo tanto,
A1 =
a

i=1
I
i
_
)=1
1
i,)
T
3
.
porque T
3
es cerrado bajo intersecciones nitas. Esto demuestra el teorema.
1.3. Funciones medibles
En lo que sigue, consideraremos un espacio medible (A. /) .
Denicin 3 Decimos que una funcin , de A a R es /-medible (o simplemente medible)
si para todo nmero real c el conjunto
r A : ,(r) c
pertenece a /.
El lema siguiente muestra que podamos haber modicado la forma de los conjuntos en
la denicin de medibilidad.
Lema 4 Las siguientes armaciones son equivalentes para una funcion , : A R.
(a) Para cada c R. el conjunto
c
= r A : ,(r) c pertenece a /.
(b) Para cada c R. el conjunto 1
c
= r A : ,(r) _ c pertenece a /.
(c) Para cada c R. el conjunto C
c
= r A : ,(r) _ c pertenece a /
(d) Para cada c R. el conjunto 1
c
= r A : ,(r) < c pertenece a /.
Demostracin. Como 1
c
y
c
son complementarios, la armacin (a) es equivalente a
la armacin (b). Similarmente, las armaciones (c) y (d) son equivalentes. Si (a) es vlida,
entonces
c1a
est en /. para todo : N. y como
C
c
=
o

a=1

c1a
.
se sigue que C
c
/. As, (a) implica (c). Como

c
=
o
_
a=1
C
c+1a
.
8
se sigue que (c) implica (a).
Ejemplo. Cualquier funcin constante es medible. Porque si ,(r) = c para toda r A
y si c _ c. entonces
r A : ,(r) c = O.
mientras que si c < c. entonces
r A : ,(r) c = A.
Ejemplo. Si 1 /. entonces la funcin caracterstica
1
, denida como

1
(r) =
_
1. r 1.
0. r , 1.
es medible. De hecho, r A :
1
(r) c es A. 1 o O.
Ejemplo. Si A = R. y /es la sigma-lgebra de los conjuntos de Borel, entonces cualquier
funcin continua , de R en R es Borel medible. De hecho, si , es continua, el conjunto
r A : ,(r) c es un conjunto abierto en R. y por lo tanto, es la union numerable de
intervalos abiertos, y por lo tanto, pertenece a /.
Ejemplo. Si A = R y / = E(R). entonces cualquier funcin montona es medible.
Porque, si , es creciente, en el sentido de que r _ r
t
implica que ,(r) _ ,(r
t
). entonces el
conjunto r R : ,(r) c consiste en una semirrecta que es de la forma r R : r _ c
o r R : r c .
Ciertas combinaciones sencillas de funciones medibles son medibles.
Lema 5 Sean , y q funciones medibles de valor real, y sea c un nmero real. Entonces las
funciones
c,. ,
2
. , q. ,q. [,[
son medibles.
Demostracin. (a) Si c = 0. la armacion es trivial. Si c 0. entonces
r A : c,(r) c = r A : ,(r) c,c /.
El caso c < 0 se prueba de manera similar.
(b) Si c < 0. entonces r A : ,(r)
2
c = A: si c _ 0. entonces
_
r A : ,(r)
2
c
_
=
_
r A : ,(r)
_
c
_
'
_
r A : ,(r) <
_
c
_
/.
9
(c) Si : es un nmero racional, entonces
o
v
= r A : ,(r) : r A : q(r) c :
estn en /. Se puede ver fcilmente que
1
c
:= r A : ,(r) q(r) c =
_
v racional
o
v
.
En efecto, si r '
vQ
o
v
. entonces r o
v
0
. para algn :
0
Q. Entonces
, (r) c y q (r) :
0
c.
Sumando las desigualdades, se tiene ,(r) q(r) c (:
0
c) = c. y as, r 1
c
. Recp-
rocamente, si r 1
c
. entonces , (r) q (r) c. y as, ,(r) q(r) c. Sea :
0
Q tal que
,(r) :
0
q (r) c. Entonces
, (r) :
0
. y q (r) :
0
c.
Esto implica que r o
v
0
_ '
vQ
o
v
. Se sigue que , q es medible.
(d) Como ,q =
1
4
(, q)
2

1
4
(, q)
2
. se sigue que ,q es medible.
(e) Si c < 0. entonces r A : [,(r)[ c = A. y si c _ 0. entonces
r A : [,(r)[ c = r A : ,(r) c ' r A : ,(r) < c .
Entonces [,[ es medible.
Si , es una funcin de A a R. denimos la parte positiva y la parte negativa de ,,
denotadas por ,
+
y ,

. como
,
+
(r) = snp(,(r). 0). ,

(r) = snp(,(r). 0).

Obsrvese que ,
+
(r) _ 0. ,

(r) _ 0. para toda r A. Claramente

, = ,
+
,

. [,[ = ,
+
,

.
y de aqu,
,
+
=
1
2
([,[ ,) . ,

=
1
2
([,[ ,) .
As, de lo anterior, , es medible si, y slo si, ,
+
y ,

son ambas medibles.

La discusin precedente tiene que ver con funciones de valor real denidas en un espacio
medible. Sin embargo, al tratar con sucesiones de funciones medibles, con frecuencia se
desea tomar lmites, supremos, etc., y es tcnicamente conveniente permitir los nmeros
reales extendidos y . As, deniremos medibilidad de la misma manera que como lo
hicimos para funciones de valor real.
10
Denicin 6 Una funcin real extendida , de A a R es medible si para todo real c. el
conjunto r A : ,(r) c pertenece a /. El conjunto de todas las funciones de valor real
extendido /-medibles se denota por `(A. /).
Obsrvese que si , `(A. /). entonces
r A : ,(r) = =
o

a=1
r A : ,(r) :
r A : ,(r) = =
_
o
_
a=1
r A : ,(r) :
_
c
.
y as, ambos conjuntos estn en /.
El siguiente lema es til al tratar con funciones mediles de valor extendido.
Lema 7 Una funcin , de valor extendido es medible si, y slo si, los conjuntos
= r A : ,(r) = . 1 = r A : ,(r) =
pertenecen a /, y la funcin ,
1
. denidas como
,
1
(r) =
_
,(r). r , ' 1.
0. r ' 1.
es medible.
Demostracin. Si , est en `(A. /). ya demostramos que y 1 pertenecen a /. Sea
c R. y c _ 0. entonces
r A : ,
1
(r) c = r A : ,(r) c .
Si c < 0. entonces
r A : ,
1
(r) c = r A : ,(r) c ' 1.
y as, ,
1
es medible.
Recprocamente, si . 1. ,
1
son medibles, entonces
r A : ,(r) c = r A : ,
1
(r) c ' .
si c _ 0. y
r A : ,(r) c = r A : ,
1
(r) c 1.
cuando c < 0. Por lo tanto , es medible.
11
Como consecuencia de los lemas anteriores, se sigue que si , `(A./). entonces las
funciones
c,. ,
2
. [,[ . ,
+
. ,

tambin pertenecen a `(A. /).

Adoptaremos la convencin de que 0() = 0. de manera que c, se anula idnticamente
cuando c = 0. Si ,. q `(A. /). entonces la suma no est bien denida por la frmula
(, q)(r) = ,(r) q(r) en los conjuntos
1
1
= r A : ,(r) = . q(r) = .
1
2
= r A : ,(r) = . q(r) = .
los cuales pertenecen a /. Sin embargo, si denimos , q como cero en 1
1
' 1
2
. la fun-
cin resultante es medible. Regresaremos a la cuestin de la medibilidad de ,q despus del
siguiente lema.
Lemma 1 Sean (,
a
) una sucesin de funciones en `(A. /). y denimos las funciones
,(r) = inl ,
a
(r). 1(r) = snp ,
a
(r)
,
+
(r) = liminl ,
a
(r). 1
+
(r) = limsnp ,
a
(r).
Entonces ,. 1. ,
+
. 1
+
pertenecen a `(A. /).
Demostracin. Obsrvese que
r A : ,(r) _ c =
o

a=1
r A : ,
a
(r) _ c .
r A : 1(r) c =
o
_
a=1
r A : ,
a
(r) c .
As, ,. 1 son medibles, cuando todas las ,
a
lo son. Como
,
+
(r) = snp
a1
_
inl
na
,
n
(r)
_
.
1
+
(r) = inl
a1
_
snp
na
,
n
(r)
_
.
se sigue que ,
+
. 1
+
son medibles.
Corolario 8 Si (,
a
) es una sucesin en `(A. /) que converge a ,. entonces , est en
`(A. /).
12
Demostracin. En este caso ,(r) = liminl ,
a
(r) = limsnp ,
a
(r).
Regresamos a la medibilidad de ,q. cuando ,. q `(A. /). Si : N. sea ,
a
la "trun-
cacin de ,"denida por
,
a
(r) =
_
_
_
,(r). [,(r)[ _ :
:. ,(r) :.
:. ,(r) < :.
Sea q
a
denida similarmente. Se puede ver fcilmente que ,
a
y q
a
son medibles. Se sigue que
el producto ,
a
q
a
es medible. Como
,(r)q
n
(r) = lim
ao
,
a
(r)q
n
(r). r A.
se sigue que ,q
n
est en `(A. /). Como
,(r)q(r) = lim
no
,(r)q
n
(r). r A.
se sigue que ,q esta en `(A. /).
Hemos demostrado que el lmite de una sucesin de funciones en `(A. /) est en
`(A. /). probaremos que una funcin no-negativa en `(A. /) es el lmite de una sucesin
de funciones montonas crecientes ,
a
en `(A. /). Ms an, cada ,
a
se puede escoger
no-negativa, y que tomo slo un nmero nito de valores.
Teorema 9 Si , es una funcin no-negativa en `(A. /). entonces existe una sucesin ,
a

en `(A. /) tal que

(a) 0 _ ,
a
(r) _ ,
a+1
(r) para toda r A.
(b) ,(r) = lim,
a
(r) para toda r A.
(c) Cada ,
a
tiene un nmero nito de valores reales.
Demostracin. Sea : N jo. Si / = 0. 1. .... :2
a
1. sea 1
I,a
el conjunto
1
I,a
=
_
r A : /2
a
_ ,(r) < (/ 1)2
a
_
.
y si / = :2
a
. sea 1
a2
n
,a
= r A : ,(r) _ : . Obsrvese que los 1
I,a
. / = 0. 1. .... :2
a
. son
ajenos dos a dos, estn en / y su unin es A. Sea
,
a
=
a2
n
1

I=0
/2
a

1
k;n
:
1
n2
n
;n
.
es decir, ,
a
vale /2
a
en el conjunto 1
I,a
. entonces cada ,
a
est en `(A. /). Probaremos
que ,
a
(r) _ ,
a+1
(r). para toda r A.
Primero, obsrvese que ,
a
(r) _ ,(r) para toda r A. Supngase que r 1
a2
n
,a
. Si
,(r) _ : 1. entonces ,
a+1
(r) = : 1 : = ,
a
(r). Si : _ ,(r) < : 1. entonces existe
un / [:2
a
. (: 1)2
a
[ tal que /2
(a+1)
_ ,(r) < (/ 1)2
(a+1)
. Entonces r 1
I,a+1
. y
,
a+1
(r) =
/
2
a+1
_
:2
a+1
2
a+1
= : = ,
a
(r).
13
Supngamos que r 1
I,a
. / = 0. 1. .... :2
a
1. Obsrvese que
/
2
a
=
2/
2
a+1
.
y
/ 1
2
a
=
(2/ 1) 1
2
a+1
Entonces, para /
t
= 2/. o /
t
= 2/ 1. se tiene
/
t
2
a+1
_ ,(r) <
/
t
1
2
a+1
.
Entonces
,
a+1
(r) =
/
t
2
a+1
_
2/
2
a+1
=
/
2
a
= ,
a
(r).
Esto prueba que ,
a
(r) _ ,
a+1
(r). para toda r A. Falta probar que lim
ao
,
a
(r) = ,(r).
para toda r A. Supngase que ,(r) = . Entonces r 1
a2
n
,a
para toda : N. As,
,
a
(r) = : . cuando : . Supongamos ahora que ,(r) < . Entonces la
sucesin numrica ,
a
(r)
o
a=1
es creciente y acotada, y por lo tanto converge. Sea 0
dado. Escogemos ` tan grande tal que 2
.
< . Sea : _ `. Sea / un natural tal que
r 1
I,a
. Entonces
0 _ ,(r) ,
a
(r) _ (/ 1)2
a
/2
a
= 2
a
_ 2
.
< .
Esto termina la demostracin.
1.4. Funciones de valor complejo
Frecuentemente es deseable tratar con funciones complejas, y desarrollar una nocin de
medibilidad para este tipo de funciones. Si , : A C es una funcin compleja denida
en A. entonces existen funciones nicas ,
1
. ,
2
: A R tales que , = ,
1
i,
2
. De hecho,
,
1
(r) = Ic ,(r). y ,
2
(r) = Im,(r).
Decimos que , es medible si, y slo si,,
1
y ,
2
son medibles en el sentido usual. Es fcil
ver que la suma, productos y lmites de funciones medebles es medible.
1.5. Funciones entre espacios medibles
Sea , denida de un espacio medible (A. /) en un espacio medible (1. E) . Decimos que ,
es medible si ,
1
(1) est en / para todo 1 E. Aunque esta denicin parece ser diferente
a la que hemos manejado antes, es fcil ver que esta denicin es equivalente a la anterior,
cuando 1 = R. y E = E(R) .
Se puede ver que hay una semejanza entre la denicin de funcin medible, y la dencin
de funcin continua entre espacios topolgicos.
14
Captulo 2
Medidas
2.1. Introduccin
Queremos extender la nocin de longitud, rea y volumen a espacios mas generales. A esta
longitud generalizada se le llama "medida". Es razonable pedir que la longitud del conjunto
vaco es cero, y que sea aditiva sobre conjuntos ajenos. Adems es bueno permitir que las
medidas tomen el valor .
2.2. Medidas
Denicin 10 Sea (A. /) un espacio de medida. Una medida en (A. /) (o simplemente en
A) es una funcin j : / [0. [ tal que
(a) j(O) = 0.
(b) j(1) _ 0. para toda /.
(c) Si 1
a
es una sucesin de conjuntos en / ajenos dos a dos, entonces
j
_
o
_
a=1
1
a
_
=
o

a=1
j(1
a
) .
A la propiedad (c) se le dice que j es contablemente aditiva. Como el lado izquierdo de c)
no depende del orden de los conjuntos, la serie de la derecha en c) converge absolutamente.
Como se permite el valor en la denicin de medida, el hecho de que aparezca en el
lado derecho implica que, o j(1
a
) = . para algn : N. o que la serie diverge.
Obsrvese que si 1
1
. 1
2
. .... 1
n
/. y son ajenos dos a dos, entonces
j
_
n
_
a=1
1
a
_
=
n

a=1
j(1
a
) .
ya que podemos poner 1
n+1
= 1
n+2
= = O. en la propiedad de aditividad numerable.
15
Decimos que una medida es nita si j(A) < . y decimos que j es una medida de
probabilidad si j(A) = 1. Mas generalmente, decimos que j es una medida o-nita si existe
una sucesin de conjuntos 1
a
_ / tal que j(1
a
) < . y A =
o
_
a=1
1
a
.
Ejemplo. Sea A un conjunto no vaco, y / = T (A) . Denimos la medida j
1
sobre
T (A) como
j
1
(1) = 0. para todo 1 /.
y la medida j
2
como
j
2
(1) = 0. si 1 = O. y j
2
(1) = . si 1 ,= O.
Es fcil ver que j
1
y j
2
son medidas en /. Ninguna de estas medidas son interesantes, y
obsrvese que j
2
no es ni nita, ni o-nita.
Ejemplo. Sea (A. /) como antes, y sea j un punto jo de A. Denimos j
j
: / R
como
j
j
(1) =
_
1. j 1.
0. j , 1.
_
Se ve fcilmente que j
j
es una medida en /. Se llama la medida unidad concentrada en j.
Ejemplo. Sea A = N. / = T (A) . Si 1 /. denimos j(1) como el nmero de
elementos del conjunto si 1 es nito, y j(1) = . si 1 es innito. Entonces j es una
medida, llamada la medida contadora en N (counting measure en ingls). Ntese que j no
es una medida nita, pero es o-nita.
Ejemplo. Sea A = R. / = E(R) . Se demostrar en el proximo captulo que existe
una medida ` en una sigma-algebra que contiene a E(R) tal que si 1 = (c. /) . entonces
`(1) = / c. Esta nica medida ` se le llama la medida de Lebesgue en R. De hecho,
se construir una medida ` en una sigma-lgebra que contiene E
_
R
.
_
tal que, si 1 =
[c
1
. /
1
[ [c
2
. /
2
[ [c
.
. /
.
[ . entonces
`(1) = vol (1) = (/
1
c
1
) (/
2
c
2
) (/
.
c
.
)
Ejemplo. Si A = R. / = E(R) . y , es una funcin montona creciente, se puede
demostrar que existe una medida j
)
denida en / tal que si 1 = (c. /) . entonces j
)
(1) =
,(/) ,(c). A esta medida se le llama la medida de Borel-Stieltjes generado por ,.
Lema 11 Sea j una medida denida en una sigma-lgebra / de A. Si 1. 1 /. y 1 _ 1.
entonces j(1) _ j(1). Si adems, j(1) < . entonces j(1 1) = j(1) j(1) .
16
Demostracin. Como 1 = 1 ' (1 1). y 1 (1 1) = O. entonces
j(1) = j(1) j(1 1) _ j(1).
ya que j(1 1) _ 0. Si adems, si j(1) < . se puede restar de ambos miembros, y se
obtiene el resultado.
Lema 12 Sea j una medida denida sobre una sigma-algebra / en A.
(a) Si (1
a
) es una sucesin creciente de conjuntos en /. entonces
j
_
o
_
a=1
1
a
_
= lim
ao
j(1
a
) (2.1)
(b) Si (1
a
) es una sucesin decreciente de conjuntos en /, y j(1
1
) < . entonces
j
_
o

a=1
1
a
_
= lim
ao
j(1
a
) . (2.2)
Demostracin. (a) Si j(1
a
) = para algn : N, entonces la ecuacin (2.1) es trivial-
mente cierta. Supongamos entonces que j(1
a
) < . para todo : N. Sea

1
= 1
1
.
a
= 1
a
1
a1
. : 1.
Entonces
a
es una sucesin de conjuntos ajenos dos a dos en / tales que
1
a
=
a
_
I=1

I
.
a
_
a=1

a
=
o
_
a=1
1
a
.
Como j es contablemente aditiva,
j
_
o
_
a=1

a
_
=
o

a=1
j(
a
) = lim
ao
a

I=1
j(
I
) . (2.3)
Como j(
a
) = j(1
a
1
a1
) = j(1
a
) j(1
a1
) . si : 1. la serie anterior es una serie
telescpica, y
a

I=1
j(
a
) = j(1
1
)
a

I=2
(j(1
a
) j(1
a1
))
= j(1
a
) .
Sustituyendo arriba en (2.3) se tiene
j
_
o
_
a=1

a
_
= lim
ao
j(
a
) .
17
Esto prueba (a).
(b) Sea 1
a
= 1
1
1
a
. Entonces 1
a
es una sucesin creciente de conjuntos, y por el
inciso (a),
j
_
o
_
a=1
1
a
_
= lim
ao
j(1
a
) = lim
ao
(j(1
1
) j(1
a
))
= j(1
1
) lim
ao
j(1
a
) .
Pero
o
_
a=1
1
a
= 1
1

a=1
1
a
.
de modo que
j
_
o
_
a=1
1
a
_
= j(1
1
) j
_
o

a=1
1
a
_
.
Combinando las dos ecuaciones anteriores, el teorema queda demostrado.
De hecho es vlido una armacin mas fuerte.
Proposition 2 Sea j una funcin real aditiva en una lgebra de conjuntos /. Entonces las
siguientes condiciones son equivalentes.
i) La funcin j es contablemente aditiva.
ii) La funcin j es continua en el vaco, es decir, si
a
/ y
a
_
a+1
para toda : N,
con j(
1
) < . y
o
a=1

a
= O. entonces
lim
ao
j(
a
) = 0.
iii) La funcin j es continua por abajo, esto es, si
a
_
a+1
. para todo : N, y =
'
o
a=1

a
/, entonces
j() = lim
ao
j(
a
) .
Demostracin. i) Sea j contablemente aditiva y sea (
a
)
o
a=1
una sucesin en /que decrece
montonamente al conjunto vaco. Sea 1
a
=
a

a+1
. Los conjuntos 1
a
son elementos de
/, son ajenos y su unin es
1
. Entonces la serie

o
a=1
j(1
a
) converge y esto implica que

o
a=.
j(1
a
) tiende a cero cuando ` . pero la suma de esta serie es j(
.
) . porque
'
o
a=.
1
a
=
.
. Esto implica la validez de la condicin ii).
Supongamos que la condicin ii) es vlida. Sea (1
a
)
o
a=1
una sucesin de conjuntos mutu-
amente ajenos en /. cuya unin 1 es tambin un elemento de /. Sea
a
= 1'
a
I=1
1
I
.
Claramente (
a
)
o
a=1
es una sucesin montona decreciente de conjuntos en /con interseccin
vaca. Por hiptesis, j(
a
) 0. Por la aditividad nita esto implica que

a
I=1
j(1
I
)
j(1) cuando : . As, j es contablemente aditiva, y esto implica que ii) implica i).
18
Claramente ii) implica iii), ya que si los conjuntos
a
son una sucesin montona creciente
en / cuya unin pertenece a /. entonces los conjuntos
a
decrecen montonamente
al conjunto vaco. Finalmente, por la aditividad numerable, iii) demuestra la aditividad nu-
merable de j.
Denicin 13 Un espacio de medida es una terna (A. /. j) . donde A es un conjunto no
vacio. / es una sigma-lgebra de subconjuntos de A y j es una medida denida en /.
Decimos que una proposicion relativa a elementos de A es vlida en j-casi todas partes
(j-almost everywhere en ingls) si existe un conjunto ` / tal que j(`) = 0. de modo
que la proposicin se cumple para todo r A `. Por ejemplo, decimos que dos funciones
,. q son iguales en j-casi todas partes, y se pone , = q j-ctp si existe un conjunto ` /
con j(`) = 0. tal que ,(r) = q(r) para toda r A `. En este caso a menudo se pone
, = q j-ctp.
Similarmente, decimos que una sucesin (,
a
) de funciones denidas en A converge a , en
j-casi todas partes (o converge a , para j-casi toda r A) si existe un conjunto ` /
con j(`) = 0. tal que
,(r) = lim
ao
,
a
(r). para toda r A `.
Cuando la medida se sobreentiende. se omite la letra j de la notacin.
En algunos casos (sugerido por la nocin de carga elctrica, por ejemplo) en donde es
deseable tener funciones que se comportan como medidas, excepto que tomoan valores pos-
itivos y negativos. En este caso no se debe permitir expresiones de la forma . asi, es
mejor evitar valores . .
Denicin 14 Sea / una sigma-lgebra de subconjuntos de A. Una carga es una funcin
` : / 1 tal que `(O) = 0. y ` es contablemente aditiva en el sentido de que si 1
a
es
una sucesin en / de conjuntos mutuamente ajenos, entonces
`
_
o
_
a=1
1
a
_
=
o

a=1
`(1
a
)
Como el lado izquierdo es independiente del orden y esta igualdad debe cumplirse para
todas las posibles sucesiones de los 1
a
, la serie de la derecha debe ser incondicionalmente
convergente para todas las sucesiones de conjuntos en / mutuamente ajenos.
Es claro que la suma de dos cargas es una carga. Mas generalmente, la combinacin lineal
de cargas es una carga. Hay una relacin entre cierto tipo de cargas y funciones integrables.
Eso se ver posteriormente.
Por ltimo, veremos un teorema que nos ayuda a formar nuevos espacios de medida.
19
Teorema 15 Sea (A. /. j) un espacio de medida, 1 un conjunto, y , : A 1 una funcin.
Sea E = 1 _ 1 : ,
1
(1) / . y para 1 E. sea i (1) = j(,
1
(1)) . Entonces (1. E. i)
es un espacio de medida.
Demostracin. i) O = ,
1
(O) /. As, O E.
ii) Si 1 E. entonces ,
1
(1) /. Entonces A,
1
(1) /. As, ,
1
(1 1) =
A,
1
(1) / y esto implica que 1 1 E.
iii) Sea (1
a
) una sucesin en E. Entonces ,
1
(1
a
) /. para cada : N. Por lo tanto,
o
_
a=1
,
1
(1
a
) = ,
1
_
o
_
a=1
1
a
_
/.
Esto implica que '
o
a=1
1
a
E.
1) Se tiene i (O) = j(,
1
(O)) = j(O) = 0.
2) Obsrvese que si 1 E. entonces i (1) = j(,
1
(1)) _ 0.
3) Sea (1
a
) una sucesin en E de conjuntos ajenos dos a dos. Entonces
,
1
(1
a
) ,
1
(1
n
) = ,
1
(1
a
1
n
) = ,
1
(O) = O.
de modo que la sucesin
_
c
1
(1
a
)
_
es ajena dos a dos. Entonces
i
_
o
_
a=1
1
a
_
= j
_
,
1
_
o
_
a=1
1
a
__
= j
_
o
_
a=1
,
1
(1
a
)
_
=
o

a=1
j
_
,
1
(1
a
)
_
=
o

a=1
i (1
a
) .
Las propiedades i), ii) y iii) implican que (1. E) es un espacio medible, y las propiedades 1),
2) y 3) implican que i es una medida en (1. E) .
20
Captulo 3
Construccin de la medida de
Lebesgue en R
`
3.1. Preliminares
En lo que sigue, la palabra rectngulo"denotar un subconjunto de R
.
de la forma
1 = [c
1
. /
1
[ [c
2
. /
2
[ [c
.
. /
.
[ .
Denimos el volumen de dicho rectngulo como
vol (1) = (/
1
c
1
) (/
2
c
2
) (/
.
c
.
)
Lema 16 Si ( es una coleccin nita de rectngulos que no se traslapan, y cada uno de
ellos est contenido en el rectngulo J. entonces vol (J) _

1t
vol (1) . Por otro lado, si
( es una coleccin nita de rectngulos, y J es un rectngulo cubierto por (, entonces
vol (J) _

1t
vol (1) .
Nota: Decimos que ( no se traslapa si distintos elementos de ( tienen interiores ajenos
(con interseccin vaca).
Demostracin. Sin prdida de generalidad, podemos suponer que cada rectngulo 1 (
est contenido en el rectngulo J. En efecto, en la primera parte del lema se supuso ya que
1 _ J. y en la segunda, si 1 J. podemos reemplazar 1 por 1 J.
Primero, obsrvese que, si J =

.
I=1
[c
I
. /
I
[ . c
I
_ c _ /
I
. para algn / = 1. .... `.
y J
+
. J

son los rectngulos obtenidos por reemplazar el /-simo lado de J por [c

I
. c[ y
[c. /
I
[ . respectivamente, entonces vol (J) = vol (J
+
) vol (J

) . Ms generalmente, si, para

cada 1 _ / _ `. c
I
= c
I,0
_ c
I,1
_ _ c
I,a
k
= /
I
. y o es la coleccin de H
.
I=1
:
I
rectngulos de la forma
1(:
1
. :
2
. .... :
.
) =
.

I=1
[c
I,n
k
1
. c
I,n
k
[ .
21
con 1 _ :
I
_ :
I
. entonces un obvio argumento de induccin sobre los :
I
s muestra que
vol (J) =

1S
vol (1) .
Ahora, supngase que ( es una coleccin nita de rectngulos 1 contenidos en J =

.
I=1
[c
I
. /
I
[ . Para cada 1 _ / _ `. escogemos c
I
= c
I,0
_ c
I,1
_ _ c
I,a
k
= /
I
tal que
cada 1 ( tiene la forma
.

I=1
_
c
I,n
k
. c
I,n
0
k

para alguna eleccin de 0 _ :

I
< :
t
I
_ :
I
. y determinemos la collecin o de acuerdo con lo
hecho en el prrafo anterior. Entonces, por la observacin anterior, vol (J) =

1S
vol (1) .
Por la misma razn, si, para algn 1 (. o (1) es la coleccin de esos 1 o con 1 _ 1.
entonces vol (1) =

1S(1)
vol (1) .
Ahora aadimos la suposicin de que ( es una coleccin que no se traslapa, y sea 1 e
1
t
elementos diferentes de (. Entonces, para que 1 = 1(:
1
. :
2
. .... :
.
) sea un elemento
de o (1) y o (1
t
) . es necesario que c
I,n
k
1
= c
I,n
k
para al menos un 1 _ / _ `. Pero esto
implica que vol (1) = 0. y as, sabemos que
vol (J) =

1S
vol (o) _

1t

1S(1)
vol (1) =

1t
vol (1) .
Finalmente, si eliminamos la suposicin de que no se traslapan, pero en cambio suponemos
que ( cubre J. entonces cada 1 o est en o (1) para al menos un 1 (. Por lo tanto, en
este caso
vol (J) =

1S
vol (1) _

1t

1S(1)
vol (1) =

1t
vol (1) .

3.2. Existencia
Dada una cubierta numerable (posiblemente los conjuntos se traslapan) ( de un subcon-
junto 1 _ R
.
por rectngulos 1. denimos

(() =

1t
vol (1) [0. [ . Llamamos
[1[
c
=inl
_

(() : 1 _
_
1t
J
_
la medida exterior de 1. Lo que queremos describir es una familia E
R
N de subconjuntos de
R
.
tal que el mapeo
1 E
R
N [1[
c
sea contablemente aditiva, es decir, que

o
_
a=1
1
a

c
=
o

a=1
[1
a
[
c
. (3.1)
22
para toda sucesin 1
a
_ E
R
N tal que 1
a
1
n
= O. : ,= :. Primero, debemos demostrar
que [1[
a
= vol (1) para rectangulos 1.
Lema 17 Si 1 =
a

n=1
J
n
. donde los J
n
son rectangulos que no se traslapan, entonces
[1[
c
=
a

n=1
vol (J
n
) .
Demostracin. Obviamente, como J
n

a
n=1
es una cubierta de 1 por rectngulos, en-
tonces [1[
c
_

a
n=1
vol (J
n
) . Para demostrar la desigualdad opuesta, sea 0. Sea
( = 1

o
=1
una cubierta de 1. Escogemos para cada / N un rectngulo 1
0

tal que
1

_ 1
t

. y vol (1
t

) _ vol (1

) (,2
`
) . Como 1 es compacto, existe una subcubierta nita
1
t
1
. 1
t
2
. .... 1
t
1
de 1. Obsrvese que
J
n
= J
n
1 _ J
n

_
'
1
=1
1
t

_
= '
1
=1
(J
n
1
t

).
En particular, por el Lema (16)
a

n=1
vol (J
n
) _
a

n=1
1

=1
vol (J
n
1
t

) =
1

=1
a

n=1
vol (J
n
1
t

)
_
.

=1
vol (1
t

) _
o

=1
vol (1
t

) _

(() .
(Aqu, hemos usado el hecho de que para cualquier par de rectngulos 1. J. 1 J es de nuevo
un rectngulo, y que J
n
1
t

1
=1
es una coleccin de rectngulos que no se traslapan, que
estn contenidos en 1
t

. y de nuevo se usa el lema (16). Haciendo 0

+
. y tomando el nmo
sobre todas las cubiertas ( se tiene el resultado.
El siguiente resultado muestra que la mitad de la desigualdad (3.1) es vlida, incluso ants
de restringirse a E
R
N.
Lema 18 Si 1
1
_ 1
2
_ R
.
. entonces [1
1
[
c
_ [1
2
[
c
. Tambin, si 1 _
o

a=1
1
a
. entonces
[1[
c
_

o
a=1
[1
a
[
c
. En particular, si 1 _
o

a=1
1
a
. y [1
a
[
c
= 0 para cada : `, entonces
[1[
c
= 0. As, [J1[
c
= 0. para cada rectngulo 1 (Jo denota la frontera de o. es decir,
Jo = o i:t (o)). Finalmente, si 1
1
. 1
2
son subconjuntos de 1
.
tal que
di:t (1
1
. 1
2
) =inl [ r[ : r 1
1
. 1
2
0.
entonces [1
1
' 1
2
[
c
= [1
1
[
c
[1
2
[
c
.
23
Demostracin. La primera armacin se sigue inmediatamente del hecho que toda cu-
bierta abierta de 1
2
es tambin una cubierta de 1
1
.
Para la segunda armacin, sea 0. y escjase, para cada : N una cubierta abierta
(
a
de 1
a
tal que

((
a
) < [1
a
[
c
,2
a
. Claramente, ( =
o

a=1
(
a
es una cubierta numerable
de I. As,
[1[
c
_

(() _
o

a=1

1tn
vol (1) _
o

a=1
_
[1
a
[
c


2
a
_
_
o

a=1
[1
a
[
c
.
Como 0 es arbitrario, ya est. Para probar que [J1[
c
= 0. basta notar que J1 es la unin
de 2` rectngulos degenerados de la forma
[c
1
. /
1
[ [c
2
. /
2
[ c
I
[c
.
. /
.
[ .
cada uno de los cuales tiene medida exterior cero.
Para la ltima armacin, sea o = di:t (1
1
. 1
2
) . y sea ( una cubierta numerable de
1
1
' 1
2
por rectngulos 1. Sin prdida de generalidad, supondremos que dic:(1) < o para
todo 1 ( (si no es el caso, se reemplaza ( por una cubierta (
t
tal que cualquier 1 (
con dic:(1) o se reemplazan por rectngulos obtenidos subdividiendo 1 repetidamente.
Como una aplicacin del Lema 16,

(() =

((
t
) .) Luego, sea
(
i
= 1 ( : 1 1
i
,= O .
y obsrvese que, por un lado, (
i
cubre 1
i
. mientras que, por otro lado, (
1
(
2
= O. Entonces
[1
1
[
c
[1
2
[
c
_

((
1
)

((
2
) _

(() .
y as, tomando nmos sobre los (. vemos que [1
1
[
c
[1
2
[
c
_ [1
1
' 1
2
[
c
. Como la desigualdad
opuesta es trivial, esto demuestra el teorema.
Remark 1 Usaremos ( para denotar a la clase de todos los conjuntos abiertos en un espacio
topolgico. Tambin, sea (
c
la clase de todos los subconjuntos que pueden escribirse como
la interseccin numerable de abiertos. Ntese que ( ' T _ (
c
. donde ( denota a la clase de
todos los conjuntos cerrados. Para ver eso, sea 1 T O . Sea
G
a
=
_
r 1
.
: existe 1 con |r | <
1
:
_
.
Entonces G
a
es abierto, y 1 =
o

a=1
G
a
. Si denotamos por T
o
a los conjuntos que son unin
numerable de cerrados, entonces 1 (
c
si, y solo si, 1
c
T
o
.
1
1
Estas notaciones se usan mucho en Anlisis, y en otras reas de las Matemticas. El nombre G

viene de
la palabra alemana Gebiet, que signica dominio, que es un conjunto abierto, y de la letra griega c, anloga
a la letra romana d, para la palabra alemana durchschnitt, que signica interseccin. El nombre 1

viene de
la palabra francesa ferm, que signica cerrado, y la letra griega o, anloga a la letra romana s, para suma.
24
Lema 19 Para cualquier 1 _ R
.
.
[1[
c
=inl [G[
c
: 1 _ G ( . (3.2)
En particular, para cada 1 _ R
.
existe un 1 (
c
tal que 1 _ 1. y [1[
c
= [1[
c
.
Demostracin. Claramente,
[1[
c
_inl [G[
c
: 1 _ G ( .
Para la desigualdad opuesta, supongamos que [1[
c
< . sea 0. y sea C = 1
a

o
a=1
una
cubierta de 1 para la cual [1[
c
_

(()
.
2
. Luego, para cada : `. sea 1
t
a
un rectngulo
abierto que satisface 1
a
_ 1
t
a
y [1
t
a
[
c
_ [1
a
[
c
2
a1
. As, G =
o

a=1
1
t
a
es ciertamente abierto,
contiene a 1 y
[G[
c
_
o

a=1
[1
t
a
[
c
_ [1[
c
.
Esto prueba la primera armacin. Para probar la segunda, slo basta tomar, para cada
: N. un conjunto abierto G
a
tal que 1 _ G
a
y [G
a
[
c
_ [1[
c

1
a
. As, el conjunto
1 =
o

a=1
G
a
cumple lo que se pide.
Denition 3 Decimos que 1 _ R
.
es medible, y pondremos 1 E
R
N. si para cada 0
existe un abierto G _ 1 tal que [G 1[
c
< . Al nmero [1[ = [1[
c
en este caso se le llama
medida de Lebesgue de 1.
Remark 2 A primera vista, podemos pensar que todos los conjuntos son medibles, por el
lema anterior. Esto se debe porque uno est tentado a pensar que
[G[
c
= [G 1[
c
[1[
c
.
cuando en realidad todo lo que podemos decir es que [G[
c
_ [G 1[
c
[1[
c
. Sin embargo,
es claro que cualquier abierto G es medible. Mas an, si [1[
c
= 0. entonces 1 es medible,
ya que para cada < 0 podemos escoger un abierto G _ 1 tal que [G 1[
c
_ [G[
c
< .
Finalmente, si 1 es medible, existe un 1 G
c
con 1 _ 1. y [1 1[
c
= 0. En efecto,
simplemente escogemos, para cada : `. un abierto G
a
con 1 _ G
a
. y [G
a
1[
c
< 1,:. y
tomamos G =
o

a=1
G
a
.
Lema 20 Si 1
a

o
a=1
es una sucesin de conjuntos medibles, entonces 1 =
o

a=1
1
a
es medi-
ble, y ademas,
[1[ _
o

a=1
[1
a
[ .
En particular, cualquier rectngulo en medible.
25
Demostracin. Para cada : N escogemos 1
a
_ G
a
( tales que [G
a
1
a
[
c
< 2
a
.
Entonces G =
o

a=1
G
a
es abierto, contiene a 1 y
[G 1[
c
_

o
_
a=1
(G
a
1
a
)

c
_
o

a=1
[G
a
1
a
[
c
< .
Finalmente, escribiendo un rectngulo como 1 = i:t (1)'J1. vemos que cualquier rectngulo
es medible.
Falta demostrar que E
R
N es cerrado respecto a tomar complementos. Para esto usaremos
un hecho acerca de la topologa en R
.
. Recordemos que un cubo en R
.
es un rectngulo tal
que todos sus lados tienen la misma longitud.
Lema 21 Si G es abierto en R. entonces G es la unin de un nmero numerable de intervalos
abiertos mutuamente ajenos. Mas generalmente, si G es un abierto en R
.
. entonces para
cada o 0. G admite una cubierta exacta numerable, que no se traslapan mutuamente,
formada por cubos Q tales que dic:(Q) < o.
Demostracin. Si G _ R es abierto, sea 1
a
la componente conexa de G conteniendo r.
Entonces 1
a
es un intervalo abierto y, para cada r. G. o 1
a
1
j
= O. o 1
a
= 1
j
. As,
( = 1
a
: r G Q es la cubierta requerida.
Para la segunda armacin, sea Q
a
= [0. 2
a
[
.
y /
a
=
_
k
2
n
Q
a
: k Z
a
_
. Ntese que
si : _ :. Q /
n
. y Q
t
/
a
. entonces, o Q
t
_ Q o i:t (Q) i:t (Q
t
) = O. Ahora,
sea G _ R
.
. y o 0 dado. Sea :
0
el natural mas pequeo tal que 2
a
0
_
` < o. y sea
(
a
0
= Q /
a
0
: Q _ G. . Luego, dena (
a
inductivamente para : :
0
tal que
(
a+1
=
_
Q
t
/
a+1
: Q
t
_ G. y i:t(Q) i:t (Q
t
) = O. para cada Q
a
_
n=a
0
(
n
_
Notese que si : _ :. Q (
n
y Q
t
(
a
. entonces, o Q = Q
t
. o i:t (Q)i:t (Q
t
) = O. Entonces
( =
o

a=a
0
(
a
no se traslapan, y ciartamente

( _ G. Finalmente, si r G. escogemos : _ :
0
y Q
t
/
a
tal que r Q
t
_ G. Si Q
t
, (
a
. entonces existe un :
0
_ : < : y un Q (
n
tal
que i:t (Q) i:t (Q
t
) ,= O. Pero esto signica que Q
t
_ Q. y por lo tanto que r Q _

(.
Entonces ( cubre a G.
Lema 22 Si 1 es medible, entonces 1
c
es medible.
Demostracin. Primero comprobaremos que cada compacto 1 es medible. Para esto,
sea 0. y sea G un abierto con G _ 1 tal que [G[ [1[
c
< . Sea H = G 1 y
sea Q
a

o
a=1
una sucesin de cubos que no se traslapan tales que H =
o

a=1
Q
a
. Por el lema
26
17,

a
1
[Q
n
[ = [

a
1
Q
n
[ . Ms an, como 1 y

a
n=1
Q
n
son conjuntos compactos ajenos,
y por lo tanto separados una distancia positiva, la segunda parte del Lema 17 dice que
[(

a
1
Q
n
) ' 1[
c
== [

a
1
Q
n
[ [1[
c
. As,
[G[ _

_
a
_
1
Q
n
_
' 1

a
_
1
Q
n

[1[
c
=
a

1
[Q
n
[ [1[
c
y as,

a
n=1
[Q
n
[ _ [G[ [1[
c
< . para toda : N. Por lo tanto, se tiene que [H[
c
_

o
1
[Q
n
[ _ . y as, 1 es medible.
Ahora demostraremos que cada cerrado 1 es medible. Para esto, simplemente ponemos
1 =

o
1
_
1 1(0. :)
_
. donde 1(r. :) esl la bola euclidiana con centro en r y radio :.
Como cada 1 1(0. :) es un compacto, se sigue de lo anterior que 1 es medible.
Para terminar la demostracin, obsrvese que cualquier conjunto en T
o
es medible (es
unin numerable de cerrados). Asi, si 1 es medible, sea 1 (
c
tal que 1 _ 1 y [1 1[
c
= 0.
As, como 1
c
T
o
. y [1 1[
c
= 0. entonces 1
c
= 1
c
' (1 1) es medible.
Ya casi llegamos a la meta de denir la o-lgebra. Necesitamos un lema sobre sumas
dobles.
Lema 23 Si c
n,a
: :. : N _ [0. ) . entonces
o

n=1
o

a=1
c
n,a
=
o

a=1
o

n=1
c
n,a
.
Demostracin. Para cada `. ` N.
o

n=1
o

a=1
c
n,a
_
A

n=1
.

a=1
c
n,a
=
.

a=1
A

n=1
c
n,a
.
27
As, haciendo tender primero ` y luego ` se llega a que
o

n=1
o

a=1
c
n,a
_
o

a=1
o

n=1
c
n,a
.
Invirtiendo los papeles de : y : se tiene la desigualdad opuesta.
Teorema 24 La clase E
R
N contiene (. es cerrada bajo uniones numerables, complementacin,
y por lo tanto tambin bajo diferencias e intersecciones numerables. Entonces (
c
'T
o
_ E
R
N.
De hecho, 1 E
R
N si, y slo si, existen T
o
y 1 (
c
tales que _ 1 _ 1 y [1 [ = 0.
y en ese caso, [1[ = [[ = [1[ . Finalmente, para cualquier sucesin 1
a

o
1
_ E
R
N. con
1
a
1
n
= O. si : ,= :. se tiene

o
_
a=1
1
a

=
o

1
[1
a
[ . (3.3)
Demostracin. La primera armacin se sigue de las propiedades que ya se demostraron,
junto con las propiedades de operaciones de conjuntos. La armacin (
c
'T
o
_ E
R
N se sigue
de esas propiedades. Ahora, supngase que 1 es medible. Entonces existen T
o
y 1 (
c
tales que 1
c
_
c
. 1 _ 1. [1 1[ = 0. y [1 [ = [
c
1
c
[ = 0. de lo cual [1 [ = 0 es
inmediato. Por otro lado, si existe T
o
y 1 (
c
tales que _ 1 _ 1 y [1 [ = 0.
entonces 1 = '(1 ) es medible, ya que [1 [
c
_ [1 [ = 0. Por lo tanto, slo falta
probar (3.3).
Primero probaremos que (3.3) es vlida para el caso donde cada 1
a
es acotado. Dada
0. escogemos conjuntos abiertos G
a
tales que 1
c
a
_ G
a
y [G 1
c
a
[ < 2
a
. Entonces
1
a
= G
c
a
_ 1
a
es compacto, y [1
a
1
a
[ < 2
a
. Como 1
a
1
n
= O. si : ,= :. y por lo
tanto di:t (1
a
. 1
n
) 0. para : ,= :. entonces por el Lema [

a
1
1
n
[ =

a
1
[1
n
[ para cada
: _ 1. Entonces
o

n=1
[1
n
[ <
o

n=1
[1
n
[ = lim
ao

a
_
n=1
1
n

o
_
n=1
1
n

.
Esto es,

o
1
[1
n
[ _ [

o
1
1
n
[ . Como la desigualdad opuesta siempre es vlida, (3.3) queda
demostrado para 1
a
acotados.
Finalmente, para manejar el caso general, sea

1
= 1(0. 1) . y
a+1
= 1(0. : 1) 1(0. :) .
Entonces
(1
n

a
) (1
n
0
a
0 ) = O. si (:. :) ,= (:
t
. :
t
) .
28
Entonces por lo anterior, y el Lema 23,
o

n=1
[1
n
[ =
o

n=1
o

a=1
[1
n

a
[ =
o

a=1
o

n=1
[1
n

a
[
=
o

a=1

o
_
n=1
(1
n

a
)

=
o

a=1

_
o
_
n=1
1
n
_

a

o
_
a=1
__
o
_
n=1
1
n
_

a
_

o
_
n=1
1
n

.
El teorema queda demostrado.
Remark 3 Aunque no parece necesario, puntualizaremos el hecho de que la medida de
Lebesgue tiene la siguiente propiedad importante: es invariante ante traslaciones. Es decir,
si 1 es un conjunto medible, y denotamos por 1 r
0
al conjunto de todos los elementos de
la forma r r
0
. con r 1. entonces 1 r
0
es medible, y [1 r
0
[ = [1[ .
Teorema 25 Sea 1 _ R
.
. Entonces las siguientes armaciones son equivalentes:
a) 1 es medible.
b) Dado 0. existe un conjunto abierto G _ 1 tal que [G 1[
c
< .
c) Dado 0. existe un conjunto cerrado 1 _ 1 tal que [1 1[
c
< .
d) Existe un 1 (
c
tal que 1 _ 1. y [1 1[
c
= 0.
e) Existe un C T
o
tal que C _ 1 y [1 C[
c
= 0.
Si, adems, [1[
c
< . las armaciones anteriores son equivalentes a:
f ) Dado 0. existe una unin nita l de rectngulos abiertos tal que [l^1[ < . donde
l^1 es la diferencia simtrica de l y 1. denida como
l^1 = (l 1) ' (1 l) .
Demostracin: Todos los incisos han sido demostrados, excepto el f).
Supngase que 1 es medible. Escogemos una familia de rectngulos abiertos (Q
)
)
o
)=1
tal
que
1 _
o
_
)=1
Q
)
. y
o

)=1
[Q
)
[ _ [1[

2
.
29
Como [1[ < . la serie

o
)=1
[Q
)
[ converge, y as, existe ` N tal que

o
)=.+1
[Q
)
[ <
[1[ ,2. Sea l = '
.
)=1
Q
)
. Entonces
[1^l[ = [1l[ [l1[
_

o
_
)=.+1
Q
)

_
o
_
)=1
Q
)
_
1

_

2

o
_
)=1
Q
)

[1[ _

2

_
o

)=1
[Q
)
[
_
[1[
_

2


2
= .

Nota: Se puede demostrar que la condicin rectngulos abiertos puede reeplazarse con
la de cubos abiertos
Antes de seguir, valdra la pena hacer la siguiente pregunta. Existen conjuntos en R que
no sean medibles? Resulta que esa pregunta nos lleva a unos asuntos muy delicados sobre
los fundamentos de las matemticas. Si no aceptamos el axioma de eleccin
2
, R. Solovay ha
demostrado que existe un modelo de matemticas, en el cual todo subconjunto de R
.
es
medible. Sin embargo, si aceptamos el axioma de eleccin, se puede demostrar la existencia
de conjuntos no medibles en R. Antes de hacer la construccin, veremos un lema que es
interesante por si mismo.
Lema 26 Si 1 es un subconjunto medible de R, y [1[ 0. entonces el conjunto 1 1 =
r : r. 1 contiene el intervalo abierto (o. o) . para algn o 0.
Demostracin. Sin prdida de generalidad, podemos suponer que [1[ < .
Sea G un conjunto abierto tal que [G 1[ <
1
3
[1[ . Obsrvese que esto implica que
[G 1[ = [G[ [1[ <
1
3
[1[ . es decir, [G[ <
4
3
[1[ . o sea,
[1[
3
4
[G[ . (3.4)
Sea ( una coleccin de intervalos abiertos no vacos, mutuamente ajenos cuya unin es G.
Entonces

1t
[i:t(1) 1[ = [1[ _
3
4
[G[ =
3
4

1t
[i:t (1)[ .
2
El axiona de eleccin establece lo siguiente: "Dada una familia T =

: c 1 no vaca de conjuntos
no vacos, ajenos dos a dos, existe un conjunto o que consiste en exactamente un elemento de cada conjunto
T, es decir, o

tiene exactamente un elemento". Se puede demostrar que es equivalente a la siguiente

armacin: "dada una coleccin T =

: c 1 no vaca de conjuntos no vacos (no necesariamente ajenos

dos a dos), existe una funcin , : T '
a2I

tal que ) (

para todo c 1". A una funcin con

estas caractersticas se le llama funcin de eleccin.
30
As, debe haber un 1
0
( tal que
[i:t (1
0
) 1[ _
3
4
[i:t (1
0
)[ (3.5)
Sea := i:t (1
0
) 1. Entonces, por (3.5),
[[ _
3
4
[i:t (1
0
)[ . (3.6)
Si d R y (d ) ` =O. entonces
2 [[ = [d [ [[ = [(d ) ' [ _ [(d i:t (1
0
)) ' i:t (1
0
)[ .
Al mismo tiempo, (d i:t (1
0
))'i:t (1
0
) _
_
1

0
. d 1
+
0
_
si d _ 0. y di:t (1
0
) _
_
d 1

0
. 1
+
0
_
si d < 0. En cualquier caso, [(d i:t (1
0
)) ' i:t (1
0
)[ _ [d[[i:t (1
0
)[ . As, si (d ) = O.
entonces 2 [[ _ [d[ [i:t (1
0
)[ . Por (3.6), esto implica que
[d[ [i:t (1
0
)[ _ 2 [[ _ 2
3
4
[i:t (1
0
)[ =
3
2
[i:t (1
0
)[ .
y por lo tanto,
[d[ _
1
2
[i:t (1
0
)[ .
En otras palabras, si [d[ <
1
2
[i:t (1
0
)[ . entonces (d ) ,= O. Pero esto signica que para
cualquier d
_

1
2
[i:t (1
0
)[ .
1
2
[i:t (1
0
)[
_
se tiene que existen r. tales que d = r.
Lema 27 Suponiendo vlido el axioma de eleccin, existe un subconjunto de R tal que
( ) Q = 0 y adems,
R =
_
qQ
( ) .
Demostracin. Decimos que r ~ si r Q. Entonces ~ es una relacin de
equivalencia en R. y por cada r R. la clase de equivalencia [r[

de r es r Q. Ahora,
usando el axioma de eleccin, sea el conjunto que contiene exactamente un elemento de
cada clase de equivalencia. Es claro que tiene las propiedades requeridas. En efecto, si,
r. . entonces, o r = 0. en cuyo caso r = . o r ,= 0. y en ese caso r debe ser
irracional, porque si no, entonces r ~ . lo que es falso, porque contiene exactamente un
elemento de cada clase de equivalencia. Asi, ( ) Q = 0 . Si r R. sea r el elemento
en [r[

que est en . Entonces r r = Q. y por lo tanto r = r. Por lo tanto

R =

qQ
( ) .
Obsrvese que [[
c
0. porque si no, [[
c
= 0. y como la medida exterior en R
.
es
invariante ante traslaciones, [ [
c
= 0. para todo Q. Esto implica que
= [R[
c
=

qQ
( )

c
_

qQ
[ [
c
= 0.
lo que es imposible. As, [[
c
0.
31
Teorema 28 Suponiendo vlido el axioma de eleccin, cualquier 1 _ R con [1[
c
0
contiene un subconjunto no medible.
Demostracin. Sea el conjunto del lema anterior. Entonces 0 < [1[
c
_

qQ
[1 ( )[
c
.
y por lo tanto debe existir un Q tal que [1 ( )[
c
0. Por lo tanto, si 1 ( )
fuera medible, entonces, por el lema anterior, se tendra que (o. o) _ r : r. ( ) _
0 ' Q
c
para algn o 0. Esto es imposible, porque (o. o) tiene un nmero innito de
racionales.
Teorema 29 Existen conjuntos ajenos de nmeros reales . 1 para los cuales
[ ' 1[
c
< [[
c
[1[
c
. (3.7)
Demostracin. Probaremos esto por contradiccin. Supongamos que para todo par de
conjuntos . 1 _ R se tiene
[ ' 1[
c
= [[
c
[1[
c
. (3.8)
Sea un subcojunto arbitrario de R. Sea 0 arbitrario. Entonces existe un conjunto
abierto G con _ G. y [G[
c
[[
c
< . Entonces, al ser G = (G) '. se tiene, por (3.8),
[G[
c
= [G[
c
[[
c
.
y as, [G[
c
= [G[
c
[[
c
< . Como 0 es arbitrario, se sigue que es medible.
Entonces todos los subconjuntos en R son medibles, pero esto contradice lo demostrado
antes. Por lo tanto existen subconjuntos . 1 _ R tales que se cumple (3.7), y el teorema
queda demostrado.
Para otro enfoque vase el libro de Stein y Shakarchi, ejercicio 33, pag. 45.
Se tiene el siguiente teorema. Para su demostracin vase J. Ye, Real Analysis - Measure
theory and integration, pag. 65.
Teorema 30 Existe un conjunto ` _ R con las siguientes propiedades:
1) j
+,1
(`) = j
+,1
(`
c
) = 0.
2) j
+,1
(` 1) = j
+,1
(`
c
1) = 0 para cada 1 _ R.
3) j
+
1
(` 1) = j
+
1
(`
c
1) = j
1
(1) . para cada 1 medible con j
1
(1) < .
3.3. Resultados adicionales sobre la medida de Lebesgue
(opcional).
Denicin 31 Sea (A. /. j) un espacio de medida, y _ A. Una envoltura medible (o
cubierta medible
3
) de es un conjunto 1 / tal que _ 1 y j(1 1) = j
+
(1 ) .
para todo 1 /. En general, no todos los conjuntos en un espacio de medida tienen una
envoltura medible. Pero tenemos las siguientes propiedades.
3
"measurable envelope", en ingls.
32
Teorema 32 Sea (A. /. j) un espacio de medida.
a) Si _ 1 /. entonces 1 es una envoltura medible de si, y slo si, j(1) = 0. siempre
que 1 / y 1 _ 1 .
b) Si _ 1 /, y j(1) < . entonces 1 es una envoltura medible de si, y slo si,
j(1) = j
+
() .
c) Si 1 es una envoltura medible de . y H /, entonces 1 H es una envoltura medible
de H.
d) Sea (
a
)
aN
una sucesin de subconjuntos de A. Supongamos que cada
a
tiene una
envoltura medible 1
a
. Entonces
o

a=1
1
a
es una envoltura medible de
o

a=1

a
.
e) Si _ A pueden cubrirse con una sucesin de conjuntos de medida nita, entonces
tiene una envoltura medible.
f ) En particular, si j es la medida de Lebesgue en R
.
. entonces cada subconjunto de R
.
tiene envoltura medible.
Demostracin. a) Si 1 es una envoltura medible de . 1 / y 1 _ 1 . entonces
j(1) = j(1 1) = j
+
(1 ) = 0 (porque 1 = O).
Si 1 no es una envoltura medible de . existe un H / tal que j
+
( H) < j(1 H) .
Sea G / tal que H _ G y j(G) = j
+
( H) . y sea 1 = (1 H) G. Como
j(G) < j(1 H) . entonces j(1) 0: pero tambin 1 _ 1. y 1 _ (H ) G es
vaca.
b) Si 1 es una envoltura medible de . entonces se debe tener
j
+
() = j
+
( 1) = j(1 1) = j(1) .
Si j(1) = j
+
() . y 1 / es un subconjunto de 1 . entonces _ 1 1. de modo que
j(1 1) = j(1) : como j(1) es nito, se sigue que j(1) = 0. de modo que la condicin
a) es satisfecha, y 1 es una envoltura medible de .
c) Si 1 / y 1 _ (1 H) . entonces 1 _ 1 . de modo que j(1) = 0. por a).
Como 1 es arbitrario, 1 H es una envoltura medible de H. de nuevo por a).
d) Sea =
o

a=1

a
. y 1 =
o

a=1
1
a
. Entonces _ 1. Si 1 /. y 1 _ 1 . entonces,
para cada : N, 1 1
a
_ 1
a

a
. de modo que j(1 1
a
) = 0. por a). Por lo tanto
1 =
o

a=1
(1 1
a
) es negligible. Como 1 es arbitrario, 1 es una envoltura medible de .
e) Sea (1
a
)
aN
una sucesin de conjuntos de medida nita que cubre a . Para cada
: N, sea 1
a
/ tal que 1
a
_ 1
a
y j(1
a
) = j
+
( 1
a
) (usando el hecho de que para
todo C _ A existe un 1 / con C _ 1 y j(1) = j
+
(C)). Por b), 1
a
es una envoltura
medible de 1
a
. Por d),
o

a=1
1
a
es una envoltura medible de

aN
( 1
a
) = .
33
f) En el caso de la medida de Lebesgue en R
.
. desde luego, la misma sucesin (1
a
)
aN
funcionar para cualquier . si tomamos 1
a
como el cubo [:. :[ [:. :[ [:. :[.

Denicin 33 Sea (A. /. j) un espacio de medida. Un conjunto _ A es de medida

exterior total, o grueso, si A es una envoltura medible de . es decir, si j
+
(1 ) = j(1)
para todo 1 /. Equivalentemente, si j(1) = 0 siempre que 1 / y 1 _ A . Si
j(A) < . entonces _ A es de medida exterior total si, y slo si, j
+
() = j(A) .
Hay resultados mucho mas fuertes, relacionados con la existencia de conjuntos no medi-
bles. Aqu probaremos uno de esos resultados.
Proposicin 34 Existe un conjunto C _ R tal que 1 C no es medible, para cualquier
conjunto medible 1 de medida positiva, de tal manera que C y su complemento C
c
tienen
medida exterior total en R.
Demostracin. Sea _ [0. 1) _ R como en el teorema anterior, de tal modo que
( )
qQ
es una particin de R. Entonces j
+
() 0. Entonces j(1) = 0 para cualquier
conjunto 1 _ medible. En efecto, para cada : N podemos hallar
1
. ....
a
[0. 1) Q
distintos, y ahora
:j(1) = j
_
a

i=1
(1
a
)
_
_ j([0. 2[) = 2.
y as, j(1) _ 2,:. Al ser : N arbitrario se sigue que j(1) = 0.
Ahora, sea 1 _ [0. 1) una envoltura medible de . Entonces 1 es una envoltura
medible de . para todo Q. En efecto, _ 1 . el conjunto 1 es medible,
y, para todo conjunto medible 1.
j(1 (1 )) = j(((1 ) 1) ) = j((1 ) 1)
= j
+
((1 ) ) = j
+
(((1 ) ) ) = j
+
(1 ( ))
usando la invariancia bajo traslacin de j. Tambin, 1 es una envoltura medible de

= 1.
En efecto, 1 es un conjunto medible que contiene

. Si 1 _ 1

es medible, entonces
1 _ . y as j(1) = 0. por lo discutido en el prrafo anterior. Por el inciso e) del Teorema
32, 1 es una envolvente medible de

. Se sigue que 1 es una envolvente medible de

. para todo .
Sea (
a
) una enumeracin en Q. Entonces

aN
(1
a
) _

aN
(
a
) = R.
Pongamos 1
a
para (1
a
)

i<a
(1
i
) . para : N. Entonces los (1
a
)
aN
son ajenos, y
o

a=1
1
a
= R. Ahora, sea
C =
o

a=1
(1
a
(
a
)) .
34
Este es el conjunto con las propiedades deseadas.
En efecto: i) sea 1 _ R cualquier conjunto medible no negligible. Entonces existe un
: N tal que j(1 1
a
) 0. Esto signica que
j
+
(1 1
a
C) _ j(1 1
a
(
a
)) = j(1 1
a
(1
a
)) = j(1 1
a
) .
j
+
((1 1
a
) C) _ j
+
(1 1
a
((1
a
) (
a
)))
= j(1 1
a
(1
a
)) = j(1 1
a
) .
Como
j(1 1
a
) _ j(1
a
) = j(1) _ 1.
se tiene j(1 1
a
C) j((1 1
a
) C) j(1 C) . y por lo tanto 1 C no puede ser
medible.
ii) En particular, ningn subconjunto medible de RC puede tener medida distinta de
cero, y esto implica que C tiene medida exterior total. Similarmente, C no tiene subconjuntos
medibles de medida distinta de cero, y R C tiene medida exterior total.
3.4. Invariancia euclidiana (opcional)
Aunque la propiedaed de invariancia bajo traslaciones estaba incluida en nuestra con-
struccin de la medida de Lebesgue, no es inmediatamente obvio como reacciona la medida
de Lebesgue ante rotaciones de R
.
. Uno sospecha que, como es la medida natural de R
.
.
la medida de Lebesgue debera ser invariante ante el grupo completo de transformaciones
euclidianas (i.e., rotaciones y traslaciones). Sin embargo, como nuestra denicin de medida
estaba basada en rectngulos, y los rectngulos estn inextrincablemente ligados a un sis-
tema jo de coordenadas, la invariancia ante rotaciones no es tan clara como la invariancia
ante traslaciones. En la presente seccin veremos cmo se transforma la medida de Lebesgue
bajo una transformacin lineal arbitraria de R
.
. y la invariancia bajo rotaciones se seguir
como un corolario inmediato.
Empezaremos con un resultado acerca del comportamiento de conjuntos medibles bajo
transformaciones.
Lema 35 Sea 1 _ R
A
cerrado, y sea 4 : 1 R
.
continua. Entonces 4(1 1) T
o
siempre que 1 T
o
. Adems, si adicionalmente se tiene [4(1 1)[
c
= 0. siempre que
[1[
c
= 0. entonces 4(1 1) es medible, siempre que lo sea 1. En particular, si ` _ ` y 4
es Lipschitz continua, con constante de Lipschitz 1 (es decir, [4() 4(r)[ _ 1[ r[ . para
toda r. 1) entonces [4(1 1)[
c
_
_
2
_
`1
_
.
[1[
c
. y por lo tanto, 4 toma conjuntos
medibles de 1 en conjuntos medibles de R
.
.
35
Demostracion. Recordemos que las funciones preservan uniones. Por lo tanto la clase de
conjuntos 1 bajo los cuales 4(1 1) T
o
es cerrada bajo uniones numerables. Luego,
notemos que si 1 es compacto, por ser 4 continua, entonces 4(1 1) es compacto. Pero
cualquier conjunto cerrado en R
.
es la unin numerable de conjuntos compactos, y por lo
tanto 4(1 1) T
o
para cualquier cerrado 1. Finalmente, como cada 1 T
c
es una
unin numerable de conjuntos cerrados, queda demostrada la primera armacin.
Supongamos adems que [4(1 1)[
c
= 0 siempre que [1[
c
= 0. Dado un conjunto
medible 1. escogemos T
o
tal que _ 1 y que [ 1[ = 0. Entonces 4(1 1) =
4( 1) ' 4((1 ) 1) es medible, porque 1 T
o
. y [4((1 ) 1)[
c
= 0.
Ahora vamos a demostrar que si 4 es Lipschitz continua con constante de Lipschitz 1.
entonces [4(1 1)[
c
_
_
2
_
`1
_
.
[1[
c
. Pero claramente es suciente probarlo cuando 1 es
un cubo Q con dimetro menor que 1. En efecto, si demostramos este caso, y dado cualquier
conjunto 1 _ R
A
con [1[
c
< . entonces por (3.2) y el Lema 21, podemos encontrar, para
cualquier 0. una coleccin numerable ( de cubos Q que no se traslapan, con dimetro
menor que 1 tal que 1 _

( y

Qt
[Q[ _ [1[
c
. As, podemos concluir que
[4(1 1)[
c
_

_
Qt
4(Q 1)

c
_

Qt
[4(Q 1)[
c
_
_
2
_
`1
_
.
Qt
[Q[ _
_
2
_
`1
_
.
([1[
c
) .
As, sea Q un cubo en R
A
con dimetro 1 < 1. Si Q 1 = O. no hay nada que demostrar.
Si r Q 1. notemos que 4(Q 1) debe ser un subconjunto de la bola en R
.
de radio
11 alrededor de 4(r) . Entonces, 4(Q 1) est contenido en el cubo
.

I=1
[4(r)
I
11. 4(r)
I
11[ .
y por lo tanto
[4(Q 1)[
c
_ (211)
.
=
_
2
_
`1
_
.
[Q[
N
M
_
_
2
_
`1
_
.
[Q[ .

Dada una matriz de ` ` de nmeros reales c

i)
. denotamos por 1

a la transformacin
1 : R
.
R
.
determinada por relativa a la base estndar c
1
. . . . . c
.
. Esto es,
1

r =
_

.
)=1
c
1)
r
)
.
.
.

.
)=1
c
.)
r
)
_

_
para r =
_

_
r
1
.
.
.
r
.
_

_
R
.
.
36
Como 1

es obviamente Lipschitz continua, 1

toma conjuntos medibles en conjuntos medi-

bles, y conjuntos de medida cero en conjuntos de medida cero. El resultado principal de esta
seccin es el siguente hecho importante acerca de la medida de Lebesgue.
Teorema 36 Dada una matriz real de ` `. 1

toma conjuntos medibles en conjuntos

medibles, y [1

(1)[
c
= [oci ()[ [1[
c
para toda 1 _ R
.
. Aqu estamos usando la notacin
oci () para el determinante de .
Demostracin. Hay varios pasos.
Paso 1. Para cualquier c R
.
. ` R. y 1 _ R
.
. [c `1[
c
= [`[
.
[1[
c
. donde `1 :=
`r : r 1 . Por invariancia ante traslaciones, podemos suponer que c = 0. Ms an,
no hay nada que demostrar cuando ` = 0. Finalmente, es claro que [`1[ = [`[
.
[1[ . para
cualquier ` ,= 0 y rectngulo 1. As, como ( es una cubierta numerable de 1 por rectngulos
1 si y slo si `1 : 1 ( es una cubierta numerable de `1. ya est.
Paso 2. Para cualquier transformacin lineal 1 y todos los cubos Q. [1 (Q)[ = c(1) [Q[ .
donde c(1) := [1 (Q
0
)[ y Q
0
= [0. 1[
.
. En efecto, como cada cubo Q cumple Q = c `Q
0
para algn c R
.
y ` que satisface [`[
.
= [Q[ . el Paso 1 junto con la linealidad de 1 se
tiene [1 (Q)[ = [(1 (c) `1 (Q))[ = [`[
.
[1 (Q
0
)[ = c(1) [Q[ .
Paso 3. Para cualquier transformacin lineal y cualquier abierto G.
[1 (G)[ _ c(1) [G[ .
Ms an, la igualdad es vlida si 1 es no-singular. Sea (comprese con el Lema 21) ( una
cubierta exacta numerable de G por cubos Q que no se traslapan. Entonces
[1 (G)[ _

Qt
[1 (Q)[ = c(1)

Qt
[Q[ = c(1) [G[ .
Ahora supongamos que 1 es no-singular. Entonces
1 (Q) 1 (i:t(Q)) = 1 (Q i:t (Q))
tiene medida cero, y
1 (i:t(Q)) 1 (i:t (Q
t
)) = O. para Q. Q
t
( distintos.
Entonces [1 (Q)[ = [1 (i:t(Q))[ y (comprese con el ejercicio 2.1.19)
[1 (Q)[ _

Qt
[1 (i:t (Q))[ =

Qt
[1 (Q)[ = c(1)

Qt
[Q[ = c(1) [G[ .
Paso 4. Para cualquier transformacin lineal 1 no-singular, y para todo 1 _ R
.
.
[1 (1)[
c
= c(1) [1[
c
. En efecto, ya que 1 _ G B si, y slo si, 1 (1) _ 1 (G) B.
este paso es una consecuencia de (3.2) y el Paso 3.
37
Paso 5. Si o y 1 son transfromaciones lineales y o es no-singular, entonces c(o 1) =
c(o) c(1) . Simplemente ntese que, por el Paso 4,
c(o 1) = [o 1 (Q
0
)[ = [o (1 (Q
0
))[ = c(o) [1 (Q
0
)[ = c(o) c(1) .
Paso 6. Si es una matriz ortogonal, entonces c(1

) = 1. Como es ortogonal,
1(0. 1) = 1

(1(0. 1)) . y por lo tanto [1(0. 1)[ = c(1

) [1(0. 1)[ .
Paso 7. Si es no-singular y simtrica, entonces c(1

) = [oci ()[ . En efecto, si es

diagonal, entonces es claro que c(1

) = [1

(Q
0
)[ = [`
1
`
2
`
.
[ . donde `
I
es el /-simo
elemento de la diagonal. As, la armacin es vlida en este caso. Por otro lado, en el caso
general, podemos hallar una matriz ortogonal O tal que = OAO
T
. donde A es una matriz
diagonal cuyas componentes diagonales son los valores propios de y O
T
es la transpuesta
de O. Entonces, por los Pasos 5 y 6, c() = c(O) c(A) c(O) = c(A) = [oci (1)[ .
Paso 8. Para cualquier matriz , c(1

) = [oci ()[ . En efecto, sea 1 =

_

T
_
12
.
Entonces 1 es simtrica, y oci (1) = [oci ()[ . Luego, sea O = 1
1
. y ntese que O
T
=

T
1
1
y as, OO
T
= 1
1

T
1 = 1
1
1
2
1
1
= I
R
N. donde I
R
N denota a la matriz
identidad de ` `. En otras palabras, O es ortogonal. Como = 1O. tenemos que
c() = c(1) = [oci ()[ .
Paso 9. Si es singular, entonces c(1

) = 0. En efecto, escjase y R
.
de longitud
1 tal que y l Iangc (1

) . donde Iangc (1

) es la imagen del operador 1

. Luego, escoja
una matriz ortogonal O tal que e
1
= 1
C
(y) . Entonces e
1
l Iangc (1
C
1

) y as, existe
un rectngulo

1 en R
.1
tal que 1
C
1

(Q
0
) _ 0

1. Pero 0

1 tiene medida cero, y
por lo tanto c(1

) = c(1
C
1

) = 0. Con esto el teorema queda demostrado.

Ejercicio 2.2.3.
i) Si H es un hiperplano en R
.
(es decir, H =
_
R
.
: c l /
_
. para algn c R
.
y / R
.
0) demuestra que [H[ = 0.
ii) Si 1
R
N (c. :) es la bola abierta en R
.
de radio : y centro c. demostrar que
[1
R
N (c. :)[ =

1
R
N (c. :)

= !
.
:
.
. donde !
.
= [1
R
N (0. 1)[ .
38
Captulo 4
Integrales
4.1. Introduccin
En este captulo introduciremos la integral primero para funciones no negativas medibles,
y despus para funciones medibles arbitrarias extendidas. El resultado principal es el clebre
Teorema de Convergencia Montona.
A lo largo de este captulo consideraremos un espacio de medida jo (A. /. j) . Denotare-
mos por ` (A. /) = ` al conjunto de funciones medibles de A a R. y por `
+
= `
+
(A. /)
a la coleccin de funciones medibles no negativas de A a R.
4.2. Integrales de funciones simples
Denicin 37 Sea (A. /. j) un espacio de medida. Una funcin , : A R es simple si se
puede poner en la forma
, =
n

)=1
c
)

1
j
. (4.1)
donde c
)
R. , = 1. 2. .... :. son distintos, y 1
1
. 1
2
. .... 1
n
/ son ajenos. Decimos en este
caso que la funcin simple est en su forma estndar.
Denicin 38 Sea , una funcin simple, dada por la ecuacin (4.1), donde c
1
. .... c
n
_ 0.
Denimos la integral de , como
_
A
, dj =
n

)=1
c
)
j(1
)
) (4.2)
En la denicin anterior empleamos el convenio de que 0() = 0. de manera que la
integral de una funcin idnticamente cero es cero, ya sea que el espacio tenga medida nita
39
o innita. Notemos que la integral de una funcin simple en `
+
est bien denido, aunque
puede ser . Como los c
)
son no negativos, no habr expresiones sin signicado como
() ().
Lema 39 a) Si , y son funciones simples no negativas y c _ 0. entonces
_
c, dj = c
_
, dj
_
(, ) dj =
_
, dj
_
dj
b) Si ` : / R se dene para 1 / como
`(1) =
_
,
1
dj.
entonces ` es una medida en A.
Demostracin. Si c = 0. entonces c, se anula idnticamente. Si c 0. entonces c, est
en `
+
con representacin estndar
c, =
a

)=1
cc
)

1
j
.
donde , tiene la representacin estndar
, =
a

)=1
c
)

1
j
.
Entonces
_
c, dj =
a

)=1
(cc
)
)j(1
)
) = c
a

)=1
c
)
j(1
)
) = c
_
, dj.
Para la suma, sean , y funciones simples en sus representaciones estndar
, =
a

)=1
c
)

1
j
. =
n

I=1
/
I

1
k
.
Entonces , tienen la representacin
, =
a

)=1
n

I=1
(c
)
/
I
)
1
j
1
k
.
40
Sin embargo, aunque los conjuntos 1
)
1
I
son ajenos, los valores c
)
/
I
no son necesariamente
distintos, de modo que la representacin anterior no es estndar. Sean c
I
. / = 1. 2. .... j los
distintos valores en el conjunto c
)
/
I
: , = 1. .... :: / = 1. .... : y sea G
I
la unin de
todos esos conjuntos 1
)
1
I
tal que c
)
/
I
= c
I
. Entonces
j(G
I
) =

(I)
j(1
)
1
I
).
donde la notacin designa la suma sobre todos los ,. | tales que c
)
/
|
= c
I
. Como la
representacin estndar de , est dada por
, =
j

I=1
c
I

G
h
.
se tiene
_
(, ) dj =
j

I=1
c
I
j(G
I
) =
j

I=1

(I)
c
I
j(1
)
1
I
) (4.3)
=
j

I=1

(I)
(c
)
/
I
)j(1
)
1
I
)
=
a

)=1
n

I=1
(c
)
/
I
)j(1
)
1
I
)
=
a

)=1
n

I=1
c
)
j(1
)
1
I
)
a

)=1
n

I=1
/
I
j(1
)
1
I
).
Como A = '
a
)=1
1
)
= '
n
I=1
1
I
. y cada familia 1
)
. 1
I
es ajena dos a dos, se tiene
j(1
)
) =
n
_
I=1
(1
)
1
I
). j(1
I
) =
a
_
)=1
(1
)
1
I
).
Usando este hecho, e intercambiando el orden de las sumas en la ltima lnea de la ecuacin
(4.3) se tiene
_
(, )dj =
a

)=1
c
)
j(1
)
)
n

I=1
/
)
j(1
I
)
=
_
, dj
_
dj.
Esto establece la parte a).
41
Para demostrar la parte b), obsrvese que
,
1
=
a

)=1
c
)
(1
)
)(1) =
a

)=1
c
)
(1
)
1).
Por lo tanto, por induccin y de lo que hemos demostrado ya, se tiene
`(1) =
_
,
1
dj =
a

)=1
c
)
j(1
)
1).
Como la funcin `
)
: / R dada por `
)
(1) = j(1
)
1) es una medida (ejercicio!), se
tiene que, al expresar ` como una combinacin lineal de medidas donde los coecientes son
positivos, se sigue que (ejercicio!) ` es una medida en /. Esto termina la demostracin.
4.3. Integrales de funciones medibles no negativas
Introduciremos ahora la integral de una funcin arbitraria en `
+
. Ntese que el valor de
la integral no tiene que ser nito.
Denicin 40 Si , `
+
(A. /), denimos la integral de , con respecto de j como el
nmero real extendido
_
, dj = snp
_
, dj. (4.4)
donde el supremo se toma sobre todas las funciones simples , tales que 0 _ ,(r) _ ,(r).
para toda r A. Si 1 /. entonces ,
1
pertenece a `
+
(A. /) y denimos la integral de
, sobre 1 respecto de j como el nmero real extendido
_
1
, dj =
_
,
1
dj. (4.5)
Lema 41 a) Si ,. q `
+
(A. /). y , _ q. entonces
_
, dj _
_
q dj. (4.6)
b) Si , `
+
(A. /). 1. 1 /. con 1 _ 1. entonces
_
1
, dj _
_
1
, dj.
42
Demostracin. a) Si , es una funcin simple en `
+
tal que 0 _ , _ ,. entonces
0 _ , _ q. y por lo tanto se tiene (4.6).
b) Como ,
1
_ ,
1
. el inciso a) implica b), y ya est.
Estableceremos a continuacin un resultado importante debido a Beppo Levi. Este teo-
rema es una herramienta clave para las propiedades fundamentales de convergencia de la
integral de Lebesgue.
Teorema 42 (Teorema de convergencia montona). Si (,
a
) es una sucesin montona cre-
ciente de funciones en `
+
(A. /) que converge a ,. entonces
_
, dj = lim
ao
_
,
a
dj. (4.7)
Demostracin. De acuerdo al corolario 8, la funcin , es medible. Como ,
a
_ ,
a+1
_ ,.
se sigue, por el lema anterior, que
_
,
a
dj _
_
,
a+1
dj _
_
, dj.
para toda : N. Por lo tanto tenemos que
lim
ao
_
,
a
dj _
_
, dj.
Para establecer la desigualdad opuesta, sea c un nmero real tal que 0 < c < 1. y sea , una
funcin simple medible que satisface 0 _ , _ ,. Sea

a
= r A : ,
a
(r) _ c,(r)
de manera que
a
/.
a
_
a+1
. y A =
_

a
. De acuerdo al lema (41)
_
n
c, dj _
_
n
,
a
dj _
_
,
a
dj. (4.8)
Como la sucesin (
a
) es montona creciente y su unin es A. por los lemas 39 b) y 12 a),
se sigue que
_
, dj = lim
ao
_
n
, dj.
Haciendo que : en la ecuacin (4.8) se tiene que
c
_
, dj _ lim
ao
_
,
a
dj.
43
Como esto se cumple para todo c con 0 < c < 1. haciendo c 1

obtenemos que
_
, dj _ lim
ao
_
,
a
dj.
Como , es una funcin simple arbitraria en `
+
que cumple 0 _ , _ ,. resulta
_
, dj = snp
,
_
, dj _ lim
ao
_
,
a
dj.
Combinando ambas desigualdades obtenidas, se tiene la frmula (4.7)
Obsrvese que no se est suponiendo que el lado derecho de (4.7) es nito.
Corolario 43 a) Si , `
+
. y c _ 0. entonces c, `
+
. y
_
c, dj = c
_
, dj.
b) Si ,. q `
+
y
_
(, q) dj =
_
, dj
_
q dj.
Demostracin. a) Si c = 0. el resultado es inmediato. Si c 0. sea (,
a
) una sucesin
montona creciente de funciones simples en `
+
que converge a ,. Entonces (c,
a
) es una
sucesin montona de funciones simples en `
+
que converge a c,. Si aplicamos el Teorema
de Convergencia Montona, y el Lema (39) a) se tiene
_
c, dj = lim
ao
_
c,
a
dj
= c lim
ao
_
,
a
dj = c
_
, dj.
b) Si (,
a
) y (
a
) son sucesiones crecientes de funcines simples que convergen a , y
q. respectivamente, entonces (,
a

a
) es una sucesin creciente de funciones simples que
converge a , q. Se sigue del Lema 39, a), y del Teorema de Convergencia Montona que
_
(, q) dj = lim
ao
_
(,
a

a
) dj
= lim
ao
_
,
a
dj lim
ao
_

a
dj
=
_
, dj
_
q dj.
Esto termina la demostracin.
El siguiente resultado es muy importante , porque nos capacita para tratar con sucesiones
de funciones que no son montonas.
44
Lemma 4 (Lema de Fatou). Si (,
a
) _ `
+
(A. /). entonces
_
_
liminl
ao
,
a
_
dj _ liminl
ao
_
,
a
dj. (4.9)
Demostracin. Sea q
n
=inl ,
n
. ,
n+1
. ... de modo que q
n
_ ,
a
. si : _ :. Entonces
_
q
n
dj _
_
,
a
dj. : _ :.
de modo que
_
q
n
dj _ liminl
ao
_
,
a
dj.
Como la sucesin (q
n
) es creciente, y converge a liminl ,
a
. el Teorema de Convergencia
Montona implica que
_
_
liminl
ao
,
a
_
dj _ liminl
ao
_
,
a
dj.

Se puede demostrar que la conclusin del Lema de Fatou es falsa si omitimos la condicin
de que ,
a
_ 0.
Corolario 44 Si , `
+
y si ` est denida en / por
`(1) =
_
1
, dj. (4.10)
entonces ` es una medida en .
Demostracin. Como , _ 0. se sigue que `(1) _ 0. Si 1 = O. entonces ,
1
se anula en
todas partes, y as, `(O) = 0. Para ver que ` es contablemente aditiva, sea (1
a
) una sucesin
de conjuntos ajenos dos a dos en A y sea 1 su unin, y sea ,
a
la funcin dada por
,
a
=
a

I=1
,
1n
.
Se sigue del corolario 43 b) en induccin que
_
,
a
dj =
a

I=1
_
,
1
k
dj =
a

I=1
`(1
I
).
Como (,
a
) es una sucesin creciente en `
+
que converge a ,
1
. el Teorema de Convergencia
Montona implica que
`(1) =
_
,
1
dj = lim
ao
_
,
a
dj =
o

I=1
`(1
a
) .
45
Corolario 45 Supngase que , `
+
. Entonces ,(r) = 0 en j-casi todo punto si, y slo
si,
_
, dj = 0. (4.11)
Demostracin. Si la ecuacin (4.11) es vlida, hagamos
1
a
=
_
r A : ,(r)
1
:
_
.
de manera que , _ (1,:)
1n
. de donde
0 =
_
, dj _
1
:
j(1
a
) _ 0.
Se sigue que j(1
a
) = 0: por lo tanto el conjunto
r 1 : ,(r) 0 =
o
_
a=1
1
a
tiene medida cero.
Recprocamente, sea ,(r) = 0 en j-casi todo punto. Si
1 = r A : ,(r) 0 .
entonces j(1) = 0. Sea ,
a
= :
1
. Como , _ liminl ,
a
. se sigue del Lema de Fatou que
0 _
_
, dj _ liminl
_
,
a
dj = 0.

Corolario 46 Supngase que , `

+
. y defnase ` en / como en la ecuacin (4.10).
Entonces ` es absolutamente continua respecto de j. es decir, si 1 / y j(1) = 0.
entonces `(1) = 0.
Demostracin. Si j(1) = 0 para algn 1 /. entonces ,
1
se anula en todas partes.
Por el corolario (45) se tiene que
`(1) =
_
,
1
dj = 0
.
A continuacin veremos que el teorema de convergencia montona es vlido si la conver-
gencia en todas partes se reemplaza por convergencia en casi todas partes.
46
Corolario 47 Si (,
a
) es una sucesin montona creciente de funciones medibles en `
+
. y
la cual converge en casi todas partes en A a una funcin , en `
+
. entonces
_
, dj = lim
ao
_
,
a
dj.
Demostracin. Sea ` / tal que j(`) = 0. y que (,
a
) converge a , en cada punto
de ` = A`. Entonces (,
a

A
) converge en todo A a ,
A
. de modo que el Teorema de
Convergencia Montona implica que
_
,
A
dj = lim
ao
_
,
a

A
dj.
Como j(`) = 0. las funciones ,
.
y ,
a

.
se anulan en casi todo punto. Se sigue del
Corolario (45) que
_
,
.
dj = 0.
_
,
a

.
dj = 0.
Como , = ,
A
,
.
y ,
a
= ,
a

A
,
a

.
. se sigue que
_
, dj =
_
,
A
dj = lim
ao
_
,
a

A
= lim
ao
_
,
a
dj.

Corolario 48 Sea (q
a
) una sucesin en `
+
. Entonces
_
_
o

a=1
q
a
_
dj =
o

a=1
__
q
a
dj
_
.
Demostracin. Sea ,
a
= q
1
q
2
q
a
. y aplquese el Teorema de Convergencia
Montona.
47
48
Captulo 5
El teorema de convergencia dominada
y sus aplicaciones
5.1. Introduccin
En el captulo anterior denimos la integral de una funcin en `
+
= `
+
(A. /) con
respecto a una medida j y permitimos que el valor de la integral fuera . En esta captulo se
discutira la integracin de funciones medibles que pueden tomar valores positivos y negativos.
Aqu es mas conveniente restringirnos a funciones y a integrales que toman valores reales
nitos.
5.2. Funciones integrables
Denicin 49 Denimos el conjunto 1 = 1(A. /. j) como el conjunto de funciones
`
, :
A R medibles tales que la parte positiva y negativa ,
+
. ,

de , tienen integrales nitas

respecto de j. En este caso denimos la integral de , con respecto de j como
_
, dj =
_
,
+
dj
_
,

dj. (5.1)
Si 1 /, denimos
_
1
, dj =
_
1
,
+
dj
_
1
,

dj.
Aunque la integral de , denida como la diferencia de ,
+
y ,

. es fcil ver que si

, = ,
1
,
2
. donde ,
1
. ,
2
son funciones no negativas, entonces
_
, dj =
_
,
1
dj
_
,
2
dj.
49
En efecto, como ,
+
,

= ,
1
,
2
. se sigue que ,
+
,
2
= ,
1
,

. Si aplicamos el Corolario
43 b) se tiene que
_
,
+
dj
_
,
2
dj =
_
,
1
dj
_
,

dj.
Como todos los trminos son nitos obtenemos
_
, dj =
_
,
+
dj
_
,

dj =
_
,
1
dj
_
,
2
dj.
Lema 50 Si , 1. y ` est denida en / por
`(1) =
_
1
, dj. (5.2)
entonces ` es una carga.
Demostracin. Como ,
+
y ,

estn en `
+
. el corolario 44 implica que las funciones `
+
y `

. denidas en / por
`
+
(1) =
_
1
,
+
dj. `

(1) =
_
1
,

dj.
son medidas en /: son nitas porque , 1. Como ` = `
+
`

. se sigue que ` es una

carga.
A la funcin ` denida en (5.2) se le denomina frecuentemente la integral indenida
de , (con respecto de j). Como ` es una carga, si (1
a
) es una sucesin de conjuntos en /,
con unin 1. entonces
_
1
, dj =
o

a=1
_
1n
, dj.
Nos referiremos a esta frmula diciendo que la integral indenida de una funcin en 1 es
contablemente aditiva.
El siguiente resultado es denominado la propiedad de integrabilidad absoluta de la integral
de Lebesgue.
Teorema 51 Una funcin medible , pertenece a 1 si, y slo si, [,[ pertenece a 1. En este
caso,

_
, dj

_
_
[,[ dj. (5.3)
50
Demostracin. Por denicin, , 1 si, y slo si, ,
+
. ,

`
+
. y tienen integrales
nitas. Como [,[
+
= [,[ = ,
+
,

. y [,[

= 0. entonces [,[ 1. Recprocamente, si

[,[ 1. entonces 0 _ ,
+
_ [,[ . y 0 _ ,

_ [,[ . se sigue que ,

+
. ,

son integrables, y por

lo tanto , = ,
+
,

tambin es integrable. Ms an,

_
, dj

_
,
+
dj
_
,

dj

_
_
,
+
dj
_
,

dj =
_
[,[ dj.

Corolario 52 Si , es medible, q es integrable, y [,[ _ [q[ . entonces , es integrable, y

_
[,[ dj _
_
[q[ dj.
Demostracin. Esto se sigue del Lema 41 a) y del teorema anterior.
Teorema 53 Si ,. q 1. entonces , q y c, estn en 1. para todo c 1. y adems
_
c, dj = c
_
, dj.
_
(, q) dj =
_
, dj
_
q dj.
Demostracin. Si c = 0. entonces c, se anula en todas partes, de modo que
_
c, dj = 0 = c
_
, dj.
Si c 0. entonces (c,)
+
= c,
+
. y (c,

) = c,

. y de aqu,
_
c, dj =
_
c,
+
dj
_
c,

dj
= c
__
,
+
dj
_
,

dj
_
= c
_
, dj.
Si c < 0. entonces (c,)
+
= c,

. (c,)

= c,
+
. Argumentando de modo similar al caso
anterior, se tiene el resultado.
Si , y q estn en 1. entonces [,[ y [q[ estn en 1. Como [, q[ _ [,[ [q[ . se sigue que
, q 1. Para establecer la relacin deseada, observemos que
, q =
_
,
+
q
+
_

_
,

_
.
51
Como ,
+
q
+
y ,

son funciones no negativas, se sigue de la observacin que viene

despus de la denicin (49), que
_
(, q) dj =
_
(, q)
+
dj
_
(, q)

dj
=
_
_
,
+
q
+
_
dj
_
_
,

_
dj
=
_
,
+
dj
_
q
+
dj
_
,

dj
_
q

dj
=
__
,
+
dj
_
,

dj
_

__
q
+
dj
_
q

dj
_
=
_
, dj
_
q dj.

A continuacin demostraremos el teorema de convergencia ms importante para funciones

integrables.
Teorema 54 (Teorema de convergencia dominada de Lebesgue). Sea (,
a
) una sucesin de
funciones integrables que convergen en casi todo punto a una funcin medible de valor real
,. Supngase que existe una funcin integrable q tal que [,
a
[ _ q para toda :. entonces , es
integrable y
_
, dj = lim
ao
_
,
a
dj. (5.4)
Demostracin. Redeniendo las funciones ,
a
. , en un conjunto de medida cero podemos
suponer que la convergencia es en todo A. Se sigue del Corolario (52) que , es integrable.
Como [,
a
[ _ q. se sigue que
q _ ,
a
_ q.
Como q ,
a
_ 0. aplicamos el Lema de Fatou y el Teorema (53) para obtener
_
q dj
_
, dj =
_
(q ,) dj _ liminl
_
(q ,
a
) dj
_ liminl
__
q dj
_
,
a
dj
_
_
q dj liminl
_
,
a
dj.
Por lo tanto se tiene que
_
, dj _ liminl
_
,
a
dj.
52
Para la desigualdad opuesta, como q ,
a
_ 0. otra aplicacin del Lema de Fatou y el
Teorema (53) implican
_
q dj
_
, dj =
_
(q ,) dj _ liminl
_
(q ,
a
) dj
=
_
q dj limsnp
_
,
a
dj.
y se sigue que
limsnp
_
,
a
dj _
_
, dj.
Entonces
_
, dj _ liminl
_
,
a
dj _ limsnp
_
,
a
dj _
_
, dj.
Por lo tanto,
_
, dj = lim
ao
_
,
a
dj.

5.3. Aplicaciones del Teorema de Convergencia Domi-

nada de Lebesgue
Frecuentemente se necesita considerar integrales donde el integrando depende de un
parmetro real. Mostraremos como el Teorema de Convergencia Dominada de Lebesgue
puede ser usado para estos nes.
Para el resto de este captulo , denotar una funcin denida en A [c. /[ . con valores
en R. y supondremos que la funcin r ,(r. t) es /-medible para cada t [c. /[ . Hiptesis
adicionales se establecern explicitamente.
Teorema 55 Supngase que para algn t
0
[c. /[
,(r. t
0
) = lim
tt
0
,(r. t)
para cada r A. y que existe una funcin integrable q en A tal que [,(r. t)[ _ q(r). para
toda t [c. /[ . Entonces
_
A
, (r. t
0
) dj(r) = lim
tt
0
_
A
, (r. t) dj(r).
53
Demostracin. Sea (t
a
) una sucesin en [c. /[ que converge a t
0
. y denimos la sucesin
(,
a
) como ,
a
(r) = ,(r. t
a
). Se tiene que
lim
ao
,
a
(r) = lim
ao
,(r. t
a
) = ,(r. t
0
).
Como [,
a
(r)[ = [,(r. t
a
)[ _ q(r). por el Teorema de Convergencia Dominada se tiene que
_
A
,(r.t
0
) dj(r) = lim
ao
_
A
,
a
(r) dj(r) = lim
ao
_
A
,(r. t
a
) dj.
Como esto es cierto para toda sucesin (t
a
) que converge a t
0
. se sigue que
_
A
,(r. t
0
) dj(r) = lim
tt
0
_
A
,(r. t) dj(r).

Corolario 56 Si la funcin t ,(r. t) es continua en [c. /[ para cada r A. y existe una

funcin integrable q tal que [,(r. t)[ _ q(r). para toda t [c. /[ . r A. Entonces la funcin
1 denida como
1(t) =
_
A
,(r. t) dj(r) (5.5)
es continua en [c. /[ .
Demostracin. Esta es una consecuencia inmediata del corolario anterior.
Teorema 57 Supngase que para algn t
0
[c. /[ la funcin r ,(r. t
0
) es integrable en
A. que J,,Jt existe en A [c. /[ . y que existe una funcin integrable q en A tal que

J,(r. t)
Jt

_ q(r). para toda r A. y toda t [c. /[ .

Entonces la funcin 1 denida por la ecuacin (5.5) es diferenciable en [c. /[ y
d1(t)
dt
=
d
dt
_
A
,(r. t) dj(r) =
_
A
J,(r. t)
Jt
dj(r).
Demostracin. Sea t un punto cualquiera de [c. /[ . Sea (t
a
) una sucesin en [c. /[ que
converge a t. con t
a
,= t. Como
J,(r. t)
Jt
= lim
ao
,(r. t
a
) ,(r. t)
t
a
t
. r A.
la funcin r (J,,Jt)(r. t) es medible.
54
Si r A. t [c. /[ . podemos aplicar el teorema del valor medio, para concluir que existe
un nmero :
1
entre t
0
y t tal que
,(r. t) ,(r. t
0
) = (t t
0
)
J,(r. :
1
)
Jt
.
Por lo tanto tenemos que
[,(r. t)[ _ [,(r. t
0
[ [t t
0
[

J,(r. :
1
)
Jt

_ [,(r. t
0
[ [t t
0
[ q(r).
lo cual muestra que la funcin r ,(r. t) es integrable para cada t [c. /[ . As, si t
a
,= t.
1(t
a
) 1(t)
t
a
t
=
_
A
,(r. t
a
) ,(r. t)
t
a
t
dj(r).
Si denimos la sucesin de funciones (,
a
) como
,
a
(r) =
,(r. t
a
) ,(r. t)
t
a
t
.
las hiptesis demuestran que cada ,
a
es integrable, y por el teorema del valor medio existe
un :
a
entre t
a
y t tal que
[,
a
(r)[ =

J,(r. :
a
)
Jt

_ q(r).
Como
J,(r. t)
Jt
= lim
ao
,
a
(r).
el Teorema de Convergencia Dominada implica que
_
A
J,(r. t)
Jt
dj(r) = lim
ao
_
A
,
a
(r) dj(r)
= lim
ao
_
A
,(r. t
a
) ,(r. t)
t
a
t
dj(r)
= lim
ao
1(t
a
) 1(t)
t
a
t
.
Como esto se cumple para toda sucesin (t
a
) que converge a t. con t
a
,= t. se sigue que
1
t
(t) = lim
ct
1(:) 1(t)
: t
=
_
A
J,(r. t)
Jt
dj(r).

55
Teorema 58 Bajo las hiptesis del corolario 56,
_
b
o
1(t)dt =
_
b
o
__
A
,(r. t) dj(r)
_
dt =
_
A
__
b
o
,(r. t)dt
_
dj(r).
Demostracin. Recordemos que si , es continua en [c. /[ . entonces
d
dt
_
t
o
,(:) d: = ,(t). c _ t _ /.
Sea / la funcin denida en A [c. /[ como
/(r. t) =
_
t
o
,(r. :) d:.
Se sigue que (J/,Jt) (r. t) = ,(r. t). Como esta integral de Riemann existe, es el lmite de
una sucesin de sumas de Riemann, y por lo tanto la funcin r /(r. t) es medible para
cada t. Ms an, como [,(r. t)[ _ q(r). deducimos que [/(r. t)[ _ q(r)(/ c). de modo que
la funcin r /(r. t) es integrable para cada t [c. /[ . Sea H la funcin denida como
H(t) =
_
A
/(r. t) dj(r).
Se sigue del Corolario 57 que
dH(t)
dt
=
_
A
J/(r. t)
Jt
dj(r) =
_
A
,(r. t) dj(r) = 1(t).
Entonces tenemos
_
b
o
1(t) dt = H(/) H(c)
=
_
A
[/(r. /) /(r. c)[ dj(r)
=
_
A
__
b
o
,(r. t) dt
_
dj(r).
Esto termina la demostracin.
5.4. El conjunto de Cantor
Uno de los objetivos de la teora de la medida e integracin es el estudio de conjuntos y
funciones mas irregulares que los que pueden estudiarse con mtodos mas elementales. En
56
lo que sigue estudiaremos conjuntos y funciones medibles que estn adaptados a esta teora,
sin ser triviales. De aqu en adelante j denota a la medida de Lebesgue en R.
El conjunto de Cantor se dene como una sucesin de conjuntos (C
a
) _ R denidos como
sigue: C
0
= [0. 1[ . y C
1
se dene removiendo el tercio medio
_
1
3
.
2
3
_
del intervalo [0. 1[ . En
general, C
a
est formado por 2
a
intervalos de longitud 3
a
. y C
a+1
se forma a partir de C
a
eliminando los tercios medios de cada intervalo, y as, C
a+1
est formado por 2
a+1
intervalos
de longitud 3
(a+1)
.
El conjunto de Cantor se dene como C =
o
a=1
C
a
. La medida de C es
j(C) = lim
ao
j(C
a
) = lim
ao
_
2
3
_
a
= 0.
Cada elemento de C
a
puede describirse como el conjunto de nmeros reales de la forma
r =

o
)=1
3
)

)
. donde cada
)
es 0. 1. 2. y
)
,= 1. para toda , _ :. Por lo tanto, C es el
conjunto de nmeros reales de la forma

o
)=1
3
)

)
. donde
)
es 0 o 2. es decir, el conjunto
de nmeros en [0. 1[ cuya representacin ternaria no tienen 1s. La expresin dada de esta
forma es nica, y si denotamos por 0. 1
N
al conjunto de sucesiones de ceros y unos, existe
una biyeccin c : 0. 1
N
C. denida como
c(.) =
2
3
o

)=0
3
)
. (,) .
para cada . = (. (,))
o
)=1
0. 1
N
.
5.5. La funcin de Cantor (opcional)
Consideremos ahora la siguiente sucesin de funciones: sea : N. y sea ,
a
la funcin
dada por
,
a
(r) =
_
3
2
_
a
j(C
a
[0. r[)
57
Como C
a
es una unin nita de 2
a
imtervalos ajenos, ,
a
es una funcin poligonal con
,
a
(0) = 0. ,
a
(1) = 1. ,
a
es constante en cada uno de los 2
a
1 intervalos de [0. 1[ C
a
y
crece linealmente con pendiente
_
3
2
_
a
en cada intervalo de C
a
.
Si el ,-simo intervalo de C
a
contando a partir de la izquierda es [c
a,)
. /
a,)
[ . entonces
,
a
(c
a,)
) = 2
a
(, 1) . ,
a
(/
a,)
) = 2
a
,. Tambin, c
a)
= c
a+1,2)1
. /
a,)
= /
a+1,2)1
. Por lo
tanto, ,
a+1
(c
a,)
) = ,
a
(c
a.)
) y ,
a+1
(/
a,)
) = ,
a
(/
a,)
) . y ,
a+1
coincide con ,
a
en todos los
extremos de los intervalos de C
a
y por lo tanto en [0. 1[ C
a
.
Dentro de cualquier intervalo particular [c
a,)
. /
a,)
[ de C
a
. la mxima diferencia entre ,
a
(r)
y ,
a+1
(r) es la que hay en los nuevos puntos extremos entre los intervalos, es decir, /
a+1,2)1
y c
a+1,2)
: y la magnitud de esa diferencia es
1
6
2
a
(porque, por ejemplo, ,
a
(/
a+1,2)1
) =
2
3
,
a
(c
a,)
)
1
3
,
a
(/
a,)
) . mientras que ,
a+1
(/
a+1,2)1
) =
1
2
,
a
(c
a,)
)
1
2
,
a
(/
a,)
)). Por lo tanto
se tiene [,
a+1
(r) ,
a
(r)[ _
1
6
2
a
para todo : N, r [0. 1[ . Como

o
a=0
1
6
2
a
converge,
por la prueba ` de Weierstrass, la sucesin (,
a
) converge uniformemente a ua funcin
, : [0. 1[ [0. 1[ . y , ser continua en todo [0. 1[ . A la funcin , se le llama la funcin de
Cantor, o la escalera del Diablo.
Como cada ,
a
es no decreciente, tambin lo es ,. Si r [0. 1[ C. existe una : tal que
r [0. 1[ C
a
: sea 1 el intervalo abierto de [0. 1[ C
a
que contiene a r. Entonces ,
n+1
coincide
en 1 con ,
n
para cada : _ :. de modo que , coincide en 1 con ,
a
. y , es constante en 1. As,
en particular, la derivada ,
t
(r) existe y es cero para cada r [0. 1[ C. y esto implica que
,
t
es cero en casi todo punto de [0. 1[ . Desde luego, , (0) = 0 y , (1) = 1. porque ,
a
(0) = 0
y ,
a
(1) = 1. para cada : N. Esto implica, por el teorema de los valores intermedios, que
, : [0. 1[ [0. 1[ es suprayectiva.
Proposicin 59 Sea c : 0. 1
N
C la funcin descrita anteriormente en 5.4. Entonces
, (c(.)) =
1
2

o
)=0
2
)
. (,) para cada . 0. 1
N
.
Denostracin. Sea . = (
0
.
1
.
2
. ...) en 0. 1
N
. y para cada : N sea 1
a
el intervalo
componente de C
a
que contiene a c(.) . Entonces 1
a+1
ser el tercio izqierdo de 1
a
si
a
= 0
58
y el tercio derecho si
a
= 1. Tomando c
a
como el extremo izquierdo de 1
a
vemos que
c
a+1
= c
a

2
3
3
a

a
. ,
a+1
(c
a+1
) = ,
a
(c
a
)
1
2
2
a

a
para cada : N. Ahora,
c(.) = lim
ao
c
a
. , (c(.)) = lim
ao
,
a
(c
a
) =
1
2
o

)=0
2
)

)
.
y esto demuestra el teorema.
En particular, , (C) = [0. 1[ . En efecto, si r [0. 1[ . r se puede expresar como

o
)=0
2
)1
. (,) =
, (c(.)) . para algn . 0. 1
N
.
5.6. La funcin modicada de Cantor (opcional)
Aqu continuaremos el argumento establecido en la seccin anterior. Considrese la fun-
cin
q (r) =
1
2
(r , (r)) .
donde , es la funcin de Cantor de la seccin anterior. La funcin q : [0. 1[ [0. 1[ es
continua y estrictamente creciente (porque , es no decreciente), y q (0) = 0. q (1) = 1.
Consecuentemente, por el teorema de los valores intermedios, q es biyectiva y la inversa
q
1
: [0. 1[ [0. 1[ es continua.
Ahora, q (C) es un conjunto cerrado y j(q (C)) =
1
2
. En efecto, como q es una biyeccin,
[0. 1[ q (C) = q ([0. 1[ C) . Para cada uno de los intervalos 1
a,)
= (/
a,)
. c
a,)+1
) que forman
a [0. 1[ C
a
. obsrvese que q (1
a,)
) = (q (/
a,)
) . q (c
a,)+1
)) tiene la longitud de la mitad de la
59
longitud de 1
a,)
. Por lo tanto q ([0. 1[ C) = '
o
a=1, 1)<2
nq (1
a,)
) es abierto, y
j(q ([0. 1[ C
a
)) =
2
n
1

)=1
(q (c
a,)+1
) q (/
a,)
)) =
1
2
2
n
1

)=1
(c
a,)+1
/
a,)
)
=
1
2
j([0. 1[ C
a
) =
1
2
_
1
_
2
3
_
a
_
.
Como ([0. 1[ C
a
)
o
a=1
es una sucesin creciente de conjuntos cuya unin es [0. 1[ C.
j(q ([0. 1[ C)) = lim
ao
j(q ([0. 1[ C
a
)) =
1
2
.
As, q (C) = [0. 1[ q ([0. 1[ C) es cerrado, y j(q (C)) =
1
2
.
Por (134D), existe un conjunto 1 _ R tal que
j
+
(q (C) 1) = j
+
(q (C) 1) = j(q (C)) =
1
2
.
Sea = q (C) 1. Desde luego, no puede ser medible, porque j
+
() j
+
(q (C) )
j(q (C)) . Sin embargo, q
1
() _ C debe ser medible, porque j
+
(C) = 0. Esto implica que
si denimos / =
j
1
()
: [0. 1[ R, entonces / es medible, pero /q
1
=

no es medible.
Entonces la composicin de una funcin medible con una funcin continua no es medible, en
general. Como contraste, si / es continua y / es medible, entonces / / es medible.
5.7. Integral de Riemann. Comparacin con la integral
de Lebesgue
Hasta este momento no se ha hablado de la integral de Riemann. Sin embargo, si se ha
trabajado antes con la teora bsica de la integral de Riemann, es deseable conectar dicha
teora con el material que estamos estudiando aqu. Esto es porque no se quiere sentir que la
labor realizada sea una prdida, y tambin porque a estas alturas se ha desarrollado ciertas
habilidades e intuicin, lo cual continuar siendo valioso, si lo adaptamos apropiadamente
al nuevo contexto. En esta seccin se analizar brevemente la relacin entre los mtodos de
integracin de Riemann y Lebesgue en la recta real.
Si [c. /[ es un intervalo no trivial en R, denimos una particin de [c. /[ con una coleccin
nita 1 = c
0
. c
1
. .... c
a
de puntos en [c. /[, con : _ 1. tal que c
0
_ c
1
_ c
2
_ _ c
a
= /.
Sea , : [c. /[ R una funcin acotada en [c. /[ . y sea
:
i
= inl , (r) : r [c
i1
. c
i
[ .
`
i
= snp , (r) : r [c
i1
. c
i
[ .
60
Denimos la suma inferior y suma superior de , como
1(,. 1) = :
1
(,) =
a

i=1
:
i
(c
i
c
i1
) .
l(,. 1) = o
1
(,) =
a

i=1
`
i
(c
i
c
i1
) .
Se puede demostrar que si 1 y 1
t
son dos particiones de [c. /[ . entonces :
1
(,) _ o
1
0 (,) .
Denimos la integral inferior de Riemann y la integral superior de Riemann como
1
[o,b]
(,) = snp 1(,. 1) : 1 es una particin de [c. /[
l
[o,b]
(,) = inl l(,. 1) : 1 es una particin de [c. /[ .
Se puede ver que 1
[o,b]
(,) _ l
[o,b]
(,) . Decimos que , es Riemann integrable si l
[o,b]
(,) =
1
[o,b]
(,) . y en este caso se dene la integral de , en [c. /[ como
_
b
o
, = l
[o,b]
(,) = 1
[o,b]
(,) .
Teorema 60 Si , : [c. /[ R es Riemann integrable, entonces es Lebesgue integrable, con
la misma integral.
Demostracin. Sea 1 = c
0
. c
1
. .... c
a
una particin de [c. /[ . Denimos q
1
: [c. /[ R
como
q
1
(r) = inl , () : [c
i1
. c
i
[ . si c
i1
< r < c
i
. q
1
(c
i
) = , (c
i
) . para cada i.
/
1
(r) = snp , () : [c
i1
. c
i
[ . si c
i1
< r < c
i
. /
1
(c
i
) = , (c
i
) . para cada i.
Entonces q
1
y /
1
son constantes en cada intervalo (c
i1
. c
i
) . y esto implica que los conjuntos
r : q
1
(r) _ c . r : /
1
(r) _ c son una unin nita de intervalos, para cada c R. Por
lo tanto las funciones q
1
y /
1
son medibles. Adems,
_
q
1
dj = :
1
(,) .
_
/
1
dj = o
1
(,) .
Existe una sucesin (1
a
) de particiones de [c. /[ tal que 1
a
_ 1
a+1
y max
1ia
(c
i
c
i1
)
tiende a cero si : . de manera que o
1n
y :
1n
convergen a
_
b
o
, (r) dr (usaremos
_
, (r) dr
para denotar a la integral de Riemann y
_
,dj para denotar a la integral de Lebesgue). As,
(q
1n
) es una sucesin creciente de funciones, (/
1n
) es una sucesin decreciente de funciones.
Sea q = limq
1n
. y / = lim/
1n
. Entonces q _ , _ /. y por el teorema de convergencia
dominada,
_
qdj = lim
ao
_
q
1n
=
_
b
o
, (r) dr = lim
ao
_
/
1n
dj =
_
/dj.
61
En particular,
_
(/ q) dj = 0. y (/ q) _ 0 en casi todo punto. Esto implica que /q = 0
en casi todo punto, es decir, q = / en casi todo punto. Se sigue que , = / en casi todo punto.
Como / es lmite de una sucesin de funciones simples, / es medible, y as, , es medible.
Finalmente,
_
[o,b]
,dj =
_
[o,b]
/dj =
_
b
o
, (r) dr.

Teorema 61 Sea c < /. Sea , : [c. /[ R una funcin acotada. Entonces , es Riemann
integrable en [c. /[ si, y slo si, el conjunto de discontinuidades de , en [c. /[ tiene medida
cero.
Demostracin. Supngase que , es Riemann integrable en [c. /[ . Para cada r [c. /[ . sea
q(r) = snp
c0
_
inl
j[o,b], [ja[c
, ()
_
/(r) = inl
c0
_
snp
j[o,b], [ja[c
, ()
_
Se deja como ejercicio probar que , es continua en r si, y slo si, q(r) = /(r). Se tiene
q _ , _ /. de modo que si 1 es una particin de [c. /[ entonces o
1
(q) _ o
1
(,) _ o
1
(/) .
y :
1
(q) _ :
1
(,) _ :
1
(/) . Pero de hecho o
1
(,) = o
1
(/) . y :
1
(q) = :
1
(,) . porque en
cualquier intervalo abierto (c. d) _ [c. /[ se cumple que
inl
a(c,o)
q(r) = inl
a(c,o)
,(r). snp
a(c,o)
,(r) = snp
a(c,o)
/(r)
Se sigue que
1
[o,b]
(,) = 1
[o,b]
(q) _ l
[o,b]
(q) _ l
[o,b]
(,) .
1
[o,b]
(,) _ 1
[o,b]
(/) _ l
[o,b]
(/) = l
[o,b]
(,) .
Como , es Riemann integrable, q y / son Riemann integrable, con integrales iguales a
_
b
o
, (r) dr. Entonces q y / son Lebesgue integrables con la misma integral. Pero q _ /. y
esto implica que q = / en casi todo punto. Como , es continua en cada punto donde q y /
coinciden, entonces , es continua en casi todo punto de [c. /[ .
Recprocamente, supngase que , es continua en casi todo punto de [c. /[ . Para cada
: N sea 1
a
la particin de [c. /[ en 2
a
partes iguales. Sea
/
a
(r) = snp
j(c,o)
, () . q
a
(r) = inl
j(c,o)
, () .
62
si (c. d) es un intervalo abierto de 1
a
que contiene a r. y para jar ideas, denimos /
a
(r) =
q
a
(r) = ,(r) si r es uno de los puntos de 1
a
. Entonces (q
a
) es una sucesin creciente, y
(/
a
) es una sucesin decreciente de funciones, cada funcin constante en cada intervalo de
una familia de intervalos que cubre [c. /[ . Tambin, :
1n
(,) =
_
q
a
dj. o
1n
(,) =
_
/
a
dj.
Adems,
lim
ao
q
a
(r) = lim
ao
/
a
(r) = , (r)
en cada punto r donde , es continua. As, , = limq
a
= lim/
a
. en casi todo punto. Por
el teorema de convergencia dominada de Lebesgue, lim
_
q
a
dj =
_
,dj = lim
_
/
a
dj. Pero
esto implica que
1
[o,b]
(,) _
_
,dj _ l
[o,b]
(,) .
y al tener 1
[o,b]
(,) _ l
[o,b]
(,) . esto implica que las tres cantidades son iguales, y por lo
tanto, , es Riemann integrable en [c. /[ .
63
64
Captulo 6
Los espacios de Lebesgue 1
j
6.1. Introduccin
Deniremos a continuacin unos espacios de funciones de mucha importancia en Anlisis.
Se utilizan en la teora de operadores, Ecuaciones diferenciales parciales, Probabilidad, y en
muchas otras ramas de las Matemticas.
6.2. Espacios normados. El espacios 1
1
Denicin 62 Sea \ un espacio vectorial (real o complejo). Una funcin ` : \ R se
llama una norma para \ si satisface las siguientes propiedades:
i) `() _ 0 para todo \.
ii) `() = 0 si, y slo si, = 0.
iii) `(c) = [c[ `() (en el caso de que el espacio \ sea complejo, [c[ representa el mdulo
del nmero complejo c.
iv) `(n ) _ `(n) `().
Si la condicin ii) la funcin ` se le llama una seminorma en \ o una seudonorma en \.
Un espacio vectorial normado es un espacio vectorial con una norma denida en l.
Ejemplo 63 El espacio vectorial
R
a
= (r
1
. r
2
. .... r
a
) : r
1
. r
2
. .... r
a
R
es un espacio vectorial normado, si denimos las normas
`
1
(r
1
. r
2
. .... r
a
) = [r
1
[ [r
2
[ [r
a
[
`
j
(r
1
. r
2
. .... r
a
) = ([r
1
[
j
[r
2
[
j
[r
a
[
j
)
1j
`
o
(r
1
. r
2
. .... r
a
) = snp [r
1
[ . [r
2
[ . .... [r
a
[ .
65
Es fcil ver que `
1
y `
o
son normas en R
a
. Que `
j
es una norma lo demostraremos mas
adelante.
Ejemplo 64 El espacio vectorial /
1
de todas las sucesiones reales n = (n
a
) tales que `
1
(n) =

[n
a
[ < . Fcilmente se puede probar que es una norma en /
1
. Similarmente, si 1 _ j <
. el espacio de sucesiones /
j
de todas las sucesiones reales n = (n
a
) tales que `
j
(n) =
(

[n
a
[
j
)
1j
< es un espacio normado bajo `
j
.
Ejemplo 65 El conjunto 1(A) de todas las funciones reales acotadas denidas en A es un
espacio normado con la norma
`(,) = snp [,(r)[ : r A .
Denicin 66 Sea (A. /. j) un espacio de medida. Si , 1(A. /. j) denimos `
j
(,) =
_
[,[ dj. Se demostrar que `
j
es una seminorma en 1(A. /. j).
Lema 67 El espacio 1(A. /. j) es un espacio vectorial bajo la suma usual de funciones y
producto de una constante por una funcin, y `
j
es una seminorma en 1(A. /. j). Ms an,
`
j
(,) = 0 si, y slo si, , = 0 en j-casi todas partes.
Demostracin. Ejercicio.
Para convertir a 1(A. /. j) en un espacio normado, identicaremos dos funciones que
son iguales en j-casi todas partes, es decir, usaremos clases de equivalencia de funciones en
lugar de funciones.
Denicin 68 Dos funciones en 1(A. /. j) = 1 son j-equivalentes si son iguales en j-
casi todo punto. La clase de equivalencia determinada por ,, denotada por [,[ . consiste
en el conjunto de funciones en 1 que son j-equivalentes a ,. El espacio de Lebesgue 1
1
=
1
1
(A. /. j) consiste de todas las j-clases de equivalencia en 1. Si [,[ 1
1
. denimos su
norma como
|[,[|
1
=
_
[,[ dj. (6.1)
Teorema 69 El espacio de Lebesgue 1
1
(A. /. j) es un espacio normado.
Demostracin. Se entiende que las operaciones en 1
1
se denen como
c[,[ = [c,[ . [,[ [q[ = [, q[ .
y que el elemento cero en 1
1
es [0[ . Claramente, |[,[|
1
_ 0. y |[0[|
1
= 0. Ms an, si
|[,[|
1
= 0 entonces
_
[,[ dj = 0.
66
y esto implica que , = 0 en j-casi todo punto, y de aqu, [,[ = 0. Las otras propiedades de
la norma se verican fcilmente.
Es conveniente, y adems se acostumbra, considerar a los elementos de 1
1
como funciones,
y asi lo haremos de aqu en adelante, conviniendo que , = q si ellas coinciden en j-casi todo
punto, y pondremos , 1
1
y |,|
1
en lugar de |[,[|
1
.
6.3. Los espacios 1
j
. 1 _ j < +.
Denicin 70 Si 1 _ j < . el espacio 1
j
= 1
j
(A. /. j) consiste en el conjunto de todas
la j-clases de equivalencia de funciones reales medibles para las cuales [,[
j
es integrable
respecto de j sobre A. Dos funciones son j-equivalentes si ellas son iguales en j-casi todo
punto. Denimos
|,|
j
=
__
[,[
j
dj
_
1j
.
Si j = 1. esto se reduce a la norma introducida previamente para el espacio 1
1
de clases de
equivalencia de funciones integrables.
Tambien denimos 1
o
= 1
o
(A. /. j) como el conjunto de funciones medibles , : A 1
tales que existe un 1 _ 0 tal que [,(r)[ _ 1. para casi todo r A. Es decir,
jr A : [,(r)[ 1 = 0.
Denimos en este caso el supremo esencial de , como
csssnp (,) =inl 1 _ 0 : [,(r)[ _ 1 para casi todo punto en A
Denimos para , 1
o
la norma
|,|
o
= csssnp(,).
Para probar que ||
j
. 1 _ j < . es una norma, necesitamos demostrar algunas de-
sigualdades preliminares.
Teorema 71 (Desigualdad de Young). Si c. / 0. y j. 1 son nmeros tales que (1,j)
(1,) = 1. Entonces
c/ _
c
j
j

/
q

.
Demostracin. Sea c un nmero real con 0 < c < 1. y considrese la funcin , denida
para t _ 0 como ,(t) = ct t
c
. Es fcil ver que ,
t
(t) < 0. para 0 < t < 1 y ,
t
(t) 0 para
t 1. Se sigue del teorema del valor medio que ,(t) _ ,(1) y que ,(t) = ,(1) si, y slo si,
t = 1. Por lo tanto se tiene
ct t
c
_ c 1. t 0
67
o
t
c
_ ct (1 c) . t 0.
Si . 1 _ 0.t entonces ponemos t = ,1. Queda

c
1
c
_ c

1
(1 c)
y multiplicando por 1

c
1
1c
_ c (1 c) 1.
y la igualdad se da si, y slo si, = 1.
Ahora, sea j 1. y sea 1,j 1, = 1. Ponemos c = 1,j. y 1 c = 1,. y queda

1j
1
1q
_

j

1

.
Si c./ _ 0. denimos c =
1j
. / = 1
1q
. y sustituyendo en la ecuacin queda
c/ _
c
j
j

/
q

.
y la igualdad se da si c
j
= /
q
. La frmula queda demostrada.
Teorema 72 Desigualdad de Hlder. Sea j. 1. y
1
j

1
q
= 1. Si , 1
j
. y q 1
q
entonces
,q 1
1
. y
|,q|
1
_ |,|
j
|q|
q
.
Demostracin. Sean , 1
j
. q 1
q
. y supngase que |,|
j
,= 0. |q|
q
,= 0 (si una de ellas
es cero, entonces la funcin correspondiente es cero en casi todo punto, y ,q = 0 en casi todo
punto, de modo que la desigualdad es trivialmente vlida). Poniendo
=
[,(r)[
|,|
j
. 1 =
[q(r)[
|q|
q
en la desigualdad de Young, queda
[,(r)q(r)[
|,|
j
|q|
q
_
[,(r)[
j
j |,|
j
j

[q(r)[
q
|q|
q
q
.
Integrando sobre A queda
|,q|
1
|,|
j
|q|
q
_
|,|
j
j
j |,|
j
j

|q|
q
q
|q|
q
q
=
1
j

1

= 1.
68
y quitando denominadores,
|,q|
1
_ |,|
j
|q|
q
.
y ya est.
A la pareja de nmeros j. 1. tales que 1,j 1, = 1 se les llama ndices conjugados.
Obsrvese que j = 2 es el nico ndice que es conjugado de s mismo. Entonces el producto
de dos funciones en 1
2
es integrable.
Corolario 73 (Desigualdad de Cauchy-Bunyakowsi-Schwarz) Si ,.q 1
2
entonces ,q es
integrable y

_
,q dj

_ |,|
j
|q|
q
.
Teorema 74 (Desigualdad de Minkowski). Si ,. q 1
j
. con j _ 1. entonces , q 1
j
. y
|, q|
j
_ |,|
j
|q|
j
.
Demostracin. El caso j = 1 ya se trat antes. Si j 1. obsrvese que
[, q[
j
_ (2 max ([,[ . [q[))
j
= 2
j
max ([,[
j
. [q[
j
)
_ 2
j
([,[
j
[q[
j
) .
y as. , q 1
j
. Empezamos poniendo
[, q[
j
_ [, q[ [, q[
j1
(6.2)
_ ([,[ [q[) [, q[
j1
_ [,[ [, q[
j1
[q[ [, q[
j1
.
Aplicando la desigualdad de Hlder al primer trmino de la derecha,
_
[,[ [, q[
j1
dj _ |,|
j
_
_
(, q)
j1
_
_
q
= |,|
j
__
[, q[
(j1)q
dj
_
1q
= |,|
j
__
[, q[
j
dj
_
1q
= |,|
j
|, q|
jq
j
ya que (j 1) = j. Razonando de modo similar con el segundo trmino se tiene
_
[q[ [, q[
j1
dj _ |q|
j
|, q|
jq
j
.
Integrando ambos lados de la ecuacin (6.2) se tiene
_
[, q[
j
dj _
_
|,|
j
|q|
j
_
|, q|
jq
j
69
o
|, q|
j
j
_
_
|,|
j
|q|
j
_
|, q|
jq
j
Pasando el segundo factor del lado derecho al lado izquierdo (suponiendo que |, q|
j
,= 0.
ya que si es cero, la desigualdad de Minkowski es trivial), y notando que jj, = j(11,) =
j(1,j) = 1. queda
|, q|
j
_ |,|
j
|q|
j
.
Esto termina el teorema.
Ahora veremos una propiedad que es fundamental en los espacios 1
j
. Necesitamos recor-
dar algunos conceptos.
Denicin 75 Sea A un espacio mtrico
1
. Decimos que una sucesin (r
a
) en A es una
sucesin de Cauchy si para cada 0 existe un ` natural tal que si :. : _ ` entonces
d (r
a
. r
n
) < . Decimos que un espacio mtrico A es completo si toda sucesin de Cauchy
en A converge.
Se puede demostrar fcilmente que si (r
a
) es una sucesin convergente, entonces (r
a
) es
de Cauchy. Entonces un espacio mtrico es completo si, y slo si, toda sucesin de Cauchy
en A converge.
El teorema principal de este captulo es el siguiente.
Teorema 76 Si 1 _ j < . entonces el espacio 1
j
es un espacio normado completo bajo la
norma
|,|
j
=
__
A
[,[
j
dj
_
1j
.
Demostracin. Ya se prob que 1
j
es un espacio vectorial normado. Falta probar que es
completo. Para esto, sea (,
a
) una sucesin de Cauchy en 1
j
. Por lo tanto, para cada 0.
existe ` natural tal que si :. : _ `. entonces |,
n
,
a
|
j
< . es decir,
_
[,
n
(r) ,
a
(r)[
j
dj <
j
. (6.3)
Existe una subsucesin q
I
= ,
a
k
tal que |q
I+1
q
I
| < 2
I
. / N. Denimos q como
q(r) = [q
1
(r)[
o

I=1
[q
I+1
(r) q
I
(r)[ . (6.4)
1
Recordemos que un espacio mtrico es un conjunto no vaco A y una funcin
_
d : A A R tal
que i) d(r, j) _ 0, para todo r, j A.ii) d(r.j) = 0 si, y slo si, r = j. iii) d(r, j) = d(j, r), y iv)
d(r, j) _ d(r, .) + d(., j). A la funcin d se le llama distancia o mtrica. Recordemos tambin que si un
espacio vectorial \ admite una norma || , entonces podemos convertirlo en un espacio mtrico deniendo
d(r, j) = |r j| , para r, j \.
70
Entonces q `
+
. Por el lema de Fatou, tenemos
|q|
j
j
=
_
[q[
j
dj =
_
liminl
_
[q
1
[
o

I=1
[q
I+1
q
I
[
_
j
dj
_ liminl
_
_
[q
1
[
o

I=1
[q
I+1
q
I
[
_
j
dj
= liminl
_
_
_
_
_
[q
1
[
o

I=1
[q
I+1
q
I
[
_
_
_
_
_
j
j
Sacamos raz j-sima de ambos lados de la ecuacin, y utilizando la desigualdad de Minkows-
ki, se tiene
__
[q[
j
dj
_
1j
_ liminl
_
|q
1
|
j

o

I=1
|q
I+1
q
I
|
j
_
_ |q
1
|
j
1
Por lo tanto, si 1 = r A : q(r) < . entonces 1 /. y j(A1) = 0. Se sigue que la
serie en (6.4) converge en casi todo punto, y q
1
1
j
.
Ahora denimos , en A como
,(r) =
_

_
q
1
(r)
o

I=1
q
I+1
(r) q
I
(r) . r 1.
0. r , 1.
Como [q
I
[ _

o
)=I
[q
)+1
(r) q
)
(r)[ _ q(r) y la sucesin (q
I
) converge en casi todo punto
a ,. el Teorema de Convergencia Dominada asegura que , 1
j
. Ya que [, q
I
[
j
_ 2
j
q
j
.
inferimos del Teorema de Convergencia Dominada que 0 = lim|, q
I
|
j
. de modo que (q
I
)
converge a , en 1
j
.
En vista de (6.3), si : _ `. y / es sucientemente grande
_
[,
n
q
I
[
j
dj <
j
.
y aplicando el Lema de Fatou respecto de / se tiene
_
[,
n
,[
j
dj _ liminl
Io
_
[,
n
q
I
[
j
dj _
j
.
si : _ `. Esto prueba que ,
a
converge en la norma de 1
j
a ,.
Nota: Un espacio normado completo es denominado un espacio de Banach. El teorema
anterior arma que el espacio 1
j
es un espacio de Banach bajo la norma || .
71
6.4. El espacio 1

.
Denimos el espacio 1
o
= 1
o
(A. /. j) como el conjunto de funciones medibles , : A
R tales que existe un 1 _ 0 tal que [,(r)[ _ 1. para casi todo r A. Es decir,
jr A : [,(r)[ 1 = 0.
Denimos en este caso el supremo esencial de , como
csssnp (,) =inl 1 _ 0 : [,(r)[ _ 1 para casi todo punto en A (6.5)
Denimos para , 1
o
la norma
|,|
o
= csssnp(,). (6.6)
A un elemento de 1
o
se le llama funcin esencialmente acotada.
Se puede ver que si , 1
o
. entonces [,(r)[ _ |,|
o
para casi todo r A. Ms an,
si < |,|
o
. entonces existe un conjunto 1 con medida positiva tal que [,(r)[ _ . para
todo r 1. Es claro que la norma denida en (6.5) est bien denida en 1
o
.
Teorema 77 El espacio 1
o
es un espacio normado completo bajo la norma dada en (6.6).
Demostracin. Claramente 1
o
es un espacio vectorial. Obsrvese que |,|
o
_ 0. |0|
o
=
0. que |c,| = [c[ |,| . Si |,|
o
= 0. existe para cada / N tal que j(`
I
) = 0 tal que
[,(r)[ _ 1,/. para r , `
I
. Si ponemos ` = '
o
I=1
`
I
. entonces ` /. j(`) = 0. y
[,(r)[ = 0 para r , `. Entonces ,(r) = 0 para casi todo r A.
Si ,. q 1
o
. existen conjuntos `
1
. `
2
/ tal que j(`
1
) = j(`
2
) = 0. y
[,(r)[ _ |,|
o
para r , `
1
.
[q(r)[ _ |q|
o
para r , `
2
.
Por lo tanto [,(r) q(r)[ _ |,|
o
|q|
o
para toda r , `
1
'`
2
. de modo que |, q|
o
_
|,|
o
|q|
o
.
Falta demostrar que 1
o
es completo. Sea (,
a
) una sucesin de Cauchy en 1
o
. y sea `
un conjunto en / con j(`) = 0. tal que [,
a
(r)[ _ |,
a
| para r , `. : = 1. 2. ... y tambin
tal que [,
a
(r) ,
n
(r)[ _ |,
a
,
n
|
o
para toda r , `. y :. : N. Entonces la sucesin
(,
a
) es uniformemente convergente en A`. y si denimos
,(r) =
_
lim,
a
(r). r , `
0. r `.
se sigue que , es medible, y fcilmente se ve que |,
a
,|
o
0. Por lo tanto 1
o
es
completo. Esto termina la demostracin.
72
Captulo 7
Diferentes tipos de convergencia
7.1. Introduccin
En este captulo estudiaremos brevemente diversos tipos de convergencia que son tiles
en el anlisis de los espacios 1
j
. Tambin veremos interrelaciones entre los distintos tipos de
medidas.
En lo sucesivo consideraremos slo funciones de valor real, denidas en un espacio jo de
medida (A. /. j) . Tambin, supondremos que j es un nmero que cumple 1 _ j < . ya
que el anlisis para el caso j = puede realizarse directamente, aunque por diferente va,
normalmente.
Denicin 78 La sucesin de funciones (,
a
) converge uniformemente a , si para cada
0 existe un numero natural ` = `() tal que, si : _ `. entonces [,
a
(r) ,(r)[ < .
para toda r A.
Decomos que la sucesin (,
a
) converge puntualmente a , si, dado r y para cada 0.
existe un ` = `(. r) natural tal que si : _ `. entonces [,
a
(r) ,(r)[ < .
Decimos que la sucesin (,
a
) converge en casi todo punto a , si existe un conjunto
` _ A con j(`) = 0 tal que la sucesin (,
a
) converge puntualmente en A`. Es decir,
dado r A` y dado 0. existe un natural ` = `(. r) tal que si : _ ` entonces
[,
a
(r) ,(r)[ < .
Se puede ver fcilmente que convergencia uniformemente implica convergencia puntual,
que convergencia puntual implica convergencia en casi todo punto, y que las implicaciones
recprocas no son vlidas. Desde luego, si A tiene un nmero nito de puntos, entonces
convergencia puntual implica convergencia uniforme, y si el nico conjunto de medida cero
es el conjunto vaco, entonces convergencia en casi todo punto implica convergencia puntual.
73
7.2. Convergencia en 1
j
.
Recordemos la denicin de convergencia en 1
j
.
Denicin 79 Una sucesin (,
a
) en 1
j
= 1
j
(A. /. j) converge a , en 1
j
si para cada
0 existe un natural ` = `() tal que si : _ ` entonces
|,
a
,|
j
=
__
A
[,
a
,[
j
dj
_
1j
< .
En este caso decimos que la sucesin (,
a
) converge a , en media (de orden j)
Denicin 80 Decimos que una sucesin (,
a
) en 1
j
es de Cauchy en 1
j
si, para cada 0.
existe un nmero natural ` = ` () tal que si :. : _ ` entonces
|,
a
,
n
|
j
=
__
[,
a
,
n
[
j
dj
_
1j
< .
Demostramos en el captulo anterior que si (,
a
) es de Cauchy en 1
j
. entonces existe una
funcin , 1
j
tal que (,
a
) converge a , en 1
j
.
La relacin entre la convergencia en 1
j
y otros tipos de convergencia no es tan clara.
Podemos tener que una sucesin (,
a
) en 1
j
converge uniformemente a una funcin , en 1
j
,
pero esto no implica convergencia en 1
j
. Sin embargo, si j(A) < . esto no puede pasar.
Teorema 81 Supngase que j(A) < . y que (,
a
) es una sucesin de funciones en 1
j
que
convergen uniformemente en A a ,. Entonces , 1
j
y la sucesin (,
a
) converge a , en 1
j
.
Demostracin. Sea 0. y sea ` un natural tal que si : _ `. entonces [,
a
(r) ,(r)[ <
. para toda r A. Si : _ `. se tiene
|,
a
,|
j
=
__
[,
a
(r) ,(r)[
j
dj
_
1j
(7.1)
_
__

j
dj
_
1j
= j(A)
1j
.
y esto implica que ,
a
, 1
j
. Por lo tanto , = ,
a
(,
a
,) 1
j
. Adems, la desigualdad
de arriba demuestra que (,
a
) converge a , en 1
j
.
Puede ocurrir que para una sucesin (,
a
) en 1
j
sta converge puntualmente (y por lo
tanto en casi todo punto) a una funcin , 1
j
, pero que no converge en 1
j
. an cuando
j(A) < .
74
Ejercicio 82 Sea
,
a
(r) = :
[1a, 2a]
(r) =
_
:. si r [1,:. 2,:[
0. otro caso.
Demostrar que (,
a
) converge puntualmente en R a la funcin cero, pero que no converge en
1
j
(R. E(R) . `).
Sin embargo, cuando (,
a
) est dominada por una funcin q en 1
j
. entonces la conver-
gencia en 1
j
se satisface.
Teorema 83 Sea (,
a
) una sucesin en 1
j
que converge en casi todo punto a una funcin ,
medible. Si existe una funcin q 1
j
tal que
[,
a
(r)[ _ q(r). \r A. \: N. (7.2)
entonces , 1
j
y adems (,
a
) converge a , en 1
j
.
Demostracin. Por la desigualdad (7.2), se sigue que [,(r)[ _ q(r) en casi todo punto.
Como q 1
j
. se sigue que , 1
j
. Tambin,
[,
a
(r) ,(r)[
j
_ [2q(r)[
j
. en casi todo punto,
y como lim[,
a
,[
j
= 0 en casi todo punto, y 2
j
q
j
1
1
. se sigue del teorema de convergencia
dominada que
lim
_
[,
a
,[
j
dj = 0.
Por lo tanto (,
a
) converge a , en 1
j
.
Corolario 84 Supngase que j(A) < . y que (,
a
) es una sucesin en 1
j
que converge en
casi todo punto a una funcin medible ,. Si existe una constante 1 tal que
[,
a
(r)[ _ 1. : N. r A.
entonces , 1
j
. y (,
a
) converge a , en 1
j
.
Demostracin. Si j(A) < . las funciones constantes pertenecen a 1
j
.
Podra pensarse que convergencia en 1
j
implica convergencia en casi todo punto, pero no
es el caso. Daremos un ejemplo de una sucesin (,
a
) en 1
j
que converge en 1
j
a una funcin
,. pero de tal manera que (,
a
(r)) no converge en ningn punto r A.
75
Ejemplo 85 Sea A = [0. 1[ . / = E(R) y sea ` la medida de Lebesgue Considrese la
sucesin de intervalos (1
a
) dada por los intervalos [0. 1[ .
_
0.
1
2

.
_
1
2
. 1

.
_
0.
1
3

.
_
1
3
.
2
3

.
_
2
3
. 1

.
_
0.
1
4

.
_
1
4
.
1
2

.
_
1
2
.
3
4

.
_
3
4
. 1

.
_
0.
1
5

.
_
1
5
.
2
5

.
_
2
5
.
3
5

.
_
3
5
.
4
5

.
_
4
5
. 1

. ... Sea ,
a
=
1n
la funcin
indicadora del intervalo 1
a
y sea , la funcin cero. Si : _ :(: 1),2. entonces ,
a
es la
funcin caracterstica de un intervalo de longitud a lo mas 1,:. Por lo tanto
|,
a
,|
j
j
=
_
[,
a
,[
j
d` =
_
[,
a
[ d` _
1
:
.
Entonces (,
a
) converge a , en 1
j
. Pero si r es cualquier punto de [0. 1[ . entonces (,
a
(r))
tiene una subsucesin que consta de puros unos, y otra subsucesin que consta de puros
ceros. Entonces la sucesin (,
a
) no converge en ningn punto de [0. 1[ . Puede notarse, sin
embargo, que se puede escoger una subsucesin de (,
a
) que converge a ,).
7.3. Convergencia en medida
Aunque la convergencia en 1
j
no implica convergencia en casi todo punto, implica otro
tipo de convergencia que es a menudo de inters.
Denicin 86 Decimos que una sucesin (,
a
) de funciones medibles de valor real converge
en medida a una funcin real medible si
lim
ao
j(r A : [,
a
(r) , (r)[ _ c) = 0
para toda c 0. Se dice que (,
a
) es de Cauchy en medida si
lim
a,no
j(r A : [,
a
(r) ,
n
(r)[ _ c) = 0
para cada c 0.
Si (,
a
) converge uniformemente a ,. entonces el conjunto
r A : [,
a
(r) ,(r)[ _ c
es vaco, para : sucientemente grande :. As, convergencia uniforme implica convergencia en
medida. No es difcil demostrar que convergencia puntual (y por lo tanto, convergencia en casi
todo punto) no implica convergencia en medida, a menos que el espacio tenga medida nita.
Sin embargo, podemos observar que convergencia en 1
j
implica convergencia en medida. En
efecto, si denimos
1
a
(c) = r A : [,
a
(r) ,(r)[ _ c .
entonces _
[,
a
(r) ,(r)[
j
dj _
_
1n(c)
[,
a
(r) ,(r)[
j
dj _ c
j
j(1
a
(c)) .
Como c 0. se sigue que la condicin |,
a
,|
j
0 implica que j(1
a
(c)) 0. si : .
76
Ejercicio 87 Sea ,
a
=
[a,a+1]
. Demuestre que la sucesin (,
a
) converge en todas partes a
la funcin cero, pero que no converge en medida.
Podemos vericar que el Ejemplo 85 tambin da un ejemplo de una sucesin que converge
en medida a una funcin pero que no converge en ningn punto. A pesar de este hecho,
probaremos ahora un resultado debido a F. Riesz, que implica que si una sucesin (,
a
)
converge en medida a ,. entonces una subsucesin converge en casi todo punto a ,. De
hecho, probaremos algo mas que eso.
Teorema 88 (Riesz)Sea (,
a
) una sucesin de funciones reales medibles que es Cauchy en
medida. Entonces existe una subsucesin que converge en casi todo punto y en medida a una
funcin real ,.
Demostracin. Seleccionemos una subsucesin (,
In
) de (,
a
) tal que el conjunto
1
a
=
_
r A :

,
I
n+1
(r) ,
In
(r)

2
a
_
tenga medida j(1
a
) _ 2
a
. Sea 1
a
= '
o
I=a
1
I
. de modo que 1
a
/ y j(1
a
) _ 2
(a1)
. Si
i _ , _ :. y r , 1
a
. entonces, poniendo q
a
= ,
In
.
[q
i
(r) q
)
(r)[ _ [q
i
(r) q
i1
(r)[ [q
i1
(r) q
i2
(r)[ [q
)+1
(r) q
)
(r)[ (7.3)
_
1
2
i1

1
2
i2

1
2
)
<
1
2
)1
.
Sea 1 =
o
a=1
1
a
. de modo que 1 /. y j(1) = 0. Del argumento dado anteriormente se
sigue que (q
a
) converge en A1. Si denimos , como
,(r) =
_
limq
a
(r). r , 1.
0. r 1.
entonces (q
a
) converge a , en casi todo punto. Pasando al lmite en (7.3), entonces se sigue
que, si , _ :. y r , 1. entonces
[,(r) q
)
(r)[ _
1
2
)1
_
1
2
a1
.
Esto demuestra que la sucesin (q
)
) converge uniformemente a , en el complemento de cada
1
a
.
Para ver que (q
a
) converge en medida a ,. sean c. 0. y sea ` un natural tal que
j(1
.
) < 2
(.1)
<inl(c. ). Si , _ `. la estimacin anterior demuestra que
r A : [,(r) q
)
(r)[ _ c _
_
r A : [,(r) q
)
(r)[ _ 2
(.1)
_
_ 1
.
.
Por lo tanto, j(r A : [,(r) q
)
(r)[ _ c) _ j(1
.
) < para toda , _ `. de modo que
(q
a
) converge en medida a ,.
77
Corolario 89 Sea (,
a
) una sucesin de funciones reales medibles la cual es Cauchy en
medida. Entonces existe una funcin real medible , de manera que (,
a
) converge en medida
a ,. Esta funcin lmite , es determinada de manera nica en casi todo punto.
Demostracin. Hemos visto que existe una subsucesin (,
In
) que converge en medida a
una funcin ,. Para ver que la sucesin entera converge a , en medida, obsrvese que, al
tener
[,(r) ,
a
(r)[ _ [,(r) ,
In
(r)[ [,
In
(r) ,
a
(r)[ .
se tiene que
r A : [,(r) ,
a
(r)[ _ c _
_
r A : [,(r) ,
In
(r)[ _
c
2
_
'
_
r A : [,
In
(r) ,
a
(r)[ _
c
2
_
.
La convergencia en medida de (,
a
) se sigue de esta relacin.
Supngase que la sucesin (,
a
) converge en medida a , y q. Como
[,(r) q(r)[ _ [,(r) ,
a
(r)[ [,
a
(r) q(r)[ .
se sigue que
r A : [,(r) q(r)[ _ c _
_
r A : [,(r) ,
a
(r)[ _
c
2
_
'
_
r A : [,
a
(r) q(r)[ _
c
2
_
.
y por lo tanto
jr A : [, (r) q (r)[ _ c = 0.
para todo c 0. Tomando c = 1,:. : N. se sigue que , = q en casi todo punto.
Hemos mencionado que convergencia en 1
j
implica convergencia en medida. En general,
convergencia en medida no implica convergencia en 1
j
.
Ejercicio 90 Demostrar que la sucesin (,
a
) . donde ,
a
= :
[1a, 2a]
converge en medida a
la funcin cero, pero no converge en 1
j
. As, convergencia en medida no implica convergencia
en 1
j
. an si el espacio es de medida nita.
Sin embargo, esta implicacin es vlida cuando la convergencia es dominada.
Teorema 91 Sea (,
a
) una sucesin de funciones en 1
j
la cual converge en medida a ,. y
sea q 1
j
tal que
[,
a
(r)[ _ q(r). en casi todo punto.
Entonces , 1
j
y (,
a
) converge en 1
j
a ,.
78
Demostracin. Si (,
a
) no converge a , en 1
j
. entonces existe una sucesin (,
In
) de (,
a
)
y un 0 tal que
|,
In
,|
j
. (7.4)
Ponemos q
a
= ,
In
. Como (q
a
) es una sucesin de (,
a
) . se sigue que (q
a
) converge en medida
a , (Ejercicio!). Por el Teorema (88) existe una subsucesin (q
)n
) de (q
a
) que converge en
casi todo punto y en medida a una funcin /. De la parte de unicidad del Corolario 89 se
sigue que / = , en casi todo punto. Como (q
)n
) converge a , en casi todo punto a ,. y est
dominada por q. el Teorema 83 implica que |q
)n
,|
j
0. si : . Sin embargo, esto
contradice la relacin (7.4).
7.4. Convergencia casi uniforme
En la prueba del Teorema 88 construimos una sucesin (q
a
) de funciones reales medibles
que converga uniformemente en el complemento de conjuntos que tienen medida arbitrari-
amente pequea. A primera vista esto parece que equivale a convergencia uniforme fuera de
un conjunto de medida cero, pero no es el caso.
Ejercicio 92 Demuestre que la sucesin (,
a
), donde ,
a
= :
[1a, 2a]
tiene la propiedad de
que si o 0. entonces la sucesin converge uniformemente en el complemento de [0. o[ . Sin
embargo, demuestra que no existe un conjunto 1 de medida cero, de manera que la sucesin
converja uniformemente en el complemento de 1.
Denicin 93 Una sucesin (,
a
) de funciones medibles es casi uniformemente convergente
a una funcin medible , si, para cada o 0. existe un conjunto 1
c
/ con j(1
c
) < o
tal que (,
a
) converge uniformemente a , en A1
c
. Decimos que la sucesin (,
a
) es casi
uniformemente Cauchy si para cada o 0 existe un conjunto 1
c
/ tal que j(1
c
) < o tal
que (,
a
) es uniformemente convergente en A1
c
.
Debe advertirse que la terminologa, adems de ser algo desagradable, vara ligeramente
con el uso anterior de la palabra casi. Es claro que convergencia uniforme implica conver-
gencia casi uniforme, pero el recproco es falso.
Lema 94 Sea (,
a
) una sucesin de funciones medibles que es casi uniformemente Cauchy.
Entonces existe una funcin medible , tal que (,
a
) converge casi uniformemente y en casi
todo punto a ,.
Demostracin. Si / N, sea 1
I
/ tal que j(1
I
) < 2
I
. y (,
a
) es uniformemente
convergente en A1
I
. Sea 1
I
= '
o
)=I
1
)
. de modo que 1
I
/. y que j(1
I
) < 2
(I1)
.
Ntese que (,
a
) converge uniformemente en A1
I
_ A1
I
. Denimos q
I
por
q
I
(r) =
_
lim,
a
(r). r , 1
I
.
0. r 1
I
.
79
Obsrvese que la sucesin (1
I
) es decreciente y que si 1 =
o
I=1
1
I
. entonces 1 /. y
j(1) = 0. Si / _ /. entonces q
I
(r) = q
I
(r) para todo r 1
I
. Por lo tanto, la sucesin
(q
I
) converge en todo A a una funcin medible que denotaremos por ,. Si r , 1
I
. entonces
,(r) = q
I
(r) = lim,
a
(r). Se sigue que (,
a
) converge a , en A1. de modo que (,
a
) converge
a , en casi toda A.
Para ver que la convergencia es casi uniforme, sea 0. y sea 1 tan grande que
2
(11)
< . Entonces j(1
1
) < . y (,
a
) converge uniformemente a , en A1
1
.
Teorema 95 Si una sucesin (,
a
) converge casi uniformemente a ,. entonces (,
a
) converge
en medida a ,. Recprocamente, si una sucesin (/
a
) converge en medida a /. entonces alguna
subsucesin converge casi uniformemente a /.
Demostracin. Supngase que (,
a
) converge casi uniformemente a ,. y sean c. nmeros
positivos. Entonces existe un conjunto 1
.
en / con j(1
.
) < tal que (,
a
) converge a ,
uniformemente en A1
.
. Por lo tanto, si : es sucientemente grande, entonces el conjunto
r A : [,
a
(r) ,(r)[ _ c debe estar contenido en 1
.
. Esto demuestra que (,
a
) converge
en medida a ,.
Recprocamente, supngase que (/
a
) converge en medida a /. Se sigue del Teorema 88
que hay una subsucesin (q
I
) de (/
a
) tal que converge en medida a una funcin q. y la
demostracin del Teorema 88 demuestra que la convergencia es casi uniforme. Debido a que
(q
I
) converge en medida a q y a /. se sigue del Corolario 89 que q = / en casi todo punto.
Por lo tanto la subsucesin (q
I
) de (/
a
) converge casi uniformemente a /.
Se sigue del Teorema 95 que si una sucesin converge en 1
j
. entonces tiene una sub-
sucesin que converge casi uniformemente. Recprocamente, se puede ver que convergencia
casi uniforme no implica convergencia en 1
j
. aunque en general es vlido el recproco si la
convergencia es dominada por una funcin en 1
j
(aplquese el Teorema 91).
Una de las consecuencias del Lema 94 es que convergencia casi uniforme implica con-
vergencia en casi todas partes. En general, el recproco es falso, pero es un hecho notable e
importante que si las funciones son de valor real, y si j(A) < . entonces convergencia en
casi todas partes implica convergencia casi uniforme.
Teorema 96 (Teorema de Egoro) Supngase que j(A) < . y que (,
a
) es una sucesin
de funciones reales medibles que converge en casi todo punto a una funcin , medible de
valor real. Entonces la sucesin (,
a
) converge casi uniformemente y en medida a ,.
Demostracin. Podemos suponer, sin prdida de generalidad, que la convergencia tiene
lugar en todo A. Si :. : N. sea
1
a
(:) =
o
_
I=a
_
r A : [,
I
(r) ,(r)[ _
1
:
_
.
80
de tal manera que 1
a
(:) est en /. y 1
a+1
(:) _ 1
a
(:). Como ,
a
(r) ,(r) para toda
r A. entonces
o

a=1
1
a
(:) = O.
Como j(A) < . inferimos que j(1
a
(:)) 0. cuando : . Si o 0. sea /
n
un natural
tal que j(1
Im
(:)) < o,2
n
. y sea 1
c
= '
o
n=1
1
Im
(:). Entonces 1
c
/. y j(1
c
) < o.
Obsrvese que, si r , 1
c
. entonces r , 1
Im
(:). de modo que
[,
I
(r) ,(r)[ <
1
:
para toda / _ /
n
. Entonces (,
a
) Por lo tanto, (,
a
) converge uniformemente en el comple-
mento de 1
c
.
Concluiremos este captulo con un conjunto de condiciones necesarias y sucientes para
convergencia en 1
j
. Se puede ver que la segunda y tercera condicin se satisfacen automti-
camente cuando la sucesin es dominada por una funcin en 1
j
.
Lema 97 a) Sea (,
a
) _ 1
j
(A. /. j). 1 _ j < . y sea ,
a
denida para 1 / como
,
a
(1) =
__
1
[,
a
[
j
dj
_
1j
.
Entonces [,
a
(1) ,
n
(1)[ _ |,
a
,
n
|
j
. Por lo tanto, si (,
a
) es una sucesin de Cauchy
en 1
j
. entonces lim
ao
,
a
(1) existe para todo 1 /.
(b) Sea ,
a
. ,
a
como en el inciso (a). Si (,
a
) es una sucesin de Cauchy en 1
j
. entonces para
cada 0. existe un conjunto 1
.
/ tal que j(1
.
) < tal que si 1 / y 1 1 = O.
entonces ,
a
(1) < . para todo : N.
(c) Sea (,
a
) y ,
a
como en el inciso (b), y supngase que (,
a
) es una sucesin de Cauchy. Si
0. existe un o() 0. tal que, si 1 / y j(1) < o(). entonces ,
a
(1) < para toda
: N.
Demostracin. Ejercicio.
Teorema 98 (Teorema de convergencia de Vitali). Sea (,
a
) una sucesin en 1
j
(A. /. j).
1 _ j < . Entonces las siguientes tres condiciones son necesarias y sucientes para la
convergencia en 1
j
de (,
a
) a , :
(i) (,
a
) converge a , en medida..
(ii) Para cada 0. existe un conjunto 1
.
/ tal que j(1
.
) < tal que si 1 / y
1 1
.
= O entonces
_
1
[,
a
[
j
dj <
j
. para toda : N.
81
(iii) Para cada 0 existe un o() 0. tal que si 1 / y j(1) < o(). entonces
_
1
[,
a
[
j
dj <
j
. para toda : N.
Demostracin. Hemos visto que la convergencia en 1
j
implica convergencia en medida.
El hecho de que convergencia en 1
j
implica (ii) y (iii) es una consecuencia del lema anterior.
Demostraremos ahora que estas tres condiciones implican que (,
a
) converge en 1
j
a ,.
Si 0. sea 1
.
como en (ii), y sea 1 = A1
.
. Aplicando la desigualdad de Minkowski a
,
a
,
n
= (,
a
,
n
)
1"
,
a

1
,
n

1
. se obtiene
|,
a
,
n
|
j
=
_
_
(,
a
,
n
)
1"
(,
a
,
n
)
1
_
_
j
=
_
_
(,
a
,
n
)
1"
,
a

1
,
n

1
_
_
j
_
_
_
(,
a
,
n
)
1"
_
_
j
|,
a

1
|
j
|,
n

1
|
j
_
__
1"
[,
a
,
n
[
j
dj
_
1j
2
para :. : N. Ahora, sea c = [j(1)[
1j
y sea H
an
= r 1
.
: [,
a
(r) ,
n
(r)[ _ c . En
vista de (i), existe un natural 1() tal que si :. : _ 1(). entonces j(H
an
) < o(). Otra
aplicacin de la desigualdad de Minkowski, usando que (,
a
,
n
)
1"
= (,
a
,
n
)
1mn

(,
a
,
n
)
1"1mm
junto con (iii) implica
__
1"
[,
a
,
n
[
j
dj
_
1j
_
__
1"\1nm
[,
a
,
n
[
j
dj
_
1j

__
1nm
[,
a
,
n
[
j
dj
_
1j
_
__
1"\1nm
[,
a
,
n
[
j
dj
_
1j

__
1nm
[,
a
[
j
_
1j

__
1nm
[,
n
[
j
_
1j
_ c[j(1
.
)[
1j
< 3.
si :. : 1 () . Combinando esto con la desigualdad anterior implica que (,
a
) es una
sucesin de Cauchy en 1
j
. y por lo tanto, converge en 1
j
. como ya sabemos que converge en
medida a ,. por la unicidad de la convergencia en medida en casi todo punto, se sigue que
(,
a
) converge a , en 1
j
.
7.5. Teorema de Lusin (opcional)
En su libro "Lectures on the theory of functions", J. E. Littlewod explic que hay tres
principios que estn detrs del trabajo en Anlisis Real:
1) Cada conjunto medible en R
.
es casi una unin nita de rectngulos.
2) Cada funcin medible es casi una funcin continua.
3) Cada sucesin convergente de funciones medibles es casi una sucesin de funciones
uniformemente convergente.
82
En el ejercicio 25 se ilustra el primer principio, y en el teorema de Egorov se ilustra el
tercer principio. El siguiente teorema, llamado teorema de Lusin
1
, ilustra el segundo principio.
Aunque los parafraseos anteriores son tiles como recordatorios de teoremas que podran
ayudar en ciertas situaciones, es muy importante recordar el signicado exacto del teorema
correspondiente.
Recordemos que si una funcin es medible no negativa, entonces existe una sucesin
(,
a
)
o
a=1
de funciones simples que cumple ,
a
(r) _ ,
a+1
(r) para todo r A. y toda : N.
y adems, lim
ao
,
a
(r) = ,(r). para toda r A. Extenderemos esta armacin a funciones
medibles.
Teorema 99 Supngase que , es medible en A. Entonces existe una sucesin de funciones
simples (,
a
) que satisface
[,
a
(r)[ _

,
a+1
(r)

. para toda : N. y lim

ao
,
I
(r)) = , (r) .
En particular, tenemos [,
a
(r)[ _ [,(r)[ para toda r y :.
Demostracin. Se tiene la expresin , = ,
+
,

. donde
,
+
(r) = max (, (r) . 0) . ,

(r) = max (, (r) . 0) .

Como ,
+
y ,

son no negativas, existen sucesiones crecientes

_
,
(1)
a
_
y
_
,
(2)
a
_
de funciones
simples que convergen puntualmente a ,
+
y ,

. respectivamente. Si ponemos
,
a
(r) = ,
(1)
a
(r) ,
(2)
a
(r) .
vemos que (,
a
) converge a , en todo A. Finalmente, la sucesin ([,
a
[) es creciente, porque
de la denicin de ,
+
y ,

. y de las propiedades de ,
(1)
a
y ,
(2)
a
implican que
[,
a
(r)[ = ,
(1)
a
(r) ,
(2)
a
(r) _ ,
(1)
a+1
(r) ,
(2)
a+1
(r) =

,
a+1
(r)

Ahora consideremos el caso especial cuando (A. /. j) =

_
R
.
. E
R
N. dr
_
1
Nikolai Nikolaevich Luzin (1883-1950) estudi ingeniera en la Universidad de Mosc, de 1901 a 1905.
Aqu, Egorov resalt su talento, y lo anim a estudiar Matemticas. Despus de la graduacin, Lusin em-
pez el estudio de Medicina, pero regres a la Universidad de Mosc en 1909 a estudiar Matemticas con
Egorov.Ellos empezaron publicaciones conjuntas en 1910. El teorema de Lusin fue publicado en un artculo
en 1912. En 1915, Lusin recibi su doctorado. Fue nombrado profesor en la Universidad de Mosc en 1917.
En 1935 se convierte en jefe del Departamento de Teora de Funciones de Variables Reales en el Instituto
Steklov. En 1936 l fue denunciado por publicar sus resultados matemticos fuera de la Unin Sovitica,
actividad que fue interpretada como anti-sovitica. Por poco lo despiden y lo meten a prisin, pero consigui
salvarse.
Adems de su trabajo en teora de funciones, Lusin es reconocido por sus contribuciones a la teora
descriptiva de conjuntos (aspectos de teora de la medida y topologa de los conjuntos de Borel, y otras
o-lgebras) y en Anlisis Complejo. (Bressoud)
83
Denicin 100 Una funcion , : R
.
R es una funcin escaln si se puede poner como
, =
n

)=1
c
)

1
j
donde los 1
)
son rectngulos
Se tiene un teorema similar al teorema anterior para funciones escaln, aunque aqu la
convergencia slo se obtiene en casi todo punto, y se reere a funciones medibles en R
.
.
Teorema 101 Supngase que , es medible en R
.
. Entonces existe una sucesin de funciones
escaln (
a
) que converge puntualmente a , en casi todo punto.
Demostracin. Por el resultado anterior, es suciente demostrar que si 1 es un con-
junto medible con medida nita, entonces , =
1
puede ser aproximada por funciones
escaln. Para esto, recordemos que, para cada 0 existen cubos Q
1
. Q
2
. .... Q
n
tal que

1^'
n
)=1
Q
)

_ . Consideremos la malla formada al extender los lados de esos cubos.

Podemos ver que existen rectngulos que no se traslapan

1
1
.

1
2
. ....

1
A
tales que '
.
)=1
Q
)
=
'
A
)=1

1
)
. Escogemos rectngulos 1
)
contenidos en

1
)
y ligeramente menores en tamao, de
manera que

1^'
A
)=1
1
)

_ 2. Entonces
,(r) =
A

)=1

1
j
(r) .
excepto en un conjunto de medida _ 2. Por lo tanto, para cada / _ 1. existe una funcin
escaln
)
(r) tal que si
1
I
= r : ,(r) ,=
I
(r) .
entonces :(1
I
) _ 2
I
. Si denimos 1
1
= '
)=1+1
1
)
y 1 =
o
1=1
1
1
. entonces [1[ = 0
porque [1
1
[ _ 2
1
. y
I
(r) , (r) para toda r A1. y esto demuestra el teorema.
Teorema 102 (Lusin) Sea , : A R una funcin medible denida en un conjunto medible
A _ R
.
. para el cual [A[ < . Entonces para cada j 0. existe un subconjunto compacto
1 _ A tal que [A 1[ < j. tal que , [
1
, la restriccin de , a 1. es continua en 1
Demostracin. Ejecutaremos cuatro restricciones de dominio con el objetivo de obtener
un conjunto compacto 1 en el cual , [
1
es continua.
1) Queremos restringir , a subconjuntos acotados de A de manera que las aproximaciones
de conjuntos cerrados desde adentro sean compactas. Podemos hacerlo del siguiente modo.
Como
j(A) = lim
Io
j
_
A [/. /[
.
_
.
84
existe un cubo cerrado Q = [/
0
. /
0
[
.
_ R
.
sucientemente grande tal que
j(A) _ j(Q A) j(A)
j
8
y as, j(A(Q )) = j(A) j(Q ) < j,8.
2) Sabemos que , es el lmite puntual de funciones ,
a
de funciones simples medibles.
Ponemos
,
a
=
jn

i=1
c
i,a

i;n
.
como una combinacin de funciones indicadoras de conjuntos medibles ajenos
i,a
. con A =
jn

i=1

i,a
. Para cada i y : existe un conjunto compacto 1
i,a
_ Q
i,a
tal que
j((Q
i,a
) 1
i,a
) <
j
j
a
2
a+1
Cada funcin ,
a
es continua en 1
i,a
porque es constante ah. Ntese tambin que los puntos
de acumulacin de 1
i,a
y los de 1
),a
para , ,= i deben ser distintos, porque ambos son
subconjuntos compactos de sus respectivos conjuntos ajenos medibles. Esto es, cada conjunto
contiene todos sus puntos lmites, y los dos conjuntos compactos son ajenos. Luego, ,
a
es
continua tambin en
1
a
=
jn

i=1
1
i,a
.
Ms an, se tiene
Q A =
jn
_
i=1
(Q
i,a
) =
jn
_
i=1
(1
i,a
' ([Q
i,a
[ 1
i,a
))
=
_
jn
_
i=1
1
i,a
_
'
_
jn
_
i=1
(Q
i,a
) 1
i,a
_
= 1
a
'
__
jn
_
i=1
(Q
i,a
) 1
i,a
__
y esto implica
j((Q A) 1
a
) = j(Q A) j(1
a
) =
jn

i=1
j((Q
i,a
) 1
i,a
) <
jn

i=1
j
j
a
2
a+1
=
j
2
a+1
y al ser A = [A(Q A)[ ' 1
a
' [(Q A) 1
a
[
j(A 1
a
) = j(A(Q )) j((Q ) 1
a
) <
j
8

jn

i=1
j
j
a
2
a+1
=
j
8

j
2
a+1
.
85
3) Denimos otro conjunto compacto
1
+
=
o

a=1
1
a
.
de tal modo que, al tener (Q A) 1
+
= (Q A)
o
a=1
1
a
= '
o
a=1
[(Q A) 1
a
[ .
entonces
j(A) = j(A(Q A)) j(Q A)
= j(A(Q A)) j(1
+
) j((Q A) 1
+
)
y as,
j(A1
+
) = j(A) j(A
+
)
= j(A(Q A)) j((Q A) 1
+
)
= j(A(Q A)) j('
o
a=1
[(Q A) 1
a
[)
<
j
8

jn

i=1
j
2
a+1
=
j
8

j
2
=
j
8
Las funciones ,
a
son continuas en 1
+
y la sucesin (,
a
) converge a , puntualmente en 1
+
.
4) Por el teorema de Egoro existe un conjunto medible 1 _ 1
+
con j(1) <
j
4
y (,
a
)
converge a , uniformemente en 1
+
1. Como el conjunto 1
+
1 es medible, existe un
conjunto compacto 1 _ 1
+
1 tal que
j((1
+
1) 1) <
j
8
.
lo que implica que j(A) = j(A1
+
) j(1) j((1
+
1) 1) j(1) . y as,
j(A1) = j(A) j(1)
= j(A1
+
) j(1) j((1
+
1) 1)
<
j
8

j
4

j
8
= j.
y , es continua en 1.
86
Captulo 8
Teorema de Radon-Nikodym
8.1. Introduccin
En este captulo se estudiarn algunos teorema de descomposicin de medidas, culmi-
nando con un teorema clebre llamado el teorema de Radon-Nikodym, que relaciona ciertas
cargas con funciones integrables.
8.2. Teorema de descomposicin de Hahn
Recordemos que una carga en un espacio medible (A. /) es una funcin real ` denida
en / tal que `(O) = 0 y la cual es contablemente aditiva en el sentido de que
`
_
o
_
a=1
1
a
_
=
o

a=1
`(1
a
) .
para cualquier sucesin (1
a
) de conjuntos en / ajenos dos a dos. Analizando la demostracin
de los lemas 11 y 12, puede verse que si (1
a
) es una sucesin creciente de conjuntos en /
entonces
`
_
o
_
a=1
1
a
_
= lim`(1
a
) . (8.1)
y si (1
a
) es una sucesin decreciente de conjuntos en / entonces
`
_
o

a=1
1
a
_
= lim`(1
a
) . (8.2)
Denicin 103 Si ` es una carga en /. decimos que un conjunto 1 en / es positivo con
respecto de ` si `(1 1) _ 0 para cualquier 1 /. Se dice que un conjunto ` en / es
negativo respecto de ` si `(1 `) _ 0 para cualquier 1 /. Decimos que un conjunto `
en / es un conjunto nulo respecto de ` si `(` 1) = 0. para todo conjunto 1 /.
87
Ejercicio 104 Demostrar que ciualquier subconjunto medible de un conjunto positivo es
positivo, y que la unin de dos conjuntos positivos es positivo.
Teorema 105 (Teorema de descomposicin de Hahn). Si ` es una carga en . entonces
existen conjuntos 1 y ` en / con A = 1 '`. 1 ` = O. de tal modo que 1 es positivo y
` es negativo respecto de `.
Demostracin. La clase T de todos los conjuntos positivos es no vaca, porque contiene O.
al menos. Sea c = snp `() : T . sea (
a
) una sucesin en T tal que lim`(
a
) = c.
y sea 1 =
o

a=1

a
. Como la unin de dos conjuntos positivos es positiva, la sucesin (
a
)
puede escogerse montona creciente, y supondremos que as se ha hecho. Claramente 1 es
un conjunto positivo para `. ya que
`(1 1) = `
_
1
_
o

a=1

a
__
= `
_
o

a=1
(1
a
)
_
_ 0.
Ms an, c = lim`(
a
) = `(1) < .
Ahora demostraremos que el conjunto ` = A 1 es un conjunto negativo. Si no, existe
un conjunto medible 1 de ` con `(1) 0. El conjunto 1 no puede ser un conjunto positivo,
porque entonces 1 '1 sera un conjunto positivo con `(1 ' 1) c. contrario a la denicin
de c. Entonces 1 contiene conjuntos con carga negativa. Sea :
1
el natural mas pequeo tal
que 1 contiene un conjunto 1
1
/ tal que `(1
1
) _ 1,:
1
. Ahora
`(1 1
1
) = `(1) `(1
1
) `(1) 0.
Sin embargo, 11
1
no puede ser un conjunto positivo, porque en ese caso 1 = 1 '(1 1
1
)
sera un conjunto positivo con `(1
1
) c. Entonces 1 1
1
contiene conjuntos con carga
negativa. Sea :
2
el natural mas pequeo tal que 1 1
1
contiene un conjunto 1
2
/ tal que
`(1
2
) _ 1,:
2
. Como antes, 1 (1
1
' 1
2
) no es un conjunto positivo, y sea :
3
el natural
mas pequeo tal que 1 (1
1
' 1
2
) contiene un conjunto 1
3
/ tal que `(1
3
) _ 1,:
3
.
Repitiendo este argumento, obtenemos una coleccin (1
I
) ajena dos a dos, de conjuntos en
/ tal que `(1
I
) _ 1,:
I
. Sea 1 =
o

I=1
1
I
de modo que
`(1) =
o

I=1
`(1
I
) _
o

I=1
1
:
I
_ 0.
y al ser `(1) nito, la serie

1
a
k
converge, y por lo tanto :
I
. Si G es un subconjunto
medible de 1 1 y `(G) < 0. entonces `(G) < 1, (:
I
1) para / sufcientemente grande,
contradiciendo el hecho de que :
I
es el natural mas pequeo tal que 1 (1
1
' ' 1
I
)
contiene un conjunto con carga menor que 1,:
I
. Por lo tanto, cualquier subconjunto G
88
de 1 1 debe cumplir `(G) _ 0. y esto implica que 1 1 es un conjunto positivo. Como
`(1 1) = `(1) `(1) 0. se deduce que 1 '(1 1) es un conjunto positivo con carga
mayor que c. la cual es una contradiccin.
Se sigue que el conjunto ` = A 1 es un conjunto negativo para `. y A = 1 '(A 1)
es la descomposicin deseada.
Una pareja 1. ` de conjuntos medibles que satisfacen las conclusiones del teorema ante-
rior se llama una descomposicin de Hahn de A respecto de `. En general no hay una nica
descomposicin de Hahn. De hecho, si 1 y ` es una descomposicin de Hahn para `. y `
es un conjunto nulo para `. entonces 1 ' `. `` y 1`. ` ' ` son ambas descomposi-
ciones de Hahn para `. Sin embargo, esta prdida de unicidad para muchos propsitos no es
importante.
Lema 106 Si 1
1
. `
1
y 1
2
. `
2
son dos descomposiciones de Hahn para `. y 1 /, entonces
`(1 1
1
) = `(1 1
2
) . `(1 `
1
) = `(1 `
2
) .
Demostracin. Como 1 (1
1
1
2
) est contenido en el conjunto positivo 1
1
y en el
conjunto negativo `
2
. entonces `(1 (1
1
1
2
)) = 0. de modo que
`(1 1
1
) = `(1 1
1
1
2
) .
Similarmente,
`(1 1
2
) = `(1 1
1
1
2
).
Se sigue que
`(1 1
1
) = `(1 1
2
) .
La otra igualdad es similar.
Denicin 107 Sea ` una carga en /. y sea 1. ` una descomposicin de Hahn para `. La
variacin positiva y la variacin negativa de ` son las medidas nitas `
+
y `

denidas en
/ como
`
+
(1) = `(1 1) . `

(1) = `(1 `) . (8.3)

La variacin total de ` es la medida [`[ denida en / como
[`[ (1) = `
+
(1) `

(1) .
Como consecuencia del Lema 106 que la variacin positiva y negativa estn bien denidas,
y no dependen de la descomposicin de Hahn. Tambin es claro que
`(1) = `(1 1) `(1 `) = `
+
(1) `

(1). (8.4)
De aqu se sigue el siguiente resultado.
89
Teorema 108 (Teorema de descomposicin de Jordan). Si ` es una carga en /. entonces
es la diferencia de dos medidas nitas en /. En particular, ` es la diferencia de `
+
y `

.
Ms an, si ` = j i. donde j. i son medidas nitas en /. entonces
j(1) _ `
+
(1). i(1) _ `

(1). (8.5)
para todo 1 /.
Demostracin. La representacin ` = `
+
`

ya se estableci arriba. Como j y i tienen

valores no negativos,
`
+
(1) = `(1 1) = j(1 1) i(1 1) _ j(1 1) _ j(1).
Se demuestra de modo similar que `

(1) _ i(1). para todo 1 /.

Hemos visto en el Lema ??, que si una funcin , es integrable con respecto a una medida
j en /. y si ` se dene en / como
`(1) =
_
1
, dj. (8.6)
entonces ` es una carga. Ahora identicaremos las variaciones positivas y negativas de `.
Teorema 109 Si , 1(A. /. j). y si ` est denida por (8.6), entonces `
+
. `

y [`[ estn
dadas para 1 / por
`
+
(1) =
_
1
,
+
dj. `

(1) =
_
1
,

dj.
[`[ (1) =
_
1
[,[ dj.
Demostracin. Sea 1
)
= r A : ,(r) _ 0 . `
)
= r A : ,(r) < 0 . Entonces A =
1
)
' `
)
. y 1
)
`
)
= O. Si 1 /. entonces es claro que `(1 1
)
) _ 0 y `(1 `
)
) _ 0.
Por lo tanto, 1
)
. `
)
es una descomposicin de Hahn para `.Esto demuestra el teorema.
8.3. Medidas absolutamente continuas. Teorema de Radon-
Nikodym
Hemos visto en el corolario ?? que si , es una funcin medible de valor real extendido
no negativa, y j es una medida en /. entonces la funcin ` denida por la ecuacin (8.6)
es una medida en /. Existe un recproco a este teorema que da condiciones bajo las cuales
podemos expresar una medida como una integral respecto de j de una funcin , no negativa
medible de valor real extendido. Vinos en el Corolario ?? que una condicin necesaria para
esta representacin es que `(1) = 0. para todo conjunto 1 / para el cual j(1) = 0.
Resulta que esta condicin es tambin suciente en el caso importante de que j y ` son
o-nitas.
90
Denicin 110 Se dice que una medida ` en / es absolutamente continua respecto de
una medida j en / si 1 / y j(1) = 0 implica que `(1) = 0. En este caso escribimos
` j. Decimos que una carga ` es absolutamente continua con respecto de una carga j si
la variacin total [`[ de ` es absolutamente continua respecto de [j[ .
El siguiente lema es til, y ampla nuestro entendimiento intuitivo de continuidad abso-
luta.
Lema 111 Sean j y ` medidas nitas en /. Entonces ` j si y slo si para cada 0
existe un o 0. tal que 1 / y j(1) < o implica que `(1) < .
Demostracin. Si la condicin se satisface, y j(1) = 0. entonces `(1) < . para todo
0. de donde se sigue que `(1) = 0.
Recprocamente, supngase que existe un
0
0 y conjuntos 1
a
/ tal que j(1
a
) <
2
a
. y `(1
a
) _
0
. Sea 1
a
=
o
_
I=a
1
I
. de manera que j(1
a
) < 2
a+1
y `(1
a
) _
0
. Como
(1
a
) es una sucesin decreciente de conjuntos medibles,
j
_
o

a=1
1
a
_
= limj(1
a
) = 0.
`
_
o

a=1
1
a
_
= lim`(1
a
) _
0
.
y esto implica que ` no es absolutamente continua respecto de j.
Teorema 112 (Teorema de Radon-Nikodym). Sean ` y j medidas o-nitas denidas en /
y supngase que ` es absolutamente continua respecto de j. Entonces existe una funcin
, `
+
(A. /) tal que
`(1) =
_
1
, dj. 1 /.
Ms an, , est determinada unvocamente salvo en casi todo punto.
Demostracin. Probaremos el teorema bajo la hiptesis de que `(A) y j(A) son nitas.
Si c 0. sea 1 (c) . ` (c) la descomposicin de Hahn de A para la carga `cj. Si / N,
consideremoslos conjuntos medibles

1
= ` (c) .
I+1
= ` ((/ 1) c)
I

)=1

)
.
Claramente los conjuntos (
I
) son ajenos dos a dos, y que
I

)=1
` (,c) =
I

)=1

)
.
91
Se sigue que

I
= ` (/c)
I1

)=1
` (,c) = ` (/c)
_
I1

)=1
1 (,c)
_
As, si 1 es un subconjunto medible de
I
. entonces 1 _ ` (/c) y 1 _ 1 ((/ 1) c).
Entonces
(/ 1) cj(1) _ `(1) _ /cj(1) (8.7)
Denimos 1 por
1 = A
o

)=1

)
=
o

)=1
j (,c) .
de manera que 1 _ 1 (/c) para todo / N. Esto implica que
0 _ /cj(1) _ `(1) _ `(A) <
para todo / N. de modo que j(1) = 0. Como ` j. esto implica que `(1) = 0.
Sea ,
c
denida como ,
c
(r) = (/ 1) c. para r
I
. y ,
c
(r) = 0 para r 1. Si 1 es un
conjunto medible arbitrario, entonces 1 es la unin de los conjuntos ajenos 1 1. 1
I
.
/ N, y se sigue de (8.7) que
_
1
,
c
dj _ `(1) _
_
1
(,
c
c) dj _
_
1
,
c
dj cj(A) .
Empleamos la siguiente construccin para c = 2
a
. : N. y obtenemos una sucesin de
funciones que ahora denotamos por ,
a
. Por lo tanto
_
1
,
a
dj _ j(1) _
_
1
,
a
dj 2
a
j(A) . (8.8)
para todo : N. Sea : _ :. y obsrvese que
_
1
,
a
dj _ `(1) _
_
1
,
n
dj 2
n
j(A) .
_
1
,
n
dj _ `(1) _
_
1
,
a
dj 2
a
j(A. )
y de aqu se sigue que

_
1
(,
a
,
n
) dj

_ 2
a
j(A) .
para toda 1 /. Si tomamos a 1 como los conjuntos donde el integrando es positivo y
negativo, y lo combinamos, se deduce que
_
[,
a
,
n
[ dj _ 2
a+1
j(A) .
92
siempre que : _ :. Esto implica que (,
a
) converge en media a una funcin ,. Como las ,
a
pertenecen a `
+
. del Teorema (88) podemos suponer que , `
+
. Ms an,

_
1
,
a
dj
_
1
, dj

_
_
1
[,
a
,[ dj _
_
A
[,
a
,[ dj.
y podemos concluir de (8.8) que
`(1) = lim
_
1
,
a
dj =
_
1
, dj
para todo 1 /. Esto completa la demostracin de existencia en el teorema, para el caso
donde ambas medidas j y ` son medidas nitas.
Armamos que , est unvocamente determinada salvo conjuntos de j-medida cero. En
efecto, supongamos que ,. / `
+
y que
`(1) =
_
1
, dj =
_
1
/ dj
para toda 1 /. Sea 1
1
= r : , (r) /(r) y 1
2
= r : , (r) < /(r) . Aplicando en
corolario (45) se obtiene que , = / en j-casi todas partes.
Ahora supongamos que ` y j son o-nitas y sea (A
a
) una sucesin creciente en / tal
que
`(A
a
) < . j(A
a
) < . A =
o

a=1
A
a
.
Aplicamos el argumento precedente y se obtiene una funcin /
a
en `
+
que se anula para
r , A
a
. tal que si 1 es un subconjunto medible de A
a
, entonces
`(1) =
_
1
/
a
dj.
Si : _ :. entonces A
a
_ A
n
. y se sigue que
_
1
/
a
dj =
_
1
/
n
dj
para cualquier subconjunto 1 de A
a
. De la unicidad de /
a
. se sigue que /
n
(r) = /
a
(r) para
casi todo r A
a
. respecto de j. Sea ,
a
= snp /
1
. /
2
. .... /
a
; la sucesin (,
a
) es montona
creciente en `
+
y sea , = lim,
a
. Si 1 /, entonces
`(1 A
a
) =
_
1
,
a
dj.
Como (1 A
a
) es una sucesin creciente de conjuntos cuya unin es 1. se sigue del Lema
(11) y el teorema de convergencia montona que
`(1) = lim`(1 A
a
) = lim
_
1
,
a
dj =
_
1
, dj.
93
La j-unicidad de , se establece como antes.
La funcin , cuya existencia se establece en el teorema anterior se denomina a menudo
la derivada de Radon-Nikodym de ` respecto de j. y se denota por d`,dj. Se puede ver que
tiene propiedades cercanas a la derivada. Se puede ver que dicha funcin no es necesariamente
integrable. De hecho, , es (j-equivalente a una funcin) integrable si y slo si ` es una medida
nita.
En trminos intuitivos, una medida ` es absolutamente continua con respecto a una
medida j si todos los conjuntos de j-medida pequea tiene tambin `-medida pequea. En
el otro extremo, existe la nocin de medida singular, que deniremos ahora.
Denicin 113 Se dice que las medidas j. ` en / son mutuamente singulares si existen
conjuntos ajenos . 1 / tal que A = ' 1. y `() = j(1) = 0. En este caso escribimos
` l j.
Aunque la relacin de singularidad es simtrica, a veces se dice que ` es singular respecto
de j.
Teorema 114 (Teorema de descomposicin de Lebesgue). Sean ` y j medidas o-nitas
denidas en una sigma-lgebra /. Entonces existe una medida `
1
que es singular con respecto
de j. y una medida `
2
la cual es absolutamente continua respecto de j tal que ` = `
1
`
2
.
Ms an, las medidas `
1
y `
2
son nicas.
Demostracin. Sea i = ` j de modo que i es o-nita. Como ` y j son ambas abso-
lutamente continuas con respecto de i. el teorema de Radon-Nikodym implica que existen
funciones ,. q `
+
(A. /) tal que
`(1) =
_
1
, di. j(1) =
_
1
q di.
para toda 1 /. Sea = r A : q(r) = 0 . y sea 1 = r A : q(r) 0 . as que
1 = O. y A = ' 1.
Denimos `
1
y `
2
para 1 / como
`
1
(1) = `(1 ) . `
2
(1) = `(1 1).
Como j() = 0. se sigue que `
1
l j. Para ver que `
2
j. observe que si j(1) = 0.
entonces _
1
q di = 0.
as que q(r) = 0 para i-casi todo r A. As, i (1 1) = 0. y como ` i. se tiene
`
2
(1) = `(1 1) = 0.
Claramente ` = `
1
`
2
. y esto demuestra la existencia de la descomposicin.
Para establecer la unicidad de la descomposicin, sese la observacin de que si c es una
medida que cumple c j y c l j. entonces c = 0.
94
8.4. Teorema de representacin de Riesz
Como otra aplicacin del Teorema de Radon-Nikodym, presentaremos un teorema que
est relacionado con la representacin de los funcionales lineales continuas en los espacios
1
j
. 1 _ j < .
Denicin 115 Un funcional lineal en 1
j
= 1
j
(A. /. j) es una transformacin G : 1
j
1
tal que
G(c, ,q) = cG(,) ,G(q)
para todo c. , 1. y ,. q 1
j
. Decimos que el funcional lineal G es acotado si existe una
constante ` tal que
[G(,)[ _ `|,|
j
para toda , 1
j
. En este caso, la norma de G se dene como
|G| = snp
_
[G(,)[ : , 1
j
. |,|
j
_ 1
_
.
Es una consecuencia de la linealidad de la integral y de la desigualdad de Hlder que si
q 1
q
(donde = cuando j = 1. y 1,j 1, = 1 en otro caso) que si denimos G en 1
j
como
G(,) =
_
,q dj. (8.9)
entonces G es un funcional lineal acotada con norma a lo ms |G| = |q|
q
(y es un ejercicio
fcil demostrar que |G| = |q|
q
). El teorema de Riesz nos da un recproco a esta observacin.
Antes de probar este teorema, es conveniente observar que cualquier funcional lineal
acotada en 1
j
puede escribirse como la diferencia de dos funcionales positivas (es decir,
funcionales G que cumplen G(,) _ 0 para toda , 1
j
que cumple , _ 0).
Lema 116 Sea G un funcional lineal acotado en 1
j
. Entonces existen dos funcionales lineales
positivas G
+
y G

tal que G(,) = G

+
(,) G

(,). para toda , 1

j
Demostracin. Si , _ 0. denimos G
+
(,) = snp G(q) : q 1
j
. 0 _ q _ , . Es claro
que G
+
(c,) = cG
+
(,) para c _ 0. y , _ 0. Si 0 _ q
)
_ ,
)
. entonces
G(q
1
) G(q
2
) = G(q
1
q
2
) _ G
+
(,
1
,
2
) _ G
+
(,
1
,
2
).
Tomando los supremos sobre todos los q
1
. q
2
1
j
obtenemos G
+
(,
1
)G
+
(,
2
) _ G
+
(,
1
,
2
).
Recprocamente, si 0 _ / _ ,
1
,
2
. sea q
1
= snp / ,
2
. 0 . y q
2
= inl /. ,
2
. Se sigue
que q
1
q
2
= /. y que 0 _ q
)
_ ,
)
. Entonces G(/) = G(q
1
) G(q
2
) _ G
+
(,
1
) G
+
(,
2
).
Como esto es cierto para toda / 1
j
. se deduce que
G
+
(,
1
,
2
) = G
+
(,
1
) G
+
(,
2
).
95
para todo ,
1
.,
2
1
j
tal que ,
)
_ 0.
Si , es un elemento arbitrario de 1
j
. denimos
G
+
(,) = G
+
(,
+
) G
+
(,

).
Es fcil ver que G
+
es un funcional lineal acotado en 1
j
. Ms an, denimos G

para , 1
j
como
G

(,) = G
+
(,) G(,).
Entonces G

es un funcional lineal acotado en 1

j
. De la denicin de G
+
se ve claramente
que G

es un funcional lineal acotado positivo, y que G = G

+
G

.
Teorema 117 ( Teorema de Representacin de Riesz). Si (A/. j) es un espacio de medida
o-nita y G es un funcional lineal acotado en 1
1
(A. /. j). entonces existe una funcin q
1
o
(A. /. j) tal que la ecuacin (8.9) es vlido para toda , 1
1
. Ms an, |G| = |q|
o
. y
q _ 0 si G es un funcional lineal positivo.
Demostracin. Primero supondremos que j(A) < . y que G es positiva. Denimos
` : / R como `(1) = G(
1
) . Claramente `(O) = 0. Si (1
a
) es una sucesin creciente en
/ y 1 =

1
a
. entonces
_

1n
_
converge puntualmente a
1
. Como j(A) < . se sigue
del corolario (??) que esta sucesin converge en 1
1
a
1
. Como
0 _ `(1) `(1
a
) = G(
1
) G
_

1n
_
= G
_

1

1n
_
_ |G|
_
_

1

1n
_
_
.
Se sigue que ` es una medida. Ms an, si ` /. y j(`) = 0. entonces `(`) = 0. y esto
implica que ` j.
Aplicando el teorema de Radon-Nikodym se obtiene una funcin medible no negativa
q : / R tal que
G(
1
) = `(1) =
_

1
q dj
para toda 1 /. Por linealidad se sigue que
G(,) =
_
,q dj
para todas las funciones /-medibles simples ,.
Si , es una funcin no negativa en 1
1
. sea (,
a
) una sucesin montona creciente de
funciones simples que convergen en casi todo punto y en 1
1
a ,. Al ser G un funcional lineal
acotado, se sigue que G(,) = limG(,
a
) . Ms an, se sigue del teorema de convergencia
montona que
G(,) = lim
_
,
a
q dj =
_
,q dj. (8.10)
96
Descomponiendo una funcin , 1
1
en la forma , = ,
+
,

. y usando la linealidad de G.
la ecuacin (8.10) es vlida para cualquier , 1
1
.
Ahora demostraremos el teorema en el caso o-nito. Si A =

1
a
. donde (1
a
) es una
sucesin creciente de conjuntos en / con medida nita, el argumento precedente muestra la
existencia de funciones no negativas q
a
tal que
G
_
,
1n
_
=
_
,
1n
q
a
dj
para todo , 1
1
. Si : _ :. se puede ver fcilmente que q
n
(r) = q
a
(r) para casi toda
r 1
n
. De esta manera obtenemos una funcin q que representa G.
Si G es un funcional lineal acotada arbitraria, el Lema (116) muestra que podemos escribir
G = G
+
G

. donde G
+
y G

son funcionales lineales positivos acotados. Si aplicamos las

consideraciones precedentes a G
+
y G

. obtenemos funciones medibles no negativas q

+
y q

que representan G
+
y G

. Si denimos q = q
+
q

. obtenemos la representacin
G(,) =
_
,q dj (8.11)
para toda , 1
1
. Se deja como ejercicio demostrar que |G| = |q|
o
.
Teorema 118 (Teorema de representacin de Riesz). Si (A. /. j) es un espacio de medida
arbitrario y G es un funcional lineal acotado en 1
j
(A. /. j) . 1 < j < . entonces existe
un q 1
q
(A. /. j) . donde = j,(j 1) tal que la ecuacin (8.9) resulta vlida para toda
, 1
j
. Ms an, |G| = |q|
q
.
Demostracin. Si j(A) < . la prueba del teorema precedente requiere slo pequeos
cambios para demostrar que existe una q 1
q
con |G| = |q|
q
. de manera que
G(,) =
_
,q dj
para toda , 1
j
. Adems, el procedimiento usado antes aplica para extender el resultado
al caso donde (A. /. j) es o-nita.
Completaremos la demostracin observando que un funcional lineal acotado "se anula
fuera de un conjunto o-nito". Mas precisamente, sea (,
a
) una sucesin en 1
j
tal que |,
a
|
j
=
1. y que
G(,
a
) _ |G|
_
1
1
:
_
.
Existe un conjunto A
0
/ que es o-nito fuera del cual todas las ,
a
se anulan. Sea 1 /
con 1 A
0
= O: entonces |,
a
t
1
|
j
= (1 t
j
j(1))
1j
para t _ 0. Ms an, como
G(,
a
) G(t
1
) _ [G(,
a
t
1
)[ .
97
se sigue que
[G(t
1
)[ _ |G|
_
(1 t
j
j(1))
1j

_
1
1
:
__
.
para todo : N. Haciendo primero que : . y luego dividimos por t 0. y obtenemos
[G(
1
)[ _ |G|
(1 t
j
j(1))
1j
1
t
.
Aplicando la regla de LHospital cuando t 0
+
. se deduce que G(
1
) = 0. para cualquier
1 / en el complemento del conjunto o-nito A
0
. Por lo tanto, si , es cualquier funcin
en 1
j
tal que A
0
r A : , (r) ,= 0 = O. se sigue que G(,) = 0.
As, podemos aplicar el argumento precedente para obtener una funcin q en A
0
que
representa a G. y extiende q a todo A, con el requisito que se anula en el complemento de
A
0
. De este modo obtenemos la funcin deseada.
98
Captulo 9
Generacin de medidas. El teorema
de extensin de Carathedory
9.1. Introduccin
En este captulo veremos un mtodo mediante el cual una medida denida en una familia
relativamente pequea de conjuntos, bajo ciertas condiciones puede extenderse a una me-
dida en una sigma-lgebra que contiene a dicha familia. Empecemos con unas deniciones
preliminares.
9.2. lgebras y medidas en lgebras
Denicin 119 Una familia ( de subconjuntos de A es un lgebra o un campo si:
i) O. A (.
ii) Si 1 (. entonces 1
c
= A1 (
iii) Si 1
1
. 1
2
. .... 1
a
(. entonces '
a
)=1
1
)
(
Denicin 120 Si ( es un lgebra de subconjuntos de A, entonces una medida en ( es una
funcin j : ( R tal que i) j(O) = 0. ii) j(1) _ 0. para todo 1 (. iii) Si (1
a
) es una
sucesin de conjuntos ajenos dos a dos, y '
o
a=1
1
a
(. entonces
j
_
o
_
a=1
1
a
_
=
o

a=1
j(1
a
) .
Parece razonable que la longitud es una medida, aunque no es obvio. Daremos una condi-
cin suciente para la aditividad numerable, la cual es satisfecha por la mayora de las
medidas encontradas en las aplicaciones reales.
99
Denicin 121 Una familia / de subconjuntos de un conjunto A se llama una clase (con-
tablemente) compacta si, para cualquier sucesin (1
a
)
o
a=1
de elementos con
o
a=1
1
a
= O.
existe ` natural tal que
.
a=1
1
a
= O.
La terminologa se debe al siguiente ejemplo.
Ejemplo 122 Una coleccin arbitraria de conjuntos compactos en R
a
(o en cualquier espa-
cio topolgico) son una clase compacta.
En efecto, sea 1
a
conjuntos compactos en R
a
cuya interseccin es vaca. Supngase que
para cada : el conjunto 1
a
=
a
i=1
1
i
contiene algn elemento r
a
. Podemos suponer que
ningn elemento de la sucesin (r
a
)
aN
se repite innitas veces, porque en ese caso es un
elemento comn de todos los 1
a
. Por la compacidad de 1
1
existe un punto lmite r de (r
a
) .
Cada vecindad de r contiene innitos elementos de la sucesin (r
a
) . Al ser todos los 1
a
compactos y r
i
1
a
siempre que i :. el punto r pertenece a todos los 1
a
. lo que es una
contradiccin.
Teorema 123 Sea j una funcin real aditiva no negativa denida en una lgebra /. Supn-
gase que existe una clase compacta / que aproxima j en el siguiente sentido: para cada /
y cada 0. existe 1
.
/ y
.
/ tal que
.
_ 1
.
_ . y j(
.
) < . Entonces j es
contablemente aditiva. En particular, esto es verdadero si la clase compacta est contenida
en /. y para cada / se tiene la igualdad
j() = snp j(1) : 1 _ . 1 /
Demostracin. Supongamos que los conjuntos
a
/ forman una sucesin decreciente
cuya interseccin es vaca. Demostraremos que j(
a
) 0. Sea 0 jo. Por hiptesis,
existe 1
a
/ y 1
a
/ tal que 1
a
_ 1
a
_
a
y (
a
1
a
) < 2
a
. Es claro que

o
a=1
1
a
_
o
a=1

a
= O. Por la denicin de una clase compacta, existe ` natural tal que

.
a=1
1
a
= O. Entonces
.
a=1
1
a
= O. Ntese que se tiene

.
=
.

a=1

a
_
.
_
a=1
(
a
1
a
) . (9.1)
En efecto, sea r
.
. esto es, r
a
para todo : _ `. Si r no pertenece a '
.
a=1
(
a
1
a
) .
entonces r ,
a
1
a
para todo : _ `. Para que r
a
y r ,
a
1
a
para todo : _ `.
se debe tener r 1
a
para toda : _ `. pero esto contradice que
.
a=1
1
a
= O. La ecuacin
(9.1) nos da la estimacin
j(
.
) _
.

a=1
j(
a
1
a
) _
.

a=1
2
a
< .
100
Como los (
a
) forman una sucesin decreciente de conjuntos, esto implica que si : _ `.
entonces
j(
a
) _ j(
.
) < .
As, lim
ao
j(
a
) = 0. y j es contablemente aditiva, por la proposicin 2.
Ejemplo 124 Sea 1 un intervalo en R y sea / la lgebra de uniones nitas de intervalos
en 1 (abiertos, cerrados y semiabiertos). Entonces la longitud usual `. que le asigna el valor
/c a los intervalos con los extremos c. /. que se extiende por aditividad a las uniones nitas
ajenas, es contablemente aditiva en la lgebra /.
En efecto, las uniones nitas de intervalos cerrados forman una clase compacta, y aprox-
ima desde dentro a una unin nita de intervalos arbitrarios.
Ejemplo 125 Sea 1 un cubo en R
a
de la forma [c. /[
a
y sea / la lgebra de uniones nitas
de paraleleppedos que son producto cartesiano de : intervalos en [c. /[ . Entonces el volumen
usual `
a
es contablemente aditiva en /. Llamamos a `
a
la medida de Lebesgue.
En efecto, como en el ejemplo anterior, uniones nitas de paraleleppedos cerrados en
[c. /[
a
con lados paralelos a los ejes coordenados forma una clase compacta
A continuacin haremos una demostracin directa del ejemplo anterior para : = 1.
Teorema 126 La coleccin ( de todas las uniones nitas de conjuntos de la forma
(c. /[ . (. /[ . (c.). (. ) (9.2)
es un lgebra de subconjuntos de R. y la longitud es una medida en (.
Demostracin. Fcilmente se ve que ( es un lgebra. Si | denota la funcin longitud,
entonces la condicin i) y ii) de la denicin de medida se cumplen. Para probar iii) es
suciente demostrar que si uno de los conjuntos de la forma (9.2) es la union numerable de
conjuntos de esta forma, entonces la longitud se suma correctamente. Supngase que
(c. /[ =
o
_
)=1
(c
)
. /
)
[ . (9.3)
donde los intervalos (c
)
. /
)
[ son ajenos. Sean (c
1
. /
1
[ . (c
2
. /
2
[ . .... (c
a
. /
a
[ cualquier subcolec-
cin nita de tales intervalos, y supngase que
c _ c
1
< /
1
_ c
2
< /
2
_ < /
a1
_ c
a
< /
a
_ /.
(esto puede requerir una reetiquetar los intervalos, lo que siempre se puede hacer). Ahora,
a

)=1
| ((c
)
. /
)
[) =
a

)=1
(/
)
c
)
) _ /
a
c
1
_ / c = | ((c. /[) .
101
Como : es arbitraria, concluimos que
o

)=1
| ((c
)
. /
)
[) _ / c. (9.4)
Recprocamente, sea 0 arbitrario, y sea (
)
) una sucesin de nmeros positivos con

)
< . Reetiquetando si es necesario, podemos suponer que c
1
= c. Considrese ahora
los intervalos abiertos
1
1
= (c
)

)
. /
)

)
) .
1
)
= (c
)
. /
)

)
) . , _ 2.
En vista de (9.3) se sigue que los conjuntos abiertos 1
)
: , N forman una cubierta abierta
del conjunto compacto [c. /[ . Entonces el intervalo es cubierto por una subcoleccin nita
de intervalos, digamos 1
1
. 1
2
. .... 1
n
. Reetiquetando y eliminando algunos intervalos extra
podemos suponer que
c = c
1
_ c
2
< /
1

1
< < c
n
< /
n1

n1
_ / < /
n

n
.
Se sigue de esta cadena de desigualdades que
/ c _ (/
n

n
) c
1
_
n

)=1
[(/
)

)
) c
)
[
<
n

)=1
(/
)
c
)
) _
o

)=1
(/
)
c
)
) .
Como es arbitrario se sigue que
| ((c. /[) _
o

)=1

| ((c
)
. /
)
[) .
Combinando esto con la desigualdad (9.4) concluimos que la longitud es contablemente
aditiva en (.
9.3. Extensin de medidas
Hemos dado un ejemplo de un lgebra de conjuntos, y de una medida denida en ella.
Ahora consideraremos el caso general. Demostraremos que si ( es un lgebra de subconjuntos
de A y j es una medida denida en (, entonces existe una sigma-lgebra (
+
que contiene
a ( y una medida j
+
denida en (
+
tal que j
+
(1) = j(1) para todo 1 (. En otras
102
palabras, j puede extenderse a una medida j
+
en una sigma-lgebra (
+
que contiene a (.
Para esto, deniremos una funcin denida en todos los subconjuntos de A. y obtendremos
la sigma-lgebra restringindonos a ciertos subconjuntos que satisfacen cierta propiedad de
aditividad.
Denicin 127 Sea A no vaco, ( una lgebra de subconjuntos de A. y j : (

R una
medida en (. Sea 1 _ A. Denimos j
+
(1) como
j
+
(1) =inl
_
o

)=1
j(1
)
)
_
donde el nmo se toma sobre todas las cubiertas (1
a
) de conjuntos en ( tales que
1 _
o
_
a=1
1
)
.
A la funcin j
+
denida antes se le llama medida exterior generada por j. aunque en
realidad no es una medida. El nombre se le da debido a que tiene propiedades similares a las
de una medida.
Lema 128 La funcin j
+
satisface las siguientes propiedades.
a) j
+
(O) = 0.
b) j
+
(1) _ 0. para todo 1 _ A.
c) Si _ 1. entonces j
+
() _ j
+
(1) .
d) Si (1
a
) es una sucesin de subconjuntos de A. entonces
j
+
_
o
_
a=1
1
a
_
_
o

a=1
j
+
(1
a
)
e) Si 1 C. entonces j
+
(1) = j(1)
Demostracin. a), b) c) son inmediatas de la denicin.
d) Para establecer la desigualdad, sea 0 arbitrario, y para cada : N sea (1
a,I
)
o
I=1
una sucesin de conjuntos en ( tal que
1
a
_
o
_
I=1
1
a,I
. y
o

I=1
j(1
a,I
) _ j
+
(1
a
)

2
a
.
Como 1
a,I
: :. / N es una coleccin numerable de conjuntos en ( cuya unin contiene a
1. entonces por la denicin de j
+
j
+
_
o
_
a=1
1
a
_
_
o

a=1
o

I=1
j(1
a,I
) _
o

a=1
j
+
(1
a
) .
103
Como 0 es arbitrario, se tiene la desigualdad deseada.
e) Como 1. O. O. ... es una cubierta numerable de conjuntos en (. cuya unin contiene
1. entonces
j
+
(1) _ j(1) 0 0 = j(1) .
Recprocamente, si (1
a
) es una sucesin de conjuntos en ( con 1 _
_
1
a
. entonces 1 =
o
_
a=1
(1 1
a
) . Como j es una medida en (, entonces
j(1) _
o

a=1
j(1 1
a
) _
o

a=1
j(1
a
) .
Tomando el inmo sobre todas las cubiertas (1
a
) de 1 tales que (1
a
) _ (. se sigue que
j(1) _ j
+
(1) . As, se tiene e).
Se dice que la propiedad (e) del lema anterior es la propiedad de que j
+
es contablemente
subaditiva.
Aunque j
+
tiene la ventaja de que est denida para todos los subconjuntos de A. tiene el
defecto de que no es necesariamente contablemente aditiva, y a veces ni siquiera nitamente
aditiva. Restringiremos j
+
a una sigma-lgebra mas pequea que contiene a ( en donde j
+
sea contablemente aditiva. Para esto Carathodory encontr la siguiente propiedad.
Denicin 129 Decimos que un subconjunto 1 _ A es j
+
-medible si
j
+
() = j
+
( 1) j
+
(1) (9.5)
para todos los subconjuntos _ A. La familia de subconjuntos j
+
-medibles se denota por
(
+
.
Intuitivamente 1 es j
+
-medible si 1 y su complemento estn lo sucientemente separados
de modo que dividan a cualquier conjunto aditivamente.
Teorema 130 (Teorema de extensin de Carathodory) La coleccin (
+
de todos los conjun-
tos j
+
-medibles forman una sigma-lgebra que contiene (. Ms an, si (1
a
) es una sucesin
de conjuntos ajenos dos a dos en (
+
. entonces
j
+
_
o
_
a=1
1
a
_
=
o

a=1
j
+
(1
a
) . (9.6)
Demostracin. Es claro que O y A son j
+
-medibles, y que si 1 (
+
. entonces el comple-
mento 1
c
es j
+
-medible.
Demostraremos que j
+
es cerrado bajo uniones.
1
En efecto, sean 1. 1 (
+
. Como 1 es
medible, entonces
j
+
( 1
c
) = j
+
( 1
c
1) j
+
( 1
c
1
c
) .
1
104
Como (1 ' 1) = ( 1) ' ( 1 1
c
) . entonces
j
+
( (1 ' 1)) _ j
+
( 1) j
+
( 1 1
c
)
entonces
j
+
( (1 ' 1)) j
+
( 1
c
1
c
) _ j
+
( 1) j
+
( 1 1
c
) j
+
( 1
c
1
c
)
= j
+
( 1) j
+
( 1
c
)
= j
+
() .
La segunda igualdad es vlida, por la medibilidad de 1
c
, con 1
c
en lugar de . en la
denicin de medibilidad, y la tercera por la medibilidad de 1.
En efecto, supngase que 1. 1 (
+
. y que 1 1 = O. poniendo (1 '1) en lugar de
en la ecuacin (9.5) obtenemos
j
+
( (1 ' 1)) = j
+
( 1) j
+
( 1) .
Poniendo = A se llega a
j
+
(1 ' 1) = j
+
(1) j
+
(1) .
Esto implica que j
+
es aditiva en (
+
.
Ahora demostraremos que (
+
es una sigma-lgebra y que j
+
es contablemente aditiva en
(
+
. Sea (1
I
) una sucesin ajena dos a dos de conjuntos en (
+
. Sea 1 = '1
I
. Del prrafo
anterior sabemos que 1
a
= '
a
I=1
1
I
est en (
+
. y que si es cualquier subconjunto de A.
entonces
j
+
() = j
+
( 1
a
) j
+
(1
a
) =
a

I=1
j
+
( 1
I
) j
+
(1
a
)
1. Tambin se puede empezar probando que /

es cerrada bajo intersecciones. En efecto, sean 1, 1

conjuntosj

-medibles. Entonces, para cualquier _ A,

j

( 1) = j

( 1 1) +j

(( 1) 1) .
Como 1 (

, entonces
j

() = j

( 1) +j

(1) .
Sea 1 = (1 1) . Obsrvese que 1 1 = ( 1) 1, y 11 = 1. Como 1 (

se tiene que
j

((1 1)) = j

(( 1) 1) +j

(1) .
Combinando las tres igualdades se tiene
j

() = j

( 1 1) +j

((1 1)) .
Como _ A es arbitrario, se sigue que 11 es j

-medible. Como /

es cerrado bajo intersecciones

y complementos, se sigue que /

es un lgebra.
105
Como 1
a
_ 1. entonces 1 _ 1
a
, y por lo tanto
j
+
() _
a

I=1
j
+
( 1
I
) j
+
(1) .
Como : es arbitrario, haciendo que : se tiene
j
+
() _
o

I=1
j
+
( 1
I
) j
+
(1) .
Por otro lado, del lema (128) e), se tiene que
j
+
( 1) _
o

I=1
j
+
( 1
I
)
j
+
() _ j
+
( 1) j
+
(1)
Se tiene, combinando las dos primeras desigualdades, que
j
+
() _
o

I=1
j
+
( 1
I
) j
+
(1) _ j
+
( 1) j
+
(1)
y por lo tanto
j
+
() = j
+
( 1) j
+
(1) =
o

a=1
j
+
( 1
a
) j
+
(1)
Esto demuestra que 1 = '
o
a=1
1
a
es j
+
-medible, y tomando = 1. se tiene (9.6).
Falta demostrar que ( _ (
+
. Se prob en el lema 128 d) que si 1 (. entonces j
+
(1) =
j(1) . pero falta demostrar que 1 es j
+
-medible. Sea un subconjunto arbutrario de A:
como j
+
es subaditiva,
j
+
() _ j
+
( 1) j
+
(1) .
Para establecer la desigualdad opuesta, sea 0 arbitrario, y sea (1
a
) una sucesin de
conjuntos en ( tal que _ '1
a
y
o

a=1
j(1
a
) _ j
+
() .
Como 1 _ '(1
a
1) y 1 _ '(1
a
1) . se sigue de la subaditividad de j
+
.
j
+
( 1) _
o

a=1
j(1
a
1) . j
+
(1) _
o

a=1
j(1
a
1) .
106
Entonces
j
+
( 1) j
+
(1) _
o

a=1
[j
+
(1
a
1) j(1
a
1)[
=
o

a=1
j(1
a
) _ j
+
() .
Como es arbitrario, se tiene la desigualdad deseada, y el conjunto 1 est en (
+
.
Denicin 131 Decimos que un espacio de medida (A. /. j) es completo si para cualquier
/ con j() = 0 se tiene que T () _ /. es decir, si un conjunto / tiene medida
cero, todos los subconjuntos de estn en / (y tienen medida cero, desde luego).
El Teorema de Extensin de Carathodory demuestra que una medida j en una lgebra
( puede extenderse a una medida j
+
sobre una sigma-lgebra (
+
que contiene a (. La sigma-
lgebra (
+
as obtenida es automticamente completa. Para probar esto, sea 1 / un
conjunto con j
+
(1) = 0. Sea 1 _ 1 y sea un subconjunto arbitrario de A. Por el Lema
128 c)
j
+
() = j
+
(1) j
+
() _ j
+
( 1) j
+
(1) .
(porque 1 _ 1. y 1 _ ) y como j
+
es subaditiva,
j
+
() _ j
+
( 1) j
+
(1) .
Juntando las dos desigualdades esto implica
j
+
() = j
+
( 1) j
+
(1) .
Por lo tanto 1 est en (
+
. Adems,
0 _ j
+
(1) _ j
+
(1) = 0.
Por lo tanto j
+
(1) = 0.
Si agregamos la condicin de que j es o-nita, la extensin de j a la sigma-lgebra (
+
es nica.
Teorema 132 (Teorema de extensin de Hahn) Supngase que j es una medida o-nita en
un lgebra (. Entonces existe una nica extensin de j a una medida en (
+
.
Demostracin. El hecho de que j
+
da una medida en (
+
ya se demostr, an sin la condi-
cin de ser j o-nita. Para establecer la unicidad, sea i una medida en (
+
tal que i = j en
(.
107
Primero, supongamos que j, y por lo tanto j
+
y i son nitas. Sea 1 cualquier conjunto
en (
+
. y sea (1
a
) una sucesin en ( tal que 1 _ '1
a
. Como i es una medida que coincide
con j en (. entonces
i (1) _ i
_
o
_
a=1
1
a
_
_
o

a=1
i (1
a
) =
o

a=1
j(1
a
) .
Esta desigualdad implica, tomando inmos sobre todas las cubiertas (1
a
) de 1 con elementos
de (. que i (1) _ j
+
(1) . para todo 1 (
+
. Como j
+
y i son aditivas, j
+
(1) j
+
(A1) =
i (1) i (A1) . Como cada uno de los trminos del lado derecho es nito, y no es mayor
que el correspondiente de la izquierda, se sigue que j
+
(1) = i (1) para toda 1 (
+
. Esto
establece la unicidad cuando j es una medida nita.
Supngas que j es una medida o-nita y sea (1
a
) una sucesin creciente de conjuntos en
( con j(1
a
) < . y A =
_
1
a
. Del prrafo anterior, j
+
(1 1
a
) = i (1 1
a
) para cada
1 (
+
. Por lo tanto,
j
+
(1) limj
+
(1 1
a
) = limi (1 1
a
) = i (1) .
De aqu, j
+
y i coinciden en (
+
.
9.4. Medida de Lebesgue-Stieltjes
En el Lema 126 demostramos que el conjunto T de todas las uniones nitas de conjuntos
de la forma
(c. /[ . (. /[ . (c. ) . (. )
es un lgebra de subconjuntos de R. y que la funcin longitud es una medida en T. Si apli-
camos el Teorema de Extensin de Carathodory a | y T, generamos una medida (R. T
+
. |
+
) .
A esta sigma-lgebra T
+
obtenida en esta construccin se le llama la coleccin de conjuntos
Lebesgue medibles, y a la medida |
+
en T
+
se le llama la medida de Lebesgue. Si se acepta el
axioma de eleccin, se puede demostrar la existencia de conjuntos no medibles en R. como
ya demostramos en el captulo 3.
Aunque a veces queremos trabajar con (R. T
+
. |
+
) . a menudo es mas conveniente trabajar
con la sigma-lgebra ms pequea que contiene a T en lugar de T
+
. Se puede ver que dicha
sigma-lgebra es la sigma-lgebra de Borel E. La restriccin de la medida de Lebesgue a E se
llama la medida de Borel (o medida de Lebesgue). Puede preocuparse el lector, pero como ya
se vio en el captulo 3, todo conjunto medible segn Lebesgue est contenido en un conjunto
de Borel de la misma medida, y toda funcin Lebesgue medible es igual en casi todo punto
a una funcin Borel medible.
Alguna vez es ms conveniente usar una nocin de magnitud de un intervalo que sea
diferente de la longitud. Esto se puede hacer de la manera siguiente. Sea q una funcin
108
montona creciente de R en R de tal modo que si r _ entonces q (r) _ q(). Adems,
supondremos que q es continua por la derecha en cada punto, de modo que
q(c) = lim
I0
+
q(c /).
Si q es montona, tambin se tiene que
lim
ao
q(r). lim
ao
q(r)
ambos existen, aunque pueden ser y .
Para una funcin as, denimos
j
j
((c. /[) = q(/) q(c).
j
j
((. /[) = q(/) lim
ao
q(r).
j
j
((c. )) = lim
ao
q(r) q(c).
j
j
((. )) = lim
ao
q(r) lim
ao
q(r).
Denimos a j
j
en el lgebra T de uniones nitas ajenas de conjuntos de la forma anterior
como las sumas correspondientes. Modicando la demostracin del Lema 126 se puede ver
que j
j
es una medida o-nita en el lgebra T. Entonces, por el teorema de extensin de
Carathodory esta medida tiene una extensin, que es nica, por el teorema de Hahn, a una
medida que tambin la denotamos por j
j
, a una sigma-lgebra T
+
j
de R. Dicha sigma-lgebra
es completa y contiene a la sigma-lgebra de Borel de R. A esta medida se le llama la medida
de Lebesgue-Stieltjes generada por q. Cabe hacer notar que la medida j
j
en
_
R. E(R) . j
j
_
no necesariamente es completa.
9.5. Funcionales lineales en C
Concluiremos este captulo demostrando que existe una correspondencia muy cercana
entre medidas de Borel-Stieltjes en un intervalo cerrado J = [c. /[ y funcionales lineales
acotadas positivas en el espacio de Banach C(J) de las funciones continuas en J con la
norma
|,| = snp [,(r)[ : r J .
Este resultado, debido a F. Riesz, ha sido extendido en muchas direcciones. Por ejemplo,
se ha tomado como punto de partida para denir la integral como un funcional lineal en
espacios de funciones continuas.
Recordemos que una funcional lineal 1 : C (J) R es positiva si 1 (,) _ 0 siempre que
, (r) _ 0 para toda r [c. /[ .
109
Teorema 133 (Teorema de Representacin de Riesz) Si G es un funcional lineal acotado
en C(J). entonces existe una medida denida en los subconjuntos de Borel de R tal que
G(,) =
_
J
, d. (9.7)
para toda , C(J). Ms an, la norma |G| de G es igual a (J) .
Demostracin. Si t es tal que c _ t _ / y : N es sucientemente grande, sea ,
t,a
la
funcin en C(J) que vale 1 en [c. t[ . que vale 0 en (t 1,:. /[ y es lineal en (t. t 1,:[ . Si
: _ : y r J. entonces 0 _ ,
t,n
(t) _ ,
t,n
(t). As, la sucesin
_
G(,
t,a
)
_
de nmeros reales
es decreciente y acotada. Si t [c. /) . denimos
q(t) = lim
ao
G(,
t,a
).
Ms an, denimos q(t) = 0 para t < c. y si t _ /. sea q(t) = G(,
b
). donde ,
b
(t) = 1 para
toda J. Es fcil ver que q es una funcin montona creciente en R.
Armamos que q es continua por la derecha. Esto es claro si t < c. o si t _ /. Sea
t [c. /) . y 0, y sea
: snp
_
2. |G|
1
_
tan grande que
q(t) _ G(,
t,a
) _ q(t) .
Si
a
es la funcin en C(J) que vale 1 en [c. t :
2
[ . que vale cero en (t :
1
:
2
. /[ y
es lineal en (t :
2
. t :
1
:
2
[ . Un ejercicio sencillo de geometra analtica demuestra
que
_
_

a
,
t,a
_
_
_ 1,:. Por lo tanto.
G(
a
) _ G(,
t,a
)
_
1
:
_
|G| _ q(t) 2.
de modo que q(t) _ q(t :
2
) _ q(t) 2. De acuerdo con el teorema de extensin de Hahn,
existe una medida en los subconjuntos de Borel de R tal que ((c. ,[) = q(,) q (c) . En
particular, esto demuestra que (1) = 0. si 1 J = O. que
([c. c[) = ((c 1. c)) = q(c).
y que |G| = |G(,
b
)| = q(/) = (J) .
Falta demostrar que la ecuacin (9.7) es vlida para C(J). Si 0. como , es uni-
formemente continua en J. existe un o() 0 tal que si [r [ < o(). y r. J. entonces
[,(r) ,()[ < . Ahora, sea c = t
0
< t
1
< < t
a
= / tales que snp [t
I
t
I1
[ <
1
2
o(). y
escojamos : tan grande que 2,: <inl (t
I
t
I1
) y que para / = 1. 2. .... : se tenga
q(t
I
) _ G(,
t
k
,a
) _ q(t
I
) (:|,|)
1
. (9.8)
110
Consideremos las funciones denidas en J por
,
1
(r) = ,(t
1
),
t
1
,a
(r)
n

I=2
,(t
I
)
_
,
t
k
,a
(r) ,
t
k1
,a
(r)
_
.
,
2
(r) = ,(t
1
)
[t
0
,t
1
]
(r)
n

I=2
,(t
I
)
(t
k1
,t
k
]
(r).
Ntese que ,
1
C(J) y que ,
2
es una funcin escalonada en J. Claramente snp [,
2
(r) ,(r)[ : r J _
. y se puede demostrar que |,
1
,| _ . Entonces tenemos
[G(,) G(,
1
)[ _ |G| .
En vista de (9.8) vemos que si 2 _ / _ :. tenemos

G(,
t
k
,a
,
t
k1
,a
) q(t
I
) q(t
I1
)

_ (:|,|)
1
.
Aplicando G a ,
1
e integrando ,
2
respecto de . implica que, por la desigualdad antes
demostrada,

G(,
1
)
_
J
,
2
d

_ .
Pero como ,
1
dista menos de de ,. tambin tenemos

_
J
,
2
d
_
J
, d

_ (J).
Combinando las desigualdades, se tiene

G(,)
_
J
, d

_ (2 |G| 1) .
Como 0 es arbitrario, deducimos (9.7).
Si vericamos la demostracin del lema ??, veremos que un funcional lineal acotada
arbitrario G en C(J) puede escribirse como una diferencia G = G
+
G

de dos funcionales
lineales acotadas positivas. Haciendo uso de esta observacin, podemos extender el Teorema
de Representacin de Riesz para representar un funcional lineal acotada en C(J) por medio
de integracin respecto de una carga denida en los subconjuntos de Borel de J.
9.6. Complecin de medidas (opcional)
Recordemos que un espacio de medida (A. /. j) es completa si para toda 1 /, con
j(1) = 0. entonces para 1 _ 1 implica 1 /. Esto es, para cualquier 1 / cuya
111
medida es cero, todos los subconjuntos del conjunto 1 estn en /. Por ejemplo, la propia
construccin de la medida de Lebesgue-Stieltjes para una funcin no decreciente , en R,
discutida antes, produce un espacio de medida
_
R. /
j

f
. j
+
)
_
. La sigma-lgebra E(R) es
una sub-sigma-lgebra de /
+
1
y el espacio
_
R. E(R) . j
+
)
_
no necesariamente es completo.
Por ejemplo, si j
)
es la medida de Lebesgue, entonces el conjunto de Cantor C tiene medida
cero, y por lo tanto /=la sigma-lgebra de Lebesgue contiene el conjunto potencia de C y
por lo tanto tiene cardinalidad mayor que la de R. Se puede demostrar que la cardinalidad de
E(R) es la misma que la de R, y por lo tanto hay muchos conjuntos medibles segn Lebesgue
que no son conjuntos de Borel. En probabilidad surgen muchos casos similares, por ejemplo,
si 1 es una distribucin degenerada en 0, es decir, 1(r) = 0 para r < 0. y 1 (r) = 1. si
r _ 0. entonces /
j

F
= T (R) . el conjunto potencia de R. y por lo tanto (R. E(R) . j
1
)
no es completo. Sin embargo, siempre es posible completar una medida incompleta (A/. j)
aadiendo nuevos conjuntos a T. De eso se trata el siguiente teorema.
Teorema 134 Sea (A. T. j) un espacio de medida. Sea

T = : 1
1
_ _ 1
2
para algn 1
1
. 1
2
T que satisfacen j(1
2
1
1
) = 0 .
Para cualquier T. sea j() = j(1
1
) = j(1
2
) para cualquier par de conjuntos 1
1
. 1
2

T con 1
1
_ _ 1
2
. y j(1
1
1
2
) = 0. Entonces
i)

T es una sigma-lgebra y T _

T.
ii) j est bien denida.
iii) (A. T. j) es un espacio de medida completa, y j = j en T.
Demostracin. i) Como

T. existen 1
1
. 1
2
T. 1
1
_ _ 1
2
. y j(1
2
1
1
) =
0. Claramente, 1
c
2
_
c
_ 1
c
1
. y 1
c
1
. 1
c
2
T. y j(1
c
1
1
c
2
) = j(1
2
1
1
) = 0. y esto
implica que
c
/. Ahora, supngase que (
a
)
o
a=1
es una sucesin de conjuntos en

T y
sea =
o

a=1

a
. Entonces, para cada : N existen 1
1a
. 1
2a
T tal que 1
1a
_
a
_ 1
2a
,
y j(1
2a
1
1a
) = 0. Sea 1
1
=
o

a=1
1
1a
. 1
2
=
o

a=1
1
2a
. Entonces 1
1
_ _ 1
2
. 1
1
. 1
2
T
y 1
2
1
1
_
o

a=1
(1
2a
1
1a
) . y por lo tanto j(1
2
1
1
) _

o
a=1
j(1
2a
1
1a
) = 0. Por lo
tanto,

T y esto implica que

T es una sigma-lgebra. Claramente T _

T. porque para
cada T podemos tomar 1
1
= 1
2
= .
ii) Sean 1
1
_ _ 1
2
. 1
t
1
_ _ 1
t
2
. 1
1
. 1
2
. 1
t
1
. 1
t
2
T y j(1
2
1
1
) = j(1
t
2
1
t
1
) =
0. Entonces 1
1
' 1
t
1
_ _ 1
2
' 1
t
2
. y (1
2
1
t
2
) (1
1
' 1
t
1
) = (1
2
1
t
2
) (1
c
1
1
tc
1
) _
1
2
1
t
1
. Por lo tanto,
j([1
2
1
t
2
[ [1
1
' 1
t
1
[) = 0.
Por lo tanto
j(1
2
) = j(1
1
) j(1
2
1
1
) = j(1
1
) _ j(1
1
' 1
t
1
) = j(1
2
1
t
2
) _ j(1
t
2
) .
112
Entonces j(1
2
) _ j(1
t
2
) . Por simetra j(1
t
2
) _ j(1
2
) . As, j(1
t
2
) = j(1
2
) . Pero j(1
2
) =
j(1
1
) . y j(1
t
2
) = j(1
t
1
). y esto implica que todas las cuatro cantidades son iguales.
iii) Falta demostrar que j es completa en

T y contablemente aditiva. Sea (
a
)
o
a=1
una
sucesin de conjuntos ajenos dos a dos en

T y sea =
o

a=1

a
. Sean (1
1a
)
o
a=1
. (1
2a
)
o
a=1
,
1
1
. 1
2
como en la demostracin de i). Entonces, del hecho de que los (
a
) son ajenos implica
que los (1
1a
) son ajenos. Y, como 1
1
=
o

a=1
1
1a
. y j es una medida en (A. /) .
j(1
1
) =
o

a=1
j(1
1a
) .
Tambin, por denicin de los 1
1a
. j(1
1a
) = j(
a
) para toda : N. y por i), j() =
j(1
1
) . Entonces,
j() = j(1
1
) =
o

a=1
j(1
1a
) =
o

a=1
j(
a
) .
y eso establece la aditividad contable de j.
Finalmente, si T, entonces tomamos 1
1
= 1
2
= . y as, j() = j(1
1
) = j() . y
as, j = j en T. Por lo tanto, la demostracin del teorema est completa.
113
114
Captulo 10
Medidas producto
10.1. Introduccin
Si A. 1 son dos conjuntos, denimos el producto cartesiano 2 = A1 como el conjunto
de pares ordenados (r. ) . donde r A. 1. Primero demostraremos que el producto
cartesiano de dos espacios medibles (A. /) . (1. E) puede convertirse en un espacio medible
de manera natural. Despus relacionaremos la integral en el espacio producto con la integral
en los espacios individuales.
10.2. Medidas producto
Denicin 135 Si (A. /) . (1. E) son espacios medibles, entonces a un conjunto de la forma
1 con / y 1 E se le denomina un rectngulo medible, o simplemente rectngulo,
en 2 = A 1. Denotaremos la coleccin de todas las uniones nitas de rectngulos por ?
0
.
Se puede demostrar que cada conjunto en ?
0
se puede poner como una unin mutuamente
ajena.
Ejercicio. Demostrar que, con la notacin anterior, si
1
.
2
/ y 1
1
. 1
2
E. Entonces
(
1
1
1
) ' (
2
1
2
) = [(
1

2
) 1
1
[ ' [(
1

2
) (1
1
' 1
2
)[ ' [(
2

1
) 1
2
[
y vericar que los conjuntos de la derecha son mutuamente ajenos. Tambin, demostrar que
(
1
1
1
) (
2
1
2
) = [(
1

2
) (1
1
1
2
)[ ' [(
1

2
) 1
1
[
(
1
1
1
) (
2
1
2
) = (
1

2
) (1
1
1
2
)
Lema 136 La coleccin ?
0
es un lgebra de subconjuntos en ?.
115
Demostracin. Es claro que la unin de un nmero nito de conjuntos en ?
0
. Similar-
mente, se sigue de los ejercicios anteriores que el complemento de un rectngulo en ?
0
est
en ?
0
. y que la interseccin de dos conjuntos en ?
0
est en ?
0
. Aplicando las leyes de De
Morgan vemos que el complemento de un conjunto en ?
0
est en ?
0
.
Denicin 137 Si (A. /) y (1. E) son espacios medibles, entonces ? = /E denota la
sigma-lgebra de subconjuntos de 2 = A1 generada por los rectngulos 1 con /
y 1 E. Nos referiremos a un conjunto en ? como un conjunto ?-medible o un subconjunto
medible de ?.
Sean (A. /. j) y (1. E. i) son espacios de medida, queremos denir una medida : en los
subconjuntos de ? = /E de manera que sea el "producto"de j y i. en el sentido de que
: ( 1) = j() i (1) . /. 1 E.
(Recordemos la convencin de que 0 () = 0). Demostraremos que esto siempre puede
hacerse.
Teorema 138 (Teorema de la medida producto) Si (A. /. j) y (1. E. i) son espacios de
medida, entonces existe una medida : denida en ? = /E tal que
: ( 1) = j() i (1) . (10.1)
para toda /. 1 /. Si j y i son o-nitas, entonces hay una nica medida : con la
propiedad (10.1)
Demostracin. Supngase que el rectngulo 1 es la unin ajena de una sucesin
(
)
1
)
) de rectngulos. Entonces

1
(r. ) =

(r)
1
() =
o

)=1

j
(r)
1
j
().
para toda r A. 1. Manteniendo r ja, integramos respecto de i. y aplicando el
Teorema de Convergencia Montona queda

(r)i(1) =
o

)=1

j
(r)i(1
)
).
Una aplicacin adicional del Teorema de Convergencia Montona nos da
j() i (1) =
o

)=1
j(
)
) i (1
)
) .
116
Ahora sea 1 ?
0
. Sin prdida de generalidad podemos suponer que
1 =
a
_
)=1
(
)
1
)
) .
donde los conjuntos
)
1
)
son rectngulos mutuamente ajenos. Si denimos :
0
(1) por
:
0
(1) =
a

)=1
j(
)
) i (1
)
) .
el argumento utilizado arriba demuestra que :
0
est bien denida, y es contablemente aditiva
en ?
0
. Por el Teorema ??, existe una extensin de :
0
a una medida : denida en la sigma-
lgebra generada por ?
0
. Como : es una extensin de :
0
. es claro que la ecuacin (10.1) es
vlida.
Si (A. /. j) y (1. E. i) son sigma-nitas, entonces :
0
es una medida sigma-nita en ?
0
y el teorema de extensin de Hahn implica que la medida : es nica.
El Teorema 138 establece la existencia de una medida : sobre una sigma-lgebra ?
generada por los rectngulos 1 : /. 1 E y tal que (10.1) es vlida. Cualquier
medida denida as se llama la medida producto de j y i. Si j y i son sigma-nitas, se
produce una medida nica. Sin embargo, se puede mostrar con un ejemplo que si j o i no
son sigma-nitas, puede haber ms de una medida en ? tal que (10.1) es vlida.
Para relacionar la integracin con respecto de la medida producto y la integracin iterada,
el concepto de seccin es til.
Denicin 139 Si 1 es un subconjunto de 2 = A 1 y r A. entonces la r-seccin de
1 es el conjunto
1
a
= 1 : (r. ) 1 .
Similarmente, si 1. la -seccin de 1 es
1
j
= r A : (r. ) 1 .
Si , es una funcin de valores reales extendidos con dominio 2. y r A. la r-seccin de ,
es la funcin ,
a
: 1 R dada por
,
a
() = ,(r. ). 1.
Tambin, si 1. la -seccin de , es la funcin ,
j
: A R dada por
,
j
(r) = ,(r. ). r A.
Lema 140 a) Si 1 es un subconjunto medible de 2. entonces cada seccin de 1 es medible.
b) Si , es una funcin medible de 2 a R. entonces cada seccin de , es medible.
117
Demostracin. a) Si 1 = 1 y r A. entonces la r-seccin de 1 es 1. si r . y
es O. si r , . Entonces los rectngulos estn contenidos en la collecin c de conjuntos en
? que tienen la propiedad de que cada seccin es medible. Fcilmente se puede ver que c es
una sigma-lgebra, se sigue que c = ?.
b) Sea r A y c R. entonces
1 : ,
a
() c = 1 : ,(r. ) c
= (r. ) A 1 : ,(r. ) c
a
Si , es ?-medible, entonces ,
a
es 1 -medible. Similarmente, ,
j
es A-medible.
Denicin 141 Una clase montona es una coleccin / de subconjuntos de A tales que
para cualquier sucesin creciente (1
a
) y para cada sucesin decreciente (1
a
) de conjuntos en
/ se tiene que
o
_
a=1
1
a
y
o

a=1
1
a
estn en /.
Se puede demostrar fcilmente que si ( es una coleccin no vaca de subconjuntos de un
conjunto A. entonces la sigma-lgebra o generada por ( contiene a la clase montona /
generada por /. Demostraremos que si ( es un lgebra, entonces o = /.
Lema 142 (Lema de la clase montona). Si ( es un lgebra de conjuntos, entonces la sigma-
lgebra generada por ( coincide con la clase montona / generada por (.
Demostracin. Hemos mencionado que / _ o. Para obtener la inclusin opuesta, es
suciente demostrar que / es un lgebra.
Si 1 /. denimos /(1) como la coleccin de 1 / tales que 11. 1 1.
11 pertenecen a /. Evidentemente O. 1 /(1) y es fcil ver que /(1) es una clase
montona. Ms an, 1 /(1) si y slo si 1 /(1) .
Si 1 (. es claro que ( _ /(1) . Pero como / es la clase montona que contiene
a (. debemos tener /(1) = / para 1 (. Por lo tanto, si 1 ( y 1 / entonces
1 /(1) . De aqu se deduce que si 1 / y 1 /. entonces 1 /(1) . de modo que
_ /(1) para cada 1 /. Usando la minimalidad de / una vez mas concluimos que
/(1) = / para toda 1 /. Entonces / es cerrado bajo intersecciones y complementos
relativos. Pero como A / es fcil ver que / es un lgebra. Como / es una clase
montona entonces / es en efecto una sigma-lgebra.
Se sigue del Lema de la Clase Montona que si una clase montona contiene un lgebra
(, entonces contiene la sigma-lgebra o (() generada por (.
118
10.3. Teorema de Tonelli y Teorema de Fubini
Lema 143 Sean (A. /. j) y (1. E. i) espacios de medida o-nitas. Si 1 ? = / E.
entonces las funciones denida por
,(r) = i (1
a
) . q() = j(1
j
) (10.2)
son medibles, y
_
A
, dj = : (1) =
_
Y
q di. (10.3)
Demostracin. Primero, supondremos que los espacios de medida son de medida ni-
ta. Sea / la coleccin de todos los 1 ? para los cuales la ecuacin (10.3) es vlida.
Demostraremos que / = ? demostrando que / es una clase montona que contiene al
lgebra ?
0
. Si 1 = 1. con / y 1 E. entonces
,(r) =

(r) i (1) . q() =

1
()j()
_
A
, dj = j() i (1) =
_
Y
q di
Como cualquier elemento arbitrario de ?
0
puede escribirse como una unin ajena de rectn-
gulos se sigue que ?
0
_ /.
Ahora demostraremos que / es una clase montona. En efecto, sea (1
a
) una sucesin
creciente en / cuya unin es 1. Entonces
,
a
(r) = i ((1
a
)
a
) . q
a
(r) = j((1
a
)
j
)
son medibles y
_
A
,
a
dj = : (1
a
) =
_
Y
q
a
di.
Fcilmente se ve que las sucesiones montonas crecientes (,
a
) y (q
a
) convergen a las funciones
, y q denidas como
,(r) = i (1
a
) . q(r) = j(1
j
) .
Si aplicamos el hecho de que : es una medida, y el Teorema de Convergencia Montona
obtenemos _
A
, dj = :(1) =
_
Y
q di.
Por lo tanto 1 /. Como : es una medida nita, puede demostrarse de manera similar
que si (1
a
) es una sucesin decreciente de conjuntos en /, entonces 1 = 1
a
pertenece
a /. Entonces / es una clase montona, y se sigue del Lema de la Clase Montona que
/= ?.
Si las medidas son o-nitas, sea 2 =
o
_
a=1
2
a
donde (2
a
) es una sucesin de rectngulos
con : (2
a
) < . y aplicamos el argumento anterior y el Teorema de Convergencia Montona
a la sucesin (1 2
a
) .
119
Teorema 144 (Teorema de Tonelli) Sea (A. /. j) y (1. E. i) espacios de medida con j y
i sigma-nitas, y sea 1 una funcin medible no negativa en ? = / E con valores en R.
Entonces las funciones denidas en A y 1 por
,(r) =
_
Y
1
a
di. q() =
_
A
1
j
dj. (10.4)
son medibles y
_
A
, dj =
_
Z
1 d: =
_
Y
q di. (10.5)
En otras palabras,
_
A
__
Y
1(r. )di()
_
dj(r) =
_
AY
1(r. ) d:(r. ) =
_
Y
__
A
1(r. ) dj(r)
_
di().
(10.6)
Demostracin. Si 1 es la funcin caracterstica de un conjunto en ?. la armacin se
sigue del Lema (143). Por linealidad, el teorema presente es vlido para funciones simples no
negativas de ? a R. Si 1 es una funcin arbitraria no-negativa, entonces existe una sucesin
(4
a
) creciente de funciones simples no negativas que converge en ? a la funcin 1. Si ,
a
y

a
estn denidas como
,
a
(r) =
_
Y
(4
a
)
a
di.
a
() =
_
A
(4
a
)
j
dj
entonces ,
a
y
a
son funciones medibles y montonas en :. Por el Teorema de Convergencia
Montona (,
a
) converge en A a , y (
a
) converge en 1 a q. Otra aplicacin del Teorema
de Convergencia Montona implica que
_
A
, dj = lim
_
A
,
a
dj = lim
_
Z
4
a
d:
= lim
_
Y

a
di =
_
Y
q di.
El mismo teorema tambin demuestra que
_
2
1 d: = lim
_
Z
4
a
d:.
de la cual (10.5) se sigue. El teorema queda demostrado.
La conclusin del teorema de Tonelli es falsa si omitimos la hiptesis de que 1 es no
negativa, o si omitimos la hiptesis de que las medidas j y i son sigma-nitas.
120
Ejercicio 145 a) Sean A y 1 el intervalo unidad [0. 1[ y sean / y E la sigma-lgebra de
Borel de [0. 1[ . Sea j la medida de Lebesgue en / y sea i la medida contadora en E. Si
1 = (r. ) : r = . demostrar que 1 es un subconjunto medible de 2 = A 1. pero que
_
i (1
a
) dj(r) ,=
_
j(1
j
) di () .
Entonces el Lema 143 puede fallar a menos de que ambas medidas sean o-nitas.
b) Si 1 es la funcin indicadora del conjunto 1 del inciso a), demostrar que el Teorema de
Tonelli puede fallar, a menos de que ambos factores sean o-nitos.
El Teorema de Tonelli est relacionado con funciones no negativas en ? y arma que las
integrales iteradas son iguales entre s, e iguales a la integral de 1 en ?. aunque pueden ser
. El resultado nal considera el caso donde 1 puede tomar valores positivos y negativos,
pero debemos suponer que 1 es integrable.
Teorema 146 (Teorema de Fubini). Sean (A. /. j) y (1. E. i) espacios de medida o-nitos,
y sea : la medida producto de j y i en ? = /E. Si la funcin 1 : 2 = A 1 R es
integrable con respecto de :. entonces las funciones ,. q de valor real extendido denidas en
casi todo punto como
,(r) =
_
Y
1
a
di. q() =
_
A
1
j
dj (10.7)
tienen integrales nitas, y
_
A
, dj =
_
Z
1 d: =
_
Y
q di. (10.8)
En otras palabras,
_
A
__
Y
1 di
_
dj =
_
Z
1 d: =
_
Y
__
A
1 dj
_
di. (10.9)
Demostracin. Como 1 es integrable respecto de :. la parte positiva y negativa 1
+
y 1

son integrables. Aplicamos el Teorema de Tonelli a 1

+
y 1

para deducir que las funciones

correspondientes ,
+
y ,

tienen integrales nitas respecto de j. As, ,

+
y ,

son de valor
nito en j-casi todas partes, de modo que la diferencia , est denida en j-casi todo punto,
y la primera parte de (10.8) es clara. La segunda parte es similar.
Como hemos restringido el uso de la palabra "integrable.
a
funciones de valor real, no
podemos concluir que las funciones denidas en (10.7) son integrables. Sin embargo, son
iguales en casi todo punto a funciones integrables. Tambin, se puede ver que el Teorema de
Fubini puede fallar si la hiptesis de que 1 es integrable es eliminada.
121
Ejercicio 147 Sea c
na
denida para :. : N de modo que c
aa
= 1. c
a,a+1
= 1 y
c
na
= 0 si : ,= : o si : ,= : 1. Demostrar que
o

n=1
o

a=1
c
na
= 0.
o

a=1
o

n=1
c
na
= 1.
de manera que la hiptesis de integrabilidad del Teorema de Fubini no puede ser omitida.
122