Constructing the surreal numbers as iterated Hahn series - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T20:43:30Z http://mathoverflow.net/feeds/question/79535 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/79535/constructing-the-surreal-numbers-as-iterated-hahn-series Constructing the surreal numbers as iterated Hahn series Gro-Tsen 2011-10-30T18:49:49Z 2012-05-25T01:54:20Z <p>A theorem due to N. Alling (<em>Foundations of Analysis over Surreal Number Fields</em>, §6.55) states that the <a href="http://en.wikipedia.org/wiki/Surreal_number" rel="nofollow">surreal numbers</a> are isomorphic, as an ordered and valued field, to the field of <a href="http://en.wikipedia.org/wiki/Hahn_series" rel="nofollow">Hahn series</a> with real coefficients and value group the surreal numbers themselves. There is also a restricted version, which I'll refer to in order to avoid the (IMHO uninteresting) foundational difficulties in dealing with classes: if <code>$\kappa$</code> is a regular uncountable cardinal, the set <code>$\mathrm{No}_\kappa$</code> of surreal numbers with birth date <code>$&lt;\kappa$</code> is isomorphic to the field of Hahn series of length <code>$&lt;\kappa$</code> with real coefficients and exponents in <code>$\mathrm{No}_\kappa$</code> itself (in the indeterminate <code>$\frac{1}{\omega}$</code>).</p> <p>Upon reading this, I thought to myself, “well, this is nice, this means the surreal numbers can be given a construction as iterated Hahn series, something along the lines of: start with the reals, take the Hahn series over that, then take the Hahn series over <em>that</em> (as value group), repeat transfinitely, and <em>voilà</em>, surreal numbers”. Unfortunately, it seems I was being a bit naïve there.</p> <p>Let us define <code>$F_0 = \mathbb{R}$</code> and inductively <code>$F_{\alpha+1}$</code> to be the field of Hahn series of length <code>$&lt;\kappa$</code> with real coefficients and exponents in <code>$F_\alpha$</code> (the indeterminate being written <code>$\frac{1}{\omega}$</code>); and for <code>$\delta$</code> a limit let <code>$F_\delta = \bigcup_{\alpha&lt;\delta} F_\alpha$</code> with the obvious embeddings. Then if I am not mistaken, <code>$F_\kappa$</code> is indeed isomorphic to Hahn series of length <code>$&lt;\kappa$</code> over itself, it is indeed an <code>$\eta_\xi$</code> field for <code>$\kappa=\omega_\xi$</code>, of cardinality <code>$2^{&lt;\kappa}$</code>, just like <code>$\mathrm{No}_\kappa$</code>, and it is quite conceivable (I didn't check) that the two are isomorphic (as ordered—and valued—fields over <code>$F_0 = \mathbb{R}$</code>). <em>But</em> this can't possibly respect the map <code>$x \mapsto \omega^x$</code> because in <code>$\mathrm{No}_\kappa$</code> the latter has plenty of fixed points whereas in <code>$F_\kappa$</code> it has none. So this construction is “wrong” in that it doesn't explain surreal numbers properly.</p> <p>Thus, my question is: is there some variant of this construction that will succeed in constructing <code>$\mathrm{No}_\kappa$</code>, including its map <code>$x \mapsto \omega^x$</code>? Perhaps the answer depends on what is done at limit ordinal steps, but I'm rather confused so I wish someone could clear up the confusion.</p> http://mathoverflow.net/questions/79535/constructing-the-surreal-numbers-as-iterated-hahn-series/79706#79706 Answer by Philip Ehrlich for Constructing the surreal numbers as iterated Hahn series Philip Ehrlich 2011-11-01T12:47:20Z 2011-11-01T16:07:25Z <p>On page 183 of “Fields of Surreal Numbers and Exponentiation”, Fundamenta Mathematica 167 (2001), pp. 173-188, Lou van den Dries and Philip Ehrlich prove the following result that I believe provides an answer to the author’s queries. The result is an improvement of a result the author attributes to Norman Alling, which was established independently by Ehrlich in “An Alternative Construction of Conway’s Ordered Field No,” Algebra Universalis 25 (1988), pp. 7-16. Ehrlich’s proof actually slightly predates Alling’s’s, but it appeared later. </p> <p>Proposition. Let $\lambda$ be an epsilon number $\le On$ and let $\tau =1/\omega$. Then</p> <p>(i) $${\bf{No}}\left( \lambda \right) = \bigcup\nolimits_\mu \mathbb{R}{\left( {\left( {\tau ^{{\bf{No}}\left( \mu \right)} } \right)} \right)_\lambda }$$ where $\mu$ ranges over the additively indecomposable ordinals $&lt; \lambda$;</p> <p>(ii) ${\bf{No}}\left( \lambda \right)$ is real-closed;</p> <p>(iii) $${\bf{No}}\left( \lambda \right) = \mathbb{R}\left( {\left( {\tau ^{{\bf{No}}\left( \lambda \right)} } \right)} \right)_\lambda$$ if and only if $\lambda$ is a regular cardinal;</p> <p>(vi) For all $y \in {\bf{No}}$, $y \in {\bf{No}}\left( \lambda \right)$ if and only if $\omega ^y \in {\bf{No}}\left( \lambda \right)$.</p> http://mathoverflow.net/questions/79535/constructing-the-surreal-numbers-as-iterated-hahn-series/79874#79874 Answer by David Alan Paterson for Constructing the surreal numbers as iterated Hahn series David Alan Paterson 2011-11-02T23:18:05Z 2011-11-02T23:18:05Z <p>I'm a novice in this area so I don't think my reply should be taken too seriously, but I recently read Alling's <em>Foundations of Analysis over Surreal Number Fields</em> and have been corresponding with Philip Ehrlich about this topic. I've seen Ehrlich's proof of the isomorphism between Conway Names and the Hahn Series, which I find particularly interesting. Ehrlich also, this year, published the document <em>Conway names, the simplicity hierarchy and the surreal number tree</em> Journal of Logic &amp; Analysis 3:1 (2011) 1–26.</p> <p>What I want to draw your attention to is Conway's original 1976 <em>On numbers and games</em>. In the section where he introduces us to these Conway names he includes a caveat. Every surreal number can be expressed in the form of a Conway name, but the use of the Conway name to generate surreal numbers is problematic because it involves feedback loops between surreal numbers of the same generation so is not amenable to use for the generation of the surreals by induction. This differs from the definition of the surreal numbers using a Dedekind-like cut which does generate all the surreal numbers by induction.</p> <p>To see the problem. Consider the two expressions $\exp(\omega)$ and $\sin(\omega)$. Neither of these can be expressed by Conway names without feedback. The expression $\exp(\omega)$ as a Conway name appears as $\omega^{\omega/\ln(\omega)}$ only because $\omega/\ln(\omega)$ is a surreal number. On the other hand, on the surreals the expression $\sin(x)={x-x^3/3!,\ldots|x,x-x^3/3!+x^5/5!,\ldots}$ evaluates to $\sin(\omega)=0$. As a Conway name $\sin(\omega)$ appears as $\omega^{\ln(\sin(\omega))/\ln(\omega)}$. You see the feedback problem?</p> <p>The isomorphism to Hahn series involved an interesting change of the sign of the power. So $\exp(\omega)$ on the surreals translates to $1/\exp(\omega)$ on Hahn series.</p>