БАНАХОВА АЛГЕБРА


БАНАХОВА АЛГЕБРА

- топологическая алгебра А над полем комплексных чисел, топология к-рой определяется нормой, превращающей Ав банахово пространство, причем умножение элементов непрерывно по каждому из сомножителей. Б. а. наз. коммутативной, если Для всех (см. Коммутативная банахова алгебра). Б. а. Аназ. алгеброй с единицей, если Асодержит такой элемент е, что для любого . Если в Б. а. A нет единицы, то ее можно присоединить, т. е. построить Б. а. A с единицей такую, что Асодержит исходную алгебру Ав качестве замкнутой подалгебры коразмерности 1. В любой Б. а. А с единицей еможно так изменить норму на эквивалентную, чтобы в новой норме выполнялись соотношения (Последующее изложение предполагает, как правило, наличие в алгебре единицы и выполнение приведенных соотношений для нормы.)

Примеры. 1) Пусть X - компактное топологич. пространство, - совокупность всех непрерывных комплексных функций на X. Тогда является Б. а. относительно поточечных операций и нормы


2) Множество всех ограниченных линейных операторов на банаховом пространстве образует Б. а. относительно обычных операций сложения и умножения линейных операторов и нормы оператора.

3) Пусть V - ограниченная область в n-мерном комплексном пространстве . Совокупность ограниченных голоморфных функций на Vявляется Б. а. относительно поточечных операций и естественной sup-нормы:


Эта Б. а. содержит замкнутую подалгебру, образованную ограниченными голоморфными функциями на , допускающими непрерывное продолжение на замыкание области . Простейшим примером является алгебра непрерывных в круге функций, аналитических в круге

4) Пусть - локально компактная группа и - пространство (классов эквивалентности) всех измеримых относительно меры Хаара на абсолютно интегрируемых по этой мере функций, снабженное нормой


(интеграл по левой мере Хаара).

Если в качестве умножения в рассмотреть операцию свертки


то становится Б. а.; если G - абелева локально компактная группа, то Б. а. коммутативна. Б. а. наз. групповой алгеброй локально компактной группы G. Групповая алгебра обладает единицей (относительно свертки) тогда и только тогда, когда Gдискретна.

Если Gкоммутативна, то можно построить точное представление Б. а. , сопоставляя каждой функции преобразование Фурье этой функции, т. е. функцию


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

5) Пусть - топологич. группа. Непрерывная комплексная функция на наз. почти периодической, если совокупность ее сдвигов , , образует компактное семейство относительно равномерной сходимости на G. Совокупность почтв периодич. функций образует коммутативную Б. а., относительно поточечных операций и нормы


6) Тело кватернионов не образует Б. а. над полем комплексных чисел, так как произведение элементов Б. а. А должно быть согласовано с умножением на числа: для любых и должно выполняться равенство


к-рое не выполняется в теле кватернионов при ,

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


где и ряд сходится абсолютно. Совокупность элементов, обратимых справа (слева) в А, также образует открытое множество в А.

Если в Б. а. Авсякий элемент обладает обратным (или хотя бы левым обратным), то алгебра Аизометрически изоморфна полю комплексных чисел (теорема Гельфанда - Мазура).

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

Одну из важных задач теории Б. а. составляет задача описания замкнутых идеалов в Б. а. В ряде случаев она решается просто. В алгебре С(X).(см. пример 1) всякий замкнутый идеал имеет вид где Y - замкнутое множество в X. Если А - алгебра всех, ограниченных линейных операторов в сепарабельном бесконечномерном гильбертовом пространстве, то единственным замкнутым двусторонним идеалом в А служат идеал вполне непрерывных операторов.

Элемент имеет левый (правый) обратный тогда и только тогда, когда он не содержится ни в каком максимальном левом (правом) идеале.

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

Резольвентой элемента наз. функция


определенная на множестве тех , для к-рых (двусторонний) обратный к существует. Область существования резольвенты содержит все точки . Максимальная область существования резольвенты есть открытое множество; на этом множестве резольвента непрерывна п даже аналитична, причем Кроме того, имеет место тождество Гильберта


Дополнение к области существования резольвенты наз. спектром элемента аиобозначается . Для любого множество непусто, замкнуто и ограничено.

Если то множества и могут не совпадать, но


Число


наз. спектральным радиусом элемента ; имеет место формула Гельфанда


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

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

Алгебра Аназ. алгеброй с инволюцией, если на Аопределена операция , удовлетворяющая условиям:


для всех отображение наз. инволюцией в А. Линейный функционал на алгебре Ас инволюцией наз. положительным, если для любого . При положительном линейном функционале


для всех . Если инволюция в Аизометрична, т. е. для всех , то

.

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

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

Теория Б. а. (в особенности коммутативных Б. а.) имеет многочисленные приложения в различных областях функционального анализа и ряде других математич. дисциплин.

Лит.:[1] Бурбаки Н., Спектральная теория, пер. О франц., М., 1972; [2] Гамелин Т. В., Равномерные алгебры, пер. с англ., М., 1973; [3] Ганнинг Р., Росси X., Аналитические функции многих комплексных переменных, пер. с англ., М., 1969; [4] Гельфанд И. М., "Матем. сб.", 1941, т. 9 (51), с. 3-24; [5] Глисон А., "Математика", 1961, т. 5, в. 2, с. 161-6; [6] Гофман К., Банаховы пространства аналитических функций, пер. с англ., М., 1963; [7] Горин Е. А., "Матем. заметки", 1967, т. 1, № 2, с. 173-78; [8] Данфорд Н., Шварц Дж.-Т., Линейные операторы, пер. с англ., т. 2, М., 1966; [9] W., Algebry Banacha, Warsz., 1968; [10] Капланский И., "Математика", 1959, т. 3, в. 5, с. 91 - 115; [11] Люмис Л. X., Введение в абстрактный гармонический анализ, пер. с англ., М., 1956; [12] Наймарк М. А., Нормированные кольца, 2 изд., М., 1968; [13] Некоторые вопросы теории приближений, сб. пер. с англ., М., 1963; [14] Riсkart С. Е., General theory of Banach algebras, N. Y., 1960; [15] Ройден X. Л., "Математика", 1965, т. 9, в. 2, с. 98-114; [16] Фелпс Р..Лекции о теоремах Шоке, пер. с англ., М., 1968; [17] Хилле Э.,ФиллипсР., Функциональный анализ и полугруппы, пер. с англ., М., 1962.

Е. А. Горин.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "БАНАХОВА АЛГЕБРА" в других словарях:

  • Банахова алгебра — Банаховой алгеброй над комплексным или действительным полем называется ассоциативная алгебра, являющаяся при этом Банаховым пространством. При этом умножение в ней должно быть согласовано с нормой: . Алгебра называется унитальной, если она… …   Википедия

  • КОММУТАТИВНАЯ БАНАХОВА АЛГЕБРА — банахова алгебра Ас единицей над полем С, в к рой ху=ух для всех Всякий максимальный идеал К. б. а. Аявляется ядром нек рого линейного непрерывного мультипликативного функционала j на А, т …   Математическая энциклопедия

  • *-алгебра — (алгебра с инволюцией, алгебра с операцией сопряжения)  ассоциативная алгебра с инволюцией, которая имеет свойства подобные комплексному сопряжению. Содержание 1 * кольцо 2 * алгебра 3 C* алгебра …   Википедия

  • АЛГЕБРА — часть математики, посвященная изучению алгебраических операций. Исторический очерк. Простейшие алгебраич. операции арифметич. действия над натуральными и положительными рациональными числами встречаются в самых ранних математич. текстах,… …   Математическая энциклопедия

  • АЛГЕБРА ФУНКЦИИ — полупростая коммутативная банахова алгебра А , реализованная в виде алгебры непрерывных функций на пространстве максимальных идеалов. Если и f нек рая функция, определенная на спектре элемента а(т. е. на множестве значений функции есть нек рая… …   Математическая энциклопедия

  • СИММЕТРИЧНАЯ АЛГЕБРА — алгебра Енад полем комплексных чисел, снабженная инволюцией . Примерами С. а. являются: алгебра непрерывных функций на компакте, в к рой инволюция определяется как переход к комплексно сопряженной функции; алгебра ограниченных линейных операторов …   Математическая энциклопедия

  • ДУАЛЬНАЯ АЛГЕБРА — топологическая алгебра, в к рой для любого замкнутого левого (соответственно правого) идеала I левый аннулятор правого (соответственно правый аннулятор левого) аннулятора идеала совпадает с I. Наибольший интерес представляют вопросы реализации Д …   Математическая энциклопедия

  • ГРУППОВАЯ АЛГЕБРА — локально бикомпактной группы топологическая алгебра с инволюцией, образованная функциями на группе и такая, что в ней умножение определяется как свертка. Пусть банахово пространство построено с помощью левоинвариантной Хаара меры . на локально… …   Математическая энциклопедия

  • Операторная алгебра — Операторная алгебра  алгебра операторов, действующих на топологическом векторном пространстве. Операторные алгебры активно применяются в теории представлений и в дифференциальной геометрии, в квантовой механике и в квантовой статистической… …   Википедия

  • ЛИ БАНАХОВА ГРУППА — множество G, снабженное одновременно структурой группы и структурой аналитич. анахова многообразия; эти две структуры согласованы в следующем смысле: отображение из в G является аналитическим. В случае, если банахово многообразие конечномерно,… …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.