×
j =
k, но
j ×
i = –
k.
Кватернионы Гамильтона представляли собой весьма необычную концепцию, но все же позволили ему создать модель вращений в трехмерном пространстве. В кватернионе (a, b, c, d) числа (b, c, d) — это три координаты для трех размерностей пространства, тогда как число а отображает время. Эти новые числа так взволновали Гамильтона, что он посвятил их изучению большую часть оставшейся жизни.
Если концепция кватернионов кажется вам несколько странной, вы в этом не одиноки. Современники Гамильтона высмеяли его, и особенно Чарльз Доджсон, математик из Оксфордского университета, больше известный как Льюис Кэрролл. Его книги для детей «Алиса в Стране чудес» и «Алиса в Зазеркалье» славятся своими логическими головоломками и математическими играми. Однако совсем недавно один критик заявил, что в основе сюрреалистического юмора этих книг лежит не богатое воображение Доджсона, а его желание поглумиться над изменениями в математике викторианской эпохи, которых он не одобрял, что больше всего касалось тенденции к повышению уровня абстракции в алгебре. Мелани Бейли написала в своей статье, что глава A Mad Tea Party («Безумное чаепитие») — это сатира на кватернионы Гамильтона, и даже само название представляет собой игру слов, поскольку его можно интерпретировать как mad t-party, где t — научный символ для обозначения времени[135]. За чаепитием Безумный Шляпник, Мартовский Заяц и Мышь Соня вращаются вокруг стола, подобно мнимым числам i, j и k в кватернионе. Четвертый гость по имени Время отсутствует, поэтому на мытье посуды времени нет. Когда Мартовский Заяц сказал Алисе, чтобы она говорила то, что думает, Алиса ответила: «…Во всяком случае… что я думаю, то и говорю. В общем, это ведь одно и то же!» Но порядок слов в предложении все же меняет смысл, точно так же как порядок умножения i и j меняет результат.
Однако история показала, что Доджсон был неправ. Гамильтон расширил концепцию числа, включив в нее кватернионы, что разорвало связующую нить между числами и смыслом, существовавшую до этого. Теперь математики считают само собой разумеющимся создание новых типов чисел исключительно на основании формальных определений. Смысл может быть найден (как это произошло с комплексными числами, которые оказались точками на комплексной плоскости) или нет. Задача состоит в том, чтобы исследовать закономерность и структуру и понять, к чему это вас приведет.
К концу XIX века другие математические теории вытеснили кватернионы, но Гамильтон был бы безумно счастлив узнать, что на протяжении последних нескольких десятилетий они снова широко используются. Кватернионы применяются в процессе компьютерных расчетов трех осей вращения объектов, находящихся в полете, — продольной, поперечной и вертикальной. Различные организации и компании, работающие в таких отраслях, как аэронавтика и компьютерная графика, от NASA до Pixar, используют кватернионы в своем программном обеспечении.