Richard Dedekind - Work

Work

While teaching calculus for the first time at the Polytechnic, Dedekind came up with the notion now called a Dedekind cut (German: Schnitt), now a standard definition of the real numbers. The idea behind a cut is that an irrational number divides the rational numbers into two classes (sets), with all the members of one class (upper) being strictly greater than all the members of the other (lower) class. For example, the square root of 2 puts all the negative numbers and the numbers whose squares are less than 2 into the lower class, and the positive numbers whose squares are greater than 2 into the upper 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"); in modern terminology, Vollständigkeit, completeness.

In 1874, while on holiday in Interlaken, Dedekind met Cantor. Thus began an enduring relationship of mutual respect, and Dedekind became one of the very first mathematicians to admire Cantor's work on infinite sets, proving a valued ally in Cantor's battles with Kronecker, who was philosophically opposed to Cantor's transfinite numbers.

If there existed a one-to-one correspondence between two sets, Dedekind said that 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. (This is known as Dedekind's theorem.) 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 → N2):

Dedekind edited the collected works of Dirichlet, Gauss, and Riemann. Dedekind's study of Dirichlet's work was what led him to his later study of algebraic number fields and ideals. In 1863, he published 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)

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.

Dedekind made other contributions to algebra. For instance, around 1900, he wrote the first papers on modular lattices.

In 1888, he published a short monograph titled Was sind und was sollen die Zahlen? ("What are numbers and what should they be?" Ewald 1996: 790), which included his definition of an infinite set. He also proposed an axiomatic foundation for the natural numbers, whose primitive notions were one and the successor function. The following year, Peano, citing Dedekind, formulated an equivalent but simpler set of axioms, now the standard ones.