Sei sulla pagina 1di 6

www.monografias.

com

El teorema de cantor prueba la falsedad de la hiptesis del continuo


Introduccin
El Teorema de Cantor para Dos Conjunto de Partes
Conclusiones

Introduccin
Desde que Georg Cantor creo la teora de conjuntos y demostr que existen cardinales infinitos ms
grandes que otros, prueba que logr gracias al teorema conocido como teorema de Cantor, se tiene que
los conjuntos N, Z y Q poseen la misma cardinalidad. Esto oblig a los matemticos a inventar una
definicin de cardinal de un conjunto de la siguiente manera: el cardinal de un conjunto finito es el nmero
de elementos que posee. La pregunta es qu es el cardinal de un conjunto infinito? La respuesta est en
este pequeo pero significativo trabajo. Y la demostracin de la falsedad de la hiptesis del continuo que
Cantor nos leg se deduce gracias a su propio teorema.
Ahora bien, si Cantor estaba equivocado, cmo es que nadie repar en su error? La respuesta es
sencilla, a nadie se le ocurre objetar lo que un brillante matemtico nos presenta; mucho menos si la prueba
que nos exhibe parece inobjetable. Sin embargo, en esa misma prueba puede ser que est escondida
(implcitamente) la forma de refutarle. Esto es lo que se har en este trabajo; demostrar que el cardinal de N
es menor que el de Z y el de Z es menor que el de R y, en general, que el cardinal de un conjunto A es
menor que el de un conjunto B, siempre que A sea un subconjunto propio de B.
Una vez que podemos afirmar que el cardinal del conjunto N es mayor que el del conjunto N*,
entonces podemos definir que el cardinal de un conjunto finito o infinito es el nmero de elementos que
posee. Sin embargo, cabra preguntarse qu pasa con la funcin

Ahora bien, amigo lector, si en este momento usted se est diciendo que todo esto debe ser una locura,
porque los matemticos del pasado no se pueden haber equivocado, sepa y entienda que ellos no eran
dioses sino personas como usted y yo. Por lo tanto, llenmonos de humildad y modestia y tratemos de
seguir adelante aceptando la realidad aunque sea triste.
Por otra parte, qu podemos decir sobre las demostraciones logicistas de Godel y Cohen sobre la
hiptesis del continuo? La respuesta es: ese nefasto trmino llamado infinito, el cual ha sido la causa de
todas las contradicciones que han aparecido en el desarrollo de las matemticas. No obstante, ac no se
entrar en detalles sobre tal cuestin.

El Teorema de Cantor para Dos Conjunto de Partes

En este caso se tiene

1Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

www.monografias.com

2.1 Teorema 1 (de las biyecciones entre conjuntos de partes)

Demostracin
Sean (ac se tomarn slo 2 elementos, pero la prueba vale para 1, 2, etc., elementos)

Como (4) se cumple para cualesquiera que sean los subconjuntos de P(B) y P(A), entonces

Hagamos un razonamiento detallado del por qu el conjunto C anterior. Sabemos que P(B) contiene a
todos los conjuntos binarios de P(A), ms un nmero infinito de conjuntos binarios que no estn en P(A).
Por lo tanto, si los binarios de P(B) son generados por los binarios de P(A), entonces muchos binarios
de P(A) cumplirn con la forma del conjunto H anterior.

2Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

www.monografias.com

Desarrollemos, entonces, dicho teorema.


2.2 Teorema 2 (de la no sobreyectividad entre conjuntos de partes)
Sean A y B dos conjuntos infinitos tales que A es subconjunto propio de B. Entonces,

Demostracin
Supongamos, por un momento, que f es sobreyectiva. Es decir

Como (4) y (5) son contradicciones que se generan al suponer que f es sobreyectiva, se concluye que
esto es falso y, por tanto

Del teorema anterior se tiene que si A es un subconjunto propio de B, entonces nunca existe una
sobreyeccin de P(A) hacia P(B) y, por tanto, tampoco existir una biyeccin. En consecuencia, el cardinal
de P(A) es estrictamente menor que el de P(B). Es decir

3Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

www.monografias.com

3. Anlisis de La Funcin f :
si n es impar.-n2, si n es par.
La funcin anterior, como se prob anteriormente, no es sobreyectiva. Analicemos la no
sobreyectividad en la tabla siguiente tomando subconjuntos.

En la tabla anterior se tiene a las preimgenes en la parte superior y a sus imgenes en la parte
inferior. Veamos lo que sucede si truncamos el proceso en un determinado n de I. Si truncamos el proceso
en el 5 de I, notamos que el 5 tambin est en Z*+, por lo que el 4 y el 5 no tienen contraimagen. Si el
proceso lo truncamos en 9, por ejemplo, entonces quedan sin contraimagen los nmeros 6, 7, 8 y 9. En
general, si el proceso es truncado en un nmero n cualquiera, entonces quedan sin contraimagen una
cantidad de elementos que est dada por: n n+12 = n-12 (diferencia creciente en n).

Otra forma de disponer la tabla anterior es la siguiente

4Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

www.monografias.com

Otra vez apliquemos la mxima: divide y vencers. Si truncamos el proceso en 3, obtenemos los
siguientes conjuntos:

Otra forma, no de comprobar sino, de probar que la biyeccin en cuestin no es tal, es la siguiente:

En conclusin, la funcin en cuestin no es sobreyectiva.

Conclusiones
Se ha escrito, y se sigue escribiendo, grandes cantidades de artculos sobre la hiptesis del continuo,
as como de los maravillosos teoremas de Godel y Cohen. Pues bien, es hora de que los verdaderos
matemticos comiencen a escribir sobre lo equivocado que estaban con respecto a la teora de conjuntos y,

5Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

www.monografias.com

de una vez por todas, reconozcan que los matemticos del pasado tambin eran seres humanos y, por
ende, falibles.
Ahora bien, qu fue lo que hizo que se aceptara lo que Cantor nos leg, con respecto a la
cardinalidad de N y Z, mediante la funcin vista en la seccin 3 de este trabajo? sencillamente, el dejarle
todo a ese aciago trmino llamado infinito.

Sin embargo, no prestamos atencin a este detalle y decimos (o por lo menos lo pensamos) que en el
infinito todo esto se arregla; lo cual ya hemos visto que no es as. De ahora en adelante deberemos
entender que, en una funcin como la descrita anteriormente, la inyectividad es fcil de probar, no as la
sobreyectividad. Pero si aprendemos a darle smbolos a los ltimos elementos (por all en el infinito) de
cada conjunto, las pruebas de sobreyectividad se nos harn sumamente fciles.

Autor:
Licdo. Dimas Herrera
dimas_herrera_8@yahoo.es
San Carlos, Cojedes, Venezuela, 2011.

6Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com

Potrebbero piacerti anche