Aller au contenu

Numération en base non entière

Un article de Wikipédia, l'encyclopédie libre.

Une numération en base non entière ou représentation non entière d'un nombre utilise, comme base de la notation positionnelle, un nombre qui n'est pas un entier. Si la base est notée , l'écriture

dénote, comme dans les autres notations positionnelles, le nombre

.

Les nombres sont des entiers positifs ou nuls plus petits que . L'expression est aussi connue sous le terme β-développement (en anglais β-expansion). Tout nombre réel possède au moins un, et éventuellement une infinité de β-développements. La notion a été introduite par le mathématicien hongrois Alfréd Rényi en 1957[1] et étudiée en détail ensuite par William Parry en 1960[2]. Depuis, de nombreux développements ultérieurs ont été apportés, dans le cadre de la théorie des nombres et de l’informatique théorique. Il y a des applications en théorie des codes[3] et dans la modélisation de quasi-cristaux[4],[5].

Construction

[modifier | modifier le code]

Les β-développements généralisent le développement décimal. Les développements décimaux sont uniques quand ils sont finis, les développements infinis ne le sont pas puisque par exemple le développement décimal de l'unité est . Les β-développements, même finis, ne sont pas nécessairement uniques. Ainsi, si , est le nombre d'or, on a , donc 100=011. Un choix canonique pour le β-développement d'un nombre réel est d'appliquer l'algorithme glouton suivant, dû pour l'essentiel à Rényi[1], et formulé comme suit par exemple par Christiane Frougny[6] :

Soit un nombre réel positif ou nul. Soit l'entier tel que . On pose[7] :

et ,

et pour  :

et .

En d'autres termes, ce β-développement canonique de est construit en prenant pour le plus grand entier tel que , puis en prenant le plus grand entier tel que et ainsi de suite. La suite des est notée . Ce choix produit la plus grande séquence en ordre lexicographique représentant . On a

et si

.

Dans une base entière, on obtient la représentation usuelle du nombre ; la construction ci-dessus étend l'algorithme à des valeurs non entières de la base β.

Systèmes de numération généraux

[modifier | modifier le code]

Une généralisation de la notion de β-développement est la suivante[8] : un système de numération (positionnel) est donné par une suite croissante d'entiers positifs, avec et tel que . On associe à la suite les chiffres . La représentation gloutonne d'un entier positif est la séquence

composée de chiffres dans vérifiant

avec les conditions :

et pour .

C'est bien entendu la dernière des conditions qui détermine le caractère glouton de la représentation. On note

l'ensemble des mots représentant les entiers naturels.


La base est très proche de la base 2 ; la méthode pour convertir un nombre écrit en binaire en base est d'insérer un chiffre nul entre deux chiffres binaires ; par exemple

191110 = 111011101112 = 101010001010100010101

et

511810 = 10011111111102 = 1000001010101010101010100.

Ceci implique en particulier que tout entier peut être écrit en base sans point décimal.

Cette base peut être utilisée pour illustrer la relation entre le côté d'un carré et de sa diagonale puisqu'un carré de côté 1 a une diagonale de longueur 10 et un carré de côté 10 a une diagonale de longueur 100. Une autre utilisation est d'illustrer la proportion d'argent notée , qui vaut (suite A014176 de l'OEIS), puisqu'elle s'écrit simplement en base . Par ailleurs, l'aire d'un octogone régulier de côté 1 est 1100, l'aire d'un octogone régulier de côté 10 est 110000, l'aire d'un octogone régulier de côté 100 est 11000000, etc...

La base d'or est le système de numération utilisant le nombre d'or, à savoir comme base. Ce système de numération en base non entière est également désigné plus rarement comme « développement phinaire » (car le symbole pour le nombre d'or est la lettre grecque « phi »), mais aussi « système de numération de Bergman »[9]. Tout nombre réel positif possède une représentation standard en base φ où seuls les chiffres 0 et 1 sont utilisés, et où la suite « 11 » est évitée. Une représentation non standard en base φ avec ces deux chiffres (ou avec d'autres chiffres) peut toujours être réécrite en forme standard, en utilisant les propriétés algébriques du nombre φ — c'est-à-dire que φ + 1 = φ2. Par exemple 11φ = 100φ. Malgré l'usage d'une base irrationnelle, tous les entiers naturels possèdent une représentation unique en développement fini dans la base φ. Les réels positifs qui possèdent une représentation finie dans la base φ sont les entiers de ℚ(5) positifs.

Les autres nombres positifs possèdent des représentations standards infinies en base φ, les nombres rationnels positifs ayant des représentations périodiques. Ces représentations sont uniques, excepté celles des nombres qui ont un développement fini ainsi qu'un développement non fini (de la même manière qu'en base dix : 2,2 = 2,199999… ou 1 = 0,999…).

Cette base est présentée, entre autres, par George Bergman[10] en 1957 ; l'étude de la base d'or a produit des fruits en informatique, par exemple pour la conception de convertisseurs analogique-numérique et de processeurs tolérants au bruit[11].

La base e du logarithme naturel se comporte comme le logarithme décimal, et ln(1e) = 0, ln(10e) = 1, ln(100e) = 2 et ln(1000e) = 3.

La base e est le choix le plus économique comme base [12], quand l’économie d'une base est mesurée comme le produit de la base par la longueur de la chaîne nécessaire pour représenter un intervalle de valeurs.

La base π peut être utilisée pour illustrer simplement la relation entre le diamètre d'un cercle et sa circonférence, qui correspond à son périmètre; de la relation circonférence = diamètre × π, il résulte qu'un cercle de diamètre 1π a une circonférence 10π, un cercle de diamètre 10π a une circonférence 100π, etc. Similairement, comme aire = π × rayon2, un cercle de rayon 1π a une aire égale à 10π, un cercle de rayon 10π a une aire égale à 1000π etc[13].

Propriétés

[modifier | modifier le code]

Selon que β est un nombre de Pisot, un nombre de Parry ou un nombre de Bertrand, les propriétés des développements varient. Elles ont aussi fait l'objet d'étude dans le cadre des suites automatiques[8].

Il n'existe aucun système de numération positionnel dans lequel tout nombre admettrait une expression unique. Par exemple, en base dix, le nombre 1 possède les deux représentations 1,000... et 0,999... L'ensemble des nombres qui ont deux représentations est dense dans l'ensemble des réels (Petkovšek 1990) ; la classification des nombres réels qui possèdent un β-développement unique est plus compliquée que pour les bases entières (Glendinning et Sidorov 2001).

Système de Parry

[modifier | modifier le code]

Si le développement du nombre réel 1 est

, avec ,

on dit que le développement de 1 est fini. Dans ce cas, on pose , sinon, on pose . Quand est ultimement périodique, le nombre est appelé un nombre de Parry et le système est un système de Parry. Le nombre d'or est un nombre de Parry ; en effet, on a et . On doit à Parry la caractérisation suivante des β-développement pour les nombres de Parry[14] :

Une suite d'entiers naturels est le β-développement d'un nombre réel de [0,1[ si et seulement si les suites décalées sont lexicographiquement inférieures à d∗β(1) pour tout .

Système de Pisot

[modifier | modifier le code]

Un nombre de Pisot-Vijayaraghavan (ou plus simplement nombre de Pisot) est un entier algébrique réel dont tous les conjugués (réels ou complexes) sont de module strictement inférieur à 1. Un système de Pisot est un système dont la base β est un nombre de Pisot.

Ces nombres jouent un rôle dans la classification des nombres dont les β-développements sont périodiques. Soit β > 1, et soit la plus petite extension de corps des nombres rationnels contenant β. Alors tout nombre réel dans l'intervalle [0,1[ qui a un β-développement ultimement périodique β appartient à . Plus précisément[15], on a :

  • Si tout nombre dans a un β-développement ultimement périodique, alors β est un nombre de Pisot ou un nombre de Salem;
  • Si β est un nombre de Pisot, alors est l'ensemble des nombres qui ont un β-développement ultimement périodique. L'ensemble des mots représentant les entiers naturels est un langage régulier[8].

Un nombre de Pisot est aussi un nombre de Parry[16], de sorte qu'un système de Pisot est un système de Parry.

Système de Bertrand

[modifier | modifier le code]

Les systèmes de numération de Bertrand ont été introduits et étudiés par Anne Bertrand-Mathis[16]. Un système de numération général est un système de Bertrand si, pour tout mot non vide sur , on a

si et seulement si .

Le système de numération usuel en base est un système de Bertrand. De même, le système de numération de Fibonacci usuel ; en revanche, si on considère la suite définie par elle n'est plus de Bertrand parce que le nombre 2 est la représentation gloutonne de l'entier 2, et la représentation du nombre 6 n'est pas une représentation gloutonne puisque .

La caractérisation suivante est due à Anne Bertrand :

Théorème — Soit un système de numération, et soit l'ensemble des facteurs apparaissant dans les β-développements des nombres réels de l'intervalle semi-ouvert [0,1[. Le système est un système de Bertrand si et seulement s'il existe un nombre réel β>1 tel que . Dans ce cas, pour , le système de numération vérifie la relation de récurrence .

Un nombre de Bertrand est un nombre réel β>1 vérifiant ces conditions.

Exemple : Le système de numération donné par la récurrence et est tel que

Les systèmes de Parry sont un sous-ensemble strict des systèmes de Bertrand; l'exemple ci-dessus est n'est pas un système de Parry[8].

Articles connexes

[modifier | modifier le code]

Notes et références

[modifier | modifier le code]
  1. a et b Rényi 1957
  2. Parry 1960.
  3. Kautz 1965
  4. Burdik et al. 1998
  5. Thurston 1989
  6. Frougny 1992
  7. Pour tout nombre réel positif ou nul, on note la partie entière et et la partie fractionnaire de .
  8. a b c et d Massuir, Peltomäki et Rigo 2019.
  9. Stakhov 2009, p. 476.
  10. Bergman 1957, p. 109.
  11. Stakhov 2009, p. 477.
  12. Hayes 2001
  13. « Weird Number Bases », sur DataGenetics (consulté le )
  14. Parry 1960.
  15. Schmidt 1980
  16. a et b Bertrand-Mathis 1989.

Bibliographie

[modifier | modifier le code]

Lien externe

[modifier | modifier le code]