Professional Documents
Culture Documents
Pedro Alegra
pedro.alegria@ehu.es
Departamento de Matematicas
Euskal Herriko Unibertsitatea / Universidad del Pas Vasco
Bilbao - Espa
na
Indice general
Pr
ologo
1. Evoluci
on del concepto de integral
11
2. Integral de Lebesgue en R
15
2.1. Motivaci
on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
15
16
18
19
21
21
32
37
38
38
45
2.5. Derivaci
on e integraci
on de funciones integrables . . . . . . . . . . . . . . . .
50
2.5.1. Derivaci
on de una integral . . . . . . . . . . . . . . . . . . . . . . . . .
50
53
2.6.1. F
ormulas de integraci
on . . . . . . . . . . . . . . . . . . . . . . . . . .
53
56
57
3
INDICE GENERAL
57
60
3.3. Integraci
on de funciones medibles . . . . . . . . . . . . . . . . . . . . . . . . .
61
3.4. Construcci
on de medidas abstractas . . . . . . . . . . . . . . . . . . . . . . .
66
66
69
73
4. Espacios Lp
79
79
4.2. Desigualdades de H
older y Minkowski . . . . . . . . . . . . . . . . . . . . . .
81
4.3. Espacios Lp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
85
90
91
Ap
endice I: la teora de la medida en sus personajes
99
Prologo
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
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.
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
Z
entonces
(C)
Z
b) Si f C[a, b] y F (x) =
(C)
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
on del concepto de integral
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
k=1
sup
f (x)
nf
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
nf
k=1
x[xk1 ,xk ]
10
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
Captulo 1. Evoluci
on del concepto de integral
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
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.
12
Z
f (x) dx = lm (L)
(L)
a
fn (x) dx.
a
Captulo 1. Evoluci
on del concepto de integral
13
y(x) = y0 +
a
m
X
[F (aj , y(tj )) F (aj1 , y(tj1 ))],
j=1
donde F (x, y) =
a
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
n
X
k=1
16
2.1. Motivaci
on
2.1.1.
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,
17
Z
fn (x) dx 6=
entonces 1 = lm
0
lm fn (x) dx = 0.
0
18
2.1. Motivaci
on
2
x
sen(1/x2 )
si 0 < x 1
si x = 0.
2.1.2.
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).
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
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
2.3.
2.3.1.
22
In
nN
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
i=1
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 ).
(xk k , xk + k ), con
kN
As, m (A)
k < /2.
kN
l(xk k , xk + k ) < .
kN
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
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
jJ2
donde J1 J2 = . Entonces
m (E1 ) + m (E2 )
X
jJ1
l(Ij ) +
X
jJ2
l(Ij )
l(Ij ) m (E) + .
jN
26
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
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
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
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
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
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
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
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).
E ,
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
m(Nk ) 2 = 1
kN
m(N ) 2.
kN
2.3.2.
Toda funci
on medible es casi continua
nN {x
33
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
} {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
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
N
X
ai Ei (x),
i=1
36
n
n2
[
i=1
Definimos
n (x) =
n
n2
X
i=1
i1
Eni (x) + n Enc (x), n 1,
2n
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
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
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.
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
Z
=
E .
n
X
39
i=1
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
40
d) Si (x) =
N
X
k=1
N
X
|ak |
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
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
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
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
E (f
g) 0.
R
E
1 = m(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
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
Z
`=
Z
k
h+
E
Z
f+
g,
E
44
de donde
f+
(f + g).
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
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=
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.
2.4.2.
Teoremas de convergencia
n 0
46
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,
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
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 .
y
(f
)
es
una sucesion de funciones medibles con h fn ,
nZ
Z
entonces
lm inf fn lm inf
fn .
48
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
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) < .
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
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
[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)
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
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
(g gn ) = 0, resulta que
Z
lm
Z
(g fn ) =
Z
(g f )+ =
(g f ),
f lm inf
f.
f = lm
fn .
2.5.
Derivaci
on e integraci
on de funciones integrables
2.5.1.
Derivaci
on de una integral
Z
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
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
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
52
2.5. Derivaci
on e integraci
on de funciones integrables
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
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
2.6.
C
alculo integral de funciones integrables
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
54
2.6. C
alculo integral de funciones integrables
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
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
b a
Z
Observaci
on. Si f tiene signo variable, puede existir lm
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
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
alculo integral de funciones integrables
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
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
E1 R, m(E1 ) = 0 : x 6 E1 , lm
tt0
Captulo
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
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
iN Ai )
iN (Ai ).
Sn1
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
\
iN
Ai ) = lm (An ).
n
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
= (A) +
n1
X
(Ai ) (Ai+1 ) = (A) + lm
(Ai ) (Ai+1 )
iN
i=1
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
61
3.3.
Integraci
on de funciones medibles
Z
d =
n
X
ci (Ei ),
i=1
i=1
(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
on de funciones medibles
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
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 =
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
on de funciones medibles
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
Z
Z
fn d
Z
f d lm inf
Z
fn d lm sup
fn d
nN
Z
fn d
f 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
nN
Corolario 3.3.8. Si A =
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
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
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 =
{x:f (x)0}
Demostraci
on. Basta aplicar el lema de Fatou a g + fn y g fn .
3.4.
Construcci
on de medidas abstractas
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
i=1
Ei )
X
i=1
(Ei ).
i=1
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
on de medidas abstractas
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
(E)
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
(E) = nf
(Ai )
i=1
i=1 Ai .
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
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
on de medidas abstractas
i
j=1 (Aij ) < (Ei ) + /2 . Entonces
(E)
(Aij ) <
i,j
i=1
j=1 Aij
(Ei ) + .
i=1
(E ).
i
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
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
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 \ 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
e(B)
e(A) = (A) (B) + =
e(B) (B).
72
3.4. Construcci
on de medidas abstractas
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).
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
n=1
3.5.
73
Medidas producto
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
o bien
X
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
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
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
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.
77
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
F dm.
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.
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
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-
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
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
4.2. Desigualdades de H
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:
f g d A B, o bien
f g
1 fp
1 gq
p + q,
A B
p A
q B
Captulo 4. Espacios Lp
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
Z
C = =
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
, lo que da
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
4.2. Desigualdades de H
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
g d
f g d , c.q.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
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
nN {n}
nN {n}
nN
nN
Captulo 4. Espacios Lp
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
iN
iN
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 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
4.3. Espacios Lp
86
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
Captulo 4. Espacios Lp
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 ().
4.3. Espacios Lp
88
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
Captulo 4. Espacios Lp
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
c.s.
= lm |fn (x) fm (x)| lm kfn fm k + < 2, m, n N.
n
|f |p d +
|f |q d kf kpp + kf kqq < .
|f |1
|f |>1
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
90
4.4.
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
h
X
X
(ank ank1 ) = lm
(ank ank1 ) = lm anh ,
k=1
k=1
}
y kx x0 k < 2(1+1+|
. Entonces
| 0 | < mn{1, 2(1+1+kx
0 k)
0 |)
|| |0 | | 0 | < 1 = || < 1 + |0 |.
Captulo 4. Espacios Lp
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.
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.
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
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
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.
Captulo 4. Espacios Lp
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 .
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
Captulo 4. Espacios Lp
95
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
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
k f (ek ), enton-
kN
kN
Adem
as, como g(ek ) =
jN kj j
kN
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
1
p
1
q
= 1, (1 < 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
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 .
= kxk
X
kN
|f (ek )|q
!1/p
X
|k |
kN
!1/q
!1/q
X
kN
|f (ek )|
Captulo 4. Espacios Lp
97
kN |f (ek )|
q 1/q
kN |f (ek )|
q 1/q
Eligiendo x = (x1 , . . . , xN , 0, . . . ),
|fe(x)|
N
X
n=1
N
X
|fn |.
n=1
N
X
n=1
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.
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
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
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
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 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.
104
Apendice I
105
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]
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
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