§ 4. МАКСИМАЛЬНЫЕ ПОДАЛГЕБРЫ |
371 |
алгебры С(Г), содержащая А и функцию К9 обязана совпадать
с С(Г).
Вот еще несколько нетривиальных примеров максимальных подалгебр (ниже эти примеры будут включены в общие схемы).
Алгебра L 1( R + ) является замкнутой максимальной подал геброй алгебры L ^ R 1) (см. пример 8 в п. 1, § 1).
Пусть а — иррациональное число и алгебра Аа состоит из всех тех непрерывных функций на двумерном торе, коэффициен ты Фурье которых Стп = 0 при т -f- па < 0. Эта алгебра яв ляется максимальной подалгеброй алгебры всех непрерывных функций на торе. Тор служит границей Шилова относительно Аа, и Аа есть алгебра Дирихле. Если тор реализовать в виде ос това единичного бицилиндра в С2, то пространство максималь ных идеалов идентифицируется с подмножеством бицилиндра,
которое описывается уравнением | | = | 2:2 |а- Точка (0,0) не принадлежит границе Шилова, но представляет собой одноточеч ную долю Глисона. Алгебра Аа аналитична на пространстве максимальных идеалов в смысле определения § 2 п. 3, хотя ее пространство максимальных идеалов имеет вещественную раз мерность 3.
В противоположность алгебре Ла, более естественный аналог алгебры аналитических функций в круге — алгебра тех непре рывных функций на n-мерном торе, которые допускают голо морфное распространение внутрь соответствующего полицилин дра, при п > 1 далека от максимальности. Однако эта алгебра является максимальной в классе подалгебр, инвариантных от носительно голоморфных автоморфизмов тора (см. п. 3).
Ли т е р а' тур а: [246].
2.Максимальные подалгебры алгебры С ( Х ) . В этом пункте рассматриваются замкнутые подалгебры алгебры С(Х) и пред полагается, что функции из подалгебры разделяют точки ком пакта X и что константы принадлежат подалгебре. Будет изу чаться свойство максимальности подалгебры, поэтому нигде не
будет предполагаться совпадения компакта X с пространством максимальных идеалов (не известно вообще ни одного примера, когда совпадение имеет место в данной ситуации).
Проблема изучения произвольных максимальных подалгебр допускает следующую редукцию к случаю подалгебр, обладаю
щих некоторыми специфическими свойствами. |
|
С(А) и пусть |
|||
Пусть А — максимальная подалгебра |
алгебры |
||||
У — некоторое замкнутое подмножество |
в X. Через Ау обозна |
||||
чается |
замыкание в |
С(Х) сужения Л |
на У |
и |
пусть В = |
= {/ е |
С(Х) |/| У е Ау}. Тогда В — замкнутая |
подалгебра в |
|||
С(А), причем А а В а |
С(Х). Так как подалгебра А максималь |
||||
на, то либо В = С(Х) |
и, следовательно, AY = С(У), либо А = В, |
||||
372 ГЛ. VII. КОММУТАТИВНЫЕ БАНАХОВЫ АЛГЕБРЫ
а это означает, что фактически А есть максимальная подалгебра в С(У). Среди замкнутых подмножеств У, для которых Лу=£С(У), имеется единственное минимальное подмножество Е. Оно назы вается существенным множеством относительно А. Если Е = Ху
то алгебра А называется существенной максимальной подалгеб рой алгебры С(X).
Если А удовлетворяет последнему условию, то она является проникающей подалгеброй: Аг = С(У) для любого замкнутого подмножества, не совпадающего с X. Для максимальных под алгебр свойства быть антисимметричной, аналитической, об ластью целостности, существенной и проникающей являются эк вивалентными.
Последнее замечание позволяет указать пример подалгебры, которая не содержится ни в одной максимальной. Такой подал геброй служит, в частности, алгебра R(X) (см. § 1, п. 3, при мер 2), если она регулярна, но не совпадает с С(Х).
С другой стороны, всякая собственная проникающая подал гебра алгебры С(Х) на н е с в я з н о м X содержится в некото рой существенной максимальной подалгебре. Это обстоятель ство позволяет построить максимальную подалгебру, например, в алгебре всех непрерывных функций на канторовом совершен ном множестве, а также указать нестандартные примеры макси мальных подалгебр в алгебре всех непрерывных функций на окружности.
В заключение этого пункта приводится весьма общий анали тический вариант теоремы Вермера о максимальности.
Пусть R — открытая риманова поверхность и O(R) — алгеб
ра голоморфных |
функций |
на R. |
Компакт К d R |
называется |
О {R)-выпуклым, |
если для |
любой точки p ^ R \ K |
существует |
|
такая функция |
f^C ? (R ), |
что |
\f{p) | > т а х |/|. |
Полагается |
X = К \ |
к |
int /С, где int К — совокупность внутренних точек ком |
|
пакта /С. |
К является О (R)-выпуклым компактом, int К связно |
Пусть |
и плотно в /С, для каждой точки р е int К имеется только одна представляющая мера Иенсена (см. § 2, п. 2) на X относитель но замыкания 0{R) по равномерной сходимости на /(. В этих предположениях замыкание 0(R) по , равномерной сходимости на X является максимальной подалгеброй алгебры С(Х).
Ли т е р а т у р а : [246].
3.Максимальные подалгебры в алгебрах с инволюцией. Тео рема Вермера допускает обобщения совсем другого типа, чем указанное в конце предыдущего пункта. Именно, можно отправ ляться не от того факта, что внутренность круга обладает одно мерной аналитической структурой, а использовать то обстоя
§ 4. МАКСИМАЛЬНЫЕ ПОДАЛГЕБРЫ |
373' |
тельство, что его граница представляет собой связную компакт ную абелеву группу.
Предварительно здесь приводятся некоторые сведения об упорядоченных группах. Пусть G — дискретная абелева группа. Группа G может быть упорядочена в том и только том слу чае, когда она не имеет элементов конечного порядка. В послед нем случае при дополнительном ограничении на мощность она допускает введение архимедовой упорядоченности и сохраняю щий порядок изоморфизм на некоторую подгруппу группы R1 (взятой в дискретной топологии). Архимедов порядок на группе индуцируется максимальными полугруппами и только ими. В силу сказанного в этом абзаце описанная ниже ситуация до статочно обща.
Пусть G — подгруппа группы R1, рассматриваемой |
в ди- |
скретной топологии, и X — двойственная компактная |
группа. |
Пусть В — полупростая банахова алгебра с пространством мак симальных идеалов Х> в которой плотны тригонометрические полиномы, т. е. линейные комбинации характеров. Через В+ обозначается совокупность тех элементов из В, которые орто гональны к характерам, отвечающим точкам отрицательной по
луоси (напоминание: X = G с: R1). Тогда В+ есть максимальная подалгебра алгебры В.
Эта теорема позволяет доказывать максимальность подал гебр типа S ) в /^(G), где G — локально компактная абелева группа, a S — полугруппа в G (см. замечание к примерам 7, 8 в п. 1 § 1). В частности, отправляясь от нее, нетрудно объяснить максимальность в примерах, приведенных в конце п. 1. С дру
гой стороны, |
алгебра L^S) не обязана быть максимальной |
даже в том |
случае, когда S — максимальная полугруппа в G |
(достаточно рассмотреть пример открытой правой полуплоскости с присоединенным началом координат в /?2). Вообще, если S — борелевская полугруппа в G и если Ll (S) — максимальная подалгебра алгебры Ll (G), то S П(—S) может содержать толь ко нулевой элемент группы G, а сама S содержится в замкну той полугруппе, индуцирующей на G архимедову упорядочен ность.
Ниже формулируется еще несколько результатов, касающихся максималь ности, в которых не предполагается, что исходная алгебра полупроста.
Пусть В — коммутативная банахова алгебра с инволюцией (см. § 2, п. 4).
Пусть инволюция на В эрмитова, |
т. е. спектр самосопряженных элементов |
||||||
U* — /) |
лежит |
на |
вещественной |
оси, и в алгебре В имеется некоторая |
|||
группа |
G унитарных |
(//* = ё) |
элементов, служащих системой |
образующих |
|||
этой алгебры (§2, п. 2), |
причем в |
G содержится такая полугруппа G+, что |
|||||
G = G+ U G*+ и |
G*+ П Л = |
{е}, |
где |
А — замкнутая подалгебра |
алгебры В, |
||
порожденная системой G+.
В этой ситуации любой характер группы G, рассматриваемой в дискрет ной топологии, имеет вид g\—xp(g), где ф-1- линейный мультипликативный
374 ГЛ VII. КОММУТАТИВНЫЕ БАНАХОВЫ АЛГЕБРЫ
функционал на В. В частности, пространство максимальных идеалов алгеб ры В естественно наделяется структурой компактной абелевой группы. Если
полугруппа |
G+ |
максимальна |
в |
б, |
то совокупность тех элементов f из |
В, |
||
для которых |
f |
ортогонально |
(по |
мере Хаара |
на пространстве максимальных |
|||
идеалов) ко |
всем |
g & G \G +, |
образует |
максимальную подалгебру |
ал |
|||
гебры В, о которой очень часто можно утверждать, что она совпадает с А. Например, пусть X — компакт и G — группа непрерывных функций на X, равных по модулю 1, причем линейная оболочка группы G плотна в С(Х). Пусть в группе G имеется полугруппа G+, индуцирующая на G архимедову
упорядоченность, |
и Л — замкнутая |
подалгебра алгебры С(Х)У порожденная |
|||||
элементами из G+. Тогда либо А |
антисимметрична |
(и в этом случае она |
|||||
максимальна), |
а |
X допускает |
структуру |
компактной |
абелевой группы, |
либо |
|
А — С(Х). В |
частности, А = |
С(Х), |
если |
X не может |
быть компактной |
абе |
|
левой группой. |
|
|
|
|
|
|
|
Рассмотрим снова банахову алгебру В с эрмитовой инволюцией, порож денную группой G унитарных элементов. Пусть на В действует полугруппа 2 линейных операторов, удовлетворяющих условиям Те = е, Tfg = Tf-Tg, а также осуществляющих взаимно однозначное отображение G на себя. Пред полагается, что в группе G имеется полугруппа F с единицей, причем выпол
няются |
условия: |
f*Tf принадлежит |
к |
F для |
всех |
f e f |
и |
Т е 2; |
если |
||
g |
G \F , то (Tg)*^F |
для некоторого |
Г е И ; |
F* П А — {е}, |
где Л — под |
||||||
алгебра в В, порожденная элементами из F. |
|
|
|
|
|
||||||
|
Тогда пространство максимальных идеалов алгебры В снова оказывается |
||||||||||
в естественной двойственности с группой G, а |
в случае, |
когда F — макси |
|||||||||
мальная 2-инвариантная полугруппа в G, построенная, как и выше, под |
|||||||||||
алгебра В+ оказывается максимальной S-инвариантной подалгеброй в |
В. |
||||||||||
|
В |
описанную |
схему |
естественно |
укладывается |
пример, |
приведенный |
||||
вконце п. 1.
Ли т е р а т у р а : [246].
§5. Групповые алгебры. Гармонический анализ
1.Групповая алгебра. Пусть G — группа с конечным числом элементов и пусть R — линейная система,- полученная из фор мальных линейных комбинаций элементов группы:
*= S Xgg ( х <= R ) ,
а
где xg— произвольные комплексные числа. В системе R естест венным образом можно ввести операцию умножения элементов:
если
Если обозначить произведение g'g" = g, то g" = (g')~*g и ■формула для умножения примет вид
*# = S ( 2 g \g'
При введенной операции умножения система R становится алгеброй, которая называется групповой алгеброй конечной группы G.