При первой же попытке рассмотрения гиперкомплексных чисел в качестве
основания для соответствующей геометрии возникает желание найти в
гиперкомплексных числах аналоги геометрических понятий. И одной из первых
трудностей становится поиск аналога скалярного произведения. Если в геометрии
есть проекция отрезка, в векторной алгебре есть скалярное произведение, то чему
же это понятие соответствует в гиперкомплексных числах?
Стремление к общности определения наталкивается на ряд понятий, которые оказались введены в классическом подходе в виде, как говорят студенты, “подгонки”. И скалярное произведение, и сопряжение, как оказалось, были введены в математику аксиоматически и теоремы, использовавшие их определение, естественным образом подтвердили их свойства, вытекающие однозначным образом из их определения.
Классическая форма (билинейная форма) была использована, например, в теореме Гурвица и тем самым было введено ограничение на набор рассматриваемых алгебр. Дальнейшие попытки развития теории гиперкомплексных алгебр пошли не по пути рассмотрения свойств алгебр, образующихся путем удвоения и использования этих свойств, а по пути рассмотрения алгебр над полями со все более глубокой их структуризацией.
Мне хотелось бы до конца выяснить вопрос - что является аналогом скалярного произведения в гиперкомплексных числах и, сравнив два подхода, выяснить, где находятся белые пятна классического подхода. И скромно предположить направление исследований, которое может дать, возможно, полезные в технике и физике результаты.
Скалярное же произведение в классической геометрии, определяемое в виде билинейной формы, к гиперкомплексным числам не подходит в общем случае, поскольку автоматически означает и требование билинейности квадрата модуля. А таким требованиям отвечает меньшая часть алгебр. Остальные имеют определение 4-й степени модуля в виде 4-х линейной формы, или, возможно, еще более высокого порядка.
В этой статье и предпринимается попытка отыскания формально общего определения скалярного произведения в форме, допускающей его применение к таким алгебрам с 4-х линейными формами.
Возьмем на плоскости два вектора $$ \begin{array}{c} \vec{x}=x_1\vec{i}+x_2\vec{j}\\ \vec{y}=y_1\vec{i}+y_2\vec{j}\\ \end{array} $$ Обозначим концы данных векторов соответственно через $X$ и $Y$. Из формулы для расстояния между двумя точками имеем: $$ \begin{array}{c} \left|XY\right|^2=(y_1-x_1)^2+(y_2-x_2)^2 \\ \left|OX\right|^2=x_1^2+x_2^2 \\ \left|OY\right|^2=y_1^2+y_2^2 \end{array} $$ откуда следует $$ \left|OX\right|^2+\left|OY\right|^2-\left|XY\right|^2= 2(x_1y_1+x_2y_2) $$ Из этого равенства, если учесть теорему Пифагора, легко увидеть, что необходимым и достаточным условием перпендикулярности $\vec{x}$ и $\vec{y}$ является $$ x_1y_1+x_2y_2 = 0 $$ Заметим, что если это же рассуждение применить к векторам не на плоскости, а в пространстве, то получим условие перпендикулярности в аналогичной форме: $$ x_1y_1+x_2y_2+x_3y_3 = 0 $$ Найденная формула наводит на мысль связать с каждой парой векторов $\vec{x}$ и $\vec{y}$ на плоскости число $$ x_1y_1+x_2y_2 $$ а в пространстве - число $$ x_1y_1+x_2y_2+x_3y_3 $$ Это число в геометрии называют скалярным произведением векторов $\vec{x}$ и $\vec{y}$ и обозначают $(x,y)$. Заметим, что длина произвольного вектора $x$ выражается через скалярное произведение. А именно, в случае плоскости $$ \left|x\right|=\sqrt{x_1^2+x_2^2} $$ а в случае пространства $$ \left|x\right|=\sqrt{x_1^2+x_2^2+x_3^2} $$ Вышеприведенный ход рассуждений взят из книги [1] и является своего рода образцом. Отмечу еще раз, что скалярное произведение вводится на основе теоремы Пифагора, а не наоборот, как иногда пытаются доказать ленивые студенты.
К основным свойствам скалярного произведения относят:
Определение. Будем говорить, что в $n$ - мерном векторном пространстве $A_n$ задано скалярное произведение, если каждым двум векторам $x$ и $y$ сопоставлено некоторое действительное число - обозначим его $(x,y)$ - так, что выполнены свойства 1), 2), 3), 4). Число $(x,y)$ будем называть скалярным произведением вектора $x$ на вектор $y$.
В более общем виде скалярное произведение определяется как $$ (x,y)=\sum\limits_{i,j}(a_i,a_j) $$ где $a_i$ - базисные вектора
Величины $$ g_{ij}=(ai,a_j) $$ являются постоянными числами, зависящими только от выбранного базиса. Таким образом, если выбран базис, то $$ (x,y)=\sum\limits_{i,j}g_{ij}x_iy_j $$ Вышеприведенное классическое определение скалярного произведения сыграло в математике своего рода роль фундамента, причем весьма прочного и основательного. И к большому сожалению такой подход не дал результатов в финслеровых геометриях, когда величина вектора определяется не через билинейную форму, а через $n$ - линейную.
Для введения определения скалярного произведения в форме, допустимой к использованию, рассмотрим принцип формирования проекции и попробуем ее формализовать. Обратим внимание на обычные вектора в 2-х или 3-х мерном пространстве.
Проекцией назовем величину, равную расстоянию от начала координат до точки пересечения вектора $A$ с перпендикуляром, построенным на него из точки $B$. Теперь представим себе, что пространство - это пространство компонент гиперкомплексного числа, и значит построить перпендикуляр мы пока не можем, поскольку это понятие еще не определено.
Теперь повернем оба наших вектора так, чтобы вектор $A$ совпал с одной из осей. В этом случае проекция вектора $B$ на вектор $A$ определяется особенно просто - надо взять компоненту, соответствующую оси $X$, и эта величина и будет проекцией.
Для того, чтобы этот метода работал в произвольно взятой системе гиперкомплексных чисел Кэли - Диксона, выберем в качестве такой целевой оси для доворота действительную ось, поскольку в любой алгебре Кэли - Диксона определена действительная компонента.
Отметим тот факт, что поворот должен осуществляться в плоскости, проходящей через действительную ось и мы можем использовать механизм скалярно - пространственных поворотов, описанный в работе [2]. В случае использования алгебр, коммутативных по умножению, поворот может быть осуществлен так же, как на обычной комплексной плоскости, путем простого умножения на оператор поворота.
Будем искать оператор поворота в виде $$ X'=aXa $$ Будучи примененным к вектору $A$, этот поворот должен дать действительное число: $$ k=aAa $$ Несложно видеть, что этому уравнению удовлетворяет решение $$ \begin{array}{c} a=\overline{\sqrt{A}} \\ k=\overline{\sqrt{A}}\sqrt{A}\sqrt{A}\overline{\sqrt{A}}=\left|A\right|^2 \end{array} $$ Или, иначе говоря, сам вектор $A$ и задает оператор поворота, на который следует его повернуть, чтобы получить действительное число.
Применив этот оператор поворота к вектору $B$, получим: $$ B'=\overline{\sqrt{A}}B\overline{\sqrt{A}} $$ И для того, чтобы получить проекцию, следует взять действительную часть вектора $B'$ и провести соответствующую нормировку, поскольку указанным поворотом мы исказили величину модуля вектора $B$. $$ Sc(A,B)=\frac{\mathrm{Re}\left(\overline{\sqrt{A}}B\overline{\sqrt{A}}\right)}{\left|A\right|} $$ К числу весьма важных свойств скалярного произведения относится: $$ (x,x)=\left|x\right|^2 $$ Поэтому, стремясь найти для гиперкомплексных чисел полную аналогию скалярному произведению, мы не будем использовать нормировок. В этом случае определенное выше правило выглядит как: $$ Sc(A,B)=\mathrm{Re}\left(\overline{\sqrt{A}}B\overline{\sqrt{A}}\right) $$ И для случая $A=B$ переходит в $$ Sc(A,A)=\left|A\right|^2 $$ Перечислим еще раз свойства скалярного произведения в классическом варианте и найдем соответствия им в случае гиперкомплексных чисел:
Тут следует сделать оговорку, что в гиперкомплексных алгебрах случай идеалов вовсе не является исключением, поэтому для скалярной проекции гиперкомплексных чисел вполне возможно снять это условие и разрешить $$ Sc(A,A)=0 $$ при $A\neq 0$.
Рассмотрим второе свойство скалярного произведения $$ (x,y)=(y,x) $$ В случае построения аналогии в нашем случае следует доказать, что $$ \mathrm{Re}\left(\overline{\sqrt{A}}B\overline{\sqrt{A}}\right)= \mathrm{Re}\left(\overline{\sqrt{B}}A\overline{\sqrt{B}}\right) $$ Для этого докажем промежуточные равенства: $$ \begin{array}{c} a) \mathrm{Re}(a)=\mathrm{Re}(\overline{a}) \\ b) \mathrm{Re}(ab)=\mathrm{Re}(ba) \end{array} $$ Для доказательства равенства a) рассмотрим коэффициенты таблицы произведения мнимых единиц в алгебрах Кэли - Диксона: $$ e_k=\alpha_{ijk}e_ie_j $$ где через $e_i$ обозначены мнимые единицы гиперкомплексной алгебры, $\alpha$ - коэффициенты произведений. Для всех гиперкомплексных алгебр Кэли - Диксона, определенных подобной таблицей произведений, выполняется $$ \begin{array}{c} 1\cdot e_i = e_i \\ e_i\cdot e_i=\left\{0,1,-1\right\} \\ e_j\cdot e_j\neq\left\{1,-1\right\}\ \forall\ i\neq j \end{array} $$ Таким образом, в произведении $x''$ в действительной части $\mathrm{Re}(x'')$ будут присутствовать только четные степени $x_i$ при $i\neq 0$, а нечетных не будет.
Обозначив через $\overline{X}$ элемент алгебры, алгебраически сопряженный элементу $X$, а через $\hat{X}$ - сопряжение путем смены знаков у всех коэффициентов при мнимых единицах, получим: $$ \begin{array}{c} X=e^{\varphi} \\ \overline{X}=e^{\hat{\varphi}} \end{array} $$ Сопряжение $\hat{X}$ еще можно назвать фазовым сопряжением, поскольку сопрягяется фаза числа. Поскольку выражение для $e^{\varphi}$ определено в виде полиномиального ряда, то в $\mathrm{Re}\left(e^{\varphi}\right)$ будут входить только четные функции от мнимых компонентов фазы числа $X$. Поскольку функции четные, например $ch$ или $cos$, то действительная часть $\mathrm{x}$ при алгебраическом сопряжении не меняется: $$ \mathrm{Re}\left(x\right)=\mathrm{Re}\left(e^{\varphi}\right)= \mathrm{Re}\left(e^{\hat{\varphi}}\right)=\mathrm{Re}\left(\overline{x}\right) $$ Для доказательства промежуточного равенства b) рассмотрим также таблицу произведений мнимых единиц алгебр Кэли - Диксона: $$ e_i\cdot e_j=\left\{0,1,-1\right\} $$ Поскольку раскрыв произведение $ab$ мы получим гиперкомплексное число, рассмотрим образование его действительной части. В нее входят:
- произведение действительных частей $a$ и $b$.
- произведение одинаковых мнимых компонентов $a$ и $b$.
Поскольку для алгебр Кэли - Диксона нельзя получить действительного числа из произведений $$ \begin{array}{c} 1\cdot e_i = e_i \\ e_j\cdot e_j\neq\left\{1,-1\right\}\ \forall\ i\neq j \end{array} $$ а две вышеприведенные составляющие не зависят от порядка сомножителей $a$ и $b$, то, следовательно, $$ \mathrm{Re}(ab)=\mathrm{ba} $$ Для доказательства соответствия предложенной формы скалярной проекции второму свойству скалярного произведения просто преобразуем выражение: $$ \begin{array}{c} \mathrm{Re}\left(\overline{\sqrt{y}}x\overline{\sqrt{y}}\right)= \mathrm{Re}\left(\overline{\sqrt{y}}\sqrt{x}\sqrt{x}\overline{\sqrt{y}}\right) \stackrel{a}{\rightarrow} \mathrm{Re}\left(\overline{\overline{\sqrt{y}}\sqrt{x}\sqrt{x}\overline{\sqrt{y}}}\right) = \\ \mathrm{Re}\left(\sqrt{y}\overline{\sqrt{x}}\overline{\sqrt{x}}\sqrt{y}\right) \stackrel{b}{\rightarrow} \mathrm{Re}\left(\overline{\sqrt{x}}\sqrt{y}\sqrt{y}\overline{\sqrt{x}}\right)= \mathrm{Re}\left(\overline{\sqrt{x}}y\overline{\sqrt{x}}\right) \end{array} $$ Таким образом, если скалярному произведению $(x,y)$ сопоставлять $\mathrm{Re}\left(\overline{\sqrt{y}}x\overline{\sqrt{y}}\right)$, то правило коммутативности скалярного произведения выполняется.
Соответствие предлагаемой формы скалярной проекции третьему свойству скалярного произведения проверяется непосредственно: если $k$ - действительное число, то $$ \mathrm{Re}\left(kx\right)=k\mathrm{Re}\left(x\right) $$ поэтому $$ \mathrm{Re}\left(xk\overline{y}\right)= k\mathrm{Re}\left(x\overline{y}\right) $$ Для проверки соответствия четвертому свойству используем второе и проверим: $$ (x,y+z)=(y+z,x)=(y,x)+(z,x) $$ Распишем скалярную проекцию: $$ \mathrm(Re)\left(\overline{\sqrt{x}}(y+z)\overline{\sqrt{x}}\right)= \mathrm(Re)\left(\overline{\sqrt{x}}y\overline{\sqrt{x}}+\overline{\sqrt{x}}z\overline{\sqrt{x}}\right) $$ Поскольку для алгебр Кэли - Диксона сложение определено покомпонентно, то для любых двух чисел $a$ и $b$: $$ \mathrm{Re}(a-b)=\mathrm{Re}(a)-\mathrm{Re}(b) $$ Таким образом, введенная нами форма скалярной проекции соответствует четвертому свойству скалярного произведения: $$ \mathrm(Re)\left(\overline{\sqrt{x}}(y+z)\overline{\sqrt{x}}\right)= \mathrm(Re)\left(\overline{\sqrt{x}}+\overline{\sqrt{x}}\right)+ \mathrm(Re)\left(\overline{\sqrt{x}}z\overline{\sqrt{x}}\right) $$
В стандартном курсе векторной алгебры после введения понятия скалярного произведения вводится понятие ортогонального преобразования. Будем следовать классике. Преобразование называется ортогональным, если скалярное произведение двух векторов равно скалярному произведению их образов после преобразования. Обозначив преобразование вектора как $F(x)$, получим: $$ \left(F(x),F(y)\right)=(x,y) $$ Ортогональным это преобразование называется из-за того, что если $(x,y)=0$, то и $$ \left(F(x),F(y)\right)=0 $$ То есть если два вектора были ортогональны, то будут ортогональны и их образы после такого преобразования.
Ясно, что ортогональное преобразование сохраняет и длину любого вектора: $$ \left|F(x)\right|=\left|x\right| $$ В алгебрах гиперкомплексных чисел одним из видов преобразования является произведение гиперкомплексного числа $x$ на другое гиперкомплексное число $a$. Покажем, что в случае $|a|=1$ такое произведение задает ортогональное преобразование, или что $$ \mathrm{Re}\left(ax\overline{y}\overline{a}\right)= \mathrm{Re}\left(x\overline{y}\right) $$ и что при преобразовании $$ \begin{array}{c} x\rightarrow ax \\ y\rightarrow ay \\ \mathrm{Re}\left(\overline{\sqrt{y}}x\overline{\sqrt{y}}\right) \rightarrow \mathrm{Re}\left(\overline{\sqrt{y}}x\overline{\sqrt{y}}\right) \end{array} $$ Для этого докажем равенство: $$ \begin{array}{c} \mathrm(Re)(abc)=\mathrm{Re}(cab)\;: \\ \mathrm(Re)(abc)=\mathrm(Re)\left(\overline{abc}\right)= \mathrm(Re)\left(\overline{c}\overline{b}\overline{a}\right)= \mathrm(Re)\left(\overline{c}\overline{a}\overline{b}\right)= \\ \mathrm(Re)\left(\overline{ab}\overline{c}\right)= \mathrm(Re)\left(\overline{\overline{ab}\overline{c}}\right)= \mathrm(Re)\left(\overline{\overline{c}}\overline{\overline{ab}}\right)= \mathrm(Re)\left(cab\right) \end{array} $$ Поэтому выражение скалярной проекции равно: $$ \mathrm{Re}\left(\overline{\sqrt{y}}x\overline{\sqrt{y}}\right)= \mathrm{Re}\left(\overline{\sqrt{y}}\overline{\sqrt{y}x}\right)= \mathrm{Re}\left(x\overline{\sqrt{y}}\overline{\sqrt{y}}\right) $$ Поскольку $\overline{\sqrt{y}}\overline{\sqrt{y}}=\overline{\overline{\sqrt{y}}\overline{\sqrt{y}}}$, то получим: $$ \mathrm{Re}\left(ax\overline{y}\overline{a}\right)= \mathrm{Re}\left(\overline{a}ax\overline{y}\right)= \mathrm{Re}\left(x\overline{y}\right)\left|a\right|^2 $$ Таким образом, при задании преобразования числа $x$ как умножения слева на число $|a|=1$ мы получаем ортогональное преобразование, сохраняющее модуль числа $x$ и скалярную проекцию векторов $ax$ и $ay$.
То же самое можно доказать и для умножения справа на число $a$, где $|a|=1$. $$ \mathrm{Re}\left((xa)\left(\overline{y}\overline{a}\right)\right)= \mathrm{Re}\left(xa\overline{a}\overline{y}\right)= \mathrm{Re}\left(x\overline{y}\right)\left|a\right|^2 $$
Нам удалось найти для гиперкомплексных алгебр аналог скалярного произведения, введенного в векторной алгебре. Его удалось дать в достаточно общей форме, распространимой на ассоциативные гиперкомплексные алгебры Кэли - Диксона. Полученная форма полностью соответствует четырем основным свойствам скалярного произведения. Проанализировав, в каком именно месте рассуждений мы отошли от классического варианта, несложно обнаружить, что мы нигде не потребовали и не использовали равенства: $$ \overline{a+b}=\overline{a}+\overline{b} $$ Если бы мы потребовали его выполнения, то мы естественным образом сузили бы набор рассматриваемых гиперкомплексных алгебр. Точно так же, как это было сделано в теореме Гурвица: Любая нормированная алгебра с единицей изоморфна одной из четырех алгебр - действительных чисел, комплексных чисел, кватернионов или октав. Более того, равенство $\overline{a+b}=\overline{a}+\overline{b}$ у него считается очевидным.
Автор надеется, что некоторая часть этой статьи может оказаться полезной и при работе с финслеровыми геометриями.
Использованные материалы
1. И. Л. Кантор, А. С. Солодовников. Гиперкомплексные числа, М, Наука, 1973.
2. Е. А. Каратаев. Скалярно - пространственные повороты в кватернионах.
Стремление к общности определения наталкивается на ряд понятий, которые оказались введены в классическом подходе в виде, как говорят студенты, “подгонки”. И скалярное произведение, и сопряжение, как оказалось, были введены в математику аксиоматически и теоремы, использовавшие их определение, естественным образом подтвердили их свойства, вытекающие однозначным образом из их определения.
Классическая форма (билинейная форма) была использована, например, в теореме Гурвица и тем самым было введено ограничение на набор рассматриваемых алгебр. Дальнейшие попытки развития теории гиперкомплексных алгебр пошли не по пути рассмотрения свойств алгебр, образующихся путем удвоения и использования этих свойств, а по пути рассмотрения алгебр над полями со все более глубокой их структуризацией.
Мне хотелось бы до конца выяснить вопрос - что является аналогом скалярного произведения в гиперкомплексных числах и, сравнив два подхода, выяснить, где находятся белые пятна классического подхода. И скромно предположить направление исследований, которое может дать, возможно, полезные в технике и физике результаты.
Скалярное же произведение в классической геометрии, определяемое в виде билинейной формы, к гиперкомплексным числам не подходит в общем случае, поскольку автоматически означает и требование билинейности квадрата модуля. А таким требованиям отвечает меньшая часть алгебр. Остальные имеют определение 4-й степени модуля в виде 4-х линейной формы, или, возможно, еще более высокого порядка.
В этой статье и предпринимается попытка отыскания формально общего определения скалярного произведения в форме, допускающей его применение к таким алгебрам с 4-х линейными формами.
1. Классический подход
Возьмем на плоскости два вектора $$ \begin{array}{c} \vec{x}=x_1\vec{i}+x_2\vec{j}\\ \vec{y}=y_1\vec{i}+y_2\vec{j}\\ \end{array} $$ Обозначим концы данных векторов соответственно через $X$ и $Y$. Из формулы для расстояния между двумя точками имеем: $$ \begin{array}{c} \left|XY\right|^2=(y_1-x_1)^2+(y_2-x_2)^2 \\ \left|OX\right|^2=x_1^2+x_2^2 \\ \left|OY\right|^2=y_1^2+y_2^2 \end{array} $$ откуда следует $$ \left|OX\right|^2+\left|OY\right|^2-\left|XY\right|^2= 2(x_1y_1+x_2y_2) $$ Из этого равенства, если учесть теорему Пифагора, легко увидеть, что необходимым и достаточным условием перпендикулярности $\vec{x}$ и $\vec{y}$ является $$ x_1y_1+x_2y_2 = 0 $$ Заметим, что если это же рассуждение применить к векторам не на плоскости, а в пространстве, то получим условие перпендикулярности в аналогичной форме: $$ x_1y_1+x_2y_2+x_3y_3 = 0 $$ Найденная формула наводит на мысль связать с каждой парой векторов $\vec{x}$ и $\vec{y}$ на плоскости число $$ x_1y_1+x_2y_2 $$ а в пространстве - число $$ x_1y_1+x_2y_2+x_3y_3 $$ Это число в геометрии называют скалярным произведением векторов $\vec{x}$ и $\vec{y}$ и обозначают $(x,y)$. Заметим, что длина произвольного вектора $x$ выражается через скалярное произведение. А именно, в случае плоскости $$ \left|x\right|=\sqrt{x_1^2+x_2^2} $$ а в случае пространства $$ \left|x\right|=\sqrt{x_1^2+x_2^2+x_3^2} $$ Вышеприведенный ход рассуждений взят из книги [1] и является своего рода образцом. Отмечу еще раз, что скалярное произведение вводится на основе теоремы Пифагора, а не наоборот, как иногда пытаются доказать ленивые студенты.
К основным свойствам скалярного произведения относят:
- $(x,x)\geq 0$, причем $(x,x)=0$ только при $x=0$
- $(x,y)=(y,x)$
- $(x,ky)=k(x,y)$, где $k$ - любое действительное число
- $(x,y+z)=(x,y)+(x,z)$
Определение. Будем говорить, что в $n$ - мерном векторном пространстве $A_n$ задано скалярное произведение, если каждым двум векторам $x$ и $y$ сопоставлено некоторое действительное число - обозначим его $(x,y)$ - так, что выполнены свойства 1), 2), 3), 4). Число $(x,y)$ будем называть скалярным произведением вектора $x$ на вектор $y$.
В более общем виде скалярное произведение определяется как $$ (x,y)=\sum\limits_{i,j}(a_i,a_j) $$ где $a_i$ - базисные вектора
Величины $$ g_{ij}=(ai,a_j) $$ являются постоянными числами, зависящими только от выбранного базиса. Таким образом, если выбран базис, то $$ (x,y)=\sum\limits_{i,j}g_{ij}x_iy_j $$ Вышеприведенное классическое определение скалярного произведения сыграло в математике своего рода роль фундамента, причем весьма прочного и основательного. И к большому сожалению такой подход не дал результатов в финслеровых геометриях, когда величина вектора определяется не через билинейную форму, а через $n$ - линейную.
2. Геометрическая трактовка проекции
Для введения определения скалярного произведения в форме, допустимой к использованию, рассмотрим принцип формирования проекции и попробуем ее формализовать. Обратим внимание на обычные вектора в 2-х или 3-х мерном пространстве.
Проекцией назовем величину, равную расстоянию от начала координат до точки пересечения вектора $A$ с перпендикуляром, построенным на него из точки $B$. Теперь представим себе, что пространство - это пространство компонент гиперкомплексного числа, и значит построить перпендикуляр мы пока не можем, поскольку это понятие еще не определено.
Теперь повернем оба наших вектора так, чтобы вектор $A$ совпал с одной из осей. В этом случае проекция вектора $B$ на вектор $A$ определяется особенно просто - надо взять компоненту, соответствующую оси $X$, и эта величина и будет проекцией.
Для того, чтобы этот метода работал в произвольно взятой системе гиперкомплексных чисел Кэли - Диксона, выберем в качестве такой целевой оси для доворота действительную ось, поскольку в любой алгебре Кэли - Диксона определена действительная компонента.
Отметим тот факт, что поворот должен осуществляться в плоскости, проходящей через действительную ось и мы можем использовать механизм скалярно - пространственных поворотов, описанный в работе [2]. В случае использования алгебр, коммутативных по умножению, поворот может быть осуществлен так же, как на обычной комплексной плоскости, путем простого умножения на оператор поворота.
3. Скалярная проекция гиперкомплексных чисел
Будем искать оператор поворота в виде $$ X'=aXa $$ Будучи примененным к вектору $A$, этот поворот должен дать действительное число: $$ k=aAa $$ Несложно видеть, что этому уравнению удовлетворяет решение $$ \begin{array}{c} a=\overline{\sqrt{A}} \\ k=\overline{\sqrt{A}}\sqrt{A}\sqrt{A}\overline{\sqrt{A}}=\left|A\right|^2 \end{array} $$ Или, иначе говоря, сам вектор $A$ и задает оператор поворота, на который следует его повернуть, чтобы получить действительное число.
Применив этот оператор поворота к вектору $B$, получим: $$ B'=\overline{\sqrt{A}}B\overline{\sqrt{A}} $$ И для того, чтобы получить проекцию, следует взять действительную часть вектора $B'$ и провести соответствующую нормировку, поскольку указанным поворотом мы исказили величину модуля вектора $B$. $$ Sc(A,B)=\frac{\mathrm{Re}\left(\overline{\sqrt{A}}B\overline{\sqrt{A}}\right)}{\left|A\right|} $$ К числу весьма важных свойств скалярного произведения относится: $$ (x,x)=\left|x\right|^2 $$ Поэтому, стремясь найти для гиперкомплексных чисел полную аналогию скалярному произведению, мы не будем использовать нормировок. В этом случае определенное выше правило выглядит как: $$ Sc(A,B)=\mathrm{Re}\left(\overline{\sqrt{A}}B\overline{\sqrt{A}}\right) $$ И для случая $A=B$ переходит в $$ Sc(A,A)=\left|A\right|^2 $$ Перечислим еще раз свойства скалярного произведения в классическом варианте и найдем соответствия им в случае гиперкомплексных чисел:
- $(x,x)\geq 0$, причем $(x,x)=0$ только при $x=0$
- $(x,y)=(y,x)$
- $(x,ky)=k(x,y)$, где $k$ - любое действительное число
- $(x,y+z)=(x,y)+(x,z)$
Тут следует сделать оговорку, что в гиперкомплексных алгебрах случай идеалов вовсе не является исключением, поэтому для скалярной проекции гиперкомплексных чисел вполне возможно снять это условие и разрешить $$ Sc(A,A)=0 $$ при $A\neq 0$.
Рассмотрим второе свойство скалярного произведения $$ (x,y)=(y,x) $$ В случае построения аналогии в нашем случае следует доказать, что $$ \mathrm{Re}\left(\overline{\sqrt{A}}B\overline{\sqrt{A}}\right)= \mathrm{Re}\left(\overline{\sqrt{B}}A\overline{\sqrt{B}}\right) $$ Для этого докажем промежуточные равенства: $$ \begin{array}{c} a) \mathrm{Re}(a)=\mathrm{Re}(\overline{a}) \\ b) \mathrm{Re}(ab)=\mathrm{Re}(ba) \end{array} $$ Для доказательства равенства a) рассмотрим коэффициенты таблицы произведения мнимых единиц в алгебрах Кэли - Диксона: $$ e_k=\alpha_{ijk}e_ie_j $$ где через $e_i$ обозначены мнимые единицы гиперкомплексной алгебры, $\alpha$ - коэффициенты произведений. Для всех гиперкомплексных алгебр Кэли - Диксона, определенных подобной таблицей произведений, выполняется $$ \begin{array}{c} 1\cdot e_i = e_i \\ e_i\cdot e_i=\left\{0,1,-1\right\} \\ e_j\cdot e_j\neq\left\{1,-1\right\}\ \forall\ i\neq j \end{array} $$ Таким образом, в произведении $x''$ в действительной части $\mathrm{Re}(x'')$ будут присутствовать только четные степени $x_i$ при $i\neq 0$, а нечетных не будет.
Обозначив через $\overline{X}$ элемент алгебры, алгебраически сопряженный элементу $X$, а через $\hat{X}$ - сопряжение путем смены знаков у всех коэффициентов при мнимых единицах, получим: $$ \begin{array}{c} X=e^{\varphi} \\ \overline{X}=e^{\hat{\varphi}} \end{array} $$ Сопряжение $\hat{X}$ еще можно назвать фазовым сопряжением, поскольку сопрягяется фаза числа. Поскольку выражение для $e^{\varphi}$ определено в виде полиномиального ряда, то в $\mathrm{Re}\left(e^{\varphi}\right)$ будут входить только четные функции от мнимых компонентов фазы числа $X$. Поскольку функции четные, например $ch$ или $cos$, то действительная часть $\mathrm{x}$ при алгебраическом сопряжении не меняется: $$ \mathrm{Re}\left(x\right)=\mathrm{Re}\left(e^{\varphi}\right)= \mathrm{Re}\left(e^{\hat{\varphi}}\right)=\mathrm{Re}\left(\overline{x}\right) $$ Для доказательства промежуточного равенства b) рассмотрим также таблицу произведений мнимых единиц алгебр Кэли - Диксона: $$ e_i\cdot e_j=\left\{0,1,-1\right\} $$ Поскольку раскрыв произведение $ab$ мы получим гиперкомплексное число, рассмотрим образование его действительной части. В нее входят:
- произведение действительных частей $a$ и $b$.
- произведение одинаковых мнимых компонентов $a$ и $b$.
Поскольку для алгебр Кэли - Диксона нельзя получить действительного числа из произведений $$ \begin{array}{c} 1\cdot e_i = e_i \\ e_j\cdot e_j\neq\left\{1,-1\right\}\ \forall\ i\neq j \end{array} $$ а две вышеприведенные составляющие не зависят от порядка сомножителей $a$ и $b$, то, следовательно, $$ \mathrm{Re}(ab)=\mathrm{ba} $$ Для доказательства соответствия предложенной формы скалярной проекции второму свойству скалярного произведения просто преобразуем выражение: $$ \begin{array}{c} \mathrm{Re}\left(\overline{\sqrt{y}}x\overline{\sqrt{y}}\right)= \mathrm{Re}\left(\overline{\sqrt{y}}\sqrt{x}\sqrt{x}\overline{\sqrt{y}}\right) \stackrel{a}{\rightarrow} \mathrm{Re}\left(\overline{\overline{\sqrt{y}}\sqrt{x}\sqrt{x}\overline{\sqrt{y}}}\right) = \\ \mathrm{Re}\left(\sqrt{y}\overline{\sqrt{x}}\overline{\sqrt{x}}\sqrt{y}\right) \stackrel{b}{\rightarrow} \mathrm{Re}\left(\overline{\sqrt{x}}\sqrt{y}\sqrt{y}\overline{\sqrt{x}}\right)= \mathrm{Re}\left(\overline{\sqrt{x}}y\overline{\sqrt{x}}\right) \end{array} $$ Таким образом, если скалярному произведению $(x,y)$ сопоставлять $\mathrm{Re}\left(\overline{\sqrt{y}}x\overline{\sqrt{y}}\right)$, то правило коммутативности скалярного произведения выполняется.
Соответствие предлагаемой формы скалярной проекции третьему свойству скалярного произведения проверяется непосредственно: если $k$ - действительное число, то $$ \mathrm{Re}\left(kx\right)=k\mathrm{Re}\left(x\right) $$ поэтому $$ \mathrm{Re}\left(xk\overline{y}\right)= k\mathrm{Re}\left(x\overline{y}\right) $$ Для проверки соответствия четвертому свойству используем второе и проверим: $$ (x,y+z)=(y+z,x)=(y,x)+(z,x) $$ Распишем скалярную проекцию: $$ \mathrm(Re)\left(\overline{\sqrt{x}}(y+z)\overline{\sqrt{x}}\right)= \mathrm(Re)\left(\overline{\sqrt{x}}y\overline{\sqrt{x}}+\overline{\sqrt{x}}z\overline{\sqrt{x}}\right) $$ Поскольку для алгебр Кэли - Диксона сложение определено покомпонентно, то для любых двух чисел $a$ и $b$: $$ \mathrm{Re}(a-b)=\mathrm{Re}(a)-\mathrm{Re}(b) $$ Таким образом, введенная нами форма скалярной проекции соответствует четвертому свойству скалярного произведения: $$ \mathrm(Re)\left(\overline{\sqrt{x}}(y+z)\overline{\sqrt{x}}\right)= \mathrm(Re)\left(\overline{\sqrt{x}}+\overline{\sqrt{x}}\right)+ \mathrm(Re)\left(\overline{\sqrt{x}}z\overline{\sqrt{x}}\right) $$
4. Гиперкомплексное произведение как ортогональное преобразование
В стандартном курсе векторной алгебры после введения понятия скалярного произведения вводится понятие ортогонального преобразования. Будем следовать классике. Преобразование называется ортогональным, если скалярное произведение двух векторов равно скалярному произведению их образов после преобразования. Обозначив преобразование вектора как $F(x)$, получим: $$ \left(F(x),F(y)\right)=(x,y) $$ Ортогональным это преобразование называется из-за того, что если $(x,y)=0$, то и $$ \left(F(x),F(y)\right)=0 $$ То есть если два вектора были ортогональны, то будут ортогональны и их образы после такого преобразования.
Ясно, что ортогональное преобразование сохраняет и длину любого вектора: $$ \left|F(x)\right|=\left|x\right| $$ В алгебрах гиперкомплексных чисел одним из видов преобразования является произведение гиперкомплексного числа $x$ на другое гиперкомплексное число $a$. Покажем, что в случае $|a|=1$ такое произведение задает ортогональное преобразование, или что $$ \mathrm{Re}\left(ax\overline{y}\overline{a}\right)= \mathrm{Re}\left(x\overline{y}\right) $$ и что при преобразовании $$ \begin{array}{c} x\rightarrow ax \\ y\rightarrow ay \\ \mathrm{Re}\left(\overline{\sqrt{y}}x\overline{\sqrt{y}}\right) \rightarrow \mathrm{Re}\left(\overline{\sqrt{y}}x\overline{\sqrt{y}}\right) \end{array} $$ Для этого докажем равенство: $$ \begin{array}{c} \mathrm(Re)(abc)=\mathrm{Re}(cab)\;: \\ \mathrm(Re)(abc)=\mathrm(Re)\left(\overline{abc}\right)= \mathrm(Re)\left(\overline{c}\overline{b}\overline{a}\right)= \mathrm(Re)\left(\overline{c}\overline{a}\overline{b}\right)= \\ \mathrm(Re)\left(\overline{ab}\overline{c}\right)= \mathrm(Re)\left(\overline{\overline{ab}\overline{c}}\right)= \mathrm(Re)\left(\overline{\overline{c}}\overline{\overline{ab}}\right)= \mathrm(Re)\left(cab\right) \end{array} $$ Поэтому выражение скалярной проекции равно: $$ \mathrm{Re}\left(\overline{\sqrt{y}}x\overline{\sqrt{y}}\right)= \mathrm{Re}\left(\overline{\sqrt{y}}\overline{\sqrt{y}x}\right)= \mathrm{Re}\left(x\overline{\sqrt{y}}\overline{\sqrt{y}}\right) $$ Поскольку $\overline{\sqrt{y}}\overline{\sqrt{y}}=\overline{\overline{\sqrt{y}}\overline{\sqrt{y}}}$, то получим: $$ \mathrm{Re}\left(ax\overline{y}\overline{a}\right)= \mathrm{Re}\left(\overline{a}ax\overline{y}\right)= \mathrm{Re}\left(x\overline{y}\right)\left|a\right|^2 $$ Таким образом, при задании преобразования числа $x$ как умножения слева на число $|a|=1$ мы получаем ортогональное преобразование, сохраняющее модуль числа $x$ и скалярную проекцию векторов $ax$ и $ay$.
То же самое можно доказать и для умножения справа на число $a$, где $|a|=1$. $$ \mathrm{Re}\left((xa)\left(\overline{y}\overline{a}\right)\right)= \mathrm{Re}\left(xa\overline{a}\overline{y}\right)= \mathrm{Re}\left(x\overline{y}\right)\left|a\right|^2 $$
5. Выводы
Нам удалось найти для гиперкомплексных алгебр аналог скалярного произведения, введенного в векторной алгебре. Его удалось дать в достаточно общей форме, распространимой на ассоциативные гиперкомплексные алгебры Кэли - Диксона. Полученная форма полностью соответствует четырем основным свойствам скалярного произведения. Проанализировав, в каком именно месте рассуждений мы отошли от классического варианта, несложно обнаружить, что мы нигде не потребовали и не использовали равенства: $$ \overline{a+b}=\overline{a}+\overline{b} $$ Если бы мы потребовали его выполнения, то мы естественным образом сузили бы набор рассматриваемых гиперкомплексных алгебр. Точно так же, как это было сделано в теореме Гурвица: Любая нормированная алгебра с единицей изоморфна одной из четырех алгебр - действительных чисел, комплексных чисел, кватернионов или октав. Более того, равенство $\overline{a+b}=\overline{a}+\overline{b}$ у него считается очевидным.
Автор надеется, что некоторая часть этой статьи может оказаться полезной и при работе с финслеровыми геометриями.
Использованные материалы
1. И. Л. Кантор, А. С. Солодовников. Гиперкомплексные числа, М, Наука, 1973.
2. Е. А. Каратаев. Скалярно - пространственные повороты в кватернионах.
Комментариев нет:
Отправить комментарий