Documente Academic
Documente Profesional
Documente Cultură
1996, Mathmatique
En particulier, si la fraction m/n n'est pas rduite, un nombre premier p peut apparatre au numrateur et au dnominateur et l'exposant qui figure dans la dcomposition prcdente est la diffrence des exposants de ce nombre premier apparaissant au numrateur et au dnominateur. Le carr du nombre rationnel m/n est ainsi (m/n) = +2 3 5 ... Il en rsulte que les carrs des nombres rationnels sont exactement les nombres rationnels positifs ayant des exposants tous pairs dans leur dcomposition comme produit de facteurs premiers. Par consquent, les nombres suivants 2, 3, 2/3, 15 = 3"5, 2/9, 27 = 3 , 27/4 = 2 "3 , ... ne sont pas des carrs de nombres rationnels. Pour pouvoir dire que la diagonale du carr unit est un nombre, il faut encore tendre la notion de nombre pour y inclure #2. C'est ainsi qu'on considre l'ensemble des nombres rels R que l'on se reprsente par les points d'une droite (sur laquelle on a choisi une origine, le 0, et une unit, le 1). Ces nombres reprsentent traditionnellement le continu. Ils permettent une bonne description du temps, dans son pass et son futur, dans son coulement sans saccade. Il faut ensuite mentionner les nombres complexes C qui reprsentent une extension trs utile des nombres rels. Sans entrer dans les dtails de la polmique cre par leur introduction, rappelons que le symbole i = # -1 a t introduit par Euler en 1777, prcisment comme abrviation d'une unit imaginaire.
3 -2 3 2 2a 2b 2c
Institut de mathmatiques de luniversit de Neuchtel. Larticle reprend un expos fait le 14 novembre 1995 dans le cadre du Mois de la Science organis par la SENS. Il a t remis en page en janvier 2008.
Bulletin de la Socit des Enseignants Neuchtelois de Sciences, n 18, Sept. 1996, Mathmatique
Par la suite, Hamilton a encore introduit un corps de quaternions H (non commutatif), Cayley a dfini des octaves (qui forment un domaine non associatif). Ainsi le concept de nombre a-til connu toute une suite d'extensions. Kurt Hensel (1861-1941) dcouvre une alternative. Partant des nombres rationnels, il envisage en effet vers 1897 des nombres nouveaux, indpendants des nombres rels. Le corps Q des nombres rationnels est ainsi l'origine de plusieurs extensions indpendantes Q2, Q3, Q5, ... (et R). Chacune d'elle peut tre ensuite plonge dans un corps universel C2, C3, C5, ... (et C). Ces corps universels sont miraculeusement isomorphes algbriquement bien que leur construction et leur aspect topologique soient totalement diffrents (les corps C p sont totalement discontinus, tandis que le corps complexe C est connexe). Pour introduire ces nombres p-adiques, nous allons nous inspirer de l'article de R. Cuculire (rfrence en fin de ce texte) et commencer par les nombres automorphes.
Bulletin de la Socit des Enseignants Neuchtelois de Sciences, n 18, Sept. 1996, Mathmatique
Si on continue notre exprimentation des nombres automorphes, on trouve que par construction s = ...109376 x ...109376 = ...109376 = s, t = ...890625 x ...890625 = ...890625 = t. (Mieux : s = s = s = ... et de mme pour t !) On trouve aussi s + t = l (mais oui !) et st = 0. Cet anneau est un peu trange premire vue. Puisque le produit de deux lments non nul peut y tre nul, on dit qu'il n'est pas intgre. Tout ce qui vient d'tre fait dpend naturellement du choix de la base 10 pour reprsenter les nombres. On pourrait faire de mme avec les bases 2, 3, 5, ... Par exemple, Z5 dnote l'anneau des nombres ayant une criture illimite gauche en base 5. Le sens de l'criture tant invers, on doit considrer que les chiffres placs de plus en plus gauche ont de moins en moins d'importance (et dnotent par consquent des contributions de plus en plus petites dans un sens prciser...). Pour chaque nombre premier p, l'anneau des nombres p-adiques est ainsi l'anneau Zp consistant en les dveloppements illimits ... a3a2a1a0 = a0 + a1p + a1p + a1p + ... Une faon de prsenter cet anneau consiste poser par dfinition Zp = Z[[X]]/(X - p) donc identifier les nombres p-adiques aux sries formelles en une indtermine X que l'on remplace par le nombre p en fin de compte. Revenons aux nombres 10-adiques. On observe que s = ...109376 a un reste de division par 5 gal 1, ce qui est traditionnellement dnot par s $ 1 mod 5. Le reste de la division de s par 25 est aussi 1 et plus gnralement s = ...109376 $ 1 mod 5 . Cela signifie que si on essaie de dvelopper ce nombre en base 5, on trouve s = 1 + 0"5 + 0"5 + 0"5 + ... Ce mme nombre s est divisible par 2, 4, ... et satisfait s $ 0 mod 2
2 n 2 3 n 2 3 2 3 2 2
qui disent que son dveloppement illimit en base 2 est trivial s = 0 + 0"2+ 0"2 + 0"2 + ... Loin de nous dcourager, ces faits nous conduisent remarquer que l'application qui un nombre dcadique associe ses dveloppements en base 5 et en base 2, disons f : Z10 % Z5 & Z2 est telle que f(s) = (1,0) et f(t) = (0,1). On peut aussi expliciter cette application f sous la forme suivante x a (sx, tx)
3
Bulletin de la Socit des Enseignants Neuchtelois de Sciences, n 18, Sept. 1996, Mathmatique
Elle est inversible par (a, b) a a + b car en effet x = 1"x = (s + t)x = sx + tx. Cette application f fournit un isomorphisme entre Z10 et Z5 & Z2. Il est plus facile d'tudier les anneaux p-adiques (p premier) que l'anneau 10-adique. On peut montrer en effet que lorsque p est un nombre premier, l'anneau Zp est intgre. Ce sont ces nombres p-adiques qui ont t dcouverts par Hensel (1861-1941) et qu'il introduit par des considrations algbriques dans Theorie des algebraischen Funktionen einer Variabeln (1902). Il ajoute par la suite le corps des fractions Qp de l'anneau Zp dans Theorie des algebraischen Zahlen (1908). On peut se reprsenter les nombres rationnels p-adiques comme tant ceux qui en base p ont i un nombre fini de dcimales: ils correspondent ainsi un nombre fini de termes aip avec i ngatif (on rencontre des sries analogues en dveloppant des fonctions rationnelles en srie de Laurent). Quelques commentaires encore concernant les nombres dcadiques. Le nombre s engendre un idal principal (s ) = I = sZ10 ' Z 10 et la multiplication par s dans lanneau dcadique est un projecteur de cet anneau sur cet idal. Il en est de mme pour la multiplication par t qui projette lanneau Z sur lidal princiapl (t) = J. Comme s + t = 1, on en dduit que lanneau 2 dcadique est isomorphe la somme directe de ces deux idaux. Lquation x - x = 0 a en fait quatre solutions dans Z10, savoir 0, 1, s et t. Il et clair que si x en est une solution, 1-x en est aussi une puisque (1 - x) = 1 - 2x + x = 1 - 2x + x = 1 - x. Les deux solutions complmentaires x et 1-x satisfont encore x(1 - x) = x - x = 0 qui reprsente une forme dorthogonalit. Ainsi les solutions de x = x apparaissent par paires. Par exemple 0 et 1 forment une paire, tout comme s et t.
2 2 2 2
Bulletin de la Socit des Enseignants Neuchtelois de Sciences, n 18, Sept. 1996, Mathmatique
On a choisi la numration en base p - par cohrence - aussi pour les nombres rels entre 0 et 1. Deux inconvnients surgissent. Le premier est que cette correspondance ne respecte pas les rgles de retenues: les retenues sont reportes gauche dans la source, tout comme dans l'image alors que la symtrie retourne gauche et droite. Le deuxime est la non injectivit de cette symtrie. En effet, les deux nombres 10-adiques distincts ...9990 = -10 et ...0001 = 1 ont mme image 0,1 = 0,0999... (Le mme phnomne apparat bien sr dans tous les Zp). Il est plus raisonnable de se reprsenter l'ensemble des suites de 0 et 1 par les branches d'un arbre qui prsente une structure dichotomique rgulire. Une suite binaire illimite peut soit tre interprte comme branche (trajet) illimite ou comme extrmit de la branche. Le dessin de la figure 1 montre cette faon de reprsenter Z2 La correspondance avec les nombres rels entre 0 et 1 est bien illustre par ce modle: la concidence de deux numrations peut tre rendue par un choix d'chelle convenable.
fig 1. Reprsentation de Z2
Le dessin montre aussi comment pallier cet inconvnient: il suffit de sparer les branches par exemple en les faisant aboutir dans l'ensemble de Cantor. Rappelons que ce dernier ensemble est obtenu en retranchant le tiers mdian de l'intervalle [0,1], puis celui des intervalles restants, etc. Cette procdure s'explique facilement en base 3. Les nombres 0, a0 ... qui ont un premier chiffre aprs la virgule diffrent de 1 en base 3 (donc a0 = 0 ou 2) sont prcisment ceux qui vitent le tiers mdian. Les nombres qui tombent dans l'ensemble de Cantor sont prcisment ceux qui en base 3 s'crivent avec des chiffres ai tous diffrents de l (ai = 0 ou 2). Une bonne correspondance entre Z2 et une partie de [0,1] est donne par
Bulletin de la Socit des Enseignants Neuchtelois de Sciences, n 18, Sept. 1996, Mathmatique
!q :
#a p
i i" 0
a c # v(a i )/q i +1
i"0
(o c est une constante de normalisation et q > 1 assure la convergence de la srie). Selon les valeurs de q, on va voir que +q est injective. Mme lorsque ce n'est pas le cas, l'image est un fractal paramtr naturellement par Zp. Posons , = {v(0), v(1), ..., v(p - 1)} Fq = Im(+q) = +q(Zp) ' V. Par dfinition mme Fq = Uv!, c (v + Fq/q) runion de p morceaux self-similaires au tout. Si q est assez grand, ces morceaux sont disjoints, +q est injective et la dimension de self- similarit de cette image est le nombre d tel d que l'homothtie de rapport q produit q morceaux semblables l'original. On doit donc avoir q = p, d = log p/ log q . Les cas particuliers suivants illustrent les images obtenues avec plusieurs applications +q du type prcdent. Avec p = 3, on peut obtenir un modle de Z 3 qui paramtre naturellement le napperon (connexe) de Sierpinski (figure 2).
d
fig 2. Reprsentation de Z3
Avec p = 5, on peut construire un modle plan de Z5 qui paramtre naturellement un fractal connexe bien connu (figure 3).
Bulletin de la Socit des Enseignants Neuchtelois de Sciences, n 18, Sept. 1996, Mathmatique
fig 3. Reprsentation de Z5
fig 4. Reprsentation de Z5
fig 5. Reprsentation de Z7
On peut aussi choisir des vecteurs v(k) dans l'espace de dimension trois et obtenir une famille d'applications de Z5 dans cet espace dont des modles situs l'intrieur d'un ttradre. On en 7
Bulletin de la Socit des Enseignants Neuchtelois de Sciences, n 18, Sept. 1996, Mathmatique
observera en particulier les faces (qui donnent des modles de Z3) ainsi que les artes (qui donnent des modles de Z2) (figure 4). Finalement, pour p = 7, une image donne dans le livre de Schikhof (figure 5) peut tre insre dans ce contexte. Il est mme possible de la relever dans l'espace de dimension trois en fixant les 7 images v(k) (0 ! k ! 6) en les sommets d'un octadre (rgulier) et en son centre (figure 6).
fig 6. Reprsentation de Z7
Rfrences Barsky D., Christol G. Les Nombres p-adiques. La Recherche 26 (1995), 766-771. Cuculire R. A l'horizon de l'arithmtique dcimale: les nombres 10-adiques issus des nombres automorphes de Gergonne et Lucas. Pour la Science (Juin 1986), 10-15. Schikhof W. H. Ultrametric Calculus: An introduction to p-adic Analysis. Cambridge : University Press 1984, ISBN: 0- 521- 24234-7. NDLR : Lauteur a publi ultrieurement cet article un important ouvrage sur lanalyse padique Robert Alain M. A Course in p-adic Analysis. Berlin : Springer-Verlag, Graduate Texts in Mathematics,198 (2000). ISBN 0-387-98669-3.