Georg Cantor
(San Petersburgo, 3 de marzo de 1845, Halle, 6 de enero de 1918 ) fue un matemático alemán, inventor con Dedekind de la teoría de conjuntos, que es la base de las matemáticas modernas. Gracias a sus atrevidas investigaciones sobre los conjuntos infinitos fue el primero capaz de formalizar la noción de infinito bajo la forma de los números transfinitos (cardinales y ordinales).
Cantor descubrió que los conjuntos infinitos no tienen siempre el mismo tamaño, o sea el mismo cardinal: por ejemplo, el conjunto de los racionales es enumerable, es decir, del mismo tamaño que el conjunto de los naturales, mientras que el de los reales no lo es: existen, por lo tanto, varios infinitos, más grandes los unos que los otros. Y, entre estos infinitos, los hay tan grandes que no tienen correspondencia en el mundo real, asimilado al espacio vectorial R³. Este hecho supuso un desafío para un espíritu tan religioso como el de Georg Cantor. Y las acusaciones de blasfemia por parte de ciertos colegas envidiosos o que no entendían sus descubrimientos no le ayudaron. Sufrió de depresión, y fue internado repetidas veces en hospitales psiquiátricos. Su mente luchaba contra varias paradojas de la teoría de los conjuntos, que parecían invalidar toda su teoría (hacerla inconsistente o contradictoria, en el sentido de que una cierta propiedad podría ser a la vez cierta y falsa). Además, trató durante muchos años de probar la hipótesis del continuo, lo que se sabe hoy que es imposible, y que tiene que ser aceptada (o rehusada) como axioma adicional de la teoría.
Empezó a interpretar el infinito absoluto (que no es concebible por la mente humana) como Dios, y escribió artículos religiosos sobre el tema. Murió en una clínica psiquiátrica de monjas, aquejado de una enfermedad maníaco-depresiva (la cual se le atribuye a su edad).
Hoy en día, la comunidad matemática reconoce plenamente su trabajo, y admite que significa un salto cualitativo importante en el raciocinio lógico.
Cantor descubrió que los conjuntos infinitos no tienen siempre el mismo tamaño, o sea el mismo cardinal: por ejemplo, el conjunto de los racionales es enumerable, es decir, del mismo tamaño que el conjunto de los naturales, mientras que el de los reales no lo es: existen, por lo tanto, varios infinitos, más grandes los unos que los otros. Y, entre estos infinitos, los hay tan grandes que no tienen correspondencia en el mundo real, asimilado al espacio vectorial R³. Este hecho supuso un desafío para un espíritu tan religioso como el de Georg Cantor. Y las acusaciones de blasfemia por parte de ciertos colegas envidiosos o que no entendían sus descubrimientos no le ayudaron. Sufrió de depresión, y fue internado repetidas veces en hospitales psiquiátricos. Su mente luchaba contra varias paradojas de la teoría de los conjuntos, que parecían invalidar toda su teoría (hacerla inconsistente o contradictoria, en el sentido de que una cierta propiedad podría ser a la vez cierta y falsa). Además, trató durante muchos años de probar la hipótesis del continuo, lo que se sabe hoy que es imposible, y que tiene que ser aceptada (o rehusada) como axioma adicional de la teoría.
Empezó a interpretar el infinito absoluto (que no es concebible por la mente humana) como Dios, y escribió artículos religiosos sobre el tema. Murió en una clínica psiquiátrica de monjas, aquejado de una enfermedad maníaco-depresiva (la cual se le atribuye a su edad).
Hoy en día, la comunidad matemática reconoce plenamente su trabajo, y admite que significa un salto cualitativo importante en el raciocinio lógico.
El conjunto de Cantor es, además de una curiosidad matemática, una paradoja, en el sentido usual, es decir que contradice una intuición universal relativa a tamaño de objetos geométricos.
Se construye así:
*El primer paso es tomar el intervalo [0, 1].
*El segundo paso es quitarle su tercio interior, es decir el intervalo abierto (1/3; 2/3).
*El tercero es quitar a los dos segmentos restantes sus respectivos tercios interiores, es decir los intervalos abiertos (1/9; 2/9) y (7/9; 8/9).
Se construye así:
*El primer paso es tomar el intervalo [0, 1].
*El segundo paso es quitarle su tercio interior, es decir el intervalo abierto (1/3; 2/3).
*El tercero es quitar a los dos segmentos restantes sus respectivos tercios interiores, es decir los intervalos abiertos (1/9; 2/9) y (7/9; 8/9).
Los pasos siguientes son idénticos: quitar el tercio de todos los intervalos que quedan. El proceso no tiene fin.
En la figura, se muestran las siete primeras etapas.
No hay comentarios:
Publicar un comentario