Un homomorphisme canonique d'une algèbre de Banach commutative (en particulier une C*-algèbre commutative) vers l'algèbre des fonctions continues à valeurs complexes sur son espace d'idéaux maximaux (spectre de Gelfand), envoyant un élément sur sa valeur en les fonctionnelles multiplicatives linéaires (caractères).

Principe

Les caractères d'une algèbre de Banach commutative forment un espace compact de Hausdorff (le spectre) ; la transformée de Gelfand évalue les éléments de l'algèbre sur cet espace, convertissant la multiplication algébrique en multiplication ponctuelle de fonctions et reliant le rayon spectral à la norme du sup.

Démonstration

Pour A = C(X) avec X compact de Hausdorff, la transformée de Gelfand est l'identité : les caractères correspondent aux évaluations en points de X et A est isomorphe à C(Spec(A)), montrant comment une C*-algèbre commutative se réalise comme fonctions continues sur son spectre.

Mauvaise application

Appliquer la transformée de Gelfand à des algèbres non commutatives en supposant qu'elle fournit une représentation par fonctions aux mêmes propriétés ; négliger que la transformée peut échouer à être injective si l'algèbre n'est pas semi-simple ou oublier la topologie du spectre.

Conséquence

Fournit un modèle fonctionnel pour les algèbres de Banach et C*-commutatives, permet la théorie spectrale en interprétant les éléments comme fonctions sur un espace compact, et fonde la reconstruction d'espaces à partir d'algèbres dans la limite commutative de la géométrie non commutative.

Inversion

La réciproque interroge quand une algèbre de fonctions continues provient d'une algèbre donnée ; la transformée de Gelfand est un isomorphisme exactement quand l'algèbre est commutative, semi-simple et (pour les C*-algèbres) satisfait les axiomes C*, sinon de l'information est perdue.

Limite

S'applique aux algèbres de Banach commutatives et en particulier aux C*-algèbres ; elle ne produit pas d'identification spectre→fonctions analogue pour des algèbres non commutatives sans remplacer les caractères par des objets de représentation plus élaborés.

Tension sémantique

Tension entre la transformée de Gelfand et d'autres transformées (par ex. transformée de Fourier) : les deux convertissent des données algébriques en fonctions, mais la transformée de Gelfand est intrinsèque à l'espace des caractères de l'algèbre tandis que Fourier repose sur la dualité de groupe et la convolution.

Synthèse

La transformée de Gelfand envoie les éléments d'une algèbre sur des fonctions continues sur l'espace des caractères, rendant les algèbres de Banach commutatives concrètes comme algèbres de fonctions et reliant les propriétés spectrales aux normes de sup sur le spectre.