Another View of Nonstandard Analysis

William C. Davidon, Haverford College, Haverford PA 19041 wdavidon@haverford.edu
... there are good reasons to believe that nonstandard analysis, in some version or other, will be the analysis of the future. Kurt Gödel [1973]

0. Introduction

In 1961, Abraham Robinson based a new way to study limits, continuity, and other aspects of analysis on Thoralf Skolem's nonstandard models for Peano arithmetic [1934], adding a sound generalization of Leibniz's infinitesimals to the 19th century epsilon-delta methods now considered standard. Generalizations of Robinson's nonstandard analysis have since been used in such diverse fields as functional analysis, number theory, probability, dynamical systems, and mathematical economics [1988]. Nonstandard analysis provides powerful new tools not only for proving or refuting conjectures and simplifying standard proofs, but also for giving precise meaning to many informal notions - like large integers and neighboring points - useful for constructing mathematical models for diverse phenomena and in teaching calculus, analysis, and topology. To make the subject more accessible to students and non-specialists, this note assumes no familiarity with the concepts from mathematical logic [1961], superstructures on ultrapowers [1962], or axiomatic set theory [1977] used in other approaches.

All versions of nonstandard analysis relate standard numbers to others in much the way that numbers like 1/7 and used in exact and symbolic computations relate to numbers like .142857 and 3.14159 used in numerical approximations. While nonstandard integers are too large to be uniquely specified, each has a decimal representatiion with a nonstandard number of digits, and students can compute with these in much the way that they do with standard integers, without reference to any formal theory; e.g. (312...231)2 = 97...361. Each nonstandard positive integer exceeds all standard ones, and each has the familiar arithmetic properties of all standard integers; e.g., each is a product of primes and a sum of four squares. Some mathematicians use Edward Nelson's Internal Set Theory [1977] to classify both standard and nonstandard integers as finite, and hence members of the ordered ring Z of finite integers. Others use a more traditional set theory to classify nonstandard integers as neither finite nor members of Z.

To combine certain desirable features of both classifications, we introduce the notion that nonstandard integers are guests of Z rather than nonstandard members, and that these integers, their reciprocals, and certain other nonstandard numbers are guests of the ordered field R of reals. We identify the guests of R with certain of the numbers introduced by J. H. Conway [1976], and view all these numbers as points on a continuous number line.

1. Surreals

We identify the numbers 0, 1, 2 ... with finite ordinals, non-negative integers, and natural numbers. Children learn to compute with these and other real numbers long before seeing axioms for ordered fields, or constructions using Dedekind cuts or Cauchy sequences. We can similarly learn to compute with other numbers before seeing axioms or constructions for them. In particular, the familiar addition and multiplication operations on finite ordinals extend naturally to infinite ones so that each set of ordinals generates a field. Differences of ordinals generalize integers, and ratios of these differences generalize rationals; e.g., subtracting 1 from the least infinite ordinal yields the generalized integer - 1 which is not an ordinal, and dividing 1 by yields the generalized rational 1/ which is positive and less than all positive reals. Instead of using different constructions for integers, rationals, and other reals, J. H. Conway [1976] found a single construction for all these numbers and others, which Donald Knuth [1974] named "surreals". Harry Gonshor [1986] identified surreals with two-valued sequences, finite and infinite. The only properties of surreals used here are:

One example of an ordered field extending R consists of rational functions over R under pointwise addition and multiplication, ordered by f < g iff for some a R, f(x) < g(x) for all x > a. This extension is isomorphic to the ordered field R( ) of surreals generated by .

Definitions

A surreal x is No real is -large, the ordinal 0 is the only -small real, an ordinal is -large iff it is infinite, and a surreal is -large iff it is not between two reals. No real is -near another, each surreal is -near at most one real, and a surreal is -large iff it is -near no real. A surreal is -near a real iff no other real is between them, and a surreal is -near a non-zero real iff their ratio is -near 1 R.

2. *Reals

We assume that each infinite sequence of real numbers sn has a surreal *tag s* satisfying these

Axioms:

Some consequences of these axioms are:

Definitions

A surreal number is All reals are *reals, all members of X R are *members, and a *member of X is a member iff it is real. A subset in R has guests iff it has infinitely many members, and subsets have different guests iff they have infinitely many different members. Each guest of R is a guest of at most one member of each partition of R, and a partition of R is finite iff each guest of R is a guest of some member of the partition.

Subset X R is

3. Continuity and Differentiability

Definitions

Each function between subsets in R has just one *value at each *member of its domain. No ambiguity results from using "f(x)" to denote both the value and *value of f:X Y at x, since these are equal whenever both are defined. All *values of f:X Y are *members of Y, and f(x) is a guest of Y iff x is a guest of X and of no level set of f in X. Functions with domain X R have the same *value at guest x of X iff they have the same restriction to some subset in X with guest x.

Subset X in R is a n'hood of x X iff x + x is a *member of X for all -small guests x of R. Function f:X R over a n'hood X of x is

Function f:X R over an open subset X in R is continuous but not uniformly continuous iff for all -small guests x, f(x,x) is -small for all members x of X and not for some guests x of X. For example, the squaring function from R to R is continuous but not uniformly continuous since for all -small guests x, (x2) = 2x x + (x)2 is -small for all x R but not for some -large guests x of R.

4. Transfer Principles

Theorems about reals and finite sets of reals generalize to theorems about *reals and finite sets of *reals; e.g., a *real is non-negative iff it is the square of a *real, and each polynomial of odd degree with *real coefficients has a *real root. To generalize theorems about infinite sets, we assign a *tag X* to certain infinite sequences of nonempty sets Xn.

Axiom

Definitions

The ordered field R of real numbers yields the standard ordered field *R, consisting of the members and guests of R. If set X yields a standard *X, then so does the set PX of all subsets in X, with *(PX) P(*X). Ordered by inclusion, standard subsets in *X form a Boolean subalgebra in the Boolean algebra *(PX) of internal subsets, which is in turn a Boolean subalgebra in the Boolean algebra P(*X) of all subsets in *X; *(PX) = P(*X) iff X is finite.

If sets X and Y yield standard subsets *X and *Y in a standard set, then so do XY and XY; with *(XY) = *X*Y and *(XY) = *X*Y.

Theorems about reals and sets of reals generalize to theorems about *reals and internal sets of *reals, provided each specified set of reals is replaced by its *std; e.g., since each nonempty subset in the set N of finite ordinals has a least member, so each nonempty internal subset in the set *N has a least member, even though some non-internal subsets in *N, like the set of all guests of N, have no least member.

5. References

[1934] Thoralf Skolem, Fundamenta Mathematicae, 23, 150-161
[1961] Abraham Robinson, Proc. Royal Academy of Amsterdam, ser. A, 64, 432-440
[1962] W.A.J. Luxemburg, Bull. of the American Mathematical Society, ser. 2, 68, 416-419
[1973] quoted on page x of Abraham Robinson, Nonstandard Analysis, North Holland
[1974] Donald E. Knuth, Surreal Numbers, Addison-Wesley
[1976] J. H. Conway, On Numbers and Games, Academic Press
[1977] Edward Nelson, Bull. of the American Mathematical Society, 83, 1165-1198
[1986] Harry Gonshor, An Introduction to the Theory of Surreal Numbers, Cambridge Univ. Press
[1988] Nigel Cutland, Nonstandard Analysis and its Applications, London Mathematical Society

Last updated November 24, 1999