Вступайте в наше сообщество в телеграмме, чтобы обмениваться знаниями с другими читателями лонгрида.
Кватернионное сопряжение
Кватернионное
Кватернион-
ное
сопряжение как преобразование пространства
сопряжение как преобразование
сопряжение
пространства
как преобразование пространства
как преобра-
зование пространства
III.
Помните, когда мы обсуждали аффинное пространство, мы говорили, что в нем бессмысленно складывать точки, но осмысленно их вычитать?
Пишу вот эту часть текста и невероятно вам всем завидую: шедевральная, вообще говоря, вещь – эти кватернионы!
Очень надеюсь, что получите удовольствие и от чтения, и от понимания, и от мысленного воображения того, что тут творится!
Илья Егорычев –
эксперт журнал Соулматс
Но, взгляните: ведь вычитание точек – это в то же время и прибавление к точке вектора:
Такое применение вектора к точке оказалось возможным, поскольку вектор по сути – это информация об относительном положении точки относительно любой другой точки.
Одной из аксиом аффинного пространства А, в частности, была такая:
1. Для любой точки
и для любого вектора
существует единственная точка
такая, что b − a = v.
Здесь нужно сразу обратить внимание вот на что.
Ну, или по-другому:
он искал такую систему чисел, с помощью которых можно было бы преобразовывать пространства больших размерностей так же, как мы ранее с помощью чисел комплексных растягивали и вращали плоскость.
Можно сказать, что вектор концептуализирует отношение между двумя точками в пространстве.
Идея же Гамильтона состояла в том, чтобы математически концептуализировать отношение между векторами в обычном трехмерном пространстве, также как обычный вектор концептуализирует отношение в пространстве между точками.
Или, поскольку мы договорились рассматривать это множество точек как геометрический объект – прямую линию, то число можно рассматривать как приказ сдвинуть данный объект на соответствующее число делений вправо (если число положительное) или влево (если число отрицательное).
Если все множество комплексных чисел представляло собой некое двумерное «расширение» чисел действительных – мы даже пробовали смотреть на него как на двумерное векторное пространство над
,
на котором очень удачно было введено векторное умножение – то множество тех комплексных чисел, которыми задавались только вращения плоскости, представляли собой одномерный объект: это была единичная окружность на комплексной плоскости.
То есть, точно также, как множество сдвигов прямой само представляло из себя прямую, множество поворотов окружности образует окружность. Очевидно, что поворот окружности при этом тождественен повороту всей плоскости.
См. п.2 последнего домашнего задания.
?
нам потребуется два параметра для задания оси вращения, и еще один – для угла вращения.
И первое наблюдение, которое необходимо сделать – это то, что такая аналогия не сможет быть продолжена на три измерения
так как, скажем, уже только вращения трехмерного пространства, которые, по аналогии с вращением плоскости, можно отождествить с вращениями двумерной сферы, требуют для своей реализации не двух, а трех параметров:
Соответственно, если мы захотим добавить сюда еще какие-то растяжения/сжатия, то придется добавлять еще один параметр.
Все сказанное должно наводить на мысль о том (и именно так и рассуждал Гамильтон), что подходящую систему чисел придется строить как четырехмерное пополнение действительных или двумерное пополнение комплексных чисел.
Итак, поскольку вектор полностью определяется своей длиной и направлением, то он, как мы помним, может концептуализировать положение точки относительно другой точки.
Кватренион, как сущность, претендующая на аналогичную концептуализацию положения вектора относительно другого вектора, должен содержать в себе информацию об относительной длине и об относительном направлении, или ориентации.
Или, поскольку мы договорились рассматривать это множество точек как геометрический объект – прямую линию, то число можно рассматривать как приказ сдвинуть данный объект на соответствующее число делений вправо (если число положительное) или влево (если число отрицательное).
Дадим, наконец, формальное определение множества кватернионов:
где i, j, k – это три мнимые единицы, квадрат каждой из которых равен −1.
Точнее даже не так:
Вот как!
При этом, выполняются дополнительные тождества:
ij = k, jk = i, ki = j;
ik = −j, kj = −i, ji = −k.
Как мы уже отмечали выше, кватернионы можно задать и парой комплексных чисел, добавив всего еще одну мнимую единицу:
Проверьте самостоятельно, что при подстановке z = a + bi и w = c + di и выполнении приведенных выше тождеств, получаются эквивалентные определения.
Упражнение
Получилось решить?
Обратимся теперь к рисунку.
Если мы трем мнимым единицам придадим смысл трех соответствующих векторов обычного ортонормированного базиса в пространстве, то можно очень наглядно показать геометрический смысл всех этих соотношений.
При умножении вектора j на вектор i вектор j переходит в вектор k, а при умножении же на вектор i вектора k последний переходит в −j, что, с геометрической точки зрения, очевидным образом выглядит как поворот всего пространства на 90 градусов против часовой стрелки вокруг оси, направленной вдоль вектора i.
Этим, в частности, объясняется некоммутативность такого умножения.
Умножения на остальные два вектора базиса тоже в точности согласуются с соответствующими вращениями плоскостей вокруг направленных вдоль данных векторов осей.
Ну то есть пока все как и в случае с комплексными числами, где умножение на мнимую единицу равнялось повороту на 90 градусов, а умножение на нее дважды оказывалось тождественным домножению на минус единицу, или развороту на 180 градусов – как в случае с прямой, с которой у нас все начиналось.
А произвольный кватернион, таким образом, распадается на так называемую скалярную, или, как ее еще иногда называют, тензорную часть, и часть векторную, или версорную.
В так любимых нами терминах операторов, скаляр будет оператором, изменяющим размер (scale) того вектора, к которому он был применен – растягивая или сжимая, т. е. сообщая, одним словом, ему некоторое напряжение (tension). Поэтому его и называют тензором.
С точностью до того, конечно, что вместо одного центра вращения прямой или плоскости у нас теперь бесконечное, вообще говоря, множество осей вращения.
Поиграем немного с этими словечками.
Версор, напротив, никак не влияет на размеры, но полностью отвечает за ориентацию.
Происходя от латинского глагола versare – поворачивать, наклонять, версор, он же – кватернион единичной длины, или нормы, он, скажем так, определенным образом модифицирует вектор, на который «действует» – производит его версию (version) в смысле измененной ориентации последнего (в хорошем, разумеется, смысле).
Возвращаясь из этих квазилингвистических дебрей в реальность, резюмируем:
Возвращаясь из этих квазилингвистичес-ких дебрей в реальность, резюмируем:
у любого кватерниона q = w + xi + yj + zk как элемента четырехмерного векторного пространства мы можем выделить чисто вещественную и чисто мнимую части, где последняя, в отличие от комплексных чисел, уже сама по себе является полноценным трехмерным вектором.
у любого кватерниона
q = w + xi + yj + zk как элемента четырехмерного векторного пространства мы можем выделить чисто вещественную и чисто мнимую части, где последняя, в отличие от комплексных чисел, уже сама по себе является полноценным трехмерным вектором.
Или, поскольку мы договорились рассматривать это множество точек как геометрический объект – прямую линию, то число можно рассматривать как приказ сдвинуть данный объект на соответствующее число делений вправо (если число положительное) или влево (если число отрицательное).
Это, собственно, ключевой момент, поскольку кватернионное сопряжение как оператор, действующий на все четырехмерное пространство кватернионов, как мы покажем в дальнейшем, действует, так сказать, раздельно на чисто мнимое трехмерное подпространство и на чисто вещественное.
Строго говоря, вначале хорошо бы проверить, что кватернионы, как и числа комплексные, тоже являются числами.
В таких случаях говорят, что данные подпространства оказываются инвариантными относительно некоторого преобразования пространства – в данном случае, относительно преобразования сопряжения.
При этом мы уже помним, что кватернионное умножение не коммутативно.
Итак, сложение и вычитание кватернионов производится покомпонентно, и здесь вообще не должно быть вопросов о том, элементы какого вида мы будем получать в результате такого сложения и вычитания – понятно, что того же самого.
То есть, еще раз – что это значит: нам надо убедиться, что складывая, вычитая, умножая и деля два элемента
вида
замкнуто относительно
операций со всеми их стандартными свойствами типа ассоциативности, дистрибутивности умножения относительно сложения и т.п.
операций со всеми
их стандартными свойствами типа ассоциативности, дистрибутивности умножения относительно сложения и т.п.
мы получаем элемент того же вида – другими словами,
убеждаемся, что множество
Но это и понятно, если, немного забегая вперед, мы каким-то образом отождествим кватернионы с вращениями сферы, или трехмерного пространства вокруг различных осей, то почти очевидно, что результат композиции двух вращений вокруг различных осей, скорее всего, будет зависеть от порядка этих вращений.
Но лучше в этом убедиться самостоятельно, покрутив в руках, скажем, футбольный мяч, и отмечая всякий раз, куда переходит некоторая выбранная на его поверхности точка.
и
А вот с умножением предлагаем вам разобраться самостоятельно.
Так что проверьте – действительно ли:
Упражнение
Получилось решить?
Как и в случае с комплексными числами, введем понятие кватерниона, сопряженного к данному :
называют либо операцией сопряжения кватерниона q, либо такой кватернион называют сопряженным.
Просьба не путать с преобразованием сопряжения хотя оно так и названо именно потому, что в его конструкции участвует сопряженный кватернион
_
Заметим, что
чисто вещественный, а
чисто
вещественный,
а
только
если кватернион чисто мнимый.
если кватернион
чисто мнимый.
, только если кватернион
, только
если кватернион
только если кватернион
,
Благодаря этому последнему свойству (которое мы предлагаем вам вывести самостоятельно), можно доказать первое, ничего не перемножая руками.
Как и в случае комплексных чисел
правда, при этом
Подумайте почему
Смотрите, сопряжем произведение сопряженных кватернионов и применим к нему последнее свойство:
а это означает, что
а это означает,
что
и, следовательно,
при перемножении двух скобок (w + xi + yj + zk)(w − xi − yj − zk) все слагаемые, содержащие мнимые сомножители, обязаны сократиться.
при перемножении двух скобок
(w + xi + yj + zk)(w − xi − yj − zk) все слагаемые, содержащие мнимые сомножители, обязаны сократиться.
И значит, остаться должны только парные произведения одинаковых слагаемых, то есть их квадраты.
_
Опять-таки, деление определим как домножение на обратный элемент по умножению, с той важной оговоркой, что домножения справа и слева будут отличаться.
Опять таки, хорошо бы «руками» убедиться, что такой объект является кватернионом. Не поленитесь – сделайте это.
При делении единицы, правда, они совпадут, поэтому сам обратный элемент по умножению для любого ненулевого кватерниона определяется однозначно как:
Но самым важным тут для нас оказывается то, что такие кватернионы допускают очень изящное тригонометрическое представление:
где
– это чисто вещественный кватернион
– это чисто вещественный
– это чисто
вещественный
кватернион единичной нормы,
а
единичной нормы, а
– чисто мнимый
единичный кватернион, параллельный векторной части кватерниона u.
единичный
кватернион, параллельный векторной части кватерниона u.
Сразу же замечаем, что
Как мы уже отмечали, для нас большой интерес представляет
подмножество
кватернионов единичной нормы, т. е. таких
кватернионов единичной
нормы, т. е. таких
кватернионов единичной нормы,
т. е. таких
для которых
Или, поскольку мы договорились рассматривать это множество точек как геометрический объект – прямую линию, то число можно рассматривать как приказ сдвинуть данный объект на соответствующее число делений вправо (если число положительное) или влево (если число отрицательное).
Корректность такого представления единичного кватерниона можно доказать, просто показав, что квадрат нормы данной конструкции действительно равен 1:
И все же по поводу того, откуда взялось это загадочное
:
Как мы уже не раз отмечали, любой кватернион состоит из вещественной и векторной части, и поэтому может быть записан
как
Поскольку
, и, значит,
,
и, значит, существует такое число
существует такое число
Перепишем теперь
Наконец, мы видим поэтому, что любой кватернион может
быть представлен в виде
При этом мы видим, что
При этом мы видим,
что
как
и
.
.
что
то
– это и есть этот самый
– это и есть этот
самый
– чисто мнимый
– чисто
мнимый
кватернион единичной нормы, параллельный векторной части кватерниона q.
параллельный векторной части кватерниона q.
кватернион единичной нормы,
В случае, если q версор, получаем исходное тождество.
То есть ситуация, вообще говоря, очень напоминает комплексный случай, с той только разницей, что вместо мнимой оси у нас теперь мнимое кватернионное подпространство, у которого у самого только размерность три.
Теперь, произведение двух чисто мнимых кватернионов тоже обладает одним замечательным свойством.
Но угол
– это, тем не менее,
тот же угол, который наш кватернион,
как и комплексное число, составляет с вещественной осью.
Если рассматривать такие кватернионы как векторы трехмерного векторного подпространства
то их кватернионное произведение в общем случае представляет из себя сумму скалярного и векторного произведений.
Точнее:
Мы это все получали, когда обсуждали ортонормированный базис векторного пространства в предыдущих частях
А это, в свою очередь, означает, что когда векторы ортогональны, то их произведение равно чисто векторному произведению.
То есть, это также чисто мнимый кватернион
торчащий
перпендикулярно к плоскости, в которой лежат перемножаемые векторы.
перпендикулярно
к плоскости, в которой лежат перемножаемые векторы.
Геометрический смысл этого мы уже видели – это все тот же поворот вектора
Геометрический смысл этого мы уже видели –
это все тот же поворот вектора
на 90 градусов против часовой стрелки вокруг оси,
на 90 градусов против часовой
на 90 градусов против
часовой стрелки вокруг оси,
стрелки вокруг оси,
образованной вектором
, с каким-то растяжением или сжатием.
,
с каким-то растяжением или сжатием.
, с каким-то
растяжением или сжатием.
Если же вектора
параллельны,
то их произведение, напротив, будет чисто вещественным кватернионом, равным
И вот сейчас начнется самое интересное.
и
Введем несколько вспомогательных определений: будем называть кватернионы p и q параллельными (p||q), если параллельны их векторные (чисто мнимые) части.
Но выше мы видели, что это означает вещественность их произведения.
Если кватернион, отвечающий такому произведению, обозначить буквой
то условие параллельности кватернионов p и q можно
то условие параллельности
кватернионов p и q можно
то условие параллельности
кватернионов p и q можно
переписать как
Видите ли вы, почему это так?
Если кватернион s вещественный, то
И будем называть кватернионы p и q перпендикулярными
если ортогональны
их векторные (чисто мнимые части).
их векторные
(чисто мнимые части).
А это равносильно тому, что
Опять-таки, обоснуйте самостоятельно.
Если кватернион чисто мнимый, то
Теперь пускай
– произвольный, чисто мнимый (векторный)
– произвольный,

произвольный, чисто мнимый (векторный) кватернион, u – версор, то есть
чисто мнимый (векторный) кватернион,
кватернион, u – версор, то есть
u – версор, то есть
Первое слагаемое – это чисто мнимый кватернион, параллельный
.
Поскольку
то второе слагаемое тоже должно быть чисто мнимым
то второе слагаемое
тоже должно быть чисто мнимым
то второе слагаемое тоже должно быть
чисто мнимым и более того – как результат векторного
произведения
и более того – как результат векторного произведения
оно перпендикулярно как
как
оно перпендикулярно
Таким образом, кватернион t как векторная сумма двух мнимых кватернионов тоже мнимый, причем оба слагаемых вектора, из которых он состоит, лежат в плоскости, перпендикулярной
Тогда
и
, так и
Геометрический смысл такого умножения должен быть хорошо виден из рисунка: это поворот вектора
на угол
в плоскости,
перпендикулярной
перпендикуляр-
ной
Ну и наконец рассмотрим произведение
Воспользуемся векторным тождеством
Сравнивая с предыдущим выражением
мы видим, что это просто
дальнейший поворот вектора t в том же направлении и в той же плоскости на тот же угол
И значит целиком преобразование
понятое как преобразование сопряжения, примененное к вектору
вокруг вектора u:
есть поворот на угол
и перепишем в виде
Ну и все. Теперь посмотрим, как такое сопряжение подействует на произвольный мнимый кватернион h, или на произвольный вектор трехмерного подпространства кватернионов.
Представим h как сумму векторов, один из которых параллелен u, а другой ему перпендикулярен:
Но что из себя представляет второе слагаемое, мы уже хорошо знаем – это вектор r как результат поворота
на угол
v
Тогда
Над первым же можно немного поколдовать – заметить, например, что, поскольку w||u, то
где α – это просто какое-то действительное число, скаляр,
где α – это просто какое-то
действительное число, скаляр,
а
– единичный трехмерный
Ну раз так, то перепишем:
Перекинуть u и
местами мы имеем право, так как
местами мы имеем право,
так как
как мы помним, в таком случае произведение вещественно, поскольку таковым является скалярное произведение, а последнее, в свою очередь, коммутативно.
как мы помним, в таком случае
произведение вещественно, поскольку таковым является скалярное произведение, а последнее, в свою очередь, коммутативно.
А, значит, коммутативно и произведение u и
(мнимый) вектор, причем
Это, важный, вообще говоря, момент: тем самым мы сейчас показали, что данное преобразование сопряжения действует на вещественное подпространство кватернионов тождественно!
Итак,
что геометрически
видится как вращение вектора
h вокруг
на угол
Чего при обычном умножении, разумеется, не происходит – да и с чего бы?
Данное преобразование сопряжения действует на все без исключения мнимые кватернионы, включая три мнимые единицы, которые очень удобно мыслить как ортонормированный базис обычного трехмерного пространства.
В результате, скажем, если одно умножение (первая часть преобразования) как-то разворачивает четырехмерное пространство, то следующее за ним умножение на сопряженный кватернион (вторая часть преобразования) продпространство мнимых кватернионов еще больше доворачивает, а вещественные возвращает на место!
То есть, еще раз: то, что видится нам как вращение в трех измерениях является, вообще говоря, гораздо более богато и сложно устроенным преобразованием пространства на единицу большей размерности!
Еще раз отметим чрезвычайно тонкий с геометрической точки зрения момент:
вообще говоря,
вообще говоря, действует на все четырехмерное пространство кватернионов, но устроено таким образом, что действует инвариантно как на трехмерное подпространство чисто мнимых кватернионов, так и на одномерное подпространство вещественных.
действует на все четырехмерное пространство кватернионов, но устроено таким образом, что действует инвариантно как на трехмерное подпространство чисто мнимых кватернионов, так и на одномерное подпространство вещественных.
Решающую роль здесь играет коммутативность кватернионного умножения в чисто вещественном случае. Только благодаря этому свойству мы получаем чистое вращение трехмерного мнимого подпространства.
За счет этого, используя преобразования кватернионного сопряжения единичными кватернионами, мы получаем чрезвычайно удобный инструмент для реализации всех возможных вращений трехмерного подпространства или вложенной в него двумерной сферы. Что, впрочем, одно и то же..
Ну вот как-то так…) И никаких матриц!
Хотя конечно напрашивается, напрашивается домашнее задание: написать, как будет выглядеть матрица такого преобразования.
Причем, хорошо бы это сделать в двух вариантах: для четырехмерного векторного пространства над полем действительных чисел и для двумерного — над полем комплексных. Во втором случае, как, возможно, многие догадываются, матрица будет в два раза меньше, но элементами ее будут комплексные числа.
Домашнее задание
Но если мы вспомним, что мы просто соответствующим образом изменяем взгляд
Выше мы писали: «точно также, как множество сдвигов прямой само представляло из себя прямую, множество поворотов окружности образует окружность». Возможно, даже эта фраза кого-то насторожила — не говоря уже о ее продолжении о том, что такая аналогия не продолжается на три измерения.
на те или иные числа и начинаем их рассматривать как «команды», то ситуация проясняется: любое вещественное число является такой командой сдвига, ну а все множество вещественных чисел может быть отождествлено с вещественной прямой. Правда, на таком множестве как множестве команд естественным образом возникает дополнительная структура — структура группы Ли, но сейчас мы не будем это обсуждать.
И точно так же множество всех комплексных чисел, модуль которых равен единице, расположено по окружности на комплексной плоскости и поэтому и как множество поворотов плоскости может быть отождествлено с самой окружностью.
Так вот последний вопрос заключается в том, чтобы понять:
Ну и совсем последнее.
какой геометрический объект в этом смысле образует множество кватернионов, которыми мы вращаем трехмерное пространство?
Вопрос
такие кватернионы образуют трехмерное проективное пространство, которое можно свести к трехмерной сфере, на которой каждой паре противоположных кватернионов соответствует одно и то же вращение обычного трехмерного пространства.
Подробное обоснование ожидайте в соответствующем разделе «Гида по математике», посвященном проективной геометрии.
Следите за обновлениями, выход продукта в октябре.
Получилось решить?
Вступайте в наше сообщество в телеграмме, чтобы обмениваться знаниями с другими читателями лонгрида.