Superreal number

Class of extensions of the real numbers

In abstract algebra, the superreal numbers are a class of extensions of the real numbers, introduced by H. Garth Dales and W. Hugh Woodin as a generalization of the hyperreal numbers and primarily of interest in non-standard analysis, model theory, and the study of Banach algebras. The field of superreals is itself a subfield of the surreal numbers.

Dales and Woodin's superreals are distinct from the super-real numbers of David O. Tall, which are lexicographically ordered fractions of formal power series over the reals.^[1]

Formal definition

[edit ]

Suppose X is a Tychonoff space and C(X) is the algebra of continuous real-valued functions on X. Suppose P is a prime ideal in C(X). Then the factor algebra A = C(X)/P is by definition an integral domain that is a real algebra and that can be seen to be totally ordered. The field of fractions F of A is a superreal field if F strictly contains the real numbers $\mathbb {R}$ {\displaystyle \mathbb {R} }, so that F is not order isomorphic to $\mathbb {R}$ {\displaystyle \mathbb {R} }.

If the prime ideal P is a maximal ideal, then F is a field of hyperreal numbers (Robinson's hyperreals being a very special case).^{[citation needed ]}

References

[edit ]

^ Tall, David (March 1980), "Looking at graphs through infinitesimal microscopes, windows and telescopes" (PDF), Mathematical Gazette, 64 (427): 22–49, CiteSeerX 10.1.1.377.4224 , doi:10.2307/3615886, JSTOR 3615886, S2CID 115821551

Bibliography

[edit ]

Dales, H. Garth; Woodin, W. Hugh (1996), Super-real fields, London Mathematical Society Monographs. New Series, vol. 14, The Clarendon Press Oxford University Press, ISBN 978-0-19-853991-9, MR 1420859
Gillman, L.; Jerison, M. (1960), Rings of Continuous Functions, Van Nostrand, ISBN 978-0442026912 {{citation}}: ISBN / Date incompatibility (help)

v t e Number systems
Sets of definable numbers	Natural numbers ( $\mathbb {N}$ {\displaystyle \mathbb {N} }) Integers ( $\mathbb {Z}$ {\displaystyle \mathbb {Z} }) Rational numbers ( $\mathbb {Q}$ {\displaystyle \mathbb {Q} }) Constructible numbers Algebraic numbers ( $\mathbb {A}$ {\displaystyle \mathbb {A} }) Closed-form numbers Periods ( ${\mathcal {P}}$ {\displaystyle {\mathcal {P}}}) Computable numbers Arithmetical numbers Set-theoretically definable numbers Gaussian integers Gaussian rationals Eisenstein integers
Composition algebras	Division algebras: Real numbers ( $\mathbb {R}$ {\displaystyle \mathbb {R} }) Complex numbers ( $\mathbb {C}$ {\displaystyle \mathbb {C} }) Quaternions ( $\mathbb {H}$ {\displaystyle \mathbb {H} }) Octonions ( $\mathbb {O}$ {\displaystyle \mathbb {O} })
Split types	Over $\mathbb {R}$ {\displaystyle \mathbb {R} }: Split-complex numbers Split-quaternions Split-octonions Over $\mathbb {C}$ {\displaystyle \mathbb {C} }: Bicomplex numbers Biquaternions Bioctonions
Other hypercomplex	Dual numbers Dual quaternions Dual-complex numbers Hyperbolic quaternions Sedenions ( $\mathbb {S}$ {\displaystyle \mathbb {S} }) Trigintaduonions ( $\mathbb {T}$ {\displaystyle \mathbb {T} }) Split-biquaternions Multicomplex numbers Geometric algebra/Clifford algebra Algebra of physical space Spacetime algebra Plane-based geometric algebra
Infinities and infinitesimals	Cardinal numbers Extended natural numbers Extended real numbers Projective Extended complex numbers Hyperreal numbers Levi-Civita field Ordinal numbers Supernatural numbers Surreal numbers Superreal numbers
Other types	Irrational numbers Fuzzy numbers Transcendental numbers p-adic numbers (p-adic solenoids) Profinite integers Normal numbers
Classification List

Retrieved from "https://en.wikipedia.org/w/index.php?title=Superreal_number&oldid=1236265091"