Стартовая Предметный указатель Новости науки и техники
Новости науки и техники
Электронные книги
Электронные ридеры или бумажные книги?
Сейчас, в эру высоких технологий, стало удобно и модно читать книги при помощи e-books в электронном формате. В это устройство можно загрузить сразу несколько десятков, а то и больше, книг. Специалисты решили провести исследование и окончательно определить, что все-таки лучше обычные бумажные книги или электронные ридеры. Далее...

ebooks

представление группы

ПРЕДСТАВЛЕНИЕ ГРУППЫ - изображение элементов группы матрицами или преобразованиями линейного пространства, при к-ром сохраняется исходная групповая структура. Поскольку достаточно хорошо изучены матричные группы, при исследовании произвольной группы стараются установить соответствие между её элементами и матрицами нек-рого фиксиров. порядка, т. е. изучать группу с помощью её линейной модели. Рассмотрение П. г. позволяет обнаружить важные свойства самих групп.

В физике естеств. образом возникают П. г. симметрии. Рассмотрим, напр., преобразования трёхмерного пространства в результате вращений системы координат. Закон преобразования векторов 4011-1.jpg даёт, разумеется, трёхмерное П. г. вращений. Инвариантность скаляров относительно вращений позволяет ввести одномерное П. г. вращений, когда каждый элемент группы отображается на тождеств. преобразование. Можно записать закон преобразования компонент4011-2.jpg тензора ранга 2. Если рассматривать 9 величин4011-3.jpgкак координаты точки 9-мерного пространства, получим 9-мерное П. г. вращений. Пусть 4011-4.jpg это свойство инвариантно относительно вращений; поскольку при этом остаётся лишь 6 компонент Tij, получается 6-мерное П. г. вращений, и т. д. Аналогично можно построить П. г. Лоренца. Законы преобразования спиноров дают т. н. двузначные П. г. вращений и группы Лоренца. Симметрия или антисимметрия многочастичной волновой ф-ции при перестановке тождеств. частиц даёт П. г. перестановок. Одна из целей теории П. г.- найти разл. законы преобразования физ. величин, т. е. найти всевозможные П. г. симметрии.

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

Развитие теории П. г. началось в кон. 19 - нач. 20 вв. в работах Г. Фробениуса (G. Frobenius) и И. Шура (I. Schur). Затем Г. Вейль (Н. Weyl), Дж. Нейман (J. Neumann) и Ю. Вигнер (Е. Wigner) продемонстрировали важность этой теории для физики.

Основные определения. П. г. G в пространстве V наз. отображение D(G, V)этой группы в набор преобразований V. Каждому элементу4011-5.jpg ставится в соответствие оператор T(g), действующий в пространстве V, причём 4011-6.jpg для любых 4011-7.jpg и 4011-8.jpg из G; Т(е) = I, где е - единичный элемент группы G, a I- единичный оператор в V. П. г. наз. линейным, если V - линейное пространство, a T(g)- линейный оператор. В дальнейшем речь будет идти только о линейных П. г. Если G - топологич. группа, то обычно требуют, чтобы T(g)непрерывно зависел от g, такие П. г. наз. непрерывными.

Размерность пространства V обычно наз. размерностью представления, dim D(G, V), П. г. наз. вещественным (комплексным), если пространство П. г. V - вещественное (комплексное). Если D(G, V)конечномерно, то, выбрав в V базис e1, е2,..., еп, можно задать операторы T(g)матрицами n-го порядка 4011-9.jpg где элементы матрицы определяются соотношением 4011-10.jpg Матрица 4011-11.jpg наз. матрицей представления D(G, V), a ф-цпи 4011-12.jpg- матричными элементами представления.

Простейшее П. г. получается, если положить T(g)4011-13.jpgI, оно наз. единичным или тривиальным. Если группа G состоит из матриц фиксиров. порядка, то одно из П. г. получается при T(g) = g. Т. о., определение всякой линейной группы является одновременно заданием её представления в виде группы линейных операторов, т. е. группы матриц. Такие П. г. наз. определяющими. П. г. D(G, V)наз. точным, если T(g)= I, тогда и только тогда, когда g = е. В этом случае отображение g4011-14.jpgT(g)взаимно однозначно (является изоморфизмом).

Если H - подгруппа группы G, то, рассматривая операторы Т (g)только при g = h4011-15.jpgH, получим представление D(H, V), называемое сужением П. г. на подгруппу Я. Подпространство 4011-16.jpgназ. инвариантным относительно П. г. D(G, V), если оно инвариантно относительно всех операторов T(g)этого П. г., т. е. для любых g4011-17.jpgGи4011-18.jpg, 4011-19.jpg[операторы T(g)не выводят из4011-20.jpg

Два П. г. 4011-21.jpg и 4011-22.jpg наз. эквивалентными,4011-23.jpg если существует линейный оператор А, взаимно однозначно отображающий 4011-24.jpgна 4011-25.jpgи удовлетворяющий условию 4011-26.jpg= =4011-27.jpg для всех g4011-28.jpgG. Если D1(G,V1) конечномерно и D1(G, V1) ~ D2(G, F2), то dimD1(G,V1)= dimD2(G, V2) и при соответствующем выборе базиса в V1 и V2 матричные элементы представлений Dl(G, V1) и D2(G, V2) совпадают.

Пусть V14011-29.jpgV - инвариантное подпространство относительно П. г. D(G, V). Тогда получаем П. г. D1(G,V1), к-рое наз. подпредставлением П. г. D(G, V). П. г. наз. приводимым, если оно содержит нетривиальные (т. е. отличные от тривиального и самого себя) подпредставления. П. г. D(G, V)наз. разложимым, если содержит подпредставления D1(G, V1) и D2(G, V2), такие, что V изоморфно прямой сумме своих подпространств, V = V14011-30.jpgV2. В этом случае говорят, что П. г. эквивалентно прямой сумме представлений D1и D2: D4011-31.jpgD14011-32.jpgD2. Если в П. г. D для всякого подпредставления D1 существует подпредставлениеD2, такое, что D4011-33.jpgD14011-34.jpgD2, то П. г. наз. вполне приводимым. В таком П. г. всякое инвариантное относительно действия операторов подпространство имеет инвариантное дополнение. Приводимое П. г. не обязательно должно быть разложимым.

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

4011-35.jpg

Если П. г. D(G, V)не содержит нетривиальных под-представлений, то оно наз. неприводимым. Различают алгебраич. неприводимость, т. е. отсутствие инвариантных подпространств, и топология, неприводимость, при к-рой пространство П. г. не должно содержать замкнутых инвариантных подпространств. Алгебраически неприводимое П. г. является топологически неприводимым; обратное, вообще говоря, неверно. Полноту системы неприводимых П. г. устанавливают при помощи характеров П. г. 4011-36.jpg Для матричного П. г.4011-37.jpg

Пусть на пространствах Vl и V2 задана невырожденная билинейная форма 4011-38.jpg и пусть V2 - пространство П. г. D(G, V2). Всякому оператору T(g)этого П. г. можно сопоставить дуальный оператор T*(g], действующий на пространстве V1 так, что 4011-39.jpg= =4011-40.jpgЕсли вместо оператора T*(g)рассмотреть оператор T<*>(g) = T*(g-1), то множество операторов T<*> образует П. г., называемое сопряжённым к D(G, V2) относительно формы4011-41.jpg Поскольку f невырождена, размерности П. г. D(G, V2) и D<*> (G,V1)совпадают. Для конечномерных П. г. матрицы операторов T<*>(g)имеют вид4011-42.jpgгде4011-43.jpg- матрица формы4011-44.jpg а штрих означает транспонирование. Если рассмотреть П. г. D(G,4011-45.jpgгильбертовом пространстве4011-46.jpgи взять в качестве формы f скалярное произведение, то множество операторов4011-47.jpg (4011-48.jpg- эрмитово сопряжение) образуют П. г. 4011-49.jpg к-рое наз. сопряжённым к 4011-50.jpg Пусть теперь все операторы П. г. 4011-51.jpg унитарны. Тогда 4011-52.jpg будет совпадать с 4011-53.jpg и скалярное произведение инвариантно относительно D, т. е. для любых 4011-54.jpg из и 4011-55.jpg любого T(g): 4011-56.jpg=4011-57.jpg Такое П. г. наз. унитарным. Всякое П. г., сохраняющее невырожденную билинейную форму, вполне приводимо, в частности вполне приводимо всякое конечномерное унитарное П. г.

П. г. D(G, V)наз. циклическим, если существует вектор 4011-58.jpg [наз. циклическим вектором для D(G, V)], такой, что замыкание линейной оболочкп всех 4011-59.jpg совпадает с V. Каждое унитарное П. г. является прямой суммой циклич. подпредставлений. Унитарное П. г. 4011-60.jpgнеприводимо тогда и только тогда, когда каждый ненулевой вектор4011-61.jpg цикличен для4011-62.jpg

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

Пусть4011-63.jpg- право(лево)инвариантная мера Хаара на локально компактной группе G (см. Инвариантное интегрирование ).Рассмотрим пространство 4011-64.jpg числовых (вещественных или комплексных) ф-ций 4011-65.jpg, интегрируемых с квадратом по этой мере. Обозначим 4011-66.jpg операторы преобразования в4011-67.jpg, порождённые правым (левым) сдвигом на элемент: 4011-68.jpg=4011-69.jpg Группа операторов 4011-70.jpg образует линейное П. г. G в пространстве 4011-71.jpg , к-рое наз. правым (левым) регулярны м П. г. Снабдив пространство 4011-72.jpg скалярным произведением 4011-73.jpg где черта означает комплексное сопряжение, можно показать, что регулярные представления унитарны.

При нахождении неприводимых представлений некомпактных (локально компактных) групп весьма эффективной оказывается теория индуцированных П. г. Индуцированное П. г. D(K, V)4011-74.jpgG локально компактной группы G специальным образом конструируется из представления D(K, V)замкнутой подгруппы К4011-75.jpgG. Пусть4011-76.jpg- ф-ция, отображающая G в V и удовлетворяющая условию: 4011-77.jpg для любых g4011-78.jpgG, k4011-79.jpgК, T(k) - оператор П. г. D(K, V). Тогда индуциров. представление U(G,4011-80.jpg) = D(K, V)4011-81.jpgG определяется в пространстве 4011-82.jpg всех таких ф-ций ф-лой 4011-83.jpg Метод индуциров. представлений является простейшим приёмом построения представлений более сложных групп из представлений более простых групп.

В квантовой механике используют т. н. проективные П. г., когда каждому элементу g ставится в соответствие оператор T(g), действующий в пространстве V, причём для любых4011-84.jpgи4011-85.jpgиз G: 4011-86.jpg = 4011-87.jpgгде фазовый множитель4011-88.jpg- числовая ф-ция, зависящая от4011-89.jpgи4011-90.jpg, а Т(е)- по-прежнему единичный оператор в V. На проективные П. г. непосредственно переносятся понятия эквивалентности и неприводимости П. г.

Пусть 4011-91.jpg и 4011-92.jpg- два конечномерных П. г. G, имеющие размерности 4011-93.jpg и 4011-94.jpg. П. г. D наз. прямым (тензорным) произведением П. г. 4011-95.jpgи4011-96.jpg, D = 4011-97.jpg, оно имеет разность п1п2, а каждый его элемент представляет собой матрицу 4011-98.jpg , являющуюся прямым (кронекеровым) произведением матрицы из 4011-99.jpg на матрицу из 4011-100.jpg (см. Матрица ).Прямое произведение .4011-101.jpg двух неприводимых конечномерных представлений 4011-102.jpg и 4011-103.jpgгруппы G неприводимо, если размерность представления 4011-104.jpg (или4011-105.jpg) равна 1, в общем случае 4011-106.jpg вполне приводимо.

Напр., в квантовых системах с группой симметрии G собств. ф-ции4011-107.jpgгамильтониана можно классифицировать по неприводимым П. г. G. Теория П. г. позволяет в этом случае установить т. н. правила отбора при рассмотрении процессов перехода из одного состояния в другое. Если процесс перехода задаётся оператором 4011-108.jpg , соответствующим неприводимому П. г. 4011-109.jpg, то переход из нек-рого состояния4011-110.jpg, соответствующего неприводимому П. г.4011-111.jpg, может осуществляться лишь в те конечные состояния4011-112.jpg, представление к-рых4011-113.jpgсодержится в разложении прямого произведения


4011-114.jpg

Матричные элементы оператора С, приводящего прямое произведение4011-115.jpgк блочнодиагональному виду [т. е. 4011-116.jpg=4011-117.jpg где 4011-118.jpg- неприводимое представление,4011-119.jpg- его кратность в прямом произведении], наз. коэффициентами Клебша - Гордана. Неприводимое П. г. G, являющейся прямым произведением групп4011-120.jpgи4011-121.jpg(см. Группа ),есть прямое произведение их неприводимых представлений, т. е.

4011-122.jpg

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

Одним из наиб. завершённых разделов общей теории П. г. является теория представлений компактных групп, к к-рым относятся все конечные группы, группы вращений плоскости и пространства, группы SU(N)при различных N, рассматриваемые в теории элементарных частиц (см. Калибровочные поля, Унитарная симметрия), и т. д. Если группа компактна, то любому её представлению можно сопоставить эквивалентное ему унитарное представление, т. е. изучение представлений компактной группы сводится к изучению её унитарных представлений. Свойства унитарного представления полностью определяются свойствами его неприводимых компонент. Всякое неприводимое унитарное представление компактной группы конечномерно.

Если4011-123.jpgи4011-124.jpg- любые два неприводимых унитарных представления компактной группы G, то матричные элементы операторов этих представлений 4011-125.jpg и 4011-126.jpg удовлетворяют соотношениям

99-1-81.jpg


где 4011-128.jpg; черта означает комплексное сопряжение. Считается, что базисы в пространствах4011-129.jpg и 4011-130.jpg ортонормированы. Пусть 4011-131.jpg- система всех неэквивалентных неприводимых унитарных представлений компактной группы G. Ф-ции 4011-132.jpg (i, k = 1,..., 4011-133.jpg), где 4011-134.jpg образуют полный ортонормиров. базис в пространстве4011-135.jpg (теорема Петера - Вейля).

Всякое неприводимое унитарное представление компактной группы эквивалентно подпредставлению её правого регулярного представления4011-136.jpg

Представления конечных групп. Каждая конечная группа компактна. Поэтому утверждения, касающиеся представлений компактных групп, справедливы и для конечных групп, только во всех ф-лах необходимо заменить интегрирование по группе 4011-138.jpg суммированием по групповым элементам

4011-139.jpg - порядок конечной группы.

Конечная группа имеет конечное число неприводимых П. г. Сумма квадратов размерностей всех неприводимых неэквивалентных П. г. равна порядку группы (теорема Бёрнсайда), причём все эти размерности являются делителями порядка группы. Число различных неприводимых представлений конечной группы равно числу классов сопряжённых элементов.

Представления групп Ли. Оператор T(g)представления D(G, V) n-мерной группы Ли, так же как и соответствующий элемент группы Ли, зависит от параметров 4011-140.jpg т. е. T(g(a)) = 4011-141.jpg = T(a). Для т. н. дифференцируемых П. г. ф-ция Т(а)дифференцируема [так, в частности, будет, если представление D(G, V)конечномерно], можно ввести набор операторов4011-142.jpg , i = 1,..., n, a=0 наз. генераторами представления D(G, V); здесь 4011-143.jpg - генераторы группы. В первом приближении по 4011-144.jpg получим 4011-145.jpg. Операторы4011-146.jpg (i = 1,..., n) образуют базис Ли алгебры, к-рая наз. дифференциалом представления.

Дифференциал П. г. в свою очередь является представлением алгебры Ли соответствующей группы.

Пусть g(a)- элемент однопараметрич. подгруппы группы G. Связь между П. г. D(G, V)и его дифференциалом [представлением соответствующей алгебры Ли d(A, V)] даётся ф-лой 4011-147.jpg Если G - связная группа Ли, то её конечномерные представления полностью определяются своими дифференциалами. Напр., если D(G, V) - конечномерное П. г. G, a d(A, V)- представление алгебры Ли А этой группы, являющееся дифференциалом D, то всякое подпространство пространства V, инвариантное относительно D, инвариантно также относительно d. П. г. D и d неприводимы, приводимы и вполне приводимы одновременно. Если 4011-148.jpg и 4011-149.jpg- представления связной группы Ли G, а4011-150.jpgи4011-151.jpg- их дифференциалы, то из эквивалентности4011-152.jpgследует эквивалентность4011-153.jpgи наоборот. Конечномерные представления связных односвязных групп Ли находятся во взаимно однозначном соответствии с представлениями их алгебр Ли. Эти представления связаны ф-лой 4011-154.jpg=4011-155.jpg. Для унитарных представлений в гильбертовых пространствах из эквивалентности дифференциалов следует эквивалентность П. г.

Поэтому удобен т. н. инфинитезимальный подход, когда исследование П. г. сводят к исследованию представлений их алгебр. Каждому элементу Y из алгебры Ли А группы Ли G ставится в соответствие оператор ad (У) = [Y, X], для любого X из А. Т. к. из тождества Якоби следует, что ad ([Y, X]) = [ad(F), ad(X)], то операторы ad(Y) образуют представление алгебры А. Это представление наз. присоединённым представлением алгебры Ли. Если 4011-156.jpg- базис алгебры А, то матричные элементы операторов ad(4011-157.jpg) в этом базисе совпадают со структурными константами алгебры Ли: 4011-158.jpg=4011-159.jpg

Если А - алгебра Ли связной группы G, то представление алгебры ad можно продолжить до представления группы G, действующего в А, как в векторном пространстве. Присоединённым представлением группы наз. такое отображение Ad (g, А), что exp (Ad(g)X) = g exp4011-160.jpgдля любых X4011-161.jpgА и g4011-162.jpgG. Размерность присоединённого П. г. совпадает с размерностью группы Ли.

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

Для классификации неприводимых конечномерных представлений комплексных алгебр Ли используют т. н. теорию старших весов. Пусть эрмитовы операторы4011-163.jpg (i=1,..., r; r - размерность группы Ли G)- базисные элементы подалгебры Картана. Рассмотрим комплексное конечномерное представление d(A, V)алгебры Ли А группы G. Тогда операторы4011-164.jpg эрмитовы, они коммутируют друг с другом и поэтому имеют общие собств. векторы 4011-165.jpgV, такие, что 4011-166.jpg (i=1,..., r); r-мерный веществ. вектор m=4011-167.jpg, соответствующий 4011-169.jpg, называется весом 4011-168.jpgв d(A, V).

Обозначим через W множество всех элементов g полупростой группы Ли G, обладающих тем свойством, что 4011-170.jpg = К, где К - подгруппа Картана группы G (К - группа, алгеброй к-рой является подалгебра Картана). Множество W является подгруппой G, причём К4011-171.jpgW к является нормальным делителем W. Факторгруппа W/K наз. группой отражений Вейля. Эта группа конечна.

Два веса4011-172.jpgи4011-173.jpgназ. эквивалентными, если они связаны друг с другом группой отражений Вейля. Число разл. весов не превышает размерности представления. Говорят, что вес4011-174.jpgстарше веса4011-175.jpg, если вектор4011-176.jpg-4011-177.jpg положителен, т. е. его первая отличная от нуля компонента положительна. Старший вес из множества эквивалентных весов наз. доминантным. Вес, к-рый старше всех остальных весов представления, наз. старшим весом представления.

Неприводимое конечномерное представление полупростой алгебры Ли полностью определяется своим старшим весом (теорема Картана). Для каждой простой алгебры Ли с 4011-178.jpg-мерной подалгеброй Картана имеется4011-179.jpgдоминантных весов4011-180.jpg, называемых фундаментальными, таких, что остальные доминантные веса можно представить в виде 4011-181.jpg=4011-182.jpg, где 4011-183.jpg - набор неотрицат. целых чисел. Существует4011-184.jpgт. н. фундаментальных неприводимых конечномерных представлений простой алгебры, к-рые имеют4011-185.jpgфундаментальных доминантных весов в качестве своих старших весов. Соответствующее П. г. наз. фундаментальным.

До сих пор речь шла об однозначных П. г., когда каждому элементу группы g ставился в соответствие только один оператор T(g). Если группа G не является односвязной, то для того, чтобы П. г. было непрерывным, возникает необходимость каждому элементу группы g ставить одновременно в соответствие неск. разл. операторов 4011-186.jpg. Такое П. г. наз. m-значным.

Лит.: Випенкин Н. Я., Специальные функции и теория представлений групп, М., 1965; Желобенко Д. П., Компактные группы Ли и их представления, М., 1970; Кириллов А. А., Элементы теории представлений, 2 изд., М., 1978; Наймарк М. А., Теория представлений групп, М., 1976; Менский М. Б., Метод индуцированных представлений. Пространство - время и концепция частиц, М., 1976; Климык А. У., Матричные элементы и коэффициенты Клебша - Гордана представлений групп, К., 1979; Барут А.,

Рончка Р., Теория представлений групп и ее приложения, т. 1-2, пер. с англ., М., 1980; см. также лит. при ст. Группа. С. И. Азаков.

  Предметный указатель