Constante de ChampernowneEn mathématiques, la constante de Champernowne, noté est un nombre réel transcendant, nommé ainsi en l'honneur du mathématicien D. G. Champernowne qui l'a introduit en 1933. Il s'agit d'un nombre univers simple à construire, puisqu'il égrène, après la virgule, la suite croissante des entiers naturels : La suite des chiffres de son écriture est un mot infini qui est important en combinatoire des mots : il a la propriété que toute séquence finie de chiffres consécutifs apparaît une infinité de fois dans la suite, mais que la distance qui sépare deux occurrences d'une même séquence de chiffres n'est pas bornée.
Fonction algébriqueEn mathématiques, une fonction algébrique d'indéterminées est une fonction F qui satisfait l'équation non triviale où P est un polynôme à n + 1 variables sur un corps commutatif K. En cela, F est une fonction implicite qui résout une équation algébrique. Un exemple simple serait La classe des fonctions algébriques contient toutes les fonctions rationnelles, mais est plus grande. Du point de vue de l'algèbre générale, il s'agit, pour tout ensemble fixé d'indéterminées, de la clôture algébrique du corps des fonctions rationnelles.
Lemme de SiegelEn approximation diophantienne, le lemme de Siegel est un théorème d'existence d'une solution non nulle et de grandeur contrôlée à un système d'équations linéaires homogène à coefficients entiers (relatifs) ayant strictement plus d'inconnues que d'équations. Il est d'usage courant dans les démonstrations de transcendance. Les solutions ainsi contrôlées sont obtenues à l'aide de . L'existence de ces polynômes avait été démontrée par Axel Thue grâce au principe des tiroirs de Dirichlet.
Conjecture de SchanuelEn mathématiques, et plus précisément en théorie des nombres transcendants, la conjecture de Schanuel s'énonce ainsi : Soit n un entier naturel et soient z1,...,zn des nombres complexes supposés linéairement indépendants sur le corps Q des nombres rationnels. Alors l'extension Q(z1,...,zn,exp(z1),...,exp(zn)) du corps Q a un degré de transcendance au moins égal à n. Cet énoncé fut conjecturé par au début des années 1960. Cette conjecture contient la plupart des énoncés de transcendance connus ou conjecturés (comme l'indépendance algébrique de π et e) concernant la fonction exponentielle.
Approximation diophantiennevignette|Meilleurs approximations rationnelles pour les nombres irrationnels Π (vert), e (bleu), φ (rose), √3/2 (gris), 1/√2 (rouge) et 1/√3 (orange) tracées sous forme de pentes y/x avec des erreurs par rapport à leurs vraies valeurs (noirs) par CMG Lee. En théorie des nombres, l'approximation diophantienne, qui porte le nom de Diophante d'Alexandrie, traite de l'approximation des nombres réels par des nombres rationnels.
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.
