Richard Dedekind | |
---|---|
"" | |
Born | "Braunschweig, "Duchy of Brunswick |
6 October 1831
Died | 12 February 1916 Braunschweig, "German Empire |
(aged 84)
Nationality | German |
Alma mater | "Collegium Carolinum "University of Göttingen |
Known for | "Abstract algebra "Algebraic number theory "Real numbers |
Scientific career | |
Fields | "Mathematician "Philosopher of mathematics |
"Doctoral advisor | "Carl Friedrich Gauss |
Julius Wilhelm Richard Dedekind (6 October 1831 – 12 February 1916) was a "German "mathematician who made important contributions to "abstract algebra (particularly "ring theory), "axiomatic foundation for the natural numbers, "algebraic number theory and the definition of the "real numbers.
Dedekind's father was Julius Levin Ulrich Dedekind, an administrator of "Collegium Carolinum in "Braunschweig. Dedekind had three older siblings. As an adult, he never used the names Julius Wilhelm. He was born, lived most of his life, and died in Braunschweig (often called "Brunswick" in English).
He first attended the Collegium Carolinum in 1848 before transferring to the "University of Göttingen in 1850. There, Dedekind was taught "number theory by professor "Moritz Stern. "Gauss was still teaching, although mostly at an elementary level, and Dedekind became his last student. Dedekind received his doctorate in 1852, for a thesis titled Über die Theorie der Eulerschen Integrale ("On the Theory of "Eulerian integrals"). This thesis did not display the talent evident by Dedekind's subsequent publications.
At that time, the "University of Berlin, not "Göttingen, was the main facility for mathematical research in Germany. Thus Dedekind went to Berlin for two years of study, where he and "Bernhard Riemann were contemporaries; they were both awarded the "habilitation in 1854. Dedekind returned to Göttingen to teach as a "Privatdozent, giving courses on "probability and "geometry. He studied for a while with "Peter Gustav Lejeune Dirichlet, and they became good friends. Because of lingering weaknesses in his mathematical knowledge, he studied "elliptic and "abelian functions. Yet he was also the first at Göttingen to lecture concerning "Galois theory. About this time, he became one of the first people to understand the importance of the notion of "groups for "algebra and "arithmetic.
In 1858, he began teaching at the "Polytechnic school in "Zürich (now ETH Zürich). When the Collegium Carolinum was upgraded to a "Technische Hochschule (Institute of Technology) in 1862, Dedekind returned to his native Braunschweig, where he spent the rest of his life, teaching at the Institute. He retired in 1894, but did occasional teaching and continued to publish. He never married, instead living with his sister Julia.
Dedekind was elected to the Academies of Berlin (1880) and Rome, and to the "French Academy of Sciences (1900). He received "honorary doctorates from the universities of "Oslo, "Zurich, and "Braunschweig.
While teaching calculus for the first time at the "Polytechnic school, Dedekind developed the notion now known as a "Dedekind cut ("German: Schnitt), now a standard definition of the real numbers. The idea of a cut is that an "irrational number divides the "rational numbers into two classes ("sets), with all the numbers of one class (greater) being strictly greater than all the numbers of the other (lesser) class. For example, the "square root of 2 defines all the negative numbers and the numbers the squares of which are less than 2 into the lesser class, and the positive numbers the squares of which are greater than 2 into the greater class. Every location on the number line continuum contains either a rational or an irrational number. Thus there are no empty locations, gaps, or discontinuities. Dedekind published his thoughts on irrational numbers and Dedekind cuts in his pamphlet "Stetigkeit und irrationale Zahlen" ("Continuity and irrational numbers");^{[1]} in modern terminology, Vollständigkeit, "completeness.
Dedekind's theorem^{[2]} states that if there existed a "one-to-one correspondence between two sets, then the two sets were "similar". He invoked similarity to give the first precise definition of an "infinite set: a set is infinite when it is "similar to a proper part of itself," in modern terminology, is "equinumerous to one of its "proper subsets. Thus the set N of "natural numbers can be shown to be similar to the subset of N whose members are the "squares of every member of N, (N → N^{2}):
N 1 2 3 4 5 6 7 8 9 10 ...
↓
N^{2} 1 4 9 16 25 36 49 64 81 100 ...
Dedekind edited the collected works of "Lejeune Dirichlet, "Gauss, and "Riemann. Dedekind's study of Lejeune Dirichlet's work led him to his later study of "algebraic number fields and "ideals. In 1863, he published Lejeune Dirichlet's lectures on "number theory as "Vorlesungen über Zahlentheorie ("Lectures on Number Theory") about which it has been written that:
Although the book is assuredly based on Dirichlet's lectures, and although Dedekind himself referred to the book throughout his life as Dirichlet's, the book itself was entirely written by Dedekind, for the most part after Dirichlet's death.
— Edwards, 1983
The 1879 and 1894 editions of the Vorlesungen included supplements introducing the notion of an ideal, fundamental to "ring theory. (The word "Ring", introduced later by "Hilbert, does not appear in Dedekind's work.) Dedekind defined an "ideal as a subset of a set of numbers, composed of "algebraic integers that satisfy polynomial equations with "integer coefficients. The concept underwent further development in the hands of Hilbert and, especially, of "Emmy Noether. Ideals generalize "Ernst Eduard Kummer's "ideal numbers, devised as part of Kummer's 1843 attempt to prove "Fermat's Last Theorem. (Thus Dedekind can be said to have been Kummer's most important disciple.) In an 1882 article, Dedekind and "Heinrich Martin Weber applied ideals to "Riemann surfaces, giving an algebraic proof of the "Riemann–Roch theorem.
In 1888, he published a short monograph titled Was sind und was sollen die Zahlen? ("What are numbers and what are they good for?" Ewald 1996: 790),^{[3]} which included his definition of an "infinite set. He also proposed an "axiomatic foundation for the natural numbers, whose primitive notions were the number "one and the "successor function. The next year, "Giuseppe Peano, citing Dedekind, formulated an equivalent but simpler "set of axioms, now the standard ones.
Dedekind made other contributions to "algebra. For instance, around 1900, he wrote the first papers on "modular lattices. In 1872, while on holiday in "Interlaken, Dedekind met "Georg Cantor. Thus began an enduring relationship of mutual respect, and Dedekind became one of the very first mathematicians to admire Cantor's work concerning infinite sets, proving a valued ally in Cantor's disputes with "Leopold Kronecker, who was philosophically opposed to Cantor's "transfinite numbers.^{[4]}
Primary literature in English:
Primary literature in German:
|year=
("help)There is an online bibliography of the secondary literature on Dedekind. Also consult Stillwell's "Introduction" to Dedekind (1996).
Wikiquote has quotations related to: Richard Dedekind |
Wikimedia Commons has media related to Richard Dedekind. |