You are on page 1of 26

Teora de la Medida

Mauro Chumpitaz
20 de diciembre de 2011

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. . . . . . . . . . . . . . . 20
i
ii

Indice general
Prefacio
Este libro sobre Teora de la Medida es el resultado de varios cursos sobre la materia dictada a
los laumnos 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
iv

Indice general
Captulo 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 = Cnojunto 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.
1
2 Captulo 1. Conjuntos numerables, relaciones de equivalencia y algebra de conjuntos.
Proposicion 1. Si D N es un conjunto innito, entonces D es numerable.
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 Proposici on 1.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.
1.1. Conjunto nito, conjunto numerable. 3
ii) Si D es innito, D es numerable
y por tanto X es numerable.
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.
4 Captulo 1. Conjuntos numerables, relaciones de equivalencia y algebra de conjuntos.
Denici on 5. Un conjunto A se llama contable si A es nito o nume-
rable.
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.
1.2. Relaci on de equivalencia. 5
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.
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.
6 Captulo 1. Conjuntos numerables, relaciones de equivalencia y algebra de conjuntos.
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.
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.
1.3.

Algebra de conjuntos. 7
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. 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:
8 Captulo 1. Conjuntos numerables, relaciones de equivalencia y algebra de conjuntos.
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.
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.
1.3.

Algebra de conjuntos. 9
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.
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
_
.
10 Captulo 1. Conjuntos numerables, relaciones de equivalencia y algebra de conjuntos.
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.
Captulo 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 sonintegrabels 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 otdas 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[
11
12 Captulo 2. Elementos de la medida de Lebesgue en R.
entonces veremos que (L[0, 1], d) es un espacio metrico completo.
2.2. Longitud de un intervalo.
Si I es un intervalo de extremos a, b (a b), 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
) .
2.3. Longitud de un conjunto abierto. 15
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
).
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
)
_
_
.
16 Captulo 2. Elementos de la medida de Lebesgue en R.
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
)
_
.
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
_
,
=
2.4. Longitud de conjuntos compactos. 17
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 .
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
) .
18 Captulo 2. Elementos de la medida de Lebesgue en R.
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) .
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) .
2.4. Longitud de conjuntos compactos. 19
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
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
)

20 Captulo 2. Elementos de la medida de Lebesgue en R.


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.
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
.

You might also like