ou LES NowpRES OE LIOUVILLE Piorre-Ywes LEDUC Crpxggiyn serinatce dome par P.¥stetue 8 1niversiee de Montréal Avant de parler des nosbres de Liouville, nous retracerons tes prin- cipates difficultés notivant 1a construction de L'ensenble complet des nombres réels, Supposons dtabord que nous ne disposions que de Lensenble des none bres rationnels (*), come nous alloné voir, nous devenons inmédiatenent Tinités de toutes parts, La notion de noxbré rationnel est d'ailleurs ts ancionne, et les Grecs eurent tOt fait de les trouver insuffisants, QUELQUES NOWBRES Now-RATIONNELS 11 ést conn deputs longtemps que certaines Yopérations™ ne conser vent pas 1a rationalité dos nombres; les gisciples de Pythagore avaient AE)4 prowvé I'irrationaritg de 72 ot de /F son sait trés bien que ceci se pénéralise au fale que st yfrntest pas un entior, cfest un irraeionnel, Wentionnons, 9 titre de second exemple, que Ie logarithne 3 base 10 de tout nombre qui ntest pas une puissance d@ 10 est nécessaivement irra~ Clonmel + par exemple supposons que Tor yy 22g see emtlors, bf o alors par définition de 1a fonction logerithne + 10M 22 ated 108 = 2b ce qui contredit 1e théorBne dunicité de 1a décorposition des entiers en produit de patssances de nonbres preniers. Enfin nous savons que des nonbres aussi inportants que ct ¢ (**) sont irrationnels; convaincons-nous ds maintenant de I"irrationalité de er Supposons ©, & et considérons 1e nombre a défini par t TY TISSECTTIS des nombres de ta forme a, a et bentiers et Do. 5 (7) Comme deeinition de 0, pronons 1a série ty-u- z) Sik > by alors 1a parenth8se peut so mettre sur le pine dnonina~ teur KE et Ia sinplification des Li nontre le caractore entier de a Drautre part « est positif car crest cut (2 ty oe (hyp har te tat on a done 0 caste ada teet . wr OE eT * a 0 cadet het et het ee BE} citar tpt FR ‘ar contredisant 1e fait que a est entier. Les noweves aucéenrques 11 est assez naturel de penser 3 une sorte de hiérarchie des nonbres igrationnels; par exemple, plest-co-pas que /7 est "plus irrstionnel” que WB, lequel est "plus ierationnel” que 2 Iui-ntre ? (on peut done penser 8 classifier les nonhres d'apris leur "degre Ativravionalite"; par suite on dire DECinition ~ Un nombre ¢ est dit algédrique de degré m, sin est le plus petit entier positif tel que £ soit solution dune Equation ds type saan aggtel oe sont entiers et ay # 0. On volt inpédjatenent que es rationnels sont tout simplenent des ‘priques de degré 1 et qu'en sone 12 notion de nonbre algéhrique est Ja pénGralisation 1a plus naturelle de celle de norhre rationnel, cower va. 1 DE_NowpR! fon sait depuis lonptenps que les rationnels sont dénombrables ot on peut maintenant se poser Ia question : les nombres algébriques sont-ils-13e aussi Génowbrables 7 cour ¥ répondre, considérons 1e nombre & déFini par hee lal + + agl + omy ay entiers; on voit qu'il y a un nombre fini de polyntnes entiers en x corzes- pondant 2 un h fixé; mais on sait qu'd chacun de cos polynBnes correspond tun nombre fini (au plus x) de racines réelles. Dto) il est clair qu? un hy fix€ correspond un nombre fini de nonbres aigehriques, Si on fait ceci avec h #2, h'= 3, 824, ete, on aura wne nunération des nombres alge briques. Done les nombres algébriques sont dénovbrables; les réels le Sontmils aussi ? Evidennent ont Et voici deux fagons différentes de 16 reaver. Supposons Iexistence d'une Gnunération des réels dont voici une représentation décinale : ais ee 2 #89 872 895 agg eee © ea; © 10 pour tout a; 45 a5 55 = 51 492 855 85¢ ee Met 841 42 845 OH ee Soit € = eyeqe5 + + + + dEFIni par eg # qq Pour tout ny alors Evidement cette éminération ne cantient pas £ et 1a conetusion stensute, Uy Soke, Gg bo sh Sncervatte et (ayy apy .++) ane Gunéretion de Divisons 1"intervaite (xy, bo) en trois parties Seales et soit (ay, br) itintervalte du'miliou ton ® oem edredg of od Gy dD 1) Si xp f (ayy ba) ivisone (ay, by) on trots partion alee, ot soit day Bs) Winterveiie da qitien. 2) Sk xg e (aq, by) divisons (x2, by) en trois parties Seales et soit’ (32, fy) Tintervalle du’milteu Ora cay ea; ay bp ed) Bo et xe (Ap5 Od