Le thorme de maximalit de Wermer

par Alain Pommellet

Le premier rsultat fondamental en thorie de l'approximation est le thorme de Stone-
Weierstrass, sous sa forme tendue:
Thorme
Soient un espace compact, et une sous-algbre de . On suppose que les deux
conditions suivantes sont ralises:
spare les points, c'est--dire que, pour tout appartenant , il existe dans
telle que ;
pour tout appartenant , il existe dans telle que .
Alors est dense dans muni de la norme uniforme.
Dmonstration: Voir par exemple le Cours de Topologie de Gustave Choquet chez Masson
(rcemment rdit).
Appliqu aux fonction polynmes sur un segment, ou encore aux polynmes trigonomtriques
sur le tore, cet nonc redonne les thormes usuels.

Remarques:
La condition ci-dessus est immdiate si est unitaire, ce que nous n'avons pas suppos.
Avec seul le rsultat tombe en dfaut: prendre la sous-algbre de donne par
les fonctions nulles en . On peut prouver, sous la seule hypothse , que l'adhrence de est
un idal maximal de .
Le fait que les fonctions soient but rel est essentiel. Par exemple, dans l'algbre
des fonctions continues complexes sur le cercle unit norme par , la sous-
algbre des fonctions polynmes n'est pas dense, alors qu'elle satisfait videmment aux deux
conditions du thorme de Stone-Weierstrass:
si est limite sur d'une suite de fonctions polynmes, il vient correctement:


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

ce qui est absurde.
On montre classiquement que l'adhrence de est l'algbre des fonctions continues sur
admettant un prolongement holomorphe au disque unit , voir par exemple Rudin, Real and
complexe Analysis, chap. XVIII.
Exercice:
Soit un compact du plan complexe, dont le complmentaire possde au moins une
composante connexe borne. Montrer que les polynmes ne sont pas denses dans . (Si
est une composante connexe borne de , prendre et raisonner par l'absurde en
considrant la restriction de ; si est limite uniforme d'une suite de
polynmes sur , le principe du maximum montre que converge uniformment sur .)
Le bon nonc lmentaire complexe est le suivant :
Thorme
Soient un espace compact, une sous-algbre de , telle que:
spare les points;
pour tout appartenant , il existe dans telle que ;
est stable par conjugaison.
Alors est dense dans .
Dmonstration: La proprit se traduit par le fait qu'une fonction appartient si et
seulement si ses parties relles et imaginaires sont dans . Il en rsulte que la famille des
fonctions prenant des valeurs relles, qui est une sous-algbre de , possde aussi
les proprits et . est donc dense dans , et par suite est dense
dans .
En fait, la diffrence entre les cas des buts rels et complexe est source de problmes nombreux
et subtils ; un exemple frappant en est le
Thorme de maximalit de Wermer :
Dans l'algbre des fonctions continues complexes sur le cercle unit norme par
Page 2sur 4 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=529&Type=enonce&Num=0&Mode=...
, la sous-algbre constitue des fonctions dont tous les coefficients de Fourier
complexes d'indice ngatif s'annule est ferme, et maximale parmi les sous-algbres fermes de
.
Dmonstration: Le caractre ferm est vident par passage la limite dans le calcul des
coefficients de Fourier. En usant du thorme de Fejr qui dit que les moyennes de Cesro des
sommes partielles de la srie de Fourier d'une fonction continue convergent uniformment vers
cette dernire, on vrifie sans peine que est exactement l'adhrence dans des fonctions
polynmes en .
Pour obtenir le rsultat souhait, il suffit de montrer que, si l'on ajoute une fonction ,
la sous-algbre ferme engendre par et contient : possde alors tous les
, donc tous les polynmes trigonomtriques, et de ce fait est dense dans .
Soit donc , et un entier tel que ; quitte remplacer par
on peut supposer .
Par densit, nous pouvons trouver des polynmes trigonomtriques et , et , de norme
tels que: . Introduisons , il vient
, o est imaginaire pur. De l, pour tout rel ,
d'o:


et de ce fait:


Si est assez petit, nous obtenons ce qui montre que
est de norme , donc que est inversible dans l'algbre de Banach
, c'est dire que possde un inverse dans : a fortiori aussi, donc la fonction
est dans et la conclusions suit.

Partie Rfrences.

Partie Rfrences.
G. Choquet, Cours de Topologie, Masson.
Page 3sur 4 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=529&Type=enonce&Num=0&Mode=...
W. Rudin, Real and Complex Analysis, Macgaw Hill.
F. Gamelin, Function Algebras, Prentice Hall
F. Browder, Introduction to Function Algebras, Benjamin-New York University Press.

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