Любая система с таким набором свойств, неважно, коммутативная или нет, называется алгеброй с делением.
Вещественные числа и комплексные числа — тоже алгебры с делением, потому что мы не настаиваем на отказе от коммутативности умножения, мы просто не требуем выполнения этого свойства. Каждое поле является алгеброй с делением. Но некоторые алгебры с делением не являются полями, и первыми из таких объектов были открыты кватернионы. В 1898 году Адольф Гурвиц доказал, что система кватернионов также единственна. Кватернионы являются единственной конечномерной алгеброй с делением, которая содержит вещественные числа и не совпадает с вещественными или комплексными числами.
Здесь просматривается любопытная закономерность. Размерности вещественных чисел, комплексных чисел и кватернионов равны 1, 2 и 4. Это подозрительно похоже на начало последовательности степеней двойки. Естественным продолжением были бы 8, 16, 32 и т.д.
Имеются ли интересные алгебраические системы в этих размерностях?
И да и нет. Но нам придется немного подождать, чтобы узнать почему, поскольку история симметрии вступает здесь в новую фазу: связь с дифференциальными уравнениями, представляющими собой наиболее широко используемую модель физического мира, и язык, на котором сформулировано большинство физических законов природы.
И снова наиболее глубокие аспекты теории сводятся к симметрии, правда, с новым поворотом сюжета. Теперь группы симметрии будут не конечными, а «непрерывными». Математике предстояло обогатиться одной из наиболее влиятельных программ исследований из всех когда-либо предпринятых.
Глава 10
Несостоявшийся солдат и хилый книжный червь
Мариус Софус Ли занялся наукой только потому, что из-за плохого зрения был не годен ни к одной из военных профессий. Когда в 1865 году Софус (имя, под которым он обрел известность) закончил университет Христиании, он имел в своем багаже несколько математических курсов, включая и курс по теории Галуа, читавшийся норвежским математиком Людвигом Силовом, однако Софус не выказывал каких-либо особых способностей в этом предмете. В течение некоторого времени он колебался, осознавая свое стремление к академической карьере, но колеблясь, к какой из областей науки себя применить — к ботанике, зоологии, или, быть может, астрономии.
Записи в университетской библиотеке показывают, что он начал брать все больше и больше книг по математике. А в 1867 году посреди ночи его посетило видение дела всей его жизни. Друг Софуса Эрнст Мотцфелд был немало удивлен, когда посреди ночи его разбудил возбужденный Ли, кричавший: «Я понял! Это совсем просто!» А понял он, как по-новому смотреть на геометрию.
Ли взялся за изучение работ великих геометров, таких как немец Юлиус Плюккер и француз Жан-Виктор Понселе. От Плюккера он перенял идею геометрий, основанных не на хорошо всем знакомых точках, как у Эвклида, а на других объектах — линиях, плоскостях, окружностях. В 1869 году он на собственные средства опубликовал статью, кратко излагающую его основную идею. Подобно своим предшественникам Галуа и Абелю, он обнаружил, что его идеи слишком революционны для старой гвардии, так что обычные журналы не желали публиковать его исследования. Но Эрнст отказал своему другу в праве на уныние и поощрял его продолжать работы по геометрии. В конце концов одна из статей Ли была опубликована в престижном журнале и получила благосклонный прием.
Это принесло Ли стипендию. Теперь у него были деньги, чтобы путешествовать, посещать ведущих математиков и обсуждать с ними свои идеи. Он отправился туда, где взращивался весь цвет прусской и немецкой математики, — в Геттинген и Берлин, где беседовал с алгебраистами Леопольдом Кронеккером и Эрнстом Куммером и аналитиком Карлом Вейерштрассом. На него произвел большое впечатление подход Куммера к математике и несколько меньшее — подход Вейерштрасса.
Наиболее важная встреча, однако, состоялась в Берлине — с Феликсом Клейном, который, так случилось, учился ранее у Плюккера, которым Ли глубоко восхищался и которому стремился подражать. У Ли и Клейна было очень схожее математическое образование, но совершенно разные вкусы. Клейн, по существу, алгебраист с геометрическим уклоном, обожал работать над специальными проблемами, обладающими внутренней красотой; Ли же был аналитиком, которому импонировал широкий охват общих теорий. По иронии судьбы именно общие теории Ли дали математике некоторые из наиболее важных специальных структур, которые и были, и до сих пор остался изумительно красивыми, необычайно глубокими и по большей части алгебраическими. Открытие этих структур могло бы вообще не состояться, если бы не стремление Ли к общности. Если вы пытаетесь понять все возможные математические объекты некоторого типа и если вам это удалось, то вы неизбежно найдете среди них много объектов с необычными свойствами.
В 1870 году Ли и Клейн снова встретились в Париже. Именно там Жордан обратил Ли в дело теории групп. В то время росло осознание, что геометрия и теория групп выражают две стороны одной медали, но законченное оформление этих мыслей требовало времени. Ли и Клейн написали несколько совместных работ, пытаясь сделать связь между группами и геометрией более явной. В конце концов мысли Клейна кристаллизовались в его «эрлангенской программе» 1872 года, согласно которой геометрия и теория групп тождественны друг другу.
На современном языке эта идея звучит столь просто, что, казалось бы, она должна была всегда представляться совершенно очевидной. Группа, отвечающая любой заданной геометрии, — это группа симметрий данной геометрии. Наоборот, геометрия, соответствующая какой-либо группе, доставляется любым объектом, группой симметрии которого является данная группа. Другими словами, геометрия определяется тем, что остается инвариантным под действием группы.
Например, симметрии эвклидовой геометрии — это те преобразования плоскости, которые сохраняют длины, углы, линии и окружности. Они составляют группу всех движений плоскости без деформаций. Наоборот, что-нибудь, инвариантное относительно таких движений, естественно попадает в сферу действия эвклидовой геометрии. Неэвклидовы геометрии просто используют иные группы преобразований.
Зачем же тогда трудиться, чтобы конвертировать геометрию в теорию групп? Дело в том, что это дает два разных способа думать о геометрии, а также два разных способа думать о группах. Иногда вещи легче понять одним способом, иногда другим. Две точки зрения лучше одной.
Отношения между Францией и Пруссией быстро ухудшались. Император Наполеон III рассчитывал поддержать свою падающую популярность, начав войну с Пруссией. Бисмарк отправил французам телеграмму провокационного содержания, и 19 июля 1870 года была объявлена Франко-Прусская война. Клейн — пруссак в Париже — счел за лучшее вернуться в Берлин.
Однако Ли был норвежцем и очень ценил свое пребывание в Париже, поэтому решил там остаться. Потом, правда, осознав, что Франция проигрывает войну и немецкая армия движется на Метц, он передумал: хотя он и был гражданином нейтральной страны, оставаться в потенциальной зоне боевых действий было небезопасно.
