Йэн Стюарт - Укрощение бесконечности. История математики от первых чисел до теории хаоса [litres]

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

Пожалуй, самым простым примером групп Ли является множество поворотов окружности. Любой из них однозначно определен углом от 0 до 360°. Это множество относится к группам, потому что композиция из двух поворотов также является поворотом – как сумма соответствующих углов. Это будет одномерное многообразие, потому что углы один к одному соответствуют точкам окружности, а небольшие дуги окружности – не более чем слегка искривленные отрезки той самой прямой, которая и является одномерным евклидовым пространством. Наконец, композиционный закон непрерывен, потому что малые изменения в углах в результате сложения дадут небольшое изменение их суммы.

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

В 1873 г. после углубленной работы с ДУЧП Ли вернулся к теории групп преобразований, исследуя свойства бесконечно малых (инфинитезимальных) преобразований. Он показал, что такие преобразования непрерывной группы не являются замкнутыми относительно композиции, но обязательно замкнуты относительно новой операции, названной скобкой Ли и обозначаемой как [ x,y ]. В матричной записи это выражение называется коммутатором xy − yx для x и y . Полученная в результате алгебраическая структура известна нам как алгебра Ли . Вплоть до 1930-х гг. термины «группа Ли» и «алгебра Ли» не использовались: вместо этого говорилось о непрерывной и инфинитезимальной группах соответственно.

Существуют сильные взаимосвязи между структурами группы Ли и алгебры Ли, которую сам ученый описал в трехтомном труде «Теория групп преобразований», созданном совместно с Фридрихом Энгелем. Соавторы подробно обсудили четыре классических семейства групп, два из которых – группы поворотов в n -мерном пространстве для четного или нечетного n . Эти два случая были выбраны из-за своих выраженных особенностей. Например, при нечетном числе измерений поворот требует фиксированной оси, а в пространстве с четным числом измерений она не обязательна.

Очередной значительный шаг в развитии теории групп сделал Вильгельм Киллинг. В 1888 году он заложил основу теории структуры для алгебр Ли, в частности создал классификацию всех простых алгебр Ли – основных строительных блоков, из которых собираются все остальные алгебры Ли. Киллинг начал с известной структуры для самой понятной простой алгебры Ли – специальной линейной алгебры sl( n ) для n ≥ 2. Начнем со всех матриц размера n × n с комплексными числами при условии, что скобка Ли для двух матриц A и B равна AB − BA . Эта алгебра Ли не только простая, но и подалгебра sl( n ). Для всех матриц, чьи диагональные значения в сумме дают 0, она действительно простая. Она имеет размерность n 2− 1.

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

Результат работы Киллинга трудно переоценить. Он доказал, что простые алгебры Ли укладываются в четыре бесконечных семейства, ныне известных как A n, B n, C nи D n. Вдобавок есть пять исключений: G 2, F 4, E 6, E 7и E 8. На самом деле Киллинг считал, что исключений шесть, но два оказались равнозначными алгебрами, описанными в разных выражениях. Размерности в исключительных алгебрах Ли равны 14, 56, 78, 133 и 248. Они по-прежнему несколько загадочны для ученых, хотя мы четко понимаем, почему они существуют.

Из-за столь тесной связи между группами Ли и соответствующими им алгебрами классификация простых алгебр Ли ведет к классификации простых групп Ли. В частности, четыре семейства A n, B n, C nи D nявляются алгебрами Ли для четырех классических семейств групп преобразований. Ими же являются, соответственно, группы всех линейных преобразований в ( n + 1) – мерном пространстве, группы поворотов в (2 n + 1) – мерном пространстве, симплектическая группа в пространстве с 2 n измерениями, что особенно важно в классической и квантовой механике и оптике, и группа поворотов в 2 n -мерном пространстве. Несколько заключительных штрихов к этой истории были добавлены позже, в частности введение Гарольдом Скоттом Макдональдом Коксетером и Евгением Дынкиным графического подхода к комбинаторному анализу системы корней, известного сейчас как диаграммы Коксетера – Дынкина.

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