Nombre transcendant

En mathématiques, un nombre transcendant sur les rationnels est un nombre réel ou complexe qui n'est racine d'aucun polynôme non nul

P=a_{0}+a_{1}X^{1}+a_{2}X^{2}+\cdots +a_{n}X^{n}

Représentation des nombres irrationnels selon la répartition des réels en nombres rationnels, constructibles, algébriques et transcendants. Cliquez sur un des nombres du schéma pour plus d'informations concernant l'élément choisi. (Image source)

où $n$ est un entier naturel et les coefficients $a i$ 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. La réciproque est fausse : par exemple √2 est irrationnel mais n'est pas transcendant, puisqu'il est racine du polynôme $X^{2}-2$ .

Puisque l'ensemble des nombres algébriques est dénombrable, l'ensemble des réels transcendants est non dénombrable (il a la puissance du continu), et presque tout nombre (parmi les réels ou les complexes) est transcendant. Néanmoins, seulement peu de classes de nombres transcendants sont connues et prouver qu'un nombre donné est transcendant peut être extrêmement difficile.

Les exemples les plus connus de nombres transcendants sont $π$ et $e$ .

Histoire

Leibniz fut probablement la première personne à croire en l'existence^[évasif] de nombres transcendants. Le nom « transcendant » vient de sa publication de 1682, où il démontra que sinus n'est pas une fonction algébrique. L'existence des nombres transcendants fut prouvée pour la première fois en 1844 par Joseph Liouville[N 1], qui exhiba des exemples, incluant la constante de Liouville :

c=\sum _{j=1}^{\infty }10^{-j!}=0{,}110001000000000000000001000\ldots

dans laquelle le n-ième chiffre après la virgule est 1 si n est une factorielle (l'un des nombres 1, 2, 2×3 = 6, 2×3×4 = 24, etc.) et 0 sinon ; ce nombre est particulièrement bien approché par les nombres rationnels. Joseph Liouville montra que les nombres ayant cette propriété (que nous nommons maintenant nombres de Liouville) sont tous transcendants[N 2].

Jean-Henri Lambert, prouvant entre autres[N 3] l'irrationalité de $π$ et redémontrant celle de $e$ , conjectura qu'ils étaient même transcendants. Le premier nombre à avoir été démontré transcendant sans avoir été construit spécialement pour cela fut $e$ , par Charles Hermite en 1873[N 4].

En 1874, Georg Cantor démontra que les nombres algébriques réels sont dénombrables et les nombres réels sont non dénombrables ; il fournit également une nouvelle méthode permettant de construire des nombres transcendants[1]. En 1878, Cantor publia une construction démontrant qu'il y a « autant » de nombres transcendants que de nombres réels[2]. Ces résultats établissant l'ubiquité des nombres transcendants.

En 1882, Ferdinand von Lindemann démontra que $e$ à n'importe quelle puissance algébrique non nulle est transcendant, prouvant ainsi entre autres la transcendance de $π$ [N 4]. Cette approche fut généralisée par Karl Weierstrass avec le théorème de Lindemann-Weierstrass (en 1885).

La transcendance de $π$ a permis la démonstration de l'impossibilité de résoudre plusieurs problèmes anciens de construction géométrique à la règle et au compas, incluant le plus célèbre d'entre eux, la quadrature du cercle.

En 1900, David Hilbert a posé une importante question à propos des nombres transcendants, connue sous le nom de septième problème de Hilbert : « Si a est un nombre algébrique non nul et différent de 1 et si b est un nombre algébrique irrationnel, alors le nombre a^b est-il nécessairement transcendant ? » La réponse, affirmative, fut donnée en 1934 par le théorème de Gelfond-Schneider. On peut obtenir facilement des nombres transcendants grâce à lui, par exemple 2^√2.

Ce travail fut étendu par Alan Baker dans les années 1960.

Quelques nombres transcendants connus

Par le théorème d'Hermite-Lindemann,
- le nombre $e$ (base des logarithmes népériens), et plus généralement
  - les nombres $e$ ^a pour tout nombre a algébrique non nul ;
- le nombre sin(1), et plus généralement
  - les nombres cos(a) et sin(a), pour tout nombre a algébrique non nul.
Par la contraposée de ce même théorème,
- le nombre $π$ ,
- les nombres log(a) si a est un réel algébrique strictement positif et différent de 1,
- le nombre de Dottie.
Par le théorème de Gelfond-Schneider,
- le nombre 2^√2 (constante de Gelfond-Schneider),
- le nombre réel $e π = (-1) -i$ (constante de Gelfond),
- le nombre réel $e -π/2 = i i$ (racine carrée de l'inverse du précédent),
- plus généralement les nombres a^b où a est un nombre algébrique différent de 0 et de 1 et où b est algébrique mais non rationnel.
Par la contraposée de ce même théorème,
- des nombres tels que log(3)/log(2).
Des nombres tels que xlog(2) + ylog(3) + zlog(5) avec x, y, z algébriques non tous nuls (voir le théorème de Baker).
$Γ(1/3)$ , $Γ(1/4)$ et $Γ(1/6)$ , où $Γ$ est la fonction gamma d'Euler (chacun de ces nombres est même algébriquement indépendant de $π$ ).
Le nombre de Champernowne 0,12345678910111213… obtenu en écrivant à la suite les entiers naturels en base dix (théorème de Mahler, 1961)
Les nombres de Liouville, comme $\sum _{k=0}^{+\infty }10^{-\lfloor \beta ^{k}\rfloor };\qquad \beta >1\;,$
où ⌊x⌋ est la partie entière du réel x. Par exemple, si $\beta =2$ , ce nombre est 0,11010001000000010000000000000001000…
Les sommes de certaines séries à convergence rapide, mais moins que celle des nombres de Liouville, ont été montrées transcendantes par des généralisations de son résultat ; c'est par exemple le cas de la série des inverses des nombres de Fermat[3].
À l'aide de suites automatiques :
- les nombres dont le développement décimal (ou dans une autre base) est défini par une suite automatique[4] qui n'est pas périodique à partir d'un certain rang[N 5] ;
- les fractions continues dont la suite des quotients partiels est automatique[5] mais n'est pas[N 6] périodique à partir d'un certain rang.
$Ω$ , constante de Chaitin, et plus généralement : chaque nombre non calculable est transcendant (puisque tous les nombres algébriques sont calculables).
La constante de Prouhet-Thue-Morse

Toute fonction algébrique non constante à une variable donne une valeur transcendante lorsqu'on lui applique une valeur transcendante. Donc, par exemple, en sachant que $π$ est transcendant, nous pouvons immédiatement déduire que $5π$ , $(π - 3) / \sqrt2$ , ( $\sqrt π$ – √3)⁸ et ( $π$ ⁵+7)^{$1 / 7$}
sont aussi transcendants.

Néanmoins, une fonction algébrique à plusieurs variables peut donner un nombre algébrique lorsqu'elle est appliquée aux nombres transcendants si ces nombres ne sont pas algébriquement indépendants[N 7]. On ignore si $π + e$ , par exemple est transcendant, mais au moins l'un des deux nombres $π + e$ et $πe$ est transcendant. Plus généralement, pour deux nombres transcendants a et b, au moins l'un des nombres a + b et ab est transcendant. Pour voir cela, considérons le polynôme (X – a)(X – b) = X² – (a + b)X + ab ; si a + b et ab étaient tous deux algébriques, alors ce polynôme serait à coefficients algébriques. Comme les nombres algébriques forment un corps algébriquement clos, ceci impliquerait que les racines du polynôme, a et b soient algébriques. Mais ceci est une contradiction et ainsi, au moins un des deux coefficients est transcendant.

Classification des nombres transcendants

Kurt Mahler a introduit en 1932 une partition des nombres transcendants en trois ensembles, qu'il note S, T, et U[6]. La définition de ces classes repose sur une généralisation de la notion de mesure d'irrationalité.

Mesure de transcendance d'un nombre complexe

Soit $z$ un nombre complexe. On cherche à évaluer à quel point il est possible d'approcher $z$ par une racine d'un polynôme à coefficients entiers en fonction de son degré (inférieur ou égal à un entier $n$ ) et de ses coefficients (de module majoré par un entier $H$ ).

Soit $m(z,n,H)$ la plus petite valeur non nulle prise par $|P(z)|$ quand $P$ parcourt cet ensemble fini de polynômes. On note (avec $\limsup$ désignant la limite supérieure) :

$\omega (z,n,H)=-{\frac {\log m(z,n,H)}{n\log H}}$
$\omega (z,n)=\limsup _{H\to \infty }\omega (z,n,H)$ .

Dans le cas où $n=1$ on reconnaît le logarithme de la mesure d'irrationalité. On définit trois classes[7]

U est l'ensemble des nombres complexes $z$ tels que $\omega (z,n)=+\infty$ au-delà d'un certain $n$ (qu’on appelle le degré de $z$ ) ;
T est l'ensemble des nombres complexes $z$ tels que la suite $\left(\omega (z,n)\right)$ est à valeurs finies mais n'est pas bornée ;
S est l'ensemble des nombres complexes $z$ tels que la suite $\left(\omega (z,n)\right)$ est bornée.

Exemples

Tout nombre transcendant est dans l'une des classes S, T ou U ; mais la classification précise est parfois difficile à établir. On ne sait par exemple pas si $\pi$ est dans S ou dans T[8]. En revanche dans certains cas particuliers il est possible de conclure plus finement.

Éléments de la classe U

Par définition, un nombre de Liouville $\lambda$ est tel que $\omega (\lambda ,1)=+\infty$ , la classe U contient donc l'ensemble des nombres de Liouville[7], qui a la puissance du continu[N 1].
Pour tout entier $n$ , la racine n-ième $n \sqrt λ$ de tout nombre de Liouville λ est un élément de U de degré $n$ [9].

Éléments de la classe S

La fonction exponentielle envoie tout nombre algébrique non nul sur un élément de S[10], ce qui précise le théorème d'Hermite-Lindemann. D'après le théorème de Lindemann-Weierstrass, S contient donc un ensemble dénombrable algébriquement libre (sur $\mathbb {Q}$ ).

Le cardinal de S (égal à son degré de transcendance) est en fait la puissance du continu, et même : presque tout réel appartient à S[11].

Éléments de la classe T

Lorsque Mahler publia sa partition des nombres transcendants, il conjecturait que T est non vide. Cette conjecture ne fut démontrée que 35 ans plus tard, par Wolfgang M. Schmidt[12]^,[13]^,[7]. La classe T a même la puissance du continu[14].

Propriétés algébriques

La somme ou le produit de deux nombres transcendants peuvent ne pas être transcendants, ni même irrationnels[N 7]. La partition de Mahler offre cependant une condition suffisante d'indépendance algébrique :

Théorème — Deux nombres transcendants appartenant à deux classes différentes sont algébriquement indépendants[10].

Problèmes ouverts

On ignore si les nombres suivants sont ou non transcendants :

$e + π$ , $eπ$ , $e e$ , $π e$ [15] ;
$π - e$ , $e/π$ , $π π$ ;
la constante d'Euler-Mascheroni $γ$ , la constante de Catalan et la constante de Brun (dont on ignore même si elles sont irrationnelles) ;
la constante d'Apéry $ζ(3)$ (dont on sait qu'elle est irrationnelle).

Tous les nombres de Liouville sont transcendants mais les nombres transcendants ne sont pas tous des nombres de Liouville. Tout nombre de Liouville doit avoir des termes non bornés dans son développement en fraction continue, donc en utilisant un argument de dénombrement, on peut montrer qu'il existe des nombres transcendants qui ne sont pas des nombres de Liouville. En utilisant le développement explicite en fraction continue de $e$ , on peut montrer que $e$ n'est pas un nombre de Liouville. Kurt Mahler montra en 1953 que $π$ n'est pas non plus un nombre de Liouville. On conjecture souvent[16] que toutes les fractions continues à quotients partiels bornés qui ne sont pas périodiques à partir d'un certain rang sont transcendantes.

La généralisation du septième problème de Hilbert qui serait de caractériser les transcendants parmi tous les nombres a^b lorsque a ≠ 0 et a ≠ 1 est algébrique, reste non résolue^{[réf. souhaitée]}. On sait que si b est rationnel alors a^b est algébrique, et (d'après le théorème de Gelfond-Schneider mentionné plus haut) que si b est algébrique irrationnel alors a^b est transcendant, mais qu'en est-il si b est transcendant ? (Il peut arriver que a^b soit algébrique, comme dans l'exemple a = 2, b = log(3)/log(2).)

Généralisations

Si L est une extension de corps de K, un élément de L est dit transcendant sur K s'il n'est pas algébrique sur K.. C'est en particulier le cas des fonctions transcendantes.

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Transcendental number » (voir la liste des auteurs).

Notes

Voir l'article « Nombre de Liouville ».
Voir l'article « Théorème de Liouville (approximation diophantienne) ».
Pour plus de détails sur les résultats de Lambert, voir la section « Irrationalité » de l'article « Fraction continue et approximation diophantienne ».
Voir l'article « Théorème d'Hermite-Lindemann ».
Les nombres dont le développement décimal est périodique sont les nombres rationnels.
D'après un théorème de Lagrange, les fractions continues périodiques à partir d'un certain rang correspondent aux irrationnels quadratiques.
Par exemple $\pi +(-\pi )=0$ et $\pi \left({\frac {1}{\pi }}\right)=1$ .

Références

Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen. Traduction française : Sur une propriété du système de tous les nombres algébriques réels.
En 1878, Cantor ne construisit qu'une bijection entre l'ensemble des nombres irrationnels et l'ensemble des nombres réels (voir Une contribution à la théorie des ensembles, p. 323-324). Toutefois, l'année suivante, il indiqua que sa construction s'applique à tout ensemble formé en supprimant une quantité dénombrable de nombres d'un intervalle réel (voir Sur ensembles infinis et linéaires de points, p. 353).
(en) Schwarz, W.: Remarks on the irrationality and transcendence of certain series. Math. Scand. 20, 269–274 (1967)
(en) Boris Adamczewski et Yann Bugeaud, « On the complexity of algebraic numbers. I. Expansions in integer bases », Ann. of Math, vol. 165, n^o 2,‎ 2007, p. 547-565 (lire en ligne).
(en) Yann Bugeaud, « Automatic continued fractions are transcendental or quadratic », ASENS, 4^e série, vol. 46, n^o 6,‎ 2013, p. 1005-1022 (DOI 10.24033/asens.2208, arXiv 1012.1709).
(en) Yann Bugeaud, Distribution Modulo One and Diophantine Approximation, Cambridge, Cambridge University Press, coll. « Cambridge Tracts in Mathematics » (n^o 193), 2012, 300 p. (ISBN 978-0-521-11169-0, lire en ligne), p. 250.
Pascal Boyer, Petit compagnon des nombres et de leurs applications, Paris, Calvage et Mounet, 2019, 648 p. (ISBN 978-2-916352-75-6), III - Corps et théorie de Galois, chap. 2.6 (« Classification de Mahler des nombres transcendants »), p. 284 - 286.
(en) Edward B. Burger et Robert Tubs, Making Transcendence Transparent : An Intuitive Approach to Classical Transcendental Number Theory, New York, Springer, 2004, 263 p. (ISBN 978-0-387-21444-3, lire en ligne), p. 182.
Baker 1990, p. 90.
Burger et Tubs 2004, p. 169.
Bugeaud 2012, p. 251.
(en) W. M. Schmidt, « T-numbers do exist », Symposia Math. IV, Ist. Naz. di Alta Math. (it), Rome, 1968, Academic Press, 1970, p. 3-26.
(en) W. M. Schmidt, « Mahler's T-numbers », dans 1969 Number Theory Institute, coll. « Proc. Symp. Pure Math. » (n^o 20), 1971, p. 275-286.
(en) Yann Bugeaud, Approximation by Algebraic Numbers, Cambridge, Cambridge University Press, 2004, 292 p. (ISBN 978-0-521-82329-6, lire en ligne), chap. 7 (« On T-numbers and U-numbers »), p. 147.
(en) Eli Maor, E : The Story of a Number, Princeton University Press, 1994 (lire en ligne), « Some Curious Numbers related to e », p. 38.
(en) Boris Adamczewski et Yann Bugeaud, « On the complexity of algebraic numbers, II. Continued fractions », Acta Math., vol. 95, n^o 1,‎ 2005, p. 1-20 (lire en ligne).

Voir aussi

Articles connexes

Bibliographie

(en) Alan Baker, Transcendental Number Theory, Cambridge University Press, 1990 (1^re éd. 1975), 165 p. (ISBN 978-0-521-39791-9, lire en ligne)
(en) Joseph Lipman (en), Transcendental Numbers, Kingston (Ontario), Queen's University, 1966 (lire en ligne)
Michel Waldschmidt, Nombres transcendants, Springer, coll. « Lecture Notes in Mathematics » (n^o 402), 1974 (lire en ligne)

Arithmétique et théorie des nombres

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[NombreLiouville-1] Voir l'article « Nombre de Liouville ».

[2] Voir l'article « Théorème de Liouville (approximation diophantienne) ».

[3] Pour plus de détails sur les résultats de Lambert, voir la section « Irrationalité » de l'article « Fraction continue et approximation diophantienne ».

[HermiteLindemann-4] Voir l'article « Théorème d'Hermite-Lindemann ».

[9] Les nombres dont le développement décimal est périodique sont les nombres rationnels.

[11] D'après un théorème de Lagrange, les fractions continues périodiques à partir d'un certain rang correspondent aux irrationnels quadratiques.

[SommeProduit-12] Par exemple $\pi +(-\pi )=0$ et $\pi \left({\frac {1}{\pi }}\right)=1$ .

[5] Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen. Traduction française : Sur une propriété du système de tous les nombres algébriques réels.

[6] En 1878, Cantor ne construisit qu'une bijection entre l'ensemble des nombres irrationnels et l'ensemble des nombres réels (voir Une contribution à la théorie des ensembles, p. 323-324). Toutefois, l'année suivante, il indiqua que sa construction s'applique à tout ensemble formé en supprimant une quantité dénombrable de nombres d'un intervalle réel (voir Sur ensembles infinis et linéaires de points, p. 353).

[7] (en) Schwarz, W.: Remarks on the irrationality and transcendence of certain series. Math. Scand. 20, 269–274 (1967)

[ab-8] (en) Boris Adamczewski et Yann Bugeaud, « On the complexity of algebraic numbers. I. Expansions in integer bases », Ann. of Math, vol. 165, n^o 2,‎ 2007, p. 547-565 (lire en ligne).

[10] (en) Yann Bugeaud, « Automatic continued fractions are transcendental or quadratic », ASENS, 4^e série, vol. 46, n^o 6,‎ 2013, p. 1005-1022 (DOI 10.24033/asens.2208, arXiv 1012.1709).

[Bug250-13] (en) Yann Bugeaud, Distribution Modulo One and Diophantine Approximation, Cambridge, Cambridge University Press, coll. « Cambridge Tracts in Mathematics » (n^o 193), 2012, 300 p. (ISBN 978-0-521-11169-0, lire en ligne), p. 250.

[boyer-14] Pascal Boyer, Petit compagnon des nombres et de leurs applications, Paris, Calvage et Mounet, 2019, 648 p. (ISBN 978-2-916352-75-6), III - Corps et théorie de Galois, chap. 2.6 (« Classification de Mahler des nombres transcendants »), p. 284 - 286.

[15] (en) Edward B. Burger et Robert Tubs, Making Transcendence Transparent : An Intuitive Approach to Classical Transcendental Number Theory, New York, Springer, 2004, 263 p. (ISBN 978-0-387-21444-3, lire en ligne), p. 182.

[16] Baker 1990, p. 90.

[BurgerTubbs-17] Burger et Tubs 2004, p. 169.

[18] Bugeaud 2012, p. 251.

[19] (en) W. M. Schmidt, « T-numbers do exist », Symposia Math. IV, Ist. Naz. di Alta Math. (it), Rome, 1968, Academic Press, 1970, p. 3-26.

[20] (en) W. M. Schmidt, « Mahler's T-numbers », dans 1969 Number Theory Institute, coll. « Proc. Symp. Pure Math. » (n^o 20), 1971, p. 275-286.

[21] (en) Yann Bugeaud, Approximation by Algebraic Numbers, Cambridge, Cambridge University Press, 2004, 292 p. (ISBN 978-0-521-82329-6, lire en ligne), chap. 7 (« On T-numbers and U-numbers »), p. 147.

[22] (en) Eli Maor, E : The Story of a Number, Princeton University Press, 1994 (lire en ligne), « Some Curious Numbers related to e », p. 38.

[23] (en) Boris Adamczewski et Yann Bugeaud, « On the complexity of algebraic numbers, II. Continued fractions », Acta Math., vol. 95, n^o 1,‎ 2005, p. 1-20 (lire en ligne).