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.
Construction des nombres réelsEn mathématiques, il existe différentes constructions des nombres réels, dont les deux plus connues sont : les coupures de Dedekind, qui définissent, via la théorie des ensembles, un réel comme l'ensemble des rationnels qui lui sont strictement inférieurs ; les suites de Cauchy, qui définissent, via l'analyse, un réel comme une suite de rationnels convergeant vers lui. C'est à partir des années 1860 que la nécessité de présenter une construction des nombres réels se fait de plus en plus pressante, dans le but d'asseoir l'analyse sur des fondements rigoureux.
Completeness of the real numbersCompleteness is a property of the real numbers that, intuitively, implies that there are no "gaps" (in Dedekind's terminology) or "missing points" in the real number line. This contrasts with the rational numbers, whose corresponding number line has a "gap" at each irrational value. In the decimal number system, completeness is equivalent to the statement that any infinite string of decimal digits is actually a decimal representation for some real number.
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 ...
Definable real numberInformally, a definable real number is a real number that can be uniquely specified by its description. The description may be expressed as a construction or as a formula of a formal language. For example, the positive square root of 2, , can be defined as the unique positive solution to the equation , and it can be constructed with a compass and straightedge. Different choices of a formal language or its interpretation give rise to different notions of definability.
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.
Droite réelle achevéeEn mathématiques, la droite réelle achevée désigne l'ensemble ordonné constitué des nombres réels auxquels sont adjoints deux éléments supplémentaires : un plus grand élément, noté +∞ et un plus petit élément, noté –∞. Elle est notée [–∞, +∞], R ∪ {–∞, +∞} ou (notation toutefois ambiguë, car la barre signifie généralement "complémentaire" en théorie des ensembles, ou "adhérence" en topologie). Cet ensemble est très utile en analyse, notamment pour généraliser les formules et théorèmes sur les limites sans avoir à effectuer une disjonction des cas, et dans certaines théories de l'intégration.
Fraction dyadiquevignette|upright=1.2|Fractions rationnelles dyadiques dans l'intervalle de 0 à 1|alt=Intervalle unité subdivisé en 1/128 èmes En mathématiques, une fraction dyadique ou rationnel dyadique est un nombre rationnel qui peut s'écrire sous forme de fraction avec pour dénominateur une puissance de deux. On peut noter l'ensemble des nombres dyadiques formellement par Par exemple, 1/2 ou 3/8 sont des fractions dyadiques, mais pas 1/3.
Groupe archimédienUn groupe archimédien est, en algèbre générale, un groupe totalement ordonné vérifiant la propriété d'Archimède, à savoir: pour toute paire d'éléments positifs du groupe, on peut majorer l'un par un multiple entier de l'autre. Par exemple, l'ensemble R des nombres réels muni de l'addition et de la relation d'ordre usuelle est un groupe archimédien. Le terme d'archimédien, popularisé par le mathématicien Otto Stolz, fait référence au mathématicien grec Archimède qui énonce cette propriété dans ses travaux.
Limite supérieure et limite inférieurevignette|upright=1.8|Exemple de recherche de limites inférieure et supérieure. La suite (x) est représentée en bleu. En mathématiques, plus précisément en analyse réelle, les limites inférieures et supérieures sont des outils d'étude des suites de nombres réels. Une telle suite n'est en général ni monotone, ni convergente. L'introduction des limites supérieure et inférieure permet de retrouver, partiellement, de telles propriétés. Il s'agit d'un cas particulier de valeurs d'adhérence de la suite.
Axiome du choixvignette|upright=1.5|Pour tout ensemble d'ensembles non vides (les jarres), il existe une fonction qui associe à chacun de ces ensembles (ces jarres) un élément contenu dans cet ensemble (cette jarre). En mathématiques, l'axiome du choix, abrégé en « AC », est un axiome de la théorie des ensembles qui Il a été formulé pour la première fois par Ernest Zermelo en 1904 pour la démonstration du théorème de Zermelo. L'axiome du choix peut être accepté ou rejeté, selon la théorie axiomatique des ensembles choisie.
Analyse réelleL'analyse réelle est la branche de l'analyse qui étudie les ensembles de réels et les fonctions de variables réelles. Elle étudie des concepts comme les suites et leurs limites, la continuité, la dérivation, l'intégration et les suites de fonctions. La présentation de l'analyse réelle dans les ouvrages avancés commence habituellement avec des démonstrations simples de résultats de la théorie naïve des ensembles, une définition claire de la notion de fonction, une introduction aux entiers naturels et la démonstration importante du raisonnement par récurrence.
Projectively extended real lineIn real analysis, the projectively extended real line (also called the one-point compactification of the real line), is the extension of the set of the real numbers, , by a point denoted ∞. It is thus the set with the standard arithmetic operations extended where possible, and is sometimes denoted by or The added point is called the point at infinity, because it is considered as a neighbour of both ends of the real line. More precisely, the point at infinity is the limit of every sequence of real numbers whose absolute values are increasing and unbounded.
Rationnel de GaussEn mathématiques, un est un nombre complexe dont les parties réelle et imaginaire sont des nombres rationnels. L'ensemble des rationnels de Gauss est donc C'est un sous-corps de C, généralement noté Q(i) ou Q[i]. Ces nombres tirent leur nom du mathématicien allemand Carl Friedrich Gauss. Q(i) est le corps de rupture du polynôme X + 1. C'est donc un corps quadratique imaginaire et un corps cyclotomique. L'anneau des entiers de Q(i) est l'anneau Z[i] des entiers de Gauss. Son discriminant est –4.
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Schéma d'axiomes de remplacementLe schéma d'axiomes de remplacement, ou schéma d'axiomes de substitution, est un schéma d'axiomes de la théorie des ensembles introduit en 1922 indépendamment par Abraham Adolf Fraenkel et Thoralf Skolem. Il assure l'existence d'ensembles qui ne pouvaient être obtenus dans la théorie des ensembles de Ernst Zermelo, et offre ainsi un cadre axiomatique plus fidèle à la théorie des ensembles de Georg Cantor. En ajoutant à la théorie de Zermelo le schéma d'axiomes de remplacement, on obtient la théorie de Zermelo-Fraenkel, notée ZFC ou ZF suivant que l'on comprend ou non l'axiome du choix.
Schéma d'axiomesEn logique mathématique, la notion de schéma d’axiomes généralise celle d'axiome. Un schéma d’axiomes est une formule exprimée dans le métalangage d'un système axiomatique, dans lequel une ou plusieurs métavariables apparaissent. Ces variables, qui sont des constructions métalinguistiques, représentent n'importe quel terme ou sous-formule du système logique, qui peut être (ou ne pas être) tenu de satisfaire certaines conditions. Souvent, de telles conditions exigent que certaines des variables soient libres, ou que certaines variables n'apparaissent pas dans la sous-formule ou le terme.
Nombre positifUn nombre positif est un nombre qui est supérieur à zéro, par exemple 3 ou e. En dehors des textes mathématiques, lorsqu'on parle de nombres positifs ou négatifs, le nombre zéro est généralement exclu. Ainsi le dictionnaire Lexis précise : . L'Académie française, dans la neuvième édition de son dictionnaire précise quant à elle qu'un nombre positif est un nombre . En français, le nombre zéro est considéré tantôt comme étant à la fois positif et négatif, tantôt comme n'étant ni positif, ni négatif.
Complétude (logique)En logique mathématique et métalogique, un système formel est dit complet par rapport à une propriété particulière si chaque formule possédant cette propriété peut être prouvée par une démonstration formelle à l'aide de ce système, c'est-à-dire par l'un de ses théorèmes ; autrement, le système est dit incomplet. Le terme « complet » est également utilisé sans qualification, avec des significations différentes selon le contexte, la plupart du temps se référant à la propriété de la validité sémantique.
Schéma d'axiomes de compréhensionLe schéma d'axiomes de compréhension, ou schéma d'axiomes de séparation, est un schéma d'axiomes de la théorie des ensembles introduit par Zermelo dans sa théorie des ensembles, souvent notée Z. On dit souvent en abrégé schéma de compréhension ou schéma de séparation. La théorie des classes permet de l'exprimer comme un seul axiome. Étant donné un ensemble A et une propriété P exprimée dans le langage de la théorie des ensembles, il affirme l'existence de l'ensemble B des éléments de A vérifiant la propriété P.
