4

Nmeros Cardinales
Anales del siglo XIX, Georg Cantor introdujo la teora de conjuntos para poder desarrollar la nocin
de innito. Cantor haba investigado el problema de unicidad de la representacin de una funcin por
una serie de Fourier, obteniendo resultados de la forma

n0
a
n
sin x b
n
cos x

n0
a
/
n
sin x b
/
n
cos x , \x S = a
n
a
/
n
y b
n
b
/
n
, \n.
para varios tipos de subconjuntos S de 0, 2 . Despus de probar que que el resultado se cumple
para conjuntos S que excluyen nitos puntos de 0, 2 , l tambin pudo hacerlo para conjuntos S
que excluan ciertos conjuntos innitos de puntos. Para poder explicar la estructura de los conjuntos
de puntos excluidos, Cantor desarroll una teora de magnitudes innitas a partir de ideas sobre
magnitudes nitas, i.e. los nmeros naturales. Cantor se enfoc en extender dos usos bsicos de los
naturales: contar y ordenar. Esta extensin dio lugar a dos clases distintas de nmeros: los nmeros car-
dinales para describir tamaos de conjuntos y los nmeros ordinales para describir formas de ordenar
bien un conjunto. Adems, Cantor dot ambas clases de nmeros con operaciones aritmticas (suma,
producto y exponenciacin) que coincidan con la aritmtica usual de los nmeros naturales.
En este captulo desarrollaremos los aspectos bsicos de la teora de nmeros cardinales. Para un
desarrollo de la teora de nmeros ordinales se puede consultar [En77], [Go96], [Hr99] o [Le02].
4.1 Cardinalidad de Conjuntos
Intuitivamente, dos conjuntos tienen la misma cantidad de elementos si cada elemento de un con-
junto est en correspondencia con un elemento del otro conjunto y viceversa. Por ejemplo, al entrar a
un auditorio podemos armar que hay la misma cantidad de personas que de sillas si observamos
que toda persona est sentada en una silla y si ninguna silla est vaca. As las correspondencias uno a
uno permiten relacionar el tamao de conjuntos arbitrarios sin hacer mencin a un conteo especco.
Esta nocin de cardinalidad fue concebida por Bernard Bolzano en 1851 y por Cantor en 1878.
Denicin Los conjuntos A y B son equipotentes (tienen la misma cardinalidad) si existe una fun-
cin biyectiva f : A B. En este caso, escribimos A - B. La biyeccin f se denomina una correspondencia
uno a uno entre A y B.
Ejemplo N - Z

. Tomemos la funcin sucesor : N Z

, n n 1. Por el cuarto axioma

de Peano, es inyectiva. Por el lema 1.1, es sobre.

Ejemplo Sean a b nmeros reales. Consideremos la funcin lineal f : 0, 1 a, b dada por.

f x a b ax.
Es fcil vericar que f es biyectiva. Luego, 0, 1 - a, b . Tomando la funcin f restringida a 0, 1 ,
se tiene que 0, 1 - a, b

66 4. Nmeros Cardinales
Teorema 4.1 Sean A, B y C. Entonces se cumple que
a A - A. b Si A - B, entonces B - A. c Si A - B y B - C, entonces A - C.
Prueba. (a) id
A
: A A es biyectiva.
(b) Si f : A B es biyectiva, entonces f
1
: B A tambin lo es.
(c) Si f : A B y g : B C son biyectivas, entonces h g f : A C tambin lo es.
Ejemplo Sean a b y c d nmeros reales. Por el ejemplo anterior,
0, 1 - a, b y 0, 1 - c, d .
Por el teorema 4.1, a, b - c, d . Anlogamente, a, b - c, d .

Lema 4.1 Suponga que A B C D. Si A - C y B - D, entonces A ' B - C ' D.

Prueba. Sean f : A C y g : B D biyectivas. Denamos h : A ' B C ' D por
h x
_
f x , si x A.
g x , si x B.
Como A B , es claro que h est bien denida. Sea h
/
: C ' D A ' B dada por
h
/
y
_
f
1
y , si y A.
g y , si y B.
Dado que C D , h
/
est bien denida. Razonando por casos se tiene que
h
/
h x x y h
_
h
/
y
_
y,
para todo x A ' B, y C ' D. Por tanto, h es biyectiva.
Ejemplo Sean E 2n [ n N y O 2n 1 [ n N . Entonces
N - E y N - O.
Notemos que E O .

Proposicin 4.1 Z - Z
+
- Z

- Z

- N.
Prueba. Mediante la biyeccin a a, vemos que Z

- Z

. Por tanto,
Z

- N - E y Z

- N - O.
Por el lema 4.1, tenemos que
Z
+
Z

'Z

- E 'O N.
Por otro lado, sea f : N Z denida por
f m
_
n, si m 2n.
n, si m 2n 1.
Dado que f es biyectiva (ejercicio), se tiene que Z - N. Ahora, basta aplicar transitividad.
4.1. Cardinalidad de Conjuntos 67
Volvamos a considerar el ejemplo del teatro. Puede ocurrir que todas las personas esten sentadas,
pero haya sillas vacas o no. En cualquier caso, la cantidad de personas es menor o igual a la cantidad
de sillas. La situacin se generaliza del siguiente modo.
Denicin A es dominado por B (notacin: A _ B si existe una funcin inyectiva f : A B.
Notemos que
A _ B sii A - C, para algn C _ B.
Escribimos A - B para indicar que A _ B y A ,- B.
El teorema 4.1 muestra que la propiedad A - B se comporta como una relacin de equivalencia.
Ahora mostremos que la propiedad A _ B se comporta como un orden en las clases de equivalencia
bajo equipotencia.
Lema 4.2 Sean A, B, C y D conjuntos.
a Si A _ B y A - C, entonces C _ B. b Si A _ B y B - D, entonces A _ D.
c A _ A. d Si A _ B y B _ C, entonces A _ C.
Vemos _ es reexiva y transitiva. Faltara mostrar que _ es antisimtrica. A diferencia de las otras
propiedades, este es un resultado muy importante, descubierto independientemente por Dedekind y
Cantor. Sin embargo, se conoce en la literatura como
Teorema de Schrder-Bernstein . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Si A _ B y B _ A, entonces A - B.
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
La primera prueba del teorema fue hallada por Dedekind en 1887, pero l no la public en su poca
y aparecio slo hasta 1932. Cantor prob el teorema en 1897, pero usando tcitamente el Axioma de
Eleccin. Ernst Schrder anunci una prueba sin usar eleccin en un abstract de 1896. Luego, public
una prueba errnea en 1898, corrigindola en 1911. Felix Bernstein proporcion la primera prueba
totalmente satisfactoria sin usar el Axioma de Eleccin. Esta prueba apareci en el texto Leons sur la
thorie des fonctions (1898) de Emile Borel y, luego, en la tesis doctoral de Bernstein de 1901.
Desde entonces, otros famosos matemticos han ofrecido nuevas demostraciones al teorema de
Schrder-Bernstein. Entre estas, destacamos las pruebas dadas por A. Schoenies (1900), Bertrand
Russell (1902), Henri Poincar (1905), Giuseppe Peano (1906), Ernst Zermelo (1908) o Banach, Knaster
y Tarski (1924).
Dejaremos la prueba del teorema para el nal de la seccin. En el apndice B, ofrecemos otras prue-
bas alternativas que pueden ser de inters para el lector.
Corolario 4.1 Si A _ B _ C y A - C, entonces A - B - C.
Prueba. Como la funciones inclusin i
A
: A B e i
B
: B C son inyectivas, se tiene que
A _ B y B _ C.
Dado que A - C, por el lema 4.2 (a), se sigue que C _ B.
Por el teorema de Schrder-Bernstein, B - C. Luego, por transitividad, A - B - C.
68 4. Nmeros Cardinales
Proposicin 4.2 NN - N.
Prueba 1. Consideremos la funcin f : NN Ndada por
f m, n 2
m
2n 1 1.
Notemos que f est bien denida. Dados m, n Nse tiene que 2
m
2n 1 _ 1.
Veamos que f es inyectiva. Si f m, n f p, q, entonces
2
m
2n 1 2
p
2q 1,
Multiplicando la ecuacin por 2
m
, obtenemos 2n 1 2
pm
2q 1. Como 2n 1 es claramente
impar, se sigue que p m 0. Luego, 2n 1 2q 1. As, p m y q n.
Veamos que f es sobreyectiva. Dado k N, sea 2
m
la mayor potencia de 2 que divide a k 1 (si k 1
es impar, m 0). Entonces k 1/2
m
es un impar de la forma 2n 1. Luego, k ran f .
Prueba 2. Usemos el teorema de Schrder-Bernstein. Sea f : NN Ndada por
f m, n 2
m1
3
n1
.
Por el teorema fundamental de la aritmtica, f es inyectiva. Luego, NN _ N.
Ahora, sea g : N NNdada por
g n n, 0 .
Es obvio que g es inyectiva. Luego, N _ NN. Por tanto, NN - N.
La funcin f de la prueba se suele denominar funcin de pareamiento (pairing function). Otro
ejemplo est dado por la funcin g dada por
gm, n
1
2
m nm n 1 m.
Mediante induccin matemtica, podemos generalizar la proposicin 4.2. Para ello, necesitamos el
siguiente lema.
Lema 4.3 Si A - C y B - D, entonces A B - C D.
Prueba. Sean f : A C y g : B D biyectivas. Denamos h : A B C D por
h x, y f x , g y .
Ahora basta mostrar que h es biyectiva (ejercicio).
Corolario 4.2 Para todo k : N
k
- N.
Veamos que el campo de nmeros racionales tambin es equipotente con N.
Proposicin 4.3 Q - N.
Prueba. Veamos que Q

- Z

. Es obvio que Z

_ Q

. Denamos g : Q

por
g r g
_
a
b
_
a, b , donde gcda, b 1.
Como g es inyectiva, tenemos que Q

_ Z

.
4.1. Cardinalidad de Conjuntos 69
Por la proposiciones 4.1 y 4.2 y el lema 4.3, se tiene que
Z

- NN - N - Z

.
Por el lema 4.2 (b), Q

_ Z

. Por el teorema de Schrder-Bernstein, Q

- Z

.
Ahora, componiendo con la biyeccin r r, vemos que Q

- Q

- Z

- Z

. Esto es,
Q

- Z

y Q

- Z

.
Por el lema 4.1, tenemos que
Q Q

' 0 'Q

- Z

' 0 'Z

Z.
Por transitividad, Q - N.
Ejemplo Podemos mostrar que N - Q mediante dovetailing. Arreglamos Q en una matriz innita
la cual recorremos como lo indica la siguiente trayectoria.

5
2
1
=
4
1
1
0
0
1
=
1
1
1
10
2
1
=
11
3
1

] ]

2
2

3
1
2
=
0
2
=
2
1
2
2
2
12
3
2

]

6
2
3
=
7
1
3
=
0
3
=
8
1
3
=
9
2
3
3
3

=
2
4
=
15
1
4
=
0
4
=
14
1
4
=
2
3
=
13
3
4

Denimos f : N Q, donde f n es la fraccin debajo de n . Nos aseguramos que f es inyectiva al
obviar las fracciones que ya se les ha asociado un natural. Por ejemplo, f 1
1
1
1 y descartamos
2
2
,
3
3
,
4
4
, las restantes fracciones que representan a 1. As, obtenemos una biyeccin de Nen Q.

Ejercicio Muestre que 0, 1 - 0, 1 . Concluya que 0, 1 - 0, 1 - 0, 1 - 0, 1 .

Solucin Notemos que
0, 1 _ 0, 1 _ 1, 2 y 0, 1 - 1, 2
Por el corolario 4.1, se sigue que 0, 1 - 0, 1 .
Para las otras equipotencias, notemos que
0, 1 _ 0, 1 _ 0, 1 y 0, 1 _ 0, 1 _ 0, 1 .
De nuevo, aplicamos el corolario 4.1.

70 4. Nmeros Cardinales
Por los ejemplos anteriores, podemos armar que todos los intervalos acotados de R tienen la misma
cardinalidad. Qu podemos decir de los intervalos no acotados?
Primero, notemos que R

0, - 1, mediante la traslacin x x 1. Usando la funcin

inverso x
1
x
tenemos que 1, - 0, 1 . Luego,
R

- 0, 1 .
Por otro lado, la funcin exponencial x e
x
es una biyeccin de R en R

. Por tanto,
R - R

- 0, 1 .
Usando el teorema de Schrder-Bernstein, se puede mostrar que los otros tipos de intervalos tambin
tiene la cardinalidad de R. Por ejemplo,
0, 1 - a, a 1 _ a, _ a, _ R - 0, 1 .
Anlogamente, se muestran los otros posibles casos. Resumiendo,
Proposicin 4.4 Todos los intervalos no vacos de R son equipotentes a R. En particular,
0, 1 - R.
Recordemos que
B
A
: f [ f : A B es funcin y 2
A
: f [ f : A 0, 1 es funcin .
Lema 4.4 Si A - C y B - D, entonces B
A
- D
C
.
Prueba. Fijemos biyecciones : A C y : B D.
Dada una funcin f : A B, tomamos F f : C D tal que el siguiente diagrama
C
F f
D

A
f
B
conmute; esto es, F f f
1
. Esto dene una funcin F :
A
B
C
D.
Armamos que F es biyectiva. De hecho, sea G :
C
D
A
B dada por
G g g
1
, para toda g : C D.
Es fcil vericar que G es la inversa de F.
Proposicin 4.5 Para todo conjunto A : T A - 2
A
.
Prueba. Sea F : T A 2
A
denida como sigue: dado B _ A, hacemos F B
B
, donde

B
x
_
1 si x B
0 si x / B.
es la funcin caracterstica de B en A.
4.1. Cardinalidad de Conjuntos 71
Veamos que F es inyectiva. Si F B F B
/
, entonces para todo x A :
x B sii
B
x 1 sii
B
/ x 1 sii x B
/
.
Por tanto, B B
/
.
Ahora, veamos que F es sobreyectiva: dada f : A 0, 1 , tomamos
B f
1
1 x A [ f x 1 .
Es claro que
B
f .
Corolario 4.3 Si A - B, entonces
2
A
- 2
B
y T A - T B .
En lo que sigue supondremos vlido un resultado clsico del anlisis real: todo nmero real tiene
una nica representacin decimal
m

n1

n
10
n
,
donde m | es la parte entera de y
n
0, 1, . . . 9 son dgitos decimales.
De hecho, los nmeros de la forma
k
10
n
tiene dos representaciones. Por ejemplo,
3
10
5
0.000 03 0000 0.000 02 99999
Por conveniencia, tomamos la representacin que termina en innitos nueves.
Proposicin 4.6 R - T N .
Prueba. Sea C : R TQ dada por
C r Q [ r .
Por la densidad de Q en R, dados nmeros reales, existe un racional r tal que r . Luego,
C es inyectiva. As, R _ TQ. Como Q - N, por el corolario 4.3, TQ - T N . Por el lema 4.2
(b), R _ T N .
Recprocamente, sea F : 2
N
0, 1 denida por
F s 0.s
0
s
1
s
2
s
3

n0
s
n
10
n1
.
Dado que todo nmero real tiene un nica representacin decimal, F es inyectiva. Por tanto,
T N - 2
N
_ 0, 1 - R.
De nuevo, por el lema 4.2, T N _ R. Basta aplicar el teorema de Schrder-Bernstein.
En vista de los resultados obtenidos hasta ahora, se podra creer que cualquier par de conjuntos
innitos son equipotentes entre s. Uno de los grandes descubrimientos de Cantor es la existencia de
distintas cardinalidades innitas.
72 4. Nmeros Cardinales
Teorema de Cantor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Para todo conjunto A : A - T A .
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Prueba. Debemos probar que A _ T A y A ,- T A .
Es fcil ver que la funcin f : A T A , dada por f a a , es inyectiva. Luego, A _ T A .
Supongamos que existe g : A TA biyectiva. Sea
D : a A [ a / g a .
Como g es sobreyectiva, existe d A tal que g d D. Entonces,
d D sii d / g d sii d / D.
Absurdo. Luego, no puede existir una biyeccin de A en TA y, por lo tanto, A ,- TA.
Aplicando el teorema de Cantor y la proposicin 4.6, obtenemos que
N ,- R.
Cantor prob este importante resultado por primera vez en 1873. En 1891, l ofreci una segunda
demostracin mediante su famoso mtodo de diagonalizacin.
Teorema 4.2 (Cantor) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
El conjunto Nno es equipotente a R.
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Prueba. Dado que R - 0, 1 y N - Z

, basta probar que Z

,- 0, 1 .
Razonemos por el absurdo y supongamos que existe una biyeccin f : Z

0, 1 . Organicemos
ran f 0, 1 del siguiente modo:
f 1 0
11

12

13

14

1n

f 2 0
21

22

23

24

2n

f 3 0
31

32

33

34

3n

f 4 0
41

42

43

44

4n

.
.
.
.
.
.
f n 0
n1

n2

n3

n4

nn

.
.
.
.
.
.
donde cada
nm
es un dgito decimal. Ahora, denamos 0.
1

2
0, 1 por diagonalizacin.
Para cada n _ 1 :

n

_
_
_
1, si
n
n
, 1.
5, si
n
n
1.
Por construccin,
n
,
n
n
, para todo n. Luego, , f n , para todo n.
Por tanto, / ran f . Absurdo, dado que f es sobreyectiva.
4.1. Cardinalidad de Conjuntos 73
Denicin Sea A un conjunto arbitrario.
(a) Si A - N, decimos que A es enumerable.
(b) Si A - R, decimos que A tiene la potencia del continuo.
Proposicin 4.7 RR - R y C - R.
Prueba. Primero usemos el teorema de Schrder-Bernstein para mostrar que 0, 1 0, 1 - 0, 1 .
(i) 0, 1 0, 1 _ 0, 1 . Dados , 0, 1 , hacemos
f , f 0.
1

3
, 0.
1

3
0.
1

3
.
Es claro que f est bien denida y que f es inyectiva.
(ii) 0, 1 _ 0, 1 0, 1 . Dado 0, 1 , hacemos g ,
1
2
. Es inmediato que g es inyectiva.
Aplicando el lema 4.3 y la proposicin 4.4, tenemos que
RR - 0, 1 0, 1 - 0, 1 - R.
Dado que C RR dotado de ciertas operaciones, se sigue que C tiene la potencia de continuo.
Corolario 4.4 Para todo k : R
k
- R.
Los resultados que hemos obtenido en esta seccin se pueden resumir en la siguiente tabla.
Conjuntos Conjuntos que tienen
enumerables la potencia del continuo
N R
E, O 0, 1 , 0, 1
Cualquier intervalo de R
Z, Q C
NN, N
k
RR, R
k
T N , 2
N
Es natural que surja la siguiente pregunta.
Todo conjunto innito A de nmeros reales es enumerable o tiene la potencia del continuo?
En 1878, Cantor plante que la respuesta es armativa. Dicha conjetura se denomin la Hiptesis del
Continuo de Cantor y se convirti en uno de los problemas ms importantes de la teora de conjuntos.
74 4. Nmeros Cardinales
Prueba del teorema de Schrder-Bernstein
Sean f : A B y g : B A funciones inyectivas.
Denamos una familia de subconjuntos de A mediante recursin:
A
n1
g f A
n
y A
0
A ran g .
Hagamos B
n
f A
n
. Luego,
A
n1
g f A
n
g B
n
.
Denamos h : A B por
h x
_
f x , si x A
n
, para algn n.
g
1
x , en caso contrario.
Armamos que h est bien denida.
Supongamos que x A
n
, para algn n. Notemos que A
m
_ A para todo m. Luego, x A. Por tanto,
h x f x est bien denida. En el otro caso, x / A
n
, para todo n. En particular, x / A
0
. Luego,
x ran g . Dado que g es inyectiva, h x g
1
x est bien denida.
Veamos que h es inyectiva.
Sean a
1
, a
2
en A. Como f y g
1
son inyectivas, basta considerar el caso en que a
1
A
n
para cierto
n y a
2
/ A
m
, para todo m. Luego,
h a
1
f a
1
y h a
2
g
1
a
2
.
Notemos que f a
1
f A
n
B
n
. Luego, h a
1
B
n
. Si h a
2
B
n
, entonces
a
2
g
_
g
1
a
2

_
g h a
2
g B
n
A
n1
.
Absurdo. Por tanto, h a
1
, h a
2
.
Mostremos que h es sobreyectiva.
aSea b B. Razonemos por casos. Si b B
n
, para algn n, entonces b f A
n
. Luego, existe a A
n
tal que
h a f a b.
En caso contrario, b / B
n
, para todo n. Sea a g b . Notemos que a ran g . Luego, a / A
0
. Como
b / B
n
y g es inyectiva, tenemos que
g b / g B
n
A
n1
.
Por tanto, a / A
n1
, para todo n. En este caso,
h a g
1
a g
1
g b b.
En ambos casos, b ran h .
Como h es una funcin biyectiva, podemos concluir que A - B.
4.2. Conjuntos Finitos y Contables 75
4.2 Conjuntos Finitos y Contables
Conjuntos Finitos
Introducimos la siguiente notacin. Para n N :
J
0
y J
n
k N [ 1 _ k _ n , para n _ 1.
Por ejemplo, J
3
1, 2, 3 . Por induccin, es fcil mostrar que
J
n1
J
n
' n 1 .
Denicin Sea A un conjunto arbitrario.
(a) Si A - J
n
, para algn n N, decimos que A es nito.
(b) Si A no es nito, decimos que A es innito.
Si f : J
n
A es una biyeccin, entonces es costumbre denotar f k a
k
, para 1 _ k _ n, y escribir
A a
1
, a
2
, . . . , a
n
.
Intuitivamente, el nmero natural n cuenta el nmero de elementos de A. Para formalizar adecuada-
mente esta idea, debemos asegurarnos que un conjunto nito slo puede estar en correspondencia
uno a uno con un nico J
n
. Esto es, al contar sus elementos siempre obtenemos el mismo resultado.
Para ello, necesitamos el siguiente resultado debido a Dirichlet.
Principio del Palomar (versin 1) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Para todo n : si f : J
n
J
n
es una funcin inyectiva, entonces f tiene que ser sobreyectiva.
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Prueba. Usemos induccin sobre n. El paso base es inmediato. Para el paso inductivo, supongamos
que el enunciado es vlido para n.
Ahora, sea f : J
n1
J
n1
una funcin inyectiva. Consideremos dos casos.
(a) f J
n
_ J
n
. Dado que f es inyectiva, f n 1 n 1 y f J
n
: J
n
J
n
es inyectiva. Por
hiptesis inductiva, f J
n
es sobre. Por tanto,
ran f ran f J
n
' f n 1 J
n
' n 1 J
n1
.
Esto es, f es sobre.
(b) f J
n
J
n
. Luego, existe k _ n tal que f k n 1. Reordenemos f de un modo conveniente:
sea g : J
n1
J
n1
dada por
g i
_
_
_
f i , si i , k, n 1.
f n 1 , si i k.
n 1, si i n 1.
Notemos que g tambin es inyectiva, ran g ran f y gJ
n
_ J
n
. Razonando como en el caso (a),
g es sobre. Por tanto,
ran f ran g J
n1
.
Por induccin matemtica, podemos concluir que la armacin es vlida para todo n.
76 4. Nmeros Cardinales
Corolario 4.5 Sea A un conjunto nito. Si : A A es una funcin inyectiva, entonces es sobreyectiva.
Prueba. Como A es nito, sean n Ny g : A J
n
biyectiva. Consideramos el siguiente diagrama
J
n
f
J
n
g
1

g
A

A
Como f es inyectiva, por el principio del palomar, f es sobre. Luego, tambin es sobre.
El principio del palomar se puede enunciar del siguiente modo.
Principio del Palomar (versin 2) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
(a) Si B es un subconjunto propio de un conjunto nito A, entonces A no es equipotente a B.
(b) Si A es equipotente a un subconjunto propio de s mismo, entonces A es innito.
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Prueba. Razonemos por el absurdo. Supongamos que B A y que f : A B es biyectiva. Luego,
la extensin f : A A es una funcin inyectiva con ran f B A. Lo cual contradice el corolario
anterior.
Corolario 4.6 Sean m, n N. Si J
m
- J
n
, entonces m n.
Prueba. Supongamos que J
m
- J
n
. Por la ley de tricotoma:
m n o n m o n m.
Si m n, entonces J
m
J
n
. Por la versin 2 del principio del palomar, J
n
no puede ser equipotente a
J
m
. Anlogamente, si n m, J
m
no puede ser equipotente a J
n
. Por tanto, la nica posibilidad es que
m n.
Corolario 4.7 Para todo conjunto nito A existe un nico n Ntal que A - J
n
.
Denicin El nico n Nque satisface A - J
n
se denomina el cardinal de A y se denota por n [A[ .
Sean A y B conjuntos nitos. Entonces
A - B si y slo si [A[ [B[ .
En efecto, sean [A[ n y [B[ m. Entonces
A - B sii J
n
- J
m
sii n m sii [A[ [B[ .
Intuitivamente, todo subconjunto de un conjunto nito es nito con cardinalidad menor o igual.
Lema 4.5 Si K _ J
n
, entonces existe k _ n tal que
K - J
k
y [K[ k.
4.2. Conjuntos Finitos y Contables 77
Prueba. Usemos induccin sobre n. El paso base es trivial. Para el paso inductivo, supongamos que el
enunciado es vlido para n.
Sea K _ J
n1
. Consideremos dos casos.
(a) n 1 / K. Luego, K _ J
n
. Por hiptesis inductiva, existe k tal que K - J
k
y [K[ k _ n n 1.
(b) n 1 K. Luego, K I ' n 1 , donde I K n 1 _ J
n
. Por hiptesis inductiva,
existe i _ n tal que I - J
i
. Sea g : J
i
I biyectiva. Extendamos g de un modo natural.
Sea g : J
i1
K dada por
g j
_
f j , si j _ i.
n 1, si j i 1.
Tomando k i 1, tenemos que K - J
k
y [K[ k _ n 1.
Corolario 4.8 Si existe una funcin f : A J
n
inyectiva, entonces A es nito y [A[ _ n.
Teorema 4.3 Sea A un conjunto nito. Si B _ A, entonces B es nito y [B[ _ [A[ . Si B A, [B[ [A[ .
Prueba. Sea f : A J
n
biyectiva. Si B _ A, entonces la restriccin f
B
: B J
n
es inyectiva. Por el
anterior corolario, B es nito y [B[ k _ n [A[ .
Ahora, sea B A. Si [B[ [A[ , entonces B - A. Pero esto contradice el principio del palomar.
Corolario 4.9 a Si A es enumerable, entonces A es innito.
b Si A tiene un subconjunto innito, entonces A es innito.
c Si A - B y B es innito, entonces A tambin es innito.
Teorema 4.4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
N, Z, Q, R y C son conjuntos innitos.
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Proposicin 4.8 Sean A y B conjuntos nitos. Si A B , entonces A ' B tambin es nito y
[A ' B[ [A[ [B[ .
Prueba. Sean [A[ m y [B[ n. Usemos induccin sobre n para mostrar que
A ' B tambin es nito y [A ' B[ m n.
Paso base. Si n 0, entonces B . As, A ' B A es nito y [A ' B[ [A[ m m 0.
Paso inductivo. Supongamos que el enunciado es vlido para todo conjunto de cardinalidad n.
Sea B un conjunto nito con [B[ n 1. Luego, podemos jar b B y tomar B
/
B b . Entonces,
es claro que B
/
es nito, [B
/
[ n y A B
/
. Entonces, por hiptesis inductiva, A ' B
/
es nito y
[A ' B
/
[ m n. Luego, tenemos que
A ' B
/
- J
mn
y b - m n 1 .
Por el lema 4.1, se sigue que
A ' C ' b - J
mn
' m n 1 J
mn1
.
Por tanto, A ' B es nito y [A ' B[ m n 1 .
78 4. Nmeros Cardinales
En la proposicin 4.8, podemos quitar la restriccin de que A y B sean disjuntos.
Proposicin 4.9 Si A y B son conjuntos nitos, entonces A ' B tambin es nito y
[A ' B[ [A[ [B[ [A B[ .
Prueba. Sean A y B conjuntos nitos. Como B A _ B, entonces B A es nito. Notemos que
A ' B A ' B A y A B A .
Por la proposicin 4.8, A ' B es nito y
[A ' B[ [A[ [B A[ . (4.1)
Es obvio que A B es nito y que
B B A ' A B y B A A B .
De nuevo, por la proposicin 4.8, tenemos que [B[ [B A[ [A B[ . Luego,
[B A[ [B[ [A B[ . (4.2)
Ahora, basta sustituir (4.2) en (4.1).
Notemos que cuando A B :
[A ' B[ [A[ [B[ [A B[ [A[ [B[ [[ [A[ [B[ .
Luego, las proposiciones 4.8 y 4.9 son equivalentes.
Proposicin 4.10 Si A y B son conjuntos nitos, entonces A B tambin es nito y
[A B[ [A[ [B[ .
Prueba. Sean [A[ m y [B[ n. Usemos induccin sobre n para mostrar que
A B tambin es nito y [A B[ m n.
Paso base. Si n 0, entonces B . As, A B es nito y [A B[ [[ 0 m 0.
Paso inductivo. Supongamos que el enunciado es vlido para todo conjunto de cardinalidad n.
Sea B un conjunto nito con [B[ n 1. Luego, jemos b B y hagamos B
/
B b . Entonces,
B
/
es nito y [B
/
[ n. Entonces, por hiptesis inductiva, A B
/
es nito y [A B
/
[ m n. Notemos
que
A B A B
/
' b A B
/
' A b .
Es claro que A b - A - J
n
. Por la proposicin 4.8, se sigue que A B es nito y que
[A B[

A B
/

[A b[ m n n m n 1 .

Para la exponenciacin se cumple un resultado anlogo. Su prueba queda como ejercicio.

Proposicin 4.11 Sean A y B nitos con [A[ m y [B[ n. Entonces B
A
tambin es nito y
[ B
A
[ n
m
.
Corolario 4.10 Si A es nito, entonces T A tambin es nito y [T A[

2
A

2
n
, donde n [A[ .
4.2. Conjuntos Finitos y Contables 79
Conjuntos Contables
Denicin Sea A un conjunto arbitrario.
(a) Si A es nito o enumerable, decimos que A es contable.
(b) Si A no es contable, decimos que A es no contable.
Sea A enumerable. Si f : N A es una biyeccin, se suele denotar f n a
n
y escribir
A a
n
[ n _ 0 a
n

n0
.
Tambin se suele decir que f es una enumeracin de A.
Teorema 4.5 Si A es un subconjunto innito de N, entonces A es enumerable.
Prueba. Sea A un subconjunto innito de N. Primero, notemos que para todo n A, existe m A
tal que n m. En caso contrario, existira n A tal que para todo m A : m _ n. Luego, A _ J
n
.
Absurdo, pues A es innito.
Ahora, denamos una biyeccin de Nen A por recursin. Sea h : A A dada por
h n min m A [ n m .
Por el comentario anterior y el principio del buen orden, h est bien denida. Por el teorema de
recursin, existe una funcin f : N A tal que
a
0
min A y a
k1
h a
k
min m A [ a
k
m .
Armamos que f es biyectiva.
Notemos que a
k
a
k1
, para todo k. Por tanto, f es inyectiva.
Supongamos que f no es sobreyectiva. Por el principio del buen orden, sea n min A ran f .
Como a
0
min A ran f , entonces a
0
n. Supongamos que a
k
n. Por denicin, a
k1
_ n.
Como n / ran f , entonces a
k1
n. Por induccin, a
k
n, para todo k.
Por tanto, f : N J
n
es una funcin inyectiva. Por el corolario 4.8, N sera nito, absurdo. Luego, f
tiene que ser sobreyectiva.
Corolario 4.11 Todo subconjunto innito de un conjunto enumerable es enumerable.
Combinando el anterior corolario con el teorema 4.3, obtenemos el siguiente resultado.
Teorema 4.6 Todo subconjunto de un conjunto contable es contable.
Ejercicio Sea A , . Muestre que A es contable si y slo si A _ N.
Solucin Si A es nito, existe f : A J
n
biyectiva. Luego, f : A Nes inyectiva.
Si A es enumerable, es claro que existe f : A Ninyectiva. En cualquier caso, A _ N.
Supongamos que existe una funcin f : A N inyectiva. Sea B f A . Como B _ N,
entonces B es contable. Dado que A - B, se sigue que A tambin es contable.

En la seccin 4.1, desarrollamos varias propiedades de los conjuntos enumerables en relacin a los
sistemas numricos. A continuacion, enunciamos las generalizaciones de dichos resultados.
80 4. Nmeros Cardinales
Proposicin 4.12 Sean A y B conjuntos enumerables. Si A B , entonces A' B tambin es enumerable.
Prueba. Por hiptesis,
A - N - E y B - N - O.
Dado que A B , por el lema 4.1, tenemos que A ' B - E 'O N.
Proposicin 4.13 Si A y B son conjuntos enumerables, entonces A B tambin es enumerable.
Prueba. Por hiptesis, A - N - B. Por el lema 4.3,
A B - NN.
Pero, por la proposicion 4.2, A B - N.
Razonando por casos, se puede mostrar que los conjuntos contables son cerrados bajo las opera-
ciones Booleanas bsicas.
Corolario 4.12 Si A y B son conjuntos contables, entonces A ' B, A B y A B tambin son contables.
Si A es enumerable, entonces
T A - T N - R ,- N.
Proposicin 4.14 Si A es enumerable, entonces T A tiene la potencia del continuo y, por tanto, es no
contable.
Ejercicio El conjunto de Cantor C se dene como el conjunto de todos los nmeros reales de la
forma

n1
a
n
3
n
,
donde cada a
n
es un dgito ternario 0 o 2. Use el mtodo de la diagonal y muestre que C es no contable.
Solucin Razonemos por el absurdo y supongamos que C - Z

. Sea f : Z

C una funcin
biyectiva y escribamos
f m

n1
a
mn
3
n
, donde a
mn
0, 2 , \m, n _ 1.
Denamos
b
n

_
0, si a
nn
2.
2, si a
nn
0.
Sea

n1
b
n
3
n
. Es claro que b
n
0, 2 , \n _ 1. Por denicin del conjunto de Cantor, C.
Como f es sobreyectiva, existe m _ 1 tal que f m

n1
a
mn
3
n
.
En particular, b
m
a
mm
. Pero, por construccin,
b
m
0 sii a
mm
2 sii b
m
2.
Absurdo. Luego, el conjunto de Cantor C no puede ser contable.

De hecho, el conjunto de Cantor C tiene la potencia del continuo. Basta notar que
C - 0, 2
N
- 0, 1
N
2
N
- R.
4.3. Cardinales con el Axioma de Eleccin 81
4.3 Cardinales con el Axioma de Eleccin
Despus de los resultados obtenidos sobre conjuntos enumerables y no contables, parece natural
armar que todo conjunto innito tiene un subconjunto enumerable.
Uno razonara del siguiente modo. Sea A un conjunto innito arbitrario. Como A , , elijamos
a
0
A. Como A es innito, A a
0
, . Luego, elijamos a
1
A con a
1
, a
0
. De nuevo, A
a
0
, a
1
, . Luego, podemos elegir a
2
A distinto de a
0
y a
1
. Despus de n pasos, habriamos elegido
a
0
, a
1
, a
2
, , a
n1
. Dado que A es innito, podemos elegir a
n
A distintos de todos los
anteriores (la eleccin de a
n
depende de los valores previos a
k
. Luego, el conjunto
E a
n

n0
sera un subconjunto enumerable de A.
A primera vista, el anterior razonamiento inductivo no parece problemtico. Se pensara que para
formalizarlo bastara usar el teorema de recursin. Pero, para aplicar el teorema de recursin, es nece-
sario contar, de antemano, con una funcin que dado un subconjunto nito de A elija un elemento de
A que no est en dicho conjunto. El problema surge en que necesitamos un principio que nos garan-
tice la existencia de dicha funcin. Esto nos lleva a introducir el siguiente axioma fundamental de la
teora de conjuntos.
Axioma de Eleccin () . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Sea A
i

iI
una familia no vaca de conjuntos.
Si para todo i I : A
i
, , entonces existe una funcin f con dominio I tal que
f i A
i
, para todo i I.
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
La utilidad esencial de es que nos permite realizar innitas elecciones arbitrarias y simultneas. Si
hacemos nitas elecciones o damos instrucciones de cmo elegir, no se necesita apelar a .
Ilustremos la anterior armacin con el siguiente ejemplo debido a Russell. Supongamos que ten-
emos una familia enumerable de pares de zapatos. Si elegimos el zapato izquierdo de cada par, no
necesitamos (dado que estamos dando una regla para elegir). Ahora, supongamos que tenemos
una familia enumerable de pares de medias. Dado que no hay modo de distinguir una media de la
otra y tenemos innitos pares, necesitamos si queremos elegir una media de cada par.
En las siguientes aplicaciones, usaremos una forma equivalente de conocida como el lema de
Zorn. De hecho, formularemos una variante del lema de Zorn relativa a familias / de conjuntos par-
cialmente ordenadas por la relacin de inclusin _ .
Denimos una cadena (chain) como una familia no vaca ( de conjuntos tal que para todo X, Y (
se cumple que X _ Y o Y _ X. En otras palabras, una cadena es una coleccin no vaca de conjuntos
que es totalmente ordenada por _ .
Decimos que M / es maximal si no existe X / tal que M _ X y M , X.
82 4. Nmeros Cardinales
Lema de Zorn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Sea / una familia no vaca de conjuntos. Si para toda cadena ( _ / se cumple que
_
( /,
entonces / tiene un elemento maximal.
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Para aplicar el lema de Zorn, consideraremos familias de funciones (con cierta propiedad) parcial-
mente ordenadas por extensin. Decimos que la funcin g extiende a la funcin f si
dom f _ domg y \x dom f : f x g x .
Escribimos f _ g para indicar que g es una extensin de f . Como es comn en matemticas, identi-
caremos una funcin f con su grafo

f
x, f x [ x dom f .
Bajo esta identicacin, tenemos que
f _ g sii
f
_
g
.
Por consiguiente, si T es una familia no vaca de funciones, se cumple que
_

f
[ f T
_
es una cadena sii T est totalmente ordenada por extensin.
Ms an, en dicha situacin, existe una funcin bien denida h que satisface

h

_
f T

f
y domh
_
f T
dom f .
Por tanto, h est unvocamente determinada al decir que h es una extensin de f para toda f T y
que el dominio de h es la unin de los dominios de las funciones f T. Nos referiremos a h como la
unin de la familia totalmente ordenada de funciones T.
Teorema 4.7 Sean A y B conjuntos no vacos. Las siguientes condiciones son equivalentes:
a Existe una funcin f : A B inyectiva.
b Existe una funcin g : B A sobreyectiva.
Prueba. a b Sea f : A B inyectiva. Fijemos a A. Denamos g : B A por
g y
_
f
1
y , si y ran f .
a, en otro caso.
Es fcil vericar que g es sobreyectiva. De hecho, para todo x A :
g f x x.
b a Sea g : B A sobreyectiva. Consideremos la familia
/ : C B [ C _ A y \x C : g x x .
4.3. Cardinales con el Axioma de Eleccin 83
Tomemos a A. Como g es sobre, existe b B tal que a g b . Sea : a B dada por a b.
As, T y T , .
Ahora, ordenemos parcialmente a T por extensin. Sea ( una cadena de T. Es fcil vericar que
h
_
( T.
Por el lema de Zorn, existe un elemento maximal f T.
Armamos que dom f B. En caso contrario, existe a A tal que a / dom f . Como g es sobre,
existe b B tal que g a b. Extendamos f del modo obvio:
f
/
f ' a, b .
Luego, f
/
T y que f
/
es una extensin propia de f . Absurdo, pues se contradice la maximalidad de
f en T. Por ltimo, basta notar que f es inyectiva.
Corolario 4.13 Sea A , . Entonces
A es contable sii existe f : A Ninyectiva sii existe g : N A sobreyectiva.
Ahora, mostremos que todo conjunto innito tiene un subconjunto enumerable. Primero, necesita-
mos introducir una nocin tcnica. Diremos que S es un segmento inicial de Nsi
S N o existe n Ntal que S J
n
.
Teorema 4.8 Si A es innito, entonces existe f : N A inyectiva.
Prueba. Sea A innito. Denamos
T : S A [ S es un segmento inicial de N y es inyectiva .
Es rutinario vericar que el lema de Zorn se aplica a T dando lugar a una funcin maximal f T.
Armamos que dom f N. En caso contrario, existe n tal que dom f J
n
. Sea B ran f .
Como f es inyectiva, f : J
n
B es biyectiva. Por tanto, B es un subconjunto nito de A. Como A es
innito, existe a A B. Denamos
f
/
f ' n 1, a .
Es claro que dom f
/
J
n1
y f
/
es inyectiva. As, f
/
T extiende propiamente a f , absurdo.
Corolario 4.14 Todo conjunto innito A contiene un subconjunto enumerable.
En 1888, Richard Dedekind propus la siguiente denicin alternativa de conjunto innito.
Denicin Un conjunto A se llama Dedekind innito si A es equipotente a un subconjunto propio
B A. Un conjunto Dedekind nito es un conjunto que no es Dedekind innito.
Por el principio del palomar,
Si A es Dedekind innito, entonces A es innito.
El recproco slo se cumple si asumimos .
84 4. Nmeros Cardinales
Teorema 4.9 Un conjunto A es innito si y slo si es Dedekind innito.
Prueba. Supongamos que A es innito. Sea E a
n

n
un subconjunto enumerable de A. Luego,
E a
0
- Z

- N - E.
Sea B : A a
0
A. Notemos que
A E E a
0
A E E.
Por el lema 4.1,
B A E ' E a
0
- A E ' E A.
Por tanto, A es Dedekind innito.
Ahora probemos un resultado que tiene muchas aplicaciones en el anlisis, el lgebra y la topologa.
Primero, enunciemos la versin para conjuntos enumerables.
Teorema 4.10 Sea E
n

n
una sucesin de conjuntos enumerables. Entonces
c

_
n0
E
n
es enumerable.
Prueba. Por , podemos elegir una funcin biyectiva
n
: N E
n
, para cada n.
Denamos g : NN c por
g m, n
n
m , para todo n, m N
2
.
Veamos que g es sobreyectiva.
Sea x c. Entonces, x E
k
para algn k. Como
k
es sobreyectiva, existe i tal que
k
i x. Luego,
g i, k
k
i x.
Esto es, x ran g .
Sea f : N N N biyectiva. Luego, h g f : N c es sobreyectiva. Por tanto, c es con-
table.
Pero, E
1
es un subconjunto innito de c. Por tanto, c es enumerable.
Ahora, enunciemos la versin para conjuntos contables.
Unin contable de contables es contable . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Supongamos que I es contable y que A
i
es contable para todo i I. Entonces
/
_
iI
A
i
es contable.
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Prueba. Si I es nito, aplique induccin matemtica. Supongamos que I es enumerable. Sin perdida
de generalidad, podemos tomar I N. Tambin podemos suponer que A
n
_ E
n
y E
n
es enumerable.
Luego, / es un subconjunto de un conjunto enumerable c. Por tanto, / es contable.
4.3. Cardinales con el Axioma de Eleccin 85
Apliquemos los anteriores teoremas para mostrar la existencia de incontables nmeros trascendentes.
Ejercicio Muestre que Zx es enumerable.
Solucin Sea I NN. Para todo i n, m I, denamos el conjunto
P
i
a
n
x
n
a
0
Zx [ [a
0
[ [a
n
[ m .
Dados n, m N, hay nitas n-tuplas k
0
, . . . , k
n
de nmeros naturales que satisfacen la ecuacin
k
0
k
n
m.
(ver seccin 5.2). Por tanto, P
i
es nito, para todo i I. Ahora, es claro que
Zx
_
iI
P
i
.
Esto es, Zx es una unin enumerable de conjuntos nitos. Luego, Zx es contable.
Pero es obvio que Zx es innito. Por tanto, Zx es enumerable.

Decimos que C es algebraico si es solucin de una ecuacin de la forma px 0, con

px Zx. En caso contrario, se dice que C es trascendente.
Proposicin 4.15 (Cantor) El conjunto / de los nmeros algebraicos es enumerable.
Prueba. Dado p x Zx , denamos el conjunto
A
p
C [ p 0 .
Por el Teorema Fundamental del lgebra, todo polinomio con coecientes reales de grado n tiene a lo sumo
n races complejas. Luego, A
p
es nito, para todo p Zx .
De la denicin de nmero algebraico, se sigue que
/
_
pZx
A
p
.
As, / es una unin enumerable de conjuntos nitos. Por tanto, / es contable.
Ahora, notemos que Z es subconjunto de / (dado a Z, tome el polinomio p x x a. Por lo
cual, / es innito. Podemos concluir que / es enumerable.
Corolario 4.15 (Cantor, 1874) El conjunto de nmeros trascendentes es no contable.
Prueba. Razonemos por el absurdo y supongamos que C/ es contable. Luego,
C /' C/
sera contable. Absurdo, pues C - R.
86 4. Nmeros Cardinales
4.4 Aritmtica Cardinal
En la seccin 4.2, denimos el nmero cardinal de un conjunto nito. Usando o el axioma de
regularidad (ver [Je03, p.65]), es posible extender la nocin de nmero cardinal a conjuntos innitos.
Dado que dichos tratamientos son sosticados y estn ms alla del alcance de este curso, preferimos
introducir los nmeros cardinales axiomticamente.
Axiomas de cardinalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Para todo conjunto A existe su nmero cardinal [A[ de modo que se cumple
(a) Para todo conjunto A y B :
A - B si y slo si [A[ [B[ .
(b) Para todo conjunto nito A, [A[ es el nico n Npara el cual A - J
n
.
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Luego, los cardinales nitos son los nmeros naturales. Si un cardinal no es nito, se dice que es
un cardinal innito (o transnito).
El cardinal de los conjuntos enumerables se denota por aleph cero:

0
[N[ .
En general, un aleph es el nmero cardinal de un conjunto bien ordenado innito.
Introduzcamos las operaciones cardinales.
Denicin Supongamos que
[A[ y [B[
Denimos
suma cardinal [A ' B[ , si A B
producto cardinal [A B[
exponenciacin

A
B

[f [ f : B A es funcin[
Ejercicio Dados conjuntos arbitrarios A y B, muestre que existen conjuntos A
/
, B
/
tales que
A - A
/
, B - B
/
y A
/
B
/
.
Solucin Tome A
/
A 0 y B
/
B 1 . Sean f : A A
/
y g : B B
/
dadas por
f a a, 0 y g b b, 1 .
Es inmediato que f y g son biyectivas. Tambin es claro que A
/
B
/
.

4.4. Aritmtica Cardinal 87

Por el ejercicio anterior, la denicin de suma cardinal tiene sentido. Ahora, por los lemas 4.1, 4.3 y
4.4 de la seccin 4.1, las operaciones cardinales estn bien denidas (no depende de representantes).
Las operaciones satisfacen las leyes aritmticas usuales (, y denotan nmeros cardinales).
Asociatividad
Conmutatividad
Neutros 0 1
Distributividad
Leyes de Exponentes

1

Ejemplo Para todo cardinal : 0 0 y
0
1. En particular, 0
0
1.
Solucin Sea A un conjunto de cardinalidad . Entonces
A y A

f [ f : A es funcin .
Por tanto, 0 [ [ 0 y
0
[[ 1.

Proposicin 4.16 Para todo conjunto A de cardinalidad : [T A[ 2

. En particular, [R[ 2

0
.
Prueba. Es obvio que [0, 1[ 2. Por la proposicin 4.5,
[T A[ [ 2
A
[ [f [ f : A 0, 1 es funcin[ 2
[A[
2

.
Por ltimo,
[R[ [T N[ 2
[N[
2

0
.

Denamos el orden en los nmeros cardinales mediante la nocin de dominancia.

Denicin Supongamos que
[A[ y [B[
Denimos
_ sii A _ B y sii A - B.
Luego,
sii _ y , .
Por el lema 4.2 de la seccin 4.1, vemos que la anterior denicin no depende de los conjuntos A y
B tomados. Esto es, la relacin _ en los nmeros cardinales est bien denida. Como vimos, _ es
una relacin reexiva, antisimtrica y transitiva en cualquier coleccin de conjuntos. Por tanto, _ es
una relacin de orden en la clase de los nmeros cardinales. En particular, el teorema de Schrder-
Bernstein y el teorema de Cantor se pueden enunciar del siguiente modo.
88 4. Nmeros Cardinales
Teorema de Schrder-Bernstein . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Sean y cardinales. Si _ y _ , entonces .
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Teorema de Cantor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Para todo cardinal : 2

. En particular,
0
2

0
.
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Veamos cmo se comporta el orden respecto a las operaciones.
Teorema 4.11 Sean , y cardinales. Si _ , entonces
_ , _ y

.
Si adems , 0 o , 0, entonces

.
Prueba. Sean A, B y C conjuntos de cardinalidad , y , respectivamente, tales que A _ B. Sin
perdida de generalidad, podemos suponer que A _ B y B C .Se puede vericar que
A ' C _ B ' C, A C _ B C y A
C
_ B
C
.
Luego, se cumplen las desigualdades enunciadas.
Para la otra desigualdad, primero supongamos que 0. Por hiptesis, , 0. Luego, A , 0. Por
tanto,

[f [ f : A es funcin[ [ [ 0 _

.
Ahora, supongamos que , 0. Luego, C , . Fijemos c C. Dada una funcin f : A C, se
extiende a la funcin F f : B C de un modo natural por
F f x
_
f x , si x A.
c, si x / A.
Luego, F : C
A
B
C
est bien denida y es inyectiva.
Introducimos
0
como notacin para el cardinal de N. Debido a la proposicin 4.16, el cardinal de
R se denota usualmente por 2

0
. El conjunto R de todos los nmeros reales tambin se denomina el
continuo. Por esta razn, 2

0
se llama el cardinal del continuo.
El siguiente teorema resume algunas propiedades bsicas del cardinal
0
.
Teorema 4.12 a Para todo cardinal innito :
0
_ .
b Para todo cardinal :
0
si y slo si es nito si y slo si N.
c
0

0

0

0

0
.
d Para todo natural n : n
0

0
.
e Para todo natural n 0 : n
0

0
.
4.4. Aritmtica Cardinal 89
Prueba. (a) es inmediato del teorema 4.8. (b) se sigue de (a) y de la denicin de
0
. Por otro lado,
(c) es inmediato de las proposiciones 4.12 y 4.13.
Sea n N. Como 0 _ n
0
, por el teorema 4.11, tenemos que

0
0
0
_ n
0
_
0

0

0
.
Si 1 _ n
0
, de nuevo por el teorema 4.11, se tiene que

0
1
0
_ n
0
_
0

0

0
.
Por ltimo, apliquemos el teorema de Schrder-Bernstein.
Ahora, enunciemos las propiedades aritmticas del cardinal 2

0
.
Teorema 4.13 a n 2

0

0
2

0
2

0
2

0
2

0
n N .
b n 2

0

0
2

0
2

0
2

0
2

0
n N, n 0 .
c
_
2

0
_
n

_
2

0
_

0
n

0
0
2

0
n N, n 0 .
Prueba. (a) se sigue de las siguiente sucesin de desigualdades:
2

0
0 2

0
_ n 2

0
_
0
2

0
_ 2

0
2

0
2 2

0
2
1
0
2

0
.
por el teorema de Schrder-Bernstein.
(b) Anlogamente, tenemos que
2

0
1 2

0
_ n 2

0
_
0
2

0
_ 2

0
2

0
2

0
2

0
.
(c) Tenemos que
2

0
_
_
2

0
_
n
_
_
2

0
_

0
2

0
2

0
.
Por otro lado,
2

0
_ n

0
_
0

0
_
_
2

0
_

0
2

0
2

0
.

Corolario 4.16 a El conjunto de sucesiones innitas de nmeros naturales tiene cardinalidad 2

0
.
b El conjunto de sucesiones innitas de nmeros reales tiene cardinalidad 2

0
.
El siguiente teorema es muy til para determinar la cardinalidad de subconjuntos de R.
Teorema 4.14 Sean A y B conjuntos tales que A _ B. Si [A[
0
y [B[ 2

0
, entonces
[B A[ 2

0
.
Prueba. Primero, notemos que [B A[
0
. En caso contrario,
2

0
[B[ [A ' B A[ [A[ [B A[ _
0

0

0
, absurdo.
Sea C un subconjunto enumerable de B A. Luego,
A C y [A ' C[ [A[ [C[
0

0

0
[C[ .
Por tanto,
[B[ [B A ' C[ [A ' C[ [B A C[ [C[ [B A[ .
Luego, [B A[ [B[ 2

0
.
90 4. Nmeros Cardinales
Corolario 4.17 a El conjunto de todos los nmeros irracionales tiene cardinalidad 2

0
.
b El conjunto de todos los nmeros trascendentes tiene cardinalidad 2

0
.
Los anteriores resultados muestran la importancia del nmero cardinal 2

0
. Luego, no es sorpren-
dente que el problema de determinar la magnitud de 2

0
fuese tan importante para Cantor.
Por ltimo, usaremos el lema de Zorn para mostrar que los nmeros cardinales satisfacen la ley de
tricotoma. En 1915 Friedrich Hartogs prob que la ley de tricotoma implica [Gi02, p. 551]. Por tanto,
la siguiente proposicin es equivalente a .
Proposicin 4.17 a Sean A y B conjuntos. Entonces A _ B o B _ A.
b Sean y cardinales. Entonces _ o _
Prueba. Sin perdida de generalidad, podemos tomar A, B , . Sea
T : C B [ C _ A y es inyectiva .
ordenada por extensin. Es fcil vericar que si ( _ T es una cadena, entonces

( T. Por el lema
de Zorn, existe una funcin f : C B que es maximal en T.
La maximalidad de f implica que C A o que f es sobre. En caso contrario, existen a A y b B
tales a / dom f y b / ran f . Luego, la funcin inyectiva f
/
f 'a, b T sera una extensin
propia de f , absurdo.
Si C A, entonces f : A B es inyectiva; esto es, A _ B. En caso contrario, f : C B sera sobre.
Por el teorema 4.7, existe f : B C _ A inyectiva. Luego, B _ A.
La Hiptesis del Continuo
En diciembre de 1873 Cantor descubri que la cardinalidad de Nes menor que la cardinalidad de R :

0
2

0
.
Su prueba, mediante intervalos encajados, apareci en el primero de sus artculos sobre la naciente
teora de conjuntos que public en el Journal de Crelle. El ttulo mencionaba "una propiedad del
concepto [Inbegriff ] de todos los nmeros reales algebraicos", a saber, que eran enumerables. En 1891,
l ofreci otra demostracin de que los nmeros reales no eran enumerables usando su ingenioso
argumento de la diagonal. Sin embargo, estas pruebas no respondan a la pregunta de si exista un
nmero cardinal tal que

0
2

0
.
En su segundo artculo (1878), Cantor estudi la cardinalidad de los subconjuntos de R y R
n
con-
cluyendo que no hay cardinales entre
0
y 2

0
(ver [Ca55, p. 45] y [Gr00, p. 89]). Esta es la primera vez
que Cantor enunciaba la conjetura que se conocera ms tarde como la Hiptesis del Continuo
2

0

1
. ()
Durante dcadas, Cantor intent infructuosamente probar . A pesar de estos fracasos, l siempre
creyo en la validez de su conjetura.
Consciente de la relevancia de , David Hilbert la ubic como el primero de los 23 problemas
que propus en su famosa conferencia del Segundo Congreso Internacional de Matemticos (Pars,
4.4. Aritmtica Cardinal 91
1900). Hilbert consideraba esta conjetura como uno de las preguntas abiertas fundamentales que los
matemticos deban atacar durante las siguientes dcadas e inclusive lleg a proponer un programa
para su prueba. l sugiri que inicialmente se debera demostrar otra de las conjeturas de Cantor; a
saber, cualquier conjunto se puede ordenar bien.
A principios del siglo veinte, Ernst Zermelo comenz a trabajar en los problemas de la teora de
conjuntos; en particular, consider la idea de Hilbert como punto de partida para una resolucin de
. En 1902 Zermelo public su primer trabajo en esta rea, relacionado con la adicin de cardinales
transnitos. Dos aos ms tarde, en 1904, tuv xito al dar el primer paso en el cmino sugerido por
Hilbert cuando demostr el Teorema del Buen Orden (todo conjunto se puede ordenar bien).
Para esta prueba, Zermelo introdujo el Axioma de Eleccin (), como un "principio lgico inob-
jetable", que le permita construir conjuntos mediante induccin transnita. De hecho, es equiva-
lente al Teorema del Buen Orden; lo cual, signica que es necesario usar este axioma. En 1905, Zermelo
comenz a axiomatizar la teora de conjuntos y, en 1908, public sus resultados a pesar de su fracaso
para obtener una prueba de la consistencia de su sistema axiomtico. En 1922, Adolf Fraenkel y Tho-
ralf Skolem independientemente mejoraron la propuesta de Zermelo. El sistema resultante se conoce
como los axiomas de Zermelo-Fraenkel ().
En el siguiente Congreso de Matemticos (Heidelberg, 1904), el matemtico hungaro Julius Knig
anunci que era falsa al haber obtenido una prueba de que no poda existir un buen orden para
R. El anuncio fue tan sensacional y ampliamente reportado por la prensa, que se decidi cancelar
todas las otras actividades para que todos pudiesen escuchar su conferencia. En su demostracin,
Knig aplicaba un teorema probado en la tesis de doctorado de Felix Bernstein. Sin embargo, este
teorema no era tan vlido, en general, como Bernstein haba armado. Al poco tiempo, Zermelo haba
hallado el error. En 1905 Bernstein public una breve nota corrigiendo su teorema y Knig retir su
armacin.
En 1908 Felix Hausdorff propuso considerar una generalizacin de al enunciar su Hiptesis del
Aleph
\ 2

1
. ()
es equivalente a la armacin que actualmente se conoce como la Hiptesis Generalizadada del
Continuo (para todo cardinal , no hay un cardinal entre y 2

:
\ 2

. ()
Despus de los anteriores esfuerzos en vano por probar o refutar , se empezo a creer que quizs el
cardinal del continuo era mayor que cualquier aleph. Pero, en 1915, Friedrich Hartogs mostr que a
todo cardinal se le poda asociar un aleph, su nmero de Hartogs, , tal que
.
Por tanto, se poda concluir que no exista un cardinal que fuese mayor que todos los alephs. Adems,
la anterior propiedad le permitio a Hartogs probar que la ley de Tricotoma para cardinales implica
.
En un artculo de 1925, Alfred Tarski arm que implica . Sin embargo, Tarski no probaba
su armacin, ni suministraba sugerencia para una posible prueba. Ms adelante, en 1947, Wacaw
Sierpi nski demostr la conjetura de Tarski, lo cual estableca por primera vez una clara conexin entre
y . Cabe destacar que la prueba de Sierpi nski se obtena mediante una versin ms renada
del teorema de Hartogs. Para ms detalles se puede consultar [Gi02] o [Sm96].
En 1938, Kurt Gdel prob que y son consistentes con . Veinticinco aos despus, Paul
Cohen logr mostrar que las negaciones de y de tambin son consistentes con estos axiomas. Al
tomarse juntos, estos dos resultados nos dicen que la Hiptesis del Continuo y el Axioma de Eleccin
son independientes de los axiomas de Zermelo-Fraenkel.
Apndice B
Pruebas alternativas del Teorema de
Schrder-Bernstein
Primera Prueba
Primero notemos que no hay perdida de generalidad si suponemos que A B . (ejercicio: ex-
plique por qu). Por tanto, jemos conjuntos disjuntos A, B y funciones inyectivas
f : A B y g : B A.
Ahora, denamos J : A ' B A ' B por
J x
_
f x , si x A.
g x , si x B.
Se puede vericar fcilmente (ejercicio) que J es una funcin bien denida, inyectiva y que mapea A en B
y a B en A.
Ahora, denamos una relacin binaria E para todo x, y A ' B por
xEy si y slo si p, q NJ
p
x J
q
y .
De nuevo, es fcil mostrar (ejercicio) que E es una relacin de equivalencia en A ' B. Denotemos por E
x
la clase de equivalencia de x A ' B bajo E.
Diremos que z A es un origen si z / ran J J x [ x A ' B .
Lema B.1 a Si z E
x
es un origen, entonces
E
x
E
z
J
p
z [ p N .
b Si E
x
B no tiene un origen, entonces f mapea E
x
A biyectivamente sobre E
x
B.
c Si E
x
B tiene un origen, entonces g mapea E
x
B biyectivamente sobre E
x
A.
Prueba. (a) Por denicin de E, J
p
z Ez para todo p N. Luego,
J
p
z [ p N _ E
z
E
x
.
Sea yEz. Luego, existen m, n N tales que J
m
z J
n
y . Tenemos que m _ n, pues, en caso
contrario, n m 1 N y z J
_
J
nm1
y
_
, lo cual contradice que z es un origen. Por tanto,
mn Ny y J
mn
z . As,
E
x
E
z
_ J
p
z [ p N .
130 Apndice B. Pruebas alternativas del Teorema de Schrder-Bernstein
(b) Es fcil ver f siempre mapea E
x
A inyectivamente en E
x
B (ejercicio). Ahora, sea b E
x
B.
Como b no es un origen, existe a A tal que b J a f a . Luego, aEbEx. Por lo cual, a E
x
A.
(c) Sea b B un origen en E
x
. Por la parte (a), tenemos que
E
x
J
p
b [ p N .
Es fcil de vericar (ejercicio) que para todo n :
E
x
A
_
J
2n1
b [ n N
_
, E
x
B
_
J
2n
b [ n N
_
y g
_
J
2n
b
_
J
2n1
b .
La conclusin se sigue inmediatamente de lo anterior (ejercicio).
Para probar el teorema de Schrder-Bernstein, denamos una funcin h : A B por
h x
_
g
1
x , si E
x
B tiene un origen.
f x , en caso contrario.
Sea x A tal que E
x
B tiene un origen. Por el lema anterior, g mapea E
x
B biyectivamente sobre
E
x
A. Como x E
x
A, existe un nico y E
x
B tal que g y x. As, h x g
1
x y est
denido. Por tanto, h es una funcin bien denida.
Es claro que h mapea a A en B y que h x E
x
. Mostremos que h es inyectiva en A.
En efecto, sean x, x
/
A tal que h x h x
/
. Dado que
x
/
Eh
_
x
/
_
h x E
x
,
tenemos que E
x
E
x
/ . Por tanto, las deniciones de h x y h x
/
ocurren en el mismo caso. Si E
x
B
tiene un origen, entonces
g
1
x h x h
_
x
/
_
g
1
_
x
/
_
.
Si E
x
B no tiene un origen, entonces
f x h x h
_
x
/
_
f
_
x
/
_
.
En ambos casos, podemos concluir que x x
/
.
Ahora, mostremos que h es sobreyectiva.
Sea y B. Supongamos que E
y
B tiene un origen. Sea x g y A. Luego, xEy y E
x
E
y
. As,
E
x
B tiene un origen. Por tanto,
h x g
1
x y.
Supongamos que E
y
B no tiene un origen. Por el lema 1 (b), existe x E
y
A con f x y. De
nuevo, xEy y E
x
E
y
. As, E
x
B no tiene un origen. Por tanto,
h x f x y.
En ambos casos, y ran h .
Por tanto, h es biyectiva. Luego, A - B.
131
Segunda prueba
A continuacin bosquejamos otra prueba del teorema de Schrder-Bernstein [Hr99], [Sm96]. Esta
prueba usa un lema notable debido a Knaster y Tarski. De hecho, usa un caso especial (el lema se
puede generalizar a retculos completos). Primero, necesitamos algo de terminologa.
Sea F : T A T A . Decimos que F es montona si X _ Y _ A implica que F X _ F Y .
Un conjunto X _ A se denomina un punto jo de F si F X X.
Lema del Punto Fijo Toda funcin montona tiene un punto jo.
Bosquejo. Sea F : T A T A montona. Tome los conjuntos
/ X _ A [ F X _ X , y X

/.
Se tiene que
X /, F
_
X
_
/ y F
_
X
_
X.
Por tanto, F tiene un punto jo.
Lema B.2 Si C
1
_ D _ C y C - C
1
, entonces C - D.
Bosquejo. Use el lema del punto jo del siguiente modo.
Dada : C C
1
biyectiva, sea F : T C T C denida por
F X C D ' X .
Como F es montona, sea S un punto jo de F; es decir,
S C D ' S .
Dena una biyeccin : C D por
x
_
x , si x S.
x, si x / S.
Por tanto, C - D.
Para nalizar, notemos que
g f A _ g B _ A.
Como f y g son inyectivas, se cumple que
A - g f A y B - g B .
Por el lema anterior, A - g B - B.
Tercera prueba
Primero necesitamos un lema debido a Banach [Dr96, p. 43].
Lema B.3 Si f : A B y g : B A son funciones inyectivas, entonces existe S _ A tal que
g B f S A S.
132 Apndice B. Pruebas alternativas del Teorema de Schrder-Bernstein
Prueba. Sean g f : A A y T A g B . Ahora, tomemos
S T ' T ' T '
y notemos que S T ' S . Dado que g es inyectiva, se cumple que para todo y B :
y / f S sii g y / g f S S .
Dado que g y / T, esto implica que g y / T ' S S. As para todo y B :
y B f S sii g y A S.
Esto es, g B f S A S.
Para completar la prueba del teorema de Schrder-Bernstein, tomemos S como en el lema B.3.
Notemos que
g
1
A S B f S .
Denamos h : A B por
h x
_
f x , si x S.
g
1
x , si x / S.
Las propiedades de S implican que h es inyectiva. Como S A S , se cumple adems que
h A h S ' A S h S ' h A S f S ' g
1
A S f S ' B f S B.
Esto es, h es sobreyectiva. Por tanto, h es biyectiva y A - B.
Referencias
[Ad95] Adler, A. & Coury, J. The Theory of Numbers. A Text and a Source of Problems. Belmont: Jones
& Bartlett, 1995.
[Be03] Bedoya, L. Peano, Lawvere, Peirce: Tres Axiomatizaciones de los Nmeros Naturales. Tesis.
Ibague: Universidad de Tolima, 2003.
[Bl03] Blch, E. Proofs and Fundamentals. A First Course in Abstract Mathematics. Boston: Birkhaser,
2003.
[Bu07] Burton, D. Elementary Number Theory. New York: McGraw Hill, 2007.
[Ca55] Cantor, G. Contributions to the Founding of the Theory of Transnite Numbers. NewYork: Dover,
1955.
[Dr96] Drake, F. R. & Singh, D. Intermediate Set Theory. Chichester: John Wiley & Sons, 1996.
[En77] Enderton, H. Elements of Set Theory. New York: Academic Press, 1977.
[En98] Engel, A. Problem-Solving Strategies. New York: Springer-Verlag, 1998.
[Ep95] Epp, S. Discrete Mathematics with Applications. Belmont: Brooks/Cole, 1995.
[Fe64] Feferman, S. The Number Systems. Foundations of Algebra and Analysis. Reading: Addison-
Wesley, 1964.
[Gi02] Gillman, L. Two Classical Surprises concerning the Axiom of Choice and the Continuum
Hypothesis. American Mathematical Monthly. 109 (2002), 544-553.
[Go96] Goldrei, D. Classical Set Theory. A guided independent study. London, Chapman & Hall, 1996.
[Go98] Goodaire, E. & Parmenter, M. Discrete Mathematics with Graph Theory. Upper Saddle River:
Prentice-Hall, 1998.
[Gr96] Grassman, W. K. & Tremblay, J. Logic and Discrete Mathematics. A Computer Science Perspec-
tive. Upper Saddle River: Prentice-Hall, 1996.
[Gr00] Grattan-Guinness, I. The Search for Mathematical Roots, 1870 1940. Princeton: Princeton
UP, 2000.
[He86] Herstein, I. N. Abstract Algebra. New York: Macmillan, 1990.
[Hr99] Hrbacek, K. & Jech, T. Introduction to Set Theory. New York: Marcel Dekker, 1999.
[Je03] Jech, T. Set Theory. Third Millennium Edition (revised and expanded). Berlin: Springer-Verlag,
2003.
[Jo05] Johnsonbaugh, R. Discrete Mathematics. Upper Saddle River: Prentice-Hall, 2005.
134 Referencias
[Ko07] Koshy, T. Elementary Number Theory with Applications. Burlington: Academic Press, 2007.
[La90] Lang, S. Undergraduate Algebra. New York: Springer-Verlag, 1990.
[La83] Larson, L. C. Problem-Solving Through Problems. New York: Springer-Verlag, 1983.
[Le02] Levy, A. Basic Set Theory. New York: Dover, 2002.
[Pa09] Parra, C. Fundamentos de Matemtica Abstracta. Medelln, Universidad Nacional de Colom-
bia, 2009.
[Ph84] Phillips, E. An Introduction to Analysis and Integration Theory. New York: Dover, 1984.
[Ro03] Rosen, K. H. Discrete Mathematics and its Applications. New York: McGraw-Hill, 2003.
[Ro05] Rosen, K. H. Elementary Number Theory and its Applications. Boston: Pearson, 2005.
[Ru76] Rudin, W. Principles of Mathematical Analysis. New York: McGraw-Hill, 1976.
[Sm96] Smullyan, R. &Fitting, M. Set Theory and the Continuum Problem. Oxford: Oxford University
Press, 1996.
[St93] Straight, J. Combinatorics. An Invitation. Belmont: Brooks/Cole, 1993.
[Wa01] Walser, H. The Golden Section. Washington: Mathematical Association of America, 2001.