Sucesiones mon

otonas de conjuntos
Objetivos. Estudiar la estructura de las sucesiones crecientes y decrecientes de conjuntos.
Requisitos. Familias monotonas de conjuntos, propiedades de operaciones con conjuntos.

Estructura de sucesiones crecientes de conjuntos

1. El conjunto de los n
umeros naturales es bien ordenado (repaso). Se sabe que
cualquier subconjunto no vaco de N tiene un elemento mnimo. Es una de las formas
del principio de induccion. Tarea adicional: usando solamente la induccion matematica
demostrar que cualquier subconjunto no vaco de N tiene un elemento mnimo.
https://proofwiki.org/wiki/Equivalence_of_Well-Ordering_Principle_
and_Induction
2. Lema (de una sucesi
on creciente de conjuntos y los ndices de pertenencia).
una
sucesi
o
n
creciente de conjuntos, k {1, 2, . . .} y x Ak . Denotemos
Sean (An )
n=1
por J al conjunto de los ndices n tales que x An :
n
o
J := n {1, 2, . . .} : x An .
Entonces:
1. J 6= .
2. J tiene un u
nico elemento mnimo que denotemos por p.
3. p k.
4. J = Np , donde Np := {j Z : j p} = {p, p + 1, p + 2, . . .}.
Demostracion. 1. Por la hipotesis, k J.
2. Como el conjunto de los n
umeros naturales N es bien ordenado y J es un subconjunto
no vaco de N, el conjunto J tiene un u
nico elemento mnimo. Lo denotemos por p.
3. Como k J y p es el elemento mnimo de J, tenemos que p k.
4. Si n N y n p, entonces de la construccion de p sigue que n
/ J. Si n N y
n p, entonces x Ap An , as que n J.

Sucesiones monotonas de conjuntos, pagina 1 de 4

El siguiente teorema permite pasar de una sucesion creciente de conjuntos a una sucesion
disjunta que tiene la misma union. Este teorema se usa para mostrar varias propiedades
de medidas, en particular, la continuidad por abajo y luego la propiedad subaditiva.
3. Teorema (de una sucesi
on creciente de conjuntos y la sucesi
on de sus dife
rencias sucesivas). Sea (An )n=0 una sucesion creciente de conjuntos que empieza con el
conjunto vacio:
= A0 A1 A2 A3 . . .
Denotamos por (Dn )
on de sus diferencias sucesivas:
n=1 la sucesi
n {1, 2, . . .}

Dn := An \ An1 .

Entonces:
1. Los conjuntos Dn son disjuntos a pares.
2. Para todo k {1, 2, . . .},
Ak =

k
[

Dn .

n=1

3.

An =

n=1

Dj .

j=1

Demostracion. 1. Sean p, q {1, 2, . . .}, p < q. Demostremos que Dp Dq = . Notemos

que p q 1 y por lo tanto Ap Aq1 . De la definicion de Dp sigue que Dp Ap Aq1 ,
y de la definicion de Dq sigue que Dq Aq1 = .
2. Para todo n {1, . . . , k} tenemos que
Dn An Ak .
Por lo tanto

k
[

Dn A k .

n=1

Para demostrar la contencion inversa, supongamos que x Ak . Tenemos que encontrar

un ndice p {1, . . . , k} tal que x Dp . Definimos el conjunto de ndices J como en el
Lema:
n
o
J := n {1, 2, . . .} : x An .
Denotemos por p al elemento mnimo de J:
p := min(J).
Como ya vimos en la demostracion del Lema, p existe y p k. De la construccion de p
sigue que x Ap y x
/ Ap1 , lo que significa que x Dp .
Sucesiones monotonas de conjuntos, pagina 2 de 4

3. Aplicamos el resultado del inciso 2 y propiedades de la union. Por un lado, para todo
n {1, 2, . . .} tenemos que
n

[
[
An
Dj
Dj ,
j=1

as que

j=1

An

n=1

Dj .

j=1

Por otro lado, para todo j {1, 2, . . .} tenemos que

Dj Aj

An ,

n=1

as que

[
j=1

Dj

An .

n=1

4. Proposici
on (de una sucesi
on arbitraria de conjuntos a una sucesi
on creciente y a una sucesi
on disjunta). Sea (An )
una
sucesi
o
n
de
conjuntos.
Para
todo
n=1
k {0, 1, 2, . . .} pongamos
k
[
Bk :=
An ,
n=1

y para todo k {1, 2, . . .} pongamos

Dk := Bk \ Bk1 .
Entonces:
1. La sucesion (Bk )
k=0 es creciente y B0 = .
2. La sucesion (Dk )
k=1 es disjunta.
3. Para todo k {1, 2, . . .},
Dk = Ak \ Bk1 .
4.

[
n=1

An =

[
k=1

Bk =

Dj .

j=1

Sucesiones monotonas de conjuntos, pagina 3 de 4

Estructura de sucesiones decrecientes de conjuntos

5. Lema (de una sucesi
on decreciente de conjuntos y los ndices de perte
nencia). Sean (An )n=1 una sucesion decreciente de conjuntos, k {1, 2, . . .} y x Ak .
Denotemos por J al conjunto de los ndices n tales que x An :
n
o
:=
J
n {1, 2, . . .} : x An .
Entonces:
1. J 6= .
2. Si J 6= {1, 2, . . .}, entonces existe un p {1, 2, . . .} tal que p k y
J = {1, . . . , p}.
Idea de demostracion. Si J 6= {1, 2, . . .}, entonces {1, 2, . . .} \ J es un subconjunto no
vaco de n
umeros naturales. Denotemos su elemento mnimo por q. Usando la hipotesis

que (An )n=1 es decreciente demostrar que J = {1, . . . , q 1}.

6. Teorema (de una sucesi
on decreciente de conjuntos y la sucesi
on de sus
diferencias sucesivas). Sea (An )
una
sucesi
o
n
decreciente
de
conjuntos:
n=1
A1 A2 A3 . . .
Denotamos por (Dn )
on de sus diferencias por C la interseccion de la sucesion
n=1 la sucesi
original:
n {1, 2, . . .}
C :=

Dn := An \ An+1 ,

An .

n=1

Entonces:
1. Los conjuntos Dn son disjuntos a pares.
2. Para todo n {1, 2, . . .}, Dk C = .
3. Para todo n {1, 2, . . .}
An = C

!
Dk

k=n

Sucesiones monotonas de conjuntos, pagina 4 de 4