Teorema de Gelfand–Naimark

Teorema que afirma que toda C*-álgebra conmutativa y unitaria A es *-isomorfa a C(X), el álgebra de funciones continuas complejas sobre un espacio compacto de Hausdorff X (el espacio de caracteres o ideales maximales de A), mediante la transformada de Gelfand; establece una dualidad entre la categoría de C*-álgebras conmutativas unitarias y la de espacios compactos de Hausdorff.

El teorema que afirma que toda C*-álgebra conmutativa es isométrica *-isomorfa a C0(X), el álgebra de funciones continuas complejas que se anulan en el infinito sobre un espacio localmente compacto de Hausdorff X (su espectro), mediante la transformada de Gelfand, realizando una dualidad entre espacios y álgebras de operadores conmutativas.