12 Тензоры.
Ошибка.
Попробуйте повторить позже
Показать, что операция опускания (и поднятия) индекса является композицией тензорного произведения с фиксированным тензором (и, соответственно, ) и свёртки.
Действительно, рассмотрим, например, опускание первого верхнего индекса у тензора при помощи тензора . С одной стороны, по определению компоненты этого тензора после опускания будут:
С другой стороны, если сначала умножить тензорно на , то это будет тензор типа с компонентами:
Если же, далее, осуществить свёртку этого нового тензора по первому нижнему и первому верхнему индексу, то будем иметь тензор типа с компонентами
Что и равно опусканию первого верхнего индекса, с точностью до переименования немого индекса
суммирования на .
Для поднятия всё, разумеется, аналогично.
Ошибка.
Попробуйте повторить позже
Пусть - тензор типа . Что будет результатом его свёртки по единственной паре индексов? Как эта операция связана с уже известной вам операцией на матрицах?
Фактически, на тензоры типа можно смотреть как на матрицы. То есть мы имеем дело с матрицей , коэффициенты которой можно записать в виде . Тогда по определению свёртки по её единственному верхнему и нижнему индексу, мы будем иметь:
где по повторяющемуся верхнему и нижнему индексу подразумевается суммирование. То есть
Таким образом, свёртка тензора представляет собой операцию взятия следа. В конце
получается тензор типа , то есть просто вещественное число.
Ошибка.
Попробуйте повторить позже
Рассмотрим , пусть - базис в .
Пусть компоненты тензора задаются формулой
Пусть в выбран новый базис, который связан со старым базисом матрицей перехода
Найти компоненту в новом базисе.
Запишем тензорный закон для этой компоненты:
где - компоненты матрицы , - компоненты матрицы - соответствующая замене
двойственного базиса в .
Матрица будет иметь вид:
Осталось лишь посчитать по формуле .
Но, как вы видите, в этой формуле целых пять индексов суммирования - расписывать её в лоб будет
очень долго, это получится очень большая сумма. И, что самое главное - мы проделаем лишнюю
работу, которую мы сейчас с вами немного сократим за счёт наблюдений за элементами матриц и
.
Даватйе заметим, что, во-первых, поскольку в первой строке матрицы только первый элемент
отличен от нуля, то имеет смысл брать только равным 1 (при остальных число будет равна 0
и занулит всё слагаемое), а также поскольку в третьем столбце матрицы все элементы кроме
третьего равны нулю, то имеет смысл брать лишь равным 3. По аналогичным соображениям,
имеет смысл брать лишь равным 1 или 2. И, также заметим, что можно брать только равным 2 или
3.
Таким образом, будем иметь:
Далее, поскольку , то это последнее равенство можно переписать:
Где,
как и всегда, подразумевается суммирование по повторяющимся верхним и нижним индексам.
Заметим, что не зависит от индексов , поэтому его можно просто вынести как общий
множитель при каждых и - он по определению зависит только от второго нижнего индекса, т.е.
от . Таким образом, будем иметь:
Напомним, мы в сумме брали любым, а вот только 1 или 2, поскольку при равен
нулю.
Осталось просуммировать по (как мы уже заметили, берём только равным 2 или
3):
(компоненты тензора мы вычисляли по данному нам условию )
Далее,
Таким образом, в конце концов имеем:
Ошибка.
Попробуйте повторить позже
Рассмотрим , пусть - базис в .
Пусть компоненты тензора задаются формулой
Пусть задан фиксированный тензор типа задан матрицей
Найти компоненту тензора , получающего из тензора при помощи опускания третьего индекса с фиксированным тензором
По определению опускания индекса,
Ошибка.
Попробуйте повторить позже
Пусть - векторное произведение в . Пусть - некоторый базис в . Показать, что набор чисел , определенных правилом
образует тензор (т.е. удовлетворяет тензорному закону).
Пусть - коэффициенты матрицы перехода к некоторому другому базису , - коэффициенты обратной к матрице перехода матрицы. Тогда какие бы базисные векторы в новом базисе в новом базисе мы ни взяли, то, разложив их при помощи матрицы перехода по старому базису как , , будем иметь:
И в силу полилинейности векторного произведения, коэффициенты можно вынести за знак векторного произведения, а векторное произведение от суммы по каждому аргументу равно сумме векторных произведений:
Далее, в силу того, что нам дано , продолжаем:
И
вектор при помощи обратной матрицы к матрице перехода выразим через новый базис как
.
В конце концов получаем:
Но, с другой стороны, по определению чисел , имеем:
Откуда
И слева и справа в нашем равенстве записаны некоторые линейные комбинации базисных векторов в новом базисе (). Но в силу того, что - это базис, то если две линейные комбинации базиса равны, то коэффициенты этих линейных комбинаций совпадают (свойство единственности разложения по базису). Таким образом, будем иметь:
И мы получаем в точности тензорный закон для чисел . Следовательно, эти наборы чисел действительно являются тензором.