Алгебра. Том 1. Алгебраические структуры. Линейная и полилинейная алгебра - Бурбаки Н.
Скачать (прямая ссылка):
ГЛ. III, § 4
3. Умножение и свертывание
р+ч
Пусть F = (^) El — модуль р раз контравариантных и q раз
г=1
ковариантных тензоров над E (Е[ = Е для р индексов i, E1i = E*
r+S
для q остальных индексов) и G= 0 Е)~ модуль г раз контра-
вариантных и s раз ковариантных тензоров (E) = E для г индексов /' и Ej = E* для остальных s индексов). Как мы знаем {§ 1, п0 7), тензорное произведение F 0 G можно отождест вить посредством канонического изоморфизма с модулем
Р+д+г+в
H = (??) Eh р г раз контравариантных и q + s раз кова-
fe=i
риантных тензоров, определяемым условиями Eh = Eh, когда I р + q, и Ep+q+h = Eh, когда I </i<r+s. Когда это отож-
дествление произведено, (х, у)—>х0г/ есть билинейное отображение FxG в Н, значением которого для пары разложимых
p+q r+s
тензоров X=(X)X1^F, г/= (g) у^ ? G служит тензор ?0г/ =
г— I j=l
Р+9+Г+8
= 0 zft. где Ч = Xh, когда 1 <&</> + ?, и z h = yh, когда
ft=l
I <h < г -j- s. Это отображение, очевидно являющееся тензорным, называется умножением тензоров из F и G; в соответствии с общими соглашениями, тензор х^у^Н (x?F, y?G) при отсутствии опасности смешения обозначается также ху.
В предыдущем определении неявно предполагается, что р и q не равны одновременно нулю; на случай р = q = 0 определение умножения распространяется путем принятия произведения скаляра а ?А и тензора y?G равным их произведению а у относительно внешнего закона структуры Л-модуля в G. Аналогично определение и для случая г = s = 0.
Понятие произведения любых двух смешанных тензоров позволяет придать определению тензорного отображения произведения FXG тензорных пространств F и G в тензорное пространство H такой вид: это — отображение /, для которого существует тензорное отображение g тензорного пространства F 0 G в Н, удовлетворяющее тождеству /(я, y) — g(xy).
ТЕНЗОРЫ И ТЕНЗОРНЫЕ ПРОСТРАНСТВА
379
Пусть р > 0 и q > 0. Свертыванием і-то контравариантного индекса с /'-M ковариантным (II</<g) называется
относящее каждому разложимому тензору 2 = ? ... хрх[ ... x'q тензор
с\ (Z) = (Жі- • • • XpX'l ¦ ¦ ¦ x'i-lx'i+l - - ¦ xq-
Ясно, что этим действительно определяется линейное отображение (§ 1, п° 2, схолия); при этом, так как для каждого автоморфизма и модуля E имеем (и (Xi), и (zj)) = (Xi, x'j), то s}(u-z) = (Xi, Xj) и (X1) . . . U(X^1)U(Xitl) . . . и (хр)и(х[) . . .
Так же определяются свертывания в любых модулях р раз кон-травариантных и q раз ковариантных тензоров.
где первая сумма распространяется на все индексы, отличные от Xi и (ху. Иными словами, компоненты свернутого тензора cj (2) относительно базиса (а-) задаются формулой
Разумеется, в смешанном тензоре можно свертывать несколько їіар индексов, что, очевидно, сводится к последовательному свертыванию каждой из этих пар (в любом порядке).
Часто приходится выполнять операцию, состоящую в образовании произведения двух тензоров (не являющихся одиовре-
линейное отображение с) тензорного пространства Epq в Epq-j.
... и (x'j-i) и (xj+i) ... u(xq) = u-c)(z), что показывает, что с) есть тензорное отображение Ep в Epz\.
Пусть ?дг '—компоненты г относительно базиса (Ojb) модуля Е, так что
Так как (о^, (кронекеровский символ), то
П
-xI- - ¦ -kP
'11I' ¦ 'fiJ-IQIxJVl- ¦ -Vq ’
(3)
380
ПОЛИЛИНЕЙНАЯ АЛГЕБРА
ГЛ. II. § 4
менно ни контравариантнъши, ни ковариантными) и затем свертывании в полученном смешанном тензоре одной или нескольких пар индексов; определяемое этим отображение, называемое свернутым произведением (для рассматриваемых пар индексов), также является тензорным отображением.
Например, пусть х±х2 — контравариантный тензор, 'произведение двух векторов X1, х2, и XriX2 — коварнантиый тензор, произведение двух линейных форм Xrl, х2; если образовать произведение этих двух тензоров и затем свернуть в нем первый контравариантный индекс с первым ковариантным, а второй контравариантный индекс — со вторым ковариантным, то получится скаляр (тензор нулевого порядка) (X1, х[) (х.1, X2).
4. VndoMoptj.'.USMbi сметанных iucHdojJoe второго
порядка
Пусть E и F — Л-модули с конечными базисами. Предложение
2 § 1, примененное к модулям E и F*, определяет канонический изоморфизм модуля билинейных форм ira E X F* иа модуль X (Е, F**) линейных отображений E во второй сопряженный к F: билинейной форме / на E ;; F* отвечает линейное отображение, относящее каждому х?Е линейную форму у' — ¦>/(х, у') на F*. Ho F** отождествим о с F (гл. II, § 4, п° 4); с другой стороны, ранее был определен канонический изоморфизм тензорного произведения Е* (Q F на модуль билинейных форм на E X F* (§ 1, п° 5), относящий тензорному произведению Xr Q) у билинейную форму
(х, у’)—>(х, х')(у, уг)
на ExF*. Отсюда:
Предложение 1. Если E и F — A-модули с конечными базисами, то линейное отображение E*(QF в X (E, F), относящее каждому тензорному произведению х’ (Q у линейное отображение х—>(х, хг) у, есть изоморфизм E*(QF на X (Е, F).
Этот изоморфизм и изоморфизм, обратный ему, будут называться каноническими.