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

Замечание. В трехмерном действительном пространстве пусть заданы две прямоугольные системы координат x1, x2, х3 и y1, y2 у3 с системами ортов соответственно (i1, i2, i3) и (j1, j2, j3). Пусть

jk =

3
s=1
 αksis (k = 1, 2, 3) (1)

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

А = ||αks||

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

yl =

3
s=1
 αlsxs (l = 1, 2, 3)(2)

Одна и та же точка (вектор) пространства имеет в первой системе (координат) координаты (компоненты) (x1, х2, х3), а во второй - координаты (y1, y2, у3). При этом формулы преобразования координат (перехода (x1, x2, х3) к (y1, y2, у3)) в точности такие же, как формулы преобразования системы ортов (i1, i2, i3) в систему ортов (j1, j2, j3). В обоих случаях применяется одна и та же ортогональная матрица (см. (13) и (7) § 17)

А = ||αkl||.

В первом случае матрица А применяется к системе чисел (x1, х2, х3), чтобы получить систему чисел (z1, y2, y3), а во втором та же матрица А применяется к ортам (i1, i2, i3), чтобы получить орты (j1, j2, j3).

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

138

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

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

Пусть а и b - векторы трехмерного пространства (действительного!), определяемые в системах координат с ортами (i1, i2, t3) и (у1, у2, у3) следующим образом

a = ax1i1 + ax2i2 + ax3i3 = ay1j1 + ay2j2 + ay3j3,

b = bx1i1 + bx2i2 + bx3i3 = by1j1 + by2j2 + by3j3,

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

ab =

3
s=1
 axsbxs =
3
r=1
 ayrbyr ,

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

В самом деле, так как системы векторов (i1, i2, i3) и (у1, у2, у3) ортонормированы, то они преобразуются по формулам (1), где ||akl|| - некоторая ортогональная матрица. Компоненты вектора a (axl, ах2, ах3) преобразуются в компоненты (ayl, ay2, ay3) при помощи той же матрицы (см.(2)). Поэтому

(3)

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

139

определение не связано ни с какой системой координат.

Что касается векторного произведения а × b, то оно инвариантно относительно прямоугольных систем координат с одинаковой ориентацией. В системах, имеющих орты (i1, i2, i3) и (jl, j2, j3) и векторные произведения выражаются следующим образом:

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

(4)

140

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

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

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

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

141

Rambler's Top100
Lib4all.Ru © 2010.