Julius Wilhelm Richard Dedekind [ˈdeːdəˌkɪnt] (6 de octubre de 1831 - 12 de febrero de 1916) fue un matemático alemán que hizo importantes contribuciones a la teoría de números , el álgebra abstracta (particularmente la teoría de anillos ) y los fundamentos axiomáticos de la aritmética . Su aportación más conocida es la definición de números reales a través de la noción de corte de Dedekind . También se le considera un pionero en el desarrollo de la teoría de conjuntos moderna y de la filosofía de las matemáticas conocida como logicismo .
El padre de Dedekind era Julius Levin Ulrich Dedekind, administrador del Collegium Carolinum en Braunschweig . Su madre era Caroline Henriette Dedekind (de soltera Emperius), hija de un profesor del Collegium. [1] Richard Dedekind tenía tres hermanos mayores. De adulto, nunca usó el nombre de Julius Wilhelm. Nació en Braunschweig (a menudo llamado "Brunswick" en inglés), que es donde vivió la mayor parte de su vida y murió. Su cuerpo descansa en el cementerio principal de Braunschweig .
Asistió por primera vez al Collegium Carolinum en 1848 antes de trasladarse a la Universidad de Göttingen en 1850. Allí, el profesor Moritz Stern le enseñó a Dedekind teoría de números . Gauss todavía enseñaba, aunque principalmente en el nivel elemental, y Dedekind se convirtió en su último alumno. Dedekind recibió su doctorado en 1852, por una tesis titulada Über die Theorie der Eulerschen Integrale ("Sobre la teoría de las integrales eulerianas "). Esta tesis no mostró el talento evidente en las publicaciones posteriores de Dedekind.
En aquel momento, la Universidad de Berlín , no la de Gotinga , era el principal centro de investigación matemática en Alemania. Así, Dedekind fue a Berlín para estudiar dos años, donde él y Bernhard Riemann eran contemporáneos; ambos obtuvieron la habilitación en 1854. Dedekind regresó a Göttingen para enseñar como Privatdozent , impartiendo cursos sobre probabilidad y geometría . Estudió durante un tiempo con Peter Gustav Lejeune Dirichlet y se hicieron buenos amigos. Debido a persistentes debilidades en sus conocimientos matemáticos, estudió funciones elípticas y abelianas . Sin embargo, también fue el primero en dar una conferencia en Gotinga sobre la teoría de Galois . Por esta época, se convirtió en una de las primeras personas en comprender la importancia de la noción de grupos para el álgebra y la aritmética .
En 1858 comenzó a enseñar en la Escuela Politécnica de Zúrich (ahora ETH Zürich). Cuando el Collegium Carolinum fue ascendido a Technische Hochschule (Instituto de Tecnología) en 1862, Dedekind regresó a su Braunschweig natal, donde pasó el resto de su vida enseñando en el Instituto. Se jubiló en 1894, pero enseñó ocasionalmente y continuó publicando. Nunca se casó, sino que vivió con su hermana Julia.
Dedekind fue elegido miembro de las Academias de Berlín (1880) y Roma, y de la Academia Francesa de Ciencias (1900). Recibió doctorados honorarios de las universidades de Oslo , Zurich y Braunschweig .
-Portrait-Portr_11953.tif_(cropped).jpg/1280px-ETH-BIB-Dedekind,_Julius_Wilhelm_Richard_(1831-1916)-Portrait-Portr_11953.tif_(cropped).jpg)
Mientras enseñaba cálculo por primera vez en la Escuela Politécnica , Dedekind desarrolló la noción ahora conocida como corte de Dedekind (en alemán: Schnitt ), ahora una definición estándar de los números reales. La idea de un corte es que un número irracional divide los números racionales en dos clases ( conjuntos ), siendo todos los números de una clase (mayor) estrictamente mayores que todos los números de la otra clase (menor). Por ejemplo, la raíz cuadrada de 2 define todos los números no negativos cuyos cuadrados son menores que 2 y los números negativos en la clase menor, y los números positivos cuyos cuadrados son mayores que 2 en la clase mayor. Cada ubicación en el continuo de la recta numérica contiene un número racional o irracional. Por tanto, no hay lugares vacíos, huecos o discontinuidades. Dedekind publicó sus pensamientos sobre los números irracionales y los recortes de Dedekind en su folleto "Stetigkeit und irrationale Zahlen" ("Continuidad y números irracionales"); [2] en terminología moderna, Vollständigkeit , integridad .
Dedekind definió que dos conjuntos son "similares" cuando existe una correspondencia uno a uno entre ellos. [3] Invocó la similitud para dar la primera [ cita necesaria ] definición precisa de un conjunto infinito : un conjunto es infinito cuando es "similar a una parte propia de sí mismo", [4] en terminología moderna, es equinumero a uno de sus subconjuntos propios . Por tanto, se puede demostrar que el conjunto N de números naturales es similar al subconjunto de N cuyos miembros son los cuadrados de cada miembro de N , ( N → N 2 ):
norte 1 2 3 4 5 6 7 8 9 10 ...
↓ norte 2 1 4 9 16 25 36 49 64 81 100 ...El trabajo de Dedekind en esta área anticipó el de Georg Cantor , a quien comúnmente se le considera el fundador de la teoría de conjuntos . Asimismo, sus contribuciones a los fundamentos de las matemáticas anticiparon trabajos posteriores de los principales defensores del logicismo , como Gottlob Frege y Bertrand Russell .
Dedekind editó las obras completas de Lejeune Dirichlet , Gauss y Riemann . El estudio de Dedekind sobre el trabajo de Lejeune Dirichlet lo llevó a su estudio posterior de los ideales y campos de números algebraicos . En 1863, publicó las conferencias de Lejeune Dirichlet sobre teoría de números como Vorlesungen über Zahlentheorie ("Conferencias sobre teoría de números") sobre las cuales se ha escrito que:
Aunque el libro seguramente se basa en las conferencias de Dirichlet, y aunque el propio Dedekind se refirió al libro durante toda su vida como de Dirichlet, el libro en sí fue escrito íntegramente por Dedekind, en su mayor parte después de la muerte de Dirichlet.
- Edwards, 1983
Las ediciones de 1879 y 1894 de las Vorlesungen incluyeron suplementos que introducían la noción de ideal, fundamental para la teoría de los anillos . (La palabra "Anillo", introducida más tarde por Hilbert , no aparece en la obra de Dedekind.) Dedekind definió un ideal como un subconjunto de un conjunto de números, compuesto de números enteros algebraicos que satisfacen ecuaciones polinómicas con coeficientes enteros . El concepto experimentó mayor desarrollo de la mano de Hilbert y, especialmente, de Emmy Noether . Los ideales generalizan los números ideales de Ernst Eduard Kummer , ideados como parte del intento de Kummer en 1843 de demostrar el último teorema de Fermat . (Por tanto, se puede decir que Dedekind fue el discípulo más importante de Kummer). En un artículo de 1882, Dedekind y Heinrich Martin Weber aplicaron ideales a las superficies de Riemann , dando una prueba algebraica del teorema de Riemann-Roch .
En 1888 publicó una breve monografía titulada Was sind und was sollen die Zahlen? ("¿Qué son los números y para qué sirven?" Ewald 1996: 790), [5] que incluía su definición de conjunto infinito . También propuso un fundamento axiomático para los números naturales, cuyas nociones primitivas eran número uno y función sucesora . El año siguiente, Giuseppe Peano , citando a Dedekind, formuló un conjunto de axiomas equivalente pero más simple , ahora los estándar.
Dedekind hizo otras contribuciones al álgebra . Por ejemplo, alrededor de 1900 escribió los primeros artículos sobre celosías modulares . En 1872, mientras estaba de vacaciones en Interlaken , Dedekind conoció a Georg Cantor . Así comenzó una relación duradera de respeto mutuo, y Dedekind se convirtió en uno de los primeros matemáticos en admirar el trabajo de Cantor sobre conjuntos infinitos, demostrando ser un valioso aliado en las disputas de Cantor con Leopold Kronecker , quien se oponía filosóficamente a los números transfinitos de Cantor . [6]
Literatura primaria en inglés:
Literatura primaria en alemán:
Hay una bibliografía en línea de la literatura secundaria sobre Dedekind. Consulte también la "Introducción" de Stillwell a Dedekind (1996).
