Главная > Математика > Компактные группы Ли и их представления
<< Предыдущий параграф
Следующий параграф >>
<< Предыдущий параграф Следующий параграф >>
Макеты страниц

§ 2. Топологические группы

Очень часто встречаются группы, в которых помимо алгебраических операций определяется также естественная топология, т. е. понятие близости (окрестность, предельный переход). Группа G называется топологической, если в ней определена топология, относительно которой элементы непрерывно зависят от Желая сделать это определение несколько более строгим, мы рассматриваем функцию

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

Существенно отметить, что трансляции (левые и правые) переводят окрестность в окрестность (это следует из свойства непрерывности умножения). Отсюда следует также, что система окрестностей единичной точки порождает после сдвига систему окрестностей произвольной точки

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

Произвольное топологическое пространство распадается, очевидно, в теоретико-множественную сумму своих связных «листов», называемых также связными компонентами. Если каждый такой «лист» рассматривать как отдельный элемент, то полученное множество листов естественно топологизируется (см. стр. 62). При этом во многих важных случаях оказывается, что все листы изолированы друг от друга, т. е. пространство листов оказывается дискретным.

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

Теорема 1. Пусть произвольная топологическая группа и ее связная компонента, содержащая единицу. Тогда множество является в G инвариантной подгруппой и всякий связный лист в группе G (лево- и право-) конгруэнтен Н.

Доказательство. Если непрерывно связаны с путями то произведение также связано с непрерывным путем точно так же связано с непрерывным путем Следовательно, является подгруппой. Нетрудно видеть, что инвариантна (каждый путь заменяется путем Первая часть теоремы доказана.

Далее, пусть связный лист, содержащий точку х. Легко проверить, что имеет место равенство т. е. что получается (левой и правой) трансляцией из множества Следовательно, конгруэнтно и все такие листы конгруэнтны между собой.

Замечание 1. Отдельные связные листы могут быть «занумерованы» точками х при условии, что из каждого такого листа выбирается по единственной точке. При этом, очевидно, только лист содержит единицу; следовательно, только этот лист является подгруппой.

Замечание 2. Если точка в группе G является изолированной, то лист состоит из единственной точки В этом случае каждый лист состоит из единственной точки х и эта точка изолирована в т. е. группа G дискретна.

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

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

обозначается группа всех невырожденных аффинных преобразований пространства Группа G называется полной линейной группой (general linear group). Всякая подгруппа в группе G называется линейной или матричной группой.

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

где каждый столбец с номером содержит координатную запись вектора (в строке с номером

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

Пусть совокупность всех квадратных матриц над полем Полная линейная группа G выделяется из единственным условием невырожденности:

Рассматривая как евклидово пространство размерности мы вносим в обычную топологию и тем определяем, в частности, топологию в группе G. Нетрудно видеть, что при этом G становится топологической группой.

Пример 1. Группа Если то эта группа совпадает с группой вещественных чисел по умножению; если то эта группа совпадает с группой комплексных чисел по умножению. В первом случае имеем

(теоретико-множественная сумма), где содержит только отрицательные и только положительные числа. Точка «выкалывается» из условия невырожденности. Ясно, что связные листы группы G.

Во втором случае группа G как множество представляет собой комплексную плоскость с выколотой точкой 0. В этом случае группа связна.

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

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

Если то группа G оказывается связной. Читателю предлагается проверить это утверждение индукцией по

Пример 3. Группа всех ортогональных преобразований вещественного евклидова пространства размерности Условие ортогональности накладывает на матрицу ограничение где штрих означает транспонирование. Отсюда следует:

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

Пример 4. Группа всех ортогональных преобразований псевдоевклидова пространства с метрикой

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

В то же время вектор имеет квадратом длины число — 1, т. е. скользит своим концом по поверхности «двуполостного» гиперболоида:

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

В результате заключаем, что группа G распадается на четыре листа:

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

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

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

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

Замечание. Элементы в примере 5 могут быть использованы для нумерации связных листов группы G. Соответствующие пары вида образуют подгруппу в группе изоморфную такие преобразования условимся называть отражениями. Нетрудно видеть, что некоторые примеры 1—4 являются частными случаями примера 5 (так, в примере 1 отражения задаются числами ±1).

Упражнение

(см. скан)

<< Предыдущий параграф Следующий параграф >>
Оглавление