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

Линейное пространство X называется алгеброй, если в нем введена еще одна алгебраическая операция - умножение, которое подчинено следующим аксиомам. Если существует элемент е € X такой, что ех = хе = х для всех х € X, то е называется единицей алгебры X, а сама алгебра называется алгеброй с единицей). Если операция умножения коммутативна, т.е. если выполняется аксиома: ху = ух, то алгебру X называют коммутативной алгеброй. Нормированное пространство X называется нормированной алгеброй, если оно является алгеброй с единицей и при этом выполнены еще две аксиомы: ||е|| = 1. Таким образом, алгебра l1 и алгебра W функций x(t) с абсолютно сходящимися рядами Фурье и нормой, определяемой (4), изометрически изоморфны.Во-вторых, расстояние от единицы е до любого необратимого элемента, а значит, и до любого идеала, не меньше единицы. Рассмотрим теперь фактор-пространство X/I и определим там операцию умножения, назвав произведением двух классов ? и ? из X/I тот класс ?. который содержит элемент x•у, где х и у - представители классов ? и ?. Он содержит х0 и не содержит е - единицы X, т.е. не является тривиальным идеалом, следовательно, в силу леммы 1 содержится в максимальном идеале. Для того чтобы идеал I содержался в некотором нетривиальном идеале , необходимо и достаточно чтобы алгебра X/I имела нетривиальный идеал. Применив теорему 1 § 3, мы получим, что Х/М есть банахова алгебра, силу леммы 2 § 3 Х/М не имеет нетривиальных идеалов, т.е. алгебра Х/М не содержит необратимых элементов, отличных от нуля (см. следствие из леммы 1 § 3).В данной курсовой работе, были рассмотрены банаховы алгебры, т.е. банаховы пространства, в которых определено умножение элементов. Были введены основные понятия, определения, свойства, приведены примеры банаховых алгебр, Разобрано понятие идеала.

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

В первой главе настоящей работы вводятся основные понятия, определения, свойства, приводятся примеры банаховых алгебр, разбирается понятие идеала, доказывается лемма.

Во второй главе вводится определение спектра, резольвенты, приводятся примеры.

В третьей главе доказывается теорема о фактор-алгебре, а также три леммы и их следствия.

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

1. Определение и примеры банаховых алгебр

1.1 Банаховы алгебры, изоморфизмы банаховых алгебр

Определение 1. Линейным пространством называется непустое множество элементов, в котором введены две операции - сложение и умножение на числа.

Определение 2. Линейное пространство X называется алгеброй, если в нем введена еще одна алгебраическая операция - умножение, которое подчинено следующим аксиомам.

1. (xy) z = x(yz).

2. х (у z) = ху xz; (у z) x = ух zx.

3. а(ху) = (ах) у = х(ау).

4. Если существует элемент е € X такой, что ех = хе = х для всех х € X, то е называется единицей алгебры X, а сама алгебра называется алгеброй с единицей).

5. Если операция умножения коммутативна, т.е. если выполняется аксиома: ху = ух, то алгебру X называют коммутативной алгеброй.

Коммутативные алгебры с единицей и будут в основном объектом нашего дальнейшего рассмотрения.

Всюду в этом дополнении числовое поле, над которым рассматриваются наши алгебры, это поле С комплексных чисел.

В § 3 гл. III было введено понятие нормированного пространства, т.е. линейного пространства, снабженного нормой ||х||, удовлетворяющей трем аксиомам, сформулированным в п. 1 § 3 гл. П.

Определение 3. Нормированное пространство X называется нормированной алгеброй, если оно является алгеброй с единицей и при этом выполнены еще две аксиомы: ||е|| = 1.

||ху|| < ||x|| • ||у||.

Если нормированная алгебра X вдобавок полна (т.е. является банаховым пространством), то она называется банаховой алгеброй.

Отображение F: X > У называют гомоморфизмом алгебры X в Y, если удовлетворяются условия: F (x y) = Fx Fy, (1)

F(ax) = AFX, (2)

F(xy) = Fx • Fy. (3)

Две алгебры, Х и Y, называются изоморфными, если существует взаимно однозначное отображение F, удовлетворяющее условиям (1) - (3).

Нормированные пространства X и Y называют изометричными, если существует взаимно однозначное отображение F: X>Y, для которого выполнены условия (1) и (2) и, кроме того, ||Fx||Y = ||х||X.

Определение 4. Две банаховы алгебры X и Y мы назовем изометрически изоморфными, если существует алгебраический изоморфизм F: X -Y, являющийся изометрией X и Y как нормированных пространств.

1.2 Примеры банаховых алгебр

1. Поле С. Комплексные числа {z} доставляют простейший пример банаховой алгебры, если ввести норму формулой: ||z|| = |z| = , z = x iy.

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

2. Алгебра СТ. Пусть Т - некоторое компактное хаусдорфово топологическое пространство. Обозначим через СТ линейное пространство всех непрерывных комплексных функций x(t), заданных на Т с обычными для функций операциями сложения и умножения на число, в котором норма определяется равенством

Важным является частный случай пространства СТ, когда T - [a, b] есть отрезок вещественной прямой. Другим важным частным случаем пространства СТ является пространство Cn = n-мерных комплексных векторов, т.е. функций на пространстве из n точек. Сложение, умножение на числа и умножение элементов Cn производятся покоординатно, а норма определяется формулой

Алгебра СТ является коммутативной банаховой алгеброй. Единицей служит функция e(t)?1.

3. Алгебра А аналитических функций в круге. Обозначим через А линейное пространство всех функций x(z) комплексного переменного z, определенных и непрерывных в круге К?{ } и аналитических внутри этого круга. Определим умножение в А как обычное умножение функций и зададим норму формулой

Этим путем мы превратим А в коммутативную банахову алгебру с единицей. Справедливость всех аксиом и здесь вполне очевидна.

4. Алгебра l1. Обозначим через l1 совокупность всех двусторонних абсолютно суммируемых комплексных последовательностей х = (…, х-п,…, x-1, xo, x1,…, xn,) с нормой

(4)

Произведением x•у двух таких последовательностей: х = (…, х-п,…, x-1, xo, x1,…, xn,) y= (…, y-п,…, y-1, yo, y1,…, yn,) назовем их свертку z = х * у, т.е. последовательность, члены которой определяются так: (5)

Если каждой последовательности х из l1 сопоставить ряд Фурье , то последовательность, определенная формулой (5) соответствует произведению функций x(t)•y(t) построенных по последовательностям х и у. Таким образом, алгебра l1 и алгебра W функций x(t) с абсолютно сходящимися рядами Фурье и нормой, определяемой (4), изометрически изоморфны.

Поэтому аксиомы алгебры и нормированного пространства для l1 проверяются без труда, так как для W они верны тривиально. Проверим аксиому 7. Имеем

Алгебра W, очевидно, коммутативна, следовательно, коммутативна и алгебра l1. Единицей в l1 служит последовательность е, соответствующая функции e(t) ? 1: У этой последовательности все компоненты суть нули за исключением компоненты с нулевым номером, которая равна единице. В дальнейшем мы будем пользоваться изоморфизмом l1 и W и соответствием {xn} - x(t), не оговаривая этого особо.

5. Банахова алгебра ограниченных операторов. Пусть X - банахово пространство. Рассмотрим пространство L (Х, Х) всех линейных непрерывных операторов, преобразующих X в себя, с обычными для операторов действиями сложения, умножения оператора на число и умножения. Единицей в L (Х, Х) служит тождественный оператор. Превратим L (Х, X) в банахову алгебру, определив норму как обычно: ||A||= ||Ax||.

Алгебра L (Х, X) - один из важнейших примеров некоммутативной банаховой алгебры с единицей.

1.3 Максимальные идеалы

Определение 5. Идеалом I коммутативной алгебры X называется подпространство X, обладающее тем свойством, что для всякого у I и любого х из X произведение ух принадлежит I. Идеал, состоящий из одного нуля, а также идеал, состоящий из всего X, мы называем тривиальными и в дальнейшем исключаем из рассмотрения. Максимальным называется идеал, не содержащийся ни в каком другом нетривиальном идеале.

Введенные понятия рассмотрим на примере алгебры СТ.

Пусть F - непустое подмножество компакта T. Множество MF ={x(t) CT: x(t) = 0, t Т}, состоящее из функций, обращающихся в нуль на F, образует, как легко видеть, идеал в СТ. Максимальные идеалы в СТ допускают простое описание, являющееся к тому же ключом к пониманию всего замысла теории коммутативных банаховых алгебр.

Лемма 1. Максимальный идеал алгебры СТ есть совокупность всех функций из СТ, обращающихся в нуль в какой-либо одной фиксированной точке ?0 множества Т.

Доказательство. а) Пусть Тогда M?o есть идеал. Покажем, что он максимален. Действительно, пусть т.е. . Для любого положим: . Тогда z(?0)=0 и, следовательно, z(t) Итак, добавление любого элемента не из приводит к тому, что идеал, порожденный и этим элементом, становится тривиальным. Следовательно, максимален. б) Пусть наоборот, М - какой-либо максимальный идеал из СТ.

Покажем, что все функции, входящие в этот идеал, обращаются в нуль в некоторой точке. Действительно, если это не так, то для каждой точки найдется функция x?(t) M такая, что х?(?) ? 0. В силу непрерывности x?(t) по t найдется такая окрестность U? точки ?, что х?(?) ? 0 в U?. Из открытого покрытия выберем конечное покрытие U?1,…, U?n.

Тогда в силу определения идеала принадлежит М.

В силу того, что всюду на Т, функция 1/xo(t) будет непрерывной. Поэтому . Но идеал, содержащий единицу алгебры, содержит и любой элемент алгебры, ибо y(t) = y(t)•1. Поэтому М - тривиальный идеал, что противоречит предположению о том, что М - максимальный, а следовательно, нетривиальный идеал.

Таким образом, мы получили, что между максимальными идеалами и точками из пространства-носителя Т можно установить взаимно однозначное соответствие. Это позволяет трактовать функции на Т как «функции на пространстве максимальных идеалов».

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

2. Спектр и резольвента

В этом параграфе алгебра X не обязательно коммутативна, но имеет единицу.

2.1 Определения и примеры

Определение. Элемент х X называется обратимым, если имеет обратный, т.е. если найдется такой элемент х-1, что х•х-1 = х-1 х = е.

В противном случае элемент х называется необратимым.

Спектром ?(х) элемента х X называется множество комплексных чисел ?, для которых элемент ? е - х необратим. Если точку ? называют регулярной.

Функция определенная на множестве регулярных точек элемента x, называется резольвентой этого элемента.

Спектральным радиусом r(x) элемента x X называется число

(1)

Введенные важные понятия проиллюстрируем на примерах. а) Если X = С, то обратимы все элементы кроме нуля. б) Если X = CT то для обратимости x(t) необходимо и достаточно, чтобы функция x(t) была всюду отлична от нуля. Спектр ?(х) совпадает с множеством значений x(t); резольвента имеет вид

3.1 Теорема о фактор-алгебре

Пусть X-коммутативная банахова алгебра с единицей, I - идеал в X.

Отметим, во-первых что I состоит лишь из необратимых элементов, ибо если z I обратим, то для любого x X мы получим, что , т.е. I тривиален, а этот случаи мы исключаем. Во-вторых, расстояние от единицы е до любого необратимого элемента, а значит, и до любого идеала, не меньше единицы.

Рассмотрим теперь фактор-пространство X/I и определим там операцию умножения, назвав произведением двух классов ? и ? из X/I тот класс ?. который содержит элемент x•у, где х и у - представители классов ? и ?.

Таким образом, X/I становится коммутативной алгеброй. Назовем ее фактор-алгеброй X по идеалу I.

Введем в X/I норму:

где x - представитель ?.

Имеет место

Теорема 1. Если X - есть банахова алгебра, а I - замкнутый идеал в ней, то фактор-алгебра X/I также является банаховой алгеброй с единицей.

Фактор-пространство банахова пространства по любому его замкнутому подпространству является банаховым пространством. Таким образом, нам остается лишь проверить, что выполняются аксиомы 6 и 7 из п. 1 § 1:

а) b) E=e I, т.е. E2=e2 I=e I, значит, Е2=Е, откуда ||E||=||E2||?||E||2. Но элемент Е не эквивалентен нулю, так как окрестность точки е, как мы отметили выше, не содержит необратимых элементов, из которых состоит I. Значит, 1 ?||E||. Но, с другой стороны, ||Е|| = inf ||е у||, т.е. ||Е|| < 1. Итак, ||Е|| = 1. Теорема доказана.

3.2 Три леммы

Нам далее понадобятся три леммы: теоретико-множественная, алгебраическая и топологическая

Лемма 1. Всякий нетривиальный идеал I содержится в максимальном идеале.

Действительно, пусть J множество всех нетривиальных идеалов, содержащих I. Оно частично упорядочено по вложению: , если . Для всякого линейно упорядоченного множества {I?} из J объединение есть нетривиальный идеал, служащий верхней гранью для {I?}. Значит, в силу леммы Цорна I подчинен максимальному элементу в J т.е. максимальному идеалу.

Следствие. Если X не есть поле, то в нем имеется максимальный идеал. Более того, каждый необратимый элемент, отличный от нуля, содержится в некотором максимальном идеале.

Действительно, возьмем любой необратимый элемент и рассмотрим совокупность х0 • X. Это есть, конечно, идеал. Он содержит х0 и не содержит е - единицы X, т.е. не является тривиальным идеалом, следовательно, в силу леммы 1 содержится в максимальном идеале.

Лемма 2. Для того чтобы идеал I содержался в некотором нетривиальном идеале , необходимо и достаточно чтобы алгебра X/I имела нетривиальный идеал.

Докажем необходимость. Пусть Выделим среди классов ? X/I, те ?’=x’ I для которых х" I". Легко проверить, что получится нетривиальный идеал в X/I. Достаточность получается аналогично.

Лемма 3. Замыкание нетривиального идеала I есть нетривиальный идеал.

Нетривиальность следует из того, что I состоит лишь из необратимых элементов, остальное следует из непрерывности алгебраических операций.

Следствие. Максимальный идеал замкнут.

4. Основные теоремы

4.1 Линейные непрерывные мультипликативные функционалы и максимальные идеалы

Определение 1. Линейный непрерывный функционал f на банаховой алгебре X называется мультипликативным, если для любых x и y f (x•y)=f(x)•f(y) (1)

Совокупность всех нетривиальных линейных непрерывных мультипликативных функционалов мы обозначим через М.

Заметим, что линейный непрерывный мультипликативный функционал мы могли бы определить как непрерывный гомоморфизм X в С.

Если f M, то (2) ибо если для некоторого хо, по норме равного единице, , то т.е. мы получили бы, что f не непрерывен.

Далее, , откуда либо f(e) = 0, т.е. f тривиален, либо f(e) = 1. (3)

Из (2) и (3) следует, что нетривиальные линейные непрерывные мультипликативные функционалы имеют норму единица и, следовательно, М есть подмножество единичной сферы в сопряженном пространстве X*.

Нулевое подпространство функционала f (т.е. совокупность тех х X, для которых f(x) = 0) обозначим Ker f и назовем ядром f.

Лемма 1. Ядро Ker f при f М есть максимальный идеал.

Действительно, из у I = Ker f и x Х следует, что f (x•y)=f(x)•f(y)=0, т.е. y•x Ker f.

Таким образом, Ker f - идеал. Покажем, что Ker f - максимальный идеал. Допустим, что это не так, т.е. Ker f можно расширить до идеала I? X, содержащего хо Ker f. Но Ker f имеет коразмерность 1. Значит, элемент е можно представить так: е = ? х0 у, где y Ker f Отсюда следует, что e I. Значит, I = X. Противоречие доказывает лемму.

Лемма 2. По всякому максимальному идеалу М можно однозначно построить линейный непрерывный мультипликативный функционал f М такой, что М = Ker f.

Действительно, в силу следствия из леммы 3 § 3 М - замкнутый идеал. Применив теорему 1 § 3, мы получим, что Х/М есть банахова алгебра, силу леммы 2 § 3 Х/М не имеет нетривиальных идеалов, т.е. алгебра Х/М не содержит необратимых элементов, отличных от нуля (см. следствие из леммы 1 § 3). Значит, Х/М есть поле, являющееся банаховой алгеброй.

В силу следствия 1 из теоремы 1 § 2 поле Х/М изоморфно С. Это, по определению, означает, что для любого х X найдется однозначно число f(x) C, такое, что u M.

Покажем, что f есть гомоморфизм. Докажем, например, что f (x•y)=f(x)•f(y). Имеем x=f(x)•e u, u M y=f(y)•e v, v M, откуда xy=f(x)•f(y) •e w, w M

Но это и означает, что f (x • y) = f(x)•f(y). Соотношения f (x y) = f(x) f(y) и f (? x) = ? •f(x) доказываются аналогично. Кроме того, если x M, то из (4) следует, что f(x) = 0, а если x=e, то f(x) = 1.

Лемма доказана.

Итак, мы получили, что между максимальными идеалами {M} и функционалами f из М существует однозначное соответствие. В силу этого обстоятельства условимся функционалы из М обозначать f м а буквой М - соответствующие им максимальные идеалы. Для множества всех максимальных идеалов {е} мы будем употреблять ту же букву М что и для соответствующего ему множества {f м}.

Пусть х - некоторый элемент из X.

Рассмотрим функцию х(М) на множества М, задав ее формулой х(М) = FM(x). (5)

(Значение функции х(М), построенной по элементу x, на максимальном идеале М равно числу FM(x), т.е. значению на элементе х гомоморфизма, соответствующего идеалу М.) Мы получили реализацию элементов алгебры X в виде функций на множестве М, о которой говорили в конце § 1.

4.2 Топология в множестве М. Основные теоремы

Нам осталось доказать, что М компактно в некоторой топологии и что функции х(М) непрерывны в той же топологии.

Чуть ранее мы упомянули, что М есть подмножество единичного шара. С другой стороны, справедливо следующее утверждение.

Единичный шар пространства X*, сопряженного к банаховому пространству, компактен в * - слабой топологии.

Напомним, что * - слабая топология определяется системой окрестностей

(6)

Множество М мы рассмотрим именно в * - слабой топологии. компактность М вытекает из сформулированного выше результата и следующей леммы.

Лемма 3. Множество М есть замкнутое подмножество единичного шара в Х*, и функции х(М) непрерывны на М.

Действительно, пусть функционал f0 принадлежит замыканию М. Это значит, что внутри любой базисной окрестности отображения f0 найдется гомоморфизм FM, порожденный максимальным идеалом М. Возьмем окрестности . В силу (6) и определения х(М) мы получим

(7)

FM(x y) - fo (x y)\<?.

Но FM есть гомоморфизм, т.е.

FM(x y) = FM (x) FM (y).

Тогда из (7) следует, что fo(x y) = fo (x) fo (y).

Аналогично показывается, что fo(ax) = afo (x) и fo(xy) = fo(x) fo(y). (Надо взять окрестности и .)

Значит, f есть непрерывный линейный мультипликативный функционал. Далее, взяв окрестности Ue? (fo), мы получим, что f0 (е) = 1, т.е. f0 нетривиален. Значит, f0 М, т.е. М замкнуто.

Покажем, что функция х0(М) = FM(х0) непрерывна на М.

Пусть Мо .М. Для ? > 0 возьмем окрестность Uxo?(Mo). Если М Uxo?, то в силу (6) получится, что

Но это и означает непрерывность функции х0 (М) в точке Мо.

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

Были введены основные понятия, определения, свойства, приведены примеры банаховых алгебр, Разобрано понятие идеала. Введено определение спектра, резольвенты, приведены примеры.

Доказана теорема о фактор-алгебре, а также три леммы и их следствия.

Рассмотрены линейные непрерывные мультипликативные функционалы и максимальные идеалы, доказаны необходимые леммы. Также доказаны две важные теоремы об отображениях.

1. Колмогоров А.Н, Фомин С.В. Элементы теории функций и функционального анализа. Москва, Физматлит, 2006 г.

2. Вулих Б.З. Введение в функциональный анализ М.: Наука, 1967 г.

3. Гельфанд И.М, Райков Д.А., Шилов Г.Е. Коммутативные нормированные кольца, М., Государственное издательство физико-математической литературы, 1960 г.

4. Шилов Г.Е., Введение в теорию линейных пространств М., Гостехиздат, 1956 г.

5. Наймарк М.А. Нормированные кольца. М., Гостехиздат, 1956.

6. Рудин У. Функциональный анализ. М., Мир, 1975.

Размещено на