Un système de numération à bases mixtes, dit aussi àbases de Cantor[1], ou encore en base à pas variable[2], est un système de numération dans lequel la base varie selon sa place dans la notation positionnelle du nombre, au lieu d'être fixe, comme c'est le cas, par exemple dans le système décimal où la base est toujours 10, ou dans le système binaire où la base est toujours 2.
On trouve de tels systèmes en métrologie. L'exemple le plus courant est le comptage du temps où une semaine compte 7 jours ; un jour, 24 heures ; une heure, 60 minutes une minute, 60 secondes ; une seconde, 100 centièmes de seconde.
En mathématiques, l'utilisation d'une numération à bases mixtes permet parfois de simplifier certains problèmes.
Principe général
Cas d'un entier
Soit une suite d'entiers strictement supérieurs à 1. On construit la suite en posant et pour tout , .
Alors pour tout entier naturel non nul, il existe un entier naturel et entiers tels que
pour tout ,
.
De plus cette décomposition est unique et représente l'expression du nombre dans le système de bases .
Principe de démonstration
Unicité : L'écriture de , où sous la forme
met en évidence que
et sont nécessairement respectivement le reste et le quotient de dans la division euclidienne par
et sont nécessairement respectivement le reste et le quotient de dans la division par
et ainsi de suite.
Existence : Soit un entier non nul. On définit les suites et en posant
pour tout , et sont le reste et le quotient de la division de par
On montre alors par récurrence que
pour tout ,
La suite étant une suite d'entiers strictement décroissante tant que est non nul, elle finit par atteindre 0. Soit le premier entier tel que soit nul. Alors on sait que
Dans le tableau ci-dessous, on indique, pour chaque rang, le poids du rang, la valeur maximale que peut prendre , le plus grand nombre que l'on peut écrire avec chiffres
Caractéristiques du système
Rang i
0
1
2
3
...
k
...
Poids du rang
1
...
...
Valeur max de
...
...
Valeur max de N
...
...
Si l'on cherche à écrire le nombre selon un système positionnel comme dans le système de base 10, on se heurte à deux problèmes. D'une part, les pouvant dépasser 10, l'écriture des risque de nécessiter d'autres chiffres que 0, 1, 2, ..., 9. D'autre part, les étant variables, il parait judicieux de préciser quelque part leurs valeurs. Le premier problème peut se résoudre, comme pour l'écriture en système sexagésimal, en écrivant les en décimal et en insérant un séparateur entre chaque «chiffre». Ainsi, si
on peut écrire
Le second problème peut se résoudre en indiquant des unités (en métrologie)
ou bien en indiquant en indice la valeur qui fait changer de rang[3], c'est-à-dire :
En 1869, Georg Cantor a prouvé[4] que les systèmes de numération permettant de représenter les entiers naturels de manière univoque étaient nécessairement de la forme décrite ci-dessus. Plus précisément: si est une suite strictement croissante d'entiers naturels, pour que, pour tout entier non nul, il existe toujours un entier et entiers uniques tels que
il est nécessaire et suffisant que
pour tout , soit un multiple de , i.e. avec .
pour tout , et
Cas d'un réel compris entre 0 et 1
Soit une suite d'entiers strictement supérieurs à 1. On construit la suite en posant et pour tout , .
Alors pour tout réel tel que , il existe une suite d'entiers telle que
pour tout ,
De plus cette décomposition est unique dès que n'est jamais entier[5]. S'il existe tel que est entier, possède deux décompositions[5], une telle que, pour tout , , l'autre pour laquelle pour tout , .
La construction d'une décomposition utilise une méthode analogue à la division longue : on définit les suites et en posant[6]
Soit une suite d'entiers strictement supérieurs à 1 et la suite . On suppose que, pour tout entier , divise les à partir d'un certain rang. Soit un réel, si le développement de sa partie fractionnaire selon la base ne se termine ni par une suite de 0 ni par une suite de alors ce nombre est irrationnel[7]. Dit autrement, si tout nombre premier divise une infinité de et si le développement de la partie fractionnaire de selon la base contient une infinité de termes différents de 0 et une infinité de termes différents de , alors est un irrationnel[8].
Cas d'une base périodique
Si la suite est périodique à partir d'un certain rang, alors un réel est rationnel si et seulement si le développement de sa partie fractionnaire dans la base est périodique à partir d'un certain rang[9].
Exemples
Métrologie
Le comptage du temps est l'exemple le plus simple et le plus courant de système à bases multiples. Ce système de comptage était extrêmement courant, au delà du comptage du temps, avant que ne se généralisent les mesures en système décimal. Le système monétaire anglais avant 1971, utilisait un système de base mixte puisque la livre valait 20 shillings et le shilling 12 pence. Les systèmes de numération sumériens des IVe et IIIe millénaires utilisaient un système additif avec unités dont la base variait. Ainsi pour énumérer des produits consommables, ils utilisaient le système mixte suivant :
Caractéristiques du système sumérien pour consommables[10]
Dans ce système, la suite des est la suite des entiers consécutifs à partir de 2, et la suite est définie par où est la factorielle du nombre , c'est-à-dire le produit de tous les entiers de 1 jusqu'à .
Ce système a les caractéristiques suivantes :
Caractéristiques du système factoriel
Rang i
0
1
2
3
...
k
...
Poids du rang
1
2
...
...
Valeur max de
...
...
Valeur max de N
...
...
Dans ce système un entier naturel s'écrit
et un réel s'écrit
Par exemple, a tous ses coefficients égaux à 1.
Grâce au code de Lehmer, il est possible d'affecter à toute permutation d'un ensemble à éléments un numéro avec au plus chiffres en base factorielle[12].
Numération primorielle
Dans ce système, la suite des est la suite des nombres premiers consécutifs et la suite est définie par où est la primorielle du nombre , c'est-à-dire le produit de tous les nombres premiers de 2 jusqu'à .
↑(en) Robert K. Englund, « Texts from the late Uruk period », dans Josef Bauer, Robert K. Englund, Manfred Krebernik, Mesopotamien, Späturuk-Zeit und Frühdynastische Zeit, Vandenhoeck & Ruprech, (ISBN978-3525537978, lire en ligne), p. 16-233, p.118
(en) Diego Marques, « A geometric proof to Cantor’s theorem and an irrationality measure for some Cantor’s series », Annales Mathematicae et Informaticae, no 36, , p. 117-121 (lire en ligne);
C.-A Laisant, « Sur la numération factorielle, application aux permutations », Bulletin de la S.M.F., vol. 16, , p. 176-183 (lire en ligne)