Soit (E,d) un espace métrique compact, on note C(E) l'espace des fonctions continues de E dans R. Pour f,g∈C(E), on pose :
D(f,g)=x∈Esup∣f(x)−g(x)∣.
1. Montrer que D(f,g) est bien définie quelle que soit f,g∈C(E).
2. Montrer que D définit une distance sur C(E).
3. Pour tout a∈E on appelle da la fonction de E dans R définie par da(x)=d(a,x). Montrer que l'application qui associe da à a est une isométrie de (E,d) dans (C(E),D).
4. Montrer que C(E) est complet.
5. Montrer que C(E) est connexe par arcs.