Transcendental extensionIn mathematics, a transcendental extension is a field extension such that there exists an element in the field that is transcendental over the field ; that is, an element that is not a root of any univariate polynomial with coefficients in . In other words, a transcendental extension is a field extension that is not algebraic. For example, are both transcendental extensions of A transcendence basis of a field extension (or a transcendence basis of over ) is a maximal algebraically independent subset of over Transcendence bases share many properties with bases of vector spaces.
Identité d'EulerEn mathématiques, l'identité d'Euler est une relation entre plusieurs constantes fondamentales et utilisant les trois opérations arithmétiques d'addition, multiplication et exponentiation : où la base e du logarithme naturel représente l'analyse, l'unité imaginaire i représente l'algèbre, la constante d'Archimède π représente la géométrie, . Elle est nommée d'après le mathématicien Leonhard Euler qui la fait apparaître dans son Introductio, publié à Lausanne en 1748.
Cantor's first set theory articleCantor's first set theory article contains Georg Cantor's first theorems of transfinite set theory, which studies infinite sets and their properties. One of these theorems is his "revolutionary discovery" that the set of all real numbers is uncountably, rather than countably, infinite. This theorem is proved using Cantor's first uncountability proof, which differs from the more familiar proof using his diagonal argument.
Conjecture des quatre exponentiellesEn mathématiques, et plus particulièrement en théorie des nombres transcendants, la conjecture des quatre exponentielles est une conjecture qui, étant donné de bonnes conditions sur les exposants, garantirait la transcendance d'au moins une des quatre exponentielles. La conjecture, avec deux conjectures apparentées plus fortes, est au sommet d'une hiérarchie de conjectures et de théorèmes concernant la nature arithmétique d'un certain nombre de valeurs de la fonction exponentielle.
Presque tousEn mathématiques, le terme « presque tous » signifie « tous sauf une quantité négligeable ». Plus précisément, si est un ensemble, « presque tous les éléments de » signifie « tous les éléments de à l'exception de ceux d'un sous-ensemble négligeable de ». La signification de « négligeable » dépend du contexte mathématique : par exemple, cela peut signifier fini, dénombrable ou de mesure nulle . En revanche, " presque aucun " signifie "un montant négligeable"; c'est-à-dire "presque aucun élément de " signifie "une quantité négligeable d'éléments de ".
Nombre transcendantEn mathématiques, un nombre transcendant sur les rationnels est un nombre réel ou complexe qui n'est racine d'aucun polynôme non nuloù n est un entier naturel et les coefficients a sont des rationnels non tous nuls, ou encore (en multipliant ces n + 1 rationnels par un dénominateur commun) qui n'est racine d'aucun polynôme non nul à coefficients entiers. Un nombre réel ou complexe est donc transcendant si et seulement s’il n'est pas algébrique. Comme tout nombre rationnel est algébrique, tout nombre transcendant est donc un nombre irrationnel.
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.
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.
