
doi: 10.4115/jla.2014.6.5
Summary: The class \textbf{No} of surreal numbers, which John Conway discovered while studying combinatorial games, possesses a rich numerical structure and shares many arithmetic and algebraic properties with the real numbers. Some work has also been done to develop analysis on \textbf{No}. In this paper, we extend this work with a treatment of functions, limits, derivatives, power series and integrals. We propose surreal definitions of the arctangent and logarithm functions using truncations of Maclaurin series. Using a new representation of surreals, we present a formula for the limit of a sequence, and we use this formula to provide a complete characterization of convergent sequences and to evaluate certain series and infinite Riemann sums via extrapolation. A similar formula allows us to evaluate limits (and hence derivatives) of functions. By defining a new topology on \textbf{No}, we obtain the intermediate value theorem even though \textbf{No} is not Cauchy complete, and we prove that the fundamental theorem of calculus would hold for surreals if a consistent definition of integration exists.
functions, Nonstandard topology, analysis, calculus, surreal numbers, Nonstandard analysis, integrals, Nonstandard models, derivatives, sequences, series, limits
functions, Nonstandard topology, analysis, calculus, surreal numbers, Nonstandard analysis, integrals, Nonstandard models, derivatives, sequences, series, limits
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 5 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
