Кватерніони

• Для кватерніона ${\displaystyle \,q=a+bi+cj+dk}$,

дійсне число ${\displaystyle \ a}$ називають скалярною частиною кватерніона, ${\displaystyle {\vec {v}}=bi+cj+dk\,}$  — його векторною частиною.

Якщо ${\displaystyle {\vec {v}}=0}$, то кватерніон називається чисто скалярним, при ${\displaystyle \,a=0}$ — чисто векторним.

• Кватерніон ${\displaystyle {\bar {q}}=a-bi-cj-dk}$ називають спряженим до ${\displaystyle \,q}$.

• ${\displaystyle {\overline {q_{1}q_{2}}}={\bar {q_{2}}}\,{\bar {q_{1}}}}$

• Як і для комплексних чисел, норма кватерніона визначають як ${\displaystyle |q|={\sqrt {q{\bar {q}}}}={\sqrt {a^{2}+b^{2}+c^{2}+d^{2}}}.}$

• ${\displaystyle q^{-1}={\frac {\bar {q}}{|q|^{2}}}}$

Легко перевірити, що ${\displaystyle |p\cdot q|=|p|\cdot |q|}$, тобто кватерніони мають мультиплікативну норму; із цього співвідношення випливає так звана тотожність чотирьох квадратів.

Якщо ${\displaystyle \,|q|=1,}$ то ${\displaystyle \,q}$ називають одиничним кватерніоном

Виходячи з вищенаведених властивостей уявних одиниць, можна отримати такі властивості:

• додавання кватерніонів є асоціативним та комутативним,
• множення кватерніонів є асоціативним, але не є комутативним.

Із некомутативності множення випливає, що система кватерніонів не є полем. Проте вона є тілом і, таким чином, не містить дільників нуля. Тіло кватерніонів зазвичай позначається ${\displaystyle \mathbb {H} }$. Сказане вище свідчить про здійсненність ділення в системі кватерніонів, але слід розрізняти ліве та праве ділення.

Чотири базисних кватерніони і чотири протилежних їм за знаком кватерніони утворюють групу кватерніонів по множенню (з порядком 8). Тобто ${\displaystyle Q_{8}=\{\pm 1,\pm i,\pm j,\pm k\}}$

Оскільки кватерніон ${\displaystyle \ \mathbf {q} =a+bi+cj+dk}$ можна представити у вигляді пари скаляра та 3-вимірного вектора:

${\displaystyle \ \mathbf {q} =(s,{\vec {v}}),\quad s=a,\quad {\vec {v}}=(b,c,d)}$.

Виявляється, що множення кватерніонів можна записати через скалярний та векторний добутки відповідних 3-вимірних векторів:

${\displaystyle \ \mathbf {q_{1}q_{2}} =(s_{1},{\vec {v_{1}}})(s_{2},{\vec {v_{2}}})=(s_{1}s_{2}-{\vec {v_{1}}}\cdot {\vec {v_{2}}},\;\;s_{1}{\vec {v_{2}}}+s_{2}{\vec {v_{1}}}+{\vec {v_{1}}}\times {\vec {v_{2}}}).}$

При такому підході чисто векторні кватерніони можна ототожнити з 3-вимірними векторами. Тоді добуток двох таких кватерніонів можна отримати, віднявши від їх векторного добутку їх скалярний добуток:

${\displaystyle \ (0,{\vec {v_{1}}})(0,{\vec {v_{2}}})=(-{\vec {v_{1}}}\cdot {\vec {v_{2}}},\;\;{\vec {v_{1}}}\times {\vec {v_{2}}}).}$

Рівність

${\displaystyle e^{{\vec {v}}\varphi }=\cos \varphi +{\vec {v}}\cdot \sin \varphi }$

доводиться подібно до формули Ейлера зіставленням рядів Тейлора з обох боків.

Запишемо кватерніон у векторній (тригонометричній) формі

${\displaystyle q=|q|(\cos \varphi +{\vec {v}}\cdot \sin \varphi )=|q|e^{{\vec {v}}\varphi },\qquad |{\vec {v}}|=1.}$

• Натуральний степінь:

${\displaystyle q^{2}=|q|^{2}(\cos ^{2}\varphi -\sin ^{2}\varphi +2{\vec {v}}\cos \varphi \sin \varphi )=|q|^{2}(\cos 2\varphi +{\vec {v}}\sin 2\varphi ).}$

Використавши математичну індукцію отримаємо:

${\displaystyle q^{n}=|q|^{n}(\cos n\varphi +{\vec {v}}\sin n\varphi ),\qquad n\in \mathbb {N} .}$

• Дійсний степінь:

${\displaystyle \ln(q)=\ln(|q|e^{{\vec {v}}\varphi })=\ln |q|+{\vec {v}}\varphi .}$

${\displaystyle q^{a}=\left(e^{\ln(q)}\right)^{a}=\left(e^{\ln |q|+{\vec {v}}\varphi }\right)^{a}=\left(|q|e^{{\vec {v}}\varphi }\right)^{a}=|q|^{a}\,e^{{\vec {v}}\varphi \cdot a}=|q|^{a}(\cos a\varphi +{\vec {v}}\sin a\varphi ).}$

Піднесення кватерніона до дійсного степеня застосовується для інтерполяції поворотів з постійною кутовою швидкістю.

Іноді означені в цій статті кватерніони називають дійсними кватерніонами, розглядаючи також комплексні кватерніони, означення яких відрізняється від наведеного лише тим, що ${\displaystyle a,\,b,\,c,\,d\,}$ — комплексні числа. При цьому комплексна одиниця ${\displaystyle i\,}$ не ототожнюється з кватерніонною одиницею ${\displaystyle i,\,}$ так що їх доводиться позначати по-різному (наприклад, із використанням наведених вище альтернативних позначень або виділяючи кватерніонні одиниці жирним шрифтом).

Пам'ятна табличка на мосту Брум Бридж в Дубліні: «Тут на прогулянці, 16 жовтня 1843 року, осяяний генієм, сер Вільям Ровен Гамільтон відкрив формулу множення кватерніонів» i² = j² = k² = ijk = −1

Бурхливий і надзвичайно плідний розвиток комплексного аналізу в XIX столітті стимулював у математиків інтерес до наступної задачі: знайти новий вид чисел, аналогічний за властивостями комплексним, що містить не одну, а дві уявні одиниці. Передбачалося, що така модель буде корисна для розв'язання просторових задач математичної фізики. Проте зусилля в цьому напрямку виявилася безуспішними.

1843 року новий тип чисел виявив ірландський математик Вільям Ровен Гамільтон. Ці числа містили не дві уявні одиниці, як очікувалося, а три. Гамільтон назвав ці числа кватерніонами. Історики науки також виявили начерки по цій темі в неопублікованих рукописах Гаусса 1819—1820 років.
Модель досить швидко принесла практичну користь. Пізніше на основі алгебри кватерніонів Ґіббс та Гевісайд створили тривимірний векторний аналіз.

У XX столітті намагалися використовувати кватерніонні моделі у квантовій механіці й теорії відносності. Реальне застосування кватерніони знайшли в комп'ютерній графіці й програмуванні ігор, а також в обчислювальній механіці, в інерціальній навігації й теорії управління. У багатьох галузях було знайдено більш загальні й практичні засоби, ніж кватерніони. Наприклад, для дослідження рухів у просторі найчастіше застосовують матричне числення. Однак там, де важливо описувати тривимірний поворот за допомогою мінімальної кількості скалярних параметрів, застосування параметрів Родріго — Гамільтона (тобто, чотирьох компонент кватерніона повороту) часто виявляється кращим: такий опис ніколи не вироджується, тоді як опис поворотів трьома параметрами (наприклад, кутами Ейлера) завжди має критичні значення цих параметрів.

• Математический энциклопедический словарь. Москва, 1988.