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.
Nombre de LiouvilleEn mathématiques, et plus précisément en théorie des nombres, un nombre de Liouville est un nombre réel x ayant la propriété suivante :pour tout entier n, il existe des entiers q > 1 et p tels que 0 < |x – p/q| < 1/q ou, ce qui est équivalent : pour tout entier n et tout réel , il existe des entiers q > 0 et p tels que 0 < |x – p/q| < A/q. Un nombre de Liouville peut ainsi être approché « de manière très fine » par une suite de nombres rationnels.
Méthode d'exhaustionEn mathématiques, la méthode d'exhaustion est un procédé ancien de calcul d'aires, de volumes et de longueurs de figures géométriques complexes. La quadrature est la recherche de l'aire d'une surface, la rectification est celle de la longueur d'une courbe. Dans le cas du calcul de l'aire A d'une figure plane, la méthode d'exhaustion consiste en un double raisonnement par l'absurde : on suppose que son aire est strictement supérieure à A, puis on aboutit à une contradiction ; on suppose ensuite que son aire est strictement inférieure à A, puis on aboutit à une autre contradiction.
Constante d'Euler-MascheroniEn mathématiques, la constante d'Euler-Mascheroni, ou constante d'Euler, est une constante mathématique définie comme la limite de la différence entre la série harmonique et le logarithme naturel. On la note usuellement (gamma minuscule). La constante d'Euler-Mascheroni γ est définie de la manière suivante : De façon condensée, on obtient : La constante peut également être définie sous la forme explicite d'une série (telle qu'elle fut d'ailleurs introduite par Euler) : La série harmonique diverge, tout comme la suite de terme général ln(n) ; l'existence de cette constante indique que les deux expressions sont asymptotiquement liées.
Espace de Baire (théorie des ensembles)En mathématiques, et plus précisément en topologie générale, l’espace de Baire est le nom donné — d'après René Baire — à l'ensemble de toutes les suites d'entiers, muni d'une certaine topologie. Cet espace est souvent utilisé en théorie descriptive des ensembles, au point que ses éléments sont souvent appelés des « réels ». On le note souvent B, NN, ωω, ou ωω. On appelle espace de Baire, noté NN, le produit cartésien d'un ensemble dénombrable de copies de l'ensemble N des entiers naturels, muni de la topologie produit, où chaque copie de N est munie de la topologie discrète.
Charles HermiteCharles Hermite (1822-1901) est un mathématicien français. Ses travaux concernent surtout la théorie des nombres, les formes quadratiques, les polynômes orthogonaux, les fonctions elliptiques et les équations différentielles. Plusieurs entités mathématiques sont qualifiées d'hermitiennes en son honneur. Il est aussi connu comme l'un des premiers à utiliser les matrices. Il fut le premier à montrer, en 1873, qu'une constante naturelle de l'analyse, en l'occurrence le nombre e, base des logarithmes naturels, est transcendant.
Théorème de Hurwitz (approximation diophantienne)En théorie des nombres, le théorème de Hurwitz sur les approximations diophantiennes, établi en 1891 par Adolf Hurwitz, énonce que pour tout nombre irrationnel , il existe une infinité de rationnels tels que L'hypothèse d'irrationalité de est indispensable, puisque la mesure d'irrationalité d'un rationnel est égale à 1. L'ensemble des couples vérifiant l'inégalité est infini si et seulement si le sous-ensemble de ceux pour lesquels et sont premiers entre eux l'est.
List of mathematical jargonThe language of mathematics has a vast vocabulary of specialist and technical terms. It also has a certain amount of jargon: commonly used phrases which are part of the culture of mathematics, rather than of the subject. Jargon often appears in lectures, and sometimes in print, as informal shorthand for rigorous arguments or precise ideas. Much of this is common English, but with a specific non-obvious meaning when used in a mathematical sense. Some phrases, like "in general", appear below in more than one section.
Théorème de NivenEn mathématiques, le théorème de Niven, d'après Ivan Niven, énonce que les seules valeurs rationnelles θ dans l'intervalle 0° ≤ θ ≤ 90° telles que leur sinus soit aussi rationnel sont: Ce théorème apparaît comme le corollaire 3.12 de l'ouvrage de Niven sur les nombres irrationnels. Le théorème s'étend à d'autres fonctions trigonométriques. Pour des valeurs rationnelles de θ, les seules valeurs rationnelles du sinus et cosinus sont 0, ±1/2, et ±1 ; les seules valeurs rationnelles du séquant et coséquant sont ±1 et ±2 ; et pour la tangente et cotangente, ce sont 0 et ±1.
