Традиционно бикватернионы рассматривают как комплексные кватернионы и в математике закрепилось именно такое их понимание. Но есть ли аналогичная связь с кокватернионами? Попробуем разобраться.
Если есть кватернионы
q=q0+iq1+jq2+kq3q=q0+iq1+jq2+kq3
то путем удвоения с мнимой единицей II, умножающейся коммутативно, получаем бикватернионы:
x=x0+ix1+jx2+kx3+Ix4+Iix5+Ijx6+Ikx7x=x0+ix1+jx2+kx3+Ix4+Iix5+Ijx6+Ikx7
Возьмем кокватернионы:
y=y0+Iiy1+Ijy2+Iky3y=y0+Iiy1+Ijy2+Iky3
Путем удвоения с мнимой единицей II, умножающейся коммутативно, получаем:
z=z0+Iiz1+Ijz2+kz3+Iz4−iz5−jz6+Ikz7z=z0+Iiz1+Ijz2+kz3+Iz4−iz5−jz6+Ikz7
Получили также бикватернион. Оба варианта, и xx, и zz, алгебраически изоморфны, то есть с точностью до замены знаков при компонентах это одна и та же алгебра.
Если название бикватернионы ведется от названия кватернионы с прибавлением уточняющей приставки би, то с равным успехом можно именовать их и бикокватернионами.
Комментариев нет:
Отправить комментарий