Nombre réelEn 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.
Nombre surréelvignette|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.
Nombre rationnelUn nombre rationnel est, en mathématiques, un nombre qui peut s'exprimer comme le quotient de deux entiers relatifs. On peut ainsi écrire les nombres rationnels sous forme de fractions notées où , le numérateur, est un entier relatif et , le dénominateur, est un entier relatif non nul. Un nombre entier est un nombre rationnel : il peut s'exprimer sous la forme . Chaque nombre rationnel peut s'écrire d'une infinité de manières différentes sous forme de fraction, par exemple ...
Propriété de la borne supérieureEn mathématiques, un ensemble ordonné est dit posséder la propriété de la borne supérieure si tous ses sous-ensembles non vides et majorés possèdent une borne supérieure. De même, un ensemble ordonné possède la propriété de la borne inférieure si tous ses sous-ensembles non vides et minorés possèdent une borne inférieure. Il s'avère que ces deux propriétés sont équivalentes. On dit aussi parfois qu'un ensemble possédant la propriété de la borne supérieure est Dedekind complet. Soit un ensemble ordonné (partiellement ou totalement).
ArchimédienÀ l'origine, l'énoncé de l'axiome d'Archimède est le suivant : « Pour deux grandeurs inégales, il existe toujours un multiple entier de la plus petite, supérieur à la plus grande. » Une structure algébrique est dite archimédienne si ses éléments vérifient une telle propriété. Intuitivement, la propriété d'Archimède indique que pour deux valeurs, la plus grande pourra toujours être mesurée à l'aune de la plus petite : en ajoutant un nombre fini de fois la plus petite valeur, on finira toujours par dépasser la plus grande.
Nombre irrationnelUn nombre irrationnel est un nombre réel qui n'est pas rationnel, c'est-à-dire qu'il ne peut pas s'écrire sous la forme d'une fraction a/b, où a et b sont deux entiers relatifs (avec b non nul). Les nombres irrationnels peuvent être caractérisés de manière équivalente comme étant les nombres réels dont le développement décimal n'est pas périodique ou dont le développement en fraction continue est infini. On distingue, parmi les nombres irrationnels, deux sous-ensembles complémentaires : les nombres algébriques non rationnels et les nombres transcendants.
Coupure de Dedekindvignette|droite|upright=1.6|Dedekind introduit les coupures pour représenter les nombres irrationnels. En mathématiques, une coupure de Dedekind d'un ensemble totalement ordonné E est un couple (A, B) de sous-ensembles de E, lesquels forment à eux deux une partition de E, et où tout élément de A est inférieur à tout élément de B. D'une certaine façon, une telle coupure conceptualise quelque chose qui se trouverait « entre » A et B, mais qui ne serait pas forcément un élément de E.
