A superreal number is a mathematical concept that extends the system of real numbers by incorporating infinitesimals (numbers whose absolute value is smaller than any positive real number but not zero) and infinite numbers (numbers whose absolute value is larger than any real number). While the term "superreal number" can appear in various contexts, it most prominently refers to the specific system developed by David Tall in 1980, primarily designed as a pedagogical tool for teaching concepts related to infinitesimals and non-standard analysis in calculus.
Tall's Superreal Numbers
Tall's construction defines a superreal number as an infinite sequence of real numbers $(x_0, x_1, x_2, \dots)$. This approach allows for an intuitive understanding of numbers that can be "arbitrarily close" to zero or "arbitrarily large."
- Real Numbers: A standard real number $r$ is represented by a constant sequence, such as $(r, r, r, \dots)$.
- Infinitesimals: An infinitesimal superreal number is represented by a sequence whose terms converge to zero. For example, $(1, 1/2, 1/3, \dots, 1/n, \dots)$ can represent an infinitesimal quantity.
- Infinite Numbers: An infinite superreal number is represented by a sequence whose terms grow without bound. For example, $(1, 2, 3, \dots, n, \dots)$ represents an infinite quantity.
Arithmetic operations (addition, subtraction, multiplication) are typically performed term-wise: $(x_0, x_1, \dots) + (y_0, y_1, \dots) = (x_0+y_0, x_1+y_1, \dots)$ $(x_0, x_1, \dots) \times (y_0, y_1, \dots) = (x_0 \times y_0, x_1 \times y_1, \dots)$
The crucial aspect of this system is the definition of equality and order between sequences. Two superreal numbers are considered equivalent if their sequences "eventually agree" or if their difference sequence is an infinitesimal, defined according to specific criteria. This construction forms an ordered ring, meaning it supports addition, subtraction, and multiplication, and has a consistent ordering, but it is not necessarily an ordered field (division by all non-zero elements is not always uniquely defined or guaranteed to result in another superreal number in the same way as for real or hyperreal numbers).
Relation to Other Number Systems
The concept of superreal numbers is sometimes confused with, but distinct from, other number systems that extend the reals:
- Hyperreal Numbers: Hyperreal numbers are a cornerstone of non-standard analysis and are typically constructed using ultrapowers over a non-principal ultrafilter on the natural numbers. They form a true ordered field, possessing the property that every non-zero hyperreal number has a multiplicative inverse. Hyperreals adhere to the transfer principle, meaning that many first-order statements true for real numbers also hold for hyperreal numbers, making them a powerful tool for rigorous calculus. While Tall's superreals introduce similar concepts of infinitesimals and infinities, they generally lack the full field properties and the comprehensive transfer principle found in the hyperreal system.
- Surreal Numbers: Invented by John Conway, surreal numbers represent a much more expansive number system constructed through a process resembling Dedekind cuts on sets of previously defined surreal numbers. The surreal numbers include all real numbers, all ordinal numbers, and an enormous collection of infinitesimals and infinite numbers, forming the largest possible ordered field. Tall's superreals are a considerably less extensive and differently constructed system compared to the surreals.
Purpose and Applications
Tall's superreal numbers are primarily designed for educational purposes. They provide an accessible and intuitive framework for students to understand and work with infinitesimals and infinite quantities, offering a bridge to the concepts of non-standard analysis without requiring the complex machinery of ultrafilters. This approach can simplify the introduction of limits, derivatives, and integrals by leveraging concrete representations of these non-standard quantities.