Gelfand-Naimark-sætningen er to nært beslægtede udsagn, der beskriver unital - algebraer.
Lad A være en enhedskommutativ -algebra. Så er Gel'fand-transformationen en isometrisk *-isomorfi.
For enhver -algebra A eksisterer der et Hilbert-rum H og en isometrisk *-homomorfi . Hvor B(H) er algebraen for kontinuerte operatorer på H .
Sætningen blev bevist af I. M. Gelfand og M. A. Naimark i 1943. [en]