Nombre superréel

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

Certaines informations figurant dans cet article ou cette section devraient être mieux reliées aux sources mentionnées dans les sections « Bibliographie », « Sources » ou « Liens externes » (novembre 2017).

Vous pouvez améliorer la vérifiabilité en associant ces informations à des références à l'aide d'appels de notes.

En algèbre commutative, les corps de nombres superréels sont des extensions du corps des nombres réels plus générales que les corps de nombres hyperréels.

Soient X un espace de Tychonov, C(X) l'algèbre des fonctions continues sur X à valeurs réelles et P un idéal premier de C(X). Par construction, l'anneau quotient A = C(X)/P est un anneau intègre qui est une algèbre réelle et peut être muni d'un ordre total compatible avec sa structure algébrique. F, le corps des fractions de A, est appelé corps superréel si l'inclusion de $\mathbb {R}$ dans F est stricte. Dans ce cas, $\mathbb {R}$ et F sont non isomorphes en tant que corps ordonnés (on en déduit facilement qu'ils ne sont même pas isomorphes en tant que corps).

Si de plus l'idéal premier P est maximal (autrement dit si F = A), alors F est un corps de nombres hyperréels.

La terminologie est due à Dales et Woodin.

Références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Superreal number » (voir la liste des auteurs).
(en) H. Garth Dales et W. Hugh Woodin, Super-Real Fields, Clarendon Press, 1996.
(en) L. Gillman (en) et M. Jerison, Rings of Continuous Functions, Van Nostrand, 1960.

Portail des mathématiques

v · m Notion de nombre
Ensembles usuels	Entier naturel ( $\scriptstyle \mathbb {N}$ ) Entier relatif ( $\scriptstyle \mathbb {Z}$ ) Nombre décimal ( $\scriptstyle \mathbb {D}$ ) Nombre rationnel ( $\scriptstyle \mathbb {Q}$ ) Nombre réel ( $\scriptstyle \mathbb {R}$ ) Nombre complexe ( $\scriptstyle \mathbb {C}$ )
Extensions	Quaternion ( $\scriptstyle \mathbb {H}$ ) Octonion ( $\scriptstyle \mathbb {O}$ ) Sédénion ( $\scriptstyle \mathbb {S}$ ) Nombre complexe déployé Tessarine Nombre bicomplexe ( $\scriptstyle \mathbb {C} _{2}$ ) Nombre multicomplexe ( $\scriptstyle \mathbb {C} _{n}$ $\scriptstyle {\mathcal {M}}\mathbb {C} _{n}$ ) Biquaternion Coquaternion Quaternion hyperbolique Octonion déployé Nombre hypercomplexe Nombre p-adique ( $\scriptstyle \mathbb {Q} _{p}$ ) Nombre hyperréel Nombre superréel Nombre dual Droite réelle achevée Nombre cardinal Nombre ordinal Nombre surréel Nombre pseudo-réel
Propriétés particulières	Parité Nombre premier Nombre composé Nombre figuré Nombre parfait Nombre positif Nombre négatif Fraction dyadique Nombre irrationnel Nombre algébrique Nombre transcendant Nombre imaginaire pur Nombre de Liouville Période Nombre normal Nombre univers Nombre constructible Nombre réel calculable Nombre transfini Infiniment petit
Exemples	Pi ( $π$ ) Racine carrée de deux ( $\scriptstyle {\sqrt {2}}$ ) Nombre d’or (φ) Zéro (0) Unité imaginaire ( $i$ ) Constante de Neper ( $e$ ) Aleph-zéro (ℵ₀) Table de constantes mathématiques
Articles liés	Chiffre Numération Fraction Opération Calcul Algèbre Arithmétique Suite d'entiers Infini ( $\infty$ ) Chiffre significatif