Укрощение бесконечности. История математики от первых чисел до теории хаоса

Если вам известны евклидовы группы, вы сможете вычислить их инварианты и также из них получить евклидову геометрию. То же относится и к другим видам геометрии. Эллиптическая подразумевает изучение инварианта группы движений в пространстве с положительной кривизной, гиперболическая – инварианта группы движений в пространстве с отрицательной кривизной, проективная – изучение инварианта групп проекций и т. д. Точно так же, как координаты отражают связь алгебры с геометрией, инварианты выражают связь теории групп с геометрией. Каждый вид геометрии определяет группу всех преобразований, которые сохраняют соответствующие геометрические концепции. Верно и обратное: каждая группа преобразований определяет соответствующую геометрию, со своими инвариантами.

Клейн использовал эти взаимосвязи, чтобы доказать, что одни виды геометрии практически не отличаются от других, поскольку их группы идентичны, за исключением интерпретации. Более глубокий смысл этой идеи в том, что всякий вид геометрии определяется его симметрией. Есть лишь одно исключение – риманова геометрия поверхностей, чья кривизна может меняться от одной точки к другой. Она не совсем вписывалась в программу Клейна.

Группы Ли

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

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

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

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

В 1873 г. после углубленной работы с ДУЧП Ли вернулся к теории групп преобразований, исследуя свойства бесконечно малых (инфинитезимальных) преобразований. Он показал, что такие преобразования непрерывной группы не являются замкнутыми относительно композиции, но обязательно замкнуты относительно новой операции, названной скобкой Ли

и обозначаемой как [x,y]. В матричной записи это выражение называется коммутатором xy − yx

для x и y. Полученная в результате алгебраическая структура известна нам как алгебра Ли. Вплоть до 1930-х гг. термины «группа Ли» и «алгебра Ли» не использовались: вместо этого говорилось о непрерывной и инфинитезимальной группах соответственно.