Medida Ovidio PDF

UNIVERSIDAD NACIONAL DE TRUJILLO
FACULTAD DE CIENCIAS FISICAS Y MATEMATICAS

ESCUELA ACADEMICO
PROFESIONAL DE MATEMATICAS
NOTAS DE TEORIA DE LA MEDIDA
OBIDIO RUBIO MERCEDES
Trujillo - Per
u
2013
Indice general
Introducci
on. 4
1. Nociones b
asicas de teora de conjuntos 6
1.1. Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2. Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.1. Definicion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.2. Operaciones con conjuntos . . . . . . . . . . . . . . . . . . . . 7
1.2.3. Producto cartesiano . . . . . . . . . . . . . . . . . . . . . . . 10
1.3. Equivalencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.4. Enumerabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.4.1. Cardinal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.5. Sucesiones de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.6. Sucesiones de n
umeros . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.7. Lmite de Funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.8. Funciones de Variacion Acotada . . . . . . . . . . . . . . . . . . . . . 24
1.9. El Conjunto de Cantor . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2. Medidas 28

2.1. -Algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28

2.1.1. -Algebra de Borel . . . . . . . . . . . . . . . . . . . . . . . . 32
2.2. Clase Monotona . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.3. Medida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.4. Medida Exterior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
INDICE GENERAL 3
2.5. Medida de Lebesgue en Rn . . . . . . . . . . . . . . . . . . . . . . . . 53

2.6. Conjuntos Medibles seg
un Lebesgue . . . . . . . . . . . . . . . . . . . 60
2.7. Ejemplos de Medida Exterior . . . . . . . . . . . . . . . . . . . . . . 73
2.7.1. Medida de Hausdorff . . . . . . . . . . . . . . . . . . . . . . . 74
2.7.2. Medida de Lebesgue-Stieljes . . . . . . . . . . . . . . . . . . . 78
3. Funciones Medibles 81
3.1. Funcione Medible . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
3.2. Casi en Todas Partes . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
3.3. Convergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
4. Integraci
on 110
4.1. Integral de una funcion . . . . . . . . . . . . . . . . . . . . . . . . . . 110
4.2. La integral de una funcion arbitraria . . . . . . . . . . . . . . . . . . 131
4.3. Integral de Riemann y Lebesgue . . . . . . . . . . . . . . . . . . . . . 138
4.4. Integral de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . 140
5. Medidas Producto 145

5.1. Producto de -algebras . . . . . . . . . . . . . . . . . . . . . . . . . . 146
5.2. Construccion de la Medida Producto . . . . . . . . . . . . . . . . . . 150
5.2.1. Medida -finita . . . . . . . . . . . . . . . . . . . . . . . . . . 150
5.2.2. Seccion de un conjunto . . . . . . . . . . . . . . . . . . . . . . 150
5.2.3. Clase Monotona . . . . . . . . . . . . . . . . . . . . . . . . . . 152
5.3. Otra definicion de Integral . . . . . . . . . . . . . . . . . . . . . . . . 164
Introducci
on.
El concepto de medida tiene mas de 5000 a

nos, que surge del manejo de longi-
tudes, areas y volumenes fundamentalmente y de la necesidad de su calculo. Estos
tres ejemplos particulares de medida son los que han servido como gua para sacar
a la luz el concepto que detras de ellos se econda.
Las primeras demostraciones satisfactorias de teoremas relativos a areas y volumenes
aparecen en el libro de Euclides (300 a.c) Los elementos; sin embargo en este libro
no hay definicion de longitud, area o volumen. En 1883, Cantor (1845-1918) dio la
primera definicion de medida m(A) de un conjunto arbitrario (acotado) A R.
Otros autores como Stolz en 1884 y Harnack en 1885 dan definiciones equivalentes
en C. El primero en considerar que conjuntos A son medibles y dar una definicion
de su medida fue Peano (1858-1932) en 1887; el cual considero la medida m(A)
de sus predecesores y a la que llao medida exterior y considero, para A R, con
R un rectangulo, la medida interior de A como m(R) m(R\A); definio conjunto
medible como aquel cuya medida interna coincide con la externa y demostro que
la medida era aditiva. Ademas explico la relacion existente entre medida e inte-
gracion, demostrando que una funcion acotada f : [a, b] [0, ), era Riemann
integrable si y solo si el conjunto E de R2 limitado por la grafica de f y las rectas
x = a, x = b e y = 0 era medible, en cuyo caso
Zb
f (x)dx = m(E)
a
Borel (1871-1956) dio, en su doctorado de 1894, el siguiente paso importante

de esta teora, considerando la numerable aditividad para sus medidas; ademas dio
INDICE GENERAL 5
definicion razonable de conjuntos de medida nula. Se saba desde Cantor que todo
S
abierto A R era la union, A = In , a lo sumo numerable de intervalos abiertos
P
In disjuntos. Borel define la medida como la serie m(A) = m(In ) y describe
la clase de los conjuntos que pueden obtenerse a partir de los abiertos, mediante
iteraciones en las que se hacen uniones o diferencias A\B numerables de conjuntos
de toda clase, e indica que para estos conjuntos puede definirse una medida que es
numerablemenete aditiva.
La numerable aditividad de Borel, frente a la finita aditividad de Peano-Jordan
fue una propiedad basica que permitio los resultados fundamentales en la teora
de integracion abstracta, teora que desarrollo fundamentalmente Lebesgue (1875-
1941) a partir de su tesis de 1902. La numerable aditividad y la integracion estan
muy relacionadas, de hecho la originalidad de Lebesgue no reside tanto en haber
extendido la integral de Riemann a una clase mas amplia de funciones, como en su
descubrimiento del teorema fundamental sobre el paso al lmite de la integral, que
obtiene como consecuencia de ser la medida numerable aditiva; lo cual permitio un
gran avance en el estudio de las series trigonometrcas, fundamentales en el analisis
de Fourier. Esta rama del analisis vio gran actividad a principios del siglo XX y fue
de particular interes para Lebesgue a lo largo de su carrera.
En este texto presentamos los fundamentos de teora de la medida e integracion
de Lebesgue, fue dividido en 5 captulos. El captulo I se presenta las nociones
fundamentales de conjuntos. En el captulo II desarrollamos todo lo relacionado con
-algebras y medida. En el captulo III veremos funciones medibles y en los capitulos
IV y V se presenta la integral de Lebesgue.
Esperamos que los resultados correspondientes a los temas de la asignatura de
Teora de la Medida e Integracion, plasmadas en este texto sirva de gua a los
estudiantes en el aprendizaje de la misma.
Captulo 1
Nociones b
asicas de teora de
conjuntos
1.1. Conjuntos
Uno de los conceptos fundamentales en la matematica es el de conjunto, por lo
que es un buen concepto para iniciar el presente curso.
Este concepto fue desarrollado por Boole y Cantor en la u
ltima parte del siglo
XIX, y tuvo una profunda influencia en el desarrollo de las matematicas en el siglo
XX.
1.2. Conjuntos
1.2.1. Definici
on
Se entiende como Conjunto a una Coleccion de objetos vistos como una sola
entidad. Los objetos en la coleccion se llamaran elementos y se denotan con le-
tras min
usculas a, b, x, y, .. y los conjuntos seran denotados con letras may
usculas
A, B, X, Y...
Un conjunto puede ser expresado por extension, es decir nombrando sus elemen-
tos uno por uno y encerrandolo entre llaves, o por comprension, en cuyo caso se usa
1.2 Conjuntos 7
alguna propiedad que caracteriza a los elementos del conjunto.
Ejemplo 1.2.1 El conjunto A formado por
A = {2, 4, 6, 8, 10}
puede ser expresado por
A = {x 2Z /, 0 < x < 12}
donde 2Z es conjunto de enteros pares.
Sin embargo existen conjuntos que no se pueden expresar por extension, tal como
lo muestra el siguiente ejemplo:
Ejemplo 1.2.2
X = {x tal que x es un triangulo en el plano}
El Smbolo a A indica que el elemento a pertenece al conjunto A, y a

/ A indica
que el elemento a no pertenece al conjunto A. La notacion A B indica que todos
los elementos de A tambien son elementos de B y se lee A es subconjunto de B o A
esta inclu do en B.
Generalmente trabajamos con conjuntos que son subconjuntos de alg
un conjunto
particular, llamado conjunto Universal y se denota por U o 1, de igual manera se
considera el conjunto que no tiene elementos, se llama conjunto vac o nulo y se
denota por o 0.
1.2.2. Operaciones con conjuntos
Igualdad
Dos conjuntos A y B son iguales si A B y B A y se denota por A = B.
Union
Dados dos conjuntos A y B, la union de A y B es el conjunto de todos los

elementos que pertenecen a A o B o a ambos, y se denota por A B.
1.2 Conjuntos 8
Ejemplo 1.2.3 Dados A = {1, 3, 5, 7, . . .}, B = {2, 4, 6, 8, . . .} entonces AB = N.
Interseci
on
Dados dos conjuntos A y B, la interseccion de A y B es el conjunto de todos los

elementos que pertenecen tanto a A como a B, y se denota por A B. Si se cumple
que A B = se dice que los conjuntos A y B son disjuntos.
Ejemplo 1.2.4 Dados A = {x N/x es m

ultiplo de 3}, B = {x N/x es m
ultiplo de 5},
entonces A B = {x N/x es m
ultiplo de 15}
Diferencia
Dados dos conjuntos A y B, la diferencia de A y B es el conjunto de todos los

elementos de 0A que no pertenecen B, y se denota por A\B o A B.
1.2 Conjuntos 9
Complemento
Dados dos conjuntos A y B tal que B A, el complemento de B en A se define

por A\B y se denota por CA B o BAc . Si A = U, el conjunto universal, se dice
simplemente el complemento de B y se denota por B c o C B.
S
La diferencia simetrica de A y B se define por AB = A\B B\A .
Si F = {E} es una familia de subconjuntos del conjunto universal la union y la

interseccion de los subconjuntos E de F se definen respectivamente por
[
E = {x : x E para algun E F},
EF
\
E = {x : x E para todo E F}
EF
Ejercicios
1. Demostrar que A B = A B c .
2. Demostrar que A (A C) = (A B) (A C).
3. Si A = {m+n, 8, 2m2n+4} es un conjunto unitario B = {x/x = mk, k Z}

y C = {x/x = nk, k Z}. Hallar (B c C c )c .
4. La parte sombreada del diagrama A que conjunto corresponde?

1.2 Conjuntos 10
a) C [(A B) (B A)]
b) C [(A B) (B A)]
c) [C (A B)c ] (B A)
d) [C (B A)c ] (A B)
1.2.3. Producto cartesiano
Dados dos conjuntos A y B, el producto cartesiano de A por B es el conjunto

de pares ordenados (x, y) tal que x A y y B y se denota por
A B = {(x, y)/ x Amboxy B}.
Relaci
on
Una Relacion R de A en B es un subconjunto del producto cartesiano A B, es

decir R A B.
Funci
on
Una Funcion f de A en B es una relacion de A en B tal que para todo x

nico y B tal que (x, y) f , el conjunto A se llama Dominio,
A existe un u
y el conjunto de todos los {y B (x, y) f } se llama rango de la funcion.
Equivalentemente se puede expresar
f = {(x, y) A B tal que si (x, y) f, (x, z) f entonces y = z, x A}

1.2 Conjuntos 11
nico y B tal que (x, y) f se le denota por y = f (x),

En la funcion f el u
puesto que siempre va a depender del x A, en este contexto y usando el diagrama
digital se puede expresar el concepto de funcion de la siguiente forma: Una funcion
f del conjunto A en un conjunto B es una regla f : A B, que asigna a cada
x A un u
nico y = f (x) B, el conjunto rango o imagen de f se denota por
f (A). Si B = f (A) se dice que f es una funcion sobre-yectiva. Un elemento x A,
que tiene imagen a un elemento y B, entonces el elemento x se llama imagen
recproca de de y por f y se denota por f 1 (y), El conjunto de todos los x A tal
que f (x) C B se llama imagen recproca de C por f y se denota f 1 (C). Si A
y B son conjuntos de n
umeros reales, f se llama funcion real.
Funci
on Biyectiva
Dada una funcion f : A B, se dice que f es inyectiva si f (a) = f (b) implica

que a = b, si ademas f es sobreyectiva, se dice que f es biyectiva, en este caso decimos
que existe una correspondencia biunvoca entre A y B. Si una funcion f de A en B
nico x = f 1 (y) A, por
es biyectiva, entonces dado cualquier y B existira un u
tanto f 1 define una funcion de B en A.
Ejercicios
1. Demostrar que (a, b) = (c, d) si y solo si a = c, b = d.
2. Sea R una relacion y sea D(R) su dominio. La relacion R se dice:
i) Reflexiva si a D(R) implica (a, a) R.

1.2 Conjuntos 12
ii) Simetrica si (a, b) R implica (b, a) R.
iii) Transitiva si (a, b) R y (b, c) R implica (a, c) R.
Una relacion la cual es simetrica, reflexiva y transitiva es llamada una relacion

de equivalencia. Determine cual de estas propiedades se verifica para S, si S
es el conjunto de los pares de n
umeros reales (x, y) tal que
a) x y
b) x < |y|
c) x2 + y 2 = 1
3. Sea f : S T una funcin. Si A y B son subconjuntos arbitrarios de S,

demostrar que
a) f (A B) = f (A) f (B)
b) f (A B) f (A) f (B)
Ademas si f es inyectiva entonces f (A B) = f (A) f (B).
4. Sea f : S T una funcion. Si Y T , denotaremos por f 1 (X) el mas

grande subconjunto de S, el cual f aplica sobre Y . Esto es
f 1 (Y ) = {x : x S y f (x) Y }
El conjunto f 1 (Y ) es llamado imagen inversa de Y bajo f .

Demostrar las siguientes propiedades:
a) f 1 (Y1 Y2 ) = f 1 (Y1 ) f 1 (Y2 )
b) f 1 (Y1 Y2 ) = f 1 (Y1 ) f 1 (Y2 )
c) Generalizar a) y b) a uniones e intersecciones arbitrarias.

1.3 Equivalencia 13
1.3. Equivalencia
Dos conjuntos A y B se dice que son equivalentes si y solo si existe una funcion
biyectiva entre A y B , en este caso se denota por A B.
Ejemplo 1.3.1 Los conjuntos A = {1, 3, 5} y B = {a, b, g} son equivalentes

porque existe una funcion biyectiva entre ellos, dada por
A B

1 a
3 b
5 g
Observemos que se cumple las siguientes aserciones, A B entonces B A. Tam-

bien si A B y B C entonces A C.
Un conjunto que sea equivalente al conjunto {1, 2, 3, . . . , n} para alg
un n
umero
natural n, se llama finito; si no, se llama infinito.
1.4. Enumerabilidad
Definici
on. Sea A un conjunto, decimos que A es enumerable si y solo si:
i) A es un conjunto finito
ii) Si A es infinito y existe una biyeccion con el conjunto de los n

umeros naturales.
1.4.1. Cardinal
Se define el cardinal del conjunto {1, 2, 3, . . . , n} y de cualquier conjunto equiv-

alente a este por n. Se define el cardinal de cualquier conjunto infinito enumerable
como 0 y se lee alef cero.
El cardinal del intervalo de n
umeros reales (0, 1) y de cualquier conjunto equiv-
alente se llama el continuo real y se denota por c o 1 [Alef uno]. El cardinal del
1.4 Enumerabilidad 14
conjunto vaco se define como 0 [cero].

Notacion:
A B : existe una biyeccion entre A y B.
A es un conjunto finito si y solo si:
A=o
A {1, 2, 3, . . . , n} para alg
un n N
on 1.4.1 Sea A un conjunto enumerable, si B A entonces B es enu-

Proposici
merable.
Proposici
on 1.4.2 La reunion enumerable de conjuntos enumerables es enumer-
able.
Ejemplo 1.4.1
A1 = {1, 2, 3, . . . , n, . . .}
A2 = {0}
A3 = N
Z = A1 A2 A3 es enumerable por proposicion 1.4.2.
Usando la definicion debe existir una biyeccion N Z

Sea f : Z N

2z, si z es entero positivo

z f (z) =

2(z) + 1, si z es un entero negativo o cero
Probaremos que: f es inyectiva y sobreyectiva.

Por definicion
f :XY
x f (x) = y
y Y , x X/ f (x) = y
Pero n N, z Z/ f (z) = n
n= 2k, un k N
para alg
Sea n N = {1, 2, 3, . . . , n, . . .}
n = 2k 1, un k N
para alg
Caso 1: Si n = 2k z = k Z+ tal que
f (z) = 2z = 2k = n
Caso 2: Si n = 2k 1 z = k Z tal que
f (z) = 2(z) 1 = 2k 1 = n
Ejemplo 1.4.2 El conjunto N N es enumerable.
N N = {(k, n)/ k, n N}
sea
f :NN N
(k, n) f (k, n)
donde f(k,n)= (k+n1)(k+n)

2
(n 1)
probar que f es inyectiva:
sea (k1 , n1 ) y (k2 , n2 ) talque f(k1 , n1 )=f(k2 , n2 )
(k1 +n1 1)(k1 +n1 )
2
(n1 1)= (k2 +n2 1)(k
2
2 +n2 )
(n2 1)
Proposici
on 1.4.3 El conjunto de n
umeros racionales es enumerable.
Demostracion:

[
Podemos probar que Q An donde An sea una coleccion de conjuntos enumer-
n=1
ables.
Sea
, k Z = . . . , 1
1
, 1, 1, 21 , . . .

A1 = k 2

2 2 2 2 2

A2 = k
, k Z = . . . , , , ,
2 1 1 2
, . . .
..
.
, k Z
n
An = k
donde Z = Z {0}
Probaremos que An es enumerable.
Sea Bn = An {0}, n
Sea
f : Bn Z
0 f (0) = 0

0, n
n n si k
=0
f =
k k k, en otro caso
Veamos que f es biyectiva:
i) Inyectividad:

n n 1 1 n n

f k
=f j
k=j k
= j
k
= j
ii) Sobreyectividad:
z = 0, s = 0 B / f (s) = 0 = z
n
z Z, s Bn / f (s) = z z Z
z 6= 0, n B y sea s = n f (s) = f ( n ) = z
z n z z
Por lo tanto Bn Z, n y como N Z, Bn N, n

[
Por la proposicion 1.4.2, Bn es enumerable.
n=1

[
A fin de aplicar la proposicion 1.4.1 es suficiente probar que Q Bn
n=1
q=0o
En efecto: Sea q Q
q = n , para alg unn Z+ , k Z+
k
n
Como todas las fracciones estan en alg
k
un Bn se cumple que los representantes
[
un Bn Q
de las clases estan en alg Bn .
n=1
Por lo tanto, Q es enumerable.
Proposici
on 1.4.4 El conjunto de los n
umeros reales es no enumerable.
Demostracion:
Sea A = {x R/ 0 < x < 1}, A R.
Es suficiente probar que A es no enumerable.
Por el absurdo.
Supongamos que A es enumerable, entonces A = {x1 , x2 , . . . , xn , . . .} cada elemento
de A se puede escribir en la forma: x1 = 0.a11 a12 a13 a14 . . . a1k . . .
x2 = 0.a21 a22 a23 a24 . . . a2k . . .
x3 = 0.a31 a32 a33 a34 . . . a3k . . .
..
.
xn = 0.an1 an2 an3 an4 . . . ank . . .
..
.
aij {1, 2, 3, . . . , 9}
Construyamos
un n
umero y = 0.b1 b2 b3 . . . bn . . . de la siguiente forma:
0, si a 6= 0
11
b1 =
1, si a = 0
11

0, si a 6= 0
22
b2 =
1, si a = 0
22

0, si a 6= 0
33
b3 =
1, si a = 0
33
..
.
0, si ann 6= 0
bn =
1, si ann = 0
De esta manera y A pero y 6= xn n ()

y
/ A pero 0 < y < 1
A no es enumerable.

1.5 Sucesiones de Conjuntos 18
1.5. Sucesiones de Conjuntos

Si f es una familia enumerable de conjuntos entonces se puede denotar de la
siguiente manera:

N

si es finito
0
f = {Ei }N
i=1 donde N 0 =
si es infinito

y le llamamos sucesion de conjuntos
E1 , E2 , . . . , En , . . .
La sucesion se llama monotona creciente si y solo si Ek Ek+1 en este caso se dice

que

[
lm Ek = Ek
k
k=1
De igual manera la sucesion se llama monotona decreciente si y solo si Ek Ek+1 ,
en este caso se dice que: Sea {Ak }
k=1 un familia deseamos calcular alg
un tipo de
lmite.
Se define:

[
Bn := Ak
k=n
se cumple que: Bn Bn+1 entonces {Bn }

n=1 es una sucesion monotona decreciente,
por lo tanto existe el lmite de la sucesion {Bn }
n=1

\
lm Bn = Bn
n
n=1
Este conjunto se denota por:

lim Ak
k
De igual forma definimos:

\
En := Ak
k=n
se cumple que En En+1 , por lo tanto existe el lmite de la sucesion {En }

n=1

[
lm En = En
n
n=1
Este conjunto se denota por:

lim Ak
n
Definici
on. El lmite superior de una sucesion de conjuntos se define como:
lim An = {Todos los elementos que pertenecen a un n

umero infinito de conjuntos}
El lmite inferior de una sucesion de conjuntos se define como:

lim An =Todos los elementos que pertenecen a todos los conjuntos excepto un
n
umero finito de conjuntos
Proposici
on 1.5.1 Sea A1 , A2 , . . . , An una sucesion de conjuntos. Entonces
[
\
lim An = Ak
n=1 k=n
Demostracion:
Sea

[
Bn = Ak
k=n
Veamos la prueba:
T S T
i) lim An n=1 k=n Ak = n=1 Bn n
S
Sea x lim An x k=n Ak = Bn
x Bn =
S
k=n Ak n
T
x n=1 Bn
Por otro lado
ii) lim An
T S T
n=1 k=n Ak = n=1 Bn
Sea y n=1 k=n Ak = n=1 Bn y Bn =

T S T S
k=n Ak , n
para cada n, m(n) n/ y Am(n)

y esta en infinitos conjuntos.
y lim An
lim An =
T S
n=1 k=n Ak

S T
Ejercicio: Probar que lim An = n=1 k=n Ak
Definici
on. Sean A1 , A2 , . . . , An una sucesion de conjuntos tal que lmAn = lmAn
entonces se dice que lm An existe y se escribe: lm An = lmAn = lmAn
Ejemplo 1.5.1 Para Ak = h k1 , 1 k1 ], k = 1, 2, 3, . . . tenemos que: Ak Ak+1 y

[ 1 1
lm Ak = ,1 = h0, 1i
k
k=1
k k
En efecto:

[ 1 1
i) ,1 h0, 1i
k=1
k k

[ 1 1
si x ,1 entonces existe k0 tal que x h k10 , 1 1
k0
] as:
k=1
k k
1 1
0< <x1 <1
k0 k0
entonces x h0, 1i

[ 1 1
ii) h0, 1i ,1
k=1
k k
si x h0, 1i entonces 0 < x < 1, usando la propiedad arquimediana existe
1
k0 N tal que 0 < k0
< x < 1 entonces
1
<x
k0
1
De igual manera existe k1 N, tal que: 0 < x < 1 k1
< 1.
Sea k = max{k0 , k1 }
1 1 1 1
0< <x<1 1 <1
k k0 k1 k
entonces x h k1 , 1 k1 ]

[ 1 1
x ,1
k=1
k k
Ejemplo 1.5.2 Para An = n1 , 2n1

n
, n = 1, 2, 3, . . . tenemos:
1.6 Sucesiones de n
umeros 21
T S
lmAn = n=1 k=n Ak
A1 = [1, 1]
A2 = [ 12 , 23 ]
..
.
Ak = [ k1 , 2 k1 ]
1 1
Ak+1 = [ k+1 , 2 k+1 ]
S 1
Bn = k=n Ak = n , 2
Luego, lmAn =
T
n=1 Bn = [0, 2)
S T T
lmAn = n=1 k=n Ak Sea Cn = k=n Ak
1

luego, Cn = 0, 2 n
entonces lmAn =
S
n=1 Cn = [0, 2)

1 2n 1
lm , = lmAn = lmAn = [0, 2)
n n
1.6. Sucesiones de n
umeros
Sea {ak }
k=1 una sucesi
on de n
umeros reales y sea
n = sup{ak } n = nf {ak }
kn kn
entonces:
n n
Ademas se cumplen las siguientes desigualdades
i) n n+1
ii) n n+1
Definimos:

lim ak = lm n = nf sup{ak }
k n n kn

lim ak = lm n = sup nf {ak }
k n n kn
1.7 Lmite de Funciones 22
Si lim ak = lim ak entonces se dice que el lmite de la sucesion existe y se denota

k k
por:
lm ak = lim ak = lim ak
k k k
Ejercicios
i) Verificar que lim ak lim ak .

k k
ii) Hallar los lmites de

2
k 1
ak = (1) ak =
2
1.7. Lmite de Funciones

Sea f : A R R una funcion, entonces el supremo de f en A se denota por
sup f (A) := sup f (x)

xA
El nfimo de f en A se denota:
nf f (A) := nf f (x)
xA
nf f (A) f (x) sup f (A), x A

a) Decimos que f es acotada superiormente en A si y solo si: sup f (A) <
b) Decimos que f es acotada inferiormente en A si y solo si: nf f (A) >
c) f es acotadasi y solo si es acotada superiormente e inferiormente.
nf f (A1 ) nf f (A2 )

Si A1 A2
sup f (A1 ) sup f (A2 )

Por tanto si U, V son vecindades arbitrarias en el dominio de f que contienen un

punto x0 .
nf f (x) nf f (x) sup f (x) sup f (x)
xV xV U xV U xU
nf f (x) sup f (x) , U, V vecindades de x0

xV xU
Sea = {U } la familia de vecindades de x0 entonces:

1.7 Lmite de Funciones 23

sup nf f (x) nf sup f (x)
U xU U xU
on. Sea la notacion U 0 = U \{x0 } para cada vecindad de x0 .

Definici
El lmite inferior de f en x0 se define como:

lim f (x) = sup nf 0 f (x)
xx0 U xU
El lmite superior de f en x0 se define como:

lim f (x) = nf sup f (x)
xx0 U xU 0
Se cumple lim f (x) lim f (x)

xx0 xx0
Si ademas se tiene que lim f (x) = lim f (x), se dice que el lmite en x0 existe y se
xx0 xx0
denota:
lm f (x) = lim f (x) = lim f (x)
xx0 xx0 xx0
Ejemplo 1.7.1 Sea

2x , x1

f (x) =
6x 1 , x > 1

x0 = 1. Calcular lim , lim f (x)

x1 x1
1
Solucion: Sea Un = B(1,
n)
1 6
Sea n = sup f (x) = 6 1 + 1=5+ entonces:
xUn n n

6
lim f (x) = nf 5 + =5
x1 n n
1.8 Funciones de Variaci
on Acotada 24
De igual forma:
1 2
n = nf f (x) = 2 1 =2
xUn n n
entonces:
2
lim f (x) = sup 2 =2
x1 n n
no existe el lmite en x0 = 1
Ejercicio:

1

x
, x (0, 1)
f (x) = x0 = 1
5 + x, x 1
Verificar que:
lim f (x) = 1 y lim f (x) = 6
x1 x1
1.8. Funciones de Variaci

on Acotada
Sean I = [a, b], f : I R; = {xi }ni=0 una particion de I, es decir:
a = x0 < x1 < x2 < . . . < xn = b
Pn
Sea V = i=1 |f (xi ) f (xi1 )|, se observa que V 0.
Consideremos es siguiente conjunto:
P = { / es una particion de [a, b]}
on. Sea f : I R,
V = sup P V se llama variacion total de f en I = [a, b] Definici
1.8 Funciones de Variaci
on Acotada 25
definimos la variacion de f sobre el intervalo [a, b] como:
V = sup V
P
on. La funcion f : I R se llama de variacion acotada en [a, b] si y

Definici
solo si V < , en caso contrario se dice que es de variacion infinita.
Ejemplo 1.8.1
1
f (x) = , I = [a, b], a > 0
1/x2
ba
Sea = {a + ih}N
i=0 ; donde: h = N
|f (xi ) f (xi1 )| = f (xi ) f (xi1 )

|f (xi+1 ) f (xi )| = f (xi+1 ) f (xi )
V = N
P PN
i=1 |f (xi ) f (xi1 )| = i=1 (f (xi ) f (xi1 ))
= f (xn ) f (x0 ) = f (b) f (a),

V = sup V = f (b) f (a)
f es de variacion acotada.
Ejercicio:

1

x sin , x 6= 0

x
f (x) =
0 , x=0

I = [0, 1]
Verificar que f no es de variacion acotada.
Ejemplo 1.8.2 Sea I = [0, 1]

1 , si x Q

f (x) =
0 , si x I

n
X
1
Sea n = {xi } xi = ih, h = n
entonces Vn = |f (xi ) f (xi1 )| = 0 y sea
i=1
e 1
Sn = {zi } zi = xi + 3n
< xi + n
= xi+1 y pongamos n = {n Sn }, N = 2n
N
X
Vn = |f (zi ) f (zi1 )| = 2n
i=1
1.9 El Conjunto de Cantor 26
= V = sup Vn =
NOTA: Si f C 1 ([a, b]) entonces f es de variacion acotada.

Ejercicio:

x cos , x 6= 0

2x
f (x) =
0 , x=0

Verificar que f es continua, pero tiene variacion infinita.
1.9. El Conjunto de Cantor

El conjunto de Cantor es un ejemplo importante para entender algunos conceptos
relacionados con la medida de Lebesgue (tema ha tratar en el siguiente captulo).
En particular, el conjunto de Cantor es un conjunto no enumerable con medida
cero.
Para crear el conjunto de Cantor, empezamos con el intervalo cerrado
C0 = [0, 1]
luego:
1 2
= 0, 31 23 , 1

C1 = C0 \ ,
3 3
1 2
, 79 , 89 = 0, 19 29 , 13 32 , 79 89 , 1

C2 = C1 \ 9 9
Notar que C1 consiste de dos intervalos 21 y tiene longitud 23 , C2 consiste de

4 = 22 intervalos y tiene longitud 4( 19 ) = ( 23 )2 .
1.9 El Conjunto de Cantor 27
Continuando este proceso, despues de la k th division, tendremos un conjunto cerrado

Ck el cual es la union de 2k subintervalos cerrados y disjuntos, cada uno de longitud
3k .

\
Por construccion Ck Ck+1 k N0 . El conjunto C = Ck es conocido como
k=1
el conjunto de Cantor.
Observaci
on 1
C es un conjunto cerrado, puesto que es la interseccion de conjuntos cerrados.
C es compacto por la primera observacion (verificar estas dos u

ltimas aser-
ciones).
C es un conjunto no enumerable.
Ejercicios
1. Demostrar que el conjunto Z es enumerable.

[
2. Sean {A1 , A2 , . . .} conjuntos enumerables. Entonces A = Aj es enumerable.
jN
3. Demostrar que los siguientes conjuntos tienen la misma cardinalidad N Z,

[
Qm (m N), Qm .
mN
4. Demostrar que:
x2 cos 2

, x h0, 1]
x
f (x) =
0

, x=0
es de variacion no acotada.
5. Demostrar que si f tiene derivada acotada sobre [a, b] entonces f es de variacion

acotada sobre [a, b]. Usar este resultado para probar que f (x) = x2 cos x2 , x
h0, 1], f (0) = 0 es de variacion acotada.
Captulo 2
Medidas
2.1.
-Algebras
Sea un conjunto no vaco.
on. Una familia A 2 se llama anillo si y solo si
Definici
A, B A A B A y A\B A
Propiedades:
1. Sea A un anillo sobre A .

En efecto: = A\A A .
2. Si A, B A A B, A B, A\B, B\A. Luego
[(A B)\(A\B)]\(B\A) A
Pero no se puede demostrar que A .
on. Un algebra sobre es un anillo A sobre tal que A .

Definici
on 2.1.1 Sea A un algebra. Si A A Ac A .

Proposici
on 2.1.2 Sea A un anillo sobre , entonces son equivalentes:

Proposici
a) A .
b) Si A A Ac A .

2.1 -Algebras 29
Demostracion:
) A , sea A A Ac = \A A .
) Si A A Ac A , como A = c A .
on. Una -algebra F sobre es un algebra tal que
Definici

[
{Ei }
i=1 F Ei F
i=1
Observaci
on 2 Un algebra cumple:
1. A B A , si A, B A .
2. A\B A , si A, B A .
3. Si A A Ac A .
on 2.1.3 Si A, B A A B A .
Proposici
Demostracion:
Si A, B A Ac , B c A (A B)c = Ac B c A .
AB A.
on 2.1.4 Si A, B A A\B A .
Proposici
En base alas proposiciones 2.1.3 y 2.1.4, un algebra estara totalmente definida por
los siguientes axiomas:
1) A .
2) Si A A Ac A .
3) Si A, B A A B A .
La representacion axiomatica de una -algebra es la siguiente:

on. Sea conjunto no vaco. Una familia F 2 se llama -algebra sobre
Definici
si y solo si

2.1 -Algebras 30
1. F
2. Si A F Ac F

[
3. si {Ai }
i=1 F F
i=1
Notaci
on: conjuntos medibles.
Ejemplo 2.1.1 Si es un conjunto no vaco.
1. {, } es -algebra.
2. 2 es -algebra.
3. Sea = {1, 2, 3}, F = {, , {1}, {2, 3, 4}} es -algebra.
4. = R es coleccion de todas las uniones finitas y disjuntas de intervalos aco-

tados de la forma < a, b], < a B <
(n )
[
A = < ai , bi ], Z+ disjuntos
i=1
) A es anillo, pero no algebra.
5. El anillo de 4. agregado los conjuntos < a, ], a B <

) A es algebra.
) No es -algebra.
on 2.1.5 Sea F una -algebra sobre .

Proposici

\
{Ai }
i=1 F Ai F
i=1

2.1 -Algebras 31
Demostracion:
Si {Ai }
i=1 F,
Por el axioma 2 Aci F i

[
Por el axioma 3 (Aci ) F
i=1

!c
[
Por el axioma 2 Aci F
i=1

\
Ai F
i=1
Proposici
on 2.1.6 L interseccion arbitraria de -algebras sobre es una -alge-
bras.
Demostracion:
Sea P = {F/ F es -algebra sobre}
\
Sea A = F. Debemos probar que A es -algebra:
F P
1. A .
2. Sea A A A F F P
Ac F F P
\
Ac F =A
F P
\
i=1 / Ai A =
3. Sea {Ai } F i
F P
Ai F i, F P

[
= Ai F F P
i=1
[ \
Ai F =A
i=1 F P

2.1 -Algebras 32

on. Sea C una familia de subconjuntos de . La menor -algebra que
Definici
contiene a C se denota por (C ).
on 2.1.7 Sea C una familia de subconjuntos de . Entonces

Proposici
\
(C ) = F, PC = {F/ C F}
F P
Demostracion:
Observe que PC 6= pues 2 PC .
Por definicion de (C ) es -algebra y C (C ) (C ) PC
\ \
F (C ), pero por la proposicion 2.1.6, F es -algebra y contiene a C .
F P F P
Por definicion de (C ) se tiene
\
(C ) = F.
F P
2.1.1.
-Algebra de Borel
on. Sea (, T ) un espacio topologico. La menor -algebra que contiene

Definici
a T se llama -algebra de Borel y se denota por
B(R) = (T )
y a los elementos de B(R) se les llama Borelianos.
Ejemplo 2.1.2 Los abiertos y cerrados son Bolerianos y ademas T es Haussdorff

los compactos son Bolerianos.
Ejercicios
1. Sea {An } F lm An F, lm An F.
n n
2. Si A (C ) A = (C A).

2.1 -Algebras 33
3. Describa la -algebra B(R).
on. Dada una familia C . La menor -algebra que contiene a C se denota

Definici
por
\
(C ) = F
F P
se llama la -algebr generada por C .
on 2.1.8 Sea (, T ) un espacio topologico y N una base enumerable de

Proposici
T , entonces
B(R) = (N ).
Demostracion:
Sabemos que (N ) es -algebra.
[
Si A T entonces A Nj , Nj N A (N )
j=1
T (N )
B() = (T ) (N ) (T ) = B().
Ejemplo 2.1.3 Sea = Rn , T topologico euclidiana aun rectangulo abierto en Rn

es una experesion como (a, b), a, b Rn
(a, b) = {x = (x1 , x2 , , xn ) Rn / ai < xi < bi , i = 1, n}
tambien podemos tener
(a, b] = {x = (x1 , x2 , , xn ) Rn / ai < xi bi , i = 1, n}
o
[a, b] = {x = (x1 , x2 , , xn ) Rn / ai xi bi , i = 1, n}
Proposici
on 2.1.9 Sean las famlias
C1 = {< a, b > / a, b Rn } y C2 = {< a, b]/ a, b Rn }
se tiene que
(C1 ) = B(Rn ), (C2 ) = B(Rn )
2.2 Clase Mon
otona 34
Demostracion:
Para C1
Sea Rn una base enumerable de T es N = {(a, b)/ a, b Rn )}.

[

Sea A T , abierto {(ai , bi )}i=1 N/ A = (ai , bi )
i=1
T (N ) B(Rn ) = (T ) = T (N )
Para C2 , n = 1
\
1 1
Sea < a, b] = < a, b + i
>, como < a, b + i
> N, i < a, b] (N )
i=1
HQ = {< a, b]/ a, b Q}
HQ (N ) = B(R)

[
Sean < a, b >= < a, b + 1i ]
i=1
C2 (C2 ) B(R) = (C1 ) (C2 )
pero < a, b] =< a, > < b, >c B(R) C2 B(R)
B(R) = (C1 ) (C2 ) B(R) (C1 ) = B(R)
2.2. Clase Mon

otona
on. Sea M una famlia de subconjuntos de ; M se llama clase monotona
Definici
si y solo si:
1. An / An A A M
2. Bn / Bn A B M
Ejemplo 2.2.1 Sea = R, M = {I R/ I es un intervalo}(conjunto de todos

los intervalos), es clase monotona pues:

\
1 1
Sea An =< a n
, b+ n
> abiertos, An+1 An An M.
n=1
2.2 Clase Mon
otona 35

[
1 1
Sea An = [a n
, b+ n
] cerrados, An An+1 An M.
n=1
Lo mismo para los semiabiertos y semicerrados.
on 2.2.1 Sea A una familia de subconjuntos de . Entonces A es -

Proposici
algebra A es algebra y clase monotona.
Demostracion:
) Si A es -algebra es un algebra.
n=1 A tal que An An+1 n 1, pero como A es -

Ahora sea {An } algebra

[
entonces An = A A .
n=1
De igual manera si {An } otona decreciente An An+1
n=1 es mon

\
An = A A .
n=1
A es una clase monotona.
) Si A es algebra y clase monotona A es -algebra.

[
[
Sea {Ai }i=1 A

Ai A (por ser algebra) y Bn = Ai forma una
i=1 i=1
sucesion monotona creciente, pues Bn Bn+1 .

!
[ [ [ [
Como A es clase monotona entonces Bn = Ai = An A .
n=1 n=1 i=1 n=1
A es una -algebra
Proposici
on 2.2.2 La interseccion arbitraria de clases monotonas es una clase
monotona.
Demostracion:
Sea {Ai }iI una familia de clases monotonas.
\
Entonces debemos probar que Ai = Ai es tambien una clase monotona.
iI
n=1 A tal que Bn B.
Sea {Bn }

[
Sea B = Bn , pero como Bn A n Bn Ai , i I.
n=1
Pero Ai es clase monotona B Ai i I A A .
2.2 Clase Mon
otona 36
Analogamente se prueba para el caso de una sucesion decreciente.

on. Sea A una famlia de subconjuntos de , m(A ) es la menor clase
Definici
monotona que contiene a A .
Lema 2.2.1 Si A es algebra m(A ) es algebra.
Demostracion:
Debemos probar que:
1. m(A ),
2. Sea A m(A ) Ac m(A ) y
3. Sea A, B m(A ) A B m(A ).
En efecto:
1. m(A ), pues A .
2. Sea A m(A ) Ac m(A ).

Construyamos
H = {b A / B c A } A
.
Luego A H. Probaremos que H es una clase monotona.
!n

[ [
\
Sea Bn B, Bn = lm = B A y B =
c
Bn = Bnc
n
n=1 n=1 n=1
pero: Bnc c c
B B m(A ) B m(A ) B H.
Por tanto H es clase monotona, A H = m(A ) y de esto m(A ) = h.
Si A m(A ) = H Ac H = m(A ).
3. Sea C = {A m(A )/ A B m(A ) B A }

[
Sea An C, n 1 tal que An An+1 n 1 y An A, A = An .
n=1
Debemos probar qye A C.
Como An C An m(A ), An B m(A ), B m(A ), N 1
A m(A ), An An+1 An B An+1 B, B A .
2.2 Clase Mon
otona 37
As tenemos una sucesion Cn = An B monotona creciente,
Cn m(A ), n 1

[
[
As Cn m(A ). Si (An B) m(A ) A B m(A ), B A
n=1 n=1
C es una clase monotona
Ademas A C, pues:
Si A A y B A (A B) A mA
(A B) m(A ) A C C = mA .
Ahora sea
C = {B m(A )/ A B m(A ), A m(A )}

[
Sea Bn C, n 1 tal que Bn Bn+1 n 1 y Bn B, B = An .
n=1
Debemos probar que B C.
Como Bn C Bn m(A ), Bn A m(A ), A m(A ), n 1
Bn Bn+1 Bn A Bn+1 A, m(A ).
As tenemos una sucesion Cn = Bn A monotona creciente, con
Cn m(A ), n 1
As

[
Cn m(A )
n=1
S
si n=1 (Bn A) m(A ) A B m(A ), A m(A )
C es una clase monotona
Ademas a C, pues A C
A m(A ) y B m(A ) (A B) m(A )
B m(A ) (A B) m(A ) A C
m(A ) = C
m(A ) es un algebra
2.2 Clase Mon
otona 38
Teorema 2.2.1 Sea A un algebra sobre (A ) = m(A ).
Demostracion:
1. m(A ) (A )
Sea A algebra, sabemos que (A ) es -algebra. Entonces (A ) es clase monotona,
pues es cerrado bajo la union e interseccion de toda sucesion en particular para suce-
siones monotonas y ademas
A (A ) m(A ) A
2. (A ) m(A )
(A ) es la menor -algebra que contiene a A , ademas m(A ) es algera y es clase
monotona, entonces es -algebra.
(A ) m(A )

Ejercicios:
1. Sea F : S como funcion, verificar que:

!
[ [
1
a) F Bi = (Bi )
i=1 i=1

!
\ \
1
b) F Bi = (Bi )
i=1 i=1
c) F 1 (B c ) = (F 1 (B))c

!
!
[ [ \ \
2. F 1
Ai = (Ai ) y F 1 Ai (Ai ).
i=1 i=1 i=1 i=1
3. Si F es sobreyectiva, F (A) F (A ). Si F es inyectiva, F (A)c F (Ac ).

c c
4. F es -algebra sobre a) F 0 = {B S/ F 1 (B) F} es -algebra sobre S.

b) Si H es -algebra sobre S,
A = {F 1 (A)/ A H} es -algebra.
2.3 Medida 39
c) Si C 2 [F 1 (C )] = F 1 [(C )].
5. Demuestre que: la -algebra B(R) esta generada por las familias
C1 = {[a, bi/ a, b R}
C2 = {h, bi/ b R}
C3 = {h, b]/ b R}
2.3. Medida
on. Sea (, F) un espacio de medible. Una medida sobre F es una
Definici
funcion
:F R
tal que:
1. 0 (A) +, A F

!
[ X
2. {Ai }
i=1 F/ Ai Aj = i 6= j, Ai = (A)
i=1 i=1
2.3 Medida 40
Ejemplo 2.3.1 (, F) espacio medible, sea x ,
:F R

0, si x
/A
A 7 (A) =
1, si x A
es una medida(Delta de Dirac)
Demostracion:
1. Sea A F cualquiera,
si x A, (A) = 1 0 < (A) 1 < +
si x
/ A, (A) = 0 0 = (A) < +
A F, 0 (A) +

[
2. Sea {Ai }
i=1 F arbitraria tal que Ai Aj = i 6= j y sea A = Ai .
i=1
a) Si x
/ A entonces x
/ Ai , i

[
( Ai ) = (A) = 0 = 0 + 0 + 0 +
i=1
= (A1 ) + (A2 ) + (A3 ) +

X
= (A)
i=1
b) Si x A entonces x Ai0 , para algun i0 N.

Como x Ai0 (Ai0 ) = 1 y (Ai ) = 0 i 6= i0
posicion i0
[ z}|{
( Ai ) = (A) = 1 = 0 + 0 + + 1 +0 +
i=1
= (A1 ) + (A2 ) + + (Ai0 ) + (Ai0+1 ) +

X
= (A)
i=1
2.3 Medida 41

!
[ X
Ai = (Ai )
i=1 i=1
Ejemplo 2.3.2 Sea (, F) espacio medible tal que {x} F, x

:F R

0 si A=

A 7 (A) = n si |A| = n

en otro caso

es una medida.
Demostracion:
1. Sea A F cualquiera,
si A = , (A) = 0 0 (A) < +
si |A| = n, (A) = n 0 < (A) < +
si Atiene infinitos elementos(A) = + 0 < (A) +
0 (A) + A F

[
2. Sea {Ai }
i=1 F/ Ai Aj = i 6= j y A = Ai ,
i=1
a) Si A = Ai = i
(A) = 0 = 0 + 0 +

X
= (Ai )
i=1
b) Si |A| = n Aij {Ai }

i=1 donde j = 1, , n tal que
n
1 n2 n n
z}|{ z}|{ z}|{
|Ai1 | + |Ai2 | + + |Ain | = n, y Ai = i 6= j, donde j = 1, , n
2.3 Medida 42
(A) = n = 0 + 0 + + n1 + 0 + + 0 + n2 + 0 + + nn + 0 +
= (A1 ) + (A2 ) + + (Ai1 1 ) + (Ai1 ) + (Ai1 +1 ) + 0
+ + (Ai2 1 ) + (Ai2 ) + (Ai2 +1 ) + + (Ain 1 )
+ (Ain ) + (Ain +1 )

X
= (Ai )
i=1
c) Si A tiene infinitos elementos (A) =
1er caso: Supongamos que existen i0 tal que Ai0 tenga infinitos elementos
(Ai0 ) =

X
(A) = = (Ai )
i=1
2do caso: Supongamos que existen infinitos Aij {Ai }

i=1 , j = 1, 2, con
0 < (A) < + > (A) 1

X
X
X
(Ai ) (Aij ) 1=
i=1 i=1 i=1

X
(Ai )
i=1

!
X [
(Ai ) = Ai
i=1 i=1
on: La tripleta (, F, ) se llama espacio de medida si y solo si F es -

Notaci
algebra sobre , es medida sobre F.
on. Una medida se llama -finita si existe una sucesion {An } F numer-
Definici
able de conjuntos disjuntos, tal que:

[
An = , (An ) < n.
n=1
Definici
on. Una medida se llama de probabilidad si y solo si () = 1, en cuyo
caso la tripleta con P = , (, F, P) se llama espacio de probabilidad.

Nota:(, F, )/ () = M < P = es probabilidad.
M
2.3 Medida 43
on 2.3.1 Sea (, F, ), espacio de medida. Sea A, B F, (A) <

Proposici
, A B, entonces (B\A) = (B) (A).
Demostracion:
Sea B = (B\A) A, por la -aditividad,
(B) = (B\A) + (A)
y como (A) < (B\A) = (B) (A).
on 2.3.2 Sea (, F, ), espacio de medida. Sea A, B F, si A B,

Proposici
entonces (A) (B).
Demostracion:
Sea B = (B\A) A, por la -aditividad,
(B) = (B\A) + (A)
y como (B\A) 0 y (A) 0
(B\A) + (A) (A)
(B) (A)
on 2.3.3 Si (, F, ) espacio de medida, con medida no identicamente

Proposici
infinita, entonces () = 0.
Demostracion:
Si (, F, ) espacio de medida, con medida no identicamente infinita, entonces
A F/ (A) <
() = (A\A)
= (A) (A)
=0

Ejercicios: Sea (, F, ) un espacio de medida. Sea A, B F tal que:
2.3 Medida 44
1. (B) = (B A) + (B A0 )
2. Si A B y (A) = (B) =
3. (A B) + (A B) = (A) + (B)
4. (A B) (A) + (B)
on 2.3.4 Sea (, F, ), espacio de medida, An F una sucesion, en-

Proposici
tonces
1) Si An A (An ) (A),
2) Si An A (An ) (A) si (An ) < .
Demostracion:
1) Hacemos la construccion,
B1 = A1 F
B2 = A2 \A1 F
B3 = A3 \A2 F
..
.
Bn = An \An1 F
tal que Bn Bn1 = , n.
[n n
[
Sea An = Bi = Ai tal que
i=1 i=1

[
[
A= Bi = Ai
i=1 i=1
Por el -aditividad:

!
[ X
(A) = Bi = (Bi )
i=1 i=1
n
X
= lm (Bi )
n
i=1
n
!
[
= lm Bi
n
i=1
= lm (Bi )
n
2.3 Medida 45
2) Tenemos:
A1 \An An = A1 (A1 \An ) (A1 ) (An )
A1 \A A = A1 (A1 \A) = (A1 ) (A)
La sucesion: A1 \An = Bn F y se cumple:
Bn = A1 \An A1 \An+1 = Bn+1
y como Bn (A1 \A).

| {z }
B
Se cumple:
(A1 \A) = lm (Bn )

n
= lm (A1 \An )
n
= lm ((A1 ) (An )
n
= (A1 ) lm (An )
n
(A1 ) (A) = (A1 ) lm (An )

n
lm (An ) = (A)
n

Ejercicios: Si (, F, ) espacio de medida,

[
X
1. An F An (An ).
n=1 n=1

2. lm An lm (An ).
n n

!
[
3. Si An < ,
n=1
lm (An ) lm An .
n n

X
4. Si (An ) < lm An = 0.
n
n=1
2.4 Medida Exterior 46
5. Sea una sucesion de medidas n : F R, demuestre que:

a) Si n n+1 (A) = lm (An ) es una medida en F.
n
2.4. Medida Exterior

on. Sea , conjunto no vaco, e : 2 R, una funcion e se llama
Definici
medida exterior si y solo si:
1. e () = 0
2. e (A) 0, A
3. Si A B e (A) e (B)
N0 N0
!
N 0
[ X
0 N
4. Si {Ai }i=1 e , donde N =
i=1 i=1
+
Paso siguiente: construir una -algebra y una medida, apartir de una medida
exterior.
Definici
on. (Caratheodory) Sea e una medida exterior sobre , un conjunto
E , se llama medible o e -medible, si y solo si
e (A) = e (A E) + e (A E c ), A .
As se construye F = {E /E es e medible} y (, F, e ) es un espacio de

medida.
on 2.4.1 Sea 6= , e una medida exterior sobre , entonces la familia

Proposici
F construida anteriormente, es una -algebra.
Demostracion:
1) F,
E=0
e (A E) + e (A E c ) = e () + e (A) = e (A), A 2 .
2) Si E F E c F ,
e (A) = e (A E) + e (A E c ), A 2
= e (A (E c )) + e (A (E c )c ), A 2
E c F
N 0
[
N0
3) {Ei }i=1 , Ei F,entonces Ei F
i=1
Para demostrar esta parte, es necesario demostrar los siguientes lemas.
Lema 2.4.1 E es medible si y solo si
e (B C) = e (B) + e (C), C E, B E c .
Demostracion:
] E F si y solo si e (A) = e (A E) + e (A E c ), A 2 .
Sean C E, B E c , A = B C,
e (B C) = e (A) = e (A E) + e (A E c )
= e ((B A) E) + e ((B A) E c )
= e ((B E) (A E)) + e ((B E c ) (A E c ))
= e (B) + e (C)
e (A) = e (A E) + e (A E c ), A 2
] Si e (B C) = e (B) + e (C), C E, B E c .
Sea A , cualquiera, definimos C = A E E y B = A E c E c ,
e (A) = e (B A) = e (B) + e (C)
= e (A E c ) + e (A E)
= e (A E) + e (A E c )
E es medible
Lema 2.4.2 Si E1 , E2 F E1 \E2 F .
Demostracion:
Vamos a verificar que:
e (A B) = e (A) + ( B), A E1 \E2 , B (E1 \E2 )c
Sea A E1 \E2 , B (E1 \E2 )c , definimos
B = (B E) (B E c )
A B = A (B E2c ) (B E2 )
= (A B) E2 (B E2 )
y como E2 es medible,
e (A B) = e ((A B) E2 ) + e ((A B) E2c )

ademas se tiene que

(A B) E2c = A E2c B E2c = A (B E2c ), A E1
B E2c (E2 E1c ) E2 = E2c E1 E1
e (A B) = e [(A E2c ) (B E2c )] + e (B E2 )
= e [A (B E2c )] + e (B E2 )
= e (A) + e (B E2 ) + e (B E2c )
= e (A) + e (B)
E1 \ E2 F

[
Lema 2.4.3 Sea {Hi }
i=1 F disjuntos Hi F .
i=1
Demostracion:
Debemos probar que

!
!c !
[ [
e (A) = e A Hi + e A Hi , A 2 ()
i=1 i=1
Supongamos que se cumple

!
[ X
e A Hi = e (A Hi )
i=1 i=1
la prueba de () transforma en

!c !
X [
e (A) = e (A Hi ) + e A Hi , A 2 ()
i=1 i=1
Si probamos (), usando la igualdad anterior quedaria probada ().

Prueba de ():
[ n
[
Sea H = Hi , Fn = Hi , entonces Fn Fn+1 .
i=1 i=1
Probaremos primero que
n n
!c !
X [
e (A) = e (A Hi ) + e A Hi , A 2
i=1 i=1
Por induccion sobre n:

Para n = 1, tenemos que e (A) = e (A H1 ) + e (A H1c ), pues H1 es mdible,
A 2 .
Supongamos que es valida para los primeros n-1(Hipotesis inductiva)
n1 n1
!c !
X [
e (A) = e (A Hi ) + e A Hi , A 2
i=1 i=1
n1
X
c
= e (A Hi ) + e (A Fn1 ), A 2
i=1
Ahora probaremos para n. Sabemos que
e (A) = e (A Hn ) + e (A Hnc ), A 2 (M)
haciendo A = A Hnc y aplicandole la hipotesis inductiva, tenemos

n1
X
e (A Hic ) = e (A Hnc Hi ) + e (A Hnc Fn1
c
)
i=1
n1
X
= e (A Hi ) + e (A (Hn Fn1 )c )
i=1
n1
X
= e (A Hi ) + e (A Fnc )
i=1
reemplazando en (M)
e (A) = e (A Hn ) + e (A Hnc
n1
X
= e (A Hn ) + e (A Hi ) + e (A Fnc )
i=1
n
X
= e (A Hi ) + e (A Fnc )
i=1
n n
!c !
X [
e (A) = e (A Hi ) + e A Hi , A 2 n
i=1 i=1
entonces haciendo n

!c !
X [
e (A) = e (A Hi ) + e A Hi , A 2
i=1 i=1

[
Hi F
i=1

!
[ X
Ahora probaremos la suposicion inicial de que e A Hi = e (A Hi )
i=1 i=1
En efecto:
Como Fn Fn+1 Fnc Fn+1 H c , donde A Fnc A H, n
e (A Fnc ) e (A H c )
As
n
X
e (A) = e (A Hi ) + e (A Fnc )
i=1
Xn
e (A Hi ) + e (A H c ) n
i=1
n
X
e (A) e (A Hi ) + e (A H c )
i=1
Usando el axioma (4) sub-aditividad

!
X [
e (A Hi ) e (A Hi ) = e (A H c )
i=1 i=1
entonces se cumple

X
e (A H c ) e (A Hi ) + e (A H c ) e (A H) + e (A H c )
i=1
Observe que
A = (A H) (A H c )
e (A) = e (A H) e (A H c )

X
e (A) e (A Hi ) + e (A H c ) e (A H) + e (A H c ) e (A)
i=1

X
e (A) = e (A Hi ) + e (A H c ) = e (A H) + e (A H c ), A 2
i=1
y como A es arbitrario, reemplazando A por A H,

X
e (A) = e (A Hi ) + e (A H c )
i=1

X
e (A H) = e ((A H) Hi ) + e ((A H) H c )
i=1
X
= e (A Hi ) + e ()
i=1

[
X
e (A Hi ) = e ((A Hi ), A 2
i=1 i=1

!
[ X
Corolario 2.4.1 Si {Hi }
i=1 F disjuntos, entonces e Hi = e (Hi ).
i=1 i=1
Demostracion:
Por el lema anterior :

!
[ X
e A Hi = e (A Hi ), A 2
i=1 i=1
luego si A =

!
[ X
e Hi = e (Hi ), A 2
i=1 i=1

Ahora si continuando con la demostracion 3)
Demostracion:
Sea {Ei }
i=1 F.
Veamos que E1 E2 F.
Como E1 E2 = (E1c E2c ) = (E1c \E2 )c F,
por lema 2 E1 F E1c F E1c \E2 F.
As la reunion finita de elementos medibles es medible.
2.5 Medida de Lebesgue en Rn 53
j
[
Sea Hj = Ei F, j, por el lema 2: Hj+1 \Hj F y son disjuntos. Se cumple:
i=1
j
[
Ei = H1 (H2 \H1 ) (Hj \Hj1 )
i=1
j
!
[
= H1 (Hj \Hj1 ) reunion de conjuntos disjuntos de F.
i=2
Por el lema 3)
j
!
[ [
Ei = H1 (Hj \Hj1 ) F
i=1 i=2

[
Ei F
i=1
on 3 (, F, e ) es un espacio de medida y por construccion F es la

Observaci
-algebra mas grande donde e es medida
2.5. Medida de Lebesgue en Rn

on. Un intervalo I Rn es el conjunto
Definici
I = {x = (x1 , x2 , , xn ) Rn / ai xi bi , ai , bi R, i = 1, 2, , n}
tambien llamamos intervalo abierto al conjunto:
J = {x = (x1 , x2 , , xn ) Rn / ai < xi < bi , ai , bi R, i = 1, 2, , n}
o intervalos semiabiertos, que tienen la forma:
k = {x = (x1 , x2 , , xn ) Rn / ai xi < bi , ai , bi R, para algunos i}
o similares.
on 4 Si en los intervalos I, J, si ai , bi R son los mismos se acostumbra

Observaci
usar
I = J.
Ejemplo 2.5.1 En R2
Si b2 = a2
Observe que en R
on. Sea I Rn un intervalo, el volumen n-dimensional del intervalo I se

Definici
define por
n
Y
V (I) = (bi ai )
i=1
Casos particulares:
1. n=1, V (I) = b a es la longuitud del intervalo.
2. n=2, V (I) = (b1 a1 )(b2 a2 ) es el area de un recangulo.
3. n=3, V (I) = (b1 a1 )(b2 a2 )(b3 a3 ) es el volumen de un cubo.
Propiedades:
1)V (I) 0
2)V (I) = 0 si I es un intervalo degenerado.
0
on. Sea A Rn , una familia enumerable {Ik }N
Definici n
k=1 en R , se llama cubrim-
iento de A si y solo si
N 0
[
A Ik
i=1

N N
donde N 0 =

Lema 2.5.1 Cualquier conjunto de Rn posee un cubrimiento de intervalos.
Demostracion:
Para la prueba, se consideran los siguientes casos:
1. Si A = .
Como el vacio pertenece a todo conjunto, entonces I.
2. Si A es acotado.
Como A es acotado Br (0) Rn /A Br (0)
Sea I = {x Rn / r x r}
A I
Ies un cubrimiento de A
3. Si A no es acotado.

[
Debemos probar que A Bn (0), donde Bn (0) son bolas con radio r =
i=1
n/n N.
Sea a A cualquiera, ya que ||a|| < entonces n1 N tal que ||a|| < n1 .
a Bn1 (0).

[
A Bn (0)
i=1
Entonces sea Ik un intervalo de la forma
Ik = {x = (x1 , x2 , , xn ) Rn / rk xk rk }, k

[
[
A Bn (0) Ik .
i=1 k=1
[
A Ik .
i=1
{Ik }
k=1 es un cubrimiento de A.
0
on: Sea S = {ik }N
Notaci k=1 , una familia numerable de intervalos,
N 0
X
(S) = V (I).
k=1
on. Sea A Rn , definimos el volumen de A, por

Definici
|A|e = {(S)/S es un cubrimiento de A}
on 2.5.1 Si I Rn / I es un intervalo, entonces |I|e = V (I).

Proposici
Demostracion:
Probaremos que: |I|e V (I) y |I|e V (I)
i) Sea S = {I} un curimiento de I, entonces |I|e (S) = V (I).
|I|e V (I).
ii) Ahora verificaremos que V (I) |I|e ; cubrimiento de I.

0 0
Sea S = {Ik }N
k=1 un cubrimiento de I, supongamos N =

[
I Ik
k=1
Sea > 0, para cada Ik , sea Jk /Ik Jk y V (Jk ) V (Ik ) + V (Ik ), donde Jk
denota el interior de Jk .

[
As I Jk , como I es compacto
k=1

[
[
un cubrimiento finito {Jkj }N
kj =1 , I Jk Jkj
k=1 j=1
luego por la construccion
N
X N
X
V (I) V (Jkj ) < (1 + )V (Ikj )
j=1 j=1
N
X
X
=(1 + ) V (Ikj ) V (Ik ) = (1 + )(S)
j=1 k=1
Si 0, V (I) (S) para cada cubrimiento
V (I) nf (S) = |I|e

De (i) y (ii) temenos que |I|e = V (I)

La definicion de nfimo dice que:
n
|A|e : 2R R es una funcion.
Algunas propiedades de la funcion |.|e
Teorema 2.5.1 ||e = 0.
Teorema 2.5.2 |A|e 0, A Rn .
Teorema 2.5.3 Si A B |A|e |B|e
Demostracion:
Sea S = {s/s es un cubrimiento de A} y T = {t/t es un cubrimiento de B}.
Ahora como A B, todo cubrimiento de B es cubrimiento de A.
Sea S1 = {(s)/s es un cubrimiento de A} y T1 = {(t)/t es un cubrimiento de B}.
Sea t T t S, (t) T1 (t) S1 entonces T1 S1
nf {(t)} nf {(s)}
(t)T1 (s)S1
|B|e |A|e
|A|e |B|e

N 0
[
Teorema 2.5.4 Si E = Ak es una union enumerable de conjuntos de Rn . En-
k=1
tonces N0 N0

[ X
Ak |Ak |e

k=1 e k=1
Demostracion:
Para la prueba consideramos los casos:
1. Si |A|e = para alg

un k0 se cumple trivialmente
0
N0

[N X
Ak = |E|e + = |Ak |e .

k=1 e k=1
2. Si |A|e < , k
De la definicion |A|e = nf S {(S)}, S cubrimiento de Ak y de la definicion de
nfimo,
Sea > 0, S k = {Ijk } cubrimiento de Ak tal que
N 0
X
(S k ) = V (Ijk ) < |A|e + , k
j=1
2k
N0
[
es decir, Ak = Ijk , k, de lo cual
j=1
[
N 0
N0
[ [ [
Ak Ijk = Ijk , JIjk k,j=1
k=1 k=1 j=1 k,j=1
S
es cubrimiento de k=1 Ak .
Luego
N0 N0
N0 X N0

[ X X X
Ak (J) = V (Ijk ) = V (Ijk ) = (S k )

k=1 e k,j=1 k=1 j=1 k=1
N0 N0 N0
X X X
< (|A|e + ) = |A|e +
k=1
2k k=1 k=1
2k
N 0
X
= |A|e +
k=1
haciendo k
N0

[ X
Ak |A|e .

k=1 e k=1
Por lo tanto de 1) y 2) se tiene

0
N0

[N X
Ak |Ak |e .

k=1 e k=1
n
Teorema 2.5.5 La funcion |.|e : 2R R es una medida exterior.
Demostracion:
Utilizando los teoremas 2.5.1, 2.5.2, 2.5.3 y 2.5.4.
Teorema 2.5.6 Si I es un intervalo en Rn , entonces |I|e = V (I)
Teorema 2.5.7 Sea A Rn . Entonces dado > 0, existe un abierto G tal que
A G y |G|e |A|e + .
Demostracion:
Sea A Rn , sea > 0, S = {Ik }
k=1 cubrimiento de A tal que

X
V (Ik ) = (S) < |A|e + (por definicion de infimo)
k=1
2
Para casa k, sea Jk /Ik Jk y V (Jk ) < V (Ik ) + 2k+1

.

[
Jk abierto,luego A
S S
Sea G = k=1 Ik k=1 Jk
k=1
AG
Observe que {Jk } = S k es un cubrimiento de G,

[ X

|G|e = Jk

|Jk |e

k=1 k=1

X X
|Jk |e = V (Jk )
k=1 k=1

X
V (Jk ) +
k=1
2k+1

= (S) + |A|e + +
2 2 2
|G|e |A|e +
Observaci
on 5 El teorema 2.5.7 dice que la medida exterior de cualquier conjunto
A Rn puede ser estimada por la medida exterior de abiertos que lo contienen y
por tanto cumple que:
|A|e = nf{|G|e /A G abierto}
Teorema 2.5.8 Sea A Rn . Entonces existe un cojunto H del tipo G con A

H y |A|e = |H|e .
2.6 Conjuntos Medibles seg
un Lebesgue 60
Demostracion:
Utilizando el teorema 2.5.7. Para cada k = k1 , Gk abierto tal queA Gk y |Gk |e
|A|e + k1 .

[
Sea H = Gk Gk , luego A H
k=1
A Gk k
1
|A|e |H|e |Gk |e |A|e + , k
k
Si k , se cumple
|A|e = |H|e
2.6. Conjuntos Medibles seg

un Lebesgue
on. Sea E Rn es n-dimensional Lebesgue medible si y solo si
Definici
n
|A|e = |A E|e + |A E c |e , A 2R .
Mn = {E Rn / E es n-dimensional Lebesgue medible}.
En este caso la medida exterior es una medida sobre Mn y lo denotamos
e = | | e = | | = | | e .
Una definicion equivalente a la anterior es:

on. Sea E Rn se dice que es medible si y solo si
Definici
> 0, G abierto /E G y |G\E|e < .
Caracterizamos los conjuntos E.
L = {E Rn / E es medible o L -medible}
on 2.6.1 Si G es abierto, entonces G L .

Proposici
un Lebesgue 61
Demostracion:
Sea > 0, G abierto dado, entonces si E = G se cumple
|G\E|e = |G\G|e = ||e = 0 < ,
EL
on 2.6.2 Si E Rn / |E|e = 0 E L .
Proposici
Demostracion:
Como E Rn / |E|e = 0, por el teorema 2.5.7, existe un abierto G tal que |G|e <
|E|e + .
Pero |E|e = 0 entonces |G|e < , pero |G\E|e |G|e <
|G\E|e <
EL
Teorema 2.6.1 L .
Demostracion:
Sabemos que ||e = 0 y por el teorema 2.6.2, L

[
Teorema 2.6.2 Sea {Ek }
k=1 L entonces Ek L .
k=1
Demostracion:
Sea > 0, para cada Ek L , Gk abierto tal que Ek Gk y |Gk \Ek | <
2k
.
[ [
Sea G = Gk y E = Ek tal que satisface
k=1 k=1

[
[
E= Ek Gk = G
k=1 k=1
un Lebesgue 62

!
!
!
!c
[ [ [ [
G\E = Gk \ Ek = Gk \ Ek
k=1 k=1 k=1 k=1

!!
[ \
= Gk Ekc
k=1 k=1
[
(Gk Ekc )
k=1

[
As, G\E (Gk Ekc )
k=1

[
|G\E|e (Gk Ekc )

k=1 e

X
(Gk Ekc )
k=1

X 1
< =
k=1
2k

[
Dado > 0, G = Gk / E G y |G\E|e < .
k=1

[
E= Ek L
k=1
Corolario 2.6.1 Si I es un intervalo cerrado. Entonces I L .
Demostracion:
Como I =
I I, donde I L.
I es abierto
Ademas |I|e = 0 pues es la reunion de intervalos degenerados I L (por la
proposicion 2.6.2).
Ahora por el teorema 2.6.2 I L .
Teorema 2.6.3 Si E L E c L .
Para esta demostracion utilizaremos los siguientes lemas:

un Lebesgue 63
N
Lema 2.6.1 {Ik }k=1 coleccion finita de intervalos no translapados, entonces
Sea
N
[ [N XN
Ik L y Ik = |Ik |e .

k=1 k=1 e k=1
Demostracion:
N
[
Por el corolario 2.6.1, Ik L y por el teorema 2.6.2, Ik L .
k=1
Por la subaditividad, tenemos

[N X N
Ik |Ik |e .

k=1 k=1
S P
Ahora intentaremos probar que k=1 Ik < N
N
k=1 |Ik |e .

[N
P
Sea A = Ik , S = {Ji } cubrimiento enumerable de A/ (S) = k=1 V (Jk ) <
P k=1
k=1 |Ik |e .
[ N N
[ N
[
Como Ik Ji , Ik Jkj para cada K, y como {Ik } no se translapan,
k=1 i=1 j=1
podemos elegir {Jkj } diferentes

[N N
X
|I|e Jkj |Jkj |e

j=1 e j=1
Luego
!
N
X N [
X N N
X N
X
|Ik |e Jkj |Jkj |e

k=1 k=1 j=1 e k=1 j=1
N
X XN
= |Jj |e < |Ik |e
j=1 k=1
N
X N
X
lo cual implica, |Ik |e < |Ik |e ().
k=1 k=1
Por lo tanto, se cumple N
[ N
X
Ik = |Ik |e

k=1 e k=1
Lema 2.6.2 Si d(A1 , A2 ) > 0 entonces |A1 A2 |e = |A1 |e + |A2 |e .

un Lebesgue 64
Demostracion:
Recordando que d(A1 , A2 ) = nf{|a1 a2 |/ a1 A1 , a2 A2 }.
Por la subaditividad, sabemos que |A1 A2 |e |A1 |e + |A2 |e .
Por otro lado A = A1 A2 , > 0, un cubrimiento S = {Ik } cubrimiento de A
tal que (S) < |A1 A2 |e + .
Supongamos que diam(Ik ) 21 d(A1 , A2 ) (si no fuera as, refinamos el cubrimien-
to). De esta manera tenemos que el cubrimiento esta compuesto por dos conjuntos
disjuntos de intervalos.
Sea {Ik0 } cubrimiento de A1 y {Ik00 } cubrimiento de A2 , S = {Ik0 } {Ik00 }, entonces

X
X
|A1 |e + |A2 |e V (Ik0 ) + V (Ik00 )
k=1 k=1

X
= V (Ik ) = (S)
k=1
< |A1 A2 |e +
como es arbitrario, si 0
|A1 |e + |A2 |e |A1 A2 |e
|A1 A2 |e = |A1 |e + |A2 |e
Corolario 2.6.2 Si F1 , F2 son cerrados y acotados disjuntos. Entonces
|F1 F2 |e = |F1 |e + |F2 |e .
Demostracion:
sabemos que la distancia entre dos compactos d(F1 , F2 ) > 0 y usando el lema 2.6.2,
se cumple el corolario 2.6.2.
Lema 2.6.3 Si F Rn es cerrado F L .
Demostracion:
Para esta demostracion consideramos los siguientes casos:
un Lebesgue 65
1. F es compacto.
Dado > 0, G abierto / F G y |G|e |F |e + 2 . Pero G\F es abierto, es
la union enumerable de intervalos no traslapados

[
G\F = Ik
k=1
entonces

[ N
[
G = G\F F = Ik F Ik , N finito
k=1 k=1
N
[
y como cada Ik es compacto, entonces B = Ik es compacto, ademas BF =
k=1
.
Por el corolario 2.6.2,
N
[
|B F |e = |B|e + |F |e = Ik + |F |e

k=1 e
N
X
= |Ik |e + |F |e
k=1
|Ik |e + |F |e |
PN S
k=1 k=1 Ik F |e = |G|e , N .
Luego,
la acotacion de F, |F |e < , pues F es compacto
por
[
Ik = N
P
k=1 |Ik |e |G|e |F |e <

k=1 e
[
Ik |G|e |F |e <

k=1 e
haciendo crecer N ,

[
|G\F |e = Ik |G|e |F |e <

k=1 e
F L.
2. F es un cerrado cualquiera(no necesariamente acotado).

Sea kn = {x Rn / |x| n} un compacto.
un Lebesgue 66
Sea Fn = F kn es compacto, pues F kn kn .

Por la parte (a tenemos Fn L y se cumple que

[
F = lm Fn = Fn
n
n=1
como Fn L n, entonces por el teorema 2.5.7

[
F = L.
n=1

Ahora con estos resultados, demostraremos el teorema 2.6.3.
Demostracion:
Como E L , para cada Ek = k1 , Gk abierto / E Gk y |G\E|e < k1 .
Por el lema 2.6.3
Gck es cerrado Gck L , k.
Luego por el teorema 2.6.3

[
H= Gck L .
k=1
se cumple que Gck E k entonces H E c .
c
Sea Z = E c \H E c = H Z, probaremos que Z L
Z = E c \H = E c H c

!c
!
[ \
= Ec Gck = Ec Gk
n=1 n=1

\
= (E c Gk )
n=1
(Gk E c ) = Gk \E k.
1
Entonces |Z|e |Gk \E|e < k
k.
Luego
|Z|e = 0 Z L
y como H L , se tiene
Ec = H Z L
un Lebesgue 67
Teorema 2.6.4 L es una -algebra.
Demostracion:
Usamos los teoremas 2.6.1, 2.6.2 y 2.6.3.
on 2.6.3 Sea {Ek } L Ek L .

T
Proposici k
Demostracion:
Sea {Ek } L
[
Ek L (por el teorema 2.6.2)
!c
[
Ek L (por el teorema 2.6.3)
k
\
Ek L
k
\
Ek L
k
on 2.6.4 si E1 , E2 L E1 \E2 L .
Proposici
Demostracion:
Como E1 , E2 L
E1c , E2c L (por el teorema 2.6.3)
E1 E2c L (por el teorema 2.6.4)
E1 \E2 L
E1 \E2 L
Teorema 2.6.5 Sea E Rn , E L si y solo si > 0, F conjunto cerrado tal

que F E y |E\F |e < .
un Lebesgue 68
) Por definicion, si E L , > 0, G abierto / E G y |G\E|e < .

Como E L E c L , O abierto / E c O y |O\E|e < .
Sea F = Oc cerrado tal que oc E as F E, ademas
|E F |e = |E F c |e = |E O|e = |O E|e = |O (E c )c |e == |O\E|e < .
> 0, F cerrado tal que F E y |E\F |e .
) > 0, F cerrado tal que F E y |E\F |e .

De la expresion se observa que E c F c , abierto.
Sea G = F c |G\E c |e = |F c E|e = |E F c |e = |E\F |e <
por lo tanto E c L
E L.

on. Dado E Rn , decimos que E es medible Lebesgue-Euclidiano si y solo
Definici
si
> 0, O abierto / E O y |O\E|e <
Ln = {E Rn / E es medible Lebesgue-Euclidiano }, es -algebra.
Teorema 2.6.6 La medida exterior de Lebesgue es una medida en Ln .
Demostracion:
Probaremos los 2 axiomas de medida.
i) |E|e 0, E Ln .
i=1 , una familia enumerable de conjuntos disjuntos dos a dos en Ln .

ii) Sea {Ei }
Debemos probar que
[
X
Ei = |Ei |e .

i=1 e i=1
un Lebesgue 69

[ X
Por la subaditividad se cumple que Ei = |Ei |e , por se medida exterior.

i=1 e i=1
Falta probar que
X [
|Ei |e Ei

i=1 i=1 e
para ello consideramos los casos:
Caso a: Supongamos que todos los Ei son acotados.

Por el teorema 2.6.5, para cada Ei , 2i > 0 Fi cerrado / Fi Ei y |Ei \Fi | <

2i
se cumple
N
[
[
[
Fi Fi Ei = E
i=1 i=1 i=1

[N
|E|e Fi

i=1 e
N
X
= |Fi |e , N pues los Fi son compactos y disjuntos.
i=1

[
de donde Ei = |E|e
P
i=1 |Fi |e

i=1 e
pero Ei = Fi Ei \Fi

luego |Ei |e = |Fi |e + |Ei \Fi |e < |Fi |e + 2i

[ X X X
Ei > |Ei |e = |Ei |e .

i=1

i=1
2i i=1 i=1
e
Si 0
[
X
Ei |Ei |e

i=1 e i=1
Caso b: supongamos que Ei no acotado.

un Lebesgue 70
Sea Bn = B(0, m), construimos los conjuntos
E1i = Ei B1
E2i = Ei (B2 \B1 )
E3i = Ei (B3 \B2 )

..
.
Eim = Ei (Bm \Bm1 )

..
.
se cumple que Ei Ln y son acotados, pues Bn Ln , m Bm \Bm1

Ln
Eim = Ei (Bm \Bm1 ) Ln , im

[
Entonces por a) |Ei |e |Eim |e
i=1

[
[
[
se cumple E = |Ei |e = Eim acotados y disjuntos y por a)
i=1 i=1 im=1

! [

X X X X
|E|e |Eim |e = Eim = |Ei |e

i=1 im=1 i=1 im=1 e i=1

[ X
de a) y b), tenemos Ei |Ei |e .

i=1 e i=1

[ X
Ei = |Ei |e .

i=1 e i=1
Teorema 2.6.7 E Ln si y solo si E = H\Z donde H G y |Z|e = 0 o equiva-

lentemente E = L Z, L F y |Z|e = 0.
Demostracion:
)
i) Como H G entonces H Ln y Z Ln as
E = H\Z Ln .
un Lebesgue 71
ii) Si L F entonces L Ln y Z Ln por tanto
E = L Z Ln .
i) Si E Ln .
1
Sea k = k
existe Gk abierto E Gk y |Gk \E|e < k1 .
[
Sea H = Gk G k entonces
k=1
EH
Sea Z = H\E, probaremos que |Z|e = 0y que H\Z = E.

H\Z = H Z c = H (H E c )c = H (H c E) = H E = E

\ \
|Z|e = |H\E|e = Gk \E = (Gk \E)

k=1 e k=1 e
|Gk \E|e , k
1
<
k
si k
|Z|e = 0.
ii) Ejercicio
Teorema 2.6.8 Ln = Mn .
Demostracion:
Debemos probar que:
n
> 0 G abierto / E G y |G\E|e < |A|e = |A E|e + |A E c |e A 2R
) Si E Ln y sea A Rn , entonces H G / A H y |A|e = |H|e

H = (H E) (H E c ) reunion disjunta
un Lebesgue 72
|H|e = |H E|e + |H E c |e, pues H, E Ln y | |e es una medida sobre Ln

pero A E H E y A E c H E c entonces:
|A E|e |H E|e y |A E c |e |H E c |e
Ademas: A = (A E) (A E c )
|A|e |A E|e + |A E c |e (por la subaditividad)
|H E|e + |H E c |e
= |H|e
= |A|e
Entonces |A|e |A E|e + |A E c |e |A|e
n
|A|e = |A E|e + |A E c |e A 2R
) Sea E Mn
Para esta parte de la demostacion consideramos los casos:
a) Supongamos que |E|e <

Para E, existe por el teorema 2.6.6 un H G / |E|e = |H|e con E
H y Z = H\E y |Z|e = 0.
Sea H = E (H\E) = E Z = (H E) (H E c ) y H Rn por
hipotesis se cumple
|H|e = |H E|e + |H E c |e = |E|e + |Z|e = |E|e
por lo tanto, por el teorema anterior
E Ln .
b) Si |E|e =

[
Sea Em = E Bm , Bm = B(0, m), m Z , E = +
Em Mn
m=1
2.7 Ejemplos de Medida Exterior 73
|Em |e < m, aplicando a) para cada Em existe Hm G tal que

|Em |e = |Hm |e m
Se cumple,
|Hm |e = |Hm E|e + |Hm E c |e |E|e + |Z|e = |H|e + |Z|e
0 |Z|e
|Zm |e = 0
pues Em Hm E.
Como Em = Hm \Zm Ln pues |Z|e = 0 y Hm G Ln
[
E= Ln
m=1
2.7. Ejemplos de Medida Exterior

Sea C una familia de subconjuntos de , tal que C .
Sea : C R+0 una funci
on tal que () = 0.
X
Si S = {An }n=1 C una coleccion, (S) =

V (An ).
n=1
Teorema 2.7.1 la funcion
:2 R+
0
B 7 (B) = nf{(S), S cubrimiento de B}
es una medida exterior, medida exterior generada por . Si ademas C = A0 un

algebra o -algebra y = una medida sobre A0 = sobre A0 .
Observaci
on 6 Tenemos que:
1. Sea M la -algebra (seg

un Caratheodory) generada por la medida exterior,
genera el espaco de medida de (, M , ) el cual es completo.
2. Si (, A0 , ) es espacio de medida -finita. El espacio de medida (, M , )

donde es generada por , es extension de (, A0 , ).
2.7.1. Medida de Hausdorff
on. Sea (, d) espacio metrico. Sea B , el diametro de B se define

Definici
como:
diam(B) = sup{d(x, y)/ x, y B}.
Definicion. Sea A Rn , 0 n, > 0. definimos

( )
X
Hs (A) = nf diam(Vi )s / {Vi }
i=1 es cubrimiento de A con d(Vi ) <
i=1
Sea D = {Vi }i=1 un cubimiento enumerable de vecindades de A tal que

X
s
diam(Vi ) < y (D) = diam(Vi )s .
i=1
Hs (A) = nf{ s (D)/ D es -cubrimiento de A}
on 2.7.1 Hs es medida exterior sobre (, d) en particular sobre (Rn , ||)

Proposici
para cada > 0 y s > 0.
Demostracion:
1. Hs () = 0
Como esta incluido en toda vecindad de centro x y radio > 0, .

Sea V tal que < 2
diam(V ) < 2 < , > 0
haciendo 0 Hs () nf {diam(V )} = 0
Hs () = 0.
n
2. Hs (A) 0, A 2R

X
Como diam(Vi ) 0 (D) = s
diam(Vi )s 0
i=1
Hs (A) = nf{ s (D)/ D es -cubrimiento de A} 0
Hs (A) 0, A 2
3. Si A B Hs (A) Hs (B)
Sea D1 = Vi cubrimiento de A
Sea D2 = Si cubrimiento de B
{D1 / D1 cubrimiento de A} {D2 / D2 cubrimiento de B}
( ) ( )
X X
diam(Vi )s diam(Si )s
i=1 i=1

X X
s
nf{ diam(Vi ) } nf{ diam(Si )s }
i=1 i=1
Hs (A) Hs (B)

!
[ X
4. Sea {Ai } s
i=1 familia enumerable H Ai Hs (Ai ).
i=1 i=1

[
Sea {Vi } un cubrimiento de Ai tal que diam(Vij ) < j. Sea A = (Ai ),
i=1
D = {Vij }
i,j=1 , es cubrimiento de A,

!
[ X
Hs Ai = Hs (A) = nf{ diam(Vi,j )s / {Vij } cubrimiento de A}
i=1 i,j=1

X
diam(Vi,j )s
i,j=1
X X
diam(Vi,j )s
i=1 j=1

( ! )
X X s
nf diam(Vi,j ) + i
i=1 j=1
2

(
)!
X X
= nf diam(Vi,j )s +
i=1 j=1
haciendo 0,

!
[ X
Hs Ai Hs (Ai )
i=1 i=1
on 2.7.2 Si 1 < 2 Hs1 (A) Hs2 (A).

Proposici
Demostracion:
Sea,
D1 = {V1i }
i=1 cubrimiento de A, diam(V1i ) < 1
D2 = {V2j }
j=1 cubrimiento de b, diam(V2j ) < 2
T = {D1 / D1 cubrimiento de A, diam(V1i ) < 1 }

S = {D2 / D2 cubrimiento de b, diam(V2j ) < 2 }.
Ahora T S, pues T es un cubrimiento de A, diam(V1i ) < 1 < 2
T = {V1i } cubrimiento de A, diam(V1i ) < 2
T S
Luego
{ s (T )/diam(V1i ) < 1 } { s (S)/diam(V2j ) < 2 }
nf{ s (T )/diam(V1i ) < 1 } nf{ s (S)/diam(V2j ) < 2 }
Hs1 (A) Hs2 (A)

on. Sea s 0, la medida exterior de Hausdorff s-dimensional de A Rn
Definici
se define por
H s (A) = lm Hs (A) = sup Hs (A)
0 >0
Teorema 2.7.2 H s es una medida exterior.
Demostracion:
1. H s () = 0
Como Hs () = 0, > 0 por se medida exterior.
lm0 Hs () = 0 = sup>0 Hs ()
2. H s (A) 0, A Rn
H s (A) = sup>0 Hs (A) 0, pues diam(Vi )s 0
3. Si A B H s (A) H s (B)
{D1 cubrimiento de A} {D2 cubrimiento de B}
Hs (A) Hs (B) > 0
sup Hs (A) sup Hs (B)

H (A) H s (B) s

!
[ X
4. Sea {Ai }
i=1 familia enumerable H s
Ai H s (Ai ).
i=1 i=1
Sea s 0, > 0.
Sea {Vi } un cubrimiento de Ai tal que diam(Vij ) < j.
X
diam(Vij )s < Hs (Ai ) + para cada > 0
j=1
2i
Sea D{Vij }
i,j=1 un cubrimiento de A.

!
[ X
Hs Ai = Hs (A) diam(Vij )s
i=1 i,j=1
X
X
diam(Vij )s
i=1 j=1

X
< Hs (Ai ) +
i=1
2i
X
= (Hs (Ai ) +
i=1

!
[ X X
Hs Ai < (Hs (Ai ) + (H s (Ai ) +
i=1 i=1 i=1
Si 0

!
[ X
Hs Ai (H s (Ai ) > 0
i=1 i=1
Tomando supremo

!
[ X
s
H Ai (H s (Ai )
i=1 i=1

Sea E Rn medible o Hausdorff s-dimensional medible,
H s (A) = H s (A E) + H s (A E c ) A Rn
H = {E Rn / EHausdorff s-dimensional medible}
(Rn , H , H s ) es un espacio de medida llamado espcio de Hausdorff.
2.7.2. Medida de Lebesgue-Stieljes
Sea una funcion f : R R monotona creciente, finita.

Sean los intervalos de la forma < a, b]
H = {< a, b] R; a b y reuniones arbitrarias de intervalos < b, + >}
< a, b]c =< , a] < b, + >
Definici
on. Para cada intervalo finito de la forma < a, b] definimos una longitud
(< a, b]) = f (< a, b]) = f (b) f (a)
Se puede observar que 0 ya que f es monotona creciente, si a < b entonces
f (a) < f (b) (< a, b]) = f (b) f (a) 0
Sea A R. A puede ser cubierto por una familia enumerable de intervalos semi-
abiertos.

[
S = {< ai , bi ]}
i=1 +A < ai , bi ]
i=1

X
(S) = (< ai , bi ])
i=1
on. Si A R, definimos f (A) = nf (S), S cubrimiento de A, f () = 0.

Definici
S
Teorema 2.7.3 f : 2R R es una medida exterior.
Demostracion:
1. f () = 0.
2. f (A) 0.
3. A B f (A) f (B).
Por definicion f (B) dado > 0 S = {< ai , bi ]}
i=1 cubrimiento de B tal que
(B) < f (B) + pero como A B, S es un cubrimiento de A.
f (A) (B) < f (B) +
como es arbitrario, 0
f (A) f (B)
4. Sea {Ai }
i=1 una familia enumerable.

[
A= Ai , dado > 0, para cada Ai Si = {< aki , bki ]}
k=1
i=1

(Si ) f (Ai ) +
2i

[
S= Si es un cubrimiento de A.
i=1

!
[ X X X
f Ai = f (A) (Si ) f (Ai ) + i = f (Ai ) +
i=1 i=1 i=1
2 i=1
Si 0

!
[ X
f Ai f (Ai )
i=1 i=1

Sea E R medible si y solo si f A) = f (A E) + f (A E c ) A R
L S = {E R/ E es Lebesgue-Stieljes medible}
(R, L S, f ) es un espacio de medida llamado espacio de Lebesgue-Stieljes.

Observaci
on 7 Sea una medida de Borel sobre R.
Definamos:
f :R R
x 7 f (x) = (< , x])
Esta bien definida, pues

x = y < , x] =< , y]
(< , x]) = (< , y])
f (x) = f (y)
Sea x < y < , x] < , y] (< , x]) (< , y])
f (x) = f (y)
Esta funcion se llama funcion acumulativa de o funcion distribucion de .

Y ademas podemos construir una medida exterior de Lebesgue-Stieljes f tal que
f |B(R) =
El espacio de medida (R, L S, ) es un espacio de medida que se llama la com-

pletacion del espacio de medida de Borel.
Captulo 3
Funciones Medibles
3.1. Funcione Medible

on. Sea (, F), (S, A ) dos espacios medibles.
Definici
Sea la funcion f : S, se dice que f es medible o F A medible si y solo si
f 1 (B) F, B A .
Particularmente:
1. Si A = B(R)mboxyS = R, la f medible se llama Borel-medible.
2. Si (S, A ) = (R, Mn ), la f medible se llama Lebesgue-medible.

3.1 Funcione Medible 82
Lema 3.1.1 Sea f : S, (S, A ) un espacio medible,
f 1 (A ) = {f 1 (A)/ A A } es -algebra.
Demostracion:
Tenemos que probar que:
1. f 1 (A )
2. Si B f 1 (A ) B c f 1 (A )
[
1
3. Si {Bi }i=1 f (A ) Bi f 1 (A )
i=1
En efecto:
1. f 1 (A ) pues = f 1 ().
2. Si B f 1 (A ) A A / B = f 1 (A)
B c = (f 1 (A))c = f 1 (Ac ) f 1 (A )
3. Si {Bi }
i=1 f
1
(A ) Ai A / Bi = f 1 (Ai ) i

!
[ [ [
Bi = f 1 (Ai ) = f 1 (Ai ) f 1 A
i=1 i=1 i=1
Lema 3.1.2 Sea f : S, C : una familia de subconjuntos de S, entonces
[f 1 (C)] = f 1 [(C)].
Teorema 3.1.1
1. La composicion de funciones medibles es medible.
2. (, F), (S, A ) espacios medibles y sea C : una familia de subconjuntos de S
ta que (C) = A , entonces la funcion f : S es medible si y solo si f 1 (c)
F c C.
3. Las funciones continuas en espacios metricos son Borel-medibles.
Demostracion:
1. La composicion de funciones medibles es medible.

En efecto:
Sea f : (, F) (S, A ), f medible y f : (S, A ) (T, G ), g medible.
Sea A G ,
(gof )1 (A) = f 1 (g 1 (A))
como g es medible, entonces g 1 (A) A . Haciendo B = g 1 (A) y como f es

medible, f 1 (B) F
(gof )1 (A) F, A G .
2. (, F), (S, A ) espacios medibles y sea C : una familia de subconjuntos de

S ta que (C) = A , entonces la funcion f : S es medible si y solo si
f 1 (c) F c C.
En efecto:
) f es medible f 1 ((C)) F (1)
y como C (C) f 1 (C)f 1 ((C)) (2)
De (1) y (2) tenemos
f 1 (C) F f 1 (c) F, c C
) f 1 (c) F, c C, entonces
f 1 (C) F (1)
y tambien tenemos f 1 (C) f 1 ((C)) (2), pero por el lema 3.1.2
f 1 ((C)) = (f 1 (C)),
f 1 (C) (f 1 (C))
y como (f 1 (C)) es la menor -algebra que contiene a f 1 (C), de (1) y (2)

tenemos que (f 1 (C)) F
f 1 ((C)) F
f 1 (A ) F
f 1 (B) A , B A
3. Las funciones continuas en espacios metricos son Borel-medibles.

En efecto:
Hipotesis:
Funciones continuas en espacios medibles sea (, d), (S, d0 ) espacios med-
ibles, f : (, d) (S, d0 ) funcion continua sea f : (, Td ) (S, Td0 )
espacios topologicos, f : (, Td ) (S, Td0 ) funcion continua f 1 (A)
Td A Td0 .
tesis:
f es Borel-medible sea (, F), (S, B(S)) espacios medibles,
f : (, F) (S, B(S)) f 1 (A) F A B(S)
Construimos: F = (Td ) y B(S) = (Td0 ).
Debemos probar que f es medible.
Utilizando el la parte 2. de este teorema, Sea C una familia de subconjuntos
de S tal que (C) = A y f 1 (c) F c C, f : (, F) (S, A ).
A = (Td0 )
C = Td0
f 1 (A) (Td0 ) A C f es medible.
Teorema 3.1.2 Sea (, F), (R, B(R) espacios medibles, f : R es medible

a R, Ea = {w/ f (w < a)} F.
Demostracion:
) f es medible Ea = {x / f (x) < , a >} = {x / f (x) < a} =

f 1 (< , a >) F, pues < , a > B(R), a R.
) Usando la parte 2. del teorema 3.1.1, debemos verificar que:

a) Hallar C
b) (C) = B(R)
c) f 1 (c) F c C
En efecto:
a) C = {< , a >}aR .
b) Probaremos que (C) = B(R)
i) (C) B(R)
Como C TR , donde TR es la topologia usual de R.
(C) (TR ) = B(R).
ii) B(R) (C)

Si probamos que TR (C) (TR ) (C) B(R) (C).
Sea A TR A es abierto.

[
A= Ii , donde Ii son intercalos abiertos y disjuntos.
i=1
Ahora Ii =< ai , bi > y como < , ai + n1 > (C),

\ 1
< , ai + > (C)
i=1
n

\ 1
< , ai + >=< , ai > (C)
i=1
n
(< , ai ])c =< , ai > (C)
[
Ii =< , bi > < ai , + > (C) Ii (C)
i=1
A (C) B(R) (C)
(C) = B(R)
Lema 3.1.3 Si Ea = {w / f (w) < a} F a R {w / f (w) a} a

R es medible.
Demostracion:
Sea a R cualquiera,{w / f (w) < a} F.
{w / f (w) < a + n1 } F n

\ 1
{w / f (w) < a + }F
n=1
n

\ 1
pero {w / f (w) < a +
} = {w / f (w) a} F
n=1
n
a R, {w / f (w) a} F
{w / f (w) a} es medible.
Lema 3.1.4 si {w / f (w) a} F {w / f (w) a} F.
Demostracion:
La prueba es directa.
{w / f (w) < a} = ({w / f (w) a})c F.
Lema 3.1.5 {w / f (w) > a} F a R {w / f (w) a} a R es

medible.
Demostracion:

\ 1
Sea a R cualquiera, y {w / f (w) a} = {w / f (w) > a }.
n=1
n
En efecto:

\ 1
i) {w / f (w) a} {w / f (w) > a }
n=1
n
Sea x0 {w / f (w) a} f (x0 ) a

1
f (x0 ) a > a , n
n
1
x0 {w / f (w) > a }, n
n

\ 1
x0 {w / f (w) > a }
n=1
n

\ 1
ii) {w / f (w) a} {w / f (w) > a }
n=1
n

\ 1 1
Sea x0 {w / f (w) > a } x0 {w / f (w) > a }, n
n=1
n n
1
f (x0 ) > a , n
n
tenemos que (a n1 ) es una sucesion creciente (a n1 ) a y como x0 es

fijo, f (x0 ) es una cota superior de la sucesion.
f (x0 ) a
Ahora:

1 \ 1
{w / f (w) > a } F, n {w / f (w) > a } F
n n=1
n
pero

\ 1
{w / f (w) > a } F = {w / f (w) a}
n=1
n
a R, {w / f (w) a} F
Teorema 3.1.3 Sea f : R, son equivalentes:
i) f es medible.
ii) {w / f (w) < a} F a R.
iii) {w / f (w) a} F a R.
iv) {w / f (w) > a} F a R.
v) {w / f (w) a} F a R
Demostracion:
Por los lemas 3.1.3, 3.1.4, 3.1.5.
i) ii) iii) iv) v) i).
Teorema 3.1.4 f es medible si y solo si f 1 (G) F G R abierto.
Demostracion:
) Si f es medible, entonces {x / f (x) < a} F a R.

Sea G R abierto cualquiera, entonces

[
G= Ik
k=1
Ik =< ak , bk > son intervalos abiertos

[
1
f (G) = f 1 (Ik )
k=1
Debemos probar que f 1 (Ik ) F, k.

Como
f 1 (Ik ) = {x / ak < f (x) < bk } = {x / ak < f (x)}{x / f (x) < bk }
donde
{x / ak < f (x)} F por el lema 3.1.4 y
{x / f (x) < bk } F por el lema 3.1.5

S
f 1 (Ik ) = {x / ak < f (x) < bk } F k=1 f 1 (Ik ) F.
f 1 (G) F, G R abierto.
) Probaremos que f es medible, es decir {x / f (x) < a} F a R.

Como Ga =< , a > R es abierto, entonces
{x / f (x) < a} = f 1 (Ga ) F a R, por tanto f es medible.
Teorema 3.1.5 Sea f : R, A R denso en R.
{w / f (w) < a} F a A f es medible.
Demostracion:
Debemos probar que Ea = {x / f (x) < b} F.
Sea b R, Ea = {x / f (x) < b} F.

Como A es denso en R, {ak }
k=1 A/ ak b de la forma ak b ak < b, k. Ek =
{x / f (x) < ak } F k y ademas:
Ek Ek+1 Eb
entonces {Ek } F, se cumple

[
Eb = Ek
i=1
en efecto:

[
Probaremos que Ek Eb
i=1

[
Sea x0 Ek x0 Ek para alg
un k
i=1
f (x0 ) < ak < b
f (x0 ) < b
x0 E b

[
Ahora probaremos que Eb Ek
i=1
Sea y0 Eb f (y0 ) < ak < b, como ak b, ak0 {ak }

k=1 / f (y0 ) < ak0 < b
f (x0 ) < ak0 y0 Ek0

[
y0 Ek
i=1

[ S
con lo cual Eb = Ek es valido, por hipotesis Ek F k Eb = i=1 Ek F.
i=1
Como b es arbitrario, Eb F b R.
3.2 Casi en Todas Partes 90
3.2. Casi en Todas Partes

Una propiedad, se dice que es valida casi en todas partes en un conjunto E, se
denota a.e, si ella es valida en E, salvo un conjunto de medida nula.
Teorema 3.2.1 Sea f, g : E Rn R funciones tal que f = g a.e. Si f es medible

entonces g es medible.
Demostracion:
Sea Z = {x E/ f (x) 6= g(x)}, (Z) = 0.
f es medible si y solo si Ba = {x E/ f (x) < a} F a R.
Debemos probar que Ca = {x E/ g(x) < a} F a R.
Sea a R sabemos que Ba F, Z F, pero se cumple
Ba Z = Ca Z F
Ca = Ca Z\(Z (Ca )c ), pero Z (Ca )c Z (Z (Ca )c ) = 0 entonces

Z (Ca )c F
Por lo cual Ca = Ca Z\(Z (Ca )c ) F y como a es arbitrario
Ca F a R g es medible.
Teorema 3.2.2 Sea f : E Rn R, : Rn R continua. Si f es medible

entonces of es medible.
Demostracion:
Sea G R un abierto arbitrario, debemos probar que (of )1 (G) F.
Pero (of )1 (G) = f 1 (1 (G)) y como 1 (G) R es abierto (pues es contin-
ua).
Por hipotesis f es medible, entonces por el teorema 3.1.4, f 1 (1 (G)) F y como
G es arbitrario
(of )1 (G) F G R abierto, es decir (of ) es medible.
Ejemplo 3.2.1 Sea f : E Rn R medible,
1. f (x) = sen(x) sen(f ) es medible.
2. f (x) = |x| |f | es medible.
3. f (x) = |x|p , p R+ |f |p es medible.
4. f (x) = ex ef es medible.
on 3.2.1 Sea f : E Rn R medible, son medibles

Proposici
f + = max{f, 0} y f = max{f, 0}.
Demostracion:
f es medible Ea = {x E/ f (x) < a} F a R.
Debemos probar que Ba = {x E/ f + (x) < a} = {x E/ max{f, 0} < a}
F a R.
en efecto:
i) si a 0,
Ba = {x E/ f + (x) < a} = {x E/ max{f, 0} < a} = F.
ii) si a > 0,
Ba = {x E/ 0 f (x) < a} {x E/ f (x) 0} F.
Ba F a R
De manera analoga para f = max{f, 0}.
Teorema 3.2.3 Sea f, g : E Rn R medibles {x E/ f (x) > g(x)} es

medible.
Demostracion:
f es medible Ea = {x E/ f (x) > a} F a R.
g es medible Ba = {x E/ g(x) < a} F a R.
Para cada x E, rx Q/ f (x) > rx > g(x), por la densidad de Q. Pero los
racionales son enumerables, entonces {rk }kZ+ Q es enumerable.
Se tiene Erk Brk = {x E/ f (x) > rk } {x E/ g(x) > rk } medibles k.
Sea H = {x E/ f (x) > g(x)}, probaremos que

[
H= (Erk Brk )
k=1
en efecto:
[
i) H (Erk Brk )
k=1
Sea x0 H f (x0 ) > g(x0 )
rk0 Q/ f (x0 ) > rk0 > g(x0 )
x0 Erk0 Brk0 para alg

un rk0

[
x0 (Erk Brk )
k=1

[
ii) (Erk Brk ) H
k=1
(Erk Brk ) ={x E/ f (x) > rk } {x E/ g(x) < rk }
={x E/ f (x) > rk > g(x)} H k

[
(Erk Brk ) H
k=1

[
Como Erk Brk es medible k H = (Erk Brk ) es medible.
k=1
Corolario 3.2.1 f, g medibles entonces,

1. {x E/ f (x) g(x)} es medible.
2. {x E/ f (x) = g(x)} es medible.
Demostracion:
1. Por el teorema 3.2.3, A = {x E/ f (x) > g(x)} F
Ac = {x E/ f (x) g(x)} F.
2. {x E/ f (x) = g(x)} = {x E/ f (x) g(x)} {x E/ f (x) g(x)}
entonces, {x E/ f (x) = g(x)} F.
Lema 3.2.1 f medible y R f + gmedible.
Demostracion:
Ea = {x E/ f (x) < a} es medible a R entonces,
Ba ={x E/ f (x) + < a}
={x E/ f (x) < a }
=Ea es medible
Lema 3.2.2 f es medible cf es medible.
Demostracion:
Ba = {x E/ cf (x) < a}.
Si c > 0 Ba = {x E/ f (x) < ac } es medible.
Si c < 0 Ba = {x E/ f (x) > ac } es medible.

, a 0 es medible
Si c = 0 Ba = {x E/ cf (x) < a} =
E, a > 0 es medible
Teorema 3.2.4 f, g : R funciones medibles f + g es medible.
Demostracion:
Ba = {x E/ f (x) + g(x) < a} = {x E/ f (x) < a g(x)} = {x E/ f (x) <
a + (1)g(x)}.
Por el lema 3.2.2 (1)g es medible y por el lema 3.2.1, (1)g + a es medible y por
el teorema 3.2.3
Ba = {x E/ f (x) < a + (1)g(x)} es medible.

Teorema 3.2.5 Sean f, g funciones medibles entonces f.g es medible.
Demostracion:
Notar que si a < 0, {x E/ f 2 (x) > a} y si a 0,

{x E/ f 2 (x) > a} = {x E/ f 2 (x) > a} {x E/ f (x) < a}
f 2 es medible
as por lo tanto
(f + g)2 (f g)2
f g = es medible.
4

Teorema 3.2.6 Sea {fk } una sucesion de funciones medibles definidas sobre E en-
tonces
a) h(x) = supk fk (x), es medible.
b) l(x) = nf k fk (x), es medible.
Demostracion:
a) Debemos probar que h es medible Ca = {x E/ h(x) a} es medible.

Sabemos que Bak = {x E/ fk (x) a} es medible, probaremos que Ca =
\
Bak
k=1
en efecto:

\
i) Probaremos que Ca Bak
k=1
Si x Ca h(x) a
fk (x) h(x) a k
x Bak k

\
x Bak
k=1

\
ii) Probaremos que Ca Bak .
k=1

\
Si x Bak x Bak k
k=1
fk (x) a k
sup{fk (x)} a k
Como Bak es medible k Ca es medible.
b) Sabiendo que nf k {fk (x)} = supk {fk (x)}

l(x) = supk {fk (x)} es medible.
Teorema 3.2.7 Sea {fk } una sucesion de funciones medibles entonces
lm fk y lm fk son medible.
k k
Demostracion:

i) lm fk = nf sup fk (x)
k n kn

Sea gn (x) = nf n supkn fk (x) para cada x E, por le teorema 3.2.6, gn es
medible n.
Nuevamente por el teorema 3.2.6, nf n {gn (x)} es medible
pero nf n {gn (x)} = lm fk
k
lm fk es medible.
k

ii) lm fk = sup nf fk (x)
k n kn

lm fk = sup nf fk (x)
k n kn

= nf sup fk (x)
n kn
= lm (fk )
k
3.3 Convergencia 96
y como fk son medibles,fk son medibles lm (fk ) es medible,

k
lm fk es medible.
k

on. Sea {fk } sucesion de dunciones medibles tal que lm fk = lm fk ,
Definici
k k
entonces decimos que la sucesion tiene limite y se escribe
lm fk = lm fk = lm fk = f
k k k
Corolario 3.2.2 Sea {fk } sucesion de dunciones medibles tal que fk (x) f (x), k
entonces f es medible.
Demostracion:
Como lm fk = f , y por la definicion anterior,
k
lm fk = lm fk = lm fk
k k k
Por el teorema 3.2.7, f es medible.
3.3. Convergencia
on. Sea (, F) espacio medible, E F, fk , f : E R funciones
Definici
medibles.
1. Convergencia Puntual:
fn f > 0, x E, N (x, ) Z+ / si n N |fn (x) f (x)| <
2. Convergencia Uniforme:
u
f > 0, N () Z+ / si n N |fn (x) f (x)| < , x E
fn
3. Convergencia en Casi todas partes o a.e:

a.e
fn f ({x E/ fn 9 f }) = 0
3.3 Convergencia 97
4. Convergencia Casi Uniforme:

a.u
fn f > 0, H E/ (E\H) < y fn f uniformemente en H
5. Convergencia en Medida:
m
fn
f > 0, lm ({x E/ |fn f | }) = 0
n
Observaci
on 8
1. En la definicion de Convergencia en Medida.

Sea An = {x E/|fn (x) f (x)| }
lm (An ) = 0 > 0, N ()/ si n N () (An ) < .
n
Por tanto la definicion de Convergencia en Medida se puede escribir como:
> 0, > 0 N ()/ si n N () ({x E/|fn (x) f (x)| }) < .
2. En la definicion de Convergencia en Casi todas partes o a.e, podemos escribir:
({x E/ N, (N, x)/|fn (x) f (x)| }) = 0.
Propiedades de la convergencia en Medida
Teorema 3.3.1 Sea fn , gn : E R, f, g : E R,
m m
1. fn
f y fn
g f = g a.e.
m m m
2. fn
f y gn
g fn + gn
f + g.
m m m
3. fn
f y gn
g f n gn
f g si (E) < .
m m
4. fn
f y g medible fn g
f g si (E) < .
Demostracion:
Sea fn , gn : E R, f, g : E R,
3. Debemos probar que
> 0, lm ({x E/ |(fn .gn )(x) (f.g)(x)| }) = 0

n
3.3 Convergencia 98
Sabemos que:
|(fn .gn )(x) (f.g)(x)| = |fn (x).gn (x) f (x).gn (x) + f (x).gn (x) f (x).g(x)|
= |(fn (x) f (x))gn (x) + f (x)(gn (x) g(x))|
|fn (x) f (x)||gn (x)| + |f (x)||gn (x) g(x|

Si suponemos que:|fn (x) f (x)||gn (x)| < 2
y |f (x)||gn (x) g(x)| < 2
entonces |(fn .gn )(x) (f.g)(x)| < .

Sean

A ={x E/ |fn (x) f (x)||gn (x)| < }
2

B ={x E/ |f (x)||gn (x) g(x)| < }
2
C ={x E/ |(fn .gn )(x) (f.g)(x)| < }
Se cumple que: A B C Ac B c C c ,

{x E/ |(fn .gn )(x) (f.g)(x)| } {x E/ |fn (x) f (x)||gn (x)| }
2

{x E/ |f (x)||gn (x) g(x)| }
2
Aplicando medida
(C c ) (Ac ) + (B c ) ()
pero, existe Mn , M1 tal que |gn (x)f Mn , |f (x)| < M1 x E\Z donde
(Z) = 0.
Entonces

({x E/ |fn (x) f (x)||gn (x)| }) ({x E/ |fn (x) f (x)| })
2 2Mn

({x E/ |gn (x) g(x)||f (x)| }) ({x E/ |gn (x) g(x)| })
2 2M1
reemplazando las ecuaciones anteriores en (),

0 ({x E/ |(fn .gn )(x) (f.g)(x)| }) ({x E/ |fn (x) f (x)| })
2Mn

+ ({x E/ |gn (x) g(x)| })
2M1
3.3 Convergencia 99
tomando lmite cuando n
lm ({x E/ |(fn .gn )(x) (f.g)(x)| }) = 0

n
4. Sabemos que:
|fn (x).g(x) f (x).g(x)| = |fn (x) f (x)||g(x)|
entonces
{x E/ |fn (x).g(x) f (x).g(x)| } = {x E/ |fn (x) f (x)||g(x)| }
({x E/ |fn (x).g(x)f (x).g(x)| }) = ({x E/ |fn (x)f (x)||g(x)| })
Puesto que g es medible sobre E y (E) < g es acotada, existe M >

0/ |g(x)| < M x E\N, (N ) = 0
0 ({x E/ |fn (x).g(x) f (x).g(x)| })
=({x E/ |fn (x) f (x)||g(x)| })
({x E/ |fn (x) f (x)|M })

=({x E/ |fn (x) f (x)|| })
M
Tomando limite,n
lm ({x E/ |(fn .g)(x) (f.g)(x)| }) = 0

n
Proposici
on 3.3.1
u
1. fn
f fn f .
a.e
2. fn f fn f .
u a.u
3. fn
f fn f .
a.u a.e
on 3.3.2 fn f fn f .
Proposici
3.3 Convergencia 100
Demostracion:
Se tiene que
a.u 1 1 u
fn f = 2k
, Hk F, Hk E/ (E\Hk ) < 2k
y fn
f sobre Hk .
Sea Zk = E\Hk .

f (z) f (z)
n
Si z Zk donde Zk =
f (z) 9 f (z)
n
Debemos probar que: A = {x E/ fn (x) 9 f (x)} (A) = 0

[
Sea Bk = Zi , k = 1, 2,
i=k
y se cumple que B1 B2 Bk Bk+1
Z = lm Zk = lm Bk F
k k

!
[ X X 1 1
y como (Bk ) = Zi (Zi ) < i
= k
i=k i=k i=k
2 2
1
(Z) = lm (Bk ) lm =0
k k 2k
Finalmente,
Si x A fn (x) 9 f (x) entonces x Zk para infinitos k x Z.
As A Z (A) (Z) = 0
(A) = 0
Teorema 3.3.2 (Teorema de Egoroff ) Sea (, F, ) espacio de medida, E F

a.e a.u
y fn , f : E R funciones medibles tal que (E) < , si fn f fn f .
Demostracion:
a.e
fn f ({x E/ fn 9 f }) = 0.
Entonces E = {x E/ fn f } {x E/ fn 9 f }. Trabajaremos con S.
| {z } | {z }
S Z
Utilizando la definicion de convergencia puntual:
Para = k1 , x S, N (, x) Z+ / si n N |fn (x) f (x)| < k1 .
Para cada k y cada n, -
1
Ak,n = {x S/ |fn (x) f (x)| < }
k
donde Ak,n noson todos vacios, por la definicion de convergencia puntual en S.

Sea para cada n0

\
Hk,n0 = Ak,n , n0 = 1, 2,
n>n0
se cumple
Hk,n0 Hk,n0 +1
entonces
lm Hk,n0 = S
no
enfecto:
Sea x S, como k es fijo, = k1 , N (, x) Z+ / si n N |fn (x) f (x)| < 1
k
x Hk,n lmno Hk,n0 .

As tenemos Hk,1 Hk,n0 Hk,n0 +1 S
Sea k2 > k1 > k, se construye
Hk1 ,1 Hk1 ,n0 Hk1 ,n0 +1 S
Hk2 ,1 Hk2 ,n0 Hk2 ,n0 +1 S
se observa qye Hk2 ,n0 Hk1 ,n0 Hk,n0 , entonces
(H1,1 ) (H1,n0 ) (H1,n0 +1 ) (S)

..
.
(Hk,1 ) (Hk,n0 ) (Hk,n0 +1 ) (S)
(Hk+1,1 ) (Hk+1,n0 ) (Hk+1,n0 +1 ) (S)

..
.
como queremos convergencia uniforme, debemos independizarnos de los k y como

lm Hk,n0 = S k, entonces lm (Hk,n0 ) = (S) < k.
no no

Sea > 0 no (k)/ (S) (Hk,no (k) ) < 2k
.

\
Sea H1 = Hk,no (k)
k=1
se cumple, para 1 > 0 dado, x H1 x Hk,no (k) , k
1
|fn (x) fn | < k
n > no (k) k.
1
En particular k/ k
< 1 y por tanto n0 = n0 (k),
|fn (x) fn | < 1 n > no
u
como x H1 es arbitrario fn
f en H1 .
Ahora
(S\H1 ) = (S (H1 )c )

!
[
= (S (Hk,no (k) )c
k=1

X X 1
(S\Hk,no (k) ) =
k=1 k=1
2k
Sea H = H1 Z, con > 0 dado,
(E\H) = (E (H1 )c Z c )
= (E Z c (H1 )c )
= (S (H1 )c ) = (S\H1 ) <
(E\H) < .
Teorema 3.3.3 (Teorema de Lebesgue) Sea (, F, ) espacio de medida,E

a.e m
F, (E) < . si fn f fn
f.
Demostracion:
Por hipotesis tenemos:
a.e
fn f ({x E/ fn (x) 9 f (x)}) = 0.
Sea A = {x E/ fn (x) 9 f (x)} (A) = 0

Sea > 0, tenemos la sucesion
Bn = {x E/ |fn (x) f (x)| } F n
y concideremos

[
Ck = Bn F
n=k
se cumple que
E C1 C2 Ck

a) Ck C puesto que (C1 ) < (E) <
b) (Ck ) (C) entonces lm (Ck ) = (C)

k
Ahora probaremos que C A Ac C c
Sea x Ac x
/ A fn (x) f (x)
para > 0, k0 (, x) N/ n k0 |fn (x) f (x)| <
x
/ Bn n n0

[
x
/ Bn = Ck0
n=k0
\
x
/ Ck = C
k=1
x Cc
0 (C) (A) = 0 (C) = 0

Puesto que
Bn Ck k, n con k n
se tiene
0 (Bn ) (Ck )
Si k n
0 lm (Bn ) lm (Ck ) = (C) = 0

n k
y como es arbitrario
lm ({x E/ |fn (x) f (x)| }) = 0

n
m
fn
f
Teorema 3.3.4 (Teorema de Riez) Sea (, F, ) espacio de medida,E F. si

m a.e
f {fnk }
fn k=1 {fn }/ fnk f .
Demostracion:
Por hipotesis tenemos:
a.e
fn f = 1j , Nj Z+ /si n > Nj ({x E/ |fn (x) f (x)| 1j }) < 1
2j
Para cada j, Aj = {x E/ |fNj (x) f (x)| 1j }, j = 1, 2

[
Sea Hm = Aj
jm
se cumple que Hm Hm+1 , m
luego !
[ X X 1 1
(Hm ) = Aj Aj < =
jm jm jm
2j 2m1
observemos que
1
x E\Aj |fNj (x) f (x)| <
j
ademas
1
x E\Hm |fNj (x) f (x)| < , j > m
j

\
Sea Z = Hm = lm Hm = lim Aj , Z es medible pues los Hm son medibles
m j
m=1
entonces
1
0 (Z) = lm (Hm ) lm =0
m m 2m1
Finalmente
x Z x Aj para al menos infinitos j

1
|fNj (x) f (x)| para infinitos j
j
es decir,
1 1
= siempre existe Nj /|fNj (x) f (x)| fNj (x) 9 f (x)
j j
x {x E/ fNj (x) 9 f (x)}
Entonces
Z = {x E/ fNj (x) 9 f (x)}
la sucesion {fNj } {fn } satisface
a.e
fNj f

on. Una funcion f : E R se llama simple si y solo si Ran f =
Definici
{a1 , a2 , , an } es un conjunto finito.
on 9 Si f es una funcion simple con Ran f = {a1 , a2 , , an }, Ai =

Observaci
f 1 (ai ), n = 1, 2, , n.
Se cumple
n
X
f= ai A i
i=1
donde se tiene que: f es medible si y solo si Ai son medibles.
A : E R

1 si x A
x 7 A (x) =
0 si x
/A
Lema 3.3.1 A es medible si y solo si A es medible.
Demostracion:
Probaremos que:
) A es medible entonces A es medible.

A es medible a R, Ea = {x E/ A (x) < a} F.
Ea F a R (Ea )c F a R.
En particular si a = 1
(Ea )c {x E/ A (x) 1} = A F
) A es medible entonces A es medible.
a) a 0
Ea = {x E/ A < a} = F
b) 0 < a < 1
Ea = {x E/ A < a} = E\A F
c) a > 1
Ea = {x E/ A < a} = E F
Teorema 3.3.5 Sea f : E R una funcion medible no negativa {n } una

sucesion de funciones simples tal que
1. n n+1
2. n f
u
3. Si f es acotada entonces fn
f
Teorema 3.3.6 (Teorema de Lusin) Sea E L (Rn ) y suponer que fE R es

medible y de valor finito a.e. Entonces dado > 0 existe F E conjunto cerrado
tal que (E\F ) < y F es continua en F .
Demostracion:
Considerando los siguientes casos:
1. Suponer que f es simple Ei son medibles.
m
X
f (x) = ai Ei (x)
i=1
donde:
Ei es la funcion indicatriz,
m
[
ai R y {Ei }m
i=1 son conjuntos medibles tal que Ei Ej = y Ei = E,
i=1
ademas ai 6= aj i 6= j.
Puesto que Ei L , dado > 0 existe Fi Ei cerrado tal que (Ei \Fi ) <
m
.
[m
Sea F = Fi es cerrado, y se cumple
i=1
m
[ m
[
Fi Ei F = Fi Ei = E
i=1 i=1
Ahora
m
[ m
[
E\F = Ei \F = Ei F c
i=1 i=1
[m
= (Ei F c )
i=1
Pero Fi F (Fi )c F c
Ei (Fi )c Ei F c
m
[ m
[
E\F = Ei F Ei Fi
i=1 i=1
Por la subaditividad
m
!
[
(E\F ) Ei \Fi
i=1
m m
X X
(Ei \Fi ) < =
i=1 i=1
m
(E\F ) <
Ahora,verificaremos que f es continua sobre F
x F1 f (x) = a1
x F2 f (x) = a2
..
.
x Fn f (x) = an
F es constante sobre F es continua.
2. Suponer que f es medible, (E) < existe una sucesion de funciones

simples {fk }
k=1 tal que fk f puntualmente.
Como fk es simple por lo anterior, > 0 existe un conjunto cerrado Fk E

tal que (E\Fk ) < 2k+1
y F es continua sobre F .
Como E L F0 E cerrado tal que (E\F0 ) <
2

\
F = Fk (es cerrado)
k=0
se cumple que F Fk E.

\
E\F = E\ Fk
k=0
[
=E (Fk )c
k=0

[
[
c
= E (Fk ) = E\Fk
k=0 k=0

!
[
(E\F ) = E\Fk
k=0

X X
= (E\Fk ) < k+1
=
k=0 k=0
2

\
y como F = Fk es cerrado, fk es continua sobre Fk k 0.
k=0
Pero por el teorema de Egoroff, dado > 0, (E) < , f medible y fk
u
f y F E medible fk
f sobre F, fk es continua sobre F.
u
fk |F
f |F f |F es continua.

Captulo 4
Integraci
on
4.1. Integral de una funci

on
on. Sea (, F, ) espacio de medida. Sea E F y sea {Ei }N
Definici i=1 F una
particion finita de E f : E R una funcion medible no-negativa. Definimos la

integral de f sobre E por
Z ( N )
X
f d = sup nf f (x) (Ei )
xEi
E i=1
donde el supremo se toma sobre todas las particones de E.

Ejemplo: Sea = {a, b, c}, F = {, , {a}, {b, c}}
1 2
() = 0, () = 1, ({a}) = , ({b, c}) =
3 3
f : E R

1, x = a

x 7 f (x) = 2, x = b

3, x = c

Particiones de
1
X
1 = {} : nf f (x) 1.() = 1

i=1
4.1 Integral de una funci
on 111
2
X 1 2 5
2 = {{a}, {b, c}} : {nf f (x)}(Ei ) = 1. + 2. =
i=1
Ei 3 3 3
Entonces
Z
5 5
f (x)d = sup 1, =
1,2 3 3
Nota: Se puede definir integral a

un para funciones no medibles.
on: Usamos la convencion 0 = 0 tal que si (A) = 0, f (x) =
Observaci
en A se puede decir que Z
f d = 0
A
Propiedades:
Z Z
Teorema 4.1.1 cf d = c f d, c > 0
E E
Demostracion:
Z ( N ) ( N )
X X
cf d = sup nf cf (x) (Ei ) = sup c nf f (x) (Ei )
xEi xEi
E i=1 i=1
( N )
X
= c sup nf f (x) (Ei )
xEi
i=1
Z
= c f d
E
Corolario 4.1.1 Z
d = (E)
E
Demostracion:
Z ( N ) ( N )
X X
d = sup nf 1 (Ei ) = sup (Ei ) = sup{(E)} = (E)
Ei
E i=1 i=1
on 112
Teorema 4.1.2 Sea A F, A E,

Z
A d = (A)
E
Demostracion:
Una particion de E es {A : E\A = Ac }
i) Z
A d nf A (x)(A) + nfc A (x)(Ac ) 1(A) + 0(Ac ) = (A)
A A
E
Por otro lado

ii) Sea {Ei }N
i=1 partici
on de E
Ei1 = Ei A, i = 1, . . . N , particion de A
Ei2 = Ei Ac , i = 1, . . . N , particion de Ac
se tiene Ei = Ei1 Ei2
Como Ei1 Ei , Ei2 Ei nf {A (x)} Ei1 , nf {A (x)} Ei2 i
Ei Ei
N
X N
X
nf A (x) (Ei ) = nf A (x) (Ei1 Ei2 )
Ei Ei
i=1 i=1
XN N
X
1
= nf A (x) (Ei ) + nf A (x) (Ei2 )
Ei Ei
i=1 i=1
XN XN
nf1 A (x) (Ei1 ) + nf2 A (x) (Ei2 )
Ei Ei
i=1 i=1
XN N
X
= (Ei1 ) + 0.(Ei2 )
i=1 i=1
= (A)
Entonces
N
X Z
nf A (x) (Ei ) = (A) A d = (A)
Ei
i=1 E

on 113
Teorema 4.1.3 Sea una funcion simple medible no negativa con valores {a1 , . . . , aN }
N
[
1
sobre los conjuntos disjuntos Ei = (ai ). Sea ademas E = Ei . Entonces
i=1
Z N
X
d = ai (Ei )
E i=1
Demostracion:
N
X
Sabemos que se puede escribir como (x) = ai Ei (x), como {Ei } es una
i=1
particion de E, entonces
Z N
X N
X
d nf {(x)}(Ei ) = ai (Ei )
xEi
E i=1 i=1
Sea {Aj } una particion finita cualquiera de E.
[
Sea Aij = Aj Ei no vacos tal que Aj = Aij finitos y disjuntos
i
wj = nf (x) nf (x) = ai
xAj xAj
X X X X
nf {(x)}(Aj ) = nf {(x)}(Aij ) = wj (Aij )
xAj xAj
j j j i
XX XX
= wj (Aij ) ai (Aij )
j i j i
X X X
= ai (Aij ) = ai (Ei )
i j i
on 114
El lado derecho es una cota superior del lado izquierdo para cualquier particion en
particular el supremo Z X
= d ai (Ei )
E i
Teorema 4.1.4 f g en E
Z Z
= f d gd
E E
Demostracion:
Sea {Ei } F particion de E
N
X N
X
nf {f (x)}(Ei ) nf{g(x)}(Ei )
xEi
i=1 i=1
tomamos supremos sobre todas las particiones

Z nX o nX o Z
f d = sup nf{f (x)}(Ei ) sup nf{g(x)}(Ei ) = gd
E E
Teorema 4.1.5 Sea (, F, ) espacio de medida y f : R medible, no negati-

va. Para E F defina una funcion
: F R
Z
E 7 (E) = f d
E
Demostrar que es una medida sobre (, F).
1. (E) , E F puesto que

( Nf 0 )
Z X
= (E) = f d = sup nf {f (x)}(Ei ) 0.
xEi
E i=1
2. Sea {Ei }
i=1 F disjuntos dos a dos. Debemos probar que

! Z Z
[ X X
Ei = (Ei ) f d = f d
i=1 S i=1 E
i=1 Ei i
on 115
En efecto:

[
Sea E = Ei y sea {Aj }N
j=1 una partici
on de E.
i=1
Luego Aj Ei = Aij , j = 1, . . . , N es una particion de Ei .
Sobre cada Ei
N
X Z
nf {f (x)}(Aj Ei ) f d i = 1, 2, . . .
xAj Ei
j=1 Ei
sumando sobre i
Z N
!
X X X
f d nf {f (x)}(Aj Ei )
xAj Ei
i=1 E i=1 j=1
i

N X
X
= nf {f (x)}(Aj Ei )
xAj Ei
j=1 i=1

N X
X
nf {f (x)}(Aj Ei )
xAj
j=1 i=1

N
!
X [
= nf {f (x)} Aj Ei
xAj
j=1 i=1
N
X
= nf {f (x)}(Aj )
xAj
j=1
Z
X N
X
[
f d nf {f (x)}(Aj ) particion {Aj } de E = Ei
xAj
j=1 E j=1 i=1
i
el lado izquierdo es cota superior del lado derecho, en particular es mayor que su
supremo
Z
X Z
f d f d
j=1 E S
i i=1 Ei
La otra desigualdad.
Para este caso utilizaremos la caracterizacion del supremo:

a x x A
a = sup(A) =
> 0 x A/ a < x
on 116
Dado > 0 una particion de Ei , {Aij }N

j=1 /
i
Ni Z
X
nf {f (x)}(Aij ) > f d i = 1, 2, . . .
j=1
xAij 2i
Ei
m
[
i m
Observe que si {Aij }nj=1 i=1
es una particion de Ei , por ser los Ei disjuntos.
i=1
Sumando los primeros m conjuntos
m Ni
! m Z m
X X X X 1
nf{f (x)}(Aij ) > f d i
m
i=1 j=1 i=1 E i=1
2
i
m
(N ) m Z m
Z Z i
X X X X 1
f d f d nf {f (x)}(Aij ) > f d
S Sm i=1 j=1
xAij
i=1 E i=1
2i
i=1 Ei i=1 Ei i
Z m Z m
X X 1
f d > f d i
m
S i=1 E i=1
2
i=1 Ei i
Si m , se cumple que
Z Z
X
f d > f d
S i=1 E
i=1 Ei i
y como es arbitrario, 0
Z Z
X
f d f d
S i=1 E
i=1 Ei i
Z
Z !
X [ X
f d = f d Ei = (Ei )
S i=1 E i=1 i=1
i=1 Ei i
Lema 4.1.1 Si A B, entonces

Z Z
f d f d
A B
on 117
Demostracion:
Sea {Ei }N on de A y {Hl }m
i=1 una partici l=1 una partici
on de B\A
entonces {Ei }N m
i=1 {Hl }l=1 es una partici
on de B
N
X N
X m
X
nf{f (x)}(Ei ) nf{f (x)}(Ei ) + nf {f (x)}(Hl )
xHl
i=1 i=1 l=1
El lado derecho es acotado por el supremo de todas las particiones de B. Por tanto
se cumple
N
X Z
nf {f (x)}(Ei ) f d
xEi
i=1 B
El lado derecho es cota superior del lado izquierdo para toda particion de A.
Z Z
= f d f d
A B

on: Dado (, F, ) espacio de medida y f : R existe otra medida
Observaci
tal que (, F, ) es espacio de medida ademas se cumple que
Si (E) = 0 = (E) = 0
Nota: El teorema anterior genera otro espacio de medida (, F, ) que se rela-

ciona con (, F, ), y la funcion f no negativa.
El problema de que dado dos medidas sobre (, F) bajo que condiciones podemos
hallar una funcion f que los relaciona como en el teorema.
Rpta: El teorma de Radom-Nikodym.
Teorema 4.1.6 Si f = g a.e. sobre un conjunto medible E (E F), f,g no negati-

vas Z Z
= f d = gd
E E
Demostracion:
Sea Z = {x E/f (x) 6= g(x)}, sabemos que (Z) = 0.
on 118
E = Z (E\Z) reunion disjunta, entonces se tiene

Z Z Z Z Z Z
f d = f d = f d + f d = 0 + f d = f d
E Z(E\Z) Z E\Z E\Z E\Z
Sabemos que sobre E\Z, f (x) = g(x)

Z Z Z Z Z Z
f d = f d = f d = gdz = gdz = gdz
E E\ZZ E\Z E\Z E\ZZ E

Ejemplo: Sea E = [0, 1].Usando la medida de Lebesgue
1, x Q [0, 1]

f (x) = 0, g(x) =
0, x I [0, 1]

z = {x [0, 1]/f (x) 6= (x)} = Q [0, 1]

|z| = |Q [0, 1]| |Q| = 0
Por tanto
Z f = g a.e.
Z
0= f (x)dx = g(x)dx (Integral de Lebesgue deg)
[0,1] [0,1]
Sin embargo g segun Riemman no es integrable.
Z
Ejercicios 4.1 1. Si (E) = 0, entonces f d = 0
E
Z Z Z
2. Si f, g no negativas, entonces (f + g)d = f d + gd.
E E E
Z
Teorema 4.1.7 Si f d < , f no negativa = f < a.e.
E
Demostracion:
Z Z
f d < M tal que f d < M particion
E E
Si Z = {x E/f (x) = } debemos probar que (Z) = 0.
Supongamos que (Z) > 0
Z Z Z
E = Z E\Z = f d = f d + f d = () a la hipotesis
E E\Z
|Z {z }
=
on 119
(Z) = 0

Z
Teorema 4.1.8 f d = 0 f = 0 a.e., f no negativa.
E
Demostracion:
Z
] f d = 0
E [
Sea > 0, B {x E/f (x) > } {x E/f (x) 6= 0} = Z, Z = B

B (x) f (x)B (x) f (x), x E
B f B f
Por tanto Z Z Z
B d f B d f d
E E E
Z Z Z Z
B d f B d + f B d f d
E B E\B E
| {z }
=0
Z Z
(B ) f d f d
B E
Z
(B ) f d = 0 = (B ) = 0
E

[
X
Pero Z = B1/k = (Z) (B1/k ) = 0
k=1 k=1
f =0 a.e.
[ Es el teorema 4.1.6

on 120
Corolario 4.1.2 (Desigualdad de Chebychev) f no negativa definida en E me-

dible, entonces Z
1
{x E/f (x) > M } f d
M
E
Demostracion:
E L , f 0 medible.
1 si x A
Sea M 0 entonces, puesto que A (x) =
0 si x
/A
Tenemos: 0 < M {xE/ f (x)>M } (x) f (x) x E.
As Z
M {xE/ f (x)>M } (x)d E f d
E
Z
M 1d E f d
{xE/ f (x)>M }
M ({x E/ f (x) > M }) E f d
Como M > 0 Z
1
{x E/f (x) > M } f d
M
E
Corolario 4.1.3 Sea f : E R no negativa y n una sucesion de funciones

simples tal que n % f . Entonces
Z Z
lm n d = f d
n
E E
Ejercicios 4.2

1 , x Q [0, 1]
Z
1. f (x) = , calcular f dm, E = [0, 1].
0 , x I [0, 1]

E
Z
1
2. dm.
x
[1,1]
on 121
Z
1
3. dm.
x2
[1,1]
Z
4. xdH .
[0,1]
Z
5. dm
[0,1]

1 , xC Q

donde: f (x) = 2 , x C I

3 , x [0, 1]\C

x2 , xC Q

6. h(x) = x , xC I

3 , x
/C

Dq: = h a.e. (en 4)
Teorema 4.1.9 Sea f, g : E R, E F funciones simples no negativas

Z Z Z
Rightarrow (f + g)d = f d + gd
E E E
Demostracion:
on 122
Z Z Z
a) (f + g)d f d + gd
E E E
Sea la particion enumerable.Sea > 0
0 < 1 + < (1 + )2 < . . . < (1 + )n < . . .
A0 = f 1 (0) = {x E/f (x) = 0}

A1 = f 1 ((0, 1 + ]) = {x E/0 < f (x) 1 + }
.. .. ..
. . .
An = f 1 (((1 + )n1 , (1 + )n ]) = {x E/(1 + )n1 < f (x) (1 + )n }
sup f (x) (1 + )n nf f (x) (1 + )n1
xAn xAn
Observe
(1 + ) nf f (x) (1 + )n sup f (x) n
xAn xAn
De igual manera sea Bm una particion enumerable de E tal que
sup g(x) (1 + ) nf g(x)

xBm xBm
Sea la particion {Ek } de E formada por las intersecciones An Bm . Como

es una medida cumple
Z [ X XZ
(f + g)d = (E) = ( Ek ) = (Ek ) = (f + g)d
E k k k E
k
XZ X
sup(f + g)d = sup (f (x) + g(x))(Ek )
xEk
k E k
k
X
(sup f (x) + sup g(x))(Ek )
k
X X
sup f (x)(Ek ) + sup g(x)(Ek )
xEk xEk
k k
X X
sup f (x)(An ) + sup g(x)(Bm )
n An m Bm
!
X X
(1 + ) nf f (x)(An ) + nf g(x)(Bm )
An
n m
Z X X
(f + g)d (1 + ) {nf f (x)}(An) + (1 + ) {nf g(x)}(Bm )
An Bm
E n m
Z Z
(1 + ) f d + (1 + ) gd
E E
on 123
Como 0 Z Z Z
(f + g)d f d + gd
E E E
Z Z Z
b) (f + g)d f d + gd
E E E
Dado > 0 una particion {An } de E tal que
Z X
f d < { nf f (x)}(An ) +
xAn
E n
tambien existe una particion {Bm } de E tal que

Z X
gd < { nf f (x)}(Bm ) +
zBm
E m
Sea {ck } la particion generada por las intersecciones de An y Bm ,
ck = An Bm An
Bm
Se cumple
Z X
(f + g)d {nf (f + g)(x)}(ck )
xck
E k
X X
{nf f (x)}(ck ) + {nf g(x)}(ck )
xck xck
k k
X X
{ nf f (x)}(An ) + { nf g(x)}(Bm )
xAn xBm
Zn Z m
> f d + gd
E E
Si 0, Z Z Z
(f + g)d f d + gd
E E E

on. [Convergencia Puntual] Sea {fn } una sucesion de funciones no negati-
Definici
vas, definidas sobre un conjunto medible E, decimos que fn converge puntualmente
a f si y solo si para cada x E, > 0 N0 (, x)/ si n > N0 entonces
|fn (x) f (x)| < , si fn (x) f (x) para cada x E o fn f

on 124
on. [Convergencia casi en todas partes o a.e.] Sea (, F, ) un espacio de

Definici
medida, E F y fn : E R una sucesion de funciones medibles. Decimos que
fn converge a f casi en todas partes si y solo si ({x E/fn (x) 6 f (x)}) = 0
y lo denotamos
a.e
fn f o fn f a.e
a.e.
on: fn f si y solo si N0 (N0 ) tal que ({x E/|fn (x)
Observaci
f (x)| n > N0 }) = 0
otona de Lebesgue) Sea {fn } una suce-

Teorema 4.1.10 (Convergencia Mon
sion de funciones definidas en un conjunto medible E tal que 0 fn % f a.e. (i.e
fi fj a.e. para i j) Z Z
lm fn d = f d
n
E E
Demostracion: Z Z
Sabiendo que si f = g a.e. = f d = gd
E E
retirando todos los puntos x/fn (x) 6 f (x) se puede considerar que fn f en todas
partes.
Como fn % f
fm fn f m < n
Z Z Z
fm < fn d f d n
E E E
Z Z
lm fn d f d
n
E E
Veamos la otra desigualdad Z Z
Es suficiente probar que lim fn d f d
n
E E
a) Suponer que f < + a.e.

Retirando los puntos donde f = , podemos suponer f acotada (f < ).
Dado > 0.
on 125
Sea En = {x E/f (x) < fn (x) + f (x)}
E1 E2 . . . En % E
(En ) % (E) ( medida)

Z Z
En particular si (A) = f d y (A) = fm d
A A
Z Z Z Z
f d % f d y fm d % fm d
En E En E
Pero Z Z Z
f d < fn d + f d
En En En
Z Z
(1 ) f d < fn d
En En
Si n
Z Z
(1 ) f d < fn d
E E
Z Z
(1 ) f d lim fn d
n
E E
Z Z
f d lim fn d
n
E E
Por la primera parte

Z Z Z Z
lim fn d lm fn d f d lim fn d
n n n
E E E E
on 126
F
z }| {
b) Suponer que {x/f (x) = } > 0, sea M > 0.
Sea Fn = {x E/fn (x) > M }
Fn Fn+1 . . . E
Z Z
fn d fn d M (Fn )
E Fn
(Fn ) (E)
Ademas Z Z
fn d fn d > M (Fn )
E Fn
Z
lim fn d M lm (Fn ) = M (E)
n n
E
Como M es arbitrario
Z Z
= lim fn d = = lim fn d
n n
E E
Por otro lado Z Z Z

f d = f d + f d =
E E\F
|F {z }
=
Z Z
lm fn d = = f d
n
E E
on 127
Corolario 4.1.4 Si fk 0 a.e., entonces

X Z
Z X
fk d = fk d
k=1 E E k=1
Demostracion:
Sabemos que, si k = 2
Z Z Z
(f1 + f2 )d = f1 d f2 d
E E E
entonces para k > 2

n Z
X n
Z X
fk d = fk d
k=1 E E k=1
lo cual se prueba por induccion.

La sucesion { nk=1 fk }n1 es monotona creciente y
P
(f1 + f2 + + fn ) (f1 + f2 + + fn+1 )
ya que fn+1 > 0 y

n
X
X
lm fk = fk
n
k=1 k=1
Entonces por el T.C.M tenemos

Z X n
Z X
fk d = lm fk d
n
E k=1 E k=1
Xn Z
= lm fk d
n
k=1 E
Z
X
= fk d
k=1 E
Corolario 4.1.5 Dado f 0 sobre E, n % f de funciones simples, tal que

Z Z
lm n d = f d
n
E E
on 128
ontona de Lebesgue) Sea (, F, ) es-

Teorema 4.1.11 (Convergencia Mon
pacio de medida, {fn } una sucesion de funciones medibles no negativas definidas
sobre un conjunto E F, tal que fn % f a.e., f medible definida en E. Entonces
Z Z
lm fn d = lm fn d
n n
E E
Z
Corolario 4.1.6 Sea 0 fn & f a.e. y f d < entonces
E
Z Z
lm fn d = lm fn d
n n
E E
Demostracion:
Supongamos que f1 fn n, entonces f1 fn es una sucesion monotona creciente
y ademas 0 f1 fn % f1 f a.e.
Por el teorema 4.1.11
Z Z
lm (f1 fn )d = (f1 f )d
n
E E
Z Z Z Z
f1 d lm fn d = f1 d f d
n
E E E E
Z
Eliminando f1 d se obtiene
E
Z Z Z Z
lm fn d = f d lm fn d = f d
n n
E E E E

Debemos buscar condiciones para tener el mismo resultado de T.C.M.L.
Z Z
lm fn d = lm fn d
n n
E E
cuando {fn } no es necesariamente monotona.

Por tanto debe depender de la forma o que fn f . Veamos el caso cuando la
convergencia es a.e.
on 129
Teorema 4.1.12 (Lema de Fatou) Sea (, F, ) espacio

medida de
a.e.
fn , f : E R, funciones medibles no negativas sobre E F tal que fn f .
Entonces
si Z Z
fn d A n = 1, 2 . . . = f d A
E E
Demostracion:
Sea gn (x) = nf {fm (x)} es una funcion medible.
mn
Se cumple 0 gn (x) gn+1 (x). Ademas gn f a.e.
En efecto:
Sea
A = {x E/gn (x) 6 f }
= {x E/ nf {fm (x)} 6 f (x)} {x E/fn (x) 6 f } = E

mn
Por hipotesis (E) = 0 = (A) = 0 gn f a.e

Por el teorema 4.1.11 Z Z
lm gn d = f d
n
E E
Pero gn (x) = nf {fm (x)} fn (x) entonces

mn
Z Z
gn (x)d fn (x)d n
E E
Por tanto Z Z
f d = lm gn d A
n
E E

Observaci
on: Existe otra forma de presentar el lema de Fatou.
Corolario 4.1.7 Sea fn 0 una sucesion de funciones medibles definidas sobre un

conjunto medible E. Entonces
Z Z
lim fn d lim fn d
n n
E E
on 130
Demostraci
Zon:
Sea A = lim fn d.
n
E
Por otro lado sea gn (x) = nf {fm (x)} una sucesion de funciones medibles sobre E
mn
y ademas 0 gn (x) gn+1 (x).
Esta sucesion tiene lmite sup{gn (x)} = sup{ nf {fm (x)}} = lim fn (x).
n n mn n
Se tiene
lm gn (x) = lim fn (x)
n n
ya que gn converge a A(x) puntualmente gn A a.e Por el T.C.M.L.

Z Z
lm gn d = lim fn d
n n
E E
Por otro lado

gn (x) fn (x) n
Z Z
gn d fn d n
E E
Z Z
lim gn d lim fn d
n n
E E
Z Z
Pero lim gn d = lm gn d
n n
E E
Z Z Z Z
lim fn (x)d = lm gn d = lim gn d lim fn d
n n n n
E E E E

Observaci
on: La desigualdad anterior puede ser estricta.
Ejemplo 4.1.1 Sea la medida de Lebesque sobre E = (0, 1)
fn : E R

n , 0 < x 1/n

x 7 fn (x) =
0

, x > 1/n
4.2 La integral de una funci
on arbitraria 131
verificar: Z
lm fn (x) = sup{ nf {fn (x)}} = 0 = lim fn d = 0
n m nm n
E
Z Z Z
fn d = fn d + fn d = n((0, 1/n)) = 1
E [0,1/n] (1/n,1)
Z Z
lim fn d = 1 > 0 = lm fn d
n n
E E
4.2. La integral de una funci

on arbitraria
Sea f : E R funcion definida sobre un conjunto medible E. Sabemos que
f = f + f , donde f + = max{0, f }, f = max{0, f }.
En cualquiera de los casos se cumple 0 f + , 0 f .
Si f es medible, f + , f son medibles y se definen las integrales
Z Z
+
f d , f d (posiblemente infinitas)
E E
Definici
Z oZn. Si f funcion medible, definida es E medible, si ademas una de ellas
f + d, f d es finita se define la integral de f por
E E
Z Z Z
f d = +
f d f d
E E E
Z
Podemos observar que f d +.
E
on. Sea (, F, ) espacio de medida E F, f : E R medible. Se dice
Definici
que f es integrable o sumable sobre E si y solo si
Z Z
+
f d < , f d <
E E
En cuyo caso Z Z Z
f d = +
f d f d
E E E
R
Observaci
on: La expresion f d no es una medida, porque puede asumir val-
ores negativos.
on arbitraria 132
Lema 4.2.1 En (, F, ) f es integrable sobre E |f | es integrable sobre E.
Notaci
on: Sea E medible
Z
L (E) = {f : E R/f es integrable } = {f : E R/ |f |d < }
E
Se verifica que L (E) es espacio vectorial (ejercicio).
Teorema 4.2.1 Sea (, F, ) espacio de medida, E F, entonces si f, g L (E)

Z Z Z
= f + g L (E) y ademas (f + g)d = f d + gd
E E E
Demostracion:
Z Z Z Z

+
f d, f d, +
g d, g d <
E E E E
(f + g) = f + g +
+ +
Si f 0, g 0, f g 0
f = (f g) + g
Z Z Z Z
f d = [(f g) + g]d = (f g)d + gd
E E E E
Z Z Z
= (f g)d = f d gd (*)
E E E
Sea
N (f ) = {x E/f (x) < 0}
P (f ) = {x E/f (x) 0}
Observe que
Z Z Z Z Z Z
f + d = +
f d = +
f d + +
f d = +
f d = f d
E N (f )P (f ) N (f ) P (f ) P (f ) P (f )
Z Z Z Z Z Z
f d = f d = f d + f d = f d = (f )d
E N (f )P (f ) N (f ) P (f ) N (f ) N (f )
on arbitraria 133
Por tanto Z Z Z Z Z
+
f d = f d f d = f d (f )d
E E E P (f ) N (f )
Ademas Z Z Z
gd = gd (g)d
E P (g) N (g)
Z Z Z
(f + g)d = (f + g)d (f g)d
E P (f +g) N (f +g)
Z Z Z
(f + g)d = (f + g)d (f g)d
E P (f +g) N (f +g)
Z Z Z
= (f + g)d + (f + g)d + (f + g)d
N (g)P (f +g) N (f )P (f +g) P (f )P (g)
Z Z Z
(f g)d (f g)d (f g)d
N (f )N (g) P (f )N (f +g) P (g)N (f +g)
(+)
Observe que se cumple (*) pues
Z Z Z Z
(f +g)d = (g(f ))d = gd (f )d
N (f )P (f +g) N (f )P (f +g) N (f )P (f +g) N (f )P (f +g)
Z Z Z Z
(f +g)d = (f (g))d = f d (g)d
N (g)P (f +g) N (g)P (f +g) N (g)P (f +g) N (g)P (f +g)
on arbitraria 134
Z Z Z
(f +g)d = f d+ gd
P (f )P (g) P (f )P (g) P (f )P (g)
Z Z Z Z
(f g)d = ((g)f )d = (g)d f d
P (f )N (f +g) P (f )N (f +g) P (f )N (f +g) P (f )N (f +g)
Z Z Z Z
(f g)d = ((f )g)d = (f )d gd
P (g)N (f +g) P (g)N (f +g) P (g)N (f +g) P (g)N (f +g)
Z Z Z Z
(f g)d = (f ) + (g)d = (f )d + (g)d
N (f )N (g) N (f )N (g) N (f )N (g) N (f )N (g)
Sustituyendo en (+)
Z Z Z Z
(f + g)d = f d + f d (f )d
E P (f )P (g) N (g)P (f +g) N (f )P (f +g)
Z Z Z
+ f d (f )d (f )d
P (f )N (f +g) P (g)N (f +g) N (f )N (g)
Z Z Z
+ gd + (g)d + gd
N (f )P (f +g) N (g)P (f +g) P (f )P (g)
Z Z Z
(g)d + gd (g)d
P (f )N (f +g) P (g)N (f +g) N (f )N (g)
Z Z
= f d + (f )d
P (f )P (g)N (g)P (f +g)P (f )N (f +g) N (f )P (f +g)P (g)N (f +g)N (f )N (g)
Z Z
gd (g)d
N (f )P (f +g)P (g)N (f +g)P (f )P (g) N (g)P (f +g)P (f )N (f +g)N (f )N (g)
Z Z Z Z Z Z
= f d (f )d + gd (g)d = f d + gd
P (f ) N (f ) P (g) N (g) E E

on. Sea (, F, ) espacio de medida, E F, f : E C. Decimos que f
Definici
es integrable si y solo si Re(f ), Im(f ) son integrables y se define
Z Z Z
f d = Re(f )d + i Im(f )d
E E E
Sea LC (E) = {f : E C integrable}
Teorema 4.2.2 Sea f L (E), entonces

Z Z

f d |f |d

E E
on arbitraria 135
Demostraci
Z on:
Suponga f d 6= 0, sea a 6= 0, a = a1 + ia2
E
Z Z Z
f d = Re(f )d + i Im(f )d
E E E

Z Z Z Z Z
a f d = a1 Re(f )d a2 Im(f )d + i a2 Re(f )d + a1 Im(f )d
E E E E E
Z Z
= (a1 Re(f )d a2 Im(f )d) + i (a2 Re(f )d + a1 Im(f )d)
E E
Z
= af d
E
Ademas
Z Z
Re a f d = Re(af )d

E E
como Z Z
Re(af ) |af | = Re(af )d |af |d
E E

Z Z Z
Re a f d |af |d = |a| |f |d

E E E
Sea R
f d
a = RE = |a| = 1
| E f d|
se cumple
R f d Z Z
E
Re R f d |f |d
| E f d|
E E
(R ) Z
Z R
f
E R
d E
f d
f d = Re |f |d

| E
f d|
E E
on arbitraria 136
Teorema 4.2.3 (Convergencia Dominada de Lebesgue) Sea (, F, ) espacio

a.e.
de medida. Sea E F, fn , f : E R funciones medibles tal que fn f y ademas
|fn | , |f | < , L (E)
Z Z
= lm fn d = vfn d
n
E E
Demostracion:
Definamos
n = sup |fm f |
mn
n (x) = sup |fm (x) f (x)|

mn
As n (x) n+1 (x) 0.

Podemos observar que
a.e
fn f ({x E/ fn 9 f }) = 0 ({x E/ |fn f | 9 0}) = 0
a.e.
n (x) = sup |fm (x) f (x)| |fm (x) f (x)| 0
mn
= n & 0 a.e.
Z
Para aplicar el corolario 4.1.6 del T.C.M.L. necesitamos que 1 d <
E
Z Z Z Z Z
1 d = |f1 f |d |f1 |d + |f |d 2 d <
E E E E E
Usando el corolario Z Z
lm n d = lm n d = 0
n n
E E
Luego, como fn , f son integrables, pues

Z Z Z Z
|fn |d ||d < , |f |d < ||d <
E E E E
tenemos
Z Z Z

0 (fn f )d |fn f |d n d

E E E
on arbitraria 137
tomando lmite
Z Z

0 lm (fn f )d lm
n d
n
n
E E

Z

0 lm (fn f )d 0
n

E

Z Z Z

lm (fn f )d = lm (fn f )d = 0 lm (fn f )d = 0

n
n n
E E E
Z Z Z
0 = lm (fn f )d = lm fn d f d
n n
E E E
Z Z
lm fn d = f d
n
E E

Corolario 4.2.1 (Teorema de convergencia acotada de Lebesgue) Sea {fn }

a.e.
sucesion de funciones medibles sobre un conjunto medibe E/fn f y ademas
|fn | < M n y (E) <
Z Z
lm fn d = f d
n
E E
Demostracion:
basta probar que |f | < M ,de esq manera tendriamos todas las hipotesis tel teorema
anterior.
Probaremos que M es integrable.
en efecto: Z Z
M d = M d = M (E) <
E E
M es integrable.
Ahora, sea > 0,

|f | < |f fn | + |fn | < + M
y como es arbitrario, 0
|f | < M
4.3 Integral de Riemann y Lebesgue 138
As tenemos todas las hipotesis del teorema anterior

Z Z
lm fn d = f d
n
E E
Ejercicios 4.3 = [0, +)
1. La -algebra de Lebesgue sobre ,
fn : R
x 7 fn (x) = [n,+) (x)
a.e.
Se tiene que fn (x) 0 puntual, fn f ?.
2. = [0, 1]
fn : R

n2 x , 0 x < 1/n

x 7 fn (x) = 2n n2 x , 1/n x < 2/n

0 , 2/n x 1

a.e.
fn 0 puntualmente, fn 0?.
4.3. Integral de Riemann y Lebesgue

on. Se llama integral de Lebesgue cuando (, F, ) es Rn , F -
Definici
algebra de Lebesgue sobre , = 1. m medida de Lebesgue, f : E R es
un Lebesgue si y solo si, para E medible seg
integrable seg un Lebesgue
Z
f dm existe
E
Sea = [a, b], sea {Ik }N

k=0 una partici
on de , x0 = a < x1 < . . . , xn = b,
Ik = [xk1 , xk ], I0 = {0}.
4.3 Integral de Riemann y Lebesgue 139
La integral superior seg

un Riemann
Z b N
X
R f (x)dx = nf U (f, P ) , U (f, P ) = sup f (x)m(Ii )
a P xIi
i=1
La integral inferior seg

un Riemann
Z b N
X
R f (x)dx = sup L(f, P ) , L(f, P ) = nf f (x)m(Ii )
P xIi
a i=1
f es Riemann integrable si y solo si
Z b Z b Zb
R f (x)dx = R f (x)dx = R f (x)dx
a a
a
Observe
N
X N
X Z Z N
X
! Zb
L(f, PN ) = mi |Ii | = mi Ii (x)dm = mi Ii (x) dm = N (x)dm
i=1 i=1 i=1 a
[a,b]
N
X
donde N (x) = mi Ii (x) es una funcion simple que satisface N f .
i=1
De igual manera la suma superior de Riemann
N
X Zb N
X
! Zb
U (f, PN ) = Mi |Ii | = Mi Ii (x) dm = N (x)dm
i=1 a i=1 a
N
X
donde N (x) = Mi Ii (x) es una funcion simple que satisface f N .
i=1
Refinando la particion se cumple
N N +1 % f (f continua no negativa)
y ademas
N N +1 & f
4.4 Integral de Lebesgue 140
Por el teorema de la Convergencia Monotona
Zb Zb
lm n (x)dm = f (x)dm
n
a a
Pero como n n+1

Zb Zb
= n dm n+1 dm
0 a
Zb Zb Zb
= sup n dm = lm n dm = f dm
n n
a a a
Pues
Zb Z b
sup n dm = sup L(f, PN ) = R f (x)dx
n a
a
Z b Zb
R f (x)dx = f dm
a
a
1. La integral de Lebesgue coincide con la integral inferior de Riemann.
2. Si existe la integral de Riemann se cumple
Zb Z b Zb
R f (x)dx = f (x)dx = f (x)dm
a
a a
Por tanto, si la f es Riemann integrable, su integral de Riemann coincide con

la integral de Lebesgue.
3. La integral de Lebesgue es mas general que la integral de Riemann.
4.4. Integral de Lebesgue

Sea f : [a, b] R funcion
Zb
f (x)dx = sup{L(f, PN )} = nf {U (f, PN )}
PN PN
a
Z ( N )
X
a, b]f dm = sup {infxEi f (x)}(Ei )
PN
i=1
[
PN = {Ei }N
i=1 particion de conjuntos Lebesgue medibles.
on 4.4.1 Sea f : [a, b] R funcion acotada, f Riemann integrable si y

Proposici
solo si f es continua a.e.
Demostracion:
Definamos las funciones
f (x) = lm sup{f (y), x y x + }

f (x) = lm nf{f (y), x y x + }

Observamos que si f es continua f (x) = f (x) = f (x).

En x0
f (x0 ) = lm sup{f (y), x0 y x0 + } = f (x0 )

f (x0 ) = f (x+
0 ) < f (x0 ) = f (x0 )
f (x0 ) = lm nf{f (y), x0 y x0 + } = f (x+
0)

En x1
f (x1 ) = lm sup{f (y), x1 y x1 + } = f (x+ 1)

f (x1 ) = f (x1 ) < f (x+
1 ) = f (x1 )
f (x1 ) = lm nf{f (y), x1 y x1 + } = f (x1 )

En general f (x) f (x) f (x), en los puntos de discontinuidad, hay desigualdad

estricta. nj
n
X
Particionamos [a, b], {Ikj } intervalos. Sea j = {sup f (x)}I j medible, {Ikj }k=1
j
k
xIk
k=1
una familia de particiones de intervalos tal que
lm max{Ikj } = 0
j k
Si fijamos x0
nj
X
j (x0 ) = {sup f (x)}I j (x0 ) = sup f (x) si x0 Ikj
k
k=1 xIkj
Si j , j (x0 ) = sup f (x) f (x0 ), j f es medible.

xIkj
De igual manera
nj
X
j = {nfj f (x)}I j es medible
k
xIk
k=1
j f es medible
Como f es acotada M > 0/f (x) < M x [a, b]. Con ello se tiene que j (x) M ,
x [a, b], pues si no lo fuera x [a, b] y j0 / j0 (x) > M , entonces Ikj0 tal que
sup > M () pues f (x) < M .
j
Ik0
Se cumple j f a.e..
Por el teorema de la Convergencia acotada
Z Z
lm j dm = f dm
j
[a,b] [a,b]
De acuerdo a la particion que hemos tomado

Z nj
X
j dm = {sup f (x)}|Ikj | suma superior de Riemann
j
k=1 xIk
[a,b]
Zb
= j dx
a
Sustituyendo
Zb Z
lm j dx = f dm
j
a [a,b]
De igual manera T.C. Acotada

Z Z
lm j dx = f dm
j
[a,b] [a,b]
Pero
Z Zb
j dm = j dx
[a,b] a
Z Zb
f dm = lm j dx
j
[a,b] a
Pero
Z Zb Z b
f dm = lm j dx = f dx
n a
[a,b] a
Z Zb Z b
f dm = lm j dx = f dx
n
a
[a,b] a
f es Riemann integrable si y solo si

Z Z b Z b Z
f dm = f dx = f dx = f dm
a a
[a,b] [a,b]
Pero si Z Z
f dm = f dm = f = f a.e.
[a,b] [a,b]
como f f f = f = f f a.e. si y solo si f es continua a.e.
Ejemplo 4.4.1

x , 0<x<1

f (x) = 2 , 1 x < 2

0 , 2 x < 3

Hallar f (x), f (x)
f (x) = lm sup{f (y) : x y x + }

0
Ikj = [xjk1 , xjk ], 0 = xj0 < xj1 < . . . < xjj = b

3
|Ikj | = xjk xjk1 = 3/j, xjk = k, k = 0, 1, . . . , j.
j
j j/3 2j/3 j
X X X X
j = {nfj f (x)}I j = {nf f (x)}I j + {nf f (x)}I j + {nf f (x)}I j f
k k k k
xIk
k=1 k=1 k= 3j +1 k= 2j
3
+1
j/3 2j/3 j
X X X
j (x) = f (xk1 )I j (x) + 2I j (x) + 0I j (x)
k k k
k=1 k= 3j +1 k= 2j
3
+1
j/3 2j/3
X X
= xjk1 I j (x) +2 I j (x)
k k
k=1 k= 3j +1
Zb j/3
X 2j/3
X
j (x)dx = xjk1 |Ikj | +2 |Ikj |
a k=1 k= 3j +1
j/3 2j/3
X 3 3 X 3 1 3
= (k 1) + 2 = +2
k=1
j j j
j 2 2j
k= 3 +1
5 3
=
2 2j
Zb
5
lm (x)dx =
j 2
0
j
X
j = {sup f (x)}I j f
j k
k=1 xIk
j/3 2j/3
X X
j (x) = xjk I j (x) +2 I j (x) f (x)
k k
k=1 k= 3j +1
Zb j/3 2j/3 j/3 2j/3

X X X 3k 3 X 3 5 3
j dx = xjk |Ikj | +2 |Ikj | = +2 = +
j j j 2 2j
a k=1 k= 3j +1 k=1 j
k= 3 +1
Z3
5
lm j (x)dx =
j 2
0
Captulo 5
Medidas Producto
En R, I = [a, b], l(I) = b a = m(I).
En R2 , consideremos los intervalos de la forma R = I1 I2 , donde I1 , I2 son intervalos

en R.
La longitud es un area
a(R) = l(I1 ) l(I2 )
En R tenemos conjuntos de medida nula, por ejemplo un conjunto enumerable de

puntos.
5.1 Producto de -
algebras 146
En R2 tenemos conjuntos de medida nula mas interesantes, por ejemplo un segmento

R = I1 {a}, entonces a(R) = l(I1 ) 0 = 0, una grafica de una funcion tiene medida
nula.
Si bien es cierto se ha visto la medida de Lebesgue en Rn , en esta oportunidad
lo interpretamos como resultado de una medida producto.
Por lo tanto, nos interesa conocer la -algebra producto.
5.1. Producto de -
algebras
Sean (1 , F1 , 1 ), (2 , F2 , 2 ) dos espacios de medida.
Sea = 1 2 el conjunto producto (producto cartesiano de conjuntos) necesita-
mos construir la -algebra producto sobre .
Sea R = {A1 A2 /A1 F1 , A2 F2 }, familia de rectangulos contenidos en .
on. La menor -algebra generada por R, (R), se llama -algebra producto

Definici
deF1 y F2 y se denota
F1 F2 = (R)
Teorema 5.1.1
5.1 Producto de -
algebras 147
i) La -algebra producto es generada por la familia de cilindros o franjas
C = {A1 2 /A1 F1 } {1 A2 /A2 F2 }
ii) La -algebra producto F es la menor -algebra que hace a las proyecciones
P1 : 1
(1 , 2 ) 7 P1 (1 , 2 ) = 1
P2 : 2
(1 , 2 ) 7 P2 (1 , 2 ) = 2
medibles.
Demostracion:
i) Probaremos que (C ) = (R).
a) (C ) (R).
Basta probar que C R.
Sea A C A = A1 2 o A = 1 A2
A1 F1 y 2 F2
AR
C R = F = F1 F 2
5.1 Producto de -
algebras 148
b) (C ) (R).
Sea A1 A2 R, se cumple que A1 A2 = A1 2 1 A2 pues si
(x1 , x2 ) A1 A2 (x1 , x2 ) A1 2 (x1 , x2 ) 1 A2 .
Como A1 2 1 A2 (C ) -algebra se tiene que A1 A2 (C )
y de ello se tiene que R (C ).
F = (R) ((C )) = (C )
F = (C )
ii)
Hipotesis:
Pi : = 1 2 i i = 1, 2
(1 , 2 ) 7 Pi (1 , 2 ) = i
H es la menor -algebra que hace medible a P1 , P2 .
Tesis:
P1 , P2 son medibles. en efecto:
Sea H1 = {P11 (A1 )/ A1 F1 } = {A1 2 / A1 F1 }
sea H H1 H = {w = (w1 , w2 ) / P1 (w) = w1 A1 } = A1 2
H2 = {P21 (A2 )/ A2 F2 } = {1 A2 / A2 F2 }
Se observa que: C = H1 H2 (C ) = F1 F2 .
Por tanto hemos demostrado que la menor -algebra que hace medible a las
proyecciones es la -algebra producto F1 F2 = (R).
Ejercicios 5.1
1. Repasar el teorema anterior para (R, B, m), (R, B, m).
2. Verificar (F) = F.
5.1 Producto de -
algebras 149
3. Sea, en R2
R = {A1 B/A B, B B -algebra de Borel}
I = {I J/I, J son intervalos}
Demostrar que (R) = (I ) -algebra producto de Borel.

5.2 Construcci
on de la Medida Producto 150
5.2. Construcci
on de la Medida Producto
Hasta ahora tenemos construido los espacios de medida producto
(1 2 , F1 F2 ) deseamos definir una medida producto = 1 2 , tal que
cumpla algunas situaciones basicas (A B) = (A) (B), A F1 , B F2 .
5.2.1. Medida -finita
Definicion. Sea (, F, ) un espacio de medida, decimos que es -finita si y

[
solo si {Ak } sucesion de conjuntos medibles tal que An = y (An ) < , n
n=1
Ejemplo 5.2.1 (R, M , | |) la medida de Lebesgue es finita, puesto que existe

[
An = [n, n] M y ademas An = R y |An | = 2n < n.
n=1
Nota: Una medida es finita si y solo si () < .
5.2.2. Secci
on de un conjunto
Sea A 1 2 , sea 1 1 , 2 2 . Se define la seccion
A2 = {1 1 /(1 , 2 ) A}
A1 = {2 2 /(1 , 2 ) A}
5.2 Construcci
Teorema 5.2.1 Sean 1 , 2 -finitas, si A F1 F2 = A1 F2 1 , A2 F1

2 .
Demostracion:
Sea G = {A F/ 2 , A2 F1 } F coleccion de conjuntos medibles que
cumplen con el teorema.
Veamos que G 6=
En efecto:
Sea A = A1 A2 , A1 F1 , A2 F2 un rectangulo
A2 = {1 1 /(1 , 2 ) A} 2
se cumplen
A1 F1

, si 2 A2
A2 =
F1

, si 2
/ A2
RG
F = (R) (G)
Probemos que (G) = G, es decir G debe ser -algebra.
En efecto:
Si A G, Ac = \A
Ac2 = (\A)2 = {1 1 /(1 , 2 ) \A}
= {1 1 /(1 , 2 )
/ A} = 1 {1
/ A2 } = 1 \A2
Ac G pues Ac2 F1 2 .
[
Sea {An } G una familia, An debe estar en G.
n=1
En efecto:

!
[ [
An = An2 F1
n=1 2 n=1
5.2 Construcci
Sea

!
[ [
x An (x, 2 ) An
n=1 2 n=1
(x, 2 ) An para alg
un n
x (An )2 para alg

un n
[
x An2
n=1
G es -algebra = (G) = G F
De la anterior inclusion
F (G) = G F = F = G
y el teorema se cumple para A2 .

Repetimos el proceso para el otro caso.
5.2.3. Clase Mon

otona
Definici
on. Una clase monotona es una familia de conjuntos que es cerrada bajo
la union de conjuntos crecientes y la interseccion de conjuntos decrecientes.es decir
G es una clase monotona si y solo si
A1 A2 . . . An An+1 = An G
A1 A2 . . . An An+1 = An G
Sea A una familia, la clase monotona mas peque

na que contiene a A lo denotamos
por m(A) = GA .
Lema 5.2.1 Sea A una familia de conjuntos = m(A) = (A).
Regresando a nuestros conjuntos secciones. Seg

un el teorema 5.2.1
Para cada A F
= A2 F2 2
A2 F2 1
5.2 Construcci
Para A F, definamos las funciones
2 R 1 R
2 7 1 (A1 ) 1 7 2 (A2 )
Teorema 5.2.2 (1 , F1 , 1 ), (2 , F2 , 2 ) espacios de medida, 1 , 2 -finitas sobre

A F = F1 F2 . Entonces las funciones
f1 : 2 R es F2 -medible
2 7 f1 (2 ) = 1 (A2 )
f2 : 1 R es F1 -medible
1 7 f2 (1 ) = 2 (A1 )
ademas Z Z
1 (A2 )d2 = 2 (A1 )d1
2 1
Demostracion:
1. Suponga que 1 , 2 son finitas y ademas suponga que A Z i.e.

n
[
A= Ci Bi , reunion finita de conjuntos disjuntos dos a dos.
i=1
La funcion caracterstica sobre A
n
X
A = (1 , 2 ) = Ci (1 ) Bi (2 )
i=1

n n
[ [ Bi , si 1 Ci i = 1, . . . , n
A1 = (Ci Bi )1 =
i=1 , si 1
/ Ci

i=1
n
X
A1 (2 ) Ci (1 ) Bi (2 ) 2
i=1
5.2 Construcci
A1 es funcion medible sobre F2 pues Bi son funciones medibles sobre F2 y

es un n
umero finito.
Se tiene que
Z n
X
2 (A1 ) = A1 d2 = Ci (1 )2 (Bi )
2 i=1
luego si interpretamos
1 R
n
X
1 7 2 (A1 ) = 2 (Bi )Ci (1 )
i=1
como las funciones caractersticas Ci son F1 -medibles entonces la funcion

2 (A) es F1 -medible.
Ademas Z n
X
2 (A1 )d1 = 2 (Bi )1 (Ci )
1 i=1
Repetimos el proceso para A2 , tendremos 1 (A2 ) es medible.

Ademas Z n
X
1 (A2 )d2 = 1 (Ci )2 (Bi )
2 i=1
de donde Z Z
2 (A1 )d1 = 1 (A2 )d2
1 2
Suponga que 1 , 2 son finitas, para familias monotonas.

Sea {An } una familia monotona para las cuales el teorema es valido.
Sea An % A, entonces An1 es F2 -medible y ademas An1 % A1 = A1 es
F2 -medible.
2 (An ) : 1 R son funciones medibles

1 7 2 (An1 )
Se cumple que 2 (An1 ) 2 (An+1 1 ) sucesion monotona de funciones
lm 2 (An1 ) = 2 (A1 ) puntualmente

n
5.2 Construcci
Por el T.C.M.L.
Z Z
lm 2 (An1 )d1 = 2 (A1 )d1
n
1 1
De igual manera se tiene 1 (A2 ) es medible

Z Z
lm 1 (An2 )d2 = 1 (A2 )d2
n
2 2
Pero
Z Z Z Z
1 (A2 )d2 = lm 1 (An2 )d2 = lm 2 (An1 )d1 = 2 (A1 )d1
n n
2 2 1 1
Si tomamos la sucesion {En } monotona de conjuntos donde el teorema es vlido

tal que En & A, siguiendo los mismos pasos y usando el corolario del teorema
de la convergencia monotona donde se necesita que la funcion
2 (A1 ) < M 1
lo cual es valido pues 2 es finita.

Por tanto el teorema es valido para clases monotonas y como F m(Z) =
F1 F2 se cumple el teorema para el caso de 1 , 2 finitas.
2. Si 1 , 2 son -finitas,

[
{Ck }
k=1 F1 / 1 = Ck , 1 (Ck ) <
k=1
[
{Bk }
k=1 F2 / 2 = Bk , 2 (Bk ) <
k=1
Sea An % A una sucesion monotona
An (Ck Bk ) = Hnk para cada k
fijando k, Hnk % A (Ck Bk ) por la parte primera del teorema es valido para
cada k
Z Z
1 (A (Ck Bk ))2 d2 = 2 (A (Ck Bk ))1 d1
2 1
5.2 Construcci
fk = 1 (A (Ck Bk ))2 1 (A2 )

Z Z
1 (A2 )d2 = lm 1 (A (Ck Bk ))2 d2
k
2 2
Z
= lm 2 (A (Ck Bk ))1 d1
k
1
Z
= 2 (A1 )d1
1
on. Sean (1 , F1 , 1 ), (2 , F2 , 2 ), 1 , 2 finitas. La medida producto

Definici
1 2 sobre F1 F2 se define por
Z Z
= 1 2 (A) = 2 (A1 )d1 = 1 (A2 )d2
1 2
Teorema 5.2.3 = 1 2 definida sobre F1 F2 es una medida.
Demostracion:
Probaremos los 3 axiomas de medida,
Z Z
1. () = 2 (1 )d1 = 0d1 = 0
1 1
R R
2. (E) = 1
2 (E1 )d1 = 2
1 (E2 )d2 0
3. Sea {Ei }
i=1 F1 F2 disjuntos dos a dos.
Por el teorema anterior,
j (Ei ) : k R es Fk -medible, j 6= k, i, k = 1, 2
k 7 j (Eik )
y se cumple Z Z
2 (Ei1 )d1 = 1 (Ei2 )d2 , i
1 2

[ n
[
Sea A = Ei = lm Ei
n
i=1 i=1
5.2 Construcci

!
[ [
A1 = Ei = (Ei1 ) pues los Ei son disjuntos
i=1 1 i=1
n
[
(A1 ) = lm (Ei1 )
n
i=1
n
X
Sea fn (1 ) = (Ei1 ).
i=1
Sabemos que 2 (Ei ) : 1 R es Fi -medible i, entonces fn es F1 -medible,
ademas fn f, f (1 ) = 2 (A1 ) a.e
Por el T.C.M.L
Z Z
lm fn d1 = f d1
n
1 1
Z n
Z X
2 (A1 )d1 = lm (Ei1 )d1
n
1 1 i=1
Xn Z
= lm (Ei1 )d1
n
i=1
1

! n
[ X
1 2 Ei = lm 1 2 (Ei )
n
i=1 i=1

X
= 1 2 (Ei )
i=1
Teorema 5.2.4 (Primer Teorema de Fubini) Sea el espacio de medida produc-

to (1 2 , F1 F2 , 1 2 ).
Sea f : 1 2 R funcion F1 F2 -medible no negativa
(1 , 2 ) 7 f (1 , 2 )
entonces se cumple
5.2 Construcci
Para 1 fijo
f (1 , ) : 2 R es F2 -medible y
2 7 f (1 , 2 )
Z
f ( , 2 ) : 1 R es F1 -medible
2
Z
1 7 f (1 , 2 )
2
y para 2 fijo
f ( , 2 ) : 1 R es F1 -medible y
1 7 f (1 , 2 )
Z
f (1 , ) : 2 R es F2 -medible
1
Z
2 7 f (1 , 2 )
1
y
Z Z Z Z
f (1 , 2 )d2 d1 = f (1 , 2 )d1 d2
1 2 2 1
Demostracion:
1. Si f es una funcion caracteristica:

Sea E F1 F2 y sea E la funcion caracteristica, entonces se cumple:
Z
E d1 2 =1 2 (E)
1 2
Z Z
= 2 (E1 )d1 = 1 (E2 )d2 (+)
1 2
Pero
E1 = {2 2 / (1 , 2 ) E} = {2 2 /E (1 , 2 ) = 1}
5.2 Construcci
de ello se tiene
E1 () = E (1 , ), 1 fijo
como E1 es F1 -medible E (1 , ) es F2 medible y se cumple

Z Z
2 (E1 ) = E1 d2 E (1 , )d2
2 2
De igual manera
E2 = {1 1 / (1 , 2 ) E} = {1 1 /E (1 , 2 ) = 1}
E2 () = E ( , 2 ), 2 fijo
de ellos E ( , 2 ) es F1 -medible.
Se cumple Z Z
1 (E2 ) = E2 d1 E ( , 2 )d1
1 1
sustituyendo en (+)

Z Z Z
E d1 2 = E (1 , 2 )d2 d1
1 2 1 2

Z Z
= E (1 , 2 )d1 d2
2 1
2. Si f es una funcion simple:

Sabemos que
n
X
f= ai Ei , Ei F1 F2 , i = 1, n
i=1
5.2 Construcci
se cumple que
Z Z n
X
f (1 , 2 )d1 2 = ai Ei (1 , 2 )d1 2
1 2 1 2 i=1

n
X Z Z
= ai Ei (1 , 2 )d2 d1
i=1 1 2

n
X Z Z
= ai Ei (1 , 2 )d1 d2
i=1 2 1

Z n
Z X
= ai Ei (1 , 2 )d1 d2
2 1 i=1

Z n
Z X
= ai Ei (1 , 2 )d2 d1
1 2 i=1

Z Z Z Z
= f (1 , 2 )d2 d1 = f (1 , 2 )d1 d2
1 2 2 1
3. Para f 0 medible:
Por el Teorema (?), para f 0 medible, existe {n } sucesion de funciones
simples tal que f .
Se cumple que f a.e, por el T.C.M.L

Z Z
f d1 2 = lm n d1 2
n
1 2 1 2

Z Z Z Z
= lm n d2 d1 = n d1 d2 (++)
n
1 2 2 1
se cumple
n (1 , ) n+1 (1 , ) f (1 , )
Z Z
n (1 , )d2 n+1 (1 , )d2
2 2
| {z } | {z }
hn (1 ) hn+1 (1 )
5.2 Construcci
los hn son F1 -medibles por el teorema 5.2.2

Z Z
lm hn (1 ) = lm n (1 , )d2 = lm n (1 , )d2
n n n
2 2
usando nuevamente T.C.M.L en (++)

Z Z Z Z Z
f d1 2 = lm n (1 , )d2 d1 = lm n (1 , )d1 d2
n n
1 2 1 2 2 1

Z Z Z Z
= f (1 , 2 )d2 d1 = f (1 , 2 )d1 d2
1 2 2 1
Teorema 5.2.5 (Segundo Teorema de Fubini) Sea f L1 (1 2 ). Entonces

se cumple
Para 1 fijo
f (1 , ) : 2 R pertenece a L1 (2 )
2 7 f (1 , 2 )
Z
f ( , 2 ) : 1 R pertenece a L1 (1 )
2
Z
1 7 f (1 , 2 )
2
y para 2 fijo
f ( , 2 ) : 1 R pertenece a L1 (1 )
1 7 f (1 , 2 )
Z
f (1 , ) : 2 R pertenece a L1 (2 )
1
Z
2 7 f (1 , 2 )
1
y
Z Z Z Z Z
f d1 2 = f d2 d1 = f d1 d2
1 2 1 2 2 1
5.2 Construcci
Demostracion:
Como f L1 (1 2 ) f = f + f , f 0 medibles y
Z Z
+
f d1 2 < , f d1 2 <
1 2 1 2
se cumple:
Z Z Z
f d1 2 = +
f d1 2 f d1 2
1 2 1 2 1 2
Aplicando el primer Teorema de Fubini,

Z
+
f (1 , ) : 2 R F2 -medible y f ( , 2 ) : 1 R F1 -medible
2
y
Z Z Z Z Z
f + d1 2 = f + d2 d1 = f + d1 d2
1 2 1 2 2 1
De manera analoga se tiene

Z Z Z Z Z
f d1 2 = f d2 d1 = f d1 d2
1 2 1 2 2 1
5.2 Construcci
de lo cual tenemos
Z Z Z
f d1 2 = +
f d1 2 f d1 2
1 2 1 2 1 2

Z Z Z Z
= f + d2 d1 f d2 d1
1 2 1 2

Z Z Z Z
= f + d1 d2 f d1 d2
2 1 2 1

Z Z Z
= +
f d2 f d2 d1
1 2 2

Z Z Z
= f + d1 f d1 d2
2 1 1

Z Z
= (f + f )d2 d1
1 2

Z Z
= (f + d f )d1 d2
2 1

Z Z Z Z
= f d2 d1 = f d1 d2
1 2 2 1

5.3 Otra definici
on de Integral 164
5.3. Otra definici

on de Integral
on. Sean (, F, ), (R, M , | |) espacios de medida, ( R, F
Definici
M , | |) espacio de medida producto.
Sea f : R medible no negativa
G(f ) = {(x, f (x))/x } grafo de f
A(f ) = {(x, y)/0 y f (x)} region bajo el grafo
Teorema 5.3.1 Bajo la construccion anterior, se cumple A(f ) es F M -medible,

ademas Z
| |(A(f )) = f d

Demostracion:
Para f : R no negativa, existe una sucesion de funciones simples f tiene la
forma
n
X n
X
n = nf f (x) Ek = mk Ek medibles
xEk
k=1 k=1
mk = nf f (x).
xEk
Como los Ei son disjuntos dos a dos y medibles, entonces Ei [0, mi ] es un
rectangulo en F M , la medida del rectangulo es
| |(Ek [0, mk ]) = (Ek )(mk 0) = mk (Ek )

5.3 Otra definici
on de Integral 165
Los rectangulos Ek [0, mk ] son disjuntos dos a dos y

n
[
(Ek [0, mk ]) = A() es F M -medible.
k=1
Ahora, como f n n+1 f se tiene que A(n ) A(n+1 ), es una

sucesion monotona de conjuntos medibles

[
A(n ) = lm A(n ) = A(f ) es F M -medible. (M)
n
n=1
ademas
Z n
X n
X
n d = mk (Ek ) = | |(Ek [0, mk ])
E k=1 k=1
n
!
[
= | | Ek [0, mk ]
k=1
= | |(A(n ))
De (M) se tiene
Z Z
| |(A(f )) = lm | |(A(n )) = lm n d = f d (Por T.C.M.L)
n n

Medida Ovidio PDF

Hochgeladen von

Dokumentinformationen

Originalbeschreibung:

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Medida Ovidio PDF

Hochgeladen von

Copyright:

Verfügbare Formate

UNIVERSIDAD NACIONAL DE TRUJILLO

FACULTAD DE CIENCIAS FISICAS Y MATEMATICAS

NOTAS DE TEORIA DE LA MEDIDA

OBIDIO RUBIO MERCEDES

2.5. Medida de Lebesgue en Rn . . . . . . . . . . . . . . . . . . . . . . . . 53

5. Medidas Producto 145

El concepto de medida tiene mas de 5000 a

Borel (1871-1956) dio, en su doctorado de 1894, el siguiente paso importante

alguna propiedad que caracteriza a los elementos del conjunto.

Ejemplo 1.2.1 El conjunto A formado por

puede ser expresado por

A = {x 2Z /, 0 < x < 12}

donde 2Z es conjunto de enteros pares.

X = {x tal que x es un triangulo en el plano}

El Smbolo a A indica que el elemento a pertenece al conjunto A, y a

1.2.2. Operaciones con conjuntos

Dos conjuntos A y B son iguales si A B y B A y se denota por A = B.

Dados dos conjuntos A y B, la union de A y B es el conjunto de todos los

Ejemplo 1.2.3 Dados A = {1, 3, 5, 7, . . .}, B = {2, 4, 6, 8, . . .} entonces AB = N.

Dados dos conjuntos A y B, la interseccion de A y B es el conjunto de todos los

Ejemplo 1.2.4 Dados A = {x N/x es m

Dados dos conjuntos A y B, la diferencia de A y B es el conjunto de todos los

Dados dos conjuntos A y B tal que B A, el complemento de B en A se define

Si F = {E} es una familia de subconjuntos del conjunto universal la union y la

2. Demostrar que A (A C) = (A B) (A C).

3. Si A = {m+n, 8, 2m2n+4} es un conjunto unitario B = {x/x = mk, k Z}

4. La parte sombreada del diagrama A que conjunto corresponde?

1.2.3. Producto cartesiano

Dados dos conjuntos A y B, el producto cartesiano de A por B es el conjunto

A B = {(x, y)/ x Amboxy B}.

Una Relacion R de A en B es un subconjunto del producto cartesiano A B, es

Una Funcion f de A en B es una relacion de A en B tal que para todo x

f = {(x, y) A B tal que si (x, y) f, (x, z) f entonces y = z, x A}

nico y B tal que (x, y) f se le denota por y = f (x),

Dada una funcion f : A B, se dice que f es inyectiva si f (a) = f (b) implica

1. Demostrar que (a, b) = (c, d) si y solo si a = c, b = d.

2. Sea R una relacion y sea D(R) su dominio. La relacion R se dice:

i) Reflexiva si a D(R) implica (a, a) R.

ii) Simetrica si (a, b) R implica (b, a) R.

iii) Transitiva si (a, b) R y (b, c) R implica (a, c) R.

Una relacion la cual es simetrica, reflexiva y transitiva es llamada una relacion

3. Sea f : S T una funcin. Si A y B son subconjuntos arbitrarios de S,

Ademas si f es inyectiva entonces f (A B) = f (A) f (B).

4. Sea f : S T una funcion. Si Y T , denotaremos por f 1 (X) el mas

El conjunto f 1 (Y ) es llamado imagen inversa de Y bajo f .

a) f 1 (Y1 Y2 ) = f 1 (Y1 ) f 1 (Y2 )

b) f 1 (Y1 Y2 ) = f 1 (Y1 ) f 1 (Y2 )

c) Generalizar a) y b) a uniones e intersecciones arbitrarias.

Ejemplo 1.3.1 Los conjuntos A = {1, 3, 5} y B = {a, b, g} son equivalentes

Observemos que se cumple las siguientes aserciones, A B entonces B A. Tam-

ii) Si A es infinito y existe una biyeccion con el conjunto de los n

Se define el cardinal del conjunto {1, 2, 3, . . . , n} y de cualquier conjunto equiv-

conjunto vaco se define como 0 [cero].

on 1.4.1 Sea A un conjunto enumerable, si B A entonces B es enu-

Z = A1 A2 A3 es enumerable por proposicion 1.4.2.

Usando la definicion debe existir una biyeccion N Z

Probaremos que: f es inyectiva y sobreyectiva.

Caso 1: Si n = 2k z = k Z+ tal que

Caso 2: Si n = 2k 1 z = k Z tal que

Ejemplo 1.4.2 El conjunto N N es enumerable.

donde f(k,n)= (k+n1)(k+n)

Veamos que f es biyectiva: