Teoria de La Medida

Henri Lebesgue
Mauro Chumpitaz
Teora de la Medida
2013
Tipeado por Alvaro Naupay Gusukuma.
Indice general
Prefacio
iii
1. Conjuntos.
1.1. Conjunto finito, conjunto numerable. . . . . . . . . . . . . . . . . . .
1.2. Relacion
de equivalencia. . . . . . . . . . . . . . . . . . . . . . . . .
1.3. Algebra
de conjuntos. . . . . . . . . . . . . . . . . . . . . . . . . . . .
2. Elementos de la medida de Lebesgue en R.
2.1. Limitaciones de la integral de Riemann. . . . . . . . . .
2.2. Longitud de un intervalo. . . . . . . . . . . . . . . . . .
2.3. Longitud de un conjunto abierto. . . . . . . . . . . . . .
2.4. Longitud de conjuntos compactos. . . . . . . . . . . . .
2.5. Medida exterior y medida interior de conjuntos A R.
2.6. Conjuntos medibles. . . . . . . . . . . . . . . . . . . . .
2.7. Existencia de conjuntos no medibles . . . . . . . . . . .
1
1
6
8
.
.
.
.
.
.
.
13
13
14
15
19
24
26
38
3. Funciones medibles.
3.1. Funciones medibles. . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2. Lmite superior y lmite inferior. . . . . . . . . . . . . . . . . . . . .
3.3. Convergencia en medida. . . . . . . . . . . . . . . . . . . . . . . . .
41
41
44
50
4. Integrales sobre R
4.1. Integral de funciones simples. . . . . . .
4.2. Integral de una funcion
acotada . . . . .
4.3. La integral de una funcion
no-negativa.
4.4. Teorema de convergencia monotona.
. .
medible. . . . .
4.6. Teorema de la convergencia dominada.
63
63
68
72
74
76
79
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
ii
5. Diferenciacion
e integracion.
5.1. Diferenciacion
de funciones monotonas.
5.2. Funciones de variacion

acotada. . . . . .
5.3. Diferenciacion
de una integral. . . . . .
5.4. Continuidad absoluta . . . . . . . . . . .
5.5. Funciones convexas . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
85
85
95
97
102
105
6. Espacios Lp (A).
111
p
6.1. Funcionales lineales y continuas en L [a, b] . . . . . . . . . . . . . . 120
7. Medida en R2 .
127
7.1. Clase monotona.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
7.2. Teorema de Fubini. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
Indice
alfabetico
142
Prefacio
Este libro sobre Teora de la Medida es el resultado de varios cursos sobre la

materia dictada a los alumnos de la Facultad de Ciencias, especialidad de Matematica, de la Universidad Nacional de Ingeniera.
Este libro ha sido preparado con el objeto de dar a los estudiantes interesados
una forma sencilla de adquirir los elementos basicos de la Teora de la Medida.
Deseo expresar aqu mi agradecimiento sincero a Concytec cuyo apoyo econo
mico ha hecho posible la publicacion
de este texto.
Tipeado del libro manuscrito por Alvaro Naupay.

iii
1
Conjuntos.
1.1. Conjunto finito, conjunto numerable.
Notaciones :
N =
=
Z =
Q =
R =
C =
Jn =
R =
{1, 2, 3, . . .}
Conjunto de lo numeros
naturales.
Conjunto de los nunmeros
enteros.
Conjunto de los numeros
racionales.
reales.
complejos.
{1, 2, . . . , n}.
R {}.
Definicion
1. Se dice que un conjunto X tiene n elementos si es
que existe una biyeccion
entre Jn y X.
Definicion
2 (Conjunto finito). Se dice que un conjunto X es
finito si X = o X tiene n elementos para algun
n N.
Si X no es finito se dice que X es infinito
Definicion
3 (Conjunto numerable). Un conjunto X se llama
numerable si es que existe una biyeccion
entre N y X.
Definicion
4 (Principio del mnimo entero). Todo conjunto no
vaco de numeros
naturales tiene un menor elemento.

CAPITULO
1. CONJUNTOS.
Proposicion
1.1. Si D N es un conjunto infinito, entonces D es numerable.
Demostracion:
Usando el principio del mnimo entero y el hecho que D es infinito procedemos de la manera siguiente: Sea x1 el primer elemento de D; D{x1 } 6=
y x1 < x para todo x D{x1 }. Sea x2 el primer elemento de D{x1 }, x1 < x2.
Supongamos que hemos definido, x1 < x2 < . . . < xn . El conjunto D{x1, . . . xn }
es no vaco y xn < x para todo x D{x1, . . . xn }. Luego, si xn+1 es el primer elemento de D{x1 , . . . xn} se tiene x1 < x2 < . . . < xn < xn+1.
De este modo construimos una funcion
inyectiva h : N D, h(n) = xn. Si
n D, existe k N, 1 k n tal que h(k) = n. Luego h es una biyeccion
de N
sobre D y por tanto D es numerable.

Corolario 1.2. Sea X un conjunto numerable y D X un subconjunto infinito.
Entonces D es numerable.
Demostracion:
Sea : N X una biyeccion
y : X N su biyeccion
inversa.
Sea H = (D) N, es un biyeccion
entre H y D. Como D es infinito, H tambien es inifinito. Por la Proposicion
1, H es numerable, lo cual implica que D es
h
numerable. (N H D).
Axioma: (Axioma de eleccion).
Para cualquier familia no vaca

F = {X / M} de conjuntos no vacos X , existe una funcion
[
X
f : M
M
tal que f () X para cada M
Lema 1.3. Sean X, Y conjuntos no vacos. Si f : X Y es una funcion

suryectiva,
entonces existe una funcion
inyectiva g : Y X tal que f g = idY .
Demostracion:
Para cada y Y , Ey = f 1(y) es un conjunto no vaco. Entonces
F = {Ey / y Y } es una familia no vaca de conjuntos
[ no vacos. De acuerdo con
Ey = X tal que g(y) = Ey =
el axioma de eleccion,
existe una funcion
g:Y
yY
f (y), g(y) = f (y). Luego f (g(y)) = y para cada y Y . Por tanto f g = idY y
ademas g es inyectiva.

f
Ejercicio: Sean X Y Z funciones y h = g f .

a) Si h es suryectiva, verificar que g es suryectiva.
b) Si h es inyectiva, verificar que f es inyectiva.
1.1. CONJUNTO FINITO, CONJUNTO NUMERABLE.
Proposicion
1.4. Sea : N X una funcion
suryectiva. Entonces X es finitio
o numerable.
Demostracion:
Siendo suryectiva, usando el Lema 1.1, podemos definir una
funcion
inyectiva g : X N tal que g = idX . Sea D = g(X) N, g es una
biyeccion
entre X y D, entonces:
i) Si D es finito, X es finito.
ii) Si D es infinito, D es numerable
y por tanto X es numerable.

Proposicion
1.5. El conjunto N N es numerable.
Demostracion:
Veamos que existe una biyeccion
entre N N y un subconjunto
infinito D N. Consideremos la aplicacion
h : N N N definida mediante
n
m
h(m, n) = 2 3 . Se verifica facilmente que la funcion
h es inyectiva. Luego,
si D = h(N N) N se tiene que h es una biyeccion
entre N N y D. Pero
N {1} N N, entonces N N es infinito, lo cual implica que D es infinito.
Proposicion
1.6. Sea (Xn) una sucesion
de conjuntos numerables y X =
Xn .
n=1
Entonces X es numerable.
Demostracion:
Sea nN Xn una biyeccion
para cada n N. La funcion
:
N N X definida mediante, (m, n) = n (m) es una aplicacion
suryectiva.
Como X es infinito se tiene que X es numerable.

En particular:
a) Si Xk es un conjunto numerable, 1 k m y Z =
numerable.
m
[
Xk entonces Z es
k=1
b) Si A es numerable y B es un conjunto finito, entonces A B es numerable.

nn
o
Corolario 1.7. Sea Q1 =
/ n N, m N . Entonces Q1 , es numerable.
m
nn
o
[
Demostracion:
Sea Xm =
/ n N , Xm es numerable. Como Q1 =
Xm
m
m=1
se tiene que Q1 es numerable.

o
n n
Nota: Similarmente, el conjunto: Q2 = / n N, m N es numerable.
m
Luego, el conjunto: Q = Q1 Q2 {0} es numerable.

CAPITULO
1. CONJUNTOS.
Proposicion
1.8. Sea A un conjunto finito o numerable. Entonces la coleccion
de
todos las sucesiones finitas de elementos de A tambien es finito o numerable.
Demostracion:
i) Si A tiene n elementos, entonces la coleccion

de todas las sucesiones finitas
de elementos de A coincide con P(A) y P(A) tiene 2n elementos, es decir es
finito.
ii) Supongamos que A es numerable entonces existe una biyeccion
: N
A el cual determina una biyeccion
entre las partes finitas Pf (N) Pf (A)
(Pf (N) B 7 (B) Pf (A)). Es suficiente ver que Pf (N) es numerable.
Sea N0 = N {0}; veremos que Pf (N0 ) es numerable. Para esto construimos una
funcion
suryectiva : N Pf (N0) de la manera siguiente: 1 = 20, definimos
= {0}. Cada n N, n > 1 se descompone en forma unica
en factores primos
xk
x3
x2
x1
de la forma n = 2 3 5 . . . pk con pk primo, xi N0 y xk > 0. Definimos (n) = {x1, x2, . . . , xk }; suryectiva. Como Pf (N0 ) es infinito se tiene que
Pf (N0) es numerable. Tambien Pf (N) Pf (N0 ) y Pf (N) es infinito, luego Pf (N)
es numerable.

Definicion
5. Un conjunto A se llama contable si A es finito o
numerable.
Nota: Si s : N X es una funcion

suryectiva, entonces X es contable.
Definicion
6 (Conjuntos equipotentes). Dos conjuntos X, Y se
llaman equipotentes si es que existe una biyeccion
f :X Y.
Proposicion
1.9 (Schroeder-Berstein). Dos conjuntos X, Y son equipotentes si y
solo
si existen dos funciones inyectivas f : X Y y g : Y X.
Demostracion:
Suficiencia: Sean f : Y , g : Y X funciones inyectivas. Definamos : P(X) P mediante (A) = Xg(Y f (A)). Si A B X se verifica
facilmente que (A) (B).
[
Definamos F = {A P(X) / A (A)} y W =
A.
AF
Sea A F , entonces A (A) y A W . A (A) (W ), entonces

A (W ) para todo A F , luego W (W ), entonces (W ) ((W )),
entonces (W ) F , entonces (W ) W . Luego W = (W ) = Xg(Y f (W )).
1.1. CONJUNTO FINITO, CONJUNTO NUMERABLE.
Entonces XW = g(Y f (W )) con g inyectiva. Podemos definir h : X Y

mediante:
(
f (x) , si x W
h(x) =
g 1 (x) , si x XW
h es biyectiva.
Proposicion
1.10. El intervalo [0, 1] R no es numerable.
Demostracion:
Por contradiccion,
supongamos que [0, 1] es numerable, entonces
existe una funcion
biyectiva f : N [0, 1]. Los elementos [0, 1] los escribimos
en el sistema decimal:
= 0 .1 2 . . . n . . .
donde 0 = 0 si 0 < 1 y 0 = 1 si = 1, mientras que 0 i 9 para todo
i N.
Para cada m N podemos escribir:
f (m) = m0 .m1 m2 . . . mn . . .
Probaremos que f no es suryectiva. Definamos = 0.1 2 . . . n . . . de la manera
siguiente: 0 = 0, y

1 , si nn 6= 1
n =
1 , si nn = 1 .
Se verifica facilmente que no esta en el rango de f , pero [0, 1]. Contradiccion
a que f es biyectiva; luego el intervalo [0, 1] no es numerable.

Ejercicios
1. Sea X = {g / g : N {0, 1} g es funcion}.
Probar que X es numerable.

2. Sea X 6= y f : X P(X) una funcion.
Probar que existe un subconjunto
E X tal que E no esta en el rango de f .
3. Sea M un conjunto infinito y A un conjunot jinito o numerable. Probar que
existe una biyeccion
entre M A y M.
4. Sea X un conjunto no contable y A un subconjunto finito o numerable de
X. Probar que existe una biyeccion
entre XA y X.
5. Probar que existe una biyeccion
entre R y < 0, + >.
6. Si a < b, definir una biyeccion
entre < 0, 1 > y < a, b >.
7. Definiri una biyeccion
entre < 0, 1 > y < 0, 3].

CAPITULO
1. CONJUNTOS.
8. Sea k N un numero
natural fijo. Verificar que el conjunto formado por

todas las colecciones de k numeros
naturales (n1, . . . , nk ) es numerable.

9. Verificar que el conjunto de todos los polinomios:
a0 xn + a1 xn1 + + an1x + an
donde n N y de coeficientes enteros, es numerable.
10. Verificar que el conjunto A C formado por todos los numeros
algebraicos
es numerable.
Definicion
7. Un numero
complejo que es raz de un polinomio

a0 xn + a1 xn1 + + an1 x + an
con coeficientes enteros, no todos ceros, se llama un numero
algebraico.
11. Verificar que todo conjunto infinito X contiene un subconjunto propio Y

X tal que X e Y son equipotentes.
1.2. Relacion
de equivalencia.
Definicion
8. Sean X, Y dos conjuntos no vacios. Un subconjunto R X Y se llama una relacion
entre elementos de X e
Y.
Dos elementos x X, y Y se dice que estan en relacion
segun
R si (x, y) R.
Notacion:
Si R X Y es una relacion
entre elementos de X e Y , y (x, y) R
escribiremos frecuentemente xRy.
a) El conjunto = {(x, x) / x X}, X X se llama la diagonal de X o
relacion
identidad.
b) Sea R X Y una relacion.
El conjunto R1 = {(y, x) / (x, y) R} se llama
la relacion
inversa de R.
c) Sean R X Y , S Y Z dos relaciones, entonces el conjunto:

existe y Y satisfaciendo:
S R = (x, z)
(x, y) R, (y, z) S
se llama la relacion
compuesta de R con S.
DE EQUIVALENCIA.
1.2. RELACION
Definicion
9. Una relacion
R X X se llama relacion
de
equivalencia en X si:
i) (x, x) R para todo x X, (propiedad reflexiva).
ii) Si (x, y) R entonces (y, x) R, (propiedad simetrica).
iii) Si (x, y) R y (y, z) R entonces (x, z) R, (propiedad
transitiva).
Ejemplo: Sea f : X Y una funcion.

Definamos R X X mediante:
(x1, x2) R si y solo
si f (x1) = f (x2).
Entonces R es una relacion
de equivalencia en X.
Definicion
10 (Clase se equivalencia). Sea R X X una
relacion
de equivalencia en X. Para cada x X, el conjunto
[x] = {y X / (x, y) R}
se llama la clase de equivalencia de x segun
R.
Propiedades:
1. [x] 6= para cada x X.
2. xRy si y solo
si [x] = [y].
3. Si [x] [y] 6= entonces [x] = [y].
Definicion
11. Una familia {Xi }iI de subconjuntos de X se
llama una particion
de X si:
i) Xi 6= para todo i I.
ii) Xi Xj = si i 6= j.
[
iii)
Xi = X.
iI
Teorema 1.11.

CAPITULO
1. CONJUNTOS.
a) Si R X X es una relacion
de equivalencia en X, entonces la familia
{[xi]}iI de todas las clases de equivalencia (distintas) segun
R es una particion
de X.
b) Si {Xi}iI es una particion
de X, definiendo R X X mediante: (x, y) R
si y solo
si existe i I tal que {x, y} Xi , se tiene que R es una relacion
de
equivalencia en X.
Ejercicios
1. Sea X = [a, b], a < b. Definamos R X X mediante: (x1, x2) R si y solo
si x2 x1 Q.
Verificar que R es una relacion
de equivalencia en X.
2. Definamos R C C mediante: (x, y) R si y solo

si |x| = |y|.
Verificar que R es una relacion
de equivalencia en C.
3. Sea R X X una relacion.

Verificar las siguientes afirmaciones:
a) R es reflexiva si y solo
si R.
b) R es simetrica si y solo
si R1 = R.
c) R es transitiva si y solo
si R R R
4. Sean R X Y , S Y Z dos relaciones, verificar que:

a) (R1)1 = R.
b) (S R)1 = R1 S 1.
1.3. Algebra
de conjuntos.
Definicion
12 (Anillo de conjuntos). Sea X 6= y 6=
P(X). se llama un anillo de conjuntos si para cualquier par

de elementos A, B en ocurre:
r
ii) AB r .
i) A B
Ejemplos
1.
r = P(X) es un anillo de conjuntos.

1.3. ALGEBRA
DE CONJUNTOS.
2.
3.
r = {A X / A es finito } es un anillo de conjuntos.

r=
AR
A es union
de un numero
finito de inervalos.
es un anillo de conjuntos.
r un anillo de conjuntos. Si A y B son elementos de r entonces:

a) A B r , pues A B = (AB) (BA).
b) A B r , pues A B = (A B)(A B).
c) r , pues = AA para cualquier A r .
Sea
Definicion
13 (Algebra
de conjuntos). Una coleccion
6=
P(X) se llama una a lgebra de conjuntos si para A, B en

ocurre:
a.
ii) XA a.
i) A B
Ejemplos
a = P(X), entonces a es una a lgebra de conjuntos.

2. Sea X R2 un conjunto con a rea finita y a = {A X / A tiene a rea}.
Entonces a es una a lgebra de conjuntos.
3. Si a = {A Q / A es contable }, entonces a es una a lgebra de conjuntos.
Sea a una a lgebra de conjuntos. Si A, B son elementos de a se tiene:

a) A B a, pues A B = A B .
b) AB a, pues AB = A B.
c) a y X a.
1. Si
De b) se sigue que toda algebra de conjuntos es un anillo de conjuntos.

Sea = Pf (Q) =partes finitas de Q, es un anillo de conjuntos que no es un
a lgebra de conjuntos.
Nota: Si
P(X) es un anillo de conjuntos y X , entonces es una
a lgebra de conjuntos.
Lema 1.12. Sea { \i}iI , i P(X), una familia de a lgebras de conjuntos. La

interseccion
=
en es una a lgebra de conjuntos.
i tambi
iI

CAPITULO
1. CONJUNTOS.
10
Teorema 1.13. Sea 6=
P(X) tal que .
c a
c P(X). Existe una menor a lgebra de conjuntos a
Demostracion:
Sea { i }iI la familia de todas las a lgebras i P(X) tales que
i . Esta\
familia es no vaca pues P(X) es una de ellas. Entonces la interseccion
=
lgebra de conjuntos que satisface las condiciones del
i es una a
teorema.
c a
El a lgebra construida en este teorema se llama a lgebra generada por

Definicion
14. Sea 6=
de conjuntos si:
i) A
a P(X). a se llama una -algebra
a implica XA a.
ii) Si (Ai )iN una sucesion

de elementos de
entonces A
iii) X
c.
ayA=
a.
i=1
Ai
a.
Ejemplos de -algebras
a = P(X) entonces a es una -algebra de conjuntos.

2. Si a = {A R / A o A es contable } entonces a es una -algebra de
1. Si
conjuntos.
a una -algebra de conjuntos

i) X a entonces = X a.
Sea
a, 1 i m, tomando Ai = para i > m se obtiene :
ii) Si Ai
i=1
Ai
iii) Si Ai
a.
a, i N, entonces:
tambien
i=1
Ai =
"
\
i=1
i=1
Ai
Ai =
a.
"
\
i=1
Ai
a.
i=1
Ai =

1.3. ALGEBRA
DE CONJUNTOS.
Lema 1.14. Si { i}iI ,

entonces la interseccion
11
ai TP(X), es una familia de -algebras de conjuntos,

a = iI ai tambien es una -algebra de conjuntos.
r
c a
Teorema 1.15. Si 6= P(X), entonces existe una menor -algebra de conjuntos P(X) tal que .
B.
Tomemos =familia de los conjuntos abiertos de los numeros
reales.
Sabemos que existe una menor -algebra de conjuntos B P(R) tal que
Los elementos de B se llaman conjuntos de Borel.

Definicion
15. Un conjuntos que es la union
numerable de conjuntos cerrados se llama un F -conjunto.
Ejmplo: Todo intervalo abierto acotado es un F -conjunto, pues:

[
1
1
.
(a, b) =
a+ , b
n
n
n=1
Definicion
16. Un conjunto que puede expresarse como la interseccion
numerable de conjuntos abiertos se llama un G conjunto.
Ejemplo: Todo intervalo cerrado y acotado es un G -conjunto, pues:

\
1
1
[a, b] =
a , b+
.
n
n
n=1
todo conjunto abierto y todo conjunto cerrado es un conjunto de Borel.
Notacion:
F indica conjuntos que pueden expresarse como la interseccion
de una familias numerable de F -conjuntos.

Ejercicio: Si P(X) es una a lgebra de conjuntos y 6= Y X. Verifica que
} tambien es una a lgebra de conjuntos.
1 = {A Y / A
12
CAPITULO
1. CONJUNTOS.
2
Elementos de la medida de Lebesgue en
R.
2.1. Limitaciones de la integral de Riemann.
a) La funcion
f0 : [0, 1] R definida mediante:

1 , si x es racional
f0 (x) =
0 , si x es irracional
no es intregable segun
Riemann.
b) Sea {r1, r2, . . .} una ordenacion
de los numeros
racionales en [0, 1]. Para cada

n N definamos la funcion
fn : [0, 1] R mediante:

1 , si x {r1, r2, . . . , xn}
fn (x) =
1 , si x [0, 1]{r1, r2, . . . , xn}
(fn) es una sucesion
no decreciente de funciones acotadas tal que:
lm fn (x) = f (x).
para todo x [0, 1].
(fn) es una sucesion

de funciones integrables segun
Riemann que converge
a un funcion
que no es integrable segun
Riemann.
En el captulo 4 veremos que la funcion
f0 es integrable segun
Lebesgue y
que:
Z 1
Z 1
lm
fn =
f0 .
n
r la coleccion
de todas las funciones f : [0, 1] R que son integrables
Z 1
segun
Riemann. Definamos: d(f, g) =
|f g|; d : r r R; d es una
c) Sea
13

CAPITULO
2. ELEMENTOS DE LA MEDIDA DE LEBESGUE EN R.
14
r1
metrica en , con las identificaciones necesarias enZ . Si (fn) es la sucesion
de funciones definidas en b), entonces d(fn, fm) =

(fn ) es una sucesion
de Cauchy en
es un espacio metrico completo.
|fn fm | = 0. Luego,
r que no converge, es decir que (r, d) no
Si L[0, 1] es la coleccion
de todas las funciones f : [0, 1] R que son integrables segun
Lebesgue y definimos d : L[0, 1] L[0, 1] R mediante
Z 1
d(f, g) =
|f g|
0
entonces veremos que (L[0, 1], d) es un espacio metrico completo.
2.2. Longitud de un intervalo.

Si I es un intervalo de extremos a, b (a b), definimos la longitud (I) del
intervalo I como:
(I) = b a ; (I) [0, +].
La longitud del conjunto vaco se define como cero, () = 0.
Conjunto elemental: Un conjunto E R se llama elemental si existe un
numero
finito de intervalos I1, I2, . . . , Im de extremos ai , bi ( < ai < bi <

+, i = 1, 2, . . . , m) tales que:
a) Ii Ij = si i 6= j.
b)
m
[
Ii = E
i=1
Definicion
1. Si E es un conjunto elemental , E =
nimos su longitud, (E), mediante :
(E) =
m
X
Sm
i=1 Ii ,
defi-
(Ii)
i=1
Nota: Si un conjunto lelemental E puede escribirse como E =
m
[
i=1
como E =
k
[
i=1
Ji , (Ii Ij = , Ji Jj = si i 6= j), entonces:

m
X
i=1
(Ii) =
k
X
j=1
(Jj ) .
Ii y tambien
2.3. LONGITUD DE UN CONJUNTO ABIERTO.

En efecto: Ii =
k
[
(Ii Jj ), luego: (Ii) =
j=1
k
X
Analogamente:
j=1
(Jj ) =
m X
k
X
i=1 j=1
k
X
j=1
15
(Ii Jj );
m
X
(Ii ) =
i=1
m X
k
X
i=1 j=1
(Ii Jj ).
(Ii Jj ).
La longitud (E), definida para conjuntos elementales, satisface las siguientes

propiedades:
i) Si E es un conjunto elemental entonces (E) 0.
ii) Si E1, E2, . . . , Em es un numero
finito de conjuntos elementales dos a dos

m
[
disjuntos, entonces
Ei tambien es n conjunto elemental y se tiene:
i=1
m
[
Ei
i=1
m
X
(Ei) .
i=1
Nuestro objetivo es extender el concepto de longitud a una clase de conjuntos mas

generales que la clase de los conjuntos elementales, de modo que las propiedades
i) y ii) sigan cumpliendose.
2.3. Longitud de un conjunto abierto.

Sea G R un conjunto abierto, G es la reuni
de una coleccion
finita o
[on
k , (N = {1, 2, . . . , n} o N =
numerable de intervalos abiertos y disjuntos: G =
kN
N ).
Definimos:
(G) =
(k )
kN
m(G) [0, +].
Lema 2.1. Si un numero
finito I1 , I2, . . . , Im de intervalos dos a dos disjuntos estan

contenidos en un intervalo , entonces:
m
X
i=1
(Ii) () .
Demostracion:
Sea =< , >, Ii =intervalos de extremos ai , bi (ai < bi ). Podemos suponer que a1 < a2 < < am . Entonces bi ai+1 (i = 1, 2, . . . , m 1),
luego:
S = ( bm ) + (am bm1) + + (a2 b1) + (a1 ) 0 .

CAPITULO
16
() =
m
X
i=1
(Ii) + S
m
X
((Ii))
i=1
Corolario 2.2. Si una familia numerable de intervalos (Ii)iJ dos a dos disjuntos
estan contenidos en un intervalo , entonces:
X
i=1
(Ii) () .
Teorema 2.3. Sean G1 , G2 dos cnjuntos abiertos. Si G1 G2 entonces (G1)

(G2).
[
[
i , G2 =
j , donde {i }, {j } son colecciones finitas
Demostracion:
G1 =
i
o numerables de intervalos abiertos y disjuntos.

Como G1 G2 , cada i esta contenido en uno y solo
un intervalo k , entonces:
X
X X
(i ) .
(G1) =
(i) =
i
Como
i k
i k
(i) (k ) se tiene:
(G1)
(k ) = (G2)

Lema 2.4. Sean < a1 , b1 >, < a2 , b2 >, . . . , < am , bm > una coleccion
finita de interm
[
valos abiertos. Si [a, b]
< ai , bi >, entonces:
i=1
m
X
ba
(bi ai ) .
i=1
Demostracion:
Denotemos con < ai1 , bi1 > un intervalo de {< ai , bi >} que contenga al punto a, ai1 < a < bi1 . Si bi1 b, elegimos un intervalo < ai2 , bi2 > en
{< ai , bi >} que contenga al punto bi1 , o sea: ai2 < bi1 < bi2 . Si bi2 b elegimos un
intervalo < ai3 , bi3 > en {< ai , bi >} tal que ai3 < bi2 < bi3 .
De este modo seo btiene una coleccion:
< ai1 , bi1 >, < ai2 , bi2 >, . . . , < aik , bik >
de intervalos en {< ai , bi >}iim tal que:
i) bik1 b < bik
2.3. LONGITUD DE UN CONJUNTO ABIERTO.
17
ii) aij+1 < bij para 1 j k 1

iii) [a, b]
k
[
< aij , bij >.
j=1
Luego:
k
X
j=1
(bij aij ) = (bi1 ai1 ) + (bi2 ai2 ) + + (bik aik )

> (ai2 ai1 ) + (ai3 ai2 ) + + (bik aik )
= bik ai1 > b a .
m
X
i=1
(bi ai )
k
X
j=1
(bij aij ) > b a .

numerable de intervalos abiertos. Si I es un

Lema 2.5. Sea {Ji }iN una coleccion
[
intervalo de extremos a, b tal que I
Ji, entonces
i=1
(I)
(Ji ) .
i=1
Demostracion:
a) Supongamos que I es un intervalo acotado. Sea: 0 < <
[
Ji .
ba
, [a+, b]
2
i=1
Como [a + , b ] es compacto existe m N tal que [a + , b ]

Entonces, por el Lema anterior, se tiene b a 3
ba
, lo cual implica:
para todo > 0 tal que <
2
(I) = b a
X
i=1
(Ji) .
m
X
i=1
(Ji)
X
i=1
Ji .
i=1
(Ji),

CAPITULO
18
b) Supongamos que I es un intervalo no acotado. Para cada M > 0 o existe un
[
intervalo cerrado [, ] I tal que M; [, ]
Ji . Existe m N
tal que [, ]
Entonces
X
i=1
m
[
i=i
Ji , luego:
m
X
i=1
(Ji )
i=1
(Ji).
i=1
(Ji) M para todo numero
real M > 0 y por tanto:
m(Ji) = +
i=1

Teorema 2.6. Sea {Gk }kN una
X familia finita o numerable de conjuntos abiertos y
Gk entonces
disjuntos dos a dos. Si G =
kN
(G)
(Gk ) .
kN
Demostraci
on:
Sea ik , (i = 1, 2, . . .) los intervalos componentes de Gk , Gk =
X
ik , entonces la coleccion
de intervalos {ik / k N , i Nk } son los intervalos
iNk
componentes de G, luego:
(G) =
X
i,k
(ik )
kN
iNk
(ik )
(Gk ) .
kN
Teorema
2.7. Sea {Gk }kN una coleccion
finita o numerable de conjuntos abiertos.
X
Gk , entonces:
Si G =
kN
(G)
(Gk ) .
kN
Demostracion:
Sea {I / i = 1, 2, . . .} los intervalos componentes de G, y {jk / j
Nk } los intervalos componentes de Gk , entonces:
[
[
[
(Gk i ) .
Gk , i =
G=
i =
i
kN
kN
2.4. LONGITUD DE CONJUNTOS COMPACTOS.

Como Gk =
19
jk se tiene:
jNk
Gk i =
jNk
(jk i ) ,
luego:
i =
kN
jNk
(jk i ) .
Unsando el Lema 3 se obtiene:

X
XX
(Gk i )
(jk i ) =
(i)
kN
kN jNk
pues Gk i =
jNk
Entonces:
(G) =
X
i
jN
(i )
(Jk i ) es union
de conjuntos abiertos y disjuntos.
X
i
kN
(Gk i )
kN
X
i
(Gk i )
(Gk i ) es union
finita o numerable de conjuntos abiertos y disi
X
juntos, luego: (Gk ) =
(Gk i ) y por tanto:
Pero Gk =
(G)
(Gk ) .
kN
2.4. Longitud de conjuntos compactos.

Sea F R un conjunto compacto, a = mn F, b = mn F , entonces [a, b]F es
un conjunto abierto y por tanto esta definido ([a, b]F ).
Definicion
2. Sea F R un conjunto compacto, a = mn F, b =
mn F , definimos
(F ) = b a ([a, b]F ) .

CAPITULO
20
Como [a, b]F es una union

finita o numerable de intervalos abiertos y disjuntos
contenidos en [a, b] se tiene:
([a, b]F ) b a ;
luego (F ) 0.
Ejemplo: Si
A1
A2
A3

1 2
,
=
,
3 3

1 2
7 8
=
,
,
,
9 9
9 9

7 8
19 20
25 26
1 2
,
,
,
,
,
=
27 27
27 27
27 27
27 27
=
0
1
1
9
2
3
2
3
1
3
7
9
8
9
Figura 2.1
yA=
An; An tiene 2n1 subintervalos abiertos, dos a dos disjuntos, cada
n=1
1
2n1
uno de longitud n , luego: (An ) = n .
3
3
(A) =
X
n=1
(An ) =
X
2n1
n=1
3n
=1.
Si E0 = [0, 1]A entonces mn E0 = 0, max E0 = 1, E0 es un conjuntos compacto y

su longitud es:
(E0) = (1 0) ([0, 1]E0) = 1 (A) = 0 .
Lema 2.8. Sea F R un conjunto compacto y A, B numeros
reales tales que

F < A, B >, entonces (F ) = (B A) (< A, B > F ).
Demostracion:
Sean a = mn F , b = max F . Es suficiente tener en cuenta que:
< A, B > F =< A, a > < b, B > ([a, b]F ) .
21
Teorema 2.9. Sean F1, F2 dos conjuntos compactos. Si F1 F2 entonces

(F1) (F2) .
Demostracion:
Sea < A, B > un intervalo abierto acotado tal que F2 < A, B >,
entonces < A, B > F2 < A, B > F1 , (< A, B > F2 ) (< A, B > F1 ).
(B A) (< A, B > F1) (B A) (< A, B > F2 ) ,
entonces
(F1) (F2) .
Corolario 2.10. La longitud de un conjunto compacto F R es el supremo de las

longitudes de todos los cnjuntos cerrados contenidos en F .
Teorema 2.11. La longitud de un conjunto abierto G es el supremo de las longitudes de todos los conjuntos compactos contenidos en G.
Demostracion:
a) Sea F G un conjunto compacto. Si < A, B > es un intevalo abierto y

acotado tal que F < A, B >, llamando G1 = G < A, B >, se tiene
< A, B >= G1 (< A, B > F ),
B A (G1 ) + (< A, B > F ) ,
por tanto: (F ) (G1) (G).
b) Sea {< ak , bk >}kN los intervalos componentes de G, entonces:
X
(bk ak ) .
(G) =
kN
i) Si (G) < +, por definicion

de serie convergente, dado > 0, existe
m
X
(bk ak ) > (G) .

m N tal que
2
k=1

bk ak
,
.
Para cada k = 1, 2, . . . , m tomemos k tal que 0 < k < mn
2
4m
Si k = ak + k , k = bk k entonces [k , k ] < ak , bk >, y:
([k , k ]) = k k = bk ak 2k
.
> (< ak , bk >)
2m
22
CAPITULO
Si F0 =
m
[
[k , k ] se tiene que F0 es compacto, F0 G, y:
k=1
(F0) =
m
X
k=1
m
X
(bk ak ) > (G) .

(k k ) >
2
k=1
O sea (F0) > (G) .
m
X
(bk ak ) > 2M.
ii) Si (G) = +. Dado M > 0, existe m N tal que
k=1
ii) Si existe algun

intervalo < ak0 , bk0 > no acotado 1 k0 m, tomamos [, ] < ak0 , bk0 > tal que > M, [, ] G.
ii) Si todos los intervalos < ak , bk >, 1 k m son acotados;
para ca

bk ak M
da k = 1, 2, . . . , m tomamos k tal que 0 < k < mn
,
.
2
2m
Si k = ak + k , k = bk + k , entonces: [k , k ] < ak , bk >, y
k k = bk ak 2k > bk ak
M
.
m
Luego, si (G) = +, dado cualquier M > 0, siempre existe F0

G compacto tal que (F0) > M; por tanto:
sup{(F ) / F G, F compacto } = + = (G) .

Teorema 2.12. La longitud de un conjunto compacto F R es el nfimo de las
longitudes de todos los conjuntos abiertos que contiene al conjunto F .
Demostracion:
a) Sea G un conjunto abierto tal que F G. Por el Teorema 5 se tiene que:

(F ) (G) .
b) Sea > 0 y < A, B > un intervalo abierto y acotado tal que F < A, B >
F es un conjunto abierto acotado, entonces usando el Teorema 5 se obtiene
un conjunto cerrado F0 < A, B > tal que (F0) > (< A, B > F ) .
El conjunto: G0 =< A, B > F0 es un conjunto abierto, F G0 y como
F0 < A, B > se tiene
(F0) = (B A) (< A, B > F0 )
= (B A) (G0 ) .
23
Entonces
(G0 ) = (B A) (F0)
< (B A) (< A, B > F ) + < (F ) + .
O sea (G0 ) < (F ) + .

Teorema 2.13. Se F1 , F2 son dos conjuntos compactos y disjuntos, entonces
(F1 F2) = (F1) (F2) .
Demostracion:
a) Sea G un conjunto abierto tal que F1 F2 G, y d = dist(F1, F2) > 0. Para

cada x F1 F2 posemos elegir un intervalo abierto Ix tal que Ix G y
d
finito de
(Ix) < . Siendo F1 F2 un conjunto compacto, existe un numero
2
m
[
intervalos abiertos Ix1 , . . . , Ixm talqe que F1 F2
Ixj G. Definamos:
j=1
G1 = {Ixj / Ixj F1 6= } .
G2 = {Ixj / Ixj F2 6= } .
Entonces F1 G1 , F2 G2 , G1 G2 = , G1 G2 =
m
[
Ixj
j=1
(F1) + (F2) (G1 ) + (G2 ) = (G1 G2 )

S
m
(G) ,
=
j=1 Ixj
(F1) + (F2) (G) para todo conjunto abierto G tal que F1 F2 G.

Entonces

F1 F2 G
(F1) + (F2 ) nf (G)
G abierto
= (F1 F2) .
O sea: (F1) + (F2) (F1 F2).
b) Sean U, V conjuntos biertos tales que F1 U , F2 V , entonces: F1 F2

U V.
(F1 F2) (U V ) (U ) + (V ) .
Tomando nfimos en el segundo miembro se obtiene:
(F1 F2) (F1) + (F2)

CAPITULO
24
2.5. Medida exterior y medida interior de conjuntos

A R.
Definicion
3. Para cualquier conjuntos A R definimos la medida exterior m A y la medida interior m A de la manera siguiente:
m A = nf{(G) / A G, G abierto }
m A = sup{(F ) / F A, F compacto } .
Nota: Sea G un conjunto abierto y F un conjunto compacto, usando los Teoremas

5 y 6 se obtiene:
m G = (G) = m G .
m F = (F ) = m F .
De la definicion
de medida exterior y de medida interior se obtiene la siguiente:
Proposicion
2.14.
a) Para cualquier subconjunto A R se tiene m A m A.
b) Si A, B son subconjuntos de R y A B entonces m A m B y m A m B.
Proposicion
2.15. Si I es un intervalo de extremos a, b entonces: m I = (I) =
m I.
Proposicion
2.16. Sea {Ak }kN una coleccion
finita o numerable de subconjuntos
de R, entonces:
#
"
X
[
m Ak .
Ak
m
kN
kN
Demostracion:
X
m Ak = +, la proposicion
es verdadera.
i) Si
kN
ii) Supondremos entonces que
kN
m Ak < +. Sea > 0; para cada k N
tomamos un conjunto abierto Gk tal que Ak Gk y (Gk ) m Ak +
,
2k
2.5. MEDIDA EXTERIOR Y MEDIDA INTERIOR DE CONJUNTOS A R.

entonces:
Ak
kN
25
Gk .
kN
Ak
kN
Gk
kN
(Gk )
kN
X
X

m Ak + k
m Ak + P .
2
kN
kN
para todo > 0, luego:

[
Ak
nN
m Ak
kN

Teorema 2.17. Sea {Ak }kN una coleccion
finitia o numerable de R dos a dos disjuntos. Entonces
!
X
[
m Ak .
Ak
m
kN
kN
Demostracion:
a) Sean F1, F2 conjuntos compactos tales que F1 A1, F2 A2, entonces

F1 F2 es un conjunto compacto, F1 f2 A1 A2, F1 F2 = , y por tanto:
m (A1 A2 ) (F1 F2) = (F1) + (F2) .
Tomando supremos en el segundo miembro se obtiene:
m (A1 A2 ) m A1 + m A2 .
b) Si N = {1, 2, . . . , m}, usando induccion
se obtiene:
#
"m
m
X
[
m Ak .
Ak
m
k=1
k=1
c) Si N = N entonces:
n
[
k=1
Ak
"
[
k=1
k=1
Ak para todo n N,
Ak m
"
n
[
k=1
Ak
n
X
k=q
m Ak .

CAPITULO
26
n
X
k=1
m Ak m
"
[
k=1
Ak , para todo n N, leugo:
X
k=1
m Ak m
"
[
k=1
Ak
2.6. Conjuntos medibles.

Definicion
4. Un conjunto acotado A R se llama medible si
m A = m A .
El valor comun
de estas dos medidas se llama la medida de Lebesgue del conjunto A y se define con mA, es decir
m A = mA = m A .
Ejemplos: Los conjuntos abiertos y acotados y los conjuntos compactos son conjuntos medibles.
Definicion
5. Un conjuntos A R se llama medible si para
cada n N el conjunto A [n, n] es medible.
Si A R es medible, definimos su medida mA como:
mA = lm m(A [n, n]) .
n
Lema 2.18. Sea (aij ) una sucesion

doble de numeros
reales no-negativos tal que;

i) aij ai(j+1) ,
ii) aij a(i+1)j para todo i, j en N. Entonces:
lm
lm aij = lm lm aij
i j
j i
2.6. CONJUNTOS MEDIBLES.
27
Demostracion:
Las condiciones i) y ii) nos permiten definir:
bi = lm aij
cj = lm aij
i
(bi) y (cj ) son sucesiones no-decrecientes, por tanto existen los lmites:
b = lm bi
c = lm cj
j
en [0, +]. Como aij bi b para todo i, j en N se tiene:

cj = lm aij b
c = lm cj b .
j
O sea c b. Similarmente b c
Teorema 2.19. Sea {Ak }kN una colecci

finita o numerable de conjuntos medi[on
Ak es medible y
bles y dos a dos disjuntos, entonces
kN
"
Ak =
kN
mAk .
kN
Demostracion:
[
Ak es acotado:
i) Si
kN
mAk =
kN
kN
m
Lo cual prueba que
"
m Ak
[
Ak
kN
m
#
S
kN Ak
kN
m Ak =
kN
mAk .
Ak es medible y que
kN
ii) Si
"
Ak =
kN
mAk .
kN
Ak no es acotado.
kN
"
kN
Ak [n, n] =
kN
(Ak [n, n]) , n N
(*)
28
CAPITULO
Como Ak es medible, Ak [n, n] es medible para todo n N. Por i)
[
Ak es medible.
[n, n] es medible para todo n N. Luego
"
kN
De (*) se obtiene:
m
"
kN
Ak [n, n]
kN
m(Ak [n, n])
a) Si N = {1, 2, . . . , m} .
#
!
"m
m
X
[
m(Ak [n, n]) .
Ak [n, n] =
m
k=1
k=1
"
Ak
kN
= lm
=
=
m
X
k=1
m
X
"
m
X
k=1
m(Ak [n, n])
lm m(Ak [n, n])
mAk .
k=1
b) Si N = N.
m
"
Ak
k=1
[n, n]
m(Ak [n, n])
k=1
= lm
"
[
k=1
Ak = lm
"
lm
r
X
k=1
r
X
k=1
m(Ak [n, n]) .
m(Ak [n, n])
y usando el lema 5 se obtiene:

#
#
"
"
r
X
[
m(Ak [n, n])
Ak = lm lm
m
k=1
= lm
= lm
"
r
X
k=1
r
X
k=1
lm m(Ak [n, n])
mAk =
k=1
X
k=1
mAk .
kN
Ak
29
Nota: Si G R es un conjunto abierto y acotado y F G es un conjunto cerrado, entonces GF es un conjunto abierto y acotado, por tanto F y GF son
conjuntos medibles. y de G = F (GF ) se obtiene: mG = mF +m(GF ), luego:
m(GF ) = mG mF .
Lema 2.20. Un conjunto acotado A R es medible si y solo
si para cada > 0
existe un conjunto compacto K y un conjunto abierto y acotado G tales que K
A G y m(GK) < .
Teorema 2.21. Sean A, B conjuntos acotados y medibles. Entonces AB, A B y
A B son medibles.
Demostracion:
a) Dado > 0, sean G1 , G2 conjuntos abiertos y acotados y K1, K2 conjun

tos compactos tales que K1 A G1 , K2 B G2 , m(G1 K1 ) < ,
2
m(G2K2 ) < .
2
Sean H = G1 K2, L = K1 G2 ; H es abierto y scotado, L es compacto y
L AB H.

HL = H K1 G2 = H K1 [H G2 ]

= H K1 G1 K2 G2

G1 K1 G2 K2 (G1 K1) (G2K2 )
HL (G1K1 ) (G2 K2) .
m (HL) m (G1K1 ) + m (G2 K2 ) .

Como HL, G1 K1 , G2 K2 son conjuntos medibles se tiene:
m(HL) m(G1 K1 ) + m(G2 K2 ) < .
Por el Lema 6, AB es medible.
b) Como A B = (AB) (BA) (A B) se tiene que A B es union
de
conjuntos medibles, acotados y dos a dos disjuntos. El teorema 9 dice que
A B es medible.

CAPITULO
30
Nota 1: Sea F R un conjunto cerrado, entonces: F [n, n] es compacto y

por tanto medible para todo n N, leugo F es medible.
Nota 2: (AB)[n, n] = A[n, n]B [n, n]. Por el Teorema 10, (AB)
[n, n] es medible para todo n N y por tanto AB es medible.
En particular, si A R es medible, entonces A = RA es medible.

Tambien si G R es un conjunto abierto, entonces G = G , lo cual prueba
que G es medible.
Nota 3: Si A, B son subconjuntos medibles de R, entonces:
(A B) [n, n] = (A [n, n]) (B [n, n]) .
El Teorema 10 dice que (A B) [n, n] es medible para todo n N por tanto
A B es medible.
Por induccion,
si A1, A2, . . . , Am son subconjuntos medibles de R, entonces
m
[
Ai tambien es medible.
i=1
finita o numerable de conjuntos mediTeorema 2.22. Sea

[ {Ak }kN una coleccion
Ak es medible y
bles, entonces
kN
Ak
kN
mAk .
kN
Demostracion:
a) Caso numerable N = N. Sean B1 = A1, Bk = Ak
k1
[
i=1
Ai , entonces
{Bk }kN es una sucesion

de conjuntos medibles, dos a dos disjuntos y
k=1
Bk ,
Bk es medible y por tanto
Ak =
k=1
Ak es medible y:
k=1
k=1
k=1
Ak
=m
k=1
Bk
mBk .
k=1
Bk Ak entonces Bk [n, n] Ak [n, n] para todo n N, entonces

mBk mAk . Entonces
!
X
[
mAk .
Ak
m
k=1
k=1

b) Casi finito:
m
[
Ai =
i=1
31
Ai , Ai = is i > m. Entonces
i=1
m
[
Ai
i=1
m
X
mAi =
i=1
mAi .
i=1

Denotemos:
m = {A R / A es medible segun
Lebesgue } .
m es una -algebra .
finita o numerable de conjuntos mediTeorema 2.23. Sea

\ {Ak }kN una coleccion
Ak es medible
bles, entonces
kN
Demostracion:
Ak =
kN
"
Ak
kN
#
Teorema 2.24. Sea {Ai}iN un sucesion

de conjuntos medibles.
a) Si A1 A2 A3 . . .., entonces:
An
n=1
lm mAm .
b) Si A1 A2 A3 . . . y mA1 < , entonces

!
\
m
An = lm mAm .
n
n=1
Demostracion:
a) Sean B1 = A1 , . . . , Bk = Ak Ak1; {Bk }kN es una sucesion

de conjuntos
[
[
Bk
An =
medibles , dos a dos disjuntos y
n=1
n=1
An
=m
k=1
k=1
Bk
X
k=1
mBk .

CAPITULO
32
An =
Bk , entonces mAn =
n
X
mBk , entonces
k=1
k=1
lm mAn =
mBk = m
An
n=1
k=1
b) A1 A2 A1A3 A1 A4 . . .
(A1An ) = A1
n=2
An = A1
n=2
An
n=1
y suando a) se obtiene:
m
n=1
An
= lm mAm .
n

Nota: Si A, B son medibles y Ac onB entonces mA mB
Proposicion
2.25. Para cualquier intervalo I se tiene
m(I) = (I) .
Proposicion
2.26. Para cualquier conjunto abierto G R se tiene mG = (G).
Teorema 2.27. Sea E R un conjunto medible y > 0, entonces:
i) Existe G R abierto tal que E G y m(GE) < .
ii) Existe F R cerrado tal que F E y m(EF ) < .
iii) Si m(E) < , existe F R compacto tal que F E y m(EF ) < .
Demostracion:
i.1) Si E es acotado
mE = nf{(G) / E G, G abierto } ,
entonces existe un conjunto abierto G0 tal que E G0 y (G0 ) < mE + .
Sean < a, b > un intervalo abierto y acotado tal que E < a, b >, entonces
E < a, b > G0 = G, G G0 , G es abierto y acotado, G es medible,
mG = (G) (G0 ) < mE + . mG < mE + , entonces
m(GE) < .
33
i.2) Supongamos ahora que E no es acotado. Para cada n N, E [n, n] es

medible y acotado. Entonces existe un conjunto abierto y acotado Gn tal
[
P
que E [, n] Gn y m(Gn E [n, n]) < n . Sea G =
Gn , E =
2
n=1
[
[
E [n, n] G. G es abierto y GE
(Gn E [n, n]).
n=1
n=1
m(GE) m
<
"
n=1
X
n=1
(GnE [n, n])
n=1
m(Gn E [n, n])
= .
2n
Luego, m(GE) < .

ii) Si E es medible, entonces E es emedible. Por la parte i) existe G R abierto
tal que E G y m(GE) < . Sea F = G, F E, F es cerrado y
EF = E G = GE. Luego:
m(EF ) = m(GE) < .
iii) Si E es medible con mE < , entonces En = E [n, n] es medible para
cada n N y mE = lmn m(En). Luego, dado > 0, existe n N tal que
P
mE < mEn , luego m(EEn ) < , En es medible, por ii) existe F En

2
2
cerrado tal que m(En F ) < . Como En es acotado, F es compacto. Como

2
F En E se tiene:
(EF ) = (EEn) (EnF )
m(EF ) = m(EEn ) + m(En F ) <

m(EF ) < .

Proposicion
2.28. Si E R es un conjunto medible, entonces
m E = m E = mE .
Demostracion:
34
CAPITULO
a) Supongamos que mE < .
Entonces existen G R conjunto abierto y F R conjunto compacto tales

que F E G, m(GE) < , m(EF ) < , entonces: mG mE < ,
mE mF < .
m E (G) = mG < mE + .
m E (F ) = mF > mE .
m E 2 < mE < m E para todo > 0. Cuando 0 se obtiene:

m E mE m E .
b) Si mE = +.
E [n, n] es medible y acotado para todo n N, luego: E [n, n] E
m(E [n, n]) = m (E [n, n]) m E .
para todo n N, entonces
lm m(E [n, n]) m E .
Entonces
mE = m E = m E = + .
Proposicion
2.29. Sea M R un subconjunto medible con m(M) < y H M,
entonces:
a) m = (MH) = mM m H.
b) m = (MH) = mM m H.
Demostracion:
a) Dado > 0, existe G abierto tal que M G y m(GM) < , mGmM < .
2
2
Como m H < , existe F H compacto tal que mF > m H . GF es

2
abierto y MH = M H G F , MH GF , luego:
m (MH) m(GF ) = mG mF

m H
.
< mM +
2
2
m (MH) < mM m H + para todo > 0, luego:

m (MH) m(M) m H .
35
Por otra parte: existe F1 M compacto tal que m(MF1 ) < , y existe
2
G1 R abierto tal que MH G1 y mG1 < m (MH) + ; F1G1 es

2
compacto y F1 G1 H, entonces (F1G1 ) m H. F1 G1 G1 entonces
m(F1 G1 ) mG1 .
m(G1 ) + m(F1 G1 ) m(F1 G1 ) + m(F1 G1 )
= mF1 > m(M) .

2
Luego:

m (MH) + m H > m(G1 )
+ m(F1G1 ) > m(M) , > 0 .
2
Luego:
Por tanto:
m (MH) m(M) m (H) .

m (MH) = m(M) m (H) .
b) Ahora denotando H1 = MH M y usando la parte a) se tiene:

m (MH1 ) = m(M) m(H1 ) ,
m (H) = m(M) m (MH) , o
m (MH) = m(M) m (H) .

Teorema 2.30. Un subconjunto E R es medible si y solo
si:
m A = m (A E) + m (A E) .
para todo A R.
Demostracion:
a) Supongamos que E es medible, entonces E es medible. Sea > 0. Existen

G1 , G2 abiertos tales que E G1 , E G2 , y m(G1 E) < , m(G2E) <
.
Pero:
Luego:
G1 G2 =
=
G1 G2 (E E)
(G1 G1 E) (G1 G2 E)
(E G2 ) (G1 E)
(G2 E) (G1 E) .
m(G1 G2 ) m(G2 E) + m(G1 E) < 2 .
36
CAPITULO
Veamos ahora que:
m A m (A E) + m A E
para todo A R.
(*)
i) Si m A = +, la desigualdad en () es verdadera.
ii) Supongamos entonces que m A < . Existe G3 abierto tal que A G3
y mG3 < m A + ; G3 G1 , G3 G2 son conjuntos abiertos, A E
G3 G1 , A E G3 G2 .
m (A E) m(G3 G1 ) , m (A E) m(G3 G2 )
G1 G2 , G2 G1 , G1 G2 son dos a dos disjuntos y su union
es G1 G2 ,
luego:
mG3 m [G3 (G1 G2 )]

= m G3 G1 G2 + m G3 G2 G1 + m [G3 G2 G1 ]

= m G3 G1 G2 + m [G3 G1 G2 ]

+ m G3 G2 G1 + m [G3 G2 G1 ] m [G3 G2 G1 ]
= m(G3 G1 ) + m(G3 G2 ) m[G3 G2 G1 ]
Entonces
m(G3 G1 ) + m(G3 G2 ) m(G1 G2 ) .

mG3 m (A E) + m A E 2 .

m A + > mG3 m (A E) + m A E 2
para todo > 0. Cuando 0 se tiene:

m A m (A E) + m A E .

Como A = (A E) A E se tiene:
por tanto:

m A m (A E) m A E ;

m A = m (A E) + m A E , A R .
b) Reciprocamente, supongamos que se cumple:

m A = m (A E) + m A E , A R .
(**)
37
Tomemos A R un conjunto medible y acotado A E A, AA E =

AE, luego usando la Proposicion
6 con A = M y A E = H se tiene:
m (AE) = mA m (A E) , o
mA = m (A E) + c (AE) .
De (**) se obtiene mA = m (A E) + m (AE) lo cual implica que m (A

E) = m (AE), es decir AE es medible para todo conjunot A R medible
y acotado. En particular A [n, n] es medible para todo n N

Ejercicios
1. Sea I1, I2, . . . , In un numero
finito de intervalos, dos a dos disjuntos, conten

X
nidos en un intervalo < a, b >. Probar que
(Ii ) b a.
i=1
2. Si A es un conjunto numerable, verificar que m A = 0.

3. Verificar que el intervalo [0, 1] no es numerable.
4. Sea A R cualquier conjunto y > 0.
a) Probar que existe un conjunto abierto O tal que A O y mO m A+.
b) Probar que existe una sucesi

#(On )nN de conjuntos abiertos tal que
" on
\
\
A
On y m A = m
On .
n=1
n=1
5. Sea G R un conjunto abierto y a R un numero
real, verificar que (a +

G) = (G).
Definicion
6. Sea B R y a R un numero
real, definimos:
a + B = {a + x / x B} .
6. Si A R es un conjunto y a R es un numero
real, probar que m (a + A) =

m (A).
7. Si F R es un conjunto compacto y a R, verificar que (a + F ) = (F ).
8. Para cualquier conjunto A R, y a R, verificar que m (a + A) = m A.

CAPITULO
38
9. Sean A, B subconjunto de R. Si m B = 0, probar que m (A B) = m A.

10. Sea E un subconjunto de R y a R. Si E es medible probar que a + E es
medible y que m(a + E) = mE.
2.7. Existencia de conjuntos no medibles

1 1
En el intervalo cerrado ,
definimao xRy si y solo
si x y Q. R es
2 2

1 1
un relacion
de equivalencia y por tanto divide a ,
en conjuntos disjuntos
2
2

[
1 1
,
=
Bi .
2 2
iI
Usando el axioma de eleccion
escogemos un punto ai en cada Bi, i I, y
formamos el conjunto A = {ai / i I}.
Sea 0, r1, r2, r3, . . . , una numeracion
de los numeros
racionales en [1, 1] y denotamos: A0 = A, Ak = rk + A para k 1, se tiene:

[

1 1
3 3
,
Ak ,
,
2 2
2 2
k=0
y Am An = si m 6= n.
Supongamos que z Am An ; a Am = A + rm ; z An = A + rn ; rm 6= rn.
z = ai + rm , z = aj + rn ; ai 6= aj . ai , aj son elemento distintos de A. ai aj =
rn rm Q, ai Raj lo cual no es cierto, pues en A hya un solo
elemento en cada
clase de equivalencia. Por tanto Am An = .
Veamos que A es un conjunto no-medible. Como la medida interior y la medida exterior son invariantes por traslacion
se tiene:
m Ak = m A = , m Ak = m A = .

[
1 1
Entonces se ,
Ak se obtiene:
2 2
k=0
"#

[
X
1 1
m Ak .
m
1=m ,
2 2
k=0
k=0
1 + + + ; luego > 0.

[
3 3
Ak ,
De
se obtiene:
2 2
k=0
#
"

X
[
3 3
m Ak .
Ak
3 = m ,
m
2 2
k=0
k=0
2.7. EXISTENCIA DE CONJUNTOS NO MEDIBLES
39
3 + + + , luego = 0.
O sea: m A < m A y por tanto A no es medible.
Ejercicios
1. Si E R, verificar que los siguientes enunciados son equivalentes:
a) E es medible
b) Dado > 0 , existe un conjutno abierto O tal que E O y m (OE) <
.
c) Dado > 0, existe un conjunto cerrado F tal que F E y m (EF ) <
.
\
On y
d) Existe una sucesion
(On )nN de conjuntos abiertos tal que E
n=1
"
#
\
m
On E = 0.
n=1
Fn E y
e) Existe una sucesion
(Fn)nN de conjuntos cerrados tal que
n=1
#
"
[
m E
Fn = 0.
n=1
Si m E < , los anteriores enunciados son equivalentes con:
f) Dado > 0, existe una union

finita de intervalos abiertos U tal que
m (U E) < E .
2. Si E1, E2 son conjuntos medibles, probar que
m(E1 E2) + m(E1 E2) = mE1 + mE2 .
3. Sea A R cualquier conjunto y E1, E2, . . . , En una sucesion
finita y dos a
dos disjuntos de conjuntos medibles, probar que:
!#
"
n
n
X
[
=
m A
m (A Ei ) .
Ei
i=1
i=1
4. Sea F un subconjunto de [0, 1] construido de la misma manera que e conjunto de Cantos, excepto que cdad uno de los intervalos removidos en el
n-esimo paso tiene longitud 3n con 0 < < 1. Entonces F es compacto,
si A = [0, 1]F entonces A = [0, 1] y mF = 1 .
40
CAPITULO
5. Probar que los conjuntos medibles segun
Lebesgue de R forman una -algebra de conjuntos.
6. Probar que todo conjunto de Borel de R es un conjunto medible.
3
Funciones medibles.
3.1. Funciones medibles.
Los conjuntos abiertos de R son conjuntos abiertos de R y ademas los conjuntos de la forma [, a >, < b, +] para todo a, b reales.
Definicion
1. Sea U un subconjunto de R. Una funcion
f :U
R se llama medible en U si U es medible y el conjuntos {x
U / f (x) > c} es medible para cada numero
real c.
Nota: Sea f : U R una funcion

y c R, entonces:
a) {x U / f (x) c} = U {x U / f (x) > c}
b) {x U / f (x) < c} =

[
n=1
1
x U / f (x) c
n
c) {x U / f (x) c} = U {x U / f (x) < c}

d) {x U / f (x) > c} =

[
n=1
1
x U / f (x) c +
n
Luego se tiene la siguiente proposicion:
Proposicion
3.1. Sea U R un conjunto medible. Una funcion
f : R es medible
si y solo
si, para cada c R uno cualquiera de los siguientes conjuntos:
{x U / f (x) c} , {x U / f (x) < c} , {x U / f (x) c}
es medible.
41

CAPITULO
3. FUNCIONES MEDIBLES.
42
Nota: Sea U R y f : U R una funcion,
f 1(< a, b >) = {x U / a < f (x) < b}
= {x U / f (x) > a} {x U / f (x) < b} ,
luego f 1(< a, b >) es un conjunto medible.

Si G R es un conjunto abierto, entonces G es[una union
finita
[o numerable
f 1(Ii), por
Ii, f 1(G) =
de intervalos abiertos y dos a dos disjuntos: G =
tanto f 1(G) es medible.
Luego se tiene la siguiente proposicion:
iN
iN
Proposicion
3.2. Sea U R un conjunto medible. Una funcion
f : U R es
1
medible si solo
si f (G) es medible para todo conjunto G abierto en R.
continua y U R un conjunto
Proposicion
3.3. Sea g : R R una funcion
medible. Si f : U R es una funcion
medible, entonces la funcion
compuesta
h = g f es medible.
Definicion
2. Sea f : U R una funcion
y a R.
a) Si a 6= 0, definimos (af )(x) = af (x), para todo x U .
b) Si a = 0, definimos (0f )(x) = 0, para todo x U .
c) Para cualquier numero
real a, definimos (f + a)(x) =

f (x) + a, para todo x U .
Se observa que si f : U R es una funcion
medible, entonces para todo a R
las funciones af y a + f tambien son medibles.
Teorema 3.4.
a) Sean f, g : U R funciones medibles, entonces las funciones h1 (x) =
max{f (x), g(x)}, h2 (x) = mn{f (x), g(x)} tmabien son medibles.
b) Si fi : U R, i N es una sucesion
de funciones medibles, entonces las
funciones h1 (x) = sup fi(x), h2 (x) = nf fi (x) tambien son medibles.
iN
iN
Demostracion:
a)
{x U / h1 (x) > c} = {x U / f (x) > c} {x U / g(x) > c}
{x U / h2 (x) < c} = {x U / f (x) < c} {x U / g(x) < c}
3.1. FUNCIONES MEDIBLES.
43
b)
{x U / h1 (x) > c} =
{x U / h2 (x) < c} =
{x U / fi (x) > c}
i=1
{x U / fi (x) < c}
i=1

medible, entonces:
Teorema 3.5. Sea f : U R una funcion
a) Las funciones |f | y f 2 son medibles.
b) Si para f (x) 6= 0 para todo x U , entonces las funciones
1
es medible.
f
c) Si f, g : U R son funciones medibles, entonces el conjunto {x U / f (x) >

g(x)} es medible. En consecuencia las funciones f g, f + g y f g son medibles.
Demostracion:
a) Como a funcion
valor absoluto es continua, la proposicion
3 dice que la
funcion
|f | es medible.
(
U,
si c < 0 .
{x U / f 2(x) > c} =
{x U / |f (x)| > c} , si c 0 .
b)
c)
{x U / f (x) > 0} ,
si c 0 .

, si c > 0 .
{x U / f (x) > 0} x U / f (x) <
1
c
>c =
xU/
f (x)
{x U / f (x) > 0} {x U / f (x) < 0}

, si c < 0 .
1
x U / f (x) <
c
{x U / f (x) > g(x)} =
rQ
({x U / f (x) > r} {x U / g(x) < r}) ,
donde Q es el conjunto de los numeros
racionales. Finalmente:
{x U / f (x) g(x) > c} = {x U / f (x) > g(x) + c} ,

CAPITULO
44

1
f +g = f (g) y f g =
(f + g)2 (f g)2 . Por tanto las funciones f g,
4
f + g y f g son medibles.
3.2. Lmite superior y lmite inferior.

Sea (yi)iN una sucesion
de elementos de R, y:
zk = nf{yi / i k} , z1 z2 z3 . . .
Definimos:

yi = lm zk = sup{zk / k N} = sup nf yi .
k
kN
ik
lmnf yi se llama el lmite inferior de la sucesion

(yi)iN y se denota con lim yi , es
i
decir: lim yi = lm inf yi .

i
Analogamente definimos:

lm sup yi = lm sup yi = nf sup yi .
k
kN
ik
ik
lm sup yi se llama el lmite superior de la sucesion

(yi)iN y se denota con lim yi
i
es decir lim yi = lm sup yi .

i
Nota:
1. lim yi lim yi .
i
2. lim yi = lim yi = l si y solo

si existe lm yi = l.
i
Definicion
3. Si fi : U R, i N, es una sucesion
de funciones, definimos f = lim fi , g = lim fi, mediante:
i
f (x) = lim fi(x) , g(x) lim fi (x)

i
Como
lim fi = supiN {nf ik fi } .

lim fi = nf kN supik fi ,
3.2. LIMITE
SUPERIOR Y LIMITE
INFERIOR.
45
si (fi)iN es una sucesion

de funciones medibles, entonces las funciones lim fi y
i
lim fi tambien son medibles.
En particular, si (fi)iN es una sucesion

de funciones medibles y existe f (x) =
lm fi (x) para todo x U , entonces f es medible.
Funcion
escalonada: Una funcion
g : R R se llama escalonada si existe un
intervalo cerrado y acotado [a, b], una particion:
a = x0 < x1 < . . . < xn = b

del intervalo [a, b] y numeros
reales c1 , c2 , . . . , cn tales que:

i) g(x) = ci , si x < xi1, xi >, i = 1, 2, . . . , n.
ii) g(x) = 0, si x [a, b].
Funcion
caracterstica: Sea A un subconjunto de R, la funcion
A : R R
definida mediante:
(
1 , si x A
A (x) =
0 , si x 6= A
se llama la funcion
caracterstica del conjunto A.
Funcion
simple: Una funcion
: R R se llama simple si existe un numero
finito A1, A2, . . . , An de conjuntos medibles y dos a dos disjuntos tales que:
i) es constante en cada Ai , o sea, existe ai R tal que (x) = ai , si x Ai ,
i = 1, 2, . . . , n
ii) (x) = 0 si x
/
n
[
Ai .
i=1
Toda funcion
simple : R R puede escribirse en la forma =
caracterstica del conjunto Ai .
donde Ai es la funcion
n
X
ai Ai ,
i=1
Proposicion
3.6. Si , : R R son funciones simples, entonces + : R R
tambien es una funcion
simple.
Demostracion:
=
m
X
i=1
ai Ai , =
n
X
j=1
bj Bj ; Ai Aj = y Bi Bj = si i 6= j;
ai 6= 0 para i = 1, 2, . . . , m, bj 6= 0 para j = 1, 2, . . . , n.
Definamos A0 = {x R / (x) = 0}, B0 = {x R / (x) = 0} y consideremos
los conjuntos:

i = 0, 1, . . . , m ; j = 0, 1, . . . , n
.
A i Bj /
(i, j) 6= (0, 0)

CAPITULO
46
Si x Ai B"
j , entonces (#+ )(x) = ai + bj , donde a0 = b0 = 0.
m
n
[ [
Si x
/
(Ai Bj ) , (i, j) 6= (0, 0) entonces ( + )(x) = 0. Luego, +
i=0
j=0
es una funcion
simple.
Lema 3.7. Sea f : U R una funcion

medible y no-negativa. Entonces existe una
sucesion
(n)nN de funciones simples y no-negativas tal que:
a) n n+1 para todo n N.
b) lm n (x) = f (x) para todo x U .
n
c) Si f es acotado, entonces lm n (x) = f (x) uniformemente en U .

n
Demostracion:
Para cada n N, definamos una coleccion:
n2n 1
{En } {Ek,n }k=0 , de conjuntos medibles y dos a dos disjuntos, mediante:

k+1
k
,
Ek,n = x U / n f (x) <
2
2n
k = 0, 1, 2, . . . , n2n 1, En = {x U / f (x) n}.
0
n
1
2n
2
2n
n2n 1
n
Figura 3.1
y definimos:
n (x) =
n
n2
1
X
k=1
k
E (x) + nEn (x) .
2n k,n
k
Se observa que si x Ek,n entonces n (x) = n y que si x En entonces n (x) =
2
n.
Si x U entonces x Ek,n para algun
k, o x En , luego:
n(x) =
k
< n o n(x) = n .
2n
En consecuencia (x) n para todo n N y todo x U . Tambien n(x)

f (x) para todo n N y todo x U .
Tomemos x U :
i) Si f (x) n + 1, entonces x En+1 y n+1(x) = n + 1 > n n (x).
3.2. LIMITE
SUPERIOR Y LIMITE
INFERIOR.
47
ii) Si f (x) < n + 1:

0
n+1
1
(n + 1)2n+1 1
n
2n+1 2n+1
Figura 3.2
l
l+1
Existe l N tal que n+1 f (x) < n+1 , entonces x El,(n+1) y n+1(x) =
2
2
l
.
2n+1
ii.a) Si l es par:
l
2
2n
n (x) =
l
2
2n
l
2n+1
f (x) <
l+1
2
2n
<
l
2
+1
2n
= n+1(x).
ii.b) Si l es impar:
l1
2
2n
l1
2
2n
<
l
2
2n
f (x) <
l+1
2
2n
l1
2
+1
2n
l
2
2n
l
<
= n+1 = n+1(x). Por tanto n (x) n+1(x) para
n (x) =
2
todo n N y todo x U .
b) Si f (x) < , existe n0 N tal que n0 1 f (x) < n0. tomemos n N tal
que n n0 ,
0
n
f (x)
Figura 3.3
existe l N tal que
l+1 l
l+1
l
f
(x)
<
,
=
(x)
f
(x)
<
, luego:
n
2n
2n 2n
2n
0 f (x) n (x) <
1
, lm n (x) = f (x) .
2n n
Si f (x) = +, entonces x En para todo n N, por tanto

lm n (x) = + = f (x) .

CAPITULO
48
c) Si 0 f (x) < M, dado > 0 podemos tomar n0 N tal que n0 > M y

1
l
l+1
<
.
Para
n
n
,
existe
l
N
tal
que
f
(x)
<
, entonces:
0
2n
2n
2n
0 f (x) n(x) < para todo n n0 y todo x U ; luego lm n (x) = f (x)
n
uniformemente en U .

Observacion
1: Como 0 n (x) f (x) para todo x U y todo n N, si
0 f (x) M, entonces 0 n (x) M.
Observacion
2: Sea f : [a, b] R una funcion
medible y finita a.e.(almost
every were, casi en todo punto), entonces:
i) Dado > 0, existe k0 N y un subconjunto AK0 [a, b] tal que m(Ak0 ) <
3
y |f (x)| k0 para todo x [a, b]Ak0 .
ii) Dado > 0, existe una funcion
simple : R R tal que |f (x) (x)| <
para todo x [a, b]Ak0 .
En efecto, sean:
A = {x [a, b] / |f (x)| = +} .
Ak = {x [a, b] / |f (x)| > k} .
A1 A2 A3 . . .;
k1
Ak = A . Entonces
lm m(Ak ) = m(A ) = 0 .
Entonces, dado > 0 existe k0 N tal que: 0 mA0 <
todo x [a, b]Ak0 .
y |f (x)| k0 para
3
iii) Sea U = [a, b]Ak0 ,

k0 f (x) k0 entonces 0 f (x) + k0 2k0
medible, no-negativa,
para todo x U ; f + k0 : U R es una funcion
acotada. Entonces, existe una sucesion
: R R de funciones simples tal
que:
lm n (x) = f (x) + k0
n
uniformemente en U .
Luego, dado > 0, existe una funcion
simple = n0 tal que:
|f (x) + k0 (x)| < para todo x U .
|f (x) ((x) k0)| < para todo x U .
y = k0 es una funcion
simple.
3.2. LIMITE
SUPERIOR Y LIMITE
INFERIOR.
49
Nota: Si m f (x) M para todo x U , entonces 0 f (x) m M m;

f (x) m es una funcion
medibel y no-negativa. Entonces existeuna sucesion
0 n(x) f (x) m
de funciones simples tal que n f m uniformemente en U . Luego n = n +m
es una sucesion
de funciones simples tal que
m n (x) f (x) M
para todo x U y todo n N, y n f uniformemente en U .
Ejercicio: Sean F1 , F2, . . . , Fn subconjuntos compactos de R dos a dos disjuntos, entonces existen conjuntos abiertos O1 , O2 , . . . , On dos a dos disjuntos tales
que Fi Oi para i = 1, 2, . . . , n.
medible, finita a.e. en [a, b]. EnProposicion
3.8. Sea f : [a, b] R una funcion
tonces, dado > 0 podemos hallar una funcion
escalonada g : [a, b] R y una
funcion
continua h : [a, b] R tal que
|f (x) g(x)| < y |f (x) h(x)| <
para todo x [a, b]W , con m(W ) < .
Si m f (x) M para todo x [a, b] entonces podemos escoger las funciones
g y h de modo que m g(x) M y m h(x) M para todo x [a, b].
Demostracion:
Sea : R R la funcion
simple obtenida en la Observacion
2,
=
m
X
ci Bi .
i=1
Si U = [a, b]Ak0 entonces Bi U y
m
[
Bi = U .
i=1
Como Bk es medible, dado > 0 existe Fk compacto tal que Fk Bk y

m
[
m(Bk Fk ) <

Fk se tiene F U y:
. Tomando F =
3m
k=1
m (U F ) =
X
k=1
m (Bk Fk ) <
.
3
Como los Fk s son compactos y dos a dos disjuntos, existen conjuntos abiertos
01, 02, . . . , Om dos a dos disjuntos tales que Fk Ok , 1 k m
[
finita o numerable de inFk Ok =
Iik union
tervalos abiertos y disjuntos.
i

CAPITULO
50
Fk compacto entonces Fk Iik1 Iik2 . . . Iikj(k) .

Luego, definiendo g : [a, b] R mediante:
h
i
k
k
ck , si x Ii1 . . . Iij(k) [a, b]
h
i
g(x) = 0 ,
k
k
si x [a, b] Ii1 . . . Iij(k)
k = 1, 2, . . . , m.
g es una funcion
escalonada y g(x) = ck = (x) para todo x F
3.3. Convergencia en medida.

Convencion:
Sean f, g : U R dos funciones y R, > 0. Si x U es tal
que f (x) = g(x) = +, o f (x) = g(x) = , entonces pondremos estas x en el
conjunto:
{x U / |f (x) g(x)| }
Teorema 3.9 (Lebesgue). Sea E R un conjunto medible, mE < , fn : E R
tales que:
una sucesion
de funciones medibles y f : E R uns funcion
i) m {x E / |fk (x)| = +} = 0, k N. m{x E / |f (x)| = +} = 0.
ii) lm fn (x) = f (x) para todo x EC, donde m(C) = 0.
n
Entonces para cada R, > 0 se tiene:

lm [m (x E / |fn (x) f (x)| )] = 0 .
Demostracion:
La funcion
f es medible y los conjuntos: An = {x E / |fn (x)| =
}, A = {x E
/ |f (x)|
"
# = +} y C son conjuntos medibles.
[
Si Q = A
An C, entonces mQ = 0. Definamos:
n=1
Ek () = {x E / |fk (x) f (x)| }

R(n()) =
k=n
Ek (), M =
Rn ().
n=1
Todos estos conjuntos son medibles y R1 () R2() . . ., lm mRn () =

n
mM.
Probaremos que M Q: Si x0 EQ, entonces x0
/ C y por tanto existe
f (x0) = lm fk (x0) .
k
3.3. CONVERGENCIA EN MEDIDA.

x0
/
k=1
51
Ak , entonces fK (x0) R para todo k N, tmabien f (x0) R. Entonces,
existe n0 N tal que |fk (x0) f (x0)| < para todo k n0, luego x0
/ Ek () para
todo k n0 , x0
/ Rn0 () y x0
/ M. Por tanto M Q entonces mM = 0, entonces
lm mRn () = 0 y como En () Rn (), se tiene:
lm mEn () = 0

Definicion
4. Sea fn : E R una sucesion
de funciones medibles y f : E R una funcion
tales que:
i) m{x E / |fn (x)| = +} = 0, n N.
ii) m{x E / |f (x)| = +} = 0.
Si
lm [m{x E / |fn (x) f (x)| }] = 0
para todo numero
real > 0, entonces se dice que la sucesion
(fn)nN converge en medida a la funcion

f.
m
Notacion:
fn f , fn converge en medida hacia f .
Definicion
5. Dado un conjunto E; si una propiedad P se cumples en ED donde mD = 0, entonces se dice que la propiedad
P se cumple casi en todas partes en E y se escribe: P se cumple a.e. en E
Ejemplo: Sea f : [a, b] R una funcion.
Si existe un conjunto D [a, b] con
mD = 0 tal que f es continua en [a, b]D, entonces se dice que f es continua a.e.
en [a, b].
Nota: Si (fn), f satisfacen las hipotesis del Teorema 3(Lebesgue), entonces
m
m
fn f ; es decir fn f a.e., entonces fn f .
El siguiente ejempli muestra que el recproco no es cierto.
(k)
Ejemplo: Para cada k N definamos fi : [0, 1 > R, i = 1, 2, . . . , k de la
siguiente manera:

i1 i
,
1 , si x
k k
(k)

fi (x) =
i1 i
,
0 , si x [0, 1 >
k k

CAPITULO
52
(1)
(2)
(2)
(3)
(3)
Definiendo: 1 = f1 , 2 = f1 , 3 = f2 , 4 = f1 , 5 = f2 , . . ., etc., se tiene

(k)
que n es de la forma: n = fi , y k cuando n .

i1 i
,
,
{x E / |n (x) 0| } =
k k
si < 0, 1], y:
m
{x E / |n(x) 0| } = ,
si > 1, luego n 0.
Por
otra parte
si x0 [0, 1 >, para cada k N, existe i = 1, 2, . . . , k tal que
1i i
(k)
x0
,
, entonces fi (x0) = 1, entonces n (x0) 9 0.
k k
Teorema 3.10. Sean fn , f, g : E R funciones medibles, y finitas a.e. en E. Si
m
m
fn f y m{x E / f (x) 6= g(x)} = 0 entonces fn g.
Demostracion:
{x E / |fn (x)g(x)| } {x E / f (x) 6= g(x)}{x E / |fn (x)f (x)| } .

m
Teorema 3.11. Sean fn , f, g : E R funciones medibles. Si fn f y fn g,

entonces m{x E / f (x) 6= g(x)} = 0.
Demostracion:
Si n, k N entonces:

1
x E / |f (x) g(x)|
n

1
x E / |fk (x) f (x)|
2n
1
x E / |fk (x) g(x)|
2n

1
entonces m x E / |f (x) g(x)| = 0 para todo n N. Como:
n
{x E / f (x) 6= g(x)}

[
n=1
se tiene que m{x E / f (x) 6= g(x)} = 0.

1
x E / |f (x) g(x) |
n
Teorema 3.12 (F. Riesz). Sean f, g : E R funciones medibles, y finitas a.e. en

m
E, m(E) < . Si fn f entonces existe una subsucesion
(fnl ) de (fn ) tal que
lm fnl (x) = f (x) a.e. en E.
53
Demostracion:
Tomemos k N, fn f , entonces

1
=0.
lm m x E / |fn (x) f (x)|
n
k
1
, existe mk N tal que:
k2

1
1
m x E / |fnk f (x)|
< 2
k
k
Etonces, tomando k =
(podemos tomar n1 < n2 < n3 < . . .).

Veamos que lm fnk = f (x) a.e. en E.
Sea Ri =
\
1
Ri ; R1 R2 R3 . . .
{x E / |fnk (x) f (x)| }, Q =
k
i=1
k=i
lm m(Ri ) = mQ .
mRi
k=i
X
k=i
1
m x E / |fnk (x) f (x)|
k
1
,
k2
entonces lm mRi = 0, entonces mQ = 0.

i
Probaremos que lm fnk (x) = f (x), para todo x EQ: Sea x0 EQ, x0
/
k

1
Q, entonces existe i0 N tal que x0
/ Rio , o sea: x0
/ x E / |fnk f (x)|
k
1
para todo k i0 , entonces
para todo k i0; entonces |fnk (x0) f (x0)| <
k
lm fnk (x0) = f (x0)

k
Teorema 3.13 (Egorov). Sean fn , f : E R funciones medibles, y finitas a.e. en

E, mE < . Si lm fn (x) = f (x) a.e. en E,entonces para cada > 0, eciste un
n
conjunto medible E E tal que:
i) mE > mE .
ii) lm fn (x) = f (x) uniformemente en E .
n
Demostracion:
Sean:
Ek () = {x E / |fk (x) f (x)| } , > 0 .

CAPITULO
54
Ek (). En el Teorema 3(Lebesgue) vimos que lm m(Rn ()) = 0.

n
k=n

1
1
1
1
Entonces tomando i = 2 , existe ni N tal que para = , mRni
< 2.
i
i
i
i

[
X1
1
<
,
y
E
=
; se tiene mE0 < .
R
Tomemos i0 N tal que
0
n
i
2
i
i
i=i0
i=i0
Sea E = EE0 , obviamente: mE > mE .
Resta probar que lm fn (x) = f (x) uniformemente en E : Sea > 0, tomemos
n

1
1
i1 N tal que i1 i0 y < . Si x E , entonces x
/ E0 , entonces x
/ Rni
i1
i

1
, o sea
para todo i i0 , entonces x
/ Rni1
i1

[
[
1
1
x E |fk (x) f (x)|
=
Ek
x
/
i1
i1
Rn () =
k=ni1
k=ni1
entonces

1
x
/ x E |fk (x) f (x)|
, k ni1
i1
1
entonces |fk (x) f (x)| <
para todo k ni1 , entonces |fk (x) f (x)| < para
i1
todo k ni1 y todo x E
Teorema 3.14. Sea E R un conjunto medible, mE < y f : E R una funcion

medible y finita a.e. en E. Para cualquier > 0, existe uan funcion
medible y
acotada g : E R tal que
m{x E / f (x) 6= g(x)} < .
Demostracion:
Denotemos:
Ak = {x E / |f (x)| > k} , Q = {x E / |f (x)| = +} .
A1 A2 A3 . . . y m(Q) = 0.
\
Ak , entonces lm m(Ak ) = 0.
Q=
k=1
Entonces, dado > 0, existe k0 N tal que m(A0) < . Definamos g : E R

mediante:
(
f (x), si x EAk0 .
g(x) =
0,
si x Ak0 .
g es medible. Si x EAk0 , entonces: x Ak0 , entonces |g(x)| = |f (x)| k0 .
Finalmente {x E / f (x) 6= g(x)} = Ak0
55
Lema 3.15. Sean F1, F2, . . . Fn conjuntos cerrados y

n
[
F =
Fi . Si : F R es una funcion
ta; que
i=1
i = 1, 2, . . . , n entonces es continua en F .
dos a dos disjuntos de R y

Fi es constante para cada
Demostracion:
Sea H R un conjunto cerrado
1
(H) =
n
[
n
[
1
{x Fi / (x) H} =
Fi
(H)
i=1
i=1
que es cerrado.
Lema 3.16. Sea [a, b] un intervalo cerrado y acotado y F [a, b] un conjunto cerrado. Si : F R es una funcion
continua, entonces existe una funcion
continua
: [a, b] R con las siguientes propiedades:

1. F = .
2. max |(x)| = max |(x)|.

axb
xF
Demostracion:
Sea = mn F , = max F .
i) Si F = [a, b], definimos:
(),
(x) = (x),
(),
si x [a, i
si x [, ]
si x h, b] .
ii) Supongamos que F ( [,[

], entonces [, ]F =< , > F es un con< ai , bi >, J finito o numerable y < ai , bi > <
junto abierto, [, ]F =
aj , bj >= para i 6= j.
iJ
Definamos 0 : [, ] R de la siguiente manera:

(
(x),
0(x) =
Linealmente,
si x F
si x [, ]F .

CAPITULO
56
y
(a1 )
(x, 0(x))
(b1)
a1
b1
a2
Figura 3.4
0 es continua en [, ] y luego se extiende a una funcion

: [a, b] R
como en i). El maximo de en < ai , bi > es tomado en ai o en bi que son
puntos de F , luego
max |(x)| = max |(x)|
axb
xF

medible y finita a.e. en [a, b].
Teorema 3.17 (Borel). Sea f : [a, b] R una funcion
Para todo par de numeros
reales > 0, > 0, existe una funcion

continua :
[a, b] R tal que:
m{x [a, b] / |f (x) (x)| } < .
Si ademas |f (x)| k para todo x [a, b] podemos escoger tal que |(x)| k
para todo x [a, b].
Demostracion:
k
a) Supongamos que |f (x)| k para todo x [a, b]. Sea m N tal que
<y
m
construyamos los siguietnes conjuntos:

i1
i
Ei = x [a, b] /
k f (x) < k
m
m
(i = 1 m, 2 m, . . . , m 1).

m1
k f (x) k .
Em = x [a, b] /
m
Los conjuntos Ei, i = 1m, 2m, . . . , m1 son medibles y dos a dos disjunm
[
tos. Ademas [a, b] =
Ei. Como mEi = sup{mF / F Ei , F cerrado },
i=1m
57
podemos escoger un conjunto cerrado Fi Ei tal que mEi < mFi +

,
2m
.
m(EiFi ) <
2m
m
m
[
[
Sea F =
Fi; [a, b]F =
(EiFi).
i=1m
i=1m
Como Ei Ej = si i 6= j, se tiene:
m([a, b]F ) =
m
X
i=1m
m(EiFi ) <
m
X
<.
2m
i=1m
Definamos : F R mediante:
(x) =
i
k, para x Fi , i = 1 m, . . . , m .
m
Como Fi Fj = si i 6= j, el Lema 2 dice que es continua en F .
Ademas (x) k y |f (x) g(x)| < para todo x F . Aplicando el Lema 3

se obtiene una funcion
continua : [a, b] R tal que (x) = (x) para todo
x F y (x) k para todo x [a, b]. Por otra parte, como |f (x) (x)| <
para todo x F se tiene:
{x [a, b] / |f (x) g(x)| } [a, b]F .
Entonces
m{x [a, b] / |f (x) g(x)| } <
b) Supongamos que f no es acotada. Entonces, usando el teorema 8 podemos

hallar una funcion
medible y acotada g : [a, b] R tal que:
m{x [a, b] / f (x) 6= g(x)} <
.
2
Aplicando laparte a) a la funcion

g, se obtiene una funcion
continua :
[a, b] R tal que:
m{x [a, b] / |g(x) (x)| } <
.
2
y el resultado se obtiene de:

{x [a, b] / |f (x) (x)| } {x [a, b] / f (x) 6= g(x)}
{x [a, b] / |g(x) (x)| }

CAPITULO
58
Corolario 3.18. Para cualquier funcion

medible f : [a, b] R, finita a.e. en [a, b],
m
existe una sucesion
de funciones continuas n : [a, b] R tal que n f .
Demostracion:
Para cada n N, tomando = =
1
en el teorema de Borel, se
n
obtiene una funcion

continua n : [a, b] R tal que:

1
1
m x [a, b] / |f (x) n (x)|
< .
n
n
1
m
Veamos que n f . Dea > 0 un numero
real. Existe n0 N tal que < para

n
todo n n0 . Finalmente:
{x [a, b] / |f (x) n (x)| } {x [a, b] / |f (x) n (x)|
1
}
n
Ahora, aplicando el teorema de F.Riesz se obtiene el siguiente resultado:

medible y finita a.e. en
Teorema 3.19 (M.Frechet). Si f : [a, b] R es una funcion
[a, b], entonces existe una sucesion
de funciones continuas gn : [a, b] R tal que
gn (x) f (x) a.e. en [a, b].
Teorema 3.20 (N.N.Luzin). Sea f : [a, b] R una funcion
medible y finita a.e.
en [a, b]. Para cada > 0, existe una funcion
continua : [a, b] R tal que
m{x [a, b] / f (x) 6= (x)} < . Ademas, si |f (x)| k, tambien |(x)| k.
Demostracion:
Sea n : [a, b] R una sucesion
de funciones continuas tal que
lm n (x) = f (x) a.e. en [a, b](Ver teorema 10). Usando el teorema de Egorov, pon
demos hallar un subconjunto E [a, b] tal que mE m([a, b]) , y lm n (x) =

2 n
f (x) uniformemente en E . n f |E es continua en E .
Sea F E un conjunto cerrado tal que mF > mE . Obviamente: f |F :

2
F R es continua. Aplicando el Lema 3, encontramos una funcion
continua :
[a, b] R tal que |F = f |F , y max |(x)| = max |f (x)|. Luego: {x [a, b] / (x) 6=
axb
xF
f (x)} [a, b]F y
m([a, b]F ) = m([a, b]) mF = m([a, b]) mE + mE mF <

entonces m{x [a, b] / (x) 6= f (x)} < .
Si ademas |f (x)| k para todo x [a, b], tambien |f (x)| k para todo x F ,
y el teorema de Borel nos dice que |(x)| k para todo x [a, b]
59
Corolario 3.21. Sea f : [a, b] R una funcion

medible tal que |f (x)| k para todo
t [a, b]. Entonces, para cada > 0, existe uan funcion
continua g : [a, b] R y un
conjunto medible D [a, b] tal que g(t) = f (t) para todo t [a, b]D, g(a) = g(b),
mD < y |g(t)| k para todo t [a, b].
Demostracion:
Por el teorema de Luzn, existe una funcion
continua h : [a, b]
R y un subconjunto B [a, b] tal que h(t) = f (t) para todo t [a, b]B, mB <
2
y |h(t) k| para todo t [a, b], tomemos 0 < < y definamos:

2
si t [a, b ] .
h(t),
g(t) = h(a),
si t = b .
linealmente, en [b , b] .
g y f coinciden en [a, b](B [b , b]).
y
y = g(t)
y = h(t)
(b, g(b))
a
Figura 3.5
Tomemos D = B [b , b], mD < . Ademas g(a) = g(b) y |g(t)| k para

todo t [a, b].

Ejercicios
1. Sea U R un conjunto medible y f : U R una funcion
medible. Si c R,
probar que el conjunto: {x U / f (x) = c} es medible.
medible y A U un subconjunto medible.
Probar que F |A es medible.
medible, A U un subconjunto medible y c R.
Probar que la funcion:
(
f (x), si x U A
g(x) =
c,
si x A
es medible.
60
CAPITULO
4. Sea A R; probar que A es medible si y solo
si la funcion
caracterstica A
es emdible.
5. Si f : R R es una funcion
monotona,
probar que f es medible.

6. Si f : U R es una funcion
continua, U medible, probar que f es medible.
7. Probar que la funcion
de Dirichlet f : R R definida mediante:
(
1, si x RQ
f (x) =
0, si x Q .
medible, definamos:
||f || = sup essf
= nf{M 0 / m{x U / |f (x)| > M} = 0} .
Probar que ||f || = 0 si y solo
si f = 0 a.e. en U .
9. Sea E [1, 2] un conjunto no-medible. Construir una funcion
inyectiva f :
[1, ) R tal que:
{x [1, > / f (x) > 0} = E .
10. Sea (Ek )kN una suceison

de conjuntos medibles, E =
k=1
Ek y f : E R
una funcion.
Si f |Ek : Ek R es medible para todo k N, probar que
f : E R es medible.
11. Sea U R un conjunto medible. f : U R una funcion.
Si el conjunto
{x U / f (x) > c} es medible para todo c Q, probar que f es medible.
medible y B R un conjunto de Borel. Probar
12. Sea f : U R una funcion,
1
que f (B) es medible.
13. Sea U R un conjunto de Borel. Una funcion
f : U R se llama medible
1
segun
Bore, si f (B) es un conjunto de Borel para todo conjunto de Borel
B R.
a) Si f : U R es emdible Borel, probar que f tambiem es medible segun
Lebesgue.
b) Si f, g : R R son medibles Borel, probar que f g tmabien es medible
Borel.
c) Si f : R R es medible Borel, y g : R R es medible Lebesgue,
probar que f g es medible Lebesgue.

14. Verificar que:
a) AB = A B
b) AB = A + B A B
c) A = 1 A
61
62
CAPITULO
4
Integrales sobre R
4.1. Integral de funciones simples.
Proposicion
4.1. Sea : R R una funcion
simple. Si =
=
n
X
j=1
m
X
ai Ai y tambien
i=1
bj Bj , ai 6= 0, bj 6= 0, Ai Aj = , Bi Bj = si i 6= j, entonces:
m
X
ai m(Ai ) =
i=1
Demostracion:
Ai
ai m(Ai) =
n
X
j=1
n
[
Bj , A i =
j=1
n
X
bj m(Bj )
j=1
n
[
(Ai Bj ) union
disjunta,
j=1
ai m(Ai Bj ).
Si m(Ai Bj ) > 0, entonces Ai Bj 6= , y ai = bj , luego:

ai m(Ai ) =
m
X
ai m(Ai ) =
i=1
n
X
ai (Ai Bj )
j=1
" n
m
X
X
i=1 j=1
" m
n
X
X
j=1
i=1
Por otra parte:

63
bj m(Ai Bj ) .
#
bj m(Ai Bj ) .

CAPITULO
4. INTEGRALES SOBRE R
64
Bj =
m
[
m
X
(Ai Bj ) union
disjunta: m(Bj ) =
(Ai Bj ).
i=1
i=1
n
X
bj m(Bj ) =
j=1
" m
n
X
X
j=1
i=1
bj m(Ai Bj )
#
m
X
Definicion
1. Si =
i=1
ai Ai es una funcion
simple, (Ai Aj =
si i 6= j ), que se anula
Z fuera de un conjunto de medida finita,
(x)dx de la siguiente manera:
definimos la integral
(x)dx =
Notacion:
R (x)dx =
m
X
ai m(Ai )
i=1
(x)dx =
Proposicion
4.2. Sean , ; R R funciones simples que se anulan fuera de un
conjunto de medida finita, entonces:
Z
Z
Z
1. ( + ) = + .
2.
(c) = c
, para todo c R.
3. Si 0, entonces
0.
4. Si , entonces
Demostracion:
Demostracion
de 1.
m
n
X
X
=
ai Ai , =
bj Bj , ai 6= 0, bj 6= 0. Sean A0 = {x R / (x) = 0},
i=1
j=1
B0 = {x R / (x) = 0}. a0 = b0 = 0.
n
n
[
X
Ai = (Ai Bj ), Ai =
Ai Bj .
j=0
j=0
4.1. INTEGRAL DE FUNCIONES SIMPLES.
m
X
ai Ai =
i=1
m X
n
X
i=0 j=0
" n
m
X
X
i=1
j=0
65
ai Ai Bj
ai Ai Bj , (i, j) 6= (0, 0).
Analogamente: =
m X
n
X
i=0 j=0
m X
n
X
ai m(Ai Bj ), (i, j) 6= (0, 0).
i=0 j=0
m X
n
X
bj m(Ai Bj ), (i, j) 6= (0, 0).
i=0 j=0
+ =
Z
bj Ai Bj , (i, j) 6= (0, 0).
( + ) =
=
m X
n
X
i=0 j=0
m X
n
X
i=0 j=0
m X
n
X
i=0 j=0
(ai + bj )AiBj , (i, i) 6= (0, 0).

(ai + bj )m(Ai Bj )
ai m(Ai Bj ) +
m X
n
X
i=0 j=0
bj m(Ai Bj ),
Las restantes propiedades se dejan como ejercicios.
Si : R R es una funcion
simple que se anula fuera de un conjunto de
medida finita y E R es cualquier conjunto medible, definimos:
Z
E .

CAPITULO
66
Definicion
2. Si f : R R es una funcion
acotada y E R es
un conjunto medible con mE < , definimos:
L
f = nf
f = sup
(Z
(Z
Nota: Si f , entonces
f , simple
f, simple
y por tanto L
f L
f.
E
Teorema 4.3. Sea f : R R una funcion
acotada y E R un conjunto medible
con E < . Si f : E R es medible, entonces:

Z
Z
f,
f ,
/
/
= sup
nf
simple
simple
E
E
Demostracion:
Supongamos que |f (x)k M para todo x E. Si f : E R es
medible, entonces los conjuntos:

(k
1)M
kM
f (x) >
, n k n
Ekn = x E /
n
n
son conjuntos medibles, dos a dos disjuntos para n N fijo y
n
X
k=n
n
[
Ekn = E, mE =
k=n
mEkn . Definamos funciones simples n, n : R R de la siguiente manera:

n
M X
n (x) =
(k 1)Ekn (x) .
n
n (x) =
M
n
k=n
n
X
kEkn (x) .
k=n
se cumple n (x) f (x) n (x) para todo x E. Luego:

) Z
(Z ,
n
M X
f
n =
nf
kmEkn .
n
E
E
k=n
(Z ,
) Z
n
M X
(k 1)mEkn .
sup
f
n =
n
E
E
k=n
4.1. INTEGRAL DE FUNCIONES SIMPLES.
67
Luego:
nf
(Z
sup
(Z
(n n ) =
n
M
M X
m(Ekn) = mE
n
n
k=n
Para todo n N. Cuando n se tiene:

(Z ,
)
nf
= sup
(Z
)
Teorema 4.4. Sea E R un conjunto medible, mE < y f : E R una funcion
acotada. Si :
(Z ,
)
(Z ,
)
nf
= sup
=,
entonces f : E R es medible.
Demostracion:
Para todo n N, existen funciones simples n, n tales que:
n (x) f (x) n (x) para todo x E y:
Z
1
,
n < +
2n
E
n >
1
.
2n
1
.
n
E
E
Definamos , ; R R mediante
Luego:
n <
(x) = sup n (x) ; (x) = nf n (x) .

n
, son funciones medibles y (x) f (x) (x) para todo x E.

Veamos que (x) = (x) a.e. en E, lo cual implicara que f (x) = (x) a.e.
en E y por tanto que f es medible.

1
Sea Dm = x E / (x) (x) >
. Como n (x) (x) (x)
m

CAPITULO
68
n (x) para todo x E y todo n N, se tiene:

1
.
Dm Dmn = x E / n (x) n (x) >
m
1
Dmn n n en E .
Zm
Z
Z
1
1
Dmn
n
n < .
m E
n
E
E
1
m
1
m(Dmn ) <
, m(Dmn ) <
.
m
n
n
m
Dm Dmn , entonces m(Dm ) <
para todo n N, luego m(Dm ) = 0.
n
Dm , luego mD = 0
Si D = {x E / (x) (x) > 0} se tiene D =
m=1

acotada
Definicion
3. Sea E R un conjunto medible con m(E) < .
Si f : R R es una funcion
medible y acotada, definimos:
(Z ,
)
Z
L
f (x)dx = nf
f , simple
f (x)dx se llama integral de Lebesgue de f en E.
Notaciones:
Z
Z
a) L f (x)dx =
f cuando no existe lugar a confusion.
b) Si E = [a, b], escribiremos
f es ves de
[a,b] f .
c) Si E R es un conjunto medible con mE < y f : R R es una funciRon
medible yRacotada que se anula fuera de E, entonces podemos escribir f

en vez de E f .
d) Sea E R un conjunto medible con mE < y g : R R una funcion
medible y acotada en E, entocnes:

Z
Z
Z
g=
gE = gE .
E
ACOTADA
4.2. INTEGRAL DE UNA FUNCION
69
Ejmeplo: La funcion
f0 : R R definida mediante:
(
1 , si x Q [0, 1] = Q0 .
f0(x) =
0 , si x
/ Q0 .
es una funcion
simple, f Q0 , luego:
Z
Z
Z 1
f0 f0 = Q0 = 1mQ0 = 0
0
Nota: Sea [a, b] un intervalo cerrado, acotado y f : [a, b] R una funcion

acotada.
Toda funcion
escalonada es una funcion
simple, luego:
)
,
) (Z
(Z ,
b
b
f
gf
.
g
simple
g escalonada
a
a
Ademas,
Z b
f y
f denotan las integrales inferior y superior de Riemann
a
a
respectivamente, entocens:
a
Similartmente: L
Z b
a
f R
Z b
f.
f , luego:
f L
f L
f L
Z b
a
f R
Z b
f.
Por tanto, si una funcion

acotada f : [a, b] R es integrable segun
Lebesgue y las
integrales son iguales. Ademas f : [a, b] R es medible.
Teorema 4.5. Sea E R un conjunto medivle con mE < , Si f, g : E R son
funciones medibles y acotadas, entonces:
Z
Z
Z
1.
(f + g) =
f+
g.
E
2.
(cf ) = c
1 = m(E).
3.
f , para todo c R.

CAPITULO
70
4. Si f (x) g(x) para todo x E entonces
g. Por tanto:
E
Z Z

f
|f | .

E
5. Si |f (x)| c para todo x E entonces

Z Z

f
|f | cm(E) .

E
6. Si m(E) = 0, entonces
f = 0.
7. Si m(A B) = 0, A E, B E, entonces
Z
Z
Z
f=
f+
f.
AB
8. Si f (x) = g(x) a.e. en E, entonces
f=
g.
Demostracion:
1. Sean 1 , 2 funciones simples tales que f 1, g 2 . Entonces 1 + 2 es

una funcion
simple tal que f + g 1 + 2, luego:
Z
Z
Z
Z
(f + g) (1 + 2 ) =
1 +
2 .
E
Tomando nfimo en el segundo miembro se obtiene:

Z
Z
Z
(f + g)
f+
g.
E
Ahora, sean 1 , 2 funciones simples tales que 1 f , 2 g. Entonces

1 + 2 es una funcion
simple tal que 1 + 2 f + g; luego:
Z
Z
Z
Z
(f + g) (1 + 2 ) =
1 +
2 .
E
Tomando supremo en el segundo miembro se obtiene:

Z
Z
Z
(f + g)
f+
g.
E
ACOTADA
2.
si a > 0.
af ,
/
simple
af ,
/
simple
si a < 0. Luego:
af = nf
E
= anf

af a, f ,
= a /
simple
(Z
71
af a, f,
a /
simple
(a)
E
(Z
=a
f,
E
si a > 0
Z
af = nf
(Z
= a sup
(Z
=a
f,
E
si a < 0. Luego:
Z
f , si a 6= 0 .
Z
Z
0f = 0 = 0 f .
Si a = 0, se verifica facilmente que
af = a
3.
1=
1E = 1mE = mE.
Para la propiedad 7 tener en cuenta que AB = A + B . Las restantes propiedades quedan como ejercicios.

Teorema 4.6 (De la convergencia acotada). Sea E R un conjunto medible con
mE < . Sea fn : E R, n N, una sucesion
de funciones medibles y supongamos que existe M tal que fn (x) M para todo n N y todo x E. Si
f (x) = lm fn (x) para todo x E, entonces:
m
f (x) = lm
E
fn(x)dx .
Demostracion:
Por el teorema de Egorov, para cada > 0, existe un conjunto
medible E E tal que:

CAPITULO
72
1. m(EE ) < .
2. fn f uniformemente en E . Luego, dado > 0, existe n0 N tal que
|fn (x) f (x)| <

para todo x E y todo n n0 ; luego:
2m(E)
Z
Z
Z Z

fn
= (fn f )
f
|fn f |

E
E
E
Z
ZE
|fn f | +
|fn f |
=
E
(EE )
Como |fn f | 2M, mE mE, tomando =
se obtiene:
4M
Z
Z

fn
f
m(E)
+
(2M)
2m(E)

4M
E
E
= , para todo n n0 ,
lo cual prueba que
lm
fn =
f
E
4.3. La integral de una funcion

no-negativa.
medible y no
Sea E R un conjunto medible y f : E R una funcion
negativa.
Si

h f, h acotado, medible
H(f ) = h : E R /
y m{x E/h(x) 6= 0} <
Si h H(f ) y E = {x E/h(x) 6= 0} entonces m(E ) < ; por tanto esta definido

Z
Z
Z
h.
h y
h=
E
Definicion
4.
(Z ,
)
Z
f = sup
h h H(f ) [0, +] .
E
NO-NEGATIVA.
4.3. LA INTEGRAL DE UNA FUNCION
73
Proposicion
4.7. Sea E R un conjunto medible y f, g : E [0, +] funciones
medibles, no negativas, entonces:
Z
Z
i)
(cf ) = c f , para todo c > 0.
E
ii) Si f (x) g(x) a.e. en E, entonces:

Z
Z
f (x)
g(x) .
E
iii)
(f + g) =
E
f+
E
g.
iv) Si m(E) = 0 entonces
f = 0.
Demostracion:
i) y ii) se dejan como ejercicios, igualmente iv). Demostraremos
iii). Si h H(f ), k H(g), se verifica que h + k H(f + g).
Z
Z
Z
h(x) + k(x) f (x) + g(x),
h+
k (f + g) .
E
Tomando supremos se obtiene:

Z
Z
Z
f+
g (f + g) .
E
Por otra parte, si l H(f + g), definamos h, k : E R mediante:

h(x) = mn{f (x), l(x)},
k(x) = l(x) h(x) ;
h(x) f (x) y como h(x) = f (x) o h(x) = l(x) se tiene que k(x) g(x); luego
h H(f ) y k H(g), entonces:
Z
Z
Z
Z
Z
l=
h+
k
f+
g , l H(f + g)
E
EZ
E
ZE
ZE
(f + g)
f+
g
E

Teorema 4.8 (Lema de Fatou). Sea E R un conjunto medible y fn : E [0, ],
n N, una sucesion
de funciones medibles. Si lm fn (x) = f (x), x E, entonces:
n
f lim
fn .

CAPITULO
74
Demostracion:
Sea h H(f ), E = {x E/h(x) 6= 0}, m(E ) < . Definamos
hn : E R mediante:
hn (x) = mn{h(x), fn(x)}
hn es medible, acotad por la cota K de h y hn (x) = 0 para todo x EE .
h H(f ) h(x) f (x). Como lm fn (x) = f (x). Si f (x) R, dado > 0,
n
existe n0 N tal que f (x) < f (x) para todo n n0 .
h(x) f (x) < fn(x) n n0 .

Como h(x) < h(x) se tiene :
h(x) < mn{h(x), fn(x)} < h(x) + . n n0;
lm hn (x) = h(x) .
n
De modo similar si f (x) = +.

Si |h(x)| K para todo x E , tambien |hn (x)| K para todo x E y todo
n N. Por el Terorema de la acotada se tiene:
Z
Z
Z
Z
hn lim
h = lm
h=
fn ,
E
la desigualdad sebidio a que:
fn
fn para todo n N.
Finalmente, tomando supremos se obtiene:

Z
Z
Z
f = sup
h lim
fn .
E
hH(f )
4.4. Teorema de convergencia monotona.
Teorema 4.9 (Convergencia monotona).
Sea E R un conjunto medible, fn : E

R, n N, una sucesion
no decreciente de fucniones medibles y no-negativas. Si
f (x) = lm fn (x), para todo x E, entonces:
n
f = lm
E
fn .
E
Demostracion:
Por el Lema de Fatou se tiene
Z
Z
fn .
f lim
E

4.4. TEOREMA DE CONVERGENCIA MONOTONA.
Z
fn f para cada n N, entonces
lim
fn
Z
75
f . Entonces
fn
f
E

de
Corolario 4.10. Sea E R un conjunto medible, n : E R una sucesion
X
funfiones medibles no-negativas y f =
i , entonces:
i=1
Z
Demostracion:
Considerar fn =
f=
E
Z
X
i=1
n
X
i .
i=1
Proposicion
4.11. Sea (Ei)iN una sucesion
de conjuntos medibles y dos a dos
[
disjuntos, E =
Ei y f : E R una funcion
medible y no-negativa, entonces:
i=1
f=
E
Z
X
i=1
f.
Ei
Demostracion:
Sea i = f Ei , entonces: E =
Ei , f E =
i=1
luego podemos aplicar el corolario anterior.
f Ei =
i=1
X
i=1
i ;
Definicion
5. Sea E R un conjunto medible y f : E R una
funciZon
medible y no-negativa. Se dice que f es integrable en
E si
f < .
Proposicion
4.12. Sea E R un conjunto medible, f, g : E R funciones medibles, no-negativas. Si f es integrable en E y g(x) f (x) para todo x E, entonces
g es integrable en E y
Z
Z
Z
(f + g) =
Demostracion:
Escribir f = (f g) + g.
g.

CAPITULO
76
medible y no-negativa. Si f es
Proposicion
4.13. Sea f : E R una funcion
integrable en E entonces dado > 0, existe > 0 tal que para cada subconjunto
A E con mA < se tiene
Z
f <.
E
Demostracion:
Sea f (x) = mn{f (x), n}, x E. Cada fn es acotada, medible
y lm fn(x) = f (x), x E. Como f1 (x) f2 (x) . . . ; Por el teorema de la
n
convergencia monotona
se tiene:
Z
Z
lm
fn =
f.
n
>
f ,
2
E
Luego, dado > 0, existe n0 N tla que

f n0
(f fn0 ) < .
2
E
E
Tomemos 0 < <

, si mA < entonces:
2n0
Z
Z
Z
f = (f fn0 ) + fn0
A
A
ZA

(f + fn0 ) + n0 mA < + =
2 2
E
Z

medible.
Si f : E R es una funcion
medible, definimos: f +(x) = max{f (x), 0},
f (x) = max{f (x), 0}, se tiene: f = f + f , |f | = f + + f
Definicion
6. Sea f : E R una funcion
medible. Se dice que
+
f es integrable
sobre E
Z
Z si es que f y f son integrables en E,
es decir
f+ < y
f < . En este caso definimos:
f=
f .
E
Proposicion
4.14. Sea f : E R una funcion
medible. Si f es integrable en E
entonces
m{x E/|f (x)| = +} = 0
MEDIBLE.
77
Demostracion:
Sea A = {x E/f (x) = +} para cualquier n N se tiene
+
nA (x) f (x) para todo x E, luego:
Z
Z
Z
+
f
nA = nmA ; nmA
f+
E
para todo n N, lo cual implica que mA = 0.

Similarmente, si B = {x E/f (x) = }, entonces mB = 0
Proposicion
4.15. Sean f, g : E R funciones medibles e integrables sobre E,
entonces:
Z
Z
1. Para cada c R, cf es integrable sobre E y (cf ) = c f .
E
2. f + g es integrable sobre E y
(f + g) =
f+
3. Si f (x) g(x) a.e. en E, entonces
g.
g, en particular:
E
Z Z

f
|f | .

E
4. Si A, B son subconjuntos medibles de E y disjuntos, entonces:

Z
Z
Z
f=
f+
f.
A
AB
Demostracion:
1. Tener en cuenta que (cf )+ = cf + , (cf ) = cf si c 0 y que

(cf )+ = cf , (cf ) = cf + si c < 0.
2. Sea h = f + g, |h| |f | + |g|, entonces h es integrable, h+ h = h =
f + f + g + g , entonces h+ f + g = f + + g + + h (funciones nonegativas e integrales).
Z
Z
Z
Z
Z
Z
+
+
+
f +
g +
h
g =
h +
f +
E
ZE
ZE
ZE
ZE
ZE
Z
+
+
h
h =
f
f +
g
g
E Z
E
E
E
ZE
Z E
f+
g.
(f + g) =
E
3. g = f + g f , g f 0 entonces
Z
g=
f+
(g f ) 0;
(g f )
f.
E

CAPITULO
78
4.
f AB = f A + f B
Z
Z
f AB =
f A +
f B
E Z
ZE
Z E
Entonces
=
f+
f
Z
AB
Ejercicio: Verificar que:

a. lim (xn) = lim xn
n
b. lim (xn + yn ) lim xn + lim yn

n
Teorema 4.16. Sean g, gn : E R, n N funciones medibles e integrables en

E tales que lm gn (x) = g(x) a.e. en E. Sean f, fn : E R, n N, funciones
n
Z
Z
medibles tales que |fn (x)| |gn (x)| y lm fn (x) = f (x). Si
g = lm
gn ,
n
entonces
f = lm
E
fn .
E
Demostracion:
|fn (x)| gn (x) implica que fn es integrable; 0 gn fn . 0
gn + fn ; lm (gn + fn) = g f . lm (gn + fn ) = g + f . Usando el Lema de Fatou se
n
n
obtiene:
Z
Z
Z
Z
(g f ) lim
(gn fn ) ;
(g + f ) lim
(gn + fn )
E
|fn (x)| gn (x), entonces |f (x)| |g(x)|, entonces f es integrable en E, luego:

Z

Z
Z
Z
gn
g
f lim fn + lim
n E
n
E
E
E
Z
Z
= lim
fn +
g
n
Entonces lim
Tambien
Z
g+
fn
f.
E
fn + lim
gn
n
E
ZE
Z
fn +
g.
= lim
f lim
4.6. TEOREMA DE LA CONVERGENCIA DOMINADA.

entonces
f lim
79
fn . Lo cual prueba que
f = lm
fn
4.6. Teorema de la convergencia dominada.

Corolario 4.17 (Teorema de la convergencia dominada.). Sea g : E R una funcion
medible e integrable sobre E, fn : E R, n N, una sucesion
de funciones
medibles y f (x) = lm fn (x) a.e. en E. Si |fn (x)| g(x) para todo x E y todo
n
n N, entonces :
Z
Z
f = lm
fn .
medible y no-negativa. Si f es integraTeorema 4.18.

Z Sea f : E R una funcion
ble en E y
f = 0, entonces f (x) = 0 a.e. en E.

[
1
Demostracion:
{x E/f (x) > 0} =
.
x E / f (x) >
n
n=1

1
1
Si An = x E / < f (x) , entonces : A (x) f (x) para todo x E.
n
n
Z
Z
1
A
f =0,
n E n
E
1
mAn 0, entonces mAn = 0 para todo n N .
n
Condicion
necesaria y suficiente para que una funcion
acotada f : [a, b] R,
sea integrable segun
Riemann.
Sea f : [a, b] R una funcion
y x0 [a, b]. Para cada > 0 definamos: .
m (x0) = nf{f (x)/x [a, b] (x0 , x0 + )}
M (x0) = sup{f (x)/x [a, b] (x0 , x0 + )}
m (x0) f (x) M (x0), x [a, b] (x0 , x0 + ). En Particular m (x0)
f (x0) M (x0). Tomemos 0 < 1 < 2 , entonces :
{f (x)/x [a, b] (x0 1 , x0 + 1 )} {f (x)/x [a, b] (x0 2, x0 + 2 )}

CAPITULO
80
lo cual implica: m2 (x0) m1 (x0), M1 (x0) M2 (x0). Entonces existen los lmites:
m(x0) = lm m (x0), M(x0 ) = lm M (x0), y
0+
0+
m (x0) m(x0 ) f (x0) M(x0) M (x0) .

Teorema 4.19. Una condicion
necesaria y suficiente para que una funcion
f :
[a, b] R sea continua en x0 [a, b] es que f (x0) R y m(x0) = M(x0 ).
Demostracion:
a. Supongamos que f es continua en x0. Entonces f (x0) R y

dado > 0, existe > 0 tal que: x [a, b] (x0 , x0 + ), entonces f (x0) <
f (x) < f (x0)+, f (x0) nf{f (x)/x [a, b](x0 , x0 +)} sup{f (x)/x
[a, b] (x0 , x0 + )} f (x0) + .
f (x0) m (x0) m(x0 ) M(x0 ) M (x0) f (x0) + .
Entonces 0 M(x0) m(x0) 2 para todo > 0. Entonces M(x0) = m(x0 ).
b. Supongamos que f (x0) R y que M(x0) = m(x0), entonces :
m(x0) = M(x0 ) = f (x0) .
Dado > 0, existe > 0 tal que:
m(x0 ) < m (x0) , M(x0 ) < M(x0) +
f (x0) < m (x0) f (x) M (x0) < f (x0) +
para todo x [a, b] (x0 , x0 + ), entonces f (x0) < f (x) < f (x0) + ,
para todo x [a, b] (x0 , x0 + ); lo cual prueba que f es continua en x0.

Lema 4.20. Consideremos una sucesion
de particiones Pi :
(i)
(i)
(i)
a = x0 < x1 < x2 < . . . x(i)

ni = b, i N
del intervalo [a, b] tal que lm |Pi | = 0.
Sean
(i)
(i)
(i)
mk = nf{f (x)/x [xk , xk+1]} ,

(i)
(i)
(i)
Mk = sup{f (x)/x [xk , xk+1]} .

Definamos i, i : [a, b] R mediante:
(i)
mk(i) , si x (x(i)
k , xk+1 ) ,
i(x) =
(i) (i)
(i)
0,
si x = x0 , x1 , . . . , xni
Mk(i) ,
i =
0,
(i)
81
(i)
si x (xk , xk+1) ,
(i)
(i)
(i)
si x = x0 , x1 , . . . , xni .
(i)
Si x0 [a, b] es distinto de todos los puntos de subdivision

x k , 0 k ni , i N
entonces lm i(x0) = m(x0), lm i (x0) = M(x0).
i
(i)
(i)
Demostracion:
Para cada i N, sea [xki , xki +1 ] el intervalo que contiene al punto
(i)
x0 , xk i
0
< x0 <
(i)
xki +1.
0
Tomemos > 0 tal que:
(i)
(i)
(x0 , x0 + ) [xki , xki +1]

(i)
(i)
entonces nf{f (x)/x [xki , xki +1] nf{f (x)/x (x0 , x0 + )} ,

o sea
(i)
mki
0
m (x0); i (x0) m (x0), para todo > 0 tal que

(i)
(i)
(x0 , x0 + ) [xki , xki +1] ,

luego cuando 0+ se tiene:
i(x0) m(x0) , i N
()
i) Si m(x0) = , de () se tiene i (x0) = para todo i N, luego:

lm i(x0) = = m(x0) .
ii) Supongamos que m(x0 ) > . Dado h R tal que h < m(x0), podemos
hallar > 0 tal que h < m (x0) m(x0).
Para este > 0 fijo, como
(i)
(i)
lm [max(xk+1 xk )] = 0 ,
podemos hallar i0 N tal que:

(i)
(i)
[xki , xki +1] ]x0 , x0 + [ , i i0 ,

(i)
(i)
Pi que contiene al punto x0,

donde [xki , xki +1] es el intervalo de la praticion
0
0
entonces:
(i)
h < m (x0) mki = i(x0) .
0
Entonces h < i(x0) m(x0) para todo i i0 . (La 2da. desigualdad debido a
()). Entonces lm i (x0) = m(x0). Similarmente: lm i (x0) = M(x0)
i

CAPITULO
82
Corolario 4.21. Las funciones m(x), M(x) son medibles.

Demostracion:
El Lema 1 implica que i(x) m(x), i(x) M(x) a.e. un [a, b].
Como ,i, i son funciones escalonadas, son funciones medibles; luego m y M
tambien son funciones medibles.

Corolario 4.22. Sea f : [a, b] R una funcion
acotada; i , i : [a, b] R definidas
en el Lema 1, entonces:
Z b
Z b
lm L
i m(x)dx = L
m(x)dx
i
a
a
Z b
Z b
lm L
i (x)dx = L
M(x)dx .
i
Demostracion:
Si |f (x)| k para todo x [a, b], entonces |i(x)| k, |i (x)|
k, |m(x)| k y |M(x)| k, para todo x [a, b]. Usando el teorema 4(De la
convergencia acotada), se obtienen los resultados deseados.

Nota:
(i)
i (x)dx =
n
i 1
X
k=0
n
i 1
X
k=0
Luego: lm L(f, Pi) = L

i
xk+1
Z
i(x)dx
(i)
xk
(i)
m(x)dx.
Analogamente: lm U (f, Pi) = L
M(x)dx. Entonces
lm [U (f, Pi) L(f, Pi)] = L
(i)
(i)
mk (xk+1 xk ) = L(f, Pi).
(M(x) m(x))dx .
Se sabe que una funcion

acotada f : [a, b] R es integrable segun
Riemann si y
solo
si lm [U (f, Pi) L(f, Pi)] = 0.
i
Z b
Luego, f es integrable segun
Riemann si y solo
si L
(M(x) m(x))dx = 0,
a
si y solo
si M(x) = m(x) a.e. en [a, b], si y solo
si f es continua a.e. en [a, b]
83
Ejercicios
medible, no-negativa e integrable
en R. Verificar
1. Sea f : R R una funcon
Z
x
que la funcion
F : R R definida mediante F (x) =
f (t)dt, es continua.
2. Aplicar el Lema de Fatou al siguiente ejemplow: Sea fn : R R, n N, una

sucesion
de funciones definida mediante:
(
1, si x [n, n + 1]
fn (x) =
0, si x
/ [n, n + 1].
3. Considere el siguiente ejemplo:
fn(x) =
0, si x < n
1, si x n,
fn(x) : R R, para mostrar que el Teorema de la convergencia monotona
no se cumple para sucesiones decrecientes.

4. Sea fn : E [0, +], n N una sucesion
de funciones
medibles.
Definimos
Z
Z
gk (x) = nf fi (x), k N, x E, entonces gk fk ,
ik
gk
fk , k N.
Teniendo en cuenta que 0 g1 g2 . . ., usar el Teorema de la convergencia monotona
para probar que:

Z
Z
lim fk lim
fk .
E k
Zde funciones medibles

y no-negativas y f (x) =
5. Sea fn : R R una sucesion
Z
lm fn (x) a.e. en R. Si lm
fn(x)dx =
f (x)dx, entonces tambien
n
Z
Z
lm
fn (x)dx =
f (x)dx para todo subconjunto medible E R.
6. Sea f (x) =
( senx
1,
x>0
x=0
Calcular:
Z x
senx
a.- lm
dx
n 0
x
Z n

senx
b.- lm

dx
n 0
x

CAPITULO
84
Es f (x) integrable segun

Riemann en [0, +) y segun
Lebesgue ?
medible e integrable en E y fn : E R una
7. Sea g : E R una funcion
sucesion
de funciones medibles tales que |fn(x)| g(x) para todo x E,
verificar que:
Z
Z
Z
Z
lim fn .
fn
lim fn lim
fn lim
E n
E n
8. Sea h : E R una funcion

medible e integrable en E. Si fn : E R , n N
es una sucesion
de funciones medibles tal que h(x) Z
fn(x) para
Z todo
x E y lm fn(x) = f (x) para todo x E, verificar que
n
R = [0, +].
f lm
fn .
de funciones medibles e integrables en E. Si

9. Sea fn : E R una sucesion
f (x) = lm f (x), x E, es una funcion
medible e integrable en E verificar
n
Z
Z
Z
que lm
|fn f | = 0 si y solo
si lm
|fn (x)| =
|f |
n
10. Sea f : E R una funcion

medible e integrable en E y > 0.
Z
a. Verificar que existe una funcion
simple : E R tal que
|f | < .
E
Z
b. Verificar que existe una funcion
escalonada : E R tal que
|f | <
E
.
c. Verificar que existe una funcion
continua g : E
Z R y un inteervalo
acotado [a, b] tal que g(x) = 0 para todo x
/ [a, b] y
|f g| < .
E
11. Sea E R un conjunto medible con mE < . Si f : E R es una funcion
acotada y continua, entonces f es integrable en E.

12. Si E R es un conjunto cerrado y acotado y f : E R es una funcion
continua, verificar que f es integrable en E.
5
e integracion.
Diferenciacion
5.1. Diferenciacion
de funciones monotonas.
Definicion
1. Sea E R y M = {[a , b ]}A una coleccion
de intervalos cerrados y acotados con a 0
existe I M tal que x I y m(I) < .
Nota 1: La familia M cubre a E en el sentido de Vitali si cada x E esta contenido

en un intervalo d M de longitud arbitrariamente pequeno.
Nota 2: Sea E R un conjunto con m (E) < ; O R un conjunto abierto con

m(O) < tal qur E O y M una coleccion
de intervalos cerrados y acotados
que cubre a E en el sentido de Vitali. Si Mo = {I M/I O} entonces Mo
tambien cubre a E en el sentido de VItali.
En efecto: Sea x E y > 0, x O. Como O es abierto, existe 0 < tal
que (x , x + ) O. Como M cubre a E en el sentido de Vitali, existe d M tal
que x d y m(d) < ; entonces d (x , c + ) O, entonces d Mo y m(d) < .
Lema 5.1 (Vitali). Sea E R un conjunto con m (E) < . y M una coleccion
de intervalos cerrados y acotados que cubre a E en el sentido de Vitali. Entonces,

dado > 0, existe una coleccion
finita {I1, I2, . . . , Im} de intervalos en M, dos a
dos disjuntos tal que
"
#
m
[
m E Ii < .
i=0
Demostracion:
Sea O R un conjunto abierto con m(O) < tal que E O.
Si Mo = {I M/I O} entonces Mo tambien cubre a E en el sentido de Vitali. Sea I1 Mo cualquier intervalo. Supongamos que hemos encontrado en Mo
intervalos dos a dos disjuntos: I1, I2, . . . , In.
85
E INTEGRACION.
CAPITULO
5. DIFERENCIACION
86
i) Si E
n
[
Ii entonces:
i=1
n
[
m E
Ii
i=1
ii) Si E /
n
[
i=1
Ii , existe x E
n
[
i=1
=0<, y m=n.
Ii , x O
> 0 tal que (x , x + ) O
n
[
n
[
Ii que es abierto, luego existe
i=1
Ii . Como Mo cubre E en el sentido de
i=1
Vitali, existe d Mo tal que x d y m(d) < . Entonces

d (x , x + ) O
entonces d Ii = para i = 1, 2, . . . , n. Sea
(
kn = sup m(I) / I Mo , I
n
[
Ii ,
i=1
n
[
Ii
i=1
Por definicion
de supremo se tiene:
i) m(I) kn para todo I Mo tal que I
ii) Existe In+1 Mo tal que: In+1
n
[
i=1
Ii
n
[
i=1
Ii
= .
1
= y m(In+1) > kn.
2
{I1, I2, . . . , In, In+1} son dos a dos disjuntos. De este modo se obtiene una
sucesion
(Ik )kN de intervalos disjuntos en Mo tal que
n=1
In O ;
luego, existe m N tal que
Veamos que m
E
m
[
j=1
Ij
X
n=1
k=m+1
!
m(In ) mO < + ;
m(Ik ) < .
5
< . Sea x E
m
[
j=1
Ij , x O
m
[
Ij con-
j=1
junto abierto. Como Mo cubre a E en el sentido de Vitali,

! podemos hallar
m
m
[
[
d Mo tal que x d O
Ij , entonces d
Ij = .
j=1
j=1
DE FUNCIONES MONOTONAS.
5.1. DIFERENCIACION
Sea N tal que d
j=1
Ij
87
= . Como
k = sup m(I) / I Mo , I
Ij
j=1
se tiene 0 < m(d) k < 2m(I+1).
Como lm m(Ik ) = 0, no puede ocurrir que d Ij = , j = 1, 2, . . . , para

k
todo N. Entonces, sea p N el menor numero
natural tal que:

d I1 = , d I2 = , . . . , d Ip1 = , d Ip 6= .
Como d
m
[
j=1
Ij
= debe tenerse m < p. d
m(d) kp1 < 2m(Ip).
p1
[
j=1
Ij
= entonces
Ip
c
x
Figura 5.1
Sea c el punto medio del intervalo Ip , x d, d Ip 6= entonces |x c|

1
5
m(d) + m(Ip) < m(Ip).
2
2
5
|x c| < m(Ip ) .
2
Sea Dp el intervalo cerrado con el mismo punto medio que Ip pero m(Dp ) =
m
[
5m(Ip); x Dp . Entonces para cada x E
Ij , existe p > m tal que
j=1
E INTEGRACION.
CAPITULO
5. DIFERENCIACION
88
x Dp , luego; E
m
[
j=1
m E
m
[
Ij
Ij
j=1
Dp ,
p=m+1
Dp
p=m+1
=m
m(Dp ) = 5
p=m+1
Dp
m(Ip) <
p=m+1
p=m+1

Lmite superior y lmite inferior de funciones.
Para cada a E consideramos:
Sea E R y f : E R una funcion.
sup
f (x), donde B (a, ) = (a , a + ){a} con > 0. Si 1 2 entonces:
xB(a,)E
B (a, 1)
E B (a, 2) E entonces
nf
>0
La cantidad nf
>0
sup
xB (a,)E
sup
xB (a,)E
sup
xB (a,1 )E
f (x)
f (x) = lm
0+
sup
xB (a,)E
f (x), luego:
f (x)
f (x) se llama el lmite
superior de f en a y se deno-
tara por lim f (x), o por Lf (a).

xa
Analogamente, la cantidad:

sup
nf
f (x) = lm
>0
sup
xB(a,2 )E
nf
0+ xB(a,)E
xB(a,)E
f (x)
se llama el lmite inferior de f en a y se denotara por lim f (x), o por Lf (a)

xa
Ejercicio 1.- Verificar que lim f (x) lim f (x).

xa
xa
Ejercicio 2.- Verificar que lm f (x) = R, si y solo

si lim f (x) = lim f (x) =
xa
xa
R.
xa
Funciones semicontinuas.
Una funcion
f : E R se llama semicontinua inferiormente en el punto a E
si f (a) 6= y f (a) lim f (x), y f se llama semicontinua superiormente en el
xa
punto b E si f (b) 6= + y f (b) lim f (x).

xb
Funciones crecientes.
5.1. DIFERENCIACION
89
Definicion
2. Una funcion
f : U R se llama creciente si
f (x) f (y) para todo x, y en U con x < y.
Si x < y implica f (x) < f (y) entonces f se llama estrictamente
creciente.
y x0 [a, b], denotamos:
f (x0) = sup f (x) ,
x<x0
x[a,b]
f (x0+) = nf f (x) .
x0 <x
x[a,b]
Se observa que si f es creciente, entonces:

f (x0) f (x0) f (x0+), si a < x0 < b .
f (a) f (a+), f (b) f (b).
En consecuencia, cuando f es creciente se tiene que f es continua en x0 si y
solo
si f (x0) = f (x0) = f (x0+).
Definicion
3.
f (x0) f (x0) = salto de f a izquierda en x0.
f (x0+) f (x0) = salto de f a derecha en x0.
sumando se obtiene :
f (x0+) f (x0) = salto de f en x0.
Lema 5.2. Sea f : [a, b] R una funcion
creciente y x1, x2, . . . , xn puntos arbitrarios en (a, b), entonces:
n
X
[f (xk +) f (xk )] + f (b) f (b) f (b) f (a)
f (a+) f (a) +
k=1
Demostracion:
a < x1 < x2 < . . . < xn < b. Sea a = x0, b = xn+1 escojamos
puntos y0 , y2, . . . , yn tales que xk < yk < xk+1, k = 0, 1, . . . , n; (xk1 < yk1 < xk ).
Entonces: f (xk +) f (yk ), f (yk1) f (xk ), entonces f (xk +) f (xk ) f (yk )
f (yk1).
Similarmente:
f (a+) f (a) f (y0) f (a)
f (b) f (b) f (b) f (yn) .
Sumando estas desigualdades se obtiene el resultado deseado.
90
E INTEGRACION.
CAPITULO
5. DIFERENCIACION
Corolario 5.3. Una funcion

creciente f : [a, b] R, puede tener solo
un numero
finito de puntos de discontinuidad en los cuales el salto sea mayor que un numero
positivo > 0.
Demostracion:
Si los puntos x1, x2, . . . , xm en (a, b) son puntos de discontinuidad
de f con saltos mayor que , entonces del Lema anterior se obtiene m f (b)
f (a). En consecuencia m no puede ser arbitrariamente grande.

Teorema 5.4. Los puntos de discontinuidad de una funcion
creciente f : [a, b] R
es a lo mas numerable. Si (xn)nN son puntos de dsicontinuidad de f en (a, b)
entonces:
X
[f (xk +) f (xk )] + f (b) f (b) f (b) f (a)
f (a+) f (a) +
k=1
Demostracion:
Denotaremos con H a los puntos de discontinuidad de f en (a, b)
y con Hk los puntos de discontinuidad de f en (a, b) donde el salto es mayor que
[
1
Hk , entonces H es contable. La discontinuidad se obtiene
. Obviamente H =
k
k=1
del Lema 5.2.

Derivadas de Dini .- Sea f : (a, b) R una funcion
y x (a, b), definimos:
f (x + h) f (x)
h0+
h
f (x + h) f (x)
D+ f (x) = lim
h
h0+
f (x + h) f (x)
D f (x) = lim
h0
h
f (x + h) f (x)
D f (x) = lim
h
h0
D+ f (x) = lim
derivada derecha superior

derivada dere,
cha inferior
,
derivada izquierda superior

derivada izquier,
da inferior
,
Si f : (a, b) R es una funcion

creciente, entonces para cada x (a, b) existen
todas las derivadas de Dini en R y se tiene:
0 D+ f (x) D+ f (x) , 0 D f (x) D f (x) .
Definicion
4. Se dice que f : (a, b) R tiene derivada en x
(a, b) si es que todas las derivadas de Dini en x son finitas e
iguales.
Lema 5.5. Si f : (a, b) R es una funcion
creciente y acotada, entonces D+ f (x)
D f (x) para caso todo x (a, b).
5.1. DIFERENCIACION
91
Demostracion:
Sea E = {x (a, b)/Df (x) < D+ f (x)}. Para cada par u, v de
numeros
racionales tales que v < u, definimos:

Euv = {x (a, b)/Df (x) < v 0. Sea O R un conjunto
tal que Euv O y mO < s + . Para cada x Euv se tiene:
D f (x) < v 0 0<h<
para todo > 0 suficientemente pequeno.

Dado > 0, existe 0 < h < tal que
f (x) f (x h)
< v, entonces f (x) f (x h) < vh.
h
Como x Euv O y O es abierto, podemos tomar x > 0 suficientemente
pequeno
tal que [x x , x] O, y para cada 0 <[
x existe 0 < hx < tal que
[x hx , x], 0 < hx < x . Si
[x hx , x] O y f (x) f (x hx ) < vhx . Euv
xEuv
M=
x Euv , [x hx , x] O
[x hx , x] /
0 < hx < < x
entonces M cubre a Euv en el sentido de Vitali. Luego, existe una coleccion

finita
[x1 h1 , x1], [x2 h2 , x2], . . . , [xm hm , xm], dos a dos disjuntos tal que:
"
#
m
[
m Euv [xi hi , xi] < .
i=1
Euv =
Euv
m
[
[xi hi , xi]
i=1
s = m (Euv ) < + m
Entonces
m
m
"
"
m
[
"
m
[
[xi hi , xi]
i=1
i=1
[xi hi , xi]
(xi hi , xi)
i=1
m
[
[xi hi , xi]
i=1
m
[
"
Euv
Euv > s .
#
Euv > s .
Euv
E INTEGRACION.
CAPITULO
5. DIFERENCIACION
92
Ademas, f (xi) f (xi hi ) < vhi , 1 i m.

m
X
i=1
Sea A = Euv
1, 2, . . . , m
"m
[
(f (xi) f (xi hi )) < v
m
X
hi < vm(O) .
i=1
(xi hi , xi) . Si y A, entonces y (xi hi , xi), alguna i =
i=1
f (y + h) f (y)
u < D+ f (y) = nf sup
>0 0<h<
h
(pues y Euv ).
( > 0 suficientemente pequeno).
f (y + h) f (y)
, todo > 0
h
0<h<
D+ f (y) sup
suficientemente pequeno.
Para cada > 0 existe 0 < k < tal que:
f (y + k) f (y)
> u ; f (y + k) f (y) > uk .
k
Como y (xi hi , xi), existe y > 0 tal que (y, y + y ) (xi hi , xi). Para cada
0 < < y se tiene:
) (y, y + k) (xi hi , xi), si 0 < k .
) Existe 0 < ky < tal que:
f (y + ky ) f (y) > uky .
Sea
N=
yA
[y, y + ky ] /
0 < ky <
N es un subconjunto de A en el sentido de VItali, luego existen intervalos disjun!

m
[
tos Jj = [yj , yj + kj ], j = 1, 2, . . . , m tales que m A
Jj < .
j=1
A
m
[
j=1
Jj
s < m (A) < + m
m
[
Jj
j=1
m
[
j=1
Jj
5.1. DIFERENCIACION
xi hi
y1
f (xi hi )
f (y1) f (y1 + k1 )
ys
y1 + k1
ys + ks
93
xi
f (ys) f (ys + ks ) f (xi)
Figura 5.2
m
[
Jj
j=1
> s 2. Tambien:
f (yj + kj ) f (yj ) > ukj , 1 j m .
Entonces
m
m
X
X
(f (yj + kj ) f (yj ) > u
kj
j=1
j=1
= um
m
[
j=1
Jj
> u(s 2) .
Por construccion,
cada Jj esta contenido en algun
intervalo (xi hi , xi). Consideremos aquellos intervalos Jj tales que Jj (xi hi , xi) entonces
X
Jj (xi hi ,xi )
(f (yj + kj ) f (yj )) < f (xi) f (xi hi ) .
m
X
j=1
(f (yj + kj ) f (yj )) <
m
X
i=1
(f (xi) f (xi hi ))
< v(s + ) .
entoncese u(s 2) < v(s + ) para todo > 0 entonces us vs, (u v)s 0
entonces s = 0.
Entonces m (Euv ) = 0,?entonces m(E) = 0

Lema 5.6. Sea f ; (a, b) R una funcion
creciente y acotada, entonces:
D f (x) D+ f (x) a.e. en (a, b) .
Demostracion:
Definamos g : (b, a) R mediante g(x) = f (x). Entonces
g es creciente, luego por el Lema 5.3 se tiene D+ g(x) D g(x) para casi todo
E INTEGRACION.
CAPITULO
5. DIFERENCIACION
94
x (b, a), pero:
g(x + h) g(x)
h0
h
f (x h) + f (x)
f (x h) f (x)
= lim
D+ g(x) = lim
h0+
h0+
h
h
= D f (x)
D+ g(x) = lim
y
g(x + h) g(x)
h
h0
f (x h) + f (x)
f (x h) f (x)
= lim
= lim
h
h
h0
h0
= D+ f (x) ,
D g(x) = lim
por tanto D f (x) D+ f (x) para casi todo x (a, b)
Teorema 5.7. Sea f : [a, b] R una funcion

creciente. Entonces f es diferenciable
Z b
a.e. en [a, b]. La derivada f es medible y
f (x)dx f (b) f (a).
a
Demostracion:
Los Lemas anteriores nos dicen que:
0 D+ f (x) D f (x) D f (x) D+ f (x) D+ f (x)
f (x + h) f (x)
[0, ]
h0
h
esta definido a.e. en
[a, b],y fes diferenciable
en todo punto donde g es finito.

1
Sea gn (x) = n f x +
f (x) , donde f (x) = f (b) si x b.
n
para casi todo x [a, b]. Entonces la funcion

g(x) = lm

f x +
lm gn (x) = lm
n
n
1
f (x)
n
= g(x)
1
n
a.e. en [a, b], entonces g es medible.

Como f es creciente se tiene gn 0. Ademas cada gn tiene a lo mas una cantidad numerable de puntos de discontinuidad en [a, b], por tanto gn es integrable
segun
Rieman en [a, b], gn tambien es integrable segun
Lebesgue en [a, b]. Usando
ACOTADA.
5.2. FUNCIONES DE VARIACION
95
el Lema de Fatou se tiene:

Z b
Z b
Z b
1
f (x) dx
f x+
g lim
gn = lim n
n
n a
n
a
a
Z b

Z b
1
= lim n
dx
f (x)dx
f x+
n
n
a
a
1
b+ n
Z
Z b
Z b
0
g lim n
f (y)dy
f (y)dy ,
n
y =x+
a+ n1
1
en la primera integral del segundo miembro.
n
b+ n1
a+ n1
Z
Z
Z b
f n
f
0
g lim n
n
entonces 0
= lim f (b) n
n
a+ n
Z
a
f f (b) f (a) <
g < +, entonces g es integrable. Entonces g es finito a.e. en

a
f (x + h) f (x)
(a, b). Como f (x) = lm
= g(x) a.e en [a, b], se tiene que f es
h0
h
Z b
diferenciable en [a, b] y
f (x)dx f (b) f (a)

a
5.2. Funciones de variacion

acotada.
y a = x0 < x1 < . . . < xk = b, cualquier
pariticion
de [a, b]. Definamos:
p=
k
X
i=1
[f (xi) f (xi1)]
t =p + n =
k
X
i=1
, n=
k
X
i=1
[f (xi) f (xi1)]
|f (xi) f (xi1)| .
Se deduce que pn = f (b)f (a). Sean P = sup(p), N = sup(n), T = sup(t), donde

el supremos se toma sobre todas las articiones del intervalo [a, b]. De t = p + n se
E INTEGRACION.
CAPITULO
5. DIFERENCIACION
96
deduce que t P + N , entonces T P + N ; n p + n = t T , entonces N T ;

p p + n = t T , entonces P T .
P se llamara la variacion
positiva de f sobre [a, b].
N se llamara la variacion
negativa de f sobre [a, b].
T se llamara la variacion
total de f sobre [a, b].
Definicion
5. Si T < , se dice que f es de variacion
acotada
sobre [a, b] y se escribira f V A[a, b].
Notacion.
Algunas veces escribiremos Pab , Nab , Tab o Pab (f ), Nab (f ), Tab (f ), para indicar su dependencia del intervalo [a, b] o de la funcion
f.
Lema 5.8. Si f V A[a, b], entonces Tab = Pab + Nab y f (b) f (a) = Pab Nab .
Demostracion:
Para cualquier particion
de [a, b] se tiene:
p = n + f (b) f (a) N + f (b) f (a) .
Entonces P N +f (b)f (a); entonces P N f (b)f (a). (Pues N T < +).
Similarmente, de n = p + f (a) f (b), se obtiene N P + f (a) f (b), entonces
f (b) f (a) P N . Entonces P N f (b) f (a).
Por otra parte: T p + n.
T p + [p (f (b) f (a))] = 2p + N P ,
T 2P + N P = P + N , y como P + N T se obtiene: T = P + N

y c (a, b), entonces:
Nac Nab , Pac Pab y Tac Tab .
Demostracion:
Sea a = x0 < x1 < . . . < xn < xm+1 = b es una particion
de [a, b],
luego:
pca
m
X
=
[f (xi) f (xi1)]+
i=1
m
X
[f (xi) f (xi1)]+ + [f (xm+1 f (xm))]+
i=1
pba
Pab ;
entonces pca Pab , para toda particion

de [a, c], luego: Pac Pab .
Analogamente Nac Nab , y
tca = pca + nca pba + nba = tba Tab
entonces Tac Tab
DE UNA INTEGRAL.
5.3. DIFERENCIACION
97
Teorema 5.10. Una funcion

f : [a, b] R es de variacion
acotada si y solo
si f es
la diferencia de dos funciones g, h : [a, b] R no-decrecientes.
Demostracion:
a.- Sea f : [a, b] R una funcion

de variacion
acotada, g(x) =
x
x
Pa , h1 (x) = Na . Por el Lema 5.6, g y h1 son crecientes y reales, puesto que:
0 Pax Tax Tab < , 0 Nax Tax Tab < .
Pero f (x) f (a) = Pax Nax = g(x) h1 (x) entonces
f (x) = g(x) (h1 (x) f (a)) = g(x) h(x) .

b.- Recprocamente, supongamos que f = g h, donde g y h son crecientes. Para
cualquier particion:
a = x0 < x1 < x2 < . . . < xk = b de [a, b] se tiene:
tba
=
=
k
X
i=1
k
X
|f (xi) f (xi1)|
i=1
k
X
i=1
k
X
i=1
|g(xi ) h(xi) (g(xi1) h(xi1))|
(|g(xi) g(xi1)| + |h(xi) h(xi1)|)
(g(xi) g(xi1)) +
k
X
i=1
(h(xi) h(xi1))
= g(b) g(a) + h(b) h(a) .

Entonces
Tab g(b) + h(b) g(a) h(a) < +
Corolario 5.11. Si f : [a, b] R es de variacion

acaotada en [a, b], entonces f (x)
existe a.e. en [a, b].
Demostracion:
Siendo f de variacion
acotada, f es de la forma: f = g h con g
y h crecientes y por tanto deivables a.e. en [a, b].
5.3. Diferenciacion
de una integral.
F : [a, b] R
Lema 5.12. Si f : [a, b] R es integrable en [a, b] entonces la funcion
definida mediante:
Z x
F (x) =
f (t)dt
a
es una funcion
continua y de variacion
acotada en [a, b].
E INTEGRACION.
CAPITULO
5. DIFERENCIACION
98
Demostracion:
a.-
Z x
|f | ,
Z x
Z x0
x0

f Z x0
|F (x) F (x0)| =
f
a
a
|f | ,
x0 x
x x0
Como |f | es integrable, dado > 0, existe Z> 0 talque si m([a0 , x]) < ,
o m([x, x0]) < , se cumple: |F (x) F (x0)|
|f | < , donde: A = [x0, x],
A
o A = [x, x0].
b.- Sea a = x0 < x1 < x2 < . . . < xk = b, una particion

de [a, b], entonces:

x
Zi

k
k
X
X

f
(t)dt
|F (xi) F (xi1)| =

i=1
i=1
tba (F )
Entonces
Z b
|f | < +
k
X
xi1
Zxi
i=1 x
|f (t)|dt =
i1
|f (t)|dt < + .
b
a
|f |, para cualquier particion

de [a, b], entonces Tab(F )
medible no-negativa e integrable en

Z b
[a, b]. Si
f = 0, entonces f = 0 a.e. en [a, b].
a
Demostracion:
Sea A = {x [a, b]/f (x) > 0}, An =
A =
n=1

1
x [a, b] / f (x) >
,
n
An . Veamos que mAn = 0 para todo n N. Supongamos que existe

1
en An0 , entonces:
n0
Z
Z
1
f m(An0 ) > 0 .
f
n0
n0 N tal que m(An0 ) > 0; f (x) >

Z
f=
An0
f+
[a,b]An0
An0
1
m(An0 ) > 0, contradiccion.
Luego, m(An ) = 0 para todo n N
n0
a
entonces m(A) = 0

Entonces
DE UNA INTEGRAL.
5.3. DIFERENCIACION
99
medible e integrable en [a, b] y

Lema
5.14. Si f : [a, b] R es una funcion
Z x
f (t)dt = 0 para todo x [a, b], entonces f (t) = 0 a.e en [a, b].
a
Demostracion:
Sean E1 = {x [a, b]/f (x) > 0}, E2 = {x [a, b]/f (x) < 0}.
Veremos que m(E1 ) = m(E2) = 0. Supongamos que m(E1) > 0. Como E1 es
medible, existe F E1 compacto tal que: m(E1F ) < m(E1), E1 = (E1F ) F ,
Z b
Z
Z
entonces mF = mE1 m(E1 F ) > 0. 0 =
f =
f +
f , entonces
a
f =
(a,b)F
XZ
Zn an
a
bn
an
f 6= 0; entonces existe almenos un n N tal que:
f+
(a,b)F
[
f =
6 0. (a, b)F = (an , bn ), union
disjunta. Entonces
bn
f , lo cual implica que
an
mE1 = 0. Similarmente mE2 = 0
an
a
f 6= 0, o
bn
a
bn
an
f =
(a,b)F
Z bn
f 6= 0. Pero:
f=
f 6= 0, contradiccion.
Luego,
Lema 5.15. Si f : [a, b] R es medible y acotada en [a, b] y F (x) = F (a) +

Z
x
f (t)dt, entonces F (x) = f (x) a.e. en [a, b].
a
Demostracion:
Por el Lema 5.7, F es de variacion
acotada en [a, b] y por tanto
F (x) existe a.e. en [a, b]. Sea |F (x)| k para todo x [a, b] y escribamos:
x+ n1
1
F (x + ) F (x)
n
fn (x) =
=
1
n
1
x+ n
Z
f (t)dt .
fn (x) = n
Z
a
1
n
x+ n1
|fn (x)| n
Z
x
|f | nk
x+ n
Z
1=k,
|fn (x)| k para todo x [a, b] y todo n N. Como lm fn (x) = F (x) a.e. en [a, b],
n
E INTEGRACION.
CAPITULO
5. DIFERENCIACION
100
usando el Teorema de la convergencia acotada, para c [a, b] se tiene:

Z c
Z c
Z c
1
F (x)dx = lm
F (x) dx
fn (x)dx = lm n
F x+
n a
n
n
a
a
c+ n1
Z c
Z
F (y)dy n
F (y)dy .
= lm n
n
a+ n1
(y = x +
1
en al primera integral, pues F es integrable segun
Riemann).
n
a+ n1
c+ n1
Z
Z
Z c
F (y)dy n
F (y)dy .
F (x)dx = lm n
n
Como F es continua, dado > 0, existe > 0 tal que x B(c, ) [a, b] implica:
1
|F (x) F (c)| < . Luego, para < se tiene:
n

Z
Z

c+ n1
c+ n1

F (y)dy F (c) = n
(F (y) F (c))dy
n

c
c

1
c+ n
Z
c
|F (y) F (c)|dy n
O sea: lm n
n
c+ n
Z
F (y)dy = F (c). Analogamente lm n

n
Entonces
en [a, b]
a+ n
Z
F (y)dy = F (a); luego:
dy = .
c+ n
Z
F (x)dx = F (c) F (a) =
f (x)dx .
a
(F (x) f (x))dx = 0 para todo c [a, b] y por tnato F (x) = f (x) a.e.
medible e integrable en [a, b]. DefiTeorema 5.16. Sea f : [a, b] R una funcion
namos F : [a, b] R mediante:
Z x
f (t)dt ,
F (x) = F (a) +
a
entonces F (x) = f (x) a.e. en [a, b].
DE UNA INTEGRAL.
5.3. DIFERENCIACION
101
Demostracion:
a.- Supongamos que f es no-negativa. Definamos fn : [a,Zb] R

x
mediante: fn (x) = mn{f (x), n}, f fn 0. Luego, la funcion
Gn (x) =
(f
a
fn) es creciente en [a, b], entonces Gn (x) existe a.e. en [a, b] y GnZ(x) 0. Del
x
d
fn(t)dt =
Lema 5.10, teniendo en cuenta que fn es acotado se obtiene:
dx a
Z x
Z x
fn(x) a.e. en [a, b]. Como F (a) +
f = F (a) + Gn (x) +
fn, se tiene F (x) =
a
Z x
Z x a
d
d
d
fn
fn = fn(x).
Gn (x) +
dx
dx a
dx a
Entonces F (x) fn(x) a.e. en [a, b] para todo n N. Cuando n se

Z b
Z b
obtiene: F (x) f (x) a.e. en [a, b]. Entonces
F (x)dx
f (x)dx = F (b)
a
a
Z b
Z x
F (a). Pero
F (x)dx F (b) F (a), pues la funcion
F (x) = F (a) +
f (t)dt
a
a
Z b
Z b
es creciente cuando f 0, luego:
F (x)dx = F (b) F (a) =
f (x)dx.
a
a
Z b
Entonces
(F (x) f (x))dx = 0, Como F (x) f (x) 0 a.e. en [a, b] se tiene
a
F (x) = f (x) a.e. en [a, b].
b.- Si f = f + f , entonces:
f + F (a) =
F1(a) +
f + F2 (a) +
F (x) = F1(x) F2(x) .
x
a
F1 (x) = f +(x) a.e. en [a, b] y F2 (x) = f (x) a.e. en [a, b], entonces F es diferenciable a.e. en [a, b], y: F (x) = F1 (x) F2 (x) = f +(x) f (x) = f (x) a.e. en
[a, b], entonces F (x) = f (x) a.e. en [a, b]
E INTEGRACION.
CAPITULO
5. DIFERENCIACION
102
5.4. Continuidad absoluta

Definicion
6. Una funcion
f : [a, b] R se llama absolutamente continua en [a, b] si dado > 0, existe > 0 tal que
n
X
|f (xi) f (xi)| < para toda coleccion
finita {(xi, xi)},
i=1
1 i n de subintervalos de [a, b] dos a dos disjuntos con

n
X
(xi xi) < .
i=1
Nota 1. Toda funcion

absolutamente continua es continua.
Z x
Nota 2. Toda integral indefinida F (x) = F (a) +
tamente continua, pues:

n
X
i=1
f (t)dt, x [a, b] es absou-

n Z xi

X

f (t)dt
|F (xi) F (xi)| =

xi
i=1
Z
n Z xi
X
|f (t)|dt =
|f (t)|dt < .
i=1
Si mA < , donde A =
n
[
xi
(xi, xi) union

disjunta.
i=1
Nota 3. Si f, g : [a, b] R son absolutamente continuas, entonces f + g y cf

son absolutamente continuas, para todo c R.
Teorema 5.17. Si f : [a, b] R es absolutamente continua, entonces f es de variacion
acotada.
Demostracion:
Como f es absolutamente continua, dado = 1, existe > 0
n
X
tal que
|f (xi) f (xi)| < 1 para toda coleccion
finita {(xi, xi)} de subinteri=1
n
X
[a, b], dos a dos disjuntos con
(xi xi ) < . Tomemos K =
valos
i=1

ba
ba
1+
. Cualquier particion
a = x0 < x1 <
=maximo entero de 1 +
. . . < xk = b de [a, b] puede subdividirse, insertando nuevos puntos de division,

si es necesario, en k colecciones de subintervalos, cada coleccion
de longitud menor que , formandose una nueva particion
mas fina que la anterior:
(xi, xi)
5.4. CONTINUIDAD ABSOLUTA
103
a = x0 < y1 < y2 < . . . < ym = b, y
t=
k
X
i=1
|f (xi) f (xi1)|
m
X
i=1
|f (yi ) f (yi1)|
Si el ultimo
sumando se subdivide en k sumandos, cada uno correspondiente a

k
X
una coleccion
de subintervalos de longitud menor que se obtiene:
|f (yi)
i=1
f (yi1)| k, lo cual implica que t k para cualquier particion

de [a, b], por tanto
b
Ta k

Corolario 5.18. Si f : [a, b] R es absolutamente continua, entonces f tiene
derivada a.e. en [a, b]
Lema 5.19. Si f : [a, b] R es absolutamente continua y f (x) = 0 a.e. en [a, b],
entonces f es constante.
Demostracion:
Se desea demostrar que f (a) = f (c) para todo c [a, b], existe
D (a, c) tal que mD = 0 y f (x) = 0 para todo x
/ (a, c)D. Sea E = (a, c)D
y , numeros
reales positivos arbitrarios. Tomemos x E, como 0 = |f (x)| =

|f (x + h) f (x)|
lm
, existen intervalos arbitrarios pequenos
[x, x + h] (a, c)
h0+
h
tal que |f (x + h) f (x)| < h. Entonces:
{[x, x + h]/x E, h arbitrariamente pequeno
}
es un cubrimiento de E en el sentido de Vitali. Luego podemos hallar una coleccion
finita de intervalos {[x
! k , yk ]} (yk = xk + hk , 1 k m), dos a dos disjuntas
m
[
que corresponde a
tal que m E [xk , yk ] < , donde > 0 es el numero
k=1
en la definicion
de continuidad absoluta de f . Ordenando los xk s de modo que
xk < xk+i se tiene: y0 = a x1 < y1 < x2 < y2 < . . . < ym c = xm+1 y
m
X
(xk+1 yk ) < , pero:
k=0
m
X
k=1
|f (yk ) f (xk )| <
m
X
k=1
(yk xk ) = (c a)
E INTEGRACION.
CAPITULO
5. DIFERENCIACION
104
y
m
X
k=0
|f (xk+1 f (yk ))| < , continuidad absoluta de f , luego:

m
m

X
X

(f (yk ) f (xk )
|f (c) f (a)| = (f (xk+1) f (yk ) +

k=0
m
X
k=0
|f (xk+1) f (yk )| +
+ (c a) ,
k=1
m
X
k=1
|f (yk ) f (xk )|
para todo > 0 y todo > 0, entonces f (c) f (a) = 0.
Teorema 5.20. Una funcion

F : [a, b] R es una integral indefinida si y solo
si F
es absolutamente continua.
Demostracion:
a. Si F (x) = F (a) +
f (t)dt, entonces F es absolutamente con-
tinua (Ver nota 2.).
b. Recprocamente, supongamos que F : [a, b] R es absolutamente continua,

entonces F es de variacion
acotada y podemos escribir: F (x) = F1(x) f2(x),
donde F1, F2 son funcionies crecientes, por tanto F (x) existe a.e. en [a, b] y
F (x) = F1 (x) F2 (x).
|F (x)| F1 (x) + F2 (x)
Z b
Z b
Z b
|F (x)|dx
F1 (x)dx
F2 (x)dx
a
F1(b) F1 (a) + F2 (b) F2(a) .
Entonces F (x) es integrable.

Z x
Sea G(x) =
F (t)dt, G es absolutamente continua, luego la funcion
g =
a
F G tambien es absolutamente continua. Ademas: g (x) = F (x) G (x)

a.e. en [a, b], entonces g (x)
Entonces
Z x= 0 a.e. en [a, b], entonces g es constante.
Z x
F = C + G, F (x) = C +
F (t)dt. Entonces F (x) = F (a) +
F (t)dt.
a
Corolario 5.21. Toda funcion

absolutamente continua, es la integral indefinida de
su derivada.
5.5. FUNCIONES CONVEXAS
105
5.5. Funciones convexas

Definicion
7. Una funcion
f : (a, b) R se llama convexa si
para cada par x, y en (a, b) y cada 0 1 se tiene
f (x + (1 )y) f (x) + (1 )f (y) .
Lema 5.22. Sea f : (a, b) R una funcion

convexa. Si x, y, x, y son puntos de
(a, b) con x x < y , x < y y , entonces la cuerda sobre (x, y ) tiene mayor
pendiente que la cuerda sobre (x, y), es decir:
f (y) f (x) f (y ) f (x)
.
yx
y x
Demostracion:
x = x + (1 )y , y = sx + (1 s)y ; 0 < 1, 0 s < 1,
f (x) f (x) + (1 )f (y ), f (y) sf (x) + (1 s)f (y )
f (y) f (x) (s 1)f (x) + (1 s)f (y )
= (1 s)(f (y ) f (x)) .
y x = (s 1)x + (1 s)y = (1 s)(y x). Entonces
f (y) f (x) (1 s)(f (y ) f (x))
, s 6= 1 .
yx
(1 s)(y x)
f (y ) f (x)
=
.
y x
Por otra parte:
f (y ) f (x) f (y ) f (x) f (y ) + f (y )
= (f (y ) f (x)) .
y x = y x y + y = (y x). Entonces
(f (y ) f (x))
f (y ) f (x)
, 6= 0
y x
(y x)
f (y ) f (x)
=
y x
E INTEGRACION.
CAPITULO
5. DIFERENCIACION
106
Definicion
8. Si f : (a, b) R es una funcion,
definimos:
f (x + t) f (x)
,
t0+
t
f+ (x) = lm
derivada a derecha de f en el punto x (a, b).

f (x) f (x t)
,
t0+
t
f (x) = lm
derivada a izquierda de f en el punto x (a, b).

Proposicion
5.23. Sea f : (a, b) R una funcion
convexa, entonces:
a) f es absolutamente continua en cada subintervalo cerrado [c, d] (a, b).
b) Las derivadas a derecha e izquierda son funciones monotonas
crecientes y en
cada punto x (a, b) se tiene:
f (x) f+ (x) .
c) f (x) = f+ (x), excepto a lo mas en un conjunto numerable.

Demostracion:
a) Sea [c, d] (a, b). Para cada x, y en [c, d] con x < y se tiene
a < c x < y d < b, luego: para a < a < c, d < b < b se tiene:
k
f (y) f (x) f (b) f (d)

f (c) f (a)
k
ca
yx
b d
para todo x, y en [c, d] con x, y en [c, d] con x 6= y, luego: |f (y) f (x)| k|x y|,
para todo x, y en [c, d]. Por tanto f es absolutamente continua en [c, d].
b) Sea x0 < y0 , y t > 0 tal que x0 < x0 + t < y0 < y0 + t, entonces:
f (y0 + t) f (y0)
f (x0 + t) f (x0)
t
t
y cuando t 0+ se tiene: f+ (x0) f+ (y0), entonces f+ es creciente.
Similarmente, si t > 0 es tal que x0 t < x0 < y0 t < y0 , entonces:
f (x0) f (x0 t)
f (y0) f (y0 t)
t
t
entonces f (x0) f (y0 ), entonces f es creciente. Como x0 t < x0 < x0 + t,
t > 0 se tiene:
f (x0) f (x0 t)
f (x0 + t) f (x0)
,
t
t
entonces f (x0) f+ (x0).
107
c) Como f+ es creciente, f+ tiene a lo mas un conjunto numerable de puntos de

discontinuidad. Sea c (a, b) un punto donde f+ es continua. Sea s > 0 y
tomemos t > 0, h > 0 tales que c s < c s + t < c h < c, entonces:
f (c s + t) f (c s)
f (c) f (c h)
.
t
h
Siendo f+ creciente, se tiene:
f (c s + t) f (c s)
f (c) f (c h)
,
t
h
f+ (c s)
entonces f+ (c s) f (c), para todo s > 0. Como f+ es continua en c, cuando

s 0+ se obtiene f+ (c) f (c) f+ (c), entonces f (c) = f+ (c), excepto a lo
mas en un conjunto numerable.

Definicion
9. Sea f : (a, b) R una funcion
convexa. La recta
y = m(x x0 ) + f (x0) que pasa por el pnto (x0, f (x0)) se llama
una recta de soporte para la grafica de f si m(x x0) + f (x0)
f (x) para todo x (a, b).
Se verifica facilmente que y = m(x x0 ) + f (x0) es una recta de soporte para la
grafica de f si y solo
si f (x0) m f+ (x0).
Proposicion
5.24 (Desigualdad de Jensen). Sea f : R R una funcion
convexa y
g : [0, 1] R una funcion
medible e integrable en [0, 1], entonces:
Z 1

Z 1
f (g(t))dt f
g(t)dt .
0
Demostracion:
Sea =
g(t)dt, y y = m(x ) + f () al ecuacion

de una recta
soporte en x0 = . Entonces f (g(t)) m(g(t) ) + f () para todo t [0, 1],

luego:
Z 1
Z 1
f (g(t))dt
[m(g(t) ) + f ()]dt
0
0
Z 1
Z 1
Z 1
=m
g(t)dt m
dt +
f ()dt
0
= m m + f () = f () .
Z 1

Z 1
Entonces
f (g(t))dt f
g(t)dt
0
E INTEGRACION.
CAPITULO
5. DIFERENCIACION
108
Una aplicacion
importante de la desigualdad de Jensen se obtiene tomando
x
f (x) = e como la funcion
convexa. Se obtiene el siguiente:
Corolario 5.25. Sea g : [0, 1] R una funcion
medible e integrable, entonces:
Z
1
0
R1
eg(t) dt e
g(t)dt
Ejercicios
1
xsen ,
1. Si f (x) =
x
0,
x 6= 0
si x = 0
, calcular D+ f (0), D+ f (0), D f (0) y D f (0).
2. si f toma su valor maximo en un punto c, verificar que D+ f (c) 0 y

D f (c) 0.
3. Si f, g : [a, b] R son funciones de variacion

acotada, verificar que f, g :
[a, b] R tambien es de variacion
acotada.
4. Sea f : [a, b] R una funcion
de variacion
acotada. Si c (a, b) verificar
b
c
b
que Ta (f ) = Ta (f ) + Tc (f ).
de variacion
acotada. Veriifcar que para
c (a, b) existen los lmites: lm f (x) y lm f (x).
xc+
xc

de variacion
acotada. Definamos vf : [a, b]
R mediante:
(
0,
si x = a
vf (x) =
Tax (f ), si x (a, b] .
Si f es continua en x0 [a, b], verificar que vf tambien es continua en x0.
7. Sea f : [a, b] R una funcion.
Si f (x) existe para cada x [a, b] y |f (x)|
M para todo x [a, b], verificar que f es de variacion
acotada.
8. Si f, g : [a, b] R son funciones, verificar que Tab (f + g) Tab (f ) + Tab (g).
9. Sea fn : [a, b] R, n N, una sucesion
de variacion
acotada. Si existe
b
f (x) = lm fn(x) para cada x [a, b], verificar que Ta (f ) lim Tab(fn).
n
10. Cuales de las siguientes funciones:
xsen , si x 6= 0
a. f (x) =
x
0,
si x = 0 .
109
1
2
x sen , si x 6= 0
b. f (x) =
x
0,
si x = 0 .
1
2
x sen 2 , si x =
6 0
c. f (x) =
x
0,
si x = 0 .
son de variacion
acotada?.
11. Si f : [a, b] R es una funcion

absolutamente continua, probar que:
Z b
Z b
b
b
a)Ta (f ) =
|f | , b)Pa (f ) =
(f )+.
a
12. Una funcion

f : [a, b] R se dice que satisface uan condicion
de Lipschitz
en [a, b] si es que existe una constante M > 0 tal que: |f (y)f (x)| M|xy|
para todo x, y en [a, b]. Si f : [a, b] R satisface una condicion
de Lipschitz
en [a, b], probar que f es absolutamente continua.
Z 1
13. Si g : [0, 1] R es una funcion
medible y no-negativa tal que:
ln(g(t))dt
0
Z 1
Z 1
R, probar que: ln
g(t)dt
ln(g(t))dt.
0
14. Si f : (a, b) R es una funcion

convexa, verificar que para cualesquiera
n
n
X
X
xi (a, b), 1 i n y para ti 0 tales que
ti = 1, se tiene
ti xi (a, b),
i=1
i=1
!
n
n
X
X
y: f
ti f (xi).
ti xi
i=1
i=1
15. Sean (i ), 1 i m numeros
reales no-negativos tales que:

1 i m numeros
reales positivos, probar que:
m
Y
i=1
bi i
m
X
i = 1 y (bi),
i=1
m
X
i bi.
i=1
16. Sea (ai )iN uan sucesion

de numeros
reales no-negativos tal que
ai =
i=1
1 y (bi)iN una sucesion

de numeros
reales positivos. Probar que
X
i=1
Y
i=1
ai bi .
bai i
110
E INTEGRACION.
CAPITULO
5. DIFERENCIACION
17. Sea g : [0, 1] R absolutamente continua y monotona.
Si E [0, 1] y mE =
0, probar que m(g(E)) = 0.
6
Espacios Lp(A).
Sea A R un conjunto medible, 1 p < + y

Z
Lp (A) = f : A R /
|f |p <
A
Definicion
1. Sean f, g : A R funciones en Lp (A). Se dice
que f = g en Lp(A) si el conjunto {x A/f (x) 6= g(x)} tiene
medida cero.
Teniendo en cuenta que:
|f (x) + g(x)| |f (x)| + |g(x)| 2 max{|f (x)|, |g(x)|}
se obtiene:
|f (x) + g(x)|p 2p[max{|f (x)|, |g(x)|}]p
= 2p max(|f (x)|p, |g(x)|p) 2p (|f (x)|p, |g(x)|p)
o sea:
|f (x) + g(x)|p 2p (|f (x)|p + |g(x)|p) .

Esta desigualdad implica que Lp(A) es un espacio vectorial.
Definicion
2. Sea X un espacio vectorial real o complejo. Una
funcion
kk : X [0, +) satisfaciendo las siguientes condiciones:
i) kxk = 0 si y solo
si x = 0.
ii) kxk = kxk para todo x X y todo F .
iii) kx + yk kxk + kyk, (desigualdad triangular), para todo
x, y en X se llama una norma en X.
111

CAPITULO
6. ESPACIOS LP (A).
112
El par (X, kk) se llama un espacio normado, kxk se llama la norma del vector x.
Si f Lp (A), definimos:
Z
1/p
p
. Nuestro objetivo sera probar que kkp es una norma en
kf kp =
|f |
A
Lp(A).
i) Obviamente kf kp = 0 si y solo
si f = 0 a.e. en A si y solo
si f = 0 en Lp (A).
ii)
kf kpp
|f | = ||
|f |p ; entonces kf kp = || kf kp .
Para demostrar la desigualdad traingular necesitamos algunas lemas preliminares:

Lema 6.1. Sean a, b numeros
reales no-negativos y 0 < < 1, entonces:

a b1 a + (1 )b .
Demostracion:
Consideremos : [0, ] R definido por: (t) = (1)+tt .
Para 0 < t se tiene: (t) = t1 = (1 e1 ln t).
Siendo la funcion
exponencial una funcion
estrictamente creciente, se obtiene:
1. (t) < 0, si 0 < t < 1.
2. (t) > 0, si t > 1.
Es decir es estrictamente decreciente en (0, 1) y estrictamente creciente en (1, ).
Como (t) = ()( 1)t2 > 0, la grafica de tiene la siguiente forma:
y
1
0
Figura 6.1
De 1) y 2) se deduce que 1 + t t 0 para todo t [0, ) y la igualdad

se cumple si y solo
si t = 1.
113
Ahora, si b = 0, la desigualdad del Lema se cumple trivialmente. Si b 6= 0,
a
a
a
tomando t = en la desigualdad anterior se obtiene: (1 ) + , o sea:
b
b
b
a b1 + (1 )b
La igualdad en (3) se cumple si y solo
si
(3)
a
= t = 1, es decir, si y solo
si a = b.
b
Corolario 6.2. Sean c, d numeros
reales no-negativos y p, q numeros
reales tales
1 1
cp dq
que p > 1, q > 1 y + = 1, entonces cd + .
p q
p
q
Demostracion:
El resultado se obtiene del Lema 6.1 con a = cp , b = dq y =
1
p
1 1
Lema 6.3 (Desigualdad de Holder).
Sean p > 1, q > 1 numeros
tales que: + =
p q
Z
1. Si f Lp (A), g Lq (A), entonces f g Lq (A) y
|f g| kf k kgk.
A
Demostracion:
i)ZSi kf kp = 0 entonces: f = 0 a.e. en A, entonces |f g| = 0 a.e.
en A, entonces
|f g| = 0, y la desigualdad de Holder
se cumple.
g
f
, g1 =
,
kf kp
kgkq
entonces kf1 kp = kg1kq = 1. Usando el Corolario anterior con c = |f1(x)|,
|f1 (x)|p |g1 (x)|q
d = |g1 (x)|, se tiene: |f1 (x)g1(x)|
+
, e integrando miembro
p
q
a miembro:
Z
Z
Z
1
1
1 1
|f1 (x)g1(x)|
|f1(x)| +
|g1 (x)| = + = 1 ,
p A
q A
p q
a
ii) Supongamos entonces que kf kp 6= 0 y kgkq 6= 0. Sean f1 =
o sea:
|f | |g|
1 , entonces
A kf kp kgkq
|f g| kf kp kgkq
Lema 6.4 (Desigualdad de Minkowski). Sean f, g elementos de Lp (A) donde p 1

es un numero
real. Entonces f + g Lp (A) y kf + gkp kf kp + kgkp .

Demostracion:
i) Si f + g Lp (A), entonces f + g Lp(A), pues Lp (A) es un

espacio vectorial.
iia) Si p = 1, la desigualdad de Minkowski es trivial.

CAPITULO
6. ESPACIOS LP (A).
114
iib) Supondremos 1 < p < +:
|f + g|p = |f + g||f + g|p1 |f ||f + g|p1 + |g||f + g|p1 ,

luego:
Z
|f + g|p
|f ||f + g|p1 +
|g||f + g|p1 .
()
Z
1
1
Si q es un numero
real tal que + = 1 entonces q(p 1) = p y:

|f +
p
q
A
Z
g|q(p1) =
|f + g|p < +; luego |f + g|p1 Lq (A) y podemos usar la
A
desigualdad de Holder:
Z

|f ||f + g|p1 kf kp |f + g|p1 q .
ZA

|g||f + g|p1 kgkp |f + g|p1 q .
A
Como

|f + g|p1 =
q
Z
q(p1)
|f + g|
1/q
Z
|f + g|
1/q
.
= kf + gkp/q
p
Luego, en () se obtiene:
kf + gkpp (kf kp + kgkp )(kf + gkp )p/q
y por tanto:
kf + gkp kf kp + kgkp
Este Lema muestra que kkp es una norma en Lp (A).

Definicion
3. Sea (X, kk) un espacio normado y (xn) una sucesion
en X. Se dice que (xn) converge al punto x X si dado
> 0, existe n0 N tal que kxn xk < para todo n n0.
Notacion.
Si (xn) converge al punto x escribiremos lm xn = x, o xn x. Se
n
observa que xn x si y solo

si kxn xk 0.
Observacion.
La convergencia en (Lp(A), kkp ) a veces se llama convergencia
en al media de orden p. O sea: xn x en la media de orden p si xn , x Lp(A) y
kxn xkp 0.
115
Definicion
4. Un espacio normado (X, kk) se llama completo
si toda sucesion
de Cauchy en X converge a un punto x X.
Un espacio normado y completo se llama un espacio de Banach.
Definicion
5. Una serie
xn en un espacio normado se llama
n=1
sumable,
de sumas parciales
! con suma s, si s X y la sucesion
n
X
xi converge al punto s, es decir:
i=1

n
X

lm
xi s = 0 .
n

i=1
En este caso escribimos s =
xn .
n=1
Definicion
6. La serie
gente, si la serie
X
i=1
xi se llama absolutamente conver-
i=1
kxik converge.
Proposicion
6.5. Sea (X, kk) un espacio normado, entonces:
(X, kk) es completo si y solo
si toda serie absolutamente sumable es sumable.
Demostracion:
a) Supongamos que (X, kk) es completo. Sea

solutamente sumable de elementos de X. Sea sn =
n
X
xi una serie ab-
i=1
xi, tn =
i=1
n > m se tiene:

n
n
X

X

ksn sm k =
xi
kxik = |tn tm | .

i=m+1
i=m+1
Luego, (sn) es de Cauchy y por tanto (sn ) converge.
n
X
i=1
kxik. Para

CAPITULO
6. ESPACIOS LP (A).
116
b) Recprocamente supongamos que toda serie absolutamente sumable es sumable y sea (xn) una sucesion
de Cauchy en X. Para cada k N, existe nk N tal
1
que kxn xmk < k para todo m, n nk , (podemos escoger nk de modo que
2
n1 < n2 < n3 < . . .); (xnk ) es una subsucesion
de (xn). Escribiendo y1 = xn1 ,
yk = xnk xnk1 para k > 1 se tiene:
k
X
i=1
yi = xn1 + (xn2 xn1 ) + . . . + (xnk xnk1 )

= x nk .

kyk k = xnk xnk1 <
Luego, la serie
que
X
i=1
yi = x,
i=1
k
X
i=1
1
2k1
X
k=1
X
1
kyk k kyk k +
= ky1k + 1.
2k1
k=1
yi es absolutamente convergent, entonces existe x X tal
yi x, o sea xnk x. Como (xn) es de Cauchy se tiene que
tambien xn x.
Teorema 6.6. Si 1 p < +, el espacio (Lp(A), kkp ) es completo.
1
Demostracion:
Sea (fn)nN una sucesion
de Cauchy en Lp (A). Dado = , existe
2
1
n1 N tal que kfm fnkp < para todo m, n n1 . En particular
2
1
(i)
kfm fn kp < , m n1 .
2
1
1
Dado = 2 , existe n2 N, n2 > n1 tal que kfm fnk < 2 , para todo m, n n2 .
2
2
En particular
1
(ii)
kfm fn k < 2 , m n2 ;
2
1
y en (i) se obtiene kfn2 fn1 k < .
2
De este modo se obtiene una subsucesion
(fni )iN , (n1 < n2 < . . .), tal que

fn fn < 1 .
(1)
i+1
i
2i
Escribamos , y
gk =
k
X
i=1
|fni+1 fni | y g =
X
i=1
|fni+1 fni | ,
(2)
117

k
k
k
X

X
X

1

<1.
kgk kp =
|fni+1 fni |
fni+1 fni p <

2i
i=1
i=1
i=1
O sea kgk kp < 1 para todo k N. Como g = lm gk se tiene g p = lm gkp ; entonces

k
aplicando el Lema de Fatou obtenemos:

Z
Z
Z
p
gp =
lm gk lim
gkp
A k
= lim
Siendo la integral
serie:
kgk kpp
1.
|g(x)|pdx finita, se tiene que g(x) es finita a.e. en A. Luego la

fn1 (x) +
X
i=1
(fni+1 (x) fni (x))
(3)
converge absolutamente a.e. en A.

Sea A1 = {x A/ la serie en (3) converge}, m(AA1) = 0. Definamos f : A
R mediante:
f +
(fni+1 (x) fni (x)) , si x A1
n1
f (x) =
i=1
0,
si x AA1 .
Como fn1 (x) +
k1
X
i=1
(fni+1 (x) fni (x)) = fnk (x) se tiene
f (x) = lm fnk (x) a.e. en A .

k
(5)
Ahora probaremos que fn f en Lp(A). Sea > 0, existe un numeros
natural N0
tal que kfn fmkp < para todo m, n N0 . Como: f (x) = lm fnk (x) a.e. en A, se
k
tiene:
|f (x) fm (x)|p = lm |fnk (x) fn (x)|p .
k
Luego, para k suficientemente grande tal que nk N0 y m N0 aplicando el

Lema de Fatou se tiene:
Z
Z
p
|f fm | lim
|fnk fm|p
A
= lim kfnk fm kpp p .

k
Entonces kf fm kp < para todo m N0 . Entonces f fm Lp(A) y por tanto

f Lp (A). Tambien la relacion:
kf fm kp < para todo m N0 nos dice que
p
fm f en L (A)

CAPITULO
6. ESPACIOS LP (A).
118
Corolario 6.7. Sea A R un conjunto medible y 1 p < . Si (fn) es una

sucesion
de Cauchy en Lp (A) que converge a una funcion
f Lp(A), entonces
existe una subsucesion
(fnk ) de (fn ) tal que fnk (x) f (x) a.e. en A.
Demostracion:
Se obtiene de la relacion
(5) del teorema 6.1.
Definiciones:
L (A) =
M > 0 satisfaciendo:
f :AR/
m{x A/|f (x)| > M} = 0
kf k = ess sup |f (x)|

= nf{M > 0/m{x A/|f (x)| > M} = 0}
para f L (A).
kf k se llama el supremo esencial de |f |.
Ejercicios
1. Probar que L (A) es un espacio vectorial.
2. Si f, g L(A), verifica que kf + gk kf k + kgk .
3. Si f, g L1(A), verificar que: kf + gk1 kf k1 + kgk1 .
Z
1
4. Si f L (A), g L (A), verificar que

|f g| kf k1 kgk .
A
5. Probar que (L(A), kk ) es un espacio normado completo.

6. Sea (fn)nN una sucesion
de funciones en L (A) y f L (A). Probar que
fn f en L (A) si y solo
si existe B A tal que m(B) = 0 y fn f
uniformemente en AB.
7. Sea f Lp[a, b], 1 p < . Probvar que dado > 0, existe una funcion
escalonada : [a, b] R y una funcion

continua : [a, b] R tales que:
kf kp < y kf kp < .
Solucion:
a) Supongamos que existe

M > 0 tal que |f (x)| M para todo x [a, b].
1 p
,
tomemos 0 < < mn
. Podemos hallar una
2 2M
[2(b a)]1/p
funcion
escalonada : [a, b] R una funcion
continua : [a, b] R
tales que:
i) |f | < en [a, b]B1, mB1 < .
ii) |f | < en [a, b]B2, mB2 < .
119
iii) |(x)| M y |(x)| M para todo x [a, b] entonces |f | 2M
y |f | 2M, luego:
Z
Z b
Z
p
p
|f | + |f |p
|f | =
a
entonces
b
a
B1
B1
p
+ (2M)pm(B1) < p ,
2(b a)
|f |p < p , entonces kf kp < .
Similarmente: kf kp < .
b) Denotemos: An = {x [a, b]/|f (x)| n} y definamos fn : [a, b] R

mediante fn = f An , entonces |fn | |f |, entonces fn Lp [a, b] para
todo n N.
Sea E = {x [a, b]/|f (x)| = }, mE = 0. tomemos x [a, b]E y nk N
tal que |f (x)| < nk . Entonces fn (x) = f (x) para todo n nk , entonces
fn f a.e. en [a, b].
|fn f | |fn | + |f | 2|f | ,
entonces |fn f |p (2|f |)p L1[a, b], y |fn f |p 0 a.e en [a, b]. Entonces usando el Teorema de la Convergencia dominada se tiene 0 =
Z b
lm
|fn f |p . Luego, dado > 0 existe n0 N tal que:
n
|fn0 f | <
p
2
o kfn0 f kp <
.
2
Como fn0 Lp[a, b] y |fn0 | n0 por la parte a) existe una funcion

escalonada : [a, b] R y una funcion
continua : [a, b] R tales que:
kfn0 kp <
y kfn0 kp < .
2
2
Entonces:
kf kp = k(f fn0 ) + (fn0 )kp
kf fn0 kp + kfn0 kp < .
Entonces kf kp < .
Similarmente kf kp < .
8. Sea (fn ) una sucesion
en Lp (A), 1 p < y f Lp (A) tal que fn f a.e.
en A. Probar que fn f en Lp (A) si y solo
si kfn kp kf kp .

CAPITULO
6. ESPACIOS LP (A).
120
9. Sea (fn )nN uan sucesion

de funciones en Lp (A), 1 p, f Lp (A) tal
que fn f en Lp(A). Sea (gn) una sucesion
de funciones medibles tal que
|gn | M para todo n N y gn g a.e.. Entonces gn fn gf en Lp(A).
6.1. Funcionales lineales y continuas en Lp[a, b]

Sea (X, kk) unn espacio normado. Una aplicacion.
F : X C tal que
i) F (x + y) = F (x) + F (y), todo x, y X.
ii) F (x) = , todo x X y todo C.
Se llama una funcional lineal.
Una funcional lineal F : X C se llama acotada si existe una constante
M > 0 tal que |F (x)| M kxk, para todo x X.
|f (x)|
Si F : X C es acotado, entonces existe M > 0 tal que:
M para todo
kxk
x X{}. El numero:
|F (x)|
kF k = sup
xX{0} kxk
se llama la normade la funcional F .

F es funcional lientonces kF k es una norma
Si B(X, C) = F : X C /
neal y acotada.
en B(X, C).
1
1
Si g Lq [a, b] y + = 1 definimos F : Lp [a, b] C mediante: F (f ) =
p
q
Z
b
f g para todo f Lp [a, b]. Obviamente F es una funcional lineal. Usando la
desigualdad de Holder
se obtiene:
Z b Z b

|f g|
|F (f )| = f g
a
kgkq kf kp ,
por tanto F es continua y |F (f )| kgkq kf kp implica que kF k kgkq .

1 1
Proposicion
6.8. Si g Lq [a, b] y + = 1, entonces la palicacion
F : Lp [a, b] R
Z b p q
f g es lineal, acotada y kF k = kgkq .
definida mediante: F (f ) =
a
6.1. FUNCIONALES LINEALES Y CONTINUAS EN LP [A, B]

Demostracion:
121
i) Si 1 0
1 ,
signg = 0 ,
si g(x) = 0
1 , si g(x) < 0 .
entonces |f | = |g|q/p , entonces |f |p = |g|q . f g = |g|q/p (signg)g = |g|q/p+1 =

Z b
1/p
p
q
q
p
q
p
=
|g| . f g = |g| ; |f | = |g| entonces f L [a, b], y kf kp =
|f |
a
Z b
1/q
= kgkq/p
|g|q
q
a
F (f ) =
fg =
|g|q = kgkqq = kgkq kgkq1

q
a
q/p
kgkq kgkq =
kgkq kf kp .
|F (f )| F (f )
=
= kgkq .
kf kp
kf kp
|F (f )|
Entonces kF k = sup
kgkq ;
kf kp
Entonces kF k kgkq
Entonces
ii) p = 1, q = +. Supondremos kgk > 0. Para 0 < < kgk , sea:

E = {x [a, b]/|g(x)| kgk } .
Entonces m(E) > 0, mE R. Sea f = (signg)E , entonces f L1 [a, b] y
kf k1 = mE > 0.
Z b
Z
Z
kF k kf k1 F (f ) =
fg =
fg =
|g|.
a
kF k kf k1 (kgk )mE = (kgk ) kf k1 .
Entonces kgk kF k + 0 < < kgk , entonces kgk kF k.
iii) p = +, q = 1. Sea f = signg, (g 6= 0 en L1 [a, b]). Entonces f L [a, b] y

Z b
Z b
kf k = 1, luego: F (f ) =
fg =
|g| = kgk1 .
a
kgk1 = |F (f )| kF k kf k = kF k .

CAPITULO
6. ESPACIOS LP (A).
122
Lema 6.9. Sea g : [a, b] R una funci

medible
e integrable. Supongamos que
Z on

b

existe una constante M > 0 tal que f g M kf kp para toda funcion
medible
a
y acotada f . Entonces g Lq [a, b] y kgkq M. 1 p < .
Demostracion:
a) Si 1 n
y definimos fn = |gn |q/p (signgn ), entonces fn es medible y acotada. Igual que la

p
q
as
proposicion
anterior se obtiene kfn kp = kgn kq/p
p , |fn | = |gn | = fn gn . Adem
fn gn = fng, pues:
Si |g(x)| n, gn (x) = g(x) y si |g(x)| > n entonces gn (x) = 0, entonces fn (x) =
0; luego |gn |q = fng.
Z b

Z b
Z b

|gn |q =
kgn kqq =
fng = fn g
a
M kfnkp .
qq/p
M.
Entonces kgn kqq M kfn kp = M kgn kq/p
q , kgn kq = kgn kq
Z b
Entonces
|gn |q M q . Como lm |gn (x)|q = |g(x)|q , usando el Lema de Fatou
se tiene:
|g| lim
Entonces g L [a, b] y kgkq M.
|gn |q M q .
b) Si p = 1, tomemos > 0 y definamos E = {x [a, b]/|g(x)| M + }, y

Z b
Z b
f = (signgE ), entonces |f | = E , kf k1 =
|f | =
E = mE.
a
Z b

(mE)M = M kf k1 f g
( por hipotesis)
Z b Z b

fg
pues: f g = (signg)E g = |g|E (M + )E 0 entonces f g =
a
a
Z b
(M +)E = (M +)mE. Entonces MmE (M +)mE, entonces mE 0.
a
Entonces mE = 0, entonces g L [a, b] y kgk M
123
Teorema 6.10 (De representacion

de Riesz). Sea 1 p < y F : Lp [a, b] R
1
1
una funcional lineal y acotada. Entonces existe g Lq [a, b], + = 1, tal que
p
q
Z
b
F (f ) =
f g.
Ademas kF k = kgkq .
Demostracion:
Denotemos S = [a,s] , S Lp [a, b]; F (S ) es un numero
real que
demostraremos con (S); Veamos que : [a, b] R es absolutamente continua:
Sea {(Si, Si)}, 1 i m una coleccion
finita de subintervalos de [a, b] dos a dos
m
m
X
X
disjuntos tal que

(Si Si ) < . Si f =
(Si Si )sign((Si)(Si)) entonces:
i=1
i=1
f (x)
m
X
i=1
|Si Si | =
m
X
(Si ,Si ] (x)
i=1
la sumatoria consta de a lo mas un solo

sumando para cada x [a, b]. Si x
(Si0 , Si0 ], entonces |f (x)| 1, entonces |f (x)|p 1 = (Si0 ,Si ] , luego:

0
|f (x)|
m Z
X
i=1
Si
(Si ,Si ] (x)dx =
m Z
X
i=1 S
i
dx =
m
X
i=1
(Si Si) < ,
entonces kf kpp < , entonces f Lp [a, b].

m
X
F (f ) =
(F (Si ) F (Si ))sign[(Si) (Si)]
=
=
i=1
m
X
((Si) (Si))sign[(Si) (Si)]
i=1
m
X
i=1
|(Si ) (Si)|
entonces
m
X
i=1
|(Si ) (Si)| = F (f ) = |F (f )|
kF k kf kp < kF k 1/p
m
X
p
Dado > 0 podemos tomar 0 < <
|(Si) (Si)|
p , entonces:
kF k
i=1
kF k 1/p < , por tanto es absolutamtente continua. Luego es una integral

CAPITULO
6. ESPACIOS LP (A).
124
S
indefinida (S) = (a) +

g; pero (a) = F (a ) = 0. Entonces (S) =
a
Z S
Z S
Z b
F (S ) = (S) =
g, F (S ) =
g=
gS .
a
k
X
g;
a
Ahora tomemos una funcion

escalonada h : [a, b] R, h es de forma h =
ci Si , entonces:
i=1
F (h) =
k
X
ci F (Si ) =
i=1
Entonces F (h) =
k
X
i=1
k
X
ci
gSi
i=1
!
Z b
ci Si =
gh .
a
gh, para toda funcion

escalonada h.

medible y acotada, |f (x)| N para todo x
p
p
[a, b], entonces |f (x)| N para todo x [a, b], entonces f Lp[a, b].
1
escaolanda n : [a, b] R tal que kf n kp <
Dado n = , existe una funcion
n
1
y |n (x)| N para todo x [a, b] y todo n N.
n
lm kf n kp = 0, entonces n f en Lp [a, b], luego, existe una subsucesion
(nk ) de (n ) tal que nk (x) f (x) a.e. en [a, b]. Tambien lm kf nk kp = 0.

n
|F (f ) F (nk )| = |F (f nk )|
kF k kf nk kp 0
entonces F (f ) = lm F (nk ) = lm
k
gnk . Pero |gnk | |g||nk | N |g| con
N g integrable en [a, b] y lm gnk = gf . Luego por el Teorema de la convergencia

k
dominada se tiene:
F (f ) = lm
gnk =
gf .
Z b

gf = |F (f )| kF k kf k para toda funcion
medible y acotada f : [a, b] R.
q

a
Por el Lema 6.4 se tiene que g Lq [a, b].
Ahora, tomemos f : [a, b] R una funcion
medible tal que f Lp[a, b]. Dado
> 0, existe una funcion
escalonada : [a, b] R tal que kf kp < , y

F () =
125
g, luego:

Z b
Z b
Z b

F (f )
= F (f ) F () +

f
g
g
f
g

a
a
a
Z b

|F (f )| + ( f )g
a
kF k kf kp + kf kp kgkq
< (kF k + kgkq ) , > 0 .
Entonces F (f ) =
Proposicion
6.2
f g para todo f Lp(A). La igualdad kF k = kgkq sigue de la
Ejercicios

0x1
, y f : Q R una funcion
acotada. Suon1. Sea Q = (x, t) /
0t1
f
(x, t),
gamos que para cada t fijo, f es medible como funcion
de x y que
x
f
f
(x, t) existen para cada (x, t) Q. Si
es acotada en Q, verificar que:
t
t
Z
Z 1
d 1
f
f (x, t)dx =
(x, t)dx .
dt 0
0 t
2. Hallar una representacion
para las aplicaciones lineales y acotadas F : p
R, 1 p < .
126
CAPITULO
6. ESPACIOS LP (A).
7
Medida en R2.
Si A R, B R, entonces A B se llama un rectangulo en R2 .
Si A R, B R son conjuntos medibles, entonces AB se llama un rectangulo medible.
denotara la coleccion
de todos los conjuntos A R que son medibles
segun
Lebesgue
m
[
Si Q =
Ri , donde cada Ri es un rectangulo medible y Ri Rj = para i 6= j,
i=1
entonces Q se llama un conjunto elemental. Con denotaremos la coleccion

de
todo los conjuntos elementales.
2
2
denotara la menor -algebra en R2 tal que A B
para todo
rectangulo medible A B.
La identidades:
(A1 B1 ) (A2 B2 ) = (A1 A2 ) (B1 B2 )

A1 B1 A2 B2 = [(A1A2 ) B1 ] [(A1 A2) (B1B2 )]
muestran que la interseccion
de dos rectangulos medibles es un rectangulo medible, y que la diferencia de dos rectangulos medibles es un elemento de .
m
k
k
k [
m
[
[
[
[
Sean P =
Pi , Q =
Qj . P Q =
(P Qj ) =
(Pi Qj )
i=1
j=1
j=1
union
disjunta de rectangulos medibles, por tanto P Q
P Q = P Q =
=
"m
k
\
[
j=1
k
\
j=1 i=1
(P Qj )
j=1
(Pi Qj ) =
i=1
"m
k
\
[
j=1
(Pi Qj )
i=1
= interseccion
finita de elementos de
127

CAPITULO
7. MEDIDA EN R2 .
128
por tanto P Q .
P Q = (P Q) Q es union
disjunta de elementos de
, por tanto P Q .
7.1. Clase monotona.
m P (X) se llama una
Clase monotona.
Sea X 6= . Una coleccion

6=
clase monotona
si satisface las siguientes propiedades:

i) Si Ai
ii) Si Bi
m, i N, A1 A2 A3 . . . y A =
Ai , entonces A
m.
m, i N, Bi B2 B3 . . . y B =
Bi , entonces B
m.
i=1
i=1
Definicion
1. Sea E R2 , x, y R, definimos:
Ex = {y R/(x, y) E}, x seccion
de E.
Ey = {x R/(x, y) E}, y seccion
de E.
Nota.- Sean A, B R, entonces:

(
B , si x A
(A B)x =
, si x
/A
(
A , si y B
(A B)y =
, si y
/B
Si x R, definimos g : R R2 mediante g(y) = (x, y). Si M R2 , facilmente se
verifica que g 1(M) = Mx .
Teorema 7.1. Sean M, N, Mn, n N subconjuntos de R2 , x R, entonces:
!
[
[
(Mn )x .
Mn
=
a)
n=1
b)
n=1
n=1
Mn
=
x
(Mn )x .
n=1
c) (MN )x = Mx Nx .

7.1. CLASE MONOTONA.
129
d) Si M N entonces Mx Nx .
e) Si M1 M2 . . . y M =
n=1
Mn , entonces (M1)x (M2)x . . . y Mx =
(Mn)x .
n=1
Notacion.
Si Mn M, entonces (Mn )x Mx .
f) Si M1 M2 . . . y M =
\
(Mn)x .
n=1
Mn , entonces (M1)x (M2)x . . . y Mx =
n=1
Notacion.
Si Mn M, entonces (Mn ) Mx .
Demostracion:
Consideremos g : R R2 definido mediante g(y) = (x, y).
a)
Mn
n=1
=g
Mn
n=1
g 1(Mn )
n=1
(Mn )x .
n=1
De modo igual para los demas casos. Resultado similar paras las y-secciones.
Teorema 7.2. Si M
m2 entonces Mx m, My m, para todo x, y R.
Demostracion:
Sea x R y definamos g : R R2 mediante g(y) = (x, y).
Sea = {U R2 /g 1(U )
}.
i) g 1 (R2) = R
m, entonces R2 , entonces 6= .
ii) Si U , entonces g 1 (U ) = g 1(U ) entonces g 1 (U )

U .
m, entonces
g 1 (Ui)
m, entonces
iii) Si Ui , i N y U =
U .
i=1
Ui, entonces g (U ) =
i=1
Luego es una -algebra . Si E, F R conjuntos medibles, entonces:

(
F , si x E
g 1 (E F ) = (E F )x =
, si x E

CAPITULO
7. MEDIDA EN R2 .
130
entonces g 1(E F )
, entonces E F . E F P (R2 ) para todo
2
2
rectangulo medible E F . Por definicion
de
se tiene
. Luego:
2
M
entonces M entonces Mx = g 1(M)
. Analogamente
My
m
m
m
m

Corolario 7.3. Sea A B un rectangulo no-vacio. Si A B
.
m2 entonces: A, B
Demostracion:
Tomemos x A, y B, entonces A = (A B)y
(A B)x
m, y B =
m

2
que contiene a los conjuntos eleTeorema 7.4. m es la menor clase monotona

mentales .
Demostracion:
Sea M P (R2 ) la menor clase monotona
que contiene a . Co2

2
2
mo m es una clase monotona
y m se tiene M m .
2
Sea P R cualquier conjunto, definamos:

P
Q
M,
QP
M,
(P ) = Q R2 /
P QM
Se observa que:
a) Q (P ) si y solo
si P (Q).
b) Sea Qi (P ), i N
i) Si Q1 Q2 . . ., y Q =
i=1
Qi, entonces QP = Q P =
Q1P Q2P . . . entonces QP M. P Q = P
(QiP ).
i=1
!
\
Qi =
i=1
(P Qi ). P Q1 P Q2 . . ., entonces P Q M. P Q =
i=1
Qi) M. Entonces Q (P ).
ii) Similarmente, si Q1 Q2 . . . y Q =
i=1
(P
i=1
Qi, se verifica que Q (P ).
Luego, (P ) es una clase monotona
para cualquier P R2 .
Sea P fijo. Si Q entonces P Q
M, QP
M. Y
P Q M, entonces Q (P ) para todo Q , entonces (P )
para todo P .

131
Como (P ) es una clase monotona
y
(P ), por definicion
de M,
debe tenerse M (P ) para todo P .
Ahora, sea Q M fijo. Si P
entonces: Q M (P ), entonces
Q (P ), entonces P (Q), entonces (Q).
Nuevamente, por definicion
de M, se tiene M (Q) para todo Q M.
En resumen, si P, Q M entonces: P M (Q), entonces P (Q)
entonces P Q M, QP M y P Q M.
Veamos ahora que M es una -algebra en R2 :
i) R2 = R R M, entonces R2 M, entonces M 6= .
ii) Si Q M, entonces Q = R2 Q M.
[
iii) Si Pi M, i N y P =
Pi escribamos: Qn = P1 P2 . . . Pn ,
i=1
Qn M, Q1 Q2 Q3 . . ., y
n=1
Qn = P , entonces P M por la
monotona de M, entonces M es una -algebra .

2
2
Como
M
, por definicion
de
se tiene
2
entonces
=M
m2
M,
Definicion
2. Para cada funcion
f : R2 R y para cada x, y
R definimos:
fx (y) = f (x, y) , x R fijo.
fy (x) = f (x, y) , y R fijo.
m2
Teorema 7.5. Sea f : R2 R una funcion
-medible, es decir:
2
2
{(x, y) R /f (x, y) > c}
para todo c R. Entonces las funciones fx , fy :
R R son medibles.
Demostracion:
Sea c R,
Q = {(x, y) R2 /f (x, y) > c}
m2
Qx = {y R/(x, y) Q} = {y R/f (x, y) > c}

= {y R/fx (y) > c} .
Como Q
m2, se tiene que Qx m, por tanto fx es medible.

CAPITULO
7. MEDIDA EN R2 .
132
Analogamente {x R/fy (x) > c} = Qy , Qy

Teorema 7.6. Si Q
m y por tanto fy es medible.

m2, definimos:
(x) = m(Qx )
(y) = m(Qy )
(1)
para cada x R y cada y R. Entonces , : R R son funciones medibles y

Z
Z
(x)dx =
(y)dy
(2)
R
Nota. Cuando x es fijo, Q (x, y) = Qx (x, y), entonces:

Z
Z
Z
Q (x, y)dy =
Qx (y)dy =
1dy = m(Qx ) .
R
Qx
Cuando y es fijo, Q (x, y) = Qy (x), entonces:

Z
Z
Z
Q (x, y)dx =
Qy (x)dx =
R
Qy
Entonces, la igualdad:
(x)dx =
Z Z
R
(y)dy se escribe como:

R
Q (x, y)dy dx =
R
Demostracion:
Denotemos:
= Q
1dx = m(Qy ) .
Z Z
R
Q (x, y)dx dy .
(x) = mQx , (y)mQy
2
son
medibles
y:
Z
Z
/
(x)dx =
(y)dy
i) Veamos que tiene las siguientes propiedades:
a) A B para cada rectangulo medible.
[
b) Si Qi , i N, Q1 Q2 . . . y si Q =
Qi, entonces Q .
i=1
c) Si Qi , i N, Qi Qj = para i 6= j y Q =
d) Supongamos que A, B
i=1
Qi , entonces Q .
m con
mA < , mB < . Si Qi , i N,
A B Q1 Q2 . . . y Q =
En efecto:
i=1
Qi , entonces Q .

133
a) Si Q = A B es un rectangulo medible, entonces:

(
B , si x A
Qx =
, mQx = mBA (x)
, si x
/A
entonces = mBA , entonces es medible.
Similarmente, es medible.
Ademas:
Z
Z
Z
(x)dx =
mBA (x)dx = mB A (x)dx
R
R
R
Z
= m(B) 1dx = m(B)m(A) .
A
Z
Z
Z
(y)dy =
mAB (y)dy = mA B (y)dy
R
R
R
Z
= m(A) 1dy = m(A)m(B) .
B
Entonces
(x)dx =
(y)dy, si Q = A B es un rectangulo medi-
ble, entonces A B .
b) Definamos i(x) = m[(Qi)x ], i (y) = m[(Qi)y ]; Q1 Q2 Q3 . . .,
[
[
entonces (Q1)x (Q2)x . . . y Q =
Qi. Entonces Qx =
(Qi)x ,
i=1
i=1
entonces mQx = lm m(Qi)x , o sea: (x) = lm i(x), con 1(x)

n
2(x) 3 (x) . . .. Similarmente: 1 (y) 2 (y) 3 (y) . . . y

lm i(y) = (y).
Qi
Z
i , i son medibles
y
Z
i(x)dx =
i (y)dy ,
R
luego , son medibles y el Teorema de la convergencia monotona
nos dice:
Z
Z
(x)dx =
(y)dy , Q .
R
c) Qi , Qi Qj = si i 6= j. Sea Bk = Q1 Q2 . . . Qk , (Bk )x =
k
X
(Q1)x (Q2)x . . . (Qk )x , union
disjunta, m(Bk )x =
m(Qi )x . Si
i=1
gk (x) = m(Bk )x , entonces: gk (x) =
k
X
i=1
i(x), entonces gk es medible.

CAPITULO
7. MEDIDA EN R2 .
134
Similarmente, si hk (y) = m(Bk )y , entonces hk (y) =
k
X
i(y), entonces
i=1
hk es medible.
Z
gk (x)dx =
k Z
X
i(x)dx =
k Z
X
i (y)dy
R
i=1
Zi=1
=
hk (y)dy , Bk .
R
Como B1 B2 B3 . . ., la parte b) dice que
k=1
d)
Bk =
k=1
k=1
Bk , pero
Qk = Q, entonces Q .
A B Q1 Q2 . . .
(A B)x (Q1)x (Q2)x . . .
B (Q1)x (Q2)x . . . , si x A .
0 i(x) 1(x) m(B) < , i(x) = 0 si x
/ A.
Similarmente: 0 i (y) 1 (y) m(A) < , i (y) = 0 si y
/ B.
Q=
i=1
Qi , Qx =
(Qi)x , Qy =
i=1
(Qi)y .
i=1
mQx = lm m(Qi )x , mQy = lm m(Qi)y .

i
(x) = lm i(x) , (y) = lm i (y) .

i
Si x
/ A, i (x) = 0i N, entonces (x) = 0.
Si y
/ B, Zi (y) = 0i ZN, entonces (y)
Z = 0.
i(x)dx =
Entonces
i (x)dx, y,
i(y)dy =
B
1
i (y)dy, i N.
Como 1, 1 son funciones medibles y acotadas,

y 1 son integrables en A y en B respectivamente, luego 1 y 1 son integables en R.
Como:
Z
Z
i (x)dx =
i(y)dy .
usando el Teorema de la convergencia dominada se tiene:

Z
Z
(x)dx =
(y)dy , Q .
R

Para Q
135
m2, definamos: Qmn = Q (Xn Ym), m, n N, donde
Xn = (n, n + 1] [n 1, n) .
Ym = (m, m + 1] [m 1, m) .

Qmn para
2
. Usando las propiedades b)
Sea = Q
/
m N y n N
y d) veremos que es una monotona:
[
i) Sea Qi , Q1 Q2 Q3 . . ., y Q =
Qi; (Q1)mn (Q1)mn
. . ., Q (Xn Ym ) =
i=1
(Qi (Xn Ym )). Qmn =
i=1
Como (Qi)mn , la propiedad b) dice que

ces Qmn , entonces Q
ii) Si Qi
n.
n, Q1 Q2 Q3 . . ., y Q =
i=1
(Qi)mn.
i=1
(Qi)mn , enton-
i=1
Qi ; (Q1)mn (Q2)mn
. . ., (Q1)mn = Q1 (Xn Ym ) Xn Ym . m(Xn ) < , m(Ym) < .
\
Qmn = (Qi)mn; (Qi)mn , aplicando la propiedad d) se tiene:
i=1
(Qi)mn , o sea:
i=1
Qmn para todo m N, y todo n N, entonces Q .

Lo cual prueba que es una clase monotona.
Si A B es un rectangulo medible, entonces (A B) (Xn Ym )

es un rectangulo medible, por la propiedad a) se tiene: (A B)
(Xn Ym ) para todo m N y todo n N, entonces A B .
k
[
Si Q , Q =
Ri es union
finita de rectangulos medible y
i=1
disjuntos, entonces:
Qmn = Q (Xn Ym ) =
k
[
(Ri (Xn Ym )) ,
i=1
union
finita de rectangulos medibles. Usando la demostracion
de
la propiedad c) se tiene: Qmn para todo m, n, N, entonces
2
Q , entonces
. Pero
es la menor clase monotona
2
2
2
tal que
, entonces
. Pero
, por tanto
2
= .
m
m n
n m

CAPITULO
7. MEDIDA EN R2 .
136
m2
Ahora, tomemos Q
, entonces Q , entonces Qmn ,
m, n N. Qmn = Q (Xn Ym ).
[
Q =
Qmn es union
de conjuntos disjuntos. Por la propiedad
i=1
c) se tiene que Q , lo cual signifca que las funciones: (x) =

m(Qx ), (y) = m(Qy ) son medibles y:
Z
Z
(x)dx =
(y)dy .
R
Definicion
3. Si Q
m2, definimos
m2 (Q) =
m(Qx )dx =
Si Qi
m(Qy )dy .
m , i N, Qi Qj = para i 6= j y Q =
union
disjunta, luego:
m(Qx ) =
Z
2
o sea: m (Q) =
m(Qx )dx =
R
Qi, entonces Qx =
i=1
(Qi)x ,
i=1
m(Qi)x .
i=1
Z
X
i=1
m(Qi)x dx ,
R
m2 (Qi), por tanto m2 es una medida -aditiva en
m2.
i=1
7.2. Teorema de Fubini.

m2 -medible.
Teorema 7.7 (Fubini). Sea f : R R una funcion
a) Si 0 f (x) + y si:
(x) =
fx (y)dy , (y) =
fy (x)dx
entonces , : R R son funciones medibles y:

Z
Z
Z
f (x, y)dm2 =
(y)dy .
(x)dx =
R
(1)
R2
(escribiremos dm2 = d(x, y) = da)
(2)
7.2. TEOREMA DE FUBINI.
137
b) Si
(x) =
|f |x (y)dy y
(x)dx < ,
(3)
entonces f L1(R2 , m2), es decir:

Z
|f (x, y)|da < .
R2
c) Si f L1(R2, m2 ), entonces: fx L1 (R, m) para casi todo x R, fy L1 (R, m)

para casi todo y R.
Las funciones , definidas en (1) a.e. en R, estan en L1 (R, m) y:
Z
Z
Z
f (x, y)da =
(y)dy .
(x)dx =
R2
Notas:
1.
Z
(x)dx =
Z Z
Z Z
fx (y)dy dx =
f (x, y)dy dx
R
R

Z
Z Z
Z Z
(y)dy =
fy (x)dx dy =
f (x, y)dx dy ,
R
Las integrales:
Z Z
R
Z Z
f (x, y)dy dx ,
f (x, y)dx dy ,
R
se llaman integrales iteradas de f , entonces la formula
en (2) puede escribirse

como:

Z Z
Z Z
f (x, y)dy dx =
f (x, y)dx dy .
ZR
(4)
f (x, y)da .
R2
La integral
f (x, y)da se llama una integral doble.
R2
2. Si f : R R es m -medible y si
Z Z
R
f (x, y)dy dx < , o sea si
(x)dx <
, entonces por b) se tiene que f L1 (R2, m2 ), y ahora c) dice que las integrales en (4) son finitas e iguales. En consecuencia, el orden de integracion
puede
2
intercambiarse para cualquier funcion
medible f : R R tal que:

CAPITULO
7. MEDIDA EN R2 .
138
0 f (x) +, o
Cuando una de las integrales iteradas de |f | es finita.
Demostracion:
a) Como fx , fy : R R son funciones medibles y no-negativas,

estan definidas:
Z
Z
(x) =
fx (y)dy y (y) =
fy (x)dx
R
en [0, +].
Supongamos que Q
(x) =
(y) =
m2 y que f = Q, entonces:
Z
(Q )x (y)dy =
ZR
Qx (y)dy = mQx .
ZR
(Q)y (x)dx =
Qy (x)dx = mQy .
Por el teorema 7.5, , son funciones medibles y:

Como
Z
(x)dx =
f (x, y)da =
R2
se tiene:
R2
Q (x, y)da m (Q) =
(x)dx =
m(Qx )dx =
f (x, y)da =
(y)dy.
R
(x)dx ,
R2
(y)dy ,
m2
y se cumple a) para funciones caractersticas f = Q con Q

.
m
X
2
Si s =
ci Qi 0, Qi
es una funcion
simple, definimos:
i=1
i(x) =
Como sx =
m
X
(Qi)x (y)dy , i (y) =
(Qi )y (x)dx .
R
m
X
ci (Qi )x , sy =
i=1
ci (Qi )y se tiene:
i=1
(x) =
=
sx (y)dy =
R
m
X
i=1
m
X
i=1
ci i (x) ,
ci
(Qi )x (y)dy
R
139
entonces es medible, analogamente, (y) =

funcion
medible.
Z
(x)dx =
R
m
X
i=1
m
X
ci
ci
i=1
Entonces
(x)dx =
R
i (y)dy =
R
(y)dy .
(y)dy.
s(x, y)da =
R2
m
X
i=1
m
X
ci
(x)dx =
Qi (x, y)da
R2
ci
i=1
Luego:
i(x)dx
Por otra parte:
ci i(y), entonces es una
i=1
=
Z
m
X
s(x, y)da =
R2
i (x)dx =
Z
(x)dx .
R
(y)dy, para toda funcion

simple
R
s 0.
medible, 0 f +, entonces existe una
Si f : R2 R es una funcion
sucesion
(sn ) de funciones simples tal que 0 s1 s2 . . . y lm s( x, y) =
n
f (x, y).
Si
n (x) =
(sn)x (y)dy
RZ
(x) =
fx (y)dy
,
,
n (y) = (sn )y (x)dx .

Z R
(y) =
fy (x)dx .
R
Como 0 (s1)x (s2 )x . . ., 0 (s1 )y (s2 )y . . . se tiene:

Z
Z
0 (s1)x (y)dy (s2)x (y)dy . . .
R
0 1 (x) 2(x) 3(x) . . .

Z
Z
0 (s1)y (x)dx (s2 )y (x)dx . . .
R
0 1 (y) 2 (y) 3(y) . . .
lm (sn )x (y) = lm sn (x, y) = f (x, y) = fx (y) .
lm (sn)y (x) = lm sn (x, y) = f (x, y) = fy (x) .

CAPITULO
7. MEDIDA EN R2 .
140
Usando el teorema de la convergencia se tiene:

Z
Z
(x) =
fx (y)dy = lm (sn )x (y)dy = lm n (x)
n
n R
R
Z
Z
(y) =
fy (x)dx = lm (sn)y (x)dx = lm n (y) .
n
sn (x, y)da =
Como
n(x)dx =
R
n (y)dy, usando el Teorema de la
convergencia monotona
de nuevo se tiene:
Z
Z
Z
f (x, y)da =
(y)dy ,
(x)dx =
R2
para toda funcion

medible f : R [0, ], lo cual prueba a).
b) Sea f : R2 R una funcion

medible, |f | es medible y 0 |f | +.
Estamos en al situacion
de a), luego si
Z
Z
(x) =
|f |x (y)dy , (y) =
|f |y (x)dx ,
R
se tiene que , son medibles y

Z
Z
Z
(x)dx =
|f |(x, y)da =
(y)dy .
R2
Por tanto si
(x)dx < , se tiene que
L1(R2 , m2), lo cua prueba b).
R2
c) Sea f : R R uan funcion

medible tal que
1(x) =
(f )x (y)dy
|f |(x, y)da < + o sea: f
R2
|f |(x, y)da < +. Sean:
2(x) =
(f )x (y)dy .
R
|f | = f + + f , entonces 0 f + |f |, 0 f |f |. Usando a) se tiene:

Z
Z
Z
|f |(x, y)da <
f +(x, y)da
0
1 (x)dx =
R2
R2
entonces 1 L1(R, m). Similarmente 2 L1 (R, m). Entonces 1 y 2 son

finitos a.e. en R.
Como fx = (f +)x (f )x , se tiene:
Z
Z
Z
fx (y)dy = (f +)x (y)dy (f )x (y)dy
R
= 1(x) 2(x) .
141
Entonces fx L1(R, m) para casi todo x R.

Z
Sea A = {x R/ fx (y)dy < }, m(RA) = 0. Si x A, entonces:
R
(x) =
fx (y)dy = 1(x) 2(x) ,
(x) = 1(x) 2(x) a.e. en R. Entonces L1(R, m). Usando a) de nuevo

se tiene:
Z
Z
f + (x, y)da < ,
1(x)dx =
ZR
ZR2
f (x, y)da < .
2(x)dx =
R
Z
ZR2
(f +(x, y) f (x, y))da .
(1(x) 2(x)) =
R
ZR2
Z
f (x, y)da .
(x)dx =
R2
Analogamente fy L (R, m) para casi todo y R. Si (y) =
entonces L1(R, m) y:
Z
(y)dy =
fy (x)dx
f (x, y)da .
R2
Indice alfabetico
Symbols
Algebra
generada, 10
D
Derivada
a derecha, 106
a izquierda, 106
derecha inferior, 90
derecha superior, 90
izquierda inferior, 90
izquierda superior, 90
Derivadas de Dini, 90
Desigualdad
de Minkowski, 113
Holder,
113
Jensen, 107
triangular, 111
A
a.e., 51
Axioma de eleccion,
2
B
Borel, 56
C
Casi en todas partes., 51
Clase de equivalencia, 7
Conjunto
F , 11
G , 11
a lgebra de, 9
-algebra de , 10
anillo de, 8
Borel, 11
contable, 4
elemental, 14
equipotentes, 4
finito, 1
numerable, 1, 3
particion,
7
Converge en medida, 51
Convergencia
acotada, 71
dominada, 79
monotona,
74
E
Espacio
completo, 115
normado, 111
F
Funcion
caracterstica, 45
escalonada, 45
simple, 45
Funcion
absolutamente continua, 102

convexa, 105
creciente, 89
estrctamente creciente, 89
142
INDICE
ALFABETICO
I
Integrable, 75, 76
Integral de Lebesgue, 68
L
Lema de Fatou, 73
M
Medida de Lebesgue, 26
N
N.N.Luzin, 58
Numero
algebraico, 6
P
Princio del mnimo entero, 1
R
Recta soporte, 107
Relacion
compuesta, 6
de equivalencia, 7
entre elementos, 6
indentidad, 6
inversa, 6
S
Schroeder-Berstein, 4
Serie
absolutamente convergente, 115
sumable, 115
Sucesion
doble, 26
V
Variacion
acotada, 96
negativa, 96
positiva, 96
total, 96
Vitali, 85
cubrimiento en el sentido de, 85
143

Teoria de La Medida

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Teoria de La Medida

Загружено:

Авторское право:

Доступные форматы

Henri Lebesgue

Tipeado por Alvaro Naupay Gusukuma.

5.2. Funciones de variacion

Este libro sobre Teora de la Medida es el resultado de varios cursos sobre la

Tipeado del libro manuscrito por Alvaro Naupay.

naturales tiene un menor elemento.

Para cualquier familia no vaca

tal que f () X para cada M

Lema 1.3. Sean X, Y conjuntos no vacos. Si f : X Y es una funcion

Ejercicio: Sean X Y Z funciones y h = g f .

1.1. CONJUNTO FINITO, CONJUNTO NUMERABLE.

y por tanto X es numerable.

b) Si A es numerable y B es un conjunto finito, entonces A B es numerable.

i) Si A tiene n elementos, entonces la coleccion

Nota: Si s : N X es una funcion

Sea A F , entonces A (A) y A W . A (A) (W ), entonces

1.1. CONJUNTO FINITO, CONJUNTO NUMERABLE.

Entonces XW = g(Y f (W )) con g inyectiva. Podemos definir h : X Y

a que f es biyectiva; luego el intervalo [0, 1] no es numerable.

Probar que X es numerable.

natural fijo. Verificar que el conjunto formado por

naturales (n1, . . . , nk ) es numerable.

complejo que es raz de un polinomio

11. Verificar que todo conjunto infinito X contiene un subconjunto propio Y

Ejemplo: Sea f : X Y una funcion.

2. Definamos R C C mediante: (x, y) R si y solo

3. Sea R X X una relacion.

4. Sean R X Y , S Y Z dos relaciones, verificar que:

P(X). se llama un anillo de conjuntos si para cualquier par

r = P(X) es un anillo de conjuntos.

r = {A X / A es finito } es un anillo de conjuntos.

r un anillo de conjuntos. Si A y B son elementos de r entonces:

P(X) se llama una a lgebra de conjuntos si para A, B en

a = P(X), entonces a es una a lgebra de conjuntos.

De b) se sigue que toda algebra de conjuntos es un anillo de conjuntos.

Lema 1.12. Sea { \i}iI , i P(X), una familia de a lgebras de conjuntos. La

c P(X). Existe una menor a lgebra de conjuntos a

El a lgebra construida en este teorema se llama a lgebra generada por

a P(X). a se llama una -algebra

ii) Si (Ai )iN una sucesion

a = P(X) entonces a es una -algebra de conjuntos.

a una -algebra de conjuntos

a, 1 i m, tomando Ai = para i > m se obtiene :

Lema 1.14. Si { i}iI ,

ai TP(X), es una familia de -algebras de conjuntos,

Tomemos =familia de los conjuntos abiertos de los numeros

Los elementos de B se llaman conjuntos de Borel.

Ejmplo: Todo intervalo abierto acotado es un F -conjunto, pues:

Ejemplo: Todo intervalo cerrado y acotado es un G -conjunto, pues:

de una familias numerable de F -conjuntos.

racionales en [0, 1]. Para cada

para todo x [0, 1].

(fn) es una sucesion

metrica en , con las identificaciones necesarias enZ . Si (fn) es la sucesion

de funciones definidas en b), entonces d(fn, fm) =

r que no converge, es decir que (r, d) no

entonces veremos que (L[0, 1], d) es un espacio metrico completo.

2.2. Longitud de un intervalo.

finito de intervalos I1, I2, . . . , Im de extremos ai , bi ( < ai < bi <

Nota: Si un conjunto lelemental E puede escribirse como E =

Ji , (Ii Ij = , Ji Jj = si i 6= j), entonces:

2.3. LONGITUD DE UN CONJUNTO ABIERTO.

(Ii Jj ), luego: (Ii) =

Entonces XW = g(Y f (W )) con g inyectiva. Podemos definir h : X Y

Como [a, b]F es una union

Si E0 = [0, 1]A entonces mn E0 = 0, max E0 = 1, E0 es un conjuntos compacto y