El teorema de Gelfand-Naimark son dos afirmaciones estrechamente relacionadas que describen álgebras unitarias.
Sea A un álgebra unitaria conmutativa. Entonces la transformación de Gel'fand es un *-isomorfismo isométrico.
Para cualquier -álgebra A existe un espacio de Hilbert H y un *-homomorfismo isométrico . Donde B(H) es el álgebra de operadores continuos en H .
El teorema fue probado por I. M. Gelfand y M. A. Naimark en 1943. [una]