Page 139 - 30 Cantor
P. 139
mos simplemente decir que, como X 1 es mayor que X , entonces
es obvio que 2:-, debe ser mayor que 2:- , porque ya vim~s que 3 es
0
mayor que 2, pero que, no obstante, 3:- no es mayor que 2:-: 0 ; la
0
conclusión es que, cuando del infinito se trata, lo que parece obvio
no siempre es verdadero.
¿ Cómo puede visualizarse un cubrimiento de los ordinales
de clase 11? Observemos que, dado que hay una cantidad X de
• 1
ordinales de clase 11, cada uno de sus cubrimientos contendrá una
cantidad X de cifras; es decir, una cifra por cada ordinal:
1
o o o o 1
w w +l w + 2 w+w w+w+l w+w+w
Ahora bien, los cubrimientos de los ordinales de clase II tie-
nen, en general, una complejidad que es muchísimo mayor que la
de los cubrimientos de N. En efecto, por ejemplo, para definir un
cubrimiento de N podemos decir simplemente que «comienza con
01 y después sigue repitiendo esas dos mismas cifras»; esta defi-
nición caracteriza totalmente al cubrimiento 010101.. ., dado que
con solo esa regla podemos sabemos con qué cifra, O o 1, debemos
cubrir a cada número natural.
Pero esa misma definición no es suficiente para definir com-
pletamente un cubrimiento de los ordinales de clase 11, y la causa
es que estos tienen un ordenamiento que es mucho más complejo
1
LA HIPÓTESIS GENERALIZADA DEL CONTINUO
La hipótesis del continuo es la conjetura de que 2x 0 = X , algo que Cantor nunca
1
pudo demostrar ni refutar. La llamada hipótesis generalizada del continuo es
una conjetura que extiende a la anterior y que fue formulada por Cantor en
sus «Contribuciones». Esta conjetura afirma que, no solamente 2x 0 = x,, sino
que además 2x, = X , 2x, = X , 2x, = ~ • y así sucesivamente. Como dijimos an-
2
3
4
tes, Cantor nunca llegó a saber en vida si estas conjeturas eran ciertas o no.
1
LOS ÁLEF 139