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