## [Théorème de Gelfand–Naimark](/fr/node/64068) Définition Le théorème qui affirme que toute C*-algèbre commutative est isométriquement *-isomorphe à C0(X), l'algèbre des fonctions continues à valeurs complexes s'annulant à l'infini sur un espace localement compact de Hausdorff X (son spectre), via la transformée de Gelfand, réalisant une dualité entre espaces et algèbres d'opérateurs commutatives. ## Principe Principe L'espace des idéaux maximaux ou l'espace des caractères d'une C*-algèbre commutative, muni de la topologie de Gelfand (faible-*), recouvre un espace localement compact de Hausdorff X tel que les opérations ponctuelles correspondent aux opérations algébriques dans l'algèbre ; la norme et la structure * correspondent à la norme du supremum et à la conjugaison complexe des fonctions. ## Démonstration Démonstration L'algèbre C*-engendrée par un opérateur unitaire de spectre le cercle unité est isomorphe à C(S^1) ; la transformée de Gelfand envoie un élément sur sa fonction d'évaluation sur les caractères, convertissant des questions algébriques en questions topologiques sur le spectre. ## Mauvaise application Mauvaise application Confondre et étendre le théorème aux C*-algèbres non commutatives (où il n'existe pas d'espace classique sous-jacent) ou tenter d'appliquer le résultat à des *-algèbres normées non *-fermées ou non complètes sans vérifier les axiomes C*. ## Conséquence Conséquence Établit une dualité qui permet d'étudier des espaces topologiques via des C*-algèbres commutatives et motive la géométrie non commutative en considérant les C*-algèbres non commutatives comme des 'espaces non commutatifs' ; il fournit aussi le calcul spectral pour les éléments normaux. ## Inversion Inversion La perspective inverse — considérer une C*-algèbre comme des fonctions sur un espace — échoue dans le cas non commutatif, où la structure algébrique encode une géométrie 'non commutative' plutôt que des espaces au sens habituel ; les évaluations en points sont remplacées par des représentations. ## Limite Limite Ne s'applique qu'aux C*-algèbres commutatives (ou aux sous-algèbres commutatives d'une algèbre non commutative) ; exige la norme de C* et la structure * ainsi que la complétude ; ne couvre pas les algèbres de Banach * quelconques ni les algèbres d'opérateurs non commutatives sans adaptations. ## Tension sémantique Tension sémantique Tension entre les intuitions classiques de points et d'espaces topologiques et les abstractions en algèbre d'opérateurs : le spectre est à la fois une construction algébrique (caractères/idéaux maximaux) et un objet topologique dont les points ne coïncident pas nécessairement avec des points géométriques d'autres sens. ## Synthèse Synthèse Le Théorème de Gelfand–Naimark identifie chaque C*-algèbre commutative à une algèbre de fonctions continues sur un espace localement compact de Hausdorff (son spectre) via la transformée de Gelfand, fournissant une dualité précise algèbre–topologie et le socle conceptuel des analogues non commutatifs.