11: Кватерніони
Кватерніони були винайдені сером Вільямом Роуеном Гамільтоном приблизно в 1850 році. Гамільтон, мабуть, першим зазначив, що комплексні числа можна розглядати як спосіб множення точок на площині. Тоді він мав ідею спробувати знайти спосіб помножити точки,R3 щоб польові аксіоми були задоволені. Він не зміг цього зробити, але нарешті знайшов спосіб визначити множення наR4 так, щоб множення разом зі звичайним векторним додаванням елементівR4 задовольняло б всі польові аксіоми, крім комутативності множення. Він назвав ці нові об'єкти кватерніонами. Вони виявилися, як і складні числа, мають безліч застосувань в техніці та фізиці. Ця «система числення» позначаєтьсяH для Гамільтона, оскільки вжеQ прийнято позначати раціональні числа.
Кільце кватерніонів - це кільце,(H,+,⋅) деH=R4={(a,b,c,d) | a,b,c,d∈R}
Заявлені таким чином правила множення важко запам'ятати. Існує простіший спосіб описати їх:1=(1,0,0,0)i=(0,1,0,0)j=(0,0,1,0)k=(0,0,0,1)
Завдання 11.1 Використовуйте вищевказані правила для розрахункуq1q2 добутку кватерніонівq1=1+i+2j+3k іq2=1−i−2j−3k. Напишіть товар в стандартному виглядіa+bi+cj+dk, деa,b,c,d∈R.
Завдання 11.2 Показати, що(1,0,0,0) діє як ідентичність дляH іH це не комутативне кільце.
Завдання 11.3 Показати, що кватерніонq=x+yi+zj+wk має зворотну, задану,q∗=c(x−yi−zj−wk) де цеc=1/(x2+y2+z2+w2) передбаченоq≠0. Ось0=(0,0,0,0).
Завдання 11.4 Покажіть, що є нескінченно багато кватерніонів, щоq задовольняютьq2=−1. Підказка: розглянемо кватерніони формиq=xi+yj+zk.
Задача 11.5 Показати, що 8 елементів,Q={1,−1,i,−i,j,−j,k,−k}
Кільце, яке задовольняє всі польові аксіоми, за винятком, можливо, комутативності множення, називається кільцем ділення.
Зауважте, що кільце ділення може бути визначено як кільце, ненульові елементи якого утворюють групу, що підлягає множенню. Всі поля є кільцями поділу. Комутативне кільце, яке є кільцем поділу, є полем.
Hявляє собою ділильне кільце.
Доказ. З лінійної алгебри ми вже знаємо, що векторне додавання наR4 є абелевою групою. З наведених вище проблем ми знаємо, щоH має ідентичність і кожен ненульовий елемент має зворотний. Залишається тільки довести асоціативність для множення і два розподільних закони. Докази цих властивостей прості, і ми залишаємо їх для зацікавленого читача.
Кільце кватерніонів - один з рідкісних прикладів некомутативного ділення кільця. Наступна теорема показує, чому Гамільтон мав труднощі з пошуком ділення кільця, основна множина якого єR3. ◼
DДозволяти ділення кільце, яке є алгебраїчним надR. ТодіD ізоморфний доRC, абоH. ◼
Див. Розділ 7, щоб побачити, що означає бути алгебраїчнимR і як довести цю теорему. Цей результат означає, що не існує «приємного» способу визначення множення,Rn щоб воно стало кільцем ділення, якщо тількиn∈{1,2,4}. Є багато цікавих і корисних способів зробитиRn кільце, яке не є діленням кільця для інших значеньn. Однак ми не встигаємо вдаватися в ці справи.
Проблема 11.6 ВизначитиH={(z−¯ww¯z) | z,w∈C}.
- Доведіть, щоH це підрядний кільце кільцяM2(C).
- Доведіть, щоH це ділення кільце. Підказка: достатньо показати, що кожна ненульова матриця вH має зворотну, яка також знаходиться вH.
- Визначаємо матриці1=(1001),I=(i00−i),J=(0ii0),K=(0−110)
- Показати, що кожен елементH може бути записаний у вигляді:a1+bI+cJ+dKдеa,b,c,d∈R.
- Покажіть, щоI2=J2=K2=−1,IJ=K,JI=−K,JK=I,KJ=−I,KI=J,IK=−J
- Показати, що кожен елементH може бути записаний у вигляді:a1+bI+cJ+dK
Перевіряти його не потрібно, але з цього випливає, щоH≅H.