Математическая энциклопедия

Алгебра Функции

Алгебра Функции
АЛГЕБРА ФУНКЦИИ

- полупростая коммутативная банахова алгебра А , реализованная в виде алгебры непрерывных функций на пространстве максимальных идеалов. Если и f - нек-рая функция, определенная на спектре элемента а(т. е. на множестве значений функции есть нек-рая функция на Условие конечно, не обязано выполняться. Если, однако, f - целая функция, то для любого Использование интегральной формулы Коши позволяет существенно усилить этот результат: если функция f регулярна в нек-рой окрестности спектра элемента а, то и отображение является гомоморфизмом А. ф., аналитических в нек-рой окрестности спектра элемента в алгебру Это утверждение остается справедливым и для неполупростых коммутативных банаховых алгебр. Кроме того, класс функций, аналитических в окрестности спектра данного элемента, может оказаться не расширяемым: напр., если спектр к-рых принадлежит отрезку аналитична в нек-рой окрестности этого отрезка.

В отдельных случаях элемент можно определить и для многозначных аналитпч. функций f, но это определение встречает естественные затруднения. Напр., пусть А - алгебра непрерывных функций в круге аналитических в круге н удовлетворяющих условию Единичный круг естественно отождествляется с пространством максимальных идеалов А. Непрерывная на пространстве максимальных идеалов функция не принадлежит алгебре А, но является решением квадратного уравнения


где

Если А - полупростая алгебра с пространством максимальных идеалов


(простой корень), то . Аналогично, если и то .

А. ф. наз. алгеброй с равномерной сходимостью, если норма в этой алгебре определяет сходимость, эквивалентную равномерной сходимости функций на пространстве максимальных идеалов. Если для всех - алгебра с равномерной сходимостью. Общим примером алгебры с равномерной сходимостью является замкнутая подалгебра в алгебре ограниченных непрерывных функций на некотором топологич. пространстве, наделенной естественной sup-нормой.

Если А - алгебра с равномерной сходимостью, и ее пространство максимальных идеалов метризуемо, то среди всех кольцевых границ (не только замкнутых) существует минимальная граница Г 0, замыканием к-рой служит граница Шилова. Множество Г 0 состоит из "точек пика": наз. точкой пика, если существует такая функция что для всех В рассматриваемом случае для любой точки из пространства максимальных идеалов существует представляющая мера, сосредоточенная на

А. ф. наз. аналитической, если всякая функция из этой алгебры, равная нулю на непустом открытом подмножестве пространства максимальных идеалов, равна нулю тождественно. Аналогично определяются алгебры, аналитические относительно границы. Всякая аналитич. алгебра является аналитической относительно границы Шилова; обратное, вообще говоря, неверно.

А. ф. Аназ. регулярной, если для любого замкнутого множества Fв пространстве Xмаксимальных идеалов алгебры Аи любой не содержащейся в Fточки х 0 найдется такая функция что для всех Всякая регулярная алгебра нормальна, т. е. для любой пары непересекающихся замкнутых множеств существует элемент такой, что для всех для всех Более того, в регулярной алгебре для любого конечного открытого покрытия пространства Xимеется разбиение единицы, принадлежащее А, т. е. система функций для к-рых


и


Функция gназ. локально принадлежащей А. ф. А, если для любой точки существует такая окрестность, в к-рой эта функция совпадает с нек-рой функцией из алгебры. Всякая функция, локально принадлежащая регулярной алгебре, сама является элементом этой алгебры.

Элемент А. ф. наз. вещественным, если вещественно при всех Если А - алгебра с вещественными образующими и


для всех то Арегулярна.

Идеал в банаховой алгебре наз. примарным, если он содержится только в одном максимальном идеале. Если А - регулярная А. ф., то в каждом максимальном идеале х 0 имеется наименьший замкнутый примерный идеал к-рый содержится в любом замкнутом примерном идеале, содержащемся в х 0 ; идеал есть замыкание идеала, образованного функциями , равными нулю в нек-рой (зависящей от f) окрестности точки

В алгебре абсолютно сходящихся интегралов Фурье с присоединенной единицей всякий максимальный идеал совпадает с соответствующим примарным идеалом.

Пусть А - замкнутая подалгебра алгебры где X- нек-рый компакт (не обязательно совпадающий с пространством максимальных идеалов алгебры А). Пусть Аразделяет точки компакта X,