Линейные алгебры малых размерностей

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

Рубрика Математика
Вид курсовая работа
Язык русский
Дата добавления 13.12.2011
Размер файла 79,4 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.

Размещено на http://www.allbest.ru/

26

Размещено на http://www.allbest.ru/

Министерство образования Республики Беларусь

Учреждение образования

«Гомельский государственный университет

имени Франциска Скорины»

Факультет математический

Кафедра алгебры и теории чисел

Курсовая работа

Линейные алгебры малых размерностей

Гомель 2010

Содержание

Введение

1.Основные определения

2.Алгебры. Ассоциативные алгебры

3.Алгебры Ли

4.Нильпотентные алгебры Ли

4.1 Эквивалентность различных определений нильпотентности

5.Разрешимые алгебры Ли

6.Описание алгебр Ли малых размерностей

7.Заключение

8 Список использованных источников

Введение

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

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

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

Теория алгебр Ли выросла из теории Ли непрерывных групп. Основным результатом последней является сведение «локальных» задач, относящихся к группам Ли, к соответствующим задачам теории алгебр Ли, т. е. к задачам линейной алгебры. Каждой группе Ли сопоставляется алгебра Ли над полем вещественных или комплексных чисел, и устанавливается соответствие между аналитическими подгруппами группы Ли и подалгебрами ее алгебры Ли, при котором инвариантным подгруппам соответствуют идеалы, абелевым подгруппам -- абелевы подалгебры и т. д. Изоморфизм алгебр Ли эквивалентен локальному изоморфизму соответствующих групп Ли.

В последнее время введение соответствующих алгебр Ли оказалось полезным при изучении двух других разделов теории групп. Первым из этих разделов является теория свободных групп, которую можно изучать при помощи свободных алгебр Ли, пользуясь методом, впервые предложенным Магнусом. Хотя эта связь не такая тесная, как в теории Ли, применение алгебр Ли привело к важным результатам относительно свободных групп и других классов абстрактных групп. В частности, необходимо отметить результаты по так называемой ослабленной проблеме Бернсайда: ограничены ли порядки конечных групп, имеющих фиксированное число r образующих и удовлетворяющих соотношению хm=1, где m -- фиксированное положительное целое число? Стоит указать, что важную роль в этих приложениях к теории абстрактных групп играют алгебры Ли простой характеристики.

Наряду с группами важную роль в теории симметрий играют такие алгебраические объекты, как ассоциативные алгебры и алгебры Ли.

1.Основные определения

Кольцо R -- это непустое множество с операциями сложения и умножения, причем относительно сложения R -- абелева группа, и обе операции связаны законами дистрибутивности

x(y+z)=xy+xz, (x+y)z=xz+yz,

где x,y,z - произвольные элементы из R.

Алгеброй называют линейное пространство, в котором кроме сложения и умножения на числа определена операция умножения элементов пространства, причем умножение и сложение удовлетворяют законам дистрибутивности

a(бb+вc)=бaв+вac, (бb+вc)a=бba+вca,

где б, в - числа, а a,b,c - элементы алгебры.

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

Допустим, что в некотором кольце К для любых трех элементов x,y,z справедливо соотношение

x(yz)+y(xz)+ z (xy) =0.

В этом случае мы скажем, что в К выполняется тождество Якоби.

Алгеброй Ли называется векторное пространство L с умножением (билинейным отображением (о1, о2) >[ о1, о2] произведения L L в L), которое антисимметрично

[ о1, о2]+ [ о2, о1]=0

и удовлетворяет тождеству Якоби

[ о1, [о2, о3]] + [ о2, [о3, о1]] +[ о3, [о1, о2]] =0

для всех о1, о2, о3 L.

Пусть L есть К - алгебра Ли V - некоторый К - модуль. Мы говорим, что V является К - модулем, если существует К - билинейное отображение L V > V, удовлетворяющее следующей аксиоме ( в записи которой x,y L, v V, yv - образ пары (y,v) при данном билинейном отображении):

(xy)v=x(yv)-y(xv).

Подпространство К пространства L называется подалгеброй алгебры Ли L, если [ К,К] К, и идеалом этой алгебры, если [ К, L] К.

Если К, N--идеалы алгебры L, то пересечение К N, произведение [К, N] и сумма K + N подпространств К, N векторного пространства L также являются идеалами алгебры L, причем [К, N] =K N. Если K N = 0, то [К N]=0; при этом идеал K + N называется прямой суммой идеалов К, N алгебры L и обозначается символом К N. Если в алгебре L существуют такие идеалы К, N, что L= К N, то алгебра L называется разложимой в прямую сумму своих подалгебр К и N.

Алгебра L называется разрешимой, если L(n) = 0 для некоторого n > 0.

Алгебра Ли называется нильпотентной, если для некоторого положительного целого n L(n)=0.

Пусть K, N--разрешимые идеалы алгебры Lr. Факторалгебра (K+N)/N изоморфна разрешимой алгебре К/(К N) и, значит, разрешима. Поэтому идеал K + N разрешим как расширение разрешимой алгебры (K+N)/N с помощью разрешимой алгебры N. Отсюда следует, что разрешимый идеал R максимальной размерности в конечной алгебре Ли Lr является единственным и содержит все разрешимые идеалы алгебры Lr. Этот максимальный разрешимый идеал R называется радикалом алгебры Lr.

Алгебра Ли Lr называется полупростой, если ее радикал равен нулю.

2.Алгебры. Ассоциативные алгебры

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

a(бb+вc)=бaв+вac, (бb+вc)a=бba+вca,

где б, в - числа, а a,b,c - элементы алгебры.

Если линейное пространство алгебры рассматривается над полем вещественных ( комплексных ) чисел, то алгебру называют вещественной (комплексной ). Алгебры бывают конечномерными и бесконечномерными. Если умножение в алгебре коммутативно, то есть ab=ba для любых элементов a и b алгебры, то алгебру называют коммутативной. Если в алгебре А существует элемент е, такой что ае=еа=а для любых элементов а А, то е называют единицей алгебры А, а алгебру А - алгеброй с единицей. Если для любых трех элементов a,b,c алгебры А выполняется условие ассоциативности (ab)c=a(bc), то А называют ассоциативной алгеброй.

Пример 1. Множество всех комплексных чисел - вещественная ассоциативная алгебра с единицей.

Пример 2. Множество Mat(n,C) всех комплексных квадратных матриц размерности n - ассоциативная алгебра относительно обычных сложения и умножения матриц. Эта алгебра некоммутативна.

Пример 3. Множество С?(Rn) всех комплексных бесконечно дифференцируемых функций на Rn образуют комплексную коммутативную ассоциативную алгебру относительно обычных сложения и умножения функций.

Линейное подпространство В алгебры А называют подалгеброй в А, если В является алгеброй относительно заданного в А умножения, то есть произведение элементов из В принадлежит В.

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

Пример 4. Алгебра Mat(n,C) простая.

Пусть А1 и А2 - алгебры . Отображение ц из А1 в А2 называют гомоморфизмом, если ц сохраняет линейные операции и умножение, то есть если для всех a,b А1 и для всех чисел б,в имеем

ц ( бa+вb)= бц(a)+вц(b), ц(ab)=ц(b)ц(a).

Если гомоморфизм ц алгебры А1 на алгебру А2 взаимно однозначен, то он называется изоморфизмом. Изоморфизм алгебры А на себя называют автоморфизмом А. Множество всех автоморфизмов алгебры А образует группу, обозначаемую через Aut А. Взаимно однозначное отображение ц алгебры в себя называют антиавтоморфизмом, если

ц ( бa+вb)= бц(a)+вц(b), ц(ab)=ц(b)ц(a).

3.Алгебры Ли

Алгеброй Ли называется векторное пространство L с умножением (билинейным отображением (о1, о2) >[ о1, о2] произведения L L в L), которое антисимметрично

[ о1, о2]+ [ о2, о1]=0

и удовлетворяет тождеству Якоби

[ о1, [о2, о3]] + [ о2, [о3, о1]] +[ о3, [о1, о2]] =0

для всех о1, о2, о3 L. Произведение [ о1, о2] называется коммутатором векторов о1 и о2. Любое векторное пространство можно превратить в алгебру Ли. Если, например, определить умножение, пологая [ о1, о2]=0 для всех векторов о1, о2 рассматриваемого пространства, то получается алгебра Ли, называемая коммутативной, или абелевой. Размерностью алгебры Ли L называется размерность векторного пространства L. Алгебра L размерности r будет обозначаться также символом Lr.

Пусть Lr - алгебра Ли, о1,…, оr - базис соответствующего векторного пространства Lr. Разложение коммутатора любой пары базисных векторов по этому базису имеет вид

[ оi, оj]=ckij оk,

где ckij (I,j,k=1,…,r) - вещественные числа. Числа ckij называются структурными константами ( в данном базисе ) алгебры Lr и образуют аффинный тензор над векторным пространством Lr. Антисимметричность коммутатора и тождества Якоби накладывают следующие условия на структурные константы:

ckij+ ckji=0, ckim cmin+ ckjm cmni+ cknm cmij=0.

Линейное отображение f: L>K называется гомоморфизмом алгебры L в алгебру К, если для всех векторов о, о' из L выполняется равенство

f([о, о'])=[ f(о), f(о')].

Множество f-1(0) всех векторов из L, которые при гомоморфизме f переходят в нулевой вектор пространства К, называется ядром гомоморфизма f. Если f отображает L на К и f-1(0)=0, то гомоморфизм f называется изоморфизмом, а алгебры L и К - изоморфными. Изоморфизм алгебры L на себя называется автоморфизмом.

Пусть L - алгебра Ли, К и N - подпространство векторного пространства L, а К N обозначает их пересечение. Суммой подпространств К, N называется подпространство К+ N, состоящее из всех векторов вида з+ о (з К, о N), а их произведением [К, о] - линейная оболочка всех коммутаторов [ з, о] (з К, о N). Если КN=0, то К+ N называется прямой суммой подпространствах К, N.

Подпространство К пространства L называется подалгеброй алгебры Ли L, если [ К,К] К, и идеалом этой алгебры, если [ К, L] К.

Если К, N--идеалы алгебры L, то пересечение К N, произведение [К, N] и сумма K + N подпространств К, N векторного пространства L также являются идеалами алгебры L, причем [К, N] =K N. Если K N = 0, то [К N]=0; при этом идеал K + N называется прямой суммой идеалов К, N алгебры L и обозначается символом К N. Если в алгебре L существуют такие идеалы К, N, что L= К N, то алгебра L называется разложимой в прямую сумму своих подалгебр К и N. Пусть теперь К -- идеал, a N--подалгебра алгебры L, причем K N=0; тогда прямая сумма K + N подпространств К, N пространства L является подалгеброй алгебры L и называется полупрямой суммой подалгебр К и N алгебры L. Если при этом L = К+ N, то говорят, что алгебра L является полупрямой суммой своих подалгебр К и N.

Пусть К--идеал алгебры L. Семейство L/К попарно непересекающихся смежных классов о + K естественно снабжается структурой алгебры Ли. Полученная алгебра L/К называется факторалгеброй алгебры L по идеалу К, а гомоморфизм о> о+К алгебры L на алгебру L/К -- естественным, или каноническим, гомоморфизмом; ядром этого гомоморфизма являетсяидеал К. Сама алгебра L называется при этом расширением алгебры L/К с помощью К.

Алгебра Ли L(1) = [L, L] называется производной алгеброй алгебры Ли L. По построению, L(1) является идеалом в L. Производные алгебры более высокого порядка определяются рекуррентно: L(n+1) = (L(n))(1), n=1, 2, ...

Алгебра L называется разрешимой, если L(n) = 0 для некоторого n > 0. Простейшим примером разрешимой алгебры является коммутативная алгебра Ли. Разрешимы также все одномерные и двумерные алгебры Ли. Подалгебра и гомоморфный образ любой разрешимой алгебры, очевидно, разрешимы; в частности, разрешима факторалгебра разрешимой алгебры по любому ее идеалу. Кроме того, если идеал K алгебры L и факторалгебра L/K разрешимы, то сама алгебра L также разрешима. Действительно, если K(n) = 0, (L/K)(m) = 0 для некоторых положительных n, т, a f: L> L/K -- естественный гомоморфизм, то f(L(m))=(f(L))(m)= (L/K)(m)=0, откуда следует, что L(m) К и

L(n+m)=0.

Алгебра Ли называется нильпотентной, если для некоторого положительного целого n L(n)=0.

При помощи индукции легко проверить, что L(n) L(n). В самом деле, L(0)=L(0), и если L(n) L(n), то

L(n+1)=[ L(n) , L(n)] [L(n), L] L(n+1).

Таким образом, нильпотентная алгебра является разрешимой. Обратное не верно: например, двумерная некоммутативная алгебра Ли , определяемая коммутативным соотношением

[X,Y]=X,

разрешима, но не нильпотентна.

Пусть K, N--разрешимые идеалы алгебры Lr. Факторалгебра (K+N)/N изоморфна разрешимой алгебре К/(К N) и, значит, разрешима. Поэтому идеал K + N разрешим как расширение разрешимой алгебры (K+N)/N с помощью разрешимой алгебры N. Отсюда следует, что разрешимый идеал R максимальной размерности в конечной алгебре Ли Lr является единственным и содержит все разрешимые идеалы алгебры Lr. Этот максимальный разрешимый идеал R называется радикалом алгебры Lr.

Алгебра Ли Lr называется полупростой, если ее радикал равен нулю. Заметим, что всякий коммутативный идеал разрешим. С другой стороны, алгебра L, содержащая ненулевой разрешимый идеал К, содержит также ненулевой коммутативный идеал - им является предпоследний элемент последовательности производных: К, К(1),..,К(n-1)(n)=0. Поэтому алгебра Ли полупроста в том и только том случае, если она не имеет отличных от нуля коммутативных идеалов.

Полупростой будет любая конечномерная алгебра L, распадающаяся в прямую сумму

L=К…N

своих идеалов K,…,N, являющимися простыми алгебрами.

4.Нильпотентные алгебры Ли

4.1 Эквивалентность различных определений нильпотентности

Теорема. Следующие условия на алгебру Ли L над кольцом К эквивалентны (с - некоторое натуральное число):

1. Lс {0}, Lс+1={0};

2. Zc-1(L) L, Zc(L)=L;

3. L обладает конечным центральным рядом длины с и не обладает таким рядом длины с -1;

4. для любой расстановки скобок произведение с+1 элемента алгебры L равно нулю, и при некоторой расстановки скобок произведение некоторых элементов не равно нулю;

5. в L выполняются тождество

х1х2…хс+1 0

и не выполняется тождество

х1х2…хс 0.

Доказательство. Заметим вначале, что для любых натуральных s и r справедливо включение LsLt Ls+t. Действительно, заметим, что LsL1=Ls+1 по определению нижнего центрального ряда. Проводя индукцию по r, получаем

LsLr+1= Ls(LrL1) ( LsLr )L1+ Lr (LsL1)=Ls+rL1+LrLs+1=Ls+r+1.

Здесь мы воспользовались тождеством Якоби, предположением индукции и определением членов нижнего центрального ряда.

Для доказательства эквивалентности утверждений 1-3 достаточно заметить, что если L обладает центральным рядом длины с

L=L0 L1 … Lc={0}, (1)

то, согласно свойствам верхнего и нижнего рядов, получаем, что для любого неотрицательного l имеем

Ll+1 L1 и Zl(L) Lc-1.

Поэтому в этом случае Lс+1={0} и Zс(L)= L. Выбирая в качестве ряда (1) соответственно нижний и верхний центральные ряды, мы получаем все нужные нам импликации (1) (2) (3).

Докажем теперь, что из (1) следует (4). Действительно, докажем по индукции, что для любой расстановки скобок у и любых х1х2…хl+1 L выполняется a= (х1х2…хl+1 )у Ll+1 . Основание индукции при l=0 очевидно. Предполагая утверждение доказанным при меньших значениях l, заметим, что для некоторого s<l имеем a= (х1х2…хs )фs+1…хl+1 )р, где р и ф - некоторые расстановки скобок. По предположению индукции (х1х2…хs )ф Ls , а (хs+1…хl+1 )р Ll-s+1. Согласно замечанию в начале доказательства а Ls Ll-s+1 Ll+1. Значит, предполагая (1) выполненным, получим, что для любых х1х2…хc+1 и любой расстановки у имеем в L

a= (х1х2…хс+1)у=0.

Заметим теперь, что из определения с очевидностью следует, что для любого l идеал Ll является К - подмодулем, порожденным всевозможными правонормированными произведениями

х1х2 …хl , xi L , i=1,2,…,l.

Поэтому, если хотя бы одно из произведений х1…хс отлично от нуля, то . Lс {0}. Понятно, далее, что (4) (5) (1). Теорема доказана.

Алгебра Ли, удовлетворяющая эквивалентным условиям данной теоремы, называется нильпотентной ступени с.

5.Разрешимые алгебры Ли

Определим неассоциативный одночлен уl ( x1,…,x2l) индукцией по l, полагая у0 (х)=х и

уl+1(x1,…,x2l+1)=уl(x1,…,x2l) уl(x1,…,x2l+1).

Теорема. Следующие условия на алгебру Ли и L над кольцом К эквивалентны.

1. Для некоторого целого l 1 L(l-1) {0},a L(l)={0}.

2. В L имеется конечный разрешимый ряд идеалов

L=L0 L1 … Ll={0}

(т.е. такой, что Li/Li+1 - абелева алгебра), и число l - наименьшая длина таких рядов.

3. В L имеется ряд подалгебр

L=М0 М1 … Мc={0}, где М2i Mi+1 и число l - наименьшая длина таких рядов.

4. В L тождественно выполняется соотношение уl ( x1,…,x2l)=0,

А уl-1 ( x1,…,x2l-1)=0 не является тождеством L.

Доказательство. Ряд коммутантов обладает тем свойством, что для разрешимого ряда и любого n 0 выполняется Ln Ln. Значит, (1) и (2) эквивалентны. Далее, если справедливо (3), то, в силу свойства М2i Mi+1, по индукции L(n) Mi, откуда L(l)={0}. Значит, выполнено (1); если L(l-1)={0}, то ряд коммутантов будет иметь меньшую длину, чем ряд в (3), что невозможно. Таким образом, (1) и (3) эквивалентны. Утверждение (4) вытекает из (1), так как индуктивное определение элементов уl(x1,…,x2l) показывает, что для любых v1,…,v2l L элемент уl(v1,…,v2l) лежит в L(l). Для доказательства обратного заметим, что L(l) как К - модуль порождается элементами уl(v1,…,v2l), vi L. Это утверждение справедливо при l=0. Предполагая его справедливым для L(l-1) есть К - оболочка элементов уl-1(v1,…,v2l-1), v1,…,v2l-1 L. По определению тогда L(l) является К - оболочкой произведений таких элементов, равных элементам вида

уl-1(v1,…,v2l-1) уl-1(v2l-1+1,…,v2)= уl(v1,…,v2l).

Таким образом, если выполнено (4), то и выполнено (1). Теорема доказана.

Алгебра L, удовлетворяющая условиям (1) - (4), называется разрешимой ступени l.

6.Описание алгебр Ли малых размерностей

Опишем теперь все алгебры Ли, размерность которых меньше четырех. Пусть (e1,e2,…,en) - базис алгебры Ли L; тогда [eiei]=0, [eiej]=-[ejei], и поэтому для задания таблицы умножения в этом базисе достаточно определить произведения [eiei] для i<j. Будем использовать в наших рассуждениях эти сокращенные таблицы умножения:

I. Dim L=1. Тогда L=Фе, [ee]=0.

II. Dim L=2

(a) L'=0, L - абелева.

(b) L'0. Поскольку L=Фе+Фf, L'= Ф[ef] имеет размерность единицу.

Мы можем выбрать элемент е так, что L'= Фe. Следовательно, L совпадает с ассоциативной алгеброй. Эта алгебра - единственная неабелева алгебра Ли размерности 2.

III. Dim L=3.

(a) L'=0, L - абелева.

(b) Dim L'=1, L' N, где N - центр. Если L'=Фе, то мы запишем

L=Фе+Фf+Фg.

Тогда L'= Ф[fg]. Поэтому можно положить [fg]=e. Таким образом, алгебра L имеет базис (e,f,g) с таблицей умножения

[fg]=e, [ef]=0, [eg]=0. (1)

(с) L'=1, L' N,

где N - центр. Если L'=Фе, то существует элемент f, такой, что [ef] 0. Тогда [ef]=вe0 и можно положить [ef]=е. Поэтому Фе+Фf - неабелева алгебра L размерности 2. Так как R L', где R - идеал, а так как R - совершенная алгебра, то L=R о , где о=Фg. Поэтому о имеет базис (e,f,g) с таблицей умножения

[ef]=e, [eg]=0, [fg]=0. (2)

(d) Dim L'=2. Алгебра L' не может быть неабелевой двумерной алгеброй Ли L, так как тогда имели бы место равенства L=R о и L'=R'=R. Но R'R . Поэтому L' абелева. Пусть L'= Фе+Фf и L=Фе+Фf+Фg. Тогда L'= Ф [eg]+ Ф [fg] и, следовательно, ad g индуцирует взаимно однозначное линейное отображение в L'. Поэтому алгебра L имеет базис (e,f,g) с таблицей умножения

[ef]=0, [eg]=бe+вf, [fg]=гe+дf, (3)

где А= - невырожденная матрица. Обратно, в каждом пространстве L с базисом (e,f,g) мы можем определить произведение [ab] так, что выполнены условия (3) и условие [aа]=0. Тогда [ [ef] g ]+[ [fg] e ]+ +[ [ge] f ]=0, и поэтому L является алгеброй Ли. Какие изменения можно внести в таблицу умножения (3)? Наш выбор базиса равносилен следующему: мы выбираем базис (e,f) алгебры L' и дополняем его элементом g так, чтобы получить базис алгебры L. При изменении базиса L' матрица А переходит в подобную матрицу М-1АМ. Допустимым изменением элемента g является замена этого элемента на элемент сg+х, с Ф, х L'.

Тогда [e, сg +х ]=с[eg], [f, сg+х]=с[fg], вследствие чего матрица А переходит в матрицу сА. Поэтому матрица А в таблице умножения (3) мы можем заменить любой матрицей вида сВ, где В - матрица, подобная А. Это означает, что мы имеем взаимно однозначное соответствие между алгебрами L, удовлетворяющими условиями Dim L=3, Dim L'=2, и классами сопряженных элементов в двумерной группе коллинеаций.

Если основное поле алгебраически замкнуто, мы можем выбрать матрицу А в одной из следующих форм:

, б 0; , в 0.

Это приводит к таким таблицам умножения:

[ef]=0, [eg]=е, [fg]=бf,

[ef]=0, [eg]=е+ вf, [fg]=f.

Различным элементам б соответствуют различные алгебры 1, поэтому мы получаем бесконечно много неизоморфных алгебр.

(e) Dim L'=3. Пусть (e1,e2,e3) - базис, и положим [e2e3]=f1, [e3e1]=f2, [e1e2]=f3. Тогда (f1, f2, f3) - тоже базис. Запишем fi= , где А=(бij) - невырожденная матрица. Единственное условие Якоби, которое нужно наложить, следующее: [f1e1]+[f2e2]+[f3e3]=0. Отсюда получаем соотношение

0= б12[e2e1]+ б13[e3e1]+ б21[e1e2]+ б23[e3e2]+ б31[e1e3]+ б32[e2e3]= -б12f3 + б31f2+ +б21f3- б23f1- б31f2+ б32f1.

Поэтому бij= бji, так что А - симметрическая матрица. Пусть () - другой базис, где , М=(мij) - невырожденная матрица. Положим

Для тройки (i,j,k), полученной циклической перестановкой индексов (1, 2, 3), имеем формулы

[?мjrer, ?мkses]= [ eres]=(мj2 мk3- мj3 мk2)f1+( мj3 мk1- мj1 мk3)f2+ +( мj1 мk2- мj2 мk1)f3=?нirfr.

1 Следует исключить случай, когда элементы б 0, б' 0 связаны соотношением б б'=1. Тогда они определяют одну и туже алгебру, так как

Матрица N=( нij)=adj M'=(M')-1det M'1. Матрица А связывает элементы f с элементами е, а матрица M-1 связывает элементы е с элементами . Поэтому, если - матрица (), такая, что , то

=(det M')(M')-1AM-1. (4)

Матрицы А и В называются мультипликативно коградиентными, если В=сN'AN, где N - невырожденная матрица и с - отличный от нуля элемент поля Ф. В этом случае можно записать В=су2-1N)'A (у-1N),у=с det N,и если

матрицы имеют три столбца и три строки, то мы положим M=уN-1 и В=м(M-1)'AM-1,м=су2=det M. Таким образом, мы получам соотношение (4).

Вследствие этого матрицы А и (симметрические) должно быть мультипликативно коградиентны.

Поэтому каждой алгебре L, удовлетворяющей нашим условиям, однозначно сопоставляется единственный класс невырожденных мультипликативно коградиентных симметрических матриц. Имеется столько алгебр, сколько существует классов таких матриц. Далее мы будем предполагать, что характеристика основного поля отлична от 2.

Тогда каждый коградиентный класс содержит диагональную матрицу вида diag{б,в,1},бв 0. Отсюда следует, что базис может быть выбран так, что выполняются равенства

[e1e2]=e3, [e2e3]=бe1, [e3e1]=вe2. (5)

Если основное поле - поле вещественных чисел, имеются две различные алгебры, соответствующие выбору б=в=1 и б=-1, в=1. Если поле алгебраически замкнуто, то можно положить б=в=1. Мы опишем сейчас некоторую частную алгебру в семействе алгебр, удовлетворяющих условию Dim L=3= Dim L'. Наложим на алгебру L следующие условие: существует элемент h L, такой, что ad h имеет характеристический корень б 0, б Ф. Тогда найдется вектор е 0, такой, что [eh]=e ad h бe 0, и так как [hh]=0, то е и h - линейно независимы и являются частью базиса (e1,e2,e3) (e, h,f). Если (f1, f2, f3) определены как раньше, то симметрическая матрица (бij) имеет вид. (6)

Из формул [eh]=бe, [h,h]=0, [fh]=-бf-б11e-б12h, следует, что характеристические корни эндоморфизма ad h равны 0, б, -б.

Мы можем заменить f характеристическим вектором, соответствующим корню -б, так как этот вектор линейно независим относительно пары (e, h).

Здесь М' - матрица, получающаяся из М транспонированием, adj М'- присоединенная матрица матрицы М', det М' - определитель матрицы М'.

Мы видим, таким образом, что существует единственная алгебра, удовлетворяющая нашим условиям.

Поэтому мы можем предположить, что [eh]=бe, [fh]=-бf. Если заменить h на 2б-1h, то получится [eh]=2e, [fh]=-2f. Из формулы (6) следует, что [ef]=вh0.

Заменив f на в-1f, мы получим базис (e, f,h) с законом умножения

[eh]=2e, [fh]=-2f, [ef]=h. (7)

7.Заключение

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

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

Алгеброй Ли называется векторное пространство L с умножением (билинейным отображением (о1, о2) >[ о1, о2] произведения L L в L), которое антисимметрично

[ о1, о2]+ [ о2, о1]=0

и удовлетворяет тождеству Якоби

[ о1, [о2, о3]] + [ о2, [о3, о1]] +[ о3, [о1, о2]] =0

для всех о1, о2, о3 L. Произведение [ о1, о2] называется коммутатором векторов о1 и о2. Любое векторное пространство можно превратить в алгебру Ли. Если, например, определить умножение, пологая [ о1, о2]=0 для всех векторов о1, о2 рассматриваемого пространства, то получается алгебра Ли, называемая коммутативной, или абелевой. Размерностью алгебры Ли L называется размерность векторного пространства L.

8. Список использованных источников

алгебра ли математика нильпотентная

1. Бахтурин А.Ю. «Тождество в алгебрах Ли» Москва - Минск 1985г.

2. Джекобсон Н. «Алгебры Ли»М: Мир 1966г.

3. Голод П.И. «Математические основы теории симметрии»

Размещено на Allbest


Подобные документы

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

    курсовая работа [399,1 K], добавлен 22.09.2009

  • Основные аксиомы и тождества алгебры логики. Аналитическая форма представления булевых функций. Элементарные функции алгебры логики. Функции алгебры логики одного аргумента и формы ее реализации. Свойства, особенности и виды логических операций.

    реферат [63,3 K], добавлен 06.12.2010

  • История развития и становления математического понятия функции. Абстрактные характеристики упорядоченных алгебр многоместных функций: P-алгебры и D-алгебры. Исследование теории суперпозиций алгебраических структур n-местных функций Менгера и Глускера.

    курсовая работа [263,7 K], добавлен 22.12.2015

  • Логический синтез устройства с использованием соотношений булевой алгебры. Составление таблицы истинности. Основные соотношения булевой алгебры. Логическая функция в смысловой, словесной, вербальной, табличной и аналитической математической формах.

    лабораторная работа [83,6 K], добавлен 26.11.2011

  • Понятие алгебры логики, ее сущность и особенности, основные понятия и определения, предмет и методика изучения. Законы алгебры логики и следствия из них, методы построения формул по заданной таблице истинности. Формы представления булевых функций.

    учебное пособие [702,6 K], добавлен 29.04.2009

  • Системы цифровой обработки информации. Понятие алгебры Буля. Обозначения логических операций: дизъюнкция, конъюнкция, инверсия, импликация, эквивалентность. Законы и тождества алгебры Буля. Логические основы ЭВМ. Преобразование структурных формул.

    презентация [554,8 K], добавлен 11.10.2014

  • Основные понятия и определения. * - алгебры. Представления. Тензорные произведения. Задача о двух ортопроекторах. Два ортопроектора в унитарном пространстве, в сепарабельном гильбертовом пространстве. Спектр суммы двух ортопроекторов.

    дипломная работа [303,0 K], добавлен 04.06.2002

  • Логика - наука о законах и формах мышления, а основное понятие алгебры логики - высказывание. Основные понятия и тождества булевой алгебры. Изучение методов минимизации булевых функций. Метод Квайна, основанный на применении двух основных соотношений.

    контрольная работа [178,2 K], добавлен 20.01.2011

  • Предпосылки развития алгебры множеств. Основы силлогистики и соотношение между множествами. Применение и типы жергонновых отношений. Понятие пустого множества и универсума. Построение диаграмм Эйлера и обоснование законов транзитивности и контрапозиции.

    контрольная работа [369,0 K], добавлен 03.09.2010

  • Основные понятия алгебры логики. Дизъюнктивные и конъюнктивные нормальные формы. Сущность теоремы Шеннона. Булевы функции двух переменных. Последовательное и параллельное соединение двух выключателей. Свойства элементарных функций алгебры логики.

    контрольная работа [345,3 K], добавлен 29.11.2010

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.