TEMA 5.

CARDINALES 241
Tema 5. Cardinales
Terminaremos el captulo con una breve referencia a la teora de cardinales.
Definici on A.5.1. Diremos que el conjunto X tiene el mismo cardinal que
el conjunto Y si existe una biyecci on f : X Y (se denotar a #X = #Y ).
Observaciones A.5.2.
1. La propiedad tener el mismo cardinal que dene una relaci on de equiva-
lencia entre conjuntos.
Reexiva: (#X = #X) Sabemos que 1
X
: X X es una biyecci on
(Propiedad A.2.9(4)).
Simetrica: (#X = #Y #Y = #X) Si f : X Y es biyecci on,
entonces f
1
: Y X es tambien biyecci on (Ejercicio A.8(1)).
Transitiva: (#X = #Y, #Y = #Z #X = #Z). Si f : X Y
y g : Y Z son biyecciones, entonces g f : X Z es biyecci on
(Propiedad A.2.9(3)).
2. Todo conjunto tiene un unico cardinal.
3. Para cualquier n N denimos el siguiente conjunto:
n :=

si n = 0
{0, 1, ..., n 1} si n 1.
Si x n entonces #(n \ {x}) = #(n 1).
Demostraci on. Consideremos la aplicaci on g : n \ {x} n 1
dada por
g(k) :=

k si k < x
k 1 si k > x.
Veamos que g es una biyecci on:
Inyectividad: Sean i, j n \ {x} con i = j. Supongamos que i < j.
Podemos distinguir tres casos posibles:
a) i < j < x. En tal caso g(i) = i < j = g(j), luego g(i) = g(j).
b) i < x < j. En tal caso j i 2, g(i) = i y g(j) = j 1, luego
g(j) g(i) = j i 1 1 y as g(i) = g(j).
c) x < i < j. En tal caso g(i) = i 1 < j 1 = g(j), luego
g(i) = g(j).
Sobreyectividad: Sea j n 1, buscamos i n \ {x} de modo que
g(i) = j. Consideremos dos casos:
242 A. GENERALIDADES DE TEOR

IA DE CONJUNTOS
a) Si j < x, entonces j {0, 1, ..., x 1} n \ {x} y g(j) = j.
b) Si j x, entonces j {x, ..., n 2} por lo que j + 1 {x +
1, ..., n 1} n \ {x} y g(j + 1) = j.

4. Si n, m N con n = m, entonces #n = #m.

Demostraci on. Suponemos que n < m. Demostremos el resultado
por inducci on sobre n.
Si n = 0 el resultado es trivial, ya que la unica aplicaci on entre y
m es f = , que no es sobreyectiva ya que m = .
Suponemos ahora 0 < n < m. La hip otesis de inducci on es que el
resultado es cierto para n

< m

, con n

< n. Supongamos que #n =

#m. Por el apartado A.5.2, esto implica que #(n 1) = #(m1);
como n 1 < m 1, podemos aplicar la hip otesis de inducci on y
llegamos a contradicci on.

Definici on A.5.3. Diremos que un conjunto X es nito y de orden o car-

dinal n (en notaci on, #X = n), si existe n N de modo que #X = #n. Diremos
que X es innito si no es nito.
Ejercicio A.18. Demuestra que si A X es un subconjunto nito de X,
y x X entonces A {x} es nito.
Ejercicio A.19. La aplicaci on f : Z N denida por
f(n) :=

2n si n 0
(2n + 1) si n < 0
es una biyecci on, es decir, #N = #Z.
Proposici on A.5.4. Todo subconjunto de un conjunto nito es nito.
Demostraci on. En primer lugar veamos que para demostrar este resultado,
basta hacerlo sobre los conjuntos nitos n. Supongamos que el resultado es cierto
para n, y consideremos X conjunto nito de orden n, es decir, #X = #n. Sean
A X y f : X n biyecci on; tenemos que

f : A f(A) como en el Ejercicio
A.13 es una biyecci on. As pues, sabemos que f(A) n es nito y #A = #f(A),
as pues A es tambien nito.
Por tanto basta demostrar que si A n, entonces A es nito. Usemos inducci on
sobre n.
TEMA 5. CARDINALES 243
Si n = 0, el resultado es trivial.
Supongamos el resultado cierto para n (Hip otesis de inducci on). Sea
A n +1. Si A = el resultado es trivial. Si A = tomemos a A,
entonces A

= A\ {x} es un subconjunto de (n +1) \ {x}. Por la Obser-

vaci on A.5.2(3) sabemos que existe una biyecci on f : (n +1) \ {x} n.
As

f : A

n como el Ejercicio A.13 es una biyecci on. Por tanto

f(A

) n es nito por hip otesis de inducci on y como

f es biyecci on A

tambien es nito. Por ultimo, utilizando el Ejercicio A.18, A = A

{x}
es nito.

Proposici on A.5.5. Sea X conjunto nito, y sea A X, entonces #A =

#X.
Demostraci on. An alogamente al principio de la demostraci on de la Propo-
sici on A.5.4 basta demostrar el resultado para X = n. Lo haremos por inducci on
sobre n N.
Si n = 0 el resultado es trivial ya que no hay subconjuntos propios de .
Supongamos que el resultado es cierto para n (Hip otesis de inducci on).
Sea A n +1. De nuevo, podemos suponer que A = (en caso contrario
el resultado es trivial). Supongamos que existe f : n +1 A biyecci on.
Entonces

f : n A

:= A \ {f(n)} es biyecci on, pero A

n, lo cual
contradice la hip otesis de inducci on.

Observaci on A.5.6. El conjunto N es innito.

Demostraci on. Veamos que Z es innito. Si Z fuera nito, no tendra el
mismo cardinal que ning un subconjunto propio suyo (Proposici on A.5.5), pero
esto contradice el Ejercicio A.19 en el que vimos que #N = #Z, luego Z es
innito. Como #N = #Z, entonces N tambien es innito.
Definici on A.5.7. Diremos que X es numerable si #X = #N; el cardinal
de N se denota
0
.
Proposici on A.5.8. Sea X un conjunto, entonces #P(X) = #2
X
, donde
2
X
:= {f : X 2 = {0, 1} | f aplicaci on}.
244 A. GENERALIDADES DE TEOR

IA DE CONJUNTOS
Demostraci on. Consideremos la siguiente aplicaci on: : P(X) 2
X
dada
por (A) :=
A
, donde
A
: X 2 es la aplicaci on denida por

A
(x) :=

0 si x A
1 si x A.
Veamos que es una biyecci on. Tengamos en cuenta que A =
1
A
(1)
Inyectiva: Sean A, B X, de modo que
A
=
B
. Entonces A =
1
A
(1) =

1
B
(1) = B (Ejercicio A.14).
Sobreyectiva: Sea f 2
X
. Sea A
f
:= f
1
(1) = {x X | f(x) = 1} X.
Veamos que
A
f
= f. Para ello basta ver que si x X entonces
A
f
(x) =
f(x). Pero esto es claro ya que
A
f
(x) = 1 x A
f
f(x) = 1 y

A
f
(x) = 0 x A
f
f(x) = 0.

Proposici on A.5.9. Sea X un conjunto, entonces #P(X) = #X.

Demostraci on. Vamos a probar que no existen aplicaciones sobreyectivas
entre X y P(X). Sea f : X P(X) una aplicaci on. Veamos que existen elementos
en P(X) que no pertenecen a f(X). Consideremos el siguiente subconjunto de X:
A
f
:= {x X | x f(x)}.
Supongamos que A
f
f(X), entonces existira y X tal que f(y) = A
y
. Si
y A
f
entonces, por denici on de A
f
, es porque y / f(y) = A
f
, contradicci on.
Si y / A
f
entonces, de nuevo por denici on de A
f
, es porque y f(y) = A
f
,
contradicci on. Por lo tanto A
f
/ f(X) y as pues f no es sobreyectiva, luego no
puede ser biyecci on.
Observaciones A.5.10.
1. De las Proposiciones A.5.8 y A.5.9 se deduce que #2
X
= #X.
2. Observese que, al menos, existe un aplicaci on inyectiva i : X P(X)
denida por i(x) = {x} X.
Uno quisiera decir que, de alguna manera, el cardinal de P(X) es mayor que
el cardinal de X.
Definici on A.5.11. Sean X e Y conjuntos. Decimos que #X #Y si existe
aplicaci on inyectiva de X a Y (si adem as #X = #Y , se dice que #X < #Y ).
Decimos que #X #Y si existe aplicaci on suprayectiva de X a Y (an alogamente,
si adem as #X = #Y , se dice que #X > #Y ).
Observaciones A.5.12.
TEMA 5. CARDINALES 245
1. Si A B, entonces #A #B ya que la inclusi on i : A B es una
aplicaci on inyectiva (Ejercicio A.12).
2. Por la Proposici on A.5.9 y la Observaci on A.5.10(2) se tiene que #X <
#P(X).
3. Observese que #X #Y #Y #X no es consecuencia inmediata
de las deniciones, sino un resultado en s mismo. Dada una aplicaci on
inyectiva i : X Y podemos denir una aplicaci on sobreyectiva j : Y
X del siguiente modo. Para ello tomemos x
0
X y la siguiente denici on:
j(y) =

x si i(x) = y
x
0
si y i(X).
Recprocamente, si j : Y X es una aplicaci on sobreyectiva, pode-
mos denir una aplicaci on inyectiva i : X Y de modo que i(x) = y
donde y es un elemento del conjunto j
1
(x) (dicho conjunto es no vaco
por ser j sobreyectiva)
1
.
4. El motivo de utilizar la notaci on o es el siguiente resultado, cuya
demostraci on se sale del objetivo de este trabajo, y que se denomina
Teorema de Schr oder-Bernstein:
Teorema A.5.13. Sean X e Y conjuntos, y supongamos que #X
#Y y #X #Y , entonces #X = #Y .
En otras palabras, si existe una aplicaci on inyectiva y otra sobreyectiva
de X a Y , entonces debe existir una biyecci on entre X e Y . Este teorema
no se utilizar a en el curso.
Ejercicio A.20. Sea f : X Y una aplicaci on. Demuestra que si A X,
entonces #f(A) #A. Adem as, si f es inyectiva, entonces #f(A) = #A.
Teorema A.5.14. Existen conjuntos de cardinal mayor que el de N, es decir,
existen X tales que
0
< #X.
Demostraci on. Por la Observaci on A.5.12(2) basta tomar X := P(N).
Teorema A.5.15. Todo conjunto innito contiene un subconjunto numerable,
es decir, si X es innito, entonces
0
#X.
Demostraci on. Denimos recurrentemente una aplicaci on f : N X como
sigue. Elegimos arbitrariamente x
0
X y denimos f(0) := x
0
.
1
Para poder elegir un elemento en cada conjunto j
1
(x), es decir, para mostrar la existencia
de i tal y como la hemos denido, se necesita utilizar una versi on del Axioma de Elecci on A.3.12.
246 A. GENERALIDADES DE TEOR

IA DE CONJUNTOS
Supongamos que hemos denido f(k) =: x
k
, k n. Entonces {x
0
, x
1
, . . . , x
n
}
X por ser X innito. Elegimos x
n+1
X\{x
0
, x
1
, . . . , x
n
} y denimos f(n+1) :=
x
n+1
. Es f acil ver que f es inyectiva, por lo que f(N) X es numerable.
Definici on A.5.16. Si X es un conjunto innito de modo que #X =
0
,
entonces diremos que X es innito no numerable. Si X es nito o numerable
diremos que X es contable.
Observaciones A.5.17.
1. El Teorema A.5.15 puede reescribirse diciendo que X es innito si y solo si

0
#X. Falta ver que si
0
#X entonces X es innito; en efecto, exis-
te una aplicaci on inyectiva i : NX y por tanto, i(N) es un subconjunto
numerable de X, luego X no puede ser nito por la Proposici on A.5.4.
2. Por el Teorema A.5.15 un conjunto X es innito no numerable si y solo
si
0
< #X.
3. Un conjunto X es contable si y solo si #X
0
. En efecto, si X es
numerable se da la igualdad; si X es nito, posee una aplicaci on inyectiva
en N por lo que se da la desigualdad estricta. En la direcci on contraria, si
X es nito ya est a. Si no lo es, supongamos que es innito no numerable.
Entonces
0
< #X
0
, contradicci on.
4. Del apartado anterior deducimos que los subconjuntos de un conjunto
contable son contables y si son innitos son numerables.
Propiedades A.5.18 (Uniones). Sea = un conjunto y sea {X

| }
una familia de conjuntos no vacos. Sea X :=

.
(1) Si alg un X

es innito (resp. innito no numerable) entonces X es innito

(resp. innito no numerable).
(2) Si es nito y X

tambien es nito, , entonces X es nito. Si adem as

la uni on es disjunta, es decir, X

1
X

2
= si
1
=
2
, entonces si n

es el
cardinal de X

, , se tiene que n :=

es el cardinal de X.
(3) Si es contable y X

tambien es contable, , entonces X es contable.

Si adem as alg un X

es numerable o X no est a contenido en la uni on de una

subfamilia nita, X es numerable.
Demostraci on.
(1) Si X

es innito, como X

X (Ejercicio A.15(1)) deducimos por la Proposi-

ci on A.5.4 que X es innito. Si adem as X

es innito es innito no numerable,

tenemos #N < #X

#X.
(2) Lo que importa en estas familias es el n umero de conjuntos, es decir, podemos
suponer := {1, . . . , r}. Supongamos los resultados demostrados para r = 2.
TEMA 5. CARDINALES 247
El caso general se hace por inducci on sobre r; si r = 1, no hay nada que
demostrar. Si r > 1, X =

r
i=1
X
i
=

r1
i=1
X
i

X
r
; el primer subconjunto
es nito por hip otesis de inducci on y el resultado se obtiene aplicando el caso
r = 2. Observemos que este razonamiento se aplica tambien al caso de uni on
con intersecciones disjuntas.
Supongamos pues que tenemos dos conjuntos nitos A, B. Entonces, es
inmediato que AB = A(B\A). Como B\A B, por la Proposici on A.5.4
tenemos que B \ A es nito. Por tanto basta que probemos el resultado para
A, B nitos y disjuntos.
Suponemos entonces X = A B, con A B = y ambos nitos. Supon-
gamos que A es de cardinal n y B es de cardinal m; debemos probar que X
es de cardinal n +m. Fijemos f : A n y g : B m, biyecciones. Entonces,
es f acil ver que la aplicaci on h : X m +n dada por
h(x) :=

f(x) si x A,
g(x) + n si x B,
es una biyecci on.
(3) Comencemos suponiendo que es nito; basta suponer que tenemos dos con-
juntos y que al menos uno de ellos es numerable. Supongamos que tenemos
X = AB, A nito de cardinal n y B numerable. Sean f : A n y g : B N
biyectivas. Construimos h : X N tal que:
h(x) :=

f(x) si x A
g(x) + n si x B.
Es f acil ver que h es biyectiva.
Supongamos ahora que A y B son numerables; sean f : A N y g : B N
biyectivas. Construimos h : X N tal que:
h(x) :=

2f(x) si x A
2g(x) + 1 si x B.
Es f acil ver que h es biyectiva.
Supongamos ahora que es numerable; podemos suponer que = N.
Distinguimos tres casos:
a) Todos los X
n
son nitos. Sea m
n
el cardinal de X
n
y sea k
n
:=

n
j=1
m
j
;
por convenci on, k
1
:= 0. Fijamos aplicaciones biyectivas f
n
: m
n
X
n
.
Denimos una aplicaci on h : N X :=

nN
X
n
como sigue. Sea m N;
existe un unico n N tal que k
n1
m < k
n
. As h(m) := f
n
(m k
n1
).
248 A. GENERALIDADES DE TEOR

IA DE CONJUNTOS
Es inmediato comprobar que h es sobreyectiva, por lo que
0
#X, es
decir, X es contable, ver Observaci on A.5.17(3).
b) Todos los X
n
son numerables. Fijamos aplicaciones biyectivas f
n
: N X
n
.
Dado n N denimos Y
n
:= {f
p
(q) | p+q = n}; es f acil ver que se trata de
conjuntos nitos y que X :=

nN
X
n
=

nN
Y
n
por lo que el resultado se
sigue del apartado anterior.
c) Hay conjuntos nitos y numerables. Agrup andolos convenientemente redu-
cimos el problema a la uni on de dos conjuntos contables.

Ejercicio A.21. Sea A X conjunto innito y B X conjunto nito,

demuestra que A\ B es un conjunto innito.
Propiedades A.5.19 (Cardinales y productos cartesianos).
(1) El producto cartesiano de una familia nita de conjuntos nitos es nito y su
cardinal es el producto de los cardinales.
(2) El producto cartesiano de una familia nita de conjuntos numerables es nu-
merable.
(3) #2
N
>
0
; en particular, el producto cartesiano de una familia numerable de
conjuntos (de cardinal > 1) es innito no numerable.
Demostraci on.
(1) Basta que lo probemos para el caso del producto de dos conjuntos A, B, X :=
A B. Fijemos una aplicaci on biyectiva f : n A, n := #A. Denotemos
B
j
:= {(f(j), b) A B | b B}. Es inmediato que A B =

n
j=1
B
j
y que
los subconjuntos son dos a dos disjuntos. Aplicando la Propiedad A.5.18(2)
tenemos que #(A B) =

n
j=1
#B
j
; es inmediato ver que #B
j
= #B,
j = 1, . . . , m, por lo que #(AB) = n#B = #A#B.
(2) Se demuestra como el apartado anterior usando la Propiedad A.5.18(3).
(3) Cualquier producto cartesiano de una familia numerable de conjuntos de cardi-
nal > 1 contiene un subconjunto biyectivo con X := #2
N
. Basta que veamos
que X es innito no numerable. Si fuera contable, existira una aplicaci on
sobreyectiva f : N X. Dado n N, denotemos f(n) = (x
n
m
)
mN
, con
x
n
m
{0, 1}. Consideremos el elemento y := (1 x
m
m
)
mN
X; por denici on,
f(n) = y, n N, lo que contradice la sobreyectividad de f.

Propiedades A.5.20 (Cardinales y partes de un conjunto).

(1) Si #X = n N, entonces #P(X) = 2
n
.
TEMA 5. CARDINALES 249
(2) Si X es numerable, entonces P(X) es innito no numerable.
Demostraci on.
(1) Tenemos #P(X) = #(2
X
) por la Proposici on A.5.8. Por la Propiedad A.5.19(1)
tenemos que #(2
X
) = (#2)
#X
= 2
#X
.
(2) Se deduce de la Observaci on A.5.12(2).

Ejemplo A.5.21.
1. El conjunto de n umeros racionales Q es numerable. En efecto, por una
parte, como N Q, tenemos que Q es innito. Por otra parte se puede
construir f acilmente una aplicaci on sobreyectiva de X := Z (Z \ {0})
en Q, por lo que #X #Q. Por la Propiedad A.5.19(2) tenemos que
#X =
0
y por la Propiedad A.5.17(4) Q es numerable.
De hecho, cualquier conjunto AQ donde = A es un intervalo (con
m as de un punto), es numerable. Supongamos que A Q fuera nito; en
ese caso encontraramos un intervalo innito en R sin n umeros racionales,
lo que es imposible
2. El conjunto de n umeros reales R es innito no numerable, es decir, #R >

0
. Para ello, construmos una aplicaci on inyectiva f : 2
N
R dada por
f((x
n
)
nN
) := 2

nN
x
n
3
n+1
.
3. Todo intervalo innito de n umero reales tiene cardinal innito no nume-
rable. Basta recordar que dos intervalos innitos son biyectivos.
Ejercicio A.22. Demostrar que la aplicaci on f del Ejemplo A.5.21(2) es
efectivamente inyectiva.
Ejercicio A.23. Cu al es el cardinal de los n umeros complejos C?
Ejercicio A.24. Sea X un conjunto numerable, entonces
P
F
(X) := {A X | A es conjunto nito}
tiene cardinal numerable.
Ejercicio A.25. Consideremos F := {A

X | } una familia de
subconjuntos de X.
1. Demuestra que #F #.
2. Sea f : X Y es una aplicaci on, entonces podemos denir la imagen
de dicha familia como fF := {f(A

) Y | }. Demuestra que
#fF #F. Adem as, si f es biyectiva, entonces #fF = #F.