Idéaux maximaux de C(K,R)

Soi K un espace métrique compact. Les idéaux maximaux de $C(K, \mathbb{R})$ sont les ensembles des fonctions qui s'annulent en $s$ pour un $s \in K$. En application, les morphismes d'algèbres de $C(K, \mathbb{R})$ dans $\mathbb{R})$ sont les morphismes d'évaluation.