Nombre de Liouville

En 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 naturel $n$, il existe des entiers $q_n⩾2$ et $p_n⩾1$ tels que $0<|x-\frac{p_n}{q_n}|<\frac{1}{(q_n{)}^n}$,

ou, ce qui est équivalent :

pour tout entier naturel $n$ et tout réel $A>0$, il existe des entiers $q⩾2$ et $p⩾1$ tels que $0<|x-\frac{p}{q}|<\frac{A}{q^n}$.

Un nombre de Liouville peut ainsi être approché « de manière très fine » par une suite de nombres rationnels. En 1844, Joseph Liouville montra qu'il existe des nombres vérifiant la seconde propriété et que tous sont transcendants, établissant ainsi pour la première fois l'existence de nombres transcendants.

Constante de Liouville

Pour illustrer son théorème, Liouville donne un procédé général de construction de tels nombres à l'aide de la théorie des fractions continues, ainsi que des exemples, mais indique une méthode plus simple : par exemple, pour tout entier Modèle:Nobr $\sum _{k=1}^{\mathrm{\infty }}{b}^{-k!}$ est un nombre de Liouville. Ce furent les premiers exemples explicites de nombres transcendants.

La constante de Liouville correspond au cas Modèle:Math. Il s'agit donc du réel

$\sum _{k=1}^{\mathrm{\infty }}\frac{1}{10^{k!}}=0,110001000000000000000001000....$

Plus généralement, pour tout entier Modèle:Math et toute suite Modèle:Math d'entiers compris entre Modèle:Math et Modèle:Math non tous nuls à partir d'un certain rang, le réel

$x=\sum _{k=1}^{\mathrm{\infty }}\frac{a_k}{b^{k!}}$

est un nombre de Liouville.

L'ensemble des nombres de Liouville a donc la puissance du continu.

Mesure d'irrationalité d'un réel

La mesure d'irrationalité d'un réel $x$ — ou « sa constante de Liouville-Roth » — mesure la manière d'approcher $x$ par des rationnels.

Cette mesure est toujours supérieure ou égale à 1, comme borne supérieure d'un ensemble qui contient Modèle:Math.

Par exemple :

• la mesure d'irrationalité d'un rationnel est égale à 1Modèle:, ;
• celle d'un irrationnel est supérieure ou égale à 2 ; plus précisément, si la fraction continue de cet irrationnel est $[a_0,a_1,\dots ]$ et a pour réduites $h_n/k_n$, sa mesure d'irrationalité est $1+\mathrm{lim\; sup}\frac{\ln k_{n+1}}{\ln k_n}=2+\mathrm{lim\; sup}\frac{\ln a_{n+1}}{\ln k_n}$.
• celle d'un irrationnel algébrique est exactement égale à 2 : c'est le théorème de Roth (1955), plus précis que celui de Liouville. La réciproque est fausse comme le montre le fait que le nombre e est transcendant de mesure d’irrationalité 2 Modèle:Infra.
• les nombres de Liouville sont les réels dont la mesure d'irrationalité est infinie. En effet, si x est un nombre de Liouville alors, pour tout réel μ, les (pModèle:Ind, qModèle:Ind) de la Modèle:1re, pour n ≥ μ, satisfont 1/qModèle:IndModèle:Exp ≤ 1/qModèle:IndModèle:Exp et forment un ensemble infini, puisque la suite des |x – pModèle:Ind/qModèle:Ind| est à valeurs non nulles et converge vers 0.

On trouve dans les ouvrages de légères variantes : certains auteurs prennent (ce qui revient au même) la borne inférieure de l'ensemble des Modèle:Math pour lesquels il n'existe au contraire qu'un nombre fini de couples (p, q) d'entiers tels que q > 0 et 0 < |x – p/q| < 1/qModèle:Exp. CertainsModèle:,Modèle:,Modèle:, parlent des mesures d'irrationalité : ce sont tous les nombres supérieurs ou égaux à la mesure d'irrationalité définie ici. Enfin, certainsModèle:,Modèle:, ne la définissent que si x est un nombre irrationnel, ce qui leur évite de mentionner la minoration stricte de |x – p/q| par 0. Outre ces nuances, on trouve une définition différenteModèle:,Modèle:, mais Modèle:Refsou :

Transcendance des nombres de Liouville

Modèle:Article détaillé Les nombres de Liouville étant de mesure d'irrationalité infinie, leur transcendance est un corollaire immédiat du théorème suivant, démontré dans l'article détaillé en utilisant la seconde définition ci-dessus de la mesure d'irrationalité.

Certains réels (en fait presque tous) sont transcendants sans être de Liouville. Par exemple, la mesure d'irrationalité de [[e (nombre)|Modèle:Math]] = [2, 1, 2, 1, 1, 4, 1, 1, 6, 1,…] est égale à 2 , et notant $r(x)$ la mesure d'irrationalité de $x$, on a :

• $2⩽r(\pi )⩽7,61$ ,
• $2⩽r(\ln 2)⩽3,90$,
• $2⩽r({\pi }^2)⩽5,45$,
• $2⩽r(\zeta (3))⩽5,52$.

Théorème d'Erdős

Paul Erdős a démontré que tout nombre réel non nul peut s'écrire comme somme et comme produit de deux nombres de Liouville. A posteriori, cela s'explique par une propriété générale des [[Hiérarchie de Borel|GModèle:Ind]] denses et le fait que l'ensemble L des nombres de Liouville en est un puisque

$L=\bigcap _{n\in {\mathbb{N}}^{*}}{U}_n\mathrm{a}\mathrm{v}\mathrm{e}\mathrm{c}{U}_n=\bigcup _{p,q\in \mathbb{Z},q\ge 2}]\frac{p}{q}-\frac{1}{q^n},\frac{p}{q}+\frac{1}{q^n}[\setminus \left\{\frac{p}{q}\right\}\text{ ouvert dense}$

et que ℝ est un espace de Baire.

Négligeabilité

L'ensemble des nombres de Liouville, en dépit de leur « abondance » du point de vue de la cardinalité et de la topologie, est négligeable et même :

• sa dimension de Hausdorff est nulle ;
• presque tout réel est de mesure d'irrationalité égale à 2, d'après un théorème de Khinchin.

Voir aussi

Liens externes

• Modèle:Lien web
• Modèle:MathWorld