Nombre surréel

vignette|Représentation d'une partie de l'arbre des nombres surréels. En mathématiques, les nombres surréels sont les éléments d'une classe incluant celle des réels et celle des nombres ordinaux transfinis, et sur laquelle a été définie une structure de corps ; ceci signifie en particulier que l'on définit des inverses des nombres ordinaux transfinis ; ces ordinaux et leurs inverses sont respectivement plus grands et plus petits que n'importe quel nombre réel positif. Les surréels ne forment pas un ensemble au sens de la théorie usuelle. Les nombres surréels ont été introduits par John Conway et popularisés par Donald Knuth en 1974 dans son livre Surreal Numbers: How Two Ex-Students Turned on to Pure Mathematics and Found Total Happiness (littéralement Les Nombres surréels : comment deux ex-étudiants se mirent aux mathématiques pures et trouvèrent le bonheur total). Les nombres pseudo-réels, également introduits par Knuth, sont une sur-classe des nombres surréels, construits avec des conditions plus faibles que ces derniers. La construction des nombres surréels est similaire à la construction des nombres réels via les coupures de Dedekind, mais utilise le concept de récurrence transfinie. Elle repose sur la construction de nouveaux nombres représentés grâce à deux ensembles de nombres déjà construits, et (pour left et right, gauche et droite), éventuellement vides. Le nouveau nombre ainsi construit, noté , sera plus grand que tout nombre de et plus petit que tout nombre de , selon un ordre qui sera défini plus loin. Pour que cela soit possible, on impose une restriction sur et : il faut que chaque nombre de soit plus petit que chaque nombre de . Soient et deux ensembles de nombres surréels tels que : pour tout et tout , (version stricte de la relation d'ordre large définie plus bas). Alors, est un nombre surréel. Étant donné un nombre surréel , on appelle et l'ensemble de gauche et l'ensemble de droite de , respectivement. Pour éviter l'inflation d'accolades, on abrégera en , en et en .

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (9)

Concepts associés (23)

Cours associés (1)

Séances de cours associées (32)

From trees to barcodes and back again II: Combinatorial and probabilistic aspects of a topological inverse problem

Kathryn Hess Bellwald, Lida Kanari, Adélie Eliane Garin

In this paper we consider two aspects of the inverse problem of how to construct merge trees realizing a given barcode. Much of our investigation exploits a recently discovered connection between the symmetric group and barcodes in general position, based ...

2024

Nearly-Tight and Oblivious Algorithms for Explainable Clustering

Ola Nils Anders Svensson, Adam Teodor Polak, Buddhima Ruwanmini Gamlath Gamlath Ralalage, Xinrui Jia

We study the problem of explainable clustering in the setting first formalized by Dasgupta, Frost, Moshkovitz, and Rashtchian (ICML 2020). A k-clustering is said to be explainable if it is given by a decision tree where each internal node splits data point ...

2021

A p-weighted limiter for the discontinuous Galerkin method on one-dimensional and two-dimensional triangular grids

Qian Wang

This paper presents an accuracy-preserving p-weighted limiter for discontinuous Galerkin methods on one-dimensional and two-dimensional triangular grids. The p-weighted limiter is the extension of the second-order WENO limiter by Li et al. [W. Li, J. Pan a ...

2020

Nombre réel

En mathématiques, un nombre réel est un nombre qui peut être représenté par une partie entière et une liste finie ou infinie de décimales. Cette définition s'applique donc aux nombres rationnels, dont les décimales se répètent de façon périodique à partir d'un certain rang, mais aussi à d'autres nombres dits irrationnels, tels que la racine carrée de 2, π et e.

Infiniment petit

Les infinitésimaux (ou infiniment petits) ont été utilisés pour exprimer l'idée d'objets si petits qu'il n'y a pas moyen de les voir ou de les mesurer. Le mot vient de infinitesimus (latin du ), ce qui signifiait à l'origine l'élément dans une série. Selon la notation de Leibniz, si x est une quantité, dx et Δx peuvent représenter une quantité infinitésimale de x. Dans le langage courant, un objet infiniment petit est un objet qui est plus petit que toute mesure possible, donc non pas d'une taille zéro, mais si petit qu'il ne peut être distingué de zéro par aucun moyen disponible.

Corps réel clos

En mathématiques, un corps réel clos est un corps totalement ordonnable dont aucune extension algébrique propre n'est totalement ordonnable. Les corps suivants sont réels clos : le corps des réels, le sous-corps des réels algébriques, le corps des réels calculables (au sens de Turing), le corps des , le corps des séries de Puiseux à coefficients réels, tout corps superréel (en particulier tout corps hyperréel).

MATH-110(a): Advanced linear algebra I

L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire et de démontrer rigoureusement les résultats principaux de ce sujet.

Algèbre linéaire: formes multilinéaires MATH-110(a): Advanced linear algebra I

Explore les formes multilinéaires dans l'algèbre linéaire, en mettant l'accent sur leurs propriétés et applications.

Nombres de complexes : Opérations et propriétés MATH-110(a): Advanced linear algebra I

Explore les propriétés et les opérations des nombres complexes en mathématiques.

Endomorphismes : Équivalence de la matrice MATH-110(a): Advanced linear algebra I

Explore les endomorphismes, l'équivalence matricielle et la carte commune comme homomorphisme de groupe.