Введение
Наверное, среди бывших и нынешних студентов технических университетов, найдутся те, кто помнит приятное ощущение, когда кажущаяся сложной в начале математическая конструкция разложилась по полочкам и стала предельно ясной! Попробуем сложить простую картину взаимосвязи понятной с первых курсов векторной геометрии и таких материй, как алгебры Клиффорда, кватернионы и спиноры.
Интерес начался со статьи «Единый математический язык для физики и инженерного искусства в 21 веке». Очень удобно, когда векторы можно переставлять местами в произведении и даже делить друг на друга, а повороты так и вообще задаются простейшими формулами. Но...
«Язык математики сегодня имеет много диалектов в виде различных алгебраических систем. Каждая из них разрабатывалась для решения своего класса задач и обладает своими достоинствами и недостатками» - рассказывает автор научной статьи «Геометрическая алгебра — язык творческого мышления» .
При первом прочтении этой статьи лично у меня сложилось впечатление, что все очень интересно, но очень непонятно. А когда я собрал несколько десятков книг с этими "многими диалектами", "ДЕСЯТКОВ КНИГ, И КАЖДАЯ НА НЕСКОЛЬКО СОТЕН СТРАНИЦ, КАРЛ!", то как то посвящать всю жизнь чтению, забросив работу и семью, желание не появилось.
На тот момент в моей голове, несвязанно друг с другом, проживали знания по комплексному анализу, векторной геометрии и иже с ней линейной алгебре, которые заложили еще в университете, не объяснив взаимосвязи. Так же, в общих осях, была понятна концепция кватернионов, изученная самостоятельно. Цель была - согласовать в собственной голове эти знания друг с другом, и с этой вот новой для меня дисциплиной, ради практического применения. Вот бы, думаю, найти автора, который на нескольких страницах объяснит, как это работает, чтобы не пришлось нырнуть в продвинутый математический аппарат. И частично это получилось благодаря статье «О спинорах человеческим языком». За что большое спасибо @flx0.
Если вы столкнулись с упомянутыми названиями в первый раз, то рекомендую просмотреть статьи, ссылки кликабельны.
Сокращения: АК-алгебры Клиффорда, ГП – геометрическое произведение, ГА – геометрическая алгебра
Тождество Лагранжа, разложение вектора по направлению другого вектора
![Тождество Лагранжа «АБЦ равно БАЦ минус ЦАБ» Тождество Лагранжа «АБЦ равно БАЦ минус ЦАБ»](https://habrastorage.org/getpro/habr/upload_files/862/c89/306/862c89306ba9cbb0c758eb90a7add2ad.png)
Для наглядности пусть A=C=r, B=v, где r - радиус вектор материальной точки, v - ее скорость. Далее коммутативность скалярного произведения и антикоммутативность векторного/внешнего произведения применяются без пояснений, для краткости.
![Это же тождество в виде разложения вектора скорости по направлению радиус-вектора. Это же тождество в виде разложения вектора скорости по направлению радиус-вектора.](https://habrastorage.org/getpro/habr/upload_files/60a/4c0/55a/60a4c055aabb3caf425c12416a8ac7b6.png)
![Оно же в виде картинки Оно же в виде картинки](https://habrastorage.org/getpro/habr/upload_files/c44/606/449/c44606449c6729ad79b145396da5b61a.png)
Таким образом тождество Лагранжа позволяет разложить вектор по направлениям относительно другого вектора на параллельную и перпендикулярную ему компоненту. По схеме можно проверить, что получаемые векторы — это правая тройка векторов.
Геометрическое произведение и кватернионы
Выражение похожее на «АБЦ = БАЦ минус ЦАБ» создает и геометрическое произведение (далее ГП), применяемое в алгебрах Клиффорда (далее АК), с тем отличием, что вместо векторного произведения применяется внешнее произведение.
![](https://habrastorage.org/getpro/habr/upload_files/b62/bfe/21c/b62bfe21cdc2217f3cb938db4383c520.png)
Нырнуть в математику все же пришлось, и ушло три месяца, чтобы осознать взаимосвязи. При этом оказалось, что есть нечеткость определения для внешнего произведения в русскоязычной статье в Википедии «Векторное произведение» по сравнению с определением в англоязычной статье Википедии «Geometric algebra» и учебника по геометрической алгебре и (см. в конце статьи). А в некоторых учебниках даже отождествили внешнее и векторное произведение для трехмерного пространства. Не буду их приводить, потому, что есть нюанс, но о нем позже :)
Вот что получится, если записать векторного и внешнего произведений ориентируясь на русскоязычную статье в Википедии
![](https://habrastorage.org/getpro/habr/upload_files/887/85f/98b/88785f98b952129125a9ed4a2bce71dc.png)
![](https://habrastorage.org/getpro/habr/upload_files/ebd/666/777/ebd666777839df6272cee8458b9ab6d5.png)
Из этого может неверно показаться, что
![](https://habrastorage.org/getpro/habr/upload_files/575/51d/c50/57551dc500ab0dd4295a6b5a007631dc.png)
Забегая вперед правильное выражение
![](https://habrastorage.org/getpro/habr/upload_files/260/ce3/555/260ce355551ac36c2fc674238bfabf70.png)
Запишем выражение для тройного ГП
![](https://habrastorage.org/getpro/habr/upload_files/b1c/649/61e/b1c64961e080831feee1a2481600b1ae.png)
Аналогичный способ изложен в статье «О спинорах человеческим языком», где вводится важное понятие |что компонента "v" параллельная "r" коммутирует, а перпендикулярная антикомутирует с "r"|, и сразу применятся
![](https://habrastorage.org/getpro/habr/upload_files/693/027/69b/69302769baaff45994302cc9add0e5ce.png)
Запишем вместе выражения для двойного ГП (vr), тройного ГП (rvr) и тождества лагранжа
![](https://habrastorage.org/getpro/habr/upload_files/f74/de0/a11/f74de0a117a1398d7d58354ab5cbde79.png)
![](https://habrastorage.org/getpro/habr/upload_files/de8/c9f/f0e/de8c9ff0e9bf4474e78db9e9c3c78996.png)
То есть тройное ГП означает то же, что и тождество Лагранжа, но обращенное по бивекторной компоненте, то есть “сопряженное относительно вектора r” по аналогии с комплексным сопряжением.
![](https://habrastorage.org/getpro/habr/upload_files/ea1/d4c/2f0/ea1d4c2f093986265037dcf1d655c300.jpg)
С учетом того, что в АК бивектор это мнимая величина и одновременно оператор поворота на 90 градусов в плоскости бивектора против часовой стрелки, это так же похоже на комплексные числа. Поэтому двойное ГП можно рассматривать как комплексное число, снабженное дополнительным свойством антикоммутативности умножения разных мнимых компонент.
Если же радиус вектор заменить на его единичный вектор, то из тройного ГП (rvr) и тождества Лагранжа получим разложение вектора скорости по направлениям этого единичного вектора в чистом виде. Что то же самое, что деление выражений выше на квадрат длины радиус-вектора.
![](https://habrastorage.org/getpro/habr/upload_files/b17/eb8/dc8/b17eb8dc86c703b91c4d371a8db36399.png)
![](https://habrastorage.org/getpro/habr/upload_files/9b6/b29/3c0/9b6b293c0a9ca2c97ceda54037650952.png)
Можно видеть, что получится не одно и то же, если преобразовывать двойное и тройное ГП по формулам (*) и (**). В случае (rvr) будет получаться разный знак перед векторным произведением, а в случае (vr) векторное произведение будет вещественной или мнимой величиной.
Теперь, запишем выражение для двойного ГП и развернем его разложение по базису
![](https://habrastorage.org/getpro/habr/upload_files/4fc/67b/373/4fc67b37354b94c6613fe780e503a68d.png)
Если считать бивекторы единичными кватернионами
![](https://habrastorage.org/getpro/habr/upload_files/22f/32f/8e3/22f32f8e30faad8ce94fe5fb25c03134.png)
Пересортировав, получим разложение вектора по кватернионному базису, аналогичному разложению по трем взаимно перпендикулярным комплексным плоскостям
![](https://habrastorage.org/getpro/habr/upload_files/aec/62d/bad/aec62dbad1d317bb0eacef6eac791469.png)
![](https://habrastorage.org/getpro/habr/upload_files/2e6/f6a/6c4/2e6f6a6c46f24324f3bf99e584d1a30f.png)
В результате операции мы можем автоматически получать разложение движения на поступательное и вращательное. А единичные кватернионы помечены штрихами, так как через несколько абзацев появится величина без штриха. Направляющие косинусы
![](https://habrastorage.org/getpro/habr/upload_files/24b/56f/12c/24b56f12c3a607bfbcd6ec027eb27f8e.png)
Отсюда несложным образом следует спинорное разложение, подробно изложенное в статье «Геометрическая алгебра — язык творческого мышления».
Альтернативная формулировка разложения: если еше раз пересортировать компоненты по номерам направляющих косинусов, получится нечто, что можно назвать разложением по «сдвоенным кватернионам», где вещественные компоненты так же отвечают за поступательное движение, а единичные кватернионы отвечают за вращательное движение в своих плоскостях относительно выбранного начала координат.
![](https://habrastorage.org/getpro/habr/upload_files/ea2/a22/517/ea2a225175b06821f40bf5e28bf48bfa.png)
![](https://habrastorage.org/getpro/habr/upload_files/7c0/ff7/068/7c0ff70680e02d90b0caa9608428b5c6.png)
Например, если умножить последнее выражение на массу и квадрат радиус-вектора, то получим выражение для момента импульса сложного движения.
И вот обещанный нюанс.
Матрицы Паули в качестве спинорного базиса для разложения вектора
Было неожиданно, когда я, прочитал про связь геометрической алгебры с матрицами Паули в учебнике и потом в англоязычной статье в Википедии. До момента прочтения мне казалось, что матрицы Паули — это что-то из области квантовой физики, а именно из уравнений Максвелла. Поэтому увидев их в учебнике по математике, заинтересовался. Ведь это означает фундаментальный смысл этих матриц во всей физике, а не только в квантовой.
![](https://habrastorage.org/getpro/habr/upload_files/e49/f80/003/e49f80003f666c3c6c4ddba46290e294.png)
Разложение векторов, выражаясь математическим языком, в базисе матриц 2х2, выглядит так
![](https://habrastorage.org/getpro/habr/upload_files/bd6/7f2/c91/bd67f2c91ebd2178f87e023b5763f74d.png)
А векторное и двойное векторное произведения в таком базисе
![](https://habrastorage.org/getpro/habr/upload_files/343/1f4/583/3431f4583dcd1bd72828c7cdfa86901a.png)
![](https://habrastorage.org/getpro/habr/upload_files/f4a/582/952/f4a582952a7d0182ead5ab8f8466b906.png)
И, вуаля, можно видеть, что последнее является тождеством Лагранжа, правда перед тем как оно приводится в учебнике в таком виде, следует несколько страниц пояснений.
Так так как публикация не должна быть слишком длинной, вопрос базиса в матрицах 2х2 это тема для отдельного экскурса в линейную алгебру. Этот вопрос выходит за рамки данной статьи. Как и вопрос того, что в англоязычной статье в Википедии «Cross product»
Подведем итог: есть нереально удобный матаппарат, по сравнению с векторной геометрией, и им крайне мало кто пока пользуется (я узнавал у знакомых в МФТИ и МГТУ). И причин тому много. А ведь, даже в этой небольшой публикации: есть простой способ делать операцию сопряжения, есть возможность переставлять векторы в любом виде произведений, есть скалярное произведение без потери информации о координатах проекций (если все-таки не пользоваться необдумано свойством)
![](https://habrastorage.org/getpro/habr/upload_files/a8e/f5b/5a2/a8ef5b5a2d149dc5abe5a0075ef954d8.png)
и все с понятной геометрической интерпретацией, при желании ее получить. Применять же можно, хоть в образовательных целях, хоть в практических, для любого направления физики связаного с векторным инструментарием.
Ссылки на источники:
1. «От алгебры Клиффорда до атома водорода» Г.Казанова, 1997.
3. «Геометрическая алгебра — язык творческого мышления»
4. «О спинорах человеческим языком»
5. «Единый математический язык для физики и инженерного искусства в 21 веке»
6. «Матрицы Паули»
7. «Векторное произведение» и «Cross product»
8. Мне лично очень помогло: «Основы теории алгебр Клиффорда и спиноров» Д.С. Широков.»