Реакцией на данное Гамильтоном решение задачи, стоявшей до этого в течение трех сотен лет, была полная тишина. Коль скоро математики уже включили понятие комплексных чисел в мощную последовательную теорию, страхи касательно существования комплексных чисел потеряли актуальность. Тем не менее использование пар чисел, как предлагал Гамильтон, оказалось очень важным. Хотя вопросу о комплексных числах перестал сопутствовать ажиотаж, идея о построении новых числовых систем из старых укоренилась в математическом сознании.
Комплексные числа оказались полезны не только в алгебре и основах анализа. Они позволили сформулировать мощный метод решения задач о потоке жидкости или тепла, о гравитации и звуке — почти в каждой области математической физики. Но у них было одно существенное ограничение: с их помощью эти задачи решались в двумерном пространстве, тогда как мы живем в трехмерном. Некоторые задачи, такие как задача о движениях мембраны барабана или о течении тонкого слоя жидкости, можно свести к размерности два, что совсем не так уж плохо. Но математиков все больше раздражало, что их методы, основанные на комплексных числах, не удавалось распространить с плоскости на трехмерное пространство.
Могли ли существовать еще не открытые расширения числовой системы на трехмерное пространство? Данная Гамильтоном формализация комплексных чисел как пары вещественных подсказывала подход к этой проблеме: постараться организовать числовую систему, основанную на тройках чисел (x, y, z). Проблема состояла в том, что до тех пор никто не работал с алгеброй, образованной тройками чисел. Гамильтон решил попробовать.
Сложение троек не составляло проблемы: подсказка со стороны комплексных чисел состоит в том, что надо просто складывать соответствующие координаты. Такого типа арифметика, ныне известная как векторное сложение, подчиняется весьма симпатичным правилам, и имеется только один разумный способ ее реализации.
Настоящей проблемой было умножение. Уже для комплексных чисел умножение устроено вовсе не как сложение: пары вещественных чисел не умножаются друг на друга путем раздельного перемножения первых и вторых компонент. Если вы все же захотите определить умножение таким образом, то произойдет масса неприятных вещей — но, главное, две фатальные неприятности.
Первая состоит в том, что больше не будет квадратного корня из минус единицы.
Вторая же состоит в том, что можно будет взять умножение ненулевых чисел и получить нуль. Такие «делители нуля» превращают в ад все обычные алгебраические методы, например методы решения уравнений.
Для комплексных чисел подобные неприятности преодолеваются за счет выбора менее очевидного правила умножения в соответствии с рецептом Гамильтона. Но когда он попытался сделать нечто подобное для троек чисел, он испытал страшное потрясение. Несмотря на все свои усилия, он не мог избежать некоторых фатальных дефектов. Получить квадратный корень из минус единицы удавалось, но только ценой появления делителей нуля. Избавиться от делителей нуля представлялось решительно невозможным, что бы он ни делал.
Если вам кажется, что все это звучит несколько в духе попыток решить уравнение пятой степени, то кое-что вы ухватили правильно. Когда многие способные математики пытаются сделать нечто, но терпят неудачу, вполне может оказаться, что задача не имеет решения. Если и есть что-то главное, чему научила нас математика, то это факт, что многие задачи не имеют решений. Нельзя найти дробь, квадрат которой равен 2. Нельзя разделить угол на три части, используя циркуль и линейку. Нельзя решить уравнение пятой степени в радикалах. Математика имеет свои пределы. Быть может, невозможно построить трехмерную алгебру, обладающую всеми хорошими свойствами, которых мы от нее хотим.
Если вы всерьез задумали разобраться, действительно ли дело обстоит таким образом, перед вами открывается программа исследований. Сначала надо указать свойства, которыми ваша трехмерная алгебра должна обладать. Потом следует проанализировать следствия этих свойств. Если из этого извлечь достаточное количество информации, то можно искать некие свойства, которые должна иметь данная алгебра, если она действительно существует, и причины, по которым она может не существовать.
Так, по крайней мере, обстояло бы дело в наши дни. Подход Гамильтона был не столь систематическим. Он молчаливо предполагал, что его алгебра должна иметь «все» разумные свойства, а потом внезапно понял, что с одним из них, возможно, придется расстаться. Более важно то, что он осознал, что алгебры размерности три в колоде нет. Самое близкое, что получалось, — это четыре. Четверки, а не тройки чисел.
Добавим еще два слова по поводу этих ускользающих алгебраических правил. Когда математики выполняют алгебраические вычисления, они организуют свои символы систематическим образом. Вспомним, что исходное арабское название «аль-джабр» означает «восстановление» — действие, про которое теперь мы сказали бы «перенесите слагаемое в другую часть уравнения с другим знаком». Лишь в течение последних 150 лет математики озаботились составлением явных списков правил, стоящих за всякими подобными действиями, — списков, из которых все остальные хорошо известные правила получаются как логические следствия. Такой аксиоматический подход играет для алгебры роль, подобную той, которую Эвклид сыграл для геометрии, и математикам понадобилось всего две тысячи лет, чтобы овладеть этой идеей.
Чтобы было понятно, о чем мы говорим, можно сфокусироваться на трех из этих правил, которые все связаны с умножением. (Со сложением дело обстоит похожим образом, но проще; умножение — это как раз то место, где все начинает идти наперекосяк.) Дети, изучающие таблицу умножения, в конце концов замечают возможность сэкономить половину усилий. Не только трижды четыре дает двенадцать, но и четырежды три тоже. Если перемножить два числа, то результат не меняется от того, какое из чисел было взято первым. Этот факт называется законом коммутативности, и в символьной форме он говорит нам, что ab = ba для любых чисел а и b. Это правило выполнено также в расширенной системе комплексах чисел. Это можно доказать, рассматривая формулы Гамильтона для умножения пар.
Тонким законом является закон ассоциативности, который гласит, что при перемножении трех чисел в одном и том же порядке не имеет значения, с какого умножения начать. Допустим, нам надо перемножить 2×3×5; можно начать с умножения 2×3, что дает 6, а далее умножить 6 на 5. Альтернативным образом можно сначала перемножить 3×5, что есть 15, а далее умножить 2 на 15. Оба способа действий приводят к одному и тому же результату — числу 30. Закон ассоциативности утверждает, что так происходит всегда; в символьной форме он говорит нам, что (ab)c = a(bc), где скобки показывают очередность, в которой надо выполнять умножение. Это свойство снова выполнено и для вещественных, и для комплексных чисел, и доказать это можно, используя формулы Гамильтона.
Последнее, очень полезное правило — назовем его законом деления, хотя в учебниках вы найдете его под именем «существование мультипликативного обратного» — утверждает, что всегда можно поделить любое число на любое ненулевое число. Имеются веские основания для запрета деления на нуль; основная причина состоит в том, что это действие редко бывает осмысленным.
Мы уже видели, что можно соорудить алгебру троек чисел, используя «очевидное» умножение. Эта система удовлетворяет законам коммутативности и ассоциативности. Но не закону деления.
Великий взлет мысли Гамильтона, произошедший после долгих часов бесплодных поисков и вычислений, привел к следующему осознанию: можно образовать новую числовую систему, в которой и закон ассоциативности, и закон деления выполнены, но необходимо пожертвовать законом коммутативности. Но даже тогда подобное нельзя сделать с тройками вещественных чисел. Надо использовать четверки. Нет «разумной» трехмерной алгебры, но имеется довольно приемлемая четырехмерная. Это единственная алгебра такого типа, и до идеала ей не хватает только одного — закона коммутативности.
