L’alg`ebre des fonctions continues sur un compact
Un id´eal d’un anneau commutatif sera dit propre s’il est diff´erent de
l’anneau tout entier, et maximal s’il est maximal pour l’inclusion parmi les
id´eaux propres.
On pose K=Rou C. Soit Xun espace m´etrique compact. On note
C(X, K) la K-alg`ebre des applications continues de Xdans K.
1. Soit Iun id´eal propre de C(X, K). D´emontrer que les ´el´ements de Iont
(au moins) un z´ero commun.
2. Quels sont les id´eaux maximaux de C(X, K) ?
3. Quels sont les morphismes d’alg`ebres de C(X, K) dans K?
4. On suppose `a pr´esent que Xet X0sont deux compacts de K. Montrer
que tout morphisme d’alg`ebres de C(X, K) dans C(X0,K) s’´ecrit
f7→ f◦α, o`u αest une application continue de X0dans X.
5. En d´eduire qu’un tel morphisme est toujours continu pour la norme
uniforme. En d´eduire aussi une condition n´ecessaire et suffisante pour
que les alg`ebres C(X, K) et C(X0,K) soient isomorphes.
Distance de Hausdorff
Soient (X, d) un espace m´etrique, et Fl’ensemble des parties ferm´ees
born´ees non vides de X. Lorsque Aet Bsont dans F, on note
δ(A, B) = sup
a∈A
inf
b∈Bd(a, b) et ∆(A, B) = max(δ(A, B), δ(B, A)).
1. Interpr´eter ∆, et montrer qu’il s’agit d’une distance sur F. On consid`ere
d´esormais Fcomme l’espace m´etrique (F,∆).
2. Lorsque nest un entier naturel non nul, on note Fnle sous-ensemble
de Fform´e des ´el´ements de cardinal sup´erieur ou ´egal `a n. Montrer
que ces Fnsont des ouverts de F.
3. On suppose dor´enavant Xcompact. Montrer que toute suite de Cauchy
d´ecroissante (Yn)n∈Nde Fconverge vers sa borne inf´erieure
Y=\
n∈N
↓Yn. En d´eduire que Fest complet.
4. Montrer que Fest compact.
2