Integracion (Alumnos) Web PDF

INTEGRACI
ON M
ULTIPLE
Jose Julian Toledo Melero
Universitat de Val`encia
Departamento de Analisis Matem atico
Indice general
Tema 1. Conjuntos nulos 1
1.1. Medida de un intervalo 1
1.2. Conjuntos nulos 1
1.3. Ejercicios 7
Tema 2. Funciones superiores 9
2.1. Integral de funciones escalonadas 9
2.2. Integral de funciones superiores 15
2.3. Teorema de la convergencia mon otona I 21
2.4. Ejercicios 22
Tema 3. Funciones integrables Lebesgue 23
3.1. Funciones integrables Lebesgue en R
N
23
3.2. Integral de Lebesgue en un intervalo 25
3.3. Sobre la relaci on con la integral de Riemann 26
3.4. Ejercicios 35
Tema 4. Teoremas de convergencia 37
4.1. Teorema de la convergencia mon otona II 37
4.1.1. Integral impropia de Riemann revisitada 39
4.2. Teorema de la convergencia dominada 40
4.2.1. Teorema de la convergencia acotada 42
4.3. Lema de Fatou 43
4.4. Ejercicios 44
Tema 5. Funciones medibles I 45
5.1. Funciones medibles 45
5.2. Ejercicios 47
Tema 6. Teorema de Fubini. Teorema de Tonelli-Hobson 49
6.1. Teorema de Fubini 49
6.2. Teorema de Tonelli-Hobson 53
6.3. Ejercicios 54
Tema 7. Conjuntos medibles 55
7.1. Conjuntos medibles 55
7.2. Funciones medibles II 59
7.3. Principio de Cavalieri 60
7.4. Ejercicios 60
i
ii

Indice general
Tema 8. Cambio de variables 61
8.1. El Teorema de cambio de variable 61
8.1.1. Cambio de variable afn 62
8.2. Ejemplos notables de cambios de variable 63
8.2.1. Rotaciones 64
8.2.2. Cambio de coordenadas polares 64
8.2.3. Cambios de coordenadas cilndricas y esfericas 65
8.3. Ejercicios 67
Bibliografa 69
TEMA 1
Conjuntos nulos
1.1. Medida de un intervalo
Denici on 1.1.1. Sean I
i
, i = 1, . . . , N intervalos de R, al conjunto
I = I
1
I
N
se le llama intervalo en R
N
. Se dice que es abierto (cerrado) si todos los I
i
son
abiertos (cerrados) sii es un conjunto abierto (cerrado). I es acotado sii todos los
I
i
son acotados. I se dice degenerado si al menos uno de los I
i
lo es. Se dene su
longitud o medida como:
[I[ := long(I
1
) long(I
N
),
donde long(I
i
) = b
i
a
i
si I
i
es un intervalo de extremos a
i
b
i
. La longitud de un
intervalo es cero si el intervalo es degenerado, y es +si el intervalo es no degenerado
y no acotado. Es evidente que si I, J son intervalos con I J entonces [I[ [J[.
Si a
i
< es uno de los extremos del intervalo I
i
, al conjunto de R
N
descrito
por x
i
= a
i
(x = (x
1
, x
2
, . . . , x
N
) representa un punto de R
N
), se le llama hiperplano
(N1)-dimensional (o hiperplano) acotante de I (es un plano si estamos en dimensi on
3, es una recta si estamos en dimension 2, un punto en dimension 1); si este plano
interesecta con I, es una cara de I. Si dos hiperplanos acotantes de I se cruzan
(N 2), forman un hiperplano (N 2)dimensional acotante de I (si intersecta con
I, es una arista si estamos en dimension 3, un vertice si estamos en dimensi on 2), ...
1.2. Conjuntos nulos
Denici on 1.2.1 (Conjunto nulo). Un conjunto S R
N
se dice nulo si se puede
recubrir por una sucesion de intervalos abiertos cuya longitud total (formalmente
hablando) es arbitrariamente peque na, es decir, si dado > 0 cualquiera, existe
I
n
nN
, I
n
intervalos abiertos, tal que
S
_
n=1
I
n
y
n=1
[I
n
[ .
Obviamente los intervalos ser an acotados.
Ejemplo 1.2.2. El conjunto formado por un punto de R es un conjunto nulo.
1
2 1. CONJUNTOS NULOS
Soluci
on. Sea x = (x
1
, . . . , x
N
) un punto cualquiera. Dado > 0, el intervalo
]x
1
, x
1
+ [ ]x
N
, x
N
+ [ recubre a x, y tiene medida (2)
N
(que es
menor que si este es sucientemente peque no).
Con esa demostraci on basta ya que la suma de las medidas de la siguiente sucesion
de intervalos abiertos es menor que :
I
n
=] /2
n+1
, /2
n+1
[]0, 1[
N1
.
Observar que con esta sucesi on estamos probando que 0]0, 1[
N1
es nulo.
Es por tanto evidente que si dado > 0 cualquiera, existe I
n
m
n=1
(1 m ),
I
n
intervalos abiertos, tal que
S
m
_
n=1
I
n
y
m
n=1
[I
n
[ ,
entonces S es nulo.
Ejemplo 1.2.3. 1. Si I
n
m
n=1
, I
n
intervalos abiertos, es un recubrimento de [0, 1]
entonces
m
n=1
[I
i
[ > 1.
2. [0, 1] no es nulo.
Prueba. Empecemos con 2. Si [0, 1] fuese nulo existira I
n
nN
, I
n
intervalos
abiertos, tal que
[0, 1]
_
n=1
I
n
y
n=1
[I
n
[
1
2
.
Ahora, por ser [0, 1] compacto, existe un subrecubrimiento nito,
[0, 1]
m
_
n=1
I
n
.
Y por tanto, por 1.,
1
2

n=1
[I
n
[
m
n=1
[I
n
[ 1,
que es contradictorio.
Probemos ahora 1. Sea cada I
n
=]a
n
, b
n
[, y supongamos que hemos quitado los
intervalos que est an dentro de otros. Podemos reordenarlos de manera que
a
1
< a
2
< . . . < a
m
1. CONJUNTOS NULOS 3
si hay mas de uno, si hay solo uno ya hemos terminado ([0, 1] ]a
1
, b
1
[ luego 1 <
[]b
1
a
1
[[).
Tambien podemos suponer que 0 ]a
1
, b
1
[ ya que si no podemos quitar dicho in-
tervalo y lo que queda sigue siendo recubrimiento, y similarmente podemos suponer
que 1 ]a
m
, b
m
[. Suponiendo de nuevo que tenemos m as de un intervalo en el recubri-
miento (si no ya hemos terminado), es evidente ahora que b
i
a
i+1
si 1 i m1.
As,
J
1
:= [a
1
, a
2
] [a
1
, b
1
],
J
2
:= [a
2
, a
3
] [a
2
, b
2
]
J
3
:= [a
3
, a
4
] [a
3
, b
3
]
. . .
J
m
:= [a
m
, 1] [a
m
, b
m
]
Y por tanto
1 < 1 a
1
= (a
2
a
1
) + (a
3
a
2
) + + (1 a
m
) =
m
n=1
[J
j
[
m
n=1
[I
n
[.
Proposicion 1.2.4 (Propiedades).
1. Si A es nulo y B A entonces B es nulo.
2. La union numerable de nulos es un conjunto nulo.
3. Un conjunto numerable es nulo (por ejemplo Q).
Demostraci
on. La propiedad 1. es evidente. Por otra parte la 3. se deduce de

la 2. ya que un punto forma un conjunto nulo. Por otra parte la prueba de 2. es la
siguiente: Sea S
k
una sucesi on de conjuntos nulos y S =
k
S
k
. Sea > 0 jo. Para
cada k N, S
k
es nulo, luego existe I
k,j
j
una sucesion de intervalos tal que
S
k

_
j
I
k,j
con
j
[I
k,j
[

2
k
.
Sea A
n
:= I
k,j
: k +j = n, n = 2, 3, . . . . Entonces
S
_
_
IA
2
I
_
_
_
_
IA
3
I
_
_
_
_
IA
4
I
_
_
...,
(est a recubierto por tanto por una cantidad numerable de intervalos abiertos) y se
tiene que, para todo l 2,
l
n=2
IA
n
[I[
l
n=2
k+j=n
[I
k,j
[
l1
k=1
l1
j=1
[I
k,j
[
l1
k=1
2
k
,
de donde se deduce que S es nulo.
Ejemplo 1.2.5. El conjunto ternario de Cantor es un conjunto nulo, no numera-
ble, en R.
Este conjunto se forma del siguiente modo. Tomemos el intervalo
I
0
= [0, 1].
Y formemos el conjunto siguiente, dividimos en tres intervalos iguales el intervalo
anterior, el de en medio abierto, y lo quitamos:
I
1
:=
_
0,
1
3
_
_
2
3
, 1
_
=
_
0,
1
3
_
0
_
2
3
,
3
3
_
2
,
y procedemos de la misma forma con cada uno de los intervalos que queda, formando
as
I
2
:=
_
0,
1
3
2
_
_
2
3
2
,
3
3
2
_

_
6
3
2
,
7
3
2
_
_
8
3
2
, 1
_
,
es decir,
I
2
:=
_
0,
1
3
2
_
0
_
2
3
2
,
3
3
2
_
2
_
2
3
,
2
3
+
1
3
2
_
0
_
2
3
+
2
3
2
,
2
3
+
3
3
2
_
2
.
Procediendo as obtenemos
C =
i=0
I
i
que se conoce como conjunto ternario de Cantor.
Observar que cada I
i
est a formado por 2
i
intervalos, cada uno de ellos de longi-
tud
1
3
i
; con lo que la suma de las medidas de los intervalos que forman I
i
es
2
i
3
i
,
cantidad que converge a 0 cuando i +. Por tanto C, que esta contenido en cada
I
i
, es nulo.
Prueba de no numerabilidad: los elementos del conjunto de Cantor se pueden
escribir con una expansi on ternaria
i=1
a
i
3
i
= 0, a
1
a
2
a
3

3
, con a
i
0, 1, 2 1,
(y viceversa); a
1
es 0 o 2 seg un en que intervalo de I
1
cae, y en la descripci on dada
de I
1
, con j est a indicado cu al es dicho valor, lo mismo para a
2
en relaci on a I
2
, ...
Observar que
si
n
i=1
a
i
3
i
0.a
1
a
2
. . . a
n
a
n+1
. . .
3
<
n
i=1
a
i
3
i
+
1
3
n+1
entonces a
n+1
= 0,
y si 0.a
1
a
2
. . . a
n
a
n+1
. . .
3
=
n
i=1
a
i
3
i
+
1
3
n+1
,
0.a
1
a
2
. . . a
n
a
n+1
. . .
3
= 0.a
1
a
2
. . . a
n
1
3
= 0.a
1
a
2
. . . a
n
0
2
3
,
luego tambien a
n+1
= 0;
si
n
i=1
a
i
3
i
+
2
3
n+1
0.a
1
a
2
. . . a
n
a
n+1
. . .
3
<
n
i=1
a
i
3
i
+
3
3
n+1
entonces a
n+1
= 2,
y si 0.a
1
a
2
. . . a
n
a
n+1
. . .
3
=
n
i=1
a
i
3
i
+
3
3
n+1
=
n
i=1
a
i
3
i
+
i=n+1
2
3
i
,
0.a
1
a
2
. . . a
n
. . .
3
= 0.a
1
a
2
. . . a
n
2
3
,
luego tambien a
n+1
= 2;
por ejemplo,
1
3
=
3
3
2
= 0,1
3
= 0,0
2
3
, tambien 1 = 0.
2
3
. Y usando esto se ve que C no
es numerable: basta cambiar en la representaci on
0, a
1
a
2
a
3

3
, a
i
0, 2,
de los elementos de C, los doses por unos y obtenemos todas las representaciones
binarias de los elementos de [0, 1] (observar que incluso, por ejemplo, los n umeros
binarios 0, 10
1
2
y 0, 11
2
, que tienen el mismo valor, vienen de n umeros ternarios con
distinto valor, 0, 20
2
3
y 0, 22
3
respectivamente).
Por otra parte podemos dar esta prueba alternativa. Supongamos que C es nu-
merable, y sea x
n
n
una sucesion con sus elementos,
x
n
= 0, a
n,1
a
n,2
a
n,3

3
, a
n,i
0, 2.
Sea ahora el siguiente n umero ternario del conjunto de Cantor,
x = 0, a
1
a
2
a
3

3
,
donde a
n
= 2 si a
n,n
= 0, a
n
= 0 si a
n,n
= 2. Se tiene que x no es ninguno de los x
n
(por que?), lo cual es una contradicci on.
Ejercicio 1.2.6. Los hiperplanos son conjuntos nulos.
Nota 1.2.7.
1. Un intervalo I es degenerado sii es nulo.
2. En la denicion de conjunto nulo podemos quitar la exigencia de que los inter-
valos que recubran al conjunto sean abiertos.
Proposicion 1.2.8. Sea I un intervalo de R
N
y f : I R continua, entonces
su graca es un conjunto nulo en R
N+1
. Lo mismo pasa con la graca de f si va a
parar a R
M
Demostraci
on. Podemos suponer sin perdida de generalidad que I es compacto

I = [a
1
, b
1
] [a
N
, b
N
]
(ya que todo intervalo se puede escribir como una union numerable de intervalos
compactos). As pues tenemos una funci on continua sobre un compacto, luego es
uniformemente continua. Sea > 0 jo. Por la continuidad uniforme de f, existe
> 0 tal que
|x y| , x, y I [f(x) f(y)[ < .
Sea m N tal que
Dividamos cada intervalo [a
i
, b
i
] en m partes iguales y formemos una divisi on de
I en m
N
intervalos compactos formados por dichas particiones:
I =
m
N
_
j=1
I
j
, I
j
= [ a
1
j
,
b
1
j
] [ a
N
j
,
b
N
j
],
con

b
i
j
a
i
j
=
b
i
a
i
m
para todo i, j.
Sea ahora
S
j
:= [ a
1
j
,
b
1
j
] [ a
N
j
,
b
N
j
] [f( a
1
j
, . . . , a
N
j
) , f( a
1
j
, . . . , a
N
j
) +], j = 1, . . . m
N
.
Se tiene que G(f)

m
N
j=1
S
j
para m sucientemente grande: sea (x, f(x)), x I,
entonces x I
j
para alg un j, luego,
|x ( a
1
j
, . . . , a
N
j
)| |(
b
1
j
, . . . ,
b
N
j
) ( a
1
j
, . . . , a
N
j
)| =
_
N
i=1
(b
i
a
i
)
2
_
1/2
m
,
si m es sucientemente grande, y por tanto
[f(x) f( a
1
j
, . . . , a
N
j
)[ < .
Veamos ahora cu anto suma
m
N
j=1
[S
j
[:
m
N
j=1
[S
j
[ =
m
N
j=1
b
1
a
1
m

b
N
a
N
m
2 = m
N
(b
1
a
1
) (b
N
a
N
)
m
N
2 =
= (b
1
a
1
) (b
N
a
N
)2.
Lo que implica que G(f) es nulo
Denici on 1.2.9 (Casi por todas partes). Diremos que una propiedad se verica
casi por todas partes (c.p.p.) si se verica en todo punto salvo los puntos de un
conjunto nulo. Tambien diremos cosas como c.p.t. x A, que quiere decir para todos
los puntos de A salvo un nulo.
Si una propiedad se cumple en todo punto podemos tambien decir que se cumple
c.p.p. (el conjunto vaco es nulo!).
Ejemplo 1.2.10 (Ejemplo 9.13). Vamos a probar que si f
1
(x) = g
1
(x) c.p.p. y
f
2
(x) = g
2
(x) c.p.p., entonces f
1
(x) +f
2
(x) = g
1
(x) +g
2
(x) c.p.p.
En efecto, como f
1
(x) = g
1
(x) c.p.p., existe A
1
conjunto nulo tal que si x / A
1
,
entonces f
1
(x) = g
1
(x). An alogamente existe un conjunto nulo A
2
tal que si x / A
2
,
entonces f
2
(x) = g
2
(x). Sea A = A
1
A
2
, que es un conjunto nulo. Si x / A, entonces
f
1
(x) = g
1
(x) y f
2
(x) = g
2
(x) con lo cual f
1
(x) + f
2
(x) = g
1
(x) + g
2
(x); es decir,
f
1
(x) +f
2
(x) = g
1
(x) +g
2
(x) c.p.p.
Ejemplo 1.2.11. La funcion caracterstica de los n umeros racionales es nula c.p.p.
Ejercicio 1.2.12.
1. Sea H = x R
N
: x
i
= a, a R, un hiperplano. Sean H
+
= x R
N
: x
i
>
a y H
+
= x R
N
: x
i
< a.
Sea I un intervalo y supongamos que H corta a I. Probar que I
+
= I H
+
,
I
= I H
e I
0
= I H son intervalos (alguno puede ser el conjunto vaco), que
I = I
+
I
0
I
(interesecci on disjunta),
y que
[I[ = [I
+
[ +[I
0
[ +[I
[,
donde la medida del conjunto vaco, si es el caso, es 0 ([[ = 0).
2. Sea I
n
m
n=1
una partici on disjunta de un intervalo acotado I generada a partir
de hiperplanos. Probar que
[I[ =
m
n=1
[I
n
[.
(Ayuda: Es f acil probarlo por inducci on sobre el numero de intervalos de la par-
tici on gracias a la parte 1.)
1.3. Ejercicios
Una lista de ejercicios se publica en la pagina web del departamento y se puede
acceder a ella en Aula Virtual.
TEMA 2
Funciones superiores
2.1. Integral de funciones escalonadas
Dado un conjunto de S R
N
, llamaremos funcion caracterstica de S a
S
(x) :=
_
1 si x S,
0 si / S.
As por ejemplo, si I es un intervalo acotado en R de extremos a b, se tiene que
la gr aca de
I
encierra un rect angulo por encima del eje OX cuya area podemos
denir como b a = [I[.
Denici on 2.1.1. Denimos la integral (en R
N
) de la funci on caracterstica de
un intervalo acotado I como
_

I
:= [I[.
Trataremos de momento con funciones reales denidas en todo R
N
.
Llamaremos funcion escalonada a una combinacion lineal de funciones carac-
tersticas de intervalos acotados:
f :=
n
i=1
a
i
I
i
,
a
i
R constantes, e I
i
intervalos acotados.
Denici on 2.1.2. Denimos la integral de la funci on escalonada
n
i=1
a
i
I
i
como
_
n
i=1
a
i
I
i
:=
n
i=1
a
i
[I
i
[ =
n
i=1
a
i
_

I
i
.
Las funciones escalonadas no tienen una unica representaci on, sin embargo, vamos
a ver que la integral denida no depende de la representaci on elegida y por tanto
est a bien dada, es consistente.
Teorema 2.1.3.
1. Cualquier funcion escalonada tiene una representacion con funciones carac-
tersticas de intervalos disjuntos dos a dos con la misma integral.
2. La denicion que hemos dado de integral de una funcion escalonada no depende
de la representacion de la funcion.
9
10 2. FUNCIONES SUPERIORES
Demostraci
on.
Para N = 2: Sea f =
n
i=1
a
i
I
i
una funcion escalonada. Escribamos
I
i
= I
1
i
I
2
i
.
Sea
C
1
= c
1
0
< c
1
1
< ... < c
1
m
1
una partici on igual o mas na que el conjunto de extremos de los intervalos I

1
i
i
, y
sea
C
2
= c
2
0
< c
2
1
< ... < c
2
m
2
una particion igual o m as na que el conjunto de extremos de los intervalos I

2
i
i
.
Tomemos el intervalo
I = [c
1
0
, c
1
m
1
] [c
2
0
, c
2
m
2
].
Y consideremos ahora la partici on disjunta de I formada por:
J
2,k
L
2
k=1
el conjunto de todos los intervalos abiertos de la forma
]c
1
i
, c
1
i+1
[]c
2
j
, c
2
j+1
[, 0 i m
1
1, 0 j m
2
1
(observar que L
2
= m
1
m
2
, pero esto no es importante);
J
0,k
L
0
k=1
el conjunto de todos los vertices (intervalos degenerados)
(c
1
i
, c
2
j
), 0 i m
1
, 0 j m
2
;
J
1,k
L
1
k=1
el conjunto de todas las aristas (intervalos degenerados)
c
1
i
]c
2
j
, c
2
j+1
[, 0 i m
1
, 0 j m
2
1,
y
]c
1
i
, c
1
i+1
[c
2
j
, 0 i m
1
1, 0 j m
2
.
Tenemos que
I =
L
2
_
k=1
J
2,k

L
0
_
k=1
J
0,k

L
1
_
k=1
J
1,k
,
y esta particion es de intervalos disjuntos dos a dos (observar que nos hemos preocu-
pado de que las aristas no contengan a los vertices).
Es facil ver que
f =
L
2
k=1
b
k
J
2,k
+
L
0
k=1
c
k
J
0,k
+
L
1
k=1
d
k
J
1,k
,
donde
b
k
=
j:J
2,k
I
j
a
j
,
c
k
=
j:J
0,k
I
j
a
j
,
2. FUNCIONES SUPERIORES 11
y
d
k
=
j:J
1,k
I
j
a
j
.
Y ademas
n
i=1
a
i
[I
i
[ =
L
2
k=1
b
k
[J
2,k
[,
pues
L
2
k=1
b
k
[J
2,k
[ =
L
2
k=1
_
_

j:J
2,k
I
j
a
j
_
_
[J
2,k
[
=
n
j=1
_
_

k:J
2,k
I
j
[J
2,k
[
_
_
a
j
=
n
j=1
[I
j
[a
j
.
Recordar que
k:J
2,k
I
j
[J
2,k
[ = [I
j
[.
Observar que
f =
L
2
k=1
b
k
J
2,k
c.p.p.
Para N cualquiera: Ejercicio.
Dadas ahora dos funciones escalonadas, f =
n
i=1
a
i
I
i
y g =
m
i=1
b
i
J
i
, por lo
hecho anteriormente podemos reescribirlas con un representaci on que use intervalos
disjuntos dos a dos, y los mismos intervalos para ambas, basta tomar las particiones
C
j
anteriores que contengan los extremos de los intervalos I
j
i
y J
j
i
, j = 1, . . . , N; sean
estos A
i
k
i=1
:
n
i=1
a
i
I
i
=
k
i=1
A
i
,
m
i=1
b
i
J
i
=
k
i=1
A
i
.
Pero ahora es facil ver que si f = g, entonces
i
=
i
para todo i; y de aqu, por lo
probado anteriormente,
n
i=1
a
i
[I
i
[ =
m
i=1
b
i
[J
i
[.
Nota 2.1.4. Observar que hemos probado que dos funciones escalonadas cuales-
quiera tienen una representaci on con funciones caractersticas de un mismo conjunto
de intervalos disjuntos dos a dos.
Teorema 2.1.5. El conjunto de funciones escalonadas forma un subespacio vec-
torial y hemos dado un concepto de integral que es trivialmente un operador lineal en
dicho espacio.
La consistencia con la idea geometrica viene dada en el siguiente resultado.
Proposicion 2.1.6. Si f y g son funciones escalonadas con f g entonces
_
f
_
g.
Demostraci
on. Es obvio para g = 0 si usamos una representaci on para f como

la dada en la prueba del Teorema 2.1.3. Por otra parte, si f g entonces f g 0
y de lo anterior y de la linealidad de la integral se concluye el caso general.
Denici on 2.1.7. Dada una funcion f, se dene f
+
= f 0, f
= (f) 0 =
(f 0). Observar que f = f
+
f
y que [f[ = f
+
+f
.
Observar que f
+
=
1
2
(f + [f[), f
=
1
2
(f [f[), m as general a un, f g =
1
2
(f +g +[f g[), f g =
1
2
(f +g [f g[).
Proposicion 2.1.8. Si f, g son escalonadas entonces tambien lo son f
+
, f
, [f[,
fg, f
2
, g
2
, y ademas,
_
f =
_
f
+
_
f
_
f
_
[f[
y
__
fg
_
2
_
f
2
_
g
2
.
Demostraci
on. Basta ver que [f[ lo es para ver que lo sean f
(tambien lo son
f g y f g). Todo se sigue de manera sencilla si suponemos que las representaciones
de f y g est an dadas por medio de intervalos disjuntos e iguales, f =
i
a
i
I
i
,
g =
i
b
i
Ii
, y por tanto:
[f[ =
i
[a
i
[
I
i
, y de [a
i
[ a
i
[a
i
[ se deduce que
_
f
_
[f[.
Por otra parte fg =
i
a
i
b
i
I
i
, y la desigualdad de Cauchy-Schwarz se deduce facil-
mente.
Teorema 2.1.9. Si f
n
es una sucesion creciente de funciones escalonadas (f
n

f
n+1
) tal que
_
f
n
es acotada (o, equivalentemente, convergente) entonces f
n
converge c.p.p., i.e., existe un conjunto nulo S tal que lm

n
f
n
(x) para todo x
R
N
S.
Si consideramos la sucesion f
n
y el conjunto S del Teorema 2.1.9, y denimos
f(x) :=
_
lm
n
f
n
(x) si x / S,
0 si x S,
(en S se pueden dar otros valores si se quiere), tenemos que
lm
n
f
n
= f c.p.p.
Tendra sentido denir
_
f := lm
_
f
n
?
Antes de dar la prueba del Teorema 2.1.9, introduciremos el concepto siguiente.
Denici on 2.1.10 (Figura elemental). Un conjunto A R
N
se llama gura ele-
mental si se puede escribir como la uni on de un conjunto nito de intervalos acotados
disjuntos dos a dos.
Si I
i
n
i=1
es una colecci on de intervalos disjuntos dos a dos entonces
n
i=1
I
i
=
n
i=1
I
i
.
En este caso, adem as,
_

n
i=1
I
i
=
n
i=1
[I
i
[.
Ejercicio 2.1.11. A es una gura elemental sii
A
es una funci on escalonada.
Ejercicio 2.1.12. Probar que si I
i
n
i=1
es una colecci on de intervalos
n
i=1
I
i

n
i=1
I
i
.
Por tanto,
_

n
i=1
I
i

n
i=1
[I
i
[.
Observar que si [0, 1]
n
i=1
I
i
, con I
i
n
i=1
una coleccion de intervalos, entonces
n
i=1
[I
i
[ 1.
Proposicion 2.1.13.
1. Sean A y B guras elementales. Entonces AB, AB, AB y AB tambien
lo son.
2. Si f es una funcion escalonada y m > 0 entonces
f m := x R
N
: f(x) m es una gura elemental.
Demostraci
on. Basta observar que

[2.1.1]
AB
=
A

B
=
A
+
B

AB
,
(tambien
AB
=
A

B
)
[2.1.2]
A\B
=
A
AB
= (
A
B
)
+
.
Para demostrar 2., sea f =
i
a
i
I
i
una funci on escalonada, con I
i
disjuntos dos
a dos, entonces
x R
N
: f(x) m =
_
i:a
i
m
I
i
.
Demostraci
on del Teorema 2.1.9. Podemos suponer que f

n
0 ya que de
lo contrario consideramos f
n
f
1
. Tenemos que existe K > 0 tal que
_
f
n
K n N.
Sea > 0 y sea la gura elemental
S
n
=
_
f
n

K
_
.
Obviamente, como f
n
0,
K
n
f
n
,
luego integrando,
_

S
n
n N.
Por otra parte, por ser f
n
mon otona, se tiene que
S
n
S
n+1
.
Sea
S
:=
_
n
S
n
.
Este conjunto contiene los puntos en los que diverge f
n
: de hecho si f
n
(x) diverge
(a +), existe un m tal que
f
m
(x)
K
.
Por tanto,
x : f
n
(x) diverge S :=
>0
S
.
Veamos, para concluir, que S es nulo. Sea pues > 0 entonces
S S
= S
1
(S
2
S
1
) (S
3
S
2
) ,
y cada conjunto que forma esta union es una gura elemental y por tanto formada
por una uni on de intervalos disjuntos dos a dos. Todos estos intervalos son ademas
disjuntos dos a dos, y si tomamos la suma de las medidas de los que forman
S
1
(S
2
S
1
) (S
3
S
2
)
_
S
k
S
k1
_
,
esto es, la suma de las medidas de intervalos disjuntos dos a dos que cuya uni on es
S
k
, se tiene que vale como mucho , y esto es independiente de k, con lo que la suma
de las medidas de todos los intervalos que forman S
es menor o igual que .

Este resultado tiene un inverso que usaremos para ver que casi toda secci on de
un conjunto nulo es nula.
Lema 2.1.14. Sea S R
N
un conjunto nulo. Entonces existe una sucesion cre-
ciente de funciones escalonadas f
n
tal que
i)
_
f
n
es acotada (o, equivalentemente, convergente),
ii) si x S, lm
n
f
n
(x) = +.
Demostraci
on. Como S es nulo,

si =
1
2
, S I
1,1
I
1,2
I
1,3
I
1,k
. . . , con I
1,i
intervalos con
i
[I
1,i
[
1
2
,
si =
1
2
2
, S I
2,1
I
2,2
I
2,3
I
2,k
. . . , con I
2,i
intervalos con
i
[I
2,i
[
1
2
2
,
. . .
si =
1
2
n
, S I
n,1
I
n,2
I
n,3
I
n,k
. . . , con I
n,i
intervalos con
i
[I
n,i
[
1
2
n
.
. . .
Sea J
1
:= I
1,1
, J
2
= I
1,2
, J
3
= I
2,1
, J
4
= I
1,3
, J
5
= I
2,2
, J
6
= I
3,1
, J
7
= I
1,4
, . . .
Y sea la siguiente sucesion creciente f
n
de funciones escalonadas denidas por
f
n
:=
n
i=1
J
i
,
cuyas integrales estan acotadas por
n
i=1
1
2
n
< 1.
Veamos que f
n
(x) +si x S. Sea x S, como f
n
(x) es creciente, o diverge
a +, y hemos terminado, o es convergente, en cuyo caso cualquier subsucesion es
convergente. Veamos que existe una subsucesi on divergente y que por tanto lo segundo
no es posible. Sea la siguiente sucesi on de naturales:
sea n
1
1 tal que x J
n
1
, elegido entre los que J
i
que que son de la forma I
1,k
,
supongamos que es I
1,k
1
;
sea n
2
> n
1
tal que x J
n
2
i
k
1
,k
,
supongamos que es I
k
1
,k
2
sea n
3
> n
2
tal que x J
n
2
i
k
1
+k
2
,k
;
. . .
y as, construimos una sucesion estrictamente creciente n
j
j
tal que x J
n
j
para
todo j, con lo que
f
n
j
(x) j.
2.2. Integral de funciones superiores
Lema 2.2.1.
1. Sea f
n
una sucesion decreciente de funciones escalonadas no negativas que
convergen c.p.p. a 0. Entonces
lm
n
_
f
n
= 0.
2. Sean f
n
, g
n
sucesiones crecientes de funciones escalonadas con integrales
acotadas uniformemente en n. Sabemos que existen f y g funciones tales que
lm
n
f
n
= f c.p.p.
y
lm
n
g
n
= g c.p.p.
Supongamos que
f g c.p.p.
Entonces
lm
n
_
f
n
lm
n
_
g
n
.
Denici on 2.2.2. Una funci on f : R
N
R se dice que es una funcion superior,
y lo denotamos f L
sup
(R
N
)(= L
sup
para simplicar), si existe una sucesion creciente
de funciones escalonadas con integrales acotadas (sucesi on generadora) tal que f
n
f
c.p.p. Y se dene la integral de f como
_
f = lm
_
f
n
.
Como consecuencia del punto 2. del Lema anterior, esta denicion es consistente.
Demostraci
on del Lema 2.2.1. Punto 1. Como f

1
es escalonada, se anula
fuera de un intervalo compacto I y ademas es acotada, pongamos por K. Como las
funciones f
n
son no negativas, y la sucesion f
n
es decreciente, tambien
f
n
(x) = 0 x / I,
f
n
K,
con I y K los mismos para todas.
Sea pues > 0 jo. Cada funcion f
n
es continua salvo en un conunto nulo D
n
(las caras de los intervalos que la denen) y la union de todos estos nulos tambien
es nulo, llamemosle D. Sea ahora N el conjunto donde no converge f
n
a 0. Y sea
S = D N, que es tambien nulo. Por tanto, dado el jado, existe una sucesion de
intervalos abiertos I
n
tal que
S
_
n
I
n
,
n
[I
n
[ .
Dado x I S, se tiene que
f
n
(x) 0,
luego, dado el jado, existe n
x
tal que
f
n
x
(x) < .
Por otra parte, como f
n
x
es continua en x, se tiene que, existe un intervalo abierto y
acotado que contiene a x, J
x
, donde f
n
x
es constante (f
n
x
es escalonada), y por tanto
menor que , pero esto vale para todas las f
n
con n n
x
por la monotonia:
f
n
< en J
x
, intervalo abierto y acotado, para toda n n
x
.
Ahora consideramos el conjunto de todos los intervalos I
n
y J
x
, estos forman
un recubrimiento abierto del compacto I, pues I (I S) S, luego existe un
subrecubrimiento nito:
I
p
_
i=1
I
n
i

q
_
j=1
J
x
j
.
De aqu, tambien
I
p
_
i=1
(I
n
i
I)
q
_
j=1
(J
x
j
I),
y se tiene que
p
i=1
[I
n
i
I[ ,
y obviamente
q
_
j=1
(J
x
j
I) I,
Finalmente, si n m axn
x
j
: j = 1, . . . , q, para x
q
j=1
(J
x
j
I),
f
n
(x) < .
Por tanto, si n m axn
x
j
: j = 1, . . . , q,
f
n
K
p
i=1
(I
n
i
I)
+
q
j=1
(J
x
j
I)
K
p
i=1
I
n
i
I
+
I
,
con lo que
_
f
n
K +[I[.
Y queda probado 1.
Veamos ahora 2. Es evidente que g
n
f
m
m
es una sucesi on decreciente de
funciones escalonadas, para cada n jo, y adem as converge c.p.p. a g
n
f. Ahora,
g
n
f g f 0 c.p.p.
Por tanto, si consideramos la sucesion (g
n
f
m
)
+
m
, se tiene que es una sucesi on
decreciente de funciones escalonadas, para cada n jo, y adem as converge c.p.p. a 0.
Por tanto, por 1. se tiene que
lm
m
_
(g
n
f
m
)
+
= 0 n.
De donde deducimos que
lm
m
__
g
n
_
f
m
_
lm
m
_
(g
n
f
m
)
+
= 0 n,
es decir
_
g
n
lm
m
_
f
m
0 n.
Y de aqu obtenemos que
lm
n
_
g
n
lm
m
_
f
m
0.
Las funciones escalonadas son superiores y las integrales denidas coinciden. Por
otra parte, las funciones superiores no forman un espacio vectorial.
Proposicion 2.2.3. L
sup
(R) no es un espacio vectorial.
Demostraci
on 1. Vamos a construir f L
sup
(R) con f / L
sup
(R).
Sean I = [0, 1] y q
k
la sucesion de n umeros racionales en I. Sea, para cada
k N,
I
k
:=
_
q
k

1
4
k
, q
k
+
1
4
k
_
I,
denimos
f :=
k=1
I
k
.
Llamemos J :=
k=1
I
k
La funcion f funci on es superior pues se tiene que
f
n
:=
n
k=1
I
k
dene una sucesi on creciente de funciones escalonadas (
n
k=1
I
k
es una gura ele-
mental) que converge a f con integrales acotadas por
2
3
(f
n

n
k=1
I
k
, luego
_
f
n

n
k=1
2
4
k

2
3
). Y adem as,
_
f
2
3
.
Ahora bien, f / L
sup
. Ve amoslo por reduccion al absurdo. Si fuese superior,
existira una sucesi on creciente de funciones escalonadas, g
n
=
m
n
i=1
a
n,i
J
n,i
, con J
n,i
disjuntos dos a dos, tal que
lm
n
g
n
= f x R A, A nulo.
Podemos suponer que J
n,i
J, si no, redenimos g
n
como g
n
=
m
n
i=1
a
n,i
J
n,i
J
que
cumple lo anterior, tanto la monotona como el lmite puntual (observar que si x / J,
g
n
(x) = 0 para todo n, y que si x J entonces g
n
(x) = g
n
(x)). Como la sucesion
g
n
n
es creciente, del lmite anterior deducimos que
g
n
(x) f(x) x R A y n.
Se tiene que
_
k=1
I
k
A
m
n
_
i=1
J
n,i

_
k=1
I
k
n,
ya que si x
k=1
I
k
A y x /
m
n
i=1
J
n,i
, entonces
g
n
(x) = 0 f(x) = 1,
que es imposible. La cadena de contenidos anterior nos dice que
[2.2.1]
m
n
i=1
J
n,i
=
k=1
I
k
= f c.p.p.
Por otra parte, como consecuencia de
_
k=1
I
k
A
m
n
_
i=1
J
n,i
[0, 1],
tambien tenemos que
[2.2.2]
m
n
i=1
J
n,i
=
[0,1]
c.p.p.
As pues, de [2.2.1] y [2.2.2],
f =
[0,1]
c.p.p.,
que contradice que
_
f
2
3
. Por tanto f no puede ser superior. Falta probar [2.2.2]!
Probemos pues, para nalizar, [2.2.2]:
m
n
i=1
J
n,i
es una union de intervalos disjun-
tos dos a dos, y no todos los intervalos son degenerados ya que
k=1
I
k
A
m
n
i=1
J
n,i
,
y
k=1
I
k
A no es nulo. Reordenamos los intervalos no degenerados, supongamos
que son los primeros p
n
intervalos, y de manera que el primero est a a la izquierda del
segundo, el segundo a la izquierda del tercero, y as sucesivamente (son disjuntos dos
a dos). Sean a
i
b
i
los extremos de dichos intervalos no degenerados (olvidemos por
comodidad el subndice n), y estamos diciendo que
b
0
:= 0 a
1
< b
1
a
2
< b
2
a
3
< . . . < b
p
n
1
a
p
n
< b
p
n
1 =: a
p
n
+1
.
Si p
n
= 1, la situacion es b
0
:= 0 a
1
< b
1
1 =: a
2
.
Veamos que b
i
= a
i+1
para cada i 0, 1, . . . , p
n
. Si no fuese as, el intervalo
]b
i
, a
i+1
[, que contiene racionales, corta a alguno de los intervalos
_
q
k

1
4
k
, q
k
+
1
4
k
y
tendramos que
_
q
k

1
4
k
, q
k
+
1
4
k
_
]b
i
, a
i+1
[A
m
n
_
i=p
n
+1
J
n,i
,
lo cual es imposible porque el conjunto de la izquierda no es nulo y el de la derecha
s lo es.
As concluimos que
m
n
i=1
J
n,i
es igual a [0, 1] salvo quiz a los extremos de los inter-
valos J
n,i
, i = 1, 2, . . . , p
m
.
Teorema 2.2.4. Si f, g L
sup
y a, b 0 entonces:
1. af +bg L
sup
y
_
(af +bg) = a
_
f +b
_
g.
2. Si f g c.p.p. entonces
_
f
_
g.
3. f g, f g son superiores.
Demostraci
on. La demostracion de 2. ya esta hecha y la de 1. es muy facil.

Veamos 3. Que f g es superior es facil. Para ver que lo es f g. Sean f
n
y g
n
sucesiones de escalonadas generadores de f y g respectivamente. Entonces f

n
g
n
es una sucesion creciente de escalonadas que converge a f g c.p.p. Para ver que
_
(f
n
g
n
) es acotada basta observar que
f
n
g
n
f
n
+g
n
+[f
1
[ +[g
1
[.
Otra forma es usar que a b = a +b a b y por tanto
_
(f
n
g
n
) =
_
f
n
+
_
g
n
_
(f
n
g
n
)
es convergente.
Nota 2.2.5.
1. Si f es superior, tambien lo son f
+
= f 0 ( y f
= f 0). Pero, sin embargo,

si f es la funci on superior obtenida en la demostraci on de la Proposici on 2.2.3, se
tiene que g := f
[0,1]
es superior pero [g[ = g
=
[0,1]
f no es superior.
2. Si f, [f[ son superiores entonces
_
f
_
[f[.
En efecto, f [f[, luego
_
f
_
[f[. Por otra parte, 0 f+[f[ luego 0
_
(f+[f[) =
_
f +
_
[f[, y de aqu tenemos que
_
[f[
_
f que es lo que faltaba.
Ejercicio 2.2.6. El producto de funciones superiores no negativas es superior,
pero si quitamos el adjetivo no negativas es falso en general (considerar la funcion
superior f obtenida en la demostraci on de la Proposicion 2.2.3 y g = 1
I
).
Soluci
on. Sean f, g funciones superiores no negativas y sean f

n
, g
n
funcio-
nes escalonadas generadoras de f, g respectivamente. Entonces f
+
n
, g
+
n
tambien son
funciones escalonadas generadoras de f, g respectivamente, y f
+
n
g
+
n
son funciones
escalonadas generadoras de fg (recordar la Proposici on 2.1.8).
Ejercicio 2.2.7. Probar que la funci on denida en R por f(x) = x
[0,1[
(x) es
superior.
Soluci
on. Dividamos el intervalo [0, 1[ en por la mitad como

_
0,
1
2
_
_
1
2
, 1
_
, y
denamos una funcion escalonada en cada parte que tome el valor mnimo de f en
dicho intervalo:
f
1
= 0
[
0,
1
2
[
+
1
2
[
1
2
,1
[
.
Procediendo similarmente con cada uno de los intervalos obtenidos, generamos:
f
2
= 0
[
0,
1
2
2
[
+
1
2
2
[
1
2
2
,
2
2
2
[
+
2
2
2
[
2
2
2
,
3
2
2
[
+
3
2
2
[
3
2
2
,1
[
,
y as sucesivamente generamos una sucesi on f
n
creciente de funciones escalonadas
que convergen en todo punto de R a f. En efecto, si x / [0, 1[, es evidente, y si
x [0, 1[, se tiene que existe i
k
0, 2, . . . , 2
k
1 tal que
i
k
2
k
x <
i
k
+1
2
k
, y por tanto
x
1
2
k

i
k
2
k
< x, es decir,
x
1
2
k
f
k
(x) < x.
Por ultimo, como
_
f
k
=
2
k
1
i=0
i
2
k
_
i
2
k
,
i + 1
2
k
_
=
1
4
k
2
k
1
i=0
i =
1
4
k
(2
k
1)(2
k
)
2

1
2
,
por el teorema de la convergencia monotona concluimos que f es superior, y adem as
esto nos sirve para calcular
_
f =
_
[0,1]
x =
1
2
.
2.3. Teorema de la convergencia mon otona I
El Teorema 2.1.9 se puede reenunciar ahora como
Teorema 2.3.1. [Teorema de la convergencia monotona para func. escalonadas]
Si f
n
es una sucesion creciente de funciones escalonadas tal que
_
f
n
es acotada
entonces f
n
converge c.p.p. a una funcion superior f, y ademas
_
f = lm
n
_
f
n
.
Y usando dicho resultado podemos probar el siguiente teorema mas general.
Teorema 2.3.2. [Teorema de la convergencia monotona para func. superiores]
Si f
n
es una sucesion creciente de funciones superiores tal que
_
f
n
es acotada
entonces f
n
converge c.p.p. a una funcion superior f, y ademas
_
f = lm
n
_
f
n
.
Demostraci
on. Sea
i,j
j
una sucesion generadora de f
i
, para cada i N, y
k
=
_
sup
i,jk
i,j
_
k
.
Las representamos en el siguiente esquema:
f
1
f
2
f
k
f
k+1

c.p.p. c.p.p. c.p.p. c.p.p.
1,k+1

2,k+1

k,k+1

k+1,k+1

1,k

2,k

k,k

k+1,k
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

1,2

2,2

k,2

k+1,2

1,1

2,1

k,1

k+1,1
11
22
kk
(k+1)(k+1)
1

2

k

k+1

== ==
sup
i,j1
i,j
sup
i,j2
i,j
sup
i,jk
i,j
sup
i,jk+1
i,j

Se tiene que
[2.3.1]
k
f
k
,
y por tanto tambien
[2.3.2]
_

k

_
f
k
M.
Luego por el Teorema de la convergencia mon otona para escalonadas,
[2.3.3]
k
c.p.p.
f L
sup
y
[2.3.4]
_

k

_
f.
Por otra parte, como
n,k

k
si k n,
tomando lmites en k,
[2.3.5] f
n
f c.p.p.
Y de esta se deduce que
[2.3.6]
_
f
n

_
f.
As, de [2.3.1], [2.3.3] y [2.3.5], por el Teorema del emparedado,
f
n
c.p.p.
f.
Y de [2.3.2], [2.3.4] y [2.3.6], por el Teorema del emparedado,
_
f
n

_
f.
2.4. Ejercicios
TEMA 3
Funciones integrables Lebesgue
3.1. Funciones integrables Lebesgue en R
N
Vamos a considerar el espacio lineal mas peque no que contenga a las funciones
superiores. Para ello basta con tomar diferencias de las mismas (tener en cuenta que
la funcion cero es superior).
Denici on 3.1.1. Diremos que una funcion real f es integrable de Lebesgue
si existen dos funciones g, h L
sup
tales que f = g h. Y denimos su integral como
_
f :=
_
g
_
h.
La denicion de integral anterior es consistente, ya que si f = g h = g
h con
g, h, g,
h L
sup
entonces g +

h = g +h y del Teorema 2.2.4 se deduce que
_
g
_
h =
_
g
_

h.
Al espacio de las funciones integrables Lebesgue lo denotaremos por L
1
(R
N
), o
bien L
1
. Este espacio es lineal y la integral denida es lineal.
Teorema 3.1.2. Si f, g L
1
entonces:
1. af +bg L
1
y
_
(af +bg) = a
_
f +b
_
g para toda a, b R.
2. Si f 0 cpp entonces
_
f 0.
2. Si f g cpp entonces
_
f
_
g.
2. Si f = g cpp entonces
_
f =
_
g.
3. f
+
, f
, [f[ L
1
(L
1
es un retculo) y
_
f
_
[f[.
4. Si f = h cpp entonces h L
1
y
_
f =
_
h. Es decir, si h = f
1
f
2
c.p.p., con
f
i
superiores, entonces h L
1
y
_
h =
_
f
1
_
f
2
.
5. Si I es un intervalo, f
I
L
1
.
Demostraci
on. 1.Si f = f
1
f
2
y g = g
1
g
2
, con f
i
, g
i
funciones superiores,
entonces f +g = f
1
+g
1
(f
2
+g
2
) y se tiene que
_
(f +g) =
_
(f
1
+g
1
)
_
(f
2
+g
2
) =
_
f
1
_
f
2
+
_
g
1
_
g
2
=
_
f +
_
g.
La demostracion de que af L
1
e
_
(af) = a
_
f es igual de sencilla.
23
24 3. FUNCIONES INTEGRABLES LEBESGUE
2. es evidente y para 3. basta saber que si f = f
1
f
2
entonces f
+
= f
1
f
2
f
2
.
Por otra parte f
= (f)
+
.
El punto 4. es cierto para funciones superiores por la denicion, y de ah se deduce
f acilmente para funciones integrables Lebesgue: Sean f
1
, f
2
funciones superiores tales
que f = f
1
f
2
entonces h = f
1
(f h +f
2
), con f
1
superior y f h +f
2
superior
(ya que es igual a f
2
c.p.p., que es superior). Luego h es integrable. Y ademas como
_
(f h + f
2
) =
_
f
2
ya que son las integrales de dos funciones superiores iguales
c.p.p., entonces
_
h =
_
f
1
_
(f h +f
2
) =
_
f
1
_
f
2
=
_
f.
Para el punto 5., sean f
1
, f
2
funciones superiores tales que f = f
1
f
2
, entonces
f
I
= f
1
I
f
2
I
, y es muy facil ver que f
1
I
, f
2
I
son superiores. En efecto,
supongamos que f es superior y sea f
n
una sucesi on de escalonadas generadora
de f. Entonces, como f
n
f
1
0,
_
(f
n
f
1
)
I

_
(f
n
f
1
)
_
f
_
f
1
, luego
_
f
n
I

_
f
_
f
1
+
_
f
1
I
, y por tanto f
n
I
es una sucesion de escalonadas
generadora de f
I
es superior.
Ejemplo 3.1.3.
Q
es una funcion integrable Lebesgue (es superior, es igual a 0
cpp), con integral igual a 0, que no es integrable Riemann. Observar que el conjunto
de discontinuidades es el conjunto de n umeros irracionales, que no es nulo.
Los siguientes resultados nos dicen como est a de lejos una funcion integrable de
una superior y de una escalonada. Ser an adem as utiles despues.
Proposicion 3.1.4. Sea f L
1
. Dado > 0, existen g, h L
sup
, h 0 cpp,
_
h < , tales que f = g h.
Demostraci
on. Sean f
1
, f
2
funciones superiores tales que f = f
1
f
2
, y sea
g
n
una sucesion de funciones escalonadas que genere a f
2
. Entonces
f = f
1
g
n
(f
2
g
n
)
con f
i
g
n
superiores, ahora bien f
2
g
n
es no negativa c.p.p., y se tiene que
_
(f
2
g
n
) 0.
Podemos anar un poco m as con h:
Corolario 3.1.5. Sea f L
1
. Dado > 0, existen g,
h L
sup
,

h 0,
_

h < ,
tales que f = g
h.
Demostraci
on. En el resultado anterior tomar

h = h
+
y g = f +

h. Es obvio
que f = g

h. Por otra parte,

h = h c.p.p., y por tanto es superior con la misma
integral que la de h. Y por ultimo g = f +

h
c.p.p.
= f + h = g, y por tanto tambien es
superior.
3. FUNCIONES INTEGRABLES LEBESGUE 25
Ejercicio 3.1.6. Sea f L
1
. Probar que existe una sucesion de funciones escalo-
nadas g
n
que converge a f c.p.p. y tal que
_
[g
n
f[ 0.
3.2. Integral de Lebesgue en un intervalo
Sea I un intervalo de R
N
y f una funcion denida en I. Sea
g(x) :=
_
f(x) si x I,
0 si no.
Abusando de notaci on g = f
I
. Si g L
1
diremos que f es integrable Lebesgue en I
y que su integral en I vale
_
I
f =
_
g.
Al conjunto de las funciones integrables Lebesgue en I lo denotaremos por L
1
(I). Es
un espacio lineal y la integral as denida tambien es lineal. Observar, por ejemplo,
que L
1
([a, b]) no se diferencia de L
1
(]a, b[) que escribiremos como L
1
(a, b).
Enlazando con el punto 5. del Teorema 3.1.2, si f L
1
(R
N
) e I es un intervalo
entonces
_
f
I
=
_
I
f
|
I
,
donde f
|
I
es la restricci on de f a I.
Podemos decir que
L
1
(I) = f
|
I
: f L
1
(R
N
).
Ejercicio 3.2.1. Sea f denida en un intervalo I, y sea un hiperplano que divide
a I en I
1
, I
2
. Entonces, f L
1
(I
1
) y f L
1
(I
2
) sii f L
1
(I), y
_
I
f =
_
I
1
f +
_
I
2
f.
Ejercicio 3.2.2. Sea I un intervalo de R
N
(I = I
1
I
2
I
N
), y f L
1
(I).
1. Sea x
0
un punto de R
N
. Sea g(x) := f(x x
0
). Probar que g L
1
(I + x
0
),
siendo I +x
0
el intervalo x +x
0
: x I, y que
_
I+x
0
g =
_
I
f.
2. Sea c una constante positiva. Sea g(x
1
, x
2
. . . , x
N
) := f
_
x
1
c
, x
2
, . . . , x
N
_
. Pro-
bar que g L
1
(J), siendo J el intervalo cI
1
I
2
I
N
, y que
_
J
g = c
_
I
f.
3. Sea g(x) = f(x). Probar que g L
1
(I), siendo I el intervalo x : x I,
y que
_
I
g =
_
I
f.
Nota 3.2.3. Sea S R
N
, diremos que f L
1
(S) si f
S
L
1
(R
N
).
3.3. Sobre la relaci on con la integral de Riemann
Vamos a extender lo hecho en el Ejercicio 2.2.7.
Teorema 3.3.1 (Lebesgue-Vitali). Sea I un intervalo acotado de R
N
y sea f :
I R acotada y continua c.p.p. Entonces, existe una sucesion creciente de funciones
escalonadas f
n
con integrales acotadas, con
f
n
f
I
,
que converge a f
I
c.p.p., y por tanto f
I
L
sup
.
Demostraci
on. Sea M una cota de f. Y supongamos sin perdida de generalidad

que
I = [a
1
, b
1
[ [a
N
, b
N
[,
ya que las caras del intervalo I son conjuntos nulos. Igual que en el Ejemplo [2.2.7],
dividamos cada [a
i
, b
i
[= [a
i
, c
i
[[c
i
, b
i
[ donde c
i
es el punto medio del intervalo, y con
ellos dividimos
I =
2
N
_
i=1
I
1,i
,
y denimos
f
1
=
2
N
i=1
nf
xI
1,i
f(x)
I
1,i
.
Tenemos que
f
1
f
I
M
I
y
_
f
1
M[I[.
De nuevo dividimos cada I
i
en 2
N
intervalos iguales por el mismo procedimiento,
y as obtenemos una divisi on de I,
I =
(2
N
)
2
_
i=1
I
2,i
,
y denimos
f
2
=
(2
N
)
2
i=1
nf
xI
2,i
f(x)
I
2,i
.
Tenemos que
f
1
f
2
f
I
M
I
y
_
f
2
M[I[.
Inductivamente denimos de esta forma
f
n
=
(2
N
)
n
i=1
nf
xI
n,i
f(x)
I
n,i
.
Tenemos que
f
1
f
2
f
n
f
I
M
I
y
_
f
n
M[I[.
As, por el Teorema de la convergencia mon otona para escalonadas,
f
n
c.p.p.
g L
sup
.
Basta ahora ver que f
n
c.p.p.
f
I
. La convergencia se da trivialmente en todos los
puntos de R
N
I, y en los puntos de la frontera de I la convergencia puede darse
o no, pero es un conjunto nulo. Veamos ahora que se tiene la convergencia en p un
punto del interior de I donde f es continua (el resto de puntos es un conjunto nulo).
Dado > 0, existe > 0 tal que si |x p| entonces [f(x) f(p)[ . Ahora,
dado m, existe i tal que p I
m,i
. Luego, si m es sucientemente grande, para todo
x I
m,i
se tiene que
|x p|
_
N
i=1
(b
i
a
i
)
2
2
m
,
y por tanto,
f(p) f(x) f(p) +.
Luego, por la denici on de f
m
,
f(p) f
m
(p) f(p),
y como f
n
n
es creciente,
f(p) f
n
(p) f(p) n m.
Corolario 3.3.2.
1. Si f : R
N
R es acotada, continua c.p.p., entonces f L
1
(I) para todo
intervalo acotado I.
2. Si f : R
N
R es continua, entonces f L
1
(I) para todo intervalo acotado I.
Probaremos ahora el criterio de integrabilidad Riemann de Lebesgue. Recordemos
algunas deniciones: dada una funci on acotada f : [a, b] R y una particion de [a, b],
P = t
0
= a, t
1
, . . . , t
n1
, t
n
= b, t
i1
< t
i
, denimos
m
i
:=nff(x) : x [t
i1
, t
i
],
M
i
:= supf(x) : x [t
i1
, t
i
],
y llamamos sumas inferior y superior de Darboux-Riemann de f respecto de
P a
S
(f, P) :=
n
i=1
m
i
(t
i
t
i1
) (suma inferior),
S
+
(f, P) :=
n
i=1
M
i
(t
i
t
i1
) (suma superior).
Denimos ahora la integral inferior/superior de Riemann como:
_
b
a
f := sup
PP([a,b])
S
(f, P), (integral inferior),

_
b
a
f := nf
PP([a,b])
S
+
(f, P), (integral superior).
Decimos que una funci on f : [a, b] R acotada es integrable Riemann en
[a, b], f 1([a, b]), si
_
b
a
f =
_
b
a
f =:
_
b
a
f.
Y se tiene que f 1([a, b]) sii dado > 0, existe P T([a, b]) tal que
S
+
(f, P) S
(f, P) .
Ejercicio 3.3.3. Sea f : [a, b] R acotada.
1. Las integrales inferior y superior de Riemann de f se pueden caracterizar de la
siguiente manera:
[3.3.1]
_
b
a
f = sup
__
: es escalonada, f
[a,b]
_
,
[3.3.2]
_
b
a
f =nf
__
: es escalonada, f
[a,b]
_
.
2. Sean f
n
, g
n
dos sucesiones de funciones escalonadas, la primera creciente
y la segunda decreciente con
f
n
f
[a,b]
g
n
y
_
(g
n
f
n
) 0.
Entonces, f 1([a, b]) y
_
b
a
f = lm
n
_
f
n
= lm
n
_
g
n
.
El siguiente ejercicio caracteriza la continuidad de una funcion.
Ejercicio 3.3.4. Sea f : [a, b] R acotada. Sean
M(f, x, ) := supf(y) : y [a, b], [y x[ < ,
m(f, x, ) :=nff(y) : y [a, b], [y x[ < ,
y la oscilaci on de f en x:
o(f, x) := lm
0
+
M(f, x, ) m(f, x, ).
Se tiene que f es continua en x si y s olo si o(f, x) = 0.
Observar que M(f, x, ) m(f, x, ) decrece con .
Teorema 3.3.5 (Criterio de Integrabilidad de Lebesgue). Sea f : [a, b] R
acotada, y sea D el conjunto de discontinuidades de f. Entonces,
f 1([a, b]) sii D es nulo.
Ademas, en dicho caso, f L
1
([a, b]) y
_
[a,b]
f =
_
b
a
f.
Demostraci
on. La segunda parte es consecuencia inmediata del Teorema 3.3.1.

Probaremos pues la primera parte.
Supongamos primero que f es integrable Riemann.
Sea
D
n
:=
_
x [a, b] : o(f, x)
1
n
_
,
con lo que, por el Ejercicio 3.3.4 ,
D =
_
n
D
n
.
Supongamos que D no es nulo (razonamos por reducci on al absurdo). Entonces existe
n
0
tal que D
n
0
no es nulo. Y por tanto, existe > 0 tal que, sea cual sea el conjunto
de intervalos J
i
iI
, card(I)
0
, que recubra a D
n
0
, se cumple que
iI
[J
i
[ > .
Como f es integrable Riemann, dado el , existe una particion P T([a, b]),
P = t
0
, t
1
, . . . , t
n
tal que
S
+
(f, P) S
(f, P)

n
0
.
Elegimos el siguiente conjunto de ndices:
I
n
0
:= i 1, . . . , n : ]t
i1
, t
i
[D
n
0
,= .
Entonces, dado x D
n
0
, o x P o x ]t
i1
, t
i
[ para alg un i (pues P es partici on de
[a, b]), y por tanto este i pertenece a I
n
0
, esto es, tenemos que
D
n
0

_
iI
n
0
]t
i1
, t
i
[P.
Por tanto

iI
n
0
(t
i
t
i1
) > .
Ahora, si m
i
:=nff(x) : x [t
i1
, t
i
], M
i
:= supf(x) : x [t
i1
, t
i
], y si i I
n
0
,
se tiene que
M
i
m
i

1
n
0
,
ya que en el intervalo ]t
i1
, t
i
[ hay un punto x D
n
0
, y por tanto para suciente-
mente peque no, M
i
m
i
M(f, x, ) m(f, x, ) o(f, x)
1
n
0
. As pues,
S
+
(f, P) S
(f, P)
iI
n
0
(M
i
m
i
)(t
i
t
i1
)
iP
1
1
n
0
(t
i
t
i1
) >

n
0
,
que es imposible.
Supongamos ahora que D es nulo. Como f es acotada, por el Teorema 3.3.1,
f
[a,b]
L
sup
, es mas, existen f
n
y g
n
sucesiones crecientes de funciones esca-
lonadas que generan a f
[a,b]
y f
[a,b]
respectivamente, con
f
n
f
[a,b]
g
n
.
Adem as,
_
(g
n
f
n
)
_
(f
[a,b]
)
_
f
[a,b]
=
_
(f
[a,b]
+f
[a,b]
) = 0.
Por tanto, por la Ejercicio 3.3.3.2., f es integrable Riemann, y adem as
_
b
a
f = lm
_
f
n
=
_
[a,b]
f.
Soluci
on del Ejercicio 3.3.4.

1. Tomemos una particion P = t
0
= a, t
1
, . . . , t
n1
, t
n
= b T([a, b]) y M
i
:=
supf(x) : x [t
i1
, t
i
]. Entonces,
S
+
(f, P) =
n
i=1
M
i
(t
i
t
i1
) =
_
,
donde es la funci on escalonada
=
n
i=1
M
i
]t
i1
,t
i
]
+M
1
{a}
,
que satisface adem as que
f
[a,b]
.
Por tanto,
nf
__
: es escalonada, f
[a,b]
_
S
+
(f, P),
y tomando nmos en P concluimos
nf
__
: es escalonada, f
[a,b]
_
_
b
a
f.
Sea ahora una funcion escalonada tal que f
[a,b]
. Podemos suponer que
=
n1
i=1
]a
i
,a
i+1
[
+
n
i=1
{a
i
}
,
donde a = a
1
< a
2
< . . . < a
n1
< a
n
= b. Sea ahora la particion P
del intervalo
[a, b] dada por
a
1
< a
1
+ < a
2
< a
2
+ < a
3
< a
3
+ < . . . < a
n1
< a
n1
+ < a
n
< a
n
,
para sucientemente peque no. Entonces, si M > 0 es una cota de f,
_
b
a
f S
+
(P
, f) (n 1)M +
n1
i=1
_
sup
[a
i
+,a
i+1
]
f
_
[a
i+1
a
i
2[.
(n 1)M +
n1
i=1
i
[a
i+1
a
i
2[
(n 1)M +
n1
i=1
i
[a
i+1
a
i
[ + 2
n1
i=1
i
= (n 1)M +
_
+ 2
n1
i=1
i
.
Luego haciendo tender a 0, y tomando nmos en , obetemos la otra desigualdad
de [3.3.2].
La ecuacion [3.3.1] se sigue f acilmente de esta teniendo en cuenta que
_
b
a
f =
_
b
a
(f).
2. Es una consecuencia inmediata de 1.
Ejercicio 3.3.6. Sea I un intervalo de R
N
(I = I
1
I
2
I
N
), y f L
1
(I).
1. Sea x
0
un punto de R
N
. Sea g(x) := f(x x
0
). Probar que g L
1
(I + x
0
),
siendo I +x
0
el intervalo x +x
0
: x I, y que
_
I+x
0
g =
_
I
f.
1
, x
2
. . . , x
N
) := f
_
x
1
c
, x
2
, . . . , x
N
_
. Pro-
bar que g L
1
(J), siendo J el intervalo cI
1
I
2
I
N
, y que
_
J
g = c
_
I
f.
En particular, si g(x) = f(x/c) entonces g L
1
(cI) e
_
cI
g = c
N
_
I
f.
3. Sea g(x) = f(x). Probar que g L
1
(I), siendo I el intervalo x : x I,
y que
_
I
g =
_
I
f.
Soluci
on. Probemos primero lo siguiente. Sea f L

1
(R
N
) (la integral
_
R
N
f la
escribimos tambien como
_
f).
1. Sea x
0
un punto de R
N
. Sea g(x) := f(x x
0
). Entonces g L
1
(R
N
), y
_
g =
_
f.
1
, x
2
. . . , x
N
) := f
_
x
1
c
, x
2
, . . . , x
N
_
. En-
tonces g L
1
(R
N
), y
_
g = c
_
f.
3. Sea g(x) = f(x). Entonces g L
1
(R
N
), y
_
g =
_
f.
Esto se prueba primero para el caso en que f es escalonada, despues para f
superior, y nalmente para f integrable Lebesgue:
1: Supongamos primero que f es escalonada, esto es
f =
n
i=1
a
i
I
i
con I
i
intervalos acotados. Entonces,
g(x) =
n
i=1
a
i
I
i
(x x
0
).
Pero como
I
i
(x x
0
) =
x
0
+I
i
(x), y x
0
+ I
i
es un intervalo acotado de la misma
medida que I
i
, se tiene que g es escalonada con la misma integral que f.
Supongamos ahora que f es superior, entonces existe f
n
n
una sucesion creciente
de funciones escalonadas con integrales acotadas tal que converge a f en todo punto
de R
N
salvo un nulo A. Ahora x
0
+ A tambien es nulo y para todo x x
0
+ A se
tiene que
g(x) = lm
n
f
n
(x x
0
).
Pero por lo anterior se tiene que, si g
n
(x) := f
n
(xx
0
), entonces g
n
n
es una sucesi on
creciente de funciones escalonadas con
_
g
n
=
_
f
n
acotadas,
por tanto g es superior, y adem as
_
g = lm
n
_
g
n
= lm
n
_
f
n
=
_
f.
Por ultimo, si f es integrable Lebesgue, existen f
1
, f
2
funciones superiores con
f = f
1
f
2
y
_
f =
_
f
1

_
f
2
. Ahora bien g(x) = f
1
(x x
0
) f
2
(x x
0
) y se
tiene que g
1
(x) := f
1
(x x
0
) y g
2
(x) := f
2
(x x
0
) denen funciones superiores por
lo probado antes, y adem as
_
g
1
=
_
f
1
y
_
g
2
=
_
f
2
, con lo que g es integrable
Lebesgue y tiene la misma integral que f.
f =
n
i=1
a
i
I
i
con I
i
g(x
1
, x
2
, . . . , x
N
) =
n
i=1
a
i
I
i
_
x
1
c
, x
2
, . . . , x
N
_
.
Pero como
I
i
_
x
1
c
, x
2
, . . . , x
N
_
=
cI
1
i
I
2
i
...I
N
i
(x
1
, , x
2
, . . . , x
N
), y cI
1
i
I
2
i
. . . I
N
i
es un intervalo acotado de medida igual a c[I
i
[, se tiene que g es escalonada con
_
g = c
_
f.
n
n
de R
N
salvo un nulo A. Ahora A
c
:=
_
x R
N
:
_
x
1
c
, x
2
, . . . , x
N
_
A
_
tambien es
nulo y para todo x A
c
se tiene que
g(x
1
, x
2
, . . . , x
N
) = lm
n
f
n
_
x
1
c
, x
2
, . . . , x
N
_
.
n
(x
1
, , x
2
, . . . , x
N
) := f
n
_
x
1
c
, x
2
, . . . , x
N
_
, entonces
g
n
n
es una sucesi on creciente de funciones escalonadas con
_
g
n
= c
_
f
n
acotadas,
_
g = lm
n
_
g
n
= lm
n
c
_
f
n
= c
_
f.
1
, f
2
f = f
1
f
2
y
_
f =
_
f
1
_
f
2
. Ahora bien
g(x) = f
1
_
x
1
c
, x
2
, . . . , x
N
_
f
2
_
x
1
c
, x
2
, . . . , x
N
_
y se tiene que g
1
(x) := f
1
_
x
1
c
, x
2
, . . . , x
N
_
y g
2
(x) := f
2
_
x
1
c
, x
2
, . . . , x
N
_
denen
funciones superiores por lo probado antes, y ademas
_
g
1
= c
_
f
1
y
_
g
2
= c
_
f
2
,
con lo que g es integrable Lebesgue y
_
g =
_
g
1
_
g
2
= c
_
f
1
c
_
f
2
= c
_
f.
f =
n
i=1
a
i
I
i
con I
i
g(x) =
n
i=1
a
i
I
i
(x).
Pero como
I
i
(x) =
I
i
(x), y I
i
es un intervalo acotado de medida igual a [I
i
[,
se tiene que g es escalonada con
_
g =
_
f.
n
n
de R
N
salvo un nulo A. Ahora A :=
_
x R
N
: x A
_
tambien es nulo y para
todo x A se tiene que
g(x) = lm
n
f
n
(x).
n
(x) := f
n
(x), entonces g
n
n
es una sucesion
creciente de funciones escalonadas con
_
g
n
=
_
f
n
acotadas,
_
g = lm
n
_
g
n
= lm
n
_
f
n
=
_
f.
1
, f
2
f = f
1
f
2
y
_
f =
_
f
1
_
f
2
. Ahora bien
g(x) = f
1
(x) f
2
(x)
y se tiene que g
1
(x) := f
1
(x) y g
2
(x) := f
2
(x) denen funciones superiores por
lo probado antes, y adem as
_
g
1
=
_
f
1
y
_
g
2
=
_
f
2
, con lo que g es integrable
Lebesgue y
_
g =
_
f.
Una vez probados 1,2 y 3, las pruebas de 1, 2 y 3 es reescritura. Probemos por
ejemplo 1: Como f L
1
(I) entonces f
I
L
1
(R
N
), por tanto, por 1, la funci on
x f(x x
0
)
I
(x x
0
) L
1
(R
N
) y
_
f(x x
0
)
I
(x x
0
)dx =
_
f(x)
I
(x)dx.
Por tanto, como g(x)
x
0
+I
(x) = f(x x
0
)
I
(x x
0
),
x g(x)
x
0
+I
(x) L
1
(R
N
),
esto es g L
1
(x
0
+I), y adem as,
_
x
0
+I
g =
_
g(x)
x
0
+I
(x)dx =
_
f(x x
0
)
I
(x x
0
)dx =
_
f(x)
I
(x)dx =
_
I
f.
3.4. Ejercicios
TEMA 4
Teoremas de convergencia
La superioridad de la integral de Lebesgue respecto a la integral de Riemann se
maniesta, sobre todo, en los teoremas de convergencia, que permiten pasar al lmite
bajo el signo integral en condiciones muy generales. Los teoremas de convergencia
se aplican adem as para comprobar la integrabilidad de una funcion, para calcular su
integral, para calcular lmites de sucesiones de integrales.
En general no se puede pasar al lmite bajo el signo integral como muestra el
siguiente ejemplo.
Ejemplo 4.0.1. Sea la sucesion de funciones escalonadas f
n
: [0, 1] R denida
por
f
n
(x) = n
[
1
2n
,
1
n
]
.
Esta sucesion converge puntualmente a la funcion 0 en [0, 1]: dado x (0, 1]
existe n
0
N tal que
1
n
0
< x, por consiguiente para todo n n
0
se cumple que
f
n
(x) = 0.
Sin embargo el lmite de las integrales no es la integral del lmite:
lm
n
_
f
n
= lm
n
n
1
2n
=
1
2
,=
_
lm
n
f
n
=
_
0 = 0.
4.1. Teorema de la convergencia mon otona II
Usando la Proposici on 3.1.4 y el Teorema de la convergencia mon otona para
funciones superiores podemos ahora probar el siguiente resultado.
Teorema 4.1.1. [Teorema de la convergencia monotona de Levi] Si f
n
es una
sucesion monotona de funciones de L
1
tal que
_
f
n
es acotada entonces f
n
con-
verge c.p.p. a una funcion f L
1
, y ademas
_
f = lm
n
_
f
n
.
La monotona basta pedirla c.p.p., si no trabajamos con (f
n
f
1
)
+
.
Demostraci
on. Basta hacer la prueba para una sucesion monotona creciente,

si es decreciente entonces se le cambia el signo a los elementos de la sucesi on.
Sea pues f
n
una sucesion creciente tal que tal que
_
f
n
es acotada por K,
podemos suponer que f
n
0 ya que si no trabajamos con f
n
f
1
. Usando la
37
38 4. TEOREMAS DE CONVERGENCIA
Proposici on 3.1.4:
0 f
1
= g
1
h
1
con g
1
, h
1
L
sup
, h
1
0,
_
h
1
<
1
2
,
0 f
2
f
1
= g
2
h
2
con g
2
, h
2
L
sup
, h
2
0,
_
h
2
<
1
2
2
,
0 f
3
f
2
= g
3
h
3
con g
3
, h
3
L
sup
, h
3
0,
_
h
3
<
1
2
3
,
.
.
.
Observar que tambien g
k
0.
Ahora tenemos que
h
k
:= h
1
+h
2
+ +h
k
y
g
k
:= g
1
+g
2
+ +g
k
= f
k
+

h
k
forman sucesiones mon otonas crecientes de funciones superiores con integrales aco-
tadas:
_

h
k
<
k
j=1
1
2
j
< 1,
y
_
g
k
=
_
f
k
+
_

h
k
< K + 1.
Por tanto por el Teorema de la convergencia monotona para superiores, tenemos que
lm
k
g
k
= g c.p.p., g L
sup
,
_
g = lm
k
_
g
k
y
lm
k
h
k
= h c.p.p., h L
sup
,
_
h = lm
k
_

h
k
.
Ahora, como
f
k
= g
k

h
k
tenemos que
lm
k
f
k
= g h c.p.p., g h L
sup
,
_
(g h) = lm
k
_
f
k
.
Y por tanto f = g h es la funci on de L
1
buscada.
Ejercicio 4.1.2. Probar que la funcion f(x) =
1
x
si x (0, 1], f(0) = 0, es
integrable Lebesgue en [0, 1] y vamos a calcular su integral.
Ejemplo 4.1.3. La funci on constante 1 no es integrable. Probemoslo para dimen-
si on 1. De hecho, la sucesion
[n,n]
es una sucesion mononota creciente (incluso de
escalonadas) que converge a 1, si 1 fuese integrable, entonces las integrales de f es-
taran dominadas por la integral de 1, y por el Teorema de la convergencia mon otona,
tendramos que
_
1 = lm
n
_

[n,n]
= 2n = +
que es contradictorio.
4. TEOREMAS DE CONVERGENCIA 39
Corolario 4.1.4. Si f L
1
, f 0 c.p.p. y
_
f = 0 entonces f = 0 c.p.p.
Demostraci
on. Podemos suponer que f 0, de lo contrario tomamos f

+
, y
llegaremos a probar que f
+
= 0 c.p.p., pero como f = f
+
c.p.p., tambien concluimos
que f = 0 c.p.p. As pues, como f es no negativa, nf
n
dene una sucesion mon otona
creciente de funciones integrables con integrales acotadas (valen 0 todas), por tanto
lm
n
nf = g c.p.p.,
de donde necesariamente f = 0 c.p.p.
Proposicion 4.1.5. Sea I
n
n
una sucesion creciente de intervalos, I
n
I
n+1
, y
sea I :=
n
I
n
. Sea f : I R tal que f L
1
(I
n
) para todo n.
1.
_
_
I
n
[f[
_
n
es acotada sii f L
1
(I). Ademas,
_
I
f = lm
n
_
I
n
f.
2. Si existe g L
1
(I) tal que [f[ g entonces f L
1
(I).
Demostraci
on. 1. Las implicacion hacia la izquierda es evidente ya que [f[

L
1
(I) y [f[
I
n
[f[
I
. Para la implicaci on hacia la derecha, supongamos primero
que f 0. Entonces f
n
:= f
I
n
forma una sucesion creciente de funciones integrables
con integrales acotadas uniformemente. Entonces
lm
n
f
n
= g c.p.p., g L
1
,
_
g = lm
n
_
f
n
= lm
n
_
I
n
f.
Pero f
n
f
I
, luego f
I
= g c.p.p. y por tanto es integrable y
_
I
f =
_
g = lm
n
_
I
n
f.
Para el caso general, escribimos f = f
+
f
, y aplicamos lo anterior a f
.
Observar que
_
I
k
f

_
I
k
[f[.
La demostracion de 2. es evidente.
4.1.1. Integral impropia de Riemann revisitada.
En dimension 1, la Proposici on 4.1.5 la podemos enunciar como sigue.
Proposicion 4.1.6. Sea f :]a, b
+
[R, f L
1
(a, b) b : a < b < b
+
]a, +].
1.
_
]a,b[
[f[ M b sii f L
1
(a, b
+
). Ademas,
_
]a,b
+
[
f = lm
bb
+
_
]a,b[
f.
2. Si existe g L
1
(a, b
+
) tal que [f[ g entonces f L
1
(a, b
+
).
Y tenemos como corolario el siguiente teorema que relaciona la integrabilidad
Lebesgue con la impropia de Riemann.
Teorema 4.1.7. Sea f : [a, b
+
[R, f 1([a, b]) b : a < b < b
+
]a, +].
1. Si
_
b
a
[f[ M b entonces f 1([a, b
+
[). Ademas, f es integable Lebesgue, y
su integral coincide con la impropia de Riemann.
2. Si f L
1
(a, b
+
) entonces f 1([a, b
+
[). Ademas, sus integrales coinciden.
Demostraci
on. La prueba de 1. se sigue del hecho siguiente:
_
s
r
f
_
s
r
[f[
0 cuando r, s b
+
.
Las hip otesis en 1. y 2. son equivalentes por la Proposici on 4.1.6 y el Teorema de
Lebesgue-Vitali, y el Ademas se sigue de dichos resultados.
En general, las nociones de integral impropia de Riemann y de Lebesgue en un
intervalo no acotado, no son equivalentes como prueba el siguiente ejemplo.
Ejemplo. 9.8 Sabemos que existe la integral de Riemann impropia de la funci on
f(x) =
sen x
x
, x > 0, f(0) = 1 en [0, +). Sin embargo f no es integrable
Lebesgue en [0, +[, pues si lo fuera tambien lo sera [f[ y entonces se tendra la
convergencia de la integral (impropia)
_
+
0
sen x
x
dx, que sabemos que es falso.

Por otra parte, recordemos que
[0,1]Q
L
1
([0, 1]) 1([0, 1]).
Ejercicio 4.1.8. Para cada y > 0 la funcion f(x) = e
x
x
y1
es integrable Le-
besgue en [0, +). Se llama funcion Gamma a la funci on :]0, +[R denida
por
(y) =
_
+
0
e
x
x
y1
dx.
4.2. Teorema de la convergencia dominada
Ejercicio 4.2.1. Probar que f
n
(x) = nx
n
[0,1]
dene una sucesi on de funciones
que converge c.p.p. a 0, pero que
_
[0,1]
f
n
, 0.
Observar que falla la monotona de la sucesi on. Sin embargo, para que
_
lm
n
f
n
= lm
n
_
f
n
siga siendo cierto no es necesario que se tenga monotona, basta que la sucesi on de
funciones sea dominada por funciones integrables.
Teorema 4.2.2 (Teorema de la convergencia dominada de Lebesgue). Sea f
n
una sucesion de funciones de L

1
tal que
f
n
f c.p.p.
Si existe g L
1
tal que
[f
n
[ g n,
entonces f L
1
y
_
f = lm
n
_
f
n
.
La dominacion se puede pedir c.p.p. Basta con redenir f
n
y g como cero all donde
falla la dominacion.
Lema 4.2.3. Sea f
n
1
y g L
1
tal que
[f
n
[ g n.
Entonces
nf
n
f
n
, sup
n
f
n
L
1
.
Demostraci
on. Sea
n
:= sup
kn
f
k
= supf
1
, f
2
, . . . , f
n
. Se tiene que
n
es una sucesi on mon otona de funciones integrables que converge a sup

n
f
n
y con
integrales acotadas por
_
g. Entonces, por el Teorema de la convergencia monotona,
sup
n
f
n
L
1
. Similarmente se prueba que nf
n
f
n
L
1
.
Demostraci
on del Teorema 4.2.2 de la convergencia dominada.

Sean
g
n
:= sup
kn
f
k
= supf
n
, f
n+1
, f
n+2
, . . .
y
h
n
:= nf
kn
f
k
=nff
n
, f
n+1
, f
n+2
, . . . .
Tenemos que g
n
dene una sucesi on decreciente de funciones de L
1
, esto ultimo por
el lema anterior, y tambien h
n
dene una sucesi on creciente de funciones de L
1
, con
[4.2.1] g h
n
f
n
g
n
g,
que ademas implica que las integrales de g
n
y h
n
son acotadas.
Por otra parte f
n
(x) f(x) para todo x R
N
A, A nulo. Luego tambien
g
n
(x) f(x) y h
n
(x) f(x) para todo x R
N
A. En efecto, dado > 0, existe
n
0
tal que
si n n
0
f(x) f
n
(x) f(x) +.
Por tanto, de las deniciones de g
n
y h
n
,
si n n
0
f(x) g
n
(x) f(x) +
y
si n n
0
f(x) h
n
(x) f(x) +.
Aplicando el Teorema de la convergencia mon otona a g
n
tenemos que
f L
1
y ademas
_
f = lm
_
g
n
.
Y aplicandolo a h
n
tambien deducimos que
_
f = lm
_
h
n
.
Con lo que, por el Teorema del emparedado, gracias a [4.2.1],
_
f = lm
_
f
n
.
Ejemplo 4.2.4. La dominacion es muy importante, por ejemplo, f
n
=
[n,n+1]

L
1
, sus integrales valen 1, y converge a f = 0 L
1
en todo punto, pero
_
f ,= lm
n
_
f
n
.
Lo mismo pasa con f
n
= n
]0,1/n]
.
Ejercicio 4.2.5. Probar que
lm
n
_
1
0
log(n +x)
n
e
x
cos x dx = 0.
Corolario 4.2.6. Sea f
n
1
tal que
f
n
f c.p.p.
Si existe g L
1
tal que
[f[ g.
entonces f L
1
.
Demostraci
on. Sea
h
n
(x) := maxg(x), mnf
n
(x), g(x) = T
g(x)
f
n
(x),
donde T
k
(r) = r si [r[ k, T
k
(r) = k si r k, y T
k
(r) = k si r k. Es evidente
que
[h
n
[ g
y que
lm
n
h
n
= f c.p.p.,
ya que [f[ g. Por tanto, por el Teorema de la convergencia dominada, f L
1
.
Ejercicio 4.2.7. Probar que la funci on f(x) :=
1
x
2
cos x es integrable Lebesgue en
[1, +[.
4.2.1. Teorema de la convergencia acotada. Como corolario del Teorema
de la convergencia dominada tenemos este otro resultado:
Teorema 4.2.8 (Teorema de la convergencia acotada). Sea I un intervalo acotado.
Sea f
n
1
(I) tal que
f
n
f c.p.p. en I.
Si existe M > 0 tal que
[f
n
[ M en I n,
entonces f L
1
y
_
I
f = lm
n
_
I
f
n
.
4.3. Lema de Fatou
Recordemos que para una sucesi on a
n
n
acotada inferiormente,
lminf
n
a
n
:= sup
n
_
nf
kn
a
k
_
= lm
n
_
nf
kn
a
k
_
,
observar que nf
kn
a
k
n
es creciente; si a
n
no esta acotada inferiormente,
lminf
n
a
n
:= .
Si es el lmite de una subsucesi on de a
n
n
entonces
lminf
n
a
n
.
Y se tiene que existe una subsucesi on de a
n
n
cuyo lmite es lminf
n
a
n
.
Para una sucesion de funciones f
n
n
, se dene lminf
n
f
n
puntualmente.
Usando el Teorema de la convergencia dominada se puede probar el siguiente
interesante resultado.
Teorema 4.3.1 (Lema de Fatou). Sea f
n
1
tal
que
f
n
0 n N,
_
f
n
M n N,
donde M es una constante. Entonces existe g L
1
tal que
g = lminf
n
f
n
c.p.p.,
y
_
g lminf
n
_
f
n
.
Esto se suele escribir as: lminf
n
f
n
L
1
y
_
lminf
n
f
n
lminf
n
_
f
n
.
Demostraci
on. Sean
h
j
n
:= mnf
n
, f
n+1
, . . . , f
n+j
.
h
j
n
j
es una sucesi on decreciente de funciones integrables con integrales acotadas
por 0 (po hipotesis f
n
n
est a acotada inferiormente por 0). Luego
lm
j
h
j
n
= nf
kn
f
k
=: h
n
L
1
y
_
h
n
= lm
j
_
h
j
n
.
Ahora, h
n
n
es una sucesi on creciente de funciones integrables con h
n
f
n
, con
lo que sus integrales est an acotadas:
_
h
n

_
f
n
M.
Por tanto h
n
converge c.p.p. a una funci on integrable g y
_
g = lm
n
_
h
n
lminf
n
_
f
n
.
Ahora bien, h
n
converge a lminf
n
f
n
(es justo as como se dene).
4.4. Ejercicios
TEMA 5
Funciones medibles I
5.1. Funciones medibles
El espacio L
1
de las funciones integrables Lebesgue no contiene a todas las fun-
ciones continuas, pues no todas son integrables, como por ejemplo las constantes no
nulas (Ejemplo 4.1.3). Tampoco es cierto que el producto de funciones integrables
sea integrable. Vamos a denir un espacio mas grande que L
1
y que contiene a las
funciones mencionadas antes. Y lo deniremos a partir de sucesiones de funciones
escalonadas, como hicimos con la funciones superiores y por ende con las integrables,
pero pidiendo menos condiciones sobre dichas sucesiones.
Denici on 5.1.1 (Funcion medible). Diremos que f : R
N
R es medible si
existe una sucesi on de funciones escalonadas que converge a f c.p.p.
Al conjunto de las funciones medibles en R
N
lo denotaremos por M(R
N
).
De la denici on se desprende inmediatamente que
Proposicion 5.1.2.
1. si f M(R
N
) y g = f c.p.p. entonces g M(R
N
).
2. L
1
(R
N
) M(R
N
),
3. M(R
N
) es un espacio vectorial.
4. M(R
N
) contiene a las constantes (Ejemplo 4.1.3).
Adem as se tiene el siguiente resultado como consecuencia del Corolario 4.2.6 del
Teorema de la convergencia dominada.
Proposicion 5.1.3. Si f M(R
N
) y existe g L
1
(R
N
) tal que
[f[ g c.p.p.,
entonces f L
1
(R
N
).
En particular si f M(R
N
) y [f[ L
1
(R
N
), entonces f L
1
(R
N
), es decir,
L
1
(R
N
) = f M(R
N
) : [f[ L
1
(R
N
).
Pero es m as, tenemos el siguiente resultado que nos dice lo grande que es M(R
N
).
Teorema 5.1.4 (M(R
N
) es cerrado para lmites c.p.p.). Sea f
n
una sucesion
de funciones medibles tal que
f
n
f c.p.p.
45
46 5. FUNCIONES MEDIBLES I
Entonces
f M(R
N
).
Como corolario tenemos la siguiente adaptaci on del Corolario 4.2.6.
Corolario 5.1.5. Sea f
n
una sucesion de funciones medibles tal que
f
n
f c.p.p.
Si existe g L
1
tal que
[f[ g.
entonces f L
1
.
Probaremos el Teorema 5.1.4 usando el siguiente resultado.
Teorema 5.1.6. Sea D R
2
abierto y : D R continua. Sean f, g M(R
N
)
tales que
(f(x), g(x)) D x R
N
A, A nulo.
Entonces la funcion
h(x) :=
_
(f(x), g(x)), x R
N
A
r(x), x A,
donde r(x) es arbitrario, pertenece a M(R
N
).
Demostraci
on. Podemos suponer sin perdida de generalidad que (0, 0) = 0 si

(0, 0) D ya que de lo contrario basta trabajar con (r, s) = (r, s) (0, 0) ya que
sumar una constante a una funcion medible da una funci on medible.
Como f y g son medibles, existen f
n
y g
n
sucesiones de funciones escalonadas
tales que convergen a f y g respectivamente en todo R
N
B, B nulo. Podemos suponer
que
f
n
=
k
n
i=1
c
n
i

I
n
i
, g
n
=
k
n
i=1
d
n
i

I
n
i
,
con I
n
i
intervalos disjuntos dos a dos.
Sea
h
n
=
i:(c
n
i
,d
n
i
)D
(c
n
i
, d
n
i
)
I
n
i
.
h
n
es una sucesion de funciones escalonadas, y converge c.p.p. a h. En efecto, sea
x R
N
(A B). Por convergencia de f
n
(x) a f(x) y de g
n
(x) a g(x), y por ser D
abierto, existe n
0
(que dependera de x) tal que si n n
0
, (f
n
(x), g
n
(x)) D y como
es continua,
(f
n
(x), g
n
(x)) (f(x), g(x)).
Ahora bien,
(f
n
(x), g
n
(x)) = h
n
(x) n n
0
,
ya que si x /
i
I
n
i
ambas son nulas (pues en este caso (0, 0) pertenecera a D, en
cuyo caso estamos suponiendo que (0, 0) = 0), y si x I
n
i
para alg un i, entonces
(f
n
(x), g
n
(x)) = (c
n
i
, d
n
i
) D.
5. FUNCIONES MEDIBLES I 47
Demostraci
on del Teorema 5.1.4. Sea g L

1
con g(x) > 0 para todo x
(por ejemplo, g(x) =
n=1
1
2
n
1
(2n)
N
[n,n]
N). Y sean
h
n
(x) = g(x)
f
n
(x)
1 +[f
n
(x)[
, n N.
Como g y f
n
son medibles, usando el Teorema 5.1.6 (h
n
= (g, f
n
) donde (r, s) =
r
s
1+|s|
), se tiene que h
n
tambien lo es, pero adem as est a dominada por g integrable,
luego las h
n
son integrables (usamos la Proposicion 5.1.3), y ademas es f acil ver que
convergen en casi todo punto a
h(x) := g(x)
f(x)
1 +[f(x)[
.
Entonces, por el Corolario 4.2.6 (ojo que no podemos usar a un el Corolario 5.1.5)
se tiene que h es integrable y por tanto medible. Ahora [h[ = g
|f|
1+|f|
< g de donde
[f[ =
|h|
g|h|
y, por tanto
f =
h(1 +[f[)
g
=
h
g [h[
es tambien medible, usando de nuevo el Teorema 5.1.6 (f = (h, g) donde (r, s) =
r
r|s|
denida en D = (r, s) : [r[ < s.)
El siguiente resultado nos da mas informaci on sobre que funciones son medibles.
Proposicion 5.1.7.
1. El producto de medibles es medible. El cociente de medibles es medibles si la
funcion del denominador es no nula salvo en un conjunto a lo mas nulo.
2. El maximo y el mnimo de medibles es medible. En particular si f M(R
N
)
entonces f
+
, f
, [f[ M(R
N
).
3. Las funciones continuas son medibles ( usese el Teorema de Lebesgue-Vitali).
Por ultimo resaltamos el siguiente resultado.
Corolario 5.1.8. Si f L
1
(R
N
), y g M(R
N
) es acotada, entonces fg
L
1
(R
N
).
5.2. Ejercicios
TEMA 6
Teorema de Fubini. Teorema de Tonelli-Hobson
6.1. Teorema de Fubini
Ejemplo 6.1.1. Supongamos que queremos calcular la integral
_
[0,1][0,2]
xydxdy.
Usando la idea de Cavalieri, podemos pensar en calcular
_
[0,2]
__
[0,1]
xydx
_
dy,
o bien en calcular
_
[0,1]
__
[0,2]
xydy
_
dx.
Ambas sabemos calcularlas y valen las dos 1. Es este un buen metodo?
Veamos otro ejemplo.
Ejemplo 6.1.2. Sea f(x, y) :=
x y
(x +y)
3
. Entonces
_
1
0
__
1
0
(x y)
(x +y)
3
dx
_
dy =
_
1
0
__
1+y
y
(t 2y)
t
3
dt
_
dy
=
_
1
0
_
1
t
+
y
t
2
_
t=1+y
t=y
dy
=
_
1
0
1
(1 +y)
2
dy =
1
2
y procediendo similarmente
_
1
0
__
1
0
(x y)
(x +y)
3
dy
_
dx =
1
2
.
Que pasa?
En el siguiente resultado, y en el resto del tema escribiremos, para N 2, R
N
=
R
K
R
M
, K, M 1, K + M = N, y un elemento R
N
lo escribimos como (x, y)
R
K
R
M
.
Teorema 6.1.3 (Teorema de Fubini (1907)). Sea f L
1
(R
N
), N 2. Entonces:
y f(x, y) es integrable en R
M
c.p.t. x R
K
,
49
50 6. TEOREMA DE FUBINI. TEOREMA DE TONELLI-HOBSON
x
_
R
M
f(x, y)dy es integrable en R
K
,
e
_
R
K
R
M
f(x, y)dxdy =
_
R
K
__
R
M
f(x, y)dy
_
dx.
Lo mismo se da cambiando el juego de x e y.
Llamaremos a
_
R
K
__
R
M
f(x, y)dy
_
dx,
_
R
M
__
R
K
f(x, y)dx
_
dy
integrales iteradas de f.
La prueba de este resultado es fruto de una retahila de lemmas. Visto este resul-
tado podemos volver a los ejemplos anteriores. En el Ejemplo 6.1.1, como la funci on
xy es integrable en el intervalo considerado, efectivamente, cualquiera de las dos in-
tegrales iteradas sirve para calcular la integral de xy sobre dicho intervalo. En el
Ejemplo 6.1.2 se tiene que la funci on
xy
(x+y)
3
no puede ser integrable en el conjunto
considerado pues ambas integrales iteradas, que se pueden calcular, dieren.
Lema 6.1.4. Sea I J un intervalo acotado de R
K
R
M
. Y sea f(x, y) =
IJ
(x, y) =
I
(x)
J
(y). Entonces:
y
I
(x)
J
(y) es una funcion caracterstica en R
M
x R
K
,
x
_
R
M
I
(x)
J
(y)dy = [J[
I
es escalonada en R
K
,
y
_
R
K
R
M
I
(x)
J
(y)dxdy =
_
R
K
__
R
M
I
(x)
J
(y)dy
_
dx.
Demostraci
on. En efecto:
_
R
K
R
M
I
(x)
J
(y)dxdy = [I J[ = [I[[J[.
Y por otra parte,
_
R
K
__
R
M
I
(x)
J
(y)dy
_
dx =
_
R
K
[J[
I
(x)dx = [J[
_
R
K
I
(x)dx = [J[[I[.
Ahora es un f acil ejercicio probar el Teorema de Fubini para funciones escalonadas.
Teorema 6.1.5 (Teorema de Fubini para funciones escalonadas). Sea f una fun-
cion escalonada en R
K
R
M
. Entonces:
y f(x, y) es escalonada en R
M
x R
K
,
x
_
R
M
f(x, y)dy es escalonada en R
K
,
6. TEOREMA DE FUBINI. TEOREMA DE TONELLI-HOBSON 51
e
_
R
K
R
M
f(x, y)dxdy =
_
R
K
__
R
M
f(x, y)dy
_
dx.
Probemos ahora el Teorema de Fubini para funciones superiores. Para ello nece-
sitaremos el siguiente lema.
Lema 6.1.6. Sea S R
K
R
M
veamos que
S
x
:= y R
M
: (x, y) S es nulo c.p.t. x R
K
,
S
y
:= x R
K
: (x, y) S es nulo c.p.t. y R
M
.
Los conjuntos S
x
y S
y
se llaman secciones de S.
Demostraci
on. Probaremos que S

x
es nulo. Como S es nulo, por el Teore-
ma 2.1.14, existe una sucesion creciente f
n
de funciones escalonadas con
_
R
K
R
M
f
n
(x, y)dxdy M n N,
tales que
f
n
(x, y) + (x, y) S.
Por el Teorem 6.1.5 se tiene que
y f
n
(x, y) es escalonada para todo x R
K
,
g
n
(x) :=
_
R
M
f
n
(x, y)dy es escalonada
e
_
R
K
g
n
(x) =
_
R
K
R
M
f
n
(x, y)dxdy M n N,
con lo que, por el Teorema de la convergencia mon otona para escalonadas se tiene
que
g
n
(x) converge para todo x R
K
A, A nulo.
Para cada x R
K
A, aplicando de nuevo el Teorema de la convergencia dominada
a la funci on y f
n
(x, y), cuyas integrales g
n
(x) estan acotadas, se tiene que
f
n
(x, y) converge c.p.p. y R
M
B, B nulo.
Por tanto si x R
K
A, si y S
x
((x, y) S) entonces y B, de lo contrario
f
n
(x, y) converge y diverge a + al mismo tiempo. Es decir, si x R
K
A, entonces
S
x
B, y como B es nulo, tambien lo es S
x
.
Teorema 6.1.7 (Teorema de Fubini para funciones superiores). Sea f L
sup
(R
N
),
N 2. Entonces:
y f(x, y) es superior en R
M
c.p.t. x R
K
,
x
_
R
M
f(x, y)dy es superior en R
K
,
e
_
R
K
R
M
f(x, y)dxdy =
_
R
K
__
R
M
f(x, y)dy
_
dx.
Demostraci
on. Sea f
n
usa sucesion creciente de funciones escalonadas que
genera a f, esto es,
lm
n
f
n
(x, y) = f(x, y) c.p.t. (x, y)
y
lm
n
_
R
K
R
M
f
n
(x, y)dxdy =
_
R
K
R
M
f(x, y)dxdy.
Se tiene que
y f
n
(x, y) es escalonada en R
M
x R
K
,
x g
n
(x) :=
_
R
M
f
n
(x, y)dy es escalonada en R
K
,
g
n
es una sucesi on creciente,
e
_
R
K
g
n
(x)dx =
_
R
K
R
M
f
n
(x, y)dxdy, y es adem as convergente.
Luego por el Teorema de la convergencia monotona,
lm
n
g
n
(x) := F(x) x R
K
B, B nulo,
F L
sup
(R
K
),
e
[6.1.1]
_
R
K
F(x)dx = lm
n
_
R
K
g
n
(x)dx =
_
R
K
R
M
f(x, y)dxdy.
Sea S := (x, y) R
K
R
M
: f
n
(x, y) , f(x, y) que es nulo. Entonces, por el
Lema 6.1.6, existe A R
K
nulo tal que S
x
es nulo para todo x R
K
A.
Tomemos x R
K
(AB) jo. Se tiene que S
x
es nulo, y si y R
M
S
x
, entonces
(x, y) / S, esto es,
f
n
(x, y) f(x, y) y R
M
S
x
.
Adem as, f
n
(x, .) es una sucesi on creciente de escalonadas en R
M
. Por otra parte,
se tiene que g
n
(x) =
_
R
M
f
n
(x, y)dy converge a F(x), con lo que
__
R
M
f
n
(x, y)dy
_
est a acotada.
Por tanto, por el Teorema de la convergencia mon otona,
f(x, .) L
sup
(R
M
) se cual sea x R
K
(A B),
e
_
R
M
f(x, y)dy = lm
n
_
R
M
f
n
(x, y)dy = lm
n
g
n
(x) = F(x) que es de L
sup
(R
K
).
6. TEOREMA DE FUBINI. TEOREMA DE TONELLI-HOBSON 53
Por ultimo, poniendo esta expresion en [6.1.1], concluimos
_
R
K
__
R
M
f(x, y)dy
_
dx =
_
R
K
R
M
f(x, y)dxdy.
Demostraci
on del Teorema de Fubini 6.1.3.

Es un simple ejercicio.
Denici on 6.1.8. Sea S R
N
tal que
S
L
1
. Denimos su medida (medida
de Lebesgue N-dimensional) como
[S[ :=
_

S
.
Recordar que para I un intervalo acotado denimos
_

I
:= [I[, luego la denici on
anterior es coherente con esta.
Ejercicio 6.1.9. Probar que S es nulo sii [S[ = 0.
Una consecuencia inmediata del Teorema de Fubini es la siguiente proposicion.
Proposicion 6.1.10. Si R
N
= R
K
R
M
entonces se da el siguiente resultado
conocido como Principio de Cavalieri (observar que ya tenemos denida la medida
1dimensional, y a partir de aqu, por Fubini, la medida de las secciones esta bien
denida): Sea S R
N
tal que
S
L
1
(R
N
) entonces
[S[ =
_
R
K
[S
x
[dx =
_
R
M
[S
y
[dy.
Ejercicio 6.1.11. Calcular la medida de un crculo de radio r en R
2
.
6.2. Teorema de Tonelli-Hobson
Para aplicar el Teorema de Fubini hace falta conocer previamente que la funcion
sea integrable, pero podemos saber esto si sabemos que la funcion es medible y al
menos existe una de las integrales iteradas del modulo de la funcion en cuestion.
Teorema 6.2.1 (Teorema de Tonelli-Hobson). Sea f M(R
N
), N 2. Si
_
R
K
__
R
M
[f(x, y)[dy
_
dx
entonces f L
1
(R
N
).
El mismo resultado se tiene cambiando el juego de x e y.
Demostraci
on. Sea
g
n
:= mnn
[n,n]
N, [f[.
g
n
es una sucesi on creciente de funciones integrables (g
n
es medible y 0 g
n

n
[n,n]
) que converge a [f[, con integrales
_
R
N
g
n
=
_
R
K
__
R
M
g
n
(x, y)dy
_
dx
_
R
K
__
R
M
[f(x, y)[dy
_
dx
acotadas. Por tanto por el Teorema de la convergencia mon otona [f[ es integrable, y
como f es medible, tambien f es integrable.
Estamos considerando una especie en inverso del Teorema de Fubini. Recordemos
que si f es medible, f integrable sii lo es [f[.
Corolario 6.2.2. Sea f medible. Entonces f integrable sii las dos iteradas de [f[
existen sii alguna de iteradas de [f[ existe, y ademas,
_
R
K
R
M
f(x, y)dxdy =
_
R
K
__
R
M
f(x, y)dy
_
dx =
_
R
M
__
R
K
f(x, y)dx
_
dy.
6.3. Ejercicios
TEMA 7
Conjuntos medibles
7.1. Conjuntos medibles
En la Denici on 6.1.8 ya introducimos el concepto de medida (medida de Le-
besgue N-dimensional) de un conjunto S tal que
S
L
1
(R
N
) como
[S[ =
_

S
.
Ampliemos dicho concepto y estudiemos sus propiedades.
Denici on 7.1.1. Diremos que un conjunto S R
N
es medible si
S
es una
funci on medible, y que es integrable si
S
es integrable, y asignaremos la siguiente
medida a tales conjuntos, que concuerda con las dadas hasta ahora:
[S[ =
_

S
si S es integrable,
[S[ = + si S es medible no integrable.
La Proposicion 7.1.3 justica que [S[ := + cuando S es medible no integrable.
Es evidente que los conjunto nulos son medibles y que su medida es 0, y que los
conjunto medibles de medida 0 son nulos. Y que los intervalos acotados son medibles
con medida de Lebesgue igual a la medida dena previamente para ellos.
A la familia de todos los conjuntos medibles en R
N
lo denotaremos por /(R
N
),
es decir,
/(R
N
) = S R
N
:
S
M(R
N
).
R
N
es medible, no integrable. Al vaco se le puede considerar como elemento de
/(R
N
) (la caracterstica del vaco es como la funci on identicamente nula) y se le da
una medida: [[ = 0.
Encontrarse con conjuntos no medibles es bastante improbable.
Denici on 7.1.2. Sea A R
N
(normalmente A /(R
N
)) y f : A R. Sea
g(x) :=
_
f(x) si x A,
0 si no.
Abusando de notacion g = f
A
. Si g L
1
diremos que f es integrable en A, y que
su integral vale
_
A
f :=
_
g =
_
f
A
.
Al conjunto de funciones integrables en A lo denotaremos por L
1
(A).
55
56 7. CONJUNTOS MEDIBLES
Observar que si A es integrable, entonces las constantes pertenecen a L
1
(A).
Por otra parte si f L
1
(A) y B es un conjunto medible, B A, entonces
f L
1
(B) ya que f
B
= f
A
B
es el producto de dos funciones medibles (f
A
y
B
) y se tiene que [f
B
[ [f
A
[ L
1
(recordar la Proposici on 5.1.3).
Proposicion 7.1.3.
1. Sean A, B /(R
N
). Entonces AB, AB, A B, AB /(R
N
) (/(R
N
)
es un algebra de conjuntos) y
[A B[ +[A B[ = [A[ +[B[ (la medida es aditiva).
En particular,
[A B[ [A[ +[B[.
2. Sean A, B /(R
N
), A B entonces [A[ [B[.
3. Si A B, B nulo, entonces A es nulo y por tanto medible (esto hace que el
espacio medida (R
N
, /(R
N
), [.[) sea completo).
4. Si A
n
es una sucesion creciente de conjuntos medibles, entonces A =
n
A
n
es medible y
[A[ = lm
n
[A
n
[.
5. Si A
n
es una sucesion de conjuntos medibles, entonces A =
n
A
n
es medible
(esta propiedad junto al hecho de que , R
N
/(R
N
) y al hecho de que A /(R
N
)
implique que R
N
A /(R
N
) hacen que /(R
N
) sea una algebra). Ademas
[A[
n
[A
n
[.
Se da la igualdad si los conjuntos A
n
son disjuntos dos a dos (la medida es aditiva).
Es mas, se da la igualdad si la interseccion de todo par de conjunto es nula.
6. Si A es medible, existe A
n
una sucesion, creciente si se quiere, de conjuntos
integrables con A =
n
A
n
(la medida es nita).
Demostraci
on. 1. Basta recordar [2.1.1], [2.1.2] y el Corolario 5.1.7, para ver

que los conjuntos considerados son medibles. El resto es un ejercicio.
2. Como A B entonces
A

B
, luego si
B
es integrable entonces lo es A y
se da que [A[ [B[, y si B no es integrable, es obvio que [A[ [B[.
3. Ya est a probado.
4. Es facil ver que lm
n
A
n
=
A
, y por tanto A es medible. Por otra parte
A
n
n
es monotona creciente y
[A
n
[ [A
n+1
[.
Por tanto, si [A
n
[ es acotada, por el Teorema de la convergencia mon otona A es
integrable y
lm
n
[A
n
[ = [A[.
7. CONJUNTOS MEDIBLES 57
Y si [A
n
[ no es acotada, no puede ser que A sea integrable ya que de serlo [A
n
[ [A[,
entonces
lm
n
[A
n
[ = + = [A[.
5. Tenemos que
A =
_
n=1
_
n
_
i=1
A
i
_
y por tanto por el apartado 3. se tiene que A es medible y ademas, por los apartados
3. y 1.,
[A[ = lm
n
n
_
i=1
A
i
lm
n
n
i=1
[A
n
[.
Adem as la desigualdad anterior es igualdad si los A
i
son disjuntos dos a dos (de
nuevo por el apartado 1., incluso basta que las intersecciones dos a dos de los A
i
sean
conjuntos nulos).
6. Basta tomar A
n
= A [n, n]
N
.
Proposicion 7.1.4.
1. Las guras elementales son conjuntos medibles.
2. Los abiertos son conjuntos medibles.
3. Los cerrados son conjuntos medibles.
4. Los compactos son conjuntos integrables.
Demostraci
on. 1. es evidente y 3. y 4. se siguen de 2., observar que todo con-

junto compacto est a contenido en un intervalo acotado. Y se puede probar 2 viendo
que todo abierto de R
N
se puede expresar como union de una cantidad numerable
de intervalos (si se quisiera, acotados, disjuntos dos a dos, y con clausuras dentro del
abierto). En efecto: Podemos formar una partici on de R
N
en cubos cerrados de lado 1
cuyas intersecciones entre si sean nulas. Tomemos todos los cubos de dicha partici on
que est an dentro de nuestro abierto. Dividamos cada uno de los cubos de la particion
anterior que no se han usado en 2
N
cubos cerrados iguales, dividiendo sus aristas
por la mitad. Tomemos ahora de los nuevos cubos generados los que est an dentro de
nuestro abierto. Procediendo de esta forma obtenemos el resultado buscado.
Denici on 7.1.5 (Conjunto de Borel o boreliano). La algebra m as peque na que
contiene a los abiertos de R
N
se llama algebra de Borel, B(R
N
), y sus elementos
son los conjuntos borelianos.
La algebra mas peque na existe: dada una familia S
i
iI
de algebras en R
N
,
sea S := A R
N
: A S
i
i. Es f acil ver que S es algebra.
Teorema 7.1.6. Los conjuntos de Borel son medibles.
Proposicion 7.1.7. Sea E B(R
N
), y sea f : E R
M
(N, M 1) continua.
Entonces f
1
(A) B(R
N
) para todo A B(R
M
).
Demostraci
on. Basta ver que A R

M
: f
1
(A) B(R
N
) es una algebra
(sencillo) que contiene a los abiertos (f es continua!).
Nota 7.1.8. Hay conjuntos medibles que no son de Borel. Pero si A es medible,
existe B Borel y N nulo, disjuntos, tales que
A = B N.
Por otra parte si A es un conjunto nulo, existe un conjunto de Borel B nulo con
A B.
En efecto, A B
n
:=
m
I
m,n
, I
m,n
intervalos, con [
m
I
m,n
[
1
n
. Sea B =
n
B
n
.
Ejercicio 7.1.9.
1. Si la funci on f(x) es medible y a R
N
entonces la funcion f(x+a) es medible.
2. La medida de Lebesgue es invariante por traslaciones: si el conjunto A es
medible y a R
N
entonces el conjunto a +A es medible y [a +A[ = [A[.
1. Si la funci on f(x) es medible y r R entonces la funcion f(rx) es medible.
2. Si el conjunto A es medible y r R entonces el conjunto rA es medible y
[rA[ = [r[
N
[A[.
3. La medida de Lebesgue es invariante por rotaciones (este para m as adelante).
Ejemplo 7.1.10 (Conjunto no medible Lebesgue). Denamos en R la siguiente
clase de equivalencia,
x y si x y Q.
Dado x R existe y [0, 1] tal que y x. Elijamos, gracias al Axioma de
Elecci on, un representante de x en [0, 1] (de los muchos que hay!) y llamemosle [x].
Y sea A = [x] : x R. Se tiene que
[7.1.1] [0, 1]
_
rQ[1,1]
(r +A) [1, 2].
Y adem as r +A
rQ[1,1]
son disjuntos dos a dos. De hecho, si x (r +A) (s+A),
r, s Q [1, 1], r ,= s, entonces existe [x
1
], [x
2
] A tales que
x r = [x
1
]
x s = [x
2
]
y por tanto,
[x
1
] [x
2
] = s r Q,
lo que implica que
[x
1
] = [x
2
]
y por tanto r = s que es imposible.
Veamos que A no puede ser medible. Si lo fuese, entonces r +A tambien lo seria,
con la misma medida (que sera nita pues A est a contenido en [0, 1]), y por tanto,
por [7.1.1],
1
rQ[1,1]
[A[ 3.
7. CONJUNTOS MEDIBLES 59
Lo cual es imposible tanto si [A[ , = 0 como si [A[ = 0.
7.2. Funciones medibles II
Teorema 7.2.1 (Caracterizaci on de las funciones medibles). Sea f : R
N
R. Si
f es una funcion medible y m R entonces
f m := x R
N
: f(x) m M(R
N
),
f > m := x R
N
: f(x) > m M(R
N
),
f = m := x R
N
: f(x) = m M(R
N
).
Y viceversa, si f m M(R
N
) para todo m R entonces f es medible.
Demostraci
on. Empecemos suponiendo que f es medible, y sea m R. Sea

f
n
(x) := n
_
mn
_
f(x), m
_
mn
_
f(x), m
1
n
__
.
Entonces,
si f(x) m f
n
(x) = 1,
y si f(x) < m f(x) < m
1
k
n k f
n
(x) = 0 n k.
Por tanto
lmf
n
(x) =
{fm}
(x) x,
con lo que f m es medible.
Supongamos ahora que f m es medible para todo m R. Sea n N. Se
tiene que tanto
A
n
= f n /(R
N
)
como
B
n
= f < n /(R
N
).
Y tambien son medibles
C
i,n
=
_
i
2
n
f <
i + 1
2
n
_
, i = n2
n
, . . . , n2
n
1.
Observar que R
N
= A
n
(
i
C
i,n
) B
n
. Consideremos la siguiente sucesi on de fun-
ciones medibles,
f
n
:= n
A
n
+
i
2
n
C
i,n
n
B
n
.
Es facil ver que f
n
converge a f y por tanto tambien f es medible.
Corolario 7.2.2.
1. Sea E un conjunto boreliano de R
N
, y sea f : E R continua. Entonces f
E
es medible.
2. Sea E un conjunto integrable de R
N
, y sea f : E R medible y acotada.
Entonces f L
1
(E).
3. Sea E un conjunto compacto de R
N
, y sea f : E R continua. Entonces
f L
1
(E).
Demostraci
on. 1. Aplquese el teorema anterior y la Proposicion 7.1.7.

2. Observar que f
E
es medible y [f
E
[ M
E
L
1
(E).
3. Es consecuencia de 1. y 2.
7.3. Principio de Cavalieri
Cuando denimos por primera vez la medida de un conjunto cuya caracterstica es
integrable introdujimos el Principio de Cavalieri (vease la pag. 53). Volvamos ahora
a usarlo para medir el volumen que encierra la gr aca de una funcion integrable no
negativa por encima de su dominio.
Sea A un conjunto medible en R
N
y f L
1
(A) una funci on no negativa. Su gr aca
es el conjunto
G(f) := (x, y) A [0, +[: y = f(x);
por otra parte este conjunto encierra el siguiente solido por encima del dominio A:
S(f) := (x, y) A [0, +[: y f(x).
Ambos conjuntos son medibles (observar que F(x, y) = y
[0,+[
(y) f(x)
A
(x) de-
nida en R
N
R es medible).
Ahora por Tonelli y Fuibini,
Vol(S(f)) = [S(f)[ =
_
A
__
[0,f(x)]
1dy
_
dx =
_
A
f(x)dx.
Observar que tamiben se deduce que la medida Ndimensional de la graca de f es
cero:
[G(f)[ = 0.
7.4. Ejercicios
TEMA 8
Cambio de variables
8.1. El Teorema de cambio de variable
El teorema de cambio de variable dado para la integral de Riemann se puede
escribir como:
Sea f 1([a, b]) y sea g continua, derivable y estrictamente monotona en el
intervalo [a, b]. Entonces
_
g([a,b])
f(y)dy =
_
[a,b]
f(g(x))[g
(x)[dx.
Denicion 8.1.1. Sea U R
N
un abierto. g : U R
N
se dice que es un cambio
de variables si
1. g es de clase C
1
,
2. g es inyectiva, y
3. El jacobiano de g no se anula en U: J
g
(x) ,= 0 x U.
Recordemos que el jacobiano de g es el determinante de la matriz jacobiana de g.
Proposicion 8.1.2. Sea U R
N
un abierto y g : U R un cambio de varia-
bles. Entonces g(U) es abierto y g
1
es tambien un cambio de variables (cambio de
variables inverso a g).
El teorema de cambio de variable anterior lo podemos generalizar como sigue.
Teorema 8.1.3 (Teorema de cambio de variable). Sea U R
N
un abierto y
g : U R
N
un cambio de variables. Sea B U medible. Entonces g(B) es medible,
f L
1
(g(B)) (f g)[J
g
[ L
1
(B),
e
_
g(B)
f =
_
B
(f g)[J
g
[.
([J
g
[ denota el modulo del jacobiano del cambio g).
O bien, usando variables explcitamente,
f(y) L
1
(g(B)) f(g(x))[J
g
(x)[ L
1
(B),
e
_
g(B)
f(y)dy =
_
B
f(g(x))[J
g
(x)[dx.
61
62 8. CAMBIO DE VARIABLES
Tambien,
_
B
f(x)dx =
_
g(B)
f(g
1
(y))
1
[J
g
[(g
1
(y))
dy.
Corolario 8.1.4. Sea U R
N
un abierto y g : U R
N
un cambio de variables.
1. Si A g(U) es integrable, entonces [A[ =
_
g
1
(A)
[J
g
[.
2. Si B U es integrable, [B[ =
_
g(B)
[J
g
1[.
Nota 8.1.5. En general si B es medible y g es un homeomorsmo (biyectiva y
continua con inversa continua), g(B) no es necesariamente medible.
Ejercicio 8.1.6. La composicion de cambios de variables es cambio de variable.
Despues veremos cambios de variables notables como el cambio a coordenadas
polares, el cambio a coordenadas esfericas o el cambio a coordenadas cilndricas. Pero
tambien son notables los cambios de coordenadas lineales, como son las rotaciones.
Empezaremos por estos, para los que es muy f acil probar el Teorema de cambio de
variable (recordar el Ejercicio 3.2.2).
8.1.1. Cambio de variable afn. Sea L : R
N
R
N
una aplicaci on li-
neal (es por tanto de clase C
1
) biyectiva (o, equivalentemente, inyectiva), con lo
que el determinante de su matriz asociada (su matriz Jacobiana, M
L
), es no nulo,
J
L
(x) = det(M
L
) ,= 0. Dicha aplicacion es por tanto un cambio de variable lineal.
Asociemos L con M
L
. El

Algebra lineal nos ense na que dichas matrices (invertibles)
siempre se pueden escribir como productos de dos clases de matrices elementales
(transformaciones elementales si pensamos en las aplicaciones lineales), P
a,i
, S
i,j
des-
critas por (es como hacer Gauss):
P
a,i
_
_
_
_
_
_
_
x
1
.
.
.
x
i
.
.
.
x
N
_
_
_
_
_
_
_
=
_
_
_
_
_
_
_
x
1
.
.
.
ax
i
.
.
.
x
N
_
_
_
_
_
_
_
, S
i,j
_
_
_
_
_
_
_
_
_
_
_
_
x
1
.
.
.
x
i
.
.
.
x
j
.
.
.
x
N
_
_
_
_
_
_
_
_
_
_
_
_
=
_
_
_
_
_
_
_
_
_
_
_
_
x
1
.
.
.
x
i
+x
j
.
.
.
x
j
.
.
.
x
N
_
_
_
_
_
_
_
_
_
_
_
_
,
donde a ,= 0 (y distinto de 1) y j ,= i en la segunda matriz. Observar que
P
a,i
es como la matriz identidad pero cambiando el elemento (i, i) por a. Su determi-
nante es [a[.
S
i,j
es la matriz identidad pero cambiando el elemento (i, j) por 1. Su determinante
es 1.
8. CAMBIO DE VARIABLES 63
A veces se usa una tercera clase de matriz elemental, I
i,j
descrita por
I
i,j
_
_
_
_
_
_
_
_
_
_
_
_
x
1
.
.
.
x
i
.
.
.
x
j
.
.
.
x
N
_
_
_
_
_
_
_
_
_
_
_
_
=
_
_
_
_
_
_
_
_
_
_
_
_
x
1
.
.
.
x
j
.
.
.
x
i
.
.
.
x
N
_
_
_
_
_
_
_
_
_
_
_
_
,
pero en realidad esta se consigue como productos de las otras.
Teorema 8.1.7 (Teorema de cambio de variable afn). Sea L un cambio de va-
riable lineal en R
N
y sea a R, entonces la aplicacion afn T(x) = a + L(x) es un
cambio de variable. Sea B M(R).
1. Si f L
1
(R
N
) entonces (f T) L
1
(R
N
), y
_
R
N
f(y)dy = [det(M
L
)[
_
R
N
f(T(x))dx.
2. Si g L
1
(T(B)) entonces (g T) L
1
(B) (y viceversa), y
_
T(B)
g(y)dy = [det(M
L
)[
_
B
g(T(x))dx.
3. T(B) M(R
N
) y [T(B)[ = [det(M
L
)[[B[.
Demostraci
on. La primera parte del enunciado es obvia. La demostraci on de

3. se obtiene de 2. tomando g(x) = 1. Por otra parte 2. se obtiene de 1. tomando la
funci on f(x) = g(x)
T(B)
(x).
Basta demostrar 1. en el caso en que a = 0, es decir, solo tenemos un cambio de
variable lineal, ya que la integral de Lebesgue es invariante por traslaciones. Ahora
como la composici on de cambios lineales es un cambio lineal y el determinante de
la matriz asociada al cambio compuesto es el producto de los determinantes de los
cambios considerados, basta probarlo para cambios lineales dados por matrices ele-
mentales. Por otra parte basta probarlo para funciones integrables no negativas ya
que f = f
+
f
, f
integrables.
Caso 1 [P
a,i
, a ,= 0]: ver el Ejercicio 3.2.2.
Caso 2 [S
i,j
, j ,= i]: usar Fubini para transformar el problema de un problema 1
dimensional, aplicar la invarianza de la integral por traslaciones y aplicar Tonelli.
8.2. Ejemplos notables de cambios de variable
Ya hemos visto las traslaciones, veamos ahora otros.
8.2.1. Rotaciones. Una rotacion es una transformacion (lineal) que describe
el movimiento de un s olido rgido alrededor de un punto jo.
Las matrices que representan rotaciones son ortogonales (sus vecoters la, o co-
lumna, forman una base ortonormal de R
N
) con determinante igual a 1.
En dos dimensiones una rotaci on de angulo que deja jo al (0, 0) viene dada
por la matriz
_
cos sin
sin cos
_
.
La matriz ortogonal
_
cos sin
sin cos
_
,
sin embargo, representa una reexion.
La medida de Lebesgue es invariante por traslaciones, por rotaciones y por ree-
xiones.
8.2.2. Cambio de coordenadas polares. Cualquier punto (x, y) R
2
(ex-
presado en coordenadas cartesianas) se puede expresar por medio de sus coordenadas
polares, , , que miden respectivamente la longitud del vector (x, y) y el angulo que
forma dicho vector con el semieje OX
+
(medido desde el eje OX
+
en sentido antiho-
rario):
_
x = cos ,
y = sin .
Y se tiene que la aplicaci on
G
2
:]0, []0, 2[R
2
G
2
(, ) = ( cos , sin ),
es un cambio de variable (cambio de coordenadas polares a cartesianas) cuya imagen
es R
2
(x, 0) : x 0, esto es, R
2
menos un conjunto nulo. La matriz jacobiana de
g es
_
cos sin
sin cos
_
,
cuyo determinante es . Por otra parte, =
_
x
2
+y
2
y = arctan
y
x
.
Este cambio de coordenadas polares est a centrado en (0, 0), si queremos centrarlo
en otro punto (x
0
, y
0
) basta denir
G
2,(x
0
,y
0
)
(, ) = (x
0
+ cos , y
0
+ sin ),
(el trasladado del cambio anterior) con el mismo dominio de g, su rango es justo
R
2
(x, y
0
) : x x
0
. El jacobiano de G
2,(x
0
,y
0
)
es tambien .
8.2.3. Cambios de coordenadas cilndricas y esfericas. Cualquier punto
(x, y, z) R
3
(expresado en coordenadas cartesianas) se puede expresar por medio
de sus coordenadas cilndricas, , , w, que miden respectivamente la longitud
del vector (x, y), el angulo que forma el vector (x, y, 0) con el semieje OX
+
(medido
desde el semieje OX
+
en sentido antihorario), y z:
_
_
x = cos ,
y = sin ,
w = z.
H :]0, []0, 2[R R
3
H(, , w) = ( cos , sin , w),
es un cambio de variable (cambio de coordenadas cilndricas a rectangulares), cuya
imagen es R
3
(x, 0, z) : x 0, z R, esto es, R
3
menos un conjunto nulo. La
matriz jacobiana de H es
_
_
cos sin 0
sin cos 0
0 0 1
_
_
,
cuyo determinante es .
Este cambio es como un cambio de coordenadas polares en las dos primeras va-
riables, dejando la tercera igual.
Cualquier punto (x, y, z) R
3
(expresado en coordenadas cartesianas) se puede
expresar por medio de sus coordenadas esfericas, , , , que miden respectivamente
la longitud del vector (x, y, z), el angulo que forma el vector (x, y, z) con el semieeje
OZ
+
(medido desde el semieje OZ
+
) y el angulo que forman (x, y, 0) y el semieje
OX
+
(medido desde el semieje OX
+
en sentido antihorario) :
_
_
z = cos
x = sin cos ,
y = sin sin , .
G
3
:]0, []0, []0, 2[R
3
G
3
(, , ) = ( sin cos , sin sin , cos ).
es un cambio de variable (cambio de coordenadas esfericas a rectangulares), cuya
imagen es R
3
(x, 0, z) : x 0, z R, esto es, R
3
menos un conjunto nulo. La
matriz jacobiana de G
3
es
_
_
sin cos cos cos sin sin
sin sin cos sin sin cos
cos sin 0
_
_
,
cuyo determinante es
2
sin > 0.
Los cambios de coordenadas esfericas son la composici on de cambios de coorde-
nadas polares. Ve amoslo y demos un cambio de coordenadas esfericas en R
N
, N 2
(para N = 3 el cambio que vamos a dar se parece a G
3
con las variables nales
cambiadas de sitio; J indica el Jacobiano de cada paso y J
T
el Jacobiano total de los
cambios realizados desde el inicio hasta ese momento):
(,
1
,
2
,
3
, . . . ,
N3
,
N2
,
N1
) ]0, +[]0, []0, []0, [ ]0, []0, []0, 2[

G
2
(,
1
), el resto igual; J = . J
T
= .
( cos
1
, sin
1
,
2
,
3
, . . . ,
N3
,
N2
,
N1
) R]0, +[]0, []0, [ ]0, []0, []0, 2[
G
2
( sin
1
,
2
), el resto igual; J = sin
1
. J
T
=
2
sin
1
.
( cos
1
, sin
1
cos
2
, sin
1
sin
2
,
3
, . . . ,
N3
,
N2
,
N1
) R
2
]0, +[]0, [ ]0, []0, []0, 2[
G
2
( sin
1
sin
2
,
3
), el resto igual; J = sin
1
sin
2
. J
T
=
3
sin
2
1
sin
2
.
.
.
.
( cos
1
, sin
1
cos
2
, . . . , sin
1
sin
2
sin
N3
cos
N2
, sin
1
sin
2
sin
N3
sin
N2
,
N1
)
G
2
( sin
1
sin
2
sin
N3
sin
N2
,
N1
); J = sin
1
sin
2
sin
N3
sin
N2
.
J
T
=
N1
sin
N2
1
sin
N3
2
. . . sin
2
N3
sin
N2
.
( cos
1
, sin
1
cos
2
, . . . , sin
1
sin
2
sin
N2
cos
N1
, sin
1
sin
2
sin
N2
sin
N1
)
=: G
N
(,
1
,
2
,
3
, . . . ,
N3
,
N2
,
N1
) = G
N
(, )
= (x
1
, x
2
, . . . , x
N1
, x
N
) R
N
_
R
N2
[0, +[0
_
= Ran(G
N
).
G
N
es un cambio de variable (cambio de coordenadas esfericas a rectangulares en
R
N
). Su jacobiano es el ultimo J
T
obtenido:
J
G
N
(, ) =
N1
sin
N2
1
sin
N3
2
. . . sin
2
N3
sin
N2
> 0.
Si usamos este cambio G
N
para calcular la medida de una bola de radio R en R
N
obtenemos lo siguiente (N 2):
[B(0, R)[ =
R
N
N
_

0
sin
N2
d
_

0
sin
N3
d
_

0
sin
2
d
_

0
sin d 2
=
R
N
N

N
.
Donde (usar el Ejercicio 8.2.1)
N
=
2
N
2
(
N
2
)
. Con lo que tambien:
[B(0, R)[ =

N
2
_
N
2
+ 1
_R
N
.
La formula vale tambien para N = 1.
M as general, si usamos este cambio G
N
para calcular la integral de una funcion
radial obtenemos lo siguiente:
_
R
N
f([x[)dx =
N
_
[0,+[
f()
N1
d.
Ejercicio 8.2.1. La funcion Gamma se introdujo en el Ejercicio 4.1.8:
(a) =
_
+
0
e
x
x
a1
dx.
Denamos ahora la funci on beta como:
(a, b) :=
_
1
0
x
a1
(1 x)
b1
dx, a, b ]0, +[.
Probar que est a bien denida.
Probar que se cumple:
(a) = 2
_

0
y
2a1
e
y
2
dy.
(a, b) = 2
_
/2
0
sin
2a1
cos
2b1
d,
_
1
2
,
1
2
_
= ,
(a, 1) =
1
a
,
(a, b) =
(a)(b)
(a +b)
,
(a + 1) = a(a) si a > 0,
(n + 1) = n! si n N,
_
1
2
_
=
,
_

0
e
y
2
dy =
2
.
8.3. Ejercicios
Bibliografa
[1] T. M. Apostol. Analisis Matematico. Segunda edicion. Ed. Reverte, 1991.
[2] F. Jones. Lebesgue Integration on Euclidean Space. Jones and Bartlett Publishers, 1993.
[3] A. J. Weir. Lebesgue Integration & Measure. Cambridge Univ. Press, 1973.
69

Integracion (Alumnos) Web PDF

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Integracion (Alumnos) Web PDF

Hochgeladen von

Copyright:

Verfügbare Formate

INTEGRACI

on. La propiedad 1. es evidente. Por otra parte la 3. se deduce de

on. Podemos suponer sin perdida de generalidad que I es compacto

una partici on igual o mas na que el conjunto de extremos de los intervalos I

una particion igual o m as na que el conjunto de extremos de los intervalos I

on. Es obvio para g = 0 si usamos una representaci on para f como

on. Basta ver que [f[ lo es para ver que lo sean f

converge c.p.p., i.e., existe un conjunto nulo S tal que lm

on. Basta observar que

on del Teorema 2.1.9. Podemos suponer que f

es menor o igual que .

on. Como S es nulo,

on del Lema 2.2.1. Punto 1. Como f

on. La demostracion de 2. ya esta hecha y la de 1. es muy facil.

sucesiones de escalonadas generadores de f y g respectivamente. Entonces f

= f 0). Pero, sin embargo,

on. Sean f, g funciones superiores no negativas y sean f

on. Dividamos el intervalo [0, 1[ en por la mitad como

on. En el resultado anterior tomar

on. Sea M una cota de f. Y supongamos sin perdida de generalidad

(f, P), (integral inferior),

on. La segunda parte es consecuencia inmediata del Teorema 3.3.1.

on del Ejercicio 3.3.4.

on. Probemos primero lo siguiente. Sea f L

on. Basta hacer la prueba para una sucesion monotona creciente,

on. Podemos suponer que f 0, de lo contrario tomamos f

on. 1. Las implicacion hacia la izquierda es evidente ya que [f[

on. La prueba de 1. se sigue del hecho siguiente:

dx, que sabemos que es falso.

una sucesion de funciones de L

es una sucesi on mon otona de funciones integrables que converge a sup

on del Teorema 4.2.2 de la convergencia dominada.

on. Podemos suponer sin perdida de generalidad que (0, 0) = 0 si

on del Teorema 5.1.4. Sea g L

on. Probaremos que S

on del Teorema de Fubini 6.1.3.

on. 1. Basta recordar [2.1.1], [2.1.2] y el Corolario 5.1.7, para ver

on. 1. es evidente y 3. y 4. se siguen de 2., observar que todo con-

on. Basta ver que A R

on. Empecemos suponiendo que f es medible, y sea m R. Sea

on. 1. Aplquese el teorema anterior y la Proposicion 7.1.7.

on. La primera parte del enunciado es obvia. La demostraci on de

Das könnte Ihnen auch gefallen