2012 El autor
NDICE
I. LA INTEGRAL DE RIEMANN
1 Particiones de rectngulos ..........................................................................
2 Integrales sobre rectngulos .......................................................................
3 Funciones integrables Riemann ................................................................
4 Propiedades de la integral de Riemann .....................................................
5 El teorema de Fubini .................................................................................
6 Conjuntos medibles Jordan .......................................................................
7 Integrales sobre conjuntos medibles Jordan .............................................
8 Cambio de variable ...................................................................................
9 El conjunto ternario y la funcin de Cantor ..............................................
1
7
11
19
23
27
33
36
50
55
63
67
75
81
85
91
99
106
113
117
124
134
146
154
161
I LA INTEGRAL DE RIEMANN
1 Particiones de rectngulos.
1.1. Un rectngulo en n , o n-rectngulo, es el producto cartesiano de n intervalos
cerrados con longitud finita y positiva:
I a 1 , b 1 a 2 , b 2 a n , b n , con a i b i .
Los rectngulos se denominan tambin intervalos, pero en estas notas reservamos esta
palabra para los intervalos de la recta real.
Un rectngulo en n es entonces cerrado y acotado. Por tanto, compacto. Su interior es
el abierto no vaco de n :
I a 1 , b 1 a 2 , b 2 a n , b n .
Como es sabido, estos interiores constituyen una base para la topologa usual de n .
El volumen de I es el nmero positivo
n
volI b i a i .
i1
i1
i1
i1
i1
I J a i , b i c i , d i maxa i , c i , minb i , d i .
Anlogamente
I J a i , b i c i , d i maxa i , c i , minb i , d i .
Por tanto, el interior de I J es I J . En consecuencia, I J es un n-rectngulo si, y slo
1
I. La integral de Riemann
si, I J .
Es sencillo comprobar que la condicin I J equivale a que I J .
Como tambin es fcil de observar, la unin de rectngulos no es, por lo general, otro
rectngulo.
1.3. Una particin de I es un conjunto finito J 1 , J 2 , , J s de subrectngulos de I tal
que
s
Jj I
j1
J j J k , si j k.
t i,j i 1 , t ij i 1 i n, 1 j i s i
i1
es una particin de I.
Para esta particular particin P :
1.4.1:
volJ volI.
JP
1 ji si :
I. La integral de Riemann
volJ
JP
s 1 ,s 2 ,,s n
s1
j 1 ,j 2 ,,j n 1
t 1j
s2
t 1,j 1 1
j 1 1
t 2j
sn
t 2,j 2 1
j 2 1
t nj
t n,j n 1
j n 1
t 1s 1 t 10 t 2s 2 t 20 t ns n t n0 b i a i volI.
i1
PK
J P J K
volJ volI y
JP
volJ volK.
JP K
I. La integral de Riemann
KF
KF JP K
JP K
JP
(Es necesario que la familia P K KF sea disjunta para que se cumpla la segunda igualdad).
b) Veamos que KF P K P : Como cada P K P, el contenido " " es claro. Sea
J P. Como J I y suponemos I KF K, existe K F tal que J corta a K.
Entonces, por 1.5.1, J P K . Luego, P KF P K .
Al ser KF P K P :
volI volJ volJ volJ volK.
JP
JP K
KF JP K
KF
J K J J J J J J I.
JQ
KF
JP
JP
KF JP K
JP K
JP
JP
P K J P J K .
Entonces P K es una particin del rectngulo K y la familia P K K Q es una particin
del conjunto P.
Demostracin: Sea K Q. Veamos que P K es una particin de K. Como cada P K es
un subconjunto de P, sus rectngulos tienen interiores disjuntos. Comprobemos que
. Como K I e I J, existe J P tal que x J. Al ser P
K JP K J. Sea x K
JP
K y en consecuencia, K K,
ms fina que Q, J K, para cierto K Q. Luego, x K
J.
ya que ambos pertenecen a la particin Q. As pues, J P K . Por tanto, K
JP K
4
I. La integral de Riemann
volK volG .
J G 1 , G 2 , , G s ,
JP
s
tenemos R 1
G . Estos rectngulos G tienen interiores disjuntos porque todos ellos
pertenecen a la particin P.
volK volJ.
JP
I. La integral de Riemann
volK volG .
volK volJ.
JQ
volJ volJ.
JQ
JQ
volG volJ.
JR
Y como Q R ,
volJ volJ,
JQ
JR
volI volI .
1
r
s
Demostracin: Sea S 1
I . Por 1.11, tambin S 1
J , siendo los J
n-rectngulos con interiores disjuntos y volI volJ . Por la proposicin
previa, volI volJ , de donde se sigue el corolario.
I. La integral de Riemann
Mf, J sup f x x J .
JP
JP
Uf, P Uf, Q.
KQ
JP K
KQ JP K
JP
I f sup Lf, I
I f inf Uf, I.
I. La integral de Riemann
tanto,
I f
I f .
Seguidamente, probaremos que las funciones continuas son integrables Riemann. Para
ello, necesitaremos el siguiente criterio de integrabilidad, el cual utilizaremos
frecuentemente:
2.6. Proposicin: Sean I y f como antes. Entonces, f es integrable si y slo si 0
P particin de I tal que Uf, P Lf, P .
Demostracin: Supongamos que f es integrable y sea 0. Como f sup Lf, I y
I
I f I f , existe una particin Q de I tal que I f Lf, Q. Del mismo modo,
2
2
puesto que f inf Uf, I, existe otra particin R de I tal que Uf, R f .
I
I
2
Entonces:
Uf, R Lf, Q
I f
f .
2
2
I
Por 1.10, podemos considerar una particin P ms fina que Q y R. Entonces, por 2.2:
Uf, P Lf, P Uf, R Lf, Q .
Veamos ahora la otra implicacin. Sea 0 y P una particin de I tal que
Uf, P Lf, P . Entonces:
I f I f
Uf, P Lf, P .
I. La integral de Riemann
n
x 2i .
i1
x i y i
2
i1
i1
JP
f x J volJ.
JP
I. La integral de Riemann
diamA sup x y x, y A .
n
b i a i 2 .
i1
f x J volJ
diamP0 JP
I f .
f x J volJ f .
I
JP
x, y I x y | f x f y|
.
2 volI
Sea P particin de I con diamP . Dado J P, como diamJ , entonces
x, y J x y . En consecuencia, x, y J | f x f y|
. Esto implica
2 volI
que
Mf, J mf, J
.
2 volI
Luego,
Uf, P Lf, P
JP
volJ .
2
2 volI
Como tanto la integral f como la suma JP f x J volJ estn entre Lf, P y Uf, P, se
I
concluye que
JP
I. La integral de Riemann
I f
f x volI.
I f
M volI.
f x
I f .
volK r .
r1
Un primer ejemplo:
3.2. Un conjunto numerable tiene medida nula.
En efecto: Sea A a r r 1, 2 n . Pongamos cada a r a ri ni1 y sea 0.
Para cada r 1 consideramos el rectngulo
n
Kr
i1
a ri r , a ri r ,
2
2
siendo r 2 r1 n .
Claramente, A r1 K r . Y
n
volK r r 2 r1 2 2 r 2 .
r1
r1 i1
r1
r1
11
I. La integral de Riemann
3.3. Proposicin: La unin numerable de conjuntos de medida nula tiene medida nula.
Demostracin: Sean A r1 A r , siendo cada A r un subconjunto de n de medida
nula, y 0. Puesto que cada A r tiene medida nula, existe una familia numerable de
rectngulos K rj j 1, 2 tal que
A r K rj y volK rj r .
2
j1
j1
La familia K rj r, j 1, 2 es tambin numerable, A K rj y, en virtud de las
r,j1
volK rj volK rj 2r .
r,j1
r1 j1
r1
Luego, A tiene medida nula.
r1
K r 2a ri b ri , 2b ri a ri .
i1
r . Luego, A K
.Y
Como a ri , b ri 2a ri b ri , 2b ri a ri , J r K
r1 r
12
I. La integral de Riemann
volK r 3b ri 3a ri 3 n volJ r .
r1
r1 i1
r1
A Kr
r1
volK r .
r1
r
A K
r1
volK r .
r1
volK r .
r1
I. La integral de Riemann
volK r j volK r .
j1
r1
volI.
Por
tanto,
I
no puede tener contenido nulo. Y como I es compacto,
r1
r
tampoco puede tener medida nula, por 3.8.
I. La integral de Riemann
| f x f y| | f x f a| | f a f y| 2.
Luego,
f, Aa, sup f x f y x, y Aa, 2.
Se deduce entonces que
f, a lim f, Aa, 2.
0
A Ba j ,
j1
aj
.
2
aj
j 1, 2, , m y consideremos x, y A tales que x y .
2
aj
a
.
Puesto que x A, existe un ndice j tal que x Ba j , j . Luego, x a j
2
2
Entonces
Sea min
y a j y x x a j
15
aj
aj .
2
I. La integral de Riemann
volJ 2 .
JF
Por otra parte, dado que I JP J, los puntos de D que no estn en el interior de algn
J P estn en alguna cara de estos rectngulos. Como ya hemos observado, una cara de un
n-rectngulo tiene contenido nulo. Dado que cada rectngulo tiene 2n caras y que el nmero
de rectngulos de P es finito, el conjunto A formado por todas las caras de los rectngulos
de P tiene contenido nulo, por 3.7.a. Luego, existe una familia finita de rectngulos K r sr1
tal que
s
A Kr
volK r 2 .
r1
r1
Entonces
s
D J Kr
JF
r1
y
s
volJ volK r 2 2 .
JF
r1
16
I. La integral de Riemann
r
D K
,
volK r 2
r1
r1
siendo max1, f, I.
n
g volK r b ri a ri 2.
r1
r1 i1
siendo v volI.
Sea min 1 , 2 y consideremos una particin P de I de dimetro menor que .
(Tal particin puede construirse tal y como hicimos en la demostracin de 2.7.) Dividimos
P en dos conjuntos disjuntos:
F J P J C y G P F.
Sea J F. Como el dimetro de J es menor que 2 y J C, entonces x, y J
| f x f y| . Por tanto, f, J . Luego,
2v
2v
volJ volI .
f, J volJ 2v volJ 2v
2v
2
JF
JF
JP
r para cierto r. Veamos que J K r : Escribamos
Sea J G. Entonces J K
r . Entonces p i x i q i y a ri x i b ri . Es
J i p i , q i y sea x x i J K
xi pi qi pi
q j p j 2 diamJ .
j1
I. La integral de Riemann
f, J volJ f, J volJ .
2
2
JF
JG
f x J volJ.
diamP0 JP
Demostracin: : Llamamos
l
lim
f x J volJ.
diamP0 JP
Sea 0. Para este , 0 tal que si P es una particin de I con diamP y para
cada J P x J es un punto cualquiera de J, entonces
f x J volJ l ;
JP
o, lo que es lo mismo:
l f x J volJ l .
JP
Consideremos una particin P de I con dimetro menor que . Para cada J P, sea
x J J tal que Mf, J f x J v , siendo v volI. Entonces:
Uf, P Mf, J volJ f x J v volJ
JP
JP
f x J volJ v volJ l l 2.
JP
JP
18
I. La integral de Riemann
I f l.
Del mismo modo se prueba que f l. Luego, l f f l. Por consiguiente,
I
I f I f l.
: Supongamos ahora que f es integrable y comprobemos que
f x J volJ
lim
diamP0 JP
I f .
JP
b) Si 0, entonces f f y f f .
I
I. La integral de Riemann
4.3. Proposicin: a) f g f g .
I
b) f g f g .
I
si x I f x 0, entonces f f 0 .
I
f x gx, entonces
20
I. La integral de Riemann
obtiene f | f | .
I
I
4.8. Proposicin: Si f y g son integrables en I, entonces fg tambin es integrable en I.
Demostracin: Como fg es continua donde lo sean f y g, el conjunto de puntos de
discontinuidad de fg est contenido en el de f unin el de g. Al ser f y g integrables, estos
dos ltimos conjuntos tienen medida nula. Por 3.3, tambin tiene medida nula el conjunto
de puntos de discontinuidad de fg. Luego, fg es integrable, por el teorema de Lebesgue.
4.9. Proposicin: Sea Q una particin de I. Entonces
K f I f
KQ
K f I f .
KQ
KQ
KQ JP K
JP
K f
KQ
KQ
Lf, P K m
Lf, P
I f
Lf, P K K f.
KQ
KQ
K f I f .
KQ
I. La integral de Riemann
K f I f I f K f .
KQ
KQ
Luego, f es integrable en I y K f f .
K
T Kr
r1
volK r .
r1
nula, entonces f g .
I
integrable en I (y f 0.
I
I. La integral de Riemann
T x I f x .
Mostraremos que T tiene contenido nulo. Como T m T 1 , T tiene medida nula, por
m
3.3. Y si T T para cierto , entonces T tiene contenido nulo.
Fijamos 0 y sea 0. Como f 0, existe una particin P de I tal que
I
Uf, P . Sea
F J P T J .
Claramente, T JF J y J F Mf, J . Y si J F Mf, J 0 porque f 0.
Entonces
Uf, P Mf, J volJ Mf, J volJ volJ.
JP
JF
JF
De donde
volJ .
JF
5 El teorema de Fubini.
El clculo de integrales en una variable es posible gracias al teorema fundamental del
Clculo. En n variables, el teorema de Fubini reduce el cmputo de una integral a n
integrales iteradas en una variable.
Antes de enunciar el teorema de Fubini, hemos de hacer algunas consideraciones sobre
particiones de rectngulos en el producto p q .
Es claro que todo rectngulo de p q es de la forma I 1 I 2 , donde I 1 es un
rectngulo de p e I 2 es un rectngulo de q . Tambin es inmediato comprobar que si P 1 es
una particin de I 1 y P 2 es una particin de I 2 , el producto P 1 P 2 es una particin de
I 1 I 2 . No toda particin de I 1 I 2 es de esta forma, pero:
5.1. Lema: Con las notaciones previas, sea Q una particin de I I 1 I 2 . Existen
particiones P 1 de I 1 y P 2 de I 2 tales que P 1 P 2 es una particin ms fina que Q.
Demostracin: Cada rectngulo K Q es de la forma K K 1 K 2 , con K 1 y K 2
subrectngulos de I 1 e I 2 , respectivamente. Coleccionando todos estos K 1 , obtenemos una
23
I. La integral de Riemann
Lx
I f x
Ux
I f x .
2
L
1
U
1
I f .
JP
J 1 P 1
J 2 P 2
J 2 P 2
J 2 P 2
J 2 P 2
J 2 P 2
Por tanto,
24
I. La integral de Riemann
Lf, P
J 2 P 2
J 1 P 1
UL, P 1 UU, P 1 .
Combinando desigualdades:
Lf, P LL, P 1 UL, P 1 UU, P 1 Uf, P,
y
Lf, P LL, P 1 LU, P 1 UU, P 1 Uf, P.
De la primera cadena de desigualdades se sigue que
UL, P 1 LL, P 1 Uf, P Lf, P .
Y de la segunda:
UU, P 1 LU, P 1 Uf, P Lf, P .
Por 2.6, L y U son integrables en I 1 .
Adems, como L est entre LL, P 1 y UL, P 1 , U est entre LU, P 1 y
I1
I1
Lf, P
I f , I
L,
1
U Uf, P.
1
Luego
I f I
L Uf, P Lf, P
1
y tambin
I f I
U Uf, P Lf, P .
1
I1
1
q
p
p
si x, y y x q , con q irreducible.
en otro caso.
25
I. La integral de Riemann
1
q
si y
si y .
I1
I f I I
1
fx .
2
Destacando las variables sobre las que acta f, esta igualdad suele escribirse
I f x, ydxdy I I
1
f x, ydy dx.
2
I2
sea integrable. (En los que no lo sea, hemos de considerar el valor Lx o Ux o cualquier
valor comprendido entre ambos.)
b) Intercambiando los papeles entre x e y (esto es, los rectngulos I 1 e I 2 , queda
I f x, ydxdy I I
2
f x, ydx dy.
1
26
I. La integral de Riemann
b1
b2
I f x 1 , x 2 , , x n dx 1 dx 2 dx n a a
bn
f x 1 , x 2 , , x n dx n dx 2 dx 1 .
volR volK j .
j1
EB R R es rectangulable y B R .
El conjunto EB porque, como B est acotado, B est contenido en algn rectngulo.
Por tanto, tiene sentido la siguiente definicin de contenido exterior de B :
c B inf volR R EB .
De modo similar se define el contenido interior c B. Primero consideramos
IB R R es rectangulable y R B .
Ahora puede suceder que IB . En tal caso, c B 0. Si IB ,
c B sup volR R IB.
Si R IB y S EB, entonces R S y, por 1.12, volR volS. Esto implica
que c B c B. Cuando c B c B, se dice que B es medible Jordan y a este nmero
coincidente se le denomina contenido de Jordan de B. Lo notaremos cB.
6.2. Observaciones: a) Si B es rectangulable, entonces, de nuevo por 1.12,
c B volB c B. Luego, B es medible Jordan y cB volB.
b) Ntese que la definicin de contenido nulo dada en 3.6 equivale a que c B 0. Por
27
I. La integral de Riemann
j1
j1
B x
si x B
si x B.
La siguiente proposicin muestra que podamos haber definido los contenidos exterior
e interior mediante las integrales superior e inferior:
6.5. Proposicin: Sean B n un conjunto acotado e I un n-rectngulo que contenga
a B. Entonces:
28
I. La integral de Riemann
c B
I B
c B
I B .
JR
JS
j1
I B j volK j volR.
Al ser as para cualquier R EB, B c B.
I
Claramente, los puntos donde B no es continua son aquellos x n para los que
cualquier entorno suyo contiene puntos tanto de B como de su complementario. Estos
puntos son, por definicin, la frontera de B, denotada B. El teorema anterior y el de
Lebesgue implican que, si B est acotado, entonces B es medible Jordan si y solo si B tiene
medida nula. Puede probarse que B B B , siendo disjunta esta unin. Luego,
29
I. La integral de Riemann
I B I B B I B I B I B I B .
JF
JR
JS
Luego,
U B , P U B , P L B , P.
I B I B I B .
proposicin.
30
I. La integral de Riemann
JP
JP
31
I. La integral de Riemann
cB
0 0 B dxdy 0 x
1dy dx
2
0 x x 2 dx
1.
6
A la vista de 6.11, puede parecer que todo abierto (o cerrado) acotado es medible
Jordan. El siguiente ejemplo muestra que esta afirmacin es falsa:
6.12. Ejemplo: Dado que 0, 1 es numerable, sea r m m una sucesin cuyo
recorrido sea dicho conjunto. Para cada m consideramos el intervalo abierto
Im rm
1 , rm
m1
0, 1
m1
m1
m1
3 m1
3
2
3 1
1
3
1.
3
Como esto es as R IB, c B 1 . Por otra parte, como B contiene a todos los
3
r m , B 0, 1. Luego, c B c B 1. Por tanto, B no es medible Jordan.
Y tampoco puede ser medible Jordan el cerrado C 0, 1 B; ya que, si lo fuera,
32
I. La integral de Riemann
I1
I1
b) f g es integrable en B y f g f g .
B
c) fg tambin es integrable en B.
d) Si x B f x gx, entonces f g .
B
e) Si x B f x 0, entonces f 0 .
B
f) | f | es integrable en B y f | f | .
B
B
33
I. La integral de Riemann
i) Si x B f x gx y f g , entonces el conjunto x B f x gx
B
B
tiene medida nula.
b) f es integrable en B C, en B C y
tiene contenido nulo,
BC
f f f.
B
c) f es integrable en B C y
nulo,
BC
f f.
BC
BC
f f
B
BC
BC
f f f . Por tanto, si B C
B
34
I. La integral de Riemann
x n a n 2 x i a i 2 a n 2 x a 2 ,
i1
g 2 x a n 2 x a 2 .
B f .
I. La integral de Riemann
Uf k , P Lf k , P .
Sea J P. Como x J f k x f x, resulta mf k , J mf, J. Del mismo
modo, Mf, J Mf k , J . Entonces,
Uf, P Lf, P
JP
Uf k , P Lf k , P 2 volI 1 2 volI.
Esto prueba que f es integrable en I. Y por tanto, tambin en B.
Sea ahora cuaquier k k 0 . Usando las propiedades 7.2,
B f k f
B | f k f | B cB.
Luego lim k f k f .
B
7.8. Ejemplo: Consideremos los intervalos abiertos I m del ejemplo 6.12, todos ellos
k
I m y consideremos tambin la
contenidos en 0, 1. Sea para cada k B k m1
sucesin de sus funciones caractersticas B k k . Fcilmente se comprueba que el lmite
puntual de esta sucesin es la funcin caracterstica B del abierto B m1 I m . Como I m
es un intervalo, es medible Jordan. Por 7.3.b, B k tambin es medible Jordan y, en
consecuencia, su funcin caracterstica B k es integrable en 0, 1. Sin embargo, B no es
integrable en 0, 1 ya que, como vimos en 6.12, B no es medible Jordan.
8 Cambio de variable.
En una variable, el teorema del cambio de variable establece la igualdad
gb
ga f xdx a f gtgtdt,
siendo g una funcin con derivada integrable en a, b y f una funcin continua definida en
la imagen de g. Su demostracin es sencilla: Si F es una primitiva de f, entonces
36
I. La integral de Riemann
gb
ga f xdx Fgb
Fga.
a f gtgtdt Fgb
Fga.
B f B f | J| ,
siendo ahora B n un compacto medible Jordan, el cambio de variables (un
difeomorfismo de clase C 1 ) y | J| el valor absoluto de su jacobiano. No obstante, la
demostracin de la igualdad anterior es una tarea laboriosa que conviene dividir en varias
etapas. En primer lugar, recordamos la norma sub-infinito en n , ms adecuada para
nuestros propsitos que la habitual norma eucldea:
8.1. La norma sub-infinito de un punto x x i n es
x max| x i | 1 i n.
Dados a n y l 0, el conjunto
Qa, l x n x a l
se denomina n-cubo de centro a y semiarista l. Notemos que si a a i , es
n
Qa, l a i l, a i l,
i1
diamQa, l 2l n .
n x ,
lo que implica que ambas normas son equivalentes. (De hecho, todas las normas de n son
equivalentes; esto es, dan lugar a la misma topologa). Las desigualdades anteriores
implican tambin que
B a, l Qa, l B a, n l,
siendo B a, l la bola cerrada de centro a y radio l.
8.2. Fijada una norma cualquiera en n , se define la norma de una matriz M de
orden n n como
M maxMx x n , x 1.
(Ntese que tal mximo existe). Se sigue de esta definicin que x n :
37
I. La integral de Riemann
Mx Mx.
De hecho, la aplicacin M M es una norma en el espacio vectorial formado por
las matrices cuadradas de orden n. Esta norma es multiplicativa; es decir, si N es otra matriz
de orden n n,
MN MN.
Para la norma sub-infinito introducida antes, es un ejercicio sencillo comprobar que, si
M m ij ,
M max|m i1 | |m i2 | |m in |.
1in
Una vez introducidos los n-cubos, stos pueden reemplazar a los rectngulos en las
nociones de contenido de Jordan y medida nula. Es lo que mostramos en las siguientes
proposiciones:
8.3. Proposicin: Sean B un conjunto medible Jordan de n y 0. Existen n-cubos
t
Q 1 , Q 2 , , Q t con interiores disjuntos, tales que B i1
Q i, y
t
volQ i cB .
i1
B x J volJ cB .
JP
volQ i cB .
i1
Por tanto,
t
i1
volQ i cB .
I. La integral de Riemann
i
x
x j
i,j1,2,n
39
I. La integral de Riemann
x, y z x ty 0 t 1
est contenido en K. Entonces, por el teorema del valor medio, para cada i 1, 2, , n
existe z i x, y tal que
n
i x i y
j1
i
z i x j y j .
x j
Luego,
n
| i x i y|
j1
n
i
i
z i | x j y j |
z i x y
x j
j1 x j
dz i x y Lx y
Y se sigue que:
x y Lx y .
Supongamos ahora que K es cualquier compacto contenido en . Para cada x K
consideramos un n-cubo Qx, l x y denotamos L x la correspondiente constante
obtenida como antes.
x, l x x K cubre K. Como es compacto, esta
La familia de abiertos Q
2
recubierto por una subfamilia finita
x i , l x i i 1, 2, , t .
Q
2
Sean M maxz z K y
L max L x i , 4M i 1, 2, , t .
l xi
Dados x, y K, sea i tal que x Qx i ,
l xi
. Si y Qx i , l x i , entonces
2
x y L x i x y Lx y .
Si y Qx i , l x i , entonces
l x i x i y x x i x y
lo que implica
l xi
x y ,
2
l xi
x y . Luego,
2
l
x y x y 2M 4M x i Lx y .
l xi 2
8.8. Proposicin: Sean B un conjunto medible Jordan con adherencia B y
L maxdz z B . Entonces el contenido exterior
40
I. La integral de Riemann
c B L n cB.
Por tanto, si B tiene contenido nulo, tambin B lo tiene.
Demostracin: Tal mximo L existe porque es de clase C 1 y B es compacto (B est
acotado). Supongamos primero que B es un n-cubo con centro a y semiarista . Como
hemos visto en la proposicin anterior, cumple la condicin de Lipschitz en B con tal
constante L. Luego, x B :
x a Lx a L.
Ello implica que B est contenido en el n-cubo de centro a y semiarista L. El
volumen de este n-cubo es 2L n L n volB. Por tanto, c B L n volB y la
proposicin es cierta para los n-cubos.
Para probarla en general, consideramos 0. En virtud de la continuidad de la
aplicacin z dz , existe un abierto A tal que B A y
z A dz L . (En efecto, para cada x B consideramos un entorno abierto
contenido en tal que, para cualquier z de ese entorno, dz L . Sea entonces A
la unin de todos esos entornos). Por 8.3 y 8.4, consideramos n-cubos Q 1 , Q 2 , , Q t con
t
t
Q i, y i1 volQ i cB .
interiores disjuntos, contenidos en A, tales que B i1
Como antes, cada Q i est contenido en un n-cubo de volumen L n volQ i . Luego,
como B est contenido en la unin de esos n-cubos,
c B i L n volQ i L n cB .
Al ser as para cualquier 0, c B L n cB.
I. La integral de Riemann
r volT r 2 n L n r volQ r .
Ello implica que B tiene medida nula.
8.10. Proposicin: Siendo , y J como en 8.6, sea B un conjunto medible
Jordan tal que su adherencia B . Si x B Jx 0 tiene contenido nulo,
entonces B es medible Jordan.
Demostracin: En primer lugar, notemos que, como B es medible Jordan, est acotado.
Luego, tambin B est acotado y, en consecuencia, es compacto. Al ser continua, B
tambin es compacto. Este contiene a B, la adherencia de B.
Sea A x B Jx 0 (B es el interior de B. Este conjunto es abierto porque,
como es de clase C 1 , J es continua. Por el teorema de la funcin inversa, tambin A
es abierto. Por tanto, A IntB, el interior de B. Entonces, si B denota la
frontera de B,
B B IntB B A B A.
Es B A B B B A . La diferencia B B es la frontera de B que, por 6.6,
tiene contenido nulo. La otra diferencia, B A, est incluida en el conjunto del enunciado
de la proposicin. Por tanto, tiene contenido nulo. As, B A tambin tiene contenido nulo.
Por 8.8, B A tiene contenido nulo y, en consecuencia, tambin B, que es un
subconjunto suyo, segn hemos mostrado. Finalmente, por 6.6, B es medible Jordan.
B | J|
cuando es regular. Primero mostraremos que tal desigualdad es una igualdad para los
isomorfismos lineales, despues probaremos la desigualdad para los n-cubos y finalmente
para un conjunto medible Jordan cualquiera.
8.11. Proposicin: Sean M una matriz regular (con determinante no nulo) de orden n y
el isomorfismo lineal definido por M : x xM t , siendo M t la traspuesta de M. Si B
es un conjunto medible Jordan de n , entonces
cB |detM|cB,
siendo |detM| el valor absoluto del determinante de M.
Demostracin: Antes de nada, ntese que x d x M. Luego, por 8.10, B es
medible Jordan. Para demostrar la proposicin, procedemos por etapas:
1. Si la proposicin es cierta para y su inversa 1 en el caso que B sea un
rectngulo, entonces es cierta para cualquier medible Jordan B.
En efecto: Sea B un conjunto medible Jordan. Dado 0, consideramos n-rectngulos
I 1, I 2, , , I s, cuya unin cubra B y tales que
42
I. La integral de Riemann
volI j cB
j1
.
|detM|
siendo c 0.
En efecto: En tal caso, 1 es del mismo tipo pero con c 1 en lugar de c. Por tanto, en
virtud de 1, 2 es cierto si probamos la igualdad cB |detM|cB en el caso que B
n
sea un rectngulo. Si B i1 a i , b i , entonces
B a 1 , b 1 ca i , cb i a n , b n .
Luego, volB c volB. Y como detM c, se tiene la mencionada igualdad.
3. La proposicin es cierta si es del tipo
x 1 , , x i , , x j , , x n x 1 , , x j , , x i , , x n .
n
En efecto: Si B i1 a i , b i , ahora es
B a 1 , b 1 a j , b j a i , b i a n , b n .
Luego, volB volB. Y, como detM 1, se tiene la igualdad del enunciado. Al
ser 1 en este caso, 3 se sigue de 1.
4. La proposicin es cierta si es del tipo
x x 1 , , x i cx j , , x n ,
siendo c , i j.
En efecto: En tal caso, 1 es del mismo tipo pero con c en lugar de c. Probando la
igualdad cB |detM|cB en el caso que B sea un rectngulo, tendremos 4. Si B
n
a i , b i , ahora es
i1
B
x 1 , x 2 , , x n k i x k a k , b k y a i cx j x i b i cx j .
b i cx j
a i cx j
b1
bn
b i cx j
a a cx
n
dx .
dx i dx n
1
43
I. La integral de Riemann
igualdad deseada.
5. La proposicin es cierta para cualquier .
En efecto: Cualquier isomorfismo 1 s , siendo cada i como en 2, 3, 4.
Si M i es la matriz asociada a i , entonces M M 1 M s . Luego, como la proposicin es ya
cierta para estos i y el determinante de un producto es el producto de los determinantes,
cB c 1 s B |detM 1 ||detM s |cB |detM|cB.
8.12. Proposicin: Supongamos que es regular en (vase 8.6). Si Q es un
n-cubo, entonces
cQ
Q | J|
I | J| | Jx I | volI.
Sea M d 1 x I , de modo que Mdx I 1 n , la matriz identidad de orden n. Sea
tambin : n , y My. Al igual que , tambin es de clase C 1 y regular
en . Si y I,
dy Mdy Mdy dx I 1 n
Mdy dx I 1 n M dy dx I 1
h 1 1 .
h
As, maxdy y I 1 . Entonces, por 8.8,
cI 1 n volI.
Usando 8.11, cI |detM|cI y resulta
44
I. La integral de Riemann
cI cI|detM| 1 1 n volI| Jx I |.
Usando que P es particin de Q, 6.10.a) y 4.10:
cQ c IP c IP I IP cI
1 n | Jx I | volI 1 n I | J| 1 n Q | J|.
IP
IP
Como es as 0, cQ | J|.
Q
8.13. Proposicin: Siendo regular en y B un conjunto medible Jordan tal que
B ,
cB
B | J|
Demostracin: En primer lugar, al ser regular, B es medible Jordan, por 8.10. Por
otro lado, la integral | J| est bien definida porque J es continua.
B
R | J| Q | J|
i
Q | J| R | J|.
i
RB | J| RB h hcR B hcR cB h h
Luego, cB | J| . Al ser as 0, cB | J|.
B
B
45
I. La integral de Riemann
B f B f | J|
Demostracin: En primer lugar, como ya notamos en la demostracin anterior, B es
medible Jordan y, por tanto, la hiptesis f integrable es coherente. Comprobemos que f
es integrable en B. Sea N el conjunto de puntos de discontinuidad de f. Como f es
integrable, N tiene medida nula. N est contenido en B , que es compacto porque B lo es.
Por otro lado, como ya notamos en 8.6, la regularidad de implica que 1 es de clase C 1 .
Aplicando 8.9 con 1 en lugar de , obtenemos que 1 N tiene medida nula.
Precisamente, 1 N es el conjunto de puntos de discontinuidad de f en B, ya que y
1 son continuas. Luego, f es integrable y, en consecuencia, la segunda integral del
enunciado tambin tiene sentido. Veamos que es mayor o igual que la primera.
Supongamos primero que B es un n-rectngulo. Sea P una particin de B y
consideremos la suma inferior
Lf, P mf, J volJ,
JP
1 J
| J|.
mf, J
JP
1 J
| J|
JP
1 J
mf, J| J|
JP
1 J
f | J|,
(la ltima desigualdad por 7.2.d). Dados dos rectngulos distintos I, J P, el contenido
cI J 0. Por tanto, por 8.8, tambin
c 1 I 1 J 0.
Entonces, por 7.3,
JP
1 J
f | J|
1 J
f | J|
B f | J|.
JP
B f B f | J|.
t
J i , siendo los J i
Si B es un conjunto rectangulable, escribimos B i1
n-rectngulos con interiores disjuntos. Entonces, aplicando 7.3 de nuevo:
B f J
i
f
i
1 J
f | J|
46
i 1 J i
f | J|
B f | J|.
I. La integral de Riemann
B f K B f
1 K
B f | J|
B f | J|,
B f B f | J|
Demostracin: Supongamos primero que f es no negativa. En tal caso, la proposicin
anterior trae la integrabilidad de f y la desigualdad . Aplicando esta misma
proposicin a g f | J|, con 1 en lugar de :
B g B g 1 | J 1 |.
Ahora bien, para y x B :
g 1 y| J 1 y| f 1 y| J 1 y|| J 1 y|
f y| Jx|| J 1 y| f y,
ya que J 1 y Jx 1 . Luego, g 1 | J 1 | f y se tiene el teorema en el caso f 0.
En general, como f est acotada, consideramos M 0 tal que f M 0. Entonces:
B f B f M
B f | J| M| J|
B f M | J|
M | J|
B
M | J|
B f | J|.
B f B f | J|
Demostracin: En primer lugar, notemos que, por 8.10, B es medible Jordan y es
coherente considerar integrales sobre B. Vemos que f es integrable en B mostrando
que el conjunto
47
I. La integral de Riemann
x B f no es continua en x
,
2M 2 2ML n
R f R f | J|.
Por un lado, usando 4.2 y 4.7,
BR f | J|
BR |f || J| M 2 BR 1 M 2 cB R
.
2
BR f
BR | f | M BR 1 McB R
McB R ML n cB R .
2
Luego,
B f B f | J|
R f BR f R f | J| BR f | J|
BR f BR f | J|
BR f
Al ser as 0,
48
BR f | J|
.
2
2
I. La integral de Riemann
B f B f | J|.
En 7.6 vimos que las bolas de n son conjuntos medibles Jordan. Estimemos su
contenido con la ayuda del teorema del cambio de variable:
8.17. El contenido de una bola de n : Sean a n , 0 y B n a, la bola cerrada
de centro a y radio . Veamos primero que, si n cB n 0, 1, entonces
cB n a, n n .
8.17.1:
B a, 1 B 0,1 1 | J| B 0,1 n n n .
n
R 1 R 1 | J| 0 0
dd
0 0
d d
0 2 d .
Luego, 2 .
Para n 3, obtenemos primero una frmula recurrente para n . Denotemos por B n y
Q n a la bola cerrada y el n-cubo de centro el origen y radio 1 de n , respectivamente. Como
Bn Qn,
n
1
n
Bn .
Bn
Q Q
2
n2
B n x 1 , x 2 , , x n dx 3 dx n dx 1 dx 2 .
n2
B n x 1 , x 2 , , x n dx 3 dx n 0.
Si x 1 , x 2 B 2 , entonces, para x 3 , , x n Q n2 ,
49
I. La integral de Riemann
x x 1 , x 2 , x 3 , x n B n x 3 , , x n B n2 0, 1 x 21 x 22 .
Luego, si Sx 1 , x 2 es esta bola de n2 , B n x Sx 1 ,x 2 x 3 , , x n y, por tanto,
n2
B n x dx 3 dx n
n2
Sx 1 ,x 2 x 3 , , x n dx 3 dx n
cSx 1 , x 2
1 x 21 x 22
n2
n2
Bn
B 2 x 1 , x 2 1 x 21 x 22 2 n2 dx 1 dx 2
n2 1 x 21 x 22 2
n
B2
dx 1 dx 2 .
B 1 x 21 x 22
n
2
dx 1 dx 2
0 0 1 2
n
2
2
2 1
n 1
dd 2 1 2 2 1 d
n
n
2
1
0
2
n .
Luego, para n 3,
8.17.2:
n 2
n n2 ,
8.17.3:
22 k
135n 2n
si n 2k 1
2 k
246n 2n
si n 2k.
I. La integral de Riemann
2, 3 ,
9 9
6, 7
9 9
8 ,1 .
9
Sea 2 la familia formada por estos cuatro intervalos. Y as sucesivamente. Este proceso
nos proporciona para cada entero n 0 una familia n formada por 2 n intervalos cerrados,
disjuntos y de longitud 3 n ; obtenida eliminando en cada intervalo de la familia precendente
n1 su tercio central.
Para cada n 0, sea C n I n I. El conjunto ternario de Cantor es, por definicin,
C
Cn.
n0
Para ver que el conjunto ternario no es numerable, probamos que coincide con el
conjunto de los nmeros de 0, 1 cuya representacin en el sistema ternario (esto es, en
base 3) slo contiene los dgitos 0 y 2:
9.3. Proposicin: Sea A a i i1 a i 0, 2. La aplicacin : A 0, 1,
a i
i1
ai ,
3i
es una biyeccin de A en C.
Por tanto, como A no es numerable, C tampoco lo es.
Demostracin: Veamos en primer lugar que:
9.3.1: Para n 1, los extremos izquierdos de los intevalos de n son las sumas de la
n
forma a ii , con a i 0, 2.
i1 3
1
n1 . Al dividir este intervalo en tres partes iguales y
3 n1
eliminar el tercio central, se obtienen los dos intervalos de n
En efecto: sea ,
, 1n
3
1
2n , n1
3
3
Puesto que as se generan todos los intervalos de n , se sigue por induccin en n que los
51
I. La integral de Riemann
extremos izquierdos de dichos intervalos son sumas de la forma indicada en 9.3.1. Y como
hay 2 n sumas de este tipo y tambin 2 n intervalos en n , tales sumas son precisamente los
extremos izquierdos de esos intervalos. Ello prueba 9.3.1.
a i y, para cada n 1, x
n
3i
extremo izquierdo de un intervalo de n . Como
Sean a i i1 A, x
i1
0 x xn
in1
ai
3i
in1
2 2
3i
3 n1
i0
a i . Por 9.3.1, x es el
n
3i
i1
1 2 3 1 ,
3n
3i
3 n1 2
i1
bi
ai
i
3
3i
i1
2n
3
in1
in
bi ai 2
bi ai
n
i
3
3
3i
in1
2 2 1 1 ,
3n
3n
3n
3i
i1
Definimos
i1
i1
52
ai .
2 i1
ai
2 i1
i1
1 1.
2i
a i , con a 0, 2.
i
3i
I. La integral de Riemann
1 , 2
3 n1
3 n1
3 n1
tambin
in2
2 ,
3i
n1
1
n1
ai
1
i1
2i
2
in2
i1
i1
a i 1 2 .
2 n1
3 n1
2 i1
1 2 .
3 n1
3 n1
Esta funcin : 0, 1 0, 1 es la funcin de Cantor.
i1
ai e y
3i
i1
b i , con a , b 0, 2.
i i
3i
Puesto que x y, existe algn ndice i tal que a i b i . Sea i 0 el mnimo de tales i. Entonces
a i 0 0 y b i 0 2, ya que si fuese al revs:
xy
i1
ai bi 2
a i 3i b i 32i0 32i 32i0 31i0 0,
3i
3 i0
ii
ii
0
contradiciendo x y. Entonces
y x
i1
bi ai 1
b i2i1a i 21i0 22i1 0.
2 i0
2 i1
ii
ii
0
Luego, es creciente.
De la definicin de C, se sigue que el abierto A 0, 1 C es la unin disjunta de los
53
I. La integral de Riemann
tercios centrales de los intervalos de las familias n . Como es constante es cada uno de
estos tercios centrales, es derivable en A y esta derivada es nula. Slo queda demostrar que
es continua en cada punto de C.
b a
|y x| 2i 1 i i i
3
3
ii
2i 1
3
ii 1
bi ai
3i
2i 1 2i 1i 1 1i 0 ,
3
3
3
3
ii
1
| y x|
ii 0
bi ai
2 i1
ii 0
|b i a i |
2 i1
ii 0
2 1 .
2 i0
2 i1
a f f b f a.
Hemos visto que , la funcin de Cantor, tiene derivada nula en el abierto A 0, 1 C.
Si tambin fuese derivable en los puntos del conjunto ternario, entonces, como C tiene
1
medida nula, sera integrable (por el teorema de Lebesgue) y 0 (por 4.11). Pero
0
1 0 1 0 1. Luego, no puede ser derivable en todos los puntos de C. De
hecho, puede demostrarse que no lo es en ninguno.
Por otro lado, aunque no est definida la integral de Riemann de (por no estar
definida en todo el intervalo), s lo est la integral de Lebesgue y es nula; de modo que
tampoco verifica el teorema fundamental con esta otra integral. Ms adelante, en el tercer
captulo, examinaremos el teorema fundamental del Clculo para la integral de Lebesgue y
caracterizaremos las funciones que lo cumplen.
54
55
E n E nc
E n M.
c) Poniendo E 1 E, E 2 F y E n si n 3, es E F n1
F c M, E F E F c M.
E x
si x E
si x E.
56
1
n
a, , a c ,
a, a
1
n
, ,
, a a, c
f 1 , q) g 1 q,
q
57
k inf x n n k
k sup x n n k .
Como k k k , lim inf n x n lim sup n x n . Puede probarse que el lmite inferior es
el menor de los puntos de acumulacin de x n , y que el lmite superior es el mayor. Por
tanto, x n es convergente (en si y slo si los lmites inferior y superior coinciden;
adems, en tal caso,
lim
x n lim inf x n lim sup x n .
n
n
hx sup f n x n ,
y
h 1 a, f n1 a, .
n
Por tanto, por 1.6, g y h son medibles. Y tambin lim inf f n y lim sup f n , ya que el primero es
n
y f maxf, 0,
58
a a
si a 0
si a 0
n1
E n E n E n E n .
n1
n1
60
F n F m F n E m E cm1 E m1 E m E cm1 .
Luego, n F n n F n .
Por otra parte,
E n E n1 F n E n2 F n1 F n F 1 F n
y, en consecuencia, E n E n n F n .
Entonces:
n
E n lim
lim
F k F n F n E.
n
n
n
k1
i) Ponemos F 1 E 1 y, para n 1,
F n E n E 1 E n1 .
Claramente, la familia F n es disjunta. Su unin es E. En efecto: Como cada
Fn En,
n F n n E n E.
Recprocamente, sea x E. Entonces, como E n E n , el conjunto n x E n es
no vaco y, en consecuencia, tiene un mnimo n 0 . Luego, x E n 0 y, para n n 0 , x E n .
Por tanto, x F n 0 , lo que demuestra la inclusin E n F n .
Cada F n M. Por c), F n E n . Entonces,
E F n E n .
n
N B X N M tal que B N y N 0
est contenida en M.
61
M E B E M y B N
y : M 0, , E B E. Entonces M es la mnima -lgebra que
contiene a M y N y X, M , es un espacio de medida completo.
Demostracin: Es claro que cualquier -lgebra que contenga a M y N contiene a M .
Por tanto, si se prueba que M es una -lgebra, es la mnima que contiene a M y N.
1. X M , porque X M.
2. Si A M , tambin A c M : Sean E, N M y B N tales que A E B,
B N y N 0. Entonces
A c A c N c N A c N c A c N A N c A c N.
Por un lado, A N c M, ya que A N E N M. Por otro, A c N N. Luego,
Ac M.
3. Si A n n M , tambin A n A n M : Para cada n , sean E n , N n M
y B n N tales que A n E n B n , B n N n y N n 0. Llamemos E, N y B a la unin de
los E n , N n y B n , respectivamente. Claramente, A E B, B N y tanto E como N estn
en M. Por 1.18.h, N 0. Luego, A M .
As pues, M es una -lgebra.
Sea A M , A E 1 B 1 E 2 B 2 , siendo E 1 , E 2 M y B 1, B 2 N. Como
E 1 E 2 A E 2 B 2 y B 2 est contenido en un elemento N M tal que N 0,
tambin E 1 E 2 0. Por tanto, E 1 E 1 E 2 . Del mismo modo,
E 2 E 1 E 2 y, en consecuencia, E 1 E 2 . Esto prueba que est bien
definida. Es una medida porque lo es.
Por ltimo, X, M , es completo: Sea C X tal que A M con C A y
A 0. Pongamos A E B, con E M y B N. Como A E, ste valor es
0. Sea N M tal que B N y N 0. Tambin E N M y E N 0. Luego,
E f a,
f 1 a,
si a 0
f 1 a, E c
si a 0.
aiA ,
i
i1
63
s d
a i A i ,
i1
a i E A i .
i1
E s d
a i E A i
E A i
a i E A i .
i1
E s d X E s d .
c) Lo anterior muestra que podamos haber definido la integral s d sin haber
E
recurrido al espacio medible E, M E , . No obstante, el haberlo hecho tiene la siguiente
ventaja: cualquier resultado que se pruebe para integrales de funciones simples definidas en
X es vlido tambin para integrales de funciones simples definidas en cualquier conjunto
medible E.
E s d
s E
es una medida.
i1
i1
E s d a i E A i a i E n A i
a i E n A i a i E n A i E
i1
n i1
s d
n
s E n .
b) La suma s t es simple y s t s d t d .
E
c) Si x E sx tx, entonces s d t d .
E
i1
i1
X as d aa i A i a a i A i a X s d .
b): Claramente, la imagen de s t es finita. Por 1.13, s t es medible. Luego, es simple.
i,j1
i,j1
i,j1
X s d s X s C ij s C ij C
s d .
ij
ij
s d a i C ij ,
ij
Luego, cada
C ij
s t d
C ij
t d b j C ij y
ij
s d
C ij
s t d a i b j C ij .
ij
t d y, por tanto, s t d s d t d .
X
X t d X s d X t s d X s d ,
ya que t s d 0.
X
E s d a i E A i .
i1
tambin es simple y
E s d a i E A d a i E A i .
i
i1
i1
i , i 1 , i 0, 1, , n2 n 1, B n n, ,
2n 2n
sn
i1
i
n F n .
2 n E n,i
66
s
x
0.
Por tanto, lim
n
n
Si f est acotada, k tal que x X f x k. Entonces,
n k y x X f x s n x 1n ,
2
y, en consecuencia, la convergencia es uniforme.
X f d sup
X s d s es simple y s f .
67
E f d X E f d .
En efecto: La correspondencia s E s es una biyeccin entre el conjunto de
funciones simples definidas en E y f y el conjunto de funciones simples definidas en X y
E f. Al ser s d E s d para toda funcin simple s, se obtiene que tambin
E
X
f d E f d.
E
La igualdad anterior muestra que podamos haber definido la integral f d sin haber
E
recurrido al espacio E, M E , . Como ya indicamos en 2.2.c), el haberlo hecho tiene la
siguiente ventaja: cuaquier resultado que se pruebe para integrales sobre X es vlido
tambin para integrales sobre cualquier conjunto medible E.
68
E f d E g d .
E f n d E f d .
E f n d E E
f n d
f n d
n
as d a
s d.
En
E f n d a lim
E
n
s d a lim
s E n a s E a s d.
n
E
E af d a E f d .
Demostracin: En virtud de 2.6, f lim n s n siendo s n una sucesin creciente de
funciones simples. Entonces af lim n as n y, por 1.10, es medible. Como as n tambin es
creciente, podemos aplicar el teorema anterior:
69
E af d lim
E as n d a lim
E s n d a E f d .
n
n
3.7. Corolario: Sean f, g : E 0, medibles. La suma f g es medible y
E f g d E f d E g d .
Demostracin: En virtud de 2.6, f lim n s n y g lim n t n , siendo s n y t n
sucesiones crecientes de funciones simples. Entonces f g lim n s n t n y, por 1.10, es
medible. Como s n t n tambin es creciente, podemos aplicar el teorema de la
convergencia montona:
E f g d lim
E s n t n d lim
E s n d lim
E t n d E f d E g d .
n
n
n
3.8. Corolario: Sea f n n , siendo cada f n : E 0, medible. Entonces f n es
n
medible y
E f n d E f n d.
n
s n 0
lim
n
sn.
s n 1 0 lim
n
1 dx 1,
n
70
E f n d .
g k d .
E g k d E lim
k
lim
k
k.
E g k d lim
k
As:
g k d lim g k d lim k lim inf f n d .
E limn inf f n d E lim
k
k
k
n
E
E
3.11. Observacin: El ejemplo 3.9 muestra que la desigualdad del lema de Fatou puede
ser estricta. Por tanto, dada una sucesin cualquiera de funciones medibles no negativas
f n que converge a f, slo se puede afirmar que
E f d limn inf E f n d .
b) Si g : X 0, es medible, g d f gf d
X
71
f E
E f d X E f d X E
f d
E
n
f E n .
f d
n
X E d f f E E f d X E f d .
Luego, b) es cierto para funciones caractersticas. Tambin para funciones simples, por 3.6
y 3.7. En general, dada g : X 0, medible, por 2.6, g lim n s n siendo s n una
sucesin creciente de funciones simples. Entonces, aplicando el teorema de la convergencia
montona:
X g d f lim
X s n d f lim
X s n f d X gf d.
n
n
3.13. Corolario: Sea f : X 0, medible.
a) Si E n es una familia numerable de conjuntos medibles disjuntos y E n E n ,
entonces f d n f d .
E
En
EF
f d
EF
EF
f d f d
E
EF
f d .
f d f d f d .
E
En
X fg d X f
1
2
X g
1
2
X f
1
2
X g
1
2
x X f 1 xg 1 x
1 2
f x
2 1
1
2
g 21 x.
1 2
f x
2 1
1
2
g 21 x.
Aplicando 3.4:
X f 1 g 1 d 12 X f 12 d 12 X g 21 d 1.
Luego,
1
X fg d 1 X fg d .
E f d .
E f d E a d aE.
E f d .
E f d E a d aE a a
73
X f d X s d
.
2
E f d E f s d E s d X f s d E s d
X f d X s d E s d
.
2
2
X f d D
Anlogamente, g d
X
Dc
f d f d
D
f d.
x X x pertenece a infinitos E n
X f d X E
E n .
n
E f d E f d .
Demostracin: Como E M E E, la proposicin es cierta si f E .
Luego, tambin para funciones simples. En general, por 2.6, f lim n s n , siendo s n una
sucesin creciente de funciones simples. Entonces, aplicando el teorema de la convergencia
montona:
74
E f d lim
E s n d lim
E s n d E f d .
n
n
E f d E f d E f d .
Ntese que si f 0, la integral f d siempre est definida. No obstante, si esta
E
integral no es finita, f no es integrable.
4.2. Proposicin: Con las notaciones anteriores, f es integrable en E si y slo si
| f | d . En tal caso,
E
E f d
E | f | d .
E f d E f d E f d E f d E | f | d ,
f d f d f d
E
Luego, f d | f | d .
E
E
E f d E | f | d .
75
EF
EF
En
n
En
Ms propiedades:
4.6. Proposicin: Sean f, g : E dos funciones integrables.
a) Si x E f x gx, entonces f d g d .
E
E f d E g d E g d E f d .
76
Como todas estas integrales son finitas, podemos pasar f d y g d al otro lado de la
E
E
desigualdad para obtener a).
b): Es consecuencia directa de 3.17.
4.7. Proposicin: Sea f : E integrable y a . Entonces af es integrable en E y
E af d a E f d .
E af d E af d E af d a E f d a E f d a E f d .
4.8. Proposicin: Sean f, g : E integrables. Entonces f g es integrable en E y
E f g d E f d E g d .
E | f g| d E | f | | g| d E | f | d E | g| d .
Luego, por 4.2, f g es integrable en E.
Pongamos h f g. Escribiendo cada funcin como diferencia de su parte positiva y
su parte negativa,
h h f f g g.
Luego,
h f g h f g.
Aplicando 3.7,
E h d E f d E g d E h d E f d E g d .
Y como cada una de estas integrales es finita, podemos pasar f d , g d y h d al
E
E
E
otro lado del igual para obtener la proposicin.
4.9. Observaciones: a) Si en la proposicin anterior, las funciones f y g tuviesen sus
valores en , podramos obtener las indeterminaciones o , lo que hara que
f g no estuviese bien definida. No obstante, si f, g : E son integrables, slo toman
valores infinitos en un subconjunto de medida nula y, en consecuencia, f g est definida
en casi todo E. Esto es, existe cierto F E tal que E F tiene medida nula y f g est
77
F f dm FG f dm FG f dm FG f dm GF f dm GF f dm G f dm.
E f n d E f d .
Demostracin: Como | f n | g en E, | f n | d
E
E g d
E g f d limn inf E g f n d ,
E g f d limn inf E g f n d .
Usando 4.8 y cancelando el sumando g d :
E
E f d limn inf E f n d ,
f d lim inf f n d .
E
78
lim sup
n
E f n d limn inf E f n d
E f d limn inf E f n d.
En consecuencia,
E f n d E f d .
lim
n
4.11. Observacin: El ejemplo 3.9 muestra que, en general, la integral del lmite no es
el lmite de las integrales. Vase tambin 3.11.
| f n | d .
n
E f n d E f n d .
n
n1
n1
| g k x| f n x | f n x| gx,
es de aplicacin el teorema de la convergencia dominada: n f n es integrable y
f n d
n
lim g k d lim
k
g k d lim f n d f n d .
k
n1
Concluimos la seccin con una proposicin que puede verse como un teorema de
cambio de variable entre dos espacios de medibles. Es la que sigue a esta definicin:
4.13. Dados X, M e Y, N dos espacios medibles, se dice que una funcin
: X Y es medible si
N N : 1 N M.
En tal caso, si : M 0, es una medida, la aplicacin : N 0, ,
N 1 N,
79
Y f d X f d.
Demostracin: Supongamos primero que f N , siendo N N. Entonces
f 1 N , como se comprueba fcilmente. Como 1 N M, f es medible. Y
Y f d Y N d N 1 N X
1 N
X f d.
f a i f i
i1
i1
i1
Y f d a i Y f i d a i X f i d X f d.
Si f es cualquier funcin medible no negativa, por 2.6, f lim r f r siendo f r una
sucesin creciente de funciones simples. Entonces la sucesin f r tambin es creciente
y su lmite es f . Luego, como cada f r es medible, tambin lo es f , por 1.10. Y
usando el teorema de la convergencia montona (3.5) y que cada f r verifica ya la
proposicin:
Y f d lim
Y f r d lim
X f r d X f d.
r
r
Si f es integrable Lebesgue, descomponemos f f f . Como f y f son no
negativas y la proposicin ya es cierta ellas, entonces f y f son medibles y
Y f d X f d
Y f d X f d.
Adems, al ser f es integrable Lebesgue, estas integrales son finitas. Notemos ahora que
f f y f f . Ello implica que f es integrable Lebesgue y
Y f d Y f d Y f d X f d X f d X f d.
80
5 Medidas signadas.
5.1. Fijado un espacio medible X, M, una medida signada es una aplicacin
: M tal que si E n n es una sucesin de conjuntos medibles disjuntos y
E n E n , entonces
E n ,
E f d
La siguiente proposicin recoge las propiedades de las medidas que son vlidas para las
medidas signadas. Su demostracin es la misma y la omitimos (vase 1.18):
5.2. Proposicin: Sea : M una medida signada.
a) 0.
N
N
b) Si E n Nn1 M y E n E m si n m, entonces n1
E n n1 E n .
c) Si E, F M, entonces E F E E F.
d) Si E, F M, entonces E F E F E F.
e) Sean E n n M tal que E n E n1 y E n E n . Entonces lim
E n E.
n
f) Sean E n n M tal que E n E n1 y E n E n . Entonces lim
E n E.
n
5.3. Ntese que entre las propiedades anteriores no figura la siguiente (la cual s
aparece en 1.18):
Si F M E , entonces F E.
(recordemos, M E es la lgebra F M F E. Un conjunto medible E
cumpliendo esta propiedad se dice positivo (respecto de .
Por 5.2.c), si F M E , E F E F. Usando esta igualdad, es inmediato
81
comprobar que
5.3.1: E es positivo si y slo si F M E F 0.
De igual modo, un conjunto E se dice negativo (respecto de si F M E
F E. O, lo que es equivalente, F M E F 0.
Un conjunto positivo y negativo a la vez se dice nulo. As, un conjunto medible E es
F n M E n1
a n infF F M E n1 0,
y es tal que F n max 1, a n , y
2
E n E n1 F n E F 1 F n .
Notemos que los conjuntos F n son disjuntos. Ello implica que la serie n F n es
absolutamente convergente. Por tanto, lim n F n 0. Tambin lim n a n 0, ya que
F n max 1, a n 0.
2
Sea P n E n . Si Q P es medible, entonces, como Q E n , a n1 Q. Luego,
a n Q.
0 lim
n
Esto implica que P es positivo. Y como tambin P E n F n y los F n son disjuntos:
P E F n E,
n
E n E P n P k .
k1
E E N.
usando la particin
E E P E N E E.
Luego, . Como N 0 P, y son mutuamente singulares.
Si tambin 1 2 , con 1 y 2 medidas finitas, entonces, si E M :
E E P 1 E P 2 E P 1 E P 1 E
E E N 2 E N 1 E N 2 E N 2 E.
Esto es, 1 y 2 .
Supongamos ahora que las medidas 1 y 2 anteriores son mutuamente singulares. Sea
S M tal que 1 S 0 2 S c . Si E M,
1 E 1 E S 1 E S c 1 E S c E S c 2 E S c
E S c E S c E S c E S c E.
Y
2 E 2 E S 2 E S c 2 E S 1 E S E S
E S E S E S E S E.
Esto es, 1 y 2 . Luego, 1 y 2 .
5.9. Observaciones: Sean , y como en el teorema anterior.
a) Ntese que en la demostracin se ha probado la siguiente propiedad de minimalidad
de las medidas y :
Si 1 2 , con 1 y 2 medidas finitas, entonces, 1 y 2 .
b) En el caso que f , (siendo f : X integrable Lebesgue en el espacio de
medida X, M, , entonces
f
f .
En efecto, si E M,
f E
E f d E f d E f d
f E f E.
E g d E g d E g d
d) La medida || se denomina variacin total de . La siguiente proposicn
proporciona otra definicin de || :
5.10. Proposicin: Con las notaciones previas,
a) E M
||E sup |E r | E r es particin numerable de E .
r
E E N.
|E r | | E r E| E r E
r
E r E r E E ||E.
r
6 El teorema de Radon-Nikodym.
85
E f d.
g : X 0, g es medible y g .
1). F porque 0 F.
2). Si g 1 , g 2 F, tambin g maxg 1 , g 2 F.
En efecto: dado E M, sean E 1 x E g 1 x g 2 x y E 2 E E 1 . Por 1.7,
ambos son medibles. Entonces
g E
E g d E
g 1 d
E2
g 2 d
g 1 E 1 g 2 E 2 E 1 E 2 E.
3). Si g n n F es una sucesin creciente, entonces g lim n g n F.
En efecto: dado E M, por el teorema de la convergencia montona,
g E
g E lim
E E.
E g d lim
E g n d lim
n
n
n
n
Sea ahora
sup g X g F .
Puesto que g F g X X, X. Y como es finita, tambin .
Veamos que existe f F tal que f X : Por la definicin de supremo, para cada
n existe g n F tal que
86
1
n g n X
Pongamos f n maxg 1 , g 2 , , g n y consideremos la sucesin f n . Claramente, es
creciente. Sea f lim n f n . Por 2), f n n F; por 3), f F. Como g n f n , tambin
g n f n y, en consecuencia, 1
n f n X. Por el teorema de la convergencia
montona,
f X
f X lim
X f d lim
X f n d lim
n
n
n
n
1 .
n
Luego, f X .
Veamos que f : Supongamos que para cierto Y M f Y Y. Entonces,
como Y y Y son finitos, existe 0 tal que
Y f Y Y 0.
Sea f , que es una medida signada. Por 5.4, existe P Y positivo respecto de
tal que P Y. Sea g f P . Si E M,
g E
E g d E f d E P d f E E P
f E E P f E P E P f E P E P E P
E P E P E P E E P E,
ya que E P 0. As, g y, por tanto, g F. Esto implica que
g X f X. Por otra parte, f X g X, ya que f g. Luego, g X f X.
Al ser g X f X P, resulta P 0. Como y f son absolutamente continuas
respecto de , tambin P y f P son nulos. De este modo, P 0, que contradice
P Y 0. Tal contradiccin prueba que f .
En principio, f puede tomar el valor . Pero, como f d , 3.3.b), implica que si
X
F x X f x , es F 0. Entonces, por 3.17, podemos reemplazar en F el
valor por cualquier otro valor finito sin que cambien las integrales f d. Esto nos
E
permite suponer f : X 0, , lo que completa la demostracin de la parte a).
b): Sea g : X 0, es otra funcin medible tal que g . Sean los conjuntos
E 1 x X f x gx y E 2 x X gx f x.
Por 1.7, son medibles. Es
f g d
1
f d
E1
g d E 1 E 1 0.
6.3. Una medida se dice -finita si el espacio total X es unin numerable de conjuntos
medibles con medida finita. El espacio de medida X, M, se dice -finito si es -finita.
En tal caso, X puede suponerse unin numerable y disjunta de conjuntos con medida
87
E f n d.
E f d E X
n
f n d
EX
n
f n d
n
E X n E.
n
Sea g : X 0, otra funcin medible tal que g . Sean tambin los conjuntos
D n x X n f x gx
y D Dn.
n
X
X d
88
E f d.
E E N.
X | f | d X f d X f d X X ,
f es integrable Lebesgue. Si E M :
E f d E f d E f d E E E.
Esto prueba el apartado a). El b) se demuestra como en 6.2.
6.7. Observacin: Al igual que observamos en 6.5, si , y f son como en la
proposicin previa, tambin se denota f d . Y si g : X es integrable Lebesgue
d
respecto de , es fcil comprobar que
d d.
X g d X g d
89
E M E E S.
(En tal caso, S c 0; por lo que si es una medida, entonces y son
mutuamente singulares, en coherencia con la definicin 5.7).
6.9. Teorema de descomposicin de Lebesgue: Sean X, M, un espacio de medida
-finito y una medida signada (respectivamente, medida -finita) sobre M. Existe un
nico par de medidas signadas (respectivamente, medidas -finitas), s y a , tal que s es
singular respecto de , a es absolutamente continua respecto de y
s a.
Demostracin: Consideramos la medida || , siendo || la variacin total de
(vase 5.9) si es una medida signada o || si es una medida. Como ambas, || y ,
son -finitas, tambin lo es . Claramente, y son absolutamente continuas respecto de
. Por 6.4, existe f : X 0, medible tal que f . Sean los conjuntos medibles
S x X f x 0,
T S c x X f x 0
a E E T.
Como se establece en las diferentes versiones del teorema de Radon-Nikodym, tal funcin f
es nica. Si es una medida signada, f es integrable Lebesgue, y si es una medida
(-finita), f 0. De nuevo, a f tambin se denota d .
d
7 Medidas exteriores.
En la construccin de la integral de Lebesgue sobre conjuntos concretos, se suele partir
de una funcin no negativa definida sobre cierta familia de subconjuntos y, seguidamente,
se extiende la funcin a una medida definida sobre cierta -lgebra. El modo habitual de
realizar tal extensin es considerar la medida exterior generada por la familia y la funcin.
Analizamos este proceso genrico en esta ltima seccin del presente captulo. En el
siguiente, aplicaremos los resultados aqu obtenidos al caso particular de n .
7.1. Sean X un conjunto y PX el conjunto de las partes de X. Una aplicacin
: PX 0, se dice una medida exterior sobre X si 0 y es -subaditiva; esto
es, si A r r1,2, es una familia numerable de subconjuntos de X y A r A r , entonces
A A r .
r
91
Ntese que, por 1.18, toda medida definida sobre PX es una medida exterior y que, en
tal caso, todo conjunto E X cumple la condicin de Caratheodory. No toda medida
exterior es una medida, como muestra el siguiente ejemplo:
7.2 Ejemplo: Sean X 1, 2, 3 y : PX 0, :
0, 1 1, 2 3 2,
1, 2 1, 3 2, 3 3 y X 4.
Puede comprobarse que es una medida exterior y que los conjuntos medibles respecto de
son: , 1, 2, 3 y X. Como 2 3 2, 3, no es una medida.
7.3. Observacin: Sea una medida exterior sobre X. Por la subaditividad,
A, E X A A E A E c . Luego, E es medible si
A X A A E A E c .
Adems, si A , esta desigualdad es obvia.
92
E 1 E c2 E c1 E 2 c
A E A E E n A E E cn A E n A E r .
r1
A E A E r
r1
A E r .
r1
Al ser as n,
A E A E r .
r1
93
A A F A F c .
Por 6, A F r1 A E r . Como E c F c , A E c A F c . Por tanto,
n
A E r A E c .
r1
Al ser as n,
A E r A E c .
r1
De nuevo por 6,
r1
A E r A E, obtenindose
A A E A E c .
Ello prueba 7.
8. Sea E r r M y E r E r . Tambin E M.
En efecto: Sea F 1 E 1 y, para r 1,
F r E r E 1 E r1 .
Claramente, F r es disjunta y, como ya vimos en la demostracin de 1.18.i), su unin es
E. Por 4 y 5, cada F r M. Entonces, por 7, E M.
Las afirmaciones 1, 3 y 8 muestran que M es una -lgebra. Si en 6 hacemos A X,
obtenemos
E E r ,
r
I r r1,2, r I r y A r I r .
r I r I r A .
Si esta suma es infinita, la desigualdad es clara. Supongamos que es finita. Sea 0. Para
cada ndice r, como el nfimo A r , podemos considerar I r,s s1,2, A r tal que
I r,s A r 2r .
s
I r,s I r,s A r 2r A r .
r,s
Al ser I r I r E I r E c ,
A I r E I r E c .
r
Entonces 0, a b X 1 y M , X .
As, G E 0.
Puesto que E c M, existe G A tal que E c G y G E c 0. Si F G c ,
entonces F E y, como E F G E c , E F 0. Esto completa la prueba de 7.9.1.
Probemos ahora que M A . Sean E M y F y G como en 7.9.1. Entonces
E F E F, siendo F A, E F G F A y
G F G E E F 0.
Por tanto, por 1.20, E A .
c) Sea una medida sobre A tal que I I I. Dado E A, para cualquier
96
I I E I E c .
Como I I, restando:
I E I E I E c I E c 0.
Al ser , I E I E y I E c I E c . Por tanto,
I E A I E I E.
Consideremos ahora una familia numerable I r tal que X r I r . Dado E A,
sea para cada r
E r I r I 1 I r1 c E.
Fcilmente se comprueba que E r E r y esta unin es disjunta. Como E r es la
interseccin de I r y un elemento de A, E r E r . Entonces, como y son medidas,
E E r E r E.
r
As pues, .
I I r .
r1
r1
r1
I J I J c I J I r I J I r .
Puesto que I es unin disjunta de I J y los I r y es aditiva, I J s1 I r vI.
Por tanto, I J I J c vI. Finalmente, aplicando 7.6.b), se obtiene M.
m
7.12. Observacin: Notemos que toda -lgebra es un semianillo y que, por 1.18, toda
medida es aditiva y -subaditiva. En consecuencia, si es una -lgebra y una medida,
entonces M no es sino la compleccin de respecto de .
98
1 Medidas de Borel en n .
En el captulo anterior hemos construido la integral de Lebesgue en abstracto, sobre un
conjunto X cualquiera; en ste, concretamos al caso X n . Comenzamos con una seccin
en la que introducimos las medidas de Borel en n . En secciones posteriores estudiaremos
las medidas de Lebesgue y de Lebesgue-Stieljes, dos ejemplos de tales medidas.
Recordemos que la -lgebra de Borel de un espacio topolgico es la mnima -lgebra
que contiene a sus abiertos. En ella estn sus complementarios, los cerrados. Si el espacio
topolgico es separado (tambin se dice de Hausdorff), entonces todo compacto es cerrado
y, en consecuencia, los compactos tambin son conjuntos de Borel. As pues, la siguiente
definicin tiene sentido:
1.1. Una medida de Borel es una medida definida sobre la -lgebra de Borel de un
espacio topolgico separado que toma valores finitos en los conjuntos compactos.
a i , b i
i1
a i , b i
i1
r1
99
1
r
i1
k i , k i 1 , con r y k .
i
2r
2r
i1
li , li 1
2s
2s
i1
k i , k i 1 , siendo k
i
2r
2r
li .
2 sr
I a i , b i
i1
J c i , d i .
i1
IJ
i , i si i i i
i1
en otro caso.
K i , con K i a i , i , i , i o i , b i ;
i1
I inf J J e I J
sup J J y J I ,
I I r .
r1
Para cada ndice r, sea J r I I r , que pertenece a por ser esta familia un semianillo.
Entonces I r J r . Quitando primero los J r vacos y procediendo como en I.1.5, pero con
rectngulos semiabiertos en lugar de rectngulos cerrados, se obtiene una particin (finita)
P de I y, para cada r, una particin P r de J r contenida en P, donde ahora los elementos de
P son rectngulos semiabiertos disjuntos en lugar de rectngulos cerrados con interiores
disjuntos.
Es P r P r . En efecto: El contenido es claro. Dado J P, como
J I r J r , J corta a algn J r . Puesto que J r es la unin de los rectngulos de P r , J
debe cortar tambien a algn K P r . Entonces J K, ya que todos los rectngulos de P
son disjuntos. Ello muestra el otro contenido.
Al ser aditiva,
I K
KP
J r K.
KP r
I K K J r .
KP
r1 KP r
r1
que implica J r I r .
b) : En primer lugar, como es aditiva y -subaditiva, se extiende a una medida
n
de Borel y, en consecuencia, hereda las propiedades de las medidas. Sean I i1 a i , b i ,
sup J J y J I
y inf J J e I J .
i1 a i
1 , bi
r
Kr
i1 a i , b i
1
r
J J r s .
s1
m
J r s . Por a), J J r s . Luego,
Entonces, J s1
s1
I J J r s J r
2
2
2
r
s1
I r
r
2
2 r1
I r .
r
Luego, I r I r . Al ser as 0, I r I r .
Sea una medida de Borel. Hemos visto en 1.6 que la medida exterior definida por el
par , es una extensin de . En consecuencia, la denotaremos tambin por . Por
II.7.11.b), la -lgebra formada por los conjuntos medibles respecto de esta medida exterior
es la compleccin de B respecto de . La representaremos por B , en coherencia con
II.1.21. Con estas notaciones, las siguientes tres proposiciones presentan una descripcin de
y de los elementos de B en trminos de los abiertos y los cerrados de n :
1.9. Proposicin: Dado E n ,
E inf A A es abierto y E A .
Demostracin: Sea tal nfimo. La desigualdad E es debida a la monotona de
. La otra desigualdad es clara si E . Si E , consideramos 0 y una
familia numerable I r cuya unin cubra E y tal que
103
I r E
r
.
2
J r I r
r
r1
E E .
2
2
Luego, E . Al ser as 0, E.
1.10. Proposicin: Dado E n , son equivalentes:
1 E B .
2 0 un abierto A E tal que A E .
3 0 un cerrado C E tal que E C .
4 una interseccin numerable de abiertos A tal que A E y A E 0.
5 una unin numerable de cerrados C tal que C E y E C 0.
Demostracin: 1 2 : Supongamos primero que E . Dado 0, por 1.9,
existe un abierto A E tal que A E . Entonces, por II.1.18.d),
A E A E .
Si E , consideramos una sucesin de conjuntos de Borel acotados B r r cuya
unin sea n y, para cada r , E r E B r . Dado 0, como E r es finito, existe un
abierto A r E r tal que A r E r r . Sea A r A r . Es abierto, contiene a E y
2
A E r A r E r . Entonces, por la subaditividad de :
A E
A r E r
r
.
2r
Las proposiciones 1.9 y 1.11 establecen que, en n , toda medida de Borel es regular.
2 La medida de Lebesgue.
Recordemos que tenemos pendiente del primer captulo extender la integral de
Riemann a una de Lebesgue. Es lo que haremos en esta seccin: construir una -lgebra que
contenga a los conjuntos de Borel y a los medibles Jordan, definir en ella una medida que
extienda el contenido de Jordan y comprobar que la integral de Lebesgue resultante
extiende la de Riemann. Tales -lgebra y medida son las denominadas -lgebra de
Lebesgue y medida de Lebesgue, respectivamente.
Si la -lgebra de Lebesgue debe contener a la Borel y extender el contenido de Jordan,
que es finito, la medida de Lebesgue ha de ser una medida de Borel. Como hemos visto en
la seccin anterior, toda medida de Borel puede ser construida segn II.7.5, a partir de una
nica aplicacin : 0, aditiva y -subaditiva, siendo el semianillo formado por
los rectngulos semiabiertos de n y el vaco. Tal aplicacin no puede ser otra que la que
a cada rectngulo le asocia su volumen:
n
i1
i1
I a i , b i I b i a i
(y 0.
2.1. Proposicin: La anterior aplicacin es aditiva y -subaditiva.
Demostracin: Es aditiva porque, para un rectngulo I , el valor I es
precisamente el contenido de Jordan de I, que es aditivo, por I.6.10. Para ver que es
n
-subaditiva, mostramos primero que es regular; esto es, que dado I i1 a i , b i
a i b i , si
sup J J y J I
inf J J e I J ,
106
, se tiene 2.1.1.
Como claramente, J I K
Por 2.1.1, . Al ser as 0, . Por tanto, v es regular. Si es es
aditiva y regular, entonces, por 1.8.b), tambin es -subaditiva.
E n I I mI E mI E c .
En algunos textos, la medida de Lebesgue se introduce del mismo modo que aqu, pero
utilizando rectngulos cerrados ( abiertos) en lugar de rectngulos semiabiertos. La medida
exterior que se obtiene es la misma. Nos detenemos a comprobarlo porque lo necesitaremos
ms adelante:
2.3. Proposicin: Dado E n ,
mE inf I r I r , E r
r
inf I r I r , E I r .
r
r I r I r , E r I r
r I r I r , E r r ;
r J r
j1
volR j1 I r j . En consecuencia,
j1
c E volR I r j I r .
j1
108
proporcionado por Vitali. Antes, vemos que la medida exterior es invariante por
traslaciones:
2.13. Proposicin: Sean v n , la traslacin : n n , x x v, y E n .
Entonces mE mE y E es medible Lebesgue si y slo si lo es E.
n
qN
Por otro, E J i1 1, 2 : Si x x i E q ,
110
entonces x a q,
con
a a i R y q q i N. Luego, a i 0, 1, q i 1, 1 y, en consecuencia,
x i 1, 2.
Si I E J, 1 mI mE mJ 3 n . Ello contradice la anterior conclusin
mE mE 0. Por tanto, R no puede ser medible Lebesgue.
I r,k
i1
k i , k i 1 , con r y k k , k , , k n .
1 2
n
2r
2r
I r,k 2 r n I r,0 ,
0k i 2 r
lo que implica I r,0 cr n . Como mI r,0 1r n , resulta que para cualquier rectngulo
2
2
didico I : I cmI. Puesto que por 1.2 todo abierto A es unin numerable de
rectngulos didicos disjuntos, tambin A cmA. Finalmente, cm en virtud de
la regularidad exterior de las medidas de Borel (cf. 1.9) .
que f es integrable Riemann, est acotada. Luego, las integrales (de Lebesgue) f dm y
B
B f dm son finitas y tiene sentido su diferencia. Por definicin, esta diferencia es la
integral de Lebesgue f dm .
B
JP
La funcin s es medible porque C y los J lo son. Como C tiene medida nula y los J son
disjuntos,
I s dm a J mJ a J volJ Lf, P.
JP
JP
I B f I B f dm .
La desigualdad B f dm B f se obtiene de forma anloga, considerando sumas
I
I
superiores.
2.17. Aunque no introducimos integrales impropias de Riemann en el primer captulo,
stas se manejan con frecuencia en el caso de una variable y es menester sealar su relacin
con la integral de Lebesgue. Para funciones positivas, el teorema anterior y II.3.13.e)
implican la coincidencia de la integral impropia de Riemann y la integral de Lebesgue. Para
funciones positivas y negativas la situacin es un poco diferente. Como muestra el ejemplo
que sigue a continuacin, puede suceder que una integral impropia converga pero que no
exista la correspondiente integral de Lebesgue. No obstante, si esta integral de Lebesgue
existe, entonces la integral impropia converge y ambas coinciden, por el teorema previo y
II.4.5.e).
Ejemplo: Sea f : 0, , fx
x 0, , la integral de Riemann
1 x2
, siendo x la parte entera de x. Dado
x 1
112
k1
k1
x 1 x2
1 k1
dt
dt
k
x x 1
k1
1 k1
1 x2 x x
.
k
x 1
0 f
lim
x
0 f lim
x
k1
1 k1
1 x2 x x
k
x 1
k1
1 k1
log 2.
k
0, | f | dm
lim
n
0,n | f | dm lim
n
k1
1 .
k
113
I r, j
j j1
, j 0, 1, , r 2 1;
r, r
I r, r 2 f 1 r, .
.
mE r, j C r, j r 2
2 r 1
2
r2
C r C r, j y C C r ,
r
j0
r2
mE C
mE C r mE r, j C r, j
r j0
r2
r j0
2 r 1
2
.
2r
En el siguiente resultado se establece que toda funcin medible y finita es, en casi todo
punto, lmite puntual de funciones continuas. (Vase II.4.4 para recordar la nocin de "en
casi todo punto").
3.4. Proposicin: Sea f : E medible Lebesgue. Existe una sucesin de funciones
continuas g r r , g r : n , tal que para casi todo x E lim
g r x f x.
r
Demostracin: Por el teorema de Luzin, dado r , existe g r : n continua tal
que
m x E f x g r x 1r .
2
Sea N r el conjunto anterior y
N
x E x pertenece a infinitos N r .
EE | f| dm lim
E | f| dm E | f| dm
k
k
115
0.
EE | f| dm
k
.
4
.
mG k
4k
Aplicando el teorema de Luzin a la restriccin de f a E k , se obtiene g : n
continua y tal que si F k x E k f x gx, es
.
mF k
4k
Adems, como x E k | f x| k, tambin se puede suponer que x n |gx| k. En
particular, g est acotada.
Pongamos F x E f x gx. Claramente, F F k G k , siendo disjunta
esta unin. Luego,
mF mF k G k mF k mG k
,
4k
4k
lo que prueba a). Y
E | f g| dm F | f g| dm F G | f g| dm F G | f| |g| dm
k
F | f| |g| dm G | f| |g| dm F
k
2k dm | f| k dm
Gk
,
2kmF k | f| dm kmG k
2
4
4
Gk
lo que prueba b).
Por ltimo g es integrable Lebesgue en E :
E |g| dm E |g f f| dm E | g f| dm E | f| dm E | f| dm .
3.6. Corolario: Sea f : E integrable Lebesgue. Existe una sucesin g r r ,
siendo cada g r : n , continua, acotada e integrable en E, tal que
a) Para casi todo x E lim
g r x f x.
r
E | f g r | dm 0.
b) lim
r
116
4 Integracin iterada.
El objetivo de esta seccin son los teoremas de Tonelli y Fubini, que permiten reducir
el clculo de integrales de Lebesgue en n al clculo de integrales iteradas en p , con
p n. El teorema de Tonelli se aplica a funciones medibles no negativas; el de Fubini a
funciones integrables Lebesgue.
En esta seccin descomponemos n p q (con p, q n y denotamos , m, p ,
m p , q y m q a la -lgebra de Lebesgue y a la medida de Lebesgue de n , p y q ,
respectivamente.
4.1. Sea E n y x p . La seccin de E en x es el subconjunto de q :
Ex y q x, y E .
La seccin E(x).
Fx E i x.
iI
117
E dm p mE.
E dm p
2. E es abierto.
Por 1.2, E r I r , siendo los I r n-rectngulos semiabiertos disjuntos. Sea x p .
Por 4.1.3, Ex r I r x. Como hemos visto en 1, cada I r x es un q-rectngulo o
vaco. Luego, Ex q . Adems, los I r x son disjuntos: si y I r x I x x, entonces
x, y I r I s , que contradice I r I s . Por tanto, m p Ex r m p I r x. De
este modo, E r I r . Por II.3.8, esta suma es medible y
E dm p
I r dm p .
Entonces, como la proposicin ya es cierta para los rectngulos I r y stos son disjuntos,
E dm p
I r dm p
mI r mE.
r
3. E es compacto.
Consideramos un n-rectngulo abierto I que contenga a E y sea A I E, que es
abierto. Dado x p , como E I A, entonces, por 4.1.2 y 4.1.3, Ex Ix Ax. Ya
hemos comprobado que Ix, Ax q . Luego, tambin Ex q . Por otro lado, como
Ix es un un q-rectngulo o vaco, m q Ix es finito. Entonces, por II.1.18.d),
m q Ex m q Ix m q Ax.
Por tanto, E I A . Y como la proposicin ya es cierta para I y A,
118
E dm p
I dm p
A dm p mI mA mE.
E dm p lim
r
K r dm p lim
mK r mE
r
dm p lim
r
1 0.
A r dm p lim
mA r lim
r
r r
E dm p 0 mE.
E dm p
F dm p mF mE.
E f dm
E f dm .
Entonces f es medible y
f dm p
f dm.
Ex dm q m q Ex E x.
f dm p
E dm p mE
120
E dm.
f x dm q
ar
r1
f r,x dm q
a r f x.
r
r1
f dm p
a r
r1
f r dm p
a r
r1
f r dm
f dm.
f x dm q lim
r
f r,x dm q lim
f r x.
r
f dm p lim
r
f r dm p lim
r
f r dm
f dm.
tambin es finita. Por tanto, podemos concluir que, para casi todo x p , f x es medible y
q f x dm q .
121
f dm p
f dm .
f x dm q
f x dm q f x dm q
q
f x dm q f x dm q f
q
x f x.
f dm p
f dm.
f dm p
f dm.
tambin lo es en p N y
N f dm p N f
p
dm p
p N
f dm p .
Como N tiene medida nula, podemos cambiar p N por p en estas integrales sin que
cambie su valor. Entonces,
f dm p
f dm p
f dm p
f dm
f dm
f dm.
suele escribirse
f dm
f x dm q dm p .
Tambin es muy frecuente la siguiente expresin, en la que se destacan las variables sobre
las que acta f :
f x, y dxdy
f x, y dy dx.
Cada una de la integrales del segundo miembro de esta igualdad se denominan integrales
iteradas.
b) Intercambiando x por y resulta la igualdad
f dm
f y dm p dm q .
f x, y dxdy
f x, y dx dy.
c) Puede suceder que las integrales iteradas anteriores existan e incluso coincidan, pero
f no sea integrable. Por ejemplo, considrese los siguientes conjuntos medibles de 2 :
E
x, y x y x 1, x 0
x, y x 1 y x 2, x 0
x, y x 1 y x 2, x 0
x, y x y x 1, x 0
Los conjuntos E y F.
| f | dm
2
E F dm mE mF ,
f no es integrable. Para x , f x Ex Fx y
Ex Fx dy mEx
123
mFx 0.
Luego,
f dx dy 0.
f y dx 0
| f x, y| dy
p
dx ,
5 Derivadas de medidas.
5.1. Sea una medida de Borel en n (c.f. 1.1) o una medida signada sobre B, la
-lgebra de Borel de n . Dado x n , la derivada de en el punto x es, si existe, el
lmite
B x,
Dx lim
,
x,
0 mB
donde m es la medida de Lebesgue y B x, y n y x , la bola cerrada de
centro x y radio .
Definimos tambin las derivadas superior e inferior: Para cada 0, sean
Dx, sup
B x, l
0l
mB x, l
B x,
Dx, . Por tanto, tomando
mB x,
lmites, si Dx Dx, tambin Dx coincide con este valor comn.
B B A y B 1
x y 2B 2 j 4 j .
Puesto que y B j , y x j j . Entonces,
x x j x y y x j 4 j j 5 j
Por tanto, x K j rs K r .
Sea ahora 0. Puesto que la serie r nr es convergente, existe s tal que
rs nr 5 n . Entonces, como E C rs K r , la medida exterior
n
mE C m K r mK r n 5 r n n 5 n nr .
rs
rs
rs
rs
Al ser as 0, mE C 0.
Si mE , consideramos para cada p el abierto
Up
x n x 1
si p 1
x n p 1 x p
si p 1
126
E B pr
p,r
E Up
p
E p B pr .
0 mE r rE r rE 0.
Sea F x E Dx 0. Claramente, F r E r . Luego, como cada mE r 0,
tambin mF 0. Sea entonces E E F. Para x E Dx 0. Pero como 0,
sus derivadas no son negativas. Luego, si x E, Dx 0. Tambin Dx 0, en
virtud de 5.2.c).
medida singular es nula en casi todos los puntos de n . Determinemos la derivada de una
medida absolutamente continua.
Por el teorema de Radon-Nidodym (vase II.6.2, II.6.4 y II.6.6), si es una medida de
Borel o una medida signada, absolutamente continua respecto de m, entonces existe una
funcin f tal que m f ; esto es, E B :
E
E f dm.
Adems, tal funcin f es nica (en el sentido que se explica en II.6) y se denota d . De
dm
este modo, la derivada Dx es, si existe, el lmite
B x,
d dm.
1
lim
lim
x, B x, dm
x,
0 mB
0 mB
Mostraremos que, en casi todo punto x n , el lmite anterior es d x.
dm
En principio, las integrales anteriores tienen sentido en el espacio de medida
n , B, m; pero, por II.3.19, podemos cambiar este espacio por su compleccin n , , m
sin que se altere su valor. Ms generalmente, en lugar de considerar las funciones f
proporcionadas por el teorema de Radon-Nikodym, consideraremos funciones localmente
integrables, las cuales introducimos a continuacin:
5.8. Teniendo como base el espacio de medida n , , m, una funcin medible
f : n se dice localmente integrable si es integrable Lebesgue en cada compacto de
n (o, lo que es equivalente, integrable en cada conjunto medible Lebesgue y acotado de
n .
Dada f localmente integrable, para cada x n y 0, sean los valores de 0, :
T f x, sup
mBx, l
B x,l | f f x| dm 0 l
T f x infT f x, 0.
Ntese que, como T f x, T f x, si , tambin T f x lim T f x, .
0
b) Si T f x 0, entonces
lim
mBx,
B x, f dm f x.
129
c) Si f es continua en x, entonces T f x 0.
Sea g : n otra funcin localmente integrable y h f g.
d) h tambin es localmente integrable.
e) T h T f T g .
f) Si g es continua, T h T f .
Demostracin: a) En primer lugar, notemos que como f es localmente integrable, es
una medida de Borel y tiene sentido la derivada D. Dados x n y 0, para cada
0 l ,
1
mB x, l
B x,l | f f x| dm
mBx, l
1
mB x, l
B x,l | f | dm
B x,l | f | | f x| dm
| f x|.
B x, f dm
f x
1
mB x,
1
mB x,
B x, f f x dm
B x, | f f x| dm T f x, .
mBx,
B x, f dm
f x 0,
que implica
lim
1
mB x,
B x, f dm f x.
mBx, l
B x,l | f f x| dm
mBx, l
B x,l dm .
B x,l | f g f x gx| dm
1
mB x, l
1
mB x, l
B x,l | f f x| dm
B x,l |g gx| dm T f x, T g x, .
As, T h x, T f x, T g x, . Haciendo 0 : T h x T f x T g x.
130
f) Como g es continua, T g 0, por el apartado c). Luego, por e), T h T f . Del mismo
1
mB x,
B x, f dm f x.
K | f g| dm .
Sea h f g. Por el apartado f) de la proposicin anterior, T h T f . Luego, tambin
K t x K T h x t. Por el apartado a), T h D |h|, siendo m |h| . Por tanto, si
x K t , Dx |hx| t y, o bien Dx t , o bien |hx| t . Esto prueba que
2
2
t
K t x K Dx x K |hx| t .
2
2
Sea E x K Dx t . Por 5.5, la medida exterior
2
mE 2 E 2 K 2 | h| dm 2 .
t
t K
t
t
Por la desigualdad de Tchebishev (II.3.15),
mx K |hx| t 2
t
2
K | h| dm
2
t
1
r
y cada mK 1 0,
r
1
mB x,
B x, f dm f x.
E r
l.
mE r
132
E r B 0, 1r S,
F r B 0, 1r S.
E r
mE r
lim
1,
r mE
mE r
r
lim
r
F r
m
lim
0.
r mF
mF r
r
n
2n
2n
n r n lr
n mBx, n l r .
r n
r n
Las siguientes proposiciones muestran que D 1 x existe (y, por tanto, coincide con
Dx en casi todo punto x :
5.16. Proposicin: Sean una medida de Borel y x n . Si Dx 0, tambin
D 1 x 0.
Demostracin: Sea E r una sucesin que se que se contrae aceptablemente a x. Por
definicin, existen 0 y una sucesin de bolas B x, r r tales que cada
E r B x, r , lim r r 0 y mE r mB x, r . Como lim r r 0 y Dx 0,
B x, r
entonces lim
0. Luego,
r mB
x, r
E r
1 lim B x, r 0.
0 lim
r mB x, r
r mE
r
Por tanto, lim
r
E r
0. Ello muestra que D 1 x 0.
mE r
5.17. Corolario: Sea una medida de Borel o una medida signada, singular respecto
de m. En casi todo punto x n , D 1 x 0.
Demostracin: Por 5.7, para casi todo x n , Dx 0. Si es una medida, por la
proposicin previa, en esos puntos x tambin D 1 x 0. Si es una medida signada,
descomponemos segn el teorema de Hahn-Jordan (II.5.8): , siendo y
medidas finitas, tambin singulares respecto de m. Como ya es D 1 x 0 D 1 x en
casi todo x n , tambin en estos x : D 1 x 0.
5.18. Proposicin: Sean f : n localmente integrable, x n un punto de
Lebesgue de f y E r una sucesin que se que se contrae aceptablemente a x. Entonces
133
lim
r
1
mE r
f dm f x.
r
1
1 f f x dm
mE r
mE r E r
1
1
| f f x| dm.
mB x, r B x, r
f dm f x
r
E | f f x| dm
r
1
mB x, r
B x, | f f x| dm 0.
r
En consecuencia, tambin
1
mE r
f dm f x 0,
r
6 Cambio de variable.
En I.8.15 establecimos el teorema del cambio de variable para la integral de Riemann:
E f E f | J| ,
siendo E un conjunto medible Jordan de n , de clase C 1 (con derivadas parciales
continuas) y regular (inyectiva y con jacobiano no nulo), | J| el valor absoluto del
jacobiano de y f una funcin integrable Riemann. En esta seccin, extenderemos este
teorema a la integral de Lebesgue y veremos que esta integral admite cambios de variables
ms generales.
Como es bien sabido, la nocin de diferenciabilidad de una funcin en un punto
134
requiere que dicho punto sea interior al dominio de la funcin. Para nuestro propsito, es
conveniente manejar una nocin de diferenciabilidad que extienda la usual a puntos no
interiores. Tambin es preferible usar la norma sub-infinito y los n-cubos Qa, ,
introducidos en I.8.1, en lugar de la norma euclidea y las bolas:
6.1. Sean E n , : E n y a E. Diremos que es E-diferenciable en a si
existe una aplicacin lineal L : n n tal que 0 0 tal que
x Qa, E : x a Lx a x a .
En tal caso, L se dice una E-diferencial de en el punto a. Si L viene definida por la matriz
M (esto es, Lx M x, notaremos detL al determinante de M.
Si a es interior a E, tal aplicacin L es nica, es la diferencial, y la notaremos da,
como es habitual. Su determinante detda recibe el nombre de jacobiano y lo
abreviaremos Ja. En general, si a no es interior a E, la aplicacin L anterior no tiene
porque ser nica: si E a, cualquier aplicacin lineal es una E-diferencial de en a.
Si F E y es E-diferenciable en cada punto de F, diremos que es E-diferenciable
135
x r y px r y p2l r .
Por tanto, y pertenece al n-cubo de centro x r y semiarista 2pl r . As, si T r es este
n-cubo, Q r E T r. Luego,
E r E Q r r E Q r r T r .
Y como volT r 4pl r n 2p n volQ r ,
volT r 2 n p n volQ r .
r
Q p,k
i1
ki , ki 1 ,
p
p
E p,k Q p,k E y
F p,k
x E p,k y E p,k : y x py x .
Nuestro prximo objetivo es mostrar un resultado similar para imgenes inversas. Para
ello, necesitamos ver que se puede partir E en una familia numerable de forma que la
restriccin de a cada elemento de esa familia sea un difeomorfismo; en la forma que
precisamos en la siguiente proposicin:
6.6. Proposicin: Sean E n y : E n . Supongamos que tiene en cada x E
una E-diferencial L x tal que detL x 0. Existe una particin numerable E r r1,2, de E
tal que si r es la restriccin de a E r y H r E r , entonces
a) r : E r H r es biyectiva.
1
1
b) Dado y H r , si 1
r y x, entonces L x es una H r -diferencial de r en y.
c) Si E es medible, los E r y los H r tambin lo son.
Demostracin: Sea x E. Como L x es una E-diferencial de en x, para
1
2L 1
x , existe x 0 tal que x Qx, x E :
x x L x x x
1
x x
2L 1
x
x E p,k x E p,k : x x px x .
1
Es E p,k F p,k . En efecto: dado x E, sea p max 1
x , 2L x , p . Para este p,
como la familia Q p,k k n es una particin de n , existe k n tal que x Q p,k . Luego,
x E p,k . Si x E p,k , entonces, como ambos x, x Q p,k , x x 1
p x . Luego,
x Qx, x E y, en consecuencia,
137
x x 2L 1
x x x px x .
Por tanto, x F p,k ; lo que demuestra E p,k F p,k . Como la familia F p,k p,k es
numerable, la enumeramos F r r1,2, . Ponemos E 1 F 1 y, para r 1,
E r F r F 1 F r1 .
Claramente, la familia E r r1,2, es disjunta. Tambin E r E r : dado x E, como
E r F r , existe r 0 minr x F r . Luego, x E r 0 . As, eliminando los E r vacos,
tenemos una particin de E. Veamos que esta particin cumple a), b) y c) del enunciado.
Fijemos un ndice r tal que E r y supongamos que F r F p,k .
a) Sean x, x E r . Entonces x, x F p,k . Como x F p,k ,
x x px x .
Luego, si x x, entonces x x. Esto es, es inyectiva en E r y se tiene a).
b) Sean y H r y x 1
r y; de modo que x E r y x y. Sea 0. Como L x es
una E-diferencial de en x, existe 0 tal que x Qx, E :
x x L x x x
x x .
pL 1
x
Sea y Qy, p H r y x 1
r y; de modo que x E r y x y. Como ambos
x, x E r ,
x x px x py y .
Entonces,
1
1
1
1
r y r y L x y y x x L x x x
1
L 1
x L x x x x x L x L x x x x x
x x p x x y y .
L 1
x
pL 1
x
x E p,k x x px x .
xE p,k
0.
Tambin
m
F
0,
ya
que la unin numerable de
r
r
conjuntos de medida nula tiene medida nula.
b) Si E es medible, por 6.6.c), H r es medible. As, F r es la interseccin de dos
conjuntos medibles y, en consecuencia, es medible. Por 6.5.b), 1
r F r es medible. Luego,
tambin 1 F es medible.
mE inf mA A es abierto y A E
|detM|mE.
Como 1 x a 1, L 1 x a K. Y
1 x a Lx a 1 x a .
Luego, x a G. De este modo, Qa, E est contenido en a G,
que es la imagen de G de la aplicacin afn x a x. Como el determinante de
esta afinidad es n , aplicando 6.8:
mB a, E mG n mG n 2 n |detL|
|detL| mQa, .
Ello prueba el lema.
6.10. Proposicin: Sean E n , : E n y t 0, . Supongamos que tiene
en cada x E una E-diferencial L x tal que |detL x | t. Entonces la medida exterior
mE tmE.
(Si t 0 y mE , es 0 0, como venimos conviniendo desde II.1.15)
Demostracin: Supongamos primero que mE . Sea 0. Por 1.9, existe un
abierto A E tal que mA mE . Por el lema previo, para cada x E existe
x 0 tal que 0, x
mQa, E |detL x | mQx, t mQx, .
Como A es abierto, reduciendo x , podemos suponer Qa, x A. Consideramos la
familia de n-cubos
140
Qx, x E, 0 x .
Es un recubrimiento de E que cumple la hiptesis del lema de Vitali (vase 5.3 y 5.4.b)). En
virtud de este lema, existe una subfamilia numerable y disjunta Q r r1,2, tal que si
B r Q r , es mE B 0. Por 6.5.a), tambin mE B 0. Entonces, usando la
-subaditividad de la medida de Lebesgue,
mE mE B E B mE B mE B
mE B m r E Q r r mE Q r
r t mQ r t m r Q r t mB.
Como B A, mB mA mE y resulta
mE t mB t mE .
Al ser as 0, mE tmE.
Supongamos ahora mE . Si t 0, la desigualdad del lema es clara. Si t 0,
consideramos para cada p , el conjunto E p x E x p. Como cada E p est
acotado, tiene medida finita y verifica el lema. Luego, mE p 0. Al ser
E p E p , tambin mE 0.
Una consecuencia directa de la proposicin anterior es el siguiente teorema:
6.11. Teorema de Sard: Sean un abierto de n y : n . Pongamos
0
x es diferenciable en x y Jx 0 .
Entonces m 0 0.
Demostracin: Basta aplicar 6.10 con t 0.
mE mH r .
r
1
1
Por 6.6.b), si y H r y x 1
r y, L x es una H r -diferencial de r en y. Como
141
1
t 1 ,
|detL 1
x | |detL x |
1
1
por 6.10, m 1
r H r t mH r . Ahora bien, r H r E r , luego,
mE mE r t 1 mH r t 1 mE.
r
Las desigualdades de 6.10 y 6.12 sirven para demostrar este otro resultado,
fundamental para obtener el teorema del cambio de variable:
6.13. Proposicin: Sean un abierto de n y : n diferenciable en un
conjunto medible E .
a) La aplicacin x E Jx es medible.
b) mE | J| dm.
E
c) Si es inyectiva en E, mE | J| dm.
E
i
es medible en E. Como J
x j
es suma de productos de derivadas parciales, tambin es medible.
i
Dado x E, como es diferenciable en x, existe
x y
x j
Demostracin: a) Veamos que cada derivada parcial
i
x lim r i x 1r e j i x,
r
x j
siendo e j el j-simo vector de la base cannica. Al ser es diferenciable en E, es continua.
i
Tambin lo es la componente i . Por tanto, medible. De este modo,
es el lmite
x j
puntual de la sucesin de funciones medibles g r r , g r : E :
g r x
Por II.1.10,
r i x 1r e j i x
0
si x 1r e j
en otro caso.
i
es medible.
x j
E | J| dm mE r .
r
Luego,
142
mE
mE r E | J| dm mE r E | J| dm mE.
r
E | J| dm rmE r r 1mE r mE r mE r mE r .
r
E | J| dm E | J| dm mE r mE r mE mE.
r
mD r D | J| dm E | J| dm.
r
1 | J| dm 1 |2x| dx 2,
pero m1, 1 m0, 1 1.
He aqu ya el prometido teorema:
6.14. Teorema del cambio de variable: Sean un abierto de n y : n
diferenciable e inyectiva en un conjunto medible E . Sea tambin f : E
medible y no negativa o integrable Lebesgue. Entonces, f | J| : E es medible y
no negativa o integrable Lebesgue, respectivamente, y
E f dm E f | J| dm.
(Ntese que, por 6.5.b), E es un conjunto medible).
Demostracin: Supongamos primero que x E Jx 0. En este caso,
obtendremos el teorema aplicando la proposicin II.4.14. Consideramos los espacios
medibles E, E y E, E , siendo E y E las -lgebras formadas por los
conjuntos medibles Lebesgue contenidos en E y E, respectivamente. Por 6.7.b),
: E E es medible (vase la definicion II.4.13). Tambin es medible | J|, por
6.13.a). Consideremos la aplicacin : E 0, ,
143
F | J| dm
E g d E g| J| dm.
(si g es integrable Lebesgue, la igualdad se obtiene descomponiendo g g g , donde g
y g son, respectivamente, la parte positiva y la parte negativa de g introducidas en II.1.11).
Sea ahora : E 0, la imagen de mediante : si H E
H 1 H
1 H
| J| dm.
Por 6.13.c),
1 H
| J| dm m 1 H mH.
E f dm E f d E f d E f | J| dm.
Si el jacobiano de se anula en algn punto de E, sean E 0 x E Jx 0 y
E E E 0 , que son conjuntos medibles. Ya hemos probado el teorema para E. Luego,
f es medible en E y
E f dm E f | J| dm.
Por un lado,
f dm
E F E E d E d E 1 E 1 Y.
Por i), mE E d 0; por el teorema de Sard (6.11), mE d E 1 0; y, por 6.5.a),
mE 1 F 0. Por tanto, tambin mE F 0. Ello implica que, dada
f : E (medible y no negativa o integrable Lebesgue),
E f dm F f dm.
Como el teorema de cambio de variable es aplicable sobre F (ya que es diferenciable e
inyectiva en dicho conjunto), entonces, f | J| es medible en F y
F f dm F f | J| dm.
Como mE 1 F 0 y J es nulo en E d E 1 , f | J| es medible en E d (vase II.1.23) y
su integral sobre E d coincide con la integral sobre F. Luego, podemos cambiar en la
segunda integral de la igualdad anterior F por E d y la igualdad se mantiene. Y tambin E d
por E, de acuerdo con II.4.9.b). Por tanto,
E f dm F f dm F f | J| dm E f | J| dm.
6.16. Ejemplo: Una integral que aparece con frecuencia es e x dx. Para calcularla,
2 2
hallamos primero la integral doble 2 e x y dxdy haciendo uso del cambio a coordenadas
polares : 2 2 ,
2
, cos , sen
Claramente, es diferenciable. Su jacobiano J, . Es fcil comprobar que 2 es la
imagen de E 0, 0, 2 y que es inyectiva en 0, 0, 2; esto es en casi todo
punto de E. Por tanto, podemos aplicar el teorema del cambio de variable:
e x
2 y 2
dxdy
E e dd.
2
E e dd 0 0
2
Por tanto, 2 e x
e x
2 y 2
2 y 2
e d d 2 e d 2 1 e
2
0
2
dxdy
e x y
2
e x e y
dy dx
dy dx
Luego,
e x dx
2
e x
2 y 2
145
dxdy
1
2
e x dx
2
7 Medida de Lebesgue-Stieljes
En la recta real, la medida de Lebesgue es un caso particular de la medida de
Lebesgue-Stieljes. Esta otra medida, de inters en diferentes campos de la Matemtica y la
Fsica, es tambin una medida de Borel. En consecuencia, puede ser construida a partir de
una aplicacin : 0, aditiva y -subaditiva, siendo ahora el semianillo formado
por los intervalos semiabiertos de y el vaco:
a, b a, b y a b
0.
Nota: Puede probarse que las funciones montonas son continuas en todos los puntos
excepto en una cantidad numerable (vase 8.2 ms adelante). En estos puntos, se exige que f
sea continua a la derecha.
7.1. Proposicin: La anterior aplicacin es aditiva y -subaditiva.
Demostracin: Es aditiva: Sean I, I 1 , I m , tales que I es unin disjunta de los I r .
m
Entonces r1 I r I.
En efecto: Si I , entonces tambin todos los I r son vacos y, como 0, la
igualdad anterior es trivial. Luego, supongamos I . Tambin podemos suponer que
todos los I r son no vacos (en otro caso, si alguno de ellos es el vaco, lo suprimimos).
Pongamos I a, b, con a b, y cada I r a r , b r , con a r b r . Supongamos tambin
los I r ordenados de modo que a r a r1 . Entonces, como los I r son disjuntos y su unin es
I, debe ser
a a 1 b 1 a 2 b 2 b m1 a m b m b.
Luego,
m
r1
r1
I r f b r f a r f b m f a 1 f b f a I.
Una vez visto que es aditiva, para probar la -subaditividad, podemos usar 1.8 y
comprobar que es regular: dado I ,
I inf J J e I J
sup J J y J I ,
Seguidamente comprobamos que, en la recta real, toda medida de Borel es una medida
de Lebesgue-Stieljes:
7.5. Proposicin: Sea : B 0, una medida de Borel y f : ,
f x
0, x
si x 0
x, 0
si x 0.
147
1
m
1
m
1
m
, por II.1.18.g),
lim
f b
m
1
m
f a.
V f I sup | f x i f x i1 | m , x i I y x 0 x 1 x m
i1
x I :
| f x f a| V f I | f x| | f a| V f I.
Pero no toda funcin acotada es de variacin acotada. Por ejemplo: Sea f : 0, 1 ,
f x cos . Dado m , para i 1, 2, , m, consideramos x i 1 0, 1. Es
i
2x
m
m
m
i 1
cos
| 1 m 1,
| f x i f x i1 | | cos i
2
2
i2
i2
i2
por lo que V f I . Sin embargo, f est acotada.
b) Claramente, si J es un subintervalo de I, V f J V f I.
c) V f I sup V f a, b a, b I y a b .
En efecto: Sea este supremo. Por b), V f I. Dados x 0 x 1 x m puntos de I,
la suma
m
| f x i f x i1 | V f x 0 , x m .
i1
i1
i1
| f x i f x i1 | f x i f x i1 f x m f x 0 .
Luego, V f I .
b) Sean a b los extremos de I. Que f satisface la condicin de Lipschitz en I significa
que M 0 tal que x, y I | f x f y| M| x y|. Dados x 0 x 1 x m en I,
m
i1
i1
|f x i f x i1 | Mx i x i1 Mx m x 0 Mb a.
Luego, V f I Mb a.
|f x gx f y gy| | f x f y| | gx gy|.
b) Pongamos A sup xI | f x| y B sup xI | gx|. Para x, y I,
S | f x i f x i1 |.
i1
i1
i1
ir1
S | f x i f x i1 | | f x i f x i1 | | f x i f x i1 | V f J V f K.
Al ser as para cualquier suma como S, V f I V f J V f K.
Veamos la otra desigualdad. Si V f J o V f K , tambin V f I , ya que
J, K I. Supongamos entonces que V f J y V f K son finitos. Sea 0. Consideramos
x 0 x 1 x m en J e y 0 y 1 y p en K tales que
150
V f J | f x i f x i1 |
2
i1
V f K | f y j f y j1 |.
2
j1
Entonces, como x 0 x 1 x m y 0 y 1 y p I,
m
i1
j1
V f I | f x i f x i1 | | f y 0 f x m | | f y j f y j1 |
V f J V f K .
Al ser as para todo 0, V f I V f J V f K.
S | f x i f x i1 |.
i1
V f x, x | f y i f y i1 | .
2
i1
Entonces, usando b),
V f y 1 V f x V f y m V f x V f y m V f y 1 V f x, y m V f y 1 , y m
m
| f y i f y i1 | V f y 1 , y m
2
i1
m
| f y 1 f x| | f y i f y i1 | V f y 1 , y m
2
i2
m
| f y i f y i1 | V f y 1 , y m ,
2 i2
2
m
| f y f x| V f x, y V f y V f x ,
lo que prueba que f es continua por la derecha en x.
La continuidad por la izquierda se demuestra de forma similar.
d) Sea g V f f. Si x y son dos puntos de I, por b),
gy gx V f y V f x f y f x V f x, y f y f x.
Como V f x, y | f y f x|, gy gx 0. Ello muestra que g es creciente. Est
acotada porque V f y f lo estn.
7.14. Corolario: Una funcin f : I es de variacin acotada si y slo si es
diferencia de dos funciones crecientes y acotadas. Adems, en tal caso, si f es continua a la
derecha (o izquierda) en I, tales funciones montonas pueden suponerse tambin continuas
a la derecha (o izquierda).
Demostracin: Si f es diferencia de dos funciones crecientes y acotadas, entonces es de
variacin acotada, por 7.8.a) y 7.10. Recprocamente, si f es de variacin acotada, las
funciones V f y U V f f son crecientes y acotadas, por la proposicin previa. Y
f V f U. Adems, si f es continua a la derecha (o izquierda), V f y U tambin lo son, de
nuevo por la proposicin previa.
152
f x
0, x
si x 0
x, 0
si x 0.
153
1 2 .
i1
i1
| f x i f x i1 | |x i1 , x i | ||a, b.
Por tanto, V f a, b ||a, b. Luego, usando 7.13.b),
a, b V f b V f a V f a, b ||a, b.
En consecuencia, a b a, b ||a, b, lo que implica que ||, por el
corolario previo.
Si ||, entonces 1 2 y, en consecuencia, 1 2 0.
Como 1 y 2 , tiene que ser 1 y 2 .
f y r f x
E r
lim
D 1 x.
r mE
yr x
r
f x f x f y f y .
155
8.2.2:
8.3.1.
|s|.
sx,yS
m1
i1
i1
i1
|s|.
sx,yS
V x, y |z 0 x| |s i z i1 | |z i s i | |y z m |
i1
|x| |y| 2 |s i |.
i1
|s|
E 0 si E S .
sSE
E r |s|
r Er
r sSE r
|s| r E r .
sS
V y r V x
yr x
lim
r
V E r
E r
lim
0.
r
|y r x|
mE r
y r x
0, ya que |y r x| V E r . Por tanto, puesto que
yr x
estos lmites son nulos para cualquier sucesin y r que converga a x, las derivadas
V x x 0.
Tambin lim
r
a f dm f b f a,
b
siendo f dm
a
a,b
(Ntese que al ser f creciente, f x 0 en los puntos x que exista. Por tanto, su
integral tambin.)
Demostracin: Supongamos primero que f es continua a la derecha. Definiendo
f x f a si x a y f x f b si x b, extendemos f a todo sin perder ni la
monotona ni la continuidad a la derecha. Sea la medida generada por f. Por 8.1 y 5.13, f
existe en casi todo punto y f d , la derivada de Radon-Nikodym; lo que tambin
dm
prueba que f es medible. Usando II.6.11 con E a, b y f en lugar de d ,
dm
f b f a a, b s a, b
a,b
f dm,
a,b
f dm
a,b
f dm,
queda
f b f a
a f dm.
a f dm a F dm Fb Fa f b f a.
8.5. Observacin: La desigualdad en el teorema de Lebesgue puede ser estricta. Por
ejemplo, consideremos la funcin de Cantor : 0, 1 introducida en la seccin I.9.
Como veamos en I.9.5, es creciente y con derivada nula en casi todo punto de 0, 1.
1
Adems, 1 1 y 0 0. Por tanto, dm 0 1 1 0.
0
yx
yx
yx
V y V x
V y V x
.
F yxF
yx
Haciendo y x, V f x V F x V x V F x. Del mismo modo, como F f , de
nuevo por 7.10.a), V f x, y V F x, y V x, y y se sigue que V F x V f x. As,
en casi todo x , V f x V F x | f x|.
3. Supongamos que I a, b.
Definiendo f x f a si x a y f x f b si x b, extendemos f a todo sin que
vare la funcin V f en a, b. Luego, por 2, en casi todo x, V f x | f x|
4. Si I es cualquier intervalo.
I es unin numerable de intervalos del tipo a, b. Como en cada uno de ellos ya se
cumple la proposicin, en I tambin.
8.8. Corolario: Sean I un intervalo y f : I de variacin acotada. Entonces
I | f | dm V f I.
Demostracin: Si I a, b, usando la proposicin anterior y el teorema de Lebesgue:
a,b | f | dm a,b V f dm V f b V f a V f a, b.
159
f x f k x.
k1
f x f k x R m x.
k1
Como todas las f k son crecientes, tambin lo son f y las funciones R m . En consecuencia, por
8.6, las derivadas f , f k y R m existen en casi todo punto x a, b, son 0 y
m
f x f k x R m x.
k1
f k x f x.
k1
k1
k1
f x f k x lim
f x f k x
m
lim
R m x.
m
Luego, para probar el teorema, basta ver que este lmite es nulo en casi todo punto. Usando
el lema de Fatou (II.3.10) y el teorema de Lebesgue,
0
R m dm lim
R m b R m a 0,
a lim
a R m dm lim
m
m
m
b
160
a f t dt
a f x dx f b f a.
(Nota: en los extremos a y b se consideran las derivadas laterales).
En esta seccin extenderemos este teorema fundamental a las funciones integrables
Lebesgue y estudiaremos las funciones absolutamente continuas, la clase de funciones que,
como veremos, cumplen este teorema. Las definimos a continuacin:
9.1: Sea f una funcin definida en un intervalo I. Se dice que f es absolutamente
continua en I, si 0 0 tal que si a 1 , b 1 , a 2 , b 2 , , a r , b r son subintervalos
de I con interiores disjuntos,
r
i1
i1
b i a i | f b i f a i | .
a,x
x,a
a f dm.
c) Si f es continua en x, Fx f x.
(Si x es un extremo de I, Fx es la derivada lateral).
Demostracin: En primer lugar, notemos que, como f es integrable o acotada, F est
bien definida. Tambin, que si x y son puntos de I,
Fy Fx
a f dm a f dm x,y f dm.
|Fb i Fa i |
i1
a ,b
i1
f dm
a ,b | f | dm E | f | dm .
i
i1
1
mE r
f dm f x.
r
Luego,
lim
r
Fy r Fx
1
lim
yr x
r mE
r
f dm f x.
r
f dm,
x
La segunda parte del teorema fundamental requiere desarrollar antes la teora de las
162
i1
i1
b i a i | f b i f a i | 1.
Esta condicin implica que si c, d es un subintervalo de a, b tal que d c , entonces
la variacin V f c, d 1. Sean m tal que m b a y, para j 0, 1, , m,
V f a, b V f c j1 , c j m.
j1
b i a i | f b i f a i | 2 .
i1
i1
Fijemos a i , b i ri1 con tal condicin. Como f es de variacin acotada, para cada a i , b i
existe una particin
a i x i0 x i1 x im i b i
tal que
163
mi
V f a i , b i | f x ij f x i,j1 | .
2r
j1
x i,j1 , x ij 1 i r y 1 j m i
La coleccin de subintervalos
disjuntos y
mi
x ij x i,j1 b i a i .
i1 j1
i1
Luego,
r
mi
| f x ij f x i,j1 |
i1 j1
.
2
|V f b i V f a i |
i1
V f a i , b i
i1
r
i1
mi
mi
| f x ij f x i,j1 | 2r
j1
| f x ij f x i,j1 |
i1 j1
,
2
2
2
| f y f x| V f x, y V f y V f x.
9.8. Corolario: Sea f : a, b absolutamente continua. Entonces V f tambin es
absolutamente continua en a, b.
Demostracin: Es consecuencia directa de la proposicin anterior. (Ntese que, por
0, x
si x 0
x, 0
si x 0.
164
d dm,
dm
i1
i1
b i a i f b i f a i .
Por 1.9, existe un abierto A E tal que mA . Por 1.2, A es unin numerable y disjunta
r
de intervalos semiabiertos: A i1
a i , b i . Dado r , como i1
a i , b i A,
r
i1
i1
b i a i ma i , b i mA .
Luego,
Entonces
r
f b
i1 i
i1
i1
A a i , b i f b i f a i .
Luego, como E A, E A . Como es as 0, E 0.
En general, si f no es creciente, consideramos V f , la funcin variacin total de f , que
es creciente. Como f es de variacin acotada y absolutamente continua, tambin V f es
absolutamente continua, por 9.7. En virtud de 7.18, la medida generada por V f es ||, la
variacin total de . Luego, si mE 0, tambin ||E 0. Por II.5.10.a),
|E| ||E. Por tanto, E 0.
9.10. Observacin: Sean y f como en la proposicin anterior, ambas absolutamente
continuas. En virtud de 5.12 y 8.1, en casi todo punto x , f x d x. Luego, la
dm
expresin integral que hemos obtenido para f en la demostracin anterior queda:
f x
0 f dm.
165
f x f a f dm.
a
0 f dm 0 f dm a f dm.
x
2 1 : Se sigue de 9.3.a).
f x f a f dm f a,
a
I | f | dm V f I.
Demostracin: Supongamos que f es absolutamente continua en I. Si I a, b,
entonces, por 9.8, V f tambin es absolutamente continua en a, b. Luego, usando 8.7, 9.11
y 7.13.b),
b
a | f | dm a V f dm V f b V f a V f a, b.
Si I no es compacto, escribimos I r a r , b r , siendo a r , b r a r1 , b r1 . Como f
tambin es absolutamente continua en a r , b r , se verifica la igualdad del enunciado para
este intervalo. Entonces, usando II.3.13.e),
V f a r , b r .
I | f | dm lim
a ,b | f | dm lim
r
r
r
I | f | dm V f I x
Para
cada
x I,
sean
J | f | dm V f J x .
x
Jx
V f J x | f | dm 0.
Jx
V f x | f | dm. Por 9.4, esta funcin es absolutamente continua en I. Entonces, por 9.7,
Ix
tambin lo es f.
i1
i1
d i c i | f d i f c i | .
Por 1.9, existe un abierto A E tal que mA . Si A I, lo sustituimos por el abierto
A I, que tambin contiene a E y tiene medida menor que . Por 1.3, A es unin numerable
167
f a i , b i f c i , f d i , con c i , d i a i , b i .
Pongamos J i c i , d i si c i d i , J i d i , c i si c i d i . Puesto que J i a i , b i , los
r
interiores de los J i tambin son disjuntos. Dado r , como i1
J i A,
r
i1
i1
mJ i m J i mA .
i1
i1
mf A m i1
f a i , b i mf a i , b i f d i f c i .
| f u f v|
u | f | dm.
u | f | dm.
168
| f u f v| mf u, v
u | f | dm.
f x f a f dm.
a
He aqu la segunda parte del teorema fundamental del Clculo para la integral de
Lebesgue:
9.18. Proposicin: Sea f : a, b , continua en a, b y derivable en a, b. Si f es
integrable Lebesgue en a, b, entonces
b
a f dm f b f a.
Demostracin: Si f es derivable en todo a, b, el conjunto N del teorema de
Banach-Zarecki es vaco. Luego, trivialmente, mN mf N 0 y la proposicin se
sigue del corolario previo, tomando x b.
Naturalmente, puede ocurrir que f sea derivable en todo a, b y que f no sea integrable
en a, b. He aqu un ejemplo:
9.19. Ejemplo: Sea f : , f 0 0 y, si x 0,
f x x 2 sen 2 .
2x
Es fcil comprobar que f es derivable en todo . Si embargo, f no es integrable en 0, 1. Si
lo fuera, por el teorema de Banach-Zarecki, f sera absolutamente continua en 0, 1 y, en
consecuencia, de variacin acotada. Pero f no es de variacin acotada en 0, 1. En efecto:
Para cada k , sea x k 1 . Entonces x k 0, 1 y
k
169
f x k 1 sen k
2
k
si k es par
1
k
si k es impar.
| f x k f x k1 | | f x 1 | 2| f x 3 | 2| f x 5 | 2| f x p2 | | f x p |
k1
1 2 2 2 1
p
5
p2
3
.
p
a f g dm f bgb f aga a f g dm
Demostracin: En primer lugar, el producto f g es absolutamente continuo en a, b. En
efecto: como f y g son continuas en este intervalo, estn acotadas. Luego, existe M 0 tal
que x a, b | f x| M y |gx| M. Ahora, dado 0, como f y g son absolutamente
continuas en a, b, existe 0 tal que si a i , b i ri1 son subintervalos de a, b con
r
interiores disjuntos y i1 b i a i ,
r
| f b i f a i | 2M
i1
.
|gb i g a i | 2M
i1
Entonces
r
| f b i gb i f a i ga i | | f b i gb i f a i gb i f a i gb i f a i ga i |
i1
i1
| f b i f a i ||gb i | | f a i ||gb i g a i |
i1
M | f b i f a i | M |gb i g a i | M M .
2M
2M
i1
i1
Por tanto, f g es absolutamente continua en a, b.
Por 9.11, f g existe en casi todo a, b, es integrable y
b
a f g dm f bgb f aga.
Como f y g tambin existen en casi todo a, b, f g f g f g. Estas funciones f g y f g
son integrables en a, b porque las derivadas f y g lo son y f y g estn acotadas. Entonces,
por II.4.8,
170
f bgb f aga
y se tiene la proposicin.
a f g dm a f g dm a f g dm
ga f dm a f gg dm.
Adems, f gg es integrable en a, b si f est acotada o g es montona.
Demostracin: Notemos que, como g es continua, I es un intervalo cerrado y acotado.
Consideramos F : I ,
Fy
ga f dm.
x a, b gx ,
D 1 x D gx 0,
S D 1 g 1 N.
Como g es absolutamente continua, a, b D tiene medida nula. Aplicando 6.7.a) a la
restriccion de g a D 1 , obtenemos que tambin S tiene medida nula. Si x D 1 S, entonces
g es derivable en x y, como gx N, F es derivable en gx y Fgx f gx. Por
tanto, por la regla de la cadena, x D 1 S
F gx f gxgx.
Supongamos que f est acotada en I. Entonces, la iguadad anterior tambin es cierta si
gx 0. En efecto, si h es tal que x h a, b, considerando una cota superior C de | f |
en I,
F gx h F gx
h
1 gxh f dm 1 gxh| f | dm
h gx
|h| gx
|gx h gx|
0.
C
|h|
h0
gb
a f gg dm F gb F ga ga f dm.
Si f no est acotada, consideramos para cada r , f r : I
f r x
f x
si | f x| n
si | f x| n
ga f r dm a f r gg dm.
Por un lado, el lmite puntual de la sucesin f r es f y | f r | | f |; por otro, el lmite (en casi
todo punto) de f r gg es f gg y | f r gg| |f gg|. Como mbas, f y f gg
son integrables, aplicando dos veces el teorema de la convergencia dominada (II.4.10):
gb
gb
ga f dm lim
ga f r dm lim
a f r gg dm a f gg dm.
r
r
Queda por probar que si g es montona, f gg es integrable en a, b. Esto se sigue
del teorema del cambio de variable (6.14) y la proposicin 6.15. En efecto, si D y D 1 son
como antes, entonces, por un lado, a, b D y ga, b D tienen medida nula (porque g
es absolutamente continua). Por otro, g es inyectiva en D 1 : si x y son dos puntos de D 1
tales que gx gy entonces, como g es montona, es constante en el intervalo x, y; lo
que implica gx 0, que contradice x D 1 . As, por 6.15, es aplicable el teorema de
cambio de variable en a, b. Por este teorema, f g|g| es integrable en a, b. Tambin
f gg.
9.22. Observacin: Con las notaciones de la proposicin previa y su demostracin,
f gg es integrable en a, b si y slo si F g es absolutamente continua en a, b.
En efecto, si f gg es integrable en a, b, entonces, por la regla de sustitucin,
x a, b
Fgx
gx
ga f dm a f gg dm.
172
integrable en a, b.
1 .
2 y
Es integrable y su primitiva F : 0, c ,
Fy
1 dt
2 t
y.
La composicin
F gx x sen 1x
no es absolutamente continua en 0, 1 porque no es de variacin acotada (esto se demuestra
como en el ejemplo 9.19). Luego, en virtud de la observacin anterior, f gg no es
integrable en 0, 1.
173