Teora de la Medida

Mauro Chumpitaz
23 de enero de 2012

Indice general
Prefacio iii
1. Conjuntos numerables, relaciones de equivalencia y algebra de conjuntos. 1
1.1. Conjunto nito, conjunto numerable. . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Relaci on de equivalencia. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3.

Algebra de conjuntos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2. Elementos de la medida de Lebesgue en R. 11
2.1. Limitaciones de la integral de Riemann. . . . . . . . . . . . . . . . . . . . . . . . 11
2.2. Longitud de un intervalo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.3. Longitud de un conjunto abierto. . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.4. Longitud de conjuntos compactos. . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.5. Medida exterior y medida interior de conjuntos A R. . . . . . . . . . . . . . . 19
2.6. Conjuntos medibles. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.7. Existencia de conjuntos no medibles . . . . . . . . . . . . . . . . . . . . . . . . . 31
3. Funciones medibles. 33
3.1. Funciones medibles. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.2. Lmite superior y lmite inferior. . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.3. Convergencia en medida. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
4. Integrales sobre R 49
4.1. Integral de funciones simples. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
4.2. Integral de una funcion acotada. . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
4.3. Teorema de convergencia monotona. . . . . . . . . . . . . . . . . . . . . . . . . . 54
4.4. Integral de una funcion medible. . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
4.5. Teorema de la convergencia dominada. . . . . . . . . . . . . . . . . . . . . . . . 54
5. Diferenciaci on e integraci on. 55
5.1. Diferenciaci on de funciones mon otonas. . . . . . . . . . . . . . . . . . . . . . . . 55
5.2. Funciones de variacion acotada. . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
5.3. Diferenciaci on de una integral. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
i
ii
6. Espacios L
P
(A). 57
6.1. Espacios L
P
(A). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
6.2. Desigualdad de Holder. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
6.3. Desigualdad de Minkowski. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
7. Medida en R
2
. 59
7.1. Clase mon otona. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
7.2. Teorema de Fubini. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59

Indice alfabetico 60
Prefacio
Este libro sobre Teora de la Medida es el resultado de varios cursos sobre la materia dictada a
los alumnos de la Facultad de Ciencias, especialidad de Matem atica, de la Universidad Nacional
de Ingeniera.
Este libro ha sido preparado con el objeto de dar a los estudiantes interesados una forma
sencilla de adquirir los elementos basicos de la Teora de la Medida.
Deseo expresar aqu mi agradecimiento sincero a Concytec cuyo apoyo economico ha hecho
posible la publicaci on de este texto.
iii
1
Conjuntos numerables, relaciones de
equivalencia y algebra de conjuntos.
1.1. Conjunto nito, conjunto numerable.
Notaciones :
N = 1, 2, 3, . . .
= Conjunto de lo n umeros naturales.
Z = Conjunto de los n unmeros enteros.
Q = Conjunto de los n umeros racionales.
R = Conjunto de los n umeros reales.
C = Conjunto de los n umeros complejos.
J
n
= 1, 2, . . . , n.
R = R .
Denici on 1. Se dice que un conjunto X tiene n elementos si es que
existe una biyeccion entre J
n
y X.
Denici on 2 (Conjunto nito). Se dice que un conjunto X es nito si
X = o X tiene n elementos para algun n N.
Si X no es nito se dice que X es innito
Denici on 3 (Conjunto numerable). Un conjunto X se llama nume-
rable si es que existe una biyecci on entre N y X.
Denici on 4 (Principio del mnimo entero). Todo conjunto no vaco
de n umeros naturales tiene un menor elemento.
Proposicion 1. Si D N es un conjunto innito, entonces D es numerable.
1
2 Captulo 1. Conjuntos numerables, relaciones de equivalencia y algebra de conjuntos.
Demostraci on: Usando el principio del mnimo entero y el hecho que D es innito procedemos
de la manera siguiente: Sea x
1
el primer elemento de D; Dx
1
,= y x
1
< x para todo
x Dx
1
. Sea x
2
el primer elemento de Dx
1
, x
1
< x
2
.
Supongamos que hemos denido, x
1
< x
2
< . . . < x
n
. El conjunto Dx
1
, . . . x
n
es no vaco
y x
n
< x para todo x Dx
1
, . . . x
n
. Luego, si x
n+1
es el primer elemento de Dx
1
, . . . x
n

se tiene x
1
< x
2
< . . . < x
n
< x
n+1
.
De este modo construimos una funci on inyectiva h : N D, h(n) = x
n
. Si n D, existe
k N, 1 k n tal que h(k) = n. Luego h es una biyecci on de N sobre D y por tanto D es
numerable.
Corolario 1. Sea X un conjunto numerable y D X un subconjunto innito. Entonces D es
numerable.
Demostraci on: Sea : N X una biyecci on y : X N su biyecci on inversa. Sea
H = (D) N, es un biyecci on entre H y D. Como D es innito, H tambien es ininito. Por
la Proposicion 1, H es numerable, lo cual implica que D es numerable. (N
h
H

1
D).
Axioma: (Axioma de eleccion). Para cualquier familia no vaca T =
X

/ M de conjuntos no vacos X

, existe una funci on

f : M
_
M
X

tal que f() X

para cada M
Lema 1. Sean X, Y conjuntos no vacos. Si f : X Y es una funcion suryectiva, entonces
existe una funci on inyectiva g : Y X tal que f g = id
Y
.
Demostraci on: Para cada y Y , E
y
= f
1
(y) es un conjunto no vaco. Entonces T =
E
y
/ y Y es una familia no vaca de conjuntos no vacos. De acuerdo con el axioma de
elecci on, existe una funci on g : Y
_
yY
E
y
= X tal que g(y) = E
y
= f
1
(y), g(y) = f
1
(y).
Luego f(g(y)) = y para cada y Y . Por tanto f g = id
Y
y ademas g es inyectiva.
Ejercicio: Sean X
f
Y
g
Z funciones y h = g f.
a) Si h es suryectiva, vericar que g es suryectiva.
b) Si h es inyectiva, vericar que f es inyectiva.
Proposicion 2. Sea : N X una funcion suryectiva. Entonces X es nitio o numerable.
Demostraci on: Siendo suryectiva, usando el Lema 1.1, podemos denir una funci on inyec-
tiva g : X N tal que g = id
X
. Sea D = g(X) N, g es una biyecci on entre X y D,
entonces:
i) Si D es nito, X es nito.
ii) Si D es innito, D es numerable
y por tanto X es numerable.
1.1. Conjunto nito, conjunto numerable. 3
Proposicion 3. El conjunto N N es numerable.
Demostraci on: Veamos que existe una biyecci on entre NN y un subconjunto innito D N.
Consideremos la aplicacion h : N N N denida mediante h(m, n) = 2
n
3
m
. Se verica
f acilmente que la funci on h es inyectiva. Luego, si D = h(N N) N se tiene que h es una
biyecci on entre N N y D. Pero N 1 N N, entonces N N es innito, lo cual implica
que D es innito.
Proposicion 4. Sea (X
n
) una sucesion de conjuntos numerables y X =

_
n=1
X
n
. Entonces X
es numerable.
Demostraci on: Sea
n
N X
n
una biyecci on para cada n N. La funci on : N N X
denida mediante, (m, n) =
n
(m) es una aplicacion suryectiva. Como X es innito se tiene
que X es numerable.
En particular:
a) Si X
k
es un conjunto numerable, 1 k m y Z =
m
_
k=1
X
k
entonces Z es numerable.
b) Si A es numerable y B es un conjunto nito, entonces A B es numerable.
Corolario 2. Sea Q
1
=
_
n
m
/ n N, m N
_
. Entonces Q
1
, es numerable.
Demostraci on: Sea X
m
=
_
n
m
/ n N
_
, X
m
es numerable. Como Q
1
=

_
m=1
X
m
se tiene que
Q
1
es numerable.
Nota: Similarmente, el conjunto: Q
2
=
_

n
m
/ n N, m N
_
es numerable. Luego, el
conjunto: Q = Q
1
Q
2
0 es numerable.
Proposicion 5. Sea A un conjunto nito o numerable. Entonces la colecci on de todos las
sucesiones nitas de elementos de A tambien es nito o numerable.
Demostraci on:
i) Si A tiene n elementos, entonces la colecci on de todas las sucesiones nitas de elementos
de A coincide con T(/) y T(/) tiene 2
n
elementos, es decir es nito.
ii) Supongamos que A es numerable entonces existe una biyecci on : N A el cual determi-
na una biyecci on entre las partes nitas T
f
(N) T
f
(A) (T
f
(N) B (B) T
f
(A)).
Es suciente ver que T
f
(N) es numerable.
Sea N
0
= N 0; veremos que T
f
(N
0
) es numerable. Para esto construimos una funcion
suryectiva : N T
f
(N
0
) de la manera siguiente: 1 = 2
0
, denimos = 0. Cada n N,
n > 1 se descompone en forma unica en factores primos de la forma n = 2
x
1
3
x
2
5
x
3
. . . p
x
k
k
con p
k
primo, x
i
N
0
y x
k
> 0. Denimos (n) = x
1
, x
2
, . . . , x
k
; suryectiva. Como T
f
(N
0
)
es innito se tiene que T
f
(N
0
) es numerable. Tambien T
f
(N) T
f
(N
0
) y T
f
(N) es innito,
luego T
f
(N) es numerable.
Denici on 5. Un conjunto A se llama contable si A es nito o nume-
rable.
4 Captulo 1. Conjuntos numerables, relaciones de equivalencia y algebra de conjuntos.
Nota: Si s : N X es una funci on suryectiva, entonces X es contable.
Denici on 6 (Conjuntos equipotentes). Dos conjuntos X, Y se llaman
equipotentes si es que existe una biyecci on f : X Y .
Proposicion 6 (Schroeder-Berstein). Dos conjuntos X, Y son equipotentes si y solo si existen
dos funciones inyectivas f : X Y y g : Y X.
Demostraci on: Suciencia: Sean f : Y , g : Y X funciones inyectivas. Denamos
: T(X) T mediante (A) = Xg(Y f(A)). Si A B X se verica facilmente que
(A) (B).
Denamos T = A T(X) / A (A) y W =
_
AF
A.
Sea A T, entonces A (A) y A W. A (A) (W), entonces A (W) para
todo A T, luego W (W), entonces (W) ((W)), entonces (W) T, entonces
(W) W. Luego W = (W) = Xg(Y f(W)). Entonces XW = g(Y f(W)) con g
inyectiva. Podemos denir h : X Y mediante:
h(x) =
_
f(x) , si x W
g
1
(x) , si x XW
h es biyectiva.
Proposicion 7. El intervalo [0, 1] R no es numerable.
Demostraci on: Por contradicci on, supongamos que [0, 1] es numerable, entonces existe una
funci on biyectiva f : N [0, 1]. Los elementos [0, 1] los escribimos en el sistema decimal:
=
0
.
1

2
. . .
n
. . .
donde
0
= 0 si 0 < 1 y
0
= 1 si = 1, mientras que 0
i
9 para todo i N.
Para cada m N podemos escribir:
f(m) =
m
0
.
m
1

m
2
. . .
m
n
. . .
Probaremos que f no es suryectiva. Denamos =
0
.
1

2
. . .
n
. . . de la manera siguiente:

0
= 0, y

n
=
_
1 , si
n
n
,= 1
1 , si
n
n
= 1 .
Se verica f acilmente que no est a en el rango de f, pero [0, 1]. Contradicci on a que f es
biyectiva; luego el intervalo [0, 1] no es numerable.
Ejercicios
1. Sea X = g / g : N 0, 1 g es funcion. Probar que X es numerable.
2. Sea X ,= y f : X T(X) una funcion. Probar que existe un subconjunto E X tal
que E no esta en el rango de f.
3. Sea M un conjunto innito y A un conjunot jinito o numerable. Probar que existe una
biyecci on entre M A y M.
1.2. Relaci on de equivalencia. 5
4. Sea X un conjunto no contable y A un subconjunto nito o numerable de X. Probar que
existe una biyeccion entre XA y X.
5. Probar que existe una biyeccion entre R y < 0, + >.
6. Si a < b, denir una biyecci on entre < 0, 1 > y < a, b >.
7. Deniri una biyecci on entre < 0, 1 > y < 0, 3].
8. Sea k N un n umero natural jo. Vericar que el conjunto foramdo po todas las colec-
ciones de k n umeros naturales (n
1
, . . . , n
k
) es numerable.
9. Vericar que el conjunto de todos los polinomios:
a
0
x
n
+a
1
x
n1
+ +a
n1
x +a
n
donde n N y de coecientes enteros, es numerable.
10. Vericar que el conjunto A C formado por todos los n umeros algebraicos es numerable.
Denici on 7. Un n umero comlejo que es raz de un polinomio
a
0
x
n
+a
1
x
n1
+ +a
n1
x +a
n
con coecientes enteros, no todos ceros, se llama un n umero algebrai-
co.
11. Vericar que rtodo conjunto innito X contiene un subconjunto propio Y X tal que
X e Y son equipotentes.
1.2. Relacion de equivalencia.
Denici on 8. Sean X, Y dos conjuntos no vacios. Un subconjunto
1 X Y se llama una relaci on entre elementos de X e Y .
Dos elementos x X, y Y se dice que est an en relaci on seg un 1 si (x, y) 1.
Notaci on: Si 1 XY es una relaci on entre elementos de X e Y , y (x, y) 1escribiremos
frecuentemente x1y.
a) El conjunto = (x, x) / x X, X X se llama la diagonal de X o relacion
identidad.
b) Sea 1 XY una relaci on. El conjunto 1
1
= (y, x) / (x, y) 1 se llama la relacion
inversa de 1.
c) Sean 1 X Y , o Y Z dos relaciones, entonces el conjunto:
o 1 =
_
(x, z)
_
existe y Y satisfaciendo:
(x, y) 1, (y, z) o
_
se llama la relaci on compuesta de 1 con o.
6 Captulo 1. Conjuntos numerables, relaciones de equivalencia y algebra de conjuntos.
Denici on 9. Una relacion 1 X X se llama relaci on de equi-
valencia en X si:
i) (x, x) 1 para todo x X, (propiedad reexiva).
ii) Si (x, y) 1 entonces (y, x) 1, (propiedad simetrica).
iii) Si (x, y) 1 y (y, z) 1 entonces (x, z) 1, (propiedad
transitiva).
Ejemplo: Sea f : X Y una funcion. Denamos 1 X X mediante: (x
1
, x
2
) 1 si y
s olo si f(x
1
) = f(x
2
).
Entonces 1 es una relaci on de equivalencia en X.
Denici on 10 (Clase se equivalencia). Sea 1 X X una relaci on
de equivalencia en X. Para cada x X, el conjunto
[x] = y X / (x, y) 1
se llama la clase de equivalencia de x seg un 1.
Propiedades:
1. [x] ,= para cada x X.
2. x1y si y s olo si [x] = [y].
3. Si [x] [y] ,= entonces [x] = [y].
Denici on 11. Una familia X
i

iI
de subconjuntos de X se llama
una particion de X si:
i) X
i
,= para todo i I.
ii) X
i
X
j
= si i ,= j.
iii)
_
iI
X
i
= X.
Teorema 1.
a) Si 1 XX es una relacion de equivalencia en X, entonces la familia [x
i
]
iI
de todas
las clases de equivalencia (distintas) seg un 1 es una partici on de X.
b) Si X
i

iI
es una partici on de X, deniendo 1 X X mediante: (x, y) 1 si y s olo
si existe i I tal que x, y X
i
, se tiene que 1 es una relaci on de equivalencia en X.
Ejercicios
1.3.

Algebra de conjuntos. 7
1. Sea X = [a, b], a < b. Denamos 1 X X mediante: (x
1
, x
2
) 1 si y solo si
x
2
x
1
Q.
Vericar que 1 es una relaci on de equivalencia en X.
2. Denamos 1 C C mediante: (x, y) 1 si y s olo si [x[ = [y[.
Vericar que 1 es una relaci on de equivalencia en C.
3. Sea 1 X X una relacion. Vericar las siguientes armaciones:
a) 1 es reexiva si y s olo si 1.
b) 1 es simetrica si y s olo si 1
1
= 1.
c) 1 es transitiva si y s olo si 1 1 1
4. Sean 1 X Y , o Y Z dos relaciones, vericar que:
a) (1
1
)
1
= 1.
b) (o 1)
1
= 1
1
o
1
.
1.3.

Algebra de conjuntos.
Denici on 12 (Anillo de conjuntos). Sea X ,= y ,= r T(X).
r se llama un anillo de conjuntos si para cualquier par de elemenots
A, B en r ocurre:
i) A B r
ii) AB r.
Ejemplos
1. r = T(X) es un anillo de conjuntos.
2. r = A X / A es nito es un anillo de conjuntos.
3. r =
_
A R
_
A es union de un n umero
nito de inervalos.
_
es un anillo de conjuntos.
Sea r un anillo de conjuntos. Si A y B son elementos de r entonces:
a) A B r, pues A B = (AB) (BA).
b) A B r, pues A B = (A B)(A B).
c) r, pues = AA para cualquier A r.
Denici on 13 (

Algebra de conjuntos). Una colecci on ,= a T(X)

se llama una algebra de conjuntos si para A, B en a ocurre:
i) A B a.
ii) XA a.
8 Captulo 1. Conjuntos numerables, relaciones de equivalencia y algebra de conjuntos.
Ejemplos
1. Si a = T(X), entonces a es una algebra de conjuntos.
2. Sea X R
2
un conjunto con area nita y a = A X / A tiene area. Entonces a es
una algebra de conjuntos.
3. Si a = A Q / A es contable , entonces a es una algebra de conjuntos.
Sea a una algebra de conjuntos. Si A, B son elementos de a se tiene:
a) A B a, pues A B =
_
A B

.
b) AB a, pues AB = A B.
c) a y X a.
De b) se sigue que toda algebra de conjuntos es un anillo de conjuntos.
Sea r = T
f
(Q) =partes nitas de Q, r es un anillo de conjuntos que no es un algebra de
conjuntos.
Nota: Si r T(X) es un anillo de conjuntos y X r, entonces r es una algebra de
conjuntos.
Lema 2. Sea a
i

iI
, a
i
T(X), una familia de algebras de conjuntos. La interseccion
a =

iI
a
i
tambien es una algebra de conjuntos.
Teorema 2. Sea ,= c T(X). Existe una menor algebra de conjuntos a T(X) tal que
c a.
Demostraci on: Sea a
i

iI
la familia de todas las algebras a
i
T(X) tales que c a
i
.
Esta familia es no vaca pues T(X) es una de ellas. Entonces la intersecci on a =

a
i
es
una algebra de conjuntos que satisface las condiciones del teorema.
El algebra construida en este teorema se llama algebra generada por c.
Denici on 14. Sea ,= a T(X). a se llama una - algebra de
conjuntos si:
i) / a implica X/ a.
ii) Si (/
i
)
iN
una sucesi on de elementos de a y / =

_
i=1
/
i
entonces
/ a.
iii) X a.
Ejemplos de -algebras
1. Si a = T(X) entonces a es una - algebra de conjuntos.
2. Si a = / R / / o / es contable entonces a es una - algebra de conjuntos.
1.3.

Algebra de conjuntos. 9
Sea a una - algebra de conjuntos
i) X a entonces = X a.
ii) Si A
i
a, 1 i m, tomando /
i
= para i > m se obtiene :

_
i=1
/
i
=

_
i=1
/
i
a.
iii) Si /
i
a, i N, entonces:

i=1
/
i
=
_

i=1
/
i
_
a.
tambien

i=1
/
i
=
_

i=1
/
i
_
a.
Lema 3. Si a
i

iI
, a
i
T(X), es una familia de - algebras de conjuntos, entonces la
intersecci on a =

iI
a
i
tambien es una - algebra de conjuntos.
Teorema 3. Si ,= r T(X), entonces existe una menor - algebra de conjuntos a T(X)
tal que c a.
Tomemos u =familia de los conjuntos abiertos de los n umeros reales.
Sabemos que existe una menor - algebra de conjuntos B T(R) tal que u B.
Los elementos de B se llaman conjuntos de Borel.
Denici on 15. Un conjuntos que es la uni on numerable de conjuntos
cerrados se llama un T

-conjunto.
Ejmplo: Todo intervalo abierto acotado es un T

-conjunto, pues:
< a, b >=

_
n=1
_
a +
1
n
, b
1
n
_
.
Denici on 16. Un conjunto que puede expresarse como la interseccion
numerable de conjuntos abiertos se llama un (

-conjunto.
Ejemplo: Todo intervalo cerrado y acotado es un (

-conjunto, pues:
[a, b] =

n=1
_
a
1
n
, b +
1
n
_
.
todo conjunto abierto y todo conjunto cerrado es un conjunto de Borel.
Notaci on: T

indica conjuntos que pueden expresarse como la intersecci on de una familis

numerable de T

-conjuntos.
Ejercicio: Si a T(X) es una algebra de nonjuntos y ,= Y X. Verica que a
1
=
/ Y / / a tambien es una algebra de conjuntos.
10 Captulo 1. Conjuntos numerables, relaciones de equivalencia y algebra de conjuntos.
2
Elementos de la medida de Lebesgue en R.
2.1. Limitaciones de la integral de Riemann.
a) La funci on f
0
: [0, 1] R denida mediante:
f
0
(x) =
_
1 , si x es racional
0 , si x es irracional
no es intregable seg un Riemann.
b) Sea r
1
, r
2
, . . . una ordenacion de los n umeros racionales en [0, 1]. Para cada n N
denamos la funcion f
n
: [0, 1] R mediante:
f
n
(x) =
_
1 , si x r
1
, r
2
, . . . , x
n

1 , si x [0, 1]r
1
, r
2
, . . . , x
n

(f
n
) es una sucesi on no decreciente de funciones acotadas tal que:
lm
n
f
n
(x) = f(x).
para todo x [0, 1].
(f
n
) es una sucesion de funciones integrables seg un Riemann que converge a un funci on
que no es integrable seg un Riemann.
En el captulo 4 veremos que la funcion f
0
es integrable seg un Lebesgue y que:
lm
n
_
1
0
f
n
=
_
1
0
f
0
.
c) Sea r la coleccion de tdodas las funciones f : [0, 1] R que son integrables seg un
Riemann. Denamos: d(f, g) =
_
1
0
[f g[; d : r r R; d es una metrica en r, con
las identicaciones necesarias en r. Si (f
n
) es la sucesi on de funciones denidas en b),
entonces d(f
n
, f
m
) =
_
1
0
[f
n
f
m
[ = 0. Luego, (f
n
) es una sucesion de Cauchy en r que
no converge, es decir que (r, d) no es un espacio metrico completo.
Si L[0, 1] es la colecci on de todas las funciones f : [0, 1] R que son integrables seg un
Lebesgue y denimos d : L[0, 1] L[0, 1] R mediante
d(f, g) =
_
1
0
[f g[
entonces veremos que (L[0, 1], d) es un espacio metrico completo.
11
12 Captulo 2. Elementos de la medida de Lebesgue en R.
2.2. Longitud de un intervalo.
Si I es un intervalo de extremos a, b (a b), denimos la longitud (I) del intervalo I
como:
(I) = b a ; (I) [0, +].
La longitud del conjunto vaco se dene como cero, () = 0.
Conjunto elemental: Un conjunto E R se llama elemental si existe un n umero nito
de intervalos I
1
, I
2
, . . . , I
m
de extremos a
i
, b
i
( < a
i
< b
i
< +, i = 1, 2, . . . , m) tales que:
a) I
i
I
j
= si i ,= j.
b)
m
_
i=1
I
i
= E
Denici on 1. Si E es un conjunto elemental , E =

m
i=1
I
i
, denimos
su longitud, (E), mediante :
(E) =
m

i=1
(I
i
)
Nota: Si un conjunto lelemental E puede escribirse como E =
m
_
i=1
I
i
y tambien como E =
k
_
i=1
J
i
,
(I
i
I
j
= , J
i
J
j
= si i ,= j), entonces:
m

i=1
(I
i
) =
k

j=1
(J
j
) .
En efecto: I
i
=
k
_
j=1
(I
i
J
j
), luego: (I
i
) =
k

j=1
(I
i
J
j
);
m

i=1
(I
i
) =
m

i=1
k

j=1
(I
i
J
j
). An aloga-
mente:
k

j=1
(J
j
) =
m

i=1
k

j=1
(I
i
J
j
).
La longitud (E), denida para conjuntos elementales, satisface las siguientes propiedades:
i) Si E es un conjunto elemental entonces (E) 0.
ii) Si E
1
, E
2
, . . . , E
m
es un n umero nito de conjuntos elementales dos a dos disjuntos, en-
tonces
m
_
i=1
E
i
tambien es n conjunto elemental y se tiene:

_
m
_
i=1
E
i
_
=
m

i=1
(E
i
) .
Nuestro objetivo es extender el concepto de longitud a una clase de conjuntos m as generales que
la clase de los conjuntos elementales, de modo que las propiedades i) y ii) sigan cumpliendose.
2.3. Longitud de un conjunto abierto. 13
2.3. Longitud de un conjunto abierto.
Sea G R un conjunto abierto, G es la reunion de una colecci on nita o numerable de
intervalos abiertos y disjuntos: G =
_
kN

k
, (N

= 1, 2, . . . , n o N

= N ).
Denimos:
(G) =

kN

(
k
)
m(G) [0, +].
Lema 1. Si un n umero nito I
1
, I
2
, . . . , I
m
de intervalos dos a dos disjuntos est an contenidos
en un intervalo , entonces:
m

i=1
(I
i
) () .
Demostraci on: Sea =< , >, I
i
=intervalos de extremos a
i
, b
i
(a
i
< b
i
). Podemos suponer
que a
1
< a
2
< < a
m
. Entonces b
i
a
i+1
(i = 1, 2, . . . , m1), luego:
S = ( b
m
) + (a
m
b
m1
) + + (a
2
b
1
) + (a
1
) 0 .
() =
m

i=1
(I
i
) +S
m

i=1
((I
i
))

Corolario 1. Si una familia numerable de intervalos (I

i
)
iJ
dos a dos disjuntos est an contenidos
en un intervalo , entonces:

i=1
(I
i
) () .
Teorema 1. Sean G
1
, G
2
dos cnjuntos abiertos. Si G
1
G
2
entonces (G
1
) (G
2
).
Demostraci on: G
1
=
_
i

i
, G
2
=
_
j

j
, donde
i
,
j
son colecciones nitas o numera-
bles de intervalos abiertos y disjuntos.
Como G
1
G
2
, cada
i
est a contenido en uno y s olo un intervalo
k
, entonces:
(G
1
) =

i
(
i
) =

k
(
i
) .
Como

k
(
i
) (
k
) se tiene:
(G
1
)

k
(
k
) = (G
2
)

Lema 2. Sean < a

1
, b
1
>, < a
2
, b
2
>, . . . , < a
m
, b
m
> una colecci on nita de intervalos abiertos.
Si [a, b]
m
_
i=1
< a
i
, b
i
>, entonces:
b a
m

i=1
(b
i
a
i
) .
14 Captulo 2. Elementos de la medida de Lebesgue en R.
Demostraci on: Denotemos con < a
i
1
, b
i
1
> un intervalo de < a
i
, b
i
> que contenga al punto
a, a
i
1
< a < b
i
1
. Si b
i
1
b, elegimos un intervalo < a
i
2
, b
i
2
> en < a
i
, b
i
> que contenga al
punto b
i
1
, o sea: a
i
2
< b
i
1
< b
i
2
. Si b
i
2
b elegimos un intervalo < a
i
3
, b
i
3
> en < a
i
, b
i
> tal
que a
i
3
< b
i
2
< b
i
3
.
De este modo seo btiene una colecci on: < a
i
1
, b
i
1
>, < a
i
2
, b
i
2
>, . . . , < a
i
k
, b
i
k
> de intervalos
en < a
i
, b
i
>
iim
tal que:
i) b
i
k1
b < b
i
k
ii) a
i
j+1
< b
i
j
para 1 j k 1
iii) [a, b]
k
_
j=1
< a
i
j
, b
i
j
>.
Luego:
k

j=1
(b
i
j
a
i
j
) = (b
i
1
a
i
1
) + (b
i
2
a
i
2
) + + (b
i
k
a
i
k
)
> (a
i
2
a
i
1
) + (a
i
3
a
i
2
) + + (b
i
k
a
i
k
)
= b
i
k
a
i
1
> b a .
m

i=1
(b
i
a
i
)
k

j=1
(b
i
j
a
i
j
) > b a .

Lema 3. Sea J
i

iN
una coleccion numerable de intervalos abiertos. Si I es un intervalo de
extremos a, b tal que I

_
i=1
J
i
, entonces
(I)

i=1
(J
i
) .
Demostraci on:
a) Supongamos que I es un intervalo acotado. Sea: 0 < <
b a
2
, [a +, b ]

_
i=1
J
i
.
Como [a + , b ] es compacto existe m N tal que [a + , b ]

_
i=1
J
i
. Entonces,
por el Lema anterior, se tiene b a 3
m

i=1
(J
i
)

i=1
(J
i
), para todo > 0 tal que
<
b a
2
, lo cual implica:
(I) = b a

i=1
(J
i
) .
b) Supongamos que I es un intervalo no acotado. Para cada M > 0 o existe un intervalo
cerrado [, ] I tal que M; [, ]

_
i=1
J
i
. Existe m N tal que [, ]
m
_
i=i
J
i
,
luego:
m

i=1
(J
i
)

i=1
(J
i
).
2.3. Longitud de un conjunto abierto. 15
Entonces

i=1
(J
i
) M para todo n umero real M > 0 y por tanto:

i=1
m(J
i
) = +

Teorema 2. Sea G
k

kN
una familia nita o numerable de conjuntos abiertos y disjuntos dos
a dos. Si G =

kN

G
k
entonces
(G)

kN

(G
k
) .
Demostraci on: Sea
k
i
, (i = 1, 2, . . .) los intervalos componentes de G
k
, G
k
=

iN

k
i
, entonces
la coleccion de intervalos
k
i
/ k N

, i N

k
son los intervalos componentes de G, luego:
(G) =

i,k
(
k
i
) =

kN

_
_

iN

k
(
k
i
)
_
_
=

kN

(G
k
) .

Teorema 3. Sea G
k

kN
una colecci on nita o numerable de conjuntos abiertos. Si G =

kN

G
k
, entonces:
(G)

kN

(G
k
) .
Demostraci on: Sea
I
/ i = 1, 2, . . . los intervalos componentes de G, y
k
j
/ j N

k
los
intervalos componentes de G
k
, entonces:
G =
_
i

i
=
_
kN

G
k
,
i
=
_
kN

(G
k

i
) .
Como G
k
=
_
jN

k
j
se tiene:
G
k

i
=
_
jN

k
(
k
j

i
) ,
luego:

i
=
_
kN

_
_
_
jN

k
(
k
j

i
)
_
_
.
Unsando el Lema 3 se obtiene:
(
i
)

kN

jN

k
(
k
j

i
) =

kN

(G
k

i
)
pues G
k

i
=
_
jN

k
=
_
jN

(
k
J

i
) es uni on de conjuntos abiertos y disjuntos. Entonces:
(G) =

i
(
i
)

i
_

kN

(G
k

i
)
_
=

kN

i
(G
k

i
)
_
.
16 Captulo 2. Elementos de la medida de Lebesgue en R.
Pero G
k
=
_
i
(G
k

i
) es uni on nita o numerable de conjuntos abiertos y disjuntos, luego:
(G
k
) =

i
(G
k

i
) y por tanto:
(G)

kN

(G
k
) .

2.4. Longitud de conjuntos compactos.

Sea F R un conjunto compacto, a = mn F, b = mn F, entonces [a, b]F es un conjunto
abierto y por tanto esta denido ([a, b]F).
Denici on 2. Sea F R un conjunto compacto, a = mn F, b =
mn F, denimos
(F) = b a ([a, b]F) .
Como [a, b]F es una uni on nita o numerable de intervalos abiertos y disjuntos contenidos en
[a, b] se tiene:
([a, b]F) b a ;
luego (F) 0.
Ejemplo: Si
A
1
=
_
1
3
,
2
3
_
,
A
2
=
_
1
9
,
2
9
_

_
7
9
,
8
9
_
,
A
3
=
_
1
27
,
2
27
_

_
7
27
,
8
27
_

_
19
27
,
20
27
_

_
25
27
,
26
27
_
,
=
Figura 2.1: falta gura
y A =

_
n=1
A
n
; A
n
tiene 2
n1
subintervalos abiertos, dos a dos disjuntos, cada uno de longitud
1
3
n
, luego: (A
n
) =
2
n1
3
n
.
(A) =

n=1
(A
n
) =

n=1
2
n1
3
n
= 1 .
Si E
0
= [0, 1]A entonces mn E
0
= 0, m ax E
0
= 1, E
0
es un conjuntos compacto y su longitud
es:
(E
0
) = (1 0) ([0, 1]E
0
) = 1 (A) = 0 .
2.4. Longitud de conjuntos compactos. 17
Lema 4. Sea F R un conjunto compacto y A, B n umeros reales tales que F < A, B >,
entonces (F) = (B A) (< A, B > F).
Demostraci on: Sean a = mn F, b = m ax F. Es suciente tener en cuenta que:
< A, B > F =< A, a > < b, B > ([a, b]F) .

Teorema 4. Sean F
1
, F
2
dos conjuntos compactos. Si F
1
F
2
entonces
(F
1
) (F
2
) .
Demostraci on: Sea < A, B > un intervalo abierto acotado tal que F
2
< A, B >, entonces
< A, B > F
2
< A, B > F
1
, (< A, B > F
2
) (< A, B > F
1
).
(B A) (< A, B > F
1
) (B A) (< A, B > F
2
) ,
entonces
(F
1
) (F
2
) .

Corolario 2. La longitud de un conjunto compacto F R es el supremo de las longitudes de

todos los cnjuntos cerrados contenidos en F.
Teorema 5. La longitud de un conjunto abierto G es el supremo de las longitudes de todos
los conjuntos compactos contenidos en G.
Demostraci on:
a) Sea F G un conjunto compacto. Si < A, B > es un intevalo abierto y acotado tal que
F < A, B >, llamando G
1
= G < A, B >, se tiene < A, B >= G
1
(< A, B > F),
B A (G
1
) +(< A, B > F) ,
por tanto: (F) (G
1
) (G).
b) Sea < a
k
, b
k
>
kN
los intervalos componentes de G, entonces:
(G) =

kN

(b
k
a
k
) .
i) Si (G) < +, por denicion de serie convergente, dado > 0, existe m N tal que
m

k=1
(b
k
a
k
) > (G)

2
.
Para cada k = 1, 2, . . . , m tomemos
k
tal que 0 <
k
< mn
_
b
k
a
k
2
,

4m
_
. Si

k
= a
k
+
k
,
k
= b
k

k
entonces [
k
,
k
] < a
k
, b
k
>, y:
([
k
,
k
]) =
k

k
= b
k
a
k
2
k
> (< a
k
, b
k
>)

2m
.
Si F
0
=
m
_
k=1
[
k
,
k
] se tiene que F
0
es compacto, F
0
G, y:
(F
0
) =
m

k=1
(
k

k
) >
m

k=1
(b
k
a
k
)

2
> (G) .
O sea (F
0
) > (G) .
18 Captulo 2. Elementos de la medida de Lebesgue en R.
ii) Si (G) = +. Dado M > 0, existe m N tal que
m

k=1
(b
k
a
k
) > 2M.
ii) Si existe alg un intervalo < a
k
0
, b
k
0
> no acotado 1 k
0
m, tomamos [, ] <
a
k
0
, b
k
0
> tal que > M, [, ] G.
ii) Si todos los intervalos < a
k
, b
k
>, 1 k m son acotados; para cada k =
1, 2, . . . , m tomamos
k
tal que 0 <
k
< mn
_
b
k
a
k
2
,
M
2m
_
. Si
k
= a
k
+
k
,

k
= b
k
+
k
, entonces: [
k
,
k
] < a
k
, b
k
>, y

k

k
= b
k
a
k
2
k
> b
k
a
k

M
m
.
Luego, si (G) = +, dado cualquier M > 0, siempre existe F
0
G compacto
tal que (F
0
) > M; por tanto:
sup(F) / F G, F compacto = + = (G) .

Teorema 6. La longitud de un conjunto compacto F R es el nmo de las longitudes de

todos los conjuntos abiertos que contiene al conjunto F.
Demostraci on:
a) Sea G un conjunto abierto tal que F G. Por el Teorema 5 se tiene que:
(F) (G) .
b) Sea > 0 y < A, B > un intervalo abierto y acotado tal que F < A, B > F es un
conjunto abierto acotado, entonces usando el Teorema 5 se obtiene un conjunto cerrado
F
0
< A, B > tal que (F
0
) > (< A, B > F) .
El conjunto: G
0
=< A, B > F
0
es un conjunto abierto, F G
0
y como F
0
< A, B >
se tiene
(F
0
) = (B A) (< A, B > F
0
)
= (B A) (G
0
) .
Entonces
(G
0
) = (B A) (F
0
)
< (B A) (< A, B > F) + < (F) + .
O sea (G
0
) < (F) +.

Teorema 7. Se F
1
, F
2
son dos conjuntos compactos y disjuntos, entonces
(F
1
F
2
) = (F
1
) (F
2
) .
Demostraci on:
a) Sea G un conjunto abierto tal que F
1
F
2
G, y d = dist(F
1
, F
2
) > 0. Para cada
x F
1
F
2
posemos elegir un intervalo abierto I
x
tal que I
x
G y (I
x
) <
d
2
. Siendo
2.5. Medida exterior y medida interior de conjuntos A R. 19
F
1
F
2
un conjunto compacto, existe un n umero nito de intervalos abiertos I
x
1
, . . . , I
x
m
talqe que F
1
F
2

m
_
j=1
I
x
j
G. Denamos:
G
1
= I
x
j
/ I
x
j
F
1
,= .
G
2
= I
x
j
/ I
x
j
F
2
,= .
Entonces F
1
G
1
, F
2
G
2
, G
1
G
2
= , G
1
G
2
=
m
_
j=1
I
x
j
(F
1
) +(F
2
) (G
1
) +(G
2
) = (G
1
G
2
)
=
_

m
j=1
I
x
j
_
(G) ,
(F
1
) +(F
2
) (G) para todo conjunto abierto G tal que F
1
F
2
G. Entonces
(F
1
) +(F
2
) nf
_
(G)
_
F
1
F
2
G
G abierto
_
= (F
1
F
2
) .
O sea: (F
1
) +(F
2
) (F
1
F
2
).
b) Sean U, V conjuntos biertos tales que F
1
U, F
2
V , entonces: F
1
F
2
U V .
(F
1
F
2
) (U V ) (U) +(V ) .
Tomando nmos en el segundo miembro se obtiene:
(F
1
F
2
) (F
1
) +(F
2
)

2.5. Medida exterior y medida interior de conjuntos A

R.
Denici on 3. Para cualquier conjuntos A R denimos la medida
exterior m

A y la medida interior m

A de la manera siguiente:
m

A = nf(G) / A G, G abierto
m

A = sup(F) / F A, F compacto .
Nota: Sea G un conjunto abierto y F un conjunto compacto, usando los Teoremas 5 y 6 se
obtiene:
m

G = (G) = m

G .
m

F = (F) = m

F .
De la denici on de medida exterior y de medida interior se obtiene la siguiente:
Proposicion 1.
20 Captulo 2. Elementos de la medida de Lebesgue en R.
a) Para cualquier subconjunto A R se tiene m

A m

A.
b) Si A, B son subconjuntos de R y A B entonces m

A m

B y m

A m

B.
Proposicion 2. Si I es un intervalo de extremos a, b entonces: m

I = (I) = m

I.
Proposicion 3. Sea A
k

kN
una colecci on nita o numerable de subconjuntos de R, entonces:
m

_
_
kN

A
k
_

kN

A
k
.
Demostraci on:
i) Si

kN

A
k
= +, la proposici on es verdadera.
ii) Supondremos entonces que

kN

A
k
< +. Sea > 0; para cada k N

tomamos un
conjunto abierto G
k
tal que A
k
G
k
y (G
k
) m

A
k
+

2
k
, entonces:
_
kN

A
k

_
kN

G
k
.
m

_
_
kN

A
k
_

_
_
kN

G
k
_

kN

(G
k
)

kN

_
m

A
k
+

2
k
_

kN

A
k
+T .
para todo > 0, luego:
m

_
_
nN

A
k
_

kN

A
k

Teorema 8. Sea A
k

kN
una coleccion nitia o numerable de R dos a dos disjuntos. Entonces
m

_
_
kN

A
k
_

kN

A
k
.
Demostraci on:
a) Sean F
1
, F
2
conjuntos compactos tales que F
1
A
1
, F
2
A
2
, entonces F
1
F
2
es un
conjunto compacto, F
1
f
2
A
1
A
2
, F
1
F
2
= , y por tanto:
m

(A
1
A
2
) (F
1
F
2
) = (F
1
) +(F
2
) .
Tomando supremos en el segundo miembro se obtiene:
m

(A
1
A
2
) m

A
1
+m

A
2
.
b) Si N

= 1, 2, . . . , m, usando inducci on se obtiene:

m

_
m
_
k=1
A
k
_

k=1
m

A
k
.
2.6. Conjuntos medibles. 21
c) Si N

= N entonces:
n
_
k=1
A
k

_
k=1
A
k
para todo n N,
m

_
k=1
A
k
_
m

_
n
_
k=1
A
k
_

k=q
m

A
k
.
n

k=1
m

A
k
m

_
k=1
A
k
_
, para todo n N, leugo:

k=1
m

A
k
m

_
k=1
A
k
_
.

2.6. Conjuntos medibles.

Denici on 4. Un conjunto acotado A R se llama medible si
m

A = m

A .
El valor com un de estas dos medidas se llama la medida de Lebesgue del conjunto A y se
dene con mA, es decir
m

A = mA = m

A .
Ejemplos: Los conjuntos abiertos y acotados y los conjuntos compactos son conjuntos medibles.
Denici on 5. Un conjuntos A R se llama medible si para cada
n N el conjunto A [n, n] es medible.
Si A R es medible, denimos su medida mA como:
mA = lm
n
m(A [n, n]) .
Lema 5. Sea (a
ij
) una sucesi on doble de n umeros reales no-negativos tal que;
i) a
ij
a
i(j+1)
,
ii) a
ij
a
(i+1)j
para todo i, j en N. Entonces:
lm
i
_
lm
j
a
ij
_
= lm
j
_
lm
i
a
ij
_
Demostraci on: Las condiciones i) y ii) nos permiten denir:
b
i
= lm
j
a
ij
, c
j
= lm
i
a
ij
22 Captulo 2. Elementos de la medida de Lebesgue en R.
(b
i
) y (c
j
) son sucesiones no-decrecientes, por tanto existen los lmites:
b = lm
i
b
i
; c = lm
j
c
j
en [0, +]. Como a
ij
b
i
b para todo i, j en N se tiene:
c
j
= lm
i
a
ij
b ; c = lm
j
c
j
b .
O sea c b. Similarmente b c
Teorema 9. Sea A
k

kN
una colecci on nita o numerable de conjuntos medibles y dos a dos
disjuntos, entonces
_
kN

A
k
es medible y
m
_
_
kN

A
k
_
=

kN

mA
k
.
Demostraci on:
i) Si
_
kN

A
k
es acotado:

kN

mA
k
=

kN

A
k
m

_
kN

A
k

_
_
kN

A
k
_


kN

A
k
=

kN

mA
k
.
Lo cual prueba que
_
kN

A
k
es medible y que
m
_
_
kN

A
k
_
=

kN

mA
k
.
ii) Si
_
kN

A
k
no es acotado.
_
_
kN

A
k
_
[n, n] =
_
kN

(A
k
[n, n]) , n N (*)
Como A
k
es medible, A
k
[n, n] es medible para todo n N. Por i)
_
_
kN

A
k
_
[n, n]
es medible para todo n N. Luego
_
kN

A
k
es medible.
De (*) se obtiene:
m
__
_
kN

A
k
_
[n, n]
_
=

kN

m(A
k
[n, n])
2.6. Conjuntos medibles. 23
a) Si N

= 1, 2, . . . , m .
m
__
m
_
k=1
A
k
_
[n, n]
_
=
m

k=1
m(A
k
[n, n]) .
m
_
_
kN

A
k
_
= lm
n
_
m

k=1
m(A
k
[n, n])
_
=
m

k=1
lm
n
m(A
k
[n, n])
=
m

k=1
mA
k
.
b) Si N

= N.
m
__

_
k=1
A
k
_
[n, n]
_
=

k=1
m(A
k
[n, n])
= lm
r
r

k=1
m(A
k
[n, n]) .
m
_

_
k=1
A
k
_
= lm
n
_
lm
r
r

k=1
m(A
k
[n, n])
_
y usando el lema 5 se obtiene:
m
_

_
k=1
A
k
_
= lm
r
_
lm
n
r

k=1
m(A
k
[n, n])
_
= lm
r
_
r

k=1
lm
n
m(A
k
[n, n])
_
= lm
r
r

k=1
mA
k
=

k=1
mA
k
.

Nota: Si G R es un conjunto abierto y acotado y F G es un conjunto cerrado, entonces

GF es un conjunto abierto y acotado, por tanto F y GF son conjuntos medibles. y de
G = F (GF) se obtiene: mG = mF +m(GF), luego:
m(GF) = mGmF .
Lema 6. Un conjunto acotado A R es medible si y s olo si para cada > 0 existe un conjunto
compacto K y un conjunto abierto y acotado G tales que K A G y m(GK) < .
Teorema 10. Sean A, B conjuntos acotados y medibles. Entonces AB, A B y A B son
medibles.
Demostraci on:
24 Captulo 2. Elementos de la medida de Lebesgue en R.
a) Dado > 0, sean G
1
, G
2
conjuntos abiertos y acotados y K
1
, K
2
conjuntos compactos
tales que K
1
A G
1
, K
2
B G
2
, m(G
1
K
1
) <

2
, m(G
2
K
2
) <

2
.
Sean H = G
1
K
2
, L = K
1
G
2
; H es abierto y scotado, L es compacto y L AB H.
HL = H
_
K
1
G
2

=
_
H K
1

[H G
2
]
=
_
H K
1

_
G
1
K
2
G
2

_
G
1
K
1

_
G
2
K
2

(G
1
K
1
) (G
2
K
2
)
HL (G
1
K
1
) (G
2
K
2
) .
m

(HL) m

(G
1
K
1
) +m

(G
2
K
2
) .
Como HL, G
1
K
1
, G
2
K
2
son conjuntos medibles se tiene:
m(HL) m(G
1
K
1
) +m(G
2
K
2
) < .
Por el Lema 6, AB es medible.
b) Como A B = (AB) (BA) (A B) se tiene que A B es uni on de conjuntos
medibles, acotados y dos a dos disjuntos. El teorema 9 dice que A B es medible.

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

medible para todo n N, leugo F es medible.
Nota 2: (AB) [n, n] = A[n, n]B [n, n]. Por el Teorema 10, (AB) [n, n]
es medible para todo n N y por tanto AB es medible.
En particular, si A R es medible, entonces A = RA es medible.
Tambien si G R es un conjunto abierto, entonces G =
_
G
_
, lo cual prueba que G es
medible.
Nota 3: Si A, B son subconjuntos medibles de R, entonces:
(A B) [n, n] = (A [n, n]) (B [n, n]) .
El Teorema 10 dice que (A B) [n, n] es medible para todo n N por tanto A B es
medible.
Por induccion, si A
1
, A
2
, . . . , A
m
son subconjuntos medibles de R, entonces
m
_
i=1
A
i
tambien
es medible.
Teorema 11. Sea A
k

kN
una coleccion nita o numerable de conjuntos medibles, entonces
_
kN

A
k
es medible y
m
_
_
kN

A
k
_

kN

mA
k
.
Demostraci on:
a) Caso numerable N

= N. Sean B
1
= A
1
, B
k
= A
k

_
k1
_
i=1
A
i
_
, entonces B
k

kN
es una
sucesi on de conjuntos medibles, dos a dos disjuntos y

_
k=1
A
k
=

_
k=1
B
k
,

_
k=1
B
k
es medible
2.6. Conjuntos medibles. 25
y por tanto

_
k=1
A
k
es medible y:
m
_

_
k=1
A
k
_
= m
_

_
k=1
B
k
_

k=1
mB
k
.
B
k
A
k
entonces B
k
[n, n] A
k
[n, n] para todo n N, entonces mB
k
mA
k
.
Entonces
m
_

_
k=1
A
k
_

k=1
mA
k
.
b) Casi nito:
m
_
i=1
A
i
=

_
i=1
A
i
, A
i
= is i > m. Entonces
m
_
m
_
i=1
A
i
_

i=1
mA
i
=
m

i=1
mA
i
.

Denotemos:
m = A R / A es medible seg un Lebesgue .
m es una - algebra .
Teorema 12. Sea A
k

kN
una coleccion nita o numerable de conjuntos medibles, entonces

kN

A
k
es medible
Demostraci on:

kN

A
k
=
_
_
kN

A
k
_

Teorema 13. Sea A

i

iN
un sucesion de conjuntos medibles.
a) Si A
1
A
2
A
3
. . .., entonces:
m
_

_
n=1
A
n
_
lm
n
mA
m
.
b) Si A
1
A
2
A
3
. . . y mA
1
< , entonces
m
_

n=1
A
n
_
= lm
n
mA
m
.
Demostraci on:
26 Captulo 2. Elementos de la medida de Lebesgue en R.
a) Sean B
1
= A
1
, . . . , B
k
= A
k
A
k1
; B
k

kN
es una sucesi on de conjuntos medibles , dos
a dos disjuntos y

_
n=1
A
n
=

_
k=1
B
k
m
_

_
n=1
A
n
_
= m
_

_
k=1
B
k
_
=

k=1
mB
k
.
A
n
=

_
k=1
B
k
, entonces mA
n
=
n

k=1
mB
k
, entonces
lm
n
mA
n
=

k=1
mB
k
= m
_

_
n=1
A
n
_
.
b) A
1
A
2
A
1
A
3
A
1
A
4
. . .

_
n=2
(A
1
A
n
) = A
1

n=2
A
n
= A
1

n=1
A
n
y suando a) se obtiene:
m
_

n=1
A
n
_
= lm
n
mA
m
.

Nota: Si A, B son medibles y A

c
onB entonces mA mB
Proposicion 4. Para cualquier intervalo I se tiene
m(I) = (I) .
Proposicion 5. Para cualquier conjunto abierto G R se tiene mG = (G).
Teorema 14. Sea E R un conjunto medible y > 0, entonces:
i) Existe G R abierto tal que E G y m(GE) < .
ii) Existe F R cerrado tal que F E y m(EF) < .
iii) Si m(E) < , existe F R compacto tal que F E y m(EF) < .
Demostraci on:
i.1) Si E es acotado
mE =nf(G) / E G, G abierto ,
entonces existe un conjunto abierto G
0
tal que E G
0
y (G
0
) < mE+. Sean < a, b > un
intervalo abierto y acotado tal que E < a, b >, entonces E < a, b > G
0
= G, G G
0
,
G es abierto y acotado, G es medible, mG = (G) (G
0
) < mE + . mG < mE + ,
entonces
m(GE) < .
2.6. Conjuntos medibles. 27
i.2) Supongamos ahora que E no es acotado. Para cada n N, E [n, n] es medible y
acotado. Entonces existe un conjunto abierto y acotado G
n
tal que E [, n] G
n
y
m(G
n
E [n, n]) <
T
2
n
. Sea G =

_
n=1
G
n
, E =

_
n=1
E [n, n] G. G es abierto y
GE

_
n=1
(G
n
E [n, n]).
m(GE) m
_

_
n=1
(G
n
E [n, n])
_

n=1
m(G
n
E [n, n])
<

n=1

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

2
< mE
n
, luego
m(EE
n
) <
T
2
, E
n
es medible, por ii) existe F E
n
cerrado tal que m(E
n
F) <

2
.
Como E
n
es acotado, F es compacto. Como F E
n
E se tiene:
(EF) = (EE
n
) (E
n
F)
m(EF) = m(EE
n
) +m(E
n
F) <
m(EF) < .

Proposicion 6. Si E R es un conjunto medible, entonces

m

E = m

E = mE .
Demostraci on:
a) Supongamos que mE < .
Entonces existen G R conjunto abierto y F R conjunto compacto tales que F
E G, m(GE) < , m(EF) < , entonces: mGmE < , mE mF < .
m

E (G) = mG < mE + .
m

E (F) = mF > mE .
m

E 2 < mE < m

E para todo > 0. Cuando 0 se obtiene:

m

E mE m

E .
28 Captulo 2. Elementos de la medida de Lebesgue en R.
b) Si mE = +.
E [n, n] es medible y acotado para todo n N, luego: E [n, n] E
m(E [n, n]) = m

(E [n, n]) m

E .
para todo n N, entonces
lm
n
m(E [n, n]) m

E .
Entonces
mE = m

E = m

E = + .

Proposicion 7. Sea M R un subconjunto medible con m(M) < y H M, entonces:

a) m

= (MH) = mM m

H.
b) m

= (MH) = mM m

H.
Demostraci on:
a) Dado > 0, existe G abierto tal que M G y m(GM) <

2
, mG mM <

2
.
Como m

H < , existe F H compacto tal que mF > m

H

2
. GF es abierto y
MH = M H G F, MH GF, luego:
m

(MH) m(GF) = mGmF

<
_
mM +

2
_

_
m

H

2
_
.
m

(MH) < mM m

H + para todo > 0, luego:

m

(MH) m(M) m

H .
Por otra parte: existe F
1
M compacto tal que m(MF
1
) <

2
, y existe G
1
R abierto
tal que MH G
1
y mG
1
< m

(MH) +

2
; F
1
G
1
es compacto y F
1
G
1
H,
entonces (F
1
G
1
) m

H. F
1
G
1
G
1
entonces m(F
1
G
1
) mG
1
.
m(G
1
) +m(F
1
G
1
) m(F
1
G
1
) +m(F
1
G
1
)
= mF
1
> m(M)

2
.
Luego:
m

(MH) +m

H >
_
m(G
1
)

2
_
+m(F
1
G
1
) > m(M) , > 0 .
Luego:
m

(MH) m(M) m

(H) .
Por tanto:
m

(MH) = m(M) m

(H) .
2.6. Conjuntos medibles. 29
b) Ahora denotando H
1
= MH M y usando la parte a) se tiene:
m

(MH
1
) = m(M) m(

H
1
) ,
m

(H) = m(M) m

(MH) , o
m

(MH) = m(M) m

(H) .

Teorema 15. Un subconjunto E R es medible si y solo si:

m

A = m

(A E) +m

(A E) .
para todo A R.
Demostraci on:
a) Supongamos que E es medible, entonces E es medible. Sea > 0. Existen G
1
, G
2
abiertos tales que E G
1
, E G
2
, y m(G
1
E) < , m(G
2
E) < .
Pero:
G
1
G
2
= G
1
G
2
(E E)
= (G
1
G
1
E) (G
1
G
2
E)
(E G
2
) (G
1
E)
= (G
2
E) (G
1
E) .
Luego:
m(G
1
G
2
) m(G
2
E) +m(G
1
E) < 2 .
Veamos ahora que:
m

A m

(A E) +m

_
A E
_
(*)
para todo A R.
i) Si m

A = +, la desigualdad en () es verdadera.
ii) Supongamos entonces que m

A < . Existe G
3
abierto tal que A G
3
y mG
3
<
m

A+; G
3
G
1
, G
3
G
2
son conjuntos abiertos, AE G
3
G
1
, AE G
3
G
2
.
m

(A E) m(G
3
G
1
) , m

(A E) m(G
3
G
2
)
G
1
G
2
, G
2
G
1
, G
1
G
2
son dos a dos disjuntos y su union es G
1
G
2
, luego:
mG
3
m[G
3
(G
1
G
2
)]
= m
_
G
3

_
G
1
G
2
_
+m
_
G
3

_
G
2
G
1
_
+m[G
3
G
2
G
1
]
=
_
m
_
G
3
G
1
G
2

+m[G
3
G
1
G
2
]
_
+
_
m
_
G
3
G
2
G
1

+m[G
3
G
2
G
1
]
_
m[G
3
G
2
G
1
]
= m(G
3
G
1
) +m(G
3
G
2
) m[G
3
G
2
G
1
]
m(G
3
G
1
) +m(G
3
G
2
) m(G
1
G
2
) .
Entonces
mG
3
m

(A E) +m

_
A E
_
2 .
m

A + > mG
3
m

(A E) +m

_
A E
_
2
para todo > 0. Cuando 0 se tiene:
m

A m

(A E) +m

_
A E
_
.
30 Captulo 2. Elementos de la medida de Lebesgue en R.
Como A = (A E)
_
A E
_
se tiene:
m

A m

(A E) m

_
A E
_
;
por tanto:
m

A = m

(A E) +m

_
A E
_
, A R .
b) Reciprocamente, supongamos que se cumple:
m

A = m

(A E) +m

_
A E
_
, A R . (**)
Tomemos A R un conjunto medible y acotado A E A, AA E = AE, luego
usando la Proposici on 6 con A = M y A E = H se tiene:
m

(AE) = mA m

(A E) , o
mA = m

(A E) +c

(AE) .
De (**) se obtiene mA = m

(A E) + m

(AE) lo cual implica que m

(A E) =
m

(A E), es decir A E es medible para todo conjunot A R medible y acotado. En

particular A [n, n] es medible para todo n N

Ejercicios
1. Sea I
1
, I
2
, . . . , I
n
un n umero nito de intervalos, dos a dos disjuntos, contenidos en un
intervalo < a, b >. Probar que
n

i=1
(I
i
) b a.
2. Si A es un conjunto numerable, vericar que m

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

A +.
b) Probar que existe una sucesi on (O
n
)
nN
de conjuntos abiertos tal que A

n=1
O
n
y
m

A = m

n=1
O
n
_
.
5. Sea G R un conjunto abierto y a R un n umero real, vericar que (a +G) = (G).
Denici on 6. Sea B R y a R un n umero real, denimos:
a +B = a +x / x B .
6. Si A R es un conjunto y a R es un n umero real, probar que m

(a +A) = m

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

(a +A) = m

A.
9. Sean A, B subconjunto de R. Si m

B = 0, probar que m

(A B) = m

A.
10. Sea E un subconjunto de R y a R. Si E es medible probar que a +E es medible y que
m(a +E) = mE.
2.7. Existencia de conjuntos no medibles 31
2.7. Existencia de conjuntos no medibles
En el intervalo cerrado
_

1
2
,
1
2
_
denimao x1y si y s olo si x y Q. 1 es un relaci on de
equivalencia y por tanto divide a
_

1
2
,
1
2
_
en conjuntos disjuntos
_

1
2
,
1
2
_
=
_
iI
B
i
.
Usando el axioma de elecci on escogemos un punto a
i
en cada B
i
, i I, y formamos el
conjunto A = a
i
/ i I.
Sea 0, r
1
, r
2
, r
3
, . . . , una numeracion de los n umeros racionales en [1, 1] y denotamos: A
0
=
A, A
k
= r
k
+A para k 1, se tiene:
_

1
2
,
1
2
_

_
k=0
A
k

_

3
2
,
3
2
_
,
y A
m
A
n
= si m ,= n.
Supongamos que z A
m
A
n
; a A
m
= A +r
m
; z A
n
= A +r
n
; r
m
,= r
n
.
z = a
i
+r
m
, z = a
j
+r
n
; a
i
,= a
j
. a
i
, a
j
son elemento distintos de A. a
i
a
j
= r
n
r
m
Q,
a
i
1a
j
lo cual no es cierto, pues en A hya un solo elemento en cada clase de equivalencia. Por
tanto A
m
A
n
= .
Veamos que A es un conjunto no-medible. Como la medida interior y la medida exterior son
invariantes por traslaci on se tiene:
m

A
k
= m

A = , m

A
k
= m

A = .
Entonces se
_

1
2
,
1
2
_

_
k=0
A
k
se obtiene:
1 = m

1
2
,
1
2
_
m

_
k=0
_

k=0
m

A
k
.
1 + + + ; luego > 0.
De

_
k=0
A
k

_

3
2
,
3
2
_
se obtiene:
3 = m

3
2
,
3
2
_
m

_
k=0
A
k
_

k=0
m

A
k
.
3 + + + , luego = 0.
O sea: m

A < m

A y por tanto A no es medible.

Ejercicios
1. Si E R, vericar que los siguientes enunciados son equivalentes:
a) E es medible
b) Dado > 0 , existe un conjutno abierto O tal que E O y m

(OE) < .
c) Dado > 0, existe un conjunto cerrado F tal que F E y m

(EF) < .
d) Existe una sucesion (O
n
)
nN
de conjuntos abiertos tal que E

n=1
O
n
y
m

n=1
O
n
E
_
= 0.
32 Captulo 2. Elementos de la medida de Lebesgue en R.
e) Existe una sucesion (F
n
)
nN
de conjuntos cerrados tal que

_
n=1
F
n
E y
m

_
E

_
n=1
F
n
_
= 0.
Si m

E < , los anteriores enunciados son equivalentes con:

f) Dado > 0, existe una uni on nita de intervalos abiertos U tal que
m

(U E) < E .
2. Si E
1
, E
2
son conjuntos medibles, probar que
m(E
1
E
2
) +m(E
1
E
2
) = mE
1
+mE
2
.
3. Sea A R cualquier conjunto y E
1
, E
2
, . . . , E
n
una sucesi on nita y dos a dos disjuntos
de conjuntos medibles, probar que:
m

_
A
_
n
_
i=1
E
i
__
=
n

i=1
m

(A E
i
) .
4. Sea F un subconjunto de [0, 1] construido de la misma manera que e conjunto de Cantos,
excepto que cdad uno de los intervalos removidos en el n-esimo paso tiene longitud 3
n
con 0 < < 1. Entonces F es compacto, si A = [0, 1]F entonces A = [0, 1] y mF = 1.
5. Probar que los conjuntos medibles seg un Lebesgue de R forman una - algebra de conjun-
tos.
6. Probar que todo conjunto de Borel de R es un conjunto medible.
3
Funciones medibles.
3.1. Funciones medibles.
Los conjuntos abiertos de R son conjuntos abiertos de R y adem as los conjuntos de la forma
[, a >, < b, +] para todo a, b reales.
Denici on 1. Sea U un subconjunto de R. Una funcion f : U R se
llama medible en U si U es medible y el conjuntos x U / f(x) > c
es medible para cada n umero real c.
Nota: Sea f : U R una funcion y c R, entonces:
a) x U / f(x) c = Ux U / f(x) > c
b) x U / f(x) < c =

_
n=1
_
x U / f(x) c
1
n
_
c) x U / f(x) c = Ux U / f(x) < c
d) x U / f(x) > c =

_
n=1
_
x U / f(x) c +
1
n
_
.
Luego se tiene la siguiente proposicion:
Proposicion 1. Sea U R un conjunto medible. Una funcion f :R es medible si y s olo si,
para cada c R uno cualquiera de los siguientes conjuntos:
x U / f(x) c , x U / f(x) < c , x U / f(x) c
es medible.
Nota: Sea U R y f : U R una funcion,
f
1
(< a, b >) = x U / a < f(x) < b
= x U / f(x) > a x U / f(x) < b ,
luego f
1
(< a, b >) es un conjunto medible.
Si G R es un conjunto abierto, entonces G es una uni on nita o numerable de intervalos
abiertos y dos a dos disjuntos: G =
_
iN

I
i
, f
1
(G) =
_
iN

f
1
(I
i
), por tanto f
1
(G) es medible.
Luego se tiene la siguiente proposicion:
33
34 Captulo 3. Funciones medibles.
Proposicion 2. Sea U R un conjunto medible. Una funcion f : U R es medible si solo si
f
1
(G) es medible para todo conjunto G abierto en R.
Proposicion 3. Sea g : R R una funci on continua y U R un conjunto medible. Si
f : U R es una funci on medible, entonces la funci on compuesta h = g f es medible.
Denici on 2. Sea f : U R una funcion y a R.
a) Si a ,= 0, denimos (af)(x) = af(x), para todo x U.
b) Si a = 0, denimos (0f)(x) = 0, para todo x U.
c) Para cualquier n umero real a, denimos (f + a)(x) = f(x) + a,
para todo x U.
Se observa que si f : U R es una funci on medible, entonces para todo a R las funciones
af y a +f tambien son medibles.
Teorema 1.
a) Sean f, g : U R funciones medibles, entonces las funciones h
1
(x) = maxf(x), g(x),
h
2
(x) = mnf(x), g(x) tmabien son medibles.
b) Si f
i
: U R, i N es una sucesi on de funciones medibles, entonces las funciones
h
1
(x) = sup
iN
f
i
(x), h
2
(x) =nf
iN
f
i
(x) tambien son medibles.
Demostraci on:
a)
x U / h
1
(x) > c = x U / f(x) > c x U / g(x) > c
x U / h
2
(x) < c = x U / f(x) < c x U / g(x) < c
b)
x U / h
1
(x) > c =

_
i=1
x U / f
i
(x) > c
x U / h
2
(x) < c =

_
i=1
x U / f
i
(x) < c

Teorema 2. Sea f : U R una funcion medible, entonces:

a) Las funciones [f[ y f
2
son medibles.
b) Si para f(x) ,= 0 para todo x U, entonces las funciones
1
f
es medible.
c) Si f, g : U R son funciones medibles, entonces el conjunto x U / f(x) > g(x) es
medible. En consecuencia las funciones f g, f +g y fg son medibles.
Demostraci on:
3.2. Lmite superior y lmite inferior. 35
a) Como a funcion valor absoluto es continua, la proposici on 3 dice que la funci on [f[ es
medible.
x U / f
2
(x) > c =
_
U , si c < 0 .
x U / [f(x)[ >

c , si c 0 .
b)
_
x U /
1
f(x)
> c
_
=
_

_
x U / f(x) > 0 , si c 0 .
x U / f(x) > 0
_
x U / f(x) <
1
c
_
, si c > 0 .
x U / f(x) > 0 x U / f(x) < 0

_
x U / f(x) <
1
c
_
, si c < 0 .
c)
x U / f(x) > g(x) =
_
rQ
(x U / f(x) > r x U / g(x) < r) ,
donde Q es el conjunto de los n umeros racionales. Finalmente:
x U / f(x) g(x) > c = x U / f(x) > g(x) +c ,
f + g = f (g) y fg =
1
4
[(f +g)
2
(f g)
2
]. Por tanto las funciones f g, f + g y
fg son medibles.

3.2. Lmite superior y lmite inferior.

Sea (y
i
)
iN
una sucesion de elementos de R, y:
z
k
=nfy
i
/ i k , z
1
z
2
z
3
. . .
Denimos:
y
i
= lm
k
z
k
= supz
k
/ k N = sup
kN
_
nf
ik
y
i
_
.
lmnf y
i
se llama el lmite inferior de la sucesi on (y
i
)
iN
y se denota con lim
i
y
i
, es decir:
lim
i
y
i
= lminf y
i
.
An alogamente denimos:
lmsup y
i
= lm
k
_
sup
ik
y
i
_
= nf
kN
_
sup
ik
y
i
_
.
lmsup y
i
se llama el lmite superior de la sucesi on (y
i
)
iN
y se denota con lim
i
y
i
es decir
lim
i
y
i
= lmsup y
i
.
Nota:
1. lim
i
y
i
lim
i
y
i
.
36 Captulo 3. Funciones medibles.
2. lim
i
y
i
= lim
i
y
i
= l si y s olo si existe lm
i
y
i
= l.
Denici on 3. Si f
i
: U R, i N, es una sucesi on de funciones,
denimos f = lim
i
f
i
, g = lim
i
f
i
, mediante:
f(x) = lim
i
f
i
(x) , g(x) lim
i
f
i
(x)
Como
lim
i
f
i
= sup
iN
nf
ik
f
i
.
lim
i
f
i
= nf
kN
_
sup
ik
f
i
_
,
si (f
i
)
iN
es una sucesi on de funciones medibles, entonces las funciones lim
i
f
i
y lim
i
f
i
tambien
son medibles.
En particular, si (f
i
)
iN
es una sucesion de funciones medibles y existe f(x) = lm
i
f
i
(x)
para todo x U, entonces f es medible.
Funcion escalonada: Una funcion g : R R se llama escalonada si existe un intervalo
cerrado y acotado [a, b], una partici on:
a = x
0
< x
1
< . . . < x
n
= b
del intervalo [a, b] y n umeros reales c
1
, c
2
, . . . , c
n
tales que:
i) g(x) = c
i
, si x < x
i1
, x
i
>, i = 1, 2, . . . , n.
ii) g(x) = 0, si x [a, b].
Funcion caracterstica: Sea A un subconjunto de R, la funci on
A
: R R denida
mediante:

A
(x) =
_
1 , si x A
0 , si x ,= A
se llama la funci on caracterstica del conjunto A.
Funcion simple: Una funcion : R R se llama simple si existe un n umero nito
A
1
, A
2
, . . . , A
n
de conjuntos medibles y dos a dos disjuntos tales que:
i) es constante en cada A
i
, o sea, existe a
i
R tal que (x) = a
i
, si x A
i
, i = 1, 2, . . . , n
ii) (x) = 0 si x /
n
_
i=1
A
i
.
Toda funcion simple : R R puede escribirse en la forma =
n

i=1
a
i

A
i
, donde
A
i
es la
funci on caracterstica del conjunto A
i
.
Proposicion 4. Si , : R R son funciones simples, entonces + : R R tambien es
una funcion simple.
3.2. Lmite superior y lmite inferior. 37
Demostraci on: =
m

i=1
a
i

A
i
, =
n

j=1
b
j

B
j
; A
i
A
j
= y B
i
B
j
= si i ,= j; a
i
,= 0 para
i = 1, 2, . . . , m, b
j
,= 0 para j = 1, 2, . . . , n.
Denamos A
0
= x R / (x) = 0, B
0
= x R / (x) = 0 y consideremos los
conjuntos:
_
A
i
B
j
_
i = 0, 1, . . . , m ; j = 0, 1, . . . , n
(i, j) ,= (0, 0)
_
.
Si x A
i
B
j
, entonces ( +)(x) = a
i
+b
j
, donde a
0
= b
0
= 0.
Si x /
m
_
i=0
_
n
_
j=0
(A
i
B
j
)
_
, (i, j) ,= (0, 0) entonces ( + )(x) = 0. Luego, + es una
funci on simple.
Lema 1. Sea f : U R una funcion medible y no-negativa. Entonces existe una sucesi on
(
n
)
nN
de funciones simples y no-negativas tal que:
a)
n

n+1
para todo n N.
b) lm
n

n
(x) = f(x) para todo x U.
c) Si f es acotado, entonces lm
n

n
(x) = f(x) uniformemente en U.
Demostraci on: Para cada n N, denamos una colecci on:
E
n
E
k,n

n2
n
1
k=0
, de conjuntos medibles y dos a dos disjuntos, mediante:
E
k,n
=
_
x U
_
k
2
n
f(x) <
k + 1
2
n
_
,
k = 0, 1, 2, . . . , n2
n
1, E
n
= x U / f(x) n.
Figura 3.1: falta gura
y denimos:

n
(x) =
n2
n
1

k=1
k
2
n

E
k,n
(x) +n
E
n
(x) .
Se observa que si x E
k,n
entonces
n
(x) =
k
2
n
y que si x E
n
entonces
n
(x) = n.
Si x U entonces x E
k,n
para alg un k, o x E
n
, luego:

n
(x) =
k
2
n
< n o
n
(x) = n .
En consecuencia (x) n para todo n N y todo x U. Tambien
n
(x) f(x) para todo
n N y todo x U.
Tomemos x U:
i) Si f(x) n + 1, entonces x E
n+1
y
n+1
(x) = n + 1 > n
n
(x).
ii) Si f(x) < n + 1:
Figura 3.2: falta gura
Existe l N tal que
l
2
n+1
f(x) <
l + 1
2
n+1
, entonces x E
l,(n+1)
y
n+1
(x) =
l
2
n+1
.
38 Captulo 3. Funciones medibles.
ii.a) Si l es par:
l
2
2
n
f(x) <
l+1
2
2
n
<
l
2
+ 1
2
n

n
(x) =
l
2
2
n
=
l
2
n+1
=
n+1
(x).
ii.b) Si l es impar:
l1
2
2
n
<
l
2
2
n
f(x) <
l+1
2
2
n
=
l1
2
+ 1
2
n

n
(x) =
l1
2
2
n
<
l
2
2
n
=
l
2
n+1
=
n+1
(x). Por tanto
n
(x)
n+1
(x) para todo n N
y todo x U.
b) Si f(x) < , existe n
0
N tal que n
0
1 f(x) < n
0
. tomemos n N tal que n n
0
,
Figura 3.3: falta gura
existe l N tal que
l
2
n
f(x) <
l + 1
2
n
,
l
2
n
=
n
(x) f(x) <
l + 1
2
n
, luego:
0 f(x)
n
(x) <
1
2
n
, lm
n

n
(x) = f(x) .
Si f(x) = +, entonces x E
n
para todo n N, por tanto
lm
n

n
(x) = + = f(x) .
c) Si 0 f(x) < M, dado > 0 podemos tomar n
0
N tal que n
0
> M y
1
2
n
< . Para
n n
0
, existe l N tal que
l
2
n
f(x) <
l + 1
2
n
, entonces: 0 f(x)
n
(x) < para
todo n n
0
y todo x U; luego lm
n

n
(x) = f(x) uniformemente en U.

Observaci on 1: Como 0
n
(x) f(x) para todo x U y todo n N, si 0 f(x) M,
entonces 0
n
(x) M.
Observaci on 2: Sea f : [a, b] R una funci on medible y nita a.e.(almost every were, casi
en todo punto), entonces:
i) Dado > 0, existe k
0
N y un subconjunto A
K
0
[a, b] tal que mA
k
0
<

3
y [f(x)[ k
0
para todo x [a, b]A
k
0
.
ii) Dado > 0, existe una funcion simple : R R tal que [f(x) (x)[ < para todo
x [a, b]A
k
0
.
En efecto, sean:
A

= x [a, b] / [f(x)[ = + .
A
k
= x [a, b] / [f(x)[ > k .
A
1
A
2
A
3
. . .;

k1
A
k
= A

. Entonces
lm
k
mA
k
= mA

= 0 .
3.2. Lmite superior y lmite inferior. 39
Entonces, dado > 0 existe k
0
N tal que: 0 mA
0
<

3
y [f(x)[ k
0
para todo
x [a, b]A
k
0
.
iii) Sea U = [a, b]A
k
0
,
k
0
f(x) k
0
entonces 0 f(x) +k
0
2k
0
para todo x U; f +k
0
: U R es una funci on medible, no-negativa, acotada. Entonces,
existe una sucesi on : R R de funciones simples tal que:
lm
n

n
(x) = f(x) +k
0
uniformemente en U.
Luego, dado > 0, existe una funci on simple =
n
0
tal que:
[f(x) +k
0
(x)[ < para todo x U .
[f(x) ((x) k
0
)[ < para todo x U .
y = k
0
es una funci on simple.
Nota: Si m f(x) M para todo x U, entonces 0 f(x) m M m; f(x) m es una
funci on medibel y no-negativa. Entonces existeuna sucesion
0
n
(x) f(x) m
de funciones simples tal que
n
f m uniformemente en U. Luego
n
=
n
+ m es una
sucesi on de funciones simples tal que
m
n
(x) f(x) M
para todo x U y todo n N, y
n
f uniformemente en U.
Ejercicio: Sean F
1
, F
2
, . . . , F
n
subconjuntos compactos de R dos a dos disjuntos, entonces
existen conjuntos abiertos O
1
, O
2
, . . . , O
n
dos a dos disjuntos tales que F
i
O
i
para i =
1, 2, . . . , n.
Proposicion 5. Sea f : [a, b] R una funcion medible, nita a.e. en [a, b]. Entonces, dado
> 0 podemos hallar una funci on escalonada g : [a, b] R y una funci on continua h : [a, b] R
tal que
[f(x) g(x)[ < y [f(x) h(x)[ <
para todo x [a, b]W, con m(W) < .
Si m f(x) M para todo x [a, b] entonces podemos escoger las funciones g y h de
modo que m g(x) M y m h(x) M para todo x [a, b].
Demostraci on: Sea : R R la funcion simple obtenida en la Observaci on 2,
=
m

i=1
c
i

B
i
.
Si U = [a, b]A
k
0
entonces B
i
U y
m
_
i=1
B
i
= U.
40 Captulo 3. Funciones medibles.
Como B
k
es medible, dado > 0 existe F
k
compacto tal que F
k
B
k
y m(B
k
F
k
) <

3m
.
Tomando F =
m
_
k=1
F
k
se tiene F U y:
m(UF) =

k=1
m(B
k
F
k
) <

3
.
Como los F
k
s son compactos y dos a dos disjuntos, existen conjuntos abiertos 0
1
, 0
2
, . . . , O
m
dos a dos disjuntos tales que F
k
O
k
, 1 k m
F
k
O
k
=
_
i
I
k
i
uni on nita o numerable de intervalos
abiertos y disjuntos.
F
k
compacto entonces F
k
I
k
i
1
I
k
i
2
. . . I
k
i
j(k)
.
Luego, deniendo g : [a, b] R mediante:
g(x) =
_

_
c
k
, si x
_
I
k
i
1
. . . I
k
i
j(k)
_
[a, b]
0 , si x [a, b]
_
I
k
i
1
. . . I
k
i
j(k)
_
k = 1, 2, . . . , m.
g es una funci on escalonada y g(x) = c
k
= (x) para todo x F
3.3. Convergencia en medida.
Convenci on: Sean f, g : U R dos funciones y R, > 0. Si x U es tal que
f(x) = g(x) = +, o f(x) = g(x) = , entonces pondremos estas x en el conjunto:
x U / [f(x) g(x)[
Teorema 3 (Lebesgue). Sea E R un conjunto medible, mE < , f
n
: E R una sucesi on
de funciones medibles y f : E R uns funcion tales que:
i) mx E / [f
k
(x)[ = + = 0, k N. mx E / [f(x)[ = + = 0.
ii) lm
n
f
n
(x) = f(x) para todo x EC, donde m(C) = 0.
Entonces para cada R, > 0 se tiene:
lm
n
[m(x E / [f
n
(x) f(x)[ )] = 0 .
Demostraci on: La funcion f es medible y los conjuntos: A
n
= x E / [f
n
(x)[ = ,
A = x E / [f(x)[ = + y C son conjuntos medibles.
Si Q = A
_

_
n=1
A
n
_
C, entonces mQ = 0. Denamos:
E
k
() = x E / [f
k
(x) f(x)[
R(n()) =

_
k=n
E
k
(), M =

n=1
R
n
().
Todos estos conjuntos son medibles y R
1
() R
2
() . . ., lm
n
mR
n
() = mM.
3.3. Convergencia en medida. 41
Probaremos que M Q: Si x
0
EQ, entonces x
0
/ C y por tanto existe
f(x
0
) = lm
k
f
k
(x
0
) .
x
0
/

_
k=1
A
k
, entonces f
K
(x
0
) R para todo k N, tmabien f(x
0
) R. Entonces, existe
n
0
N tal que [f
k
(x
0
) f(x
0
)[ < para todo k n
0
, luego x
0
/ E
k
() para todo k n
0
,
x
0
/ R
n
0
() y x
0
/ M. Por tanto M Q entonces mM = 0, entonces lm
n
mR
n
() = 0 y como
E
n
() R
n
(), se tiene:
lm
n
mE
n
() = 0

Denici on 4. Sea f
n
: E R una sucesi on de funciones medibles y
f : E R una funcion tales que:
i) mx E / [f
n
(x)[ = + = 0, n N.
ii) mx E / [f(x)[ = + = 0.
Si
lm
n
[mx E / [f
n
(x) f(x)[ ] = 0
para todo n umero real > 0, entonces se dice que la sucesion (f
n
)
nN
converge en medida a la funci on f.
Notaci on: f
n
m
f, f
n
converge en medida hacia f.
Denici on 5. Dado un conjunto E; si una propiedad P se cumples en
ED donde mD = 0, entonces se dice que la propiedad P se cumple
casi en todas partes en E y se escribe: P se cumple a.e. en E
Ejemplo: Sea f : [a, b] R una funci on. Si existe un conjunto D [a, b] con mD = 0 tal que
f es continua en [a, b]D, entonces se dice que f es continua a.e. en [a, b].
Nota: Si (f
n
), f satisfacen las hipotesis del Teorema 3(Lebesgue), entonces f
n
m
f; es
decir f
n
f a.e., entonces f
n
m
f.
El siguiente ejempli muestra que el recproco no es cierto.
Ejemplo: Para cada k N denamos f
(k)
i
: [0, 1 > R, i = 1, 2, . . . , k de la siguiente
manera:
f
(k)
i
(x) =
_

_
1 , si x
_
i 1
k
,
i
k
_
0 , si x [0, 1 >
_
i 1
k
,
i
k
_
Deniendo:
1
= f
(1)
1
,
2
= f
(2)
1
,
3
= f
(2)
2
,
4
= f
(3)
1
,
5
= f
(3)
2
, . . ., etc., se tiene que
n
es de
la forma:
n
= f
(k)
i
, y k cuando n .
x E / [
n
(x) 0[ =
_
i 1
k
,
i
k
_
,
42 Captulo 3. Funciones medibles.
si < 0, 1], y:
x E / [
n
(x) 0[ = ,
si > 1, luego
n
m
0.
Por otra parte si x
0
[0, 1 >, para cada k N, existe i = 1, 2, . . . , k tal que x
0

_
1 i
k
,
i
k
_
,
entonces f
(k)
i
(x
0
) = 1, entonces
n
(x
0
) 0.
Teorema 4. Sean f
n
, f, g : E R funciones medibles, y nitas a.e. en E. Si f
n
m
f y
mx E / f(x) ,= g(x) = 0 entonces f
n
m
g.
Demostraci on:
x E / [f
n
(x) g(x)[ x E / f(x) ,= g(x) x E / [f
n
(x) f(x)[ .

Teorema 5. Sean f
n
, f, g : E R funciones medibles. Si f
n
m
f y f
n
m
g, entonces
mx E / f(x) ,= g(x) = 0.
Demostraci on: Si n, k N entonces:
_
x E
_
[f(x) g(x)[
1
n
_

_
x E
_
[f
k
(x) f(x)[
1
2n
_

_
x E
_
[f
k
(x) g(x)[
1
2n
_
entonces m
_
x E
_
[f(x) g(x)[
1
n
= 0
_
para todo n N. Como:
x E / f(x) ,= g(x)

_
n=1
_
x E
_
[f(x) g(x)
1
n
[
_
se tiene que mx E / f(x) ,= g(x) = 0.
Teorema 6 (F. Riesz). Sean f, g : E R funciones medibles, y nitas a.e. en E, m(E) < .
Si f
n
m
f entonces existe una subsucesi on (f
n
l
) de (f
n
) tal que lm
l
f
n
l
(x) = f(x) a.e. en E.
Demostraci on: Tomemos k N, f
n
m
f, entonces
lm
n
m
_
x E
_
[f
n
(x) f(x)[
1
k
_
= 0 .
Etonces, tomando
k
=
1
k
2
, existe m
k
N tal que:
m
_
x E
_
[f
n
k
f(x)[
1
k
_
<
1
k
2
(podemos tomar n
1
< n
2
< n
3
< . . .).
Veamos que lm
k
f
n
k
= f(x) a.e. en E.
Sea R
i
=

_
k=i
x E / [f
n
k
(x) f(x)[
1
k
, Q =

i=1
R
i
; R
1
R
2
R
3
. . .
lm
i
m(R
i
) = mQ .
3.3. Convergencia en medida. 43
mR
i

k=i
m
_
x E / [f
n
k
(x) f(x)[
1
k
_

k=i
1
k
2
,
entonces lm
i
mR
i
= 0, entonces mQ = 0.
Probaremos que lm
k
f
n
k
(x) = f(x), para todo x EQ: Sea x
0
EQ, x
0
/ Q, entonces
existe i
0
N tal que x
0
/ R
i
o
, o sea: x
0
/
_
x E
_
[f
n
k
f(x)[
1
k
_
para todo k i
0
;
entonces [f
n
k
(x
0
) f(x
0
)[ <
1
k
para todo k i
0
, entonces lm
k
f
n
k
(x
0
) = f(x
0
)
Teorema 7 (Egorov). Sean f
n
, f : E R funciones medibles, y nitas a.e. en E, mE < .
Si lm
n
f
n
(x) = f(x) a.e. en E,entonces para cada > 0, eciste un conjunto medible E

E
tal que:
i) mE

> mE .
ii) lm
n
f
n
(x) = f(x) uniformemente en E

.
Demostraci on: Sean:
E
k
() = x E / [f
k
(x) f(x)[ , > 0 .
R
n
() =

_
k=n
E
k
(). En el Teorema 3(Lebesgue) vimos que lm
n
mR
n
() = 0. Entonces tomando

i
=
1
i
2
, existe n
i
N tal que para =
1
i
, mR
n
i
_
1
i
_
<
1
i
2
. Tomemos i
0
N tal que

i=i
0
1
i
2
< ,
y E
0
=

_
i=i
0
R
n
i
_
1
i
_
; se tiene mE
0
< .
Sea E

= EE
0
, obviamente: mE

> mE .
Resta probar que lm
n
f
n
(x) = f(x) uniformemente en E

: Sea > 0, tomemos i

1
N tal
que i
1
i
0
y
1
i
1
< . Si x E

, entonces x / E
0
, entonces x / R
n
i
_
1
i
_
para todo i i
0
,
entonces x / R
n
i
1
_
1
i
1
_
, o sea
x /

_
k=n
i
1
E
k
_
1
i
1
_
=

_
k=n
i
1
_
x E
_
[f
k
(x) f(x)[
1
i
1
_
entonces
x /
_
x E
_
[f
k
(x) f(x)[
1
i
1
_
, k n
i
1
entonces [f
k
(x) f(x)[ <
1
i
1
para todo k n
i
1
, entonces [f
k
(x) f(x)[ < para todo k n
i
1
y todo x E

Teorema 8. Sea E R un conjunto medible, mE < y f : E R una funci on medible y
nita a.e. en E. Para cualquier > 0, existe uan funcion medible y acotada g : E R tal que
mx E / f(x) ,= g(x) < .
44 Captulo 3. Funciones medibles.
Demostraci on: Denotemos:
A
k
= x E / [f(x)[ > k , Q = x E / [f(x)[ = + .
A
1
A
2
A
3
. . . y mQ = 0.
Q =

k=1
A
k
, entonces lm
k
mA
k
= 0.
Entonces, dado > 0, existe k
0
N tal que mA
0
< . Denamos g : E R mediante:
g(x) =
_
f(x), si x EA
k
0
.
0, si x A
k
0
.
g es medible. Si x EA
k
0
, entonces: x A
k
0
, entonces [g(x)[ = [f(x)[ k
0
. Finalmente
x E / f(x) ,= g(x) = A
k
0

Lema 2. Sean F
1
, F
2
, . . . F
n
conjuntos cerrados y dos a dos disjuntos de R y F =
n
_
i=1
F
i
. Si
: F R es una funcion ta; que

F
i
es constante para cada i = 1, 2, . . . , n entonces es
continua en F.
Demostraci on: Sea H R un conjunto cerrado

1
(H) =
n
_
i=1
x F
i
/ (x) H =
n
_
i=1
_

F
i
_
1
(H)
que es cerrado.
Lema 3. Sea [a, b] un intervalo cerrado y acotado y F [a, b] un conjunto cerrado. Si : F R
es una funci on continua, entonces existe una funci on continua : [a, b] R con las siguientes
propiedades:
1.

F
= .
2. m ax
axb
[(x)[ = m ax
xF
[(x)[.
Demostraci on: Sea = mn F, = m ax F.
i) Si F = [a, b], denimos:
(x) =
_

_
(), si x [a,
(x), si x [, ]
(), si x , b] .
ii) Supongamos que F [, ], entonces [, ]F =< , > F es un conjunto abierto,
[, ]F =
_
iJ
< a
i
, b
i
>, J nito o numerable y < a
i
, b
i
> < a
j
, b
j
>= para i ,= j.
Denamos
0
: [, ] R de la siguiente manera:

0
(x) =
_
(x), si x F
Linealmente, si x [, ]F .
Figura 3.4: falta gura pag. 105
3.3. Convergencia en medida. 45

0
es continua en [, ] y luego se extiende a una funci on : [a, b] R como en i). El
m aximo de en < a
i
, b
i
> es tomado en a
i
o en b
i
que son puntos de F, luego
m ax
axb
[(x)[ = m ax
xF
[(x)[

Teorema 9 (Borel). Sea f : [a, b] R una funcion medible y nita a.e. en [a, b]. Para todo
par de n umeros reales > 0, > 0, existe una funci on continua : [a, b] R tal que:
mx [a, b] / [f(x) (x)[ < .
Si adem as [f(x)[ k para todo x [a, b] podemos escoger tal que [(x)[ k para todo
x [a, b].
Demostraci on:
a) Supongamos que [f(x)[ k para todo x [a, b]. Sea m N tal que
k
m
< y construyamos
los siguietnes conjuntos:
E
i
=
_
x [a, b]
_
i 1
m
k f(x) <
i
m
k
_
(i = 1 m, 2 m, . . . , m1).
E
m
=
_
x [a, b]
_
m1
m
k f(x) k
_
.
Los conjuntos E
i
, i = 1m, 2m, . . . , m1 son medibles y dos a dos disjuntos. Ademas
[a, b] =
m
_
i=1m
E
i
. Como mE
i
= supmF / F E
i
, F cerrado , podemos escoger un
conjunto cerrado F
i
E
i
tal que mE
i
< mF
i
+

2m
, m(E
i
F
i
) <

2m
.
Sea F =
m
_
i=1m
F
i
; [a, b]F =
m
_
i=1m
(E
i
F
i
).
Como E
i
E
j
= si i ,= j, se tiene:
m([a, b]F) =
m

i=1m
m(E
i
F
i
) <
m

i=1m

2m
< .
Denamos : F R mediante:
(x) =
i
m
k, para x F
i
, i = 1 m, . . . , m .
Como F
i
F
j
= si i ,= j, el Lema 2 dice que es continua en F.
Adem as (x) k y [f(x) g(x)[ < para todo x F. Aplicando el Lema 3 se obtiene
una funci on continua : [a, b] R tal que (x) = (x) para todo x F y (x) k
para todo x [a, b]. Por otra parte, como [f(x) (x)[ < para todo x F se tiene:
x [a, b] / [f(x) g(x)[ [a, b]F .
Entonces
mx [a, b] / [f(x) g(x)[ <
46 Captulo 3. Funciones medibles.
b) Supongamos que f no es acotada. Entonces, usando el teorema 8 podemos hallar una
funci on medible y acotada g : [a, b] R tal que:
mx [a, b] / f(x) ,= g(x) <

2
.
Aplicando laparte a) a la funci on g, se obtiene una funcion continua : [a, b] R tal
que:
mx [a, b] / [g(x) (x)[ <

2
.
y el resultado se obtiene de:
x [a, b] / [f(x) (x)[ x [a, b] / f(x) ,= g(x) x [a, b] / [g(x) (x)[

Corolario 1. Para cualquier funci on medible f : [a, b] R, nita a.e. en [a, b], existe una
sucesi on de funciones continuas
n
: [a, b] R tal que
n
m
f.
Demostraci on: Para cada n N, tomando = =
1
n
en el teorema de Borel, se obtiene una
funci on continua
n
: [a, b] R tal que:
m
_
x [a, b]
_
[f(x)
n
(x)[
1
n
_
<
1
n
.
Veamos que
n
m
f. Dea > 0 un n umero real. Existe n
0
N tal que
1
n
< para todo
n n
0
. Finalmente:
x [a, b] / [f(x)
n
(x)[ x [a, b] / [f(x)
n
(x)[
1
n

Ahora, aplicando el teorema de F.Riesz se obtiene el sigeuinte resultado:

Teorema 10 (M.Frechet). Si f : [a, b] R es una funcion medible y nita a.e. en [a, b],
entonces existe una sucesion de funciones contiunuas g
n
: [a, b] R tal que g
n
(x) f(x) a.e.
en [a, b].
Teorema 11 (N.N.Luzin). Sea f : [a, b] R una funci on medible y nita a.e. en [a, b]. Para
cada > 0, existe una funci on continua : [a, b] R tal que mx [a, b] / f(x) ,= (x) < .
Adem as, si [f(x)[ k, tambien [(x)[ k.
Demostraci on: Sea
n
: [a, b] R una sucesion de funciones continuas tal que lm
n

n
(x) =
f(x) a.e. en [a, b](Ver teorema 10). Usando el teorema de Egorov, podemos hallar un subconjunto
E

[a, b] tal que mE

m([a, b])

2
, y lm
n

n
(x) = f(x) uniformemente en E

.
n
f[
E

es continua en E

.
Sea F E

un conjunto cerrado tal que mF > mE

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

+mE

mF <
entonces mx [a, b] / (x) ,= f(x) < .
Si adem as [f(x)[ k para todo x [a, b], tambien [f(x)[ k para todo x F, y el teorema
de Borel nos dice que [(x)[ k para todo x [a, b]
3.3. Convergencia en medida. 47
Corolario 2. Sea f : [a, b] R uan funcion medible tal que [f(x)[ k para todo t [a, b].
Entonces, para cada > 0, existe uan funci on continua g : [a, b] R y un conjunto medible
D [a, b] tal que g(t) = f(t) para todo t [a, b]D, g(a) = g(b), mD < y [g(t)[ k para
todo t [a, b].
Demostraci on: Por el teorema de Luzn, existe una funci on continua h : [a, b] R y un
subconjnto B [a, b] tal que h(t) = f(t) para todo t [a, b]B, mB <

2
y [h(t) k[ para
todo t [a, b], tomemos 0 <

<

2
y denmaos:
g(t) =
_

_
h(t), si t [a, b

] .
h(a), si t = b .
linealmente, en [b

, b] .
g y f coinciden en [a, b](B [b

, b]).
Figura 3.5: Falta gura pag. 113
Tomemos D = B [b

, b], mD < . Ademas g(a) = g(b) y [g(t)[ k para todo

t [a, b].
Ejercicios
1. Sea U R un conjunto medible y f : U R una funcion medible. Si c R, probar que
el conjunto: x U / f(x) = c es medible.
2. Sea f : U R una funcion medible y A U un subconjunto medible. Probar que F[
A
es medible.
3. Sea f : U R una funci on medible, A U un subconjunto medible y c R. Probar que
la funcion:
g(x) =
_
f(x), si x UA
c, si x A
es medible.
4. Sea A R; probar que A es medible si y solo si la funci on caracterstica
A
es emdible.
5. Si f : R R es una funci on monotona, probar que f es medible.
6. Si f : U R es una funci on continua, U medible, probar que f es medible.
7. Probar que la funcion de Dirichlet f : R R denida mediante:
f(x) =
_
1, si x RQ
0, si x Q .
8. Sea f : U R una funcion medible, denamos:
[[f[[

= sup essf
= nfM 0 / mx U / [f(x)[ > M = 0 .
Probar que [[f[[

= 0 si y s olo si f = 0 a.e. en U.
48 Captulo 3. Funciones medibles.
9. Sea E [1, 2] un conjunto no-medible. Construir una funci on inyectiva f : [1, ) R
tal que:
x [1, > / f(x) > 0 = E .
10. Sea (E
k
)
kN
una suceis on de conjuntos medibles, E =

_
k=1
E
k
y f : E R una funci on.
Si f[
E
k
: E
k
R es medible para todo k N, probar que f : E R es medible.
11. Sea U R un conjunto medible. f : U R una funcion. Si el conjunto x U / f(x) > c
es medible para todo c Q, probar que f es medible.
12. Sea f : U R una funci on, medible y B R un conjunto de Borel. Probar que f
1
(B)
es medible.
13. Sea U R un conjunto de Borel. Una funcion f : U R se llama medible seg un Bore,
si f
1
(B) es un conjunto de Borel para todo conjunto de Borel B R.
a) Si f : U R es emdible Borel, probar que f tambiem es medible seg un Lebesgue.
b) Si f, g : R R son medibles Borel, probar que f g tmabien es medible Borel.
c) Si f : R R es medible Borel, y g : R R es medible Lebesgue, probar que f g
es medible Lebesgue.
14. Vericar que:
a)
AB
=
A

B
b)
AB
=
A
+
B

A

B
c)
A
= 1
A
4
Integrales sobre R
4.1. Integral de funciones simples.
Proposicion 1. Sea : R R una funcion simple. Si =
m

i=1
a
i

A
i
y tambien =
n

j=1
b
j

B
j
,
a
i
,= 0, b
j
,= 0, A
i
A
j
= , B
i
B
j
= si i ,= j, entonces:
m

i=1
a
i
m(A
i
) =
n

j=1
b
j
m(B
j
)
Demostraci on: A
i

n
_
j=1
B
j
, A
i
=
n
_
j=1
(A
i
B
j
) union disjunta, a
i
m(A
i
) =
n

j=1
a
i
m(A
i
B
j
).
Si m(A
i
B
j
) > 0, entonces A
i
B
j
,= , y a
i
= b
j
, luego:
a
i
m(A
i
) =
n

j=1
a
i
(A
i
B
j
)
m

i=1
a
i
m(A
i
) =
m

i=1
_
n

j=1
b
j
m(A
i
B
j
)
_
.
=
n

j=1
_
m

i=1
b
j
m(A
i
B
j
)
_
.
Por otra parte:
B
j
=
m
_
i=1
(A
i
B
j
) union disjunta: m(B
j
) =
m

i=1
(A
i
B
j
).
n

j=1
b
j
m(B
j
) =
n

j=1
_
m

i=1
b
j
m(A
i
B
j
)
_

49
50 Captulo 4. Integrales sobre R
Denici on 1. Si =
m

i=1
a
i

A
i
es una funci on simple, (A
i
A
j
= si
i ,= j ), que se anula fuera de un conjunto de medida nita, denimos
la integral
_
R
(x)dx de la siguiente manera:
_
R
(x)dx =
m

i=1
a
i
m(A
i
)
Notaci on:
_
R
(x)dx =
_
(x)dx =
_
.
Proposicion 2. Sean , ; R R funciones simples que se anulan fuera de un conjunto de
medida nita, entonces:
1.
_
( +) =
_
+
_
.
2.
_
(c) = c
_
, para todo c R.
3. Si 0, entonces
_
0.
4. Si , entonces
_

_
.
Demostraci on: Demostraci on de 1.
=
m

i=1
a
i

A
i
, =
n

j=1
b
j

B
j
, a
i
,= 0, b
j
,= 0. Sean A
0
= x R / (x) = 0, B
0
= x
R / (x) = 0. a
0
= b
0
= 0.
A
i
=
n
_
j=0
(A
i
B
j
),
A
i
=
n

j=0

A
i
B
j
.
=
m

i=1
a
i

A
i
=
m

i=1
_
n

j=0
a
i

A
i
B
j
_
=
m

i=0
n

j=0
a
i

A
i
B
j
, (i, j) ,= (0, 0).
4.1. Integral de funciones simples. 51
Analogamente: =
m

i=0
n

j=0
b
j

A
i
B
j
, (i, j) ,= (0, 0).
_
=
m

i=0
n

j=0
a
i
m(A
i
B
j
), (i, j) ,= (0, 0).
_
=
m

i=0
n

j=0
b
j
m(A
i
B
j
), (i, j) ,= (0, 0).
+ =
m

i=0
n

j=0
(a
i
+b
j
)
A
i
B
j
, (i, i) ,= (0, 0).
_
( +) =
m

i=0
n

j=0
(a
i
+b
j
)m(A
i
B
j
)
=
m

i=0
n

j=0
a
i
m(A
i
B
j
) +
m

i=0
n

j=0
b
j
m(A
i
B
j
),
=
_
+
_
.
Las restantes propiedades se dejan como ejercicios.
Si : R R es una funci on simple que se anula fuera de un conjunto de medida nita y
E R es cualquier conjunto medible, denimos:
_
E
=
_
R

E
.
Denici on 2. Si f : R R es una funcion acotada y E R es un
conjunto medible con mE < , denimos:
L

_
E
f =nf
_
_
E

_
f , simple
_
L
_
E
f = sup
_
_
E

_
f, simple
_
.
Nota: Si f , entonces
_
E

_
E
y por tanto L
_
E
f L

_
E
f.
Teorema 1. Sea f : R R una funci on acotada y E R un conjunto medible con E < .
Si f : E R es medible, entonces:
nf
__
E

_
f ,
simple
_
= sup
__
E

_
f ,
simple
_
Demostraci on: Supongamos que [f(x)| M para todo x E. Si f : E R es medible,
entonces los conjuntos:
E
n
k
=
_
x E
_
kM
n
f(x) >
(k 1)M
n
_
, n k n
52 Captulo 4. Integrales sobre R
son conjuntos medibles, dos a dos disjuntos para n N jo y
n
_
k=n
E
n
k
= E, mE =
n

k=n
mE
n
k
.
Denamos funciones simples
n
,
n
: R R de la siguiente manera:

n
(x) =
M
n
n

k=n
(k 1)
E
n
k
(x) .

n
(x) =
M
n
n

k=n
k
E
n
k
(x) .
se cumple
n
(x) f(x)
n
(x) para todo x E. Luego:
nf
_
_
E

_
f
_

_
E

n
=
M
n
n

k=n
kmE
n
k
.
sup
_
_
E

_
f
_

_
E

n
=
M
n
n

k=n
(k 1)mE
n
k
.
Luego:
nf
_
_
E

_
f
_
sup
_
_
E

_
f
_

_
E
(
n

n
) =
M
n
n

k=n
m(E
n
k
) =
M
n
mE
Para todo n N. Cuando n se tiene:
nf
_
_
E

_
f
_
= sup
_
_
E

_
f
_

Teorema 2. Sea E R un conjunto medible, mE < y f : E R una funci on acotada. Si :

nf
_
_
E

_
f
_
= sup
_
_
E

_
f
_
= ,
entonces f : E R es medible.
Demostraci on: Para todo n N, existen funciones simples
n
,
n
tales que:
n
(x) f(x)

n
(x) para todo x E y:
_
E

n
< +
1
2n
,
_
E

n
>
1
2n
.
Luego:
_
E

_
E

n
<
1
n
.
Denamos

; R R mediante

(x) = sup
n

n
(x) ;

(x) =nf
n

n
(x) .

son funciones medibles y

(x) f(x)

(x) para todo x E.

4.1. Integral de funciones simples. 53
Veamos que

(x) =

(x) a.e. en E, lo cual implicara que f(x) =

(x) a.e. en E y por

tanto que f es medible.
Sea D
m
=
_
x E
_

(x)

(x) >
1
m
_
. Como
n
(x)

(x)

(x)
n
(x) para
todo x E y todo n N, se tiene:
D
m
D
mn
=
_
x E
_

n
(x)
n
(x) >
1
m
_
.
1
m

D
mn

n

n
en E .
1
m
_
E

D
mn

_
E

_
E

n
<
1
n
.
1
m
m(D
mn
) <
1
n
, m(D
mn
) <
m
n
.
D
m
D
mn
, entonces m(D
m
) <
m
n
para todo n N, luego m(D
m
) = 0.
Si D = x E /

(x)

(x) > 0 se tiene D =

_
m=1
D
m
, luego mD = 0
Denici on 3. Sea E R un conjunto medible con m(E) < . Si
f : R R es una funci on medible y acotada, denimos:
L
_
E
f(x)dx =nf
_
_
E

_
f , simple
_
L
_
E
f(x)dx se llama integral de Lebesgue de f en E.
Notaciones:
a) L
_
E
f(x)dx =
_
E
f cuando no existe lugar a confusion.
b) Si E [a, b], escribiremos
_
b
a
f es ves de
_
[a,b]
f.
c) Si E R es un conjunto medible con mE < y f : R R es una funcion medible y
acotada que se anula fuera de E, entonces podemos escribir
_
f en vez de
_
E
f.
d) Sea E R un conjunto medible con mE < y g : R R una funcion medible y
acotada en E, entocnes:
_
E
g =
_
E
g
E
=
_
g
E
.
Ejmeplo: La funcion f
0
: R R denida mediante:
f
0
(x) =
_
1 , si x Q [0, 1] = Q
0
.
0 , si x / Q
0
.
54 Captulo 4. Integrales sobre R
es una funci on simple, f

Q
0
, luego:
_
1
0
f
0

_
f
0
=
_

Q
0
= 1mQ
0
= 0
Nota: Sea [a, b] un intervalo cerrado, acotado y f : [a, b] R una funci on acotada. Toda
funci on escalonada es una funcion simple, luego:
_
_
b
a
g
_
g f
g escalonada
_

_
_
b
a

_
f
simple
_
.
Si
_

b
a
y
_
b
a
f
4.2. Integral de una funci on acotada.
4.3. Teorema de convergencia monotona.
4.4. Integral de una funci on medible.
4.5. Teorema de la convergencia dominada.
5
Diferenciacion e integracion.
5.1. Diferenciacion de funciones mon otonas.
5.2. Funciones de variaci on acotada.
5.3. Diferenciacion de una integral.
55
56 Captulo 5. Diferenciacion e integracion.
6
Espacios L
P
(A).
6.1. Espacios L
P
(A).
6.2. Desigualdad de H older.
6.3. Desigualdad de Minkowski.
57
58 Captulo 6. Espacios L
P
(A).
7
Medida en R
2
.
7.1. Clase mon otona.
7.2. Teorema de Fubini.
59

Indice alfabetico

Algebra generada, 8
a.e., 41
Axioma de elecci on, 2
Borel, 45
Casi en todas partes., 41
Clase de equivalencia, 6
Conjunto
T

, 9
(

, 9
algebra de, 7
- algebra de , 8
anillo de, 7
Borel, 9
contable, 3
elemental, 12
equipotentes, 4
nito, 1
numerable, 1, 3
partici on, 6
Converge en medida, 41
Funcion
caracterstica, 36
escalonada, 36
simple, 36
Medida de Lebesgue, 21
N.N.Luzin, 46
N umero algebraico, 5
Princio del mnimo entero, 1
Relaci on
compuesta, 5
de equivalencia, 6
entre elementos, 5
indentidad, 5
inversa, 5
Schroeder-Berstein, 4
Sucesi on doble, 21
60