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
   134   135   136   137   138   139   140   141   142   143   144