Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Руководство к решению задач по тензорной алгебре векторных пространств. Учебное пособие

.pdf
Скачиваний:
0
Добавлен:
15.08.2026
Размер:
1 Мб
Скачать

Министерство образования и науки Российской Федерации Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования

«Московский педагогический государственный университет»

Л. А. Игнаточкина

РУКОВОДСТВО К РЕШЕНИЮ ЗАДАЧ ПО ТЕНЗОРНОЙ АЛГЕБРЕ ВЕКТОРНЫХ ПРОСТРАНСТВ

Учебное пособие

2-е издание, стереотипное электронное

МПГУ Москва • 2024

УДК

512

ББК

22.14я73

 

И265

Рецензенты:

А. В. Царев, доктор физико-математических наук, профессор, Московский педагогический государственный университет

А. В. Никифорова, кандидат физико-математических наук, доцент, Московский педагогический государственный университет

Игнаточкина, Лия Анатольевна.

И265 Руководство к решению задач по тензорной алгебре векторных

пространств: Учебное пособие / Л. А. Игнаточкина. – 2-е изд., стер.

электрон. – Москва:МПГУ, 2024. – 64 с. – Текст: электронный.

ISBN 978-5-4263-0159-7

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

УДК 512

ББК 22.14я73

ISBN 978-5-4263-0159-7

© МПГУ, 2014

 

© Игнаточкина Л. А., 2014

Содержание

 

 

1.

Предварительные сведения из линейной алгебры . . . . . . . . .

4

 

1.1.

Векторное пространство . . . . . . . . . . . . . . . . . . .

4

 

1.2.

Линейные операторы . . . . . . . . . . . . . . . . . . . . .

6

 

1.3.

Формулы перехода . . . . . . . . . . . . . . . . . . . . . .

7

2.

Ковекторы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

9

 

2.1.

Векторное пространство ковекторов . . . . . . . . . . . .

9

 

2.2. Формулы перехода для дуальных базисов . . . . . . . . .

13

3.

Тензоры . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

14

 

3.1.

Определение тензора . . . . . . . . . . . . . . . . . . . . .

14

 

3.2.

Примеры тензоров . . . . . . . . . . . . . . . . . . . . . .

16

4.

Операции с тензорами . . . . . . . . . . . . . . . . . . . . . . . .

19

 

4.1.

Определение тензорных операций . . . . . . . . . . . . .

19

 

4.2. Операции с тензорами в компонентах . . . . . . . . . . .

23

5.Канонический базис в векторном пространстве тензоров типа

(r, s) .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

28

6. Симметрические и кососимметрические тензоры . . . . . . . . .

30

6.1.

Определения . . . . . . . . . . . . . . . . . . . . . . . . .

30

6.2.

Операторы альтернирования и симметризации . . . . . .

31

6.3.Альтернирование и симметризация тензоров по части

аргументов . . . . . . . . . . . . . . . . . . . . . . . . . .

36

7. Операция внешнего умножения . . . . . . . . . . . . . . . . . . .

42

8.Линейные отображения векторных пространств тензоров . . . . 51

9.Операции поднятия и опускания индексов для тензорной ал-

гебры (псевдо) евклидова пространства V . . . . . . . . . . . . .

53

10. Псевдо-евклидова структура в пространствах тензоров T0r(V ) и

 

Tr0(V ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

58

3

Л. А. ИГНАТОЧКИНА. РУКОВОДСТВОКРЕШЕНИЮЗАДАЧПОТЕНЗОРНОЙАЛГЕБРЕВЕКТОРНЫХПРОСТРАНСТВ

§1. Предварительные сведения из линейной алгебры

1.1.Векторное пространство

Пусть V – непустое множество произвольной природы.

Будем называть множество V вещественным векторным пространством (или просто векторным пространством или вещественным линейным пространством), а его элементы векторами, если выполняются следующие требования:

I.Введено отображение, которое любым элементам X, Y V ставит в соответствие элемент Z V , называемый суммой векторов X и Y и обозначаемый Z = X + Y .

II.Введено отображение, которое любому элементу X V и любому числу

λR ставит в соответствие элемент Y V , называемый произведением вектора X на число λ и обозначаемый Y = λX.

III.Указанные два отображения удовлетворяют 8 условиям:

10. X + Y = Y + X (коммутативность);

20. (X + Y ) + Z = X + (Y + Z) (ассоциативность);

30. Существует элемент 0 V , такой, что для любого элемента X V выполняется X + 0 = X (элемент 0 называется нуль-вектором);

40. Для любого элемента X V существует элемент −X V , такой, что

X+ (−X) = 0 (элемент −X называется противоположным элементу X);

50. (λ + μ)X = λX + μX; 60. λ(X + Y ) = λX + λY ;

70. (λμ)X = λ(μX);

80. 1X = X,

где X, Y V , λ, μ R – произвольные элементы. Условия 10–80 называются аксиомами векторного пространства. Отображения, определенные в I и II, будем называть операцией сложения векторов и операцией умножения вектора на вещественное число.

Система векторов (e1, . . . , en) называется линейно зависимой, если существуют вещественные числа α1, . . . , αn, не равные нулю одновременно, такие,

4

§1. ПРЕДВАРИТЕЛЬНЫЕ СВЕДЕНИЯ ИЗ ЛИНЕЙНОЙ АЛГЕБРЫ

что

 

α1e1 + . . . + αnen = 0.

( )

Если равенство ( ) выполняется тогда и только тогда, когда

α1 = . . . = αn = 0, то система векторов (e1, . . . , en) называется линейно независимой.

Если в векторном пространстве V существует система из n линейно независимых векторов (e1, . . . , en), такая, что для любого вектора X V имеем

X = X1e1 + . . . + Xnen,

то векторное пространство V называется n-мерным, а система векторов

(e1, . . . , en) – базисом V . Числа (X1, . . . , Xn) называются координатами вектора X в данном базисе.

В дальнейшем мы будем работать только с n-мерными векторными пространствами, не оговаривая это дополнительно.

Замечание 1.1. В дальнейшем нам часто придется использовать суммы от 1 до некоторого фиксированного числа. Будем обозначать сумму следующим образом:

n

α1a1 + . . . + αnan = αiai.

i=1

Чтобы еще сократить запись, договоримся, что по одинаковым верхнему и нижнему индексам производится суммирование от 1 до этого числа:

αiai = α1a1 + . . . + αnan.

Индекс, обозначающий суммирование, называется индексом суммирования. Индекс суммирования можно обозначать любой буквой. Например, αiai ≡ αjaj ≡ αkak ≡ . . . Введенная договоренность об обозначении суммирования называется правилом суммирования Эйнштейна.

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

Также договоримся о сокращенной записи систем равенств. Пусть дана

5

Л. А. ИГНАТОЧКИНА. РУКОВОДСТВОКРЕШЕНИЮЗАДАЧПОТЕНЗОРНОЙАЛГЕБРЕВЕКТОРНЫХПРОСТРАНСТВ

система равенств

b1 = b11a1 + . . . + bn1 an

. . .

bm = b1ma1 + . . . + bnman.

Будем записывать такую систему в виде bp = bipai, (i = 1, . . . , n; p = 1, . . . , m). Индекс, не являющийся индексом суммирования, называется свободным ин-

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

1.2.Линейные операторы

Напомним определение линейного оператора.

Линейным оператором на векторном пространстве V называется отображение L : V → V , удовлетворяющее условию линейности, то есть

L(αX + βY ) = αL(X) + βL(Y ),

α, β R – произвольные числа, X, Y V – произвольные векторы.

Пусть дан линейный оператор L. Если в векторном пространстве V фиксирован базис E = (e1, . . . , en), то оператор L однозначно определяется своей матрицей (Lij), i, j = 1, . . . , n. Напомним, что числа Lij получаются следующим образом. Рассмотрим вектор ej из базиса E и подействуем на него оператором L. В результате мы получим вектор L(ej), который разложим по базису E:

L(ej) = Lji ei.

(1.1)

Таким образом, числа Lij суть координаты векторов L(ej) в базисе E. В матрицу координаты векторов L(ej) записываются по столбцам. Учитывая эту договоренность, мы видим, что верхний индекс в обозначении Lij (номер координаты) обозначает номер строки в матрице, а нижний индекс – номер столбца. Таким образом, элемент Lij стоит в i-й строке и j-м столбце матри-

цы (Lij).

С помощью матрицы линейного оператора можно выразить результат действия этого оператора на произвольный вектор пространства V . Пусть дан

6

§1. ПРЕДВАРИТЕЛЬНЫЕ СВЕДЕНИЯ ИЗ ЛИНЕЙНОЙ АЛГЕБРЫ

вектор X V . Обозначим его координаты в базисе E через (X1, . . . , Xn). Тогда

L(X) = L(Xiei) = XiL(ei) = XiLikek.

(1.2)

Здесь мы воспользовались линейностью оператора L и формулой (1.1) (в формуле мы заменили индекс j на i, а индекс i – на k). В частности, мы получили, что координаты вектора L(X) в базисе E имеют вид (L1i Xi, . . . , Lni Xi).

1.3. Формулы перехода

 

˜

= (ε1, . . . , εn). Выведем фор-

Пусть даны два базиса E = (e1, . . . , en) и E

мулы преобразования координат произвольного вектора X при переходе от

˜

 

базиса E к базису E.

 

Пусть

 

εi = Cijej,

(1.3)

то есть Cij – это j-я координата i-го вектора εi в базисе E. Координаты векторов εi записывают по столбцам в матрицу C, которая называется матрицей

перехода от базиса к базису ˜.

E E

Обозначим координаты вектора X в базисе E через (Xi), i = 1, . . . , n, а в

˜

˜ i

). Тогда по определению координат вектора получим

базисе E

– через (X

 

 

j

˜ i

˜ i

j

 

 

X

ej = X = X

εi = X

Ci ej.

В силу линейной независимости базисных векторов получим формулы преобразования координат вектора при переходе от одного базиса к другому

X

j

j ˜ i

.

(1.4)

 

= Ci X

Замечание 1.2. Из полученной формулы нам хотелось бы выразить коорди-

наты ˜ i. Для этого заметим, что соотношение (1.4) можно записать в мат-

X

ричной форме в виде = ˜ , где – столбец из координат вектора

X CX X X

в базисе , – матрица перехода от базиса к базису ˜, ˜ – столбец из

E C E E X

координат вектора в базисе ˜ (здесь мы вспомнили правило умножения

X E

матриц «строка на столбец» ). Чтобы выразить столбец ˜ , нам нужно полу-

X

ченное матричное равенство умножить слева на матрицу, обратную матрице

7

Л. А. ИГНАТОЧКИНА. РУКОВОДСТВОКРЕШЕНИЮЗАДАЧПОТЕНЗОРНОЙАЛГЕБРЕВЕКТОРНЫХПРОСТРАНСТВ

. Будем обозначать такую матрицу 1 = (( 1)i ): 1 = ˜ . От этого

C C C j C X X

равенства нам нужно вернуться обратно к «координатному соотношению». Для этого опять вспоминаем правило из алгебры умножения матриц «строка

на столбец» и видим, чтобы получить -й элемент в столбце ˜ , нужно элемен- i X

ты i-й строки матрицы C1 умножить на элементы столбца X и результаты сложить:

˜ i

= (C

1

i j

.

(1.5)

X

 

)jX

Из проведенного рассуждения вытекает следующее правило: чтобы выра-

зить ˜ i из равенства (1.4), нужно найти свободный индекс у элемента мат-

X

рицы C (в нашем случае это индекс j), умножить каждое из равенств на элемент (C1)kj и сложить полученные равенства:

(C1)kXj = (C1)kCjX˜ i.

(1.6)

j

j i

 

Рассмотрим выражение (C1)kj Cij. Это элемент k-й строки i-го столбца матрицы, равной произведению матриц C1 и C, то есть 1, если k = i и 0 в противном случае. Такую величину обозначают следующим образом

δik =

1, если k = i;

0, если k = i.

 

 

и называют дельтой Кронекера или символом Кронекера. С учетом этого обозначения из (1.6) получим

 

(C1)jkXj = δikX˜ i.

 

k ˜ i

k

1

k n

. Это сумма, в которой все

Нам осталось вычислить δi

X

= δ1 X

 

+ . . . + δnX

слагаемые, кроме одного, равны нулю. Отличным от нуля будет слагаемое, в

k ˜ i

˜ k

.

котором индекс суммирования i принимает значение k, то есть δi X

= X

Итак, окончательно равенство (1.6) принимает вид

( 1)k j = ˜ k

C j X X .

Это выражение совпадет с (1.5), если переобозначить k на i. (Обратите внимание, что свободный индекс мы можем обозначать любой буквой, но заменять его нужно во всем выражении.)

8

§2. КОВЕКТОРЫ

Аналогичным образом получим соотношения между элементами матриц линейного оператора L. Обозначим (Lij) матрицу линейного оператора в ба-

 

˜i

матрицу оператора L

 

˜

 

 

 

зисе E и через Lj

в базисе E. Тогда

 

 

 

˜j

˜j k

 

 

j

j

j

k

 

 

L(εi) = Li

εj = Li Cj ek; L(εi) =

L(Ci ej) = Ci

L(ej) = Ci

Lj ek.

 

Здесь мы использовали линейность оператора L и формулы (1.3), (1.1). Таким

образом,

 

 

 

 

 

 

 

 

 

 

˜j

k

j

k

= 0.

 

 

 

 

 

(Li Cj

Ci Lj )ek

˜j k

j

 

 

 

 

 

 

 

 

k

В силу линейной независимости базисных векторов имеем Li Cj

= Ci

Lj . Вы-

разим L˜j (см. замечание 1.2): L˜jCk(C1)t = CjLk(C1)t или

 

 

 

i

i

 

j

k

i j

k

 

 

 

 

L˜t

= Cj(C1)t Lk.

 

 

(1.7)

 

 

i

 

i

k

j

 

 

 

§2.

Ковекторы

 

 

 

 

 

 

 

2.1.

Векторное пространство ковекторов

 

 

 

Пусть V – векторное пространство.

 

 

 

 

 

Рассмотрим отображение u :

V → R, которое каждому вектору X V

ставит в соответствие число α R. Если это отображение удовлетворяет условиям:

1)u(X + Y ) = u(X) + u(Y );

2)u(αX) = αu(X)

для любых X, Y V и любого α R, то отображение u называется линейным отображением или линейной формой или ковектором. Первое условие называется аддитивностью, а второе – однородностью отображения u.

Условия аддитивности и однородности эквивалентны (докажите самостоятельно) выполнению условия

u(αX + βY ) = αu(X) + βu(Y )

для любых X, Y V , α, β R. Оно называется линейностью отображения u.

Пример 2.1. Рассмотрим отображение 0 : V → R, заданное формулой 0(X) = 0 для любого вектора X. Докажем, что это отображение линейно.

9

Л. А. ИГНАТОЧКИНА. РУКОВОДСТВОКРЕШЕНИЮЗАДАЧПОТЕНЗОРНОЙАЛГЕБРЕВЕКТОРНЫХПРОСТРАНСТВ

В самом деле, для любых X, Y V , α, β R получим

0(αX + βY ) = 0 = α · 0 + β · 0 = α0(X) + β0(Y ).

Таким образом, условие линейности выполняется и отображение 0 является линейным, то есть ковектором.

Обозначим множество всех ковекторов u : V → R через V . Введем в этом множестве операции сложения ковекторов и умножения ковектора на число по формулам:

(u + v)(X) = u(X) + v(X); (λu)(X) = λ(u(X))

для любых u, v V , X V , λ R.

Лемма 2.1. Введенные операции корректны, то есть u + v и λu являются ковекторами.

Доказательство. По определению операций сложения и свойству линейности получим

(u + v)(αX + βY ) = u(αX + βY ) + v(αX + βY ) =

=αu(X) + βu(Y ) + αv(X) + βv(Y ) = α(u(X) + v(X)) + β(u(Y ) + v(Y )) =

=α((u + v)(X)) + β((u + v)(Y )).

Таким образом, сумма отображений u и v является ковектором, то есть принадлежит V . Аналогично доказывается, что произведение ковектора на число также является ковектором (докажите самостоятельно).

Теорема 2.1. Множество V ковекторов u : V → R с введенными операциями сложения и умножения на число является векторным пространством.

Доказательство. Нам нужно проверить выполнение 8 аксиом векторного пространства. Проверим, например, аксиому 10. Остальные проверяются аналогично.

Для любых u, v V , X V по определению суммы ковекторов и свойствам сложения вещественных чисел получим

(u + v)(X) = u(X) + v(X) = v(X) + u(X) = (v + u)(X).

10

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]