2026-07-14
Вращение как следствие сохранения нормы в идемпотентном базисе
В настоящей работе рассматривается вектор в базисе двух взаимно дополнительных идемпотентов
\(\{\ep,\em\}\)
с комплексными коэффициентами.
Показывается, что такое представление естественным образом порождает четырёхмерный действительный базис
\(\{\ep,i\ep,\em,i\em\}\),
в котором каждое идемпотентное направление образует собственную комплексную плоскость.
Для вектора единичной нормы доказывается центральное равенство
\(J\cdot\dot J=0\),
означающее отсутствие продольной составляющей производной.
Из этого условия выводится дифференциальное уравнение вращения, решение которого непосредственно приводит к вектору
\(J(t)=\ep+\em e^{i\omega t}\),
без предварительного введения тригонометрических функций или комплексной экспоненты.
Полученный результат является одним из ключевых элементов построения общей структуры
нового базиса.
В отличие от традиционного подхода, вращение рассматривается здесь не как исходное предположение, а как непосредственное следствие сохранения нормы вектора в идемпотентном представлении.
Идемпотентное разложение
Рассмотрим два взаимно дополнительных идемпотента
\(\ep\)
и
\(\em\),
обладающих свойствами [1, 2]
\[\tag{1}
\ep^2=\ep,
\qquad
\em^2=\em,
\qquad
\ep\em=0,
\qquad
\ep+\em=1.
\]
Общий вектор рассматриваемой алгебры представим в виде
\[\tag{2}
J(t)
=
\ep X(t)
+
\em Y(t),
\]
где
\(X(t)\)
и
\(Y(t)\)
являются комплексными функциями действительного параметра
\(t\).
Условие
\(\ep\em=0\)
означает, что две компоненты принадлежат независимым идемпотентным направлениям.
Автоматическое возникновение четырёхмерного базиса
Вектор (2) записан в двумерном базисе
\(\{\ep,\em\}\)
над полем комплексных чисел.
Разложим комплексные коэффициенты на действительную и мнимую части:
\[\tag{3}
X(t)
=
x_0(t)+i x_1(t),
\qquad
Y(t)
=
x_2(t)+i x_3(t),
\]
где
\(x_0,x_1,x_2,x_3\)
являются действительными функциями.
Подстановка формулы (3) в представление (2) даёт
\[\tag{4}
J
=
\ep
\left(
x_0+i x_1
\right)
+
\em
\left(
x_2+i x_3
\right).
\]
После раскрытия скобок получаем
\[\tag{5}
\boxed{
J
=
x_0\ep
+
x_1 i\ep
+
x_2\em
+
x_3 i\em
}.
\]
Следовательно, двумерный комплексный идемпотентный базис автоматически порождает четырёхмерный действительный базис
\[\tag{6}
\boxed{
\mathcal B_{\mathbb R}
=
\{
\ep,
i\ep,
\em,
i\em
\}
}.
\]
Каждый идемпотент задаёт собственную комплексную плоскость:
\[\tag{7}
\ep\mathbb C
=
\operatorname{span}_{\mathbb R}
\{
\ep,
i\ep
\},
\qquad
\em\mathbb C
=
\operatorname{span}_{\mathbb R}
\{
\em,
i\em
\}.
\]
Полное пространство представляется прямой суммой этих плоскостей:
\[\tag{8}
\boxed{
\mathcal A
=
\ep\mathbb C
\oplus
\em\mathbb C
}.
\]
Поэтому одну и ту же алгебру можно рассматривать либо как двумерное пространство над
\(\mathbb C\),
либо как четырёхмерное пространство над
\(\mathbb R\):
\[\tag{9}
\boxed{
\dim_{\mathbb C}\mathcal A=2,
\qquad
\dim_{\mathbb R}\mathcal A=4
}.
\]
Умножение на комплексную единицу
\(i\)
переводит каждое идемпотентное направление в поперечное направление той же комплексной плоскости:
\[\tag{10}
\ep
\xrightarrow{\;i\;}
i\ep,
\qquad
i\ep
\xrightarrow{\;i\;}
-\ep,
\]
\[\tag{11}
\em
\xrightarrow{\;i\;}
i\em,
\qquad
i\em
\xrightarrow{\;i\;}
-\em.
\]
Таким образом, идемпотенты разделяют пространство на две независимые компоненты, а комплексная единица расширяет каждую из них до двумерной действительной плоскости.
Единичный вектор
Далее рассмотрим специальный случай, в котором первая идемпотентная компонента остаётся постоянной:
\[\tag{12}
X(t)=1.
\]
Тогда вектор (2) принимает вид
\[\tag{13}
\boxed{
J(t)
=
\ep
+
\em Y(t)
}.
\]
Определим действительную скалярную норму общего вектора
\(J=\ep X+\em Y\)
выражением
\[\tag{14}
|J|^2
=
\frac{
|X|^2+|Y|^2
}{2}.
\]
Для вектора (13) это определение принимает вид
\[\tag{15}
|J|^2
=
\frac{
1+|Y(t)|^2
}{2}.
\]
Потребуем сохранения единичной нормы:
\[\tag{16}
|J(t)|=1.
\]
Из формул (15) и (16) непосредственно следует
\[\tag{17}
\boxed{
|Y(t)|^2=1
}.
\]
Следовательно, переменная компонента
\(\em Y(t)\)
может изменять направление в комплексной плоскости
\(\{\em,i\em\}\),
но не может изменять свой модуль.
Постоянная компонента при этом остаётся направленной вдоль
\(\ep\).
Производная единичного вектора
Производную вектора определим стандартным предельным переходом:
\[\tag{18}
\dot J(t)
=
\lim_{\Delta t\to0}
\frac{
J(t+\Delta t)-J(t)
}{
\Delta t
}.
\]
Поскольку идемпотенты не зависят от времени, из формулы (13) следует
\[\tag{19}
\dot J(t)
=
\em\dot Y(t).
\]
Для двух векторов
\[\tag{20}
A
=
\ep A_{+}
+
\em A_{-},
\qquad
B
=
\ep B_{+}
+
\em B_{-}
\]
введём действительное скалярное произведение
\[\tag{21}
A\cdot B
=
\frac12
\operatorname{Re}
\left(
\overline{A_{+}}B_{+}
+
\overline{A_{-}}B_{-}
\right).
\]
При таком определении
\[\tag{22}
J\cdot J
=
|J|^2.
\]
Поскольку норма вектора сохраняется,
\[\tag{23}
\frac{d}{dt}|J|^2=0.
\]
С учётом формулы (22) получаем
\[\tag{24}
\frac{d}{dt}
\left(
J\cdot J
\right)
=
2J\cdot\dot J
=
0.
\]
Следовательно,
\[\tag{25}
\boxed{
J\cdot\dot J=0
}.
\]
Формула (25) является центральным результатом настоящей работы.
Она показывает, что сохранение нормы автоматически исключает любую составляющую производной, направленную вдоль самого вектора.
Следовательно, изменение единичного вектора может происходить только в поперечном направлении.
Именно это свойство далее приводит к вращению комплексной компоненты и появлению экспоненциального решения.
Иными словами, производная не может увеличивать или уменьшать длину вектора.
Она описывает только изменение его направления.
Для переменной компоненты
\(\em Y(t)\),
принадлежащей плоскости
\(\{\em,i\em\}\),
такое поперечное изменение является вращением внутри данной комплексной плоскости.
Для вектора (13) равенство (25) принимает вид
\[\tag{26}
J\cdot\dot J
=
\frac12
\operatorname{Re}
\left(
\overline{Y}\dot Y
\right)
=
0.
\]
Следовательно,
\[\tag{27}
\boxed{
\operatorname{Re}
\left(
\overline{Y}\dot Y
\right)
=
0
}.
\]
То же условие можно получить непосредственным дифференцированием равенства
\(Y\overline Y=1\):
\[\tag{28}
\frac{d}{dt}
\left(
Y\overline Y
\right)
=
\dot Y\overline Y
+
Y\dot{\overline Y}
=
0.
\]
Поскольку два слагаемых в формуле (28) являются комплексно сопряжёнными, имеем
\[\tag{29}
2\operatorname{Re}
\left(
\overline Y\dot Y
\right)
=
0.
\]
Таким образом, постоянство нормы и ортогональность вектора его производной являются двумя эквивалентными формами одного условия.
Логарифмическая производная
Из условия
\(|Y|=1\)
следует, что
\(Y(t)\neq0\).
Поэтому можно определить логарифмическую производную
\[\tag{30}
q(t)
=
\frac{\dot Y(t)}{Y(t)}.
\]
Так как
\(Y\overline Y=1\),
имеем
\[\tag{31}
\frac{\dot Y}{Y}
=
\overline Y\dot Y.
\]
Из формулы (27) следует
\[\tag{32}
\operatorname{Re}q(t)=0.
\]
Следовательно, логарифмическая производная является чисто мнимой.
Поэтому существует действительная функция
\(\omega(t)\),
такая что
\[\tag{33}
\boxed{
q(t)=i\omega(t)
}.
\]
Подставляя определение (30), получаем дифференциальное уравнение
\[\tag{34}
\boxed{
\dot Y(t)
=
i\omega(t)Y(t)
}.
\]
Множитель
\(i\)
возникает здесь не как дополнительное предположение.
Он является следствием того, что логарифмическая производная функции постоянного модуля не имеет действительной части.
В четырёхмерном действительном базисе умножение на
\(i\)
переводит направление
\(\em\)
в направление
\(i\em\),
задавая поперечное изменение внутри второй идемпотентной плоскости.
Уравнение движения полного вектора
Из формулы (13) следует
\[\tag{35}
J-\ep
=
\em Y.
\]
Используя формулы (19) и (34), получаем
\[\tag{36}
\dot J
=
\em\dot Y
=
i\omega(t)\em Y.
\]
Следовательно,
\[\tag{37}
\boxed{
\dot J
=
i\omega(t)
\left(
J-\ep
\right)
}.
\]
Уравнение (37) описывает изменение полного вектора.
Компонента
\(\ep\)
остаётся постоянной, а переменная часть
\(J-\ep=\em Y\)
вращается внутри комплексной плоскости
\(\{\em,i\em\}\).
Умножение на
\(i\)
переводит переменную компоненту в поперечное направление той же плоскости, а действительная величина
\(\omega(t)\)
определяет скорость изменения её направления.
Общее решение
Уравнение (34) можно записать в разделяющейся форме:
\[\tag{38}
\frac{dY}{Y}
=
i\omega(t)\,dt.
\]
Интегрируя от начального момента
\(t_0\)
до момента
\(t\),
получаем
\[\tag{39}
\ln
\frac{Y(t)}{Y(t_0)}
=
i
\int_{t_0}^{t}
\omega(\tau)\,d\tau.
\]
Следовательно,
\[\tag{40}
Y(t)
=
Y(t_0)
\exp
\left[
i
\int_{t_0}^{t}
\omega(\tau)\,d\tau
\right].
\]
Начальное значение
\(Y(t_0)\)
имеет единичный модуль и определяет только начальное направление переменной компоненты.
Выберем
\[\tag{41}
t_0=0,
\qquad
Y(0)=1.
\]
Тогда
\[\tag{42}
Y(t)
=
\exp
\left[
i
\int_{0}^{t}
\omega(\tau)\,d\tau
\right].
\]
Полный вектор принимает вид
\[\tag{43}
\boxed{
J(t)
=
\ep
+
\em
\exp
\left[
i
\int_{0}^{t}
\omega(\tau)\,d\tau
\right]
}.
\]
Формула (43) описывает наиболее общий случай вращения переменной компоненты при произвольной зависимости
\(\omega(t)\).
Сохранение нормы при этом обеспечивается чисто мнимым показателем экспоненты.
Постоянная частота
Рассмотрим случай постоянной частоты:
\[\tag{44}
\omega(t)
=
\omega
=
\operatorname{const}.
\]
Тогда
\[\tag{45}
\int_{0}^{t}
\omega\,d\tau
=
\omega t.
\]
Из формулы (42) следует
\[\tag{46}
Y(t)=e^{i\omega t}.
\]
Подставляя найденное решение в формулу (13), получаем основной результат:
\[\tag{47}
\boxed{
J(t)
=
\ep
+
\em e^{i\omega t}
}.
\]
Комплексная экспонента здесь не вводилась как исходная форма движения.
Она возникла как решение дифференциального уравнения, полученного из сохранения нормы и ортогональности вектора его производной.
Связь решения с четырёхмерным базисом
В общем случае вектор
\(J=\ep X+\em Y\)
имеет четыре действительные координаты в базисе
\(\{\ep,i\ep,\em,i\em\}\).
Для решения (47) постоянная компонента принадлежит направлению
\(\ep\),
а переменная компонента движется в плоскости
\(\{\em,i\em\}\).
Следовательно, конкретная траектория (47) принадлежит действительному подпространству
\[\tag{48}
\operatorname{span}_{\mathbb R}
\{
\ep,
\em,
i\em
\}.
\]
Координата вдоль
\(i\ep\)
для выбранного решения равна нулю.
Однако направление
\(i\ep\)
остаётся полноправным элементом общего четырёхмерного базиса и возникает при комплексной модуляции первой идемпотентной компоненты.
Если разрешить изменяться обеим комплексным компонентам,
\[\tag{49}
J(t)
=
\ep X(t)
+
\em Y(t),
\]
то движение может происходить одновременно в двух независимых плоскостях:
\[\tag{50}
\operatorname{span}_{\mathbb R}
\{
\ep,
i\ep
\},
\qquad
\operatorname{span}_{\mathbb R}
\{
\em,
i\em
\}.
\]
Таким образом, полный четырёхмерный базис возникает до выбора конкретного закона движения, тогда как выражение
\(J=\ep+\em e^{i\omega t}\)
описывает специальную траекторию внутри одного из его трёхмерных подпространств.
Логическая последовательность вывода
Основной результат работы можно представить в виде последовательности
\[\tag{51}
\{\ep,\em\}_{\mathbb C}
\quad\Longrightarrow\quad
\{
\ep,
i\ep,
\em,
i\em
\}_{\mathbb R},
\]
\[\tag{52}
|J|=1
\quad\Longrightarrow\quad
J\cdot\dot J=0
\quad\Longrightarrow\quad
\operatorname{Re}
\left(
\frac{\dot Y}{Y}
\right)
=0,
\]
\[\tag{53}
\frac{\dot Y}{Y}
=
i\omega
\quad\Longrightarrow\quad
Y=e^{i\omega t}
\quad\Longrightarrow\quad
J=\ep+\em e^{i\omega t}.
\]
Таким образом, четырёхмерный действительный базис возникает из комплексного расширения двух идемпотентных направлений, а вращение возникает из сохранения нормы внутри одной из образованных комплексных плоскостей.
Выводы
В работе показано, что двумерный комплексный идемпотентный базис
\(\{\ep,\em\}\)
автоматически порождает четырёхмерный действительный базис
\(\{\ep,i\ep,\em,i\em\}\).
Каждый идемпотент образует собственную комплексную плоскость, а полное пространство представляется прямой суммой этих плоскостей.
Следовательно, четырёхмерная структура не вводится как дополнительное предположение, а возникает непосредственно из комплексной природы коэффициентов идемпотентного разложения.
Для специального вектора
\(J=\ep+\em Y(t)\)
условие
\(|J|=1\)
приводит к постоянству модуля
\(Y(t)\)
и к центральному равенству
\(J\cdot\dot J=0\).
Это равенство исключает продольную составляющую производной и допускает только поперечное изменение переменной компоненты в плоскости
\(\{\em,i\em\}\).
Из ортогональности следует, что логарифмическая производная переменной компоненты является чисто мнимой:
\(\dot Y/Y=i\omega\).
При постоянной
\(\omega\)
решением является
\(Y=e^{i\omega t}\),
а полный вектор принимает вид
\(J=\ep+\em e^{i\omega t}\).
Следовательно, как новый четырёхмерный базис, так и вращение внутри его идемпотентной плоскости естественным образом следуют из идемпотентного разложения, комплексной структуры и сохранения нормы.
Используемые материалы
- Википедия. идемпотенты.
- Википедия. Idempotent (ring theory).