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 actually a smaller set within another group of numbers called surreal numbers. This means that superreal numbers fit inside surreal numbers, just like how rational numbers fit inside real 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, and you look at all the smooth, continuous curves (functions) on that space. If you pick a special group of these curves called a prime ideal P, you 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 you 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, a type of number system studied by mathematicians.