Capitulos 1 y 2 Notas de Clase

Notas de Clase
Teora de la medida
Elas Jos Salazar Buelvas
Universidad de Cartagena
Facultad de Ciencias Exactas y Naturales
Programa de Matemticas
Cartagena de Indias D.T. y C., Colombia
2013
ndice general
1. Preliminares 4
1.1. Los nmeros reales extendidos . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2. Conjuntos nitos y conjuntos innitos . . . . . . . . . . . . . . . . . . . . . . 8
1.3. Propiedad del buen orden y Principio de induccin en Z
+
. . . . . . . . . . . . 11
1.4. Relaciones de orden y Principio de induccin Transnita . . . . . . . . . . . . 12
1.5. La topologa de R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2. Teora de la medida 16
2.1. Anillos, lgebras y -lgebras de conjuntos . . . . . . . . . . . . . . . . . . . 16
2.2. El -lgebra de Borel en R y en R . . . . . . . . . . . . . . . . . . . . . . . . 23
2.3. Funcin de conjunto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.4. Medida en semianillos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.5. Medida exterior y Conjuntos medibles . . . . . . . . . . . . . . . . . . . . . . 30
2.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3. La integral de Lebesgue 50
3.1. La integral de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
3.2. La integral de lebesgue de una funcin acotada sobre un conjunto de medida nita 50
3.3. La integral de funciones no negativas . . . . . . . . . . . . . . . . . . . . . . . 50
3.4. Convergencia en medida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
4. Diferenciacin e Integracin 51
4.1. Diferenciacin de Funciones montonas . . . . . . . . . . . . . . . . . . . . . 51
4.2. Funciones de variacin acotada . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4.3. Diferenciacin de una integral . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4.4. Continuidad absoluta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4.5. Funciones convexas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
5. Espacios L
p
52
5.1. L
p
como espacio espacio lineal . . . . . . . . . . . . . . . . . . . . . . . . . . 52
5.2. La Desigualdad de Holder y Minkowsky . . . . . . . . . . . . . . . . . . . . . 52
5.3. Convergencia y completez . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
ndice general 3
5.4. Funcionales en L
p
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
1 Preliminares
1.1. Los nmeros reales extendidos
En todo este texto asumiremos las siguientes notaciones: R es el conjunto de los nmeros
reales, Q es el conjunto de los nmeros racionales, Z es el conjunto de los nmeros enteros, N
es el conjunto de los nmeros naturales, que indenticaremos con los nmeros enteros positivos
1, 2, . . . y adems denimos
R
+
:= [0, ) = x R : x 0
Q
+
:= Q R
+
= q Q : q 0
Z
+
:= Z R
+
= 0, 1, 2, . . . = N 0.
El conjunto de los nmeros reales extendidos es el conjunto
R := R ,
donde y son smbolos para los cuales se asume que ,= . No son nmeros reales,
y los llamaremos nmeros reales extendidos. Mientras que sobre el campo R se conservan las
operaciones y relaciones de orden habituales, adicionalmente en R se denen las siguientes
operaciones:
+ = .
() + () = = .
Si x R, entonces
x + = +x = x () = y x +() = x = +x = .
En particular se dene () = y con ello el valor absoluto [ [ = .
= y 0 = 0 = 0 () = () 0 = 0.
Si x R y x > 0, entonces
x () = () x = y x () = () x = .
1.1 Los nmeros reales extendidos 5
Si x R y x < 0, entonces
x () = () x = y x () = () x = .
Se dene adems la siguiente relacin de orden:
< , y si x R, entonces < x < .
Para a y b en R, a < b, los conjuntos
(a, b) = x R : a < x < b
[a, b] = x R : a x b
[a, b) = x R : a x < b
(a, b] = x R : a < x b
se llaman intervalos con extremos a y b. El intervalo (a, b) se llama intervalo abierto, [a, b] se
llama intervalo cerrado y [a, b) y (a, b] se llaman intervalos semiabiertos. Si a y b estn en R
se llaman intervalos acotados, en otros casos se llaman no acotados. Note que R es el intervalo
(, ) y que todos los intervalos denidos tienen la cardinalidad .
Algunas propiedades de R se pierden, en general, en R.
Ejemplo 1.1. Tenemos que 1 + = 1 + = , sin embargo 1 ,= 1.
Ejemplo 1.2. Sean a
n
= n y b
n
= n
1
, para cada entero n 1, entonces
lm
n
a
n
= y lm
n
b
n
= 0.
Por la tanto
0 =
_
lm
n
a
n
__
lm
n
b
n
_
,= lm
n
a
n
b
n
= 1.
Note sin embargo, que al menos se gana algo, pues la sucesin a
n
del ejemplo anterior es
convergente en R. Podemos decir un poco ms: Sean a
n
y b
n
un par de sucesiones de nmeros
reales extendidos no negativos, y supongamos que lm
n
a
n
y lm
n
b
n
existen en R o bien
son iguales a . Entonces
lm
n
(a
n
+ kb
n
) = lm
n
a
n
+ k lm
n
b
n
,
para todo constante k no negativa (incluso ).
Ejemplo 1.3. La operacin distributiva, en general, no est denida sobre R. Por ejemplo,
0 = 0 = (1 + 1) ,
pero la operacin
1 + 1
no est denida.
6 1 Preliminares
Por supuesto y no son inversos aditivos uno del otro y tampoco poseen inversos
multiplicativos. La propiedad arquimediana tampoco es cierta en general, y as muchas otras
propiedades. No obstante, el lector puede darse cuenta de que el asunto no es tan grave, siempre
que se tenga el cuidado suciente. Veamos el siguiente caso.
Proposicin 1.1. Sean a R y b R. Entonces a < b si, y slo si, a ,= , b ,= y
b a > 0.
Demostracin. Si a < b, entonces es obvio que a ,= y b ,= , y por lo tanto, b a est
denido y de hecho b a > 0.
Recprocamente, si a ,= y b ,= , entonces b = o bien a = , en cuyo caso no
hay nada ms que hacer; o bien a y b estn R, en cuyo caso, si b a > 0, entonces b > a, por
las propiedades habituales de R.
Hay propiedades similares de R, que el lector ya puede imaginar, que son vlidas en R, o
bien parcialmente o bien bajo ciertas restricciones. ms importante an es que el orden en R
tambin es un orden parcial.
Proposicin 1.2. En R denimos el orden como
x R y R : x y x < y o bien x = y.
Entonces es un orden parcial, es decir, es reexivo, antisimtrico y transitivo.
La prueba se deja al lector como ejercicio de comprensin.
Hay que observar tambin que si A es un conjunto no vaco de R, entonces est acotado infe-
riormente por y superiormente por , de donde se deduce que la propiedad del supremo
(y del nmo) es tambin vlida en R.
Del mismo modo podemos denir otras colecciones de nmeros extendidos, las ms usuales
son:
R
+
:= R
+
,
Z
+
:= Z
+
,
Z := Z ,
N := N .
En cada caso se denen convenciones similares al caso de R. Por otra parte, y no se
denen como racionales ni como irracionales.
Ahora bien, queda una pregunta por responder: cmo se denen las series de nmeros en R?
En realidad no es distinto a lo que se hace en R, aunque s hay ciertas ventajas y tambin ciertas
restricciones. Empecemos con una sucesin a
n
nN
Rde nmeros reales extendidos. Si para
cada N N, la suma nita
N
n=1
a
n
est denida en R, entonces decimos que la sucesin de
1.1 Los nmeros reales extendidos 7
sumas parciales
N
n=1
a
n
NN
es una serie en R. Si adems, el lmite de las sumas parciales,
lm
N
N
n=1
a
n
, existe en R (an si es igual a o ), entonces decimos que es una serie
convergente y usamos la notacin
n=1
a
n
:= lm
N
N
n=1
a
n
.
En particular, note que si a
n
, n 1, es una sucesin de nmeros reales extendidos no negativos,
entonces
n=1
a
n
es una serie convergente en R
+
, en este caso,
n=1
a
n
= sup
NN
N
n=1
a
n
.
Otros ejemplos: si a
n
> para todo n 1 y a
n
0
= , para algn n
0
1, entonces
n=1
a
n
= , es decir, es una serie convergente en R. Si b
2n
= y b
2n1
= , para todo
n 1, entonces
n=1
b
n
no es una serie denida.
Los conocidos criterios de convergencia de series denidas en R, y el concepto de conver-
gencia absoluta, pueden enunciarse en el contexto de R, con algunas restricciones. Se deja al
lector su consideracin. Ponemos aqu un resultado el cual ser til posterioemente.
Por ltimo, hay un modo de justicar la convencin = , y es el siguiente resultado,
el cual ser bastante til en los captulos siguientes.
Proposicin 1.3. Para cada n N y m N, sea x
(n,m)
R
+
. Denimos
S := sup
_
_
_
(n,m)F
x
(n,m)
: F N Nnito
_
_
_
.
Entonces
n=1
m=1
x
(n,m)
= S =
m=1
n=1
x
(n,m)
.
Si adems = (
1
,
2
) : N N N es una aplicacin biyectiva, entonces
S =
k=1
x
(k)
.
Demostracin. Si N, M N, note entonces que
N
n=1
M
m=1
x
(n,m)
=
M
m=1
N
n=1
x
(n,m)
S.
De donde
N
n=1
m=1
x
(n,m)
= lm
M
N
n=1
M
m=1
x
(n,m)
S y
M
m=1
n=1
x
(n,m)
= lm
N
M
m=1
N
n=1
x
(n,m)
S.
8 1 Preliminares
Luego, tomando lmite sobre N y M, respectivamente, en las igualdades anteriores
n=1
m=1
x
(n,m)
= lm
N
lm
M
N
n=1
M
m=1
x
(n,m)
= lm
M
lm
N
M
m=1
N
n=1
x
(n,m)
=
m=1
n=1
x
(n,m)
S.
Ahora, si F N N es nito, entonces es claro que
(n,m)F
x
(n,m)

n=1
m=1
x
(n,m)
,
y por lo tanto
S
n=1
m=1
x
(n,m)
.
1.2. Conjuntos nitos y conjuntos innitos
Aunque la idea de nito e innito, o en especco, de conjunto nito y conjunto innito, no
es extraa para el lector, es conveniente hacer aqu una construccin ms precisa de ambos con-
ceptos. Intuitivamente, cuando tenemos en mente un conjunto nito, pensamos en una coleccin
cuyos objetos pueden ser contados, por muchos que estos sean. El conjunto nito prototpico
es el conjunto S
n
= 1, . . . , n, con n N. Denimos S
0
= . En lo que sigue usamos la
notacin Z
+
= N 0.
Denicin 1.1. Decimos que un conjunto A es nito si para algn n Z
+
existe una biyeccin
f : A S
n
. En tal caso decimos que A tiene cardinalidad n y que A tiene n elementos.
Usamos la notacin #(A) = n.
De forma recproca a la denicin anterior, podemos decir que un conjunto A es nito si, y
slo si, para algn n Z
+
existe una biyeccin f : S
n
A.
El conjunto vaco es nito. En efecto, S
0
= , y la aplicacin vaca f = es la nica
biyeccin de en s mismo. En general, los conjuntos S
n
, n Z
+
, son nitos y #(S
n
) = n.
Lema 1.1. Sea n Z
+
. Sea A un conjunto y sea a A un elemento de A. Entonces existe
una biyeccin f del conjunto A con el conjunto S
n+1
si, y slo si, existe una biyeccin g del
conjunto A a en el conjunto S
n
.
Demostracin. Supongamos que n = 0. Si f : A S
1
es una aplicacin biyectiva, entonces
A consta de un solo elemento, y por tanto la aplicacin vaca g = es una biyeccin entre los
conjuntos A a = y S
0
= . Desde luego, la aplicacin vaca es la nica biyeccin entre
1.2 Conjuntos nitos y conjuntos innitos 9
el conjunto vaco y s mismo, y por supuesto la aplicacin f : a S
1
dada por f(a) = 1 es
una biyeccin entre los conjuntos a y S
1
.
Sea n > 0. Supongamos que g : A a S
n
es una aplicacin biyectiva. Denimos la
funcin f : A S
n+1
dada por
f(x) =
_
g(x) si x A a,
n si x = a.
Es claro que f es una aplicacin biyectiva de A en S
n+1
.
Ahora supongamos que f : A S
n+1
es una correspondencia biyectiva. Si f(n) = a,
entonces tomamos la restriccin g = f[A a : A a S
n
la cual es claramente una
biyeccin. En otro caso, si f(a) = m ,= n, sea a
A tal que f(a
) = n. Obviamente a ,= a
.
Denimos la funcin h : A S
n+1
dada por
h(x) =
_
_
f(x) si x A a, a
,
m si x = a
,
n si x = a.
Entonces h es una biyeccin de A en S
n+1
tal que h(a) = n, como en el caso anterior. Tomamos
entonces la restriccin g = h[A a.
Teorema 1.1. Sea A un conjunto. Supongamos que existe una biyeccin f : A S
n
para
algn n Z
+
. Sea B un subconjunto de A. Entonces existe una biyeccin h : B S
m
para
algn entero 0 m n. Si B es un subconjunto propio de A, entonces no existe biyeccin
alguna g : B S
n
.
Demostracin. Si n = 0, entonces A = , y como la aplicacin vaca es la nica biyeccin
entre el vaco y s mismo, el teorema se cumple inmediatamente. Sea C el subconjunto de
Z
+
que rene todos los nmeros enteros no negativos para los cuales el teorema es vlido.
Entonces 0 C y C ,= . Sea n Z
+
y supongamos que n C. Sea f : A S
n+1
un
biyeccin y B un subconjunto propio no vaco de A. Sea a
0
B. Por el lema anterior existe
una biyeccin f
: A a
0
S
n
. Ahora bien, por supuesto, B a
0
es un subconjunto
propio de A a
0
, de modo que no existe una biyeccin g : B a
0
S
n
, pero existe
una biyeccin h : B a
0
S
p
para algn p < n. Por el lema anterior de nueva cuenta, no
existe biyeccin alguna g
: B S
n+1
, pero existe una biyeccin h
: B S
p+1
. Por supuesto
p + 1 < n + 1. as, n + 1 C y por el principio de induccin C = Z
+
.
Corolario 1.1. Si A es un conjunto nito, no existe biyeccin alguna de A en algn subconjunto
propio de A.
Demostracin. Supongamos que B es un subconjunto propio de A y que f : A B es
una biyeccin. Como A es nito, existe una biyeccin g : A S
n
para algn n Z
+
. La
composicin g f
1
es una biyeccin de B con S
n
, lo que contradice el teorema anterior.
10 1 Preliminares
Corolario 1.2. Si A es un conjunto nito y B A entonces B es nito.
Demostracin. Inmediato.
Corolario 1.3. La cardinalidad de un conjunto nito A est nicamente determinada por el
conjunto A.
Demostracin. Supongamos que m < n. Supongamos que existen dos biyecciones f : A S
n
y g : A S
m
. Entonces la composicin g f
1
: S
n
S
m
es una biyeccin del conjunto
nito S
n
en un subconjunto propio de s mismo. Una contradiccin.
Corolario 1.4. Sea A un conjunto. Los siguientes enunciados son equivalentes.
(1) A es nito.
(2) Para algn n Z
+
, existe una aplicacin sobreyectiva f : S
n
A.
(3) Para algn n Z
+
existe una aplicacin inyectiva g : A S
n
.
Demostracin. (1) (2). Como A es nito, existe una biyeccin f : S
n
A.
(2) (3). Si f : S
n
A es sobreyectiva, denimos g : A S
n
por la ecuacin,
g(a) = mn f
1
(a).
Dado que f es sobreyectiva, f
1
(a) es no vaco y g est bien denida. La aplicacin g es
inyectiva, pues
f
1
(a) f
1
(b) = s y slo s a ,= b.
(3) (1). Si g : A S
n
es inyectiva, entonces la aplicacin g : A g(A) es una
biyeccin, y por supuesto, g(A) es un conjunto nito pues un subconjunto de S
n
. Luego, A es
nito.
Corolario 1.5. Uniones y productos cartesianos nitos de conjuntos nitos son nitos.
Corolario 1.6. La interseccin cualquiera de una clase de subconjuntos A
t
tT
es nita si al
menos un conjunto A
t
0
es nito.
Demostracin. Tenemos,
tT
A
t
A
t
0
, para cualquier t
0
T. De donde se sigue de inmedi-
ato el enunciado.
1.3 Propiedad del buen orden y Principio de induccin en Z
+
11
1.3. Propiedad del buen orden y Principio de
induccin en Z
+
El Principio de induccin es la propiedad ms til en el conjunto Z
+
. Se establece siguiendo
la construccin axiomtica de Peano, o bien desde la teora de conjuntos. La enunciacin clsica
es la siguiente.
Principio de induccin sobre Z
+
. Quinto Axioma de Peano. Z
+
es el nico conjunto
inductivo (en Z
+
). Esto es, si para un conjunto I Z
+
, sucede que
(i) 0 I.
(ii) Si n I, entonces n + 1 I.
entonces I = Z
+
.
Recordemos que en Z
+
denimos el orden habitual mediante la sentencia
n Z
+
m Z
+
: n m k Z
+
tal que m = n + k.
Si A Z
+
, entonces decimos que m Z
+
es el elemento mnimo de A si m A y m a,
para todo a A.
Axioma del Buen Orden sobre Z
+
. Sobre Z
+
con el orden habitual , si A Z
+
con
A ,= , entonces A tiene mnimo.
El teorema siguiente enuncia la propiedad fundamental del conjunto Z
+
.
Teorema 1.2. Sobre Z
+
con el orden habitual , el Principio de induccin y el Axioma del
Buen Orden son equivalentes. El conjunto Z
+
con el orden habitual est bien ordenado. Esto
es, si A Z
+
con A ,= , entonces A tiene mnimo.
Demostracin. Supongamos el principio de induccin. Sea n Z
+
. Probabremos primero
que todo subconjunto no vaco del conjunto 0, 1, . . . , n tiene un elemento mnimo. Sea Z el
conjunto de todos los nmeros enteros no negativos n, tales que si A 0, 1, . . . , n, no vaco,
entonces A tiene mnimo. Claramente 0 Z, pues el nico subconjunto no vaco de 0 es
ste mismo conjunto, y por tanto el nmero 0 es el elemento mnimo. Supongamos ahora que
n Z. Sea A un subconjunto no vaco de 0, 1, . . . , n + 1. Si A consiste del nico elemento
n+1, entonces ste es el mnimo elemento de A. En otro caso, el conjunto A0, 1, . . . , n es
no vaco, y por lo tanto tiene un elemento mnimo (dado que n Z), el cual es por suspuesto el
elemento mnimo de A. Luego n + 1 Z y Z = Z
+
. En general, sea A Z
+
un subconjunto
no vaco. Sea n A y consideremos el conjunto no vaco B = A 0, 1, . . . , n. El conjunto
B tiene mnimo. El mnimo de B, es tambin el mnimo de A.
12 1 Preliminares
Recprocamente, supongamos vlido el Axioma del Buen Orden. Sea I Z
+
un conjunto
inductivo, esto es, 0 I y si n I entonces n + 1 I. Supongamos que Z
+
I ,= . Sea m
el mnimo de Z
+
I. Notamos que m / I. Pero entonces m1 I, de donde m I, lo cual
es absurdo. Por lo tanto I = Z
+
.
1.4. Relaciones de orden y Principio de induccin
Transnita
Veremos en trminos ms generales el principio y teorema de la seccin anterior. Recordemos
que una relacin sobre un conjunto X, es cualquier subconjunto del producto cartesiano XX.
Denicin 1.2. Sea X un conjunto. Decimos que una relacin es un orden parcial si
(i) es reexiva: x X : x x.
(ii) es antisimtrica: x X y X : x y y x y = x.
(iii) es transitiva: x X y X z X : x y y z x z.
En este caso, denimos el orden parcial estricto <, como
x X y X : x < y x y x ,= y.
Decimos que un orden parcial es lineal si para todo x, y X, sucede alguna de las sigu-
ientes: x y, y x x = y.
Denicin 1.3. Sea un orden parcial sobre X. Sea Y X. Decimos que Y tiene elemento
mnimo si para algn y
Y , se tiene que y
y, para todo y Y . Decimos que un orden

parcial sobre X es un buen orden si todo subconjunto Y de X no vaco tiene elemento
mnimo.
Note que un buen orden es siempre un orden lineal. En efecto, si x, y X y es un buen
orden, entonces el conjunto x, y tiene mnimo, de donde, x y y x bien x = y. Por
otro lado, cualquier subconjunto de un conjunto linealmente ordenado, es linealmente ordenado.
Denicin 1.4 (Conjunto Inductivo). Sea un orden parcial sobre un conjunto X. Un subcon-
junto I de X se dice que es inductivo si y slo si
x X :
_
y X : y < x y I
_
x I, (1-1)
donde x < y x y x ,= y. En particular X es un conjunto inductivo.
Observacin 1.1. El conjunto vaco es inductivo, si y slo si, X = .
1.4 Relaciones de orden y Principio de induccin Transnita 13
Ejemplo 1.4. En R, con el orden habitual , es lineal, pero no es un buen orden. Por otro lado,
el conjunto (, ], con R, jo, es inductivo. El conjunto (, ) no es inductivo.
Si E es un orden parcial sobre X, entonces para cada x X denimos
S(x) = y X : y < x,
el segmento inicial hasta x. En estos trminos, un subconjunto I de X es inductivo si, y slo si,
x X : S(x) I x I.
Ejemplo 1.5. El orden habitual sobre el conjunto de los nmeros enteros Z es lineal, pero no
un buen orden. Note que Z no tiene mnimo y es el nico conjunto inductivo. Sobre el conjunto
X = Z , el orden habitual junto con la condicin k, para todo entero k, es
lineal pero no un buen orden (Z X no tiene mnimo), y en este caso es el mnimo de X
y el conjunto es inductivo.
Ejemplo 1.6. Sea X = 0, 1 y el orden parcial = (0, 0), (1, 1). Entonces X es el nico
conjunto inductivo, puesto que S(0) = S(1) = . Note que X no tiene elemento mnimo.
Ejemplo 1.7. Sea X = 0, 1, 2 y el orden parcial
= (0, 0), (0, 1), (0, 2), (1, 1), (2, 2).
Entonces S(0) = = S(2) y S(1) = 0. Por lo tanto X es el nico conjunto inductivo. Note
que 0 es el mnimo de X. El conjunto 1, 2 no tiene mnimo.
Lema 1.2. Sea un orden parcial sobre X. Si X tiene elemento mnimo y x
es el elemento
mnimo de X, entonces x
I para todo conjunto inductivo I de X.

Demostracin. Sea I un conjunto inductivo. Dado que no existe y < x
, entonces por vacuidad

x
I.
Teorema 1.3 (Principio de induccin para un buen orden. induccin Transnita). Un orden
lineal sobre X es un buen orden si, y slo si, X tiene elemento mnimo y es el nico conjunto
inductivo.
Demostracin. Supongamos que es un buen orden. Sea x
el mnimo de X. Sea I X un
subconjunto inductivo y supongamos que X I ,= . Sea = mn(X I) X I. Dado
que x
I, se sigue que x
< . Ahora bien, si y < entonces y I, y como I es inductivo,

I, lo cual es imposible. As, X = I.
Recprocamente, supongamos que X es el nico conjunto inductivo (con respecto al orden
lineal ) y sea x
X el elemento mnimo de X. Sea F el subconjunto de X que rene todos

14 1 Preliminares
aquellos elementos x tal que si A S(x) x es no vaco, entonces tiene mnimo. Notamos
que x
F, y por tanto F ,= .
Mostraremos que F es inductivo, y en consecuencia F = X. Sea x X y supongamos que
para todo y X, si y < x entonces y F. Sea A S(x) x no vaco. Si A = x entonces
es claro que x es el mnimo de A. Supongamos que A S(x) ,= . Para algn a S(x), la
interseccin A
_
S(a) a
_
es no vaca. Luego, tal conjunto tiene mnimo, el cual es por
supuesto el mnimo de A.
Por lo tanto, x F. De modo que F es inductivo. Ahora, si A X es no vaco, elegimos
a A, y entonces el conjunto A (S(a) a) es no vaco y por tanto tiene mnimo, el cual es
por supuesto, el mnimo de A.
Finalmente, enunciamos a continuacin el principio de recursin transnita, el cual permite
denir recursivamente algunas funciones.
Teorema 1.4 (Principio de Recursin para un buen orden). Sea un buen orden sobre un
conjunto X y sea Y cualquier conjunto. Denimos la clase J
X
(Y ) de todas las funciones
cuyo dominio es algn segmento inicial S(x) X, y cuyo rango es Y . Supongamos que es
una funcin cuyo dominio es la clase J
X
(Y ) y cuyo rango es el conjunto Y . Entonces existe
una nica funcin f : X Y tal que para todo x X, f(x) = (f[S(x)), donde f[S(x) es la
restriccin de f al segmento inicial S(x).
Observacin 1.2. Si x
es el mnimo de X, S(x
) = , y convenimos que la funcin vaco j =

es la nica funcin j : Y . En este caso, note que podemos denir () = y, para cualquier
y Y .
Demostracin. Si X = , entonces = = f y la conclusin del teorema es vlida. Suponga-
mos que X ,= . La prueba incluye varias ideas. Sern desarrolladas aparentemente sin conex-
in, pero tendrn todas un mismo sentido en la conclusin. Primero observamos que cualquier
segmento inicial S(x) = u X : u < x es en s un conjunto linealmente ordenado, y si es
no vaco, entonces el mnimo de S(x) es el mnimo de X.
Primer paso. Denimos S(x) := u X : u x = S(x) x para cada x X. Sea I el
conjunto de todos los elementos x X tal que sobre S(x) existe una funcin f con valores en
Y , tal que
f(u) = (f[S(u)) para todo u S(x). (1-2)
Probaremos que si tal funcin f existe para algn x X, esta es nica. Sea h alguna otra
funcin denida sobre S(x) con valores en Y tal que h(u) = g(h[S(u)) para todo u S(x). Sea
el conjunto U = u S(x) : f(u) = h(u). Supongamos que S() U para algn S(x).
Entonces h() = f() para todo < , de donde h() = g(h[S()) = g(f[S()) = f(), y
consecuentemente U. as, U es inductivo y por tanto U = S(x) y f es nica.
1.5 La topologa de R 15
Segundo paso. Si x
es el mnimo elemento de X, S(x
) = y S(x
) = x
. Luego, si
denimos f(x
) = (), entonces f es la nica funcin sobre S(x
) con valores en Y que

satisface (1-2). En consecuencia x
I y por tanto I ,= .
Tercer paso. Para cada x I, denotamos f
x
la nica funcin sobre S(x) con valores en
Y tal que satisface (1-2). Sea S
I
=
xI
S(x) y denimos la funcin f : S
T
Y dada
por f(u) = f
x
(u) si u S(x), para todo u S
I
. Veamos que f est bien denida: Para
cualquier u S
I
, supongamos que u S(x
1
) y u S(x
2
), donde x
1
, x
2
I y sin prdida
de generalidad, x
1
< x
2
. Como S(x
1
) S(x
2
) y f
x
2
satisface (1-2) sobre S(x
2
), entonces la
restriccin f
x
2
[ S(x
1
) lo hace sobre S(x
1
). Por unicidad, f
x
1
= f
x
2
[ S(x
1
), de donde f(u) =
f
x
1
(u) = f
x
2
(u), y por tanto f est bien denida. Notamos adems que f
x
= f[ S(x), para todo
x I. Por consiguiente,
si u S
I
entonces f(u) = (f[S(u)), (1-3)
puesto que u S(x), para algn x I y f[S(u) = f
x
[S(u). Por ltimo, por un razonamiento
anlogo al primer paso, es claro que f es la nica funcin denida sobre S
I
con valores en Y
que satisface (1-3).
Cuarto paso. Sea x I y sea < x. Como antes, sea f
x
: S(x) Y la nica funcin tal
que satisface (1-2), entonces en particular, la funcin f
= f
x
[ S() es la nica funcin denida
sobre S() con valores en Y tal que f
(u) = g(f
[S(u)), para todo u S(). Por lo tanto

I. as, I es igual a X o bien I = S(), para algn X. Supongamos que I ,= X. Sea r
el mnimo elemento de X I. Dado que / I, r , pero si r < , entonces r I lo cual
es imposible, por lo tanto I = S(r) = S
I
. La funcin f del tercer paso est denida en S(r).
Sea la funcin f
= f (r, g(f)), esto es, f
: S(r) Y tal que f
(u) = f(u) si u S(r) y

f
(r) = g(f). Entonces f
satisface (1-2) y por lo tanto r I, una contradiccin. as, I = X y

la funcin f del tercer paso es la funcin buscada.
1.5. La topologa de R
Se puede construir una topologa sobre R de la siguiente manera. Considere la coleccin de
conjuntos O con cualquiera de las siguientes formas O, O(t, ], O[, s), O[, s)
(t, ] donde O es un subconjunto abierto de R y s, t R. Entonces (R, O) es un espacio
topolgico y O se llama la topologa usual de R.
2 Teora de la medida
2.1. Anillos, lgebras y -lgebras de conjuntos
Entre las actividades caractersticas de la ciencia destacan la observacin de formas sucesos
y su medicin. En la seccin siguiente deniremos el concepto de medida, que engloba tr-
minos como: longitud, rea, volumen, probabilidad carga y en esta primera nos jaremos de
forma muy general en los objetos o sucesos a medir. Para ello consideraremos un conjunto X
del que queremos medir (en algn sentido) algunos de sus subconjuntos, deniremos la estruc-
tura que tiene esa coleccin de conjuntos que vamos a medir y estudiaremos sus propiedades
y consecuencias bsicas.
Sea X un conjunto no vaco al que llamaremos espacio, y a cuyos elementos llamaremos
puntos.
Denicin 2.1 (Anillo de conjuntos). Un anillo de conjuntos ( o simplemente un anillo) es una
coleccin no vaca R de subconjuntos de X que satisface las siguientes propiedades.
i) Si A, B R, entonces A B R.
ii) Si A, B R, entonces A B R.
En otras palabras, un anillo es una clase no vaca la cual es cerrada bajo la formacin de
uniones y diferencias.
Es claro de la denicin que cada anillo contiene al conjunto vaco. Como por denicin R
es no vaco, si A R, entonces = A A R.
Como se cumple: AB = (A B) (B A) y adems A B = (A B) (AB), se
sigue que un anillo es cerrado bajo la formacin de diferencias simtricas e intersecciones.
Denicin 2.2 (lgebra de conjuntos). Un lgebra de conjuntos o lgebra booleana es una
coleccin no vaca S de subconjuntos de X que satisface las siguientes propiedades.
i) Si A, B R, entonces A B S.
ii) Si A R, entonces A
c
S.
2.1 Anillos, lgebras y -lgebras de conjuntos 17
Como AB = AB
c
= (A
c
B)
c
, se sigue que cualquier lgebra es un anillo. La relacin
entre el concepto general de anillo y el concepto ms especial de lgebra es simple: un lgebra
puede ser caracterizado como un anillo que contiene a X. Como A
c
= X A, y tal anillo
es un lgebra; si, inversamente, S es un lgebra y A S -se recalca que A ,= -, entonces
X = AA
c
S, y con esto tenemos = X
c
S -lo cual ya establecimos, al ser S un anillo-.
De esto tenemos que S = , X y S = B : B X son lgebras llamadas lgebra trivial
y lgebra discreta, respectivamente.
Se sigue de las leyes de De Morgan que AB est en S siempre que A y B estn. Usando el
argumento anterior repetitivamente tomando uniones dos a dos, vemos que si A
1
, A
2
, , A
n
son conjuntos en S entonces
n
_
i=1
A
i
S y
n
i=1
A
i
S.
Teorema 2.1. La interseccin de cualquier coleccin de anillos o lgebras sobre X, es un
anillo o un lgebra sobre X, respectivamente.
Demostracin. Dado que lgebra implica anillo, se har la demostracin nicamente para anil-
los. Sea R
i
, i I una coleccin de anillos -I conjunto de ndices -. Dados A, B
iI
R
i
se
tendr A, B R
i
para toda i I, de esto AB R
i
, para toda i I, de donde AB
iI
R
i
.
Adems se cumple AB R
i
, para toda i I, de donde AB
iI
R
i
. por lo que
iI
R
i
es
un anillo.
Teorema 2.2. Si C es cualquier familia de subconjuntos de X, entonces existe un nico anillo
R
0
tal que C R
0
y tal que si R es cualquier otro anillo que contiene a C entonces R
0
R.
Demostracin. Como la familia de todos los subconjunto de X se un anillo, y se tiene que
existe al menos un anillo que contiene a C. Como la interseccin de anillos es un anillo, y con
esto, la interseccin de todos los anillos que contienen a C es el anillo R
0
.
Denicin 2.3 (-Anillo de conjuntos). Un -anillo de conjuntos ( o simplemente un -anillo)
es una coleccin no vaca G de subconjuntos de X que satisface las siguientes propiedades.
i) Si A, B G, entonces A B G.
ii) Si A
i
G, con i = 1, 2, . . ., entonces
i=1
A
i
G.
En forma equivalentemente un -anillo es un anillo cerrado bajo la formacin de uniones
contables. Si G es un -anillo y si A
i
G, con i = 1, 2, . . . , y A =
i=1
A
i
, entonces la
identidad
i=1
A
i
= A
i=1
(A A
i
) muestra que
i=1
A
i
G, es decir, que un -anillo es
cerrado bajo la formacin de intersecciones contables.
Teorema 2.3. La interseccin de cualquier coleccin de -anillos sobre X, es un-anillo sobre
X.
18 2 Teora de la medida
Demostracin. Sea G
i
, i I una coleccin de -anillos. Sean los conjuntos A, B
iI
G
i
, de
donde A, B G
i
para toda i I, de esto AB G
i
para toda i I, es decir, AB
iI
G
i
.
Sea A
n
nN

iI
G
i
, de donde A
n
nN
G
i
para toda i I, de esto
n=1
A
n
G
i
para
toda i I, es decir
n=1
A
n

iI
G
i
. En consecuencia, la interseccin es un -anillo.
Corolario 2.1. Si C es cualquier familia de subconjuntos de X. Entonces existe un nico -
anillo G
0
que contiene a C y tal que si G es un -anillo que contiene a C, entonces G
0
G.
Demostracin. Sea E la clase de todos los -anillos que contienen a C, se tiene que E ,= ya
que el conjunto potencia de X es un -anillo y contiene a C. Entonces la interseccin de los
elementos de E contiene a C y la misma est contenida en cualquier otro elemento de E.
Denicin 2.4 (Semianillo de conjuntos). Sea X un conjunto no vaco. Una coleccin S de
subconjuntos de X se llama un semianillo si satisface las siguientes propiedades.
i) S.
ii) Si A, B S, entonces A B S.
iii) Para cada A, B S existen C
1
, . . . , C
n
en S (dependientes de A y B) tal que A B =
n
i=1
C
i
y C
i
C
j
= si i ,= j. Es decir, la diferencia de cualquiera dos conjuntos de S
puede escribirse como la unin nita de miembros de S disyuntos dos a dos.
Claramente, un anillo R es necesariamente un semianillo, ya que si A, B R, entonces la
relacin A B = A (A B) demuestra que A B R.
Denicin 2.5 (-Conjunto). Sea S un semianillo de conjuntos de X. Un subconjunto A de
X se llama un -conjunto con respecto a S ( o simplemente -conjunto) si existe una sucesin
disyunta A
n
nN
de S (es decir, A
n
A
m
= si n ,= m) tal que A =
n=1
A
n
.
Teorema 2.4. Si A =
n
i=1
A
i
con A
1
, . . . , A
n
S y A
i
A
j
= si i ,= j. Entonces A es un
-conjunto.
Demostracin. Tomemos B
n
nN
as , B
i
= A
i
para i = 1, 2, . . . , n y B
i
= para i > n,
es claro que B
n
nN
es una sucesin de conjuntos disyuntos dos a dos y que

i=1
B
i
=
n
i=1
A
i
= A, por tanto A es un -conjunto.
Es claro de la denicin 2.5 que A B es un -conjunto para cada par A y B en S.
A continuacin se describen algunas propiedades de los -conjuntos.
Teorema 2.5. Para un semianillo S, se cumplen las siguientes propiedades:
i) Si A S y A
1
, A
2
, . . . , A
n
S, entonces A
n
i=1
A
i
se puede escribir como unin
nita de conjuntos disyuntos de S.
ii) Para cada sucesin A
n
nN
de S el conjunto A =
i=1
A
i
es un -conjunto.
iii) Las uniones contables e intersecciones nitas de -conjuntos son -conjuntos.
Demostracin. Para probar i) usaremos induccin sobre n. Para n = 1 es cierto por la denicin
2.5. Ahora supongamos que es cierto para un n. Sea A S y A
1
, A
2
, . . . , A
n
, A
n+1
S. Por
hiptesis de induccin, existen B
1
, B
2
, . . . , B
k
S tal que B = A
n
i=1
A
i
=
k
i=1
B
i
y
B
i
B
j
= si i ,= j. En consecuencia,
A
n+1
_
i=1
A
i
= B A
n+1
=
k
_
i=1
(B
i
A
n+1
).
Como los B
i
son disyuntos, as mismo lo son B
i
A
n+1
, adems por iii) de la denicin 2.5 cada
B
i
A
n+1
puede escribirse como unin nita de disyuntos de S en consecuencia A
n+1
i=1
A
i
puede escribirse como unin nita de conjuntos disyuntos de S.
Para probar ii) tomemos B
1
= A
1
, y B
n+1
= A
n+1
(A
1
A
2
A
n
). Es claro que
B
n
A
n
para todo n y que B
n
= A
n
, as, si m ,= n, supongamos que m > n, entonces
B
m
B
n
= A
m

m1
i=1
A
i
B
n
= ya que por ser m > n, A
n
B
m
= , y B
n
A
n
.
Ahora de i) se tiene que cada B
n
se puede expresar como unin nita de conjuntos disyuntos
de S, en consecuencia A =
i=1
B
i
se puede expresar como unin de una sucesin disyunta de
elementos de S, es decir A es un -conjunto.
Para probar iii), sea A
n
nN
una sucesin de -conjuntos con unin A. En ii) se prob que
A es un -conjunto por lo tanto la unin contable de -conjuntos es un -conjunto. Ahora si
A y B son -conjuntos, entonces existen sucesiones A
n
nN
y B
n
nN
en S disyuntas dos a
dos, cuya unin son A y B respectivamente, as
A B = (
_
n=1
A
n
) (
_
n=1
B
n
)
=
_
n=1
(A
n
B
n
)
=
_
n=1
C
n
.
donde C
n
= A
n
B
n
para todo n, y como A
n
nN
y B
n
nN
son disyuntas dos a dos, C
n
nN
es disyunta dos a dos, por tanto A B es un -conjunto, de aqu es fcil ver por induccin que
si A
1
, A
2
, . . . , A
n
son -conjuntos, entonces A
1
A
2
. . . A
n
es un -conjunto.
Teorema 2.6. Dada una coleccin C de subconjuntos de X, existe un lgebra ms pequea
S la cual contiene a C; esto es, existe una lgebra S que contiene a C y tal que si B es un
lgebra que contiene a C y tal que si Bes cualquier lgebra que contiene a C, entonces Best
contenida en S.
Demostracin. Sea F la familia de todas las lgebras (de subconjuntos de X) las cuales con-
tienen a C. Sea S = B: B F. Entonces C es una subcoleccin de S ya que cada Ben F
contiene a C.
Veamos que S es un lgebra. En efecto:
Sean A y B dos conjuntos de S, entonces para cada B F, A By B B. Como Bes un
lgebra se tiene que A B est en B, para todo B F. Se concluye entonces que A B S.
Ahora veamos que si A S, entonces A
c
S. En efecto, A S implica que para todo
B F, A B. Como Bes un lgebra entonces A
c
Bpara todo B F. Por lo tanto, A
c
S.
Claramente S es el conjunto ms pequeo que contiene a C y que adems es lgebra.
Teorema 2.7. Para un lgebra de conjuntos S de un conjunto no vaco X las siguientes
propiedades son ciertas:
i) , X S.
ii) El lgebra de conjuntos S es cerrado bajo uniones e intersecciones nitas.
iii) El lgebra S es un semianillo.
Demostracin. i) Como S es no vaca existe algn A S, ahora por hiptesis se tiene que
A
c
S, y tambin que A A
c
= S. Adems
c
= X S.
ii) Sean A, B S luego A
c
, B
c
S, as A B = (A
c
B
c
)
c
S. El resto de la prueba se
hace fcilmente por induccin.
iii) Para ver que cada lgebra S es un semianillo falta probar la propiedad iii) de la denicin
2.5, pero esto es obvio ya que dados A, B S, A B = A B
c
donde es claro que
A B
c
S as A B es unin nita de elementos de S.
A continuacin presentaremos una ilustracin con ejemplos de lo que son semianillos y l-
gebras de conjuntos.
Ejemplo 2.1. Para cada conjunto no vaco X, la coleccin S = , X es un lgebra de
conjuntos. Esta es la ms pequea lgebra posible.
Ejemplo 2.2. Para cada conjunto no vaco X, su conjunto potencia P(X) (es decir la coleccin
de todos los subconjuntos de X) forman un lgebra, esta es la ms grande lgebra posible.
Ejemplo 2.3. Sea F una familia no vaca, disyunta dos a dos de subconjuntos de un conjunto
X. Entonces S = F es un semianillo de subconjuntos de X.
En efecto, por denicin de S, S. Ahora, si A, B S, entonces AB es igual a vaco o
es igual a A, en cualquier caso A B S, igualmente A B es igual a vaco o igual a A en
cualquiera de los dos casos A B S y por lo tanto S es un semianillo.
Ejemplo 2.4. Si a, b R, escribiremos [a, b) = si a b y [a, b) = x R : a x < b si
a < b. Entonces la coleccin S = [a, b) : a, b R es un semianillo de conjuntos de R, que
no es un lgebra de conjuntos.
En efecto, es claro que S.
Ahora bien, sean [a, b) y [c, d) en S, [a, b) [c, d) puede ser igual a , [a, b), [c, d), [c, b),
[a, d), en cualquier caso [a, b) [c, d) S.
As mismo, A B puede ser igual a , [a, b), [a, c), [d, b), [a, c) [d, b), en cada caso se
observa claramente que A B se puede expresar como unin nita de elementos de S, por
tanto S es un semianillo.
S no es un lgebra puesto que dado [a, b) S, [a, b)
c
es igual a R o igual a (, a)[b, )
y en cualquiera de los dos casos [a, b)
c
no esta en S.
Ahora deniremos el concepto de -lgebra de conjuntos.
Denicin 2.6 (-lgebra de conjuntos). Llamaremos -lgebra sobre un conjunto X , o un
campo de Borel sobre X, a un lgebra F cerrada para uniones numerables, por lo tanto con
las siguientes propiedades:
i) X F.
ii) Si A F, entonces A
c
F.
iii) Si A
1
, A
2
, . . . F, entonces
i=1
A
i
F
Las leyes de De Morgan implican que la interseccin de conjuntos numerables est de nuevo
en S.
Se sigue de forma inmediata que un lgebra y un anillo son cerrados para intersecciones
nitas y una -lgebra para intersecciones numerables.
Ejemplo 2.5. P(X) es la mayor -lgebra de X.
Ejemplo 2.6. , X es la menor -lgebra de X.
Ejemplo 2.7. Sea X con innitos elementos (numerable o no) y consideremos la coleccin F
de todos los subconjuntos A X, tales que A A
c
sea numerable. Entonces F es -lgebra
de X.
Ejemplo 2.8. Sea X con innitos elementos y consideremos la coleccin F de todos los sub-
conjuntos A de X, tales que A A
c
sea nito. Entonces F es lgebra pero no -lgebra de
X.
Ejemplo 2.9. Sea X = R y F la coleccin de todas las uniones nitas y disyuntas de los semi-
intervalos acotados (a, b], con < a b < . Entonces F es anillo pero no lgebra ni
-lgebra de X = R.
Ejemplo 2.10. Sea X = Ry F la coleccin de todas las uniones nitas y disyuntas de intervalos
del tipo (a, b] (a, ), con a b < . Entonces F es lgebra pero no -lgebra de
X = R.
Denicin 2.7. Llamaremos espacio medible al par (X, F), donde X es un conjunto y F es una
-lgebra de X y conjuntos medibles a los elementos de F.
En lo sucesivo sea f : (X, F) (Y, G), una aplicacin en donde (X, F), (Y, G) son espacios
medibles, a menos que se indique otra cosa.
Es obvio que la interseccin arbitraria de -lgebras en X es una -lgebra.
Teorema 2.8. La interseccin de cualquier coleccin de -lgebras sobre X, es tambin una
-lgebras sobre X.
Demostracin. Sean F
i
, i I -lgebras sobre X. De esto X F
i
para toda i I, de donde
X
iI
F
i
.
Sea A
iI
F
i
, de donde A F
i
para toda i I, de esto A
c
F
i
para toda i I, es decir,
A
c

iI
F
i
.
Sea A
n
nN

iI
F
i
, de donde A
n
nN
F
i
para toda i I, de esto,
n=1
A
n
F
i
para
toda i I, es decir,
n=1
A
n

iI
F
i
. En consecuencia la interseccin es una -lgebra en
X.
Corolario 2.2. Si C es cualquier familia de subconjuntos de X. Entonces existe una -lgebra
F
en X tal que C F
.
Demostracin. Sea B la clase de todas las -lgebras que contienen a C, como C P(X)
entonces B,= . De esto tendremos que F
:=
FB
F cumple con las condiciones.
Teorema 2.9. Dada una coleccin C de subconjuntos de X, existe una -lgebra S ms pe-
quea la cual contiene a C, esto es existe una -lgebra que contiene a C tal que si B es
cualquier -lgebra que contiene a C entonces S B.
La demostracin de este ltimo teorema es anloga a la demostracin del Teorema 2.6.
2.2 El -lgebra de Borel en R y en R 23
Nota 2.1. Sea C una coleccin de subconjuntos de X. El anillo R
0
es el ms pequeo que
contiene a C y se llama el anillo generado por C, y se denota por R(C) := R
0
. El -anillo S
0
es el ms pequeo que contiene a C y se llama el -anillo generado por C y lo denotamos por
G(C) := G
0
. La ms pequea -lgebra que contiene a C se llama la -lgebra generada por
C y se denota por (C) := F
, siendo C es una familia de subconjuntos de X.

Denicin 2.8. Sea (X, ) un espacio topolgico. Sea B:= () la -lgebra generada por ,
a la cual llamaremos -lgebra de Borel, y todos sus miembros son llamados los conjuntos de
Borel de X. En particular, (X, B) es el espacio medible en el cual todos los conjuntos cerrados
-al ser complementos de abiertos- son medibles.
2.2. El -lgebra de Borel en R y en R
Denimos la -lgebra de Borel en R como la mnima -lgebra sobre R, que contiene a la
clase de los intervalos abiertos y acotados de R. Usamos la notacin B(R). Entonces podemos
escribir B(R) =
_
(a, b) R : a, b R
_
. No hay que dejar de observar que el trmino de
la izquierda en la ltima igualdad, es una -lgebra generada sobre R.
Proposicin 2.1. La -lgebra de Borel en R es la mnima -lgebra que contiene a los
conjuntos abiertos de R. Esto es, si O es la clase de los conjuntos abiertos en R, entonces
B(R) = (O).
Demostracin. La familia I, que rene los intervalos abiertos y acotados de R, es una base para
O.
Ejemplo 2.11. En X = R, denimos la topologa , formada por las uniones arbitrarias de
intervalos del tipo
[, b), (a, b), (a, ]
con a b R, para la que
R
= R. Esta topologa tiene una base numerable N
R
formada
por los mismos intervalos pero con a, b Q.
Observemos que B(R) = B(R) R, por lo tanto como R, , B(R), se tiene
que B(R) = A, A , A , A , : A B(R).
2.3. Funcin de conjunto
Denicin 2.9 (Funcin de conjunto). Sean X un conjunto y F una clase no vaca de subcon-
juntos de X. Una funcin : F R se llama funcin de conjunto o funcin conjuntista.
Denicin 2.10 (Aditividad nita y contable). Sea F una clase de subconjuntos de X tal que
F. Una funcin de conjunto : X R es nitamente aditiva si
i) () = 0,
ii) Si A
n
m
n=1
F es una subcoleccin nita de subconjuntos disyuntos dos a dos tal que
m
n=1
A
n
F entonces
1. N
= o bien N
= , donde
N
:= 1 n m : (A
n
) = y N
:= 1 n m : (A
n
) = .
2. (
m
n=1
A
n
) =
m
n=1
(A
n
).
Decimos que es -aditiva o contablemente aditiva si se cumple i) y
ii) Si A
n
n=1
F es una subcoleccin contable de subconjuntos disyuntos dos a dos tal
que
n=1
A
n
F entonces
1. N
= o bien N
= , donde
N
:= n 1 : (A
n
) = y N
:= n 1 : (A
n
) = .
2. (
n=1
A
n
) =
n=1
(A
n
).
Ejemplo 2.12. Sea X un conjunto innito de puntos y sea F la clase de todos los subconjuntos
de X. Se dene
(A) =
_
#(A) si A es nito
+ si A es innito.
Entonces es una funcin de conjunto -aditiva.
Denicin 2.11. Sea X = (0, 1] y sea F la clase de los intervalos (a, b], donde 0 a b 1.
Se dene
((a, b]) =
_
b a sia ,= 0
+ sia = 0.
Entonces es una funcin de conjunto que no es -aditiva que es nitamente aditiva.
Proposicin 2.2. Si es contablemente aditiva entonces es nitamente aditiva.
Demostracin. Sea A
n
m
n=1
F una subcoleccin nita de subconjuntos disyuntos dos a dos
tal que
m
n=1
A
n
F. Denimos para n > m, A
n
= . Claramente A
n
n=1
es una coleccin
contable de subconjuntos disyuntos dos a dos en F tal que
n=1
A
n
F, y dado que (A
n
) = 0
si n > m, se sigue
_
m
_
n=1
A
n
_
=
_
_
n=1
A
n
_
=
n=1
(A
n
) =
m
n=1
(A
n
).
2.4 Medida en semianillos 25
Denicin 2.12 (Funciones de conjunto en R). Sea P(R) el conjunto potencia de R. Una fun-
cin conjuntista , denida sobre P(R), es un mapeo que aplica conjuntos de R en el conjunto
de los nmeros reales extendidos R.
Ejemplo 2.13. Los siguientes son ejemplos de funciones de conjunto denidas sobre P(R) con
valores en R.
i) (A) = , para todo A R.
ii) (A) = , para todo A R.
iv) (A) = #(A), para todo A R.
v) Para todo A R,
(A) =
_
0 si 0 / A,
1 si 0 A.
vi) Para todo A R,
(A) =
_
_
si A [0, ),
0 si A [0, ) ,= , = A [0, ),
si A R [0, ).
Restringiremos nuestro inters en funciones conjuntistas no-negativas.
Denicin 2.13. Sea : P(R) [0, ] una funcin conjuntista no-negativa.
(i) Decimos que es -aditiva, si para toda coleccin numerable A
n
n1
de subconjuntos
de R tal que A
n
A
m
= , si n ,= m, se tiene
_

_
n=1
A
n
_
=
n=1
(A
n
).
2.4. Medida en semianillos
Los semianillos no serian importantes si no fuera por el propsito de denir el concepto de
medida. El concepto de medida puede ser dado como una generalizacin del concepto de rea
y longitud.
Denicin 2.14. Sea S un semianillo de subconjuntos de un conjunto X. Una funcin de con-
juntos : S [0, ] es llamada una medida en S si satisface:
1. () = 0
2. para toda sucesin A
n
de conjuntos disyuntos dos a dos de S que satisfagan
n
n=1
A
n

S, entonces
_
n=1
A
n
_
=
n=1
(A
n
),
esto es, es -aditiva.
La tripleta (X, S, ), donde X es un conjunto no vaco, S un semianillo y una medida, se
llama espacio medible .
Un espacio de medida , F, tal que F es una -lgebra, o sea, F y () = 1 se llama
un espacio de probabilidad.
Teorema 2.10. Para un espacio medible (X, S, ) se cumple
1. Si A
1
, . . . , A
n
S son disyuntos dos a dos y

n=1
A
n
S, entonces (
n
i=1
A
i
) =
n
i=1
(A
i
), esto es, es nitamente aditiva
2. Si A, B S satisfacen A B, entonces (A) (B), esto es es montona
Demostracin. 1. Si A
1
, . . . , A
n
S son disyuntos dos a dos, tomemos A
i
= si i n.
Entonces A
i
es una sucesin de S que satisface
i=1
A
i
=
n
i=1
A
i
S. Aplicando la
-aditividad de se tiene
_
n
_
i=1
A
i
_
=
_
_
i=1
A
i
_
=
i=1
(A
i
) =
n
i=1
(A
i
)
donde la igualdad queda probada ya que () = 0.
2. Si A, B S satisfacen A B. Entonces existen conjuntos C
1
, C
2
, . . . , C
n
de S disyuntos
dos a dos tales que BA =
n
i=1
C
i
. Entonces B = A(BA) = AC
1
C
2
. . .C
n
es una unin nita de conjuntos disyuntos de S. Entonces de la parte (1) tenemos
(B) = (A) + (C
1
) + (C
2
) + . . . + (C
n
) (A)
demostrando as el teorema.
Ejemplo 2.14. La medida de Dirac. Sea X un conjunto no vaco, y sea S = P(X), jamos
a X. Denimos : S [0, ] por:
(A) =
_
0, si a / A
1, si a A.
Entonces la tripleta (X, P(X), ) es un espacio medible.
En efecto, veamos que es una medida. Es claro que () = 0 pues vaco no tiene elementos
(a / ).
Por otro lado, sea A
n
una sucesin de conjuntos disyuntos dos a dos de S que satisface
n=1
A
n
S, entonces hay dos casos: a /
n=1
A
n
o a
n=1
A
n
.
1) Si a / A
k
para todo k, entonces (A
k
) = 0 para todo k, por lo tanto la serie
n=1
(A
i
)
converge a cero, y adems a /
n=1
A
n
as (
n=1
A
n
) = 0.
2) Si a A
k
para algn k, entonces (A
k
) = 1, a , A
m
, m ,= k y as (A
m
) = 0 para
m ,= k. Entonces
_
n=1
A
n
_
= 1 =
n=1
(A
n
).
Ejemplo 2.15. Asumamos que la funcin f : R R es no decreciente y continua por la
izquierda, esto es, lm
xa
f(x) = f(a) siempre para cada a R. Consideremos el semianillo
S = [a, b) : a, b R, a b. Denamos : S [0, ) por:
([a, b)) =
_
f(b) f(a), si a < b
, si a = b.
Entonces es una medida.
En efecto, Es claro que () = 0 pues [a, b) = , si a = b.
Ahora bien, veamos que es -subaditiva: sea a < b y sea [a, b) =
n=1
[a
n
, b
n
) con la
sucesin [a
n
, b
n
) disyunta dos a dos, asumamos que a
n
< b
n
para cada n.
Sea
s
k
=
k
i=1
([a
i
, b
i
))
la k-sima suma parcial de la serie.
Como todas las cantidades en la suma son positivas, es suciente demostrar el teorema para
el caso en que la coleccin de intervalos es nita. Como a

N
n=1
[a
n
, b
n
), se tiene que a
est contenido en uno de los intervalos. Reordenamos los intervalos para que a [a
1
, b
1
). Si
a [a
1
, b
1
), se tiene que a
1
a < b
1
. Si b
1
> b el argumento est completo, si este no es
el caso, b
1
[a, b) y como b
1
/ [a
1
, b
1
), existe otro intervalo [a
2
, b
2
) tal que b
1
[a
2
, b
2
), y
a
2
b
1
< b
2
.
Continuando en esta manera, se obtiene una sucesin [a
1
, b
1
), [a
2
, b
2
), . . . , [a
k
, b
k
) que es
parte de la coleccin

N
n=1
[a
n
, b
n
) tal que a
i
b
i1
< b
i
. Como la coleccin es nita, el
proceso terminar, y se tendr b [a
k
, b
k
). Es decir a
k
b < b
k
.
Por lo tanto, podemos suponer que a
1
< b
1
a
2
< b
2
a
k
< b
k
. Al ser f no
decreciente
f(a
1
) f(b
1
) f(a
2
) f(b
2
) f(a
k
) f(b
k
).
Por tanto
f(b
1
) f(a
1
) + f(a
2
) f(b
1
) + f(b
2
) f(a
2
) + + f(b
k
) f(a
k
) f(b
k
) f(a
1
).
La desigualdad anterior se puede escribir como
f(b
k
) f(a
1
)
k
i=1
(f(b
i
) f(a
i
)) +
k1
i=1
(f(a
i+1
) f(b
i
)).
Puesto que todos los trminos son no negativos, se concluye que
s
k
=
k
i=1
[f(b
i
) f(a
i
)] f(b
k
) f(a
1
) f(b) f(a),
lo cual implica
s f(b) f(a) = ([a, b)) (2-1)
por s
k
creciente y acotada superiormente.
Por ser f continua por la izquierda en cada a
n
dado > 0 existe
n
> 0 tal que si a
n
x <
n
entonces [f(x) f(a
n
)[ < . Dado > 0 arbitrario puede tomarse, para a
n
, = 2
n
y
concluir que para cada n existe c
n
con c
n
< a
n
y a
n
c
n
<
n
de tal manera que f(a
n
)f(x) <
2
n
siempre que c
n
< x a
n
. Ahora considere de tal manera que 0 < < b a. Puesto
que [a, b ]

n=1
(c
n
, b
n
) y [a, b ] es compacto, se tiene que [a, b ]

k
n=1
(c
n
, b
n
)
para algn k. Asumamos a
1
= a. Si b
1
< b , entonces por una reordenacin, se puede
asumir que b
1
(c
2
, b
2
). Puesto que (a
1
, b
1
) (a
2
, b
2
) = , se sigue que c
2
< b
1
a
2
.
Continuando el proceso, se obtiene (c
1
, b
1
), . . . , (c
m
, b
m
), 1 m k, con b b
m
y, si
m 2, c
i+1
< b
i
< a
i+1
para 1 i m; note que f(a
i+1
) f(b
i
) < 2
(i+1)
y
m1
i=1
[f(a
i+1
) f(b
i
)]
m1
i=1
2
(i+1)
=
_
1
2

1
2
m
_
.
Adems,
f(b
m
) f(a
1
) =
m
i=1
[f(b
i
) f(a
i
)] +
m1
i=1
[f(a
i+1
) f(b
i
)].
Consecuentemente,
s
m
i=1
[f(b
i
) f(a
i
)]
= f(b
m
) f(a
1
)
m1
i=1
[f(a
i+1
) f(b
i
)]
> f(b ) f(a) .
Puesto que > 0 y 0 < < b a son arbitrarios, entonces la continuidad por la izquierda de
f en b implica
s f(b) f(a).
Combinando esta ltima desigualdad con la ecuacin (2-1) se tiene que s = f(b) f(a), por
tanto es -aditiva.
Ejemplo 2.16. En el caso que f es la funcin identidad, la medida del ejemplo anterior se
conoce como la medida de Lebesgue . La demostracin de que es una medida se presentar
mas adelante en estas notas.
Teorema 2.11. Sea S un semianillo, y sea : S [0, ] una funcin de conjuntos. Entonces
es una medida en S si y slo si satisface las siguientes condiciones:
1. () = 0.
2. si A S y A
1
, A
2
, . . . , A
n
S satisfacen

n
i=1
A
i
A y son disyuntos dos a dos,
entonces
n
i=1
(A
i
) (A).
3. si A S y A
n
S satisface A
n=1
A
n
, entonces (A)
n=1
(A
n
), esto es
es -subaditiva.
Demostracin. Asumamos que es medida en S. Entonces por denicin, () = 0. Para (2)
sea A S y asumamos que los conjuntos disyuntos A
1
, A
2
, . . . , A
n
de S satisfacen
n
i=1
A
i

A. Por el teorema 2.5, existen conjuntos disyuntos dos a dos B
1
, B
2
, . . . , B
m
de S tales que
A
n
i=1
A
i
=
m
i=1
B
i
. Pongamos C
1
= A
1
, C
2
= A
2
, . . . , C
n
= A
n
, y C
n+i
= B
i
para
1 i m. Entonces los conjuntos C
1
, . . . , C
n+m
son disyuntos dos a dos y A =
m+n
i=1
C
i
.
Por la aditividad nita de (ver teorema 2.10) se tiene que
(A) =
m+n
i=1
C
i

n
i=1
(A
i
).
Para la -aditividad de , asumamos que
n
i=1
A
i
A para un A de S y A
n
S. Hagamos
B
1
= A
1
y B
n+1
= A
n+1

n
i=1
A
i
para n 1. Entonces

n=1
B
n
=
n=1
A
n
. As la
sucesin B
n
es disyunta y B
n
A
n
para todo n y por el teorema 2.5, para cada n 2
existen conjuntos disyuntos dos a dos C
n
1
, . . . , C
n
kn
en S tales que B
n
=
kn
i=1
C
n
i
. Ahora por
(2) y el hecho que
kn
i=1
C
n
i
A
n
para cada n, se sigue que
kn
i=1
(C
n
i
) (A
n
).(Para n = 1
tomamos k
1
= 1 y C
1
1
= A
1
) Ahora observe que A =
n=1
(A B
n
) =
n=1
kn
i=1
(C
n
i
A)
es una unin disyunta. As por la -aditividad de tenemos
(A) =
n=1
kn
i=1
(C
n
i
A)
n=1
kn
i=1
(C
n
i
)
n=1
(A
n
).
Recprocamente si la funcin de conjuntos : S [0, ] satisface las tres condiciones,
entonces es -aditiva por la combinacin de (2) y (3) y () = 0, por lo tanto es una
medida.
Denicin 2.15. Una funcin de conjunto : S [0, ], se llama una medida nitamente
aditiva si
a. () = 0
b. si A
1
, A
2
, . . . , A
n
son conjuntos disyuntos de S que satisfacen
n
i=1
A
i
S, entonces
_
n
_
i=1
A
i
_
=
n
i=1
(A
i
).
Es claro que toda medida es una medida nitamente aditiva. NO obstante existen medidas
nitamente aditivas que no son medidas. A continuacin se da uno de tales casos.
Ejemplo 2.17. Sea el semianillo S = A R : A es a lo mas contable, y denamos la
funcin de conjuntos : S [0, ] por:
(A) =
_
0, si A es nito
, si A es contable innito.
Entonces es una medida nitamente aditiva que no es una medida.
En efecto () = 0 ya que vaco es nito.
Sean A
1
, A
2
, . . . , A
n
conjuntos de S disyuntos dos a dos con A =
n
i=1
A
i
S. Si todos los
A
i
son nitos A es nito y as (
n
i=1
A
i
) = 0. Si alguno de los A
i
es contable entonces A es
contable y (A) = =
n
i=1
(A
i
).
Por lo tanto es nitamente aditiva.
Para ver que no es una medida, tmense los conjunto unitarios nitos n donde n N
entonces
i=1
i = N y por lo tanto (
i=1
i) = , pero la serie
i=1
(i) converge a
cero ya que (n) = 0 para todo n N.
As las cosas, no es una medida.
2.5. Medida exterior y Conjuntos medibles
La longitud l(I) de un intervalo I se dene como la diferencia entre los puntos extremos del
intervalo. La longitud es un ejemplo de una funcin de conjuntos, es decir, una funcin que
asocia un nmero real extendido a cada conjunto en alguna coleccin de conjuntos. En el caso
de la longitud, el dominio es la coleccin de todos los intervalos.
Construyamos una funcin , tal que a cada conjunto E en alguna coleccin F de conjuntos
de nmeros reales, le asignamos un nmero no negativo de los reales extendidos (E) llamada
la medida de E. debe cumplir las siguientes propiedades:
2.5 Medida exterior y Conjuntos medibles 31
i) (E) est denida para cada conjunto E de nmeros reales; esto es F = P(R).
ii) Para un intervalo I, (I) = l(I). (l(I) longitud de I).
iii) Si E
n
es una sucesin de conjuntos disjuntos (para la cual est denida)
_
_
E
n
_
=
(E
n
).
iv) es una traslacin invariante, esto es, si E es un conjunto para el cual est denido y
si E + y es el conjunto x + y : x E, entonces
(E + y) = E.
Algunas veces no es posible hacer esta construccin sobre todo P(X) y se comienza con una
funcin que satisface algunas de las propiedades mencionadas anteriormente y luego se re-
stringe a una subcoleccin adecuada de P(X).
Denicin 2.16. Una funcin de conjunto : P(X) [0, ] denida sobre el conjun-
to de potencia, P(X), del conjunto X se llama medida exterior si satisface las siguientes
propiedades:
1. () = 0.
2. Si A B, entonces (A) (B), es decir, es montona.
3. Si A
n
es una sucesin de subconjuntos de X, entonces (
n=1
A
n
)

n=1
(A
n
),
es decir, es -subaditiva.
Para cada conjunto de nmeros reales considere las colecciones contables I
n
de interval-
os abiertos los cuales cubren a A, esto es, colecciones para las cuales A I
n
y para cada
coleccin considere la suma de las longitudes de los intervalos en la coleccin. Ya que, las longi-
tudes son nmeros reales positivos, esta suma est unvocamente denida independientemente
del orden de los trminos.
Proposicin 2.3 (Medida exterior de Lebesgue en R). Sea A un subconjunto de R. Sea
S(A) = I
n
: A
_
I
n
, I
n
intervalo abierto de R,
es decir, S(A) es el conjunto de todas las colecciones contables de intervalos abiertos que
cubren a A. Dena
m
A = nf
{In}S(A)
n=1
l(I
n
).
Entonces
1. m
= 0.
2. Si A B entonces m
A m
B.
3. Si A es un intervalo entonces m
(A) es la longitud de A.
4. m
es subaditiva.
5. m
es invariante por traslaciones, es decir, m
(y + A) = m
(A) para todo y R.

Demostracin.
1. Consecuencia directa de la denicin.
2. Consecuencia directa de la denicin.
3. Tomamos el caso de un intervalo cerrado [a, b]. Sea > 0 tomamos el intervalo abierto
(a

2
, b +

2
) que cubre a [a, b] y se tiene que
m
([a, b]) m
((a

2
, b +

2
)) ((a

2
, b +

2
)) = b a +
y como esto es para cualquier > 0 tenemos
([a, b]) b a. Ahora se tiene que

demostrar la otra desigualdad, es decir demostrar que: m
([a, b]) b a, pero esto es

equivalente a demostrar que si I
n
n=1
es una coleccin de intervalos abiertos disjuntos
que cubren [a, b] entonces
n=1
(I
n
) b a.
Usando el teorema de Heine-Borel, cualquier coleccin de intervalos abiertos que cubra
a [a, b], tiene una subcoleccin nita que tambin cubre a [a, b], es decir, [a, b]
n
k=1
I
k
.
Por lo tanto demostraremos que
n
k=1
(I
k
) b a.
Puesto que a
n
k=1
I
k
, existe un intervalo I
k
tal que a I
k
para algn k = 1, 2, . . . , n.
Denotemos este intervalo por (a
1
, b
1
). Se tiene que a
1
< a < b
1
. Si b
1
b, entonces
n
k=1
(I
k
) b
1
a
1
> ba y el teorema estara probado. Si b
1
b, entonces b
1
[a, b)
y b
1
no esta en el intervalo (a
1
, b
1
), por lo tanto existe un intervalo I
k
el cual denotaremos
por (a
2
, b
2
), distinto de (a
1
, b
1
) tal que b
1
(a
2
, b
2
) y a
2
< b
1
< b
2
. Si b
2
b tenemos:
n
k=1
(I
k
) (b
1
a
1
) + (b
2
a
2
) = b
2
(a
2
b
1
) a
1
> b
2
a
1
> b a
y el teorema estara demostrado. Continuando este proceso con todos los n intervalos de
la coleccin, se obtiene la subcoleccin (a
k
, b
k
)
N
k=1
de I
k
n
k=1
la cual debe terminar
en algn N ya que se parti de una coleccin nita de intervalos. Pero termina slo si
b (a
N
, b
N
). Esto es
n
k=1
(I
k
)
N
k=1
((a
k
, b
k
))
= (b
N
a
N
) + (b
N1
a
N1
) + (b
1
a
1
)
= b
N
(a
N
b
N1
) (a
2
b
1
) a
1
> b
N
a
1
> b a.
por lo tanto
n
k=1
(I
k
) b a.
Si I es cualquier intervalo nito, entonces dado > 0 existe un intervalo cerrado J I
tal que l(J) > l(I) . Por lo tanto
l(I) < l(J) = m
I = l(
I) = l(I).
As para cada > 0,
l(I) < m
I l(I),
y por tanto m
= l(I).
Si I es un intervalo innito, entonces dado cualquier nmero real , existe un intervalo
cerrado J I tal que l(J) = . Por tanto m
I m
J = l(J) = . Puesto que

m
I para todo , se tiene que m
I = = l(I).
4. Probemos que si A
n
una coleccin contable de subconjuntos de nmeros reales en-
tonces
m
_
_
A
n
_
n=1
m
(A
n
). (2-2)
Si alguno de los A
n
tiene medida exterior innita entonces
n=1
m
(A
n
) = y la de-
sigualdad (2-2) se cumple trivialmente. Supongamos entonces que para todo n, m
(A
n
) <
. Para > 0 aplique la propiedad de aproximacin del nf para cada m
(A
n
) con
1
2
n
.
Se puede concluir entonces que para cada n jo existe una coleccin contable de interva-
los abiertos I
n,i
i=1
cuya unin contiene a A y
i=1
l(I
n,i
) m
(A) +
1
2
n
.
Puesto que cada coleccin I
n,i
i=1
es contable, la unin de todas estas colecciones es
contable y
_
n=1
A
n

_
n=1
_
i=1
I
n,i
.
Por tanto
m
_
n=1
A
n
_
m
_
n=1
_
i=1
l(I
n,i
)
_
n=1
i=1
I
n,i

n=1
_
m
(A
n
) +
1
2
n
n=1
m
(A
n
) + .
Puesto que es arbitrario se tiene la desigualdad (2-2).
5. Queda como ejercicio
A groso modo se puede armar que para cualquier subconjunto de R siempre es posible en-
contrar un conjunto abierto que contiene a A con prcticamente su medida exterior y que, desde
el punto de vista de la medida exterior m
, todo subconjunto de R, es esencialmente un conjunto

abierto o una interseccin contable de ellos. Recordemos brevemente que un subconjunto de R
se llama F
si es una unin contable de conjuntos cerrados y se llama G
si es una intersec-
cin contable de conjuntos abiertos. En esta terminologa la armacin al comienzo del prrafo
queda enunciada formalmente como sigue:
Denicin 2.17. Sea (X, ) un espacio topolgico. Sea B:= () la -lgebra generada por
, a la cual llamaremos -lgebra de Borel, y todos sus miembros son llamados los conjuntos
de Borel de X. En particular, (X, B) es el espacio medible en el cual todos los conjuntos cer-
rados -al ser complementos de abiertos- son medibles.
Sea cualquier familia de subconjuntos de X, se denen las clases
:=
_
_
n=i
E
n
: E
n
, n Z
+
_
,
:=
_
n=i
E
n
: E
n
, n Z
+
_
(2-3)
Para un espacio topolgico (X, ), se denotar con F a la clase de los conjuntos cerrados en
X, y con G a la clase de los conjuntos abiertos en X. De las propiedades de los abiertos y
cerrados se tiene G
= G y F
= F por lo que no se obtienen nuevos conjuntos.

Por otra parte las clases: G
formada por las intersecciones contables de abiertos y F
for-
mada por las uniones contables de cerrados, deben introducir un nuevo tipo de conjuntos. De
la denicin de cerrado y las leyes de De Morgan tenemos: si E F
entonces E
c
G
. Se
cumple G, F, G
, F
B.
Ejemplo 2.18. Un conjunto de un solo elemento en (R,
R
) es cerrado, de donde Q F
, pero
este no es abierto o cerrado. De esto tenemos Q
c
G
, pero I := Q
c
es el conjunto de los
nmeros irracionales, el cual tampoco es abierto o cerrado en R.
Adems, Bdebe contener a la unin contable de conjuntos de G
, denotado por G
, y a la
interseccin contable de conjuntos de F
, denotado por F
. Y as sucesivamente, con lo cual se

muestra la existencia de una gran cantidad de conjuntos medibles en el espacio X. En especial
si X = R
n
con la topologa usual, usaremos la notacin (R
n
, B
n
) para este espacio.
Teorema 2.12. En (R
n
, B
n
) se cumple
F F
, G G
, F G
, G F
.
Demostracin. Sean A F, C G y se denen A
n
:= A, C
n
:= C, para cualquier n Z
+
,
de donde A =
n
A
n
y C =
n
C
n
de donde A F
y C G
.
Por otra parte, sean A F y n Z
+
y se dene
G
n
:=
_
nA
B
1/n
(x)
de donde G
n
es abierto, y A G
n
para cualquier n, de esto A
n=1
G
n
.
Sea y

n=1
G
n
, entonces para cada n existe un punto x A tal que y B
1/n
(x). Por lo
que y es un punto de A o un punto de acumulacin de A, como A es cerrado, y A en cualquier
caso, y se tiene A =
n=1
G
n
y A G
.
De la denicin de cerrado, las leyes de De Morgan y la ltima igualdad obtenemos la cuarta
contencin.
Sea A un conjunto y B A un subconjunto, entonces la aplicacin inclusin i(x) = x A
para cualquier x B, se representa por i : B A. Entonces al continuar aplicando los
operadores y , obtenemos dos sucesiones de clases que constituyen la clasicacin de los
conjuntos de Borel. Existe un conjunto de relaciones de inclusin para estas clases, como lo
muestra el siguiente diagrama
F F
. . .
B
G G
. . .
B
Figura 2-1:
el cual es fcil de formular, si adoptamos la siguiente notacin:
F
0
= F, F
1
= F
, F
2
= F
, F
3
= F
, . . .
G
0
= G, G
1
= G
, G
2
= G
, G
3
= G
, . . .
Teorema 2.13. En (R
n
, B
n
) y para n Z
+
, se cumple
F
n1
F
n
, G
n1
G
n
, F
n1
G
n
, G
n1
F
n
.
Demostracin. Se proceder por induccin sobre n, para n = 1 es el teorema 2.12; se tiene que
mostrar el caso general. Las primeras dos armaciones se obtienen de forma similar como en el
caso n = 1; por lo que se mostrar la tercera.
Asumamos como hiptesis de induccin F
k1
G
k
y k es impar. Sea H F
k
, entonces
H =
=1
A
, donde A
F
k1
G
k
, pero para n impar, la unin de conjuntos en G
k
es un conjunto en G
k+1
, de donde H G
k+1
. Las demostraciones para k par y la relacin
G
n1
F
n
, son completamente anlogas.
Nota 2.2. Es claro que para cualquier n Z
+
, se tiene F
n
B y G
n
B. Llamaremos
a un conjunto perteneciente a la clase F
n
o G
n
un conjunto de Borel de orden n. Existen
conjuntos de Borel que no tienen orden nito. Uno de estos conjuntos puede ser de la forma
H =
n=1
A
n
, en donde para cada n, A
n
F
n
pero A
n
(F
n1
)
c
.
Nota 2.3. Al considerar f : X Y una aplicacin continua, en donde (X, B) es un espacio
medible y (Y,
Y
) es un espacio topolgico, entonces se dice que f es Borel medible o B-
medible.
Proposicin 2.4. Sea m
la medida exterior de Lebesgue en R. Dado algn conjunto A y algn

> 0 existe un conjunto abierto O tal que A O y m
O m
A + . Existe un G G
tal
que A G y m
A = m
G.
Demostracin. Sea A un conjunto tal que A O para un conjunto abierto O, por el teorema de
aproximacin del nf existe una coleccin I
n
numerable de intervalos abiertos tal que A I
n
y
l(I
n
) m
(A) + para cualquier > 0. Tomando O =
I
n
se tiene que
m
(O) = m
_
_
I
n
_
l(I
n
) m
(A) + .
Por la primera parte parte cada =
1
n
existe un conjunto abierto O
n
tal que A O
n
y m
(O
n
)
m
(A) +
1
n
. Como A
O
n
y m
(A) m
O
n
) para todo n, se tiene que para G =
O
n
,
m
(A) m
(G) m
(O
n
) m
(A) +
1
n
.
De aqu se deduce la igualdad requerida.
Las medidas son fundamentales en la teora de integracin. En lo que sigue se describe el
proceso de como construir una medida a partir de una medida exterior sobre una coleccin del
dominio de la misma.
Denicin 2.18. Sea una medida exterior. Un subconjunto E de X se llama medible o -
medible, si para todo A X
(A) = (A E) + (A E
c
).
La -subaditividad de implica
(A) = ((A E) (A E
c
)) (A E) + (A E
c
)
para todos los subconjunto A de X. Por lo tanto, E es medible si y slo si
(A) (A E) + (A E
c
)
para cada A subconjunto de X. Se dene la coleccin de los conjuntos medibles como:
= E X : (A) = (A E) + (A E
c
) para todo A X.
Denicin 2.19. Un conjunto E se llama conjunto nulo si (E) = 0.
Teorema 2.14. Todo conjunto nulo es medible.
Demostracin. Si E X con (E) = 0 y A cualquier subconjunto de X tenemos
A E E y A E
c
A.
La monotona de implica
(A E) (E) = 0 y (A E
c
) (A)
(A) (A E
c
) = 0 + (A E
c
) = (A E) + (A E
c
) (A)
donde la ltima desigualdad se debe a que es -subaditiva por lo tanto E es medible.
Lema 2.1. La unin nita de una coleccin de conjuntos medibles es medible.
Demostracin. Haremos esta prueba por induccin sobre el nmero de conjuntos en la unin.
Supongamos que es una medida exterior y E
1
y E
2
son medibles, veamos que E
1
E
2
es
medible.
Sea A cualquier subconjunto de X. Apliquemos la denicin de medibilidad con E
2
como
conjunto de prueba y A E
c
1
haciendo las veces de A. La medibilidad de E
2
implica
(A E
c
1
) = (A E
c
1
E
2
) + (A E
c
1
E
c
).
Teniendo en cuenta que A (E
1
E
2
) = (A E
1
) (A E
2
E
c
1
) y (2-2) se concluye que
(A (E
1
E
2
)) (A E
1
) + (A E
2
E
c
1
).
As
(A (E
1
E
2
)) + (A (E
1
E
2
)
c
)
= (A (E
1
E
2
)) + (A E
c
1
E
c
2
)
(A E
1
) + (A E
2
E
c
1
) + (A E
c
1
E
c
2
)
= (A E
1
) + (A E
c
1
) = (A),
por la medibilidad de E
1
.
Supongamos ahora que se cumple para n conjuntos medibles, y veamos si se cumple para
n + 1 conjuntos medibles.
n+1
_
k=1
E
k
= [
n
_
k=1
E
k
] E
n+1
y el lema se cumple.
Lema 2.2. Si los conjuntos E
1
, E
2
, . . . E
n
son disjuntos y medibles. Entonces
_
n
_
i=1
(A E
i
)
_
=
n
i=1
(A E
i
)
para cada subconjunto A de X.
Demostracin. Lo probaremos por induccin sobre n, obviamente el resultado es verdad para
n = 1, supongamos ahora que es verdad para n y probemos para n + 1 subconjuntos.
Sean E
1
, E
2
, . . . E
n
, E
n+1
conjuntos disjuntos y medibles. Si A X, entonces
A
_
n+1
_
i=1
E
i
_
E
n+1
= A E
n+1
A
_
n+1
_
i=1
E
i
_
(E
n+1
)
c
= A
_
n
_
i=1
E
i
_
.
Como E
n+1
es un conjunto medible, vemos que;
_
n+1
_
i=1
(A E
i
)
_
=
_
A
_
n+1
_
i=1
E
i
__
=
_
A
_
n+1
_
i=1
E
i
_
E
n+1
_
+
_
A
_
n+1
_
i=1
E
i
_
(E
n+1
)
c
_
= (A E
n+1
) +
_
A
_
n
_
i=1
E
i
__
=
n+1
i=1
(A E
i
).
Teorema 2.15. La familia de todos los conjuntos medibles es una -lgebra.
Demostracin. Es claro que si E , entonces E
c
, es decir, es cerrado bajo comple-
mentos, como () = 0 y se tiene que se tiene que X . En el Lema 2.1 se prob que
la unin nita de conjuntos medibles es medible lo que implica que es un lgebra.
Demostremos que es una -lgebra de conjuntos. Sea E
n
una coleccin de subcon-
juntos de tal que E =
n=1
E
n
y denimos G
1
= E
1
y
G
n+1
= E
n+1
n
_
i=1
E
i
para n 1. Entonces G
n
, G
n
G
m
= si n ,= m y E =
n=1
G
n
. Teniendo en cuenta
que A
n
i=1
G
n
A E para todo n, se tiene que
n
i=1
(A G
i
) =
_
A
n
_
i=1
G
i
_
(A E)
y
n=1
(A G
n
) = lm
n
n
i=1
(A G
i
) (A E).
Por otro lado
(A E) =
_
_
n=1
(A G
n
)
_
n=1
(A G
n
).
Se concluye entonces que
n=1
(A G
i
) = lm
n
n
n=1
(A G
i
) = (A E).
Sea F
n
=
n
i=1
G
i
para n 1, note que cada F
n
es un conjunto medible tal que
n=1
F
n
=
E. Si A X, entonces
(A) = (A F
n
) + (A F
c
n
) (A F
n
) + (A E
c
) =
n
i=1
(A G
i
) + (A E
c
)
para cada n, donde en la ltima ecuacin utilizamos el Lema 2.2.
Por lo tanto,
(A)
n=1
(A G
i
) + (A E
c
) (A E) + (A E
c
) (A)
y se tiene E , esto es es una -lgebra.
Teorema 2.16. Si es una medida exterior sobre X. Entonces (X, , ) es un espacio medible.
Demostracin. Sea E
n
una sucesin de subconjuntos disjuntos de . Sea E =
n=1
E
n
. Por la
propiedad de -subaditividad de tenemos
(E)
n=1
(E
n
).
Por otro lado el Lema 2.2 muestra que se satisface
k
n=1
(E
n
) =
k
n=1
(E
n
E) =
_
(E [
k
_
n=1
E
n
]
_
(E))
para cada k, por lo tanto
n=1
(E
n
) (E), as que
n=1
(E
n
) = (E) y nalizamos la
prueba.
Cuando la medida exterior de Lebesgue se restringe a sus conjuntos medibles en R se obtiene
la medida de Lebesgue.
Es decir, si E R es medible, la medida de Lebesgue m de E es m
(E). Adems de la
medibilidad de R y no hemos mostrado la medibilidad de conjuntos interesantes. Ahora se
mostrar que los intervalos en R son m
medibles y se concluir de ello que los conjuntos de

Borel en la topologa usual de R tambin lo son.
Teorema 2.17. El intervalo (a, ) es Lebesgue medible.
Demostracin. Sea A cualquier subconjunto de R. Ponga A
1
= A(a, ), A
2
= A(, a].
Entonces debemos mostrar que m
A
1
+ m
A
2
m
A. Si m
A = la desigualdad es trivial.
Si m
A < , entonces dado > 0, existe una coleccin contable I

n
de intervalos abiertos
que cubren a A para los cuales
l(I
n
) m
A + .
Sea I
n
= I
n
(a, ) y I
n
= I
n
(, a]. Entonces I
n
y I
n
son intervalos o el conjunto vaco
y
l(I
n
) = l(I
n
) + l(I
n
) = m
(I
n
) + m
n
.
Puesto que A
1

n
, tenemos
m
(A
1
) m
(I
n
)
n
,
y como A
2

n
, tenemos
m
A
2
m
(
_
I
n
)
n
.
As
m
A
1
+ m
A
2

(m
n
+ m
n
)
l(I
n
) m
A + .
Como fue arbitrario se tiene m
A
1
+ m
A
2
m
A.
Teorema 2.18. Todo conjunto de Borel en R es medible Lebesgue y en particular lo es cada
conjunto abierto y cada intervalo cerrado.
Demostracin. Puesto que la coleccin de todos los conjuntos Lebesgue medibles es una -
lgebra y los conjuntos de la forma (a, ) son medibles entonces los conjuntos de la forma
(, b] son medibles por ser complemento de (b, ).
Tambin son medibles los conjuntos de la forma (, b) porque pueden escribirse en la
forma
(, b) =
_
n=1
_
, b
1
n
_
,
la cual es una unin contable de conjuntos medibles. Como [a, b]
c
= (, a) (b, ), la cual
es una unin de conjuntos medibles, y (a, b) = (, b) (a, ), la cual es una interseccin de
conjuntos medibles, se tiene que los intervalos cerrados y los intervalos abiertos son medibles.
Se sigue entonces que los conjuntos abiertos son medibles por ser uniones contables de inter-
valos abiertos. La -lgebra de los conjuntos medibles contiene a la -lgebra generada por los
conjuntos abiertos que precisamente est formada por los conjuntos de Borel.
Teorema 2.19. Sean A, B subconjuntos medibles de X tales que A B, con (B) < .
Entonces (B A) = (B) (A).
Demostracin. Como B = A (B A), por la aditividad de se tiene que (B) = (A) +
(B A). Como por hiptesis (B) < , se tiene que (B) (A) = (B A).
A continuacin se describe el proceso de construccin de una medida exterior. Este es la ge-
neralizacin del proceso de construccin de la medida de Lebesgue en donde a partir de una
funcin de conjuntos (la longitud de un intervalo) denida sobre una coleccin de conjuntos
(los intervalos) se construy la medida exterior m
.
Sea F una coleccin de subconjuntos de X que contiene al conjunto vaco. Sea : F
[0, ] una funcin que cumple () = 0. Para cada subconjunto A de X se dene:
(A) =nf
_

n=1
(A
n
) : A
n
estn en F con A
_
n=1
A
n
_
, (2-4)
si no existe A
n
en F tal que A
n=1
A
n
, entonces se dene
(A) = .
Teorema 2.20. La funcin
: P(X) [0, ] es una medida exterior, llamada la medida

exterior generada por la funcin : F [0, ], que satisface
(A) (A) para cada

A F.
Demostracin. Claramente (A) 0 para cada A X. Si A
n
= para todo n, entonces
0
()
n=1
() = 0.
As que
() = 0.
Para la monotona de
supongamos A B, si B

n=1
A
n
con A
n
F entonces
A

n=1
A
n
y as
(A)

n=1
(A
n
) (si no existe la sucesin A
n
de F que cubra a B
entonces
(B) = y es obvio que
(A)
(B).
Entonces,
(B) =nf
_

n=1
(A
n
) : A
n
F y B
_
n=1
A
n
_

(A).
Para la -subaditividad de
, sea A
n
X. Si
n=1

(A
n
) = entonces
_
n=1
A
n
)
n=1
(A
n
).
Ahora supongamos que
n=1

(A
n
) < . Para cada > 0, se tiene que para cada i, existe
A
i
n
de F tal que A
i

n=1
A
i
n
y
n=1
(A
i
n
)
(A
i
) + 2
i
. Entonces A
i
n
F para cada i
y adems
_
n=1
A
n

_
i=1
_
n=1
A
i
n
.
_
n=1
A
n
)
i=1
n=1
(A
i
n
)
i=1
[
(A
i
) + 2
i
] =
i=1
[
(A
i
) + ]
para todo > 0, as que
n=1
A
n
)

n=1

(A
n
). Puesto que A = A , se
sigue fcilmente que
(A) (A) y se cumple para cada A F.

En general
no necesita ser una extensin de . Es fcil construir ejemplos donde
(A) <
(A) es vlido para algn A F. Por ejemplo, si X = 1, 2, 3, F = , 1, 1, 2 y
: F [0, ] se dene como () = 0, (1) = 2 y (1, 2) = 1, entonces
(1) = 1.
Sin embargo, como veremos en la prxima seccin, cuando es una medida, la medida exterior
es siempre una extensin de , es decir,
coincide con en F.
Resulta que la medida exterior generada por
coincide con
, es decir, (
. Los
detalles se dan en el siguiente teorema.
2.6 Ejercicios 43
Teorema 2.21. Sea F una coleccin de subconjuntos de X que contienen al conjunto vaco
y sea : F [0, ] una funcin que satisface () = 0. Supongamos es tambin una
coleccin de subconjuntos de X con F y que : [0, ] denota la restriccin de
a , es decir, (A) =
(A), para cada A . Entonces la medida exterior generada por

coincide con
, es decir,
(A) =
(A) para cada subconjunto A de X.

Demostracin. Sea A X. Se arma que
(A)
(A). En efecto,
si
(A) = entonces la desigualdad es obvia. Supongamos que
(A) < en este caso

notamos que si la sucesin A
n
de satisface A
n=1
A
n
, entonces la -subaditividad de
implica
(A)
n=1

(A
n
) =
n=1
(A
n
). Esto es,
(A) nf
_

n=1
(A
n
) : A
n
y A
_
n=1
_
=
(A).
Ahora demostraremos que
(A)
(A)
tambin se cumple. Si
(A) = , entonces la desigualdad es obvia, supongamos que
(A) <
y sea > 0. Entonces existe una sucesin A
n
F tal que A

n=1
A
n
y
n=1
(A
n
) <
(A) + . Por teorema anterior se tiene que
(A
n
) (A
n
), para cada
n. Por tanto
(A)
n=1
(A
n
) =
n=1
(A
n
)
n=1
(A
n
) <
(A) + .
Puesto que > 0 es arbitrario se tiene que
(A)
(A)
y por lo tanto se tiene la igualdad
(A) =
(A) para todos los subconjuntos de X.

Finalmente se deja como ejercicio probar el hecho que las medidas exteriores son las nicas
generadas por funciones de conjunto. Ms precisamente, se tiene el siguiente teorema:
Teorema 2.22. Sea : P(X) [0, ] una funcin de conjuntos denida sobre el conjunto
potencia de X. Entonces es una medida exterior si y slo si existe una familia F de subcon-
juntos de X y una funcin de conjuntos : F [0, ], donde F y () = 0 cuya medida
exterior generada
, coincide con . Es decir, =
.
2.6. Ejercicios
1. Si X es un espacio topolgico, entonces demostrar que la coleccin
S = C O : C cerrado y O abierto
es un semianillo de subconjuntos de X.
2. Sea S un semianillo de subconjutos de X, y sea Y X. Demostrar que S
Y
= Y A :
A S es un semianillo de subconjuntos de Y (llamada semianillo restriccin de S a
Y ).
3. Probar que los -conjuntos del semianillo
S = [a, b) : a, b R
forman una topologa para los nmeros reales.
4. Sea S un semianillo de subconjuntos de un conjunto no vaco X. Qu condiciones adi-
cionales se deben satisfacer para que S sea la base para un topologa en X? Probar que si
este es el caso, entonces cada miembro de S es cerrado y abierto a la vez en esta topologa.
5. Sean X y Y conjuntos. Supongamos que A y B son semianillos en X y Y , respectiva-
mente. Demuestra que AB:= AB XY : A A B B es un semianillo
sobre X Y .
6. Muestra con ejemplos que ni la unin ni la interseccin de semianillos es necesariamente
un semianillo.
7. Sea X un conjunto, E P(X) tal que E y : E [0, ] tal que () = 0.
Denimos
(A) =nf
_

n=1
(E
n
) : E
n
n1
M(
) A
_
n=1
E
n
_
, A X.
a) Es cierto que
(A) =
(A), para todo A X?

b) Si E es un semianillo o un lgebra, es cierto que
(A) =
(A), para todo A

X?
8. Decimos que una clase de subcojuntos D sobre un conjunto X es un demi-anillo si
i) D.
ii) Si A, B D entonces existe E
i
n
i=1
D, disyuntos dos a dos, tal que A B =
n
i=1
E
i
.
iii) Si A, B D entonces existe F
i
m
j=1
D, disyuntos dos a dos, tal que A B =
m
j=1
F
j
.
a) Sobre R, sea D la clase de todos los conjuntos de la forma
H(a, b) = R : n Z tal que a < + 2n b,
con < a b < . Demuestra que Des un demi-anillo pero no un semi-anillo.
2.6 Ejercicios 45
b) Sea Dun demi-anillo sobre algn conjunto X. Sea Rla clase que rene las uniones
nitas disyuntas dos a dos de elementos de D. Demuestra que R es un anillo.
c) Sea D un demi-anillo sobre un conjunto X. Sea : D [0, ] tal que () = 0 y
es -aditiva sobre D. Demuestra que se extiende a una medida sobre (D).
9. Sea R una clase no vaca de subconjuntos de X, tal que E, F R implica que E F y
E F R. Demostrar que R es un anillo sobre X.
(Ayuda: Probar que E F = (E F) (E F) y E F = E (E F)).
10. Sea R una clase no vaca de subconjuntos de X, tal que E, F R implica que E F y
E F R. Demostrar que R es un anillo sobre X.
11. Poner un ejemplo de un anillo que no sea un lgebra.
12. Poner un ejemplo de un anillo que no sea un lgebra ni un -anillo.
13. Sea M una clase no vaca de subconjuntos de X y R(M) el anillo engendrado por M. De-
mostrar que si A R(M), existen M
1
, M
2
, . . . , M
n
M, tales que A
n
k=1
M
k
.
14. Sea P(X), tal que si A, B , entonces A B y A B pertenecen a . Es un
anillo sobre X?
15. Sea A un subconjunto jo de un conjunto X. Determinar las dos -lgebras de subcon-
juntos de X generadas por
i. A, y
ii. B : A B X.
16. Sea X un conjunto no contable, y sea
S = E X : E o E
c
son a lo mas contables.
Demostrar que S es una -lgebra generada por los subconjuntos unipuntuales de X.
17. Caracterice los espacios mtricos en los cuales sus conjuntos abiertos forman una -
lgebra.
18. Determine la -lgebra generada por los subconjuntos densos de un espacio topolgico.
19. Sea X un conjunto no vaco, y sea F una coleccin no contable de subconjuntos de X.
Demostrar que cualquier elemento de la -lgebra generada por F pertenece a la -lgebra
generada por alguna subcoleccin contable de F.
20. Demostrar que cada los subconjuntos F
y G
de un espacio topolgico son conjuntos

de Borel.
21. Demostrar que cada -lgebra de conjuntos innita tiene un nmero no contable de con-
juntos.
22. Sea (X, ) un espacio topolgico, sea Bla -lgebra de los conjuntos de Borel, y sea Y
un subconjunto arbitrario de X. Si Y est dotado con la topologa inducida y BY denota
la -lgebra de los conjuntos de Borel de (Y, ), demostrar que
B
Y
= A Y : A B.
23. Sean A
1
, . . . , A
n
conjuntos de algn semianillo S. Demostrar que existe un nmero nito
de conjuntos disjuntos dos a dos B
1
, . . . , B
m
de S tal que cada A
i
puede escribirse como
una unin de conjuntos de los B
1
, . . . , B
m
.
24. Sea a
n
una sucesin de nmeros reales no negativos. Sea () = 0, y para cada sub-
conjunto no vaco A de N, poner (A) =
nA
a
n
. Demostrar que : P(N) [0, )
es una medida.
25. Sea S un semianillo, y sea : S [0, ) una funcin tal que (A) < para algn
A S. Si es -aditiva, entonces demostrar que es una medida.
26. Sea X un conjunto no contable, y sea la -lgebra
S = E X : E o E
c
son a lo ms contables.
Demostrar que : S [0, ), denida por (E) = 0 si E es a lo mas contable y
(E) = 1 si E
c
es a lo mas contable, es una medida en S.
27. Dena una funcin de conjunto no-negativa sobre R, para cada uno de los siguientes
casos.
a) es -subaditiva pero no -aditiva.
b) es nitamente subaditiva pero no nitamente aditiva.
c) es nitamente subaditiva pero no -subaditiva.
d) es nitamente aditiva pero no -aditiva.
28. Si es una funcin de conjunto sobre P(R) no-negativa tal que () = 0, demuestre que
si es -subaditiva, entonces es nitamente subaditiva.
29. En el ejercicio28, es necesaria la condicin () = 0?
30. Sea X un conjunto no vaco, y sea f : X [0, ] una funcin. Dena : P(X)
[0, ] por (A) =
xA
f(x) si A ,= y es contable, (A) = si A es no contable, y
() = 0. Demostrar que es una medida.
2.6 Ejercicios 47
31. Sea s un semianillo, y : S [0, )] una medida nitamente aditiva. Muestre que si
es -subaditiva, entonces es una medida.
32. Sea
n
una sucesin decreciente de medidas en un semianillo S. Denamos : S
[0, ] por (A) = sup
n
(A) para cada A S. Muestre que es una medida.
33. Muestre que toda medida nitamente aditiva es montona.
34. Considere la funcin de conjuntos denida en el ejemplo 2.15. Pruebe de una manera
alternativa que es una medida.
35. Pruebe el Teorema 2.9.
36. Si S es la -lgebra generada por C, entonces S y C generan la misma -lgebra.
37. Sea C una coleccin de conjuntos y E un elemento en la -lgebra generada por C. En-
tonces existe una subcoleccin contable C
0
C tal que E es un elemento de la -lgebra
S
0
generada por C
0
. (Sugerencia: Sea S
la unin de todas las -lgebras generadas por

subcolecciones contables de C, entonces S
S).
A menos que se diga lo contrario en los siguientes ejercicios se supone que es una me-
dida exterior en algn conjunto X.
38. Muestre que la unin contable de conjuntos nulos es nuevamente un conjunto nulo.
39. Si A es un conjunto nulo, entonces muestre que
(B) = (B A) = (B A) (2-5)
para todo B de X.
40. Si la sucesin A
n
de subconjuntos de X satisface
n=1
(A
n
) < , entonces pruebe
que el conjunto
E = x X : x pertenece a A
n
para innitos n
es un conjunto nulo.
41. Si E es medible en X, entonces muestre que para todo subconjunto A de X la siguiente
igualdad es valida
(E A) + (E A) = (E) + (A).
42. Si A no es medible y E es medible tal que A E, entonces muestre que (E A) > 0.
43. Sea A un subconjunto de X, y sea E
n
una sucesin de conjuntos disyuntos. Muestre
que
_
n=1
(A E
n
)
_
=
n=1
(A E
n
).
44. Sea A
n
una sucesin de X. Asumamos que existe una sucesin disyunta B
n
conjun-
tos medibles tales que A
n
B
n
para cada n. Muestre que
_
n=1
A
n
_
=
n=1
(A
n
).
45. Pruebe que un subconjunto E de X es medible si y slo si para cada > 0 existe un
conjunto medible F tal que F E, y (E F) < .
46. Asumamos que un subconjunto E de X tiene la propiedad: para cada > 0, existe un
conjunto medible F tal que (EF) < . Muestre que E es medible.
47. Sea X = 1, 2, 3, F = , 1, 1, 2 y considere la funcin de conjuntos : F
[0, ] denida por () = 0, (1) = 2, (1, 2) = 1.
1) Describa la medida exterior generada por .
2) Describa la -lgebra de todos los conjuntos medibles.(Por qu 1 no es medi-
ble?).
48. Demuestre el teorema 2.22.
49. Considere una medida exterior en un conjunto X y sea A la coleccin de todos los
conjuntos medibles de X de medida nita.
a) Muestre que A es un semianillo.
b) Dena la relacin en A por A B si (AB) = 0. Muestre que es una
relacin de equivalencia en A.
c) Sea D el conjunto de todas las clases de equivalencia de A. Para A A sea A
la
clase de equivalencia de A en D. Para A
, B
D denamos d(A
, B
) = (AB).
Demuestre que d est bien denida y que (D, d) es un espacio mtrico completo.
50. Sean A y B dos conjuntos de R. Si
(A B) = 0, entonces prueba que
(A B) =
(A) +
(B).
Podemos concluir que A y B son Lebesgue-medibles?
51. Sean A y E dos conjuntos de R. Supongamos que E es Lebesgue-medible y A E = .
Demuestre
(A E) =
(A) +
(B).
2.6 Ejercicios 49
52. Prueba que A R es Lebesgue Medible si y slo si A (n, n) es Lebesgue-medible
para todo n 1.
3 La integral de Lebesgue
3.1. La integral de Riemann
3.2. La integral de lebesgue de una funcin acotada
sobre un conjunto de medida nita
3.3. La integral de funciones no negativas
3.4. Convergencia en medida
4 Diferenciacin e Integracin
4.1. Diferenciacin de Funciones montonas
4.2. Funciones de variacin acotada
4.3. Diferenciacin de una integral
4.4. Continuidad absoluta
4.5. Funciones convexas
5 Espacios L
p
5.1. L
p
como espacio espacio lineal
5.2. La Desigualdad de Holder y Minkowsky
5.3. Convergencia y completez
5.4. Funcionales en L
p

Capitulos 1 y 2 Notas de Clase

Загружено:

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

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

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

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

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

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

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

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

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

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

Capitulos 1 y 2 Notas de Clase

Загружено:

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

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

Notas de Clase

A tal que f(a

y, para todo y Y . Decimos que un orden

I para todo conjunto inductivo I de X.

, entonces por vacuidad

< . Ahora bien, si y < entonces y I, y como I es inductivo,

X el elemento mnimo de X. Sea F el subconjunto de X que rene todos

) = , y convenimos que la funcin vaco j =

es el mnimo elemento de X, S(x

) = (), entonces f es la nica funcin sobre S(x

) con valores en Y que

[S(u)), para todo u S(). Por lo tanto

= f (r, g(f)), esto es, f

: S(r) Y tal que f

(u) = f(u) si u S(r) y

(r) = g(f). Entonces f

satisface (1-2) y por lo tanto r I, una contradiccin. as, I = X y

, siendo C es una familia de subconjuntos de X.

es invariante por traslaciones, es decir, m

(A) para todo y R.

([a, b]) b a. Ahora se tiene que

([a, b]) b a, pero esto es

J = l(J) = . Puesto que

I para todo , se tiene que m

, todo subconjunto de R, es esencialmente un conjunto

si es una unin contable de conjuntos cerrados y se llama G

= F por lo que no se obtienen nuevos conjuntos.

formada por las intersecciones contables de abiertos y F

. Y as sucesivamente, con lo cual se

la medida exterior de Lebesgue en R. Dado algn conjunto A y algn

(A) + para cualquier > 0. Tomando O =

medibles y se concluir de ello que los conjuntos de

A < , entonces dado > 0, existe una coleccin contable I

: P(X) [0, ] es una medida exterior, llamada la medida

(A) (A) para cada

(B) = y es obvio que

(A) (A) y se cumple para cada A F.

no necesita ser una extensin de . Es fcil construir ejemplos donde

es siempre una extensin de , es decir,

(A), para cada A . Entonces la medida exterior generada por

(A) para cada subconjunto A de X.

(A) = entonces la desigualdad es obvia. Supongamos que

(A) < en este caso

(A) = , entonces la desigualdad es obvia, supongamos que

(A) + . Por teorema anterior se tiene que

(A) para todos los subconjuntos de X.

, coincide con . Es decir, =

(A), para todo A X?

(A), para todo A

de un espacio topolgico son conjuntos

la unin de todas las -lgebras generadas por

(A B) = 0, entonces prueba que

Вам также может понравиться