Реферат: Скалярная проекция гиперкомплексных чисел

1) , причем (x,x) только при x = 0

2) (x,y) = (y,x)

3) (x,ky) = k(x,y) где k - любое действительное число

4) (x,y+z)=(x,y)+(x,z)

При любом обобщении, как пишут Кантор и Солодовников, понятия скалярного произведения на n - мерный случай желательно, чтобы свойства 1) - 4) сохранили силу. Ввиду этого примем следующее определение.

Определение. Будем говорить, что в n - мерном векторном пространстве A_n задано скалярное произведение, если каждым двум векторам x и y сопоставлено некоторое действительное число - обозначим его (x,y) - так, что выполнены свойства 1), 2), 3), 4). Число (x,y) будем называть скалярным произведением вектора x на вектор y.

В более общем виде скалярное произведение определяется как

где - базисные вектора.

Величины

являются постоянными числами, зависящими только от выбранного базиса. Таким образом, если выбран базис, то

Вышеприведенное классическое определение скалярного произведения сыграло в математике своего рода роль фундамента, причем весьма прочного и основательного. И к большому сожалению такой подход не дал результатов в финслеровых геометриях, когда величина вектора определяется не через билинейную форму, а через n - линейную.

2. Геометрическая трактовка проекции.

Для введения определения скалярного произведения в форме, допустимой к использованию, рассмотрим принцип формирования проекции и попробуем ее формализовать. Обратим внимание на обычные вектора в 2-х или 3-х мерном пространстве.

Проекцией назовем величину, равную расстоянию от начала координат до точки пересечения вектора A с перпендикуляром, построенным на него из точки B. Теперь представим себе, что пространство - это пространство компонент гиперкомплексного числа, и значит построить перпендикуляр мы пока не можем, поскольку это понятие еще не определено.

Теперь повернем оба наших аектора так, чтобы вектор A совпал с одной из осей. В этом случае проекция вектора B на вектор A определяется особенно просто - надо взять компоненту, соответствующую оси X, и эта величина и будет проекцией.

Для того, чтобы этот метода работал в произвольно взятой системе гиперкомплексных чисел Кэли - Диксона, выберем в качестве такой целевой оси для доворота действительную ось, поскольку в любой алгебре Кэли - Диксона определена действительная компонента.

Отметим тот факт, что поворот должен осуществляться в плоскости, проходящей через действительную ось и мы можем использовать механизм скалярно - пространственных поворотов, описанный в работе [2]. В случае использования алгебр, коммутативных по умножению, поворот может быть осуществлен так же, как на обычной комплексной плоскости, путем простого умножения на оператор поворота.

3. Скалярная проекция гиперкомплексных чисел.

Будем искать оператор поворота в виде

Будучи примененным к вектору A, этот поворот должен дать действительное число:

Несложно видеть, что этому уравнению удовлетворяет решение

Или, иначе говоря, сам вектор A и задает оператор поворота, на который следует его повернуть, чтобы получить действительное число.

Применив этот оператор поворота к вектору B, получим: