Вы находитесь на странице: 1из 3

УДК 519.95:378.

14

Кватернионы и октавы

А. В. Клюшин

Национальный исследовательский университет «МИЭТ»

Автор анализирует изложение темы «Кватернионы и октавы» в курсе дискретной


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

Ключевые слова: кватернионы; октавы; дискретная математика.

Понятие «кватернионы» нечасто после опубликования эпохальных статей


употребляется в курсах дискретной ма- А. Эйнштейна. Затем исследовались раз-
тематики для студентов вузов и в курсах личные варианты размерностей, вплоть
математики вообще. Между тем наличие до 10-мерной, но наибольшее распро-
таких числовых систем, как кватернио- странение в данный момент получи-
ны и октавы, имеет большое значение ли модели, рассматривающие восьми-
для формирования современного есте- мерное пространство. И здесь важную
ственно-научного мировоззрения. Без роль играют октавы. Использование
открытия кватернионов в 1843 г. было октав в  построении различных моделей
бы невозможным создание четырех- рассматривается, например, в работах
мерного пространства-времени Мин- Е. И. Кубышкина [3; 4].
ковского. С  по­ мощью кватернионов Давно известно, что с помощью ком-
можно более просто и естественно из- плексных чисел легко осуществлять по-
ложить многие эффекты общей и спе- ворот плоскости. Поворот на угол φ вы-
циальной теории относительности  [1], полняется умножением на комплексное
сформулировать законы классической число cos  φ + i sin  φ. Например, чтобы
электродинамики и квантовой меха- повернуть точку A (2;1) на плоскости
ники  [2]. Особенную важность сегодня на  угол 30°, достаточно умножить два
приобретает вопрос о  размерности на- комплексных числа
шего мира. Попытки создания единой
√3 1 1 √3
теории поля приводят к  необходимости (2 + i) 2  + 2  i = √3 – 2 + 1 + 2 i.
рассматривать пространства большего  
числа измерений в сравнении с трехмер- Значит, точка A перешла в точку
ным физическим миром. Модели пяти-
и шестимерного пространства предло- 1 √3
A' √3 – 2 ;1 + 2 .
жены Т.  Калуцей и  О.  Клейном вскоре
©©Клюшин А. В.

8 Экономические и социально-гуманитарные исследования № 3 (11) 2016


Клюшин А. В.

Хотелось бы иметь такой же простой ме- ω  =  a  + bi + cj + dk, то сопряженным


ханизм для пространства. Этой задачей к нему называется кватернион ω = a – bi –
заинтересовался У. Гамильтон. В 1835 г., – cj – dk.
в возрасте 30 лет, он научился работать Непосредственно проверяется, что
с комплексными числами как с парами ω ∙ ω = a2 + b2 + c2 + d2. Это действитель-
действительных чисел. Вдохновленный ное число. В основе алгебры комплекс-
этой связью между и двумерной гео- ных чисел лежит равенство
метрией, он в течение многих лет пытал-
(a2 + b2)(c2 + d2) = (ac – bd)2 + (ad + bc)2,
ся изобрести большую алгебру, которая
играла бы аналогичную роль в трехмер- благодаря чему |z1 ∙ z2| = |z1| ∙ |z2|. Произве-
ной геометрии. 16 октября 1843 г., на- дение чисел, представимых в виде суммы
правляясь с женой вдоль Королевского двух квадратов, также представимо в виде
канала на заседание Королевской ир- суммы двух квадратов. Аналогичное ра-
ландской академии в Дублине, он совер- венство справедливо и для четырех квад­
шил свое эпохальное открытие: «Можно ратов. Известна теорема Гурвица о том,
сказать, я здесь и сейчас почувствовал, что подобные равенства справедливы для
как электрическая цепь мысли замкну- числа квадратов n = 1, 2, 4, 8, и только для
лась, а засверкавшие искры оказались них! Благодаря этому, для кватернионов
фундаментальными соотношениями также справедливо равенство
i2 = j2 = k2 = i ∙ j ∙ k = –1, |ω1 ∙ ω2| = |ω1| ∙ |ω2|.
представленными именно в том виде, в ка- Техника поворота пространства
ком я их с тех пор использовал»  [5, с. 4]. с по­мощью кватернионов состоит в сле-
Вскоре после этого Дж. Т. Грейвз, то- дующем: для того чтобы повернуть век-
варищ Гамильтона по колледжу, открыл тор x на угол 2φ вокруг оси, задаваемой
еще одну уникальную алгебру — алгебру вектором u, нужно сначала нормировать
октав, восьмимерную алгебру над полем вектор u: ν = u/|u|, сформировать кватер-
действительных чисел. История откры- нион ω = cos φ + ν sin φ и осуществить
тия кватернионов и октав хорошо изло- преобразование x → ω–1xω.
жена у Дж. Х. Конвея и Д. А. Смита [6]. Для построения алгебры октав
Кватернионы — это выражения вида можно рассмотреть выражения вида
ω = a + bi + cj + dk, где a, b, c, d . Их ω1  +  ω2e, где e — новый символ. Сло-
можно интерпретировать как четы- жение и умножение на действительное
рехмерные векторы над . Множество число a определяется обычным образом.
кватернионов обозначается H в честь Умножение в алгебре октав задается
Гамильтона. Символы ±1, ±i, ±j, ±k об- равенством
разуют группу, которая называется груп- (ω1 + ω2e)(ω3 + ω4e) =
пой кватернионов и обозначается Q8.
= (ω1ω3 – ω4ω2) + (ω4ω1 + ω2ω3)e.
Умножение в этой группе определяется
следующим образом: умножение на ±1 Закон дистрибутивности выполняет-
обычное. Символы i, j, k перемножаются ся, однако умножение не только не ком-
по следующим правилам: i2 = j2 = k2 = –1; мутативно, но и не ассоциативно.
ij = k, ji = –k, jk = i, kj = –i, ki = j, ik = –j. Значимость алгебры кватернио-
Для кватернионов, так же как и для нов и октав подчеркивается теоремой
комплексных чисел, имеется опера- Фробениуса  [7]: тело кватернионов яв-
ция сопряжения. Если дан кватернион ляется единственной конечномерной,

Экономические и социально-гуманитарные исследования № 3 (11) 2016 9


Рационализм и иррационализм в жизни, философии, науке: материалы научно-практической конференции (2)

действительной, ассоциативной, но 4.  Кубышкин  Е.  И. Октавы и наш восьми-


не коммутативной алгеброй без делите- мерный мир: модель пространства-времени
на основе алгебры октав. М.: URSS: Либроком,
лей нуля. 2013. 255 с.: ил. (Relata refero).
Алгебра октав является единственной 5.  Гордеев В. Н. Кватернионы и трехмерная
конечномерной, действительной, альтер- геометрия. Электрон. дан. Киев, 2012. 60 с. //
нативной, но не ассоциативной алгеброй Техническая библиотека [Электронный ресурс].
URL: http://techlibrary.ru/b/2k1p1r1e1f1f1c_2j.2v.
без делителей нуля. _2s1c1a1t1f1r1o1j1p1o2c_1j_1t1r1f1w1n1f1r1o1a2
g_1d1f1p1n1f1t1r1j2g._2012.pdf (дата обращения:
Литература 06.05.2016).
6.  Конвей Дж. Х., Смит Д. А. О кватернио­нах
1.  Сазанов  А.  А. Четырехмерный мир Мин- и октавах, об их геометрии, арифметике и  сим­
ковского. М.: Наука. Гл. ред. физ.-мат. лит., 1988. метриях. М.: Изд-во МЦНМО, 2009. 183 с.: ил.
224 с.: ил. (Проблемы науки и технического про- 7.  Курош  А.  Г. Лекции по общей алгебре.
гресса). 2-е изд. М.: Наука: Физматлит, 1973. 399 с.
2.  Березин А. В., Курочкин Ю. А., Толкачев Е. А.
Кватернионы в релятивистской физике. 2-е изд.,
испр. М.: Едиториал УРСС, 2003. 198 с.: ил. Клюшин Александр Викторович — канди-
3.  Кубышкин Е. И. Нелинейная алгебра про- дат физико-математических наук, доцент
странства-времени. М.: URSS: Либроком, 2009. кафедры высшей математики № 2 (ВМ-2)
301 с.: ил. (Relata refero). МИЭТ. E-mail: AVKlyushin@mail.ru

10 Экономические и социально-гуманитарные исследования № 3 (11) 2016

Оценить