[Paper Review] Nonstandard Analysis - A Simplified Approach

Robert A. Herrmann|arXiv (Cornell University)|Oct 22, 2003

Mathematical and Theoretical Analysis4 references3 citations

TL;DR

This paper presents a simplified, accessible introduction to nonstandard analysis using equivalence classes of sequences and ultrafilters to construct a hyperreal number system that rigorously incorporates infinitesimals. It establishes the *-transfer principle, enabling direct translation of standard analysis concepts into nonstandard form, and demonstrates foundational applications in calculus, continuity, differentiation, and integration with full proofs grounded in elementary set theory and model theory.

ABSTRACT

In this monograph, nonstandard characteristics for many notions from real analysis are obtained and applied. However, only two simple types of atomic formula are used and almost all of the characteristics are shown to hold for a simple ultrapower styled structure generated by any free ultrafilter over the natural numbers.

Motivation & Objective

• To provide a simplified, intuitive approach to nonstandard analysis accessible to students and researchers without advanced model theory.
• To establish the existence of infinitesimals as formal mathematical objects using ultrafilters and equivalence classes of sequences.
• To demonstrate the *-transfer principle as a foundational tool for translating standard analysis results into the nonstandard framework.
• To apply the hyperreal number system to core concepts in real analysis, including limits, continuity, derivatives, and integration.
• To present a self-contained, informal yet rigorous development of basic nonstandard analysis, avoiding reliance on advanced logical constructs like saturated models or internal sets.

Proposed method

• Constructs a hyperreal field via equivalence classes of sequences of real numbers under a free ultrafilter.
• Defines the *-transform of sets and relations using the ultrafilter construction to extend standard mathematical objects into the hyperreal universe.
• Applies the *-transfer principle to ensure that first-order statements true in the standard universe remain true in the hyperreal universe.
• Uses the hyper-extension of sets and relations to define hyperfinite sums, hypercontinuous functions, and hyperintegers.
• Applies the standard object generator to map standard sets and functions to their hyperreal counterparts.
• Employs filters and ultrafilters—particularly the cofinite filter and free ultrafilters—as foundational tools for constructing the hyperreal number system.

Experimental results

Research questions

• RQ1 How can infinitesimals be rigorously constructed within a standard set-theoretic framework without advanced model theory?
• RQ2 What conditions ensure that first-order statements in standard analysis are preserved under the *-transfer principle in the hyperreal extension?
• RQ3 How can the concepts of convergence, continuity, and differentiability be reformulated using infinitesimals and hyperfinite approximations?
• RQ4 In what way does the hyperreal construction via sequences and ultrafilters yield a totally ordered field containing both infinite and infinitesimal numbers?
• RQ5 How do standard results in Riemann integration and the fundamental theorems of calculus emerge naturally from hyperfinite summation and the hyperreal framework?

Key findings

• The hyperreal number system is constructed as a quotient of sequences of real numbers modulo a free ultrafilter, yielding a totally ordered field containing infinitesimals and infinite numbers.
• The *-transfer principle holds: any first-order statement true in the standard universe is also true in the hyperreal universe, enabling direct transfer of analysis results.
• Infinitesimals are represented as equivalence classes of null sequences, with the maximal ideal μ(0) corresponding to the set of all infinitesimal hyperreals.
• The hyperfinite sum of a hyperfinite sequence of real numbers corresponds to the standard integral in the limit, establishing equivalence between the hyperfinite and Riemann integrals.
• The fundamental theorem of calculus and L’Hôpital’s rule are rederived using infinitesimal differentials and the hyperfinite increment, showing consistency with classical results.
• The paper demonstrates that the hyperreal framework allows for a more intuitive formulation of limits, continuity, and convergence, particularly through the use of cluster points and hyperfinite approximations.