Surreal Number — Definition, Formula & Examples

A surreal number is a member of a vast number system that contains all real numbers, all ordinal numbers (infinities), and infinitesimal quantities. Surreal numbers are built recursively using pairs of sets, where each number is defined as a "cut" between a left set and a right set of previously constructed surreal numbers.

A surreal number is an element of the form $\{L \mid R\}$ , where $L$ and $R$ are sets of surreal numbers such that no element of $L$ is greater than or equal to any element of $R$ . The class of all surreal numbers, denoted $\mathbf{No}$ , forms an ordered field that is a proper class containing the real numbers, the ordinal numbers, and infinitesimal numbers as substructures.

How It Works

Construction begins on "day 0" with the simplest surreal number:

\{ \mid \} = 0

, where both the left and right sets are empty. On day 1, you get

\{0 \mid \} = 1

and

\{ \mid 0\} = -1

. Each new day, you form all valid combinations

\{L \mid R\}

from numbers already created, producing fractions, then eventually all real numbers, infinitesimals like

\{0 \mid 1, \tfrac{1}{2}, \tfrac{1}{4}, \ldots\}

, and infinite numbers like

\{1, 2, 3, \ldots \mid \} = \omega

. Addition and multiplication are defined recursively on these forms, making the surreal numbers a fully ordered field (in the generalized sense).

Worked Example

Problem: Construct the surreal number representing 1/2 and verify it lies between 0 and 1.

Step 1: Write the surreal form with 0 in the left set and 1 in the right set.

x = \{0 \mid 1\}

Step 2: The simplicity rule says this represents the simplest number strictly between 0 and 1. Since no simpler surreal number (integer or previously created value) lies strictly between 0 and 1, this must be a new number.

0 < x < 1

Step 3: By the surreal number construction, the simplest value between 0 and 1 is identified as 1/2.

\{0 \mid 1\} = \frac{1}{2}

Answer: The surreal number

\{0 \mid 1\} = \frac{1}{2}

, and it is indeed strictly between 0 and 1.

Why It Matters

Surreal numbers appear in combinatorial game theory, where game positions are analyzed using the same

\{L \mid R\}

construction. They also provide a rigorous framework for reasoning about infinitesimals, offering an alternative to nonstandard analysis in advanced mathematics and theoretical computer science.

Common Mistakes

Mistake: Assuming surreal numbers are just another name for hyperreal numbers or complex numbers.

Correction: Surreal numbers are a distinct system. Unlike hyperreals, they form a universal ordered field containing all ordered fields. Unlike complex numbers, every surreal number can be compared by size — the surreals are totally ordered.