20.136. Кватернионы, геометрия и физика

Может быть, в момент открытия Гамильтон увидел, что кватернионы будут заслуживать его внимание всю его жизнь, но сначала даже его лучшие друзья были настроены скептически. 26 октября 1843 года Джон Грейвс написал ему:

Должно быть, вы были очень дерзко настроены, чтобы дать начало счастливой идее, что может быть отлично от Есть ли у вас какой-нибудь представление о существовании в природе процессов, или операций, или явлений, или концепций, аналогичных кругообороту

И получив письмо от Гамильтона, где он дал понять о возможности применения в физике и заявил, что кватернионы, несомненно, можно использовать, чтобы вывести теоремы сферической тригонометрии, Грейвс ответил:

Все же в системе есть нечто, что приводит меня в замешательство. У меня до сих пор нет таких-либо ясных взглядов относительно меры, до которой мы вправе произвольно создавать мнимые числа и наделять их сверхъестественными свойствами. Но предположим, что ваши символы имеют свои физические антитипы, которые могли привести вас к кватернионам, какое право имеете вы на такую удачу, получив свою систему таким изобретательным методом так ваш?

[Другие письма см. в биографии Гамильтона, написанной братом Грейвса, Робертом: Грейвс (1975), т.3, с.443.]

Конечно, вопрос Грейвса об удаче был ироническим, но это все же хороший вопрос. Многие математики и физики поражались правомерности применения чистой математики, чтобы теория чисел и алгебра

стали геометрией и физикой. В случае кватернионов будущее сулило еще больше сюрпризов.

Правда заключалась не только в том, что кватернионы имели скрытый смысл для сферической геометрии, их геометрический аспект уже был открыт дважды раньше! Первом открытием была неопубликованная работа Гаусса (1819) о вращениях сферы, о которой Гамильтон мог не знать; вторым была публикация Родригеса (1840), которая (типично) ускользнула от его внимания.

Результат Гаусса объяснить легче всего, потому что мы уже говорили о нем в разделе 18.6: всякое вращение сферы можно выразить комплексной функцией вида

Любую такую функцию можно представить матрицей ее коэффициентов

и легко проверить, что матрица произведение матриц для Поэтому вращения сферы можно изучать через произведения матриц указанного выше типа, включая пары комплексных чисел Такую матрицу также можно записать в виде четырех действительных параметров если мы положим

И тогда результирующую матрицу мы можем записать так линейную комбинацию четырех особых матриц с коэффициентами

Четыре особые матрицы играют роль в кватернионах, потому что

Действительно, те же матрицы были открыты Кэли (1858), который предложил их так новую реализацию кватернионов. Сегодня, они часто известны так матрицы Паули, особенно, в физике. Они вновь были открыты в квантовой теории, где вращения сферы также важны.

Упражнения

(см. скан)