Professional Documents
Culture Documents
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
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 (
.
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
-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
))
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
)
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
) .
_
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
) .
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 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
)
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
.