Sobre la numerabilidad y el continuo Carlos S.

Chinea
Matemtica, Fsica, Astronoma. Casanchi.com, febrero, 2010
1
Sobre la numerabilidad y el
continuo




Desde Cantor conocemos la diferencia entre lo que es numerable, discreto, y
lo que es continuo, denso. Conocemos que existe un nmero transfinito,
aleph sub cero, para describir lo que es discreto y otro nmero transfinito
para describir lo que es continuo. Cantor supuso que no hay otros nmeros
transfinitos entre ambos aleph. Hoy sabemos que tambin poda haber
supuesto lo contrario.


Dos conjuntos, A y B, se dicen coordinables, o biyectables, o equipolentes, o
tambin, de igual tamao, si existe una aplicacin biyectiva, una biyeccin, entre
ambos.


Definicin 01
El conjunto A se dice coordinable con el conjunto B si existe una aplicacin biyectiva
B A f :

biyectiva f B A f B A :

Teorema 01
Si existiera el conjunto U de todos los conjuntos, la coordinabilidad de conjuntos
sera una relacin de equivalencia en U que partira a ste en clases de
equivalencia, estando constituida cada clase por todos los conjuntos de igual
tamao.
Demostracin:
Veamos que es reflexiva:
reflexiva A A identidad I A A I A
A A
/ ) : )( (
Es simtrica:
simtrica A B biyectiva f
I f f I f f A B f biyectiva f B A f B A
A B

= =

1
1 1 1
/ : : o o

Finalmente, es transitiva:
transitiva
C A biyectiva f g C A f g
biyectiva g C B g C B
biyectiva f B A f B A

)
`

o o :
:
:



Definicin 02
Un conjunto se dice que es finito si no es coordinable con ninguno de sus
subconjuntos propios, esto es, si no existe una biyeccin del conjunto con ninguna
de sus partes propias.

Un conjunto es infinito si es biyectable con alguno de sus subconjuntos propios.


Sobre la numerabilidad y el continuo Carlos S. Chinea
Matemtica, Fsica, Astronoma. Casanchi.com, febrero, 2010
2
Definicin 03
Se dice que dos conjuntos, A y B, tienen el mismo numero cardinal si son
biyectables.

Representaremos en adelante el nmero cardinal correspondiente al conjunto A
por card(A).
B A B card A card = ) ( ) (

En el sentido del teorema 01, podra decirse que las clases de equivalencia de la
relacin de coordinabilidad tienen igual nmero cardinal.

Los nmeros cardinales de los conjuntos finitos se llaman, simplemente, nmeros
finitos, y los nmeros cardinales de los conjuntos infinitos se denominan nmeros
transfinitos.


Teorema 02:
La condicin necesaria y suficiente para que el cardinal de un conjunto A sea
estrictamente menor que el cardinal de otro conjunto B es que no existan
aplicaciones sobreyectivas de A en B.

card(A)<card(B) B A f : f no sobreyectiva

Demostracin:
Obviamente, pues si elegimos f inyectiva, se tiene que al no ser sobreyectiva, no
ser tampoco biyectiva, por lo que A ser coordinable con una parte estricta de B, o
sea, card(A)<card(B).



Teorema 03: (Teorema de Cantor)
Para cualquier conjunto se verifica que su cardinal es inferior estrictamente al de su
conjunto potencia (conjunto de sus partes):

)) ( ( ) ( )( ( A P card A card A <
Demostracin:
Bastar probar que no existe nunca una aplicacin sobreyectiva ) ( : A p A f , por
lo que, en virtud del teorema anterior, el cardinal de A es estrictamente inferior al
cardinal de p(A).
Vemoslo por reduccin al absurdo:
Supongamos que f es sobreyectiva, es decir, que B b f A b A p B = ) ( / ), ( y
veamos que entonces se da una contradiccin para una cierta parte B de A.
Elijamos como conjunto B aquella parte de A formada por lo elementos cuya
imagen por f no los contiene, es decir, por aquellos elementos a los que
corresponde una parte, elemento de p(A), a la cual no pertenecen:
{ } ) ( / x f x A x B =
En definitiva nos encontramos, por ser sobreyectiva que B b f A b = ) ( / . Veamos
que, entonces, el elemento b no puede pertenecer a B porque sera contradictorio,
ni tampoco puede no pertenecer a B porque tambin sera contradictorio:
1) { } contradic B b x f x A x B b f b B b f B b B b = = ) ( / ) ( ) (
2) { } contradic B b x f x A x B b f b B b f B b B b = = ) ( / ) ( ) (
por tanto no es cierto que = B b f A b ) ( / f no sobreyectiva
Sobre la numerabilidad y el continuo Carlos S. Chinea
Matemtica, Fsica, Astronoma. Casanchi.com, febrero, 2010
3
( )( ) )) ( ( ) ( ) ( : A p card A card va sobreyecti no f A P A f <
Smbolos de representacin de los cardinales finitos:

Conjuntos de tamao nulo:
( ) card = 0
Siguientes:
{ } { }) 0 ( ) ( 1 card card = =
{ } { } { }) 1 , 0 ( ) , ( 2 card card = =
{ } { } { } { } { }) 2 , 1 , 0 ( ) , , , ( 3 card card = =
{ } { } { } { } { } { } { } { } { }) 3 , 2 , 1 , 0 ( ) , , , , , , ( 4 card card = =


) 1 ,..., 3 , 2 , 01 ( = n card n

Los nmeros transfinitos pueden representarse por smbolos cualesquiera, si bien
se acostumbra a usar el smbolo Aleph, con un subndice para indicar el aleph
siguiente de cada aleph dado:

,... ,..., , ,
2 1 0 n



Definicin 04
Se llama Conjunto de los Nmeros Naturales, N, al conjunto de los cardinales de
los conjuntos finitos:
{ } ,... ,..., 3 , 2 , 1 , 0 n N =


Teorema 04
El conjunto N es un conjunto infinito
Demostracin:
Bastar probar que es coordinable con alguna de sus partes propias. Elijamos la
parte de N constituida por todos los nmeros pares (incluimos el cero):
{ } ,... ,..., 4 , 2 , 0 p S =
La aplicacin biyectiva S N f : entre N y la parte propia S es obvia:

n n f N n 2 ) ( , =

estando su aplicacin inversa N S f

:
1
dada por:

2 / ) ( ,
1
p p f S p =




Definicin 05
El nmero transfinito que se acostumbra a usar desde Cantor, para representar al
cardinal del conjunto N de los nmeros naturales es
0
(Aleph sub cero). Tal
nmero se denomina potencia del numerable, y se llama numerable a todo
conjunto que sea coordinable con N, esto es, que tenga su mismo tamao.


Teorema 05
El conjunto Z de los nmeros enteros es numerable.
Sobre la numerabilidad y el continuo Carlos S. Chinea
Matemtica, Fsica, Astronoma. Casanchi.com, febrero, 2010
4
Demostracin:
Es preciso probar que existe alguna aplicacin biyectiva Z N f :
Sea la aplicacin Z N f : :

=
impar es n si
n
par es n si
n
n f N n
,
2
1
,
2
) ( ,
que es biyectiva, cuya aplicacin inversa N Z f

:
1
es:

< +

=

0 ), 1 2 (
0 , 2
) ( ,
1
z si z
z si z
z f Z z



Teorema 06
El cuerpo Q de los nmeros racionales es numerable.
Demostracin:
Se trata de comprobar la coordinabilidad del conjunto Q con el conjunto Z, es decir,
que existe una aplicacin biyectiva entre el conjunto Q de los nmeros racionales y
el conjunto Z de los nmeros enteros, y como sabemos, por el anterior teorema,
que el conjunto Z es coordinable con los nmeros naturales, se deduce, en virtud
de la propiedad transitiva de la relacin de coordinabilidad, que el conjunto Q es
tambin coordinable con los nmeros naturales, esto es, que Q es numerable.

Para ver la coordinabilidad con Z, supongamos los nmeros racionales positivos
dispuestos en filas de igual denominador y columnas de igual numerador, tal como
se muestra a continuacin, y establezcamos un orden que obedezca a estas reglas:
1) el siguiente de m/1 es 1/(m+1), 2) el siguiente de m/n es (m+1)/n si m<n, o
bien es m/(n-1) si m n>1, 3) el primer elemento es 1/1. Este orden equivale a
recorrer los sucesivos rectngulos numricos en sentido contrario al de las agujas
del reloj, tal como se muestra. Las fracciones equivalentes, naturalmente, se
eliminan del orden.

El orden establecido ser:

1/1, , 2/1, 1/3, 2/3, 3/2, 3/1, 1/4, 3/4, 4/3, 4, 1/5, 2/5, . (se van eliminando
las fracciones equivalentes, 2/2, 3/3, )

Sobre la numerabilidad y el continuo Carlos S. Chinea
Matemtica, Fsica, Astronoma. Casanchi.com, febrero, 2010
5
El orden as establecido comprende al total de las fracciones positivas, que quedan
en correspondencia biunvoca (biyeccin) con los enteros positivos:
+ +
Z Q . Del
mismo modo y mediante el mismo procedimiento, establecemos tambin una
biyeccin de los racionales negativos con los enteros negativos

Z Q , y de aqu
la coordinabilidad del cuerpo Q con el anillo Z de los enteros. Como Z es
numerable, tambin, en definitiva, Q resulta ser numerable.

Teorema 07:
El intervalo de nmeros reales (0,1) es un conjunto infinito no numerable.
Demostracin:
- El intervalo (0,1) es infinito. Basta ver, por ejemplo, que contiene al
conjunto infinito dado por { }
)
`

= 0 /
1
N n
n
S .
- El intervalo (0,1) no es numerable, pues si suponemos que es numerable y
existe una aplicacin inyectiva ) 1 , 0 ( : N f tal que
... ... ... ... ...
... ... , 0 ) (
... ... ... ... ...
... ... ... ... ...
... ... , 0 ) 2 (
... ... , 0 ) 1 (
3 2 1
2 23 22 21 2
1 13 12 11 1
nn n n n n
n
n
r r r r r n f
r r r r r f
r r r r r f
= =
= =
= =

(donde las r
ij
son las cifras decimales del nmero r
i
)

Siempre existe en el intervalo (0,1) otro nmero real x, que no est en el
conjunto de las imgenes { } ,... ,..., ,
2 1 n
r r r . Esto podemos comprobarlo mediante
el llamado argumento diagonal de Cantor, que consiste en construir el nmero x
mediante la siguiente regla:
Si el n-simo decimal del nmero r
n
no es 1, entonces el n-simo decimal del
nmero x si es 1, caso contrario, el n-simo decimal de x es 2.
Es obvio que, por construccin, el nmero x no coincide con ninguno de los
elementos del conjunto { } ,... ,..., ,
2 1 n
r r r . Veamos un ejemplo:
Sean
... ... ... ... ... ...
... 0100010 , 0
... 5611136 , 0
... 3431111 , 0
... 5100450 , 0
... 4102321 , 0
5
4
3
2
1
=
=
=
=
=
r
r
r
r
r

el nmero x, que no coincide con ninguno de ellos, es ... 12121 , 0 = x
Por consiguiente, no existe una aplicacin biyectiva ) 1 , 0 ( : N f , pues para
cualquier secuencia de imgenes { } ,... ,..., ,
2 1 n
r r r de los elementos de N, siempre
existirn elementos x que no figuran en la misma. En definitiva, el intervalo
(0,1) no es numerable.


Teorema 08:
Dos intervalos cualesquiera de nmeros reales son coordinables.
Sobre la numerabilidad y el continuo Carlos S. Chinea
Matemtica, Fsica, Astronoma. Casanchi.com, febrero, 2010
6
Demostracin:
Sean dos intervalos cualesquiera R d c b a ) , ( ), , ( , y construyamos una aplicacin
biyectiva entre ambos.
- Sea ) , ( ) , ( : d c b a f , por la condicin ) ( ) ( ), , ( a x
a b
c d
c x f b a x

+ = , en la
que es inmediato que ) , ( ), , ( ) ( b a x d c x f , la cual es biyectiva, con inversa dada
por ) , ( ) , ( :
1
b a d c f

, ) ( ) ( ), , (
1
c y
c d
a b
a y f d c y

+ =


Veamos que, efectivamente, es : ) ( ) )( (
1
x x I x f f
A
= =

o
| |
x a x a a x
a b
c d
c d
a b
a
c a x
a b
c d
c
c d
a b
a c x f
c d
a b
a x f f x f f
= + =
|
.
|

\
|

+ =
=
|
.
|

\
|

+ =

+ = =

) ( ) (
) ( ) ) ( ( ) ( ) )( (
1 1
o

O sea:
A
I f f =

o
1
biyectiva f

Los dos intervalos, por consiguiente, tienen el mismo cardinal transfinito.

Corolario:
Todos los intervalos de nmeros reales son infinitos y no numerables.
Demostracin:
Por el teorema anterior son todos coordinables, y por tanto coordinables al intervalo
(0,1), que, por el teorema 09, es infinito y no numerable.

Teorema 09:
Existe una biyeccin del intervalo (-1,1) en R.
Demostracin:
Veamos que la aplicacin R f ) 1 , 1 ( : definida por la condicin:

x
x
x f x

=
1
) ( ), 1 , 1 ( es una aplicacin biyectiva.
a) es inyectiva:
0 1
1 1 1 1
) ( ) ( >

= x
y
y
x
x
y
y
x
x
y f x f
si y x y y x x y x = = = > > 0 0
si y x y y x x y x = = = < < 0 0
Luego, se cumple que y x y f x f = = ) ( ) ( , por lo que f es inyectiva.

b) es sobreyectiva:
Veamos que, efectivamente, cualquier elemento de R es imagen de algn
elemento del intervalo (-1,1): z x f x R z = ) ( / ) 1 , 1 ( ,
Si z>0: z
z
z z
z
z
z
z
z
x
x
x f
z
z
x = =
+
=
+

+
=

=
+
=
1 1
1
1
1
1
) ( / ) 1 , 1 (
1

Sobre la numerabilidad y el continuo Carlos S. Chinea
Matemtica, Fsica, Astronoma. Casanchi.com, febrero, 2010
7
Si z<0: z
z
z z
z
z
z
z
z
x
x
x f
z
z
x = =

=

=
1 1
1
1
1
1
) ( / ) 1 , 1 (
1

En definitiva, el intervalo (-1,1) es biyectable con R.

Corolario:
El cuerpo R de los nmeros reales no es numerable. Es decir, su aleph es superior
al aleph sub cero.
Demostracin:
El conjunto R de los nmeros reales es coordinable con (-1,1), que es infinito y no
numerable, luego R es tambin infinito y no numerable.


La Hiptesis del Continuo:
Se trata de una conjetura de Cantor, por la cual el nmero transfinito que
representa al cardinal del cuerpo de los nmeros reales es el aleph siguiente del
aleph sub cero. Es decir, la conjetura afirma que entre el cardinal de N y el cardinal
de R no existe ningn otro nmero transfinito.

1
) ( = R card

Cantor no logr probar esta conjetura, y a principios de siglo XX era uno de los
grandes problemas de la Matemtica (figura en la lista de los 23 problemas de
Hilbert).

Se intentaron pruebas diversas desde los axiomas de la Teora de Conjuntos
(Axiomas de Zermelo-Fraenkel con Ax. De eleccin) sin que se pudiera conseguir
una demostracin, hasta que en 1938, Kurt Gdel prob que esta afirmacin es
compatible con el sistema axiomtico de la teora de conjuntos.

En 1962, sin embargo, Paul Cohen prob que su negacin tambin es compatible
con dicho sistema de axiomas, por lo que la conclusin que se extrae de ello es que
la Hiptesis del Continuo es indecidible dentro del sistema axiomtico indicado.

Es decir, puede construirse una matemtica que, de acuerdo con la hiptesis de
Cantor, incluya como axioma la afirmacin de que no existe un nmero transfinito
entre el cardinal de N y el cardinal de R, y tambin puede construirse una
matemtica no cantoriana, en donde se incluya el axioma de que el cardinal de R
no es el aleph siguiente del cardinal de N.