§ 18. Инвариантные свойства скалярного и векторного произведений

Замечание. В трехмерном действительном пространстве пусть заданы две прямоугольные системы координат  и  с системами ортов соответственно  и . Пусть

                                                       (1)

(ср. (7) и (13) § 17. Тогда матрица (действительная!)

ортогональна и (ср. (13) § 17)

                                                        (2)

Одна и та же точка (вектор) пространства имеет в первой системе (координат) координаты (компоненты) , а во второй - координаты . При этом формулы преобразования координат (перехода  к ) в точности такие же, как формулы преобразования системы ортов  в систему ортов . В обоих случаях применяется одна и та же ортогональная матрица (см. (13) и (7) § 17)

.

В первом случае матрица  применяется к системе чисел , чтобы получить систему чисел , а во втором та же матрица  применяется к ортам , чтобы получить орты .

Дадим общее определение вектора, принятое в тензорном исчислении.

Вектором в трехмерном пространстве называется вещь, выражаемая в каждой прямоугольной системе координат некоторой тройкой чисел, которые преобразуются так же (при помощи той же матрицы), как тройки ортов соответствующих систем координат.

Подобная терминология употребляется и в случае -мерных пространств.

Пусть  и  — векторы трехмерного пространства (действительного!) определяемые в системах координат с ортами  и  следующим образом

,

.

Имеет место равенство

,

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

В самом деле, так как системы векторов  и  ортонормированны, то они преобразуются по формулам (1), где  - некоторая ортогональная матрица. Компоненты вектора  преобразуются в компоненты  при помощи той же матрицы (см.(2)). Поэтому

.                          (3)

Мы доказали инвариантность скалярного произведения  вычислительным путем. Впрочем, из другого, геометрического определения скалярного произведения векторов (направленных отрезков), в силу которого , непосредственно видно, что это число есть инвариант - ведь это определение не связано ни с какой системой координат.

Что касается векторного произведения , то оно инвариантно относительно прямоугольных систем координат с одинаковой ориентацией. В системах, имеющих орты  и  векторные произведения выражаются следующим образом:

,

.

В силу формул (1) и (2)

             (4)

где надо поставить знак + или - в зависимости от того, будет ли определитель  равен +1 или -1, что все равно, меняет или нет рассматриваемое преобразование координат ориентацию.

При перемножении определителей мы в данном случае пользовались следующим правилом: элемент  матрицы произведения  определяется как произведение -й строки первого определителя на  -ю строку второго (см. § 2, свойство к)).

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

Преобразование (3), (4) интересны тем, что они обобщают на случай, когда роль вектора  играет важный в математическом анализе символический вектор .