Lgica El Teorema de Cantor

Profesor: Eduardo Barrio

UBA - Filosofa 1er cuatrimestre de 2012

Teorema de Cantor
No todo conjunto infinito tiene el mismo tamao Hay conjuntos infinitos ms grandes que el de los nmeros naturales. No todo conjunto infinito es numerable.

Estratega de la Prueba: - Poner en correspondencia biunvoca la lista de los nmeros entre 0 y 1 con los naturales. - Mostrar que siempre hay un nmero entre 0 y 1 que no est en la lista.

George Cantor (1845 - 1918)

Conjuntos enumerables

Enumerabilidad:

Supongamos que es un conjunto cuyos elementos podran ser nmeros, cadenas de smbolos, pruebas, programas de computadora o cualquier otra cosa. es enumerable si sus miembros pueden al menos en principio ser listados en algn orden (un primer lugar, un segundo lugar, un tercer lugar) de manera tal que cada uno de ellos aparezca tarde o temprano en la lista. Se permiten repeticiones, y la lista puede ser infinita.

Conjuntos no-numerables

no-numerabilidad:

Supongamos que es un conjunto cuyos elementos podran ser nmeros, cadenas de smbolos, pruebas, programas de computadora o cualquier otra cosa. no es enumerable si sus miembros no pueden ser listados en algn orden (un primer lugar, un segundo lugar, un tercer lugar) de manera tal que cada uno de ellos aparezca tarde o temprano en la lista.

Teorema de Cantor: Hay conjuntos infinitos que no son enumerables (son demasiado grandes) como para que sus elementos puedan ser listados.

Conjuntos Infinitos

Resultados acerca de conjuntos infinitos: Los conjuntos infinitos no se comportan del mismo modo que los conjuntos finitos. Por ejemplo: El conjunto de los nmeros pares es tan grande como el de los naturales. Agregar el conjunto de los nmeros naturales al conjunto de los impares no agranda el tamao del conjunto inicial.

Medir el tamao de un conjunto es poner en correspondencia uno a uno (correspondencia biunvoca) todos los elementos de cada conjunto.

2----0 4----1 6----2 8----3 10--4 12--5 . y x 2: x Funcin

Conjuntos Infinitos

Argumentos Diagonales:

el argumento de Cantor tiene la siguiente estructura:

(I) Supongamos que hay una correspondencia uno a uno (biunvoca) entre los elementos de dos conjuntos infinitos D1 y D2. (ii) Entonces es posible construir una lista completa tal que en la primera estn todos los nmeros naturales y en la segunda todos los nmeros reales entre 0 y 1. (iii) Prestemos atencin al nmero real formado por la diagonal del cuadro. Ya que la lista es completa, entonces ese nmero tiene que estar en la lista en algn lugar. (iv) Considerar ese nmero asegura una peculiaridad. Ese nmero comparte con todos los nmeros reales listados (por suposicin) un dgito. (v) Consideremos el nmero antidiagonal formado a partir del nmero diagonal alterado de manera sistemtica cada uno de los dgitos del nmero diagonal (por ejemplo, cambiando el 9 por 1 y el 1 por 9) (vI) Ese nmero tiene que estar en la lista, ya que la lista es completa. Pero ese nmero no puede estar en la lista, ya que por construccin, no puede estarlo. Si hubiera estado en la lista, habra sido alterado en un dgito. Surge una contradiccin: el nmero antidiagonal est y no est en la lista.

Conjuntos Infinitos

Argumentos Diagonales

Cantor usa este tipo de argumento para mostrar que hay conjuntos infinitos de distinto tamao.

Dada una lista, una coleccin de elementos, el mtodo puede ser aplicado a ella para descubrir un conjunto de elementos que no aparece en la lista.

Formulacin: Sea R una matriz formada por las colecciones D1 y D2 y sea F una relacin diagonal sobre D1 y D2. Sea H la antidiagonal de F. Entonces, H no aparece como una lnea de R.

Conjuntos Infinitos

Argumentos Diagonales
1 2 3 4 5

D1

E1 E2 E3 E4 E5 E6

9 9 1 1 9 1

1 1 1 9 1 9

9 1 9 1 9 1

9 9 1 9 1 9

1 9 9 1 1 9

1 9 9 9 9 9

D1 = conjunto de los enteros positivos D2= conjunto de los reales entre 0 y 1.

Conjuntos Infinitos

Argumentos Diagonales
1 2 3 4 5

D1

E1 E2 E3 E4 E5 E6

1 9 1 1 9 1

1 9 1 9 1 9

9 1 1 1 9 1

9 9 1 9 1 9

1 9 9 1 9 9

1 9 9 9 9 1

D1 = conjunto de los enteros positivos D2= conjunto de los reales entre 0 y 1.

Conjuntos no-numerables

El nmero que se forma en la antidiagonal no puede estar en la lista (por construccin de nmero antidiagonal) El nmero antidiagonal tiene que estar en la lista (se asumi que la lista era completa).

- Por medio del argumento diagonal, se ha probado que hay un nmero entre 0 y 1 que est y no est en la lista. Absurdo! - La contradiccin sali de suponer que los nmeros reales entre 0 y 1 pueden ponerse en correspondencia 1 a 1 con los naturales. - El conjunto de los nmeros reales entre 0 y 1 es ms grande que el conjunto de los nmeros naturales.

Conjuntos no-numerables

La potencia de un conjunto infinito tiene una cardinalidad ms grande que el conjunto de partida La potencia de un conjunto finito: P {1, 2, 3} :
{1 , 2, 3, {1,2} , {1,3}, {2,3}, {1,2,3}, } 23: 8 elementos

N: Alef0 P(N): Alef1 P(Alef1): Alef2 P(Alef2): Alef3 ...

Numerable No-numerable No-numerable No-numerable

El conjunto Universal Paradoja de Cantor

Hay un conjunto absolutamente universal? Supongamos que U es el conjunto de todos los conjuntos. Puede existir U?
Supongamos que existe U - Todos los subconjuntos de U son elementos de U (ya que U es el conjunto de todos los conjuntos. - Consideremos P(U). Ya que U es el conjunto de todos los conjuntos, uno de sus elementos es P(U). Pero si P(U) es un elemento de U, su cardinalidad debera ser igual o menor a la cardinalidad de U. - Por el Teorema de Cantor, la cardinalidad de P(U) es mayor a la cardinalidad de U. - U no puede existir

El Alef?

El conjunto Universal Paradoja de Cantor

Hay un conjunto absolutamente universal?

El Alef? "punto que contiene todos los puntos del universo".

El conjunto Universal Paradoja de Cantor

Arribo, ahora, al inefable centro de mi relato, empieza aqu, mi desesperacin de escritor. Todo lenguaje es un alfabeto de smbolos cuyo ejercicio presupone un pasado que los interlocutores comparten; cmo transmitir a los otros el infinito Aleph, que mi temerosa memoria apenas abarca? Los msticos, en anlogo trance prodigan los emblemas: para significar la divinidad, un persa habla de un pjaro que de algn modo es todos los pjaros; Alanus de Insulis, de una esfera cuyo centro est en todas partes y las circunferencia en ninguna; Ezequiel, de un ngel de cuatro caras que a un tiempo se dirige al Oriente y al Occidente, al Norte y al Sur. (No en vano rememoro esas inconcebibles analogas; alguna relacin tienen con el Aleph.) Quiz los dioses no me negaran el hallazgo de una imagen equivalente, pero este informe quedara contaminado de literatura, de falsedad. Por lo dems, el problema central es irresoluble: La enumeracin, si quiera parcial, de un conjunto infinito. En ese instante gigantesco, he visto millones de actos deleitables o atroces; ninguno me asombr como el hecho de que todos ocuparan el mismo punto, sin superposicin y sin transparencia. Lo que vieron mis ojos fue simultneo: lo que transcribir sucesivo, porque el lenguaje lo es. Referencia: El Aleph, cuento de Jorge Luis Borges

El conjunto Universal Paradoja de Cantor

En la parte inferior del escaln, hacia la derecha, vi una pequea esfera tornasolada, de casi intolerable fulgor. Al principio la cre giratoria; luego comprend que ese movimiento era una ilusin producida por los vertiginosos espectculos que encerraba. El dimetro del Aleph sera de dos o tres centmetros, pero el espacio csmico estaba ah, sin disminucin de tamao. Cada cosa (la luna del espejo, digamos) era infinitas cosas, porque yo claramente la vea desde todos los puntos del universo. Referencia: El Aleph, cuento de Jorge Luis Borges

Tesis de la generalidad absoluta

- Los cuantificadores de los lenguajes de primer orden hablan de absolutamente todo. x (x=x) x(x=x)

Hay un conjunto que contenga absolutamente todo lo que hay?

- Si no existe el conjunto universal, qu significa absolutamente todo? - Cul es el dominio de la teora de conjuntos? - Cmo es el universo conjuntista? De qu habla ZF? - Tesis de la extensibilidad indefinida.