Un homomorfismo canónico desde una álgebra de Banach conmutativa (en particular una C*-álgebra conmutativa) hacia el álgebra de funciones continuas complejas sobre su espacio de ideales maximales (el espectro de Gelfand), que envía cada elemento a su evaluación en funcionales lineales multiplicativas (caracteres).

Principio

Los caracteres de una álgebra de Banach conmutativa forman un espacio compacto de Hausdorff (el espectro); la transformada de Gelfand evalúa los elementos del álgebra en este espacio, convirtiendo la multiplicación algebraica en multiplicación puntual de funciones y relacionando el radio espectral con la norma suprema.

Demostración

Para A = C(X) con X compacto de Hausdorff, la transformada de Gelfand es la identidad: los caracteres corresponden a evaluaciones en puntos de X y A es isomorfa a C(Spec(A)), ilustrando cómo una C*-álgebra conmutativa se realiza como funciones continuas sobre su espectro.

Aplicación incorrecta

Aplicar la transformada de Gelfand a álgebras no conmutativas como si produjera una representación por funciones con propiedades análogas; pasar por alto que la transformada puede dejar de ser inyectiva si el álgebra no es semisimple o olvidar la topología del espectro.

Consecuencia

Proporciona un modelo funcional para álgebras de Banach y C*-conmutativas, permite la teoría espectral al interpretar elementos como funciones sobre un espacio compacto y es la base para reconstruir espacios a partir de álgebras en el límite conmutativo de la geometría no conmutativa.

Inversión

La inversión plantea cuándo un álgebra de funciones continuas proviene de una álgebra dada; la transformada de Gelfand es un isomorfismo precisamente cuando el álgebra es conmutativa, semisimple y (para C*-álgebras) satisface los axiomas C*, en caso contrario se pierde información.

Límite

Se aplica a álgebras de Banach conmutativas y especialmente a C*-álgebras; no proporciona una identificación análoga espectro→funciones para álgebras no conmutativas sin sustituir los caracteres por objetos más complejos de teoría de representaciones.

Tensión semántica

Tensión entre la transformada de Gelfand y otras transformadas (p. ej. transformada de Fourier): ambas convierten datos algebraicos en funciones, pero Gelfand es intrínseca al espacio de caracteres mientras que Fourier depende de la dualidad de grupos y la convolución.

Síntesis

La transformada de Gelfand convierte elementos de un álgebra en funciones continuas sobre el espacio de caracteres, representando álgebras de Banach conmutativas como álgebras de funciones concretas y vinculando propiedades espectrales con normas suprema en el espectro.