Apuntes de Medida

Teora de la medida e integral de Lebesgue
Pedro Alegra
pedro.alegria@ehu.es
Departamento de Matematicas
Euskal Herriko Unibertsitatea / Universidad del Pas Vasco
Bilbao - Espa
na
Apuntes elaborados para el curso de Maestra en Matematicas de la Universidad Nacional de Asunci

on (Paraguay), en agosto de 2007.
Adaptaci
on posterior para el curso Medida e integracion del Grado en Matematicas
de la UPV/EHU.
Indice general
Pr
ologo
1. Evoluci
on del concepto de integral
1.1. Desde el problema de la cuadratura ... . . . . . . . . . . . . . . . . . . . . . .
1.2. ... hasta la integral de Lebesgue y mas alla . . . . . . . . . . . . . . . . . . . .
11
2. Integral de Lebesgue en R
15
2.1. Motivaci
on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
15
2.1.1. Deficiencias de la integral de Riemann . . . . . . . . . . . . . . . . . .
16
2.1.2. Nueva forma de contar rectangulos . . . . . . . . . . . . . . . . . . . .
18
2.2. Conceptos previos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
19
2.3. Tres principios de Littlewood . . . . . . . . . . . . . . . . . . . . . . . . . . .
21
2.3.1. Todo conjunto medible es casi union finita de intervalos . . . . . . . .
21
2.3.2. Toda funci

on medible es casi continua . . . . . . . . . . . . . . . . . .
32
2.3.3. Toda sucesi

on convergente de funciones medibles es casi uniformemente
convergente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
37
2.4. Integral de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
38
2.4.1. Definiciones y primeros resultados . . . . . . . . . . . . . . . . . . . .
38
2.4.2. Teoremas de convergencia . . . . . . . . . . . . . . . . . . . . . . . . .
45
2.5. Derivaci
on e integraci
on de funciones integrables . . . . . . . . . . . . . . . .
50
2.5.1. Derivaci
on de una integral . . . . . . . . . . . . . . . . . . . . . . . . .
50
2.6. Calculo integral de funciones integrables . . . . . . . . . . . . . . . . . . . . .
53
2.6.1. F
ormulas de integraci
on . . . . . . . . . . . . . . . . . . . . . . . . . .
53
2.6.2. Integrales dependientes de un parametro . . . . . . . . . . . . . . . . .
56
3. Teora de la medida abstracta
57
3
INDICE GENERAL
3.1. Espacios de medida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
57
3.2. Funciones medibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
60
3.3. Integraci
on de funciones medibles . . . . . . . . . . . . . . . . . . . . . . . . .
61
3.4. Construcci
on de medidas abstractas . . . . . . . . . . . . . . . . . . . . . . .
66
3.4.1. Medida exterior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
66
3.4.2. Teorema de extensi

on de Caratheodory . . . . . . . . . . . . . . . . .
69
3.5. Medidas producto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
73
4. Espacios Lp
79
4.1. Espacios normados. Definici

on y ejemplos . . . . . . . . . . . . . . . . . . . .
79
4.2. Desigualdades de H
older y Minkowski . . . . . . . . . . . . . . . . . . . . . .
81
4.3. Espacios Lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
85
4.4. Propiedades de los espacios normados . . . . . . . . . . . . . . . . . . . . . .
90
4.5. Funcionales lineales acotados en Lp . . . . . . . . . . . . . . . . . . . . . . . .
91
Ap
endice I: la teora de la medida en sus personajes
99
Prologo
A lo largo de la historia de las matem

aticas podemos encontrar diferentes conceptos de integracion, motivados por muy diversos problemas. Ya en la epoca griega encontramos ejemplos
de cuadratura, llamada as por el problema de identificar el area de una figura geometrica
con el area de un cuadrado, termino empleado en la actualidad como sinonimo del calculo
de areas mediante integraci
on. La siguiente evolucion, debida a Isaac Newton y Gottfried
Leibniz, consisti
o en convertir el c
alculo de areas como una aplicacion de la operacion inversa
de la derivada, idea que fue el punto de partida del calculo infinitesimal. Esto permite definir nuestro primer concepto de integral, la llamada integral de Newton:R dada una funcion
b
f : [a, b] R, si F es una primitiva de f , es decir tal que F 0 = f , se define a f = F (b)F (a).
Es evidente la cantidad de limitaciones que ofrece esta definicion. A partir de entonces,
muchas variantes, refinamientos, adaptaciones o modificaciones de este concepto han sido
desarrollados hasta nuestros das. La que supuso el cambio de orientacion a la vez que la
introduccion del rigor matem
atico -la integral vista como suma infinita en vez de ser la
operacion inversa de la derivada- fue la definicion dada por Augustin Cauchy para funciones
continuas a principios del siglo XIX, y precursora de la mas conocida integral de Riemann,
presente en los programas de todos los estudios superiores de matematicas.
La teora de la integral de Riemann presenta algunas limitaciones pues muchas funciones
importantes del an
alisis no son integrables. Tampoco existen teoremas de convergencia satisfactorios. De hecho no necesariamente el lmite puntual de una sucesion de funciones integrables es integrable. Se precisaba, pues, un nuevo concepto de integral que solventara estas
dificultades.
Una de las teoras m
as fructferas en este sentido fue la desarrollada a principios del siglo
XX por Henry Lebesgue. Con su definicion, funciones discontinuas en todo su dominio son
integrables y el teorema fundamental de la integral es valido para toda funcion derivable
con derivada acotada. Adem
as, son ciertos los teoremas fundamentales de convergencia de
integrales. Por el contrario, su definicion es significativamente mas complicada que la de
Riemann. Adem
as, la integral impropia de Riemann no esta contenida estrictamente en la
integral de Lebesgue.
Durante el siglo XX se han desarrollado otros enfoques de la integral, a
un mas generales
que el de Lebesgue. Dos de los primeros fueron los desarrollados por Denjoy (1912) y Perron
(1914), tratando de resolver el problema de la derivacion de integrales. Uno de los enfoques
5
INDICE GENERAL
mas modernos y u
tiles, de hecho con formulacion mas sencilla que las de Denjoy y Perron, fue
propuesto de forma independiente por Jaroslav Kurzweil (1957) y Ralph Henstock (1961).
Su definicion, basada en la integral de Riemann, hace que toda funcion integrable Lebesgue
sea tambien integrable seg
un Henstock y Kurzweil, que toda derivada sea integrable seg
un
Henstock y Kurzweil y que el teorema fundamental y los teoremas de convergencia de la
integral sean m
as generales que los que se demuestran con la integral de Lebesgue.
Se conocen en la literatura m
as de 100 nombres para la integral: algunos tienen solo interes
historico y su alcance ha sido superado por otros conceptos mas modernos (la integral de
Riemann es un caso particular de la integral de Riemann-Stieltjes); algunos son equivalentes,
como las integrales de Denjoy, Perron y Henstock-Kurzweil en R; algunos estan definidos
de forma exclusiva en espacios concretos, como la integral de Bochner para funciones con
valores en espacios de Banach. Incluso si pudieramos definir una integral que englobe a todas
las demas, sera demasiado difcil de manejar en casos concretos. Por eso, es todava u
til la
integral de Riemann a nivel elemental y la integral de Lebesgue como estandar en el analisis
real y funcional.
Captulo
Evolucion del concepto de integral

Si Newton y Leibniz hubieran llegado a imaginarse que las funciones continuas
no tienen por que tener derivada (y esto es lo que ocurre en general), nunca se
habra creado el c
alculo diferencial.
Charles Emile
Picard
En este captulo introductorio repasamos las diferentes definiciones de integral desde su perspectiva historica, en donde se plantea la necesidad de la evolucion de dicho concepto y su
desarrollo actual. Un estudio minucioso de la historia de la integral, plagado de citas y fuentes
originales, puede encontrarse en [Pi], mientras que [Bu] y [Go] son textos de referencia con
detalles de las demostraciones de los resultados clasicos y modernos de la teora de integracion.
1.1.
Desde el problema de la cuadratura ...
Desde tiempos remotos, el matem

atico se ha planteado el problema del calculo de areas
con mas o menos exito. Algunos de los ejemplos mas antiguos que han trascendido hasta
nuestros das se basaban en relacionar las figuras dadas con cuadrados de lado conocido. As,
Hipocrates pudo hallar el
area de la l
unula (figura comprendida entre dos arcos circulares).
Mas adelante, Eudoxo justific
o el metodo de exhaucion mediante el cual ciertas regiones
curvas pueden aproximarse por figuras poligonales. Con ello se probara que el area de un
crculo es proporcional al cuadrado de su diametro, lo cual era obvio para polgonos regulares.
El propio Eudoxo calcul
o de esta manera el volumen del prisma y el cono.
Posteriormente, Arqumedes dio muestras de su genialidad probando, por el metodo de exhaucion, que el
area de un segmento parabolico es igual a 4/3 del area del triangulo inscrito.
Ya en su epoca era conocido que el area de una figura plana es aditiva e invariante por
movimientos, pero quedaba pendiente la cuestion de saber si toda figura geometrica tiene
area.
No fue hasta el siglo XVII que el c
alculo de areas se convirtio en una aplicacion del concepto
de integral y el problema de cuadratura se resolvio mediante la relacion entre derivada e integral, dada por el teorema fundamental del calculo, establecido por Isaac Newton y Gottfried
Leibniz.
7
1.1. Desde el problema de la cuadratura ...
Esta b
usqueda de soluciones de una ecuacion diferencial origina el primer concepto de integral,
la llamada integral de Newton, definida como operacion inversa de la derivada, de modo que,
si F es una primitiva de f , es decir tal que F 0 = f , entonces
Z b
f = F (b) F (a).
(N)
a
Este resultado, conocido hoy en da como teorema fundamental del calculo integral, ha sido
generalizado de diferentes maneras y motivado los diferentes enfoques de la integral, como
los que mostramos a continuaci
on.
El siguiente paso adelante lo dio Augustin Cauchy, considerado como el fundador de la teora
de integracion, al definir (en 1823) de forma constructiva la integral de una funcion continua.
Definici
on. Dada una funci
on continua f : [a, b] R, sea P = {x0 , x1 , . . . , xn } una particion
de [a, b], y llamamos di
am(P ) = m
ax{xk xk1 : k = 1, . . . , n}. Para cada k {1, . . . , n},
sea ck [xk1 , xk ] un punto arbitrario. Entonces existe una constante L tal que

n

X

> 0, > 0 :
f (ck ) (xk xk1 ) L < ,

k=1
Z
para toda P partici
on de [a, b] con di
am(P ) < . En tal caso, escribimos L = (C)
f (x) dx.
a
Con la definici
on de Cauchy y utilizando la continuidad uniforme, podemos demostrar el
teorema fundamental para funciones de clase C (1) .
Teorema 1.1.1 (fundamental del c
alculo para la integral de Cauchy).
a) Si F
C (1) [a, b],
Z
entonces
(C)
F 0 (t) dt = F (x) F (a), x [a, b].
Z
b) Si f C[a, b] y F (x) =
(C)
f (t) dt, entonces F C (1) [a, b], F 0 = f en [a, b] y F es
absolutamente continua en [a, b].

Tambien son importantes los criterios de convergencia de las integrales de sucesiones de
funciones. En este caso, un resultado b
asico es el siguiente.
Teorema 1.1.2 (convergencia de funciones integrables). Si (fn )nN es una sucesi
on de funZ b
ciones continuas en [a, b] que converge uniformemente a f en [a, b], entonces (C)
f (x) dx =
a
Z b
lm (C)
fn (x) dx.
n
Tambien era posible calcular la integral, por el metodo de Cauchy, de funciones con un n
umero
finito de discontinuidades de salto finito. Sin embargo, no estaba claro lo que ocurra con
funciones con una cantidad numerable, o incluso densa, de discontinuidades de salto.
Un enfoque similar al de Cauchy fue considerado por Bernhard Riemann en 1854, como
respuesta a las cuestiones de Dirichlet sobre el tipo de discontinuidad que puede tener una
Captulo 1. Evoluci
funcion para tener una integral. Como los coeficientes de una serie de Fourier se expresan
mediante una integral, en el trabajo titulado On the representability of a function by means
of trigonometric series consider
o el significado de la integral definida mediante sumas.
Definici
on. Dada una funci
on acotada f : [a, b] R, consideremos una particion P =
{x0 , x1 , . .P
. , xn } del intervalo [a, b] y sea ck [xk1 , xk ] (k = 1, . . . , n) un punto arbitrario.
El valor nk=1 f (ck )(xk xk1 ) recibe el nombre de suma de Riemann de f respecto a la
partici
on P y decimos que f es integrable (seg
un Riemann) en [a, b] cuando existe y es finito
n
X
lm
di
am(P )0
f (ck )(xk xk1 ).
k=1
Dicho lmite recibe el nombre de integral de Riemann de f en [a, b] y lo denotamos por

Z b
(R)
f (x) dx.
a
Con esta definici

on, se prueba que todas las funciones continuas son integrables Riemann, y
que la integral de Riemann coincide con la integral de Cauchy.
Algunas caracterizaciones para la integral de Riemann, cuya demostracion puede encontrarse
en la mayora de textos universitarios, son las siguientes:
Teorema 1.1.3. Sea f : [a, b] R una funci
on acotada. Son equivalentes:
a) f es integrable Riemann en [a, b].
b) (Criterio de Cauchy) > 0, existe una partici
on P = {x0 , x1 , . . . , xn } de [a, b] tal que
n
X
sup
f (x)
nf
x[xk1 ,xk ]
k=1 x[xk1 ,xk ]

f (x) (xk xk1 ) < .
c) Para cualesquiera , ` > 0, existe > 0 tal que, para cualquier partici
on de [a, b] de
di
ametro menor que , la suma de las longitudes de los subintervalos [xk1 , xk ] con
supx[xk1 ,xk ] f (x) nf x[xk1 ,xk ] f (x) > es menor que `.
d) (Condici
on de Darboux) Si llamamos
U (f, P ) =
L(f, P ) =
n
X
sup
k=1 x[xk1 ,xk ]

n
X
nf
k=1
x[xk1 ,xk ]
f (x) (xk xk1 ),

f (x) (xk xk1 ),
entonces sup L(f, P ) = nf U (f, P ).

P
e) (Criterio de Lebesgue) El conjunto de discontinuidades de f tiene medida cero.

El proceso de integraci
on, una vez establecida la clase de funciones integrables Riemann,
descansa en los siguientes resultados (cuyas demostraciones pueden encontrarse, por ejemplo,
en [Bu]).
10
1.1. Desde el problema de la cuadratura ...
Teorema 1.1.4 (primer teorema fundamental de la integral de Riemann). Sea

derivable
Z F
x
F 0 (t) dt =
en [a, b], con F 0 acotada y continua en casi todo punto de [a, b]. Entonces (R)
a
F (x) F (a), para todo x [a, b].
Teorema 1.1.5 (segundo teorema fundamental de

Z xla integral). Sea f acotada y continua en
casi todo punto x [a, b] y llamemos F (x) = (R)
f (t) dt. Entonces
a
a) F es continua en [a, b].

b) Si f es continua en x0 [a, b], entonces F es derivable en x0 y F 0 (x0 ) = f (x0 ).
c) F 0 (x) = f (x) en casi todo punto x [a, b].
Con respecto a la convergencia de la sucesion de integrales, el resultado fundamental es el
siguiente.
Teorema 1.1.6 (convergencia de funciones integrables Riemann). Sea (fk )kN una sucesi
on
de funciones integrables Riemann que converge uniformemente a f en [a, b]. Entonces f es
Z b
Z b
f (x) dx = lm (R)
fk (x) dx.
integrable Riemann en [a, b] y (R)
a
Tal como hemos enunciado en el teorema 1.1.3, a principios del siglo XX, Henri Lebesgue
probo que una condici
on necesaria y suficiente para que exista la integral de Riemann de
una funcion acotada es que el conjunto de sus puntos de discontinuidad tenga medida cero.
Previamente, Riemann haba construido un ejemplo de funcion integrable cuyos puntos de
discontinuidad formaban un subconjunto denso. Incluso es valido el teorema fundamental de
la integral para funciones con derivada continua en casi todo punto.
Estudiando el modelo matem
atico de la distribucion de masas en la recta real, Thomas Stieltjes extendio, en 1894, las sumas de Riemann a sumas con funciones peso, las llamadas sumas
n
X
de Riemann-Stieltjes, que tienen la forma
f (ck )[(xk )(xk1 )], donde {x0 , x1 , . . . , xn } es
k=1
cualquier partici
on del intervalo [a, b] y ck es un punto arbitrario de [xk1 , xk ], k = 1, . . . , n,
siendo : [a, b] R una funci
on creciente. De forma mas general, podemos establecer la
siguiente definici
on.
Definici
on. Sean f, : [a, b] R dos funciones acotadas. Decimos que f es integrable
Riemann-Stieltjes con respecto a en el intervalo [a, b] cuando existe una constante L tal
que

n
X

f (ck )[(xk ) (xk1 )] L < ,
> 0, > 0 :

k=1
para cualquier partici

on P = {x0 , x1 , . . . , xn } de diametro menor que , donde ck [xk1 , xk ]
es arbitrario (k = 1, . . . , n).
En este caso, definimos la integral de Riemann-Stieltjes de f respecto a como
Z b
(R-S)
f (x) d(x) = L.
a
Captulo 1. Evoluci
11
La relacion entre ambas integrales es sencilla, como se deduce del siguiente resultado.
Teorema 1.1.7. Si f es continua y 0 es integrable Riemann en [a, b], entonces f es integrable
Riemann-Stieltjes respecto a en [a, b] y
Z
Z
f (x) d(x) = (R)
(R-S)
a
f (x)0 (x) dx.
Tambien es v
alido el teorema fundamental de la integral de Riemann-Stieltjes en el caso de
que sea una funci
on creciente.
1.2.
... hasta la integral de Lebesgue y m

as all
a
La pregunta natural que surge a continuacion es la siguiente: La clase de funciones integrables

es ya suficientemente amplia? En 1881, Vito Volterra encontro un ejemplo (basado en el
conjunto de Cantor) de una funci
on derivable en la recta real, cuya derivada es acotada pero
discontinua en un conjunto de medida positiva, es decir no integrable Riemann.
Con el objetivo de incluir esta clase de funciones en el conjunto de funciones integrables,
Henry Lebesgue desarroll
o su famoso concepto de integral en 1903. Utilizando su definicion,
probo que el teorema fundamental de la integral era valido para toda funcion derivable con
derivada acotada.
Es destacable la originalidad del enfoque de Lebesgue en contraposicion con las ideas de
Riemann y sus predecesores. Mostramos una idea general de la construccion de Lebesgue en
su definicion de integral.
Dada f : [a, b] R, supongamos que < f (x) < , x [a, b]. Sea {y0 , y1 , . . . , yn } una
particion de [, ] y llamamos f 1 ([yk1 , yk )) = {x [a, b] : yk1 f (x) < yk }, para
k = 1, . . . , n. Eligiendo arbitrariamente ck f 1 ([yk1 , yk )), la integral de Lebesgue de f en
[a, b] se define como el lmite, caso de existir, de las sumas
f (c1 ) long f 1 ([y0 , y1 )) + + f (cn ) long f 1 ([yn1 , yn ))
cuando n .
La simple idea de establecer una particion de la imagen de la funcion en vez de su dominio,
le permitio, por ejemplo, calcular la integral de la funcion de Dirichlet
(
0 si x es racional
f (x) =
1 si x es irracional,
la cual es discontinua en todo su dominio.
La necesidad de medir adecuadamente las longitudes de las imagenes inversas de intervalos en
la nueva integral obligaba a desarrollar una teora de la medida que fuera logica y consistente.
Muchos esfuerzos, entre los que destacaremos los de Emile

Borel, Constantin Caratheodory,
Camille Jordan y el propio Lebesgue, se dedicaron hasta construir la medida de Lebesgue,
valida para casi todos los subconjuntos de R. El siguiente paso fue definir las funciones
medibles y establecer los teoremas de convergencia para la integral de Lebesgue, los cuales la
12
1.2. ... hasta la integral de Lebesgue y m

as all
a
convirtieron en una herramienta b

asica del analisis y permitieron ampliar significativamente
la clase de funciones integrables.
Las cuestiones b
asicas son las siguientes: dada una sucesion (fn ) de funciones integrables
Lebesgue en [a, b], tal que fn converge puntualmente a f c.s. en [a, b], es f integrable Lebesgue
en [a, b]? En caso afirmativo, es cierto que el lmite de la integral es igual a la integral del
lmite?
Los resultados siguientes proporcionan las respuestas a estas cuestiones.
Teorema 1.2.1 (convergencia acotada). Sea (fn )nN una sucesi
on de funciones medibles en
[a, b]. Supongamos que existe M R tal que |fn (x)| M , para todos n y x. Si f (x) =
Z b
Z b
lm fn (x), x [a, b], entonces (L)
f (x) dx = lm (L)
fn (x) dx.
a
Teorema 1.2.2 (convergencia mon

otona). Sean (fn ) una sucesi
on creciente de funciones
medibles no negativas y f = lm fn . Entonces
Z
Z
f (x) dx = lm (L)
(L)
a
fn (x) dx.
a
Teorema 1.2.3 (convergencia dominada de Lebesgue). Sean g una funci

on integrable en
[a, b] y (fn ) una sucesi
on de funciones medibles tales que |fn | g en [a, b] y f (x) = lm fn (x)
c.s. en [a, b]. Entonces
Z b
Z b
f (x) dx = lm (L)
fn (x) dx.
(L)
a
Una posterior adaptaci

on de la integral de Lebesgue, necesaria en la teora de probabilidad,
consistio en modificar la medida de un conjunto utilizando funciones peso. As, la medida de
Lebesgue-Stieltjes de un intervalo (a, b] es (b) (a), donde es una funcion continua por
la derecha en R, creciente y no negativa, tal que lmx (x) = 0 y lmx+ (x) = 1.
Definida de esta manera la medida se construye la integral de Lebesgue-Stieljes de forma
similar a la de Riemann-Stieltjes.
Durante el siglo XX se han desarrollado otros enfoques de la integral, a
un mas generales
que el de Lebesgue. Entre los m
as significativos destacaremos el planteamiento de Arnaud
Denjoy [De], quien abord
o en 1912 el problema de la relacion entre una funcion y la integral
de su derivada. Era sabido que la integral de Riemann tiene sentido para todas las funciones
continuas o aquellas cuyos puntos de discontinuidad forman un conjunto de medida nula,
mientras que la integral de Lebesgue se calcula sobre toda funcion medible acotada. En
ambos casos, la integral indefinida es continua y su derivada coincide con la funcion dada
salvo en un conjunto de medida nula. Como, por el contrario, la derivada de una funcion
no es necesariamente integrable, Denjoy desarrollo una teora que permite recuperar una
funcion continua a partir de su derivada. Posteriormente, y con este mismo objetivo de que
toda derivada es integrable, Oskar Perron construyo un nuevo concepto de integral, el cual
resulto ser equivalente al de Denjoy.
Uno de los nuevos enfoques m
as estudiados es el que propusieron de forma independiente
Ralph Henstock (1957) y Jaroslav Kurzweil (1961), tratando simplemente de generalizar la
integral de Riemann. El punto de partida de este enfoque es la solucion de la ecuacion integral,
Captulo 1. Evoluci
13
planteada por Hilbert y Fredholm,

Z
f (t, y(t)) dt.
y(x) = y0 +
a
Al sustituir dicha integral por sumas de Riemann, se llega a la aproximacion

y(x) ' y0 +
m
X
[F (aj , y(tj )) F (aj1 , y(tj1 ))],
j=1
f (t, y(t)) dt y {([aj1 , aj ], tj ), j = 1, . . . , m} es una, as llamada, particion
donde F (x, y) =
a
etiquetada del intervalo [a, x].

La novedad de su planteamiento se basa en elegir la particion del intervalo [a, b] donde esta definida la funci
on de modo que el tama
no de cada subintervalo dependa de la oscilacion de la
funcion. Si en las sumas de Riemann existe una constante tal que max1kn (xk xk1 ) < ,
en el caso de la integral de Henstock y Kurzweil (que abreviaremos por H-K) dicho sera una
funcion que vendr
a definida por la condicion
ck (ck ) < xk1 < ck < xk < ck + (ck ).
Este hecho permitir
a que toda funci
on integrable Lebesgue sea integrable H-K, que toda
derivada sea integrable H-K y que el teorema fundamental y los teoremas de convergencia
sean mas generales, todo ello sin necesidad de construir una teora de la medida, como en el
caso de la integral de Lebesgue.
Esta nueva definici
on tiene importantes consecuencias y aplicaciones. A pesar de que no es
valido el lema de Riemann-Lebesgue para esta integral, en Analisis Armonico se han obtenido
interesantes resultados utilizando la integral de H-K.
Captulo
Integral de Lebesgue en R
Lo que el an
alisis te da con una mano te lo quita con la otra. Retrocedo con p
anico
frente a esta lamentable plaga de funciones continuas que no tienen derivada.
Charles Hermite
2.1.
Motivaci
on
La teora de integracion de Riemann presentada en 1854 es una adaptacion de la teora de

Cauchy debilitando las hip
otesis necesarias para que una funcion sea integrable. Mientras
Cauchy restringa la integrabilidad a funciones continuas, Riemann dio una condicion necesaria y suficiente para la integrabilidad de una funcion: una funcion acotada f (x) es integrable
en [a, b] si y s
olo si la suma de Cauchy
Sn =
n
X
f (tk )(xk xk1 ),
k=1
donde a = x0 < x1 < . . . < xn = b y tk [xk1 , xk ], se aproxima a un u

nico valor lmite
cuando el tama
no de la partici
on del intervalo se aproxima a 0. Este u
nico valor lmite es
Z b
por definicion
f (x) dx. Aunque lo que Riemann hizo nos pueda parecer ahora un paso
a
casi trivial a partir de la integral de Cauchy, historicamente represento un gran salto, ya

que involucraba un concepto radicalmente diferente de funcion. De hecho, en su tiempo, la
teora de Riemann pareca la m
as general posible: su condicion de integrabilidad era la mas
debil usando la definici
on tradicional de Cauchy; de hecho, permita extender el concepto de
integral a funciones cuyos puntos de discontinuidad forman un conjunto denso, funciones cuya
existencia ni siquiera haba sido sospechada por la mayora de los matematicos de la epoca.
Una nueva generalizaci
on pareca por lo tanto impensable. Impensable siempre y cuando la
suma de Cauchy fuese tomada como punto de partida para la definicion de integral. Es en
este sentido que la idea de medida se hace fundamental para sentar las bases de una nueva
definicion de integral, la cual se haca cada vez mas necesaria despues de los trabajos de
Fourier y Dirichlet para admitir funciones cada vez mas discontinuas.
15
16
2.1. Motivaci
on
2.1.1.
Deficiencias de la integral de Riemann
El nuevo concepto de integral que desarrollamos en este curso tratara de solventar las deficiencias que presentaba la integral de Riemann y que se hicieron patentes a partir de 1890.
Basicamente, deseamos que la integral de Lebesgue resuelva alguna de las limitaciones que
enumeramos a continuaci
on.
1. La clase de funciones integrables Riemann es relativamente peque
na. Solo alcanza las
funciones con una cantidad numerable de puntos de discontinuidad finita.
2. La integral de Riemann no tiene propiedades de lmite satisfactorias. Sin hipotesis
adicionales, no se puede pasar al lmite bajo el signo integral.
3. En muchos casos, la primitiva de una funcion integrable no es derivable. En muchos
otros, la derivada de una funci
on no es integrable Riemann.
4. Los espacios Lp (p < ) no son completos bajo la integral de Riemann.
Ejemplo 1. La funci
on f : [0, 1] R definida por
(
1
f (x) =
0
si x Q
en el resto,
es la llamada funci
on de Dirichlet, la cual es discontinua en todo [0, 1] y, por lo tanto, no es
integrable Riemann.
Sin embargo, la funci
on de Thomae f : [0, 1] R definida por
1/q
f (x) = 0
si x = p/q, p, q N, mcd(p, q) = 1
si x
6 Q
si x = 0,
es continuaR en los irracionales y discontinua en los racionales, es integrable Riemann en [0, 1]

1
y ademas 0 f = 0.
Para demostrar que es integrable Riemann, observemos en primer lugar que L(f, P ) = 0
para cualquier partici
on P del intervalo [0, 1] ya que todo intervalo [xi1 , xi ] contiene alg
un
n
umero irracional.
Por otra parte, dado cualquier > 0, sabemos que solo existe un conjunto finito de racionales
{x1 , . . . , xn } [0, 1] tales que f (xi ) > /2 (i = 1, . . . , n). Elegimos entonces una particion P
de [0, 1] de modo que {x1 , . . . , xn } sean los puntos medios de subintervalos de P cuya longitud
total sea /2. De este modo, podemos dividir U (f, P ) en dos sumandos: los correspondientes
a los subintervalos citados suman como maximo 1 /2 y los restantes estan acotados por el
area del rectangulo de base 1 y altura /2 (ver figura adjunta).
Captulo 2. Integral de Lebesgue en R
17
En definitiva, U (f, P ) , de modo que f es integrable.

Ejemplo 2. La funci
on f : [0, 1] R definida por f (x) = 1 + 1/2n , si x (1/2n+1 , 1/2n ]
n
(n 0), tiene
R 1 infinitas discontinuidades (en los puntos xn = 1/2 , n N) pero es integrable
Riemann y 0 f (x) dx = 5/3.
Ejemplo 3. Si definimos la sucesi
on fn : [0, 1] R por
(
2n si 1/2n x 1/2n1
fn (x) =
0
en el resto,
Z
Z
fn (x) dx 6=
entonces 1 = lm
0
lm fn (x) dx = 0.
0
Ejemplo 4. Si definimos la sucesi

on fn : [0, 1] R por
(
1 si x {r1 , . . . , rn }
fn (x) =
0 en el resto,
donde rn es el n-esimo n
umero racional en [0, 1], entonces fn son integrables Riemann (porque
tienen una cantidad finita de puntos de discontinuidad) pero lm fn (x), la funcion de Dirichlet,
no es integrable Riemann.
Este ejemplo pone de manifiesto que los teoremas de la convergencia monotona y convergencia dominada (ver secci
on 2.4.2) no son ciertos para la integral de Riemann.
Ejemplo 5. La funci
on F : [0, 1] R definida por
(
x2 cos(1/x2 ) si 0 < x 1
F (x) =
0
si x = 0,
18
2.1. Motivaci
on
es derivable en [0, 1] y su derivada vale

(
2x cos(1/x2 ) +
0
F (x) =
0
2
x
sen(1/x2 )
si 0 < x 1
si x = 0.
Sin embargo, F 0 no es acotada, por lo que no es integrable Riemann.
2.1.2.
Nueva forma de contar rect

angulos
Los Geometras del siglo XVII consideraban la integral de f (x) - el termino integral
no se haba inventado a
un, pero esto no tiene ninguna importancia - como la suma de una infinidad de indivisibles cada uno de ellos siendo la ordenada, positiva
o negativa, de f (x). Y bien, nosotros simplemente hemos agrupado los indivisibles de tama
no comparable; hemos hecho, como se dice en algebra, la reunion, la
reduccion de los terminos semejantes. Se puede decir que, con el metodo de Riemann, se intentaba sumar los indivisibles tomandolos en el orden suministrado
por la variaci
on de x, se proceda como lo hara un comerciante desorganizado que
contara monedas y billetes seg
un fueran cayendo estos en sus manos; en cambio
nosotros procedemos como el comerciante metodico que dice:
Tengo m(E1 ) monedas de 1 corona lo que hace 1 m(E1 ), tengo m(E2 ) monedas
de 2 coronas lo que hace 2m(E2 ), tengo m(E3 ) monedas de 5 coronas lo que hace
5 m(E3 ), etc. As tengo en total: S = 1 m(E1 ) + 2 m(E2 ) + 5 m(E3 ) + . . . .
Ambos procedimientos conducir
an al comerciante, sin ninguna duda, al mismo
resultado ya que, por muy rico que sea, no hay mas que un n
umero finito de
billetes que contar; pero para nosotros que tenemos que sumar una infinidad de
indivisibles, la diferencia entre los dos metodos es capital.
Sobre el desarrollo de la nocion de integral
Henri Lebesgue, conferencia en Copenhague 1926.
La integral de Riemann se define mediante particiones del dominio de la funcion y calculando
el valor de la funci
on en los puntos de cada intervalo de la particion. Sin embargo, para definir
la integral de Lebesgue se realiza una particion de la imagen de la funcion y se mide el tama
no
del dominio para los cuales la imagen de la funcion esta comprendida entre dichos valores.
Para medir los conjuntos {x D(f ) : yj1 y yj } es necesario desarrollar la teora de la
medida.
A grandes rasgos, se pretende generalizar la nocion de longitud en R, area en R2 o volumen en R3 . M
as concretamente, buscamos una funcion no negativa m definida en todos los
subconjuntos de R, que pueda tomar el valor +. Intuitivamente se necesita que verifique:
i) m([a, b]) = b a (la medida de un intervalo es su longitud).
ii) m(A B) = m(A) + m(B), si A y B son disjuntos.
En realidad, los argumentos de lmite que se aplican en la teora hacen necesaria la
condicion
19
S
P
ii) m( iN Ai ) = iN m(Ai ), con Ai disjuntos dos a dos.
iii) m(A + h) = m(A) (la medida es invariante bajo traslaciones).
Un resultado importante de la teora es la existencia y unicidad de tal medida, que llamaremos medida de Lebesgue, cuando nos referimos a una clase razonable de conjuntos, los
llamados conjuntos medibles. Esta clase de conjuntos contiene en particular a los abiertos
y sera cerrada bajo uniones numerables, intersecciones y complementos. Ahora bien, la idea
previa de poder asignar una medida a todos los subconjuntos de R no es posible. Demostraremos que existen conjuntos que no son medibles cuando pedimos las condiciones i) a iii)
anteriores. Esta situaci
on contraria a la intuicion esta relacionada con la famosa paradoja de
Banach-Tarski: se puede descomponer la bola unidad de R3 en cinco piezas, las cuales pueden
recomponerse mediante traslaciones y rotaciones para formar dos bolas unitarias disjuntas
(lo que violara nuestra idea de conservacion del volumen).
As, el nacimiento de medida puede ser atribuido a Emile

Borel. Antes de que, en 1904,
Lebesgue publicara sus trabajos, Borel publico en 1898 el libro Lecons sur la theorie des
fonctions, donde investigaba sobre ciertos conjuntos del intervalo [0, 1]. Pretenda asignar
medidas a subconjuntos m
as generales que los subintervalos, especialmente a aquellos engendrados mediante uniones numerables o paso al complementario de intervalos. De forma
paralela peda que estos subconjuntos cumplieran la propiedad de que la medida de la union
de cualquier familia finita o numerable de tales conjuntos disjuntos dos a dos es igual a la suma de sus medidas; y por otra parte, todos los subintervalos tienen como medida su longitud.
Como podemos observar, esta definici
on de Borel es la definicion de premedida, nombre que
mas adelante asignara Lebesgue. Borel no probo la existencia y unicidad de dicha definicion.
Afirma que el lema fundamental demostrado [...] nos asegura que estas definiciones nunca
seran contradictorias entre s, y anot
o en el pie de pagina de ese mismo libro que He omitido
toda demostraci
on ya que la redacci
on me parecio tener que ser larga y fastidiosa [...]. Por
otra parte, Borel no hace absolutamente ninguna referencia o insinuacion sobre una posible
conexion entre su concepto de medida y la teora de integracion. Aunque Borel no fue capaz
de probar dicho resultado, gracias a las aportaciones de Lebesgue el resultado de Borel queda
incluido en la construcci
on de la integral de Lebesgue. Mas adelante, a esos conjuntos a los
que se refera Borel, Lebesgue los llam
o borelianos por deferencia a su amigo.
2.2.
Conceptos previos
Un conjunto A R es abierto si
x A, r > 0 : (x r, x + r) A.
Un conjunto F R es cerrado si su complementario F c es abierto.
Una propiedad elemental de estos conjuntos es la siguiente:
La union arbitraria y la intersecci
on finita de abiertos es abierto.
Un conjunto E R es acotado si existe r > 0 tal que E (r, r). Si ademas es cerrado,
entonces es compacto y cumple la propiedad de Heine-Borel:
20
2.2. Conceptos previos
S
Si E es compacto y E I A , con A abierto para todo I, entonces existe una
familia finita {A1 , . . . , An } tal que E A1 An .
Definici
on. Se dice que F F cuando F es union numerable de cerrados. El smbolo F
tiene su origen en las palabras francesas Ferme, que significa cerrado, y Somme, que significa
suma o union.
Analogamente, se dice que G G cuando G es interseccion numerable de abiertos. El nombre
dado proviene de las palabras alemanas Gebiet, que significa area o entorno, y Durchschnitt,
que significa intersecci
on.
Definici
on. Una colecci
on A de conjuntos es un
algebra si
i) A.
ii) A, B A = A B A.
iii) A A = Ac A.
Un algebra A de conjuntos se dice que es una -
algebra cuando
S
iv) (Ai )iN A = iN Ai A.
Ejemplos. 1) P (R) es la mayor -
algebra de R.
2) {, R} es la menor -
algebra de R.
3) Si A = {A R : A
o Ac es finito}, entonces A es un algebra pero no una -algebra.
Definici
on. La colecci
on B de conjuntos de Borel es la menor -algebra que contiene
todos los conjuntos abiertos. Llamaremos borelianos a los elementos de la -algebra B.
Veremos a continuaci
on (proposici
on 2.2.1) que dicho conjunto existe. Ademas es tambien
la mnima -
algebra que contiene todos los conjuntos cerrados y la mnima -algebra que
contiene los intervalos abiertos as como la mnima -algebra que contiene los intervalos
semiabiertos.
Son tambien borelianos los conjuntos F y G .
Proposici
on 2.2.1. Dada cualquier colecci
on de conjuntos C, existe la mnima -
algebra que
contiene a C, la cual recibe el nombre de -
algebra generada por C.
Demostraci
on. Llamamos F a la familia de todas las -algebras que contienen a C y definimos
T
A = {B : B F}. Por definici
on, C B, para todo B F, de modo que C A. Ademas A
es una -algebra (por serlo B, para todo B F).
Por u
ltimo, si B es una -
algebra que contiene a C, entonces B A.
Proposici
on 2.2.2. Sea A un
algebra[de conjuntos
[ y (Ai )iN A. Entonces existe (Bi )iN
A tal que Bi Bj = , para i 6= j, y
Bi =
Ai .
iN
iN
Demostraci
on. Definimos
B1 = A1
Bn = An \ (A1 An1 ) = An Ac1 . . . Acn1 .
S
S
Es evidente que Bn A y que Bn An para todo n. Por tanto, Bi Ai .
21
Ademas, si suponemos m < n,

Bm Bn Am Bn = Am An Ac1 Acn1 = .
S
Por u
ltimo, si x AiS
, supongamos que n0 es el menor valor de i N tal que x Ai .
As pues, x Bn0 y x Bi .
2.3.
Tres principios de Littlewood

La cantidad de conocimientos necesarios en la teora de funciones de una variable
real no es tan grande como se puede suponer. Hay tres principios, que se expresan
a grandes rasgos de la siguiente manera:
Todo conjunto medible es casi una uni
on finita de intervalos;
Toda funci
on medible es casi continua;
Toda sucesi
on convergente de funciones medibles es casi uniformemente convergente.
La mayora de los resultados de la teora consiste en aplicaciones intuitivas de
estas ideas.
John Littlewood
Realizaremos en este apartado el proceso de construccion de conjuntos medibles y funciones

integrables en la recta real con el objetivo de cumplir los tres principios establecidos por
Littlewood.
2.3.1.
Todo conjunto medible es casi uni

on finita de intervalos
El primer resultado en esta direcci

on no necesita ning
un concepto especial de medida.
Teorema 2.3.1. Todo conjunto abierto A R se puede escribir como uni
on numerable de
h i i + 1
intervalos disjuntos del tipo Ii,m = m , m , i Z, m N {0} (llamados intervalos
2
2
di
adicos).
S
Demostraci
on. Para cada m, es evidente que R iZ Ii,m . Llamamos I0 a la familia de los
intervalos Ii,0 contenidos en A, I1 a la familia de los intervalos
Ii,1 contenidos en A pero no
S
contenidos en los anteriores y as sucesivamente. Entonces m0 Im es una familia numerable
de intervalos disjuntos contenida en A.
S
Falta solo comprobar que A = m0 Im :
Si x A, existe un intervalo (x , x + ) A. Como ademas existe m N tal que Ii,m
tiene diametro menor que , entonces x Ii,m para alg
un i donde
S Ii,m A. Entonces, o bien
Ii,m Is , con s < m, o bien Ii,m Im . En cualquier caso, x m0 Im .
22
2.3. Tres principios de Littlewood
El primer concepto que nos permitir

a el desarrollo de la teora de la medida es el de medida
exterior. Su definici
on obedece a ideas intuitivas pero carece de la propiedad de aditividad
numerable.
Definici
on. Dado un conjunto E R, se define la medida exterior de E como
X
m (E) = nf
l(In ),
S
E
In
nN
donde In son intervalos abiertos y l(I) representa la longitud del intervalo I.

De la definici
on se deduce inmediatamente que
m () = 0;
m (A) m (B), si A B;
m ({x}) = 0;
m (A + h) = m (A), h R.
Observemos adem
as que la medida exterior puede tomar el valor +.
La definicion intenta describir la medida de un conjunto aproximandolo desde el exterior
(de ah su nombre). Cuanto m
as fino sea el cubrimiento del conjunto, mas proxima esta su
medida a la suma de las longitudes de los intervalos.
Una definicion completamente an
aloga se puede dar en Rk .
Proposici
on 2.3.2. La medida exterior de un intervalo coincide con su longitud.
Demostraci
on. Caso 1. Dado el intervalo [a, b], para cualquier > 0, [a, b] (a , b + ).
Entonces m ([a, b]) b a + 2, de modo que m ([a, b]) b a.
Falta ver que m ([a, b]) b a lo cualP
equivale a probar que, si (In )nN es una sucesion de
intervalos que cubren a [a, b], entonces nN l(In ) b a.
Por la compacidad de [a, b], podemos aplicar el teorema de Heine-Borel. As pues, basta
N
X
probar que
l(In ) b a, donde {I1 , . . . , IN } es un cubrimiento finito de [a, b].
n=1
Podemos suponer que a I1 = (a1 , b1 ). Si b1 b, como b1 [a, b], debe existir I2 = (a2 , b2 )
tal que b1 I2 .
Siguiendo este proceso, obtenemos una familia (a1 , b1 ), . . . , (ak , bk ) contenida en (Ii )N
i=1 tal
que ai < bi1 < bi (i = 2, . . . , k).
Como el conjunto (Ii )N
i=1 cubre al intervalo [a, b], necesariamente b (ak , bk ). Entonces
N
X
n=1
l(In )
k
X
l(ai , bi ) = bk ak + bk1 ak1 + + b1 a1 > bk a1 > b a
i=1
porque ai < bi1 , bk > b y a1 < a.
23
Caso 2. Si I es un intervalo finito, dado > 0, existe J intervalo cerrado tal que J I y
l(J) > l(I) . Entonces
l(I) < l(J) = m (J) m (I) m ( I) = l( I) = l(I),
con lo que m (I) = l(I).
Caso 3. Si I es un intervalo infinito, dado cualquier M R, existe J intervalo cerrado tal
que J I y l(J) = M . Entonces
m (I) m (J) = l(J) = M.
Por tanto, m (I) = = l(I).
Proposici
on 2.3.3. Si (An )nN es una sucesi
on de conjuntos en R, entonces
[
X
m (
An )
m (An ).
nN
nN
Demostraci
on. Si alg
un An tiene medida exterior infinita, la desigualdad es evidente.
Si m (An ) < ,
S para todo
P n, dado > 0, existe una sucesion (In,i )iN de intervalos abiertos
talSque An iN In,i y iN l(In,i ) < m (An ) + 2n . La sucesion doble (In,i )n,iN cubre
a nN An y
m (
An )
nN
XX
l(In,i ) <
nN iN
En definitiva, m (
nN An )
(m (An ) + 2n ) =
nN
m (An ) + .
nN
nN m (An ).
Corolario 2.3.4. Si A es numerable, m (A) = 0.

Demostraci
on. Basta escribir
A = {xk : k N}
(xk k , xk + k ), con
kN
As, m (A)
k < /2.
kN
l(xk k , xk + k ) < .
kN
Corolario 2.3.5. El conjunto [0, 1] no es numerable.

Ejemplo. El conjunto de Cantor juega un importante papel en la teora de conjuntos y es
un ejemplo de conjunto con medida exterior cero.
Para construirlo, empezamos con el intervalo cerrado
C0 = [0, 1].
Si dividimos el intervalo en tres partes iguales y eliminamos la central, obtenemos
C1 = [0, 1/3] [2/3, 1].
24
Repitiendo el proceso con los dos intervalos resultantes, tenemos (ver figura adjunta)
C2 = [0, 1/32 ] [2/32 , 1/3] [2/3, 7/32 ] [8/32 , 1].
C0
C1
C2
1 2 1

9 9 3
2 7 8

3 9 9
Con este procedimiento, obtenemos una sucesion (Ck )k0 de conjuntos cerrados tales que
Ck+1 Ck (k 0).
T
Por definicion, el conjunto de Cantor es C = k0 Ck .
Sus propiedades m
as importantes son las siguientes:
Es compacto.
Basta observar que es cerrado y esta contenido en [0, 1].
Es perfecto (todo punto de C es de acumulacion).
Cada Ck es uni
on de 2k intervalos cerrados disjuntos cuyos extremos estan en C (pues
un extremo de cualquier intervalo de Ck es extremo de alg
un intervalo de Ck+1 . As pues,
si x C, para cualquier k N, x Ck . Por tanto x esta contenido en alguno de los
2k intervalos de longitud 3k . Basta elegir xk 6= x como uno de los extremos de dicho
intervalo para que |x xk | 3k .
Es denso en ninguna parte (int C = ).
Esto es consecuencia de que m (C) = 0 pues, si existe (a, b) C, entonces b a
m (C) = 0.
Es totalmente disconexo (x, y C, x < y, z (x, y) con z 6 C).
Se deduce de la propia construcci
on.
Es no numerable.
Supongamos, por el contrario, que C fuera numerable. Entonces podemos escribir C =
{xn : n N}. Como C1 es uni
on disjunta de dos intervalos, existe I1 C1 tal que
x1 6 I1 . De la misma forma, existe I2 I1 C2 tal que x2 6 I2 . Repitiendo el proceso,
conseguimos una sucesi
T
T on de intervalos encajados
T I1 I2 In . . . tal que
nN In tal que y 6= xn para todo n, lo
nN In 6= . Como
nN In C, existe y
que contradice la suposici
on inicial.
Tiene medida exterior cero.
Por construcci
on, C Ck , donde Ck es union disjunta de 2k intervalos cerrados, de
longitud 3k . Por tanto, m (C) (2/3)k , k, con lo que m (C) = 0.
25
Lema 2.3.6. Dado un conjunto E,

a) para cualquier > 0, existe un abierto A tal que E A y m (A) m (E) + ;
b) existe G G tal que E G y m (E) = m (G);
c) m (E) = nf{m (A) : A abierto, E A}.
Demostraci
on. a) Dado >P
0, existe una sucesion (In )nSN de intervalos abiertos tal que
S
E nN In y m (E) + nN l(In ). Si llamamos A = nN In , entonces

m (A)
l(In ) m (E) + .
nN
b) Por el apartado a), dado n TN, existe An un abierto tal que m (E) + 1/n m (An ),
con E An . Si llamamos G = nN An , entonces G G , E G y m (G) m (An )
m (E) + 1/n. Adem
as m (E) m (G).
c) Si E A, m (E) m (A), de donde m (E) nf m (A).
Por otro lado, seg
un el apartado a), m (A) m (E) + . Entonces nf m (A) m (E).
Proposici
on 2.3.7. Si E = E1 E2 y d(E1 , E2 ) > 0, entonces m (E1 E2 ) = m (E1 ) +
m (E2 ).
Demostraci
on. Sea > 0 tal que d(E1 , E2 ) > > 0.
Dado > 0 arbitrario, sea (In )nN una sucesion de intervalos abiertos tal que E
P
nN l(In ) m (E) + .
nN In
Ademas elegimos la sucesi

on para que la longitud de cada intervalo sea menor que . De
este modo, cada intervalo s
olo puede cortar a uno de los conjuntos E1 o E2 . Simbolicamente,
podemos escribir
[
[
E1
Ij , E2
Ij ,
jJ1
jJ2
donde J1 J2 = . Entonces
m (E1 ) + m (E2 )
X
jJ1
l(Ij ) +
X
jJ2
l(Ij )
l(Ij ) m (E) + .
jN
Esto implica que m (E1 ) + m (E2 ) m (E). La otra desigualdad es evidente.

S
Se puede probar tambien que, si E = nN In , con In intervalos disjuntos, entonces m (E) =
X
l(In ). A pesar de ello, no podemos concluir que, si E = E1 E2 , con E1 E2 = , entonces
nN
m (E) = m (E1 ) + m (E2 ). Har

a falta que dichos conjuntos sean medibles.
Definici
on. Un conjunto E es medible si, para todo conjunto A,
m (A) = m (A E) + m (A E c ).
26
Lema 2.3.8. Si m (E) = 0, entonces E es medible. En particular, si F E y m (E) = 0,

entonces F es medible.
Demostraci
on. Dado un conjunto A, como A E E, entonces m (A E) m (E) = 0.
Por otra parte, como A E c A, entonces
m (A) m (A E c ) = m (A E c ) + m (A E).
La otra desigualdad es evidente.
De esta propiedad deducimos en particular que el conjunto de Cantor es medible.
Proposici
on 2.3.9. La familia M = {E : E es medible} es un a
lgebra de conjuntos.
Demostraci
on. Hay que demostrar, en primer lugar, que, si E1 y E2 son medibles, entonces
E1 E2 es medible.
Por una parte, como E2 es medible, m (A E1c ) = m (A E1c E2 ) + m (A (E1 E2 )c ).
Por otra parte, como E1 es medible, m (A (E1 E2 )) m (A E1 ) + m (A E2 E1c ).
Por tanto,
m (A (E1 E2 )) + m (A (E1 E2 )c ) m (A E1 ) + m (A E1c ) = m (A).
Para que M sea un
algebra de conjuntos, falta probar que, si A es medible, entonces Ac es
medible, pero esto es consecuencia de la propia definicion.
on que la familia M es ademas una -algebra.
Lema 2.3.10. Si A es un conjunto y {E1 , . . . , En } una colecci
on disjunta de conjuntos medibles, entonces
n
n

X
[
m A ( Ei ) =
m (A Ei ).
i=1
i=1
Demostraci
on. (Por inducci
on) El caso n = 1 es evidente.
Si suponemos cierta la propiedad para n 1, teniendo en cuenta que
A(
n
[
Ei ) En = A En y A (
i=1
n
[
Ei ) Enc = A (
i=1
n1
[
Ei ),
i=1
resulta
A(
n
[
i=1
Ei ) = m (A En ) + m
A(
n1
[
i=1
n
X
Ei ) =
m (A Ei ).
i=1
Proposici
on 2.3.11. La familia M es una -
algebra de conjuntos.
Demostraci
on. Basta ver que, si E =
27
iN Ei ,
con Ei M, entonces E M.
Por la proposici
on 2.2.2, podemos suponer Ei Ej = , si i 6= j.
S
Dado cualquier conjunto A, si llamamos Fn = ni=1 Ei , entonces Fn M y E c Fnc . Por
tanto,
m (A) = m (A Fn ) + m (A Fnc ) m (A Fn ) + m (A E c ).
Por el lema 2.3.10,
m (A Fn ) =
n
X
m (A Ei ),
i=1
de modo que
m (A)
n
X
m (A Ei ) + m (A E c ).
i=1
Como la desigualdad es cierta para todo n,

X
m (A)
m (A Ei ) + m (A E c ) m (A E) + m (A E c )
iN
por la subaditividad numerable de m .

Veamos a continuaci
on que la clase de conjuntos medibles contiene a la clase de conjuntos de
Borel en R.
Lema 2.3.12. El intervalo (a, ) es medible.
Demostraci
on. Dado A, sean A1 = A (a, ) y A2 = A (, a].
Si m (A) = , es evidente que m (A1 ) + m (A2 ) m (A).
(A) < , dado > 0, existe una sucesi
Si mS
on de intervalos abiertos (In )nN tal que
P
A nN In y nN l(In ) m (A) + .
Llamamos In,1 = In (a, ) e In,2 = In (, a]. Entonces

l(In ) = l(In,1 ) + l(In,2 ) = m (In,1 ) + m (In,2 ).
Como A1
nN In,1 ,
tenemos:
m (A1 ) m (
In,1 )
nN
y, como A2
nN In,2 ,
m (In,1 )
nN
tenemos
m (A2 ) m (
In,2 )
nN
m (In,2 ).
nN
As pues,
m (A1 ) + m (A2 )
X
m (In,1 ) + m (In,2 )
l(In ) m (A) + .
nN
Al ser arbitario, m (A1 ) + m (A2 ) m (A).
nN
28
Proposici
on 2.3.13. Todo conjunto de Borel es medible. En particular todos los conjuntos
abiertos y cerrados son medibles.
Demostraci
on. Como (a, ) M, entonces (, a] M.
S
Ademas, como (, b) = nN (, b 1/n], entonces (, b) M.
Como (a, b) = (, b) (a, ), entonces (a, b) M.
S
Si A es abierto, A = nN In , con In intervalos abiertos. Entonces A M.
Como B es la menor -
algebra que contiene los conjuntos abiertos, B M.
Observaci
on. No todos los conjuntos medibles son de Borel (una demostracion constructiva
puede verse en [AB]).
Definici
on. Dado un conjunto medible E, se define la medida de Lebesgue de E como
m(E) = m (E). De este modo, m es la restriccion de m a la familia M.
Proposici
on 2.3.14. Si (En )nN es una sucesi
on de conjuntos medibles, entonces
m(
En )
nN
m(En ).
nN
Si Ei Ej = , para i 6= j, entonces
m(
En ) =
nN
m(En ).
nN
Demostraci
on. La primera parte consiste precisamente en la subaditividad de la medida
exterior (proposici
on 2.3.3).
Si (E1 , . . . , Ek ) es una familia finita de conjuntos medibles disjuntos, por el lema 2.3.10 con
A = R, resulta que
k
k
[
X
m(
En ) =
m(En ).
n=1
n=1
Por u
ltimo, si (Ei )iN es una sucesi
on infinita de conjuntos medibles disjuntos, entonces
n
[
[
Ei
Ei , de modo que
iN
i=1
m(
Ei ) m(
iN
n
[
Ei ) =
i=1
n
X
m(Ei ).
i=1
Como la desigualdad es cierta para todo n,

m(
iN
En )
X
iN
m(Ei ).
29
Proposici
on 2.3.15. Si (Ei )iN es una sucesi
on de conjuntos medibles y Ek Ek+1 , para
todo k N, entonces
[
m( Ei ) = lm m(En ).
n
iN
Demostraci
on. Construimos los conjuntos F1 =SE1 , Fk S
= Ek \ Ek1 , k 2. As, (Fk )kN es
una sucesion de conjuntos medibles disjuntos y Fk = Ek . Por tanto,
m(
kN
Ek ) =
m(Fk ) = lm
kN
n
X
m(Fk ) = lm m(
n
k=1
n
[
Fk ) = lm m(En ).
k=1
Proposici
on 2.3.16. Si (En )nN es una sucesi
on infinita de conjuntos medibles, tal que
Ek+1 Ek , para todo k, y m(E1 ) es finita, entonces
\
m( Ei ) = lm m(En ).
iN
Demostraci
on. Llamamos E =
y Fi = Ei \ Ei+1 . Entonces
[
E1 \ E =
Fi ,
iN Ei
iN
y los conjuntos Fi son disjuntos dos a dos. Por tanto,

X
X
m(E1 \ E) =
m(Fi ) =
m(Ei \ Ei+1 ).
iN
iN
Ahora bien,
m(E1 ) = m(E) + m(E1 \ E) y m(Ei ) = m(Ei+1 ) + m(Ei \ Ei+1 ),
debido a que E E1 y Ei+1 Ei .
Teniendo en cuenta que m(Ei ) m(E1 ) < , resulta que
m(E1 \ E) = m(E1 ) m(E) y m(Ei \ Ei+1 ) = m(Ei ) m(Ei+1 ).
As pues,
m(E1 ) m(E) =
[m(Ei ) m(Ei+1 )] = lm
iN
n
X
[m(Ei ) m(Ei+1 )]
i=1
= lm[m(E1 ) m(En )] = m(E1 ) lm m(En ).

Como m(E1 ) < , resulta que m(E) = lm m(En ).
Observemos que el resultado puede ser falso si m(E1 ) = . Basta considerar los conjuntos
En = (n, ).
on lo establecido por el primer principio de Littlewood, que todo conjunto medible es casi uni
on finita de intervalos.
30
Proposici
on 2.3.17. Dado un conjunto E R, son equivalentes:
a) E es medible.
b) Dado > 0, existe un abierto A E tal que m (A \ E) < .
c) Dado > 0, existe un cerrado F E tal que m (E \ F ) < .
d) Existe G G , con E G, tal que m (G \ E) = 0.
e) Existe F F , con F E, tal que m (E \ F ) = 0.
Si adem
as m (E) es finita, las proposiciones anteriores son equivalentes a
f ) Dado > 0, existe U uni
on finita de intervalos abiertos tal que m (U E) < .
Demostraci
on. a) = b): Si m(E) < , por el lema 2.3.6, dado > 0, existe un abierto A
tal que E A y m (A) m (E) + . Como E es medible,
m (A) = m (A E) + m (A E c ) = m (E) + m (A \ E)
= m (A \ E) = m (A) m (E) .
Si m(E) = , sea En = E {x : n 1 |x| < n}. Dado > 0, como m(En ) < ,Spara cada
n existe un abierto An En tal que m (An \ En ) < /2n . Ahora el conjunto A = nN An es
X
S
abierto y E A. Como A \ E nN (An \ En ), entonces m (A \ E)
m (An \ En ) < .
b) =
T d): Para cada n N, existe An abierto, con E An , tal que
G = nN An , entonces G G , E G y
nN
m (A
\ E) < 1/n. Si
m (G \ E) m (An \ E) < 1/n, n N.

Por tanto, m (G \ E) = 0.
d) = a): Si m (G\E) = 0, entonces G\E es medible. Como G es medible y E = (G\E)c G,
entonces E es medible.
a) = c): Como E c es medible, existe A abierto tal que E c A y m (A \ E c ) < . Entonces
Ac es cerrado y Ac E. Adem
as
m (E \ Ac ) = m (E A) < .
c) =
S e): Para cada n N, existe Fn cerrado, con E Fn , tal que m (E \ Fn ) < 1/n. Si
F = nN Fn , entonces F F , F E y
m (E \ F ) m (E \ Fn ) < 1/n, n N.
Por tanto, m (E \ F ) = 0.
e) = a): Como m (E \ F ) = 0, entonces E \ F es medible. Escribiendo E = (E \ F ) F ,
deducimos que E es medible.
S
a) = f): Sea (Ij )jN una sucesi
on de intervalos abiertos tal que E jN Ij y m (E)+/2
P
jN l(Ij ).
31
Como m (E) < , la serie es convergente y existe n0 N tal que

S 0
Ij , entonces
Si llamamos U = nj=1
m (U E) = m (U \ E) + m (E \ U ) m (
Ij \ E) + m (
jN
l(Ij ) m (E) +
jN
j=n0 +1 l(Ij )
< /2.
Ij )
j=n0 +1
l(Ij ) < .
j=n0 +1
Corolario 2.3.18. Todo conjunto medible con medida positiva contiene un conjunto cerrado
con medida positiva.
Demostraci
on. Si E es medible, dado > 0, existe F cerrado tal que F E y m (E \ F ) < .
Entonces
m(F ) = m(E) m(E \ F ) > m(E) .
Basta elegir < m(E)/2 para que m(F ) > 0.
Otras propiedades deseables de la medida se refieren a la invariancia, como indicamos a
continuacion.
Proposici
on 2.3.19. Sea E un conjunto medible. Entonces:
a) Para todo k R, el conjunto Ek = E + k = {x + k : x E} es medible y m(Ek ) = m(E).
b) Para todo > 0, el conjunto E = { x : x E} es medible y m(E) = m(E).
c) El conjunto E = {x : x E} es medible y m(E) = m(E).
Demostraci
on. Veamos el apartado a) (el resto es similar).
Dado A R, llamamos A0 = A k = {u R : u + k A}. Entonces
m (A Ek ) + m (A Ekc ) = m (A0 E) + m (A0 E c ) = m (A0 ) = m (A).
Para terminar la secci

on, hagamos la construccion de un conjunto no medible, lo que demuestra que no puede extenderse la nocion de longitud a cualquier subconjunto de R si se
quiere que se cumpla la propiedad m (A B) = m (A) + m (B), con A y B disjuntos. Este
resultado fue probado por Vitali en el trabajo Sul problema della misura dei gruppi di punti
di una retta publicado en 1905.
En primer lugar, establecemos la siguiente relacion de equivalencia en [0, 1]:
x y cuando x y Q.
Esta relacion permite escribir [0, 1] =
E ,
union disjunta de clases de equivalencia.
32
A continuaci
on, definimos N = {x : x E } (llamado conjunto de Vitali) eligiendo
exactamente un elemento de cada clase E (por el axioma de eleccion). Veamos que N no es
medible.
Si numeramos los racionales en [0, 1] como {rk : k N}, consideramos los conjuntos trasladados Nk = N + rk . Probaremos que estos conjuntos son disjuntos:
Si Nk Np 6= , existen rk , rp racionales distintos, y existen , tales que x + rk = x + rp ,
o bien x x = rp rk Q. Esto significa que x x , luego x = x pues N tiene un
solo elemento de cada clase. Por tanto, rp = rk , lo que es absurdo.
Tambien es facil probar que
[0, 1]
Nk [0, 2].
kN
En efecto, si x [0, 1], x x para alg

un , de donde x x = rk para alg
un k. As x Nk .
La segunda inclusi
on es evidente.
Por u
ltimo, supongamos que N es medible. Entonces, para todo k, Nk tambien lo es. Como
(Nk ) son disjuntos, las inclusiones anteriores implican
1
m(Nk ) 2 = 1
kN
m(N ) 2.
kN
Esto es una contradicci

on, porque, si m(N ) = 0, entonces tendramos 1 0 2 y, si
m(N ) > 0, entonces 1 2.
Observaci
on. La construcci
on anterior de un conjunto no medible utiliza el axioma de
eleccion. De hecho, R. Solovay, en Notices Am. Math. Society, 12 (1965), demuestra que no
es posible construir conjuntos no medibles sin utilizar el axioma de eleccion.
2.3.2.
Toda funci
on medible es casi continua
Una vez establecida la noci

on de conjunto medible, vamos a utilizarla para definir las funciones
medibles. En primer lugar, estableceremos algunas propiedades equivalentes.
Proposici
on 2.3.20. Sea f : R R una funci
on cuyo dominio D es medible. Son equivalentes:
i) R : f 1 (, ] := {x : f (x) > } es medible.
ii) R : f 1 [, ] := {x : f (x) } es medible.
iii) R : f 1 [, ) := {x : f (x) < } es medible.
iv) R : f 1 [, ] := {x : f (x) } es medible.
Todas estas proposiciones implican
v) R : f 1 {} := {x : f (x) = } es medible.
Demostraci
on. i) = ii) porque {x : f (x) } =
nN {x
: f (x) > 1/n}.
ii) = iii) porque {x : f (x) < } = D \ {x : f (x) }.

T
iii) = iv) porque {x : f (x) } = nN {x : f (x) < + 1/n}.
33
iv) = i) porque {x : f (x) < } = D \ {x : f (x) }.

Por u
ltimo, si R, {x : f (x) = } = {x : f (x) } {x : f (x) } de modo que, en este
caso, ii) y iv) implican v).
T
Ademas, {x : f (x) = } = nN {x : f (x) n} con lo que ii) implica v) si =
(analogamente con = ).
Observaci
on. En el caso de que la funcion solo tome valores reales, las propiedades anteriores son equivalentes a que la imagen inversa de cualquier abierto sea medible y a que la
imagen inversa de cualquier cerrado sea medible.
Definici
on. Una funci
on f : D R R se dice que es medible Lebesgue cuando su
dominio D es medible y verifica una cualquiera de las cuatro afirmaciones equivalentes de la
proposicion anterior.
La definicion involucra as a los conjuntos mas importantes relacionados con una funcion
como son las im
agenes inversas de intervalos.
De la definici
on se deduce que:
toda funci
on continua es medible (pues la imagen inversa de un abierto es un abierto);
toda funci
on escalonada es medible;
la restricci
on de una funci
on medible a un subconjunto medible del dominio es tambien
medible.
Una caracterizaci
on interesante se demuestra en el siguiente resultado.
Proposici
on 2.3.21. Sea D R un conjunto medible y f : D R. Entonces f es medible
si y s
olo si f 1 (B) es medible, para todo B de Borel en R.
Demostraci
on. Si f es medible, definimos
A = {A R : f 1 (A) es medible}.
Es claro que A. Adem
as, f 1 (Ac ) = f 1 (R) \ f 1 (A) = D \ f 1 (A). Por tanto, si A A,
entonces Ac A.
Por u
ltimo, si (An )nN A, entonces

[
[
f 1
An =
f 1 (An ) es medible.
nN
nN
As pues, A es una -
algebra. Como ademas
f 1 (a, b) = f 1 (a, ) f 1 (, b],
entonces (a, b) A.
Por tanto, A contiene todos los conjuntos abiertos, con lo que contiene tambien a todos los
conjuntos de Borel.
El recproco es trivial.
34
Proposici
on 2.3.22. Si c R y f, g : D R R son funciones medibles, entonces f + g,
c f y f g son medibles. En consecuencia, f k es medible para todo k N.
Demostraci
on. a) Dado R, sea x D tal que f (x) + g(x) < . Entonces f (x) < g(x)
y, como consecuencia de la propiedad arquimediana de los n
umeros reales, existe r Q tal
que f (x) < r < g(x). Por tanto,
[
{x : f (x) + g(x) < } =
{x : f (x) < r} {x : g(x) < r}.
rQ
Como Q es numerable, este conjunto es medible.

b) Como {x : c f (x) < } = {x : f (x) < /c}, entonces c f es medible.
c) Si 0, entonces
{x : f 2 (x) > } = {x : f (x) >
} {x : f (x) < }
y, si < 0, entonces
{x : f 2 (x) > } = D.
En ambos casos, se deduce que f 2 es medible.

Como f g = 12 (f + g)2 (f 2 + g 2 ) , entonces f g es medible.
Teorema 2.3.23. Para cada n N, sea fn : D R medible. Entonces supnN fn , nf nN fn ,
lm sup fn y lm inf fn son medibles.
Demostraci
on. Si llamamos g(x) = supnN fn (x), entonces
[
{x : g(x) > } =
{x : fn (x) > },
nN
de modo que g es medible (an

alogamente con el nfimo pues nf fn = sup(fn )).
Como lm sup fn = nf kN supnk fn , entonces es una funcion medible (analogamente con el
lmite inferior).
Corolario 2.3.24. Si (fn )nN es una sucesi
on de funciones medibles y f (x) = lm fn (x),
entonces f es medible.
Ejemplo. Para probar
on de Dirichlet f = Q es medible en [0, 1], consideramos
( que la funci
1 si x {r1 , . . . , rn }
la sucesion fn (x) =
donde {r1 , . . . , rn , . . . } es una ordenacion de los
0 en el resto,
racionales en [0, 1]. Es f
acil comprobar que cada fn es medible (basta determinar el conjunto
{x : fn (x) > r} en los casos r 1, 0 r < 1 y r < 0). Como lm fn (x) = f (x), x [0, 1],
entonces f es medible.
Definici
on. Decimos que una propiedad se cumple en casi todo punto (o casi seguramente,
abreviadamente c.s.) cuando el conjunto donde no es cierta tiene medida cero.
En particular se dice que f = g c.s. cuando ambas funciones tienen el mismo dominio y
m({x : f (x) 6= g(x)}) = 0. Del mismo modo, decimos que fn f c.s. cuando existe un
conjunto E de medida cero tal que fn (x) g(x), para todo x 6 E.
35
Proposici
on 2.3.25. Si f es medible y f = g c.s., entonces g es medible.
Demostraci
on. Sean A = {x : f (x) > } y B = {x : g(x) > }. Por hipotesis, A es medible
y m(A \ B) = m(B \ A) = 0. Entonces
B = (B \ A) (B A) = (B \ A) (A \ (A \ B))
es medible.
Los ejemplos b
asicos de funciones medibles son las funciones escalonadas y las funciones simples: las primeras son los elementos b
asicos en la teora de integracion de Riemann mientras
las segundas lo ser
an en la teora de integracion de Lebesgue.
Definici
on. Recordemos que una funci
on escalonada es la que se puede escribir como
combinacion lineal de funciones caractersticas de intervalos en R. As, si f es escalonada,
existen constantes {a1 , . . . , , aN } e intervalos {I1 , . . . , IN } tales que
f (x) =
N
X
ai Ii (x).
i=1
Por otra parte, diremos que es una funci

on simple si
(x) =
N
X
ai Ei (x),
i=1
donde Ei son medibles y de medida finita.

Esta representaci
on no es u
nica pero una funcion es simple si y solo si es medible y toma solo
un n
umero finito de valores.
n
X
Si es simple y su conjunto de valores no nulos es {a1 , . . . , an }, entonces =
ai Ai , con
i=1
Ai = {x : (x) = ai }. Esta es la llamada representaci

on can
onica de y se caracteriza
porque Ai son disjuntos y ai son distintos y no nulos.
Veamos que las funciones medibles pueden aproximarse por funciones simples.
Proposici
on 2.3.26. Sea f : D R medible.
a) Existe una sucesi
on de funciones simples que converge puntualmente a f .
b) Si f es acotada, se puede elegir la sucesi
on para que converja uniformemente a f .
Demostraci
on. Supondremos que f 0 (en el caso general se descompone f como diferencia
de funciones no negativas a las que se aplica el razonamiento siguiente).
a) Para cada n N y cada i con 1 i n 2n , sea

i1
i
Eni = x D : n f (x) < n .
2
2
36
As, Eni Enj = , si 1 i, j n 2n , i 6= j, y

En =
n
n2
[
Eni = {x D : f (x) < n}.
i=1
Definimos
n (x) =
n
n2
X
i=1
i1
Eni (x) + n Enc (x), n 1,
2n
la cual es una funci

on simple. Veamos que lm n (x) = f (x), x D:
Dado x D, si f (x) < , para cualquier > 0, existe n0 N tal que 1/2n0 < y f (x) < n0 .
Por tanto, x En , para todo n n0 , con lo que existe i {1, . . . , n 2n } tal que x Eni .
Entonces
i1
i
i1
f (x) < n y n (x) = n .
n
2
2
2
As pues, 0 f (x) n (x) < 1/2n < , n n0 .
En el caso de que f (x) = , entonces f (x) n, n N, es decir x Enc , n N. Por tanto,
n (x) = n con lo que lm n (x) = = f (x).
b) Si f es acotada, existe M tal que f (x) < M , x D. En este caso, D = En , n M , con
lo que, dado > 0, podemos elegir n0 N tal que 1/2n0 < . Entonces 0 f (x) n (x) < ,
x D, n n0 , con lo que la convergencia es uniforme.
Observaci
on. Tambien es posible aproximar una funcion medible por una sucesion de funciones escalonadas. En este caso, sin embargo, la convergencia solo sera en casi todo punto. El
caso particular de las funciones continuas en un intervalo cerrado s permite la convergencia
uniforme mediante funciones escalonadas como veremos a continuacion.
Si f es continua en [a, b], entonces es uniformemente continua. Por tanto, para cada m N,
existe > 0 tal que, x, y [a, b],
|x y| < = |f (x) f (y)| < 1/m.
Dado n N tal que > 1/n, sea ai = a + i(ba)
n , 0 i n. Entonces, si x [ai1 , ai ),
|x ai1 | 1/n < .
P
Definimos gm (x) = ni=1 f (ai1 ) [ai1 ,ai ) (x), x [a, b), gm (b) = f (b). Entonces (gm ) es
una sucesion de funciones escalonadas que converge uniformemente a f .
A continuacion enunciamos el segundo principio de Littlewood, mediante el que aproximamos
cualquier funci
on medible por funciones continuas.
Proposici
on 2.3.27. Sea f : [a, b] R una funci
on medible tal que {x : f (x) = } tiene
medida cero. Entonces, dado > 0, existe una funci
on escalonada g y una funci
on continua
h tales que |f g| < y |f h| < , excepto en un conjunto de medida menor que .
Si, adem
as, m f M , entonces podemos elegir g y h de modo que m g M y
m h M.
37
Esquema de la prueba.
Paso 1. Sea f : [a, b] R una funci
on medible tal que {x : f (x) = } tiene medida cero.
Entonces, dado > 0, existe M R tal que |f | M excepto en un conjunto de medida
menor que /3.
Paso 2. SeaPf : [a, b] R una funci
on medible. Dados > 0 y M R, existe una funcion
simple = ni=1 i Ai , con Ai = {x : (x) = i }, tal que |f (x) (x)| < excepto donde
|f (x)| M .
Si m f M , podemos elegir de modo que m M .
Paso 3. Dada una funci
on simple en [a, b], existe una funcion escalonada g en [a, b] tal que
(x) = g(x), excepto en un conjunto de medida menor que /3 (usar la proposicion 2.3.17).
Si m M , podemos elegir g de modo que m g M .
Paso 4. Dada una funci
on escalonada g en [a, b], existe una funcion continua h tal que
g(x) = h(x), excepto en un conjunto de medida menor que /3.
Si m g M , podemos elegir h de modo que m h M .
2.3.3.
Toda sucesi
on convergente de funciones medibles es casi uniformemente convergente
El tercer principio de Littlewood establece la casi convergencia uniforme de las sucesiones

convergentes de funciones medibles. Su formulacion exacta es la siguiente.
Proposici
on 2.3.28 (teorema de Egorov). Sea E un conjunto medible con m(E) < y,
para cada n N, fn : E R una funci
on medible. Sea f : R R una funci
on tal que
fn (x) f (x), para casi todo x E. Entonces, dados > 0 y > 0, existe un conjunto
medible A E, con m(A) < , y N N tales que |fn (x) f (x)| < , x 6 A y n N .
Demostraci
on. Sin perdida de generalidad, podemos suponer que fn (x) f (x) para todo
x E. Esto asegura que la funci
on f es medible.
Sea Gn = {x E : |fn (x) f (x)| } y, para cada k N, llamamos
Ek =
Gn = {x E : |fn (x) f (x)| , para alg

un n k}.
n=k
As, Ek+1 kN T
y, si x E, existe n0 tal que x 6 En0 (debido a que fn (x) f (x)). Esto
quiere decir que kN Ek = , de donde lmk m(Ek ) = 0 (por la proposicion 2.3.16).
De este modo, dado > 0, existe N tal que m(EN ) < , o bien
m({x E : |fn (x) f (x)| , para alg
un n N }) < .
Si llamamos A a dicho conjunto EN , entonces m(A) < y
Ac = {x E : |fn (x) f (x)| < , n N }.
Por tanto, la sucesi
on (fn ) converge uniformemente a f en Ac .
38
2.4. Integral de Lebesgue
Observaciones.
1) El teorema no asegura que puede obtenerse la convergencia uniforme en todo el conjunto.
si x [0, 1/n]
n x
2
Si consideramos, por ejemplo, la sucesion fn (x) = n x + 2n si x [1/n, 2/n] enton
0
en el resto,
ces fn 0 en [0, 1] pero la convergencia no es uniforme en todo [0, 1].
2) Ni siquiera puede asegurarse la convergencia uniforme salvo en un conjunto de medida cero.
Para comprobarlo, sea gn = (0,1/n) , n N. La sucesion (gn )nN converge puntualmente a
cero en [0, 1] y, por el teorema de Egorov, la convergencia es casi uniforme. Sin embargo,
dicha sucesi
on no converge uniformemente salvo un conjunto de medida nula.
3) La hipotesis m(E) < es esencial. Un ejemplo que lo prueba es la sucesion ([n,n+1) )
definida en E = [0, ).
2.4.
Integral de Lebesgue
Los conjuntos medibles y las funciones medibles seran los elementos basicos en la definicion
de la integral de Lebesgue. Dicha integral sera una generalizacion de la integral de Riemann,
manteniendo las propiedades b
asicas de linealidad pero aplicable a familias mas amplias de
funciones. En particular, su interpretacion como area de figuras planas tambien es valida en
los casos usuales.
Definiremos el concepto de integral de Lebesgue progresivamente para familias de funciones
cada vez mayores. En cada paso estableceremos las propiedades basicas, como la linealidad,
aditividad y monotona, las cuales deberan mantenerse en las sucesivas extensiones.
El primer paso ser
a establecer la integral de funciones simples, para luego extenderla a funciones medibles acotadas y medibles no negativas.
2.4.1.
Definiciones y primeros resultados
Definici
on. Si es una funci
on simple que se anula fuera de un conjunto de medida finita,
se define su integral de Lebesgue como
Z
Z
n
X
= (x) dx =
ai m(Ai )
i=1
si =
n
X
ai Ai es la representaci
on canonica de .
i=1
Si E es un conjunto medible, definimos

Z
Z
=
E .
Veamos en primer lugar que la definici

on de integral no depende de la representacion de la
funcion.
Lema 2.4.1. Sea =
n
X
39
ai Ei , con Ei Ej = , para i 6= j. Si cada Ei es un conjunto
i=1
medible con medida finita, entonces

Z
=
n
X
ai m(Ei ).
i=1
Demostraci
on. Llamamos
Ea = {x : (x) = a} =
Ei .
ai =a
X
ai m(Ei ) por la aditividad de m.
Entonces los conjuntos Ea son disjuntos y a m(Ea ) =
a
=a
i
P
Ademas, = a a Ea , de donde
Z
X
X
=
a m(Ea ) =
ai m(Ei ).
Proposici
on 2.4.2. Sean , funciones simples que se anulan fuera de un conjunto de
medida finita. Entonces
Z
Z
Z
a) (a + b ) = a + b .
Z
Z
b) Si c.s., entonces
.
Z
Z
Z
c) Si A B = , entonces
=
+
.
AB
A
Z B Z

d) || es tambien una funci
on simple y ||.
Demostraci
on. a) Sean {Ai } y {Bj } los conjuntos correspondientes a las representaciones
canonicas de y , y A0 y B0 los conjuntos donde sea anulan y , respectivamente.
Entonces los conjuntos Ek = Ai Bj forman una familia disjunta de conjuntos medibles y
podemos escribir
N
N
X
X
=
ak Ek , =
bk Ek
k=1
k=1
de modo que
a + b =
N
X
(a ak + b bk ) Ek .
k=1
Z
Por el lema anterior,
Z
(a + b) = a
Z
+b
b) Como la integral de una funci

on simple no negativa c.s. es no negativa, entonces
Z
Z
Z
= ( ) 0.
40
c) Teniendo en cuenta que, si A y B son disjuntos, AB = A + B , de modo que

Z
Z
Z
Z
Z
Z
= AB = A + B =
+
.
AB
d) Si (x) =
N
X
ak Ek (x) es la representacion canonica de , entonces |(x)| =
k=1
N
X
|ak |
k=1
Ek (x). Por tanto,

Z N
Z
N
X

X

=
ak m(Ek )
|ak | m(Ek ) = ||.

k=1
k=1
El siguiente paso del proceso consiste en definir la integral para funciones acotadas. Para ello,
necesitaremos el siguiente resultado previo.
Proposici
on 2.4.3. Sea f : E R acotada con m(E) finita. Son equivalentes:
Z
Z
a) nf
= sup
, para todas las funciones simples , .
f
f E
b) f es medible.
Demostraci
on. Supongamos que |f (x)| M , x E y que f es medible. Para cada n N
definimos los conjuntos
Ek = {x : kM/n f (x) > (k 1)M/n}, n k n.
Sn
Es evidente
Pn que estos conjuntos son medibles y disjuntos y que k=n Ek = E. Entonces
m(E) = k=n m(Ek ).
Si definimos las funciones simples
n (x) =
n (x) =
n
M X
k Ek (x)
n
M
n
k=n
n
X
(k 1) Ek (x)
k=n
entonces n (x) f (x) n (x), de donde

Z
Z
n
M X
k m(Ek )
nf
n =
f E
n
E
k=n
Z
Z
n
M X
sup
n =
(k 1) m(Ek ).
n
f E
E
k=n
Por tanto,
Z
0 nf
Z
sup
n
M X
M
m(Ek ) =
m(E).
n
n
k=n
Z
= sup
Como n es arbitrario, nf
41
Z
= sup
. Dado n N, existen n y n , funf E
fZ E
Z
ciones simples, tales que n (x) f (x) n (x) y
n
n < 1/n.
Recprocamente, supongamos que nf
Entonces las funciones = nf n y = sup n son medibles y (x) f (x) (x).

Por otra parte, el conjunto = {x : (x) < (x)} es union de los conjuntos = {x :
(x) < (x) 1/}. Si llamamos F = {x : n (x) < n (x) 1/}, entonces
Z
Z
Z
m(F ) =
1<
(n n )
(n n ) < .
n
F
F
E
Como F , entonces m( ) = 0.
En consecuencia, m() = 0, lo que significa que = excepto en un conjunto de medida
cero, y = f excepto en un conjunto de medida cero, con lo que f es tambien medible.
Definici
on. Si f : E R, con m(E) < , es medible y acotada, se define la integral de
Lebesgue de f sobre E como
Z

Z
f = nf
: es una funcion simple con f .
E
Proposici
on 2.4.4. Sea f : [a, b] R acotada. Si f es integrable Riemann en [a, b], entonces
Z
Z b
Z b
f =
f (donde indicamos por (R)
f a la integral de Riemann de
es medible y (R)
[a,b]
f ).
Demostraci
on. Como toda funci
on escalonada es simple,
Z
Z
f sup
(R)
a
Z
nf
[a,b]
(R)
[a,b]
f.
a
Como f es integrable Riemann, todas las desigualdades son igualdades y f es medible.

Proposici
on 2.4.5. Si f, g : E R, con m(E) < , son medibles y acotadas, entonces
Z
Z
Z
i)
(af + bg) = a
f +b
g.
E
E
E
Z
Z
ii) Si f = g c.s.,
f=
g.
E
E
Z Z
Z
Z

iii) Si f g, c.s.,
f
g. En consecuencia, f
|f |.
E
E
E
E
Z
iv) Si f (x) , m(E)
f m(E).
E
Z
Z
Z
v) Si A y B son conjuntos medibles disjuntos de medida finita,
f=
f+
f.
AB
42
Demostraci
on. i) Si es simple, a tambien. Entonces
Z
Z
Z
Z
=a
f.
a = a nf
- si a > 0,
a f = nf
f E
f E
E
E
Z
Z
Z
Z
Z
f.
=a
a = a sup
= a nf
a f = nf
- si a < 0,
f
Si 1 y 2 son funciones simples mayores o iguales que f y g, respectivamente, entonces

1 + 2 es una funci
on simple mayor o igual que f + g. As pues,
Z
Z
Z
Z
(f + g) (1 + 2 ) =
1 +
2 .
E
Tomando nfimos en el miembro de la derecha, resulta

Z
Z
Z
(f + g)
f+
g.
E
Analogamente, si 1 f y 2 g, entonces 1 + 2 f + g, de donde

Z
Z
Z
Z
(f + g) (1 + 2 ) =
1 +
2 .
E
Tomando supremos sobre las funciones simples 1 y 2 , resulta

Z
Z
Z
(f + g)
f+
g.
E
ii) Como f g = 0 c.s., si f g, entonces 0 c.s., de donde

Z
Z
0 = (f g) 0.
E
Analogamente se prueba que
E (f
g) 0.
iii) Visto en ii).

iv) Basta observar que
R
E
1 = m(E).
v) Basta observar que AB = A + B y aplicar i).

Proposici
on 2.4.6. Si f 0 es acotada y definida en un conjunto E de medida finita y
Z
f = 0, entonces f = 0 c.s.
E
Demostraci
on. Para cada k N, sea Ek = {x E : f (x) 1/k}. Entonces
Z
1
1
Ek (x) f (x) = m(Ek ) f.
k
k
Z
[
Por hipotesis,
f = 0, de donde m(Ek ) = 0 para todo k. Como {x : f (x) > 0} =
Ek ,
E
entonces f = 0 c.s.
kN
43
El siguiente paso en la construcci

on de la integral de Lebesgue es el de las funciones medibles
no negativas pero no necesariamente acotadas.
Definici
on. Si f : E R es una funcion medible no negativa definida en un conjunto
medible E, definimos la integral de Lebesgue de f como
Z
Z
f = sup
h,
hf
donde
on medible acotada tal que m({x : h(x) 6= 0}) es finita. En el caso de
Z h es una funci
que
f < , diremos que f es integrable Lebesgue sobre E.
E
(
|x| si |x| 1,
Ejemplo 1. La funci
on f (x) =
es integrable en R si y solo si < 1.
0
si |x| > 1,
Ejemplo 2. La funci
on g (x) =
1
es integrable en R si y solo si > 1.
1 + |x|
Proposici
on 2.4.7. Si f, g son funciones medibles no negativas,
Z
Z
i)
cf =c
f , c > 0.
E
E
Z
Z
Z
ii)
(f + g) =
f+
g.
E
E
E
Z
Z
iii) Si f g c.s.,
f
g.
E
E
Z
Z
Z
iv) Si A y B son conjuntos medibles disjuntos de medida finita,
f=
f+
f.
AB
A
B
Z
Z
Z
v) Si g es integrable y 0 f g, entonces f es integrable y
(g f ) =
g
f.
E
vi) Si f es integrable, entonces f (x) < c.s.

Z
vii) Si
f = 0, entonces f = 0 c.s.
Demostraci
on. i) y iii) son consecuencia de la proposicion 2.4.5.
Z
Z
Z
Para probar ii), sean h(x) f (x) y k(x) g(x). Entonces
h + k (f + g). Tomando
E
E
E
Z
Z
Z
supremos,
f+
g (f + g).
E
Por otro lado, sea ` una funci

on acotada y medible que se anula fuera de un conjunto de
medida finita y que es menor o igual que f + g. Definimos entonces h(x) = mn{f (x), `(x)},
k(x) = `(x)h(x). De este modo, h(x) f (x) y, como h+g = mn{f +g, `+g} mn{`, `+g},
entonces h + g `, de donde ` h g, es decir k(x) g(x). Ademas, h y k estan acotadas
(por la misma cota de `) y se anulan donde ` se anula.
Entonces
Z
Z
`=
Z
k
h+
E
Z
f+
g,
E
44
de donde
f+
(f + g).
E
El apartado iv) es consecuencia de ii) observando que AB = A + B .

Z
Z
Z
f. Como el lado
(g f ) +
g =
Para probar v), aplicamos ii) para concluir que
E
izquierdo es finito, tambien lo ser

a el lado derecho, con lo que f es integrable.
Veamos ahora el apartado vi). Sean Ek = {x : f (x) k} y E = {x : f (x) = }. Entonces
Z
Z
f Ek f k m(Ek ).
>
E
Por tanto, lmk m(Ek ) = 0. Como (Ek )kN es una sucesion decreciente que converge a
E , entonces m(E ) = 0.
Por u
ltimo, el apartado vii) es similar a la proposicion 2.4.6.
El u
ltimo paso en la construcci
on de funciones integrables consiste en eliminar la restriccion
de ser no negativas.
Definici
on. Dada una funci
on f , su parte positiva es la funcion f + (x) = max{f (x), 0}
y su parte negativa es la funci
on f (x) = max{f (x), 0}. Se tiene que f = f + f y
|f | = f + + f . Es evidente que, si f es medible, tambien lo son f + y f .
Diremos que una funci
on medible f es integrable sobre E si lo son f + y f . En este caso
definimos
Z
Z
Z
f=
f+
f .
E
Observaci
on. De la definici
on se deduce que, si tenemos dos descomposiciones f = f1 f2 =
g1 g2 , donde f1 , f2 , g1 , g2 0 son integrables, entonces
Z
Z
Z
Z
f1
f2 =
g1
g2 .
E
Para comprobarlo, basta observar que, si f1 f2 = g1 g2 , entonces f1 + g2 = g1 + f2 , y

ambos lados de la igualdad consisten en funciones medibles no negativas. Por tanto,
Z
Z
Z
Z
Z
Z
Z
Z
f1 +
g2 =
g1 +
f2 =
f1
f2 =
g1
g2 .
E
Por otra parte, teniendo en cuenta el apartado vi) de la proposicion 2.4.7, dos funciones
integrables no negativas f y g s
olo toman el valor + en un conjunto de medida nula, de
modo que est
a definida f g en casi todo punto.
Proposici
on 2.4.8. Sean f y g integrables sobre E. Entonces
Z
Z
i) c f es integrable sobre E y
cf =c
f.
E
E
Z
Z
Z
ii) f + g es integrable sobre E y
(f + g) =
f+
g.
E
45
Z
f
iii) Si f g c.s.,
g.
E
AB
f.
f+
f=
iv) Si A y B son conjuntos medibles disjuntos contenidos en E,
Demostraci
on. i) Es consecuencia de la definicion y de la proposicion 2.4.7.
ii) Si f y g son integrables, tambien lo son f + + g + y f + g . Como f + g = (f + + g + )
(f + g ), por la observaci
on previa tenemos:
Z
Z
(f + g) =
(f + g )
(f + g ) =
f +
g =
Z
f+
g.
iii) Es consecuencia de ii) y de que la integral de una funcion integrable no negativa es no

negativa.
Z
Z
Z
Z
Z
Z
iv)
f = f AB = f A + f B =
f+
f.
AB
2.4.2.
Teoremas de convergencia
Llegados a este punto, ya estamos en condiciones de probar los resultados de convergencia

que convierten a la integral de Lebesgue en una herramienta basica del analisis y a la que no
puede llegar la integral de Riemann.
Las cuestiones b
asicas son las siguientes:
dada una sucesi
on (fn ) de funciones integrables Lebesgue en [a, b], tal que fn converge
puntualmente a f c.s. en [a, b], es f integrable Lebesgue en [a, b]?
En caso afirmativo, es cierto que el lmite de la integral es igual a la integral del lmite?
Veamos un par de ejemplos que responden negativamente a estas preguntas.
(
x1 si 1/n x 1
Ejemplo 1. Si, para cada n N, fn (x) =
entonces fn converge pun0
en el resto,
(
x1 si 0 < x 1
tualmente a f (x) =
Sin embargo, fn es integrable Lebesgue en [0, 1],
0
si x = 0.
para todo n, pero f no lo es.
(
n
Ejemplo 2. Si gn (x) =
0
si 0 < x < 1/n

entonces gn converge puntualmente a g(x) = 0
en el resto,
Z 1
Z 1
en [0, 1]. En este caso, g es integrable Lebesgue en [0, 1], pero
g = 0 6= 1 = lm
gn .
0
n 0
Los siguientes resultados proporcionan condiciones para responder afirmativamente a las

cuestiones citadas.
46
Teorema 2.4.9 (convergencia acotada). Sea (fn )nN una sucesi

on de funciones medibles
definidas en un conjunto E de medida finita. Supongamos queZexiste M Z R tal que |fn (x)|
M , para todos n y x. Si f (x) = lm fn (x), x E, entonces
f = lm
E
fn .
E
Demostraci
on. Como |fn (x)| M y f (x) = lm fn (x), entonces |f (x)| M .
Por el teorema de Egorov (proposici
on 2.3.28), dado > 0, existen N N y A E medible,
con m(A) <

, tales que |fn (x) f (x)| <
, x E \ A, n N .
4M
2m(E)
Entonces
Z
Z
Z
Z Z
Z

= (fn f )
fn
|fn f | < /2 + /2 = .
f
|f
f
|
+
|f
f
|
=
n
n

E
E\A
Observaci
on. Veamos que la hip
otesis m(E) < es esencial. Para ello, supongamos que
1
E = R y fn = [n,) . Entonces |fn (x)| 1 y fn 0 uniformemente. Sin embargo,
n
Z
Z
0=
f 6= lm fn = .
R
Veamos
a continuaci
on un importante resultado que no permite asegurar en general que
Z
Z
lm fn = lm fn pero proporciona una desigualdad muy u
til en diversas ocasiones.
Teorema 2.4.10 (lema de Fatou). Si (fn )nZN es una sucesi
Z on de funciones medibles no
negativas y fn (x) f (x) c.s. en E, entonces
f lm inf
fn .
E
Demostraci
on. Podemos suponer que la convergencia es en todo punto, pues las integrales
sobre conjuntos de medida cero son nulas.
Sea h una funci
on medible acotada tal que h f y h(x) = 0 cuando x 6 E 0 , con m(E 0 ) < .
Definimos hn (x) = mn{h(x), fn (x)}. Entonces hn es medible y acotada (con la misma cota
que h) y hn (x) = 0, x 6 E 0 . Veamos que, ademas, hn (x) h(x), x E 0 :
Dado > 0, como h f , existe n0 N tal que h(x) < fn (x), n n0 . As,
h(x) = mn{h(x), h(x) } mn{h(x), fn (x)} = hn (x) h(x),
es decir |h(x) hn (x)| .
Por el teorema de la convergencia acotada 2.4.9,
Z
Z
Z
Z
h=
h = lm
hn lm inf
fn .
E
E0
E0
Tomando supremos sobre h, resulta

Z
Z
f lm inf
fn .
E
47
Observaciones.
1. El lema de Fatou no es v
alido en el caso de Zfunciones no positivas. Por
Z ejemplo, si
1
fn = [0,n] , entonces lm fn = 0 y ademas fn = 1. Sin embargo, lm inf fn =
n Z
0 > lm inf
fn .
Una variante delRlema de Fatou, v

alida para funciones negativas, es la siguiente: Si h 0
es medible
con
h
<
y
(f
)
es
una sucesion de funciones medibles con h fn ,
nZ
Z
entonces
lm inf fn lm inf
fn .
2. La desigualdad en el lema de Fatou puede ser estricta como vemos en el siguiente

ejemplo.
(
E
si n es impar,
Sea E un conjunto medible y fn =
Como 1E = E c , resul1 E si n es par.
(
Z
Z
m(E)
si n es impar,
ta que
fn =
Entonces
l
m
inf
fn = mn{m(E), m(E c )}.
m(E c ) si n es par.
Z
Ademas lm inf fn = 0, con lo que lm inf fn = 0.
Si elegimos E para que m(E) 6= 0 y m(E c ) 6= 0, entonces
Z
Z
lm inf fn < lm inf fn .
otona). Sean (fn ) una sucesi
medibles no negativas y f = lm fn . Entonces
Z
Z
f = lm fn .
Z
Z
Demostraci
on. Por el lema de Fatou, sabemos que
f lm inf fn . Pero como fn f ,
Z
Z
Z
Z
Z
Z
entonces
fn f , de donde lm sup fn f . En definitiva, f = lm fn .
Observaci
on. El teorema de la convergencia monotona no es cierto
si la sucesionZ es deZ
1
creciente. Por ejemplo, si fn =
[n,) , entonces fn 0 y
f = 0 pero lm fn =
n
Z
1
1
lm
= lm m[[n, )] = .
n
n n
S sera cierto el teorema para sucesiones decrecientes si a
nadimos la hipotesis adicional de
que f1 sea integrable, ya que podemos definir la sucesion Zgn = f1 fn , que
Z es creciente y verifica que gn 0 y lm gn = f1 f . Por tanto,
lm gn = lm gn , es decir
Z
Z
Z
Z
f1 f = f1 lm fn . Simplificando, se obtiene el resultado deseado.
48
Corolario 2.4.12 (teorema de Beppo Levi). Sea (un ) una sucesi

Z
Z
X
P
f=
no negativas y f =
un .
n=1 un . Entonces
n=1
Basta aplicar el teorema anterior a la sucesion de sumas parciales fn =
n
X
uk .
k=1
Proposici
on 2.4.13. Sea f 0 unaSfunci
on medible y (En )nN una sucesi
on de conjuntos
medibles disjuntos dos a dos. Si E = nN En , entonces
Z
XZ
f.
f=
nN En
P
Demostraci
on. Llamamos un = f En . Entonces f E =
nN un , de modo que basta
aplicar el corolario anterior.
(
|x|2 si x 6= 0
Ejemplo. Consideramos la funci
on f (x) =
Veamos que f es integrable
0
si x = 0.
en cualquier conjunto {x : |x| }.
X
1
k
k+1
Ak (x).
ak (x), donde ak (x) = k
Definimos Ak = {x : 2 |x| < 2 } y g(x) =
(2 )2
k=0
Z
Z
De esta manera, f g, de donde
f
g. Como m(Ak ) = 2 2k , por el teorema de
Levi,
Z
g=
X
m(Ak )
k=0
4
= .
(2k )2
Z
En consecuencia, f es integrable en {x : |x| } y
4
f .
|x|
Proposici
on Z2.4.14. Sea f una funci
on no negativa integrable sobre E. Dado > 0, existe
f < , A E con m(A) < .
> 0 tal que

A
Demostraci
on. La proposici
on es trivial si f es acotada. Sea pues fn (x) = mn{n, f (x)}.
As fn es
Z acotadaZy fn (x) f (x). Por
Z el teorema de la convergencia monotona, existe N N
tal que
f /2, es decir
fN >
E
(f fN ) < /2. Elegimos < /2N , de modo que, si

E
m(A) < , entonces

Z
Z
Z
Z
f = (f fN ) +
fN < (f fN ) + N m(A) < /2 + /2 = .
A
Corolario
2.4.15. Si f es una funci
on no negativa e integrable sobre R, la funci
on F (t) =
Z
f es uniformemente continua en R.
(,t]
49
Una consecuencia directa de la proposicion 2.4.4 es el siguiente resultado sobre integrales

impropias.
Proposici
on 2.4.16. Sea f : [0, ) R una funci
on continua y no negativa. Entonces
Z b
Z
lm (R)
f=
f.
b
[0,)
S
on de intervalos es creciente, entonces
Demostraci
on. Como [0, ) =
n=1 [0, n] y la sucesi
m([0, )) = lm m([0, n]). Basta aplicar la proposicion anterior para obtener
n
f = lm
b [0,b]
[0,)
f = lm
f.
(R)
Teorema 2.4.17 (convergencia dominada de Lebesgue). Sean g una funci

on integrable sobre
E y (fn ) una sucesi
on de funciones medibles tales que |fn | g en E y f (x) = lm fn (x) c.s.
en E. Entonces
Z
Z
f = lm
fn .
E
Demostraci
on. La funci
on g fn es no negativa y, por el lema de Fatou,
Z
Z
(g f ) lm inf (g fn ).
E
Como |f | g, f es integrable y
Z
g
E
Z
g lm sup
fn ,
E
Z
f lm sup
de donde
fn .
E
Z
f lm inf
Analogamente, con g + fn llegamos a

E
fn .
E
Este resultado puede generalizarse debido a que la demostracion no necesita condiciones tan
fuertes. En concreto, el siguiente resultado tambien es valido.
Teorema 2.4.18. Sea (gn )nN una sucesi
on de funciones integrables que converge c.s. a una
funci
on integrable g.ZSea (fn )nZN una sucesi
onZde funciones
Z medibles tal que |fn | gn y fn
converge a f c.s. Si
g = lm
gn , entonces
f = lm
fn .
Demostraci
on. Supongamos, para simplificar la notacion, que fn (x) 0, para todo n. Entonces, como (g fn )+ g, por el teorema de la convergencia dominada,
Z
Z
lm (g fn )+ = (g f )+ .
50
2.5. Derivaci
on e integraci
on de funciones integrables
Por otra parte, como gn fn 0,

Z
Z
Z
0 (g fn ) = (g gn + gn fn ) (g gn ) .
Z
Como ademas lm
(g gn ) = 0, resulta que
Z
lm
Z
(g fn ) =
Z
(g f )+ =
(g f ),
ya que f (x) g(x).

Observaci
on. El lema de Fatou tiene las hipotesis
Z mas debiles,Z fn acotadas inferiormente
por cero, de modo que la conclusi
on es mas debil:
f lm inf
f.
El teorema de convergencia dominada requiere que fn esten acotadasZsuperior eZinferiormente

por funciones integrables fijas, as que su conclusion es mas fuerte:
f = lm
fn .
El teorema de la convergencia mon

otona es un hbrido, necesita que fn esten acotadas inferiormente por cero y superiormente por la propia funcion lmite f . Si f es integrable, se trata
de un caso especial del teorema de la convergencia dominada. Sin embargo, junto con el lema
de Fatou, se puede aplicar sin necesidad de que f sea integrable.
2.5.
Derivaci
on e integraci
Las dos cuestiones principales que queremos responder son:

Bajo que condiciones existe la derivada de una funci
on f (al menos c.s.) y cu
ando
Z b
f 0 (x) dx = f (b) f (a)?
a
Bajo que condiciones la integral de una funci

on integrable f es derivable y cu
ando
Z x
d
f (t) dt = f (x)?
dx a
Veremos que la primera igualdad es cierta solo para una cierta clase de funciones (por ejemplo,
2
la funcion f (x) = x2 sen(x e1/x ), si x 6= 0, y f (0) = 0, es derivable pero f 0 no es integrable
en un entorno que contiene al cero) pero la segunda sera cierta en casi todo punto.
2.5.1.
Derivaci
on de una integral
Z
f, x [a, b], recibe el nombre
Dada una funci

on f integrable en [a, b], la funcion F (x) =
a
de integral indefinida de f . Veremos en este apartado que la derivada de F es igual a f en

casi todo punto de [a, b].
51
f (t) dt es continua en
Proposici
on 2.5.1. Si f es integrable en [a, b], la funci
on F (x) =
a
[a, b]. Adem

as, si f es continua en x0 [a, b], entonces F es derivable en x0 y F 0 (x0 ) = f (x0 ).
Demostraci
on. La continuidad es consecuencia de la proposicion 2.4.14.
Sea ahora x0 (a, b) y supongamos que f es continua en x0 . Dado cualquier > 0, sea > 0
tal que |f (t) f (x0 )| < para t (x0 , x0 + ). Si elegimos h de modo que 0 < h < ,
resulta

Z x0 +h
Z
F (x0 + h) F (x0 )

1
1 x0 +h

f (t) dt
f (x0 ) dt
f (x0 ) =

h
h x0
h x0
Z x0 +h
1
|f (t) f (x0 | dt < .

h x0
Por tanto, F+0 (x0 ) = f (x0 ).
Analogamente, se prueba que F0 (x0 ) = f (x0 ) y un razonamiento similar permite probar la
derivabilidad de F en los extremos del intervalo.
Z
n(n + 1)
, para todo x
2
0
[n, n + 1). Es evidente que F es continua y F 0 (x) = f (x) para todo x 6 Z.
Z b
Observaci
on. En las condiciones de la proposicion anterior, si G(x) =
f , entonces
x
Z b
G(x) =
f F (x), de modo que es tambien continua en [a, b] y, si f es continua en
Ejemplo. Si f (x) = [x] y F (x) =
f , entonces F (x) = nx
x0 (a, b), entonces G es derivable en x0 y G0 (x0 ) = f (x0 ).

x
f (t) dt = 0, x [a, b], entonces f (t) = 0 c.s.
Lema 2.5.2. Si f es integrable en [a, b] y

a
en [a, b].
Demostraci
on. Supongamos que f (x) > 0 en un conjunto E de medida positiva. ZPor la
proposicion 2.3.17, existe F E cerrado con m(F ) > 0. Por la proposicion 2.4.7(vii),
f>
F
0.
Z
Si llamamos A = (a, b) \ F , entonces 0 =
Z
f=
Z
f+
Z
f =
f , con lo que
A
f 6= 0.
F
Como A es uni
on disjunta de una familia numerable {(an , bn )}nN de intervalos abiertos,
Z
Z bn
X Z bn
por la proposici
on 2.4.7,
f =
f . Por tanto, para alg
un n,
f 6= 0 con lo que
A
an
Z
f 6= 0 o
nN an
an
bn
f 6= 0.
a
En cualquier caso, vemos

un
Z x que, si f es positiva en un conjunto de medida positiva, para alg
x [a, b] se tiene que
f 6= 0.
a
52
2.5. Derivaci
on e integraci
Analogamente se prueba que f no puede ser negativa en un conjunto de medida positiva,

as que debe ser nula.
Veamos a continuaci
on una adaptaci
on de la regla de Barrow para la integral de Lebesgue a
partir del siguiente lema previo.
Lema 2.5.3. Sean a, b, c R, con a < b, y f : [a + c, b + c] R continua. Entonces
Z b+c
Z b
f (x) dx.
f (x + c) dx =
a
a+c
Demostraci
on. Dividiremos la prueba seg
un los diferentes casos.
Z b+c
a) Si f = A , con A [a + c, b + c] medible, como m(A) =
A (x) dx y m(A c) =
a+c
Z b
Z b
Ac (x) dx =
A (x + c) dx, se trata de probar que m(A) = m(A c), lo cual es cierto
a
porque la medida de Lebesgue es invariante por traslaciones.

n
X
P
b) Si f es simple y medible, f (x) =
ai Ai (x), con Ai medibles, basta probar que ni=1 ai m(Ai ) =
i=1
Pn
en es cierto.
i=1 ai m(Ai c), lo cual tambi
c) Si f es continua, es medible y acotada con lo que f = lm n , con n simples y medibles.
Basta aplicar el teorema de la convergencia acotada 2.4.9 para deducir el resultado en este
caso.
Teorema 2.5.4 (Regla de Barrow). Sean a, b R, con a < b, y f : (a, b) R integrable y

acotada en (a, b). Si F : [a, b] R es continua en [a, b] y F 0 (x) = f (x), x (a, b), entonces
Z b
f = F (b) F (a).
a
Demostraci
on. Sea > 0 arbitrario y (hn )nN una sucesion tal que 0 < hn < y hn 0.
Z b
Z b
F (x + hn ) F (x)
Entonces
f=
lm
dx.
n
hn
a+
a+
Por ser f acotada, existe M > 0 tal que |f (x)| M , x (a, b). Por el teorema del valor
medio, existe t (x, x + hn ) tal que

F (x + hn ) F (x)

= |F 0 (t)| = |f (t)| M.

hn
Podemos aplicar entonces el teorema de la convergencia acotada 2.4.9 y el lema anterior, y
53
resulta
Z
F (x + hn ) F (x)
dx
n a+
hn

Z b
Z b
1
F (x) dx
= lm
F (x + hn ) dx
n hn
a+
a+

Z b+hn
Z b
1
F (x) dx
= lm
F (x) dx
n hn
a+
a++hn

Z b+hn
Z a++hn
1
= lm
F (x) dx .
F (x) dx
n hn
a+
b
Z
f = lm
a+
Z
Como F es continua, por la proposici
on 2.5.1, la funcion G(x) =
F es derivable y G0 (x) =
F (x). As pues,
Z

f = lm
a+

G(b + hn ) G(b ) G(a + + hn ) G(a + )
= F (b)F (a+).
hn
hn
Basta hacer 0 para obtener el resultado.
2.6.
C
alculo integral de funciones integrables
En este apartado estudiaremos diferentes propiedades relativas al calculo integral de funciones

integrables Lebesgue. Veremos que las formulas del cambio de variable y de la integracion
por partes son v
alidas tambien en la integral de Lebesgue.
2.6.1.
F
ormulas de integraci
on
Proposici
on 2.6.1 (cambio de variables). Sean g : [c, d] R una funci
on derivable con
derivada acotada y f : g([c, d]) R una funci
on continua. Si llamamos a = g(c), b = g(d),
entonces
Z b
Z d
f=
(f g) g 0 .
a
Z
Demostraci
on. Sea F (x) =
f = F (b) F (a).
f . Entonces
a
La funcion G(t) = F (g(t)) es derivable en [c, d] y G0 (t) = F 0 (g(t)) g 0 (t) = f (g(t)) g 0 (t).
Como G0 es acotada, por la regla de Barrow (teorema 2.5.4), tenemos
Z
c
f (g(t)) g 0 (t) dt = G(d) G(c) = F (b) F (a).
54
2.6. C
Proposici
on 2.6.2 (integraci
on por partes). Sean F, G : [a, b] R continuas en [a, b] y
derivables en (a, b), con derivadas acotadas. Si F 0 = f , G0 = g en (a, b), entonces
Z b
Z b
G f.
F g = (F G)(b) (F G)(a)
a
F g + G f . Por la
Demostraci
on. Las funciones F, G, f, g son acotadas y (F G)(x) =
a
regla de Barrow,
Z
(F G)(b) (F G)(a) =
(F g + G f ).
a
Proposici
on 2.6.3 (integrales impropias). Sea f : (a, ) R una funci
on medible. Si f es
Z
Z b
f = lm
f.
integrable, entonces
b a
Demostraci
on. Definimos la sucesi
on fn (x) = f (x) [a,a+n] (x). Entonces lm fn (x) = f (x),
x > a y |fn (x)| |f (x)|. Por el teorema de la convergencia dominada,
Z
Z
Z a+n
Z
lm
fn =
f = lm
f=
f.
n a
n a
De este resultado deducimos

Z que, si F es primitiva de f , continua en [a, ) y f es acotada
en [a, b], b > a, entonces
f = lm (F (b) F (a)).
a
Ejemplo. Dado
( a > 0, sea f : [a, ) R la funcion definida por f (x) = 1/x . Entonces
Z b
ln b ln a
si = 1,
1
dx =
As, f es integrable en (a, ) si y solo si > 1.
1
1
1
x
a
) si 6= 1.
a
1 (b
a1
.
La integral vale
1
Recprocamente, en el caso de que f sea integrable en (a, b), b > a, f sera medible en (a, )
porque f = lmn f (a,a+n) .
Z b
a) Si f 0 y existe lm
f < , entonces f es integrable en (a, ) (basta aplicar el
b a
teorema de la convergencia mon

otona a la sucesion fn = f (a,a+n) ).
Z b
b) Si f tiene signo variable y existe lm
|f | < , entonces f es integrable en (a, ) (por
serlo |f |).
b a
Z
Observaci
on. Si f tiene signo variable, puede existir lm
f y no ser integrable. Por

Z b
sen x
ejemplo, la funci
on f (x) = sen x/x no es integrable en (0, ) pero existe lm
dx <
b 0
x
.
b a
En efecto, como lm
x0+
55
sen x
= 1, entonces f es integrable en (0, b), para todo b > 0. Sin
x
embargo,
Z
Z (k+1)
n1
n1
n1
sen x
X Z (k+1) sen x
X
1
2X 1

.
| sen x| dx =
dx =

dx

x
x
(k + 1) k
k+1
k
k=1
Z
Esto implica que
k=1
k=1

sen x

dx = , de modo que f no es integrable en (0, ).
x
Por otro lado,

Z
sen x
cos b 1
dx =

x
b
cos x
dx.
x2
cos x
1
cos x

. Entonces existe
Como 2 2 y 1/x2 es integrable en (, b), tambien lo es
x
x
x2
Z b
Z
sen x
1
cos x
lm
dx =
dx < .
b
x
x2
Z b
sen x
dx < .
Como f es integrable en (0, ), existe lm
b 0
x
Proposici
on 2.6.4 (criterio de comparacion). Sean f, g : (a, ) [0, ) funciones medibles
f (x)
= , entonces:
y g > 0. Si f, g son integrables en (a, b), b > a y existe lm
x g(x)
a) Si (0, ), f es integrable si y s
olo si g es integrable.
b) Si = 0, g integrable = f integrable.
c) Si = , f integrable = g integrable.
Demostraci
on. a) Si (0, ),

f (x)

< , x M b g(x) < f (x) < 3 g(x).
g(x)
2
2
2
b) Si = 0,

f (x)

g(x) < |f (x)| < |g(x)|.
c) Si = ,

f (x)

g(x) > k |f (x)| > k|g(x)|.
x2 + 5
sen x es integrable en (1, ).
3x4 + 7x
x2 + 5
x2 + 5
1
Basta observar que |f (x)| 4
y que lm
/ 2 = 1/3.
4
x
3x + 7x
3x + 7x x
Ejemplo. La funci
on f (x) =
56
2.6.2.
2.6. C
Integrales dependientes de un par

ametro
En los siguientes resultados, supondremos que f : R I R es una Zfuncion tal que, para
f (x, t) dx.
cada t I, la funci
on f (, t) es integrable. Esto permite definir F (t) =
R
Teorema 2.6.5. Sea t0 punto de acumulaci

on de I. Si existe lmtt0 f (x, t) para casi todo
x R y existe un funci
on integrable g tal que |f (x, t)| g(x), t I, t 6= t0 , y para casi todo
x R, entonces
Z
lm F (t) =
tt0
lm f (x, t) dx.
R tt0
En particular, si adem
as t0 I y f (x, ) es continua en t0 para casi todo x R, entonces F
es continua en t0 .
Demostraci
on. Sea (tn )nN I una sucesion convergente a t0 , tn 6= t0 . Si definimos fn (x) =
f (x, tn ), por hip
otesis lmn fn (x) = lmtt0 f (x, t) en casi todo x R.
Por el teorema de la convergencia dominada,
Z
Z
lm F (tn ) = lm
fn =
n
n R
Z
lm fn =
R n
lm f (x, t) dx.
R tt0
f
Teorema 2.6.6 (f
ormula de Leibniz). Si existe
(x, t), t I y casi todo x R, y existe
t

f

g integrable en R tal que (x, t) g(x), t I y casi todo x R, entonces F es derivable
t
Z
f
0
(x, t) dx.
en I y F (t) =
R t
Demostraci
on. Por definici
on,
F (t) F (t0 )
F (t0 ) = lm
= lm
tt0
tt0
t t0
0
Z
R
f (x, t) f (x, t0 )
dx.
t t0
Por otra parte,

f (x, t) f (x, t0 )
f
=
(x, t0 );
t t0
t

f

E2 R, m(E2 ) = 0 : x 6 E2 , (x, s) g(x), s I.
t
E1 R, m(E1 ) = 0 : x 6 E1 , lm
tt0
Por tanto, x 6 E1 E2 , existe s comprendido entre t0 y t, tal que

f (x, t) f (x, t0 ) f

= (x, s) g(x).

t t0
t
Z
Z
f (x, t) f (x, t0 )
f
0
Por el teorema anterior, F (t0 ) =
lm
dx =
(x, t0 ) dx.
tt
t t0
0
R
R t
Captulo
Teora de la medida abstracta

La teora de la medida e integracion de Lebesgue desarrollada en el captulo anterior fue
generalizada por Caratheodory a un contexto abstracto, en el cual la mayora de propiedades
que son ciertas en el caso real siguen valiendo en el caso general. En este captulo desarrollamos dicha teora.
3.1.
Espacios de medida
Fue Frechet en 1915 el primero en observar que los conjuntos medibles Lebesgue no jugaban
un papel esencial en la definici
on de integral. Lo importante es que la familia de dichos
conjuntos forme una -
algebra.
Recordamos que una -
algebra definida en un conjunto X es una familia de subconjuntos
de X que verifica
i) .
ii) A = Ac .
[
iii) (Ai )iN =
Ai .
iN
Definici
on. Un espacio medible es un par (X, ) formado por un conjunto X y una algebra de subconjuntos de X. Un subconjunto A X es medible si A .
Definici
on. Dado un espacio medible (X, ), una medida es una funcion : R tal
que
i) (A) 0, A .
ii) () = 0.
[
X
iii) ( Ai ) =
(Ai ), si Ai , Ai Aj = (i 6= j).
iN
iN
Un espacio de medida es una terna (X, , ) formada por un espacio medible (X, ) y una
medida definida en el.
57
58
3.1. Espacios de medida
Ejemplos.
1. (R, M, m) es un espacio de medida si M son los conjuntos medibles
Z y m la medida de
f , donde f es una
Lebesgue. Tambien es un espacio de medida (R, M, ) si (E) =
E
funcion medible no negativa.
2. Si B es la clase de los conjuntos de Borel en R y m la medida de Lebesgue, (R, B, m)

es un espacio de medida.
3. Si m es el cardinal de un conjunto (llamada medida de contar), (R, P (R), m) es un
espacio de medida.
4. Si X es un conjunto no numerable,
( la familia de subconjuntos A X tales que A
0 si A es numerable,
o Ac es numerable, y (A) =
entonces (X, , ) es un
1 si X \ A es numerable,
espacio de medida.
5. Sea F : R R una funci
on no decreciente y continua por la izquierda. Definimos m[a, b) = F (b) F (a), m(a, b) = F (b) F (a+ ), m(a, b] = F (b+ ) F (a+ ),
m[a, b] = F (b+ ) F (a). Si extendemos esta funcion a las uniones e intersecciones
de estos conjuntos, as como a los abiertos y cerrados, obtenemos la llamada medida
de Lebesgue-Stieltjes.
6. Otro ejemplo usual es la medida de Dirac: dado un conjunto arbitrario X y un
elemento x X, se define la medida de Dirac en x, x : P (X) R como x (A) = 1 si
x A, y x (A) = 0 si x 6 A.
Proposici
on 3.1.1. Sea (X, , ) un espacio de medida. Si A, B y A B, entonces
(A) (B).
Demostraci
on. Basta escribir B = A(B \A), con lo que (B) = (A)+(B \A) (A).
Proposici
on 3.1.2. Si (Ai )iN , (
Demostraci
on. Sea En = An \
iN Ai )
iN (Ai ).
Sn1
i=1 Ai . Entonces En An y Ei Ej = (i 6= j).

S
S
P
P
Por tanto, (En ) (An ) y ( iN Ai ) = ( iN Ei ) = iN (Ei ) iN (Ai ).
Proposici
on 3.1.3. Sea (Ai )iN una sucesi
on de conjuntos medibles.
[
a) Si Ai Ai+1 (i N), entonces ( Ai ) = lm (An ).
iN
b) Si (A1 ) < y Ai Ai+1 (i N), entonces (
\
iN
Ai ) = lm (An ).
n
Captulo 3. Teora de la medida abstracta
59
Demostraci
on. a) Si definimos B1 = A1 , Bn = An \ An1 (n > 1), entonces los conjuntos Bn
son disjuntos dos a dos y, para cada n N, An = B1 Bn . Por tanto,
[
[
X
( Ai ) = ( Bi ) =
(Bi )
iN
iN
= lm
b) Llamamos A =
iN Ai .
iN
n
X
(Bi ) = lm (
i=1
n
[
Bi ) = lm (An ).
n
i=1
As
A1 = A
(Ai \ Ai+1 )
iN
es una union disjunta de modo que

X
(A1 ) = (A) +
(Ai \ Ai+1 )
iN
= (A) +
n1
X

(Ai ) (Ai+1 ) = (A) + lm
(Ai ) (Ai+1 )
iN
i=1
= (A) + (A1 ) lm (An ).
Definici
oS
n. Una medida es finita si (X) < y es -finita si existe (Xn )nN tal
que X = nN Xn y (Xn ) < , n. Una medida de probabilidad es aquella que verifica
(X) = 1.
Por ejemplo, la medida de Lebesgue en [0, 1] es finita pero la medida de Lebesgue en R es
-finita. La medida de contar en un conjunto no numerable no es -finita.
Un conjunto A tiene medida finita si AS y (A) < y tiene medida -finita si existe
(An )nN tal que (An ) < y A = nN An .
Si es una medida -finita, todo conjunto medible tiene medida -finita.
Definici
on. Un espacio de medida (X, , ) es completo si contiene todos los subconjuntos de conjuntos de medida cero. Por ejemplo, la medida de Lebesgue es completa pero su
restriccion a la -
algebra de los conjuntos de Borel no es completa.
Proposici
on 3.1.4 (compleci
on). Si (X, , ) es un espacio de medida, existe un espacio
completo (X, 0 , 0 ) tal que
i) 0 .
ii) A = (A) = 0 (A).
iii) A 0 A = U V , con V y U C, C , (C) = 0.
Esquema de la prueba.
La familia 0 definida en iii) es -algebra.
60
3.2. Funciones medibles
Si A 0 , (V ) es la misma para cualquier conjunto V tal que A = U V , con

U C, C , (C) = 0.
Se define 0 (A) = (V ) y se prueba que (X, 0 , 0 ) es un espacio completo.
3.2.
Funciones medibles
A lo largo de esta secci

on, (X, , ) ser
a un espacio de medida.
Proposici
on 3.2.1. Sea f : X R. Son equivalentes:
i) {x : f (x) < } , .
ii) {x : f (x) } , .
iii) {x : f (x) > } , .
iv) {x : f (x) } , .
Demostraci
on. Identica al caso real.
Definici
on. Si una cualesquiera de las proposiciones anteriores se cumple, decimos que f es
una funci
on medible.
Teorema 3.2.2. Si f, g son medibles, f + g, c f y f g son medibles.
Adem
as, si (fn ) es una sucesi
on de funciones medibles, sup fn , nf fn , lm sup fn y lm inf fn
son medibles.
Demostraci
on. An
aloga al caso real.
Definici
on lineal de funciones caractersticas de conjuntos medibles
Pon. Toda combinaci
f (x) = ni=1 ci Ei (x) es una funci
on simple.
Es facil probar que las funciones simples forman un algebra. Basta comprobar que A + B =
A\B + 2AB + B\A y que A B = AB .
Proposici
on 3.2.3. Sea f 0 medible. Entonces existe una sucesi
on (n )nN creciente de
funciones simples no negativas tal que f (x) = lmn n (x), x X. Si f est
a definida en
un espacio de medida -finito, podemos elegir n para que se anule fuera de un conjunto de
medida finita.
Demostraci
on. Sea n N. Definimos los conjuntos medibles

k
k+1
Enk = x X : n f (x) <
, k = 0, 1, . . . , n 2n 1,
2
2n
E = {x X : f (x) n}.
(
k/2n si x Enk , k = 0, 1, . . . , n 2n 1
Definimos a continuaci
on n (x) =
n
si x E .
As definida, n es simple no negativa y la sucesion (n )nN es creciente. Tambien es sencillo
comprobar que lmn n (x) = f (x).
61
Corolario 3.2.4. Si f es una funci

on medible real, entonces es lmite de una sucesi
on de
funciones simples.
Basta considerar la sucesi
on n n , donde n f + y n f .
Proposici
on 3.2.5. Si es una medida completa y f es una funci
on medible tal que f = g
c.s., entonces g es medible.
3.3.
Integraci
Tambien supondremos a lo largo de esta seccion que (X, , ) es un espacio de medida.

n
X
Definici
on. Si (x) =
ci Ei (x) una funcion simple no negativa, definimos
i=1
Z
d =
n
X
ci (Ei ),
i=1
donde convenimos que 0 = 0 cuando (Ei ) = y ci = 0.

Si E es un conjunto medible, definimos
Z
Z
n
X
d = E d =
ci (Ei E).
E
i=1
Es facil ver que el resultado es independiente de la representacion de (primero se prueba

que pueden elegirse Ei disjuntos y luego que pueden hacerse ci distintos).
Si a, b 0 y , son funciones simples no negativas, de la definicion se deduce que
Z
(a + b) d = a
d + b
Z
=
d;
Z
d
d.
Definici
on. Si f : X R es una funcion medible no negativa en (X, , ), se define
Z
Z
f d = sup{ d : es una funcion simple con 0 f }.
Z
Del mismo modo, se define
Z
f d =
f E d si E .
Proposici
on 3.3.1. Sean f, g : X [0, ] medibles y A, B . Entonces
Z
Z
i) f g c.s = f d g d.
Z
Z
ii) A B =
f d
f d.
A
62
3.3. Integraci
Z
iii) f (x) = 0 para casi todo x A =
Z
f d = 0.
iv) (A) = 0 =
f d = 0.
A
Demostraci
on. La primera parte es evidente. Para probar ii), basta observar que f A f B
y aplicar i).
El apartado iii) es
Z evidente porque, si es una funcion simple tal que 0 f , entonces
= 0, de donde
d = 0.
A
P
Por u
ltimo, si = kN ck Ek es una funcion simple tal que 0 f , entonces
Z
d =
A
ck (Ek A) = 0
kN
ya que Ek A A y (A) = 0.
Proposici
on 3.3.2. Sea f : X [0, ] medible.
Z
1
a) Para todo > 0, ({x : f (x) })
f d.
Z
b) Si E es medible,
f d = 0 = f = 0 c.s. en E.
E
Z
c) Si E es medible,
f d < = f < c.s. en E.
E
Demostraci
on. a) Si llamamos E = {x : f (x) }, entonces
Z
Z
Z
(E) = E d
f d
f d.
E
b) Para cualquier n N,
Z
Z
f E d = n
({x : f E 1/n}) n
f d = 0.
E
Como
{x : f E > 0} =
{x : f E 1/n},
nN
entonces ({x : f > 0} E) = ({x : f E > 0}) = 0.

Z
1
c) Por el apartado a), para todo k N, ({x : f E k})
f d < .
k E
Como
\
{x : f E = } =
{x : f E k},
kN
entonces ({x : f E = }) ({x : f E k}) = 0.
63
Proposici
on 3.3.3. Sea (X, , ) es un espacio de medida completo.
a) Si f = g c.s. y f es medible, entonces g es medible.
b) Si, k N, fk son reales y medibles y fk f c.s., entonces f es medible.
Demostraci
on. a) Sean R, B con (B) = 0 tal que f (x) = g(x), si x B c . Entonces
{x : g(x) < } = ({x : g(x) < } B c ) ({x : g(x) < } B)
= ({x : f (x) < } B c ) ({x : g(x) < } B).
El primero de estos conjuntos es medible por serlo f y el segundo tambien es medible por
estar contenido en B y por ser el espacio completo.
b) Sea B con (B) = 0 y fk (x) f (x), x B c .
Si gk = fk B c , entonces gk es medible y gk f B c . Entonces f Bc es medible. Como
f B c = f c.s., entonces f es tambien medible.
La aditividad de la integral ya no es evidente y se prueba utilizando los teoremas de convergencia.
Teorema 3.3.4 (lema de Fatou). Sea (fn )nN una sucesi
on de funciones medibles no negativas que converge a f c.s. en E. Entonces
Z
Z
f d lm inf
fn d.
E
Demostraci
on. Supongamos (por simplicidad en la notacion) que fn (x) f (x), x E.
Probaremos que
Z
Z
d lm inf
fn d, funcion simple con 0 f.
E
Z
d = , entonces existe A medible, con A E y (A) = , tal que > M > 0
Si
E
en A, M > 0.
Llamamos An =
{x E : fk (x) > M }. As, (An )nN es una sucesion creciente de
kn
S
conjuntos medibles tal que A nN An (pues lm fn ) y, si x A, (x) > M .
Entonces lm (An ) (A) = .
Z
Z
Z
Z
Como
fn d
fn d > M (An ), entonces lm
fn d = =
d.
E
An
Z
d < , existe un conjunto medible A E con (A) < , tal que se anula
Si
E
en E \ A. Si M = m
ax , dado > 0, definimos
An =
\
kn
{x A : fk (x) (1 )(x)}.
64
3.3. Integraci
S
As (An )nN es una sucesi
on creciente de conjuntos medibles
tal
que
A
nN An de
T
modo que (A \ An )nN es una sucesion decreciente con nN (A \ An ) = .
T
Como ( nN A \ An ) = lm (A \ An ) = 0, existe n0 N tal que (A \ Ak ) < ,
k n0 . Por tanto,
Z
Z
Z
Z
Z
fk d
fk d (1 )
d = (1 )
d (1 )
d
E
Ak
Ak
E
A\Ak
Z
Z
Z

Z
d + M ,
d
d
d
(1 )
E
A\Ak
Z
d ( d + M ).
E
E
E
Z
Z
d.
fn d
Com es arbitrario, lm inf
Z
de donde lm inf
fn d

otona). Sea (fn )nN una sucesi
medibles no negativas que converge c.s. a f . Entonces
Z
Z
f d = lm fn d.
Z
Demostraci
on. Como fn fn+1 ,
Z
Z
fn d
fn+1 d. Por tanto, la sucesion
Z
f d lm inf
Z
fn d lm sup
fn d
nN
tiene lmite (finito o infinito).

Z
Z
Z
Z
Como
fn d f d, entonces lm sup fn d f d.
Por el lema de Fatou,
Z
Z
fn d
f d.
Combinando ambas desigualdades se obtiene el resultado.

Proposici
on 3.3.6. Sean f, g 0 funciones medibles y a, b 0. Entonces
Z
Z
Z
a) (af + bg) d = a f d + b g d.
Z
b)
f d 0. La igualdad es cierta s
olo si f = 0 c.s.
Demostraci
on. a) Sean (n )nN y (n )nN sucesiones crecientes de funciones simples no negativas que convergen a f y g, respectivamente. Entonces (an + bn )nN es una sucesion
creciente de funciones simples no negativas que converge a af + bg. Por el teorema anterior,
Z
Z
Z
Z
Z
Z

(af + bg) d = lm (an + bn ) d = lm a n d + b n d = a f d + b g d.
65
Z
f d 0. Si
f d = 0, llamamos An = {x : f (x) 1/n}. Entonces
Z
S
y (An ) =
An d = 0. Como {x : f (x) > 0} = nN An , entonces dicho
b) Es evidente que
f
1
n
A n
conjunto tiene medida cero.

Corolario 3.3.7. ZSea (fn )nN una sucesi
on de funciones medibles no negativas. Entonces
Z
X
X
fn d =
fn d.
nN
nN
Corolario 3.3.8. Si A =
nN An ,
donde (An )nN Zes una sucesi

on de conjuntos medibles
XZ
f d.
disjuntos, y f 0 es una funci
on medible, entonces
f d =
nN An
Definici
on.
on f 0 se dice integrable sobre un conjunto medible E si es
Z Una funci
f d < .
medible y
E
Z
Sea f : X R una funci
on medible. Se define
Z
f d =
f + d
f d si alguna de
las integrales de la derecha es finita. Decimos que f es integrable cuando ambas son finitas.
Si E , f es integrable en E cuando f E es integrable.
Proposici
on 3.3.9. Sean E un conjunto medible y f una funci
Entonces
oZn real y medible.
Z

f es integrable en E si y s
olo si |f | es integrable en E. Adem
as f d
|f | d.
E
Corolario 3.3.10. Sean E un conjunto medible y f una funci

on real y medible. Entonces f
es integrable en E si y s
olo si existe h integrable, con |f | h c.s.
Proposici
on 3.3.11. Sean f , g funciones reales y medibles y E un conjunto medible. Entonces
Z
Z
i) Si f, g son integrables y f g, entonces
f d g d.
ii) Si f = g c.s, entonces f integrable g integrable.
Z
iii) Si f = 0 para casi todo x E, entonces
f d = 0.
E
Z
iv) Si (E) = 0, entonces
f d = 0.
E
Demostraci
on. i) Si f g, entonces f + g + y f g . Por tanto,
Z
Z
+
(f f ) d (g + g ) d.
ii) Basta observar que |f | = |g| c.s.
El resto es evidente.
Proposici
on 3.3.12.
Z
Z i) Si f , gZ son integrables y a, b R, entonces af + bg es integrable y
(af + bg) d = a
f d + b
g d.
E
66
3.4. Construcci
on de medidas abstractas
ii) Si f es integrable en un conjunto medible E, con E =

Z
XZ
f d.
f d =
E
kN
Ak (uni
on disjunta), entonces
kN
Ak
Z
f d = 0, para todo E , entonces f = 0 en casi todo x X.
iii) Si
E
Z
Demostraci
on. iii) Como
f d = 0, entonces f + = 0 c.s. Analogamente
f d =
{x:f (x)0}
se prueba que f = 0 c.s.

Teorema 3.3.13 (convergencia dominada de Lebesgue). Sea g real e integrable sobre E
y (fn )nN una sucesi
on de funciones
tal que |fn (x)| |g(x)|, x E, y
Z medibles reales
Z
fn (x) f (x) c.s. en E. Entonces
f d = lm
fn d.
nN E
Demostraci
on. Basta aplicar el lema de Fatou a g + fn y g fn .
3.4.
Construcci
Es frecuente que una medida este definida u

nicamente en una clase reducida de conjuntos
(por ejemplo, si F : R R es una funcion creciente y continua por la derecha, la funcion
(a, b] = F (b) F (a) es una medida sobre la clase de los intervalos semiabiertos por la
izquierda). En esta secci
on estudiaremos la forma de extender estas medidas a la -algebra
generada por la clase inicial de conjuntos. El metodo utilizado generaliza el de construccion de
la medida de Lebesgue a partir de una medida exterior definida sobre los conjuntos abiertos.
Por u
ltimo aplicaremos este procedimiento en la construccion de medidas producto.
3.4.1.
Medida exterior
Definici
on. Dado un conjunto X, una aplicacion : P (X) [0, ] es una medida
exterior si verifica
i) () = 0.
ii) Monotona: A B = (A) (B).
iii) Subaditividad numerable: E
Ei = (E)
i=1
De ii) y iii) se deduce que (
i=1
Ei )
X
i=1
Decimos que es finita si (X) < .
(Ei ).
i=1
(Ei ) si (Ei ) es una familia de conjuntos disjuntos.
67
Ejemplos. 1) La funci
on () = 0, (A) = 1, en cualquier otro caso, define una medida
exterior en P (X).
2) Si X es un conjunto infinito, la funcion (A) = 0 si A es numerable, y (A) = 1 si A no
es numerable, tambien es una medida exterior en P (X).
En el apartado 3.4.2 veremos un metodo general de construccion de medidas exteriores.
Definici
on. Un conjunto E X es medible (seg
un Caratheodory) con respecto a (o
-medible) si
(A) = (A E) + (A E c ), A X,
lo cual equivale simplemente a
(A) (A E) + (A E c ), A X,
ya que la desigualdad contraria es consecuencia de la definicion de medida exterior.
De la definici
on se deduce inmediatamente que conjuntos de medida exterior cero son medibles.
Teorema 3.4.1. La clase B de conjuntos -medibles es una -
algebra. Si = |B , entonces
es una medida completa en B.
Demostraci
on. Es evidente que B y que E B = E c B.
Sean E1 , E2 B. Por un lado,
A X, (A) = (A E2 ) + (A E2c )
y, por otro,
(A) = (A E2 ) + (A E2c E1 ) + (A E2c E1c ).
Ahora bien, como A (E1 E2 ) = (A E2 ) (A E1 E2c ),
(A (E1 E2 )) (A E2 ) + (A E2c E1 ),
de donde
(A) (A (E1 E2 )) + (A (E1 E2 )c ).
Esto indica que E1 E2 B.
Por recurrencia se prueba que la uni
on finita de conjuntos -medibles es -medible.
S
Sn
Por u
ltimo, sea E =
i=1 Ei , (Ei )iN B disjuntos. Si llamamos Gn =
i=1 Ei , entonces
Gn B y A X,
(A) = (A Gn ) + (A Gcn ) (A Gn ) + (A E c ).
Como Gn En = En y Gn Enc = Gn1 , tenemos que
(A Gn ) = (A En ) + (A Gn1 ).
68
3.4. Construcci
Procediendo de forma recurrente,

(A Gn ) =
n
X
(A Ei ),
i=1
con lo que
(A) (A E c ) +
n
X
(A Ei ), n,
i=1
de donde
(A) (A E ) +
(A Ei ) (A E c ) + (A E)
i=1
pues A E
(A Ei ).
i=1
Veamos a continuaci
on la aditividad finita de .
Sean E1 , E2 B disjuntos. Entonces
(E1 E2 ) = (E1 E2 ) = ((E1 E2 ) E2 ) + ((E1 E2 ) E2c )
= (E2 ) + (E1 ) = (E2 ) + (E1 ).
El caso finito se prueba por recurrencia.
[
Si E =
Ei , con (Ei )iN B disjuntos, entonces
i=1
(E) (
n
[
i=1
de donde (E)
Ei ) =
n
X
(Ei ),
i=1
(Ei ).
i=1
Pero, por la subaditividad numerable de
(E)
(Ei ). As, es una medida pues
i=1
es no negativa y () = 0.
Para ver que es completa, B debe contener todos los subconjuntos de conjuntos de medida
nula.
Sea pues E B, con (E) = 0 y F E. Entonces, A X,
(A F ) + (A F c ) (A E) + (A F c ) (E) + (A) = (A)
con lo que F B.
3.4.2.
69
Teorema de extensi
on de Carath
eodory
En el apartado anterior hemos visto c

omo caracterizar conjuntos medibles a partir de una
medida exterior. Sin embargo, la medida exterior se define a su vez mediante una idea mas
primitiva de medida en una clase m
as amplia de funciones. Esto es lo que desarrollaremos a
continuacion partiendo de medidas sobre un algebra de conjuntos.
Definici
on. Dada un
algebra de conjuntos A, una funcion : A [0, ] es una medida
sobre el
algebra A si
i) () = 0.
S
P
S
on disjunta tal que iN Ai A.
ii) (
i=1 (Ai ), si (Ai )iN A es una sucesi
i=1 Ai ) =
As pues, una medida sobre un
algebra es medida si y solo si A es -algebra.
Queremos demostrar que toda medida sobre un algebra A puede extenderse a una medida
definida en una -
algebra B con A B. El procedimiento sera construir una medida exterior
y ver que la medida inducida (seg

un el teorema 3.4.1) es la extension deseada.
La construcci
on ser
a an
aloga a la construccion de la medida exterior de Lebesgue a partir de
las longitudes de intervalos. Definimos
(E) = nf
(Ai )
i=1
donde (Ai )iN A es una sucesi

on tal que E
i=1 Ai .
Lema 3.4.2. Sea una medida sobre el

algebra A. Si A A y (Ai )iN A es una sucesi
on
X
S
tal que A
(Ai ).
i=1 Ai , entonces (A)
i=1
c
c
Demostraci
S on. Llamamos Bn = AAn A1 An1 . As Bn A, son disjuntos, Bn An
y A = n=1 Bn . Por la aditividad numerable de ,
(A) =
(Bn )
n=1
(An ).
n=1
Corolario 3.4.3. Si A A, (A) = (A).

Demostraci
on. Por definici
on, (A) (A). Por el lema anterior, como (A)
S
con A
i=1 Ai , entonces (A) (A).
Lema 3.4.4. es una medida exterior.
Demostraci
on. Por la propia definici
on, es monotona y () = 0.
S
P
Sea E i=1 Ei . Si (Ei ) = para alg
un i, (E) (Ei ) = .
X
i=1
(Ai ),
70
3.4. Construcci
Si (Ei ) < para todo i, dado > 0, existe (Aij )

j=1 A tal que Ei
P
i
j=1 (Aij ) < (Ei ) + /2 . Entonces
(E)
(Aij ) <
i,j
Como es arbitrario, (E)
i=1
j=1 Aij
(Ei ) + .
i=1
(E ).
i
Lema 3.4.5. Si A A, entonces A es -medible.

Demostraci
on. Sea E S
X con (E) < y sea > 0 arbitrario. Existe una sucesion
(Ai )iN A tal que E iN Ai y
X
(Ai ) < (E) + .
iN
Por la aditividad de en A,
(Ai ) = (Ai A) + (Ai Ac ),
de donde
(E) + >
(Ai A) +
i=1
debido a que E A
(Ai Ac ) > (E A) + (E Ac )
i=1
iN (Ai
A) y E Ac
c
iN (Ai A ).
Ac ), con lo que
Como es arbitrario, (E) (E A) + (E
A es medible.
La medida exterior definida antes se llama medida exterior inducida por . Dado un
algebra A, denotaremos por A a la clase de conjuntos que son union numerable de conjuntos
de A y por A los conjuntos que son interseccion numerable de conjuntos de A .
Proposici
on 3.4.6. Sea una medida sobre un
algebra A, la medida exterior inducida
por y E X arbitrario. Entonces
> 0, A A : E A, (A) (E) + .
Adem
as, existe B A tal que E B y (E) = (B).
Demostraci
on. Por la definici
on de , existe (Ai )iN A tal que E
iN Ai
(Ai ) (E) + .
i=1
Si A =
iN Ai ,
(A)
iN
(A
i)
iN (Ai )
(E) + .
Para demostrar la segunda parte, sabemos que, para cada n N existe An A tal que
E An y (An ) < (E) + 1/n.
T
Si B = nN An , B A y E B.
Como B An , (B) (An ) < (E) + 1/n.
Como n es arbitrario, (B) (E). Pero E B, de donde (E) (B).
71
Si aplicamos esta proposici

on a un conjunto -medible E de medida finita, resulta que E
es diferencia de un conjunto de A y un conjunto de medida exterior cero. Esto nos da la
estructura de los conjuntos -medibles de medida finita. Veamos a continuacion la extension
de este resultado a medidas -finitas.
Proposici
on 3.4.7. Sea una medida -finita sobre un a
lgebra A y la medida exterior
inducida por . Un conjunto E es -medible si y s

olo si E = A\B, con A A y (B) = 0.
Adem
as, dado B, con (B) = 0, entonces existe C A , con B C y (C) = 0.
Demostraci
on. Como los conjuntos medibles forman una -algebra, todo conjunto A A
es medible; como adem
as es completo (por el teorema 3.4.1), los conjuntos con -medida
cero son medibles. Con todo ello, si E = A \ B, con A A y (B) = 0, entonces E es
-medible.
Recprocamente,
sea (Xi )iN A una sucesion de conjuntos disjuntos conS(Xi ) < y
S
X = iN Xi . Si E es medible y llamamos Ei = E Xi , entonces E = iN Ei (union
disjunta). Por la proposici
on anterior, para cada n N, existe Ani A tal que Ei Ani y
1
.
n 2i
S
S
Hacemos An =
i=1 (Ani \ Ei ). Por tanto,
i=1 Ani , con lo que E An y An \ E
(Ani ) (Ei ) +
(An \ E)
(Ani \ Ei )
i=1
Como An A , el conjunto A =
n=1 An
X
i=1
1
1
= .
i
n2
n
A y, para cada n, A \ E An \ E, de donde
(A \ E) (An \ E) 1/n.
Como es cierto para todo n, (A \ E) = 0.
La segunda parte es consecuencia directa de la proposicion anterior.
Teorema 3.4.8 (Caratheodory). Sea una medida sobre un
algebra A y la medida
exterior inducida por . Entonces la restricci

on de a los conjuntos -medibles es una
extensi
on de a una -
algebra que contiene a A. Si es finita (o -finita), tambien lo es
. Si es -finita, es la u
nica medida sobre la mnima -
algebra que contiene a A que
extiende a .
Demostraci
on. S
olo queda probar la unicidad de cuando es -finita.
Sea S la mnima -
algebra que contiene a A y
e alguna medida en S que coincide con en
A. Como los conjuntos de A son uni
on numerable disjunta de conjuntos de A,
e = en
A .
Sea B S con (B) < . Por la proposicion 3.4.6, existe A A tal que B A y
(A) (B) + .
Pero
e(B)
e(A) = (A) (B) + =
e(B) (B).
72
3.4. Construcci
Como la clase de conjuntos -medibles es una -algebra que contiene a A, los conjuntos B
S son -medibles. As pues, si B es -medible y A A , con B A y (A) (B) + ,
entonces
(A) = (B) + (A \ B),
de donde (A \ B) , si (B) < .
Por tanto,
(B) (A) =
e(A) =
e(B) +
e(A \ B)
e(B) + .
Esto implica que (B)
e(B), con lo que (B) =
e(B).
S
Si es una medida -finita, sea (Xi )iS
on disjunta tal que X = iN Xi y
N A una sucesi
(Xi ) < . Si B S, entonces B = iN (B Xi ) (union disjunta), con B Xi S, de
modo que
X
X
e(B) =
e(B Xi ) y (B) =
(B Xi ).
iN
Como
(B
iN
Xi ) < , (B Xi ) =
e(B Xi ), de donde
e(B) = (B).
Observaciones. El metodo anterior no solo extiende a una medida en la mnima -algebra

B que contiene a A, sino que completa la medida. Si es -finita, la extension a los conjuntos
-medibles es simplemente la compleci
on de .
Si no es -finita, la extensi
on de a B no tiene que ser u
nica aunque cualquier otra extension
e coincide con en los conjuntos B B tales que (B) < y siempre sera
e(B) (B).
A menudo conviene empezar con una funcion 0 : C R, donde C P (X) es una semi
algebra, es decir que cumple las propiedades:
i) A, B C = A B C.
ii) A C = existen Ai C disjuntos tales que Ac =
Sn
i=1 Ai .
Si C es una semi
algebra, la familia A que contiene el conjunto vaco y todas las uniones
finitas disjuntas de conjuntos de C es un algebra, P
llamada
algebra generada
por C. Si 0
S
esta definido en C, se define en A por (A) = ni=1 0 (Ei ), si A = ni=1 Ei , con Ei C
disjuntos.
Para que esta medida este bien definida sobre A hacen falta algunas condiciones como las
indicadas a continuaci
on.
Proposici
on 3.4.9. Sea C una semi
algebra de conjuntos y : C R, con 0 y () = 0
(si C). Entonces tiene una u
nica extensi
on a una medida sobre el
algebra A generada
por C si se cumplen:
S
P
i) C C, C = ni=1 Ci , Ci C disjuntos = (C) = ni=1 (Ci ).
S
P
ii) C C, C =
i=1 Ci , Ci C disjuntos = (C)
i=1 (Ci ).
Ejemplo (medida exterior de Lebesgue). Dada la familia C = {(a, b] : a, b R, a b}, la
funcion
(
)
X
[
m (A) = nf
(bn an ) : an , bn R, an bn , A
(an , bn ]
n=1
es una medida exterior.
n=1
3.5.
73
Medidas producto
Sean (X, A, ) e (Y, B, ) dos espacios de medida completos. Si A X y B Y , el conjunto

AB se llama rect
angulo. Si A A y B B, el conjunto AB es un rect
angulo medible.
La coleccion R de rect
angulos medibles es una semialgebra pues
(A B) (C D) = (A C) (B D)
y
(A B)c = (Ac B) (A B c ) (Ac B c ).
Si A B es un rect
angulo medible, definimos
(A B) = (A) (B).
Lema 3.5.1. Sea (Ai Bi )iN una sucesi
on de rect
angulos medibles disjuntos cuya uni
on es
un rect
angulo medible A B. Entonces
X
(A B) =
(Ai Bi ).
iN
Demostraci
on. Fijado x A, para cada y B, el par (x, y) pertenece exactamente a un
rectangulo Ai Bi . Por tanto B es la union disjunta de los Bi para los que x esta en el
correspondiente Ai . As,
X
(Bi ) Ai (x) = (B) A (x)
iN
pues es numerablemente aditiva. Por el teorema de Beppo Levi,

Z
XZ
(Bi ) Ai d = (B) A d
iN
o bien
X
(Bi ) (Ai ) = (B) (A).
iN
Este lema implica que cumple las condiciones de la proposicion 3.4.9 de modo que tiene una
u
nica extensi
on a una medida sobre el
algebra R0 de las uniones finitas disjuntas de conjuntos
de R.
Por el teorema de Caratheodory, puede extenderse a una medida completa en una -algebra
S que contiene a R. Esta medida es la llamada medida producto de y , que se denota
por .
Si y son finitas (o -finitas), tambien lo es .
Si X = Y = R y = es la medida de Lebesgue, es la llamada medida de Lebesgue
bidimensional en el plano.
74
3.5. Medidas producto
Veamos a continuaci
on la estructura de los conjuntos medibles respecto a la medida producto.
Si E X Y y x X, definimos las secciones
Ex = {y Y : (x, y) E}, E y = {x X : (x, y) E}.
Todas las propiedades relativas a la seccion Ex son aplicables a la seccion E y de modo que
enunciaremos u
nicamente las relativas a la primera de ellas.
S
S
Es facil ver que (E c )x = (Ex )c y ( E )x = (E )x para cualquier familia (E ). Ademas la
funcion caracterstica de Ex verifica que Ex (y) = E (x, y).
Lema 3.5.2. Si x X y E R , entonces Ex es un subconjunto medible de Y .
Demostraci
on. El resultado es trivial si E R pues, si E = A B, con A, B medibles,
entonces Ex = B, que es medible. Veamos que tambien es cierto si E R .
S
Sea E =
i=1 Ei , con Ei R. Entonces
Ex (y) = E (x, y) = sup Ei (x, y) = sup (Ei )x (y).
Como Ei es un rect
angulo medible, (Ei )x (y) es una funcion medible de y. Por tanto, Ex
tambien es medible, con lo que Ex es medible.
T
Sea, por u
ltimo, E =
i=1 Ei , con Ei R . Entonces
Ex (y) = E (x, y) = nf Ei (x, y) = nf (Ei )x (y),
de lo que deducimos que Ex es medible y Ex sera medible para todo E R .
Lema 3.5.3. Sea E R , con (E) < . Entonces la funci
on g, definida por g(x) =
(Ex ), es una funci
on -medible y
Z
g d = (E).
(
(B)
Demostraci
on. El resultado es trivial si E R pues g(x) =
0
S
Sea E = iN Ei , con Ei R disjuntos. Definimos
si x A,
en el resto.
gi (x) = [(Ei )x ].
P
As, cada gi es una funci
on medible no negativa y, si g = iN gi , g es medible. Por el teorema
de Beppo Levi,
Z
XZ
X
g d =
gi d =
(Ei ) = (E).
iN
iN
Por u
ltimo, sea E R un conjunto
de medida finita. Entonces existe una familia (Ei )iN
T
R tal que Ei+1 Ei y E = iN Ei .
75
Por la proposici
on 3.4.6, podemos hacer (E1 ) < . Si definimos gi (x) = [(Ei )x ],
entonces lm gi (x) es una funci
on medible. Como
Z
g1 d = (E1 ) < ,
entonces g1 (x) < c.s.
Para cada x con g1 (x) < , {(Ei )x }iN es una sucesion decreciente de conjuntos medibles de
medida finita cuya intersecci
on es Ex . Por la proposicion 3.1.3, tenemos
g(x) = (Ex ) = lm [(Ei )x ] = lm gi (x).
Por tanto, gi g c.s., con lo que g es medible.
Como 0 gi g1 , el teorema de la convergencia dominada de Lebesgue implica que
Z
Z
g d = lm gi d = lm (Ei ) = (E),
nuevamente por la proposici
on 3.1.3.
Lema 3.5.4. Sea E un conjunto tal que (E) = 0. Para casi todo x, (Ex ) = 0.
Demostraci
on. Por la proposici
on 3.4.6, existe F R tal que E F y (F ) = 0. Del
lema anterior deducimos que (Fx ) = 0 c.s. Pero Ex Fx con lo que (Ex ) = 0 c.s. ya que
es completa.
Proposici
on 3.5.5. Sea E un conjunto medible en X Y tal que (E) < . Entonces
Ex es un conjunto medible en Y para casi todo x. La funci
on g(x) = (Ex ) es una funci
on
medible definida en casi todo x y
Z
g d = (E).
Demostraci
on. Por la proposici
on 3.4.6, existe F R tal que E F y (F ) = (E).
Sea G = F \ E, el cual es medible y
(F ) = (E) + (G) = (G) = 0.
Por el lema anterior, (Gx ) = 0 c.s. de donde
g(x) = (Ex ) = (Fx ) c.s.
y as g es tambien una funci
on medible por el lema 3.5.3.
Tambien por el lema 3.5.3,
Z
g d = (F ) = (E).
76
3.5. Medidas producto
Los dos siguientes resultados dan condiciones para calcular de forma explcita integrales con
respecto a medidas producto mediante un proceso iterativo.
Teorema 3.5.6 (Fubini). Sean (X, A, ) e (Y, B, ) dos espacios de medida completos y f
una funci
on integrable en X Y . Entonces
i) fx (y) = f (x, y) es una funci
on integrable en Y para casi todo x y fy (x) = f (x, y) es una
funci
on integrable en X para casi todo y.
Z
Z
ii)
f (x, y) d(y) es una funci
on integrable en X y
f (x, y) d(x) es una funci
on inteY
grable en Y .
Z
Z hZ
i
f d d =
iii)
X
f d( ) =
XY
Z hZ
i
f d d.
Demostraci
on. Basta probar el caso en que f 0 (pues f = f + f , con f + , f 0).
Por la proposici
on anterior, el teorema es cierto si f es la funcion caracterstica de un conjunto
medible de medida finita. Por tanto tambien es cierto si f es una funcion simple que se anula
fuera de un conjunto de medida finita. Por la proposicion 3.2.3, toda funcion integrable no
negativa es lmite de una sucesi
on (n )nN creciente de funciones simples no negativas. Como
cada n es simple e integrable, se anula fuera de un conjunto de medida finita. Entonces fx
es lmite de la sucesi
on creciente {(n )x }nN y es medible. Por el teorema de la convergencia
monotona,
Z
Z
f (x, y) d(y) = lm
Y
n (x, y) d(y)
Y
con lo que esta integral es una funci

on medible en X.
Nuevamente por el teorema de la convergencia monotona,
Z hZ
Z hZ
Z
Z
i
i
f d d = lm
n d d = lm
n d( ) =
X
XY
f d( ).
XY
Observemos que, para aplicar el teorema de Fubini, hay que verificar primero que f es integrable respecto a , lo cual no siempre es facil.
Ejemplo. Sean X = Y = [0, 1], A = B los borelianos en [0, 1], la medida de Lebesgue y
la medida de contar. Si llamamos E = {(x, y) X Y : x = y} y consideramos la funcion
Z 1
Z 1
f = E , entonces
fx d = 1 y
fy d = 0. Por tanto,
0
Z 1 hZ
0
fx d d = 1 pero
Z 1 hZ
0
fy d d = 0.
En el caso de que y sean -finitas, la integrabilidad de f se puede determinar por

integracion iterada usando el siguiente resultado.
Teorema 3.5.7 (Tonelli). Sean (X, A, ) e (Y, B, ) dos espacios de medida -finitos y f
una funci
on medible no negativa en X Y . Entonces
77
i) fx (y) = f (x, y) es una funci

on medible en Y para casi todo x y fy (x) = f (x, y) es una
funci
on medible en X para casi todo y.
Z
Z
f (x, y) d(x) es una funci
on medible
f (x, y) d(y) es una funci
on medible en X y
ii)
X
iii)
en Y .
Z hZ
X
Z
f d( ) =
f d d =
XY
Z hZ
Y
i
f d d.
Demostraci
on. Si y son -finitas, tambien lo es y toda funcion medible no negativa
en X Y puede aproximarse seg
un la proposicion 3.2.3 por una sucesion de funciones simples.
As pues, la demostraci
on del teorema anterior sigue valiendo aqu.
Corolario 3.5.8. Dadas f L1 (X) y g L1 (Y ), la funci
on h(x, y) = f (x)g(y) es integrable
en X Y y
Z
Z
Z

h d( ) =
f d
g d .
XY
on
Corolario 3.5.9. Sea (X, , ) un espacio de medida -finita y f : X R una funci
medible no negativa. Si E = {(x, y) X R : 0 y < f (x)} y F (y) = ({x X : y < f (x)}),
entonces E B(R), F es medible y
Z
Z
F dm
m(E) = f d =
0
(donde denotamos por m a la medida de Lebesgue en R).

Demostraci
on. Si consideramos las funciones medibles F (x, y) = f (x) y (x) = y, entonces
E = {(x, y) X R : 0 < F } B(R).
Como Ey = si y < 0, por el teorema de Tonelli,
Z
Z
Z
Z
Z
f (x) d = m[0, f (x)] d = m(Ex ) d = m(E) = (Ey ) dm =
F dm.
En particular, si es la medida de Lebesgue en R, m m(E) =

de f es el area bajo la gr
afica de f .
f dm, es decir, la integral
Captulo
Espacios Lp
El espacio de funciones integrables respecto de una medida arbitraria es un caso particular
de una familia de espacios de funciones integrables, los llamados espacios Lp que estudiaremos
en este captulo. Como dichos espacios poseen una estructura algebraica precisa, repasaremos
en primer lugar los conceptos necesarios para entender las propiedades de tales espacios.
4.1.
Espacios normados. Definici

on y ejemplos
En esta secci
on consideraremos metricas definidas en espacios dotados de alguna estructura
algebraica, m
as concretamente en espacios vectoriales, ya que las funciones integrables poseen
dicha estructura.
En un espacio vectorial X son de particular importancia las metricas que verifican
i) d(x + a, y + a) = d(x, y), es decir, d es invariante por traslaciones,
ii) d(x, y) = || d(x, y), es decir, d aumenta proporcionalmente a la dilatacion,
pues basta conocer d(x, 0), x X para determinar completamente la distancia entre dos
elementos cualesquiera, ya que d(x, y) = d(xy, 0). Definimos entonces la longitud o norma de
un vector x por kxk = d(x, 0). Esto sugiere, en un contexto abstracto, la siguiente definicion
axiomatica.
Definici
on. Un espacio normado es un par (X, k k) formado por un espacio vectorial X
y una aplicaci
on k k : X R, llamada norma, con las siguientes propiedades:
(i) kxk 0, x X.
(ii) kxk = 0 x = 0.
(iii) kxk = || kxk, x X, C.
(iv) kx + yk kxk + kyk, x, y X (desigualdad triangular).
Si no se exige la condici
on (ii), la aplicacion k k se llama seminorma.
79
80
4.1. Espacios normados. Definici

on y ejemplos
Observaciones.
1) Todo espacio normado es a su vez un espacio metrico, pues basta, dado (X, k k), definir
d(x, y) = kx yk. As todas las nociones de espacios metricos estan definidas tambien
para los espacios normados. En particular, los conjuntos B(0, 1) = {x X : kxk <
1}, B(0, 1) = {x X : kxk 1} son las bolas unitarias abierta y cerrada de X,
respectivamente. Adem
as, B(x, r) = x + r B(0, 1).
2) El recproco de lo anterior no es cierto, es decir, no todo espacio metrico es normado.
Por ejemplo, X = {(a1 , . . . an , . . . ) : an C} sobre el cuerpo C es espacio vectorial; si
X
|ai bi |
1
definimos d(x, y) =
, se puede ver que es espacio metrico, pero, dado
i
2 1 + |ai bi |
i=1
C, d(x, y) 6= || d(x, y) con lo que, si definieramos la norma a partir de la
distancia, obtendramos kx yk 6= || kx yk y X no sera espacio normado de esa
forma.
Otro ejemplo sencillo es la metrica discreta pues k2xk = d(2x, 0) = 1 pero |2| kxk =
2 d(x, 0) = 2.
Sin embargo, la motivaci
on dada al principio permite probar lo siguiente.
Proposici
on 4.1.1. Si (X, kk) es un espacio normado, la aplicaci
on d : X X R definida
por d(x, y) = kx yk, x, y X verifica
i) d(x + z, y + z) = d(x, y);
ii) d(x, y) = || d(x, y).
Recprocamente, si X es un espacio vectorial y (X, d) es un espacio metrico en el que se
verifican i) y ii), entonces (X, k k) es un espacio normado, donde kxk = d(x, 0).
La demostraci
on es evidente.
Definici
on. Sea X un espacio vectorial normado, en el que se define la metrica d(x, y) =
kx yk. Si (X, d) es completo, X se dice espacio de Banach.
Ejemplos.
1. X = R
o C con la norma del valor absoluto son espacios de Banach.
P
2. X = Rn
o Cn con la norma kxk = ( ni=1 |xi |p )1/p ( p 1) es de Banach. Los axiomas i),
ii) y iii) de norma son evidentes y la desigualdad triangular se deduce de la desigualdad
de Minkowski (ver secci
on 4.2). Veamos que es completo:
Sea {xk = (xk1 , . . . , xkn ), k N} una sucesion de Cauchy en Rn . Entonces
kxp xq k < , p, q > N = |xpi xqi | < , p, q > N, 1 i n.
Esto implica que xi R : |xki xi | < , 1 i n.
P
Si llamamos x = (x1 , . . . , xn ), resulta que kxk xkp = ni=1 |xki xi |p < np .
P
p
3. Sea `p = {x = (xn )nN : xn C,
n=1 |xn | < } (p 1), y definimos kxkp =

P
p 1/p .
n=1 |xn |
Captulo 4. Espacios Lp
81
Al igual que en el ejemplo 2, la desigualdad de Minkowski (para sumas infinitas) permite probar que es una norma. La completitud de este espacio sera consecuencia de la
completitud del espacio Lp (ver seccion 4.3).
4. Sea ` = {x = (xn )nN : xn C, {xn }nN acotada}, y definimos kxk = supn |xn |.
As definido, (X, k k ) es un espacio de Banach, como veremos en la seccion 4.3.
5. X = C[a, b] (funciones continuas en [a, b]), con la norma kf k = max |f (x)| es de
x[a,b]
Banach.
Para probarlo, sea {fn }nN una sucesion de Cauchy en C[a, b].
Por definici
on, m
ax |fn (x) fm (x)| < , para n, m > N. Entonces |fn (x) fm (x)| <
x[a,b]
, x [a, b]. Por tanto, por el criterio de convergencia de Cauchy, {fn }nN converge
uniformemente en [a, b] y, como fn son continuas, la funcion lmite tambien lo sera.
6. El mismo espacio anterior C[a, b] con la norma kf kp =
pleto.
1/p
b
p dx
|f
(x)|
a
R
no es com-
Si hacemos por ejemplo a = 1, b = 1, la sucesion {fn }nN definida por
0
fn (x) = nx
si 1 x 0
si 0 < x 1/n,
si 1/n < x 1
es
( de Cauchy en C[1, 1] con respecto a k kp , para todo p 1, pero el lmite f (x) =
0 si 1 x 0
no es continua en x = 0.
1 si 0 < x 1,
Sin embargo, este espacio puede completarse y su complecion es precisamente el espacio
Lp [a, b].
7. Si X = B(A) es el espacio de las funciones acotadas en A, la norma kf k = sup |f (x)|
xA
tambien da lugar a un espacio de Banach.
4.2.
Desigualdades de H
older y Minkowski
En algunos ejemplos de espacios normados la desigualdad triangular se deduce de la desigualdad de Minkowski que probaremos en este apartado como consecuencia de la desigualdad de
Holder. En el siguiente apartado utilizaremos estas desigualdades para definir normas en otros
ejemplos de espacios de funciones, que han sido fundamentales en el desarrollo del Analisis
Funcional.
Lema 4.2.1. Sean , > 0, 0 < < 1. Entonces 1 + (1 ). Adem
as la
igualdad es cierta si y s
olo si = .
82
older y Minkowski
Demostraci
on. Se define (t) = (1 ) + t t para t 0.
As 0 (t) = t1 que ser
a negativo si t < 1 y positivo si t > 1. Por tanto, el punto t = 1
corresponde a un mnimo.
Como (t) (1) = 0, entonces 1 + t t .
Haciendo t = / se deduce el resultado (para 6= 0).
Si = 0, el resultado es trivial.
Observaciones. 1) El lema anterior expresa que la media geometrica es menor o igual a la
media aritmetica, porque si hacemos = k/n, 1 = (n k)/n, tenemos k/n nk/n
k/n + (n k)/n de donde
q
+ .(k)
. . + + + (nk)
. . . +
n
.(k)
. . (nk)
...
.
n
2) Si = ex1 , = ex2 , el lema indica que
ex1 +(1)x2 = ex1 e(1)x2 ex1 + (1 )ex2 ,
es decir que la funci
on exponencial es convexa.
Teorema 4.2.2. Sean (X, S, ) un espacio medible, f, g : X [0, ] funciones medibles,
1 < p < y 1/p + 1/q = 1. Entonces:
a) (desigualdad de H
older)
Z
1/p Z
1/q
Z
p
q
(f g) d
f d
g d
.
X
b) (desigualdad de Minkowski)
Z
1/p Z
1/p Z
1/p
p
p
p
(f + g) d
f d
+
g d
.
X
Z
Demostraci
on. a) Llamamos A =
casos:
f p d
1/p
Z
, B =
g q d
1/q
y distinguimos tres
p
A
Z = 0 (o B = 0). Como f 0, f = 0 c.s. = f = 0 c.s. = f g = 0 c.s. As pues
f g d = 0.
X
Z
A = (o B = ). Es evidente que
f g d .
X
f g
d 1.
X
X A B
Si aplicamos el lema anterior a = f p /Ap , = g q /B q , = 1/p, 1 = 1/q, resulta:
0 < A, B < . Debemos probar que
f g d A B, o bien
f g
1 fp
1 gq
p + q,
A B
p A
q B
83
desigualdad v
alida x X. Integrando miembro a miembro,
Z
f g
1
1
d
Ap +
B q = 1, c.q.d.
p
pA
q Bq
X A B
b) Debido a que (f + g)p = (f + g)(f + g)p1 = f (f + g)p1 + g(f + g)p1 , aplicando la
desigualdad de H
older a cada uno de los sumandos, tenemos:
Z
1/p Z
1/q
Z
p1
p
q(p1)
f (f + g)
d
f d
(f + g)
d
,
X
Z
g(f + g)
p1
Z
1/p Z
g d
1/q
d
,
"Z
1/p Z
1/p # Z
1/q
Z
p
p
p
p
(f + g) d
f d
+
g d
(f + g) d
=
,
X
(f + g)
q(p1)
Z
1/q
debido a que q(p 1) = p. Si llamamos ahora C =

(f + g) d
X
casos:
Z
C = 0 =
(f + g)p d = 0 y la desigualdad es evidente.
, caben los siguientes
Z
C = =
(f + g)p d = . Como la funcion y = xp es convexa,
f (x)
2
f (x)p g(x)p
+
, de donde:
2
2
g(x) p
Z

Z
Z
1 p
1
1
1
p
p
p
p
p
(f + g) (f + g ) = p
(f + g) d
f d +
g d .
2p
2
2 X
2 X
X
Z
Z
Z
Como
(f + g)p d = , debe ser
f p d = o
g p d = .
X
Z
0 < C < =
11/q
Z
(f + g) d
1/p
f d
Z
+
1/p
g d
lugar al resultado deseado.
, lo que da
El teorema anterior tiene las siguientes consecuencias.

Corolario 4.2.3. Si f, g : X [0, ] son medibles y 0 < p < 1, 1/p + 1/q = 1, entonces
Z
1/p Z
1/q
Z
p
q
a)
f g d
f d
g d
.
X
Z
b)
(f + g) d
X
1/p
Z
f d
X
1/p
Z
+
g d
1/p
,
Z
donde suponemos que las integrales involucradas son finitas y
g d
X
1/q
6= 0.
84
older y Minkowski
Demostraci
on. a) Sea p0 = 1/p y llamamos = (f g)p = (f g)1/p , = g p = g 1/p . De este
modo, 1 < p0 < , f p = y , son medibles. Entonces
Z
1/p0 Z
1/q0
Z
Z
p
p0
q0
f d =
d
d
d
,
X
donde
1/p0
X
0
q
1/q 0
X
0
p
gq
= 1. Debido a que
=
y
= f g, obtenemos:
Z
1/p0 Z
1/q0
Z
p
q
f d
f g d
g d
.
X
De las relaciones anteriores se deduce que pp0 = 1, pq 0 = q, con lo que:

Z
1/p Z
1/q Z

p
q
f d
g d
f g d , c.q.d.
X
b) De la igualdad (f + g)p = f (f + g)p1 + g(f + g)p1 , se deduce:

Z
Z
Z
p
p1
(f + g) d =
f (f + g)
d +
g(f + g)p1 d
X
1/p Z
1/q
p
q(p1)
f d
(f + g)
d
Z
1/p Z
1/q
p
q(p1)
g d
(f + g)
d
X
X

Z
# Z
Z
+
"Z
=
1/p
f d
X
Suponiendo que
X (f
1/p
g d
q(p1)
(f + g)
1/q
d
+ g)p d < , se deduce el resultado.
Corolario 4.2.4. En las condiciones del teorema 4.2.2, la desigualdad de H

older se convierte
en igualdad si y s
olo si existen 1 , 2 constantes no nulas a la vez tales que 1 f p = 2 g q c.s.
Demostraci
on. Al igual que en el lema 4.2.1, la igualdad es cierta si y solo si
Z
Z
fp
gq
p
q
q
R
R
=
,
es
decir
f
g
d
=
g
f p d,
p d
q d
f
g
X
X
X
X
Z
Z
con 1 =
g q d y 2 =
f p d no nulas ambas.
X
Podemos suponer adem

as 1 = 0, 2 6= 0 pues entonces 0 = 2 g q c.s. = g q = 0 c.s.
= g = 0 c.s. y se verifica la igualdad.
Observaciones. 1) Si X es un conjunto numerable, digamos por comodidad X = N, P (N) la
-algebra formada por los subconjuntos de N, : P (N) [0, ] la medida de contar, definida
por (A) = card A, toda aplicaci
on f : N C es medible pues V abierto, f 1 (V ) N =
f 1 (V ) P (N). As pues, si f : N [0, ] es medible, f (n) = |xn |,
Z
Z
X
X
XZ
f p d = S
f p d =
f p d =
f (n)p =
|xn |p .
N
nN {n}
nN {n}
nN
nN
85
Esto permite escribir las desigualdades de Holder y Minkowski para sumas finitas o series
numericas. Estas seran:
!1/p
!1/q
X
X
X
|xi yi |
|xi |p
|yi |q
,
i=1
i=1
!1/p
p
|xi + yi |
i=1
i=1
!1/p
p
|xi |
i=1
!1/p
p
|yi |
i=1
2) En el caso de p = 1
o p = se prueban tambien desigualdades analogas que quedan de
la forma
X
X
|xi yi |
|xi | sup |yi |,
iN
iN
iN
sup |xi + yi | sup |xi | + sup |yi |.

iN
iN
iN
3) En el caso particular de que p = q = 2, la desigualdad de Holder se llama desigualdad

de Cauchy-Schwarz, de importancia en espacios dotados de una estructura geometrica.
4.3.
Espacios Lp
Los ejemplos m
as u
tiles de espacios normados corresponden a los llamados espacios Lp . Fueron
ademas los que dieron impulso al desarrollo de la teora de espacios de Hilbert y espacios
normados.
Supondremos en esta secci
on que (X, , ) es un espacio de medida. Es conocido el espacio
de funciones de m
odulo integrable, representado por
Z
L1 () = {f : X C : f medible y
|f | d < }.
X
Si ahora hacemos 1 p < , definimos analogamente el espacio de funciones de potencia

p-esima integrable, como
Z
p
L () = {f : X C : f medible y
|f |p d < }.
X
Si definimos la aplicaci
on k kp : Lp () R por kf kp =
p
L () = {f : X C : f medible y kf kp < }.
R
X
|f |p d
1/p
, es evidente que
En el caso de p = procedemos de una forma algo diferente:

Si g : X C es una funci
on medible, tambien es medible |g|; sabemos que R, |g|1 (, ]
es medible y podemos definir el conjunto
S = { R : (|g|1 (, ]) = 0}.
Llamamos supremo esencial de |g| a kgk = nf S, cuando S 6= , y kgk = , cuando
S = . Probemos en primer lugar la existencia de dicho nfimo; para ello basta probar que 0
es una cota inferior de S:
4.3. Espacios Lp
86
En efecto, si existiera S tal que < 0, entonces de la inclusion [0, ] (, ] se deduce

que
|g|1 [0, ] |g|1 (, ] = (X) = (|g|1 [0, ]) (|g|1 (, ]) = 0
= (X) = 0,
lo cual es absurdo.
Lo anterior permite definir el espacio
L () = {f : X C : f medible y kf k < }
que llamaremos espacio de las funciones medibles esencialmente acotadas.
Una caracterizaci
on del supremo esencial la proporciona el siguiente lema:
Lema 4.3.1. Dada f : X C medible, se tiene
|f (x)| para casi todo x kf k .
En consecuencia, |f (x)| kf k para casi todo x (haciendo = kf k ) y kf k es la mnima
cota superior (c.s.) de |f |.
Demostraci
on. Supongamos que |f | c.s., es decir |f (x)| , x Ac con (A) = 0.
Entonces, si |f (x)| > , es x A y
|f |1 (, ] A = (|f |1 (, ]) (A) = 0 = S y kf k .
Recprocamente, suponiendo que kf k , veamos que |f | c.s., lo que equivale a probar
que (A) = 0, siendo A = {x : |f (x)| > }.
Por hipotesis, existe S tal que pues si fuese > , S, sera cota inferior
de S y < kf k , lo que es absurdo. Entonces
A = |f |1 (, ] |f |1 (, ] = (A) (|f |1 (, ]) = 0.
Aplicando las desigualdades de H

older y Minkowski, se prueban los siguientes resultados.
Proposici
on 4.3.2. Sean p, q exponentes conjugados, es decir 1/p+1/q = 1, con 1 p .
Si f Lp () y g Lq (), entonces f g L1 () y kf gk1 kf kp kgkq .
Demostraci
on. Si 1 < p < , por la desigualdad de Holder, tenemos:
Z
1/p Z
1/q
Z
Z
|f g| d =
|f | |g| d
|f |p d
|g|q d
= kf kp kgkq < .
X
Si p = , q = 1, entonces |f (x)| kf k c.s., con lo que existe A de medida nula tal que
|f (x)| kf k , x Ac . De este modo,
Z
Z
Z
Z
|f | |g| d =
|f | |g| d
kf k |g| d
|f g| d =
c
c
X
X
A
A
Z
Z
= kf k
|g| d kf k
|g| d = kf k kgk1 < .
Ac
87
Proposici
on 4.3.3. Si 1 p , entonces Lp () es un espacio vectorial sobre C y k kp
es una seminorma.
Demostraci
on. Estudiaremos por separado los siguientes casos:
a) Si 1 p < y f, g Lp (), de la desigualdad de Minkowski deducimos que f + g Lp ()
y kf + gkp kf kp + kgkp . Adem
as
Z
kf kp =
1/p
|f | d
Z
1/p
|| |f | d
= || kf kp = f Lp ().
b) Si p = , debido a que |f | kf k y |g| kgk c.s., entonces tambien |f +g| |f |+|g|

kf k + kgk c.s. Esto implica que kf k + kgk es cota superior esencial de |f + g|. Al ser
kf + gk la mnima, se deduce que kf + gk kf k + kgk .
Por otro lado, si suponemos 6= 0:
kf k = nf{ R : (|f |1 (, ]) = 0} = nf S1
supuesto S1 6= . Ahora bien,
x |f |1 (, ] |f |(x) > |f (x)| > || |f (x)| >
|f (x)| > /|| x |f |1 (/||, ]
con lo que
nf S1 = nf{ R : (|f |1 (/||, ]) = 0}
= nf{||/|| R : (|f |1 (/||, ]) = 0}
= nf{||1 R : (|f |1 (1 , ]) = 0}
= || nf{1 R : (|f |1 (1 , ]) = 0} = || nf S2 = || kf k .
De este modo, si f L (), kf k = nf S1 = || kf k .
Observaci
on. En general, k kp no es norma pues no se verifica la implicacion kf kp = 0 =
f (x) = 0, x X. Sin embargo, en el caso de las funciones reales continuas en un intervalo
Rb
[a, b], X = C[a, b], kf k1 = a |f (x)| dx = 0 = f = 0. Tambien, en los espacios `p , k kp es
una norma.
Para obtener espacios normados de las seminormas anteriores, definimos la relacion de equivalencia
f, g Lp (), f g f = g c.s., o bien kf gkp = 0.
El espacio cociente, que seguiremos denotando por Lp (), es ahora un espacio normado si
definimos kfekp = kf kp , donde f es un representante de la clase de equivalencia fe.
Probaremos por u
ltimo la completitud de los espacios recien definidos, resultado obtenido de
forma simult
anea e independiente por F. Riesz y E. Fischer en 1907. Para ello, utilizamos el
siguiente lema previo.
4.3. Espacios Lp
88
Lema 4.3.4 (Lema de Chebyshev). Si f Lp () (1 p < ), entonces ({x X : |f (x)| >

}) p kf kpp , para todo > 0.
Demostraci
on. Si llamamos A = {x X : |f (x)| > }, entonces
Z
Z
Z
|f (x)|p dx p (A ),
|f (x)|p dx +
|f (x)|p dx
kf kpp =
Ac
con lo que (A ) p kf kp .
Teorema 4.3.5 (Riesz-Fischer). Si 1 p , entonces (Lp (), k kp ) es de Banach.
Demostraci
on. a) Veamos primero el caso 1 p < .
Sea (fn )nN una sucesi
on de Cauchy en Lp (). Tomando = 1/4i , sabemos que ni tal
i
que kfn fm kp < 1/4 , n, m ni . Podemos suponer que ni < ni+1 , i N, con lo que
conseguimos una subsucesi
on (fni )i1 tal que kfni+1 fni kp < 1/4i , i.
Si llamamos Ai = {x X : |fni+1 (x) fni (x)| > 1/2i }, por el lema anterior deducimos que
(Ai ) 2ip kfni+1 fni kpp 1/2ip .
P
P
S
Llamamos ahora Bn = in Ai . Entonces (Bn ) in (Ai ) in 1/2ip 1/2p(n1) .
Como,
ademas, (Bn ) es una sucesi
on decreciente de conjuntos medibles, si llamamos B =
T
m (Bn ) = 0.
nN Bn , entonces (B) = l
Por otra parte, si x 6 B, entonces existe nx N tal que x 6 Bn , n nx , es decir |fni+1 (x)
fni (x)| 1/2i , i nx . Por tanto, si i > j nx ,
|fni (x) fnj (x)| |fni (x) fni1 (x)| + |fni1 (x) fni2 (x)| + + |fnj+1 (x) fnj (x)| 1/2j .
Esto significa que (
la subsucesi
on (fni (x))iN es de Cauchy en C si x 6 B. Definimos entonces
lmi fni (x) si x 6 B
la funcion g(x) =
, la cual es medible.
0
si x B
Veamos por u
ltimo que fn g en Lp (). Dado > 0, sabemos que N tal que kfn fm kp <
, n, m N . Tomando m, ni N y aplicando la desigualdad de Fatou, tenemos:
Z
Z
Z
p
p
p
kg fm kp =
|g fm | d =
| lm inf fni fm | d =
lm inf |fni fm |p d
i
i
X
X
X
Z
lm inf
|fni fm |p d = lm inf kfni fm kpp p .
i
Esto implica que g fm Lp () y en consecuencia g Lp () debido a que g = (g fm ) + fm .

Por otra parte, al ser kg fm kp , m N , la sucesion original converge a g.
b) Si p = , tomamos nuevamente una sucesion (fn )nN de Cauchy en L (). De este modo,
kfn fm k < , n, m > N ().
Si Am,n
S = {x : |fn (x) fm (x)| kfn fm k + }, resulta que (Am,n ) = 0, con lo que, si
A = m,n Am,n , entonces (A) = 0. Esto prueba que (fn (x))nN converge uniformemente en
E \ A.
89
(
lmn fn (x)
Si definimos f (x) =
0
0, pues
si x E \ A
, se ve inmediatamente que lmn kfn f k =
si x A
|f (x) fm (x)| = | lm fn (x) fm (x)|

n
c.s.
= lm |fn (x) fm (x)| lm kfn fm k + < 2, m, n N.
n
Entonces 2 es cota superior esencial de f fm , de modo que kf fm k < 2, m N =

f fm L () = f L () y fm f en L ().
Observaciones.
1) A partir de la definici
on son inmediatas las inclusiones `1 `p `q ` , 1 < p < q < .
2) Analogamente, en el espacio (X, S, ), si (X) < , entonces L Lq Lp L1 , para
1 < p < q < .
En efecto, si llamamos r = q/p > 1,
Z
1/r
Z
p
0
p
q
|f | d |f | r k1kr0 =
|f | d
(X)1/r .
X
Esto implica que kf kp kf kq (X)1/p1/q .

De la misma forma, kf kq (X)1/q kf k .
3) En general, Lp 6 Lq y Lq 6 Lp (por ejemplo, si f (x) = (1 + |x|)1 , entonces f L2 (R)
pero f 6 L1 (R)); ahora bien, si f Lp Lq , entonces f Lr con p < r < q:
Z
Z
Z
r
r
|f | d =
|f | d +
|f |r d
X
|f |1
|f |>1
Z
Z
|f |p d +
|f |q d kf kpp + kf kqq < .
|f |1
|f |>1
Se verifica tambien la desigualdad de interpolacion

kf kr kf kp kf kq , donde
1
1
= +
(0 1).
r
p
q
1
. Veamos que f es integrable en (0, ):
x(1 + | ln x|)2
Z
Z 0
Z
1
1
1
1
dx =
dt =
dt +
dt = 2.
2
2
2
x(1 + | ln x|)
(1 + t)2
(1 + |t|)
(1 t)
0
Ejemplo. Sea f (x) =

Z
0
Si llamamos g(x) = f (x)1/p , entonces g Lp (0, ). Sin embargo, g 6 Lq (0, ) si q 6= p

porque
Z
Z 1
Z
1
1
1
dx =
dx +
dx.
q/p
2q/p
q/p
2q/p
q/p
x (1 + | ln x|)
(1 + | ln x|)
x (1 + | ln x|)2q/p
0
0 x
1
La primera integral diverge si q > p y la segunda diverge si q < p.
90
4.4.
4.4. Propiedades de los espacios normados
Propiedades de los espacios normados
Probaremos en esta secci

on las propiedades fundamentales de los espacios normados.
Teorema 4.4.1. Sea X un espacio vectorial normado. Son equivalentes:
i) X es de Banach.
ii) Si {an }nN X y
nN kan k
< =
nN an
converge en X.
Esto indica que en los espacios de Banach la convergencia absoluta implica la convergencia.
P
Demostraci
on. i) = ii). Sea Sn = nk=1 ak . Si m > n,

m
m
X

X
X

kSm Sn k =
ak
kak k
kak k < .

k=n+1
k=n+1
k=n+1
Esto implica que {Sm }mN es de Cauchy en X y por tanto converge.

ii) = i). Sea {an }nN de Cauchy en X. Hacemos an0 = 0 y elegimos
n1 N : kan1 am k < 1/2, m > n1 ,
n2 > n1 : kan2 am k < 1/22 , m > n2 ,
..
.
nk > nk1 : kank am k < 1/2k , m > nk .
P
P
k
As
k=1 1/2 < .
k=1 kank ank1 k kan1 k +
P
Por hipotesis, kN (ank ank1 ) es convergente. Entonces
a=
h
X
X
(ank ank1 ) = lm
(ank ank1 ) = lm anh ,
k=1
k=1
y esto implica que {anh }hN es convergente.

Como {an }nN es de Cauchy y tiene una subsucesion convergente, ella misma es convergente
y X es completo.
Proposici
on 4.4.2. Sea X un espacio vectorial normado sobre el cuerpo E. Si definimos
en X X
o E X la metrica producto k(u, v)k = kuk + kvk, entonces las aplicaciones
(x, y) 7 x + y y (, x) 7 x, definidas en X X y E X, respectivamente, son continuas.
Adem
as, la norma k k : X R es uniformemente continua.
Demostraci
on. Es f
acil comprobar que la metrica producto verifica los axiomas de norma.
De este modo:
Como kx + y (x0 + y0 )k kx x0 k + ky y0 k, la primera es continua.
Para demostrar que la aplicaci
on (, x) 7 x es continua en (0 , x0 ), elegimos , x tales que
}
y kx x0 k < 2(1+1+|
. Entonces
| 0 | < mn{1, 2(1+1+kx
0 k)
0 |)
|| |0 | | 0 | < 1 = || < 1 + |0 |.
91
Ademas,
kx 0 x0 k || kx x0 k + kx0 k | 0 |
< ||
+ kx0 k
< .
2(1 + 1 + |0 |)
2(1 + 1 + kx0 k)
Por u
ltimo, para probar que la norma
es uniformemente continua, dado > 0, debemos

encontrar > 0 tal que kxk kx0 k < si kx x0 k < . Ahora bien, como kxk kx0 k
kx x0 k, basta elegir = .
Corolario 4.4.3. Si (X, k k) es un espacio normado, x0 X, 0 E, 0 6= 0, entonces las
aplicaciones x 7 x + x0 (traslaci
on de vector x0 ) y x 7 0 x (homotecia de raz
on 0 ) son
homeomorfismos.
Demostraci
on. Basta probar que son bicontinuas. La primera de ellas es composicion de
f : X X X, dada por f (x) = (x, x0 ), y g : X X X, dada por g(x, x0 ) = x + x0 . Por
el teorema anterior, g es continua; es f
acil probar que f es tambien continua, de modo que
g f es continua. Adem
as, el mismo argumento prueba que la inversa x 7 x x0 es continua.
Analogamente se prueba que la segunda es continua.
Proposici
on 4.4.4. Un subespacio M de un espacio de Banach X es completo si y s
olo si
M es cerrado en X.
Demostraci
on. Sea M completo. Entonces, x M , {xn }nN con xn M, n tal que
xn x. Pero como {xn }nN converge, es de Cauchy; por tanto converge en M , lo que prueba
que x M.
Recprocamente, sea M cerrado y {xn }nN de Cauchy en M . Por ser X completo, xn x
X = x M = x M.
Ejemplo. El espacio c = {x = (xn )nN ` : (xn )nN converge en C} es completo con la
metrica inducida por ` .
En efecto, sea x = (xn )nN c. Entonces
yk = (ynk )nN c : yk x = |ynk xn | d(yk , x) < /3, k N.
Como {ynN }nN es convergente, es de Cauchy y |ypN yqN | < /3, p, q N1 . Entonces
|xp xq | |xp ypN | + |ypN yqN | + |yqN xq | < .
Esto implica que (xn )nN es de Cauchy y, en consecuencia, x c.
4.5.
Funcionales lineales acotados en Lp
Definici
on. Dado un espacio normado X, un funcional lineal es una aplicacion f : X R
tal que f (x + y) = f (x) + f (y), x, y X.
4.5. Funcionales lineales acotados en Lp
92
Decimos que un funcional lineal es acotado cuando existe K > 0 tal que |f (x)| K kxk,
x X.
Llamamos norma de un funcional lineal acotado a
kf k = sup
x6=0
|f (x)|
.
kxk
Ejemplos.
1) k k : X R es un funcional no lineal.
2) Para cada a Rn , fa : Rn R definido por fa (x) = a x = a1 x1 + + an xn (producto
escalar por un vector fijo) es un funcional lineal y acotado:
|fa (x)| = |x a| kxk kak = kf k kak.
Pero adem
as, si hacemos x = a, resulta kfa k
se deduce que kfa k = kak.
|fa (x)|
kxk
kak2
kak
= kfa k kak. De lo que
P
2
3) La aplicaci
on f : `2 R, definida por f (x) =
iN ai xi donde (ai )iN ` es fijo,
es tambien un funcional lineal y acotado pues, por la desigualdad de Cauchy-Schwarz,
|f (x)| kxk2 kak2 . Del mismo modo, el operador f : `p R definido por f (x) = a x,
con a `q fijo, es tambien lineal y acotado.
Rb
4) El operador f : C[a, b] R definido por f (x) = a x(t) dt (integral definida) es lineal y
acotado:
Z b

|f (x)| =
x(t) dt (b a) max |x(t)| = (b a) kxk = kf k b a.
a
atb
Si elegimos en particular x0 = 1, kf k
kf k = b a.
|f (x0 )|
kx0 k
Rb
dt
1
= b a. De aqu se deduce que
Proposici
on 4.5.1. Sea X un espacio normado y f un funcional lineal en X. Entonces son
equivalentes:
a) f es acotado.
b) f es continua.
c) El n
ucleo de f es cerrado.
Observaci
on. Por ser f lineal, la continuidad de f en x = 0 implica la continuidad de f en
cualquier punto x0 .
Demostraci
on. a) Si f es acotado y xn x, entonces |f (xn ) f (x))| = |f (xn x)|
kkxn xk 0, con lo que f es continua en x.
93
b) Si f es continua y (xn ) ker(f ) una sucesion tal que xn x, entonces f (xn ) f (x).
Como f (xn ) = 0 para todo n N, deducimos que f (x) = 0.
c) Supongamos que N = ker(f ) es cerrado. Si N = X, entonces f = 0 y es continuo.
Si N 6= X, existe x1 X : f (x1 ) 6= 0. Sea x0 = x1 /f (x1 ). Como f (x0 ) = 1 y N es cerrado,
d(x0 , N ) = d > 0.
Por otra parte, x X, x = x f (x) x0 + f (x) x0 , donde x f (x) x0 N . Esto indica
que X = N {x0 : E}. Si escribimos entonces x = n + x0 , con n N , E, resulta:
kxk = || kx0 + n/k || d = |f (x0 + n)| d = |f (x)| d.
Esto implica que |f (x)| (1/d) kxk y f es continuo.
Nos centraremos a continuaci
on en la caracterizacion de los funcionales lineales acotados en
p
L . En primer lugar estudiaremos el caso de la medida de Lebesgue en [0, 1].
Z
q
p
Proposici
on 4.5.2. Si g L , el funcional F : L R definido por F (f ) = f g es lineal,
acotado y kF k = kgkq .
Demostraci
on. Por la desigualdad de Holder, F es acotado y kF k kgkq . Ademas dada
q/p
f = |g| sign(g), es evidente que |f |p = |g|q = f g. Por tanto, f Lp y kf kp = (kgkq )q/p .
Ahora bien,
Z
Z
F (f ) = f g = |g|q = kgkqq = kgkq kf kp
(porque q = 1 + q/p), con lo que kF k kgkq .
Observaci
on. Los casos p = 1 y p = se dejan como ejercicio.
El resultado fundamental de esta secci
on sera el recproco de la proposicion anterior, conocido
como el teorema de representaci
on de Riesz. Un resultado previo es el lema siguiente.
Lema
on integrable en [0, 1] y supongamos que existe M > 0 tal que
Z
4.5.3. Sea g una funci

f g M kf kp , para toda f medible y acotada. Entonces g Lq y kgkq M .

Demostraci
on. Distinguiremos dos casos:
Caso
1 < p < . Definimos la sucesion de funciones medibles y acotadas gn (x) =
(
g(x) si |g(x)| n
q/p
y llamamos fn = |gn |q/p sign(gn ). Entonces kfn kp = kgn kq y |gn |q =
0
si |g(x)| > n
fn gn = fn g de donde
Z
kgn kqq = fn g M kfn kp = M kgn kq/p
q .
Como q q/p = 1, resulta que kgn kq M y
|gn |q M q .
Como |gn |q converge a |g|q c.s., tenemos (por el lema de Fatou):

Z
Z
|g|q lm |gn |q M q .
94
As, g Lq y kgkq M .
Caso p = 1. Sea E = {x : |g(x)| M + } y llamamos f = (sign g) E . Entonces
kf k1 = m(E) y
Z

M m(E) = M kf k1 f g (M + ) m(E).
Por tanto, m(E) = 0 y kgk M .
Teorema 4.5.4 (representaci
on de Riesz). SeaR F un funcional lineal acotado en Lp (1
p < ). Entonces existe g Lq tal que F (f ) = f g. Adem
as kF k = kgkq .
La demostraci
on puede consultarse en alg
un texto especializado de Analisis Funcional.
En espacios vectoriales de dimensi
on finita es conocido el hecho de que si {e1 , . . . , en } es
una base de X, entonces el espacio X , llamado dual algebraico de X, definido por X =
{f : X R : f lineal}, tiene dimensi
on n y el conjunto {f1 , . . . , fn }, donde fi (ek ) = ik , es
una base de X . Un resultado an
alogo puede demostrarse en dimension infinita, utilizando el
concepto de base de Schauder.
Este hecho es el punto de partida para definir el concepto de espacio dual en espacios normados
arbitrarios.
Definici
on. Sea X un espacio normado; llamamos espacio dual de X a
X 0 = {f : X R : f es lineal y acotado}.
Si dim X < , este concepto coincide con el de dual algebraico.
Proposici
on 4.5.5. El espacio X 0 con la norma kf k = supx6=0
|f (x)|
kxk
es de Banach.
Demostraci
on. Debemos ver que toda sucesion de Cauchy en X 0 converge en el mismo espacio.
Consideramos para ello una sucesi
on {fn }nN de Cauchy en X 0 , es decir, tal que kfn fm k < ,
si n, m > N (). Entonces
x X, kfn (x) fm (x)k kfn fm k kxk < kxk.
Esto implica que {fn (x)}nN es de Cauchy en R, de donde y R : fn (x) y, porque R es
completo.
Definimos f : X R como f (x) = y. Entonces
f es lineal (evidente).
f es acotado: Si n > N ,
kfn (x) f (x)k = kfn (x) lm fm (x)k = lm kfn (x) fm (x)k kxk.
m
Entonces fn f es acotado para n > N . Como fn tambien es acotado, f = fn (fn f )

es acotado.
95
fn f : Como kfn (x) f (x)k kxk, entonces kfn f k .
Es a menudo conveniente estudiar el espacio dual de un espacio normado para obtener propiedades del mismo espacio, por lo que estudiaremos su estructura en algunos ejemplos clasicos.
Ejemplos.
1. El dual de Rn con la norma eucldea es Rn (en realidad es un espacio isometrico a Rn ).
Como dim Rn = n, todo f lineal es acotado.
P
P
Si x = ni=1 i ei , f (x) = ni=1 i f (ei ). Por la desigualdad de Cauchy-Schwarz,
|f (x)|
n
X
|i f (ei )|
i=1
de donde kf k
n
X
!1/2
|i |
n
X
i=1
!1/2
|f (ei )|
= kxk
n
X
!1/2
|f (ei )|
i=1
i=1

2 1/2 .
i=1 |f (ei )|
Pn
Tomando en particular x = (f (e1 ), . . . , f (en )), se obtiene la igualdad. As, kf k =

Pn
2 1/2 coincide con la norma eucl
dea y la aplicacion definida por f 7
i=1 |f (ei )|
(f (e1 ), . . . , f (en )) es un isomorfismo isometrico de (Rn )0 en Rn .
2. El dual de `1 es ` .
P
x `1 , podemos escribir x =
k=1 k ek , donde ek = (kj )j=1 forma una base de
P
. ., 0, n+1 , . . . ) y
Schauder de `1 , porque x nk=1 k ek = (0, .(n)

n

X

X

k ek =
k e k 0
x

k=1
k=n+1
por ser el resto de una serie convergente.

Definimos la aplicaci
on T f = (f (ek ))kN , f (`1 )0 . Como f (x) =
k f (ek ), enton-
kN
ces |f (ek )| kf k kek k = kf k, pues kek k = 1. En consecuencia, supk |f (ek )| kf k de

donde (f (ek ))kN ` .
P
? T es sobre: b = (k )kN ` , definimos g : `1 E como g(x) = kN k k si
x = (k )kN `1 .
El funcional g es lineal y acotado, pues
X
X
|g(x)|
|k k | sup |k |
|k | = kxk1 sup |k | = g (`1 )0 .
k
kN
Adem
as, como g(ek ) =
jN kj j
kN
= k , T g = (g(ek ))kN = (k )kN = b.

P
? T es inyectiva:
P Si T f1 = T f2 , entonces f1 (ek ) = f2 (ek ), k. Como f1 (x) = kN xk f1 (ek )
y f2 (x) = kN xk f2 (ek ), entonces f1 = f2 .
96
? T es isometra:
Por una parte, kT f k = supk |f (ek )| kf k y de
X
X
|f (x)| = |
k f (ek )| sup |f (ek )|
|k | = kxk sup |f (ek )|
k
kN
kN
(para probar la desigualdad se toman sumas parciales y, debido a la convergencia de

la serie, calcular el lmite), tenemos que kf k supk |f (ek )| = kT f k.
As los espacios (`1 )0 y ` son isometricos.
3. El dual de `p es `q si
1
p
1
q
= 1, (1 < p < ).
Una base de Schauder de

es ek = (kj )
j=1 .
P
P
x `p , x = kN k ek . Si f (`p )0 , f (x) = kN k f (ek ). Definimos como antes
T f = (f (ek ))kN .
`p
q
(n)
Para probar que la imagen
( |f (e )|qde T esta en ` , definimos para cada n, la sucesion x =
k
si k n y f (ek ) 6= 0,
(n)
(n)
f (ek )
(k )
con
=
k=1
k
0
si k > n o f (ek ) = 0.
P
P
(n)
Entonces f (x(n) ) = kN k f (ek ) = nk=1 |f (ek )|q .
Como adem
as,
f (x
(n)
) kf k kx
(n)
n
X
kp = kf k
!1/p
(n)
|k |p
k=1
= kf k
n
X
!1/p
pqp
= kf k
|f (ek )|
k=1

resulta que
n
P
|f (ek
)|q
1 1
k=1
|f (ek )|
n
P
|f (ek
)|q
1/q
kf k.
k=1

Haciendo n ,
!1/p
q
k=1
n
X
|f (ek
)|q
1/q
kf k de donde (f (ek ))kN `q .
k=1
q
T es sobre: Dado b = (P
k )kN ` , podemos asociarle un funcional lineal y acotado g
p
en ` , mediante g(x) = k=1 k k con x = (k )kN `p (la acotacion se deduce de la
desigualdad de H
older). Entonces g (`p )0 .
Se ve facilmente que T es tambien inyectiva.

Por u
ltimo veamos que la norma de f es la norma en `q de T f :

X

|f (x)| =
k f (ek )

kN
= kxk
X
kN
|f (ek )|q
!1/p
X
|k |
kN
!1/q
!1/q
X
kN
|f (ek )|
97
Tomando el supremo sobre los x de norma 1, sale que kf k
kN |f (ek )|
Como la otra desigualdad tambien es cierta, se deduce la igualdad kf k =

con lo que se establece el isomorfismo f 7 (f (ek ))kN deseado.

q 1/q
kN |f (ek )|

q 1/q
4. El dual de c0 = {a = (an )nN : an C, an 0} es `1 .

P
Definimos F : `1 (c0 )0 por F f = fe, donde fe(x) =
fn xn , x c0 .
n1
Eligiendo x = (x1 , . . . , xN , 0, . . . ),
|fe(x)|
N
X
|fn xn | max |xn |
n=1
N
X
|fn |.
n=1
Haciendo N , |fe(x)| kxk kf k1 = kfek kf k1 = kF k 1.

F es isometra: Dado fe (c0 )0 , llamamos
fn = fe(en ).
P
N
As, si x = (x1 . . . , xN , 0, . . . ), fe(
(x) = n=1 fn xn . Como fn = ein |fn |, definimos
ein si 0 < n N
(N )
(N )
g (N ) = (gn )nN , donde gn =
Entonces:
0
si n > N.
|fe(g (N ) )| =
N
X
|fn | kfek kg (N ) k = kfek < .
n=1
Esto implica que f = (fn )nN `1 y kf k1 kfek = kF k = 1.

P
F es sobre: Dado fe (c0 )0 , x c0 , escribimos x = nN xn en con lo que fe(x) =
P
P
1
e
e
e
nN xn f (en ). Basta probar que (f (en ))nN ` , es decir
nN |f (en )| < . Para
P
fe(en )
en c0 , de donde
ello tomamos: x(N ) = N
n=1 e
|f (en )|
N
X
|fe(en )| =
n=1
Si hacemos N ,
N
X
fe(en ) e
f (en ) = fe(x(N ) ) kfek.
|fe(en )|
n=1
n=1 |f (en )|
< .
Observaciones. 1) Otros ejemplos se pueden obtener debido al hecho de que si X0 es subespacio denso de X e Y es completo, entonces L(X0 , Y ) = L(X, Y ), se deduce en particular
que X00 = X 0 .
2) Los resultados anteriores prueban tambien que los espacios `p (p 1) son completos. Basta
observar que `p es isomorfo a (`q )0 y, por la proposicion 4.5.5, el dual de un espacio normado
es completo.
3) El teorema de representaci
on de Riesz demuestra que el dual de Lp (con 1 < p < )
es isometricamente isomorfo a Lq (si 1/p + 1/q = 1). Una demostracion similar prueba que
(L1 )0
= L . Sin embargo, no es cierto que (L )0 sea equivalente a L1 .
Apendice I:
La teora de la medida en sus personajes
Cronologa
1872 ... Construcci
on de Weierstrass de una funcion diferenciable en ning
un punto.
1881 ... Definici
on de Jordan de las funciones de variacion acotada.
1883 ... Definici
on de Cantor de medida de un conjunto acotado de Rn .
1890 ... Construcci
on de Peano de la curva que llena el espacio.
1898 ... Definici
on de los conjuntos medibles Borel.
1902 ... Presentaci
on de la teora de la medida e integracion de Lebesgue.
1905 ... Construcci
on de Vitali de conjuntos no medibles.
Georg Riemann (18261866)
Naci
o el 17 de septiembre de 1826, en Breselenz, Hannover (ahora
Alemania) y fallecio el 20 de julio de 1866, en Selasca, Italia.
Ingres
o en el liceo de Hannover, donde estudio hebreo y trato de
probar la certeza del libro del Genesis por medio de razonamientos
matem
aticos.
En 1846 ingreso en la Universidad de Gottingen, que abandono un
a
no despues para trasladarse a la de Berln y estudiar bajo la
tutela de insignes matematicos, como Steiner, Jacobi y Dirichlet.
En Gottingen asisti
o a las clases que Dirichlet imparta sobre teora de n
umeros, teora de
la integral definida y ecuaciones en derivadas parciales. Dirichlet rapidamente desarrollo un
especial interes por el joven Riemann, quien a su vez consideraba a Dirichlet como el mejor
99
100
matematico vivo despues de Gauss. Su carrera se interrumpio por la revolucion de 1848,

durante la cual sirvi
o al rey de Prusia.
Dos a
nos despues, Riemann volvi
o a G
ottingen y en 1851 presento su tesis doctoral Grundlagen f
ur eine allgemeine Theorie der Functionen einer veranderlichen complexen Grosse
(Fundamentos para una teora general de funciones de variables complejas), la cual fue muy
elogiada por Gauss. El punto de partida es una definicion bastante diferente del termino de
funcion cuando la variable considerada es real o compleja, lo cual fue imprescindible para el
posterior desarrollo de su integral. Tres a
nos mas tarde, en su Habilitationsschrigt, decidio retomar el estudio de la representacion de funciones mediante series trigonometricas. La
pregunta inicial de su investigaci
on fue: en que casos es una funcion integrable? Fue entonces
cuando creo la integral que hoy conocemos.
En su corta vida contribuy
o a muchsimas ramas de las matematicas: integrales de Riemann,
aproximacion de Riemann, metodo de Riemann para series trigonometricas, matrices de Riemann de la teora de funciones abelianas, funciones zeta de Riemann, hipotesis de Riemann,
teorema de Riemann-Roch, lema de Riemann-Lebesgue, integrales de Riemann-Liouville de
orden fraccional, etc., aunque tal vez su mas conocida aportacion fue la de la geometra
no euclidiana, basada en una axiom
atica distinta de la propuesta por Euclides, y expuesta
detalladamente en su celebre memoria Sobre las hipotesis que sirven de fundamento a la
geometra. Esta geometra se sigue si se considera la superficie de una esfera y se restringen
las figuras a esa superficie.
Medio siglo m
as tarde, Einstein demostro, en virtud de su modelo de espacio-tiempo relativista, que la geometra de Riemann ofrece una representacion mas exacta del universo que la
de Euclides.
Murio de tuberculosis antes de cumplir los cuarenta a
nos.
Camille Jordan (18381922)
Naci
o en Lyon en 1838 y murio en Pars en 1922.
Fue un matematico conocido tanto por su trabajo sobre la teora
de grupos como por su influyente texto Cours danalyse. Jordan estudi
o en la Escuela Politecnica (promocion 1855).
Fue ingeniero de minas y mas tarde ejercio como examinador en
la misma escuela. En 1876 entro como profesor en el Colegio de
Francia, sustituyendo a Joseph Liouville.
Su nombre se asocia a un determinado n
umero de resultados fundamentales, como son:
El teorema de la curva de Jordan: un resultado topologico recogido en analisis complejo.
La forma normal de Jordan en
algebra lineal.
El teorema de Jordan-H
older, que es el resultado basico de unas series de composiciones.
El trabajo de Jordan incidi
o de manera sustancial en la introduccion de la teora de Galois en
la corriente del pensamiento mayoritario. Investigo tambien los grupos de Mathieu, los pri-
Apendice I
101
meros ejemplos de grupos espor

adicos. Su Traite des substitutions sobre las permutaciones
de grupos fue publicado en 1870.
El 4 de abril de 1881 fue elegido miembro de la Academia de la Ciencia.
De 1885 a 1921 dirige la revista Journal de mathematiques pures et apliques, fundada por
Liouville.
Georg Cantor (18451918)
Naci
o el 3 de marzo de 1845 en San Petersburgo y murio el 6 de
enero de 1918 en Halle (Alemania).
Georg heredo los considerables talentos musicales y artsticos de
sus padres ya que fue un destacado violinista. Fue educado en
el Protestantismo, religion de su padre, mientras su madre era
Cat
olica.
El joven Cantor permanecio en Rusia junto a su familia durante
once a
nos, hasta que la delicada salud de su padre les obligo a
trasladarse a Alemania.
Despues de asistir a la Escuela de Ingeniera de Darmstadt a partir de 1860, ingreso al
Politecnico de Zurich en 1862. Tras la muerte de su padre, un a
no despues, se traslado a
la Universidad de Berln, donde estudio matematicas, fsica y filosofa. All fue alumno de
Weierstrass, Kummer y Kronecker y compa
nero de estudios de Hermann Schwarz. Se doctoro en 1867 con la disertaci
on De aequationibus secundi gradus indeterminatis (Sobre las
ecuaciones indeterminadas de segundo grado) y empezo a trabajar como profesor adjunto en
la Universidad de Halle.
Cantor probo la unicidad de la representacion de una funcion como una serie trigonometrica
en 1870. Cantor public
o un artculo sobre series trigonometricas en 1872, en el que definio a
los n
umeros irracionales en terminos de sucesiones convergentes de n
umeros racionales.
En 1873 Cantor prob
o que los n
umeros racionales son numerables, es decir, que pueden
colocarse en correspondencia uno-a-uno con los n
umeros naturales. Tambien mostro que los
n
umeros algebraicos, es decir, los n
umeros que son races de ecuaciones polinomiales con
coeficientes enteros, son numerables.
Entre 1874 y 1897, demostr
o que el conjunto de los n
umeros enteros tena el mismo n
umero de elementos que el conjunto de los n
umeros pares, y que el n
umero de puntos en un
segmento es igual al n
umero de puntos de una lnea infinita, de un plano y de cualquier
espacio. Consider
o los conjuntos infinitos como entidades completas con un n
umero de elementos infinitos completos. Llam
o a estos n
umeros infinitos completos ?n
umeros transfinitos?
y articulo una aritmetica transfinita completa. Por este trabajo fue ascendido a profesor en
1879. Sin embargo, el concepto de infinito en matematicas haba sido tab
u hasta entonces, y
por ello se granje
o algunos enemigos, especialmente Leopold Kronecker, que hizo lo imposible
por arruinar su carrera. Estancado en una institucion docente de tercera clase, privado del
reconocimiento por su trabajo y constantemente atacado por Kronecker, sufrio su primera
102
crisis nerviosa en 1884. Sus teoras s

olo fueron reconocidas a principios del siglo XX, y en
1904 fue galardonado con una medalla de la Sociedad Real de Londres y admitido tanto en
la Sociedad Matem
atica de Londres como en la Sociedad de Ciencias de Gotinga.
En la actualidad se le considera como el padre de la teora de conjuntos, punto de partida de
excepcional importancia en el desarrollo de la matematica moderna. Murio en una institucion
mental, en la que estuvo ingresado desde 1917.
Emile
Borel (18711956)
Naci
o el 7 de enero de 1871 en Saint-Affrique (Provenza) y muri
o el 3 de febrero de 1956 en Pars.
Su carrera de estudiante fue brillante. Se graduo en 1892 y su
tesis, Sur quelques points de la theorie de fonctions, fue publicada
en los Annales de lEcole

Normale en 1895. Fue profesor de la
Universidad de Lille, pasando de esta a Pars en cuya Facultad
de Ciencias fue profesor de Calculo de probabilidades.
Fue director de la Escuela Normal (1911) y del Instituto Henri Poincare (1927), y pertenecio a
la Academia de Ciencias. Como poltico, llego a desempe
nar la cartera de Marina con Painleve (1925). Su ideologa poltica radical-socialista le haba llevado en 1924 a su nominacion
de diputado. En 1934 era presidente de la Academia de Ciencias y en 1941 fue arrestado por
las autoridades alemanas de ocupaci
on.
Realizo notables trabajos sobre Teora de funciones y Probabilidades, con ttulos como Le
hasard, Principes et methodes de la theorie des fonctions, Lespace et le temps, etc.
Se le puede considerar creador de la primera teora de la medida de conjuntos de puntos.
Comparte con Baire, Poincare y Lebesgue el inicio de una nueva era en el estudio de las
funciones de variable real.
En su libro Lecons sur la theorie des fonctions (1898) da la primera definicion u
til de medida
de un conjunto. Cantor prob
o que todo abierto de la recta real es union de intervalos abiertos
disjuntos. Apoy
andose en este resultado, define la medida de un abierto acotado como la
suma de las longitudes de sus componentes (los intervalos abiertos disjuntos cuya union es el
abierto dado). Adem
as, caracteriza los conjuntos que se pueden obtener a partir de abiertos
por medio de las operaciones uni
on numerable y diferencia, comprobando que para ellos se
puede definir una medida completamente aditiva (es decir, dado un conjunto de conjuntos
de este tipo, disjuntos dos a dos, su medida es la suma de las medidas de sus componentes).
Estos conjuntos reciben hoy da el nombre de borelianos en honor a su creador y han servido
de base para la medida exterior definida por Lebesgue para la construccion de la integral que
lleva su nombre.
Otros temas de trabajo de Borel, en los que ha obtenido tambien brillantes resultados, son
las funciones enteras, las funciones meromorfas y las series divergentes.
En 1913, Emile
Borel enunciaba este teorema:
Dada la propia naturaleza del infinito, un mono tecleando al azar ante una maqui-
Apendice I
103
na de escribir terminar
a casi seguramente escribiendo cualquier libro que se halle
en la Biblioteca Nacional Francesa.
Constantin Carath
eodory (18731950)
Naci
o el 13 de Septiembre de 1873 en Berln y fallecio el 2 de
Febrero de 1950 en Munich.
Constantin Caratheodory ingreso en la Universidad de Berln en
mayo de 1900, donde Frobenius y Schwarz eran profesores. Asisti
o a las conferencias de Frobenius, pero saco mas provecho de
una serie de coloquios a los que acuda dos veces al mes y que
corran a cargo de Schwarz, quien ofreca discursos sobre sus trabajos completos. Llego a ser amigo ntimo de Fejer durante su
estancia en Berln.
Caratheodory recibi
o su Doctorado en Filosofa en 1904 por la Universidad de Gottingen,
donde trabaj
o bajo la supervisi
on de Hermann Minkowski. Despues de las conferencias que
realizo en Hannover, Breslau, G
ottingen y Berln, a peticion del gobierno griego, accedio a
un puesto en la Universidad de Smyrna (ahora Izmir, en Turqua).
En 1922 los turcos respondieron a la invasion de los griegos atacando Smyrna. En esta accion,
Caratheodory fue capaz de salvar la biblioteca de la Universidad, trasladandola a Atenas. A
partir de entonces, imparti
o docencia en la Universidad y en la Escuela Tecnica de la capital
griega hasta 1924, cuando se traslad
o a Munich, lugar de residencia el resto de su carrera
academica.
Caratheodory hizo importantes contribuciones al calculo de variaciones, la teora de la medida
del punto fijo y la teora de funciones de variable real. Agrego significativos resultados a la
relacion entre las ecuaciones diferenciales parciales de primer orden y el calculo de variaciones.
Contribuyo en trascendentes resultados en la teora de funciones de varias variables. Examino las representaciones conformes (que preservan los angulos) de regiones simplemente
conexas y desarroll
o la teora de la correspondencia de la frontera. Escribio muchos libros
excelentes, incluyendo Funktionentheorie, un trabajo de dos vol
umenes publicado en 1950.
Aporto contribuciones en termodin
amica, teora espacial de la relatividad y optica geometrica.
Henri Lebesgue (18751941)

Naci
o en Beauvais el 28 de Junio de 1875 y murio en Pars el 26
de julio de 1941. Estudio en la Ecole

Normale Superieure de Pars
entre 1894 y 1897. En el periodo 1899-1902 impartio clases en el
Lycee Centrale de Nancy.
Inspirado en el trabajo de otros matematicos, como Emile

Borel y
Camille Jordan, Lebesgue formulo la teora de la medida en 1901.
Al a
no siguiente definio la integral de Lebesgue, la cual generaliza
la noci
on de la integral de Riemann al extender el concepto de
area bajo una curva para incluir funciones discontinuas.
104
Este es uno de los logros del an

alisis moderno que tiene aplicaciones a diversas ramas de la
matematica, como por ejemplo el an
alisis de Fourier. Lebesgue dio a conocer este desarrollo
en su tesis doctoral titulada Integrale, longueur, aire presentada en la Universidad de Nancy
en 1902, y publicada en los Annali di Matematica de ese mismo a
no. En el primer captulo
desarrolla la teora de la medida de una forma mas general que la de Borel, asignando a cada
subconjunto una medida interior y una medida exterior. En el segundo captulo define la
integral, primero geometricamente, para una funcion positiva f (x), como la medida en el plano
del conjunto de puntos (x, y) tales que 0 y f (x), moviendose x en el rango de integracion;
despues la define analticamente, subdividiendo el rango de variacion de f (x) en lugar del de
x, como se hace en la integral de Riemann. Demuestra las propiedades fundamentales de la
integral, salvo la derivaci
on de la misma, que probo posteriormente en un artculo publicado
en la revista Comptes Rendus. Los siguientes captulos tratan sobre la longitud y area de
superficies, estando dedicado el u
ltimo al problema de Plateau, de encontrar una superficie
de area mnima y contorno dado.
Despues de ser profesor en las facultades de Rennes y Poitiers, entro en la Facultad de Ciencias de Pars en 1910. A partir de 1921 fue profesor en el Colegio de Francia. Fue elegido
miembro de la Royal Society de Londres el 3 de mayo de 1934. Era miembro tambien (desde
1922) de la Academia de Ciencias de Pars, en la seccion de Geometra. Ademas de aproximadamente 50 artculos, escribi
o varios libros entre los que destacan: Lecons sur lintegration et
la recherche des fonctions primitives (1904) y Lecons sur les series trigonometriques (1906).
A su vez, contribuy
o en otras
areas de matematicas como topologa, teora del potencial y
analisis de Fourier. En 1905 present
o una discusion sobre las condiciones que Lipschitz y
Jordan haban utilizado para asegurar que f (x) es la suma de su serie de Fourier. En Pars
no se concentr
o en el
area de estudio que el mismo haba iniciado, ya que su trabajo era una
generalizacion, mientras que Lebesgue era temeroso de las mismas. En sus palabras reducida a teoras generales, las matem
aticas seran una forma hermosa sin contenido. Moriran
rapidamente. A pesar de que desarrollos posteriores demostraron que su temor no tena
fundamentos, este nos permite entender el curso que siguio su trabajo.
Guido Fubini (18791943)
Guido Fubini nacio en Venecia en 1879. Su padre fue maestro de

matem
aticas en la Escuela de Venecia, lo que influyo en su gusto
por las matematicas.
En 1900 realizo su doctorado en Pisa sobre paralelismo de Clifford en espacios elpticos. Un a
no mas tarde se convirtio en profesor en la Universidad de Catania.
En 1939 se vio obligado a abandonar Italia yendose a EEUU, por
la persecucion sufrida durante el Regimen de Mussolini. Imparti
o clases en la Universidad de Princeton.
En 1943 falleci
o en Nueva York a causa de problemas cardacos. Es celebre por el famoso
teorema de Fubini sobre el cambio en el orden de integracion de funciones de varias variables.
Tambien realiz
o importantes contribuciones en los campos de geometra diferencial, ecuacio-
Apendice I
105
nes diferenciales, funciones analticas y funciones de varias variables complejas, ademas de

trabajos de precisi
on en artillera, ac
ustica y electricidad. Algunos de sus discpulos lo calificaron como un hombre muy culto, honesto, amable y con un inigualable talento pedagogico.
Bibliografa
[AB] Charalambos Aliprantis y Owen Burkinshaw, Principles of real analysis. Academic Press, 1990.
[Bu] Frank Burk, A garden of integrals. Dolciani Mathematical Expositions 31 (MAA),
2007.
[De] A. Denjoy, Une extension de lintegrale de M. Lebesgue. C.R. Acad. Sci. Paris 154
(1912), 859-862.
[FF] Jos
e A. Facenda y Francisco J. Freniche, Integraci
on de funciones de varias
variables. Pir
amide, 2002.
[Ge] Jean Genet, Measure et integration: theorie elementaire. Vuibert, 1976.
[Go] Russell Gordon, The integrals of Lebesgue, Denjoy, Perron and Henstock. American
Mathematical Society, 1994.
[GR] Miguel de Guzm
an y Baldomero Rubio, Integraci
on: teora y tecnicas. Alhambra,
1979.
[HS] Norman Haaser y Joseph Sullivan, Real Analysis. Van Nostrand, 1971.
[KF] Andrei Kolmogorov y Sergei Fomin, Elementos de la teora de funciones y del
an
alisis funcional. Mir, 1978.
[Pi]
Jean-Paul Pier, Histoire de lintegration, Masson, 1996.
[Ro] Halsey Royden, Real Analysis, 3rd. ed. McMillan, 1988.

[SS] Elias Stein y Rami Shakarchi, Real Analysis, III. Princeton University Press.
107
Indice alfabetico
F , 20
G , 20
A , 70
A , 70
-algebra, 57
-algebra de Borel, 20
-algebra de conjuntos, 20
-algebra generada, 20
algebra de conjuntos, 20
algebra generada por una semi
algebra, 72
c.s., 34
conjunto
conjunto
conjunto
conjunto
conjunto
conjunto
conjunto
conjunto
abierto, 19
acotado, 19
cerrado, 19
compacto, 19
de Cantor, 23
de Vitali, 31
medible, 25
medible (Caratheodory), 67
desigualdad de Cauchy-Schwarz, 85
desigualdad de H
older, 82
desigualdad de Minkowski, 82
espacio
espacio
espacio
espacio
espacio
espacio
espacio
Lp , 85
de Banach, 80
de medida, 57
de medida completo, 59
dual, 94
medible, 57
normado, 79
funcion medible, 60
funcion medible Lebesgue, 33
funcion simple, 35, 60
funcional lineal, 91
funcional lineal acotado, 91
integral
de funciones medibles no negativas, 61
de funciones simples, 61
integral de Lebesgue
de funciones medibles, 44
de funciones medibles no negativas, 43
de funciones medibles y acotadas, 41
de funciones simples, 38
lema de Fatou, 46, 63
medida
medida
medida
medida
medida
medida
medida
medida
medida
medida
medida
medida
-finita, 59
abstracta, 57
de contar, 58
de Dirac, 58
de Lebesgue, 28
de Lebesgue bidimensional, 73
de probabilidad, 59
exterior, 22, 66
exterior inducida por una medida, 70
finita, 59
producto, 73
sobre un algebra, 69
norma de un funcional lineal acotado, 92

parte negativa de una funcion, 44
parte positiva de una funcion, 44
propiedad de Heine-Borel, 19
funcion escalonada, 35
funcion integrable sobre un conjunto medible,
65
rectangulo medible, 73
109

Indice
alfabetico
110
semialgebra de conjuntos, 72
seminorma, 79
teorema
teorema
teorema
teorema
teorema
teorema
teorema
teorema
teorema
teorema
teorema
de
de
de
de
de
de
de
de
de
de
de
compleci
on de una medida, 59
Egorov, 37
extensi
on de Caratheodory, 71
Fubini, 76
la convergencia acotada, 45
la convergencia dominada, 49, 66
la convergencia mon
otona, 47, 64
Levi, 47
representaci
on de Riesz, 94
Riesz-Fischer, 88
Tonelli, 76

Apuntes de Medida

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

Apuntes de Medida

Hochgeladen von

Copyright:

Verfügbare Formate

Teora de la medida e integral de Lebesgue

Apuntes elaborados para el curso de Maestra en Matematicas de la Universidad Nacional de Asunci

1.1. Desde el problema de la cuadratura ... . . . . . . . . . . . . . . . . . . . . . .

1.2. ... hasta la integral de Lebesgue y mas alla . . . . . . . . . . . . . . . . . . . .

2.1.1. Deficiencias de la integral de Riemann . . . . . . . . . . . . . . . . . .

2.1.2. Nueva forma de contar rectangulos . . . . . . . . . . . . . . . . . . . .

2.2. Conceptos previos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.3. Tres principios de Littlewood . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.3.1. Todo conjunto medible es casi union finita de intervalos . . . . . . . .

2.3.2. Toda funci

2.3.3. Toda sucesi

2.4. Integral de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.4.1. Definiciones y primeros resultados . . . . . . . . . . . . . . . . . . . .

2.4.2. Teoremas de convergencia . . . . . . . . . . . . . . . . . . . . . . . . .

2.6. Calculo integral de funciones integrables . . . . . . . . . . . . . . . . . . . . .

2.6.2. Integrales dependientes de un parametro . . . . . . . . . . . . . . . . .

3. Teora de la medida abstracta

3.1. Espacios de medida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.2. Funciones medibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.4.1. Medida exterior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.4.2. Teorema de extensi

3.5. Medidas producto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4.1. Espacios normados. Definici

4.4. Propiedades de los espacios normados . . . . . . . . . . . . . . . . . . . . . .

4.5. Funcionales lineales acotados en Lp . . . . . . . . . . . . . . . . . . . . . . . .

A lo largo de la historia de las matem

Evolucion del concepto de integral

Desde el problema de la cuadratura ...

Desde tiempos remotos, el matem

1.1. Desde el problema de la cuadratura ...

C (1) [a, b],

F 0 (t) dt = F (x) F (a), x [a, b].

f (t) dt, entonces F C (1) [a, b], F 0 = f en [a, b] y F es

absolutamente continua en [a, b].

f (ck )(xk xk1 ).

Dicho lmite recibe el nombre de integral de Riemann de f en [a, b] y lo denotamos por

Con esta definici

k=1 x[xk1 ,xk ]

k=1 x[xk1 ,xk ]

f (x) (xk xk1 ),

entonces sup L(f, P ) = nf U (f, P ).

e) (Criterio de Lebesgue) El conjunto de discontinuidades de f tiene medida cero.

1.1. Desde el problema de la cuadratura ...

Teorema 1.1.4 (primer teorema fundamental de la integral de Riemann). Sea

F (x) F (a), para todo x [a, b].

Teorema 1.1.5 (segundo teorema fundamental de

a) F es continua en [a, b].

para cualquier partici

f (x)0 (x) dx.

... hasta la integral de Lebesgue y m

La pregunta natural que surge a continuacion es la siguiente: La clase de funciones integrables

Muchos esfuerzos, entre los que destacaremos los de Emile

1.2. ... hasta la integral de Lebesgue y m

convirtieron en una herramienta b

Teorema 1.2.2 (convergencia mon

Teorema 1.2.3 (convergencia dominada de Lebesgue). Sean g una funci

Una posterior adaptaci

planteada por Hilbert y Fredholm,

f (t, y(t)) dt.

Al sustituir dicha integral por sumas de Riemann, se llega a la aproximacion

f (t, y(t)) dt y {([aj1 , aj ], tj ), j = 1, . . . , m} es una, as llamada, particion

etiquetada del intervalo [a, x].

La teora de integracion de Riemann presentada en 1854 es una adaptacion de la teora de