АЛГЕБРА ФУНКЦИИ

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

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

где

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

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

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

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

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

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

и

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

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

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

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

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

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

т. е. для любых двух различных точек существует такая функция f из алгебры А, для к-рой АлгебраЛ наз. симметричной, если вместе с функцией f алгебре принадлежит и функция Согласно теореме Стоуна-Вейерштрасса, если Асимметрична, то Алгебра A наз. антисимметричной, если из условий следует, что - постоянная функция. Антисимметричными являются, в частности, алгебры аналитич. функций. Подмножество наз. множеством антисимметрии (относительно алгебры А), если любая функция вещественная на S, постоянна на этом множестве. Согласно этому определению алгебра Аантисимметрична, если все Xявляются множеством антисимметрии. В общем случае пространство Xможно представить в виде объединения непересекающихся замкнутых максимальных множеств антисимметрии. Каждое максимальное множество антисимметрии является пересечением множеств пика (множество Рназ. множеством пика, если существует такая функция что . Отсюда следует, что сужение А |_Y алгебры Ана максимальное множество антисимметрии есть замкнутая (антисимметричная) подалгебра алгебры Если Xесть пространство максимальных идеалов алгебры А, то максимальные множества антисимметрии связны. Если непрерывная функция такова, что на каждом максимальном множестве антисимметрии она совпадает с нек-рой функцией из алгебры А, то и сама эта функция принадлежит А. Это обобщение теоремы Стоуна- Вейерштрасса позволяет в принципе свести изучение произвольных алгебр с равномерной сходимостью к изучению антисимметричных алгебр А. Вместе с тем изучение произвольных алгебр Ане может быть сведено к аналитическим алгебрам: существует пример алгебры тина (замкнутой подалгебры алгебры ), не совпадающей с , антисимметричной и регулярной.

Пусть - вещественное пространство функций вида где если Re A -алгебра, или если Re A замкнуто в Пространство Xможно рассматривать как часть пространства максимальных идеалов алгебры А; поэтому на X можно рассматривать не только обычную топологию пространства максимальных идеалов, но и метрику, индуцированную вложением Xв пространство, сопряженное А. Расстояние в смысле этой метрики обозначим Для любых точек имеет место неравенство отношение является отношением эквивалентности, и классы эквивалентности наз. долями Глисона. Если X - круг и A- замкнутая подалгебра в С (X), состоящая из аналитических при функций, то метрика неевклидова, а долями Глисона служат одноточечные множества на границе и внутренность круга. Доли Глисона не всегда обладают аналитич. структурой: любое s-компактное вполне регулярное пространство гомеоморфно доле Глисона пространства максимальных идеалов нек-рой алгебры, такой, что сужение алгебры на эту долю содержит всякую ограниченную непрерывную функцию. Принадлежность двух точек к одной и той же доле Глисона может быть охарактеризована в терминах представляющих мер на границе Шилова: такие две точки обладают взаимно абсолютно непрерывными представляющими мерами с ограниченными производными. Алгебра, для к-рой плотно в наз. алгеброй Дирихле; если Р- доля Глисона в пространстве максимальных идеалов алгебры Дирихле, состоящая более, чем из одной точки, то существует такое непрерывное взаимно однозначное отображение круга на Р, что для любой функции функция аналитична при Таким образом, Робладает структурой, относительно к-рой функции аналитичны; отображение вообще говоря, не является гомеоморфизмом, если Рснабжено обычной топологией пространства максимальных идеалов, но является гомеоморфизмом, если снабдить Рметрикой

Лит. см. при статье Банахова алгебра. Е. А. Горин.