Банахова алгебра

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

$\mathrm{\forall }x,y\in A,\Vert xy\Vert \le \Vert x\Vert \Vert y\Vert$.

Это свойство требуется для непрерывности операции умножения относительно нормы.

Банахова алгебра называется унитальной или банаховой алгеброй с единицей, если она обладает единицей (то есть таким элементом $\mathrm{𝟏}$, что для всех $x\in A$ справедливо $x\mathrm{𝟏}=\mathrm{𝟏}x=x$). При этом обычно требуют, чтобы норма единицы была равна 1. Если единица существует, то она единственна. Всякую банахову алгебру $A$ можно изометрически вложить в соответствующую ей унитальную банахову алгебру $A_e$ в качестве замкнутого двустороннего идеала.

Банахова алгебра называется коммутативной, если операция умножения в ней коммутативна.

Примеры

• Поля комплексных чисел или действительных чисел — $ℂ$ и $ℝ$ относительно стандартных операций сложения и умножения. Это унитальные коммутативные алгебры.
• Алгебры комплексных или действительных матриц относительно матричного умножения и субмультипликативной матричной нормы.
• Алгебра кватернионов является действительной алгеброй с нормой — модулем.
• $C(\mathrm{\Omega })$ — алгебра непрерывных функций на компакте относительно поточечного умножения относительно sup-нормы. Более общий пример — $C_0(\mathrm{\Omega })$ — пространство исчезающих на бесконечности комплекснозначных функций, где $\mathrm{\Omega }$ — локально компактное пространство.
• Алгебра ограниченных операторов, действующих в банаховом пространстве, относительно операторной нормы и композиции в качестве умножения. Множество компактных операторов относительно тех же операций является замкнутым идеалом в этой алгебре.
• Если $G$ — локально компактная хаусдорфова топологическая группа с мерой Хаара $\mu$, то банахово пространство $L_1(G)$ интегрируемых относительно меры $\mu$ комплекснозначных функций на $G$ является банаховой алгеброй относительно умножения-свёртки, определяемой по формуле

$(xy)(g)=\underset{G}{\int }x(h)y(h^{-1}g)\mathrm{d}\mu (h),g\in G$.

• $L_1(ℝ)$ — алгебра суммируемых на прямой функций со сверткой в качестве умножения. Это частный случай предыдущего примера.
• C*-алгебра — алгебра с *-инволюцией, согласованной с нормой: $\mathrm{\forall }a||a^{*}a||=||a|{|}^2$

Свойства

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

Множество обратимых элементов $\mathrm{I}\mathrm{n}\mathrm{v}(A)$ алгебры $A$ является открытым множеством. При этом отображение $\mathrm{I}\mathrm{n}\mathrm{v}$, сопоставляющее каждому обратимому элементу обратный, является гомеоморфизмом. Таким образом, $\mathrm{I}\mathrm{n}\mathrm{v}(A)$ — топологическая группа.

В унитальной алгебре единица не может быть коммутатором: $xy-yx\ne \mathrm{𝟏}$  для любых x, y ∈ A. Отсюда следует, что $\lambda \mathrm{𝟏},\lambda \ne 0$ также не является коммутатором.

Справедлива теорема Гельфанда-Мазура: каждая унитальная комплексная банахова алгебра, в которой все ненулевые элементы обратимы, изоморфна $ℂ$.

Спектральная теория

В унитальных банаховых алгебрах вводится понятие спектра, которое расширяет понятие спектра оператора на более общий класс объектов.

Элемент $a\in A$ алгебры $A$ называется обратимым, если найдется такой элемент $a^{-1}\in A$, что $a{a}^{-1}=a^{-1}a=\mathrm{𝟏}$. Спектром $\sigma (a)$ элемента $a$ называется множество таких $\lambda \in ℂ,$ что элемент $a-\lambda \mathrm{𝟏}$ необратим. Спектр всякого элемента унитальной комплексной банаховой алгебры — непустой компакт. С другой стороны, для любого компакта $K\subset ℂ$ спектр элемента $w$ из алгебры $C(K)$, определяемого по формуле $w(z)=z$, совпадает с $K$, поэтому других ограничений на спектр элемента в произвольной банаховой алгебре нет.

Спектральным радиусом $\mathrm{r}(x)$ элемента $x\in A$ называется величина

$\mathrm{r}(x)=\sup \{|\lambda |:\lambda \in \sigma (x)\}$.

Справедлива формула Бёрлинга-Гельфанда для спектрального радиуса:

$\mathrm{r}(x)=\underset{n\to \mathrm{\infty }}{\lim }\Vert x^n{\Vert }^{1/n}.$

Резольвентным множеством элемента $a\in A$ называется множество $\rho (a)=ℂ\setminus \sigma (a)$. Резольвентное множество элемента банаховой алгебры всегда открыто. Резольвентой элемента $a\in A$ называется функция комплексной переменной $R_a:\rho (a)\to A$, определяемая формулой $R_a(\lambda )=(\lambda \mathrm{𝟏}-a{)}^{-1}$. Резольвента элемента банаховой алгебры является голоморфной функцией.

Если $f$ — голоморфная в окрестности $D\subset ℂ$ спектра $\sigma (a)$ функция, можно определить $f(a)\in A$ по формуле

$f(a)=\frac{1}{2\pi i}\underset{\gamma }{\int }f(\lambda )R_a(\lambda )\mathrm{d}\lambda$,

где $\gamma$ — спрямляемый жорданов контур, лежащий в $D$, содержащий спектр элемента $x$ и ориентированный положительно, а $R_a$ — резольвента элемента $a$. В частности, при помощи этой формулы можно определить экспоненту элемента из банаховой алгебры.

Идеалы и характеры

Пусть A — унитальная коммутативная банахова алгебра над полем комплексных чисел. Характером χ алгебры A называется ненулевой линейный функционал, обладающий свойством мультипликативности: для любых a, b ∈ A справедливо χ(ab) = χ(a)χ(b) и χ(1) = 1. То есть характер — это ненулевой гомоморфизм алгебр A и $ℂ$. Можно проверить, что всякий характер в банаховой алгебре непрерывен и его норма равна 1.

Ядро характера представляет собой максимальный идеал в A. Если $𝔪$ — максимальный идеал, то факторалгебра $A/𝔪$ является полем и банаховой алгеброй, тогда, по теореме Гельфанда-Мазура, она изоморфна $ℂ$. Поэтому каждому максимальному идеалу $𝔪$ можно поставить в соответствие единственный характер χ такой, что ker χ = $𝔪$. Этот характер определяется как композиция факторотображения и изоморфизма $A/𝔪$ в $ℂ$. Таким образом между множеством характеров и множеством максимальных идеалов установлена биекция.

Множество всех характеров называется пространством максимальных идеалов или спектром алгебры A и обозначается Spec A. Это множество можно наделить топологией, унаследованной от слабой* топологии (топологии поточечной сходимости) в сопряженном пространстве A^*. Из теоремы Банаха-Алаоглу и замкнутости Spec A следует, что Spec A — компактное хаусдорфово топологическое пространство.

Преобразованием Гельфанда элемента $a$ алгебры A называется непрерывная функция $\hat{a}:\mathrm{S}\mathrm{p}\mathrm{e}\mathrm{c}A\to ℂ$, определяемая по формуле $\hat{a}(\chi )=\chi (a)$ для всех характеров χ. Преобразование Гельфанда осуществляет сжимающий гомоморфизм алгебры A в алгебру C(Spec A) непрерывных функций на компакте.

Радикалом алгебры A называется пересечение всех её максимальных идеалов. Если радикал состоит только из нуля, алгебра A называется полупростой. Ядро преобразования Гельфанда совпадает с радикалом алгебры, поэтому преобразование Гельфанда инъективно тогда и только тогда, когда алгебра A полупроста. Таким образом, всякая полупростая коммутативная банахова алгебра с единицей совпадает с точностью до изоморфизма с некоторой алгеброй функций, непрерывных на компакте — с образом преобразования Гельфанда.

Литература

• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Книга