Страница 46 из 86
Важно ли это? Ход мыслей Гамильтона был надолго заблокирован твердым убеждением в необходимости закона коммутативности. Все изменилось в одно мгновение, когда, чем-то внезапно вдохновленный, он понял, как перемножать четверки чисел. На календаре было 16 октября 1843 года. Гамильтон шел с женой по тропинке вдоль Королевского Канала, направляясь на собрание престижной Королевской Ирландской академии в Дублине. Его бессознательное, должно быть, кружило вокруг задачи о трехмерной алгебре, потому что внезапно его пронзило озарение. «Там и тогда я почувствовал гальванизирующий ток от приближающейся мысли, — писал он позднее в письме, — и искры, произведенные им, представляли собой фундаментальные уравнения между i, j, k, причем в точности такие, какие я с той поры всегда и использую».
Гамильтон находился под таким впечатлением, что немедленно нацарапал формулы на каменной кладке моста Брумбридж. Мост сохранился до наших дней, но нацарапанное на нем — нет, хотя там и имеется памятная доска[42]. Формулы
i2 = j2 = k2 = ijk = −1
также пережили своего создателя.
Это очень симпатичные формулы, обладающие высокой симметрией. Но читателю, должно быть, не терпится спросить — при чем же здесь четверки чисел?
Комплексные числа можно записать как пары (x, y), хотя обычно их записывают в виде x +iy, где i = √−1. В том же духе числа, о которых говорил Гамильтон, можно записывать или в виде четверок (x, у, z, w), или как комбинацию x + iу + jz + kw. Формулы Гамильтона относятся ко второму способу обозначений; если же у вас формальное умонастроение, то вы, возможно, этой записи предпочтете представление в виде четверок чисел.
Гамильтон назвал свои новые числа кватернионами. Он доказал, что они подчиняются закону ассоциативности и — замечательным, как стало ясно позднее, образом — закону деления. Но не закону коммутативности. Из правил умножения кватернионов следует, что ij = k, но ji = −k.
Система кватернионов содержит экземпляр комплексных чисел — кватернионы вида x + iy. Из формул Гамильтона видно, что −1 имеет не просто два квадратных корня i и −i, а кроме того, еще и j, −j, k и −k. На самом деле в кватернионной системе имеется бесконечно много различных квадратных корней из минус единицы.
Таким образом, вместе с потерей закона коммутативности мы также потеряли правило, что квадратное уравнение имеет два решения. По счастью, ко времени изобретения кватернионов основное внимание в алгебре сместилось в сторону от решения уравнений. Преимущества кватернионов существенно перевесили их недостатки. К ним просто требовалось привыкнуть.
В 1845 году Томас Дизни заехал к Гамильтону вместе со своей дочерью Кэтрин — юношеским увлечением Уильяма. К тому моменту она успела потерять первого мужа и выйти замуж вторично. Встреча разбередила старую рану, и зависимость Гамильтона от алкоголя сделалась более серьезной. Один раз он напился и выставил себя таким полным дураком на научном обеде в Дублине, что после этого зарекся пить и в течение последующих двух лет пил только воду. Однако когда астроном Джордж Эйри начал посмеиваться по поводу его воздержания, Гамильтон принялся в ответ поглощать алкоголь в усиленных количествах. С того времени он стал хроническим алкоголиком.
Два его дяди скончались, а друг и коллега совершил самоубийство; затем Кэтрин принялась писать ему письма, что только усугубило его депрессию. Она быстро поняла, что ее действия не подобают респектабельной замужней женщине, и вяло попыталась покончить с собой, а затем разъехалась с мужем и перебралась к матери.
Гамильтон продолжал отправлять Кэтрин письма через ее родственников. В 1853 году она решила возобновить общение, послав ему небольшой подарок. Ответный шаг Гамильтона состоял в том, что он отправился к ней с визитом, захватив экземпляр своей книги о кватернионах. Две недели спустя она умерла. Гамильтон был убит горем. Его жизнь становилась все более и более беспорядочной; после его смерти, последовавшей в 1865 году (как полагали, от подагры, которой часто страдают тяжелые пьяницы), его математические статьи были найдены вперемешку с мусором и объедками.
Гамильтон был убежден в том, что кватернионы — это Святой Грааль алгебры и физики, истинное обобщение комплексных чисел на высшие размерности, а также ключ к геометрии и физике в пространстве. Разумеется, пространство имеет размерность три, тогда как кватернионы — четыре, но Гамильтон обратил внимание на естественную подсистему размерности три.
Это «мнимые» кватернионы вида bi + cj + dk. Геометрически символы i, j, k можно интерпретировать как вращения вокруг трех взаимно перпендикулярных пространственных осей, хотя и здесь есть тонкости: дело в том, что при этом приходится работать в такой геометрии, где полная окружность содержит 720°, а не 360°. Если оставить в стороне этот выверт, можно понять, почему Гамильтон считал кватернионы полезными для геометрии и физики.
Оставшиеся «вещественные» кватернионы вели себя в точности как вещественные числа. Их нельзя было выкинуть вовсе, потому что они имеют тенденцию возникать всякий раз, когда с кватернионами выполняются какие-либо алгебраические вычисления, даже если начать с мнимых кватернионов[43]. Если бы было возможным оставаться исключительно в области мнимых кватернионов, то существовала бы разумная трехмерная алгебра, и первоначальная задача Гамильтона увенчалась бы успехом. Четырехмерная система кватернионов была лучшей из возможных, а естественная трехмерная система, весьма аккуратно в них вложенная, вполне заменяла ту несуществующую чисто трехмерную алгебру.
Гамильтон посвятил остаток жизни кватернионам, развивая их математику и разрабатывая их приложения к физике. Несколько посвященных последователей воздавали хвалы. Они основали школу кватернионистов, а после смерти Гамильтона бразды правления перешли к Питеру Тейту в Эдинбурге и Бенджамину Пирсу в Гарварде.
Другие, однако, недолюбливали кватернионы — частью из-за их искусственности, но главным образом потому, что, по их мнению, нашли нечто получше. Наиболее значительными представителями лагеря несогласных были Герман Грассман из Пруссии и американец Джозайа Уиллард Гиббс, ныне общепризнанные создатели «векторной алгебры». Оба они изобрели полезные типы алгебр в любом числе измерений. В их работах не было ограничений типа четырехмерности или же трехмерности подмножества мнимых кватернионов. Алгебраические свойства этих векторных систем были не столь изящны, как у Гамильтоновых кватернионов. Например, нельзя было делить один вектор на другой. Но Грассман и Гиббс отдавали предпочтение общим работоспособным концепциям, даже если в них отсутствовали некоторые из обычных свойств чисел. Пусть нельзя разделить один вектор на другой, ну и что?
Гамильтон же, сходя в могилу, верил, что кватернионы составляли его самый главный вклад в естественные науки и математику. На протяжении следующей сотни лет мало кто, за исключением Тейта и Пирса, с ним бы согласился, и кватернионы оставались позабытой тихой заводью викторианской алгебры. Если вам требовался пример бесплодной самодовлеющей математики, то кватернионы были пропуском в этот клуб. Даже в университетских курсах чистой математики кватернионы никогда не появлялись; их даже не показывали в качестве курьеза. Согласно Беллу, «глубочайшей трагедией Гамильтона были не алкоголь и не неудачный брак, а его упрямая вера в то, что кватернионы содержат в себе ключ к математике и физике вселенной. История показала, что Гамильтон трагически обманывал себя, когда продолжал утверждать: „Я по-прежнему определенно заявляю, что это открытие представляется мне настолько же важным для середины девятнадцатого столетия, насколько открытие флюксонов было важным для семнадцатого столетия“. Никогда еще великий математик столь отчаянно не ошибался».
42
На массивной каменной основе моста, со стороны, обращенной к каналу, укреплена каменная плита со словами:
Here as he walked by
on the 16th of October 1843
Sir William Rowen Hamilton
in a flash of genius discovered
the fundamental formula for
quaternion multiplication
i2 = j2 = k2 = ijk = −1
& Cut It On A Stone Of This Bridge
Последняя строка читается не без некоторого труда из-за сколов на камне. Кладка моста весьма грубая, так что называть вандалом того, кто нацарапал на ней нечто осмысленное, можно лишь с довольно большой натяжкой. (Примеч. перев.)
43
В самом деле, об этом ясно говорят формулы выше (i2 = j2 = k2 = ijk = −1). (Примеч. перев.)