Due to an illness among the teaching staff, today’s statistical-mechanics session will be postponed until later in the week. In the meantime, check out science writer Carl Zimmer and his experience being quote-mined by global warming denialists. To cheer up after that study in human folly, try Mark Chu-Carroll’s ongoing series on surreal numbers. Based on his prior habits, I’m curious to see if he takes a crack at explaining the relation between surreals and category theory (definitely one of the branches of mathematics you need to study if you want to be like the guy in Pi).
One point should be raised about the surreals which has not yet appeared in Mark Chu-Carroll’s exposition. You can get the reals — that ordinary, familiar number line — from the surreals by imposing an extra condition on the construction. It’s exercise 17 in the back of Knuth’s Surreal Numbers (a problem originally suggested to Knuth by John Conway). A number x is defined to be real if -n < x < n for some integer n, and if x falls in the same equivalence class as the surreal number
({x – 1, x – 1/2, x – 1/4, …}, {x + 1, x + 1/2, x + 1/4, …)}.
This topic is also discussed in chapter 2 of Conway’s On Numbers and Games. Theorem 13 proves that dyadic rationals are real numbers, and Conway then deduces that each real number not a dyadic rational is born on day ω (“Aleph Day” in Knuth’s book).
The practical upshot of all this is that surreals may provide a better pathway to understanding the real numbers than the standard way of teaching real analysis! Dealing with Dedekind cuts, for example, leads you to an explosion of special cases and general irritation. Conway says:
This discussion should convince the reader that the construction of the real numbers by any of the standard methods is really quite complicated. Of course the main advantage of an approach like that of the present work is that there is just one kind of number, so that one does not spend large amounts of time proving the associative law in several different guises. I think that this makes it the simplest so far, from a purely logical point of view.
Nevertheless there are certain disadvantages. One that can be dealt with quickly is that it is quite difficult to make the process stop after constructing the reals! We can cure this by adding to the construction the proviso that if L is non-empty but with no greatest member, then R is non-empty with no least member, and vice versa. This happily restricts us exactly to the reals.
The remaining disadvantages are that the dyadic rationals receive a curiously special treatment, and that the inductive definitions are of an unusual character. From a purely logical point of view these are unimportant quibbles (we discuss the induction problems later in more detail), but they would predispose me against teaching this to undergraduates as “the” theory of real numbers.
There is another way out. If we adopt a classical approach as far as the rationals Q, and then define the reals as sections of Q with the definitions of addition and multiplication given in this book, then all the formal laws have 1-line proofs and there is no case-splitting. The definition of multiplication seems complicated, but is fairly easy to motivate. Altogether, this seems the easiest possible approach.