Superreal number
From Biocrawler, the free encyclopedia.
The superreal numbers compose a more inclusive category than hyperreal number.
Suppose X is a Tychonoff space, also called a T3.5 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 which is a real algebra and which can be seen to be totally ordered. The quotient field F of A is a superreal field if F strictly contains the real numbers 
, so that F is not order isomorphic to , though they may be isomorphic as fields.
If the prime ideal P is a maximal ideal, then F is a field of hyperreal numbers.
The terminology is due to Dales and Woodin.
[edit]
References
- H. Garth Dales and W. Hugh Woodin: Super-Real Fields, Clarendon Press, 1996.
- L. Gillman and M. Jerison: Rings of Continuous Functions, Van Nostrand, 1960.
|
Topics in mathematics related to quantity | |
| Numbers | Natural numbers | Integers | Rational numbers | Constructible numbers | Algebraic numbers | Computable numbers | Real numbers | Complex numbers | Split-complex numbers | Bicomplex numbers | Hypercomplex numbers | Quaternions | Octonions | Sedenions | Superreal numbers | Hyperreal numbers | Surreal numbers | Nominal numbers | Ordinal numbers | Cardinal numbers | p-adic numbers | Integer sequences | Mathematical constants | Large numbers | Infinity |
