Énoncé selon lequel toute C*-algèbre commutative et unitaire A est *-isomorphe à C(X), l'algèbre des fonctions continues à valeurs complexes sur un espace compact et de Hausdorff X (l'espace des caractères ou des idéaux maximaux de A), via la transformée de Gelfand ; il instaure une dualité entre la catégorie des C*-algèbres commutatives unitaires et celle des espaces compacts de Hausdorff.

Principe

Associer les éléments algébriques à des fonctions sur l'espace des idéaux maximaux : le spectre d'une C*-algèbre commutative porte la topologie qui rend les caractères continus et fait de la transformée de Gelfand un *-isomorphisme ; la propriété involutive et la norme C*-codent la structure topologique.

Démonstration

Pour A = C(X) avec X compact de Hausdorff, les idéaux maximaux correspondent aux points de X et la transformée de Gelfand est l'évaluation ; réciproquement, pour une C*-algèbre commutative unitaire A, on construit l'espace des *-homomorphismes non nuls A → C et l'on montre que f ↦ (χ ↦ χ(f)) est un *-isomorphisme onto C(Δ(A)).

Mauvaise application

Appliquer le résultat à des algèbres C*- non commutatives, à des algèbres de Banach non unitaires, ou négliger l'identité C* conduit à des erreurs ; considérer l'espace des idéaux maximaux seulement comme un ensemble sans sa topologie de Gelfand omet les questions de continuité.

Conséquence

On obtient un pont exact entre topologie et algèbre : les problèmes topologiques sur des espaces compacts de Hausdorff se traduisent en termes algébriques et réciproquement, ce qui permet le calcul fonctionnel, des résultats de classification pour les C*-algèbres commutatives et l'analyse spectrale dans l'algèbre.

Inversion

En abandonnant la commutativité on obtient des algèbres d'opérateurs sans espace de points classique ; il faut alors recourir à la géométrie non commutative où les algèbres jouent le rôle d'« espaces de fonctions » virtuels et l'intuition fondée sur les points échoue.

Limite

Valable uniquement pour les C*-algèbres commutatives et unitaires ; ne s'applique pas telles quelles aux algèbres non unitaires sans unitarisation, aux algèbres de Banach générales dépourvues de la propriété C*, ni aux algèbres sur des corps autres que C sans structure d'adjoint appropriée.

Tension sémantique

Tension entre la vision du spectre comme ensemble concret de points géométriques et la vision comme objet idéal-théorique ou représentationnel (idéaux maximaux versus classes d'équivalence de représentations irréductibles), ainsi qu'entre propriétés algébriques et invariants topologiques fins.

Synthèse

Le théorème de Gelfand–Naimark identifie les C*-algèbres commutatives unitaires aux algèbres de fonctions continues sur des espaces compacts de Hausdorff via la transformée de Gelfand, établissant une dualité qui transforme structure algébrique en topologie et réciproquement.