Superreal number

In abstract algebra, the superreal numbers are a special kind of number that extend the usual real numbers. They were introduced by mathematicians H. Garth Dales and W. Hugh Woodin as a way to generalize the hyperreal numbers.

These numbers are mainly used in areas like non-standard analysis, model theory, and the study of Banach algebras.

The field of superreal numbers is a smaller set within another group of numbers called surreal numbers. This means that superreal numbers fit inside surreal numbers, just like how smaller numbers fit inside bigger numbers.

It’s important to note that Dales and Woodin’s superreals are different from another set of numbers called “super-real numbers” created by David O. Tall. Tall’s version uses fractions of certain kinds of mathematical expressions called formal power series that are arranged in a specific order called lexicographically ordered.

Superreal numbers help mathematicians explore new ideas and solve problems that are difficult with regular numbers. They show how mathematicians can build on existing number systems to create even richer and more flexible tools for understanding math.

Formal definition

Imagine you have a special kind of math space called X. We look at smooth, continuous curves (functions) on this space. If we pick a special group of these curves called a prime ideal P, we can create a new math system called a factor algebra A.

This system follows certain rules and can be arranged in a specific order.

When we build a bigger system from A called the field of fractions F, it becomes a superreal field if it includes more numbers than the usual real numbers we use every day. If the prime ideal P is the biggest possible special group, then F becomes a field of hyperreal numbers. Mathematicians study these types of number systems.