2026-07-08
Коммутативная алгебра для нового декартова базиса
Приложение к статье «Новый декартов базис в модели единичного пространства»
В основной работе новый декартов базис \(\{\ep, i\ep, \em, i\em\}\) рассматривался как базис коммутативной алгебры, построенной на идемпотентах \(\ep\) и \(\em\). Такая форма особенно удобна для геометрической интерпретации, поскольку сразу разделяет пространство на две независимые комплексные плоскости.
В данном приложении рассматривается другая, эквивалентная форма той же коммутативной структуры — алгебра \(\mathcal{A}\) с базисом \(\{1,i,j,ij\}\), где \(i^2=-1\), \(j^2=1\) и \(ij=ji\). Она позволяет записывать те же элементы не через идемпотентные компоненты, а через единицу, мнимую единицу, гиперболическую единицу и их произведение. Поэтому задача приложения состоит не в замене некоммутативной алгебры на коммутативную, а в сравнении двух коммутативных представлений и выводе явных переходов между ними.
Две коммутативные формы одной алгебры
Первое представление — идемпотентное. Оно использует базис:
\[
\{\ep,\; i\ep,\; \em,\; i\em\}. \tag{1}
\]
Здесь \(\ep\) и \(\em\) — идемпотенты, а \(i\) — обычная мнимая единица. Основные правила умножения имеют вид:
\[
\ep^2=\ep,\qquad
\em^2=\em,\qquad
\ep\em=0,\qquad
i^2=-1. \tag{2}
\]
Из этих правил сразу следует, что две компоненты \(\ep\) и \(\em\) не смешиваются между собой. Поэтому произвольный элемент можно записать как сумму двух независимых комплексных частей:
\[
Z=(a+ib)\ep+(c+id)\em,
\qquad a,b,c,d\in\mathbb{R}. \tag{3}
\]
Второе представление — алгебраическое. Оно использует базис:
\[
\{1,\; i,\; j,\; ij\}. \tag{4}
\]
Умножение в этом базисе задаётся правилами:
\[
i^2=-1,\qquad
j^2=1,\qquad
(ij)^2=-1,\qquad
ij=ji. \tag{5}
\]
Следовательно, это также коммутативная ассоциативная алгебра над \(\mathbb{R}\). Произвольный элемент в ней имеет вид:
\[
Z=A+Bi+Cj+D(ij),
\qquad A,B,C,D\in\mathbb{R}. \tag{6}
\]
Обе записи описывают одну и ту же структуру, поскольку алгебра изоморфна прямой сумме двух копий комплексных чисел:
\[
\mathcal{A}\cong\mathbb{C}\oplus\mathbb{C}. \tag{7}
\]
Именно это свойство является ключевым: пространство распадается на две независимые комплексные плоскости, а разные базисы лишь по-разному отображают это разложение.
Идемпотенты через гиперболическую единицу
Связь между двумя формами задаётся через гиперболическую единицу \(j\), для которой \(j^2=1\). Идемпотенты выражаются через неё следующим образом:
\[
\ep=\frac{1+j}{2},\qquad
\em=\frac{1-j}{2}. \tag{8}
\]
Обратно, гиперболическая единица выражается через идемпотенты:
\[
j=\ep-\em,
\qquad
1=\ep+\em. \tag{9}
\]
Для произведения \(ij\) получаем:
\[
ij=i\ep-i\em. \tag{10}
\]
А для комплексных идемпотентных направлений:
\[
i\ep=\frac{i+ij}{2},
\qquad
i\em=\frac{i-ij}{2}. \tag{11}
\]
Таким образом, базис \(\{1,i,j,ij\}\) и базис \(\{\ep,i\ep,\em,i\em\}\) линейно выражаются друг через друга.
Переход между базисами
Один и тот же элемент \(Z\) можно записать в новом декартовом базисе:
\[
Z=ct\,\ep+x\,i\ep+y\,\em+z\,i\em, \tag{12}
\]
или в алгебраическом базисе:
\[
Z=A\cdot 1+B\cdot i+C\cdot j+D\cdot(ij). \tag{13}
\]
Подставляя (8) и (11) в представление (12), получаем:
\[
Z=
\frac{ct+y}{2}\cdot 1
+
\frac{x+z}{2}\cdot i
+
\frac{ct-y}{2}\cdot j
+
\frac{x-z}{2}\cdot(ij). \tag{14}
\]
Следовательно, прямой переход от координат \((ct,x,y,z)\) к коэффициентам \((A,B,C,D)\) имеет вид:
\[
\begin{cases}
A=\dfrac{ct+y}{2},\\
B=\dfrac{x+z}{2},\\
C=\dfrac{ct-y}{2},\\
D=\dfrac{x-z}{2}.
\end{cases} \tag{15}
\]
Обратный переход:
\[
\begin{cases}
ct=A+C,\\
x=B+D,\\
y=A-C,\\
z=B-D.
\end{cases} \tag{16}
\]
В матричной форме прямое преобразование записывается так:
\[
\begin{pmatrix} A \\ B \\ C \\ D \end{pmatrix}
=
\frac12
\begin{pmatrix}
1 & 0 & 1 & 0 \\
0 & 1 & 0 & 1 \\
1 & 0 & -1 & 0 \\
0 & 1 & 0 & -1
\end{pmatrix}
\begin{pmatrix} ct \\ x \\ y \\ z \end{pmatrix}. \tag{17}
\]
Обратное преобразование имеет вид:
\[
\begin{pmatrix} ct \\ x \\ y \\ z \end{pmatrix}
=
\begin{pmatrix}
1 & 0 & 1 & 0 \\
0 & 1 & 0 & 1 \\
1 & 0 & -1 & 0 \\
0 & 1 & 0 & -1
\end{pmatrix}
\begin{pmatrix} A \\ B \\ C \\ D \end{pmatrix}. \tag{18}
\]
Изоморфизм с \(\mathbb{C}\oplus\mathbb{C}\)
Из формул (8)–(11) следует, что элемент \(Z=A+Bi+Cj+D(ij)\) можно представить как пару комплексных чисел:
\[
A+Bi+Cj+D(ij)
\;\longleftrightarrow\;
\left(
(A+C)+i(B+D),\;
(A-C)+i(B-D)
\right). \tag{19}
\]
Первая комплексная компонента соответствует идемпотенту \(\ep\), а вторая — идемпотенту \(\em\):
\[
Z=
\left[(A+C)+i(B+D)\right]\ep
+
\left[(A-C)+i(B-D)\right]\em. \tag{20}
\]
Если использовать координаты \((ct,x,y,z)\), то это разложение принимает особенно простой вид:
\[
Z=(ct+ix)\ep+(y+iz)\em. \tag{21}
\]
Формула (21) показывает главное достоинство идемпотентного базиса: пространственно-временной элемент сразу распадается на две комплексные плоскости \((ct,x)\) и \((y,z)\). При этом базис \(\{1,i,j,ij\}\) показывает ту же структуру через более симметричную алгебраическую запись.
Вектор скорости и траектория движения
В основной статье движение точки задаётся вектором скорости:
\[
V(t)=c\left(\ep+\em e^{i\omega t}\right), \tag{22}
\]
где
\(e^{i\omega t}=\cos\omega t+i\sin\omega t\). В идемпотентном базисе это даёт:
\[
\frac{V(t)}{c}
=
\ep
+
\cos\omega t\,\em
+
\sin\omega t\,i\em. \tag{23}
\]
Переходя к базису \(\{1,i,j,ij\}\), получаем:
\[
\frac{V(t)}{c}
=
\frac{1+\cos\omega t}{2}\cdot 1
+
\frac{\sin\omega t}{2}\cdot i
+
\frac{1-\cos\omega t}{2}\cdot j
-
\frac{\sin\omega t}{2}\cdot(ij). \tag{24}
\]
Эту же формулу можно записать через половинный угол:
\[
\frac{V(t)}{c}
=
\cos^2\frac{\omega t}{2}
+
\frac{\sin\omega t}{2}\,i
+
\sin^2\frac{\omega t}{2}\,j
-
\frac{\sin\omega t}{2}\,ij. \tag{25}
\]
Интегрируя компоненты скорости по времени и выбирая начало координат в точке \((0,0,0,0)\), получаем:
\[
\begin{cases}
ct=ct,\\
x=0,\\
y=\dfrac{c}{\omega}\sin\omega t,\\
z=\dfrac{c}{\omega}\left(1-\cos\omega t\right).
\end{cases} \tag{26}
\]
Это винтовая линия: вдоль оси \(ct\) точка движется равномерно, а в плоскости \((y,z)\) совершает круговое движение радиуса \(c/\omega\). В системе единиц, где \(c=1\), этот радиус принимает вид \(1/\omega\), но временная координата при этом должна записываться как \(T=t\), а не как \(ct=t\). Обе коммутативные формы алгебры дают один и тот же кинематический результат.
Преимущества идемпотентного представления
1. Наглядная геометрия. Базис \(\{\ep,i\ep,\em,i\em\}\) сразу показывает разложение пространства на две комплексные плоскости: \((ct,x)\) и \((y,z)\).
2. Естественная запись движения. Вектор скорости \(V(t)=c(\ep+\em e^{i\omega t})\) имеет компактный вид: первая компонента задаёт равномерное движение вдоль \(ct\), а вторая — вращение в плоскости \((y,z)\).
3. Диагональное разделение компонент. Поскольку \(\ep\em=0\), две идемпотентные части не смешиваются при умножении. Это делает преобразования в независимых плоскостях особенно прозрачными.
4. Прямая связь с координатами. В этом базисе координаты \(ct,x,y,z\) непосредственно стоят при соответствующих базисных элементах, поэтому геометрическая интерпретация получается максимально простой.
Преимущества представления \(\{1,i,j,ij\}\)
1. Единая алгебраическая запись. Базис \(\{1,i,j,ij\}\) использует привычные единицы: действительную \(1\), комплексную \(i\), гиперболическую \(j\) и их произведение \(ij\).
2. Явная связь комплексной и гиперболической структур. В этой форме хорошо видно, что в одной коммутативной алгебре одновременно присутствуют два типа единиц: \(i^2=-1\) и \(j^2=1\).
3. Удобство при общих преобразованиях. Представление через \(A+Bi+Cj+Dij\) удобно для вывода матриц перехода, сравнения с другими алгебрами и анализа симметрий.
4. Сохранение коммутативности. В отличие от кватернионных моделей, порядок множителей здесь не имеет значения: \(ij=ji\). Это упрощает работу с фазовыми множителями и степенными выражениями.
5. Эквивалентность \(\mathbb{C}\oplus\mathbb{C}\). Представление \(\{1,i,j,ij\}\) явно показывает, что вся конструкция может рассматриваться как две связанные, но независимые комплексные компоненты.
Выводы
В данном приложении показано, что новый декартов базис \(\{\ep,i\ep,\em,i\em\}\) и алгебраический базис \(\{1,i,j,ij\}\) являются двумя эквивалентными коммутативными представлениями одной и той же структуры. Оба базиса приводят к разложению \(\mathcal{A}\cong\mathbb{C}\oplus\mathbb{C}\), но делают акцент на разных сторонах этой алгебры.
Идемпотентное представление удобно для геометрической интерпретации и описания движения, поскольку непосредственно разделяет пространство на плоскости \((ct,x)\) и \((y,z)\). Представление \(\{1,i,j,ij\}\), в свою очередь, подчёркивает единую алгебраическую природу конструкции, связь комплексной и гиперболической единиц, а также даёт компактные формулы перехода между координатами.
Таким образом, приложение не заменяет одну алгебру другой, а показывает преимущества обеих форм записи. Это позволяет использовать идемпотентный базис там, где важна наглядная геометрия, и базис \(\{1,i,j,ij\}\) там, где удобнее работать с общей алгебраической структурой и переходами между представлениями.