Чотиривимірні гіперкомплексні числа

Чотиривимірні гіперкомплексі числа — гіперкомплексні числа з трьома уявними одиницями.

Тобто числа виду $\ a+bi+cj+dk,$

де

$\ a,b,c,d$ — дійсні числа;

$\ i,j,k$  — уявні одиниці,

$\ I=bi+cj+dk$  — уявна частина.

Множення

Всі 3*3 взаємних добутків уявних одиниць є деякими чотиривимірними гіперкомплексними числами, наприклад:

$ij=a+bi+cj+dk$

Погрупувавши доданки

$(i-c)(j-b)=(a+cb)+dk$

Після заміни змінних, отримаємо:

$ij=k$

Тому довільне чотиривимірне гіперкомплексне число можна записати рекурсивно:

$\ (a+bi)+(c+di)j$.

Додавання і множення гіперкомплексних чисел повинно бути узгодженим з традиційним додаванням і множенням дійсних чисел.

Дійсні числа в даній гіперкомплексній системі мають вигляд $\ a+0I.$

• $\ (a_{1}+I_{1})+(a_{2}+I_{2})=(a_{1}+a_{2})+(I_{1}+I_{2})$ — додавання,
• $\ (a_{1}+I_{1})\cdot (a_{2}+I_{2})=a_{1}a_{2}+(a_{1}I_{2}+a_{2}I_{1})+I_{1}I_{2}$ — множення (може бути не комутативним і не асоціативним).

Степенева асоціативність

Щоб була хоча б одна з найслабших форм асоціативності — степенева асоціативність:

$z\cdot z^{2}=z^{2}\cdot z$

$z^{2}=(a+I)(a+I)=(a^{2}+2aI)+I^{2}$

достатньо комутативності множення або степеневої асоціативності для $I$.

Другого легко досягти при:

$I^{2}=(bi+cj+dk)^{2}=b^{2}i^{2}+c^{2}j^{2}+d^{2}k^{2}+bc(ij+ji)+bd(ik+ki)+cd(jk+kj)\in \mathbb {R} \quad \forall a,b,c$

Почергово зануляючи всі числа окрім одного отримаємо:

$ij+ji=ik+ki=jk+kj=0$ — антикомутативність добутків $i,j,k$

$ii=a_{ii}\in \mathbb {R}$

$jj=a_{jj}\in \mathbb {R}$

$kk=a_{kk}\in \mathbb {R}$

Альтернативність

Використавши ще одну із слабких форм асоціативності — альтернативність, отримаємо:

$ij=k$, $a_{ii}\cdot jk=a_{kk}\cdot i$, $a_{jj}\cdot ki=a_{kk}\cdot j$,

$a_{kk}\cdot ji=a_{ii}a_{jj}\cdot k$. $kj=a_{jj}\cdot i$, $ik=a_{ii}\cdot j$,

$ijk=jki=kij=a_{kk}$

$kji=ikj=jik=a_{ii}a_{jj}$

Отримаємо:

• $a_{ii}=a_{jj}=a_{kk}=-1$ кватерніони
• $a_{ii}=a_{jj}=-1,\quad a_{kk}=+1$ бікомплексні числа (комутативні кватерніони)
• $a_{ii}=-1,\quad a_{jj}=a_{kk}=+1$ спліт-кватерніони
• $a_{ii}=-1,\quad a_{jj}=a_{kk}=0$ дуальні комплексні числа

Не альтернативні

При відсутності альтернативності, не можливо вивести одні добутки із інших, але легко побачити степенево-асоціативну систему:

• $a_{ii}=a_{jj}=a_{kk}=+1$ гіперболічні кватерніони

$ij=k=-ji$

$jk=i=-kj$

$ki=j=-ik$

Ділення

Визначимо операції:

• $\lVert z\rVert \equiv z{\bar {z}}={\bar {z}}z$ — норма числа,
• ${z_{1} \over z_{2}}\equiv {z_{1}{\bar {z_{2}}} \over \lVert z_{2}\rVert }$ — ділення чисел.

При $I^{2}\in \mathbb {R}$ можна визначити:

• $\ {\overline {a+I}}\equiv a-I$ — спряжене число,
• $\lVert z\rVert \equiv (a^{2}-I^{2})\in \mathbb {R}$.

Діагональний базис

Якщо присутня уявна одиниця $\ j^{2}=+1,$ то як і в подвійних числах існують два ортогональні ідемпотентні елементи:

$e_{1}={1-j \over 2},\quad e_{2}={1+j \over 2}\qquad \Rightarrow \qquad {\begin{cases}e_{1}e_{1}=e_{1}\\e_{2}e_{2}=e_{2}\\e_{1}e_{2}=0\end{cases}},$

які можна використати як альтернативний базис:

$\ A+Bj=(A-B)e_{1}+(A+B)e_{2}={\Big (}a-c+(b-d)i{\Big )}e_{1}\;+\;{\Big (}a+c+(b+d)i{\Big )}e_{2}={\tilde {A}}e_{1}+{\tilde {B}}e_{2}$

У даному базисі додавання, множення та ділення обчислюються покомпонентно. Ділення не визначене коли ${\tilde {A}}$ чи ${\tilde {B}}$ рівні нулю.

Див. також

• Двовимірні гіперкомплексні числа

Джерела

• Кантор И. Л., Солодовников А. С. Гиперкомплексные числа. — Москва : Наука, 1973. — 144 с.(рос.)