Algunas consecuencias extraas del mtodo de

diagonalizacin
2 de noviembre de 2011

Resumen
1. Si no se dice otra cosa, se entender por mtodo de diagonalizacin o
simplemente diagonal una construccin de tipo matricial en la que cada
lnea consiste en una secuencia innita enumerable de expresiones obtenidas de un vocabulario enumerable previamente determinado. Esta
matriz es capaz de generar grcamente nuevas secuencias que pueden
coincidir o no con las ya existentes. Una de ellas, la antidiagonal que
representaremos como  tiene la propiedad, como es bien sabido, de
no pertenecer nunca a la matriz en la que se genera. Esta peculiaridad
es la que ha servido para hacer progresar los ms diversos argumentos
por diaginalizacin. Existen, como es obvio, versiones algebraicas del
mtodo diagonal que minimizan el componente grco del argumento,
pero en este caso y para lo que nos ocupa es preferible tenerlo bien
presente.
2. Una de las principales caractersticas de los argumentos diagonales es
que se aplican a conjuntos de entidades como un medio de demostrar
de manera conclusiva que tales conjuntos no son enumerables, ya sea de
forma efectiva o en trminos de cardinalidad. Es decir, se emplean para
concluir negativamente lo que en muchas ocasiones comenz siendo
una conjetura favorable acerca de la enumerabilidad del conjunto en
cuestin. En el caso de los nmeros reales, lo esperable, al menos a
juzgar por lo encontrado en el caso de otros conjuntos innitos con
propiedadades muy distintas N, E, Q era que se pudiera establecer su
enumerabilidad de algn modo. La prueba diagonal de Cantor resuelve
la ausencia de un resultado positivo demostrando su imposibilidad. Es
esta caracterstica la que hace que rara vez se nos ocurra aplicar el
mtodo de diagonalizacin sobre conjuntos que s son enumerables ya
que en ese caso no hay nada que dirimir. En tales casos, el mtodo
diagonal no puede concluir teniendo que fracasar obligatoriamente en
1

algn punto de su construccin. Es precisamente aqu donde surgen

algunas hiptesis curiosas que merece la pena analizar.
3. Tomaremos como conjunto experimental el formado por todos los subconjuntos nitos de las naturales y lo representaremos como Pf (N).
Sabemos que se trata de un conjunto enumerable y adems de manera efectiva y en consecuencia el mtodo diagonal tiene que fracasar
en algn punto. Primero probaremos, no obstante, la enumerabilidad
efectiva de Pf (N). Considrese la secuencia innita p0 , p1 , p2 , ...pi , ...
formada por los primos en su orden natural. Sirvindonos del teorema
fundamental de la Aritmtica podemos hallar la descomposicin factorial de cualquier nmero en trminos de potencias de primos. Despreciaremos aquellos que dan lugar a series en las que algn primo est
elevado a un exponente distinto de la unidad. Es obvio que los naturales
cuyas descomposiciones factoriales son secuencias de primos elevados a
la unidad pueden usarse para representar secuencias binarias innitas
que contengan a lo sumo un nmero nito de 1's. Esto se aprecia en el
siguiente grco:

p0 p1 p2 pi
0 1 1 0
Por otra parte cada secuencia binaria que contenga a lo sumo un nmero nito de unos dar lugar a un producto de primos que sirve como
base para la enumeracin efectiva de Pf (N).
4. Con este recurso podemos asegurar la existencia de una matriz binaria
del tipo

0
0

1 2 i
1 1 0
..
.

1 1

que enumera completamente el conjunto Pf (N). Como es habitual, usaremos el trmino diagonal   para referirnos a la secuencia binaria
hx00 , x11 , , xii , i y antidiagonal   para la secuencia hx00 , x11 , , xii , i
obtenida al permutar los 0'1 y 1's de . Puesto que Pf (N) es efectivamente enumerable por un argumento independiente y no puede
ser una de las secuencias sn en M, no importa lo que esta represente,
llegamos a la conclusin de que la secuencia no puede representar
una secuencia binaria que conste de un nmero nito de 1's.
5. Lo que resulta extrao en esta conclusin, por otra parte perfectamente esperable, es la aparente existencia de una conexin entre la
2

existencia de una forma de enumerar, ordenar, colecciones de secuencias binarias el resultado se puede generalizar a cualesquiera tipos de
secuencias y ciertas propiedades combinatorias de la secuencia antidiagonal. No importa cmo se obtenga la enumeracin del conjunto
original, ni el principio representacional aplicado en la obtencin de la
matriz, siempre existir un rasgo combinatorio de la antidiagonal que
viola el principio de representacin compartido por las secuencias de la
serie. Podemos enunciar el resultado de forma mximamente general
del siguiente modo:

Teorema 1 Sea C un conjunto efectivamente enumerable. Sea MC una

matriz obtenida a partir de C mediante algn criterio de representacin
c. Si MC es una enumeracin completa de C entonces
a) la secuencia obtenida partir de la matriz MC dene un objeto
segn c que no pertenece a C.
b) La secuencia posee propiedades combinatorias que no corresponden a ninguna de las secuencias en MC .

Conjetura 1 Sea M una matriz binaria. Entonces para que M represente un conjunto enumerable segn un criterio c es necesario y
suciente que exista una propiedad combinatoria de la secuencia antidiagonal que viole el criterio representacional c caracterstico de
todas las secuencias en M.
Este misterioso criterio representacional c no es otra cosa que la convencin que en cada caso se adopta para transformar un elemento en
C en una secuencia de aquellas que pueden pertenecer propiamente
a una matriz binaria o del tipo que sea. Lo sorprendente es que una
enumeracin directa de C que, como es lgico no tendr nada que ver
con el principio c, sea capaz de determinar, sea cual sea este principio,
una propiedad combinatoria de la antidiagonal .
6. Y una vez expuesto el problema, quiz lo que corresponde es analizar
si hay o no caso, es decir, si realmente hay algo de lo que sorprenderse.
Supongamos por un momento una matriz en la que hemos alojado de
forma ordenada todas las secuencias numricas binarias que contienen
un nmero nito de 1's. Como ya ha quedado claro esa enumeracin es
completa y por tanto la secuencia debe contener un nmero no nito
de 1's. Ahora bien, podramos admitir la inexistencia de una prueba
directa de ese hecho a partir tan solo de la colocacin de las secuencias
binarias en la matriz? Esta conjetura resume bastante bien el tipo de
extraeza a que hace referencia este texto. Hay que reconocer por otra
parte que se trata de una hiptesis altamente improbable, ya que no se
3

reere a la dicultad o no de una prueba sino a su posible inexistencia.

Pero an es posible radicalizar esta hiptesis un poco ms. Tngase en
cuenta que tambin sera muy extrao que existieran en general pruebas directas acerca de las propiedades combinatorias de en un gran
nmero de matrices, pero no es todas. Parece que deberamos exigir que
para cualquier posible forma de colocar en una matriz la serie completa
de las secuencias binarias mencionadas existiera siempre una prueba
directa de que la antidiagonal viola el criterio de representacin c
empleado para construir la matriz MC . Y esto no siempre parece fcil:

0
1
0
1
0
1
1

1
0
1
1
0
0
1

2
0
0
0
1
1
1

i
0
0
0
0
0
0

Esta matriz se ha construido siguiendo una estrategia puramente combinatoria en la que vamos agotando las combinaciones de subsecuencias
nitas de longitud n. La primera secuencia de la serie n+1 ser una
secuencia del tipo h0, 0, , 1, 0, 0, i, donde el nico 1 ocupa exactamente la n+1-sima posicin. A la luz de esta matriz no es inmediato
ver que esa ordenacin garantiza que no contenga ms 1's a partir
de un cierto modo, aunque tampoco es imposible.
7. En cualquier caso, resulta ms llamativo exigir que sea cual sea la forma
de colocar las secuencias siempre podamos garantizar desde argumentos puramente combinatorios la bondad de , por mucho que sepamos
que as debe ser. Supongamos que partimos de una matriz completa
para el conjunto de secuencias binarias con un nmero nito de 1's
y consideremos ahora una matriz M0C obtenida eligiendo en un orden
cualquiera las secuencias de MC . Parece evidente que M0C tambin es
una representacin completa de C y por tanto su antidiagonal debe incumplir el criterio de representacin de la matriz. Ahora bien, puesto
que no tenemos una norma para construir M0C es obvio que tampoco
podemos establecer de forma directa nada acerca del aspecto de .
Este ejemplo, no obstante, es algo truculento ya que apela indirectamente al axioma de Eleccin y por tanto no puede considerar que en ese
caso tengamos una construccin de , sino a lo sumo una estipulacin
sobre su existencia.
.........