Rsum: Le but essentiel de cet article est de dcrire les fonctions qui sont limites uniformes sur un segment de de polynmes coefficients entiers ; on dmontre au passage une gnralisation du thorme de Stone-Weierstrass aux anneaux sparants de fonctions continues.
1 Introduction et notations 2 Un cas particulier 3 Adhrence d'un anneau sparant de fonctions continues 4 Condition de non vacuit de 5 Description de 6 Appendice : idaux ferms de Bibliographie
1 Introduction et notations Dans tout ce texte est un espace topologique compact et est l'algbre des fonctions continues de dans ; la norme uniforme sur est note . Par ailleurs, et sont deux rels tels que et dsigne le segment . On identifie un lment de et la fonction qu'il induit sur . Pour dans , on note l'ensemble des racines de appartenant et le polynme de dont les coefficients sont les parties entires de ceux de . Soit l'ensemble (ventuellement vide) des de tels que , et l'intersection des pour parcourant . Pour , on dsigne par l'espace affine des polynmes unitaires de degr de . Le thorme de Weierstrass dit que est dense dans ; il en va donc de mme de pour tout sous-anneau dense dans . Il est moins facile de dcrire l'adhrence de dans . Une premire contrainte laquelle doivent satisfaire les lments de est de prendre aux ventuels points entiers de des valeurs entires ; ce n'est en gnral pas la seule. Le but de ce texte est de prsenter quelques rsultats relatifs ce problme obtenus dans les annes cinquante par Fekete d'une part, Hewitt et Zuckermann de l'autre. Les sources utilises sont les articles [1] et [3], la monographie [2], entirement Page 1sur 14 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=18&Type=enonce&Num=0&Mode=... consacre ce sujet et dans laquelle on pourra trouver de nombreux rsultats complmentaires, ainsi que le livre [5] qui pour l'essentiel reprend [3] ; les mthodes employes, un peu plus abstraites que celles des rfrences susmentionnes, permettent de simplifier certaines dmonstrations. Le prrequis est rduit aux rsultats de base concernant les fonctions continues sur un compact : thorme de Stone-Weierstrass, structure des idaux ferms de l'algbre ([4]). Le paragraphe 2 prouve un premier rsultat trs simple, qui rgle le cas o avec . Dans le paragraphe 3 on tablit un thorme gnral du type Stone-Weierstrass dcrivant l'adhrence d'un anneau sparant de fonctions continues sur un compact. Cet nonc met en vidence une certaine dichotomie : si est vide, est discret dans alors que dans le cas contraire est dfini par des conditions d'interpolation aux points de l'ensemble fini . Le paragraphe 4 traduit alors la condition l'aide de la longueur de tandis que le paragraphe 5 conclut par une description algbrique de . Pour la commodit du lecteur un appendice rappelle enfin la preuve du thorme de structure des idaux ferms de .
2 Un cas particulier On va ici dmontrer le : Lemme 1 Supposons que avec . Une fonction de est dans si et seulement si est entier. Preuve. Il est clair, si , que . Soit inversement dans telle que . Pour prouver que on peut, quitte remplacer par , supposer . Si est un entier impair , on voit alors aisment que est adhrente dans (il suffit d'approcher uniformment sur par des polynmes nuls en 0). Par ailleurs, si est dans , on vrifie l'ingalit :
Vu que , on a donc : Page 2sur 14 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=18&Type=enonce&Num=0&Mode=...
quand , ce qui permet facilement de conclure. Voici, sous forme d'une srie d'exercices, quelques variantes appartenant au folklore. Exercice 1 A l'aide du lemme 1 dcrire les segments tels que . Exercice 2 On suppose et on pose . a) Montrer, si et :
b) En dduire que la fonction constante gale 1/2 est dans , puis que . Exercice 3 On suppose . Retrouver le b) de l'exercice 2 en considrant les itres de . Exercice 4 Soit dans . La suite des polynmes de Bernstein de est dfinie par :
On rappelle que converge uniformment vers sur . a) On suppose que . Si , soit :
Montrer que : , et en dduire que appartient . b) Dcrire . Page 3sur 14 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=18&Type=enonce&Num=0&Mode=... Exercice 5 Pour dans , soit :
a) Etablir : , . b) Soit dans . En considrant , montrer que :
c) Montrer que contient tous les de tels que : . d) Dcrire . e) Retrouver l'aide de d) les rsultats du lemme 1 et de l'exercice 4.
3 Adhrence d'un anneau sparant de fonctions continues Commenons par quelques rappels. Un sous-ensemble non vide de est dit sparant si et seulement si :
Le thorme de Stone-Weierstrass dit qu'une sous-algbre de est dense (pour si et seulement si elle est sparante. On en trouvera la preuve dans de nombreux ouvrages, par exemple dans [4] ; l'expos donn par Stone dans [6] est plus difficilement accessible mais prsente - outre son intrt historique - l'avantage d'tre illustr de nombreuses applications. L'objet principal de ce paragraphe est de gnraliser le thorme de Stone-Weierstrass en dcrivant l'adhrence d'un sous-anneau sparant de . On utilisera le rsultat classique suivant : Si est un idal de , si est l'ensemble des zros communs aux lments de , l'adhrence de dans est constitue des fonctions de qui s'annulent sur . Page 4sur 14 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=18&Type=enonce&Num=0&Mode=... Il s'agit d'une consquence immdiate de la description des idaux ferms de , cf par exemple [4] ou l'appendice la fin du texte. Voici le rsultat. Thorme 1 Soit un sous-anneau sparant de . On note l'ensemble
i) Si , est discret (donc ferm) dans . ii) Si et si est l'ensemble des zros communs aux lments de , l'adhrence de dans est constitue des fonctions de telles qu'existe dans vrifiant . iii) Soit, si est un ferm de , . Alors est le plus grand ferm de tel que soit un sous-anneau discret de . (On peut videmment viter de sparer les cas dans i) et ii) en convenant que si .) Preuve de i) et de l'implication triviale de ii). Soit une suite d'lments de convergeant uniformment vers sur . Il existe alors tel que :
Pour , est alors dans et s'annule donc sur . Il s'ensuit que . Preuve de l'implication non banale de ii). Soit dans concidant sur avec l'lment de . On veut montrer que est dans . Quitte remplacer par , on suppose que s'annule sur . On argumente alors comme suit. a) Soit l'idal de engendr par , de sorte que . Le rsultat sur les idaux de rappel ci-dessus montre que est dans . Reste donc tablir : ou encore . Page 5sur 14 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=18&Type=enonce&Num=0&Mode=... b) Les lments de s'crivent :
o , les (resp. les ) sont dans (resp. ). Par ailleurs, le thorme de Stone-Weierstrass assure que la sous-algbre de engendre par est dense dans . Approchant chaque par des lments de , on est ramen montrer que, pour dans et dans , est dans . c) Les lments de sont les combinaisons linaires relles de ceux de . On est en fin de compte conduit prouver que si est dans et dans , est dans . On utilise alors le lemme 1 avec et pour obtenir l'appartenance de . Ceci achve la preuve. Preuve de iii). On utilise une consquence immdiate de i) et ii) : l'anneau est discret dans si et seulement si est vide ; et donc est discret dans si et seulement si la seule fonction de telle que est la fonction nulle.A partir de cette remarque, on procde de la faon suivante. a) Soit d'abord un ferm de tel que soit discret dans . Si est dans , et donc . Ainsi . b) Montrons maintenant que est discret. Soit dans telle que et dans telle que . On dfinit dans par :
La fonction est dans d'aprs ii) et . Si est une suite d'lments de qui converge uniformment vers sur , l'argument employ dans la preuve de i) montre, pour assez grand, que . Comme , pour assez grand et donc . Ainsi est nulle. Exercice 6 Montrer l'quivalence entre : i) est dense dans , Page 6sur 14 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=18&Type=enonce&Num=0&Mode=... ii) est vide, iii) il existe dans tel que . Dans les paragraphes suivants, on n'tudiera que le cas o . Si n'est pas vide, est alors un ensemble fini de rels algbriques (en fait d'entiers algbriques, cf thorme 3), et on constate bien la dichotomie annonce dans l'introdution. Exercice 7 A l'aide des exercices du paragraphe 1, dcrire si avec , et . Exercice 8 Dterminer les segments tels que soit vide. Exercice 9 Ici . a) Si est dans , crire le polynme interpolateur de en . b) Montrer que et en dduire Nous terminons ce paragraphe par un rsultat inutile pour la suite du texte mais qui a l'intrt de ramener l'tude des sous-anneaux ferms de celle de ses sous-anneaux discrets. Pour le formuler, notons (resp. ) l'ensemble des sous-anneaux ferms (resp. discrets) sparants de et la runion des o dcrit l'ensemble des ferms de . Si est dans o est un ferm de , soit . Puisque toute fonction de s'tend en une fonction de (thorme de Tietze-Urysohn), on vrifie que est un sous-anneau ferm sparant de , que , que . La partie iii) du thorme 1 montre rciproquement que si est dans , alors est dans et . On a ainsi tabli le : Thorme 2 Les applications
sont deux bijections rciproques.
Page 7sur 14 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=18&Type=enonce&Num=0&Mode=... 4 Condition de non vacuit de Le but de ce paragraphe est de prouver le : Thorme 3 i) Si , est vide. ii) Si , contient au moins un polynme unitaire de sorte que est un ensemble fini d'entiers algbriques. La dmonstration du thorme repose sur le : Lemme 2 Pour :
Preuve. On dmontre d'abord le rsultat pour . Dans ce cas, soit le ime polynme de Tchbycheff dfini par :
Il est classique que le terme de plus haut degr de est . D'autre part, si on pose pour , la suite est strictement dcroissante et . On en dduit dj que le polynme est dans et vrifie , ce qui prouve :
Si cette ingalit n'tait pas une galit, il existerait dans tel que : . Posant , appartiendrait et vrifierait , d'o pour tout de . Appliquant le thorme des valeurs intermdiaires sur chaque , on obtiendrait zros de , ce qui fournirait , , et la contradiction . Si , on observe que pour tout de le polynme dfini par : Page 8sur 14 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=18&Type=enonce&Num=0&Mode=...
est dans et vrifie : . Le rsultat suit. Preuve de la partie i) du thorme 3. Supposons . Si est dans , s'crit avec et unitaire. Par suite d'aprs le lemme 2. Preuve de la partie ii) du thorme 3. Posons , de sorte que et que l'on dispose, grce au lemme 2, d'une suite de polynmes telle que :
Fixons tel que et observons que l'on peut, si , choisir dans de sorte que, si :
les coefficients de d'indices dans la base canonique de soient entiers. Le polynme est unitaire de degr , tel que :
Soit ; est dans et, puisque les coefficients de sont dans , la suite est borne dans . Il en rsulte que l'on peut trouver et tels que et . Mais alors :
Le polynme est unitaire de degr coefficients entiers. Exercice 10 Les notations sont celles de la partie 3 mis part que est un compact non vide de . On pose, si : Page 9sur 14 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=18&Type=enonce&Num=0&Mode=...
a) Si , comparer et . b) En dduire que tend vers sa borne infrieure . c) Montrer que est vide si et seulement si . (On peut tablir que est le diamtre transfini de la partie .) Exercice 11 Pour dans , soit :
o est le ime polynme de Tchebycheff. a) Montrer, si est dans , que :
b) Montrer :
c) Dcrire l'adhrence de dans (pour la norme ) si .
5 Description de Notons l'ensemble des entiers algbriques dont tous les conjugus appartiennent . On achve ici l'tude de en dmontrant le : Thorme 4 Supposons . Alors : . Preuve de l'inclusion de dans . Soient dans , ses Page 10sur 14 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=18&Type=enonce&Num=0&Mode=... conjugus, de sorte que le polynme minimal de sur est :
et qu'il appartient . Par hypothse, les sont dans . Soient maintenant dans et
Les coefficients de sont des polynmes symtriques coefficients dans en et sont donc entiers grce au thorme de structure des polynmes symtriques. De plus, le terme constant de est :
qui est de module . Il s'ensuit que l'un au moins des est nul. Mais comme sont -conjugus, tous les sont nuls, en particulier . On a ainsi tabli que est dans . Preuve de l'inclusion de dans Grce au thorme 3, est fini. Notons ses lments. Prouver que est contenu dans revient prouver que est dans . Nous allons interprter ce polynme comme polynme caractristique d'un endomorphisme de stabilisant un certain rseau, ce qui impliquera le rsultat. On pose
C'est un sous-groupe de qui engendre vectoriellement car les sont deux deux distincts. Le iii) du thorme 1 entrane que est un sous-anneau discret de , donc que est discret dans . Il s'ensuit que est un rseau de . Mais est trivialement stable par l'endomorphisme de dfini par :
ce qui achve la dmonstration. Page 11sur 14 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=18&Type=enonce&Num=0&Mode=... Exercice 12 Soient des rels deux deux distincts. A quelle condition :
est-il dense dans ? On termine en formulant diffremment le rsultat obtenu. Thorme 5 Supposons . Alors, si est dans , appartient si et seulement si son interpolateur de Lagrange de aux points de appartient . Preuve. Seule une implication mrite une dmonstration. Pour l'tablir, soient dans concidant avec sur , l'interpolateur de Lagrange aux points de , le produit des polynmes minimaux (distincts) des lments de . Le polynme est unitaire de degr gal et appartient . Effectuons la division euclidienne de par : . Les polynmes et sont dans (car est unitaire), le degr de est major par , et . Par unicit et donc est dans . Exercice 13 Pour , soit l'ensemble des entiers algbriques (complexes) de degr dont tous les conjugus sont de module 1. a) Montrer, si , que . b) Montrer que est fini. c) En dduire que les entiers algbriques dont tous les conjugus sont de module 1 sont les racines de l'unit. d) Dduire de c) que les rels entiers algbriques dont tous les conjugus sont dans sont les pour . e) Si est dans , dterminer le degr sur et les conjugus de . f) Dcrire explicitement si . Exercice 14 Reprendre les preuves des thormes prcdents en remplaant le segment par Page 12sur 14 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=18&Type=enonce&Num=0&Mode=... un compact de , la condition par (cf exercice 10) et noncer les rsultats obtenus.
6 Appendice : idaux ferms de Les notations sont celles du paragraphe 3. On note l'ensemble des ferms de et l'ensemble des idaux ferms de . Nous reproduisons la preuve de [4] du rsultat classique suivant : Thorme 6 L'application qui un lment de associe l'lment de de est une bijection de sur ; la rciproque est l'application qui l'lment de associe . Preuve. Il est clair, si , que et . Pour tablir l'inclusion rciproque, il suffit de noter que si est dans , il existe dans telle que (on peut prendre :
o est la distance donnant la topologie de , dans le cas o est mtrisable ; dans le cas gnral, on utilise le thorme de Tietze-Urysohn). Soient maintenant un idal ferm de , dans s'annulant sur , , et . Puisque est contenu dans , il existe, si , dans tel que . Cette fonction ne s'annule pas sur un voisinage ouvert de dans , et du recouvrement de par les on peut extraire un sous-recouvrement fini . Posons alors :
la fonction est dans , valeurs dans et strictement positive sur ; la fonction a donc un minimum . Soient alors, pour dans : Page 13sur 14 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=18&Type=enonce&Num=0&Mode=...
est dans donc aussi et :
est majore par sur et par
sur . Pour assez grand, on a par suite ce qui montre que est adhrente , donc appartient puisque est ferm. Exercice 15 Dcrire les idaux maximaux de . (On montrera qu'un tel idal est ferm.) Exercice 16 Dcrire les automorphismes de l'algbre . (On pourra utiliser l'exercice prcdent.)
Bibliographie 1 BERGER Laurent, L'approximation par des polynmes coefficients entiers, Gazette des Mathmaticiens no 84, 2000, 2 FERGUSON LeBaron O, Approximation by Polynomials with Integral Coefficients, American Mathematical Society, 3 HEWITT Edwin, ZUCKERMAN Herberts S., Approximation by Polynomials with integral coefficients, a reformulation of the Stone-Weierstrass theorem, Duke Math. J . 26, 1959, 4 LANG Serge, Real and Functional Analysis, Springer Verlag, 5 LORENTZ George. G, GOLITSCHEK Manfred von, MAKOVOZ Youri, Constructive Approximation : Advanced Problems, Springer Verlag, 6 STONE Marshall H, A Generalized Weierstrass Approximation theorem, Studies in Modern Analysis, vol. 1.