3
Exercice 7. (Un espace compact Xest m´etrisable si et seulement si
l’alg`ebre C0(X, R)est s´eparable) Soit Xun espace topologique compact, E=
C0(X, R) l’alg`ebre des fonctions continues sur Xmunie de la norme infinie k.k∞.
(1) Montrer que si la topologie de Xest m´etrisable, alors (E, k.k∞) est s´eparable.
[On se souviendra que Xest alors lui-mˆeme s´eparable et on pourra consid´erer
des fonctions distance `a des points de Xbien choisis.]
(2) Soit E0le dual topologique de (E, k.k∞) muni de sa norme d’op´erateur.
Soit l’application ”´evaluation” :
δ:X→E0
x7→ δx:E→R
ϕ7→ δx(ϕ) := ϕ(x)
(a) Montrer que δest `a valeurs dans la boule unit´e ferm´ee E0
1de E0.
(b) Montrer que δest injective.
(c) Montrer que δest continue si E0
1est munie de la topologie faible-?,
puis que δest un hom´eomorphisme sur son image.
(d) Conclure que Xest m´etrisable si C0(X, R) est s´eparable.
Exercice 8. (Une version ”alg`ebre” du th´eor`eme de Banach-Stone) Le but
de cet exercice est de montrer que deux espaces topologiques compacts Xet Ysont
hom´eomorphes si et seulement si C0(X, R) et C0(Y, R) sont isomorphes en tant
qu’alg`ebres (et alors elles sont isom´etriques si on les munit de leur norme infinie).
Le ”vrai” th´eor`eme de Banach-Stone dit qu’une autre condition (n´ecessaire
et) suffisante est que C0(X, R) et C0(Y, R), munis de leur norme infinie, soient
isom´etriquement isomorphes en tant qu’espaces vectoriels.
(1) Soient Xet Ydeux espaces topologiques compacts. Montrer que si Xet Y
sont hom´eomorphes, il existe un isomorphisme d’alg`ebres entre C0(X, R)
et C0(Y, R) et que cet isomorphisme pr´eserve les normes infinies.
(2) Soit Xun espace topologique compact, El’alg`ebre C0(X, R) et E0le dual
topologique de (E, k.k∞), muni de la norme d’op´erateur. Une forme lin´eaire
φsur Eest dite multiplicative si φ(f g) = φ(f)φ(g) pour tout f, g ∈E.
(a) Montrer qu’une forme lin´eaire multiplicative est continue et de norme
1.
(b) Montrer que l’ensemble Mdes formes lin´eaires multiplicative est un
ferm´e de la boule unit´e ferm´ee E0
1de E0pour la topologie faible-?, et
donc que Mest compact.
(c) V´erifier que les formes d’´evaluation δxpour x∈Xd´efinies `a l’exercice
pr´ec´edent sont multiplicatives et en d´eduire que δ(X) := {δx, x ∈X}
est un ferm´e de M.
(d) Soit l’application u:E=C0(X, R)→C0(M, R) d´efinie par u(f) :
φ7→ φ(f). V´erifier que uest lin´eaire et isom´etrique (pour les normes
k.k∞).
(e) Montrer que l’image de uest ferm´ee dans C0(M, R). [On pourra mon-
trer que si (fn) est une suite de C0(X, R) telle que (u(fn)) converge vers
gdans C0(M, R), alors (fn) converge vers la fonction f:x7→ g(δx)
dans C0(X, R).]