Тензор

Тензоры: независимое от ПЛФ определение; свертка тензора; транспонирование тензора.

Пусть [math] W [/math] принадлежит [math]\boldsymbol{\Omega}_{q}^p [/math]. [math]\omega_{i1, i2, ..., ip}^{j1, j2, ..., jq} = W(e_{i1}, e_{i2}, ..., e_{ip}, f^{j1}, ..., f^{jq}) [/math].

(1) {[math]e_i[/math]} [math]\longrightarrow [/math] {[math]\tilde{e}_i[/math]} под действием матрицы [math]T[/math].

(2) {[math]f_j[/math]} [math]\longrightarrow [/math] {[math]\tilde{f}_j[/math]} под действием матрицы [math]T^{-1}[/math].

[math]\tilde{\omega}_{i1, i2, ..., ip}^{j1, j2, ..., jq} = W(\tilde{e}_{i1}, \tilde{e}_{i2}, ..., \tilde{e}_{ip}, \tilde{f}_{j1}, ..., \tilde{f}_{jq}) [/math] = [math] W(\tau_{i1}^{s1}e_{s1}, \tau_{i2}^{s2}e_{s2}, ..., \tau_{ip}^{sp}e_{sp}, \mathrm{G}_{t1}^{j1}f^{j1}, \mathrm{G}_{t2}^{j2}f^{j2}, ..., \mathrm{G}_{tq}^{jq}f^{jq})[/math] = [math]\tau_{i1}^{s1}\tau_{i2}^{s2}...\tau_{ip}^{sp}\mathrm{G}_{t1}^{j1}, \mathrm{G}_{t2}^{j2}, ..., \mathrm{G}_{tq}^{jq}*W(e_{s1}, e_{s2}, ..., e_{sp}, f^{t1}, f^{t2}, ..., f^{tq}). [/math]

C учетом того, что [math](f^{j}, e_{i})[/math] = [math] \delta_{i}^{j} [/math]. И аналогично с [math]e, f[/math] взволнованными.

Определение: Пусть [math]{e}_{i = 1}^n[/math] — базис Х. [math]{f}_{j = 1}^n[/math] — базис [math]Х^{*}[/math] им соответствует [math]n^{p + q}[/math] чисел [math]\omega_{i1, i2, ..., ip}^{j1, j2, ..., jq} [/math].

Это [math]n^{p + q}[/math] чисел + само определение называется тензором. [math]q[/math] раз контрвариантный, [math]р[/math] раз ковариантный.

[math]NB[/math] - ранг тензора ([math]q[/math], [math]p[/math]).

Примеры:

• x [math]\longleftrightarrow [/math] [math] \xi^1 [/math]. (1, 0)

x принадлежит Х.

• f [math]\longleftrightarrow [/math] [math] \phi_1 [/math]. (0, 1)

f принадлежит [math]X^*[/math]

• [math]\mathcal{A}[/math] : X -> X [math]\longleftrightarrow [/math] \alpha_{k}^{i}. (1, 1)
• Биленейная форма: B(x1, x2) [math]\longleftrightarrow [/math] [math] \beta_{i1, i2} [/math]. (0, 2).
• (0, 0) — скаляр, число.

[math]\boldsymbol{\Omega}_{q}^p [/math] — линейное пространство всех форм валентности (p, q).

[math] W \longleftrightarrow \omega_{i1, i2, ..., ip}^{j1, j2, ..., jq} [/math]. Ранг (q, p).

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

Определение: Пусть [math]U[/math] принадлежит [math]\boldsymbol{\Omega}_{q}^p [/math]. Сверткой формы [math]U[/math] по аргументам [math]x_i[/math], [math]y^j[/math] называется [math] \sum_{s=1}^n U(x_1, x_2, ..., x_{i - 1}, e_s, x_{i + 1}, ... x_{p}; y^1, y^2, ..., y^{j - 1}, f^s, y^{j + 1}, y^q)[/math] = [math]W(x_1, x_2, ..., x_{i - 1}, x_{i + 1}, ... x_{p}; y^1, y^2, ..., y^{j - 1}, y^{j + 1}, y^q) [/math].

Свертка ПЛФ не зависит от паря сопряженных базисов.

После свертки тензор имеет ранг (q - 1, p - 1).

NB Сворачивать тензор можно только по паре один верхний/один нижний значек. Иначе — нельзя.

NB Если тензор ранга (p, p), то р - кратная свертка этого тензора называется его полной сверткой. Всего возможно р! полных сверток.