Content-Type: text/html
I'll give it a try. See the new paragraph just below the introduction -- MattBrubeck
I second that! --LMS
This is a huge improvement on what was here when I last looked. I even think I understand it. :-) Thanks! --Janet Davis
Hm. Perhaps I went a bit overboard with my explanation. (I felt that the construction had to be explained to understand the difference between hyperreal numbers and surreal numbers.) Unfortunately I have to get back to work now and the page is not really finished. Perhaps next week. --Jan Hidders
Jan: Excellent work on editing the introduction. It's now much clearer than I left it after my contributions. -- MattBrubeck
Wow, this page is great. Two questions: are the hyperreals embedded in the surreals? How about the ordinals? Ordinal arithmetic is non-commutative, so there must be some problems. --AxelBoldt
And two more questions: what about the topology of the surreals? Also, the first paragraph says they don't form a "class" of numbers, but then later it says they form an ordered field. These don't seem to go together.
Good questions. I don't know enough about hyperr. numbers to say if they can be embedded into the surr. numbers. Studying they hyperreals is still somewhere on my to-do list. There are some very nice resources on Hyperreals and non-standard analysis on-line:
http://online.sfsu.edu/~brian271/nsa.pdf http://www.ugcs.caltech.edu/~shulman/math/nonstandard/node9.html
And if you want to find more the magic word is "ultrafilters" :-) Actually I think we should quickly extend the article on hyperreals because it is #1 in Google right now. :-) I think you are right about the Ordinals; hyperreals and surreals both satisfy the algebraic rules of the reals, so there can be an order homomorphism but not an homomorphism that respects the operators. -- JanHidders