Conjuntos infinitos, conjuntos

enumerables

Gonzalo Medina
gmedinaar@unal.edu.co
Universidad Nacional de Colombia

Segundo semestre de 2014

(UN)

Conjuntos infinitos, conjuntos enumerables

1 / 19

Resumen

Resultados preliminares

Conjuntos infinitos

Conjuntos enumerables

(UN)

Conjuntos infinitos, conjuntos enumerables

2 / 19

Resultados preliminares

Definicin
Sea (A, 4) un orden parcial y sea a A ; el segmento inicial de A
determinado por a es el conjunto S a definido por
S a = { x A | x a }.

(UN)

Conjuntos infinitos, conjuntos enumerables

3 / 19

Resultados preliminares

Definicin
Sea (A, 4) un orden parcial y sea a A ; el segmento inicial de A
determinado por a es el conjunto S a definido por
S a = { x A | x a }.

Ejemplo
Si n N, entonces S n = n .

(UN)

Conjuntos infinitos, conjuntos enumerables

3 / 19

Resultados preliminares

Teorema 1
Sean (A, 4 A ) y (B, 4B ) dos conjuntos bien ordenados; entonces, se tiene
exactamente uno de los tres casos siguientes:
1. A es isomorfo a B .
2. A es isomorfo a un segmento inicial de B .
3. B es isomorfo a un segmento inicial de A .

Demostracin.
Exposicin

(UN)

Conjuntos infinitos, conjuntos enumerables

4 / 19

Resultados preliminares

Corolario 2
Sea (A, 4 A ) un conjunto bien ordenado; entonces, todo subconjunto de A
es isomorfo a A o a un segmento inicial de A .

Demostracin.
Exposicin

(UN)

Conjuntos infinitos, conjuntos enumerables

5 / 19

Resultados preliminares

Teorema 3 (Teorema de la recursin)

Sean A un conjunto y c A , fijo. Sea f una funcin de A en A . Entonces,
existe una nica funcin : N A tal que
1. (0) = c

2. (n ) = f ((n)), para todo n N.

+

Demostracin.
Exposicin

(UN)

Conjuntos infinitos, conjuntos enumerables

6 / 19

Resultados preliminares

Corolario 4
Sean A , f , c y como en el teorema anterior. Si f es inyectiva y c Ran f ,
entonces es inyectiva.

Demostracin.
Debemos ver que
(m) = (n)

implica m = n,

para todos m, n N.

Procedemos por induccin sobre n :

(UN)

Conjuntos infinitos, conjuntos enumerables

7 / 19

Resultados preliminares

Demostracin (Cont.)
i) Sea n = 0. Si m = 0, tenemos el resultado deseado; si m 6= 0, entonces
existe k N tal que m = k + y as,
c = (0) = (n) = (m) = (k + ) = f ((k))

y esto es contradice el que c Ran f . Tenemos as que m = 0 = n .

ii) Supongamos cierto el resultado para n y supongamos (n + ) = (m).
Necesariamente debe ser entonces m 6= 0 (en caso contrario tendramos
c Ran f que es absurdo).

(UN)

Conjuntos infinitos, conjuntos enumerables

8 / 19

Resultados preliminares

Demostracin (Cont.)
Supongamos cierto el resultado para n y supongamos (n + ) = (m).
Necesariamente debe ser entonces m 6= 0 (en caso contrario tendramos
c Ran f que es absurdo) y as, m = k + , para algn k N. Tenemos
entonces
(n + ) = (k + )

(UN)

Conjuntos infinitos, conjuntos enumerables

9 / 19

Resultados preliminares

Demostracin (Cont.)
Supongamos cierto el resultado para n y supongamos (n + ) = (m).
Necesariamente debe ser entonces m 6= 0 (en caso contrario tendramos
c Ran f que es absurdo) y as, m = k + , para algn k N. Tenemos
entonces
f ((n)) = (n + ) = (k + ) = f ((k)).

(UN)

Conjuntos infinitos, conjuntos enumerables

9 / 19

Resultados preliminares

Demostracin (Cont.)
Supongamos cierto el resultado para n y supongamos (n + ) = (m).
Necesariamente debe ser entonces m 6= 0 (en caso contrario tendramos
c Ran f que es absurdo) y as, m = k + , para algn k N. Tenemos
entonces
f ((n)) = (n + ) = (k + ) = f ((k)).

Como f es inyectiva, tenemos (n) = (k) y la hiptesis de induccin

implica entonces que n = k con lo que finalmente obtenemos
n+ = k + = m.

(UN)

Conjuntos infinitos, conjuntos enumerables

9 / 19

Conjuntos infinitos

Teorema 5
Un conjunto A es infinito si y solo si A contiene un subconjunto
enumerable.

Demostracin.
Exposicin.

(UN)

Conjuntos infinitos, conjuntos enumerables

10 / 19

Conjuntos infinitos

Corolario 6
Un conjunto A es infinito si y solo si existe una inyeccin de N en A .

(UN)

Conjuntos infinitos, conjuntos enumerables

11 / 19

Conjuntos infinitos

Corolario 6
Un conjunto A es infinito si y solo si existe una inyeccin de N en A .

Demostracin.
Inmediata.

(UN)

Conjuntos infinitos, conjuntos enumerables

11 / 19

Conjuntos infinitos

Corolario 7
Si A y B son conjuntos tales que A B y A es infinito, entonces B es
infinito.

(UN)

Conjuntos infinitos, conjuntos enumerables

12 / 19

Conjuntos infinitos

Corolario 7
Si A y B son conjuntos tales que A B y A es infinito, entonces B es
infinito.

Demostracin.
Como B es infinito, existe un conjunto enumerable C tal que C B y as,
C A , con C enumerable; es decir, A es infinito.

(UN)

Conjuntos infinitos, conjuntos enumerables

12 / 19

Conjuntos infinitos

Corolario 8
Si A y B son conjuntos tales que A B y B es finito, entonces A es finito.

(UN)

Conjuntos infinitos, conjuntos enumerables

13 / 19

Conjuntos infinitos

Corolario 8
Si A y B son conjuntos tales que A B y B es finito, entonces A es finito.

Demostracin.
Supongamos, por reduccin al absurdo, que A es infinito, existe un
conjunto enumerable C tal que C A y as, C B , con C enumerable; es
decir, B es infinito y esto es absurdo.

(UN)

Conjuntos infinitos, conjuntos enumerables

13 / 19

Conjuntos infinitos

Corolario 9
Si A es un conjunto infinito y B 6= ;, entonces A B y B A son conjuntos
infinitos.

(UN)

Conjuntos infinitos, conjuntos enumerables

14 / 19

Conjuntos infinitos

Corolario 9
Si A es un conjunto infinito y B 6= ;, entonces A B y B A son conjuntos
infinitos.

Demostracin.
Existe C A que es enumerable; tenemos entonces una biyeccin : N C .
Tomando ahora b B , fijo y definiendo
: A A B
x 7 (x) = (x, b),

para todo x A,

tenemos la inyeccin (en donde es la inyeccin (inclusin) cannica

: C A )

N
C
A
A B

de N en A B ; con esto, A B es infinito. Similarmente se prueba que

B A es infinito.
(UN)

Conjuntos infinitos, conjuntos enumerables

14 / 19

Conjuntos infinitos

Teorema 10
Un conjunto A es infinito si y solo si A es equipotente con alguno de sus
subconjuntos propios.

(UN)

Conjuntos infinitos, conjuntos enumerables

15 / 19

Conjuntos infinitos

Teorema 10
Un conjunto A es infinito si y solo si A es equipotente con alguno de sus
subconjuntos propios.

Demostracin.
) Como A es infinito, existe una biyeccin g : N B , en donde B A .
Definimos ahora una funcin de A en A {g (0)} mediante
(

(x) =

si x A B .
g (n + 1), si x B y x = g (n).

x,

as definida es una biyeccin (ejercicio).

(UN)

Conjuntos infinitos, conjuntos enumerables

15 / 19

Conjuntos infinitos

Demostracin (Cont.)
) Supongamos ahora que existe una biyeccin : A B , en donde B A .
Sea c A B , fijo; por el teorema de la recursin (ver teorema 3), existe
una (nica) funcin de N en A que satisface
i) (0) = c y
ii) (n + ) = ((n)), para todo n N.

Como c B = Ran y es inyectiva, el corolario 4 implica que es

inyectiva y as A es infinito.

(UN)

Conjuntos infinitos, conjuntos enumerables

16 / 19

Conjuntos enumerables

Teorema 11
Si A es un conjunto enumerable y B A , entonces B es finito o enumerable.

Demostracin.
N o C =
S n = n , para algn n N.
Si C N, el corolario 2 implica que C =
Sea ahora B A , en donce A es enumerable. Existe una biyeccin
: A N; pero (B ) N, con lo que (B ) es finito o enumerable y, como
es biyectiva, B
= (B ) y as, B es finito o enumerable.

(UN)

Conjuntos infinitos, conjuntos enumerables

17 / 19

Conjuntos enumerables

Teorema 12
N N.
N=

Demostracin.
Exposicin.

(UN)

Conjuntos infinitos, conjuntos enumerables

18 / 19

Conjuntos enumerables

Teorema 12
N N.
N=

Demostracin.
Exposicin.

Corolario 13
Si A y B son conjuntos enumerables, entonces A B es enumerable.

Demostracin.
Como A
=N y B
= N, entonces
A B
= NN

(UN)

Conjuntos infinitos, conjuntos enumerables

18 / 19

Conjuntos enumerables

Teorema 12
N N.
N=

Demostracin.
Exposicin.

Corolario 13
Si A y B son conjuntos enumerables, entonces A B es enumerable.

Demostracin.
Como A
=N y B
= N, entonces
A B
= N.
= NN

(UN)

Conjuntos infinitos, conjuntos enumerables

18 / 19

Conjuntos enumerables

Teorema 14 (Unin enumerable de conjuntos enumerables es

enumerable)
Sea {A n }nN una familia enumerable de conjuntos enumerables y sea
A=

An ;

nN

entonces, A es un conjunto enumerable.

(UN)

Conjuntos infinitos, conjuntos enumerables

19 / 19