Leopold Kronecker

Leopold Kronecker

Leopold Kronecker (Liegnitz, 7 de diciembre de 1823 – Berlín, 29 de diciembre de 1891) fue un matemático y lógico alemán que realizó contribuciones fundamentales a la teoría de números, el álgebra y el análisis. Es conocido por su postura finitista, que defendía que la aritmética y el análisis debían fundarse exclusivamente en los números enteros, y por su célebre frase: «Dios hizo los números enteros; el resto es obra del hombre». Su enfoque unificador de la geometría y la aritmética, conocido como el punto de vista kroneckeriano, influyó profundamente en el desarrollo de la geometría algebraica moderna, siendo reconocido por Alexander Grothendieck en su Séminaire de Géométrie Algébrique (SGA 1). Kronecker mantuvo una célebre controversia con Georg Cantor a causa de su rechazo a la teoría de conjuntos transfinitos, lo que le ha valido ser considerado un precursor del intuicionismo.

«Dios hizo los números enteros; el resto es obra del hombre.»

Leopold Kronecker

Biografía

Hijo de un comerciante judío, Kronecker se convertiría al cristianismo un año antes de su muerte.

En 1845 se doctoró en la Universidad de Berlín y en ese año escribió su disertación sobre teoría de números, dando una formulación especial a las unidades en ciertos campos numéricos algebraicos. Su tutor fue Peter Gustav Dirichlet.

Matemático y lógico, Kronecker defendía que la aritmética y el análisis deben estar fundados en los números enteros prescindiendo de los irracionales e imaginarios. Fue autor de una frase muy conocida entre los matemáticos: "Dios hizo los números enteros; el resto es obra del hombre" (Bell 1986, p.477). Esto puso a Kronecker en contra de varias de las extensiones matemáticas de Georg Cantor. Kronecker fue discípulo y amigo de Ernst Kummer.

Tras obtener su título, Kronecker se dedicó a gestionar las propiedades y negocios de su tío, sin producir nada en matemáticas durante ocho años. En su memoria de 1853 sobre la resolución algebraica de ecuaciones, Kronecker extendió el trabajo de Évariste Galois sobre la teoría de ecuaciones. Aceptó una plaza de profesor en la Universidad de Berlín en 1883.

También contribuyó al concepto de continuidad, reconstruyendo la forma de los números irracionales en los números reales. En el análisis, Kronecker rechazó la formulación de su colega Karl Weierstrass de una función continua que no admite derivada en ninguno de sus puntos. En su artículo de 1850, Sobre la solución de la ecuación general de quinto grado, Kronecker resolvió la ecuación quíntica usando teoría de grupos.

El finitismo de Kronecker lo convirtió en un precursor del intuicionismo en los fundamentos de la matemática.

Obra matemática

La obra de Kronecker abarca múltiples áreas de las matemáticas, con contribuciones fundamentales en teoría de números, álgebra y análisis.

Teoría de números y álgebra

Kronecker realizó contribuciones pioneras a la teoría de números algebraicos. En su disertación de 1845 ya abordó el estudio de las unidades en campos numéricos algebraicos. Su trabajo más influyente en esta área es el teorema de Kronecker-Weber, que demuestra que toda extensión abeliana finita de los números racionales está contenida en un cuerpo ciclotómico. Kronecker proporcionó la mayor parte de la demostración en 1853, que fue completada posteriormente por Heinrich Weber y David Hilbert.

En álgebra, Kronecker fue uno de los primeros en estudiar la estructura de los grupos finitos y su relación con la resolución de ecuaciones. Su artículo de 1850 sobre la ecuación de quinto grado (Sobre la solución de la ecuación general de quinto grado) utilizó técnicas de teoría de grupos para abordar el problema, extendiendo el trabajo de Évariste Galois. También introdujo el concepto de sistemas modulares, un precursor de la noción moderna de ideal en un anillo, que influiría en el trabajo de Richard Dedekind y Emmy Noether.

Análisis matemático

Aunque Kronecker es conocido principalmente por su postura crítica hacia el análisis clásico, sus contribuciones a esta área fueron profundas y abarcan desde la teoría de funciones elípticas hasta la topología.

Funciones elípticas y fórmula del límite

Kronecker realizó contribuciones fundamentales a la teoría de funciones elípticas. En particular, demostró la llamada fórmula del límite de Kronecker, que describe el término constante en $s=1$ de una serie de Eisenstein real analítica en términos de la función eta de Dedekind. Esta fórmula revela conexiones profundas entre la aritmética y las funciones trascendentes, y ha dado lugar a numerosas generalizaciones en teoría de números y geometría algebraica. Su trabajo sobre funciones elípticas con retículo de períodos contenido en un cuerpo cuadrático imaginario anticipó el desarrollo de la teoría de campos de clases y está en el corazón de su célebre Jugendtraum.

Índice de Kronecker y topología

En un artículo fundamental de 1869, Kronecker generalizó el índice de Cauchy de una variable a $n$ dimensiones, introduciendo lo que hoy se conoce como el índice de Kronecker (o característica de Kronecker). Esta noción, que asigna un número entero a un sistema de ecuaciones $F(x)=0$ en ${ℝ}^n$, resultó ser un precursor del grado topológico y tuvo una influencia decisiva en el trabajo de Henri Poincaré sobre análisis situs (topología). La invariancia homotópica del índice de Kronecker, ya observada por el propio Kronecker en 1878, fue utilizada por Poincaré y constituye uno de los primeros ejemplos de un invariante topológico.

Continuidad y números irracionales

Kronecker también contribuyó al concepto de continuidad, ofreciendo una reconstrucción de la forma de los números irracionales en los números reales que evitaba los métodos no constructivos. Su enfoque constructivista le llevó a rechazar la formulación de su colega Karl Weierstrass de una función continua que no es derivable en ningún punto, por considerarla un artefacto no fundamentado en los números enteros. Kronecker sostenía que toda función debía ser definida mediante un procedimiento finito que permitiera calcular sus valores, una postura que anticipó el constructivismo del siglo XX.

Crítica al análisis no constructivo

Kronecker fue el primero en cuestionar sistemáticamente el significado de las demostraciones de existencia no constructivas —aquellas que prueban que algo debe existir mediante un argumento de contradicción, pero que no proporcionan ningún método para producirlo. Esta postura lo enfrentó durante años a la escuela analítica de Weierstrass, aunque ambos coincidían en la necesidad de aritmetizar el análisis. Para Kronecker, el análisis debía reducirse por completo a los números enteros positivos; cualquier objeto que no pudiera construirse a partir de ellos carecía de legitimidad matemática. A pesar de su postura crítica, sus trabajos sobre fracciones continuas y series infinitas tuvieron una influencia duradera en el desarrollo del análisis riguroso.

El Jugendtraum de Kronecker

Kronecker formuló un célebre problema, conocido como su Jugendtraum (sueño de juventud), que busca describir explícitamente todas las extensiones abelianas de un cuerpo de números mediante la adjunción de valores especiales de funciones trascendentes, como las funciones modulares. Este problema fue posteriormente retomado por David Hilbert como el duodécimo de sus problemas y sigue siendo un área activa de investigación en teoría de campos de clases.

Epónimos

El nombre de Kronecker está asociado a diversos conceptos matemáticos, entre los que destacan:

• La delta de Kronecker, una función que toma el valor 1 si sus argumentos son iguales y 0 en caso contrario.
• El producto de Kronecker (o producto tensorial de matrices).
• El símbolo de Kronecker, una generalización del símbolo de Legendre.
• El teorema de Kronecker-Weber, que clasifica las extensiones abelianas de los números racionales.
• El teorema de Kronecker sobre la aproximación de números reales por combinaciones lineales de unidades.
• El lema de Kronecker, un resultado sobre series y convergencia.
• El Jugendtraum de Kronecker, que inspira el duodécimo problema de Hilbert.
• La sustitución de Kronecker, una técnica para reducir problemas de polinomios en varias variables a una variable.

Influencia y legado

La influencia de Kronecker se extiende mucho más allá de su propia obra. Su enfoque, que unificaba el tratamiento de las variedades algebraicas y los cuerpos de números, fue una fuente de inspiración para generaciones posteriores de matemáticos.

El punto de vista kroneckeriano

La perspectiva que unifica objetos geométricos y aritméticos, tratándolos sobre el mismo pie, se conoce como el punto de vista kroneckeriano. Esta idea fue fundamental para el desarrollo de la geometría algebraica moderna. Alexander Grothendieck, uno de los matemáticos más influyentes del siglo XX, reconoció explícitamente esta deuda. En la introducción del Séminaire de Géométrie Algébrique (SGA 1), dedicado a los revestimientos étales y al grupo fundamental, Grothendieck declaró que el objetivo del volumen era estudiar el grupo fundamental desde un punto de vista "kroneckeriano". Esta elección de palabras refleja la convicción de que los fenómenos de ramificación en teoría algebraica de números y los recubrimientos de superficies de Riemann son dos manifestaciones de una misma realidad matemática, una idea que ya estaba muy presente en la obra de Kronecker, Dedekind y Weber.

El enfoque de Kronecker, que difuminaba las fronteras entre la geometría y la aritmética, fue un antecedente crucial para el programa de Grothendieck. La noción de esquema, piedra angular de la geometría algebraica moderna, puede entenderse como una culminación de esta visión kroneckeriana: un objeto que permite tratar de manera unificada variedades algebraicas y espectros de anillos de enteros. Como señaló el historiador de la matemática Jean Dieudonné, la idea grothendieckiana de esquema deriva directamente de la noción de "sistemas modulares" de Kronecker.

El legado de Kronecker perdura, por tanto, no solo en los conceptos que llevan su nombre, sino también en la propia estructura de la matemática contemporánea, que debe en buena medida a su visión unificadora de la disciplina.

Precursor del intuicionismo

El finitismo de Kronecker, que rechazaba la existencia de números irracionales e imaginarios como entidades matemáticas plenas, lo convirtió en un precursor del intuicionismo en los fundamentos de la matemática. Esta corriente, desarrollada posteriormente por L. E. J. Brouwer, sostiene que las matemáticas son una creación de la mente humana y que solo existen aquellos objetos que pueden ser construidos de manera efectiva. La célebre frase de Kronecker —«Dios hizo los números enteros; el resto es obra del hombre»— resume esta postura filosófica, que tuvo una influencia considerable en el desarrollo de la lógica matemática y la teoría de la computación.

Publicaciones seleccionadas

• Kronecker, Leopold (1845). «De aequationibus secundi gradus indeterminatis». Tesis doctoral. 
• Kronecker, Leopold (1853). «Über die algebraisch auflösbaren Gleichungen». Journal für die reine und angewandte Mathematik 47: 139-155. 
• Kronecker, Leopold (1882). «Grundzüge einer arithmetischen Theorie der algebraischen Grössen». Journal für die reine und angewandte Mathematik 92: 1-122. 
• Kronecker, Leopold (1883). «Zur Theorie der elliptischen Functionen». Monatsberichte der Königlichen Preußischen Akademie der Wissenschaften zu Berlin: 201-210. 
• Kronecker, Leopold (1895-1931). Leopold Kronecker's Werke. 5 volúmenes. Teubner.  (Obras completas, publicadas póstumamente)

Bibliografía

Primaria

• Ewald, William B. (1996). «On the concept of number». From Kant to Hilbert: A Source Book in the Foundations of Mathematics. Oxford: Oxford Uni. Press. 
• Jean van Heijenoort (1967). From Frege to Godel: A source Book in Mathematical Logic. 1879-1931. Cambridge: Harvard University Press. ISBN 0-674-32449-8. 

Secundaria

• Eric Temple Bell (1986). Men of Mathematics. Nueva York: Simon and Schuster. 
• Martin Davis (2000). Engines of Logic, Mathematicians and the origin of the Computer. Nueva York: W.W. Norton & Company. ISBN 0-393-32229-7. 
• Isaac Asimov (1973). Enciclopedia biográfica de Ciencia y Tecnología. Emecé Editores, Buenos Aires. ISBN 84-292-7004-3. 
• Edwards, Harold M. (1990). Divisor Theory. Birkhäuser. ISBN 978-0-8176-3448-3. 
• Neukirch, Jürgen (1999). Algebraic Number Theory. Springer. ISBN 978-3-540-65399-8. 
• Dieudonné, Jean (1985). History of Algebraic Geometry. Wadsworth. ISBN 978-0-534-03723-9. 
• Grothendieck, Alexander (1971). Revêtements étales et groupe fondamental (SGA 1). Springer. 
• van Heijenoort, Jean (1967). From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Harvard University Press. ISBN 978-0-674-32449-7. 

Enlaces externos

• Entrada en Biografías y Vidas
• O'Connor, John J.; Robertson, Edmund F., «Leopold Kronecker» (en inglés), MacTutor History of Mathematics archive, Universidad de Saint Andrews, https://mathshistory.st-andrews.ac.uk/Biographies/Kronecker/ .