Gelfand–Naimark-lause on kaksi toisiinsa läheisesti liittyvää lausetta, jotka kuvaavat unitaalisia -algebroita .
Olkoon A unitaalinen kommutatiivinen -algebra. Tällöin Gel'fand-muunnos on isometrinen *-isomorfismi.
Jokaiselle -algebralle A on olemassa Hilbert-avaruus H ja isometrinen *-homomorfismi . Missä B(H) on jatkuvien operaattoreiden algebra H :lla .
Lauseen todistivat I. M. Gelfand ja M. A. Naimark vuonna 1943. [yksi]