Автор анализирует изложение темы «Кватернионы и октавы» в курсе дискретной
математики и обосновывает важность этих понятий для современного мировоззрения. Краткое описание истории открытия кватернионов и октав и методическое разъяснение определений и свойств кватернионов, октав и связанных с ними понятий дает возмож- ность автору обсудить технику поворота пространства с помощью кватернионов. Доказы- вается формула для октав о том, что модуль произведения равен произведению модулей. Приводятся теоремы, подчеркивающие уникальность кватернионов и октав в классе всех алгебр над полем действительных чисел.
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
Н. Н. Латыпов, В. А. Бейлин, Г. М. Верешков - Вакуум, элементарные частицы и Вселенная. В поисках физических и философских концепций XXI века - 2001.doc