Captulo 3.

Conjuntos innitos y cardinales

Leccion 1. Conjuntos innitos
Deseamos poner de presente en este captulo las primeras ideas sobre el
tama no de los conjuntos innitos, usando como medida del tama no precisamente
su n umero de elementos.
Un conjunto nito se dene como aquel cuyo n umero de elementos es un
natural y el concepto innito se toma como la simple negaci on de nito,
o sea que un conjunto A es innito si no existe un natural n tal que A sea
equipotente con 0, 1, , n 1.
En la presente seccion introduciremos una forma de comparar tama nos de
conjuntos y estableceremos dos resultados intuitivamente simples, pero formal-
mente difciles de probar: todo conjunto nito posee estrictamente menos ele-
mentos que N y todo conjunto innito tiene mayor o igual cantidad de elementos
que N.
Antes vimos que dos conjuntos poseen igual cantidad de elementos cuando
son equipotentes, o sea cuando sus elementos se pueden poner en correspon-
dencia biunvoca; si al tratar de establecer una tal correspondencia entre A
y B sobrasen elementos en B, es decir B poseyera mayor (o igual) cantidad
de elementos que A, solo se obtendra una funci on inyectiva de A en B. En
consecuencia,
3.1 Denicion Diremos que el conjunto A es dominado por el conjunto B
(o que B domina a A) para signicar que existe una funci on inyectiva de A en
B. En tal caso escribiremos A _ B o B _ A .
Notese que A es dominado por B es equivalente a A es equipotente con un
subconjunto de B, puesto que si f : A B es inyectiva, al restringir el codo-
minio al recorrido se obtiene f : A f(A) biyectiva de modo que A f(A) B
y recprocamente si A A

y A

B,
existe una biyeccion g : A A

y al componerla con la inyeccion can onica

i : A

B (i(x)=x) se obtiene una inyecci on de A en B.

En particular si A B, entonces A _ B ya que A A.
Es trivial comprobar que si A B, entonces A _ B B _ A.
3.2 Proposicion La relaci on de dominaci on es reexiva y transitiva, es
decir A _ A cualquiera sea A y para A, B, C, conjuntos cualesquiera,
(A _ B B _ C) (A _ C).
1
Demostraci on Para cualquier conjunto A su aplicacion identica
I
A
: A A es biyectiva, en particular inyectiva, de modo que A _ A.
Si A _ B B _ C, A es equipotente con el subconjunto A

de B y existe
g : B C inyectiva; su restriccion g : A

g(A

) es una biyeccion, luego

A

g(A

) C y siendo A A

, la transitividad de la equipotencia permite

conclur A g(A

) C, o sea A _ C.
3.3 Proposicion
a) Si A

A A _ B, entonces A

_ B ,
b) Si A _ B B B

, entonces A _ B

.
Demostraci on Es inmediata y la dejamos al lector. Supongamos A B y
A ,= B; existe una biyeccion f : A B y su inversa f
1
: B A tambien es
una biyecci on; siendo las dos en particular inyectivas se cumple que A _ B y
B _ A.
Esto hace ver que _ no es antisimetrica: (A _ B) (B _ A) (A ,= B).
Sin embargo posee una propiedad sustitutiva:
3.4 Teorema Teorema de Cantor-Bernstein.
Si A _ B y B _ A, entonces A B.
Existen muchas pruebas de este resultado, algunas de las cuales son muy
complicadas. Nos permitimos presentar, con ligeras modicaciones y algunas
explicaciones adicionales, una demostraci on realizada por los matematicos G.
Birkho y H. MacLane; es elegante, sencilla y facil de comprender.
Sean f : A B y g : B A inyectivas; podemos suponer sin perdida de
generalidad que A B =
1
, y que ninguna de las dos funciones es sobreyectiva ya que si alguna lo
fuese se tendra inmediatamente la equipotencia deseada.
Queremos construir una funci on biyectiva F : A B; la t actica sera la sigu-
iente: Descompondremos cada uno de los conjuntos A y B en tres subconjuntos
disyuntos dos a dos y hallaremos biyecciones entre tales subconjuntos, las cuales
al ser reunidas dar an como resultado la biyeccion deseada.
1
Si A y B poseen elementos en com un, existen A

= A{0} y B

= B {1} equipotentes
respectivamente con A y B y disyuntos, los cuales pueden reemplazar a A y a B
2
Puesto que f y g son inyectivas, se obtienen a partir de ellas restricciones
biyectivas al tomar como codominios a los respectivos recorridos, de modo que
f
1
: f(A) A y g
1
: g(B) B son funciones tambien biyectivas.
Sea x A; si x g(B), entonces g
1
(x) existe y le llamaremos el primer
ancestro de x (el nombre se debe a que g
1
(x) genera a x mediante g). Si
g
1
(x) f(A), f
1
(g
1
(x)) existe y sera llamado el segundo ancestro de x; si
f
1
(g
1
(x)) g(B), entonces g
1
(f
1
(g
1
(x))) existe y sera llamado el tercer
ancestro de x; si continuamos el proceso de hallar los ancestros cuarto, quinto,
etc., se presentan tres casos:
1. x tiene un n umero par de ancestros; esto signica que x posee un ultimo
ancestro a en A, el cual no tiene primer ancestro (es decir a / g(B)).
Notemos por A
p
al subconjunto de A formado por aquellos elementos de
A que poseen un n umero par de ancestros (recuerde el lector que cero es
par).
2. x tiene un n umero impar de ancestros, lo cual signica que x posee un
ultimo ancestro b en B con b / f(A). Notemos por A
I
al subconjunto de
A formado por tales elementos.
3. x tiene innitos ancestros. Notemos por A

a la coleccion de aquellos
elementos de A que poseen innitos ancestros.
Los tres subconjunto A
p
, A
I
y A

son disyuntos dos a dos y su uni on es

A.
De la misma manera descomponemos B en los subconjuntos B
p
, B
I
y
B

, disyuntos dos a dos y con uni on igual a B.

En el gr aco que sigue x
i
es un elemento de A con i ancestros y y
k
es un
elemento de B con k ancestros; las echas estan en el sentido de las respectivas
funciones directas.
Si x A posee innitos ancestros, evidentemente f(x) tambien los posee;
si y B

, su primer ancestro a = f
1
(b) tambien tiene innitos ancestros.
3
Esto prueba que la restriccion (de f) f
1
: A

esta bien denida y es

sobreyectiva; es ademas inyectiva por serlo f.
Si x A
p
, su imagen f(x) B y posee un ancestro mas, es decir f(x) B
I
;
recprocamente si y B
I
, por lo menos tiene un primer ancestro x, el cual
evidentemente esta en A
p
y es tal que f(x) = y. Se concluye que f
2
: A
p
B
I
dada por f
2
(x) = f(x) es una restriccion biyectiva de f.
Finalmente, si x A
I
, por lo menos tiene un primer ancestro g
1
(x) en B, el
cual obviamente esta en B
p
, de modo que se puede restringir g
1
correctamente
para obtener g
1

: A
I
B
p
, la cual es inyectiva por serlo g
1
y es ademas
sobreyectiva ya que si y B
p
entonces su imagen g(y) = x esta en A
I
(tiene un
ancestro mas que y) y g
1
(x) = y.
La demostracion esta completa puesto que como se dijo antes,
F = f
1
f
2
g
1

: A = A

A
p
A
I
B

B
I
B
p
= B
es biyectiva.
Dada la importancia del teorema de Cantor-Bernstein, y para ilustrar las
formas tan diferentes como puede resolverse un problema en matemticas, vamos
a dar a continuaci on una nueva demostraci on de este teorema:
LEMA DEL PUNTO FIJO. Sea A un conjunto arbitrario no vaco
y h : T(A) T(A) una funci on creciente con respecto a, es decir, tal que
si X
1
X
2
, entonces h(X
1
) h(X
2
).
Sea C = X T(A)[X h(X). Entonces el conjunto T =

XC
X es un
punto jo de h, es decir, satisface la condici on h(T) = T. Demostraci on Sea
X C; por denici on de T es claro que X T; por hip otesis h(X) h(T) y
por denici on de C, X h(X), luego X h(T) y en consecuencia ( Ejercicio
3, seccion 5, cap. I)
T =

XC
X h(T).
Aplicando h se obtiene h(T) h(h(T)), o sea que h(T) C, de donde
h(T)

XC
X = T
De (1) y (2) se concluye que h(T) = T, como queramos probar.
Sean A, B, f, g como en el enunciado del teorema de Cantor-Bernstein y en el
primer prrafo de la prueba dada antes. Para construir la biyecci on F : A B,
descompondremos a cada uno de estos conjuntos en dos subconjuntos disyuntos
y estableceremos biyecciones entre ellos:
Consideremos la funcion h : T(A) T(A) denida en la forma siguiente:
h(X) = Ag(B f(X)) para todo X T(A).
4
Sean X
1
, X
2
subconjuntos de A tales que X
1
X
2
; f(X
1
) f(X
2
), luego
sus complementos cumplen la relacion recproca; B f(X
2
) B f(X
1
) y
aplicando g,
g(B f(X
2
)) g(B f(X
1
))
y tomando complementos, A g(B f(X
1
)) A g(B f(X
2
)) es decir,
h(X
1
) h(X
2
), de modo que h satisface la hipotesis del lema del punto jo.
Por lo tanto si C = X T(A)[X h(X) y T =

XC
X, entonces T =
h(T) = Ag(B f(T)), de donde g(B f(T)) = AT.
As g
1
: B f(T) A T, restriccion de g, es una biyeccion ( ya que g es
inyectiva por hip otesis ) y su inversa g
1
1
: AT B f(T) tambin lo ser.
Como f es inyectiva, su restriccion f
1
: T f(T) es as mismo una biyeccion,
luego
F = f
1
f
2
: T (AT) = A f(T) (B f(T)) = B
es la biyeccion deseada. Es el momento de introducir el concepto de dominaci on
estricta:
3.5 Denicion A B signica A _ B (A B). Es entonces intuitiva-
mente cierta la equivalencia siguiente:
3.6 Proposicion A B si y s olo si A _ B (B _ A). Demostraci on
Probemos que las conjunciones A _ B (A B) y A _ B (B _ A)
son equivalentes; como de cada una de ellas se deduce A _ B, es suciente ver
que de cada una de las conjunciones se deduce la segunda proposici on de la otra.
Si A _ B (B _ A) (A B), entonces A _ B (B _ A) (B _ A)
lo cual es contradictorio de manera que cuando A _ B (B _ A) se debera
tener necesariamente (A B).
Analogamente, si A _ B (A B) (B _ A), entonces por el teorema
1, A B (A B) (contradictorio), luego cada vez que A _ B (A B)
tambien se tendra (B _ A).
5
3.7 Proposicion
a) Si (A

A) (A B) entonces A

B .
b) Si (A B) (B B

), entonces A B

.
Sus demostraciones son realmente sencillas y las dejamos al lector.
3.8 Proposicion Si A _ B y B _ C y una de las dos dominaciones
es estricta, entonces A C. Demostraci on Siendo la dominaci on transitiva,
A _ C, de modo que es suciente probar (A C); si no se tuviese, o sea que
si A C, la parte a) de la proposici on implicara C _ A y la parte b) de la
misma proposicion, B _ A, es decir A _ B y B _ A y B _ C y C _ B, de
donde por el teorema 1, A B y B C y ninguna de las dominaciones sera
rigurosa, quedando demostrado.
3.9 Corolario La dominaci on estricta es transitiva.
3.10 Proposicion Para todo n umero natural n se tiene que n N. Demostraci on
Es dejada al lector.
Ya sabemos que N es innito; se tienen adem as los resultados que siguen:
3.11 Proposicion Si un conjunto A es nito, entonces A N. Demostraci on
Si A es nito, existe n natural tal que A n; como n N, la proposici on 4
permite concluir A N.
3.12 Teorema (Teorema Fundamental). Todo conjunto innito posee un
subconjunto equipotente con N . Demostraci on Sea A un conjunto innito, es
decir, (n N)(A n), o sea (n N)((A n)).
Como A no es equipotente con cero, A no es vaco, luego x
0
(x
0
A)
Como (A 0 = 1), entonces (A x
0
) ,= , o lo que es lo mismo,
x
1
(x
1
(Ax
0
)).
Como (A 0, 1 = 2), claramente Ax
0
, x
1
,= , de modo que x
2
(x
2

(Ax
0
, x
1
)).
6
Como (A 0, 1, 2), claramente A x
0
, x
1
, x
2
,= , luego existe x
3
en
Ax
0
, x
1
, x
2
.
Repitiendo este argumento innitas veces, tantos como n umeros naturales, se
obtiene una sucesion x
0
, x
1
, x
2
, de elementos distintos de A, ya que cada uno
es diferente de todos los que le preceden; en otras palabras, la funci on f : N A
denida por f(n) = x
n
es inyectiva, luego N f(N) = x
0
, x
1
, x
2
, . . . A,
quedando demostrado.
De los tres ultimos renglones es claro que:
3.13 Corolario Si A es innito, A _ N.
3.14 Corolario Si A N, entonces A es nito. Demostraci on Si A N
y A fuese innito, por el corolario 1 se tendra A N y N _ A, de donde por
la proposici on 5, A A (contradiccion).
3.15 Corolario Si A es innito, entonces A es equipotente con alguno de
sus subconjuntos propios. Demostraci on En el captulo III se vi o que N es
equipotente con N

usando la funci on de N en N dada por f(n) = n + 1; algo

semejante se hace en el caso general.
Sea A innito; por el teorema 3.12, A posee un subconjunto equipotente
con N, digamos B = a
0
, a
1
, a
2
, . . . ; sea C = A B. Si A

= A a
0
y
B

= B a
0
, tambien C = A

, o sea que A es la union disyunta de B

y C y tambien A

es la union disyunta de B

y C; sea f
1
: B B

denida
por f
1
(a
n
) = a
n+1
y sea I
C
la identidad de C; podemos concluir que f
1
I
C
:
B C : B

C es una biyeccion, de modo que A = B C B

C = A

y
claramente A

es un subconjunto propio de A.
7
3.16 Teorema Un conjunto es innito si y s olo si es equipotente con al-
guno de sus subconjuntos propios. Demostraci on Solo hace falta ver que si
un conjunto es equipotente con alguno de sus subconjuntos propios, entonces
es innito, lo cual es equivalente a su contrarrecproca, si es nito, entonces
con ninguno de sus subconjuntos propios es equipotente, proposici on ya de-
mostrada.
Cuando p q, tambien p q, de modo que ademas se tiene: Un
conjunto es nito si y solo si no posee un subconjunto propio con el cual sea
equipotente.
Esta propiedad se toma algunas veces como denicion de conjunto nito,
caso en el cual se llama nitud en el sentido de Dedekind por haber sido
propuesta por el.
Al concepto de nitud introducido en la denici on del captulo IV se le llama
entonces nitud en el sentido ordinario. Hemos demostrado la equivalencia
de las dos deniciones, merced al teorema 3.12.
Curso de Topolologa General.
http://www.virtual.unal.edu.co
8