Analisis 01

Una introduccion a la medida e integral
de Lebesgue
(version preliminar)
Roberto Quezada Batalla
Departamento de Matematicas, UAM-I
2
Introduccion
Estas notas son una breve introduccion a la teora de la medida e integral
de Lebesgue, incluyen conceptos y resultados considerados clasicos y que todo
joven matematico debe conocer.
Hemos hecho un intento serio por hacer accesible al lector los resultados mas
importantes de la teora en toda su extension sin simplicarlos, discutiendolos
de una manera completa y sin dejar huecos. Para entender el material de estas
notas solo se necesita un buen conocimieto del Calculo Diferencial e Integral,
en la forma que se desarrolla en los cursos de Calculo Avanzado.
Nuestro objetivo principal es presentar aquellas partes de la teora que son
indispensables y encuentran aplicacion inmediata en otras areas, por ejemplo
en Probabilidad y en Fsica Matematica. Consecuentemente, otros temas como
integracion y diferenciacion, medidas en espacios abstractos, espacios L
p
, series
de Fourier, integral de Lebesgue-Stieltjes, tambien considerados clasicos, han
quedado fuera. Los lectores interesados en estos temas pueden estudiarlos en
los cursos mas avanzados de Analisis Matematico o bien pueden leerlos en las
referencias incluidas al nal de las notas.
El Captulo 1 contiene un breve repaso de la integral de Riemann, presentada
de una manera tal que la integral de Lebesgue resulta ser una extension natural
de ella obtenida al reemplazar la clase de las funciones aproximantes, funciones
escalonadas, por la clase mas general de las funciones simples.
La medida de Lebesgue en la recta real se desarrolla en el Captulo 2, in-
cluyendo la construccion de la -algebra de los subconjuntos Lebesgue-medibles
a partir de la condicion de Caratheodory, que interpretamos como una condicion
de separabilidad; en la Proposicion 2.3.18 demostramos varias condiciones equiv-
alentes a la de Caratheodory, las cuales permiten interpretar de manera intuitiva
el concepto de medibilidad.
La clase de las funciones medibles se trata en el Captulo 3, incluyendo los
resultados sobre aproximacion por funciones continuas. La integral de Lebesgue
se trata en el Captulo 4, primero para funciones medibles y acotadas denidas
en subconjuntos de medida nita, despues extendemos este concepto a la clase de
funciones medibles no negativas y nalmente a la clase de las funciones medibles
con valores complejos.
Consideramos que esta es una version preliminar de las notas porque todava
requieren ser completadas, por ejemplo en la parte de los ejercicios para el
estudiante.
Captulo 1
La Integral de Riemann
Recordemos brevemente la construccion y algunas propiedades de la integral de
Riemann en intervalos acotados de R.
Una particion T de [a, b] es una coleccion nita
x
0
= a < x
1
< < x
n
= b. La norma de T es |T| = max
1jn
[x
j
x
j1
[.
Sean T una particion de [a, b], f una funcion denida en [a, b] y
i
[x
i1
, x
i
], i = 1, . . . , n, una eleccion de puntos en [a, b]. Defnase
(f, T, ) =
n
i=1
f(
i
)[x
i
x
i1
[
A esta suma la llamaremos Suma de Riemann de f relativa a la partici on T
de [a, b] y la eleccion =
1
,
2
, . . . ,
n
. Este nombre nos permitira recordar
que para cada f esta suma depende de la particion T y de la eleccion .
Denicion 1.0.1. (Riemann-integrabilidad).
Una funcion f es Riemann integrable (R-integrable) si existe un n umero real
tal que para cualquier > 0 > 0, tal que T particion de [a, b] con
|T| < y toda eleccion se tiene
[(f, T, ) [ < .
De manera breve:
( > 0) ( > 0) (T) () [ |T| < [(f, T, ) [ < ].
No es dicil demostrar que, en caso de existir, el n umero es unico: pues
si existen dos
1
,=
2
, digamos
2
>
1
, que satisfacen la denicion anterior
entonces para <
1
2
(
2
1
), > 0 tal que T y se tiene que si
|T| < entonces [(f, T, )
1
[ < y [(f, T, )
2
[ < . Entonces
utilizando desigualdad del triangulo obtenemos que
[
1
2
[ 2,
3
4 CAP
ITULO 1. LA INTEGRAL DE RIEMANN

lo cual es una contradiccion.
Al n umero lo denotaremos mediante el smbolo
R
_
b
a
f(x)dx = lim
P0
(f, T, ).
Recuerdese que si f 0 entonces R
_
b
a
f(x)dx es el area bajo la graca
de f en [a, b].
La denicion que hemos dado para la integral de Riemann de una funcion,
no es constructiva. En lo que sigue describiremos un metodo constructivo que
permite calcular integrales de Riemann. Ademas este metodo nos servira como
motivacion para denir la integral de Lebesgue.
Denicion 1.0.2. (Funcion escalonada)
Una funcion g denida en [a, b] es escalonada si existe una particion T de [a, b]
tal que g es constante en cada subintervalo de T.
Como consecuencia inmediata de la denicion obtenemos que una funcion
escalonada g toma solo un n umero nito de valores. Pero la funcion de Dirichlet
f(x) =
_
1 si x Q [0, 1]
0 si x [0, 1] Q,
no es escalonada a un cuando toma solo dos valores.
1 2/3 1/3 1/2
1/3
2/3
1/2
Figura 1.1: una funcion escalonada
La funcion escalonada de la gura 1.1 acepta la siguiente representacion
g(x) =
1
2
(0,
1
3
)
(x) +
2
3
(
1
3
,
2
3
)
(x) +
1
3
(
2
3
,1)
(x),
donde
(,)
es la funcion indicadora del intervalo (, ) denida de la siguiente
manera:
(,)
(x) =
_
1 si x (, )
0 si x / (, ).
Pero esta representacion de g no es unica. Aqu tenemos otra:
5
g(x) =
1
2
(0,
1
3
)
(x) +
2
3
(
1
3
,
1
2
)
(x) +
2
3
(
1
2
,
2
3
)
(x) +
1
3
(
2
3
,1)
(x).
Sean g
1
, g
2
, dos funciones escalonadas con representaciones
g
1
(x) =
n
j=1
a
j
(x
j1
,x
j
)
(x) y g
2
(x) =
m
k=1
b
k
(y
k1
,y
k
)
(x)
y sean
T
1
= x
0
, x
1
, . . . , x
n
y T
2
= y
0
, y
1
, . . . , y
m
las particiones asociadas con g

1
y g
2
, respectivamente.
Si Q = T
1
T
2
= z
0
, z
1
, . . . , z
k
, podemos escribir
g
1
(x) =
k
j=1
(zj1,zj)
(x), g
2
(x) =
k
j=1
(zj1,zj)
(x),
con
j
= a
m
y
j
= b
l
para algunos m y l,
y g
1
(x) +g
2
(x) =
l
j=1
(
j
+
j
)
(zj1,zj)
(x).
Proposicion 1.0.3. Si g es una funcion escalonada en [a, b] entonces g es
-integrable y ademas si
g(x) =
n
i=1
c
i
(x
i1
,x
i
)
(x)
entonces
_
b
a
g(x)dx =
n
i=1
c
i
(x
i
x
i1
).
Para demostrar esta proposicion utilizaremos el siguiente resultado, cuya
demostracion dejamos como ejercicio para el lector.
Teorema 1.0.4. (Aditividad)
Si t
0
= a < t
1
< t
2
< < t
n
= b, entonces una funcion f es -integrable en
[a, b] si y solo si es -integrable en cada subintervalo [t
i1
, t
i
] i = 1, . . . , n y
ademas
_
b
a
f(x)dx =
_
t
1
a
f(x)dx +
_
t
2
t
1
f(x)dx + +
_
b
t
n1
f(x)dx.
Tambien necesitaremos el siguiente.
6 CAP

Lema 1.0.5. Si f es -integrable en [a, b] y f(x) = g(x) excepto en un n umero
nito de puntos c
1
, . . . , c
k
[a, b] entonces g es -integrable y
_
b
a
f(x)dx =
_
b
a
g(x)dx.
Demostracion.
Supongase que k = 1. Bastara demostar que si f(x) = g(x), excepto en c [a, b],
entonces [(f, T, )(g, T, )[ es arbitrariamente peque no para |T| peque na.
Dada cualquier particion T de [a, b] con T = x
0
< x
1
< < x
n
, el punto c
se encuentra a lo mas en dos subintervalos [x
i1
, x
i
] y [x
i
, x
i+1
],
Entonces
[(f, T, ) (g, T, )[ = [(f g, T, )[ = [
n
i=1
(f(
i
) g(
i
))(x
i
x
i1
)[
[f(c) g(c)[[x
i
x
i1
[ +[f(c) g(c)[[x
i+1
x
i
[
2|T| [f(c) g(c)[
Para cualquier > 0, tomese < (2[f(c) g(c)[)
1
, entonces se tiene que
[(f, T, ) (g, T, )[ < eleccion si |T| < . Esto demuestra el resul-
tado si k = 1.
Si se tienen k puntos distintos, para cualquier particion
T = x
0
< x
1
< < x
n
, cada punto c
j
, j = 1, . . . , k, se encuentra en a lo
mas dos subintervalos [x
j1
, x
j
] y [x
j
, x
j+1
].
Entonces
[(f, T, ) (g, T, )[ = [(f g, T, )[ = [
n
i=1
(f(
i
) g(
i
))(x
i
x
i1
)[
k
j=1
([(f(c
j
) g(c
j
))[[x
j
x
j1
[ +[f(c
j
) g(c
j
)[[x
j+1
x
j
[)
2|T|
k
j=1
[f(c
j
) g(c
j
)[.
Entonces para cada > 0 se puede tomar < (2
k
j=1
[f(c
j
) g(c
j
)[)
1
, y
se tendra que
[(f, T, ) (g, T, )[ < si |T| < .
Demostracion.(de la Proposicion 1)
Una funcion constante es -integrable en cualquier intervalo [a, b] pues si
7
= c(b a) donde c es el valor de la funcion, entonces
[(f, T, ) [ = [
k
j=1
(f(
j
)(x
j
x
j1
) [
= [c(b a) [ = 0.
Como cada funcion escalonada es constante, digamos igual a c
j
en cada subin-
tervalo [x
j1
, x
j
] de alguna particion T. Entonces esta funcion es -integrable
en cada subintervalo y ademas
_
x
j
x
j1
g(x)dx = c
j
(x
j
x
j1
) j = 1, 2, . . . , n.
Ahora basta aplicar el teorema de aditividad para obtener que g es -integrable
en [a, b] y
_
b
a
g(x)dx =
k
j=1
c
j
(x
j
x
j1
).
Teorema 1.0.6. Una funcion denida en [a, b] es -integrable si y solo si para
cualquier > 0, existen dos funciones escalonadas f
1
y f
2
tales que
f
1
(x) f(x) f
2
(x) x [a, b] y
_
R
_
b
a
f
2
(x)dx
_
_
R
_
b
a
f
1
(x)dx
_
< .
Demostraci on.
Como f es -integrable, esto implica que f es acotada en [a, b]. Dado = 1,
sea > 0 como en la denicion 1.0.1, entonces para cualquier particion T con
|T| < y cualquier eleccion se tiene que
[(f, T, ) [ < ;
con = R
_
b
a
f(x)dx, lo cual implica que
[(f, T, )[ [(f, T, ) [ +[[ < [[ +.
Cada x [a, b] pertenece a alg un intervalo de T, digamos x (x
j1
, x
j
).
Si f 0 entonces
[f(x)(x
j
x
j1
)[ [(f, T, )[ < [[ +
entonces
[f(x)[ < (x
j
x
j1
)
1
(+)
1
(+).
8 CAP

Por lo tanto f esta acotada. Si f cambia de signo escrbase f = f
+
f
donde
f
+
(x) =
_
f(x) si f(x) 0
0 si f(x) < 0
= max(f(x), 0)
f
(x) =
_
f(x) si f(x) 0
0 si f(x) > 0
= max(f(x), 0)
Se tiene que f
+
, f
0 y [f[ = f
+
+f
y, por lo tanto es acotada.

Como f es -integrable, entonces dado > 0 > 0 tal que
[(f, T, ) [ < para toda eleccion , y toda particion T con |T| < .
Si T = a = x
0
< x
1
< < x
n
= b, como f es acotada tiene sentido denir
f
1
(x) = nff(x) : x (x
i1
, x
i
) para x (x
i1
, x
i
),
f
2
(x) = supf(x) : x (x
i1
, x
i
) para x (x
i1
, x
i
)
Estas funciones se pueden denir tambien en los puntos de T de manera que
resulten escalonadas. Notese que f
1
(x) f(x) f
2
(x) x [a, b]. Recordemos
que si o es un subconjunto acotado de R, entonces
(i) S = sup o
(i.1)S s s o
(i.2) > 0 s
o tal que s
> S
(ii) s =nf o
(ii.1)s s s o
(ii.2) > 0 s
o tal que s
< s +.
Por la denicion de f
1
, f
2
existen
i
,
i
(x
i1
, x
i
)) tales que
f(
i
) < f
1
(x) + f
1
(
i
) + > f
1
(x)
y f(
i
) > f
2
(x) x (x
i1
, x
i
).
Por ser escalonada, f
1
se puede representar en la forma
f
1
(x) =
n
i=1
(nff(x) : x [x
i1
, x
i
))
[xi1,xi)
(x).
Ahora,
_
b
a
f
2
(x)dx
_
b
a
f
1
(x)dx =
n
j=1
(f
2
(x) f
1
(x))(x
j
x
j1
)
j=1
(f(
j
) + f(
j
) +)(x
j
x
j1
)
=
n
j=1
(f(
j
) f(
j
))(x
j
x
j1
) +
n
j=1
2(x
j
x
j1
)
= (f, T, ) (f, T, ) + 2(b a)
< 2(1 + (b a)),
9
pues como [(f, T, ) [ < entonces
[(f, T, ) (f, T, )[ [(f, T, ) [ +[(f, T, )[
< + = 2.
Reciprocamente, sea
= sup
_
_
b
a
f
1
(x)dx : f
1
es escalonada y f
1
(x) f(x) x [a, b]
_
.
Si f
2
es escalonada con f
2
(x) f(x) f
1
(x), entonces
_
b
a
f
2
(x)dx
_
b
a
f
1
(x) f
1
escalonada con f
1
< f en [a, b].
Es decir,
_
b
a
f
2
(x)dx es cota superior del conjunto
_
_
b
a
f
1
(x)dx : f
1
es escalonada y f
1
f
_
.
Entonces
_
b
a
f
2
(x)dx .
Consecuentemente es cota inferior del conjunto
_
_
b
a
f
2
(x)dx : f
2
es escalonada y f
2
f en [a, b]
_
.
Ademas si > 0 existen f
1
, f
2
escalonadas con f
1
f f
2
en [a, b] y
_
b
a
f
2
(x)dx <
_
b
a
f
1
(x)dx + +.
Entonces,
=nf
_
_
b
a
f
2
dx : f
2
es escalonada y f
2
f
_
.
Ahora veremos que es la integral de f.
Estas ultimas f
1
y f
2
son integrables y si T es una particion asociada con
f
1
y f
2
_
b
a
f
1
(x)dx (f, Q, ) Q particion con |Q| < |T|,
_
b
a
f
2
(x)dx (f, Q, ) Q particion con |Q| < |T|.
Entonces
[(f, Q, ) [ < ,
10 CAP

pues
<
_
b
a
f
1
(x)dx
_
b
a
f
2
(x)dx
_
b
a
f
1
(x)dx (f, Q, ) .
Y
(f, Q, )
_
b
a
f
2
dx
_
b
a
f
2
(x)dx
_
b
a
f
1
(x)dx < ,
pues

_
b
a
f
1
(x)dx.
Entonces,
< (f, Q, ) < .
Esto demuestra que f es -integrable y ademas,
_
b
a
f(x)dx = .
Notese que en la demostracion del Teorema anterior se describe un metodo
para calcular la integral de Riemann de cada funcion Riemann-integrable, de
hecho tenemos que
R
_
b
a
f(x)dx = sup
_
_
b
a
f
1
(x)dx : f
1
es escalonada y f
1
(x) f(x) x [a, b]
_
=
sup
_
_
b
a
f
2
(x)dx : f
2
es escalonada y f
2
(x) f(x) x [a, b]
_
.
Los siguientes teoremas, cuya demostracion dejamos como ejercicio para el
lector, describen propiedades basicas de la integral de Riemann.
Teorema 1.0.7. (Linealidad)
Si f y g son -integrables entonces cf y f + g son -integrables (c R) y
ademas
_
b
a
cf(x)dx = c
_
b
a
f(x)dx y
_
b
a
(f(x) +g(x))dx =
_
b
a
f(x)dx +
_
b
a
g(x)dx.
Teorema 1.0.8. (Monotona)
Si f y g son -integrables y f g en [a, b], entonces
_
b
a
f(x)dx
_
b
a
g(x)dx.
Corolario 1.0.9. Si f es -integrable y m f M entonces
m(b a)
_
b
a
f(x)dx M(b a).
11
Teorema 1.0.10. Cualquier funcion continua en [a, b] es -integrable en [a, b].
Teorema 1.0.11. Cualquier funcion monotona en [a, b] es -integrable en [a, b].
Teorema 1.0.12. Sea | un abierto que contiene [a, b]. Si f es continua en |
y F es primitiva de f en | entonces
_
b
a
f = F(b) F(a)
Ejemplo 1.0.13. Sea Q el conjunto de los n umeros racionales, considerese la
funcion caracterstica
Q
(x) =
_
1 si x Q
0 si x / Q.
Tenemos que
(i)
Q
(x) es acotada y no es continua en ning un punto.
(ii)
Q
(x) no es monotona, ni seccionalmente monotona.
(iii)
Q
(x) no es -integrable.
Demostraci on.
(iii) Si f
1
y f
2
son dos funciones escalonadas, f
1

Q
(x) < f
2
bastara demostrar
que para alg un > 0
_
b
a
f
2
(x)dx
_
b
a
f
1
(x)dx >
Observese que f
1

Q
(x) en [a, b] entonces f
1
0, para toda x [a, b] y por
lo tanto
_
b
a
f
1
(x)dx 0.
De manera analoga, si f
2
es escalonada y
Q
(x) f
2
entonces f
2
1 y por
lo tanto
_
b
a
f
2
(x)dx (b a)
Entonces
_
b
a
f
2
(x)dx
_
b
a
f
1
(x)dx (b a) = > 0,
para cualquier f
1
, f
2
escalonadas con f
1

Q
(x) < f
2
Por lo tanto, por el teorema
Q
(x) no es -integrable.
12 CAP

Ejemplo 1.0.14. (La funcion de Riemann) Representemos a los racionales
no nulos en la forma
p
q
con q ,= 0 y (p, q) = 1.
Defnase
g(x) =
_
_
1
q
si x =
p
q
1 si x = 0
0 si x / Q.
Entonces:
(i) g(x) es continua en cada irracional y discontinua en los racionales.
Demostracion.
Sea x RQ. Podemos suponer sin perder generalidad que [x1, x+1] [0, ),
en otro caso el intervalo [x 1, x +1] se puede transformar a un intervalo de la
forma [y 1, y + 1] con y 1.
Para cada > 0 el subconjunto A
=
_
p
q
:
p
q
[x 1, x + 1] y
1
q

_
es nito. Pues si notamos que x1
p
q
x+1 y 0 < q
1
, tenemos que
0 (x 1)q p (x + 1)q
x + 1
.
Entonces p y q varian dentro de intervalos acotados y por lo tanto A
< .
Sea > 0 tal que [x , x +] A
= . Entonces si y [x , x +],
g(y)
_
= 0 si y es irracional
< si y es racional
Entonces g(y) < , para toda y [x , x +], es decir,
[g(x) g(y)[ = [g(y)[ < si [x y[ < .
Esto demuestra que g es continua para cada x R Q.
Ahora, si x Q, digamos 0 ,= x =
p
q
, entonces g(x) =
1
q
,= 0. Si g fuera
continua en x entonces para cualquier sucesion (x
n
)
n1
que converge a x, la
sucesion de sus imagenes convergera a g(x). No obstante, si (x
n
)
n1
es una
sucesion de irracionales con x
n
x entonces
g(x
n
) = 0
1
q
= g(x).
Esto demuestra que g no es continua en los racionales.
(ii) g es -integrable en [0, 1]. En realidad, esto mismo vale para cualquier
intervalo acotado.
13
Demostraci on.
Sean > 0 y f
1
(x) = 0 la funcion identicamente cero para x [0, 1]. Si
1
n
< ,
sea f
2
(x) =
1
n
para todo x [0, 1] excepto en aquellos racionales en A1
n
[0, 1],
donde A1
n
=
_
p
q
:
p
q
[0, 1] y
1
q

1
n
_
, recuerdese que
_
A1
n
_
< . Notese
que como x [0, 1], entonces [0, 1] [x1, x+1] y por lo tanto
_
[0, 1] A1
n
_
<
. Tenemos que f
1
(x) g(x)
1
n
= f
2
(x) se cumple excepto en [0, 1] A1
n
,
que tiene cardinalidad nita. Entonces,
_
1
0
f
2
(x)dx
_
1
0
f
1
(x)dx =
1
n
< .
Y podemos concluir que g es -integrable y ademas,
_
1
0
g(x)dx = 0.
14 CAP

Captulo 2
La medida de Lebesgue
2.1 Introduccion
Alguna vez Lebesgue escribio: Es claro que se debe iniciar partiendo [c, d] en
lugar de [a, b], . . . . En efecto, en contraposicion con la integral de Riemann,
en la cual se inicia partiendo el dominio de la funcion, Lebesgue propuso iniciar
partiendo el rango de la funcion que se desea integral. Podemos ilustrar la difer-
encia entre estos dos procedimientos con una analoga propuesta por el mismo
Lebesgue: si en un paquete se tienen billetes de las siguiente denominaciones
0.10, 1, 0.50, 100, 20, 0.10, 2, 500, 20, 10, 100, 0.50, de acuerdo con Riemann se
contaran agrupando los primeros tres, despues los cuatro siguientes y nalmente
los ultimos cinco para obtener 1.60+122.10+630.50 = 754.20. Pero de acuerdo
con el procedimeinto propuesto por Lebesgue los contariamos agrupandolos de
acuerdo a sus valores, as: 0.102+0.502+202+1002+2+500+1+10 =
754.20.
En la siguiente gura ilustramos el proceso propuesto por Lebesgue.
a
b
c
d
E
i
1
y
i
y
i+1
E
i
2
E
i
3
Figura 2.1: f
1
[y
i
, y
i+1
] = E
1
i
E
2
i
E
3
i
Como se puede observar la imagen inversa de un intervalo como [y
i
, y
i+1
],
puede ser muy complicada. En la gura, la imagen inversa del intervalo [y
i
, y
i+1
]
es una union de intervalos pero, para funciones menos regulares, esta imagen
15
16 CAP
ITULO 2. LA MEDIDA DE LEBESGUE

inversa es mucho mas complicada. Por ejemplo, si f es la funcion de Dirichlet,
f(x) =
_
1 si x Q [0, 1]
0 si x / Q [0, 1],
la imagen inversa de un intervalo sucientemente peque no alrededor de 1 es
Q [0, 1] que no es una union de intervalos; lo mismo ocurre con la imagen
inversa [0, 1] Q, de un intervalo sucientemente peque no alrededor de 0.
No obstante el area de la parte sombreada en la gura 2.1 se puede aproximar
por c
i
l(E
1
i
) + c
i
(E
2
i
) + c
i
(E
3
i
) = c
i
k
(E
k
i
), con c
i
[y
i
, y
i+1
], donde (E)
representa la longitud del intervalo E. Y la integral se aproximara por la suma
de las areas de las imagenes inversas de los intervalos [y
i
, y
i+1
]. Pero, que
longitud es natural asignar a subconjuntos como Q [0, 1] y [0, 1] Q?
En lo que sigue estudiaremos este problema separandolo en dos partes:
1.- Caracterizar la clase de los subconjuntos E que son imagenes inversas de
funciones razonablemente buenas.
2.- Asignar una longitud (medida) a cada uno de estos subconjuntos E.
Para tratar con estos dos problemas utilizaremos el concepto de medida
exterior y la condicion de Caratheodory para denir la clase de los subconjuntos
medibles. No obstante las dicultades tecnicas que se deben enfrentar con este
enfoque, lo preferimos debido a su versatilidad para generalizarse a un contexto
mas abstracto.
2.2 La medida exterior de Lebesgue
Sea A R arbitrario y sea (I
n
)
n1
una coleccion a lo mas numerable de
intervalos abiertos tal que A

n=1
I
n
. La medida exterior de A se dene
mediante la relacion
0 m
A = inf
_
_
_
n1
(I
n
) : (I
n
)
n1
_
_
_
donde I
n
es coleccion a lo mas numerable de subintervalos abiertos
con A
n=1
I
n
Como

n1
(I
n
) 0, para toda coleccion de intervalos abiertos I
n
n1
,
tenemos que
n1
(I
n
) 0. Entonces m
A esta bien denida, pues es el nmo

de un subconjunto no vaco y acotado por abajo.
Si A es tal que

n1
(I
n
) = para toda coleccion I
n
n1
de intervalos
tales que

n=1
In A, en este caso denimos m
A := .
Tenemos que m
= 0. Para demostrar esto, basta tomar las cubiertas

(1, 1), (
1
2
,
1
2
), . . . . Todas ellas cubren a , es decir, (
1
n
,
1
n
), para
cada n 1; entonces 0 m

2
n
, . . . n > 1.
2.2. LA MEDIDA EXTERIOR DE LEBESGUE 17
El mismo razonamiento permite demostrar que la medida exterior de un
punto a R es cero: m
a = 0.
Teorema 2.2.1. Si A B, entonces m
A m
B.
Demostraci on. Si I
n
n1
es una cubierta de B por intervalos abiertos en-
tonces
n1
I
n
B A, por lo tanto I
n
n1
tambien es una cubierta abierta
de A por intervalos abiertos.
Notese que
_
n1
(I
n
) :
n1
I
n
B
_

_
n1
(J
n
) :
n1
J
n
A
_
,
porque las cubiertas de B tambien cubren A y A tiene cubiertas que no cubren
B. Entonces
m
B =nf
_
(I
j
) :
j
I
j
B
_
nf
_
_
_
j
(I
j
) :
j1
I
j
A
_
_
_
= m
(A).
Teorema 2.2.2. La medida exterior de un intervalo es igual a su longitud.
Demostraci on. (i) Consideremos el caso I = [a, b], a < b. Demostraremos
las dos desigualdades: m
[a, b] b a, y b a m
[a, b].
Consideremos cubiertas del tipo
__
a
1
n
, b +
1
n
__
. Entonces
[a, b]
_
a
1
n
, b +
1
n
_
, n 1
y por lo tanto para toda n 1,
m
[a, b] b a +
2
n
.
Esto demuestra que m
[a, b] b a.
Ahora sea I
n
n1
una cubierta de [a, b] por intervalos abiertos. Por la
compacidad de [a, b], existe una subcubierta nita I
n
m
M
m=1
de [a, b]. Como
a
M
m=1
I
n
m
, existe un subintervalo I
1
= I
n
m
1
tal que a I
1
= (a
1
, b
1
),
entonces a
1
< a < b
1
. Si b < b
1
ya terminamos. En otro caso b
1
< b y como
[a, b]
M
m=1
I
nm
, existe un intervalo I
2
= I
nm
2
tal que b
1
I
2
= (a
2
, b
2
), es
decir a
2
< b
1
< b
2
. De esta manera logramos obtener una nueva subcoleccion
nita I
1
, I
2
, . . . , I
k
de subintervalos abiertos tales que a
j
< b
j1
< b
j
para
2 j k 1 y a
k
< b < b
k
. Entonces para toda cubierta (I
n
)
n1
de [a, b],
se tiene que
n1
(I
n
)
M
m=1
(I
nm
)
k
j=1
(I
j
) =
k
j=1
(b
j
a
j
)
= (b
k
a
k
) + (b
k1
a
k1
) + + (b
2
a
2
) + (b
1
a
1
)
= b
k
(a
k
b
k1
) (a
2
b
1
) a
1
b a.
18 CAP

Es decir, m
([a, b]) b a.
(ii) Supongase ahora que I es arbitrario pero con longitud nita. Entonces
existe un intervalo cerrado tal que I y () > (I) , > 0. Por lo
tanto,
(I) < () = m
I
m
I = (I) = (I).
De aqu se sigue que m
I (I) y (I) m
I para todo > 0, por lo tanto,

m
I = (I).
(iii) Si I es un intervalo innito, dado cualquier M > 0 existe un intervalo
cerrado I tal que () = M. Entonces
m
I m
= () = M con M > 0 arbitrario.

Es decir,
m
I = = (I).
Teorema 2.2.3. (Subaditividad de la medida exterior)
Sea A
n
n1
una sucesion de subconjuntos de R entonces
m
n=1
A
n

n=1
m
A
n
.
Demostracion. Si m
A
n
= para alg un n 1, entonces la desigualdad es
obvia. Supongase m
A
n
< n 1. Para cada > 0 y n 1 sea
n
=

2
n
.
Entonces existe una cubierta I
n,j
j1
de A
n
por intervalos abiertos tales que
j=1
(I
n
, j) < m
A
n
+

2
n
.
La coleccion I
n
, j
j1,n1
es una cubierta de
n1
An por intervalos abiertos.
Entonces
m
n1
A
n

n1
j1
(I
n,j
) <
n1
(m
A
n
+

2
n
)
=
n1
m
An +
n1
1
2
n
=
n1
m
An +,
para todo > 0.
Corolario 2.2.4. Supongase A R a lo mas numerable, entonces m
A = 0.
2.3. LA -
ALGEBRA DE LOS SUBCONJUNTOS MEDIBLES 19

Demostraci on. Si A = a
1
, a
2
, , como m
a
n
= 0 para cada n 1,
entonces
m
A = m
n=1
a
n

n=1
m
a
n
= 0.
Sabemos que m
[0, 1] = 1, entonces [0, 1] es no-numerable.

Si A R es un subconjunto arbitrario entonces, de acuerdo con la denicion
de m
A y las propiedades del nmo de un conjunto, tenemos que dado > 0

existe una cubierta I
n>1
de A por intervalos abiertos tales que
n1
(I
n
) < m
A+.
Sea O
=
n1
I
n
entonces O
A, y
m
= m
n1
I
n>1
m
(I
n
) =
n1
(I
n
) < m
A+.
En otras palabras, hemos demostrado el siguiente.
Corolario 2.2.5. Para todo A R y > 0 existe O
abierto tal que O
A
y m
< m
A+.
Es decir la medida exterior de cualquier subconjunto de R se puede aproxi-
mar por la medida de un abierto.
2.3 La -algebra de los subconjuntos medibles
Una propiedad natural de una medida es la aditividad :
m
n=1
A
n
=
n=1
m
A
n
,
si la sucesion A
n
n1
tiene elementos mutuamente ajenos, es decir, A
n
A
m
=
, si n ,= m.
No es posible demostrar que m
es aditiva cuando la sucesion A

n
n1
es cualquier sucesion de subconuntos de R. Pero esta propiedad se cumple
cuando los elementos de la sucesion A
n
n1
pertenecen a una clase especial de
subconjuntos, la de los subconjuntos medibles.
Denicion 2.3.1. (Caratheodory) Un subconjunto E de n umeros reales es
medible si y solo si dado cualquier otro subconjunto A R
m
A = m
(A E) +m
(AE) = m
(A E) +m
(A E
c
).
20 CAP

La condicion de Caratheodory puede considerarse como una condicion de
separabilidad, es decir, un subconjunto medible E separa bien a cualquier otro
conjunto en el sentido de la medida exterior.
Denotaremos por / a la coleccion de todos los subconjuntos medibles de
R. Si E / (i.e., si E es medible), entonces su medida de Lebesgue mE es su
medida exterior, mE = m
E.
La condicion de Caratheodory es simetrica (invariante) respecto de la apli-
cacion E E
c
. En consecuencia, E es medible si y solo si E
c
es medible.
El subconjunto vaco es medible, pues si A R, es cualquier subconjunto
(de prueba), entonces m
(A) = m
= 0 y m
(A
c
) = m
(AR) = m
A.
Por lo tanto,
m
(A ) +m
(A
c
) = m
A A R.
En consecuencia R tambien es medible.
Notese que la condicion de Caratheodory es equivalente con las dos desigual-
dades
(i) m
A m
(A E) +m
(A E
c
), A R
(ii) m
A m
(A E) +m
(A E
c
) A R.
Y la primera de ellas siempre se cumple, pues por subaditividad,
m
A = m
((A E) (A E
c
)) m
(A E) +m
(A E
c
).
Entonces para demostrar que un subconjunto E es medible, bastara vericar que
la segunda desigualdad se cumple para todo subconjunto (de prueba) A R.
Proposicion 2.3.2. Todo subconjunto E con medida exterior cero es medible
y mE = 0.
Demostracion. Tomemos cualquier subconjunto A R. Tenemos que AE
E, entonces 0 m
(A E) m
E, por lo tanto
m
(A E) = 0.
Por otra parte A E
c
A, entonces
m
(A E
c
) m
A.
Por lo tanto tenemos que
m
(A E) +m
(A E
c
) = m(A E
c
) m
A.
Como consecuencia inmediata de la Proposicion anterior se obtiene que todo
subconjunto de R que es a lo mas numerable, es medible y tiene medida cero.
Tambien son medibles aquellos subconjuntos de R cuyo complemento es a lo
mas numerable. En particular Q y RQ son medibles y mQ = 0. Tambien son
medibles todos los subconjuntos de conjuntos de medida exterior cero.
2.3. LA -

Proposicion 2.3.3. Si E y F son medibles, entonces E F es medible.
Demostraci on.
Tomemos cualquier subconjunto A R. Bastara demostrar que
m
(A (E F)) +m
(A (E F)
c
) m
A.
Tenemos que,
A (E F) = (A (E F)) (E E
c
)
= (A (E F) E) (A (E F) E
c
)
= (A E E) (A F E) (A E E
c
) (A F E
c
)
= (A E) (A F E
c
).
Entonces por la subaditividad,
m
(A (E F)) m
(A E) +m
(A F E
c
),
consecuentemente,
m
(A (E F)) +m
(A E
c
F
c
)
m
(A E) +m
(A F E
c
) +m
(A E
c
F
c
) =
m
(A E) +m
(A E
c
),
pues F es medible. As mismo, la medibilidad de E implica que
m
(A (E F)) +m
(A E
c
F
c
) m
(A E) +m
(A E
c
) = m
A.
Denicion 2.3.4. Una coleccion / de subconjuntos de R se llama algebra (o
algebra de Borel) si para A, B /, se tiene que
(i) A B /
(ii) A
c
/
(iii) A B /.
Si E, F /, entonces E
c
y F
c
tambien pertenecen a /, por lo tanto E
c
F
c
/. Pero E F = (E
c
F
c
)
c
. Entonces las propiedades (i) y (ii) junto
con leyes de DeMorgan implican (iii).
Ejercicio. Demostrar que si A
1
, A
2
, . . . , A
n
/, entonces
n
k=1
A
k
/.
De acuerdo con lo que hemos demostrado hasta ahora podemos concluir que
la coleccion /, de los subconjuntos medibles de R, es un algebra.
22 CAP

Proposicion 2.3.5. Sea / un algebra y A
n
n=1
una sucesion de subconjuntos
de /, entonces existe una sucesion B
n
n=1
de subconjuntos de / tales que
B
n
B
m
= para n ,= m y
n=1
B
n
=
n=1
A
n
.
Demostracion. Tomese B
1
= A
1
y para n > 1, defnase
B
n
= A
n
(A
n1
A
n2
A
1
)
= A
n
(A
n1
A
n2
A
1
)
c
.
Se tiene que B
n
/ para todo n > 1. Ademas, si m > n, entonces A
n
= A
mj
para alg un 1 j m1, por lo tanto:
B
m
B
n
= (A
m
A
c
m1
A
c
mj
A
c
1
) (A
n
A
c
n1
A
c
1
)
= A
m
A
c
m1
A
c
1
(A
c
mj
A
n
) A
c
n1
A
c
1
=
Como B
n
A
n
, entonces
n1
B
n

n1
A
n
. Si x
n1
A
n
, sea m el menor
ndice tal que x A
m
. Entonces x B
m
ya que x / A
j
para 1 j m 1 y
consecuentemente,
x
n1
B
n
Denicion 2.3.6. Una algebra / es un algebra que tambien es cerrada bajo
uniones contables, es decir, si A
1
, A
2
, . . . , /, entonces
n1
A
n
/.
Lema 2.3.7. Sea A cualquier subconjunto y E
1
, . . . , E
n
subconjuntos medibles
y disjuntos. Entonces
m
_
A
_
n
j=1
E
j
__
=
n
j=1
m
(A E
j
) .
Demostracion. Si n = 1, entonces m
(A E
1
) = m
(A E
1
). Supongamos
que el resultado vale para n 1 subconjuntos. Como los E
j
s son disjuntos,
entonces
A
_
n
j=1
(E
j
_
E
n
= A E
n
,
y
A
_
n
j=1
E
j
_
E
c
n
= A
_
n1
j=1
E
j
_
.
Entonces como E
n
es medible
m
_
A
_
n
j=1
E
j
__
= m
_
A
_
n
j=1
E
j
_
E
n
_
+m
_
A
_
n
j=1
E
j
_
E
c
n
_
= m
(A E
n
) +m
_
A
_
n1
j=1
E
j
__
.
Ahora, por hipotesis de induccion
m
(A E
n
) +m
_
A
_
n1
j=1
E
j
__
= m
(A E
n
) +
n1
j=1
m
(A E
j
) =
n
j=1
m
(A E
j
) .
2.3. LA -

Teorema 2.3.8. / es una algebra.
Demostraci on. Como ya sabemos que / es un algebra, bastara vericar que
es cerrada bajo uniones numerables. Sea (E
n
)
n1
una sucesion de elementos
de /. Siendo / un algebra por la proposicion 2.3.5, podemos suponer que
(E
n
)
n1
es una sucesion disjunta. Sea F
n
=
n
j=1
E
j
, cada F
n
es medible y
F
n
E =
j=1
E
j
, entonces para cada n 1,
E
c
F
c
n
.
Sea A R cualquier subconjunto de prueba, entonces A E
c
A F
c
n
, por
lo tanto tenemos:
m
(A) = m
(A F
n
) +m
(A F
c
n
)
m
(A F
n
) +m
(A E
c
)
=
n
j=1
m
(A E
j
) +m
(A E
c
) n 1,
la ultima igualdad al aplicar el lema 2.3.7 a m
(A F
n
). Entonces
m
(A)
j=1
m
(A E
j
) +m
(A E
c
)
m
(A E) +m
(A E
c
),
esto por la subaditividad.
Corolario 2.3.9. Sea (E
n
)
n1
una sucesion de subconjuntos medibles disjuntos,
entonces m
n1
E
n
=
n1
mE
n
, Es decir, la medida de Lebesgue es -aditiva.
Demostraci on. Como / es -algebra, para cada m 1 tenemos que
m
n1
E
n
/ y
n1
E
n
/. Ahora, puesto que para cada m 1
m
n=1
E
n

n=1
E
n
,
entonces
m(
m
n=1
E
n
) m(
n=1
E
n
) .
Por el Lema 2.3.7 para todo m 1 tenemos que:
m
n=1
mE
n
= m
m
n=1
E
n
m(
n=1
E
n
) .
Por lo tanto,
lim
m
m
n=1
mE
n
=
n1
mE
n
m(
n1
E
n
) .
La desigualdad opuesta es la subaditividad.
24 CAP

Proposicion 2.3.10. El intervalo (a, ), a R, es medible.
Antes de demostrar esta proposicion escribamos algunas consecuencias in-
mediatas de ella:
(i) (, b] = (b, )
c
es medible b R.
(ii) (a, b] = (, b] (a, ). es medible
(iii) a (a, b] = [a, b] es medible.
(iv) (a, b] b
c
= (a, b) es medible.
(v) [0, 1] Q es medible y m([0, 1] Q) = 0.
Entonces [0, 1] Q
c
es medible. Ademas,con [0, 1] como conjunto de prueba:
1 = m[0, 1] = m([0, 1] Q) +m([0, 1] Q
c
) = m([0, 1] Q
c
).
Demostracion.(de la Proposicion 2.3.10) Bastara demostrar que para todo
A R,
m
(A (a, )) +m
(A (, a]) m
A.
(i) Si m
A = no hay nada que demostrar.

(ii) Supongase que m
A < . Por la denicion de m
, dado > 0 existe una

cubierta I
n
n1
de A por intervalos abiertos tales que
n
(I
n
) m
A+.
Sean
I
n
= I
n
(a, ) y I
n
= I
n
(, a]
Los intervalos I
n
, I
n
son disjuntos o vacos y
(I
n
) = (I
n
) +(I
n
) = m
n
+m
n
.
Ademas
(A (a, ))
n
I
n
,
entonces
m
(A (a, ))
n
m
n
=
n
(I
n
). (1)
De manera analoga
A (, a]
n
I
n
,
y de aqu se obtiene que
m
(A (, a])
n
m
n
=
n
(I
n
). (2)
Sumando (1) y (2) se obtiene que
m
(A (a, )) +m
(A (, a])
n
(I
n
) +
n
(I
n
)
=
n
((I
n
) +(I
n
)) =
n
(I
n
)
m
A+,
2.3. LA -

para todo > 0. Consecuentemente,
m
(A (a, )) +m
(A (, a]) m
A.
Lema 2.3.11. Cada abierto O en la topologa de R es la union de una
coleccion numerable de intervalos abiertos disjuntos.
Demostraci on.
Como O es abierto, para cada x O existe y > x tal que

(x, y) O. Sea:
b = supy : (x, y) O
Asimismo sea:
a = infz : (z, x) O
Tenemos que a < x < b y por lo tanto x I
x
= (a, b). Notese que I
x
O,
pues si I
x
, digamos x < < b, entonces por denicion de b, existe y >
tal que (x, y) O y por lo tanto (x, y) O. Ademas b / O pues si b O,
entonces existe > 0 tal que (b , b +) O y por lo tanto (x , b +) O, lo
cual contradice la denicion de b; de manera similar se demuestra que a / O.
Considerese ahora la coleccion I
x
xO
. Tenemos que

xO
I
x
= O . Sean
(a, b) y (c, d) dos intervalos de esta coleccion tales que (a, b) (c, d) ,= . En-
tonces, claramente c < b y a < d. Como c / O,entonces c / (a, b) y por lo tanto
c a; es decir a = c. De manera similar se demuestra que b = d y por lo tanto
(a, b) = (c, d). En conclusion dos subintervalos distintos en I
x
xO
deben ser
ajenos.
Ahora,dado que los intervalos I
x
son disjuntos y cada uno de ellos contiene un
racional, r
x
, entonces se puede establecer la correspondencia biyectiva I
x
r
x
y por lo tanto I
x
xO
es numerable.
Proposicion 2.3.12. Todo abierto O R es medible. Ademas, si O =
n1
I
n
,
es la representacion de O como union de una coleccion a lo mas numerable de
intervalos abiertos y disjuntos, entonces mO =
n1
(I
n
).
Demostraci on. Sea O =
n1
I
n
la represntacion de O como union a lo mas
numerable de intervalos abiertos disjuntos. Entonces O es medible porque /
es algebra y cada I
n
es medible, ademas por el Corolario 2.3.9
mO = m
O =
n
m
I
n
=
n
(I
n
).
26 CAP

A partir de una coleccion arbitraria de subconjuntos se puede generar una
-algebra. El lector puede encontrar en la literatura la demostracion de la
siguiente Proposicion, o puede intentar elaborar su propia demostracion.
Proposicion 2.3.13. Dada una coleccion ( de subconjuntos de R, existe una
mnima -algebra / que la contiene. Es decir, si B es otra -algebra que con-
tiene a (, entonces / B.
Denicion 2.3.14. La mnima -algebra que contiene a la topologa de R,
se llama -algebra de Borel y se denota por B. Los elementos de B se llaman
subconjuntos de Borel.
Todo subconjunto de Borel es medible pues, de acuerdo con la Proposicion
2.3.13, B /.
Ejercicio. Demostrar que existe un conjunto medible que no es de Borel,
es decir la -algebra de Borel es una -algebra propia de la -algebra de los
subconjuntos medibles.
Los subconjuntos (a, b), (, a), [a, ) son borelianos y, por lo tanto,
medibles.
Denicion 2.3.15. (Las clases G
y F
)
Un subconjunto G G
si es una interseccion numerable de abiertos.

Notese que estos elementos se pueden salir de la topologa, pues esta no
es cerrada bajo intersecci on numerable de abiertos.
Un subconjunto F F
si es una union numerable de cerrados.

Tenemos que G
, F
B.
Proposicion 2.3.16. El conjunto de puntos de discontinuidad de una funcion
arbitraria es un F
.
Demostracion.
Sean M(x, h) y m(x, h) el supremo y el nmo de f en el in-

tervalo [x h, x + h].La funcion O(x) = lim
h0
(M(x, h) m(x, h)) se llama
la oscilacion def. Notese que la condicion O(x) = 0 signica que f es continua
en x. Consecuentemente el conjunto de puntos de discontinuidad de f se puede
representar en la forma:
_
n1
x : O(x)
1
n
Bastara demostrar que el conjunto x : O(x)

1
n
es cerrado para cada n 1.
Si (x
k
) x y O(x
k
)
1
n
para cada k 1,entonces para cada h > 0 existe N
h
tal
que x
k
(xh, x+h) si n N
h
. Sea > 0 tal que (x
k
, x
k
+) (xh, x+h),
existen puntos y
k
y z
k
en (x
k
, x
k
+) tales que [f(y
k
) f(z
k
)[ >
1
n
, entonces
O(x)
1
n
.
Ejercicios.
1.-
2.3. LA -

i k N0 sea O
k
(x) = M(x,
1
k
) m(x,
1
k
). Pruebe que la denicion de
la oscilacion de f es equivalente a O(x) = lim
k
O
k
(x)
ii Demuestre que, para alg un > 0, f([y , y + ]) f([x
1
k
, x +
1
k
])
implica que M(y, ) M(x,
1
k
) y m(x,
1
k
) m(y, )
iii Utilizando (i) y (ii) demuestre que x : O(x)
1
n
es cerrado n 1.
2.- Demuestre que en R la interseccion de una coleccion numerable de abiertos
densos es densa. 3.- Demuestre que R no es una union numerable de subcon-
juntos cerrados con interior vacio (es decir, concomplemento denso).
4.- Demuestre que los irracionales no son un F
. Sugerencia: Si lo fueran
entonces R sera una union numerable de cerrados con interior vaco.
5.- Concluya que no existe una funcion continua en los racionales y discon-
tinua en los irracionales.
Proposicion 2.3.17. i Si (E
n
)
n1
es una sucesion decreciente (E
n+1

E
n
) de subconjuntos medibles y mE
1
< , entonces
m(
n=1
E
n
) = lim
n
mE
n
ii Si (E
n
)
n1
es una sucesion creciente de subconjuntos medibles,entonces
m(
n=1
E
n
) = lim
n
mE
n
Demostraci on. Sean E =
n1
E
n
y F
n
= E
n
E
n+1
entonces
n1
F
n
= E
1
E
Para ver esto, sea x
n1
F
n
entonces para alg un n 1, x E
n
E
n+1
es
decir, x E
n
y x / E
n+1
lo cual implica que x E
1
y x / E. por lo tanto
n1
F
n
E
1
E. Por otro lado, si x E
1
E entonces x E
1
y existe n tal que
x / E
n
. Si n es el menor natural tal que x E
n1
y x / E
n
entonces tenemos
que x E
n1
E
n
= F
n1

n1
F
n
Los F
n
s son disjuntos a pares ya que
F
n
F
m
= (E
n
E
c
n+1
) (E
m
E
c
m+1
) = ,
pues E
n
E
c
m+1
= para n > m. Por la aditividad de m
m(E
1
E) =
n1
mF
n
=
n1
m(E
n
E
n+1
).
28 CAP

Pero
E
1
= E (E
1
E),
entonces
mE
1
= mE +m(E
1
E).
Y de manera analoga se demuestra que
mE
n
= mE
n+1
+m(E
n
E
n+1
).
Como
mE
1
< y E
n
E
1
n 2,
entonces
mE
n
mE
1
< n 2.
Es decir todos los E
n
y E, tienen medida de Lebesgue nita. De acuerdo con
lo anterior tenemos que
m(E
1
E) = mE
1
mE,
y
m(E
n
E
n+1
) = mE
n
mE
n+1
.
Consecuentemente,
mE
1
mE =
n1
(mE
n
mE
n+1
) = lim
n
n1
k=1
mE
k
mE
k+1
= lim
n
(mE
1
mE
n
) = mE
1
lim
n
mE
n
.
Por lo tanto
mE = m(
n1
E
n
) = lim
n
mE
n
.
Esto demuestra (i). Para demostrar (ii) observese que si mE
n
= para alg un
n, entonces m(
n1
) = , pues la sucesion es creciente. Y si mE
n
< para
cada n 1 podemos escribir:
_
n1
E
n
= E
1
_
n1
(E
n+1
E
n
)
y la union es disjunta. Por lo tanto:
m(
n1
E
n
) = mE
1
+
n=1
m(E
n+1
E
n
) = mE
1
+lim
N
N
n=1
m(E
n+1
E
n
) = lim
N
mE
N
El conjunto de Cantor. En [0, 1] considerese la siguiente construccion
2.3. LA -

C
1
C
2
C
3
0 1/3 2/3 1
0
0
1/9 2/9 1/3
2/3
2
1/3
2
Figura 2.2: Conjunto de Cantor
El conjunto de Cantor ( se dene como,
( =
n=1
(
n
.
De acuerdo con la Proposicion ??
m( = lim
n
m(
n
,
pero
m(
1
=
2
3
m(
2
=
_
2
3
_
2
m(
3
=
_
2
3
_
3
. . . ,
y no es dicil demostrar por induccion que m(
n
=
_
2
3
_
n
. Por lo tanto
m( = lim
n
m(
n
= lim
n
_
2
3
_
n
= 0.
Para nalizar esta seccion demostraremos varias condiciones que son equiv-
alentes con la condicion de Caratheodory. Cualesquiera de ellas pudo haberse
tomado como denicion de subconjunto medible.
Proposicion 2.3.18. Sea E R. Las siguientes proposiciones son equivalentes:
(i) E es medible,
(ii) Para cada > 0 O
E abierto tal que m
(O
E) < ,
(iii) Para cada > 0 F
E cerrado tal que m
(EF
) <
(iv) Existe G (
con E G tal que m
(GE) = 0
(v) Existe F T
con F E tal que m
(EF) = 0.
Si m
E < , las proposiciones anteriores son equivalentes con

(vi) Dado > 0 existe una union nita de intervalos abiertos | tal que
m
(E |) < con E | = (E|) (|E) donde denota

la diferencia simetrica.
30 CAP

Demostracion. Demostraremos las siguientes implicaciones: (i) (ii) (iv) (i),
(i) (iii) (v) (iv) y (ii) (vi) (ii).
Supongamos que m
E < . Dado > 0 O
E tal que m
<
m
E +. Como E es medible entonces E separa bien a O
es decir
m
= m
(O
E) +m
(O
E
c
) = m
E +m
(O
E) ,
entonces
m
(O
E) = m
E < .
Supongase ahora que m
E = . Sea E
n
= E (n, n + 1) n Z. Como
m
E
n
1 < n Z, existe O
n
E
n
tal que
m
(O
n
E
n
) <
n
=

2
|n|
.
Sea O =
nZ
O
n

nZ
E
n
= E, entonces O es abierto y
O
E = (
nZ
O
n
) E
c
=
n
O
n
E
c
=
n
(O
n
E) .
Ahora como
O
n
E O
n
E
n
,
m
(O
n
E) m
(O
n
E
n
) ,
entonces
m
(OE)
n
m
(O
n
E)
n
m
(O
n
E
n
) <
2
|n|
= 3.
Esto demuestra que (i) (ii).
Sea (
n
)
n1
, con
n
> 0, cualquier sucesion que converge a cero.
n O
n
tal que O
n
E y m
(O
n
E) < .
Sea G =
n=1
O
n
(
, entonces n 1G O
n
por lo tanto:
GE = G E
c
O
n
E
c
= O
n
E
entonces
0 m
(GE) m
(O
n
E) <
n
0.
Por lo tanto
m
(GE) = 0
Esto demuestra que (ii) (iv).
2.3. LA -

Demostremos ahora que (iv) (i). Bastara demostrar que m
(A E) +
m
(A E
c
) m
A, para cualquier subconjunto de prueba A R. Tenemos

que A E A G, entonces m
(A E) m
(A G). Por otra parte,

A E
c
= (A E
c
) R = (A E
c
) (G G
c
)
= (A E
c
G) (A E
c
G
c
)
= (A G E
c
) (A G
c
) (G E
c
) (A G
c
),
entonces
m
(A E
c
) m
(G E
c
) +m
(A G
c
) = m
(A G
c
),
pues m
(G E) = 0.
Por lo tanto,
m
(AE)+m
(AE
c
) m
(AG)+m
(AG
c
) = m
A, pues G es medible.
Consideremos ahora la segunda cadena de implicaciones. Supongase que (i)
se cumple y tomese un subconjunto E medible, entonces E
c
es medible y por
(ii), O
E
c
abierto tal que m
(O
(E
c
)
c
) < .
Tomese el cerrado F
= O
c
y observese que E O
c
= F
, por lo tanto
m
(EF
) = m
(E F
c
) m
(E O
) < .
Esto demuestra que (i) (iii).
Sea (
n
)
n1
,
n
> 0, una sucesion convergente a cero, entonces por (iii),
para todo n 1 existe un cerrado F
n
tal que F
n
E y m
(E F
c
n
) <
n
. Sea
F =
n=1
F
n
T
, como F T
F
c
T
c
, y se tiene F E. Ahora,dado
que F
c
F
c
n
,
EF = E F
c
E F
c
n
n 1,
por lo tanto
m
(EF) = m
n=1
E F
c
n
) m
(E F
c
n
) <
n
,
para todo n 1. Esto demuestra que
m
(EF) = 0.
Es decir, (iii) (v).
Sea E R, tal que (v) se cumple para E
c
; entonces existe F T
, F E
c
tal que m
(E
c
F) = 0. Notese que f
c
(
y E F
c
por lo tanto:
m
(F
c
E) = m
(F
c
E
c
) = m
(E
c
F
c
) = m
(E
c
F) = 0
consecuentemente (v) (iv).
32 CAP

La ultima cadena de implicaciones se demuestra enseguida. Supongase que
(ii) se cumple y sea > 0. Entonces existe un abierto O tal que E O
y m
(OE) <

2
. Sea O =
n=1
I
n
la representacion de O como union de
intervalos abiertos tales que I
n
I
m
= n ,= m. Si E tiene medida nita,
el abierto O se puede escoger con m
O < . Ademas por la -aditividad,

> m
O = m
n1
I
n
=
n1
m
I
n
,
es decir, la serie es convergente. Entonces existe un n umero natural n
0
() tal
que

nn
0
m
I
n
<

2
. Sea | =
n
0
()
n=1
I
n
.
Tenemos que
E | = (E|) (|E).
Pero
E| = E |
c
O |
c
= (
n=1
I
n
) |
c
=
_
n
0
()
n=1
I
n

n=n
0
+1
I
n
_
|
c
= |
c
=
n=n
0
+1
I
n
,
entonces
m
(E|) = m
n=n
0
+1
I
n
_
=
nn0
m
I
n
<

2
.
Por otra parte |E OE, entonces m
(|E) m
(OE) <

2
.
Consecuentemente
m
(E |) = m
(E|) +m
(|E)

2
+

2
= ,
y por lo tanto
m
(E |) < .
Esto demuestra que (vi) se cumple.
Reciprocamente, si m
E < y (vi) se cumple, para cada > 0 sea | =
n
k=1
I
k
una union nita de intervalos abiertos con m
(E |) <

2
. Tenemos
que m
(E|) m
(E |) <

2
entonces existe una cubierta
m
m1
de
E| por intervalos abiertos, tales que
m1
m
E| y m
(
m1
m
)
m1
(
m
) <

2
.
Sea O = | (
m1
m
) , O es abierto y
E = (E|) | (
m1
m
) | = O.
Observese que
OE = |E (
m1
m
) E = |E ((
m
E)) .
2.4. SUBCONJUNTOS NO MEDIBLES 33
Entonces
m
(OE) m
(|E) +m
(
m1
(
m
E))
<

2
+m
(
m1
m
)

2
+
m1
(
m
) < .
Esto demuestra que (ii) se cumple.
2.4 Subconjuntos no medibles
En esta seccion demostraremos que la medida exterior de Lebesgue no es -
aditiva. Para esto construiremos una sucesion V n
n1
de subconjuntos ajenos
de [0, 1] tal que

n1
V n = [0, 1] pero
1 = m
(
n1
V n) ,=
n=1
m
V n.
Entonces estos Vns son no medibles y esto demuestra que / 2
R
.
Construccion de los Vns. Para cada [0, 1] sea E
= x [0, 1] : x
Q. Por ejemplo, E
0
= [0, 1] Q y E1
2
= E
0
. De hecho,
E
0
= E
m
para todo m =
p
q
, p, q Z, q ,= 0.
Pero E
4
,= E
0
pues
1
2
/ E
4
. De hecho
E
4
E
0
= ,
pues si x E
4
E
0
, entonces x

4
=
p
q
y x =
r
s

4
=
r
s

p
q
Q, lo cual es una contradiccion.
De hecho tenemos lo siguiente:
i , E
,= , pues E
.
ii Cada E
es numerable pues la funcion x x es una biyeccion de E
sobre Q.
iii Si E
,= entonces E
= E
.
iv
E
alpha
= [0, 1].
Pues si x E
entonces x y x son racionales. Si y E
, es decir,
y Q, tenemos que y = (y)+(), y (x)(x) = Q.
Entonces y Q, es decir y E
. De manera analoga E
.
34 CAP

Dada la coleccion E
con [0, 1] y tal que / Q para cualquier

[0, 1], por el Axioma de Eleccion podemos elegir exactamente un repre-
sentante x
de cada E
. Sea V el subconjunto formado con estos representantes

x
s. Notese que en V solo hay un racional y ning un par de elementos de este

subconjunto dieren en un racional.
Ahora considerese una lista de los racionales en [0, 1], q
1
, q
2
, . . . y para cada
n 1 sea V
n
= q
n

+V donde

+ denota suma modulo 1; es decir
x

+y =
_
x +y si x +y < 1
x +y 1 si x +y 1.
Necesitaremos el siguiente resultado.
Lema 2.4.1. Si A [0, 1], entonces m
(x

+A) = m
A x [0, 1]
Demostracion. Si A es un intervalo x

+A = (a+x][0, b+x1] y m
(x

+A) =
1 a x +b +x 1 = b a. De manera analoga se demuestra el caso cuando
A = O =
n=1
I
n
, I
n
I
m
= si n ,= m.
Para A [0, 1] se tiene
m
(x

+A) = inf
_

n=1
(I
n
) :
n
I
n
x

+A, I
n
abierto
_
= inf
_
m
(x

+O) : A x

+O, O abierto
_
= m
A.
Tenemos que
(i) V
n
V
m
= si n m.
Pues si x V
n
V
m
, entonces existen x
, x
V tales que x = x
+ q
n
y x = x
+q
m
de aqu se ve que x
= q
m
q
n
Q lo cual es
una contradiccion.
(ii)
n=1
V
n
= [0, 1]. Pues obviamente
n=1
V
n
[0, 1], y si x [0, 1], existe
E
tal que x E
. De manera que
x = x
+q
n
V
n
entonces x
n1
V
n
.
(iii) m
no es -aditiva. Pues si suponemos que m
es -aditiva, entonces por

el Lema anterior,
1 = m
[0, 1] = m
n=1
V
n
) =
n=1
m
V
n
=
n=1
m
(q
n

+V) =
n=1
m
V.
Lo cual es imposible.
2.5. ESPACIOS DE MEDIDA 35
2.5 Espacios de medida
Llamemos espacio medible a un par (X, ) donde X es un conjunto y es una
algebra de subconjuntos de X. Un espacio de medida es una terna (X, , )
donde X, son como antes y : [0, ) es una medida. Es decir:
(i) = 0,
(ii) (
n
E
n
) =
E
n
,
para toda sucesion (E
n
)
n1
de subconjuntos disjuntos de .
Ejemplo 2.5.1. (El espacio de medida de Lebesgue). En secciones ante-
riores construimos el espacio de medida de Lebesgue (R, , m). Tenemos que
(i) m
= 0 y entonces m = 0,
(ii) Si (E
n
)
n=1
es una sucesi on de medibles disjuntos entonces
m(
n1
E
n
) =
n1
mE
n
.
Ejemplo 2.5.2. Sea X cualquier conjunto y = 2
X
la coleccion de todos los
subconjuntos de X. Para E 2
X
, defnase
E =
_
si E es innito
E si E es nito.
La terna (X, 2
X
, ) es un espacio de medida.
Demostraci on. Tenemos que
(i) m
= = 0,
(ii) Sea (E
n
)
n1
una sucesion de subconjuntos disjuntos de ,
Para demostrar la aditividad consideraremos dos casos:
(a)
n1
E
n
es nito,
(b)
n1
E
n
es innito.
En el primer caso solo un n umero nito de sumandos son no vacos, digamos
E
1
, E
2
, . . . , E
n
y como son ajenos
(
n1
E
n
) = (
n
k=1
E
k
) =
k=1
E
k
=
k=1
E
k
porque k > n E
k
= 0.
Si (
n1
E
n
) es innito, puede ocurrir que existe E
n
que es innito. En
este caso E
n
=

n=1
E
n
, entonces

n=1
E
n
= = (
n1
E
n
).
Si todos los E
n
s son nitos. Entonces existe una subsucesi on (E
n
k
)
k1
con
E
n
k
,= k 1, por lo tanto, =

k1
E
n
k

n=1
E
n
. Es decir
n=1
E
n
= = (
n1
E
n
). Esto demuestra la -aditividad.
36 CAP

Ejercicio. Sea X = x
1
, x
2
, . . . , x
n
y : X (0, 1) una funcion tal que
n
j=1
(x
j
) = 1. La terna (X, 2
X
, T) es un espacio de medida, donde T : 2
X
[0, 1] esta denida para E X mediante la relacion

T(E) =
xjE
(x
j
).
Denicion 2.5.3. Un espacio de medida (X, T, T) es un Espacio de proba-
bilidad si la medida T toma valores en el intervalo [0, 1], es decir T : T [0, 1].
Ejercicio. (Delta de Dirac) Sea X ,= un conjunto y = 2
X
. Para x
0
X
y E defnase
x0E
=
_
0 si x
0
/ E
1 si x
0
E
(X, 2
X
,
x
0
) es un espacio de probabilidad.
Ejercicio En (R, /, m) considerese la sucesion (E
n
= [n, ))
n1
. Tenemos
que E
1
E
2
E
3
. . . y
n1
E
n
= , entonces (
n1
E
n
) = 0. Pero
E
n
= para todo n 1, entonces m(
n
E
n
) ,= lim
n
mE
n
. Porque esto no
contradice el resultado de la Proposicion ???
Ejercicio. Sea X un conjunto no numerable. Sea T la coleccion de los subcon-
juntos de X que son contables (nitos o numerables) o que tienen complemento
contable. Demuestre que
(a) T es una algebra.
Para E T defnase
E =
_
0 si E es contable
1 si E
c
es contable
(b) : T [0, 1] es medida de probabilidad.
Captulo 3
Funciones medibles
En este captulo y el siguiente consideraremos funciones que pueden tomar los
valores . Es decir consideraremos funciones con valores en el conjunto
R
= R , , al que llamaremos conjunto de los n umeros reales exten-

didos. La relacion de orden y las operaciones aritmeticas se pueden extender a
R
de la siguiente manera:
Orden : dados a, b R
a b a b, a, b R
< a a R, b < b R.
Operaciones aritmeticas: para x R,
(i) x + = , x =
(ii) x = si x > 0
(iii) x () = si x > 0
(iv) 0 = 0
(v) + = , =
(vi) () = , () =
(vii) permanece indenida.
Para a b podemos denir los siguientes intervalos: [a, b] =
x : a x b, (a, b] = x : a < x b, (a, b) = x : a < x < b,
[a, b) = x : a x < b, por ejemplo R
= [, ].
Si llamamos abierto a todo subconjunto O R
tal que O R es abierto y

si + O, existe una vecindad x : a < x + O;
si O, existe una vecindad x : x < O,
37
38 CAP
ITULO 3. FUNCIONES MEDIBLES

con a, b R. Entonces con esta topologa R
es un espacio topologico compacto,

es decir, R
es una compacticacion de R. Pero esta no es la unica manera de

compacticar la recta real.
Si A R
es no vaco, entonces existen el supremo y el nmo de A a los

que denotaremos por supA e infA, respectivamente.
Proposicion 3.0.4. Sea f : E R
, donde E es un subconjunto medible.

Entonces la siguientes proposiciones son equivalentes:
(i) R f
1
((, ]) = x E : f(x) > es medible
(ii) R f
1
([, ]) = x E : f(x) es medible
(iii) R f
1
([, )) = x E : f(x) < es medible
(iv) R f
1
([, ]) = x E : f(x) es medible.
Y cada una de estas implica que
(v) R
el conjunto f
1
() = x E : f(x) = es medible
Demostracion. (i) (iv); pues x E : f(x) = Ex E :
f(x) > y como f
1
((, ]) es medible, f
1
((, ]) tambien es medible.
De manera analoga se demuestra que (iv) (i) y (ii) (iii).
Demostremos ahora que (i) (ii). Sea
n
con
n
< . Entonces
[, ] =
n1
(
n
, ], consecuentemente f
1
([, ]) = f
1
(
n1
(
n
, ]) =
n1
f
1
(
n
, ] es medible.
Para demostrar que (ii) (i), sea
n
con
n
> . Entonces (, ] =
n1
[
n
, ], por lo tanto f
1
(, ] = f
1
(
n1
[
n
, ]) =
n1
f
1
[
n
, ],
que es medible.
Finalmente, tenemos que = [, ] [, ], entonces f
1
() =
f
1
([, ]) f
1
([, ]), que es medible para R. Ademas, si
n

entonces x E : f(x) = =
n1
x E : f(x)
n
. Y de manera
analoga, si
n
entonces x E : f(x) = =
n1
x E : f(x)
n
.
Denicion 3.0.5. Una funcion f : E R
es medible (o mas propiamente,

Lebesgue-medible) si E es medible y se cumple cualesquiera de las armaciones
(i) (iv) en la proposicion anterior.
Una funcion s : E R
es simple si existen subconjuntos E

1
, E
2
, . . . , E
n
medibles tales que E
i
E
j
= y
s(x) =
n
j=1
c
j
E
j
(x),
con c
j
, 1 j n n umeros reales.
Corolario 3.0.6. Sea E medible
39
(a) Si f : E R
es continua, entonces f es medible.

(b) Si s : E R
es simple, entonces es medible.

(c) Si f : E R
es medible y F E, F medible, entonces f[

F
: F R
es medible.
Demostraci on.
(a) Para R, (, ] es abierto en R
y por la continuidad de f, f
1
(, ]
es abierto, por lo tanto es medible y x E : f(x) > = f
1
(, ] E
es medible.
(b) Sea R, entonces s
1
(, ] = x E : s(x) > = E
c
k
>
E
k
(con
union vacia igual al vacio), que es medible.
(c) Tenemos que x F : f(x) > = F x E : f(x) > , entonces
como F es medible y x E : f(x) > es medible obtenemos que
x F : f[
F
(x) > tambien es medible.
(d) Se tiene que h
1
(, ] = f
1
(g
1
(, ]). Como g
1
(, ] es abierto
podemos escribir g
1
(, ] =
n1
I
n
donde I
n
es un intervalo abierto
para cada n 1. Ahora, h
1
(, ] = f
1
(
n1
I
n
) =
n1
f
1
(I
n
) y
cada f
1
(I
n
) es medible para cada n 1.
Proposicion 3.0.7. Sean c una constante real y f, g dos funciones medibles
con valores reales y con el mismo dominio medible. Entonces las funciones
f +c, cf, f +g, g f, f g son medibles.
Demostraci on.
(i) Si f, g : E R son medibles, entonces (f + g)
1
[, ) = x E :
f(x) + g(x) < . Si f(x) + g(x) < entonces f(x) < g(x) y por lo
tanto existe r
x
Q tal que f(x) < r
x
< g(x). Entonces
x E : f(x)+g(x) < =
rQ
x E : f(x) < rx E : g(x) < r,
que es medible pues es una union numerable de medibles.
(ii)
(f +c)
1
(, ) = x E : f(x) +c < = x E : f(x) < +c,
es medible.
40 CAP

(iii) Si c ,= 0, tenemos que
x E : c f(x) < = x E : f(x) <

c
,
es medible.
Si c = 0,
x E : c f(x) < =
_
si 0
E si > 0,
que es medible.
(iv) Por (iii), con c = 1 se tiene que f es medible y aplicando (i) se obtiene
que g f es medible.
(v) Para mostrar que f g es medible, primero veamos que f
2
es medible.
Para 0;
x E : f
2
(x) < = x E : [f(x)[ <
= x E : f(x) <
x E : f(x) >
,
que es medible. Y si < 0,
x E : f
2
(x) < = ,
que es medible.
Ahora, aplicando los incisos anteriores se ve que fg =
1
2
[(f +g)
2
f
2
g
2
]
es medible.
La hipotesis que f y g tomen valores reales es necesaria porque en otro caso
f +g no estara bien denida en los puntos donde f(x) = y g(x) =
Teorema 3.0.8. Sea (f
n
)
n1
una sucesion de funciones medibles con el mismo
dominio medible E entonces las funciones supf
1
, . . . , f
n
, inff
1
, . . . , f
n
,
sup
n
f
n
, inf
n
f
n
, lim
n
f
n
y lim
n
f
n
son medibles; donde
supf
1
, . . . , f
n
(x) = supf
1
(x), f
2
(x), . . . , f
n
(x),
_
sup
n
f
n
_
(x) = sup
n
f
n
(x) = sup
n
f
1
(x), f
2
(x), . . .
y
_
lim
n
f
n
_
(x) = lim
n
f
n
(x).
Demostracion. Por ejemplo si h(x) = supf
1
(x), f
2
(x), . . . , f
n
(x), x E,
entonces
x E : h(x) > =
n
j=1
x E : f
j
(x) > ,
resulta medible pues cada x E : f
j
(x) > es medible.
41
As mismo, si h(x) = sup
n
f
1
(x), f
2
(x), . . . , x E, tenemos que
x E : h(x) > =
j=1
x E : f
j
(x) > ,
que es medible.
Ahora sea L(x) = lim
n
f
n
(x), x E, es decir, L(x) = inf
n
sup
kn
f
k
(x).
Demostremos que inf
n
f
1
(x), . . . es medible. Si k(x) = inf
n
f
1
(x), f
2
(x), . . . , x
E, entonces x E : k(x) > =
j=1
x E : f
j
(x) > . Por lo tanto k(x)
es medible. Ahora si f
k
(x) = sup
jk
f
j
(x), tenemos que
x E : L(x) > =
j=1
x E : f
j
(x) >
=
j=1
(
kj
x E : f
j
(x) > ) ,
entonces lim
n
f
n
es medible.
De manera analoga se demuestra que lim
n
f
n
es medible.
Corolario 3.0.9. El lmite puntual de una sucesion de funciones medibles es
medible.
Demostraci on. Una sucesion (f
n
)
n1
de funciones denidas de subconjuntos
E de R con valores en R
converge puntualmente si y solo si

lim
n
f
n
(x) = lim
n
f
n
(x) x E.
El resultado se sigue pues lim
n
f
n
y lim
n
f
n
son medibles.
Teorema 3.0.10. Sea f una funcion medible denida en [a, b] R y tal que
mx [a, b] : f(x) = = 0. Entonces para cada > 0 existen una funcion
escalonada g
y una funcion continua h
tales que
[fh
[ < y [fg
[ < excepto en un subconjunto de medida menor que .

Es decir,
mx [a, b] : [f(x) g(x)[ <
mx [a, b] : [f(x) h(x)[ < .
Ademas si m f M, entonces g y h se pueden elegir acotadas con las mismas
cotas.
Demostraci on. Separaremos la demostracion en varias partes.
(a) Dado > 0 M > 0 tal que [f[ M excepto en un subconjunto de
medida menor que

3
. Es decir
mx [a, b] : [f(x)[ > M <

3
.
42 CAP

Esto se demuestra de la siguiente manera.
Sea E
n
= x [a, b] : [f(x)[ n
= x [a, b] : [f(x)[ > n x [a, b] : [f(x)[ = n.
Cada E
n
es medible y E
n
E
n+1
, pues si [f(x)[ > n + 1, entonces [f(x)[ > n.
Ademas
mE
n
m[a, b] = b a < n.
Entonces por la Proposicion 2.3.17 m(
n1
E
n
) = limmE
n
y mx [a, b] :
[f(x)[ = = m(
n1
E
n
). Por lo tanto limmE
n
= 0.
Para

3
> 0 existe N
1 tal que mE
n
<

3
n 1. Tomese M = N
+ 1,
entonces mx [a, b] : [f(x)[ > M <

3
.
(b) Dados > 0 y M > 0, existe una funcion simple tal que [f [ < ,
excepto en aquellos puntos donde [f(x)[ > M.
Para demostrar esto dividamos a [M, M] en n subintervalos iguales. Es
decir sea > 0, tomese n tal que
2M
n
< y consideremos la particion
T = M, M +
2M
n
, . . . , M.
Sea
E
k
= f
1
__
M +
2(k 1)M
n
, M +
2kM
n
__
= x [a, b] : M +
2(k 1)M
n
< f(x) < M +
2kM
n
,
1 k n. Cada E
k
es medible y podemos denir una de la siguiente manera
n
(x) =
n
k=1
_
M +
2kM
n
_
E
k
.
Para x E
k
tenemos que [f(x)
n
(x)[ <
2M
n
< , pero
n
k=1
E
k
= [a, b]E,
donde E = mx [a, b] : [f(x)[ > M; pues
[a, b]E = f
1
([M, M])
= f
1
_
n
k=1
_
M +
2(k 1)M
n
, M +
2kM
n
__
=
n
k=1
f
1
__
M +
2(k 1)M
n
, M +
2kM
n
__
=
n
k=1
E
k
.
Ademas E
k
E
k
= , k ,= k
.
(c) Existe una funcion escalonada g en [a, b] tal que g(x) = (x), excepto en
un subconjunto de medida menor que

3
.
43
Para obtener esta funcion observese que cada E
k
del inciso anterior es med-
ible y E
k
[a, b], entonces mE
k
< , k = 1, 2, . . . , n. Para cada k, existe
I
k
m
k
=1
coleccion nita de intervalos tales que
m
_
E
k

m
k
=1
I
k
_
<

3n
.
Sin perdida de generalidad podemos suponer que estos subintervalos son disjun-
tos. Sea
g(x) =
_
M +
2kM
n
_
m
k
=1
I
k
(x) para x E
k

m
k
=1
I
k
.
Esta funcion es escalonada pues
k
j=1
Ij
=
I
1
+
I
2
+ +
I
k
.
Ademas g(x) = (x) excepto en A =
n
k=1
_
E
k

m
k
=1
I
k
_
y
mA
n
k=1
m
_
E
k

m
k
=1
I
k
k=1
3n
=

3
.
(d) Notese que
g(x) =
n
k=1
_
M +
2kM
n
_
m
k
=1
I
k
(x)
=
m
j=1
c
j
Ij
(x)
para algunos c
j
R. Podemos escribir I
j
= [a
j1
, a
j
] para 1 j m.
En el intervalo
_
a
1

6m
, a
1
+

6m
_
se dene h como el segmento que une
_
a
1

6m
, c
1
_
con
_
a
1
+

6m
, c
2
_
y as para cada subintervalo de la particion.
De esta manera conseguimos una funcion continua h(x) tal que h(x) = g(x)
excepto en
m
j=1
_
a
j

6m
, a
j
+

6m
_
.
Pero
m
_
m
j=1
_
a
j

6m
, a
j
+

6m
__
=
m
j=1
3m
=

3
.
En resumen tenemos que:
(i) [f [ < , excepto en E
1
[a, b] con mE
1
<

3
,
44 CAP

(ii) = g excepto en E
2
[a, b] con mE
2
<

3
,
(iii) h = g excepto en E
3
[a, b] con mE
3
<

3
.
Entonces [f g[ < excepto en E
2
E
1
y m(E
1
E
2
) < . Y [f h[ <
excepto en E
3
E
2
E
1
. Pero m(E
1
E
2
E
3
) < .
3.1 Casi dondequiera
Si una condicion, por ejemplo f(x) = g(x), se cumple excepto en un conjunto
de medida cero, diremos que esta condicion se cumple casi donde quiera de
manera breve escribiremos c.d. De manera mas general, si E es un subconjunto
medible y P es una propiedad, la frase P se cumple casi donde quiera en E
signica que existe un subconjunto N de medida cero tal que la propiedad se
cumple en cada punto de E N.
Proposicion 3.1.1. Si f : E R
es medible y f = g c.d en E, entonces g es

medible.
Demostracion.Los subconjuntos E
1
= x E : f(x) > y E
2
= x E :
g(x) > dieren a lo mas por unconjunto de medida cero. Es decir,E
1
E
2
y
E
2
E
1
sonmedibles y m(E
1
E
2
) = 0. Podemos escribir:
E
2
= (E
1
(E
2
E
1
)) (E
1
E
2
)
EntoncesE
2
esmedible si E
1
lo es.
Ejercicios.
1.- Demuestre que si una sucesion (f
n
)
n1
de funciones medibles converge
casi dondequiera a una funcion f, entonces f es medible.
2.- Dada una funcion f : R,de ejemplos que demuestren que la condicion
f es continua c.d en no implica ni es implicada por la condicion existe
una funcion continua g : R tal que f = g c.d.
3.2 Los teoremas de Egoro y Lusin
Aparentemente existe una gran diferencia entre los conjuntos medibles y los con-
juntos abiertos o con los intervalos entre las funciones medibles y las continuas,
de manera que la intuicion se pierde al trabajar con subconjuntos y funciones
medibles.En realidad la diferencia no es tanta, de acuerdo con el Teorema 2.3.17
un subconjunto medible es casi un abierto,un cerrado o una union de intervalos
si tiene medida nita; as mismo, de acuerdo con el Teorema 3.0.10 una funcion
medible es casi una funcion continua. Algo similar ocurre entre las sucesiones
3.3. APENDICE 45
que convergen casi donde quiera y las que convergen uniformemente, tal como
demostraremos en esta seccion, de manera que tambien podemos decir que una
sucesion que converge c.d casi converge uniformemente. Una forma rigurosa de
esto esta contenida en el Teorema de Egoro que demostraremos enseguida.
Teorema 3.2.1. Egoro Si (f
n
)
n1
es una sucesion de funciones medibles que
converge c.d a una funcion con valores reales medible f sobre un subconjunto
medible E de medida nita, entonces para cada > 0 existe un subconjunto
medible F E, con mF < tal que (f
n
)
n1
converge a f uniformemente en
EF.
Demostraci on.Para cada > 0 y cada n 1,sean (
n
)
n1
una sucesion de-
creciente con lim
n
n
= 0 y
n
= fracc2
n
. Sea el subconjunto de E donde
(f
n
)
n1
no converge.
Sea
G
n,k
= x E : [f
k
(x) f(x)[
n
,
y
E
n,K
=
kK
G
n,k
= x E : [f
k
(x) f(x)[
n
, paraalgunak K.
La sucesion (E
n,K
)
K1
es decreciente y como para cada x E se tiene
que f
n
(x) f(x), entonces debe de existir alg un K 1 tal que x / E
n,K
,es
decir,
K1
E
n,k
= .Por la parte (i) de 2.3.16, se tiene que lim
K
m(E
n,K
) =
0.Entonces existe K
n
tal que m(E
n,Kn
) <
n
,es decir:
mx E : [f
k
(x) f(x)[
n
, paraalgunak K
n
<
n
Sea E
n
= E
n,Kn
,tenemos que mE
n
<
n
y
(E ), E
n
= x E : [f
k
(x) f(x)[ <
n
, paratodok K
n
Tomese F =
n1
E
n
, tenemos que mF

n1
mE
n
= y E F =
n1
(E ) E
n
. Para cada > 0, existe n 1 tal que
n
< , por lo tanto,
[f
k
(x) f(x)[ < si k K
n
para todo x E F. Es decir la sucesion converge
uniformemente en E F.
Ejercicio. Demuestre lo siguiente (Teorema de Lusin): Sea f una funcion
con valores reales y medible en un intervalo cerrado [a, b]. Dado > 0 existe
una funcion continua g en [a, b] tal que mx : f(x) ,= g(x) < .
Sugerencia: Aplique el Teorema de Egoro y las Proposiciones 2.3.17,
3.0.10.
3.3 Apendice
En este apendice incluimos algunos resultados importantes sobre puntos lmite
y lmites superior e inferior de una sucesion en R
. Dejamos la demostracion de
ellos como un ejercicio para el lector.
46 CAP

Dada una sucesion (s
n
)
nN
de n umeros reales se tiene que
s = lim
n
s
n
> 0 N
N tal que [s s
n
[ < n > N
.
Debilitando un poco esta condicion se obtiene la nocion de punto lmite:
es un punto lmite de (s
n
)
nN
si > 0 existen una innidad de terminos de
la sucesion (s
n
)
n1
que distan de el menos que > 0. De manera mas precisa
tenemos.
Denicion 3.3.1. es punto lmite de (s
n
)
n1
si y solo si dados > 0 y N 1
existe n = n
N tal que [s
n
[ < .
Una forma equivalente de expresar este concepto esta contenida en la sigu-
iente.
Proposicion 3.3.2. es punto lmite de una sucesion de n umeros reales (s
n
)
n1
si y solo si existe una subsucesion (s
n
k
)
k1
de (s
n
)
n1
tal que = lim
k
s
n
k
.
Demostracion. Sea un punto lmite de (s
n
)
n1
y tomen =
1
k
, N = k.
Entonces para cada k existe n
k
k tal que [s
n
k
[ <
1
k
, por lo tanto la
subsucesion (s
n
k
)
k1
converge a .
Reciprocamente, si = lim
k
s
n
k
, (s
n
k
)
n1
subsucesion de (s
n
)
n1
. En-
tonces para cada > 0 k
1 tal que [s
n
k
[ < , si n
k
k
. Entonces
dados > 0 y N 1 sea n
max(k
, N). Tenemos que [s

n
k
[ < .
Si (s
n
)
n1
es una sucesion de reales extendidos es un punto lmite si R
y se cumple la condicion de la denicion, o bien = y existe (s
n
k
)
k1
subsucesion de (s
n
)
n1
tal que s
n
k
.
Si = lim
n
s
n
entonces es punto lmite de (s
n
)
n1
. El recproco no es
cierto, por ejemplo s
n
= 1 + (1)
n
no es convergente pero si tiene puntos
lmites.
Denicion 3.3.3. Si (s
n
)
n1
es una sucesion de reales extendidos denimos
su lmite superior y su lmite inferior como,
(i) lim
n
s
n
= inf
n
sup
kn
s
k
(ii) lim
n
s
n
= sup
n
inf
kn
s
k
,
respectivamente.
Recuerde que Todo subconjunto de reales extendidos tiene supremo enmo
si es no vaco.
Considerese la sucesion s
n
= sup
kn
s
k
= sups
n
, s
n+1
, . . . . Como s
n+1
=
sups
n+1
, s
n+2
, . . . , entonces s
n+1
s
n
,; es decir, la sucesion (s
n
)
n1
es no-
creciente en R
. Entonces existe
lim
n
s
n
= infs
1
, s
2
, . . . , = lim
n
s
n
.
3.3. APENDICE 47
De manera analoga, si s
n
= inf
kn
s
k
= infs
n
, s
n+1
, s
n+2
, . . . , la sucesion
(s
n
)
n1
es monotona no-decreciente en R
, y por lo tanto
lim
n
s
n
= sup
n
s
n
= lim
n
s
n
.
Proposicion 3.3.4. (a) Sea L R, L = lim
n
s
n
si y solo si
(a.i) Para cada > 0 existe n tal que s
k
< L + para todo k n;
(a.ii) Dados > 0 y n 1, existe k
n tal que s
k
> L +.
(b) Sea R, = lim
n
s
n
si y solo si
(b.i) Dado > 0 existe n tal que s
k
> para todo k n;
(b.ii) Dados > 0 y n 1, existe k
n tal que s
k
< .
La condicion (b) en la Proposicion anterior es dual de la condicion (a).
Teorema 3.3.5. Sea (s
n
)
n1
una sucesion en R
y
L = R
: es punto lmite de (s
n
)
n1
o bien,
L = R
: existe una subsucesion (s

n
k
)
k1
de (s
n
)
n1
tal que s
n
k
.
Entonces
lim
n
s
n
= inf L y lim
n
s
n
= sup L
lim
n
s
n
, lim
n
s
n
L.
Observe que la sucesion (s
n
)
n1
es convergente si y solo si L tiene solo un
punto.
Corolario 3.3.6. Una sucesion (s
n
)
n1
en R
es convergente si y solo si
lim
n
s
n
= lim
n
s
n
.
Proposicion 3.3.7. Supongase lim
n
s
n
y lim
n
s
n
R, entonces
(i) lim
n
(s
n
) = lim
n
s
n
(ii) lim
n
s
n
lim
n
s
n
(iii)
lim
n
s
n
+ lim
n
t
n
lim
n
(s
n
+t
n
) lim
n
s
n
+ lim
n
t
n
lim
n
(s
n
+t
n
) lim
n
s
n
+ lim
n
t
n
.
48 CAP

Captulo 4
La integral de Lebesgue
La integral de Riemann es la primera generalizacion, a una clase mas grande de
funciones del concepto de integral de una funcion continua, denido rigurosa-
mente por Cauchy. Sin embargo la integral de Riemann no resulto suciente
para tratar algunos problemas de la teora de series de Fourier, ni tampoco es
apropiada para aplicaciones en otras areas de las Matematicas, por ejemplo en
Probabilidad. La integral de Lebesgue cumple estos requisitos y por esta razon
es una herramienta indispensable en Matematicas.
Ademas, los teoremas de intercambio de lmites con integrales son mucho mas
poderosas cuando se formulan en terminos de la integral de Lebesgue en lugar
de la integral de Riemann.
En este captulo deniremos la integral de Lebesgue siguiendo un esquema
similar al aplicado en el Captulo 1 a la integral de Riemann. En lugar de las
funciones escalonadas que usamos para construir la integral de Riemann, aqu
usaremos una clase mas amplia de funciones, las funciones simples.
Una funcion simple es una combinacion lineal de la forma
s(x) =
n
j=1
a
j
Ej
(x),
donde los E
j
s son subconjuntos medibles de R y a
j
R, j = 1, 2, . . . , n.
Igual que en el caso de las funciones escalonadas esta representacion no es unica.
Observese que una funcion S es simple si y solo si es medible y toma solo un
n umero nito de valores. Si a
1
, . . . , a
n
son los valores de una funcion simple
s, entonces
s(x) =
n
j=1
a
j
A
j
(x),
con A
j
= s
1
(a
j
) = x R : s(x) = a
j
, j = 1, 2, . . . , n. Esta ultima es la
representacion canonica de s, tiene la propiedad de que los A
j
s son disjuntos
y los a
j
s son distintos y no nulos.
49
50 CAP
ITULO 4. LA INTEGRAL DE LEBESGUE

De manera similar que en el caso de funciones escalonadas, si s es una funcion
simple que se anula fuera de un subconjunto de medida nita, denimos su
integral de Lebesgue s mediante
_
sdm =
n
j=1
a
j
mA
j
,
cuando s =
n
j=1
a
j
A
j
, es la representacion canonica de s.
Tambien como en el caso de las funciones escalonadas, la integral de Lebesgue
de una funcion escalonada no depende de la representacion elegida.
Proposicion 4.0.8. Sea s =

n
j=1
a
j
E
j
, con E
i
E
j
= para i ,= j.
Supongase ademas que cada subconjunto E
j
es medible con medida nita,entonces
_
sdm =
n
j=1
a
j
mE
j
.
Demostracion. Sea A
j
= x R : s(x) = a
j
=
a
i
=a
j
E
i
.
Entonces
a
j
mA
j
=
ai=aj
a
i
mE
i
por la aditividad de m
por lo tanto
_
sdm =
j=1
a
j
mA
j
=
i
a
i
mE
i
.
Proposicion 4.0.9. Si s y t son funciones simples que se anulan fuera de un
subconjunto de medida nita, entonces
(i)
_
(as +bt)dm = a
_
sdm+b
_
tdm, para cualesquiera a, b R
(ii)
_
sdm
_
tdm, si s t c.d.
Demostracion. Si (A
j
)
n
j=1
y (B
j
)
m
j=1
son los subconjuntos que aparecen en
la representacion canonica de s y t, respectivamente, y A
0
y B
0
los subconjuntos
donde s y t se anulan; entonces (A
i
B
j
)
0in,0jm
es una coleccion nita
de subconjuntos medibles y disjuntos que podemos reenumerar y denotar por
(E
k
)
N
k=1
. Podemos escribir
s =
N
k=1
a
k
E
k
y t =
N
k=1
b
k
E
k
,
consecuentemente
as +bt =
N
k=1
(aa
k
+bb
k
)
E
k
51
por la proposicion anterior obtenemos que
_
(as +bt)dm = a
_
sdm+b
_
tdm.
Ahora, como t s 0, entonces
_
tdm
_
sdm =
_
(t s)dm 0.
Esto demuestra (ii).
Como consecuencia de esta ultima proposicion y el principio de induccion
matematica, se obtiene que para cada funcion simple s =
n
j=1
a
j
Ej
se tiene
que
_
sdm =
n
j=1
a
j
mE
j
.
De manera que la hipotesis E
i
E
j
= si i ,= j en la primera proposicion
no es esencial.
Si s es una funcion simple y E un subconjunto medible, denimos
_
E
sdm :=
_
s
E
dm
Notese que s
E
tambien es una funcion simple, por lo tanto el lado derecho
de la igualdad anterior tiene sentido.
Proposicion 4.0.10. Si s es una funcion simple que se anula fuera de un con-
junto de medida nita E y E = E
1
E
2
con E
1
, E
2
medibles y disjuntos,
entonces
_
E
sdm =
_
E
1
sdm+
_
E
2
sdm
Demostraci on. Supongase que s =

n
j=1
c
j
F
j
, c
j
R y F
j
medible
para 1 j n y E =
n
j=1
F
j
.
Tomemos las restricciones s[
E1
=
n
j=1
c
j
E1Fj
y s[
E2
=
n
j=1
c
j
E2Fj
.
52 CAP

Tenemos que
_
sdm =
n
j=1
c
j
mF
j
=
n
j=1
c
j
(mE
1
F
j
+mE
2
F
j
)
=
n
j=1
c
j
m(E
1
F
j
) +
n
j=1
c
j
m(E
2
F
j
)
=
_
n
j=1
c
j
E
1
F
j
dm+
_
n
j=1
c
j
E
2
F
j
dm
=
_
n
j=1
c
j
E1
Fj
dm+
_
n
j=1
c
j
E2
Fj
dm
=
_
s
E
1
dm+
_
s
E
2
dm
=
_
E1
sdm+
_
E2
sdm
Hemos usado que
AB
=
A
B
.
.
Teorema 4.0.11. Sea f una funcion acotada denida en un subconjunto med-
ible E con mE < . Los siguientes enunciados son equivalentes :
(i) f es medible,
(ii) Para cada > 0, existen dos funciones simples s y t tales que
s(x) f(x) t(x), para todo x E y
_
E
tdm
_
E
sdm < .
Demostracion. Sea M la cota de M y supongase que f es medible. Los
subconjuntos
E
k
=
_
x E :
kM
n
f(x)
(k 1)M
n
_
, n k n,
son medibles, ajenos y E =
n
k=n
E
k
. Consecuentemente mE =
n
k=n
mE
k
.
Las funciones simples denidas por
s
n
(x) =
M
n
n
k=n
(k 1)
E
k
(x) y t
n
(x) =
M
n
n
k=n
k
E
k
(x),
satisfacen las desigualdades s
n
(x) f(x) t
n
(x), para cada x E.
Ademas
_
E
t
n
dm
_
E
s
n
dm =
M
n
n
k=n
(k (k 1))mE
k
=
M
n
mE.
53
Dado > 0, para n sucientemente grande tenemos que
_
E
t
n
dm
_
E
s
n
dm < .
Esto demuestra que (i) implica (ii).
Reciprocamente, supongase que (ii) se cumple y para cada n 1 sean
s
n
y t
n
funciones simples tales que s
n
(x) f(x) t
n
(x), y
_
E
t
n
dm
_
E
s
n
dm <
1
n
.
Las funciones s = sup
n
s
n
y t = inf
n
t
n
son medibles por el Teorema ?? y
ademas s
n
(x) f(x) t
n
(x), para todo x E.
Sea F = x X : s(x) < t(x) y para cada k 1 sea
F
k
=
_
x X : s(x) < t(x)
1
k
_
.
Tenemos que
F =
k1
F
k
y F
k
F
k,n
=
_
x E : s(x) < t
n
(x)
1
k
_
para todo n 1; pues s
n
(x) s(x) < t(x)
1
k
t
n
(x)
1
k
para todo
n 1.
Por lo tanto se tiene que
1
k
F
k
(x) < t
n
(x) s
n
(x), para todo x F
k
y todo n 1
Integrando se obtiene
1
k
mF
k
<
_
F
k
t
n
dm
_
F
k
s
n
dm
_
E
t
n
dm
_
E
s
n
dm
<
1
n
, para todo n 1
Es decir, mF
k
<
k
n
para todo n 1, lo cual demuestra que mF
k
= 0.
Consecuentemente mF = 0 pues F =
k1
F
k
. Esto implica que s = f = t c.d.
y por lo tanto f es medible.
Con las mismas notaciones de la demostracion anterior tenemos que
_
E
s
n
dm sup
__
E
sdm : s es simple y s f
_
54 CAP

y
_
E
t
n
dm inf
__
E
tdm : t es simple y t f
_
, para cada n 1
Entonces
0 inf
__
E
_
sup
__
E
_
_
E
t
n
dm
_
E
s
n
dm =
M
n
mE, para cada n 1.
Permitiendo que n obtenemos que, si alguna de las condiciones en el
teorema anterior se cumple, entonces
inf
__
E
tdm : t es simple y f t
_
= sup
__
E
_
.
Esto motiva la siguiente
Denicion 4.0.12. Si f es medible y acotada denida en un subconjunto med-
ible E con mE < , la integral de f sobre E se dene como
_
E
fdm = inf
__
E
tdm : t es simple y f t
_
= sup
__
E
_
.
Si E = [a, b], a < b, entonces escribiremos
_
b
a
fdm en lugar de
_
[a,b]
fdm.
Si f es medible, acotada y nula fuera de un subconjunto de medida nita E,
escribiremos simplemente
_
fdm en lugar de
_
E
fdm. Con esta conveccion
tenemos que
_
E
fdm =
_
f
E
dm.
La diferencia entre las integrales de Riemann y Lebesgue se aprecia muy
bien en el caso de funciones escalonadas, que tambien son simples.
Por ejemplo, consideremos la funcion escalonada
e(x) = 0
[0,1)
+ 2
[1,2)
+ 3
[2,3)
+ 0
[3,4)
+ 2
[4,5)
,
cuya representacion canonica como funcion simple es
e(x) = 0
[0,1)[3,4)
+ 2
[1,2)[4,5)
+ 3
[2,3)
.
Tenemos que
_
5
0
e(x)dx = 0 (1 0) +2 (2 1) +3 (3 2) +0 (4 3) +2 (5 4) = 7
y
_
5
0
edm = 0 ((1 0) + (4 3)) + 2 ((2 1) + (5 4)) + 3 (3 2) = 7
En general tenemos el siguiente resultado.
55
Proposicion 4.0.13. Sea f una funcion denida en un intervalo cerrado [a, b].
Si f es Riemann integrable en [a, b], entonces es medible, acotada y
_
b
a
f(x)dx =
_
b
a
fdm.
Demostraci on. Por ser Riemann integrable es acotada y de acuerdo con el
Teorema 1.0.6 para cada > 0 existen funciones escalonadas f
1
y f
2
tales que
f
1
(x) f(x) f
2
(x), x [a, b] y
_
_
b
a
f
2
(x)dx
_
_
b
a
f
1
(x)dx
_
< .
Pero cada funcion escalonada es simple y ademas
R
_
b
a
f
j
(x)dx =
_
b
a
f
j
dm, j = 1, 2.
Entonces se cumple la condicion (ii) en el Teorema ?? y por lo tanto f es
medible.
Ademas
_
_
b
a
f(x)dx
_
= sup
_
_
b
a
f
1
(x)dx : f
1
es escalonada y f
1
(x) f(x), x [a, b]
_
sup
_
_
b
a
sdm : s es simple y s(x) f(x) x [a, b]
_
inf
_
_
b
a
tdm : t es simple y t(x) f(x) x [a, b]
_
inf
_
_
b
a
f
2
(x)dx : f
2
es escalonada y f
2
(x) f(x), x [a, b]
_
=
_
_
b
a
f(x)dx
_
Esto demuestra que
_
b
a
f(x)dx =
_
b
a
fdm.
Proposicion 4.0.14. Si f y g son funciones acotadas y medibles denidas en
un subconjunto de medida nita, entonces
(i)
_
E
(af +bg)dm = a
_
E
fdm+b
_
E
gdm.
(ii) Si f = g c.d., entonces
_
E
fdm =
_
E
gdm.
(iii) Si f g c.d., entonces
_
E
fdm
_
E
gdm.
Consecuentemente

_
E
fdm
_
E
[f[dm.
56 CAP

(iv) Si a f(x) A, entonces amE
_
E
fdm AmE.
(v) Si E
1
y E
2
son medibles y disjuntos de medida nita, entonces
_
E1E2
fdm =
_
E1
fdm+
_
E2
fdm.
Demostracion. Notese que si t es una funcion simple, entonces la funcion at
tambien es simple y el recproco vale si a ,= 0. Entonces para a > 0 tenemos que
_
E
afdm = inf
__
E
atdm : t es simple y t f
_
= a inf
__
E
_
= a
_
E
fdm
Si a < 0 tenemos que
_
E
afdm = inf
__
E
asdm : s es simple y s f
_
= a sup
__
E
_
= a
_
E
fdm
Esto demuestra que
_
E
afdm = a
_
E
fdm, pues esta identidad tambien se
cumple si a = 0.
Para demostrar (i) bastara demostrar que
_
E
(f +g)dm =
_
E
fdm+
_
E
gdm.
Si t
1
y t
2
son funciones simples que satisfacen t
1
f y t
2
g, entonces t
1
+t
2
es una funcion simple que satisface la desigualdad f +g t
1
+t
2
, por lo tanto
_
E
(f +g)dm = inf
__
E
tdm : t es simple y f +g t
_
_
E
(t
1
+t
2
)dm =
_
E
t
1
dm+
_
E
t
2
dm.
Como inf
__
E
tdm : t es simple y f +g t
_
=
_
E
fdm +
_
E
gdm, esto de-
muestra que
_
E
(f +g)dm
_
E
fdm+
_
E
gdm.
Para demostrar la desigualdad opuesta, observese que si s
1
y s
2
son funciones
simples que satisfacen s
1
f y s
2
g, entonces s
1
+ s
2
es una funcion simple
y satisface que s
1
+s
2
f +g. Por lo tanto,
_
E
(f +g)dm = sup
__
E
_
_
E
(s
1
+s
2
)dm
=
_
E
s
1
dm+
_
E
s
2
dm,
57
esto demuestra que
_
E
(f +g)dm
_
E
fdm+
_
E
gdm;
de lo cual se sigue (i).
Como f g = 0 c.d., si t es una funcion simple tal que t f g, entonces
t 0 c.d. Por lo tanto
_
E
tdm 0 y de esto se sigue que
_
E
(f g)dm = inf
__
E
tdm : t es simple y t f g
_
0.
De manera analoga
_
E
(f g)dm = sup
__
E
sdm : s es simple y s f g
_
0.
De la misma manera se demuestra que si f g c.d. entonces
_
E
fdm
_
E
gdm.
De aqu se sigue que
_
E
fdm
_
E
[f[dm,
pues [f[ f [f[ implica que
_
E
[f[dm
_
E
fdm
_
E
[f[dm, lo cual
demuestra (iii).
Como
_
E
Adm = AmE y
_
E
adm = amE (iv) se sigue de (iii).
Tenemos que
_
E1E2
fdm =
_
f
E1E2
dm =
_
(f
E1
+f
E2
) dm
=
_
f
E1
dm+
_
f
E2
dm
=
_
E1
fdm+
_
E2
fdm,
donde hemos usado (i).
58 CAP

Proposicion 4.0.15. Sea f medible y acotada denida en un medible E con
mE < .
Si E =
n1
E
n
, con E
n
medible para cada n 1 y E
n
E
m
= si n ,= m,
entonces
_
E
fdm =
n1
_
E
n
fdm.
Demostracion. Usando el Principio de Induccion Matematica y la parte (v)
de la proposicion anterior se demuestra que
_
N
n=1
E
n
fdm =
N
n=1
_
E
n
fdm, para cada N 1.
Ahora, para cada N 1 sea F
N
=
n=N+1
E
n
. Tenemos que
_
E
fdm
N
n=1
_
E
fdm =
_
E
fdm
_
N
n=1
E
n
fdm =
_
F
n
fdm,
pues E =
_
N
n=1
E
N
_
F
N
. Observese que como f es acotada, digamos
[f(x)[ M, entonces
_
E
[f(x)[dm MmE < y por lo tanto
_
E
fdm <
por la parte (iv) de la proposicion anterior, as mismo
_
N
n=1
E
n
fdm y
_
F
N
fdm
son ambas nitas.
Entonces

_
E
fdm
N
n=1
_
E
fdm
_
F
N
fdm
_
F
N
[f[dm.
De acuerdo con la Denicion, para cada > 0 existe una funcion simple s tal
que 0 s [f[ y
_
F
N
[f[dm

2
<
_
F
N
sdm MmF
N
, para cada N 1.
Como F
N+1
F
N
y mF
1
mE < , de acuerdo con la Proposicion
tenemos que lim
N
mF
N
= m(
N1
F
N
) = m = 0.
Tomando N sucientemente grande obtenemos que MmF
N
<

2
y por lo tanto
_
E
fdm
N
n=1
_
E
fdm
_
F
N
[f[dm <

2
+

2
= .
Esto demuestra la Proposicion.
.
Si f es medible, acotada y f 0 denido en R, entonces la funcion
f
: / [0, ] denida por
f
E :=
_
E
fdm, para E /, donde /
es la algebra de los subconjuntos Lebesgue-medibles, es una medida. Pues
4.1. LA INTEGRAL DE FUNCIONES NO NEGATIVAS. 59
obviamente
f
E 0, para cada E /,
f
= 0 y si E =
n1
E
n
con
E
n
/ y E
n
E
m
= para n ,= m, entonces por la Proposicion anterior
tenemos que
f
E =
_
n1
En
fdm =
n1
_
En
fdm =
n1
f
E
n
.
Demostraremos ahora nuestro primer teorema de convergencia, es decir,
nuestro primer resultado que indica condiciones sucientes para intercambiar
un lmite con una integral.
Proposicion 4.0.16. (Teorema de Convergencia Acotada).
Si (f
n
)
n1
es una sucesion de funciones medibles sobre un subconjunto medible
E con mE < que esta uniformemente acotada por una constante real M, es
decir, [f
n
(x)[ M para todo n 1 y todo x E, y ademas se tiene
lim
n
f
n
(x) = f(x) casi dondequiera en E entonces
_
E
fdm = lim
n
_
E
f
n
dm.
Demostraci on. Por el Teorema de Egoro, dados > 0 y =

4M
existen
un subconjunto A E con mA <

4M
y un natural N tal que para n N
y todo x E A tenemos que [f(x) f
n
(x)[ <

2mE
.
Entonces
_
E
fdm
_
E
f
n
dm

_
E
[f f
n
[dm
=
_
E\A
[f f
n
[dm+
_
A
[f f
n
[dm
<

2mE
mE + 2MmA
=

2
+

2
= .
4.1 La integral de funciones no negativas.
En la seccion anterior hemos denido la integral de Lebesgue para la clase de
funciones que son medibles, acotadas y estan denidas sobre un subconjunto
medible de medida nita. En esta seccion extenderemos esta denicion al caso
de funciones medibles no negativas denidas sobre un subconjunto medible,
eliminando la restriccion de que las funciones sean acotadas y los subconjun-
tos (dominios) sean de medida nita. Posteriormente, en la proxima seccion,
tambien eliminaremos la restriccion sobre el signo de las funciones.
60 CAP

En esta seccion seguiremos la construccion de la integral de Lebesgue para
funciones medibles no negativas del libro de Royden[].
Denicion 4.1.1. Si f es una funcion medible no negativa, denida en un
conjunto medible E, denimos:
_
E
f = sup
hf
_
E
h
Donde h es una funcion medible acotada tal que mx : h(x) ,= 0 <
Proposicion 4.1.2. Sean f,g funciones medibles no negativas, entonces
i
_
E
(af +bg)dm = a
_
E
fdm+b
_
E
gdm, a, b > 0.
ii Si f g c.d., entonces
_
E
fdm
_
E
gdm.
Demostracion. Para a > 0 tenemos por la Proposicion 4.0.14 que
_
E
afdm = sup
__
E
ahdm : h es medible, acotada, h f y mx : h(x) ,= 0 <
_
= a sup
__
E
hdm : h es medible, acotada, h f y mx : h(x) ,= 0 <
_
= a
_
E
fdm.
Demostremos que
_
E
(f +g)dm =
_
E
fdm+
_
E
gdm. Si h f, g k g y h, k
son medibles, acotadas y se anulan fuera de conjuntos de medida nita, entonces
por la Proposicion 4.0.14 tenemos que
_
E
hdm+
_
E
kdm =
_
E
(h +k)dm
_
E
(f +g)dm.
Entonces tomando supremo obtenemos que
_
E
fdm+
_
E
gdm
_
E
(f +g)dm.
Ahora, si es una funcion medible, acotada y nula fuera de un subconjunto de
medida nita tal que f +g.
Entonces para h(x) = min(f(x), (x)) y k(x) = (x) h(x), tenemos que
h(x) f(x) y
k(x) = (x) h(x) =
_
(x) f(x) si f(x) (x)
0 si (x) < f(x),
por lo tanto k(x) g(x). Ademas h y k estan acotadas por la cota de y se
anulan donde se anula .
Entonces
_
E
dm =
_
E
hdm+
_
E
kdm
_
E
fdm+
_
E
gdm,
de manera que
_
E
fdm+
_
E
gdm
_
E
(f +g)dm.
Esto termina la demostracion de (i).
Como
__
E
hdm : h es medible, acotada, h f y mx : h(x) ,= 0 <
_
__
E
kdm : k es medible, acotada, k g y mx : k(x) ,= 0 <
_
,
entonces
_
E
fdm
_
E
gdm, lo cual demuestra (ii).
Teorema 4.1.3. (Lema de Faton).
Sea (f
n
)
n1
una sucesion de funciones medibles no negativas tales que
lim
n
f
n
(x) = f(x) c.d. en un subconjunto medible E. Entonces
_
E
fdm lim
n
_
E
f
n
.
Demostraci on. Sea E
0
E tal que lim
n
f
n
(x) = f(x), x E E
0
.
Entonces mE
0
= 0.
Sea h una funcion medible, acotada, h f y E
EE
0
tal que mE
=
y h es nula fuera de E
. Defnase
h
n
(x) = min(h(x), f
n
(x)),
entonces h
n
esta acotada por la cota de h y se anula fuera de E
. Ahora, como
h
n
(x) = h(x) si h(x) f
n
(x), o bien, h
n
(x) = f
n
(x) si f
n
(x) < h(x),
tenemos que h
n
(x)
n
h(x) para cada x E
.
Entonces podemos aplicar el Teorema de Convergencia Acotada para obtener
que
_
E
hdm =
_
E\E
0
hdm =
_
E
hdm
= lim
n
_
E
h
n
dm lim
n
_
E
f
n
dm,
pues h
n
f
n
para cada n 1.
Tomando supremo sobre h obtenemos que
_
E
fdm lim
n
_
E
f
n
dm.
El Lema de Fatou es un resultado preliminar que supone muy pocas hipotesis
sobre la sucesion (f
n
)
n1
, pero casi permite intercambiar el lmite con la
integral, arma solo que
_
E
fdm lim
n
_
E
f
n
dm.
62 CAP

Los dos teoremas de convergencia mas fuertes se demuestran usando el Lema
de Fatou.
La hipotesis de no negatividad de las funciones f
n
en el Lema de Faton es
esencial; pues si en E = R consideramos la relacion (f
n
)
n1
donde
f
n
= n
2
(0,1/n)
, entonces tenemos que f(x) = lim
n
f
n
(x) = 0 para cada x R,
pero
_
R
n
2
(0,1/n)
dm = n, entonces lim
n
_
R
f
n
dm = < 0 =
_
R
fdm.
Por otra parte, la desigualdad en el Lema de Fatou puede ser estricta. Por
ejemplo para la sucesion de funciones medibles no negativas (f
n
)
n1
donde
f
n
(x) =
[n,n+1]
(x), tenemos que f(x) = lim
n
f
n
(x) = 0 para cada x R pero
_
R
f
n
dm = 1 para todo n 1, entonces
_
R
fdm = 0 < 1 = lim
n
_
R
f
n
dm.
Teorema 4.1.4. (de Convergencia Monotona)
Sea (f
n
)
n1
una sucesion monotona creciente de funciones medibles no neg-
ativas sobre un subconjunto medible E, y sea f = lim
n
f
n
. Entonces
_
E
fdm = lim
n
_
E
f
n
dm.
Demostracion. Por el Lema de Fatou tenemos inmediatamente que
_
E
fdm underlinelim
n
_
E
f
n
dm.
Pero f
n
f para cada n 1, consecuentemente
_
E
f
n
dm
_
E
fdm para cada
n 1, De aqu se obtiene que
lim
n
_
E
f
n
dm
_
E
fdm.
Se sigue inmediatamente de esto que lim
n
_
E
f
n
dm existe y
_
E
fdm = lim
n
_
E
f
n
dm,
pues
lim
n
_
E
f
n
dm lim
n
_
E
f
n
dm
Corolario 4.1.5. Sea (U
n
)
n1
una sucesion de funciones medibles, no neg-
ativas sobre un medible E y sea f =
n1
U
n
.
Entonces
_
E
fdm =
n1
_
E
U
n
dm.
Demostraci on. Bastara tomar la sucesion de sumas parciales f
n
=
n
k=1
U
k
,
n 1 que es una sucesion creciente de funciones medibles y no negativas.
Aplicando el Teorema anterior se obtiene que
_
E
fdm = lim
n
_
E
f
n
dm = lim
n
n
k=1
_
E
U
k
dm
=
k1
_
E
U
n
dm
Notese que en todos los resultados anteriores puede ocurrir que
_
E
fdm = .
Tambien observese que hasta ahora no hemos usado el nombre Lebesgue in-
tegrable para designar a una funcion cuya integral de Lebesgue existe, pues
de acuerdo con el Teorema 4.0.11 esta ultima condicion se cumple para toda
funcion medible. Este nombre lo aplicaremos solo a aquellas funciones medibles
que tienen integral de Lebesgue nita.
Denicion 4.1.6. Una funcion medible no negativa se llama Lebesgue inte-
grable sobre un subconjunto medible E si
_
E
fdm < .
Si una funcion medible no negativa g esta dominada por una funcion in-
tegrable f sobre un subconjunto medible E, es decir, g(x) f(x) para cada
x E; entonces por la linealidad
_
E
fdm =
_
E
(f g)dm+
_
E
gdm.
Como el lado izquierdo es nito, los dos terminos del lado derecho son nitos y
por lo tanto g tambien es integrable.
Corolario 4.1.7. (Continuidad absoluta).
Sea f una funcion no negativa e integrable sobre un medible E. Entonces para
A E,
_
A
fdm 0 cuando mA
n
0.
Demostraci on. Sea
f
n
(x) =
_
f(x) si f(x) n
n si f(x) > n,
para cada n 1.
La sucesion (f
n
)
n1
es monotona creciente de funciones medibles no negativas,
entonces por Teorema de Convergencia Monotona se tiene que lim
n
_
E
f
n
dm =
64 CAP

_
E
fdm.
Entonces para cada > 0, existe N 1 tal que
_
E
(f f
n
)dm <

2
para n N.
Entonces si A E es un subconjunto medible con mA <

2N
tenemos que
_
A
fdm =
_
A
(f f
N
) dm+
_
A
f
N
dm <
_
A
(f f
N
) dm+NmA
<

2
+

2
= .
Ejercicios.
1. Demuestre que cada funcion medible no negativa, denida sobre un sub-
conjunto medible E, es lmite de una sucesion creciente de funciones sim-
ples no negativas.
Sugerencia: Para cada n 1 sean E
n,k
=
_
x E :
k 1
2
n
f(x)
k
2
n
_
,
k = 1, 2, . . . , 2
2
n
, y E
n,0
= E
2
2
n
k=1
E
n,k
= x E : f(x) 2
n
.
Cada E
n,k
es medible y E =
2
2
n
k=0
E
n,k
. Dena
s
n
(x) = 2
n
E
n,0
+
2
2
n
k=1
k 1
2
n

E
n,k
, para cada n 1.
2. Demuestre que si f es medible y no negativa sobre un medible E, entonces
_
E
fdm = sup
__
E
_
.
Sugerencia. Use el ejercicio 1 y el Teorema de Convergencia Monotona.
3. Si (f
n
)
n1
es una sucesion de funciones medibles no negativas, demuestre
que
(a)
_
E
lim
n
f
n
dm lim
n
_
E
f
n
dm, esta es una generalizacion del
Lema de Faton.
Sugerencia: Dena g
n
= inf
kn
f
k
. (g
n
)
n1
es una sucesion cre-
ciente de funciones medibles no negativas y lim
n
g
n
= lim
n
f
n
.
Use que g
n
f
n
para cada n y aplique el Teorema de Convergencia
Monotona.
(b)
_
E
lim
n
f
n
dm lim
n
_
E
f
n
dm.
4. (a) Suponga que f es una funcion medible y no negativa y dena
f
E =
_
E
fdm para cada E /, la sigma algebra de los subcon-
juntos Lebesgue medibles. Demuestre que
f
es una medida sobre
/ y que para cada funcion medible y no negativa g se tiene que
_
gd
f
=
_
gfdm.
Sugerencia: La identidad es obviamente cierta si g =
E
, E /.
Consecuentemente tambien vale para cada funcion simple no nega-
tiva. El caso general se demuestra usando el Teorema de Convergen-
cia Monotona.
(b) Si ademas f es integrable, demuestre que
f
es absolutamente con-
tinua respecto de m, es decir, si mE = 0 entonces
f
E = 0.
66 CAP

4.2 La integral de funciones complejas
En esta seccion extenderemos el concepto de integral de Lebesgue al caso de
funciones medibles con valores complejas.
Si f : E R
es una funcion medible y O R es un subconjunto abierto,

entonces O =
n1
I
n
con I
n
un intervalo abierto para cada n 1. Por lo
tanto f
1
(O) =
n1
f
1
(I
n
) es un subconjunto medible, pues cada f
1
(I
n
)
es medible para n 1.
Reciprocamente, si f
1
(O) es medible para cada subconjunto abierto O R,
entonces f es medible. Esta caracterizacion de la medibilidad motiva la siguiente
denicion.
Denicion 4.2.1. Una funcion con valores complejos f : E C es medible si
E es medible y f
1
(O) = x E : f(x) O es medible para cada subconjunto
abierto O C.
Lema 4.2.2. Si g : C F, donde F es C o R, es una funcion continua y
f : E C es medible, entonces h = gf es medible.
Demostracion. Si O F es un subconjunto abierto, entonces por la con-
tinuidad de g tenemos que g
1
(O) es abierto en C. Como f es medible obten-
emos que
h
1
(O) = f
1
_
g
1
(O)
_
es medible.
.
Proposicion 4.2.3. Si f = u+iv es una funcion con valores complejos denida
en un subconjunto medible E R, entonces
(a) f es medible si y solo si u y v son funciones reales medibles.
(b) [f[ es una funcion medible.
Demostracion. Las funciones g
1
(z) = Rez y g
2
(z) = Imz son continuas
de C en R. Tenemos que u = g
1
f y v = g
2
f, entonces aplicando el Lema
4.2.2 obtenemos que u y v son medibles.
Reciprocamente, si u y v son funciones reales medibles y es un rectangulo
abierto, es decir, = I
1
I
2
con I
1
, I
2
intervalos abiertos en R, entonces
f
1
() = u
1
(I
1
) v
1
(I
2
) es medible. Ahora, cada abierto O C se puede
escribir como union a lo mas numerable de rectangulos abiertos (
n
)
n1
, es
decir, O =
n1
n
. Por lo tanto
f
1
(O) =
n1
f
1
(
n
)
es medible. Esto demuestra (a).
4.2. LA INTEGRAL DE FUNCIONES COMPLEJAS 67
Finalmente, tenemos que g(z) = [z[ es una funcion continua de C en R y
[f[ = gf, entonces [f[ es medible por el Lema anterior.
La parte positiva de una funcion real u es la funcion u
+
= u 0, es decir,
u
+
(x) = maxu(x), 0.
De manera similar la parte negativa de u es la funcion u
= (u)0. La funcion
u es medible si y solo si u
+
y u
son medibles. Tenemos que

u = u
+
u
,
y
[u[ = u
+
+u
.
Denicion 4.2.4. Si f = u +iv, con u y v funciones reales medibles sobre un
subconjunto medible E, entonces decimos que f es integrable sobre E si cada
una de las funciones u
+
, u
, v
+
y v
son integrables sobre E y su integral

de Lebesgue esta dada por,
_
E
fdm =
_
E
u
+
dm
_
E
u
dm+i
_
E
v
+
dmi
_
E
v
dm.
Como las funciones u
+
, u
, v
+
y v
son medibles no negativas, sus

integrales de Lebesgue tienen sentido.
En particular una funcion real u es Lebesgue integrable sobre un medible E
si u
+
y u
son ambas integrables sobre E y en este caso

_
E
udm =
_
E
u
+
dm
_
E
u
dm.
Proposicion 4.2.5. Sean f y g funciones complejas integrables sobre E, en-
tonces
(i) La funcion cf es integrable sobre E y
_
E
cfdm = c
_
E
fdm.
(ii) La funcion f +g tambien es integrable sobre E y
_
E
(f +g)dm =
_
E
fdm+
_
E
gdm.
(iii) Si A y B son medibles y disjuntos contenidos en E, entonces
_
AB
fdm =
_
A
fdm+
_
B
fdm.
68 CAP

Demostracion. Si f = u +iv, f es integrable sobre E si y solo si u y v son
integrables sobre E como funciones reales y
_
E
fdm =
_
E
udm+i
_
E
vdm. (1)
Tenemos que
(cu)
+
=
_
cu
+
si c 0
cu
si c < 0,
entonces por la Proposicion 4.2.3 (cu)
+
es integrable sobre E. De manera similar
se demuestra que (cu)
es integrable sobre E. Entonces tenemos que cu es

integrable y
_
E
cudm =
_
E
(cu)
+
dm
_
E
(cu)
dm
= c
_
E
u
+
dmc
_
E
u
dm
= c
_
E
udm,
pues
(cu)
=
_
cu
si c 0
cu
+
si c < 0,
De manera analoga se demuestra que cv es integrable sobre E y
_
E
cvdm = c
_
E
vdm.
Esto demuestra (i) en el caso cuando a y b son reales. El caso general se sigue
de esto usando la identidad (1).
Si u
1
y u
2
son funciones no negativas e integrables sobre E tales que
u = u
1
u
2
, entonces u
+
+u
2
= u
+u
1
y por la Proposicion 4.2.3 obtenemos
que
_
E
u
+
dm+
_
E
u
2
dm =
_
E
u
dm+
_
E
u
1
dm.
Como estas integrales son nitas tenemos que
_
E
udm =
_
E
u
+
dm
_
E
u
dm =
_
E
u
1
dm
_
E
u
2
dm.
Si f = u +iv y g = p +iq son integrables entonces u, p, v y q son integrables
y por ejemplo u +p = (u
+
+p
+
) (u
+p
) entonces
_
E
(u +p)dm =
_
E
(u
+
+p
+
)dm
_
E
(u
+p
)dm
=
_
E
u
+
dm+
_
E
p
+
dm
_
E
u
dm
_
E
p
dm
=
_
E
udm+
_
E
pdm.
4.2. LA INTEGRAL DE FUNCIONES COMPLEJAS 69
De manera analoga se demuestra que
_
E
(v +q)dm =
_
E
vdm+
_
E
qdm.
Finalmente tenemos que
_
AB
fdm =
_
f
AB
dm
=
_
f
A
dm+
_
f
B
dm
=
_
A
fdm+
_
B
fdm,
lo cual demuestra (iii).
Proposicion 4.2.6. Si f es una funcion compleja integrable sobre un subcon-
junto medible E, entonces
_
E
fdm
_
E
[f[dm.
Demostraci on. Sea z =
_
E
fdm y C con [[ = 1 tal que z = [z[.
Supongase que f = u + iv, entonces tenemos que u [f[ = [f[ y conse-
cuentemente
_
E
fdm
=
_
E
fdm =
_
E
fdm
=
_
E
udm
_
E
[f[dm,
donde se ha usado que
_
fdm es un n umero real.
Teorema 4.2.7. (Convergencia Dominada)
Sean g una funcion no negativa integrable sobre E y (f
n
)
n1
una sucesi on de
funciones complejas medibles tales que [f
n
[ g sobre E para cada n y
f(x) = lim
n
f
n
(x) c.d. en E. Entonces
_
E
fdm = lim
n
_
E
f
n
dm
y
lim
n
_
E
[f
n
f[dm = 0.
70 CAP

Demostracion. f es medible y [f
n
[ g, entonces [f
n
f[ 2g.
Aplicando el Lema de Faton a la sucesion de funciones medibles y no negativas
(2g [f
n
f[)
n1
obtenemos que
_
E
2gdm lim
n
_
E
(2g [f
n
f[) dm =
_
E
2gdm+ lim
n
_
_
E
[f
n
f[dm
_
=
_
E
2gdmlim
n
_
E
[f
n
f[dm
Como g es integrable obtenemos que
lim
n
_
E
[f
n
f[dm 0 lim
n
_
E
[f
n
f[dm,
pues la sucesion de reales
__
E
[f
n
f[dm
_
n1
es no negativa. Entonces pode-
mos concluir que
lim
n
_
E
[f
n
f[dm = 0.
Por la Proposicion 4.2.6 obtenemos que
_
E
f
n
dm
_
E
fdm
_
E
(f
n
f)dm
_
E
[f
n
f[dm,
lo cual implica que
lim
n
_
E
f
n
dm =
_
E
fdm.
Captulo 5
Espacios de Hilbert
5.1 Productos internos y funcionales lineales
A menos que se diga lo contrario a lo largo de este curso todos los espacios vecto-
riales seran complejos, (es decir sobre el campo de los n umeros complejos),con
una excepcion notable; los espacios euclidianos R
k
son espacios vectoriales so-
bre el campo de los n umeros reales.
Recuerdese que una transformacion lineal de un espacio vectorial V en otro
espacio vectorial W es una funcion de V en W tal que:
(x +y) = (x) +(y) (1)
para todo x, y V y todos los escalares , C. En el caso particular cuando
W es el campo de escalares (excepto por el espacio trivial que consiste solo del
0, este es el ejemplo mas simple de un espacio vectorial), se llama Funcional
Lineal. Por lo tanto un funcional lineal es una funcion compleja que satisface
(1).
Denicion 5.1.1. . Un espacio vectorial H se llama Espacio con Producto
Interno (o espacio unitario) si a cada par ordenado de vectores x, y H existe
asociado un n umero complejo x, y), llamado Producto Interno (o producto
escalar) de x, y, tal que se satisfacen las siguientes propiedades:
Para todo x, y, z H y C
a y, x) = x, y) (la barra denota conjugacion compleja)
b x +y, z) = x, z) +y, z)
c x, y) = x, y)
d x, x) 0 para todo x H
71
72 CAP
ITULO 5. ESPACIOS DE HILBERT

e x, x) = 0 solo si x = 0
Entonces un espacio con producto interno es un par de la forma (H, )).
Listemos algunas consecuencias inmediatas de estos axiomas:
(i) (c) implica que 0, y) = 0 para toda y H
(ii) (b) y (c) se pueden combinar en solo una proposicion:
y H, lafuncionx x, y) es unfuncional linealenH
(iii) (a) y (b) implican que z, x + y) = z, x) + z, y) ( distributividad en la
segunda coordenada)
(iv) (a) y (c) implican que x, y) = x, y). Es decir:
x Hlafunciony x, y) es antilineal(o conjugada lineal)
(v) (i) y (e) implican que x, x) = 0 si y solo si x = 0
Observese que el producto interno es una funcion , ) : H H C que es
lineal en la primera coordenada y antilineal en la segunda. En contraposicion
a esta convencion usual en Matematicas,en muchos libros de Fsica o de Fsica
Matematica, se preere denir un producto interno como una funcion que es
antilineal en la primera coordenada y lineal en la segunda.
En general, una funcion S : H H C que es lineal en una de las coor-
denadas y antilineal en la otra se llama Forma Sesquilineal.
Como una consecuencia de (d), podemos denir [[x[[ , la norma del vector
x H, como la raz cuadrada no negativa de x, x). De manera que:
[[x[[
2
= x, x)
Lema 5.1.2. (La desigualdad de Cauchy-Schwartz). Las propiedades de
(a) a (d) de un producto interno implican que:
Para todo x, y (H), [x, y)[ [[x[[[[y[[
Demostracion.
Sean A = [[x[[
2
, B = [x, y)[ y C = [[y[[
2
Existe un n umero
complejo de modulo unitario [[ = 1 tal que y, x) = B. De hecho,
=
[x, y)[
y, x)
, siy, x) , = 0
Para cualquier real tenemos que:
0 x y, x y) = x, x) y, x) x, y) +
2
y, y) = [[x[[
2
2[x, y)[ +
2
[[y[[
2
5.1. PRODUCTOS INTERNOS Y FUNCIONALES LINEALES 73
Entonces
A2B +C
2
0 (2)
Para cualquier real . Si C = 0 debemos tener que B = 0 pues en caso contrario
(2) es falsa para grande y positiva. Si c > 0, tomando =
B
C
en (2) se obtiene
que B
2
AC.
Observese que la demostracion de la desigualdad de Cauchy-Schwartz se
puede extender al caso de formas sesquilineales que satisfagan las condiciones
de (a) a (d) de un producto interno pues bastara tomar A = s(x, x) 0,
B = [s(x, y)[ y C = s(y, y). De esta manera obtenemos la siguiente desigualdad
de Cauchy-Schwartz para formas sesquilineales que satisfacen de (a) a (d):
[s(x, y)[ s(x, x)
1
2
s(y, y)
1
2
(3)
Denicion 5.1.3. Un espacio vectorial complejo X se llama Espacio Lineal
Normado (o espacio vectorial normado) si cada x X tiene asociado un
n umero real no negativo [[x[[ , que se llama la Norma de x, tal que:
x, y X y C
(a) [[x +y[[ [[x[[ +[[y[[
(b) [[x[[ = [[[[x[[
(c) [[x[[ = 0 implica que x = 0
Entonces un espacio lineal normado es un par (X, [[ [[). Por (a) se cumple
la siguiente desigualdad del triangulo:
[[x y[[ [[x z[[ +[[y z[[, x, y, z X
Deniendo d : X X R
+
0 mediante:
d(x, y) = [[x y[[
se obtiene que cada espacio lineal normado puede considerarse como un espacio
metrico (X,d).
Un Espacio de Banach es un espacio vectorial normado que es completo
en la metrica inducida por la norma.
Una Seminorma sobre un espacio vectorial X es una funcion real p : X
R que satisface solo las propiedades (a) y (b) de una norma,es decir:
p(x +y) p(x) +p(y), x, y X y p(x) = [[p(x), x X y unescalar
A diferencia de una norma,una seminorma puede anularse sobre vectores no
nulos de X. Un par (X,p) donde X es un espacio vectorial y p una seminorma
se llama un Espacio Semi-normado.
74 CAP

Corolario 5.1.4. Si s es una forma sesquilineal denida positiva en H
H,entonces p(x) = s(x, x)
1
2
es una seminorma en H. Si ademas se satisface
la propiedad (e) (i.e. s(x, x) = 0 = x = 0),entonces p es una norma.
Demostracion.Aplicando el lema de Cauchy-Schwartz a la forma sesquilineal
positiva s:
p(x +y)
2
= s(x +y, x +y) = s(x, x) +s(y, x) +s(x, y) +s(y, y)
s(x, x) + 2[s(x, y)[ +s(y, y) p(x)
2
+ 2p(x)p(y) +p(y)
2
= (p(x) +p(y))
2
Por lo tanto
p(x +y) p(x) +p(y)
Obviamente
p(x) = s(x, x)
1
2
= [s(x, x)]
1
2
= [[p(x)
Por lo tanto p es una seminorma.
Si ademas s satisface que s(x, x) = 0 implica que x = 0,entonces p(x) = 0
implicara x = 0, es decir, p sera una norma.
Todo espacio unitario (H, )) puede considerarse como un espacio vectorial nor-
mado (H, [[ [[),con la norma inducida por su producto interno y tambien
puede considerarse como un espacio metrico (H, d), con la metrica inducida
por su norma. Si este espacio (H, d) es completo, i.e. si cualquier sucesion de
Cauchy converge en H ,entonces el espacio unitario original se llama Espacio
de Hilbert.
Ejemplos
(1) Si f : X C es un funcional lineal,entonces p(x) = [f(x)[ es una
seminorma en A.
(2) Sea L
1
(R) el conjunto de las funciones Lebesgue integrables en R i.e.
L
1
(R) = f : R C : f es medible y
_
R
[f[ <
La funcion L
1
R R
+
0 denida por:
p(f) =
_
R
[f[
es una seminorma pero no es una norma, pues se anula en las funciones
que son cero c.d.
(3) Para cada n jo,el conjunto C
n
de todas las n-adas x = (
1
, ...,
n
) donde
1
, ...,
n
son n umeros complejos, es un espacio de Hilbert con el producto
interno:
< x, y >=
n
j=1
j
(y = (
1
, ...,
n
))
5.1. PRODUCTOS INTERNOS Y FUNCIONALES LINEALES 75
(4) El espacio vectorial de todas las funciones complejas continuas en [0,1] es
un espacio con producto interno denido por:
f, g) =
_
1
0
f(t)g(t)dt
pero no es un espacio de Hilbert
(5) El espacio L
(E, ) de todas las funciones f : E C con (E, ) un

espacio de medida, que satisfacen la condicion:
c > 0 tal que
c
(f) = (x E : [f(x)[ > c) = 0
Es decir, el espacio de las funciones Esencialmente Acotadas es un
espacio vectorial complejo. El par (L
(E, ), [[ [[
) es un espacio semi-
normado, donde la seminorma [[ [[
esta denida mediante:

[[f[[
= infc > 0 :
c
(f) = 0
[[ [[
no es una norma, pues se anula en las funciones que son cero c.d.
(6) Denotemos por
2
el espacio de todas las sucesiones complejas (a
n
) tales
que

n1
[a
n
[
2
< , la estructura de espacio vectorial de
2
es obvia.
Defnase el producto interno en
2
mediante:
(a
n
), (b
n
)) =
n1
a
n
b
n
2
es un espacio de Hilbert. Queda como ejercicio demostrar la completez.
(7) Los espacios L
p
(X, ).
Teorema 5.1.5. (a) Para cada y H jo, las funciones:
x x, y), x y, x), x [[x[[
son uniformemente continuas en H.
(b) El producto interno es una funcion continua en HH
Demostraci on.Sean x, y, h, h
H.Tenemos por la desigualdad de Cauchy-

Schwartz:
[x, y) x +y, y +h
)[ = [h, y) +x, h
) +h, h
)[ (5.1)
[[h[[|y| +[[x[[[[h
[[ +[[h[[[[h
[[
Con h = 0 o h
= 0 se obtienen las continuidades, de hecho la continuidad

uniforme de las dos primeras funciones en (a). Cuando [[h
[[ +[[h[[ 0 se ob-
tiene que x+h, y +h
) x, y) lo que demuestra la continuidad del producto

76 CAP

interno.
La desigualdad del triangulo implica que:
[[x[[ [[x y[[ +[[y[[
de donde se obtiene
[[x[[ [[y[[ [[x y[[
e intercambiando x,y se obtiene que
[[x[[ [[y[[ [[x y[[
lo cual demuestra la continuidad uniforme de la norma
5.2 Subespacios
Un subconjunto M de un espacio vectorial X se llama subespacio de X si el
mismo M es un espacio vectorial con las operaciones de X restringidas a M. Una
condicion necesaria y suciente para que un subconjunto M X sea subespacio
es que sea cerrado bajo las operaciones de suma y producto por escalares,i.e.
x +y M y x M para cualesquiera x, y M y escalar.
Ejemplos
(i) Si X es el espacio de todas las funciones complejas sobre un conjunto E,
el conjunto de las funciones acotadas es un subespacio de X.
(ii) Si X es como en (i), el conjunto de las funciones que satisfacen [f(x)[ 1
para todo x X no es un subespacio de X, pues no es cerrado bajo las
operaciones de X.
(iii) El espacio vectorial R
3
tiene los siguientes subespacios y solo esos:
-R
3
-Todos los planos que pasan por el origen -Todas las rectas que pasan
por el origen. -El espacio trivial 0
(iv) En
2
el conjunto de sucesiones complejas (x
n
)
n1
tales que:
n1
x
n
n
= 0
es un subespacio de
2
(v) En C[0, 1], el espacio de las funciones complejas continuas en [0, 1] consid-
erese M el conjunto de las funciones derivables, este es un subespacio.
5.2. SUBESPACIOS 77
Un conjunto de vectores x
1
, .., x
n
es Linealmente Dependiente,(l.d) si exis-
ten escalares
1
,
2
, ..,
n
no todos iguales a cero, tales que:
1
x
1
+... +
n
x
n
= 0 (4)
y si cuando (4) se cumple se tiene que
1
=
2
= ... =
n
= 0
entonces el conjunto x
1
, .., x
n
se llama Linealmente Independiente,(l.i).
Un subconjunto S M es l.i. si cada subconjunto nito es l.i.
Un conjunto de vectore x
1
, .., x
n
de un subespacio M de un espacio vectorial
X se dice que generan a M si cualquier vector de M se puede representar en
la forma:
y =
n
j=1
j
x
j
donde
1
,
2
, ..,
n
son escalares, que dependen de y.
Los vectores x
1
, .., x
n
forman una Base de un subespacio M si lo generan y
son linealmente independientes. En este caso la representacion de cada y M
como combinacion lineal de x
1
, .., x
n
es unica,pues si
y =
n
j=1
j
x
j
y y =
n
j=1
j
x
j
entonces
n
j=1
(
j

j
)x
j
= 0
y por la independencia lineal de las x
j
s se obtiene que
j
=
j
, j = 1, 2, .., n
Un subespacio M de un espacio vectorial X tiene dimension nita igual
a k si tiene una base con k elementos. Si ning un conjunto nito de vectores
genera a M, entonces M tiene dimension innita.
Ejemplos
(i) En el espacio vectorial R
3
- R
3
es el unico subespacio de dimension 3 y 0 es el unico subespacio de
dimension cero
78 CAP

-Los subespacios de dimension dos son todos los planos que pasan por el
origen.
-Las rectas que pasan por el origen son los subespacios de dimension uno.
-Todo subespacio de R
3
tiene dimension nita menor o igual a tres.
(ii) En
2
el subconjunto M de vectores (sucesiones) de la forma (x
1
, x
2
, .., x
n
, 0, 0, 0, ...)
es un subespacio de dimension n.
(iii) El subespacio M de
2
de todas las sucesiones (x
n
)
n1
tales que:
n1
x
n
n
= 0
es un subespacio de
2
de dimension innita. El conjunto de vectores
(1, 2, 3, 4, .., 2k + 1, 2k, 0, ...), k = 1, 2, 3, ... es l.i. en M
(iv) En L
2
[0, 1], el subconjunto de las funciones que satisfacen la condicion:
_
1
0
f(t)dt = 0
es un subespacio de dimension innita. Pues el conjunto de funciones
sen(2k)
k1
es l.i. y
_
1
0
sen(2kt)dt = 0, k 1
Teorema 5.2.1. Sea X un espacio vectorial y M un subespacio de dimension
k de X, el maximo n umero de vectores l.i. en M es k.
Demostracion.Bastara demostrar que cualquier subconjunto de k+1 vectores
es l.d.
Usemos induccion. Sea k = 1 y x
1
una base de M. Si y
1
, y
2
M y ninguno
de estos vectores es nulo, entonces:
y
1
=
1
x
1
y y
2
=
2
x
1
,
1
,= 0 ,=
2
entonces
2
y
1
1
y
2
= 0 y no todos los escalares son nulos.
Supongamos que cualquier subconjunto de k vectores en un subespacio de
dimension k-1 es l.d. Ahora sean y
1
, y
2
, .., y
k+1
vectores en un espacio k dimen-
sional de M ninguno de ellos nulo. Si x
1
, .., x
k
es una base de M tenemos para
cada j = 1, 2, .., k + 1
y
j
=
1j
x
1
+
2j
x
2
+
kj
x
k
5.2. SUBESPACIOS 79
y no todos los
ij
s son iguales a cero. Supongase
11
,= 0 y considerense los k
vectores:
11
y
j

1j
y
1
, j = 2, 3, .., k + 1
Estos vectores pertenecen a M
k
, el subespacio generado por x
2
, .., x
k
, pues
11
y
j

1j
y
1
=
11
1j
x
1
+
11
2j
x
2
+
11
kj
x
k

1j
1j
x
1
1j
2j
x
2
...
1j
k1
x
k
= (
11
2j

1j
21
)x
2
+... + (
11
kj

1j
k1
)x
k
Entonces por hipotesis de induccion, existen escalares
2
, ..,
k+1
no todos nulos
tales que:
2
(
11
y
2
12
y
1
) +... +
k+1
(
11
y
k+1
1k+1
y
1
) = 0
o
11
y
2
+... +
k+1
11
y
k+1
(
2
12
+
k+1
1k+1
)y
1
= 0
Un Subespacio Cerrado M de un espacio de Hilbert H es un subepacio
que es cerrado en la topologa inducida por la metrica de H.
Ejemplos.
(i) En
2
el conjunto M de las sucesiones con solo un n umero nito de coorde-
nadas distintas de cero es un subespacio pero no es un subespacio cerrado
de
2
; la sucesion (x
n
)
n1
denida por:
x
n
= (1,
1
2
,
1
3
, ..,
1
n
, 0, ...)
es una sucesion en M que converge en
2
al punto x = (1,
1
2
,
1
3
, ...) que no
esta en M.
(ii) En
2
el subconjunto M de las sucesiones (x
n
)
n1
tales que:
n1
x
n
n
= 0
es un subespacio cerrado de
2
, pues si (x
k
)
k1
es una sucesion en M que
converge en
2
a x = (x
n
)
n1
entonces como
x
k
, x
0
) =
n1
x
k
, n
n
= 0, parak = 1, 2, ...
donde x
0
= (1,
1
2
,
1
3
, ...) y como el producto interno es una funcion continua
en la primera coordenada, tenemos que:
n1
x
n
n
= x, x
0
) = lim
k
x
k
, x
0
) = lim
k
x
k
, x
0
) = 0
es decir, x M.
80 CAP

5.3 Conjuntos Convexos
Un subonjunto E de un espacio vectorial X se llama Convexo si tiene la sigu-
iente propiedad geometrica: Para cualesquiera x, y Ey0 < t < 1 el punto
z
t
= (1 t)x +ty
tambien pertenece a E
(i) Cualquier subespacio de X es convexo
(ii) Si es convexo, cada uno de sus trasladados
E +x = y +x : y E
es convexo.
(iii) La bola abierta unitaria B en un espacio normado es un subconjunto
convexo, pues si x, y B y 0 < t < 1, entonces:
[[(1 t)x +ty[[ [1 t[[[x[[ +[t[[[y[[ < (1 t) +t = 1
5.4 Ortogonalidad
Si x, y) = 0 para algunos x, y H, entonces diremos que x es ortogonal a y y a
esta relacion la denotaremos por x y. Como x, y) = 0 implica que y, x) = 0,
la relacion es simetrica.
Mediante el smbolo x
denotaremos al conjunto de todos los y H que son

ortogonales a x. Si M es un subespacio de H , sea M
el conjunto de todos los

y H que son ortogonales con cada x M.
Observese que x
es un subespacio de H: x y y x y
implican que
x y +y
, y x y , para cada alpha C. Observese tambien que :

x
= y H : x, y) = 0
es decir, es la imagen inversa del 0 bajo la funcion continua y x, y), por
lo tanto x
es un subespacio cerrado de H.
Como M
=

xM
x
, M
tambien es un subespacio cerrado de H pues

es una interseccion de subespacios cerrados.
El siguiente teorema es uno de los resultados geometricos mas importantes
en la teora de los espacios de Hilbert.
Teorema 5.4.1. (Beppo-Levi). Cualquier subconjunto convexo y cerrado y no
vacio E de un espacio de Hilbert H tiene un unico elemento de norma mnima.
5.4. ORTOGONALIDAD 81
Demostraci on. . Debemos demostrar que existe un unico x
0
E tal que
[[x
0
[[ [[x[[
para cualquier x E.
A partir de la denicion de un producto interno se puede obtener, despues
de algunos calculos, la siguiente identidad del paralelogramo (Tarea)
[[x +y[[
2
+[[x y[[
2
= 2([[x[[
2
+[[y[[
2
), x, y H (1)
LLamemos al inmo de las normas de los elementos de E
= inf[[x[[ : x E
Obviamente este existe pues x E [[x[[ 0 y ademas 0. Sea (x
n
)
n1
una sucesion en E tal que:
lim
n
[[x
n
[[ =
Como E es convexo,
1
2
(x
n
+x
m
) E para todo m, n N y por lo tanto
[[
1
2
(x
n
+x
m
)[[ (2)
Por la identidad del paralelogramo obtenemos ,usando (2), que:
1
4
[[x
n
x
m
[[
2
=
1
2
[[x
n
[[
2
+
1
2
[[x
m
[[
2
1
4
[[x
n
+x
m
[[
2
1
2
[[x
n
[[
2
+
1
2
[[x
m
[[
2
2
Como [[x
n
[[
2
y [[x
m
[[
2
tienden a
2
cuando n y m van a innito obtenemos que:
[[x
n
x
m
[[
2
0
es decir, (x
n
)
n1
es una sucesion de Cauchy. Como H es completo y E es
cerrado, obtenemos que existe x
0
E tal que lim
n
x
n
= x
0
y como la norma es
una funcon continua:
[[x
0
[[ = lim
n
[[x
0
[[ =
Corolario 5.4.2. Sea E un subconjunto convexo y cerrado no vacio de un es-
pacio de Hilbert H. Para todo x H existe un unico vector x
0
E tal que:
[[x x
0
[[ = inf
yE
[[x y[[
Demostraci on.Tomese E
x
= x y : y E; E
x
es cerrado y convexo y no
vaco. Aplicando el resultado anterior a E
x
obtenemos que existe un unico x
0

tal que:
[[x x
0
[[ = inf
yE
[[x y[[
82 CAP

Corolario 5.4.3. Sea M un subespacio cerrado de un espacio de Hilbert H .
Dado x H, sea x
0
M el unico vector que satisface:
[[x x
0
[[ = inf
yE
[[x y[[
Entonces x x
0
M
Demostracion.Como x
o
M, para todo y M con [[y[[ = 1 y C tenemos
que
[[x x
0
y[[
2
[[x x
0
[[
2
o equivalentemente,
0 xx
0
y, xx
0
y)xx
0
, xx
0
) = y, xx
0
)xx
0
, y)+[[
2
con = x x
0
, y) de aqu se obtiene
0 [x x
0
, y)[
2
entonces x x
0
, y) = 0, para todo y M
La restriccion [[y[[ = 1 no es esencial.
Al vector x
0
denido en el corolario anterior se le llama la Proyeccion
Ortogonal de x sobre el subespacio M. Observese que cada elemento de H
tiene una representacion unica de la forma:
x = x
0
+ (x x
0
)
con x
0
M y x x
0
M
; es decir:
H = M +M
Observese que si x H y x
1
M, x
2
M
. son tales que:

x = x
1
+x
2
entonces
[[x[[
2
= x
1
+x
2
, x
1
+x
2
) = [[x
1
[[
2
+x
1
, x
2
)+x
1
, x
2
)+[[x
2
[[
2
= [[x
1
[[
2
+[[x
2
[[
2
()
Esta ultima formula es una generalizacion del Teorema de Pitagoras.
Teorema 5.4.4. Sea M un subespacio cerrado de H. Existe un unico par de
transformaciones P y Q tales que P enva H en M y Q enva H en M
y:
x = Px +Qx
para todo x H. Ademas estas transformaciones tienen las siguientes propiedades:
(i) Si x M, entonces Px = x y Qx = 0
(ii) Si x M
, entonces Px = 0 y Qx = x
(iii) [[x Px[[ = inf
yM
[[x y[[ si x M
(iv) [[x[[
2
= [[Px[[
2
+[[Qx[[
2
(v) P y Q son operadores lineales
Demostraci on.Sea Px la proyeccion ortogonal de x sobre M, y defnase
Qx = x Px M
entonces obviamente (i) se cumple , P enva H en M y Q enva H en M
.
Si P
1
y Q
1
son otro par de transformaciones que satisfacen (1) entonces:
x = P
1
x +Q
1
x
con P
1
x M y Q
1
x M
, entonces:
P
1
x Px = Qx Q
1
x
Como P
1
x Px M , Qx Q
1
x M
pero M M
= 0 (lo cual es una

consecuencia inmediata de que x, x) = 0 implica x = 0), entonces tenemos que
P
1
x = Px y Qx = Q
1
x
lo cual demuestra la unicidad
La linealidad se demuestra de manera similar; aplicando (i) a x, y y a
x +y se obtiene:
P(x +y) Px Py = Qx +Qy Q(x +y)
El lado izquierdo esta en M y el lado derecho en M
; entonces ambos son

iguales a cero y esto demuestra la linealidad.
La propiedad (ii) se sigue directamente de (i).
(iii) es consecuencia del corolario 4.11 y (iv) se sigue de (*).
Corolario 5.4.5. Si M es un subespacio cerrado de un espacio de Hilbert H y
M ,= H, entonces existe y H, y ,= 0, tal que y M, i.e. y M
(o bien
M
,= 0)
Denicion 5.4.6. Consideremos una transformacion lineal de un espacio
normado X en otro espacio normado Y, y defnase su norma por:
[[[[ = sup
[[x[[
[[x[[
: x X x ,= 0 (1)
84 CAP

Si [[[[ , entonces se llama una Transformacion Lineal Acotada
(o un operador lineal acotado).
En (1) [[x[[ es la norma de x en X y [[x[[ es la norma de x en Y; ocur-
rira frecuentemente que varias normas aparecen en una misma expresion y en
el contexto quedara claro cual norma es de que espacio.
Tambien observese que nos podemos restringir en (1) a los vectores unitarios
x X , [[x[[ = 1, sin cambiar el supremo, pues por una parte
[[x[[ [[[[, x X con [[x[[ = 1
y por otra parte, para todo > 0 existe x X con [[x[[ = 1 tal que
[[x[[ > [[[[
Entonces [[[[ = sup
||x||=1
[[x[[, pues basta tomar x ,= 0 tal que:
[[ x[[
[[ x[[
> [[x[[ y x =
x
[[x[[
Observese que [[[[ es el n umero mas pequeo que satisface la desiguldad [[x[[
[[[[[[x[[ para toda x X.
Geometricamente se puede decir que un operador acotado enva la bola unitaria
cerrada en X en la bola cerrada en Y con centro en 0 y radio [[[[.
En el caso cuando Y = C al operador acotado lo llamaremos Funcional
Lineal Acotado.
Teorema 5.4.7. Para una transformacion lineal de un espacio normado X
en otro espacio normado Y, cada una de las siguientes tres condiciones implica
las otras dos :
(a) es acotada.
(b) es continua.
(c) es continua en punto de X.
Demostracion.Como [[(x
1
x
2
)[[ [[[[[[x
1
x
2
[[ , es claro que (a) implica
(b) y (b) implica (c) trivialmente. Supongase que es continua en x
0
. A cada
> 0 corresponde un > 0 tal que [[x x
0
[[ < implica [[x x
0
[[ < . En
otras palabras, [[x[[ < implica que:
[[(x
0
+x) x
0
[[ < , (pues [[x
0
+x x
0
[[) = [[x[[ <
Pero entonces la linealidad de implica que [[x[[ < . Por otro lado:
x ,= 0 y
1
< , [[
1
x
[[x[[
[[ =
1
< =[[(

1
x
[[x[[
)[[ <

1
[[x[[
[[x[[
<
[[x[[
[[x[[
<

1
Por lo tanto, por la propiedad del supremo, [[[[ < y (c) implica (a)
Si E
1
, E
2
son subespacios de un espacio vectorial normado X tales que:
X = E
1
+E
2
entonces X es la Suma Directa de los subespacios E
1
y E
2
y la denotamos
como: X = E
1
E
2
En una suma directa,cada elemento x X tiene una unica descomposicion
x = x
1
+ x
2
, donde x
i
E
i
Pues si x
1
+ x
2
= y
1
+ y
2
= x
1
y
1
= x
2
y
2

E
1
E
2
= x
1
y
1
= 0 x
2
y
2
= 0
Proposicion 5.4.8. La transformacion E
1
E
2
X dada por (x
1
, x
2
)
x
1
+x
2
es un homeomorsmo si y solo si por lo menos una de las proyecciones
P
i
: X E
i
, P
i
x = x
i
si x = x
1
+x
2
es continua.
Demostraci on.Supongamos que P
1
: X E
1
es continua. La relacion P
2
=
Id P
1
implica que P
2
tambien es continua y lo mismo ocurre con la funcion
X E
1
E
2
, x (P
1
(x), P
2
(x)) La funcion inversa es dada precisamente
por E
1
E
2
X, (x
1
, x
2
) x
1
+x
2
y esta es continua porque las operaciones
lineales son continuas en un espacio normado. Entonces esta transformacion es
un homeomorsmo entre X y E
1
E
2
Proposicion 5.4.9. Sea E H un subespacio vectorial cerrado en un espacio
de Hilbert. El operador lineal de Proyeccion Ortogonal P
E
: H E es un
operador continuo y la descomposicion
H = E E
es una suma directa topologica

Demostraci on.Bastara demostrar la continuidad de P
E
, pero (*) implica que
:
[[P
E
(x)[[ =
_
[[x
1
[[
2
_
[[x
1
[[
2
+[[x
2
[[
2
= [[x[[
entonces P
E
es un operador acotado y por 4.16 la suma es una suma directa
topologica
Ya hemos observado que para cada y E el funcional x x, y) es lineal
y continuo en H. Es un hecho notable que todos los funcionales lineales sobre
H son de este tipo.
Teorema 5.4.10. Si L es un funcional lineal continuo en H, entonces existe
un unico y H tal que :
Lx = x, y), x H (1)
Demostraci on.Si Lx = 0 para todo x H, basta tomar y = 0. En otro caso
defnase
M = x : Lx = 0 = L
1
[0]
86 CAP

La linealidad de L muestra que M es un subespacio y la continuidad de L
demuestra que M es cerrado. Como Lx ,= 0 para alg un x H, el corolario 4.13
prueba que M
,= 0; entonces existe z M
con [[z[[ = 1. Defnase:

u = (Lx)z (Lz)x
Como
Lu = LxLz LzLx = 0
tenemos que u M y por lo tanto u, z) = 0. Esto implica que:
Lx = (Lx)z, z) = (Lz)x, z)
De manera que (1) se cumple con y = z tal que = Lz. La unicidad es
inmediata: x, y) = x, y) para todo x H, se tiene x, z) = 0 con z = y y; en
particular z, z) = 0 y por lo tanto z ,= 0
5.5 Conjuntos Ortonormales
Si E es un espacio vectorial un subconjunto S E es Linealmente Indepen-
diente si cualquier subconjunto nito de S es l.i. El conjunto [S] de todas las
combinaciones lineales de todos los subconjuntos nitos de S (conjunto de las
combinaviones lineales nitas de elementos de S) es un subespacio vectorial de
E; [S] se llama el espacio generado por S.
Un conjunto de vectores u
, A , en un espacio de Hilbert H, se llama

Ortonormal si satisface las relaciones de ortogonalidad:
u
, u
) = 0 , , ,= (1)
y si esta normalizado de manera que [[u
[[ = 1 para cada A
Si (u
)
A
es ortonormal , asociamos con cada x H una funcion compleja
sobre el conjunto de ndices A denida por :
x() = x, u
), A
Algunas veces a los n umeros x se les llama Coecientes de Fourier de x,
relativos al conjunto (u
)
A
Teorema 5.5.1. Si u
1
, u
2
, u
3
, .., u
k
es un conjunto ortonormal y si
x =
k
1
c
n
u
n
,
entonces
c
n
=< x, u
n
>, 1 n k (1)
y [[x[[
2
=
k
1
[c
n
[
2
(2)
5.6. UN PROBLEMA DE APROXIMACI
ON 87
Demostraci on.Una aplicacion inmediata de (4.20) (1)
Corolario 5.5.2. Cada conjunto ortonormal es linealmente independiente
Demostraci on. Inmediata
5.6 Un problema de aproximacion
Sean v
1
, v
2
, v
3
, .., v
k
un conjnto de vectores l.i. en H , y supongase x H . El
problema es encontrar un metodo para calcular el mnimo valor de :
[[x
k
j=1
c
j
v
j
[[
donde c
1
, c
2
, c
3
, .., c
k
recorren todos los escalares, y encontrar los valores corre-
spondientes de c
1
, c
2
, c
3
, .., c
k
.
Sea M el subespacio generado por v
1
, v
2
, v
3
, .., v
k
. Si supieramos que M es
cerrado , podriamos aplicar el teorema de Beppo-Levi y deducir la existencia de
un unico elemento minimizador x
0
= Px donde:
x
0
=
k
j=1
c
j
v
j
que tambien satisface xx
0
M
y esto puede usarse para obtener informacion

acerca de los coecientes c
1
, c
2
, c
3
, .., c
k
Lema 5.6.1. Si E es un subespacio cerrado de H , y / E y E
es el espacio
generado por E y y , entonces E
es cerrado.
Demostraci on.Sea z un punto lmite de E
, i.e
z = lim
n
(x
n
+
n
y)
donde x
n
E y
n
son escalares. Toda sucesion convergente en un espacio
metrico es acotada, entonces existe > 0 tal que :
[[x
n
+
n
y[[ < , n = 1, 2, 3, ...
si se tuviera que [
n
[ entonces
[[
1
n
x
n
+y[[ <

[
n
[
0
de manera que y E pues E es cerrado. Pero y / E , entonces [
n
[ es acotada
y (
n
)
n1
debe tener una subsucesion convergente (
n
i
)
i1
a alg un .Entonces
como:
z
n
= x
n
+
n
y
88 CAP

y tanto (z
n
)
n1
como (
n
y)
n1
son sucesiones de Cauchy,(x
n
)
n1
es una sucesion
de Cauchy en H y converge a alg un punto x E; entonces
z = x +y
y esto demuestra que E
contiene a z = x +y y por lo tanto es cerrado

Corolario 5.6.2. Si M es el subespacio generado por un n umero nito de vec-
tores, entonces M es cerrado.
Demostracion.Razonando por induccion vemos que 0 es cerrado y aplicando
el lema se obtiene el resultado.
Pongamos a
ij
= v
j
, v
i
), b
i
= x, v
i
). Entonces si x
0
es la proyeccion ortogo-
nal de x sobre v
j
k
j=1
,
x
0
=
k
j=1
c
j
v
j
es el elemento minimizador , debemos tener que :
x x
0
, v
i
) = 0, i = 1, 2, .., k (1)
lo cual nos lleva al siguiente sistema de ecuaciones:
0 = x x
0
, v
i
) = x, v
i
)
k
j=1
a
ij
c
j
i.e.
k
j=1
a
ij
c
j
= b
i
1 i k (2)
Sabemos que x
0
existe y es unico, entonces el determinante de a
ij
es diferente
de cero y las c
j
s se pueden calcular de (2).
Ahora sea el mnimo valor de [[x
k
j=1
c
j
v
j
[[. Entonces por (1) debemos
tener x x
0
, x
0
) , entonces
2
= x x
0
, x x
0
) = x, x x
0
) = x, x
k
j=1
c
j
v
j
) = [[x[[
2
j=1
c
j
b
j
(3)
Esto resuelve el problema en terminos de a
ij
y b
i
.
Consideremos ahora un caso especial : reemplacemos v
1
, v
2
, .., v
k
por un sub-
conjunto ortonormal u
1
, u
2
, .., u
k
; entonces a
ij
=
ij
(deltadeKronecker) y de
(2) se obtiene c
ij
= b
ij
,ademas (3) , toma la forma :
2
= [[x[[
2
j=1
[b
j
[
2
Resumimos esto en el siguiente :
ON 89
Teorema 5.6.3. Sea u
1
, u
2
, .., u
k
un conjunto ortonormal en H , y sea x H;
entonces
(1) [[x
k
j=1
x, u
j
)u
j
[[ [[x
k
j=1
j
u
j
[[
para todos los escalares
1
,
2
, ..,
k
. La igualdad se cumple si y solo si
j
=
x, u
j
) , para j = 1, 2, .., k . El vector
k
j=1
x, u
j
)u
j
(2)
es la proyeccion ortogonal de x en el subespacio [u
1
, u
2
, .., u
k
] , y si es la
distancia de x a este subespacio , entonces:
k
j=1
[x, u
j
)[
2
= [[x[[
2
2
(3)
Corolario 5.6.4. (Desigualdad de Bessel) Si u
: A es cualquier
conjunto ortonormal en H , si x H y si x() = x, u
) entonces:
A
[ x()[
2
[[x[[
2
(4)
Como A es cualquier conjunto de ndices , posiblemente no numerable, la
suma en el lado izquierdo de (4) debe denirse de una manera apropiada. En
general, si 0 () para cada A , el smbolo
A
() (5)
denota el supremo del conjunto de todas las sumas nitas (
1
), (
2
), .., (
k
)
donde
1
,
2
, ..,
k
son elementos diferentes de A. Con esta denicion, es claro
que (4) es una consecuencia de (3).
Observese que (5) es la integral de Lebesgue de con respecto a la medida de
conteo en A. Sea
2
(A) = L
2
(A) con respecto a esta medida de conteo, entonces
(4) asegura que x
2
(A) y que:
[[ x[[
2
[[x[[
Una consecuencia inmediata de (4) es la siguiente :
Teorema 5.6.5. Para cualquier x H y cualquier conjunto ortonormal u

H , el conjunto de todos los ndices tales que x() ,= 0 es a lo mas contable.
90 CAP

Demostracion. Sea =

A
[ x()[
2
= [[ x[[
2
< pues [[ x[[
2
< [[x[[
2
y
J = A : x() ,= 0. El siguiente subconjunto de A
J
n
= A : [ x()[
2
[

n + 1
,

n
]
es nito para cada n N , pues en otro caso = . Por otra parte:
J =
_
1
J
n
entonces J es a lo mas numerable.
Sea F la transformacion que asigna a cada x H la funcion x sobre A. Para
cada A , x x, u
) = x() es una funcion lineal.

F es una transformacion lineal de H en
2
(A) , pues x
2
(A) por (4).
Tambien es inmediato que F es una contraccion, pues
[[ x y[[
2
[[x y[[ por (4)
En particular F es continua.
Veremos ahora que la completez de H implica que F transforma H sobre
2
(A) y que bajo ciertas condiciones adicionales sobre u
, F es una isometra
,i.e. [[ x[[
2
= [[x[[ x H .Entonces F sera , por supuesto , uno a uno (un
isomorsmo isometrico).
Teorema 5.6.6. Teorema de Riesz-sher Sea u
: A un sistema
ortonormal en H. Supongase
2
(A) . Entonces = x para alg un x H
Demostracion.Para n = 1, 2, 3, ..., sea A
n
= : [()[ >
1
n
. Cada A
n
es
nito (de hecho, A
n
tiene a lo mas n
2
[[[[
2
2
elementos). Pongamos
x
n
=
A
n
()u
n = 1, 2, 3, ...
Entonces x
n
=
A
n
, asi que x
n
() () para todo A y [ x[
2
[[
2
.
Entonces por una aplicacion del teorema de convergencia dominada de Lebesgue
se obtiene que :
[[[[
2
0 cuando n
Entonces ( x
n
)
n1
es una sucesion de cauchy en
2
(A) y como cada A
n
es nito,
aplicando el teo. 4.21-2 obtenemos
[[x
n
x
m
[[ = [[ x
n
x
m
[[
2
Entonces (x
n
)
n1
es una sucesion de Cauchy en H y por la completez de este
espacio , existe
x = lim
n
x
n
en H
ON 91
Para cada A tenemos
x() = x, u
) = lim
n
x
n
, u
) = lim
n
x
n
() = (),
lo cual completa la demostracion.
Observese que el ingrediente crucial en la demostracion de este teorema es
la completez de L
2
. Este hecho es tan bien reconocido que frecuentemente el
nombre Teorema de Riesz-Fisher se asigna al teorema que asegura la completez
de L
2
, o aun la de cualquier L
p
.
Condiciones necesarias y sucientes para que un conjunto ortonor-
mal sea una base Un conjunto ortonormal (u
)
A
es maximal si no existe
un vector en H que pueda adjuntarse a (u
)
A
de tal manera que el conjunto
resultante tambien sea ortonormal.
Un conjunto ortonormal maximal se llama frecuentemente un Conjunto
Ortonormal Completo o Base Ortonormal.
Teorema 5.6.7. Sea (u
)
A
un conjunto ortonormal en H. Cada una de las
siguientes condiciones sobre (u
)
A
implica a las otras tres:
(a) (u
)
A
es un conjunto ortonormal maximal en H
(b) El subespacio o = [u
]
A
generado por (u
)
A
es denso en H .
(c) Para cada x H , tenemos
[[x[[
2
=
A
[ x()[
2
(d) Si x, y H , entonces x, y) =
A
x() y()
Demostraci on.Demostraremos la cadena de implicaciones (a) (b) (c)
(d) (a).
Sea M la cerradura de o . Si o no es denso entonces existe un elemento no
nulo en M
y por lo tanto , (u
)
A
no sera maximal. Entonces (a) implica (b).
Supongase que (b) y tomese x H y > 0 jos. Como o es denso , existe
un conjunto nito u
1
, .., u
n
tal que alguna combinacion lineal de estos dista
de x en menos que . Por el teorema 4.2.3 esta aproximacion se puede mejorar
tomando la proyeccion ortogonal de x sobre M, i.e. tomando
z = x(
1
)u
1
x(
n
)u
n
(1)
tenemos que [[x z[[ < , entonces [[x[[ < [[z[[ + y por el teorema 4.21
obtenemos
(2) ([[x[[ )
2
< [[z[[
2
= [ x(
1
)[
2
+... +[ x(
n
)[
2
A
[ x()[
2
92 CAP

Como > 0 es arbitrario , (c) se sigue de (2) y la desigualdad de Bessel.
Observe que la identidad en (c) tambien puede escribirse en la forma
x, x) = x, x)
uno de los productos internos en H y el otro en
2
(A).
Sean x, y H jos. Si (c) se cumple entonces :
x +y, x +y) = x + y, x + y)
para cualquier escalar , consecuentemente:
x, y) +y, x) = x, y) + y, x),
tomando = 1 se tiene :
2Rex, y) = 2Re x, y)
y con = i se obtiene
2Imx, y) = 2Im x, y)
lo cual demuestra (d)
Finalmente si (a) es falso existe u ,= 0 , u H tal que u, u
) = 0, A
. Si x = y = u, entonces x, y) = [[u[[
2
,= 0 , pero x() = 0, A. Entonces
(d) es falso.
Dos espacios de Hilbert H
1
, H
2
son isomorfos si existe una transformacion
lineal uno a uno de H
1
sobre H
2
que preserva los productos internos :
x, y) = x, y), x, y H
. Un como el anterior se llama un isomor-

smo de espacios de Hilbert .
Los dos teoremas anteriores llevan al siguiente:
Corolario 5.6.8. Si (u
)
A
es un conjunto ortonormal maximal en H, y si
x() = x, u
) , entonces la transformacion x x es un isomorsmo de

espacios de Hilbert de H sobre
2
(A) .
Demostracion.Basta demostrar que la transformacion es uno a uno y sobre.
Que es uno a uno se sigue de (a), es decir: Para cualquier A, si x = y,
entonces x, u
) = y, u
) lo que implica que x y, u
) = 0. Por lo tanto
x y = 0. Es suprayectiva por el teorema de Riesz-Fisher.
5.7. EXISTENCIA DE BASES ORTONORMALES 93
5.7 Existencia de bases ortonormales
En esta seccion demostraremos que cada espacio de Hilbert no trivial (que no
consista solo del vector cero) es isomorfo a alg un
2
(A) , demostrando con ello
que cada espacio de esta clase tiene una base ortonormal. La prueba requiere
de una propiedad de los conjuntos parcialmente ordenados.
Un conjunto P es parcialmente ordenado por una relacion binaria si:
(a) a b y b c implica a c
(b) a a para cada a P
(c) a b y b a implica a = b
Un subconjunto Q de un conjunto parcialmente ordenado P se llama Total-
mente Ordenado (o Linealmente Ordenado) si cada par a, b Q satisface
a b o b a .
Por ejemplo, la coleccion de subconjuntos de un conjunto jo X esta par-
cialmente ordenado por (c).
Un subconjunto totalmente ordenado Q de P es Maximal si no existe un
elemento de P que pueda adjuntarse a Q de manera que la coleccion resultante
sea totalmente ordenada.
Ejemplo. Sea P subconjuntos abiertos del plano, Q los discos circulares
abiertos con centro en el origen. Q es totalmente ordenado y maximal en P.
Teorema 5.7.1. (De maximalidad de Hausdor) Cada conjunto no vacio
parcialmente ordenado contiene un subconjunto totalmente ordenado maximal.
Este teorema es equivalente al axioma de seleccion ;no lo demostraremos
aqui.
Teorema 5.7.2. Cada conjunto ortonormal B en un espacio de Hilbert H esta
contenido en un conjunto ortonormal maximal en H.
Demostraci on. Sea P la coleccion de todos los conjuntos ortonormales en
H que contienen a B . Ordenese P parcialmente por inclusion. Como B P
,P ,= . Consecuentemente P contiene una subcoleccion totalmente ordenada
y maximal. Sea o la union de todos los miembros de . Es claro que B o .
Armamos que o es un conjunto ortonormal maximal:
Si u
1
, u
2
o ,entonces u
1
A
1
y u
2
A
2
para algunos A
1
, A
2
. Como
es totalmente ordenado, A
1
A
2
(o A
2
A
1
) de manera que u
1
, u
2
A
2
y
como A
2
es un subconjunto ortonormal que contiene a B, u
1
, u
2
) = 0 siu
1
,= u
2
94 CAP

y u
1
, u
2
) = 1 si u
1
= u
2
. Por lo tanto o es ortonormal.
Supongase que o no es maximal. Entonces o es subconjunto propio de un
conjunto ortonormal o
. Claramente o
/ y o
contiene cada elemento de

. De manera que podemos adjuntar o
a y obtener una clase totalmente

ordenada. Pero esto contradice la maximalidad de .
Corolario 5.7.3. Todo espacio de Hilbert no trivial tiene una base ortonormal.
Demostracion.Como H es no trivial, existe u H con [[u[[ = 1, es decir,
existe un conjunto ortonormal no vacio en H . La existencia de un conjunto
ortonormal maximal es consecuencia del teorema anterior.
Bibliography
[1] H.L. Royden, Real Analysis. The Macmillan company, Collier-Macmillan
Limited, London, (1968).
[2] W. Rudin, Real and Complex Analysis (second edition). McGraw-Hill, Inc.,
New York, (1974).
[3] H.J. Wilcox, D.L. Myers, An Introduction to Lebesgue Integration and
Fourier Series, Dover Publications, Inc., New York, (1994).
[4] S. Hartman, J.Mikusinski, The Theory of Lebesgue Measure and Integration,
Pergamon Press, New York - Panstwowe Wydawnictwo Naukowe, Warszawa,
1961.
95

Analisis 01

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Analisis 01

Hochgeladen von

Copyright:

Verfügbare Formate

Una introduccion a la medida e integral

ITULO 1. LA INTEGRAL DE RIEMANN

las particiones asociadas con g

ITULO 1. LA INTEGRAL DE RIEMANN

ITULO 1. LA INTEGRAL DE RIEMANN

y, por lo tanto es acotada.

ITULO 1. LA INTEGRAL DE RIEMANN

ITULO 1. LA INTEGRAL DE RIEMANN

ITULO 1. LA INTEGRAL DE RIEMANN

ITULO 2. LA MEDIDA DE LEBESGUE

A esta bien denida, pues es el nmo

= 0. Para demostrar esto, basta tomar las cubiertas

ITULO 2. LA MEDIDA DE LEBESGUE

I para todo > 0, por lo tanto,

= () = M con M > 0 arbitrario.

ALGEBRA DE LOS SUBCONJUNTOS MEDIBLES 19

[0, 1] = 1, entonces [0, 1] es no-numerable.

A y las propiedades del nmo de un conjunto, tenemos que dado > 0

abierto tal que O

es aditiva cuando la sucesion A

ITULO 2. LA MEDIDA DE LEBESGUE

ALGEBRA DE LOS SUBCONJUNTOS MEDIBLES 21

ITULO 2. LA MEDIDA DE LEBESGUE

ALGEBRA DE LOS SUBCONJUNTOS MEDIBLES 23

ITULO 2. LA MEDIDA DE LEBESGUE

A = no hay nada que demostrar.

A < . Por la denicion de m

, dado > 0 existe una

ALGEBRA DE LOS SUBCONJUNTOS MEDIBLES 25

Como O es abierto, para cada x O existe y > x tal que

ITULO 2. LA MEDIDA DE LEBESGUE

si es una interseccion numerable de abiertos.

si es una union numerable de cerrados.

Sean M(x, h) y m(x, h) el supremo y el nmo de f en el in-

Bastara demostrar que el conjunto x : O(x)

ALGEBRA DE LOS SUBCONJUNTOS MEDIBLES 27

ITULO 2. LA MEDIDA DE LEBESGUE

ALGEBRA DE LOS SUBCONJUNTOS MEDIBLES 29

E abierto tal que m

E cerrado tal que m

con E G tal que m

con F E tal que m

E < , las proposiciones anteriores son equivalentes con

(E |) < con E | = (E|) (|E) donde denota

ITULO 2. LA MEDIDA DE LEBESGUE

E < . Dado > 0 O

E +. Como E es medible entonces E separa bien a O

ALGEBRA DE LOS SUBCONJUNTOS MEDIBLES 31

A, para cualquier subconjunto de prueba A R. Tenemos

(A G). Por otra parte,

ITULO 2. LA MEDIDA DE LEBESGUE

O < . Ademas por la -aditividad,

E < y (vi) se cumple, para cada > 0 sea | =

es numerable pues la funcion x x es una biyeccion de E

entonces x y x son racionales. Si y E

ITULO 2. LA MEDIDA DE LEBESGUE

con [0, 1] y tal que / Q para cualquier

. Sea V el subconjunto formado con estos representantes

s. Notese que en V solo hay un racional y ning un par de elementos de este

no es -aditiva. Pues si suponemos que m

es -aditiva, entonces por

ITULO 2. LA MEDIDA DE LEBESGUE

[0, 1] esta denida para E X mediante la relacion