В функциональном анализе алгебра банаховых функций на компактном хаусдорфовом пространстве X — это унитальная подалгебра A коммутативной C*-алгебры C (X) всех непрерывных комплекснозначных функций из X вместе с нормой на A , которая делает ее банаховой алгеброй .
Говорят, что функциональная алгебра обращается в нуль в точке p, если f ( p ) = 0 для всех . Функциональная алгебра разделяет точки , если для каждой отдельной пары точек существует функция такая, что .
Для каждого определяем для . Тогда — гомоморфизм (характер) на , ненулевой, если не обращается в нуль при .
Теорема: Банахова функциональная алгебра полупроста (то есть ее радикал Джекобсона равен нулю), и каждая коммутативная унитальная полупростая банахова алгебра изоморфна ( через преобразование Гельфанда ) банаховой функциональной алгебре на ее пространстве характеров (пространстве гомоморфизмов алгебры из A в комплексные числа с учетом относительной слабой* топологии ).
Если норма на является равномерной нормой (или sup-нормой) на , то называется равномерной алгеброй . Равномерные алгебры являются важным частным случаем банаховых функциональных алгебр.