Поляризационное тождество Вопрос - есть ли каноническая ссылка на поляризационное тождество для кватернионных векторных пространств?
Дано - линейное пространство над H, и в нем действительнозначная квадратичная форма, инвариантная относительно умножения на унитарные кватернионы. Утверждяается, что из нее можно произвести полуторалинейную форму, совпадающую с исходной при равных аргументах. Доказывается предъявлением явной формулы.
Я нашел только какую-то левую
ссылку. Мне кажется, это какой-то общеизвестный факт, и надо бы сослаться на что-то более каноническое.