Казалось бы, если ассоциативность существует, то какие факты или свойства из этого могут быть выведены? Попробуем разобраться.
Под ассоциативностью понимается независимость результата двух произведений от порядка их вычисления:
(ab)c=a(bc)(ab)c=a(bc)
Мы можем сначала вычислить abab, а потом умножить справа на cc, а можем вычислить bcbc и умножить слева на aa. И если алгебра ассоциативна, то в ней это свойство выполняется.
Теперь немного переобозначим то же самое:
abc→xα¯yabc→xα¯¯¯y
И это произведение рассмотрим дважды:
(xα)¯y(xα)¯¯¯y
x(α¯y)x(α¯¯¯y)
Здесь в первом случае стоит взаимное отношение xαxα и ¯y¯¯¯y, а во втором случае взаимное отношение xx и y¯αy¯¯¯¯α, поскольку
x(α¯y)=x¯(y¯α)x(α¯¯¯y)=x¯¯¯¯¯¯¯¯¯¯(y¯¯¯¯α)
Поскольку в гиперкомплексных алгебрах величины считаются равными если равны их компоненты, и наоборот, если компоненты равны то равны и величины, получаем следствие, что равны скалярное, псевдоскалярное и векторное произведения:
S(xα,y)=S(x,y¯α)S(xα,y)=S(x,y¯¯¯¯α)
S∗(xα,y)=S∗(x,y¯α)S∗(xα,y)=S∗(x,y¯¯¯¯α)
[xα,y]=[x,y¯α][xα,y]=[x,y¯¯¯¯α]
Здесь векторным произведением [a,b][a,b] обозначено взятие аксиальной из векторной части произведения a¯ba¯¯b.
Любопытно, что речь идет о произвольной величине αα, необязательно комплекснозначной скалярной.
И, если αα - комплекснозначное число либо любое которое коммутирует по умножению с величинами xx и yy, получаем более известное равенство:
S(αx,y)=S(x,¯αy)S(αx,y)=S(x,¯¯¯¯αy)
Опять же, это свойство должно быть как у скалярного, так и у псевдоскаляного и векторного произведений.
Комментариев нет:
Отправить комментарий