Georg Ferdinand Ludwig Philipp Cantor ( / ˈ k æ n t ɔːr / KAN -tor , alemán: [ˈɡeːɔʁk ˈfɛʁdinant ˈluːtvɪç ˈfiːlɪp ˈkantɔʁ] ; 3 de marzo [ OS 19 de febrero] 1845 - 6 de enero de 1918 [1] ) era un matemático que jugaba un Papel fundamental en la creación de la teoría de conjuntos , que se ha convertido en una teoría fundamental en matemáticas. Cantor estableció la importancia de la correspondencia uno a uno entre los miembros de dos conjuntos, definió conjuntos infinitos y bien ordenados , y demostró que los números reales son más numerosos que los números naturales . El método de Cantor para demostrar este teorema implica la existencia de una infinidad de infinitos. Definió los números cardinales y ordinales y su aritmética. La obra de Cantor es de gran interés filosófico, hecho del que era muy consciente. [2]
Originalmente, la teoría de Cantor sobre los números transfinitos se consideraba contraintuitiva e incluso chocante. Esto hizo que encontrara resistencia por parte de matemáticos contemporáneos como Leopold Kronecker y Henri Poincaré [3] y más tarde de Hermann Weyl y L. E. J. Brouwer , mientras que Ludwig Wittgenstein planteó objeciones filosóficas ; véase Controversia sobre la teoría de Cantor . Cantor, un devoto cristiano luterano , [4] creía que Dios le había comunicado la teoría. [5] Algunos teólogos cristianos (particularmente neoescolásticos ) vieron el trabajo de Cantor como un desafío a la unicidad de la infinidad absoluta en la naturaleza de Dios [6] – en una ocasión equiparando la teoría de los números transfinitos con el panteísmo [7] – un Proposición que Cantor rechazó enérgicamente. No todos los teólogos estaban en contra de la teoría de Cantor; El destacado filósofo neoescolástico Constantin Gutberlet estaba a favor de ella y el cardenal Johann Baptist Franzelin la aceptó como una teoría válida (después de que Cantor hiciera algunas aclaraciones importantes). [8]
Las objeciones al trabajo de Cantor fueron ocasionalmente feroces: la oposición pública y los ataques personales de Leopold Kronecker incluyeron describir a Cantor como un "charlatán científico", un "renegado" y un "corruptor de la juventud". [9] Kronecker objetó las pruebas de Cantor de que los números algebraicos son contables y que los números trascendentales son incontables, resultados que ahora se incluyen en un plan de estudios de matemáticas estándar. Escribiendo décadas después de la muerte de Cantor, Wittgenstein lamentó que las matemáticas estén "llenas de modismos perniciosos de la teoría de conjuntos", que descartó como "una absoluta tontería", que es "risible" y "incorrecta". [10] Los recurrentes ataques de depresión de Cantor desde 1884 hasta el final de su vida han sido atribuidos a la actitud hostil de muchos de sus contemporáneos, [11] aunque algunos han explicado estos episodios como probables manifestaciones de un trastorno bipolar . [12]
Las duras críticas han ido acompañadas de elogios posteriores. En 1904, la Royal Society concedió a Cantor su Medalla Sylvester , el honor más alto que puede conferir por su trabajo en matemáticas. [13] David Hilbert lo defendió de sus críticos declarando: "Nadie nos expulsará del paraíso que Cantor ha creado". [14] [15]
Georg Cantor, nacido en 1845 en San Petersburgo , Imperio ruso, se crió en esa ciudad hasta los once años. El mayor de seis hermanos, era considerado un violinista destacado. Su abuelo Franz Böhm (1788-1846) (hermano del violinista Joseph Böhm ) fue un conocido músico y solista de una orquesta imperial rusa. [16] El padre de Cantor había sido miembro de la Bolsa de Valores de San Petersburgo ; cuando enfermó, la familia se trasladó a Alemania en 1856, primero a Wiesbaden , luego a Frankfurt , en busca de inviernos más suaves que los de San Petersburgo. En 1860, Cantor se graduó con honores en la Realschule de Darmstadt ; Se destacaron sus excepcionales habilidades en matemáticas, en particular en trigonometría . En agosto de 1862 se graduó en la "Höhere Gewerbeschule Darmstadt", ahora Technische Universität Darmstadt . [17] [18] En 1862 Cantor ingresó en el Politécnico Federal Suizo en Zurich. Después de recibir una herencia sustancial tras la muerte de su padre en junio de 1863, [19] Cantor se trasladó a la Universidad de Berlín , asistiendo a conferencias de Leopold Kronecker , Karl Weierstrass y Ernst Kummer . Pasó el verano de 1866 en la Universidad de Göttingen , entonces y más tarde un centro de investigación matemática. Cantor fue un buen estudiante y recibió su doctorado en 1867. [19] [20]
Cantor presentó su disertación sobre teoría de números en la Universidad de Berlín en 1867. Después de enseñar brevemente en una escuela para niñas de Berlín, ocupó un puesto en la Universidad de Halle , donde pasó toda su carrera. Se le concedió la habilitación necesaria para su tesis, también sobre teoría de números, que presentó en 1869 tras su nombramiento en la Universidad de Halle . [20] [21]
En 1874, Cantor se casó con Vally Guttmann. Tuvieron seis hijos, el último (Rudolph) nació en 1886. Cantor pudo mantener a una familia a pesar de su modesto salario académico, gracias a la herencia de su padre. Durante su luna de miel en las montañas de Harz , Cantor pasó mucho tiempo en discusiones matemáticas con Richard Dedekind , a quien había conocido en Interlaken, Suiza, dos años antes, mientras estaba de vacaciones.
Cantor fue ascendido a profesor extraordinario en 1872 y profesor titular en 1879. [20] [19] Alcanzar este último rango a la edad de 34 años fue un logro notable, pero Cantor deseaba una cátedra en una universidad más prestigiosa, en particular en Berlín, en aquel momento la principal universidad alemana. Sin embargo, su trabajo encontró demasiada oposición para que eso fuera posible. [22] Kronecker, que dirigió matemáticas en Berlín hasta su muerte en 1891, se sentía cada vez más incómodo con la perspectiva de tener a Cantor como colega, [23] percibiéndolo como un "corruptor de la juventud" por enseñar sus ideas a una generación más joven de matemáticos. [24] Peor aún, Kronecker, una figura bien establecida dentro de la comunidad matemática y ex profesor de Cantor, no estuvo de acuerdo fundamentalmente con el impulso del trabajo de Cantor desde que había retrasado intencionalmente la publicación de la primera publicación importante de Cantor en 1874. [20] Kronecker A , ahora considerado como uno de los fundadores del punto de vista constructivo en matemáticas , no le gustaba gran parte de la teoría de conjuntos de Cantor porque afirmaba la existencia de conjuntos que satisfacían ciertas propiedades, sin dar ejemplos específicos de conjuntos cuyos miembros efectivamente satisfacían esas propiedades. Cada vez que Cantor solicitaba un puesto en Berlín, era rechazado, y el proceso generalmente involucraba a Kronecker, [20] por lo que Cantor llegó a creer que la postura de Kronecker le haría imposible abandonar Halle.
En 1881 murió Eduard Heine , colega de Cantor en Halle . Halle aceptó la sugerencia de Cantor de que la silla vacante de Heine se ofreciera a Dedekind, Heinrich M. Weber y Franz Mertens , en ese orden, pero cada uno declinó la silla después de que se la ofrecieran. Finalmente se nombró a Friedrich Wangerin, pero nunca estuvo cerca de Cantor.
En 1882, la correspondencia matemática entre Cantor y Dedekind llegó a su fin, aparentemente como resultado de que Dedekind rechazó la cátedra en Halle. [25] Cantor también inició otra correspondencia importante, con Gösta Mittag-Leffler en Suecia, y pronto comenzó a publicar en la revista Acta Mathematica de Mittag-Leffler . Pero en 1885, Mittag-Leffler estaba preocupado por la naturaleza filosófica y la nueva terminología de un artículo que Cantor había presentado a Acta . [26] Le pidió a Cantor que retirara el documento de Acta mientras estaba en prueba, escribiendo que era "... unos cien años demasiado pronto". Cantor cumplió, pero luego redujo su relación y correspondencia con Mittag-Leffler, escribiendo a un tercero: "Si Mittag-Leffler se hubiera salido con la suya, tendría que esperar hasta el año 1984, lo que me parecía una exigencia demasiado grande". .. Pero, por supuesto, no quiero volver a saber nada sobre Acta Mathematica ." [27]
Cantor sufrió su primer ataque conocido de depresión en mayo de 1884. [19] [28] Las críticas a su trabajo pesaban en su mente: cada una de las cincuenta y dos cartas que escribió a Mittag-Leffler en 1884 mencionaba a Kronecker. Un pasaje de una de estas cartas revela el daño a la confianza en sí mismo de Cantor:
... No sé cuándo volveré a continuar con mi trabajo científico. Por el momento no puedo hacer absolutamente nada con ello y me limito al deber más necesario de mis conferencias; Cuánto más feliz sería si fuera científicamente activo si tuviera la frescura mental necesaria. [29]
Esta crisis lo llevó a postularse para dar una conferencia sobre filosofía en lugar de matemáticas. También inició un intenso estudio de la literatura isabelina , pensando que podría haber evidencia de que Francis Bacon escribió las obras atribuidas a William Shakespeare (ver pregunta sobre la autoría de Shakespeare ); esto finalmente resultó en dos folletos, publicados en 1896 y 1897. [30]
Cantor se recuperó poco después y posteriormente hizo importantes contribuciones, incluido su argumento y teorema de la diagonal . Sin embargo, nunca volvió a alcanzar el alto nivel de sus notables artículos de 1874-1884, incluso después de la muerte de Kronecker el 29 de diciembre de 1891. [20] Finalmente buscó, y logró, una reconciliación con Kronecker. Sin embargo, persistieron los desacuerdos filosóficos y las dificultades que los dividían.
En 1889, Cantor jugó un papel decisivo en la fundación de la Sociedad Matemática Alemana , [20] y presidió su primera reunión en Halle en 1891, donde presentó por primera vez su argumento diagonal; su reputación era lo suficientemente fuerte, a pesar de la oposición de Kronecker a su trabajo, como para garantizar que fuera elegido primer presidente de esta sociedad. Dejando a un lado la animosidad que Kronecker había mostrado hacia él, Cantor lo invitó a hablar en la reunión, pero Kronecker no pudo hacerlo porque su esposa estaba muriendo a causa de las heridas sufridas en un accidente de esquí en ese momento. Georg Cantor también jugó un papel decisivo en el establecimiento del primer Congreso Internacional de Matemáticos , que tuvo lugar en Zúrich, Suiza, en 1897. [20]
Después de la hospitalización de Cantor en 1884, no hay constancia de que volviera a estar en ningún sanatorio hasta 1899. [28] Poco después de esa segunda hospitalización, el hijo menor de Cantor, Rudolph, murió repentinamente el 16 de diciembre (Cantor estaba dando una conferencia sobre sus puntos de vista sobre la teoría baconiana y William Shakespeare ), y esta tragedia drenó a Cantor de gran parte de su pasión por las matemáticas. [31] Cantor fue nuevamente hospitalizado en 1903. Un año más tarde, se sintió indignado y agitado por un artículo presentado por Julius König en el Tercer Congreso Internacional de Matemáticos . El artículo intentó demostrar que los principios básicos de la teoría de conjuntos transfinitos eran falsos. Desde que leyeron el artículo delante de sus hijas y colegas, Cantor se sintió humillado públicamente. [32] Aunque Ernst Zermelo demostró menos de un día después que la prueba de König había fallado, Cantor permaneció conmocionado y momentáneamente cuestionando a Dios. [13] Cantor sufrió de depresión crónica por el resto de su vida, por lo que fue excusado de la enseñanza en varias ocasiones y repetidamente confinado en varios sanatorios. Los acontecimientos de 1904 precedieron a una serie de hospitalizaciones a intervalos de dos o tres años. [33] Sin embargo, no abandonó las matemáticas por completo, dando una conferencia sobre las paradojas de la teoría de conjuntos ( paradoja de Burali-Forti , paradoja de Cantor y paradoja de Russell ) en una reunión de la Deutsche Mathematiker-Vereinigung en 1903, y asistiendo al Congreso Internacional de Matemáticos en Heidelberg en 1904.
En 1911, Cantor fue uno de los distinguidos académicos extranjeros invitados al 500 aniversario de la fundación de la Universidad de St. Andrews en Escocia. Cantor asistió, con la esperanza de conocer a Bertrand Russell , cuyo recién publicado Principia Mathematica citaba repetidamente el trabajo de Cantor, pero el encuentro no se produjo. Al año siguiente, St. Andrews le otorgó a Cantor un doctorado honoris causa, pero una enfermedad le impidió recibir el título en persona.
Cantor se jubiló en 1913 y vivió en la pobreza y sufriendo desnutrición durante la Primera Guerra Mundial . [34] La celebración pública de su 70 cumpleaños fue cancelada debido a la guerra. En junio de 1917 ingresó por última vez en un sanatorio y continuamente escribía a su esposa pidiéndole que le permitiera volver a casa. Georg Cantor sufrió un infarto mortal el 6 de enero de 1918 en el sanatorio donde había pasado el último año de su vida. [19]
El trabajo de Cantor entre 1874 y 1884 es el origen de la teoría de conjuntos . [35] Antes de este trabajo, el concepto de conjunto era bastante elemental y se había utilizado implícitamente desde los inicios de las matemáticas, remontándose a las ideas de Aristóteles . Nadie se había dado cuenta de que la teoría de conjuntos tenía un contenido no trivial. Antes de Cantor, sólo existían conjuntos finitos (que son fáciles de entender) y "el infinito" (que se consideraba un tema de discusión filosófica, más que matemática). Al demostrar que hay (infinitos) muchos tamaños posibles para conjuntos infinitos, Cantor estableció que la teoría de conjuntos no era trivial y necesitaba ser estudiada. La teoría de conjuntos ha llegado a desempeñar el papel de teoría fundamental de las matemáticas modernas, en el sentido de que interpreta proposiciones sobre objetos matemáticos (por ejemplo, números y funciones) de todas las áreas tradicionales de las matemáticas (como el álgebra , el análisis y la topología) . ) en una sola teoría y proporciona un conjunto estándar de axiomas para probarlos o refutarlos. Los conceptos básicos de la teoría de conjuntos se utilizan ahora en todas las matemáticas. [36]
En uno de sus primeros artículos, [37] Cantor demostró que el conjunto de los números reales es "más numeroso" que el conjunto de los números naturales ; esto demostró, por primera vez, que existen infinitos conjuntos de diferentes tamaños . También fue el primero en apreciar la importancia de las correspondencias uno a uno (en adelante denominadas "correspondencia 1 a 1") en la teoría de conjuntos. Usó este concepto para definir conjuntos finitos e infinitos , subdividiendo estos últimos en conjuntos numerables (o contablemente infinitos) y conjuntos no numerables (conjuntos incontablemente infinitos). [38]
Cantor desarrolló conceptos importantes en topología y su relación con la cardinalidad . Por ejemplo, demostró que el conjunto de Cantor , descubierto por Henry John Stephen Smith en 1875, [39] no es denso en ninguna parte , pero tiene la misma cardinalidad que el conjunto de todos los números reales, mientras que los racionales son densos en todas partes, pero contables. También demostró que todos los órdenes lineales densos contables sin puntos finales son de orden isomorfos a los números racionales .
Cantor introdujo construcciones fundamentales en la teoría de conjuntos, como el conjunto potencia de un conjunto A , que es el conjunto de todos los subconjuntos posibles de A. Más tarde demostró que el tamaño del conjunto potencia de A es estrictamente mayor que el tamaño de A , incluso cuando A es un conjunto infinito; este resultado pronto se conoció como teorema de Cantor . Cantor desarrolló toda una teoría y aritmética de conjuntos infinitos , llamados cardinales y ordinales , que amplió la aritmética de los números naturales. Su notación para los números cardinales fue la letra hebrea ( aleph ) con un subíndice de número natural; para los ordinales empleó la letra griega ω ( omega ). Esta notación todavía se utiliza hoy en día.
La hipótesis del Continuum , introducida por Cantor, fue presentada por David Hilbert como el primero de sus veintitrés problemas abiertos en su discurso en el Congreso Internacional de Matemáticos de 1900 en París. El trabajo de Cantor también atrajo una atención favorable más allá del célebre elogio de Hilbert. [15] El filósofo estadounidense Charles Sanders Peirce elogió la teoría de conjuntos de Cantor y, tras las conferencias públicas pronunciadas por Cantor en el primer Congreso Internacional de Matemáticos, celebrado en Zúrich en 1897, Adolf Hurwitz y Jacques Hadamard también expresaron su admiración. En ese Congreso, Cantor renovó su amistad y correspondencia con Dedekind. Desde 1905, Cantor mantuvo correspondencia con su admirador y traductor británico Philip Jourdain sobre la historia de la teoría de conjuntos y sobre las ideas religiosas de Cantor. Este fue publicado posteriormente, al igual que varios de sus trabajos expositivos.
Los primeros diez artículos de Cantor versaron sobre teoría de números , su tema de tesis. Por sugerencia de Eduard Heine , profesor de Halle, Cantor recurrió al análisis . Heine propuso que Cantor resolviera un problema abierto que había eludido a Peter Gustav Lejeune Dirichlet , Rudolf Lipschitz , Bernhard Riemann y el propio Heine: la unicidad de la representación de una función mediante series trigonométricas . Cantor resolvió este problema en 1869. Mientras trabajaba en este problema descubrió los ordinales transfinitos, que aparecían como índices n en el enésimo conjunto derivado S n de un conjunto S de ceros de una serie trigonométrica. Dada una serie trigonométrica f(x) con S como conjunto de ceros, Cantor había descubierto un procedimiento que producía otra serie trigonométrica que tenía S 1 como conjunto de ceros, donde S 1 es el conjunto de puntos límite de S . Si S k+1 es el conjunto de puntos límite de S k , entonces podría construir una serie trigonométrica cuyos ceros sean S k+1 . Debido a que los conjuntos S k eran cerrados, contenían sus puntos límite, y la intersección de la secuencia infinita decreciente de conjuntos S , S 1 , S 2 , S 3 ,... formó un conjunto límite, que ahora llamaríamos S ω , y luego notó que S ω también tendría que tener un conjunto de puntos límite S ω+1 , y así sucesivamente. Tenía ejemplos que continuaban para siempre, por lo que aquí había una secuencia infinita natural de números infinitos ω , ω + 1, ω + 2,... [40]
Entre 1870 y 1872, Cantor publicó más artículos sobre series trigonométricas y también un artículo que definía los números irracionales como secuencias convergentes de números racionales . Dedekind, con quien Cantor trabó amistad en 1872, citó este artículo ese mismo año, en el artículo en el que expuso por primera vez su célebre definición de números reales mediante cortes de Dedekind . Mientras ampliaba la noción de número mediante su revolucionario concepto de cardinalidad infinita, Cantor se opuso paradójicamente a las teorías de los infinitesimales de sus contemporáneos Otto Stolz y Paul du Bois-Reymond , describiéndolas como "una abominación" y "un bacilo del cólera ". matemáticas". [41] Cantor también publicó una "prueba" errónea de la inconsistencia de los infinitesimales . [42]
El comienzo de la teoría de conjuntos como rama de las matemáticas suele estar marcado por la publicación del artículo de Cantor de 1874 , [35] "Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen" ("Sobre una propiedad de la colección de todos los números algebraicos reales") . [44] Este artículo fue el primero en proporcionar una prueba rigurosa de que existía más de un tipo de infinito. Anteriormente, se suponía implícitamente que todas las colecciones infinitas eran equinumerosas (es decir, del "mismo tamaño" o que tenían el mismo número de elementos). [45] Cantor demostró que el conjunto de números reales y el conjunto de números enteros positivos no son equinumeros. En otras palabras, los números reales no son contables . Su prueba difiere del argumento diagonal que presentó en 1891. [46] El artículo de Cantor también contiene un nuevo método para construir números trascendentales . Los números trascendentales fueron construidos por primera vez por Joseph Liouville en 1844. [47]
Cantor estableció estos resultados utilizando dos construcciones. Su primera construcción muestra cómo escribir los números algebraicos reales [48] como una secuencia a 1 , a 2 , a 3 , .... En otras palabras, los números algebraicos reales son contables. Cantor inicia su segunda construcción con cualquier secuencia de números reales. Usando esta secuencia, construye intervalos anidados cuya intersección contiene un número real que no está en la secuencia. Dado que cada secuencia de números reales se puede utilizar para construir un real que no esté en la secuencia, los números reales no se pueden escribir como una secuencia, es decir, los números reales no se pueden contar. Al aplicar su construcción a la secuencia de números algebraicos reales, Cantor produce un número trascendental. Cantor señala que sus construcciones prueban más, es decir, proporcionan una nueva prueba del teorema de Liouville: cada intervalo contiene infinitos números trascendentales. [49] El siguiente artículo de Cantor contiene una construcción que demuestra que el conjunto de números trascendentales tiene el mismo "poder" (ver más abajo) que el conjunto de números reales. [50]
Entre 1879 y 1884, Cantor publicó una serie de seis artículos en Mathematische Annalen que en conjunto formaron una introducción a su teoría de conjuntos. Al mismo tiempo, hubo una creciente oposición a las ideas de Cantor, liderada por Leopold Kronecker, quien admitía conceptos matemáticos sólo si podían construirse en un número finito de pasos a partir de los números naturales, que él consideraba dados intuitivamente. Para Kronecker, la jerarquía de infinitos de Cantor era inadmisible, ya que aceptar el concepto de infinito real abriría la puerta a paradojas que desafiarían la validez de las matemáticas en su conjunto. [51] Cantor también introdujo el conjunto de Cantor durante este período.
El quinto artículo de esta serie, " Grundlagen einer allgemeinen Mannigfaltigkeitslehre" (" Fundamentos de una teoría general de agregados" ), publicado en 1883, [52] fue el más importante de los seis y también se publicó como una monografía separada . Contenía la respuesta de Cantor a sus críticos y mostraba cómo los números transfinitos eran una extensión sistemática de los números naturales. Comienza definiendo conjuntos bien ordenados . Luego se introducen los números ordinales como tipos de orden de conjuntos bien ordenados. Cantor luego define la suma y multiplicación de los números cardinales y ordinales. En 1885, Cantor amplió su teoría de los tipos de orden de modo que los números ordinales se convirtieron simplemente en un caso especial de tipos de orden.
En 1891, publicó un artículo que contenía su elegante "argumento diagonal" a favor de la existencia de un conjunto incontable. Aplicó la misma idea para demostrar el teorema de Cantor : la cardinalidad del conjunto potencia de un conjunto A es estrictamente mayor que la cardinalidad de A. Esto estableció la riqueza de la jerarquía de conjuntos infinitos y de la aritmética cardinal y ordinal que Cantor había definido. Su argumento es fundamental en la solución del problema de la detención y la demostración del primer teorema de incompletitud de Gödel . Cantor escribió sobre la conjetura de Goldbach en 1894.
En 1895 y 1897, Cantor publicó un artículo de dos partes en Mathematische Annalen bajo la dirección de Felix Klein ; estos fueron sus últimos artículos importantes sobre teoría de conjuntos. [53] El primer artículo comienza definiendo conjunto, subconjunto , etc., de maneras que serían en gran medida aceptables ahora. Se revisa la aritmética cardinal y ordinal. Cantor quería que el segundo artículo incluyera una prueba de la hipótesis del continuo, pero tuvo que conformarse con exponer su teoría de los conjuntos bien ordenados y los números ordinales. Cantor intenta demostrar que si A y B son conjuntos en los que A es equivalente a un subconjunto de B y B es equivalente a un subconjunto de A , entonces A y B son equivalentes. Ernst Schröder había expuesto este teorema un poco antes, pero su demostración, al igual que la de Cantor, era errónea. Felix Bernstein proporcionó una prueba correcta en su tesis doctoral de 1898; de ahí el nombre teorema de Cantor-Bernstein-Schröder .
El artículo Crelle de Cantor de 1874 fue el primero en invocar la noción de correspondencia 1 a 1 , aunque no usó esa frase. Luego comenzó a buscar una correspondencia 1 a 1 entre los puntos del cuadrado unitario y los puntos de un segmento de línea unitario . En una carta de 1877 a Richard Dedekind, Cantor demostró un resultado mucho más contundente : para cualquier entero positivo n , existe una correspondencia 1 a 1 entre los puntos del segmento de línea unitario y todos los puntos en un espacio de n dimensiones . Sobre este descubrimiento, Cantor escribió a Dedekind: " Je le vois, mais je ne le crois pas! " ("¡Lo veo, pero no lo creo!") [54] El resultado que encontró tan sorprendente tiene implicaciones para Geometría y noción de dimensión .
En 1878, Cantor presentó otro artículo al Crelle's Journal, en el que definió con precisión el concepto de correspondencia 1 a 1 e introdujo la noción de " poder " (término que tomó de Jakob Steiner ) o "equivalencia" de conjuntos: dos conjuntos son equivalentes (tienen la misma potencia) si existe una correspondencia 1 a 1 entre ellos. Cantor definió los conjuntos contables (o conjuntos numerables) como conjuntos que pueden ponerse en correspondencia 1 a 1 con los números naturales , y demostró que los números racionales son numerables. También demostró que el espacio euclidiano de n dimensiones R n tiene el mismo poder que los números reales R , al igual que un producto contablemente infinito de copias de R . Si bien hizo uso libre de la contabilidad como concepto, no escribió la palabra "contable" hasta 1883. Cantor también discutió su pensamiento sobre la dimensión , enfatizando que su mapeo entre el intervalo unitario y el cuadrado unitario no era continuo .
Este documento disgustó a Kronecker y Cantor quiso retirarlo; sin embargo, Dedekind lo convenció de que no lo hiciera y Karl Weierstrass apoyó su publicación. [55] Sin embargo, Cantor nunca volvió a presentar nada a Crelle.
Cantor fue el primero en formular lo que más tarde se conocería como la hipótesis del continuo o CH: no existe ningún conjunto cuyo poder sea mayor que el de los naturales y menor que el de los reales (o equivalentemente, la cardinalidad de los reales es exactamente aleph-uno, en lugar de solo al menos aleph-uno). Cantor creyó que la hipótesis del continuo era cierta y durante muchos años intentó probarla , en vano. Su incapacidad para probar la hipótesis del continuo le provocó una ansiedad considerable. [11]
La dificultad que tuvo Cantor para probar la hipótesis del continuo ha sido subrayada por desarrollos posteriores en el campo de las matemáticas: un resultado de 1940 de Kurt Gödel y uno de 1963 de Paul Cohen juntos implican que la hipótesis del continuo no se puede probar ni refutar usando el estándar Zermelo. Teoría de conjuntos de Fraenkel más el axioma de elección (la combinación denominada " ZFC "). [56]
En 1883, Cantor dividió el infinito en transfinito y absoluto . [57]
Lo transfinito es incrementable en magnitud, mientras que lo absoluto es inaumentable. Por ejemplo, un ordinal α es transfinito porque se puede aumentar a α + 1. Por otro lado, los ordinales forman una secuencia absolutamente infinita que no se puede aumentar en magnitud porque no hay ordinales más grandes que agregarle. [58] En 1883, Cantor también introdujo el principio de buen ordenamiento "todo conjunto puede estar bien ordenado" y afirmó que es una "ley del pensamiento". [59]
Cantor amplió su trabajo sobre el infinito absoluto usándolo en una prueba. Alrededor de 1895, empezó a considerar su principio de buen ordenamiento como un teorema e intentó demostrarlo. En 1899, envió a Dedekind una prueba del teorema del aleph equivalente: la cardinalidad de todo conjunto infinito es un aleph . [60] Primero, definió dos tipos de multiplicidades: multiplicidades consistentes (conjuntos) y multiplicidades inconsistentes (multiplicidades absolutamente infinitas). Luego asumió que los ordinales forman un conjunto, demostró que esto conduce a una contradicción y concluyó que los ordinales forman una multiplicidad inconsistente. Usó esta multiplicidad inconsistente para demostrar el teorema de aleph. [61] En 1932, Zermelo criticó la construcción en la prueba de Cantor. [62]
Cantor evitó las paradojas al reconocer que existen dos tipos de multiplicidades. En su teoría de conjuntos, cuando se supone que los ordinales forman un conjunto, la contradicción resultante implica sólo que los ordinales forman una multiplicidad inconsistente. Bertrand Russell , por el contrario, trataba todas las colecciones como conjuntos, lo que conduce a paradojas. En la teoría de conjuntos de Russell, los ordinales forman un conjunto, por lo que la contradicción resultante implica que la teoría es inconsistente . De 1901 a 1903, Russell descubrió tres paradojas que implicaban que su teoría de conjuntos era inconsistente: la paradoja de Burali-Forti (que acabamos de mencionar), la paradoja de Cantor y la paradoja de Russell . [63] Russell nombró las paradojas en honor a Cesare Burali-Forti y Cantor, aunque ninguno de ellos creía haber encontrado paradojas. [64]
En 1908, Zermelo publicó su sistema de axiomas para la teoría de conjuntos . Tenía dos motivaciones para desarrollar el sistema de axiomas: eliminar las paradojas y asegurar su demostración del teorema del bien ordenamiento . [65] Zermelo había demostrado este teorema en 1904 utilizando el axioma de elección , pero su demostración fue criticada por diversas razones. [66] Su respuesta a las críticas incluyó su sistema de axiomas y una nueva prueba del teorema del buen orden. Sus axiomas apoyan esta nueva prueba y eliminan las paradojas al restringir la formación de conjuntos. [67]
En 1923, John von Neumann desarrolló un sistema de axiomas que elimina las paradojas mediante el uso de un enfoque similar al de Cantor, es decir, identificando colecciones que no son conjuntos y tratándolas de manera diferente. Von Neumann afirmó que una clase es demasiado grande para ser un conjunto si puede ponerse en correspondencia uno a uno con la clase de todos los conjuntos. Definió un conjunto como una clase que es miembro de alguna clase y afirmó el axioma: una clase no es un conjunto si y sólo si existe una correspondencia uno a uno entre ella y la clase de todos los conjuntos. Este axioma implica que estas grandes clases no son conjuntos, lo que elimina las paradojas ya que no pueden ser miembros de ninguna clase. [68] Von Neumann también utilizó su axioma para demostrar el teorema del buen orden: como Cantor, asumió que los ordinales forman un conjunto. La contradicción resultante implica que la clase de todos los ordinales no es un conjunto. Entonces su axioma proporciona una correspondencia uno a uno entre esta clase y la clase de todos los conjuntos. Esta correspondencia ordena bien la clase de todos los conjuntos, lo que implica el teorema del buen ordenamiento. [69] En 1930, Zermelo definió modelos de teoría de conjuntos que satisfacen el axioma de von Neumann . [70]
El concepto de la existencia de un infinito real era una importante preocupación compartida en los ámbitos de las matemáticas, la filosofía y la religión. Preservar la ortodoxia de la relación entre Dios y las matemáticas, aunque no en la misma forma que sostenían sus críticos, fue durante mucho tiempo una preocupación de Cantor. [71] Abordó directamente esta intersección entre estas disciplinas en la introducción a su Grundlagen einer allgemeinen Mannigfaltigkeitslehre , donde destacó la conexión entre su visión del infinito y la filosófica. [72] Para Cantor, sus puntos de vista matemáticos estaban intrínsecamente vinculados a sus implicaciones filosóficas y teológicas: identificó el Infinito Absoluto con Dios, [73] y consideró que su trabajo sobre los números transfinitos le había sido comunicado directamente por Dios, quien había eligió a Cantor para revelarlos al mundo. [5] Era un luterano devoto cuyas creencias cristianas explícitas dieron forma a su filosofía de la ciencia. [74] Joseph Dauben ha rastreado el efecto que tuvieron las convicciones cristianas de Cantor en el desarrollo de la teoría de conjuntos transfinitos. [75] [76]
El debate entre los matemáticos surgió de puntos de vista opuestos en la filosofía de las matemáticas sobre la naturaleza del infinito real. Algunos sostenían la opinión de que el infinito era una abstracción que no era matemáticamente legítima y negaban su existencia. [77] Los matemáticos de tres grandes escuelas de pensamiento ( el constructivismo y sus dos ramas, el intuicionismo y el finitismo ) se opusieron a las teorías de Cantor en esta materia. Para constructivistas como Kronecker, este rechazo del infinito real surge de un desacuerdo fundamental con la idea de que las pruebas no constructivas como el argumento diagonal de Cantor son prueba suficiente de que algo existe, sosteniendo en cambio que se requieren pruebas constructivas . El intuicionismo también rechaza la idea de que el infinito real sea una expresión de cualquier tipo de realidad, pero llega a la decisión por una ruta diferente a la del constructivismo. En primer lugar, el argumento de Cantor se basa en la lógica para demostrar la existencia de números transfinitos como una entidad matemática real, mientras que los intuicionistas sostienen que las entidades matemáticas no pueden reducirse a proposiciones lógicas, sino que se originan en las intuiciones de la mente. [78] En segundo lugar, la noción de infinito como expresión de la realidad está en sí misma rechazada en el intuicionismo, ya que la mente humana no puede construir intuitivamente un conjunto infinito. [79] Matemáticos como L. E. J. Brouwer y especialmente Henri Poincaré adoptaron una postura intuicionista contra el trabajo de Cantor. Finalmente, los ataques de Wittgenstein fueron finitistas: creía que el argumento diagonal de Cantor combinaba la intención de un conjunto de números cardinales o reales con su extensión , combinando así el concepto de reglas para generar un conjunto con un conjunto real. [10]
Algunos teólogos cristianos vieron la obra de Cantor como un desafío a la unicidad de la infinidad absoluta en la naturaleza de Dios. [6] En particular, los pensadores neotomistas vieron la existencia de un infinito real que consistía en algo distinto de Dios como algo que ponía en peligro "el derecho exclusivo de Dios al infinito supremo". [80] Cantor creía firmemente que esta visión era una mala interpretación del infinito, y estaba convencido de que la teoría de conjuntos podría ayudar a corregir este error: [81] "... las especies transfinitas están igualmente a disposición de las intenciones del Creador y Su voluntad absoluta e ilimitada como lo son los números finitos". [82] El destacado filósofo neoescolástico alemán Constantin Gutberlet estaba a favor de tal teoría, sosteniendo que no se oponía a la naturaleza de Dios. [8]
Cantor también creía que su teoría de los números transfinitos iba en contra tanto del materialismo como del determinismo , y se sorprendió cuando se dio cuenta de que era el único miembro del profesorado de Halle que no mantenía creencias filosóficas deterministas. [83]
Para Cantor era importante que su filosofía proporcionara una "explicación orgánica" de la naturaleza, y en sus Grundlagen de 1883 , dijo que tal explicación sólo podría lograrse aprovechando los recursos de la filosofía de Spinoza y Leibniz. [84] Al hacer estas afirmaciones, Cantor puede haber sido influenciado por FA Trendelenburg , a cuyos cursos asistió en Berlín, y a su vez Cantor produjo un comentario en latín sobre el Libro 1 de la Ethica de Spinoza . Trendelenburg también fue el examinador del Habilitationsschrift de Cantor . [85] [86]
En 1888, Cantor publicó su correspondencia con varios filósofos sobre las implicaciones filosóficas de su teoría de conjuntos. En un amplio intento por persuadir a otros pensadores y autoridades cristianos para que adoptaran sus puntos de vista, Cantor había mantenido correspondencia con filósofos cristianos como Tilman Pesch y Joseph Hontheim , [87] así como con teólogos como el cardenal Johann Baptist Franzelin , quien una vez respondió equiparando la Teoría de los números transfinitos con panteísmo . [7] Aunque posteriormente este Cardenal aceptó la teoría como válida, debido a algunas aclaraciones de Cantor. [8] Cantor incluso envió una carta directamente al propio Papa León XIII y le dirigió varios folletos. [81]
La filosofía de Cantor sobre la naturaleza de los números lo llevó a afirmar la creencia en la libertad de las matemáticas para plantear y probar conceptos fuera del ámbito de los fenómenos físicos, como expresiones dentro de una realidad interna. Las únicas restricciones a este sistema metafísico son que todos los conceptos matemáticos deben estar libres de contradicción interna y que se derivan de definiciones, axiomas y teoremas existentes. Esta creencia se resume en su afirmación de que "la esencia de las matemáticas es su libertad". [88] Estas ideas son paralelas a las de Edmund Husserl , a quien Cantor había conocido en Halle. [89]
Mientras tanto, el propio Cantor se oponía ferozmente a los infinitesimales , describiéndolos como una "abominación" y "el bacilo del cólera de las matemáticas". [41]
El artículo de Cantor de 1883 revela que era muy consciente de la oposición que encontraban sus ideas: "... Me doy cuenta de que en esta empresa me coloco en cierta oposición a puntos de vista ampliamente sostenidos sobre el infinito matemático y a opiniones frecuentemente defendidas sobre la naturaleza". de números." [90]
De ahí que dedique mucho espacio a justificar su trabajo anterior, afirmando que los conceptos matemáticos pueden introducirse libremente siempre que estén libres de contradicciones y se definan en términos de conceptos previamente aceptados. También cita a Aristóteles, René Descartes , George Berkeley , Gottfried Leibniz y Bernard Bolzano sobre el infinito. En cambio, siempre rechazó firmemente la filosofía de Immanuel Kant , tanto en el ámbito de la filosofía de las matemáticas como en el de la metafísica. Compartió el lema de B. Russell "Kant o Cantor" y definió a Kant como "ese filisteo sofista que sabía tan poco de matemáticas". [91]
.jpg/1280px-Blackboard_Georg_Cantor_(11-line_V_O_building_24).jpg)
Los abuelos paternos de Cantor eran de Copenhague y huyeron a Rusia tras el estallido de las guerras napoleónicas . Hay muy poca información directa sobre ellos. [92] El padre de Cantor, Georg Waldemar Cantor, fue educado en la misión luterana en San Petersburgo, y su correspondencia con su hijo muestra a ambos como luteranos devotos. Se sabe muy poco con seguridad sobre el origen o la educación de Georg Waldemar. [93] La madre de Cantor, Maria Anna Böhm, era una austrohúngara nacida en San Petersburgo y bautizada como católica romana ; se convirtió al protestantismo al casarse. Sin embargo, hay una carta del hermano de Cantor, Louis, a su madre, que dice:
Mögen wir zehnmal von Juden abstammen und ich im Princip noch so sehr für Gleichberechtigung der Hebräer sein, im socialen Leben sind mir Christen lieber... [93]
("Incluso si descendiéramos diez veces de judíos, y aunque, en principio, puedo estar completamente a favor de la igualdad de derechos para los hebreos, en la vida social prefiero a los cristianos..."), lo que podría interpretarse en el sentido de que ella era de ascendencia judía. [94]
Según los biógrafos Eric Temple Bell , Cantor era de ascendencia judía, aunque ambos padres estaban bautizados. [95] En un artículo de 1971 titulado "Hacia una biografía de Georg Cantor", el historiador británico de las matemáticas Ivor Grattan-Guinness menciona ( Annals of Science 27, págs. 345-391, 1971) que no pudo encontrar pruebas de la existencia judía. ascendencia. (También afirma que la esposa de Cantor, Vally Guttmann, era judía).
En una carta escrita a Paul Tannery en 1896 (Paul Tannery, Memoires Scientifique 13 Correspondence, Gauthier-Villars, París, 1934, p. 306), Cantor afirma que sus abuelos paternos eran miembros de la comunidad judía sefardí de Copenhague. Específicamente, Cantor afirma al describir a su padre: "Er ist aber in Kopenhagen geboren, von israelitischen Eltern, die der dortigen portugisischen Judengemeinde..." ("Nació en Copenhague de padres judíos (literalmente: 'israelitas') de la comunidad judía portuguesa local"). [96] Además, el tío abuelo materno de Cantor, [97] el violinista húngaro Josef Böhm , ha sido descrito como judío, [98] lo que puede implicar que la madre de Cantor descendía al menos en parte de la Comunidad judía húngara. [99]
En una carta a Bertrand Russell , Cantor describió su ascendencia y su autopercepción de la siguiente manera:
Ni mi padre ni mi madre eran de sangre alemana; el primero era un danés, nacido en Copenhague, y mi madre, de ascendencia austríaca húngara. Debe saber, señor, que no soy un Germain normal y corriente , porque nací el 3 de marzo de 1845 en Saint Peterborough, capital de Rusia, pero fui con mi padre, mi madre, mis hermanos y mi hermana, de once años de edad en el año 1856. , en Alemania. [100]
Hubo declaraciones documentadas, durante la década de 1930, que pusieron en duda esta ascendencia judía:
Más a menudo [es decir, que la ascendencia de la madre] se ha discutido la cuestión de si Georg Cantor era de origen judío. Sobre esto se informa en un aviso del Instituto Genealógico Danés en Copenhague del año 1937 sobre su padre: "Por la presente se declara que Georg Woldemar Cantor, nacido en 1809 o 1814, no está presente en los registros de la comunidad judía, y que sin lugar a dudas no era judío..." [93]
Hasta la década de 1970, las principales publicaciones académicas sobre Cantor fueron dos breves monografías de Arthur Moritz Schönflies (1927) –en gran parte la correspondencia con Mittag-Leffler– y Fraenkel (1930). Ambos eran de segunda y tercera mano; ninguno tenía mucho sobre su vida personal. El vacío fue llenado en gran medida por Men of Mathematics (1937), de Eric Temple Bell , que uno de los biógrafos modernos de Cantor describe como "quizás el libro moderno más leído sobre la historia de las matemáticas "; y como "uno de los peores". [101] Bell presenta la relación de Cantor con su padre como edípica , las diferencias de Cantor con Kronecker como una pelea entre dos judíos y la locura de Cantor como la desesperación romántica por su fracaso en lograr la aceptación de sus matemáticas. Grattan-Guinness (1971) encontró que ninguna de estas afirmaciones era cierta, pero se pueden encontrar en muchos libros del período intermedio, debido a la ausencia de cualquier otra narrativa. Hay otras leyendas, independientes de Bell, incluida una que etiqueta al padre de Cantor como un niño expósito, enviado a San Petersburgo por padres desconocidos. [102] Una crítica del libro de Bell está contenida en la biografía de Joseph Dauben . [103] Escribe Dauben:
Cantor dedicó parte de su correspondencia más vituperante, así como una parte del Beiträge , a atacar lo que describió en un momento como el " bacilo del cólera infinitesimal de las matemáticas", que se había extendido desde Alemania a través del trabajo de Thomae , du Bois Reymond. y Stolz , para infectar las matemáticas italianas... Cualquier aceptación de los infinitesimales significaba necesariamente que su propia teoría de los números estaba incompleta. Así, aceptar el trabajo de Thomae, du Bois-Reymond, Stolz y Veronese era negar la perfección de la propia creación de Cantor. Es comprensible que Cantor lanzara una campaña exhaustiva para desacreditar el trabajo de Veronese en todas las formas posibles. [104]
Con unas pocas excepciones, las entidades que se estudian y analizan en matemáticas pueden considerarse como ciertos conjuntos o clases particulares de objetos... Como consecuencia, muchas cuestiones fundamentales sobre la naturaleza de las matemáticas pueden reducirse a cuestiones sobre la teoría de conjuntos.
La dimensión religiosa que Cantor atribuyó a sus números transfinitos no debe descartarse como una aberración. Tampoco debe olvidarse ni separarse de su existencia como matemático. El lado teológico de la teoría de conjuntos de Cantor, aunque quizás irrelevante para comprender su contenido matemático, es esencial para comprender plenamente su teoría y por qué se desarrolló en sus primeras etapas como lo hizo.
Citas relacionadas con Georg Cantor en Wikiquote
Medios relacionados con Georg Cantor en Wikimedia Commons
