Following the invention of calculus, serious concerns persisted about the mathematical integrity of the method of infinitesimals. Leibniz made liberal use of infinitesimals, with great effect, but his reasoning was felt to lack rigour. The Irish bishop George Berkeley criticised the assumptions underlying calculus, and his objections were not properly addressed for several centuries. In the 1800s, Bolzano, Cauchy and Weierstrass developed the – definition of limits and continuity, which allowed derivatives and integrals to be defined without recourse to infinitesimal quantities.

In the – formalism, limits are defined by something like this: the limit of a sequence is iff, for any positive , however small, we can find a number such that, for we have . We can then define the derivative of a function in the familiar way:

The – formalism has been a source of strife for generations of students of mathematics. Is there any way to avoid it?

**The Hyperreal Numbers **

In the 1960s, Abraham Robinson showed that the familiar system of real numbers can be *extended* to a (much) larger set called the *hyperreals*. The system of hyperreal numbers, denoted , contains all the real numbers and also infinitesimal numbers and infinite numbers. One of the axioms used to define the hyperreals is that there exists (at least) one infinitesimal number, . The multiplicative inverse of an infinitesimal is infinite, and we usually denote by , so that .

A number is *infinitesimal* if it is smaller than every positive real number and larger than every negative real. The only real number that is infinitesimal is . An infinite number is any element of that is either greater than every real number or less than every real number.

*monad*of x, , a term introduced by Leibniz. Keisler used the technique of a microscope, zooming in on the neighbourhood of . The idea is shown in the Figure above. For each element of , we can consider the set of numbers that differ from by a finite quantity. This set is called the

*galaxy*of , . This idea is visualised in the Figure here:

Much detail is provided in the books of Keisler. We list some important properties of :

- The set monad(0) of infinitesimal elements is a subring of : sums, differences, and products of infinitesimals are infinitesimal.
- Any two monads are equal or disjoint.
- The set galaxy(0) of finite elements is a subring of : sums, differences, and products of finite elements are finite.
- Any two galaxies are either equal or disjoint.
- is infinite if and only if is infinitesimal.
- has positive and negative infinitesimals.
- has positive and negative infinite elements.
- There are infinitely many infinitesimals and infinitely many galaxies in .
- The product of an infinitesimal and an infinite element may be infinitesimal, finite or infinite.

**Nonstandard Analysis**

For any real number , the set contains precisely one real number, itself. For any hyperreal , we call the *standard part* of , and write . The standard part function *rounds off* each finite hyperreal to the nearest real.

Robinson used the term *nonstandard analysis* for his development of calculus using hyperreal numbers. He was able to define derivatives and integrals in a direct way. The standard part may be used to define the derivative:

where is an infinitesimal. Similarly, the integral is defined as the standard part of a suitable infinite sum.

Robinson proved that the system of hyperreals is logically consistent iff the system of real numbers is consistent. This settled the centuries-old arguments about the logical soundness of arguments using infinitesimals. The classic introduction to nonstandard analysis is Robinson’s book *Non-standard analysis* (Robinson, 1996).

[*There is much more to say. I hope to return soon to this topic.*]

** Sources **

Keisler, H. Jerome, 2000: *Elementary Calculus: An Infinitesimal Approach.* On-line edition, revised January 2022. https://people.math.wisc.edu/~keisler/calc.html

Keisler, H. Jerome, 2007: *Foundations of Infinitesimal Calculus.* On-line Edition, https://people.math.wisc.edu/~keisler/foundations.html

Robinson, Abraham, 1996: *Non-standard analysis*, Princeton University Press, ISBN 978-0-6910-4490-3.

* * *

You must be logged in to post a comment.