Коэффициенты уравнения поверхности второго порядка
образуют ковариантный тензор валентности 2, а элементы
матрицы линейного преобразования — тензор, 1 раз ковариантный и 1 раз контравариантный. Система трёх чисел
x1 ,
x2 , x3 , преобразующихся как координаты вектора
x = xi ei , образует 1 раз контравариантный тензор, а система чисел, преобразующихся как скалярное произведение
xi = xei , образует 1 раз ковариантный тензор. Относительно преобразования аффинных координат символ Кронекера
является смешанным тензором (поэтому, в отличие от пункта 2, здесь пишут один индекс сверху, другой — снизу). Совокупность чисел
gij = ei ej , где
ei — векторы базиса, образует тензор, называемый ковариантным метрическим тензором. Длина любого вектора пространства
х = xiei равна
, а скалярное произведение двух векторов
х и
у равно
gij xi yj . Совокупность величин
gij таких, что
, образует тензор, который называется контравариантным метрическим тензором.
Дословно, так же как и в трёхмерном пространстве, определяются тензоры в n -мерном пространстве. Важным примером тензоров в n -мерном пространстве являются совокупности компонент поливекторов .
Порядок следования индексов существенным образом входит в определение тензора, то есть при перестановке индексов компоненты тензора, вообще говоря, меняются. Тензор называется симметрическим по данной совокупности индексов (одного и того же уровня), если при перестановке любых двух индексов этой совокупности он не меняется. Если же при такой перестановке компоненты тензора меняют знак, то он называется кососимметрическим по этой совокупности индексов. В более общем смысле условием симметрии тензора называют любую инвариантную линейную зависимость между его компонентами.
4. Действия над тензорами. Существуют четыре основные операции над тензорами: сложение тензоров, умножение тензоров, свёртывание тензоров по двум или более индексам и перестановка индексов тензора. Так как тензор задаётся своими компонентами в различных системах координат, то действия над тензорами задаются формулами, выражающими в каждой системе координат компоненты результата действия через компоненты тензоров, над которыми производятся действия. При этом формулы должны быть такими, чтобы в результате выполнения действия получился тензор.
а) Сложение тензоров. Суммой двух тензоров
и
одинакового строения (то есть имеющих одинаковое число верхних и нижних индексов) называется тензор с компонентами
б) Умножение тензоров. Произведением двух тензоров
и
(быть может различного строения) называется тензор с компонентами
. Произведение тензоров, вообще говоря, зависит от порядка сомножителей. Если один из тензоров имеет нулевую валентность (то есть является скалярной величиной l)
, то умножение его на другой тензор
сводится к умножению всех компонент тензора
на число l.
в) Свёртывание тензора. Результатом свёртывания тензора
по индексам
а и
d (верхнему и нижнему) называется тензор
, компоненты которого равны
. (здесь производится суммирование по индексу i). Например, след матрицы
является результатом свёртывания её по индексам
i и
j , бискалярное произведение
тензоров
и
. равно результату свёртывания их произведения по всем индексам. При полном свёртывании тензора (по всем индексам) получается инвариант.
г) Перестановка индексов. Пусть компоненты тензора
выражаются через компоненты тензора
формулой
. Тогда говорят, что
получился из
перестановкой индексов
с и
е. При этом переставляться могут только индексы одного и того же уровня.
5. Тензорный анализ. В приложениях приходится обычно рассматривать не отдельные тензоры, а тензорные поля. Например, при изучении упругой деформации рассматривают тензоры деформации и напряжений во всех точках тела. Если в пространстве задана прямоугольная система координат, то тензорное поле Т (Р ) можно рассматривать как совокупность функций
, заданных в каждой точке
Р (
х1 , x2 , x3 ) области и преобразующихся при переходе от одной системы прямоугольных координат к другой по формулам вида (1). В этом случае частные производные компонент тензора по координатам
образуют также тензор, валентность которого на единицу выше валентности исходного тензора. Например, при дифференцировании скалярного поля получается поле градиента, при дифференцировании поля градиента — поле симметрического тензора второй валентности:
и т. д.
В тензорном анализе рассматриваются не только прямоугольные или аффинные, но и произвольные (достаточное число раз дифференцируемые) криволинейные координаты xi . В окрестности каждой точки эти координаты можно заменить аффинными координатами. В качестве базисных векторов этих аффинных координат надо взять частные производные
радиус-вектора
r в точке
Р. Тогда скалярные произведения ei ej , будут равны значениям компонент метрического тензора gij в точке Р, с помощью которого длина бесконечно малого вектора
,
,
выражается формулой
. Поэтому метрика в криволинейной и прямолинейной системах координат совпадает с точностью до бесконечно малых высшего порядка. Тем самым в каждой точке пространства вводится своя (локальная) система аффинных координат, относительно которой и задаются компоненты тензорного поля в этой точке. При переходе от одной системы криволинейных координат (
x’,..., xn )
к другой (
y’,..., yn ) локальная система координат в каждой точке меняется, причём базисные векторы преобразуются по формулам
. Иными словами, коэффициенты линейного преобразования
будут различными в разных точках и равны
; точно так же матрица
состоит из выражений
. Поэтому тензорным полем относительно криволинейных координат. называют совокупность функций
,
заданных в каждой точке области для системы криволинейных координат и преобразующихся при переходе от одной системы криволинейных координат к другой по формулам (2), где положено
,
. В рассматриваемом случае частные производные компонент поля по координатам
xi уже не образуют тензорного поля. Это объясняется тем, что при переходе от одной точки к другой изменяются не только компоненты тензора, но и локальная координатная система, к которой этот тензор относится. Поэтому при определении изменения тензора надо учитывать не только изменение компонент тензора при переходе от точки
Р (
xi ) к бесконечно близкой ей точке
Q (
x’ +
dxi )
, но и изменение локальной координатной системы. Иными словами, компоненты приращения тензора нельзя считать равными приращениям его компонент. Например, для векторных полей
u (P), где
u имеет контравариантные компоненты
u; приращение векторного поля равно (с точностью до бесконечно малых высшего порядка) выражению
.
Здесь через
обозначены так называемые символы Кристоффеля (см.
Кристоффеля символ )
, связанные с метрическим тензором
соотношением