Русская Википедия:Тензор

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Файл:Components stress tensor.svg
Тензор механического напряжения может быть представлен как матрица, столбцами которой являются силы, действующие на грани куба

Те́нзор (от Шаблон:Lang-la, «напряжённый») — применяемый в математике и физике объект линейной алгебры, заданный на векторном пространстве <math>V</math> конечной размерности <math>n</math>. В физике в качестве <math>V</math> обычно выступает физическое трёхмерное пространство или четырёхмерное пространство-время, а компонентами тензора являются координаты взаимосвязанных физических величин.

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

Тензоры различаются по типу, который определяется парой натуральных чисел <math>(s,r)</math>, где <math>s</math> — контравариантный, а <math>r</math> — ковариантный ранг (и говорят <math>s</math> раз контравариантный и <math>r</math> раз ковариантный тензор), а сумма <math>s+r</math> называется просто рангом тензора.

Тензоры типа <math>(s, r)</math> — это векторы линейного пространства, полилинейно связанного с пространством <math>V</math> и обозначаемого <math>\otimes^s_rV</math> или <math>T^s_r(V)</math>. Размерность <math>\otimes^s_rV</math> равна числу компонент тензора, а сами компоненты представляют собой координаты тензора в <math>\otimes^s_rV</math> в базисе, «привязанном» к базису пространства <math>V</math>. Ранг тензора вместе с размерностью пространства <math>V</math> определяют количество компонент тензора <math>n^{s+r}</math>, а ковариантный и контравариантный ранг — характер их зависимости от базиса в пространстве <math>V</math>.

Именно полилинейная связь между <math>V</math> и <math>\otimes^s_rV</math> позволяет идентифицировать векторы из <math>\otimes^s_rV</math> как тензоры на <math>V</math>, а не просто векторы некоторого пространства, так как при замене базиса в <math>V</math>, также меняется базис в <math>\otimes^s_rV</math> и координаты тензора как вектора этого пространства. Поэтому говорят о координатном представлении тензора в базисе пространства <math>V</math>. Несмотря на изменения компонент тензора при смене базиса, тензоры, как алгебраические и геометрические объекты, от базиса не зависят — одному и тому же объекту могут соответствовать разные наборы координат в разных базисах.

Компоненты тензора при фиксированном базисе <math>V</math> можно структурировать в виде <math>(s+r)</math>-мерной таблицы <math> n \times n \times \cdots \times n </math>. При ранге 0 таблица представляет собой одно число, при ранге 1 — упорядоченный набор (вектор-столбец или вектор-строка), при ранге 2 — квадратную матрицу, при ранге 3 — трёхмерный куб и т. д. В общем случае визуальное представление для больших рангов затруднительно.

Таким образом, тензоры типа (1,0) — это векторы пространства <math>V</math>, (0,1) — линейные функционалы (ковекторы) на <math>V</math>, образующие сопряженное пространство <math>V^*</math> той же размерности. Тензоры 2 ранга — это тензоры типа (0,2) (билинейные формы), (1,1) (линейные операторы) и (2,0). К тензорам (ранга 0) относятся также скаляры — элементы поля, на котором задано пространство <math>V</math> (обычно это действительные или комплексные числа). Скаляры не изменяются (инвариантны) при смене базиса.

Компоненты тензора типа <math>(s,r)</math> записываются с помощью <math>s</math> верхних (контравариантных) и <math>r</math> нижних (ковариантных) индексов: <math>T^{i_1i_2\dots i_s}_{j_1j_2\dots j_r}</math>. Например, векторы в тензорном обозначении записываются с одним верхним индексом <math>x^i</math>, линейные операторы — с нижним и верхним индексами: <math>a^i_j</math>, билинейные формы (дважды ковариантные тензоры) — с двумя нижними индексами <math>F_{ij}</math>. Тензор типа <math>(1, 3)</math> (например, тензор кривизны Римана) будет записан как <math>R^i_{jkl}</math>.

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

Тензоры были популяризованы в 1900 году Туллио Леви-Чивита и Грегорио Риччи-Курбастро, которые продолжили более ранние работы Бернхарда Римана и Элвина Бруно Кристоффеля. Слово «тензор» придумал немецкий физик В. Фогт в 1898 году[1].

Предварительные сведения

Правило Эйнштейна

Здесь и далее по тексту статьи в основном будет использоваться общепринятое соглашение — так называемое правило Эйнштейна, в соответствии с которым, если в записи присутствуют верхний и нижний индексы, обозначенные одинаковой буквой (так называемый "немой" индекс), то по нему предполагается суммирование. Например, запись <math>x^ie_i</math> означает то же, что и <math>x=\sum^n_{i=1} x^ie_i</math>. Это позволяет упростить записи формул за счет того, что не указываются знаки суммирования. По индексам, обозначенным разными буквами, суммирования не предполагается. Немой индекс в результате «исчезает», а остальные индексы остаются, например: <math>y^j=c^j_ix^i=\sum^n_{i=1}c^j_ix^i</math> или <math>a^j_i=b^j_kc^k_i=\sum^n_{k=1}b^j_kc^k_i</math>. См. также подраздел настоящей статьи, посвященный операции свёртки.

Контравариантность векторов

Пусть набор векторов <math> \{e_i \}=(e_1,e_2,...,e_n)</math> является базисом в векторном пространстве <math>V</math>. Тогда любой вектор <math>x</math> этого пространства в данном базисе представляется как линейная комбинация базисных векторов: <math>x= x^ie_i</math>. Набор (упорядоченный) чисел <math>\{x^i\}=(x^1,x^2,...,x^n)^T</math> (вектор-столбец) называют координатами или компонентами вектора в данном базисе или координатным представлением вектора.

Рассмотрим другой набор векторов <math>\{ e'_i \}=(e'_1,e'_2,...,e'_n)</math>, также являющийся базисом. Каждый из векторов нового базиса может быть представлен в «старом» базисе (как и любой вектор): <math>e'_i=e_{i'}=c^i_{i'}e_i</math>, то есть координатами <math>(c^1_{i'},c^2_{i'},...,c^n_{i'})^T</math>. Соответственно, матрица <math>C=\{c^i_{i'}\}</math>, столбцы которой представляют координаты нового базиса в старом — это матрица преобразования старого базиса в новый. Обратная матрица <math>C^{-1}=\{c^{i'}_i\}</math> позволяет получить старый базис из нового. Кроме этого именно с помощью обратной матрицы можно получить координатное представление произвольного вектора в новом базисе. В самом деле <math>x= x^i e_i=x^i c^{i'}_i e_{i'}=(x^i c^{i'}_i) e'_i</math>, то есть новые координаты (в новом базисе) равны <math>x^{i'}=x^ic^{i'}_i</math> (в матрично-векторной форме это записывается как <math>x'=C^{-1}x</math>). То есть координаты вектора преобразовываются обратно базису. Это свойство преобразования координат называется контравариантность.

Ковариантность линейных функционалов

Если координаты какого-либо объекта будут преобразовываться как базис, то есть с помощью матрицы преобразования базиса, то это называется ковариантность. Примером ковариантного объекта являются так называемые ковекторы - это линейные функционалы (линейные формы) на пространстве <math>V</math>. Это требует пояснения. В силу линейности множество всех таких функционалов также образует векторное пространство <math>V^*</math>, называемое сопряженным к <math>V</math> и имеющее ту же размерность, что и <math>V</math>. Таким образом, линейные функционалы (формы) — это векторы сопряженного пространства. Ковекторами (ковариантными тензорами ранга 1) они становятся в силу привязки к основному пространству <math>V</math>, а именно специфическим выбором базиса сопряженного пространства, однозначно определяемого базисом пространства <math>V</math>. В заданном базисе пространства <math>V</math> произвольная линейная форма равна <math>f(x)=f(x^ie_i)=f(e_i)x^i=f_ix^i</math>.Координаты вектора <math>x^i</math> можно трактовать как тоже линейные функции, которые ставят в соответствие каждому вектору — его соответствующую координату: <math>x^i=e^i(x)</math>. Эти линейные функционалы являются базисом в сопряженном пространстве и называются дуальным (или двойственным) базисом (к базису основного пространства). Соответственно, произвольная линейная форма представляется в виде:<math>f(x)=f_ie^i</math>, то есть тоже как набор координат <math>(f_1, f_2, ..., f_n)</math> (они записываются как вектор-строка, в отличие от вектора-столбца координат векторов основного пространства).

В новом базисе имеем: <math>f(x)=f(x^{i'}e_{i'})=f(e_{i'})x^{i'}=f(c^{i}_{i'}e_i)e^{i'}(x)=f(e_i)c^{i}_{i'}e^{i'}=(f_ic^{i}_{i'})e^{i'}=f_{i'}e^{i'}</math>, где <math>f_{i'}=f_ic^{i}_{i'}</math> — координаты линейной формы в новом дуальном базисе <math>\{e^{i'}(x)\}</math>. Они преобразуются с помощью той же матрицы <math>C=\{c^{i}_{i'}\}</math> перехода от старого базиса пространства <math>V</math> к новому <math>f'=f C</math>. Это можно пояснить и без формул: линейный функционал — вектор в пространстве <math>V^*</math>, поэтому при смене базиса в нем, его координаты меняются обратно своему базису, но этот дуальный базис меняется в свою очередь обратно изменению базиса в пространстве <math>V</math> (так как это координаты векторов по сути). В итоге координаты линейной функции преобразовываются так же, как и базис основного пространства. Поэтому они называются ковекторами по отношению к основному пространству.

Замечания

1. В случае ортонормированных базисов обратная матрица преобразования базиса равна просто транспонированной: <math>C^T =C^{-1}</math>, поэтому <math>(fC)^T=C^T f^T=C^{-1} f^T</math>, то есть, если координаты линейной формы записать не в виде вектор-строки, а в виде вектора-столбца, то правило преобразования координат линейной формы не будет отличаться от правила преобразования вектора. Таким образом, при переходах между ортонормированными базисами (повороты или изменения ориентации базиса) ковариантное преобразование не отличается от контравариантного.

2. В пространствах с (псевдо)скалярным произведением ((псевдо)евклидовы пространства) пространство <math>V^*</math> канонически изоморфно пространству <math>V</math>, то есть их можно отождествить (каждый линейный функционал представляется в виде скалярного произведения фиксированного вектора <math>a \in V</math> на вектор-аргумент функции <math>x \in V</math>, то есть <math> f(x)=(a,x) </math>, соответственно, между Шаблон:Math и Шаблон:Math имеется взаимно однозначное соответствие). Поэтому вектор и ковектор по существу можно считать одним объектом. В связи с этим считается, что один и тот же вектор (в общем случае и тензор) можно просто представить как в контравариантных координатах, так и в ковариантных. Так часто поступают, например, в физике, где тензоры обычно рассматриваются либо в геометрическом трехмерном пространстве, либо в четырехмерном пространстве-времени.

Примеры пересчета координат при замене базиса

Пример пересчета координат вектора при смене базиса

Файл:VectorCoordinates.png
Изменение координат вектора <math>v</math> при переходе к другому базису

Рассмотрим некоторый вектор <math> v</math> в некотором двумерном евклидовом пространстве (евклидова плоскость), который на рисунке справа изображен в виде направленной стрелки зеленого цвета. В некотором базисе (на рисунке он обозначен красным) на плоскости, состоящем из векторов <math>{\color{red}e_1} = \begin{pmatrix} 1 \\ 0 \end{pmatrix}</math> и <math>{\color{red}e_2} = \begin{pmatrix} 0 \\ 1 \end{pmatrix}</math>, этот вектор имеет координаты <math>\begin{pmatrix} 1 \\ 2 \end{pmatrix}</math>, то есть <math> {\color{limegreen}v}={\color{red}e_1}+2\color{red}e_2 </math> (сам вектор <math> v </math> не зависит от выбора базиса и задается независимо от него).

Теперь введем новый базис <math>\color{blue}f_1</math>, <math> \color{blue}f_2</math>, получаемый из первого поворотом на <math> 45^\circ</math> в положительном направлении. Разложим векторы <math>\color{blue}f_1</math>, <math> \color{blue}f_2</math>, по базису <math>\color{red}e_1</math>, <math>\color{red}e_2</math> и обозначим через <math>c_i^j</math> <math>j</math>-ю координату вектора <math>\color{blue}f_i</math>, тогда <math display="block">{\color{blue}f_i}=c_i^1{\color{red}e_1}+c_i^2{\color{red}e_2}=c_i^j{\color{red}e_j}, \quad i=1,2,</math>

Очевидно <math>{\color{blue}f_1} =\begin{pmatrix} \frac{1}{\sqrt{2}} \\ \frac{1}{\sqrt{2}} \end{pmatrix}</math>, <math>{\color{blue}f_2} = \begin{pmatrix}-\frac{1}{\sqrt{2}} \\ \frac{1}{\sqrt{2}}\end{pmatrix}</math>. Соответственно, матрица перехода <math>(c_i^j)</math> от базиса <math>\color{red}e_1</math>, <math>\color{red}e_2</math> к базису <math>\color{blue}f_1</math>, <math> \color{blue}f_2</math> имеет вид <math>C=\{c_i^j\} = \begin{pmatrix} \frac{1}{\sqrt{2}} & -\frac{1}{\sqrt{2}}\\ \frac{1}{\sqrt{2}} & \frac{1}{\sqrt{2}} \end{pmatrix}</math>.

Поскольку <math>{\color{limegreen}v}=\tilde v^i{\color{blue}f_i}=\tilde v^ic_i^j{\color{red}e_j}=v^j{\color{red}e_j}</math>, то старые координаты с новыми связаны как <math>v^j=c_i^j\tilde v^i</math> или в матричной форме <math>v=C \tilde v</math>, соответственно обратная зависимость координат в новом базисе от координат в старом выглядит в тензорной записи как <math>\tilde v^i=c_j^i v^j</math>, а в матричной как <math>\tilde v=C^{-1} v</math>. Обратную к матрицу легко найти в данном случае: <math>C^{-1}=C^T=\{c_j^i\} = \begin{pmatrix} \frac{1}{\sqrt{2}} & \frac{1}{\sqrt{2}}\\ -\frac{1}{\sqrt{2}} & \frac{1}{\sqrt{2}} \end{pmatrix}</math>. Соответственно, координаты вектора в новом базисе равны

<math display="block"> \tilde v= \begin{pmatrix} \frac{1}{\sqrt{2}} & \frac{1}{\sqrt{2}}\\ -\frac{1}{\sqrt{2}} & \frac{1}{\sqrt{2}} \end{pmatrix} \begin{pmatrix} 1 \\ 2 \end{pmatrix}=\begin{pmatrix} \frac{3}{\sqrt{2}} \\ \frac{1}{\sqrt{2}} \end{pmatrix}=\begin{pmatrix} \frac{3\sqrt{2}}{2} \\ \frac{\sqrt{2}}{2} \end{pmatrix}</math>

Видно, что, координаты вектора в новом базисе, действительно, отличаются от координат в старом базисе (что было видно уже по рисунку), при этом сам вектор <math> \color{limegreen}v </math>, как элемент пространства, никак не зависит от выбора базиса (геометрически зеленая стрелка не изменилась никак).

Пример пересчета координат линейного функционала

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

Пусть в этом базисе (точнее в дуальном к нему) некоторый линейный функционал <math>\varphi(x)</math> имеет координаты (1,1) (можно показать, что такой функционал находит проекцию на направление вектора (1,1) и умножает ее на <math>\sqrt{2}</math>. Например, для зеленого вектора <math>v</math> из рисунка <math>\begin{pmatrix}1 \\ 2 \end{pmatrix}</math> значение функционала равно 1+2=3. Значение функционала не должно зависеть от базиса. Покажем это на примере нового базиса, в котором ось <math>x</math> получается поворотом на 45 градусов против часовой стрелки, а ось <math>y</math> оставлена неизменной. Матрица преобразования базиса будет иметь вид: <math>C=\{c_i^j\} = \begin{pmatrix} \frac{1}{\sqrt{2}} & 0\\ \frac{1}{\sqrt{2}} & 1 \end{pmatrix}</math>, а новые координаты линейного функционала будут равны <math>\varphi =(1,1) \begin{pmatrix} \frac{1}{\sqrt{2}} & 0\\ \frac{1}{\sqrt{2}} & 1 \end{pmatrix}=(\frac {2}{\sqrt{2}},1)</math>. Обратная матрица преобразования базиса равна <math>C^{-1}= \begin{pmatrix} \sqrt{2} & 0\\ -1 & 1 \end{pmatrix}</math>. С ее помощью найдем координаты вектора v в новом базисе <math>v= \begin{pmatrix} \sqrt{2} & 0\\ -1 & 1 \end{pmatrix}\begin{pmatrix}1 \\ 2 \end{pmatrix}=\begin{pmatrix}\sqrt{2} \\ 1 \end{pmatrix}</math>. Соответственно, значение линейного функционала от вектора в новом базисе будет равно: <math>(\frac {2}{\sqrt{2}},1)\begin{pmatrix}\sqrt{2} \\ 1 \end{pmatrix}=3</math>, то есть получили то же значение, что и в первоначальном базисе.

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

Определения

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

Тензор как набор компонент (многоиндексный объект)

Общее определение. Правило преобразования координат

Тензором типа <math>(^s _r)</math> на векторном пространстве <math>V</math> (размерности <math>n</math>) называется объект, задаваемый в произвольном базисе <math>\{e_i\}</math> набором чисел <math>T^{i_1i_2\dots i_s}_{j_1j_2\dots j_r}</math> (каждый из индексов может принимать значения от 1 до <math>n</math>), которые при переходе к другому базису <math>\{e^'_i\}</math> изменяются по следующему закону (применяется правило Эйнштейна):

<math>T^{i'_1i'_2\dots i'_s}_{j'_1j'_2\dots j'_r}=T^{i_1i_2\dots i_s}_{j_1j_2\dots j_r}c^{i'_1}_{i_1}c^{i'_2}_{i_2} \dots c^{i'_s}_{i_s}c^{j_1}_{j'_1}c^{j_2}_{j'_2} \dots c^{j_r}_{j'_r}</math>

то есть <math>s</math> раз с помощью матрицы, обратной к матрице преобразования базиса, и <math>r</math> раз с помощью матрицы преобразования базиса. Другими словами, в рамках данного определения тензор — это массив компонент + закон преобразования компонент при замене базиса.

Число <math>s+r</math> называют валентностью или рангом тензора, <math>s</math> — контравариантной валентностью, <math>r</math>- ковариантной валентностью . Говорят также <math>s</math>-раз контравариантный и <math>r</math> -раз ковариантный тензор. Число компонент тензора (набор чисел, которым представляется тензор в данном базисе) равно <math>n^{s+r}</math>.

Соответственно, из этого определения следует, что вектор пространства <math>V</math> — это тензор типа <math>(^1 _0)</math>, а ковектор этого пространства — это тензор типа <math>(^0 _1)</math>. Для удобства считают, что тензор типа <math>(^0 _0)</math> — это само поле действительных чисел, то есть скаляры, не изменяющиеся при смене базиса.

Преобразования координат в частных случаях

Для вектора <math>x</math> пространства <math>V</math>, являющегося контравариантным тензором 1 ранга <math>x^i</math>, формула преобразования координат при смене базиса будет иметь вид<math>x^{i'}=x^ic^{i'}_i=c^{i'}_ix^i</math>, или в матричной форме: <math>\mathbf x'=C^{-1} \mathbf x </math>, где <math>\mathbf x, \mathbf x'</math> — вектор-столбцы координат вектора x в старом базисе и новом базисе.

Для линейной формы <math>f(x)</math> — ковариантного тензора 1 ранга <math>f_i</math> формула преобразования координат будет иметь вид:<math>f'_{i}=f_{i'}=f_ic^{i}_{i'}</math>, или в матричной форме <math>\mathbf f'=\mathbf fC</math>, где <math>\mathbf f, \mathbf f'</math> — вектор-строки координат линейной формы <math>f</math> в старом и новом базисе.

Для билинейной формы <math>B:V^2 \rightarrow R</math> (дважды ковариантный тензор <math>B_{ij}</math>) формула преобразования координат имеет вид:

<math>B'_{ij}=B_{i'j'}=B_{ij}c^i_{i'}c^j_{j'}=c^i_{i'}B_{ij}c^j_{j'}=C^TBC</math>

Для линейного оператора <math>A:V \rightarrow V </math> (один раз ковариантный и один раз контравариантный тензор <math>A^j_i</math>) формула пересчета координат имеет вид:

<math>A^{j'}_{i'}=A^{j}_{i}c^i_{i'}c^{j'}_{j}=c^{j'}_{j}A^{j}_{i}c^i_{i'}=C^{-1}AC</math>

Псевдотензоры

Псевдотензоры — алгебраические объекты, координаты которых преобразуются аналогично тензорам, за исключением смены ориентации базиса — в этом случае псевдотензоры меняют знак, в отличие от истинных тензоров. Формально это означает, что в законе преобразования координат необходимо добавить множитель, равный знаку определителя матрицы преобразования базиса: <math>sign(det(C))</math>.

Частными случаями псевдотензоров являются псевдоскаляры и псевдовекторы. Пример псевдоскаляра — так называемый ориентированный объем. Пример псевдовектора — результат векторного произведения в трехмерном пространстве, например вектор момента импульса. Псевдотензорами являются также символы Леви-Чивиты.

Многоиндексные объекты, не являющиеся тензорами

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

Существуют объекты, которые похожи на тензоры (к ним применимы стандартные операции с тензорами, например, свертка с векторами или другими тензорами), но закон преобразования которых при смене базиса не является тензорным. Классическим, но сложным примером таких объектов, являются символы Кристоффеля <math>\Gamma^i_{jk}</math>, обозначающие компоненты так называемой связности (бесконечно малого параллельного переноса вектора вдоль кривой) в римановых многообразиях — их закон преобразования не является тензорным. Однако свёртка компонент связности с вектором даёт настоящий вектор, а их разность — настоящий тензор (тензор кручения). Символы Кристоффеля, как и любые коэффициенты связности на расслоении, являются элементами более сложного пространства, чем пространство тензоров — расслоения струй.

К тензорам не относятся также сами матрицы преобразования координат (матрицы Якоби), являющегося частным случаем диффеоморфизма между двумя многообразиями, с помощью которых и вводится классическое определение тензора, хотя по многим своим свойствам они напоминают тензор. Для них также можно ввести верхние и нижние индексы, операции умножения, сложения и свёртки. Однако, в отличие от тензора, компоненты которого зависят лишь от координат на заданном многообразии, компоненты матрицы Якоби также зависят от координат на многообразии-образе. Это различие очевидно в том случае, когда рассматриваются матрицы Якоби диффеоморфизма двух произвольных многообразий, однако при отображении многообразия в себя его можно не заметить, так как касательные пространства образа и прообраза изоморфны (не канонически). Тем не менее, оно сохраняется. Аналогию между матрицами Якоби и тензорами можно развить, если рассматривать произвольные векторные расслоения над многообразием и их произведения, а не только касательное и кокасательное расслоение.

Тензор как полилинейная функция

Общее определение

Тензором типа <math>(^s _r)</math> называется полилинейная функция (полилинейная форма) <math>T \colon (V^*)^s \times V^r\to R</math>, то есть числовая функция от <math>s+r </math> аргументов следующего вида <math>T(f_1,f_2,...,f_s,x_1,x_2,...,x_r)</math>, где <math>f_i</math>-линейные функционалы на <math>V</math>, а <math>x_j</math> — векторы пространства <math>V</math>.

Координатами тензора в некотором базисе будут значения полилинейной функции на различных комбинациях базисных векторов: <math>T^{i_1i_2...i_s}_{j_1j_2...j_r}=T(e^{i_1},e^{i_2},...,e^{i_s},e_{j_1},e_{j_2},...,e_{j_r})</math>

Полилинейные функции на V как ковариантные тензоры

На пространстве <math>V</math> полилинейные функции — это числовые функции от нескольких аргументов-векторов этого пространства, линейные по каждому из аргументов: <math>f(v_1,v_2,...,v_r)</math>. Линейность по каждому аргументу означает, эти функции можно рассматривать как линейные функционалы по каждому аргументу, если остальные аргументы фиксированы.

Полилинейные функции от <math>r</math> аргументов-векторов пространстве <math>V</math> являются тензорами типа <math>(^0 _r)</math>, то есть <math>r</math>-раз ковариантными тензорами (частным случаем такого типа тензоров были ковекторы). В самом деле, если рассматривать такой тензор как функцию <math>T(v_1, v_2,...,v_r)</math>, то при представлении каждого из векторов как линейной комбинации векторов базиса пространства в силу полилинейности функции получим:

<math>T(x^{i_1}_1e_{i_1}, x^{i_2}_2e_{i_2},...,x^{i_r}_re_{i_r})=x^{i_1}_1 x^{i_2}_2...x^{i_r}_rT(e_{i_1},e_{i_2},...,e_{i_r})=T_{i_1i_2...i_r}x^{i_1}_1 x^{i_2}_2...x^{i_r}_r</math>

где <math>T_{i_1i_2...i_r}</math> — координатное выражение полилинейной функции, а произведения <math>x^{i_1}_1 x^{i_2}_2...x^{i_r}_r</math> — это дуальный базис пространства <math>(V^*)^r</math>, сопряженного к <math>(V)^r</math>. То есть полилинейные функции образуют векторное пространство, сопряженное к <math>(V)^r</math>. При смене базиса в основном пространстве в сопряженном базис меняется обратно, а векторы самого сопряженного пространства (то есть в данном случае полилинейные функции) меняются обратно к своему базису, а значит, также как и базис основного пространства. Таким образом, полилинейные функции на пространстве <math>V</math> преобразуются ковариантно в координатном представлении и являются <math>r</math>-раз ковариантными тензорами.

Классический пример тензоров типа <math>(^0_2)</math> (дважды ковариантный тензор) являются билинейные формы — числовые функции двух аргументов-векторов пространства <math>g(x,y)</math>, линейные по каждому из аргументов. В координатном представлении она записывается в виде матрицы <math>A</math> компонент — значений билинейной формы на парах базисных векторов. При смене базиса матрица билинейной формы преобразуются как <math>A'=C^TAC</math>, где С -матрица преобразования базиса.

Полилинейные функции на V* как контравариантные тензоры

Аналогично можно показать, что полилинейные функции на сопряженном пространстве <math>(V^*)^s </math> являются тензорами типа <math>(^s_0)</math> в силу контравариантного характера преобразования координат.

Несколько сложнее в данном определении понять, что контравариантные тензоры типа <math>(^1_0)</math> — векторы пространства <math>V</math>. Дело в том что линейные функционалы на пространстве <math>V^{*}</math> также образуют пространство, сопряженное к <math>V^{*}</math> — второе сопряженное пространство, обозначаемое <math>V^{**}</math>. Однако, можно показать, что для конечномерных векторных пространств второе сопряженное пространство <math>V^{**}</math> канонически изоморфно исходному векторному пространству <math>V</math>, то есть пространства <math>V</math> и <math>V^{**}</math> можно отождествлять. Поэтому линейные функционалы на сопряженном пространстве <math>V^{*}</math> можно отождествлять с векторами пространства <math>V</math>, соответственно это тензоры типа <math>(^1_0)</math>

Полилинейные функции как линейные отображения

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

Неочевидным из этого определения является то, что линейные операторы на <math>V</math> являются тензорами типа <math>(^1_1)</math>. Тем не менее, если рассмотреть полилинейную функцию <math>T(f,x)</math>, где <math>x</math>-вектор пространства, а <math>f</math>-линейная функция (вектор сопряженного пространства), то при фиксированном <math>x</math> такая функция есть просто линейный функционал на пространстве <math>V^*</math>, то есть элемент пространства <math>V^{**}</math>. Как уже отмечалось выше, это пространство тождественно исходному пространству <math>V</math>, а значит, этой функции при фиксированном <math>x</math> сопоставлен другой вектор <math>y</math> этого же пространства и при этом такое отображение линейно. Следовательно, полилинейные функции типа <math>T(f,x)</math> отождествляются с линейными операторами на <math>V</math>.

Рассуждая аналогично, можно показать, что линейные отображения <math>L:V^r \rightarrow V</math> являются тензорами типа <math>(^1 _r)</math> и более обобщенно — линейные отображения <math>L:V^r \rightarrow V^s</math> являются тензорами типа <math>(^s _r)</math>.

Тензор как элемент тензорного произведения векторных пространств

Общее определение

Тензор ранга <math>(s, r)</math> над <math>n</math>-мерным векторным пространством <math>V</math> — это элемент тензорного произведения <math>s</math> пространств <math>V</math> и <math>r</math> сопряжённых пространств <math>V^*</math> (то есть пространств линейных функционалов (ковекторов) на <math>V</math>)

<math>\tau \in \underbrace{V \otimes \ldots \otimes V}_{s} \otimes \underbrace{V^* \otimes \ldots \otimes V^*}_{r}=\left(\bigotimes_{i=1}^s V\right) \otimes \left(\bigotimes_{i=1}^r V^*\right) = (\otimes^sV) \otimes (\otimes^rV^*)=\otimes^s_rV=T^s_r(V) .</math>

Пояснения по тензорному произведению

Данное определение считается современным, но требует предварительного пояснения непростого понятия тензорного произведения векторных пространств. Тензорное произведение векторных пространств — это векторное пространство <math>W</math>, которое связано с этими векторными пространствами посредством полилинейного отображения, то есть каждому элементу декартова (прямого) произведения векторных пространств поставлен в соответствие элемент пространства <math>W</math> и каждой полилинейной форме на этих векторных пространствах соответствует линейная форма в пространстве <math>W</math>.

Тензорное произведение векторов проще определить в координатном представлении: это вектор, координатами которого являются всевозможные произведения координат «умножаемых» векторов. Например, если «умножаются» два вектора x и y пространства <math>V</math> размерности <math>n</math>, то их тензорное произведение это вектор <math>z</math> размерности <math>n^2</math>, координаты которого равны числам <math>x^iy^j</math>, где индексы <math>i, j </math> пробегают все возможные значения от 1 до <math>n</math> (эти координаты удобно записать в виде квадратной матицы <math>n\times n</math>). В векторной форме получение этой матрицы-тензорного произведения запишется как <math>xy^T</math> или <math>yx^T</math> в зависимости от порядка умножения (не путать с <math>x^Ty</math> или <math>y^Tx</math> — в этих случаях получаются просто одно число). Тензорное произведение некоммутативно, то есть порядок перемножаемых векторов влияет на результат (набор чисел одинаковый, но как упорядоченные наборы чисел они отличаются). Собственно, тензорные произведения векторов являются некоторыми тензорами (перемножаемые векторы не зависят от базиса, а значит и тензорное произведение определено независимо от него, при этом любое изменение базиса меняет координатное представление и перемножаемых векторов и их произведения).

Координатное представление тензора

Выберем в пространстве <math>V</math> базис <math>\{\mathbf{e}_1,\mathbf{e}_2,\ldots,\mathbf{e}_n\}</math>, и соответственно <math>\{\mathbf{f}^1,\mathbf{f}^2,\ldots,\mathbf{f}^n\}</math> — дуальный базис в сопряжённом пространстве <math>V^*</math> (то есть <math>(\mathbf{e}_a \cdot \mathbf{f}^b) = \delta_a^b</math>, где <math>\delta_a^b</math> — символ Кронекера).

Тогда в пространстве тензоров <math>\Tau^s_r(V)=\otimes^s_rV</math> естественным образом возникает базис

<math>\{

\mathbf{e}_{i_1}\,\otimes\,\mathbf{e}_{i_2}\,\otimes\,\ldots\,\otimes\,\mathbf{e}_{i_s}\,\otimes\,\mathbf{f}^{j_1}\,\otimes\,\mathbf{f}^{j_2}\,\otimes\,\ldots\,\otimes\,\mathbf{f}^{j_r}\},\quad 1\leqslant i_a,j_b \leqslant n</math>.

Произвольный тензор <math>\tau\in \Tau^s_r(V)</math> можно записать как линейную комбинацию базисных тензорных произведений:

<math>\tau

= \sum_{j_1,j_2,\ldots,j_r} \sum_{i_1,i_2,\ldots,i_s} {\tau^{i_1,i_2,\ldots,i_s}_{j_1,j_2,\ldots,j_r}} \mathbf{e}_{i_1}\,\otimes\,\mathbf{e}_{i_2}\,\otimes\,\ldots\,\otimes\,\mathbf{e}_{i_s}\,\otimes\,\mathbf{f}^{j_1}\,\otimes\,\mathbf{f}^{j_2}\,\otimes\,\ldots\,\otimes\,\mathbf{f}^{j_r}.</math>

Используя соглашение Эйнштейна, это разложение можно записать как

<math>\tau

= {\tau^{i_1,i_2,\ldots,i_n}_{j_1,j_2,\ldots,j_r}} \mathbf{e}_{i_1}\,\otimes\,\mathbf{e}_{i_2}\,\otimes\,\ldots\,\otimes\,\mathbf{e}_{i_s}\,\otimes\,\mathbf{f}^{j_1}\,\otimes\,\mathbf{f}^{j_2}\,\otimes\,\ldots\,\otimes\,\mathbf{f}^{j_r}.</math>

Числа <math>\tau^{i_1,i_2,\ldots,i_s}_{j_1,j_2,\ldots,j_r}</math> называются компонентами тензора <math>\tau</math>. Нижние индексы компонент тензора называются ковариантными, а верхние — контравариантными. Например, разложение некоторого дважды ковариантного тензора <math>h</math> будет таким:

<math>h = \sum_{j,k} h_{jk} \mathbf{f}^j \otimes \mathbf{f}^k</math>

Тензорное поле

Для так называемых гладких многообразий <math>M</math>, которые в общем случае не являются векторными пространствами, тензор может быть задан на так называемом касательном пространстве <math>T_pM</math> к точке <math>p</math> многообразия, поскольку касательное пространство является векторным пространством. Соответственно, тензор можно считать заданным в точке многообразия. Соответственно, гладкая функция (тензорозначная), ставящая в соответствие каждой точке многообразия тензор, есть тензорное поле.

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

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

Примеры тензоров сгруппированных по валентности

Контравариантный ранг (число верхних индексов)
ковариантный ранг (число нижних индексов) 0 1 2 3 s
0 Скаляр, длина вектора, интервал (теория относительности), скалярная кривизна Вектор (алгебра), 4-векторы в СТО, например 4-вектор энергии-импульса (4-импульс) Тензор энергии-импульса в ОТО, бивектор, обратный метрический тензор Спин-тензор в квантовой теории поля Поливектор
1 Ковектор, линейная форма, градиент скалярной функции Линейный оператор <math>L:V \rightarrow V</math>, дельта Кронекера
2 Билинейная форма, Скалярное произведение, Метрический тензор, Тензор Риччи, Тензор кручения, Тензор электромагнитного поля, Тензор напряжений, Тензор деформаций, Квадрупольный момент Линейное отображение <math>L:V^2 \rightarrow V</math> Тензор упругости (жесткости)
3 Тензор Леви-Чивиты Тензор кривизны Римана
r Полилинейная форма, Форма объема Линейное отображение <math>L:V^r \rightarrow V</math> Линейное отображение <math>L:V^r \rightarrow V^s</math>

Примеры тензоров в различных областях математики и физики

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

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

В физике термин тензор имеет тенденцию применяться только к тензорам над обычным физическим 3-мерным пространством или 4-мерным пространством-временем, или, в крайнем случае, над наиболее простыми и прямыми обобщениями этих пространств (хотя принципиальная возможность применения его в более общих случаях остаётся). Например, линейные операторы квантовой механики, могут быть интерпретированы как тензоры над некими абстрактными пространствами (пространствами состояний), но традиционно такое применение термина тензор практически не используется, как и вообще крайне редко используется для описания линейных операторов над бесконечномерными пространствами. Тензоры в физике широко используются в теориях, обладающих геометрической природой (таких, как общая теория относительности) или допускающих полную или значительную геометризацию (к таковым можно в значительной степени отнести практически все современные фундаментальные теории — электродинамика, релятивистская механика и т. д.), а также в теории анизотропных сред (которые могут быть анизотропны изначально, как кристаллы низкой симметрии, или вследствие своего движения или напряжений, как текущая жидкость или газ, или как деформированное твёрдое тело). Кроме того, тензоры широко используются в механике абсолютно твердого тела. Большинство тензоров в физике (не рассматривая скаляров и векторов) — второго ранга (с двумя индексами). Тензоры, имеющие большую валентность (такие, как тензор Римана в ОТО) встречаются, как правило, только в теориях, считающихся достаточно сложными, да и то нередко фигурируют в основном в виде своих свёрток меньшей валентности. Большинство тензоров в физике симметрично или антисимметрично.

Ниже представлена таблица применения тензоров в физике по направлениям.

Раздел науки Тензоры и их применение
Специальная теория относительности (СТО) 4-векторы, в том числе 4-вектор координат в 4-мерном пространстве-времени Минковского, метрический тензор, интервал (теория относительности) («длина» в этом пространстве); 4-тензоры применяются для обозначения любого тензора над четырёхмерным пространством-временем, повороты системы отсчёта в котором включают как обычные повороты трёхмерного пространства, так и переход между системами отсчёта, которые движутся с разными скоростями одна относительно другой. Это тензор над пространством 4-векторов, тензор, каждый индекс которого принимает четыре значения: одно «временно́е» и три «пространственных». Примером, является 4-импульс (4-вектор энергии-импульса);
Общая теория относительности (ОТО) метрический тензор над псевдоримановым 4-мерным многообразием, являющийся в ОТО развитием понятия ньютоновского гравитационного потенциала и получающиеся из него свертки тензора кривизны Римана — тензор Риччи и скалярная кривизна (свёртка тензора Риччи), связанные в этой же теории с энергией гравитационного поля и непосредственно входящие в основное уравнение теории (в левой части уравнения Эйнштейна они совместно образуют т. н. тензор Эйнштейна), тензор энергии-импульса материальных полей, входящие в правую часть уравнения Эйнштейна
Классическая электродинамика Тензор электромагнитного поля над пространством Минковского, содержащий напряжённости электрического и магнитного поля и являющийся главным объектом классической электродинамики в 4-мерной записи. В частности, уравнения Максвелла записываются с его помощью в виде единственного 4-мерного уравнения.
Теория упругости и Механика сплошных сред Тензоры второго ранга над 3-мерным физическим пространством Тензор деформаций и тензор напряжений, связанные между собой через тензор упругости 4-го ранга. Также применяются модули упругости.
Квантовая теория поля В релятивистской теории поля возникают тензор энергии-импульса и Спин-тензор, которые в КТП принимают вид линейных операторов над вектором состояния
Кинематика твёрдого тела Важнейшую роль играет тензор инерции, связывающий угловую скорость с моментом импульса и кинетической энергией вращения. Этот тензор отличается от большинства других тензоров в физике, представляющих собой, вообще говоря, тензорные поля, тем, что один тензор характеризует одно абсолютно твёрдое тело, полностью определяя, вместе с массой, его инерцию
Теория поля Квадрупольный момент и вообще тензоры, входящие в мультипольное разложение: всего один тензор целиком представляет момент распределения зарядов соответствующего порядка в данное время.
другие разделы Многие величины, являющихся скалярными характеристиками вещества в случае изотропности последнего, являются тензорами в случае анизотропного вещества. Говоря конкретнее, это относится к субстанциальным коэффициентам, связывающим векторные величины или стоящие перед произведениями (в частности, квадратами) векторов. Примерами могут быть удельная электропроводность (также и обратное ей удельное сопротивление), теплопроводность, диэлектрическая восприимчивость и диэлектрическая проницаемость, скорость звука (зависящая от направления) и т. д. Часто в физике полезен псевдотензор Леви-Чивиты, входящий, например, в координатную запись векторного и смешанного произведений векторов. Компоненты этого тензора всегда записываются практически одинаково (с точностью до скалярного множителя, зависящего от метрики), а в правом ортонормированном базисе — совершенно одинаково всегда (каждая равна 0, +1 или −1).

Симметричные и антисимметричные тензоры

В различного рода приложениях часто возникают тензоры с определённым свойством симметрии.

Симметричным по двум ко-(контра-)вариантным индексам называется тензор, который не изменяется от перестановки этих индексов:

<math>{T^{i_1,i_2,\ldots,i_s}_{\underline{j_1,j_2},\ldots,j_r}} = {T^{i_1,i_2,\ldots,i_s}_{\underline{j_2,j_1},\ldots,j_r}},\quad \forall j_1,j_2 = 1..n</math> или <math>{T^{\underline{i_1,i_2},\ldots,i_s}_{j_1,j_2,\ldots,j_r}} = {T^{\underline{i_2,i_1},\ldots,i_s}_{j_1,j_2,\ldots,j_r}},\quad \forall i_1,i_2 = 1..n.</math>

При рассмотрении тензора как полилинейной функции это означает, что значение функции не меняется от перестановки этих двух аргументов местами.

Кососимметичным (косая симметрия) или антисимметричным по двум ко-(контра-)вариантным индексам называется тензор, который при перестановке этих индексов меняет знак :

<math>T_{\underline{j_1,j_2},\ldots,j_r}^{i_1,i_2,\ldots,i_s} = -T_{\underline{j_2,j_1},\ldots,j_r}^{i_1,i_2,\ldots,i_s},\quad \forall j_1, j_2 = 1..n</math> или <math>T_{j_1,j_2,\ldots,j_r}^{\underline{i_1,i_2},\ldots,i_s} = -T_{j_1,j_2,\ldots,j_r}^{\underline{i_2,i_1},\ldots,i_s},\quad \forall i_1, i_2 = 1..n.</math>

При рассмотрении тензора как полилинейной функции это означает, что значение функции меняет знак от перестановки этих двух аргументов местами.

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

Симметрия или антисимметрия не обязательно должна охватывать только соседние индексы, она может включать в себя любые индексы, учитывая, правда, следующее: симметрия или антисимметрия может относиться только к индексам одного сорта: ко- или контравариантным. Симметрии же, смешивающие ко- и контравариантные индексы тензоров, как правило, не имеют особого смысла, так как, даже если они наблюдаются в компонентах, то разрушаются при переходе к другому базису отнесения (то есть неинвариантны). Впрочем, в присутствии метрического тензора, наличие операций поднятия или опускания индекса устраняет это неудобство, и ограничение этим по сути снимается, когда тензор представлен подходящим образом (так, например, тензор кривизны Римана <math>R_{mjkl}=g_{im}R^i_{jk\ell}</math> антисимметричен по первым двум и последним двум индексам).

Существуют и более сложные симметрии, например первое тождество Бьянки для тензора кривизны.

Тензорные операции

Стандартные линейные операции

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

Тензорное произведение

Между тензорами произвольной валентности определена операция тензорного произведения.

В координатном представлении компоненты тензорного произведения по существу это всевозможные произведения соответствующих компонент умножаемых тензоров, например <math> P^{ij}_{\ \ kl}\ = A^{ij} B_{kl}</math>.

При рассмотрении тензоров как полилинейных функций тензорное произведение — это полилинейная функция, равная произведению множителей-полилинейных функций. Соответственно, если один множитель содержит <math>(s,r)</math> аргументов, второй — <math>(s',r')</math>, то их произведение — это функция от <math>(s+s',r+r')</math> аргументов:

<math>\varphi^{s+s'}_{r+r'}=\sigma^s_r \otimes \tau^{s'}_{r'}=\varphi(f_1,..f_{s+s'},x^1,..,x^{r+r'})=\sigma(f_1,..,f_s,x^1,..,x^r) \tau(f_{s+1},..,f_{s+s'},x^{r+1},..,x^{r+r'})</math>

Соответственно, произведением тензора ранга <math>(s,r)</math> на тензор ранга <math>(s',r')</math> является тензор суммарного ранга <math>(s+s',r+r')</math>.

Это еще более очевидно, если использовать определение тензора как элемента тензорного произведения, а именно, если <math>\sigma\in T^s_r=\otimes^s_rV</math> и <math>\tau \in T^{s'}_{r'}=\otimes^{s'}_{r'}V</math> то их произведение

<math>\sigma\otimes\tau\in T^{s+s'}_{r+r'}=T^{s}_r\otimes T^{s'}_{r'}=(\otimes^s_rV )\otimes (\otimes^{s'}_{r'}V)=\otimes^{s+s'}_{r+r'}V </math>

Тем самым операция тензорного произведения делает из множества всех тензорных пространств на данном векторном пространстве так называемую биградуированную алгебру <math>\otimes V </math>.

Свёртка

Правило подразумеваемого в записи Эйнштейна суммирования по так называемому немому индексу (когда в записи какой-то верхний и нижний индексы обозначены одной буквой) фактически определяет специфическую тензорную операцию, называемую свёрткой.

Свертка тензора

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

<math> A^{ji}_{jkl}=\sum_j A^{ji}_{jkl} =A^i_{kl}</math>

Итоговый тензор обозначается обычно той же буквой, несмотря на то, что это уже тензор другого ранга (количества индексов) на 2 меньше ранга исходного тензора.

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

Свертка нескольких тензоров

Операция свёртки применяется также и к двум или нескольким тензорам (в том числе между тензором и вектором), например:

<math>B^i_m A^m_{jk}= \sum_m B^i_m A^m_{jk} = C^i_{jk}</math>.

Эту операцию можно свести к последовательному тензорному умножению этих тензоров : <math>B^i_l A^m_{jk}= C^{im}_{ljk}</math> и затем свёртке получившегося тензора <math>C^{im}_{mjk}=C^i_{jk}</math>. Очевидно, эта операция линейна по всем входным каналам. Таким образом, свёртка с тензором реализует линейное или полилинейное отображение пространств тензоров на пространство тензоров (в общем случае — на другое), в частности, векторов на векторы и векторов на скаляры.

Свёртка вектора с тензором ранга два есть действие линейного оператора, определяемого этим тензором, на вектор:

<math> A^i_j v^j = \sum_j A^i_j v^j = u^i</math>.

Свёртка (однократная) двух тензоров валентности два реализует композицию линейных операторов, определяемых этими тензорами:

<math>B^i_k A^k_j = \sum_k B^i_k A^k_j = C^i_j</math>.

Свёртка вектора и ковектора <math>x^ix_i</math> дает скаляр <math>d^2</math>- квадрат длины вектора:

Опускание и поднятие индекса

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

<math>x_j=g_{ij}x^i</math> — опускание индекса (переход от вектора к ковектору)

<math>x^i=g^{ij}x_i</math> — поднятие индекса (переход от ковектора к вектору) с помощью контравариантного метрического тензора (его матрица является обратной к обычному ковариантному метрическому тензору)

<math>R_{mjkl}=g_{im}R^i_{jk\ell}</math> — тензор кривизны Римана типа (1,3) преобразуется в полностью ковариантный тензор типа (0,4)

Операции опускания и поднятия индексов позволяют определить инварианты полностью ковариантных или полностью контравариантных тензоров. Например, дважды ковариантный тензор Риччи можно привести к смешанному виду <math>R^k_j=g^{ki}R_{ij}</math> и применить операцию свертки получившегося тензора. Эти две операции можно просто свести к свертке тензора Риччи с метрическим тензором сразу по паре индексов: <math>R=g^{ij}R_{ij}</math>. Полученная величина называется скалярной кривизной. Она не зависит от выбора базиса в пространстве.

Симметризация и антисимметризация

Симметризация и антисимметризация — конструирование тензора того же типа с определённым видом симметрии. Для примера, симметризация тензора <math>T_{ij}</math> — это симметричный тензор <math>\scriptstyle T_{(ij)} = {1\over 2}\left(T_{ij}+T_{ji}\right)</math>, а антисимметризация — антисимметричный тензор <math>\scriptstyle T_{[ij]} = {1\over 2}\left(T_{ij}-T_{ji}\right)</math>.

В общем случае симметризация по <math>n</math> индексам имеет вид

<math>T_{(i_1\ldots i_n)} = {1\over n!}\sum_{\sigma} T_{\sigma(i_1)\ldots \sigma(i_n)},</math>

а антисимметризация (альтернирование):

<math>T_{[i_1\ldots i_n]} = {1\over n!}\sum_{\sigma} \mathrm{sign}\,(\sigma) T_{\sigma(i_1)\ldots \sigma(i_n)}</math>

Здесь <math>\sigma</math> — всевозможные перестановки индексов <math>i_1,\ldots,i_n,</math> а <math>\mathrm{sign}\,(\sigma)</math> — чётность перестановки <math>\sigma.</math>.

Разумеется, не обязательно симметризовать тензор по всем индексам, здесь это используется лишь для упрощения записи.

Если <math>T_{i_1\ldots i_n}</math> симметричен по <math>i_1\ldots i_n,</math> то симметризация по этим индексам совпадает с <math>T,</math> а антисимметризация даёт нулевой тензор. Аналогично в случае антисимметричности по некоторым индексам.

Если <math>T_{ij} \in V\otimes V,</math> то <math>T_{(ij)} \in V \vee V,</math> <math>T_{[ij]} \in V \wedge V.</math> Здесь <math>\vee</math> — симметричное, а <math>\wedge</math> — внешнее произведение векторных пространств.

Связанные понятия и обобщения

Тензоры в бесконечномерных пространствах

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

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

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

Девиатор и шаровая часть

Любой тензор второго ранга <math>\sigma_{ij}</math> может быть представлен в виде суммы девиатора <math>s_{ij}</math> и шаровой части:

<math>\sigma_{ij} = -p \delta_{ij} + s_{ij},\quad p = -\frac{\sum_{i=1}^N \sigma_i}{N}.</math>

Здесь <math>\sigma_i</math> — собственные значения тензора. Собственные значения девиатора <math>s_i</math> связаны с собственными значениями тензора: <math>s_i = \sigma_i + p,\ i = 1, \dots, N</math>. Понятие девиатора широко применяется в механике сплошных сред.[2]

См. также

Шаблон:Викисловарь

Примечания

Шаблон:Примечания

Литература

Шаблон:Вс

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

  1. ↑ Woldemar Voigt, Die fundamentalen physikalischen Eigenschaften der Krystalle in elementarer Darstellung [The fundamental physical properties of crystals in an elementary presentation] (Leipzig, Germany: Veit & Co., 1898), p. 20. From page 20: "Wir wollen uns deshalb nur darauf stützen, dass Zustände der geschilderten Art bei Spannungen und Dehnungen nicht starrer Körper auftreten, und sie deshalb tensorielle, die für sie charakteristischen physikalischen Grössen aber Tensoren nennen." (We therefore want [our presentation] to be based only on [the assumption that] conditions of the type described occur during stresses and strains of non-rigid bodies, and therefore call them "tensorial" but call the characteristic physical quantities for them "tensors".)
  2. ↑ Климов Д. М., Петров А. Г., Георгиевский Д. В. Вязкопластические течения: динамический хаос, устойчивость, перемешивание. — М., Наука, 2005. — с. 21 — ISBN 5-02-032945-2.
Источник — http://wikihandbk.com/ruwiki/index.php?title=Русская_Википедия:Тензор&oldid=10918510