Jorge Cantor

Georg Ferdinand Ludwig Philipp Cantor (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) fue un matemático alemán. Desempeñó un papel fundamental en la creación de la teoría de conjuntos, que se ha convertido en una teoría fundamental de las matemáticas. Cantor estableció la importancia de la correspondencia biunívoca 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. De hecho, el método de demostración de este teorema de Cantor implica la existencia de una infinidad de infinidades. Definió los números cardinales y ordinales y su aritmética. La obra de Cantor es de gran interés filosófico, un hecho del que era muy consciente.

Originalmente, la teoría de los números transfinitos de Cantor se consideraba contraria a la intuición, incluso chocante. Esto hizo que encontrara resistencia de contemporáneos matemáticos como Leopold Kronecker y Henri Poincaré y más tarde de Hermann Weyl y L.E. J. Brouwer, mientras que Ludwig Wittgenstein planteó objeciones filosóficas; ver Controversia sobre la teoría de Cantor. Cantor, un devoto cristiano luterano, creía que Dios le había comunicado la teoría. Algunos teólogos cristianos (particularmente neoescolásticos) vieron el trabajo de Cantor como un desafío a la singularidad del infinito absoluto en la naturaleza de Dios, en una ocasión equiparando la teoría de los números transfinitos con el panteísmo, una proposición que Cantor rechazó enérgicamente.. Es importante notar que 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 y el cardenal Johann Baptist Franzelin la aceptó como una teoría válida (después de que Cantor hiciera algunas aclaraciones importantes).

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". 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 estándar de matemáticas. Escribiendo décadas después de la muerte de Cantor, Wittgenstein lamentó que las matemáticas estén 'llenas de los perniciosos modismos de la teoría de conjuntos', que descartó como 'todas las tonterías'. eso es "ridículo" y "incorrecto". Los episodios recurrentes de depresión de Cantor desde 1884 hasta el final de su vida se han atribuido a la actitud hostil de muchos de sus contemporáneos, aunque algunos han explicado estos episodios como manifestaciones probables de un trastorno bipolar.

Las duras críticas se han visto acompañadas de elogios posteriores. En 1904, la Royal Society otorgó a Cantor su Medalla Sylvester, el mayor honor que puede conferir por el trabajo en matemáticas. David Hilbert lo defendió de sus críticos al declarar: "Nadie nos expulsará del paraíso que ha creado Cantor".

Biografía

Juventud y estudios

Cantor, alrededor de 1870

Georg Cantor, nacido en 1845 en la colonia comercial occidental de San Petersburgo, Rusia, se crió en esa ciudad hasta los once años. El mayor de seis hermanos, fue considerado un destacado violinista. 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. El padre de Cantor había sido miembro de la bolsa de valores de San Petersburgo; cuando enfermó, la familia se mudó a Alemania en 1856, primero a Wiesbaden, luego a Frankfurt, buscando inviernos más suaves que los de San Petersburgo. En 1860, Cantor se graduó con distinción en la Realschule de Darmstadt; se destacaron sus habilidades excepcionales en matemáticas, trigonometría en particular. En agosto de 1862, se graduó en la "Höhere Gewerbeschule Darmstadt", ahora Technische Universität Darmstadt. En 1862, Cantor ingresó en el Politécnico Federal Suizo en Zúrich. Después de recibir una herencia sustancial tras la muerte de su padre en junio de 1863, Cantor se trasladó a la Universidad de Berlín y asistió 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.

Profesora e investigadora

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 de niñas de Berlín. escuela, 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.

En 1874, Cantor se casó con Vally Guttmann. Tuvieron seis hijos, el último (Rudolph) nacido en 1886. Cantor pudo mantener 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 en Suiza. dos años antes mientras estaba de vacaciones.

Cantor fue ascendido a profesor extraordinario en 1872 y profesor titular en 1879. 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 en ese momento la principal universidad alemana. Sin embargo, su trabajo encontró demasiada oposición para que eso fuera posible. Kronecker, que dirigió las 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, percibiéndolo como un "corruptor de la juventud"; por enseñar sus ideas a una generación más joven de matemáticos. Peor aún, Kronecker, una figura bien establecida dentro de la comunidad matemática y ex profesor de Cantor, discrepaba fundamentalmente con la idea central del trabajo de Cantor desde que había retrasado intencionalmente la publicación del primer libro de Cantor. importante publicación en 1874. Kronecker, ahora visto como uno de los fundadores del punto de vista constructivo en matemáticas, no le gustaba mucho la teoría de conjuntos de Cantor porque afirmaba la existencia de conjuntos que satisfacen ciertas propiedades, sin dar ejemplos específicos de conjuntos cuyos miembros de hecho satisfizo esas propiedades. Cada vez que Cantor solicitaba un puesto en Berlín, lo rechazaban, y el proceso generalmente involucraba a Kronecker, por lo que Cantor llegó a creer que la postura de Kronecker le haría imposible dejar 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 rechazó la silla después de que se la ofreciera. Friedrich Wangerin finalmente fue nombrado, 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 declinara la cátedra en Halle. 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 en un artículo que Cantor había enviado a Acta. Le pidió a Cantor que retirara el documento de Acta mientras estaba en prueba, y escribió que era "... cerca de cien años demasiado pronto." Cantor cumplió, pero luego cortó su relación y correspondencia con Mittag-Leffler y le escribió a un tercero: "Si Mittag-Leffler se hubiera salido con la suya, tendría que esperar hasta el año 1984, que me pareció demasiado grande". demanda!... Pero por supuesto no quiero volver a saber nada sobre Acta Mathematica."

Cantor sufrió su primer ataque conocido de depresión en mayo de 1884. 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 es revelador del daño a la confianza en sí mismo de Cantor:

... No sé cuándo volveré a continuar mi trabajo científico. En este momento no puedo hacer absolutamente nada con él, y limitarme al deber más necesario de mis conferencias; cuánto más feliz sería ser científicamente activo, si sólo tuviera la frescura mental necesaria.

Esta crisis lo llevó a solicitar clases de filosofía en lugar de matemáticas. También comenzó 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 de autoría de Shakespeare); esto finalmente resultó en dos folletos, publicados en 1896 y 1897.

Cantor se recuperó poco después y posteriormente hizo otras contribuciones importantes, 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. Eventualmente 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, 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, para asegurarse de que fuera elegido como el primer presidente de esta sociedad. Dejando a un lado la animosidad que Kronecker había mostrado hacia él, Cantor lo invitó a dirigirse a la reunión, pero Kronecker no pudo hacerlo porque su esposa se 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.

Años posteriores y muerte

Después de la hospitalización de Cantor en 1884, no hay constancia de que volviera a estar en un sanatorio hasta 1899. 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. Cantor fue hospitalizado nuevamente en 1903. Un año después, estaba indignado y agitado por un artículo presentado por Julius König en el Tercer Congreso Internacional de Matemáticos. El documento intentó demostrar que los principios básicos de la teoría de conjuntos transfinitos eran falsos. Dado que el documento se había leído frente a sus hijas y colegas, Cantor se percibió como humillado públicamente. 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. Cantor sufrió depresión crónica por el resto de su vida, por lo que fue excusado de enseñar en varias ocasiones y confinado repetidamente a varios sanatorios. Los hechos de 1904 precedieron a una serie de hospitalizaciones a intervalos de dos o tres años. 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 otorgó a Cantor un doctorado honoris causa, pero la enfermedad le impidió recibir el título en persona.

Cantor se retiró en 1913 y vivió en la pobreza y desnutrido durante la Primera Guerra Mundial. La celebración pública de su 70 cumpleaños se canceló debido a la guerra. En junio de 1917 ingresó por última vez a un sanatorio y escribía continuamente 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.

Trabajo matemático

El trabajo de Cantor entre 1874 y 1884 es el origen de la teoría de conjuntos. Antes de este trabajo, el concepto de conjunto era bastante elemental y se había utilizado implícitamente desde el comienzo 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, solo había 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 (infinitamente) muchos tamaños posibles para conjuntos infinitos, Cantor estableció que la teoría de conjuntos no era trivial y que necesitaba ser estudiada. La teoría de conjuntos ha llegado a desempeñar el papel de una teoría fundamental en 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 álgebra, análisis y 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 ahora se utilizan en las matemáticas.

En uno de sus primeros artículos, Cantor demostró que el conjunto de los números reales es "más numeroso" que el conjunto de los números naturales; esto mostró, 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 lo sucesivo, "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 infinitos contables) y conjuntos no numerables (conjuntos infinitos incontables).

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, 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 orden isomorfos a los números racionales.

Cantor introdujo construcciones fundamentales en la teoría de conjuntos, como el conjunto de poder 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 de poder A es estrictamente más grande 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 cardenales y ordinales, que extendieron la aritmética de los números naturales. Su notación para los números cardinales era la letra hebrea א א {displaystyle aleph } (alefa) con un subscript natural número; para los ordinals que empleó la letra griega ω (omega). Esta notación sigue en uso hoy.

La hipótesis del continuo, presentada 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. 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 las ideas religiosas de Cantor. Esto se publicó más tarde, al igual que varios de sus trabajos expositivos.

Teoría de números, series trigonométricas y ordinales

Los primeros diez artículos de Cantor fueron sobre teoría de números, el tema de su tesis. Por sugerencia de Eduard Heine, el profesor de Halle, Cantor recurrió al análisis. Heine propuso que Cantor resolviera un problema abierto que había eludido Peter Gustav Lejeune Dirichlet, Rudolf Lipschitz, Bernhard Riemann y el mismo Heine: la unicidad de la representación de una función por series trigonométricas. Cantor resolvió este problema en 1869. Fue mientras trabajaba en este problema que descubrió los ordinales transfinitos, que aparecían como índices n en el né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 su conjunto de ceros, Cantor había descubierto un procedimiento que producía otra serie trigonométrica que tenía S₁ como su conjunto de ceros, donde S₁ 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 son 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₁, S₂, S₃ ,... 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 continuaron para siempre, por lo que aquí había una secuencia infinita natural de números infinitos ω, ω + 1, ω + 2,...

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, de quien Cantor se hizo amigo en 1872, citó este artículo más tarde ese año, en el artículo donde expuso por primera vez su célebre definición de números reales por cortes de Dedekind. Mientras extendía la noción de número por medio de su revolucionario concepto de cardinalidad infinita, Cantor se oponía 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 matemático del cólera". Cantor también publicó una "prueba" de la inconsistencia de los infinitesimales.

Teoría de conjuntos

Una ilustración del argumento diagonal de Cantor para la existencia de conjuntos incontables. La secuencia en la parte inferior no puede ocurrir en ninguna parte de la lista infinita de secuencias arriba.

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, "Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen" ("Sobre una propiedad de la colección de todos los números algebraicos reales"). Este artículo fue el primero en proporcionar una prueba rigurosa de que había más de un tipo de infinito. Previamente, se suponía implícitamente que todas las colecciones infinitas eran equinumerativas (es decir, del "mismo tamaño" o que tenían el mismo número de elementos). Cantor demostró que el conjunto de los números reales y el conjunto de los enteros positivos no son equinumeros. En otras palabras, los números reales no son contables. Su prueba difiere del argumento diagonal que dio en 1891. 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.

Cantor estableció estos resultados usando dos construcciones. Su primera construcción muestra cómo escribir los números algebraicos reales como una secuencia a₁, a₂, a₃,.... En otras palabras, los números algebraicos reales son contables. Cantor comienza 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 usar para construir un número 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 son contables. 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 una cantidad infinita de números trascendentales. El siguiente artículo de Cantor contiene una construcción que prueba que el conjunto de números trascendentales tiene el mismo "poder" (ver más abajo) como el conjunto de números reales.

Entre 1879 y 1884, Cantor publicó una serie de seis artículos en Mathematische Annalen que juntos formaron una introducción a su teoría de conjuntos. Al mismo tiempo, hubo una creciente oposición a las ideas de Cantor, encabezada por Leopold Kronecker, quien admitía conceptos matemáticos solo si podían construirse en un número finito de pasos a partir de los números naturales, que él tomaba como 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. Cantor también presentó el conjunto Cantor durante este período.

El quinto artículo de esta serie, "Grundlagen einer allgemeinen Mannigfaltigkeitslehre" ("Fundamentos de una teoría general de agregados& #34;), publicado en 1883, 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 la multiplicación de los números cardinales y ordinales. En 1885, Cantor amplió su teoría de los tipos de órdenes para que los números ordinales se convirtieran simplemente en un caso especial de tipos de órdenes.

En 1891, publicó un artículo que contenía su elegante "argumento diagonal" por 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 había definido Cantor. Su argumento es fundamental en la solución del problema de Halting y la demostración del primer teorema de incompletitud de Gödel. Cantor escribió sobre la conjetura de Goldbach en 1894.

Pasaje del artículo de Georg Cantor con su definición establecida

En 1895 y 1897, Cantor publicó un artículo de dos partes en Mathematische Annalen bajo la dirección editorial de Felix Klein; estos fueron sus últimos artículos significativos sobre la teoría de conjuntos. El primer artículo comienza definiendo conjunto, subconjunto, etc., en formas que serían ampliamente aceptables ahora. Se repasa 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 probar que si A y B son conjuntos con A equivalente a un subconjunto de B y B equivalente a un subconjunto de A, entonces A y B son equivalentes. Ernst Schröder había establecido este teorema un poco antes, pero su demostración, al igual que la de Cantor, era defectuosa. Felix Bernstein proporcionó una prueba correcta en su tesis doctoral de 1898; de ahí el nombre de teorema de Cantor-Bernstein-Schröder.

Correspondencia uno a uno

Una función bijeactiva

El artículo Crelle de 1874 de Cantor fue el primero en invocar la noción de una 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 sólido: para cualquier número entero positivo n, existe una correspondencia de 1 a 1 entre los puntos del segmento de línea unitario y todos los puntos en un espacio n-dimensional. Acerca de este descubrimiento, Cantor le escribió a Dedekind: "Je le vois, mais je ne le crois pas! " ("¡Lo veo, pero no lo creo!") El resultado que encontró tan sorprendente tiene implicaciones para la geometría y la noción de dimensión.

En 1878, Cantor envió otro artículo a Crelle's Journal, en el que definió con precisión el concepto de correspondencia 1 a 1 e introdujo la noción de "poder" (un 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 se pueden poner en una correspondencia de 1 a 1 con los números naturales y demostró que los números racionales son numerables. También demostró que el espacio euclidiano n-dimensional Rⁿ tiene la misma potencia que los números reales R, al igual que un producto numerable infinito de copias de R. Si bien hizo un 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. Sin embargo, Cantor nunca volvió a presentar nada a Crelle.

Hipótesis del continuo

Cantor fue el primero en formular lo que luego se conoció 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 alef-uno, en lugar de solo al menos alef-uno). Cantor creía que la hipótesis del continuo era cierta y trató en vano durante muchos años de probarla. Su incapacidad para probar la hipótesis del continuo le causó una ansiedad considerable.

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 la teoría de conjuntos estándar de Zermelo-Fraenkel más el axioma de elección (la combinación denominada "ZFC").

Infinito absoluto, teorema del buen orden y paradojas

En 1883, Cantor dividió el infinito en transfinito y absoluto.

El transfinito es incrementable en magnitud, mientras que el absoluto es inincrementable. 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 para agregarle. En 1883, Cantor también introdujo el principio del buen orden "cada conjunto puede estar bien ordenado" y afirmó que es una "ley del pensamiento".

Cantor amplió su trabajo sobre el infinito absoluto usándolo en una prueba. Alrededor de 1895, comenzó a considerar su principio de buen orden como un teorema e intentó demostrarlo. En 1899 envió a Dedekind una demostración del teorema del aleph equivalente: la cardinalidad de todo conjunto infinito es un aleph. 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 probar el teorema del aleph. En 1932, Zermelo criticó la construcción en la prueba de Cantor.

Cantor evitó las paradojas al reconocer que hay dos tipos de multiplicidades. En su teoría de conjuntos, cuando se supone que los ordinales forman un conjunto, la contradicción resultante implica únicamente que los ordinales forman una multiplicidad inconsistente. Por el contrario, Bertrand Russell trató 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 implican que su teoría de conjuntos es inconsistente: la paradoja de Burali-Forti (que se acaba de mencionar), la paradoja de Cantor y la paradoja de Russell. Russell nombró paradojas en honor a Cesare Burali-Forti y Cantor, aunque ninguno de ellos creía haber encontrado paradojas.

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 prueba del teorema del buen orden. Zermelo había demostrado este teorema en 1904 utilizando el axioma de elección, pero su demostración fue criticada por varias razones. Su respuesta a la crítica incluyó su sistema de axiomas y una nueva demostración del teorema del buen orden. Sus axiomas apoyan esta nueva demostración y eliminan las paradojas al restringir la formación de conjuntos.

En 1923, John von Neumann desarrolló un sistema de axiomas que elimina las paradojas utilizando 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 se puede poner 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 estableció el axioma: una clase no es un conjunto si y solo 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. Von Neumann también usó su axioma para demostrar el teorema del buen orden: como Cantor, supuso 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 biunívoca 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 orden. En 1930, Zermelo definió modelos de teoría de conjuntos que satisfacen el axioma de von Neumann.

Filosofía, religión, literatura y matemáticas de Cantor

El concepto de la existencia de un infinito real era una importante preocupación compartida dentro de 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 en que la sostuvieron sus críticos, fue durante mucho tiempo una preocupación de Cantor. 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. Para Cantor, sus puntos de vista matemáticos estaban intrínsecamente vinculados a sus implicaciones filosóficas y teológicas: identificaba el Infinito Absoluto con Dios y consideraba que su trabajo sobre los números transfinitos le había sido comunicado directamente por Dios, quien había elegido a Cantor para revelárselos. el mundo. Era un luterano devoto cuyas creencias cristianas explícitas dieron forma a su filosofía de la ciencia. Joseph Dauben ha rastreado el efecto que tuvieron las convicciones cristianas de Cantor en el desarrollo de la teoría de conjuntos transfinitos.

El debate entre los matemáticos surgió de puntos de vista opuestos en la filosofía de las matemáticas con respecto a la naturaleza del infinito real. Algunos sostuvieron la opinión de que el infinito era una abstracción que no era matemáticamente legítima y negaron su existencia. Los matemáticos de las tres principales escuelas de pensamiento (el constructivismo y sus dos ramas, el intuicionismo y el finitismo) se opusieron a las teorías de Cantor en este asunto. 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, manteniendo en cambio que se requieren pruebas constructivas. El intuicionismo también rechaza la idea de que el infinito actual es 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 probar 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. En segundo lugar, la noción de infinito como expresión de la realidad no está permitida en el intuicionismo, ya que la mente humana no puede construir intuitivamente un conjunto infinito. Matemáticos como L.E.J. Brouwer y especialmente Henri Poincaré adoptaron una postura intuicionista frente a la obra de Cantor. Finalmente, los ataques de Wittgenstein eran finitistas: creía que el argumento diagonal de Cantor fusionaba la intensión de un conjunto de números cardinales o reales con su extensión, fusionando así el concepto de reglas para generar un conjunto con un conjunto real..

Algunos teólogos cristianos vieron el trabajo de Cantor como un desafío a la singularidad del infinito absoluto en la naturaleza de Dios. En particular, los pensadores neotomistas vieron la existencia de una infinidad real que consistía en algo distinto de Dios como algo que ponía en peligro 'el derecho exclusivo de Dios a la infinitud suprema'. Cantor creía firmemente que este punto de vista era una mala interpretación del infinito, y estaba convencido de que la teoría de conjuntos podría ayudar a corregir este error: '... las especies transfinitas están igualmente a disposición de las intenciones del Creador y Su absoluta voluntad ilimitada como lo son los números finitos.". Es de notar que 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.

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 de la facultad de Halle que no tenía creencias filosóficas deterministas..

Para Cantor era importante que su filosofía proporcionara una "explicación orgánica" de la naturaleza, y en su Grundlagen de 1883, dijo que tal explicación sólo podría darse recurriendo a los recursos de la filosofía de Spinoza y Leibniz. Al hacer estas afirmaciones, Cantor puede haber sido influenciado por FA Trendelenburg, cuyos cursos de conferencias asistió en Berlín, y a su vez Cantor produjo un comentario en latín sobre el Libro 1 de la Ethica de Spinoza. FA Trendelenburg también fue el examinador de Habilitationsschrift de Cantor.

En 1888, Cantor publicó su correspondencia con varios filósofos sobre las implicaciones filosóficas de su teoría de conjuntos. En un extenso intento de persuadir a otros pensadores y autoridades cristianos para que adoptaran sus puntos de vista, Cantor mantuvo correspondencia con filósofos cristianos como Tilman Pesch y Joseph Hontheim, así como con teólogos como el cardenal Johann Baptist Franzelin, quien una vez respondió equiparando la teoría del transfinito. números con panteísmo. Aunque posteriormente este Cardenal aceptó la teoría como válida, debido a algunas aclaraciones de Cantor´s. Cantor incluso envió una carta directamente al mismo Papa León XIII y le dirigió varios folletos.

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 postular y demostrar conceptos fuera del ámbito de los fenómenos físicos, como expresiones dentro de una realidad interna. Las únicas restricciones de este sistema metafísico son que todos los conceptos matemáticos deben estar desprovistos 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". Estas ideas son paralelas a las de Edmund Husserl, a quien Cantor había conocido en Halle.

Mientras tanto, el mismo Cantor se opuso ferozmente a los infinitesimales, describiéndolos como una "abominación" y "el bacilo del cólera de las matemáticas".

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 los puntos de vista ampliamente sostenidos sobre la el infinito matemático y las opiniones frecuentemente defendidas sobre la naturaleza de los números."

Por lo tanto, dedica mucho espacio a justificar su trabajo anterior, afirmando que los conceptos matemáticos pueden introducirse libremente siempre que estén libres de contradicciones y definidos 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ó enérgicamente la filosofía de 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 sofístico que sabía tan poco de matemáticas'.

Ascendencia de Cantor

El título de la placa conmemorativa (en ruso): "En este edificio nació y vivió desde 1845 hasta 1854 el gran matemático y creador de la teoría del conjunto Georg Cantor", Isla Vasilievsky, San Petersburgo.

Los abuelos paternos de Cantor eran de Copenhague y huyeron a Rusia tras la interrupción de las guerras napoleónicas. Hay muy poca información directa sobre ellos. El padre de Cantor, Georg Waldemar Cantor, fue educado en la misión luterana en San Petersburgo, y su correspondencia con su hijo muestra que ambos son luteranos devotos. Se sabe muy poco con certeza sobre el origen o la educación de Georg Waldemar. La madre de Cantor, Maria Anna Böhm, era austrohúngara nacida en San Petersburgo y bautizada 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...

("Aunque fuéramos diez veces descendientes de judíos, y aunque yo esté, en principio, completamente a favor de la igualdad de derechos para los hebreos, en la vida social prefiero a los cristianos...") lo que podría interpretarse como que ella era de ascendencia judía.

Según los biógrafos Eric Temple Bell, Cantor era descendiente de judíos, aunque ambos padres estaban bautizados. 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, pp. 345–391, 1971) que no pudo encontrar evidencia de ascendencia judía. (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, Paris, 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...." ("Él nació en Copenhague de padres judíos (literalmente: 'israelitas') de la comunidad local portuguesa-judía.") Además, el tío abuelo materno de Cantor, el violinista húngaro Josef Böhm, ha sido descrito como judío, lo que puede implicar que la madre de Cantor descendía, al menos en parte, de la comunidad judía húngara.

En una carta a Bertrand Russell, Cantor describió su ascendencia y autopercepción de la siguiente manera:

Ni mi padre ni mi madre eran de sangre alemana, siendo el primero un danés, nacido en Kopenhagen, mi madre de la descensión austriaca Hungar. Debe saber, señor, que no soy un regular sólo Germain, porque nací el 3 de marzo de 1845 en Saint Peterborough, Capital de Rusia, pero fui con mi padre, madre y hermanos y hermana, once años en el año 1856, a Alemania.

Hubo declaraciones documentadas, durante la década de 1930, que cuestionaron 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 relativo a 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 él completamente sin duda no era un judío..."

Biografías

Hasta la década de 1970, las principales publicaciones académicas sobre Cantor eran 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 en su vida personal. El vacío lo llenó en gran medida 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". Bell presenta la relación de Cantor con su padre como edípica, las diferencias de Cantor con Kronecker como una disputa entre dos judíos y la locura de Cantor como desesperación romántica por no haber logrado que sus matemáticas fueran aceptadas. 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 expósito, enviado a San Petersburgo por padres desconocidos. Una crítica del libro de Bell está contenida en la biografía de Joseph Dauben. Escribe Dauben:

Cantor dedicó parte de su correspondencia más vituperante, así como una parte de la Beiträge, para atacar lo que describió en un punto como el 'infinitesimal Cholera bacillus de matemáticas', que se había propagado de Alemania a través de la obra de Thomae, du Bois Reymond y Stolz, para infectar las matemáticas italianas... Cualquier aceptación de infinitesimals significaba necesariamente que su propia teoría del número era incompleta. Así aceptar la obra de Thomae, du Bois-Reymond, Stolz y Veronese era negar la perfección de la propia creación de Cantor. Entendiblemente, Cantor lanzó una campaña exhaustiva para desacreditar el trabajo de Veronese en todo lo posible.