Vous êtes sur la page 1sur 14

Approximation par des polynmes coefficients dans

Herv Ppin et Nicolas Tosel


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.

Page 14sur 14 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=18&Type=enonce&Num=0&Mode=...