Теорема Гельфанда—Наймарка — два тесно связанных утверждения, описывающие унитальные -алгебры.
Пусть A — унитальная коммутативная -алгебра. Тогда преобразование Гельфанда — изометрический *-изоморфизм.
Для любой -алгебры A существуют гильбертово пространство H и изометрический *-гомоморфизм . Где B(H) — алгебра непрерывных операторов на H.