Стартовая Предметный указатель Новости науки и техники
Новости науки и техники
Нобелевская премия по физике 2012 года
Манипулируя отдельными квантовыми системами
Серж Арош и Дэвид Дж. Винланд удостоены Нобелевской премии по физике за разработку методов измерения и манипулирования одиночными частицами без разрушения их квантовых свойств. Арош «ловит» фотоны, измеряет и контролирует их квантовые состояний при помощи атомов. Винланд же держит ионы в ловушке и управляет ними светом. Далее...

Нобелевской премия 2012

группа

ГРУППА - множество, на к-ром определена операция, наз. умножением и удовлетворяющая спец. условиям (групповым аксиомам): в Г. существует единичный элемент; для каждого элемента Г. существует обратный; операция умножения ассоциативна. Понятие Г. возникло как обобщение при рассмотрении конкретных групп преобразований (взаимно однозначных отображений разл. множеств на себя). Для преобразований роль умножения играет композиция преобразований, т. е. последоват. выполнение сначала одного из них, а потом второго. Такая операция по определению ассоциативна. Роль единицы играет тождественное преобразование. Любую Г. можно реализовать как Г. преобразований, сохранив при этом внутр. алгебраич. структуру.

Понятие Г. зародилось в кон. 18 - нач. 19 вв. независимо в трёх областях математики: в теории алгебраич. ур-ний [Ж. Лагранж (J. Lagrange), A. Вандермонд (A. Vandermonde), H. Абель (N. Abel), Э. Галуа (E. Galois)], геометрии [А. Мёбиус (A. Mobius), А. Кэли (A. Cayley)] и теории чисел [Л. Эйлер (L. Euler), К. Гаусс (С. Gauss)]. B законченном виде понятие Г. оформилось в кон. 19 - нач. 20 вв. [К. Жордан (С. Jordan), Ф. Клейн (F. Klein), C. Ли (S. Lie), Г. Вейль (H. Weyl)].

Б. ч. приложений теории Г. связана с тем, что в терминах Г. естественно выражается свойство симметрии той или иной физ. системы или её матем. модели (напр., геом. фигуры). Система обладает симметрией, если её свойства остаются инвариантными (неизменными) при нек-ром преобразовании её элементов. Г. преобразований, оставляющих свойства системы инвариантными, наз. группой симметрии. Напр., Г. симметрии равностороннего треугольника содержит повороты вокруг его центра на углы, кратные 120 , и отражения относительно осей, каждая из к-рых проходит через центр и одну из вершин. Практически важный пример - непрерывные симметрии, с к-рыми в физике связаны сохранения законы (см. Нетер теорема, Симметрия законов физики).

Первые применения теории Г. в физике были связаны с выделением геом. элементов симметрии. Так, в 1890 E. С. Фёдоров нашёл все возможные Г. симметрии кристаллов (кристаллографические, или фёдоровские Г.). Квантовомеханич. теория атома водорода, построенная в 20-х гг., существенно опиралась на тот факт, что атом водорода обладает центр. симметрией, т. е. его свойства инвариантны относительно группы вращений (см. Вращений группа). Понимание таких характеристик элементарных частиц, как масса и спин, было достигнуто в рамках теоретико-группового подхода [Ю. П. Вигнер (E. P. Wigner), 1939], когда стало понятно, что симметрии релятивистской элементарной частицы описываются Г. движений пространства-времени, в к-ром она распространяется (Пуанкаре группой).

В нач. 50-х гг. было введено понятие внутренней симметрии, связанной не со структурой пространства-времени, а с нек-рыми свойствами взаимодействий (изотопическая инвариантность, унитарная симметрия). В 60-х гг. развивается теория калибровочных полей, или Янга - Миллса полей, где гл. роль играет Г. калибровочных преобразований, к-рая получается, если преобразования из Г. внутр. симметрии совершать в разных точках независимо друг от друга. Развитие теории калибровочных полей повысило интерес физиков к совр. теории Г. Групповые методы существенны также в теории перенормировок (см. Ренормализационная группа).

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

Основные определения. Операция умножения в группе G каждой (упорядоченной) паре элементов g, g' ставит в соответствие третий элемент 1119927-488.jpg , наз. их произведением. Эта операция должна удовлетворять групповым аксиомам: 1) она ассоциативна, 1119927-489.jpg; 2) существует элемент е, наз. групповой единицей, умножение на к-рую ничего не меняет, 1119927-490.jpg; 3) для любого элемента g существует обратный элемент 1119927-491.jpg, к-рый при умножении на g даёт единицу, 1119927-492.jpg. Умножение в Г., вообще говоря, не перестановочно, 1119927-493.jpg. Г., для к-рых умножение перестановочно (коммутативно), наз. коммутативными или абелевыми. В таких Г. групповая операция часто наз. не умножением, а сложением, вместо gg' используют обозначение g+g', а элемент е наз. нулем.

С точки зрения групповой структуры, природа элементов Г. несущественна. Г. задана, если любым способом описаны все её элементы и определена групповая операция над ними. Напр., в конечной Г. (содержащей конечное число элементов, наз. порядком Г.) групповую операцию можно задать с помощью табл. умножения. В приложениях Г. возникает обычно в некрои конкретной реализации, её элементами могут быть, напр., числа, матрицы, операторы и т. д. При этом групповую операцию можно задавать как сложение или умножение чисел, умножение матриц или операторов и т. п. Наиб. распространение имеет реализация элементов Г. как преобразований, т. е. взаимно однозначных отображений разл. множеств на себя, g : X->X. Групповой операцией в этом случае является к о м п о з и ц и я отображений, 1119928-1.jpg , такое определение гарантирует ассоциативность умножения.

Часто группу G задают как Г. всех преобразований данного множества X, сохраняющих нек-рую матем. структуру, введённую на этом множестве. Так, если X - конечное множество (без какой бы то ни было дополнит. структуры), то G состоит из всех перестановок точек X; если X - векторное пространство, то G - совокупность всех линейных невырожденных преобразований Х; если X - вещественное евклидово (соответственно комплексное гильбертово) пространство, то G - совокупность ортогональных (соответственно унитарных) преобразований; если X - гладкое многообразие (точки к-рою в каждой достаточно малой окрестности задаются координатами, а переход от одной системы координат к другой описывается гладкими ф-циями), то G- совокупность всех диффеоморфизмов (взаимно однозначных преобразований, описывающихся гладкими ф-циями в любой системе координат).

Подмножество К в группе G наз. подгруппой, если оно само является Г. относительно той же групповой операции. Подмножество gK, состоящее из элементов вида gk, где 1119928-2.jpg , наз. левым смежным классом элемента g по подгруппе К. Два смежных класса g, g'К либо не имеют ни одного общего элемента, либо полностью совпадают (последнее имеет место при 1119928-3.jpg). T. о., группа G разбивается на непересекающиеся смежные классы. Можно рассматривать смежные классы как элементы нек-рого нового множества. Оно наз. фактор-пространством Г. G по подгруппе К и обозначается G/K. Аналогично можно ввести и правые смежные классы Kg, к-рые также осуществляют (вообще говоря, другое) разбиение Г. Множество правых классов также наз. фактор-пространством и обозначается К\С.

Подгруппа 1119928-4.jpg наз. инвариантной подгруппой (или нормальным делителем), если для любого 1119928-5.jpg имеет место 1119928-6.jpg (т. е. 1119928-7.jpg , коль скоро 1119928-8.jpg). В случае инвариантной подгруппы правые смежные классы совпадают с левыми, Kg= gK. B этом случае умножение на Г. естеств. образом определяет умножение смежных классов: 1119928-9.jpg , так что фактор-пространство G/К превращается в Г. Эта Г. наз. фактор-группой G по К. Напр., в группе Пуанкаре P выделяют две подгруппы: Г. трансляций T и Лоренца группу L. Подгруппа T инвариантна в P. Фактор-группа P/T изоморфна L (об изоморфизме см. ниже). Примером инвариантной подгруппы является центр группы G, т. е. множество элементов, каждый из к-рых коммутирует со всеми остальными элементами Г.

Отображение 1119928-10.jpg : 1119928-11.jpg , одной Г. на другую наз. изоморфизмом, если это отображение взаимно однозначно и согласовано с групповым умножением в обеих Г., т. е. если 1119928-12.jpg для любых g, 1119928-13.jpg . В этом случае Г. G1 и G2 наз. изоморфными, что обозначают1119928-14.jpgили G1=G2. Изоморфизм

Г. на ту же самую Г. (на себя) наз. автоморфизмом. Изоморфные Г. не отличаются с точки зрения своей внутр. групповой структуры. Когда говорят об абстрактной Г., имеют в виду, что Г. задана с точностью до изоморфизма (т. е. задан на самом деле лишь класс изоморфных друг другу Г.). Наоборот, конкретная реализация Г. означает выбор одной определенной Г. из класса изоморфных. Напр., Г. 1119928-15.jpg всех веществ. чисел со сложением в качестве групповой операции изоморфна Г. 1119928-16.jpg положит. чисел с умножением в качестве групповой операции (изоморфизм в одном направлении осуществляется операцией ехр, в обратном - операцией ln). Можно считать, что 1119928-17.jpg это разные реализации одной и той же абстрактной Г. Ещё одной реализацией той же Г. является Г. сдвигов (трансляций) веществ. прямой. Точно так же разл. реализациями одной и той же абстрактной Г. являются окружность (со сложением углов в качестве групповой операции), Г. движений окружности, Г. поворотов плоскости и Г. всех комплексных чисел, по модулю равных единице (с умножением в качестве групповой операции). Соответствующую абстрактную Г. часто обозначают через 1119928-18.jpg или 1119928-19.jpg (одномерный тор, т. е. окружность).

Более общим, чем изоморфизм, является понятие гомоморфизма Г. Отображение 1119928-20.jpg: 1119928-21.jpg одной Г. в другую наз. гомоморфизмом, если оно согласовано с групповым умножением в обеих Г. В этом случае не требуется, чтобы образ отображения 1119928-22.jpg совпадал с группой G2. Он может быть подгруппой в G2. Не требуется и взаимной однозначности отображения, так что одному элементу в 1119928-23.jpg может соответствовать более чем один прообраз в G1. Множество прообразов единицы, 1119928-24.jpg, образует в G1 инвариантную подгруппу, наз. ядром гомоморфизма. Факторгруппа 1119928-25.jpg изоморфна группе1119928-26.jpg.

Если G' - группа линейных преобразований (невырожденных операторов) в нек-ром линейном пространстве L, то гомоморфизм U:1119928-27.jpg наз. представлением группы G (точнее, линейным представлением). T. о., линейное представление каждому элементу g группы G ставит в соответствие невырожденный линейный оператор U(g), причём произведению элементов 1119928-28.jpg Г. соответствует произведение операторов,

В более общем случае, когда G' - Г. преобразований множества X любой природы, говорят, что гомоморфизм 1119928-29.jpg : 1119928-30.jpg определяет действие группы G на X (иногда такой гомоморфизм наз. нелинейным представлением группы). Вместо 1119928-31.jpg результат действия элемента g на точку x обозначают иногда gx.

Пространство X, на к-ром задано действие группы G, наз. G-пространством. Если Г. действует транзитивно, т. е. для любой пары точек х, 1119928-32.jpg найдётся элемент группы g, переводящий одну из этих точек в другую, x'=gx, то X наз. однородным пространством. Фактор-пространство всегда является однородным пространством. Напр., группа Лоренца L не является инвариантной подгруппой в группе Пуанкаре P, поэтому фактор-пространство P/L является однородным пространством, но не факторгруппой. Любое G-пространство представляется в виде объединения непересекающихся подпространств, в каждом из к-рых Г. действует транзитивно. Эти подпространства наз. областями транзитивности или орбитами группы. Стационарной подгруппой (стабилизатором) нек-рой точки 1119928-33.jpg наз. множество элементов Г., оставляющих эту точку на месте.

Прямым произведением групп G1 и G2 наз. множество пар (g1,g2), где 1119928-34.jpg , 1119928-35.jpg, с определённой на этом множестве операцией умножения 1119928-36.jpg . T. о., прямое произведение Г. также является Г., к-рая обозначается 1119928-37.jpg или 1119928-38.jpg . Если Г--сомножители совпадают, то используется обозначение 1119928-39.jpg. Если Г--сомножители коммутативны, то их прямое произведение - также коммутативная Г. В этом случае иногда вместо термина "прямое произведение" употребляют термин "прямая сумма" и вводят обозначение 1119928-40.jpg или 1119928-41.jpg.

Топологические типы групп. Обычно встречающиеся на практике Г. являются топологич. группами. Это значит, что для элементов Г. определено понятие предельного перехода, причём операция умножения и переход к обратному элементу непрерывны (т. е., если 1119928-42.jpg и 1119928-43.jpg при 1119928-44.jpg, то1119928-45.jpgи 1119928-46.jpg). С точки зрения топологии выделяются след. типы Г.

1. Дискретные группы. Это Г. с тривиальной топологией: последовательность 1119928-47.jpg сходится только тогда, когда она стабилизируется, т. е. все её элементы, начиная с нек-рого, равны, 1119928-48.jpg Дискретными являются, напр., все конечные Г. и кристаллографич. Г. (Г. симметрии кристаллич. решёток).

2. Компактные группы. Это Г., в к-рых из каждой последовательности 1119928-49.jpg можно выделить сходящуюся подпоследовательность. Компактные Г. имеют "конечный объём". Более точно, инвариантная мера Г. конечна в том и только в том случае, если Г. компактна (мера на Г. наз. инвариантной, если меры подмножеств В и gB равны для любого подмножества 1119928-50.jpg и элемента 1119928-51.jpg). Среди дискретных Г. компактными являются только конечные Г. Примеры компактных Г.: Г. вращений окружности и сферы (и вообще Г. движений компактны многообразий), Г. унитарных преобразований в конечномерном гильбертовом пространстве U(п)и Г. ортогональных преобразований в конечномерном евклидовом пространстве О(п).

3. Локально компактные группы. Это такие Г., в к-рых каждый элемент обладает компактной окрестностью. Этот класс Г. очень широк: он содержит все дискретные и все компактные Г., а также все конечномерные группы Ли (см. ниже). Характеристическим свойством локально компактной Г. является наличие инвариантной меры на ней (т. н. меры Хаара). К классу локально компактных относится большая часть Г., используемых в физике.

4. Группы Ли (ГЛ) отличаются тем, что их элементы можно охарактеризовать конечным набором числовых параметров, т. е. на Г. можно ввести систему координат (см. ниже).

5. Бесконечномерные группы Ли являются обобщением ГЛ. Элементы таких Г. характеризуются заданием бесконечного набора числовых параметров (или нек-рого количества ф-ций). В физике используют в осн. Г. линейных операторов в бесконечномерных линейных пространствах, Г. диффеоморфизмов гладких многообразий и Г. калибровочных преобразований. Теория таких Г. разработана в гораздо меньшей степени, чем теория обычных (конечномерных) ГЛ. Большинство результатов здесь носит отрицат. характер: эти Г. не являются локально компактными, на них не существует инвариантного интеграла, они могут не иметь полной системы унитарных представлений.

Алгебраические типы групп. С точки зрения алгебраич. (групповой) структуры среди всех Г. выделяют след. типы.

1.Коммутативные (абелевы) группы. Это Г., для к-рых любые два элемента перестановочны: gg'=g'g. Простейшими дискретными коммутативными Г. являются Г. целых чисел 1119928-52.jpg (групповая операция - сложение) и Г. 1119928-53.jpg вычетов по модулю п (она получается из 1119928-54.jpg, если элементом Г. считать класс целых чисел, отличающихся друг от друга на числа, кратные п). Простейшими непрерывными коммутативными Г. являются Г. 1119928-55.jpg всех веществ. чисел (групповая операция - сложение) и Г.1119928-56.jpg- SO(2) поворотов плоскости.

Всякая связная коммутативная одномерная Г. изоморфна либо 1119928-57.jpg,либо 1119928-58.jpg (связной наз. Г., любые два , элемента к-рой можно соединить непрерывной кривой, целиком принадлежащей Г.). Всякая связная коммутативная ГЛ изоморфна прямому произведению таких Г., т. е. 1119928-59.jpg (1119928-60.jpg- m-мерный тор). Дискретную Г. ,. удобно описывать с помощью её образующих, т. е. таких элементов, что всякий элемент Г. представляется в виде произведения элементов-образующих. Г. с одной образующей (циклическая) изоморфна либо1119928-61.jpg, либо 1119928-62.jpg . Любая дискретная коммутативная Г. с конечным числом образующих является прямым произведением циклич. групп, т. е. изоморфна (набор чисел п1, ..., nS не определяется 1119928-63.jpg однозначно заданием Г.). Важными для физики примерами коммутативных Г. являются Г. трансляций n-мерного евклидова или псевдоевклидова пространства, изоморфная 1119928-64.jpg , и Г. трансляций n-мерной решетки, изоморфная 1119928-65.jpg

2. Разрешимые группы. Группа G наз. разрешимой, если в ней есть конечная цепочка вложенных друг в друга подгрупп 1119928-66.jpg1119928-67.jpg , обладающая свойствами: a) Gk+1- инвариантная подгруппа в Gk б) фактор-группа 1119928-68.jpg коммутативна. Изучение разрешимых Г. в большой степени сводится к изучению коммутативных Г. Абелева ГЛ разрешима. Пример разрешимой Г.- группа движений евклидовой плоскости. Термин "разрешимая" отражает роль этих Г. в теории алгебраич. и дифференц. ур-ний. А именно: алгебраич. ур-ние n-й степени разрешимо в радикалах (соответственно обыкновенное дифференц. ур-ние n-го порядка разрешимо в квадратурах), если и только если его т.п. группа Галуа (соответственно группа Ли - Ритта- Колчина) разрешима.

3. Нильпотентные группы. Группа G наз. нильпотентной, если она разрешима и, кроме того, для любого 1119928-69.jpg и любого 1119928-70.jpg элемент 1119928-71.jpg (наз. коммутатором g и gi)лежит в Gi+1. Др. словами, все Gi инвариантны в G и группа Gi/Gi+1 принадлежит центру группы G/Gi+1.

4. Простые группы. Это класс Г., наиб. далёкий от класса коммутативных Г. Группа G наз. простой, если она не содержит инвариантных подгрупп, отличных от самой Г. и единичной подгруппы. Примером простых Г. являются Г. PSU(п)проективной унитарной симметрии. Прямое произведение простых Г. иногда наз. полупростой группой (полупростая Г. характеризуется отсутствием абелевых инвариантных подгрупп). Описание всех простых ГЛ известно (см. Ли алгебра ),а описание всех конечных простых Г. близится к завершению.

5. Расширения групп. Пусть в группе G есть инвариантная подгруппа G0. Обозначим факторгруппу G/G0 через G1. Говорят, что G является расширением G1 с помощью G0. Предположим, что в каждом смежном классе gG0 можно выбрать по одному представителю так, чтобы произведение представителей было представителем. Тогда множество представителей образует подгруппу группы G, изоморфную G1. В этом случае говорят, что расширение тривиально или что G является полупрямым произведением G1 на G0. Напр., группа Пуанкаре является полупрямым произведением группы Лоренца на Г. 4-мерных трансляций, а Г. движений евклидова пространства - полупрямым произведением Г. вращений на Г. трансляций. В теории Г. разработаны методы (когомологии групп), позволяющие описывать все расширения с заданными G1 и G0. Для широкого класса Г. (напр., для конечных Г. и для связных ГЛ) доказано, что каждая из них является расширением полупростой Г. с помощью разрешимой Г. Большинство кристаллографич. Г. являются нетривиальными расширениями нек-рой конечной Г. вращений и отражений с помощью дискретной Г. трансляций. Тривиальными расширениями (полупрямыми произведениями) являются Г. движений евклидовых и псевдоевклидовых пространств, в т. ч. группа Пуанкаре.

Группы Ли. Элементы ГЛ задают конечным набором числовых параметров (координат) так, что групповое умножение и переход к обратному элементу выражаются с помощью гладких (бесконечно дифференцируемых) ф-ций от этих параметров. Число параметров наз. размерностью ГЛ. Параметры могут быть вещественными или комплексными, в соответствии с этим ГЛ наз. вещественной или комплексной ГЛ. Каждую комплексную ГЛ можно рассматривать как веществ. ГЛ вдвое большей размерности. Примерами ГЛ являются физически важные Г. трансляций, вращений, конформных и унитарных преобразований разных размерностей, группа Лоренца, группа Пуанкаре и т. д. ГЛ в целом может обладать такой топологией, что её невозможно покрыть одной системой координат. Это имеет место даже для такой простой ГЛ, как Г. поворотов плоскости, SO(2). Топологически эта Г. эквивалентна окружности и не может быть гладко отображена на веществ. прямую (ось координат) или к--л. интервал этой прямой.

Поэтому в общем случае на ГЛ вводят целое семейство систем координат (карт), каждая из них покрывает нек-рую область Г. (координатную окрестность). На пересечении любых двух координатных окрестностей, где имеют смысл сразу две системы координат, переход от одной из них к другой описывается с помощью гладких (бесконечно дифференцируемых) ф-ций. Операция умножения в Г. и переход к обратному элементу в любой системе координат описываются гладкими (бесконечно дифференцируемыми) ф-циями. Сказанное можно сформулировать след. образом: ГЛ - это группа, к-рая одновременно является гладким многообразием ,причём групповая структура согласована со структурой многообразия.

Для определения алгебры Ли пользуются матричной реализацией (линейным представлением) Г.: пусть каждый элемент g группы G представляет собой матрицу (или, что то же, линейный оператор в конечномерном линейном пространстве). Элемент g характеризуется набором числовых параметров (координат на Г.), g=S(x1, ..., хп).

Условимся выбирать эти параметры так, чтобы единице Г. соответствовали нулевые значения параметров, e=g(0,...,0). Тогда инфинитезимальным оператором (генератором) Г. G наз. производная от ф-ции g по одному из параметров, взятая в единице Г.:1119928-72.jpg Ясно, что генераторы являются матрицами (операторами) той же размерности, что и элементы Г. Оказывается, что коммутатор двух генераторов линейно выражается через генераторы: 1119928-73.jpg1119928-74.jpg . Числа 1119928-75.jpg наз. структурными константами Г. Существенно, что набор структурных констант не зависит от того, какая матричная реализация (представление) Г. выбрана для определения операторов Xi. Поэтому структурные константы характеризуют не конкретное представление, а саму Г. В то же время структурные константы зависят от выбора системы координат вблизи единицы Г. При изменении системы координат структурные константы меняются как тензоры .Выбором системы координат обычно добиваются, чтобы набор структурных констант был по возможности более простым. Для полупростой ГЛ можно построить из генераторов скалярный квадратичный оператор С, наз. оператором Казимира: 1119928-76.jpg , где 1119928-77.jpg-метрич. тензор Картана.

Операторы Xi, i=1, ..., n, образуют базис алгебры Ли. Произвольный элемент алгебры является линейной комбинацией базисных элементов,1119928-78.jpg.

Т.о., алгебра Ли группы Ли G является касательным пространством к многообразию G в точке е.

Можно определить структурные константы и не обращаясь к матричной реализации (линейному представлению) Г. Пусть в нек-рой системе координат закон умножения в ГЛ имеет вид 1119928-79.jpg , так что g (x) g (x')=g(х'')(здесь одной буквой х обозначен весь набор координат х1, ..., хn). По определению ГЛ, ф-ции yk(х, х')должны быть бесконечно дифференцируемы. Разложение их в ряд Тейлора имеет вид

1119928-80.jpg

где многоточие обозначает члены более высоких порядков. Тогда величины 1119928-81.jpg являются структурными константами и определяют соответствующую алгебру Ли. Существуют также способы построения алгебры Ли по ГЛ, не использующие явно систему координат. Для изучения ГЛ важны однопараметрич. подгруппы (т. е. одномерные ГЛ). Параметр t в такой подгруппе выбирают так, чтобы выполнялись равенства х(0)=е, x(t) x(s)-x(t+s). Существует взаимно однозначное соответствие между однопараметрич. подгруппами в ГЛ G и элементами её алгебры Ли 1119928-82.jpg: подгруппе х(t)соответствует касательный вектор 1119928-83.jpg(0). Экспоненциальное отображение алгебры Ли 1119928-84.jpg в ГЛ G определяют так: 1119928-85.jpg, где х(t) - однопараметрич. подгруппа, соответствующая элементу X. Для матричных ГЛ отображение ехр совпадает с обычной экспонентой: 1119928-86.jpg. Обратное отображение (определённое только в нек-рой окрестности единицы) иногда обозначают ln. С помощью экспоненц. отображения в ГЛ G определяют канонич. систему координат: координатами точки g= ехрX служат коэф. разложения X = lng по базису в алгебре Ли: 1119928-87.jpg . Осн. свойство экспоненц. отображения - его функториальность, к-рая выражается коммутативной диаграммой:

1119928-88.jpg

где 1119928-89.jpg-любой гомоморфизм ГЛ G1 в ГЛ G2, а 1119928-90.jpg - производная отображения в точке е. Это значит, что в канонич. координатах любой гомоморфизм ГЛ записывается линейными ф-циями.

Наиб. важными примерами ГЛ являются Г. GL (n, R) всех невырожденных (обратимых) 1119928-91.jpg матриц с веществ. элементами и Г. GL(п, С) всех невырожденных 1119928-92.jpg матриц с комплексными элементами. Координатами в этих Г. могут служить сами матричные элементы. Поэтому 1119928-93.jpg -это веществ. ГЛ размерности п2, а 1119928-94.jpg-комплексная ГЛ размерности n2 (к-рую можно рассматривать как веществ. ГЛ размерности 2n2). Алгеброй Ли группы GL(п, R)[соответственно 1119928-95.jpg] является пространство всех 1119928-96.jpg матриц с веществ. (соответственно комплексными) элементами. Она обозначается через 1119928-97.jpg [соответственно 1119928-98.jpg].

В назв. матричных ГЛ отражены свойства их элементов. В общем случае ставят букву L (линейность), унитарность отмечают буквой U, ортогональность -буквой О. Если матрицы имеют единичный определитель (унимодулярны), в назв. Г. ставят букву S. В скобках после названия указывают ранг (число строк) матриц, образующих Г. Если ГЛ G реализована как подгруппа в GL (п, R) или GL (п, С), то её алгебра Ли 1119928-99.jpg является подалгеброй в 1119928-100.jpg или 1119928-101.jpg. Напр., Г. О(п)ортогональных матриц и Г. SO(n) ортогональных унимодулярных матриц имеют одну и ту же алгебру Ли so(п), состоящую из всех антисимметричных веществ. матриц; группе 1119928-102.jpg веществ. унимодулярных матриц соответствует алгебра Ли 1119928-103.jpg, состоящая из матриц с нулевым следом; группе U (п)унитарных матриц соответствует алгебра Ли и (п)антиэрмитовых матриц (т. е. таких, что 1119928-104.jpg= - X).

Тесная связь между ГЛ и алгеброй Ли позволяет свести изучение представлений ГЛ к изучению представлений алгебры Ли. В конечном счёте задача сводится к исследованию представлений генераторов Г. Задать такое представление - значит задать п матриц (или в общем случае линейных операторов) Xi, удовлетворяющих коммутац. соотношениям с заданным набором структурных констант. Именно эту методику (инфинитезимальный подход) обычно используют при изучении представлений ГЛ.

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

Отображение1119928-105.jpg : 1119928-106.jpg одной ГЛ на другую ГЛ наз. изоморфизмом групп Ли, если оно взаимно однозначно, согласовано с групповым умножением в каждой Г. и является гладким (т. е. в любой системе координат выражается гладкими ф-циями). ГЛ G1 и G2 в этом случае наз. изоморфными. Две ГЛ наз. локально изоморфными, если изоморфизм определён в нек-рой окрестности единицы (но, вообще говоря, не продолжается на всю Г.). Локально изоморфные ГЛ имеют одинаковые (изоморфные) алгебры Ли. Обратно, если две ГЛ имеют изоморфные алгебры Ли, то они локально изоморфны.

ГЛ наз. односвязной, если любая замкнутая кривая в этой Г. может быть непрерывной деформацией стянута в точку. Для любой ГЛ G совокупность G0 тех её элементов, к-рые можно соединить с единицей непрерывной кривой, образует максимальную связную подгруппу в G, наз. связной компонентой единицы Г. G. Подгруппа G0 инвариантна в G, а фактор-группа G/G0 дискретна. Напр., для Г. О(п)связной компонентой единицы является подгруппа SO(п). Фактор-группа O(n)/SO(n)состоит из двух элементов. Связная ГЛ G является разрешимой (соответственно нильпотентной, почти простой, полупростой), если и только если её алгебра Ли 1119928-107.jpg разрешима (соответственно нильпотентна, проста, полупроста).

Среди всех связных ГЛ, локально изоморфных данной Г. G, есть ровно одна односвязная Г. 1119928-108.jpg, наз. универсальной накрывающей Г. G. Все прочие Г., локально изоморфные G, являются фактор-группами 1119928-109.jpgпо различным дискретным инвариантным подгруппам, принадлежащим центру Г. 1119928-110.jpg. Напр., все коммутативные связные ГЛ размерности п локально изоморфны. Односвязной Г. среди них (универсальной накрывающей для всех них) является 1119928-111.jpg-евклидово n-мерное пространство со сложением в качестве групповой операции (или Г. трансляций этого пространства). Произвольная Г. из этого класса имеет вид 1119928-112.jpg , где Г- нек-рая решётка (дискретная подгруппа) в 1119928-113.jpg. Если группа Г порождена k линейно независимыми векторами, то 1119928-114.jpg изоморфна 1119928-115.jpg.

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

Всякая связная односвязная ГЛ является полупрямым произведением связной односвязной полупростой

ГЛ на связную односвязную разрешимую ГЛ. Все полупростые ГЛ полностью описаны (см. Ли алгебра ),а классификация разрешимых ГЛ доведена до размерности 6.

Лит.: Любарский Г. Я., Теория групп и ее применение в физике, M., 1958; Вигнер E., Теория групп и ее приложения к квантовомеханической теории атомных спектров, пер. с англ., M., 1961; Холл M., Теория групп, пер. с англ., M., 1962; Хамермеш M., Теория групп и ее применение к физическим проблемам, пер. с англ., M., 1966, Лиховский В. Д., Болохов А. А., Группы симметрии и элементарные частицы, Л., 1983; Эллиот Д ж., Добер П., Симметрия в физике, пер. с англ., т. 1-2, M , 1983; Рихтмайер Р., Принципы современной математической физики, пер. с англ., т. 2, M., 1984; Вейль Г., Теория групп и квантовая механика, пер. с англ., M., 1986.

А. А. Кириллов, M. Б. Менский.


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