16.4

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

[20/25%]
Показать
LaTeX
Задача 1755

Пусть φ\varphi — невырожденная билинейная функция. Доказать, что сопоставление каждому базису матрицы, обратной к матрице φ\varphi в этом базисе, определяет тензор типа (2,0).

?
Задача 1756

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

?
Задача 1757

Показать, что если мы ограничимся ортогональными заменами координат в евклидовом пространстве, то закон изменения для верхних индексов будет совпадать с законом изменения для нижних. Точнее, если в некоторой ортогональной системе координат Ti1…ip=Ti1…ipT^{i_{1} \ldots i_{p}} = T_{i_{1} \ldots i_{p}} для всех i1,…,ipi_{1}, \ldots , i_{p}, то они равны и в любой другой ортогональной системе координат.

?
Задача 1758

Пусть в базисе e1,e2,e3e_{1}, e_{2}, e_{3} матрица скалярного произведения равна (210110002)\left(\begin{array}{lll}2 & 1 & 0 \\ 1 & 1 & 0 \\ 0 & 0 & 2\end{array}\right). Провести опускание и поднятие индексов у тензоров (координаты приведены в указанном базисе):

?
(1)

e1⊗e2+e2⊗e3e^{1} \otimes e_{2}+e^{2} \otimes e_{3}

(2)

Tji=i+jT_{j}^{i} = i+j.

Ответ дать в виде координат в этом базисе.

Задача 1759

В пространстве Rn[x]\mathbb {R}_{n}[x] всех многочленов степени не выше nn от переменной xx с вещественными коэффициентами рассмотрим скалярное произведение

⟨p,q⟩=∫01p(x)q(x)dx,p,q∈Rn[x] \left\langle p, q \right\rangle = \int _{0}^{1} p(x) q(x) d x, \quad p, q \in \mathbb {R}_{n}[x]

Пусть e0=1,e1=x,e2=x2,…,en=xne_{0} = 1, e_{1} = x, e_{2} = x^{2}, \ldots , e_{n} = x^{n} — базис. Найти координаты в дуальном базисе ковектора, полученного поднятием индекса у q=1+2x+3x2q = 1+2 x+3 x^{2}, при n=2n = 2.

?
Задача 1760

Пусть в базисе (ei)(e_{i}) матрица евклидова скалярного произведения в пространстве VV равна ∥gij∥\left\| g_{i j}\right\|, а уравнение a1x1+…+anxn=0a_{1} x^{1}+\ldots +a_{n} x^{n} = 0 задает (n−1)(n-1)-мерное подпространство (гиперплоскость) WW. Доказать, что выражения vi=gijajv^{i} = g^{i j} a_{j}, рассматриваемые как компоненты некоторого вектора в данном базисе, определяют вектор нормали к WW.

?
Задача 1761

В условиях предыдущей задачи найти формулы для вычисления расстояния от вектора u=(ui)u = \left(u^{i}\right) до гиперплоскости WW в терминах тензорных операций.

Задача 1760: в базисе (ei)(e_{i}) матрица евклидова скалярного произведения в пространстве VV равна ∥gij∥\left\| g_{i j}\right\|, уравнение a1x1+…+anxn=0a_{1} x^{1}+\ldots +a_{n} x^{n} = 0 задает (n−1)(n-1)-мерное подпространство (гиперплоскость) WW, а vi=gijajv^{i} = g^{i j} a_{j} — вектор нормали к WW.

?
Задача 1762

Применить формулу из предыдущей задачи к нахождению расстояния от u=(1,2,1,3)u = (1,2,1,3) до x1−2x2+x3−x4=0x^{1}-2 x^{2}+x^{3}-x^{4} = 0, если

G=[3100120000210011] G =\left[\begin{smallmatrix} 3 & 1 & 0 & 0 \\ 1 & 2 & 0 & 0 \\ 0 & 0 & 2 & 1 \\ 0 & 0 & 1 & 1 \end{smallmatrix}\right]
?
Задача 1763

Пусть VV-пространство со скалярным произведением, а τ:V→V∗\tau : V \rightarrow V^{*} — изоморфизм, определяемый этим произведением, (a,b)=τ(a)b(a, b) = \tau (a) b. Доказать, что результат опускания индекса у вектора a∈Va \in V (рассматриваемого как тензор типа (1,0)(1,0)) совпадает с ковектором τ(a)\tau (a) в случае симметричного скалярного произведения и с −τ(a)-\tau (a) в случае симплектического. Аналогично результат подъема индекса у ковектора ξ∈V∗\xi \in V^{*} совпадает, соответственно, с τ−1(ξ)\tau^{-1}(\xi ) и с −τ−1(ξ)-\tau^{-1}(\xi ).

?
Задача 1764

Рассмотрим линейный оператор f:V→Vf: V \rightarrow V в пространстве VV со скалярным произведением и соответствующую ему билинейную функцию φf(a,b)=(f(a),b)\varphi_{f}(a, b) = (f(a), b). Показать, что результат опускания индекса на первое место у оператора ff, рассматриваемого как тензор типа (1,1)(1,1), совпадает с тензором, соответствующим функции φf\varphi_{f} в случае симметричного скалярного произведения, и с −φf-\varphi_{f} в случае симплектического.

?
Задача 1765

Пусть G=∥gij∥G = \left\| g_{i j}\right\| — матрица скалярного произведения в векторном пространстве VV. Показать, что в результате подъема второго индекса у GG получится символ Кронекера δij\delta_{i}^{j}, в то время как при подъеме первого индекса получится δji\delta_{j}^{i} для симметричного скалярного произведения и −δji-\delta_{j}^{i} для симплектического.

?
Задача 1766

Пусть, как и выше, τ:V→V∗\tau : V \rightarrow V^{*} — изоморфизм, определяемый заданным в пространстве VV скалярным произведением. Для билинейной функции φ\varphi на VV определим билинейную функцию φ∗\varphi^{*} на V∗V^{*} формулой

φ∗(ξ,η)=φ(τ−1(ξ),τ−1(η)) \varphi ^{*}(\xi , \eta ) = \varphi \left(\tau ^{-1}(\xi ), \tau ^{-1}(\eta )\right)

Пусть e1,…,ene_{1}, \ldots , e_{n} — некоторый базис пространства VV, а e1,…,ene^{1}, \ldots , e^{n} — дуальный базис в V∗V^{*}. Пусть BB и GG — матрицы в базисе {ei}\left\{ e_{i}\right\} формы φ\varphi и скалярного произведения соответственно. Убедиться, что тензор, соответствующий φ∗\varphi^{*}, получен из φ\varphi двукратным подъемом индекса. Показать, что матрица φ∗\varphi^{*} в базисе {ej}\left\{ e^{j}\right\} равна G−1BG−1G^{-1} B G^{-1} в случае симметрического скалярного произведения и −G−1BG−1-G^{-1} B G^{-1} в случае кососимметрического произведения. Рассмотреть частный случай φ\varphi, равного скалярному произведению в пространстве VV.

?
Задача 1767

Доказать, что ориентированный объем параллелепипеда, построенного на векторах v1,…,vnv_{1}, \ldots , v_{n}, равен

Ve(v1,…,vn)=det⁡∥gij∥⋅det⁡∥vji∥ V_{e}\left(v_{1}, \ldots , v_{n}\right) = \sqrt{\operatorname {det}\left\| g_{i j}\right\| } \cdot \operatorname {det}\left\| v_{j}^{i}\right\|

где vji−iv_{j}^{i}-i-я координата вектора vjv_{j}. При этом

(Ve(v1,…,vn))2=Γ(v1,…,vn) \left(V_{e}\left(v_{1}, \ldots , v_{n}\right)\right)^{2} = \Gamma \left(v_{1}, \ldots , v_{n}\right)

где Г- определитель Грама.

?
Задача 1768

Доказать, что ориентированный объем параллелепипеда, построенного на векторах v1,…,vnv_{1}, \ldots , v_{n}, равен

Ve(v1,…,vn)=vi1…inv1i1…vnin V_{e}\left(v_{1}, \ldots , v_{n}\right) = \mathbf{v}_{i_{1} \ldots i_{n}} v_{1}^{i_{1}} \ldots v_{n}^{i_{n}}

где vji−iv_{j}^{i}-i-я координата вектора vjv_{j}. Что определяет его знак? Как в случае R3\mathbb {R}^{3} он связан с ориентированным объемом, изучавшимся в курсе аналитической геометрии?

?
Задача 1769

Доказать, что:

?
(1)

vi1…in=gi1k1…ginknvk1…kn\mathbf{v}^{i_{1} \ldots i_{n}} = g^{i_{1} k_{1}} \ldots g^{i_{n} k_{n}} \mathbf{v}_{k_{1} \ldots k_{n}};

(2)

vi1…in=gi1k1…ginknvk1…kn\mathbf{v}_{i_{1} \ldots i_{n}} = g_{i_{1} k_{1}} \ldots g_{i_{n} k_{n}} \mathbf{v}^{k_{1} \ldots k_{n}};

(3)

ориентированный объем параллелепипеда, построенного на векторах v1,…,vnv_{1}, \ldots , v_{n}, равен

Ve(v1,…,vn)=vi1…ingi1k1…ginknv1k1…vnkn V_{e}\left(v_{1}, \ldots , v_{n}\right) = \mathbf{v}^{i_{1} \ldots i_{n}} g_{i_{1} k_{1}} \ldots g_{i_{n} k_{n}} v_{1}^{k_{1}} \ldots v_{n}^{k_{n}}

где vji−iv_{j}^{i}-i-я координата вектора vjv_{j}.

Задача 1770

Описать в терминах тензорных операций вычисление скалярного, векторного и смешанного произведений в R3\mathbb {R}^{3}.

?
Задача 1771

Рассмотрим в R3\mathbb {R}^{3} элемент объема vijk\mathbf{v}_{i j k}. Показать, что билинейное отображение V×V→V,(x,y)↦zV \times V \rightarrow V,(x, y) \mapsto z, определяемое формулой zk=gkivijmxjymz^{k} = g^{k i} \mathbf{v}_{i j m} x^{j} y^{m}, совпадает с векторным произведением (для базисов положительной ориентации).

?
Задача 1772

Рассмотрим тензор vijkl\mathbf{v}_{i j k l} в R4\mathbb {R}^{4}. Пусть заданы векторы x,yx, y и zz из R4\mathbb {R}^{4}. Сопоставим произвольному базису набор чисел

ui=gimvmjksxjykzs u^{i} = g^{i m} \mathbf{v}_{m j k s} x^{j} y^{k} z^{s}

Доказать, что:

?
(1)

uiu^{i} — вектор;

(2)

этот вектор ортогонален x,yx, y и zz;

(3)

его длина равна трехмерному объему параллелепипеда, построенного на x,yx, y и zz.

Задача 1773

Пусть a∈T11(V)a \in \mathbf{T}_{1}^{1}(V) — линейный оператор, dim⁡V=n\operatorname {dim} V = n. Доказать, что

∑k=1naikmεi1…ik−1mik+1…in=εi1…intr⁡(a) \sum _{k = 1}^{n} a_{i_{k}}^{m} \varepsilon _{i_{1} \ldots i_{k-1} m i_{k+1} \ldots i_{n}} = \varepsilon _{i_{1} \ldots i_{n}} \operatorname {tr}(a)
?
Задача 1774

Доказать формулы:

?
(1)

εijkεrst=[δirδisδitδjrδjsδjtδkrδksδkt]\varepsilon_{i j k} \varepsilon_{r s t} =\left[\begin{smallmatrix} \delta_{i r} & \delta_{i s} & \delta_{i t} \\ \delta_{j r} & \delta_{j s} & \delta_{j t} \\ \delta_{k r} & \delta_{k s} & \delta_{k t}\end{smallmatrix}\right];

(2)

∑kεijkεrsk=δirδjs−δisδjr\sum_{k} \varepsilon_{i j k} \varepsilon_{r s k} = \delta_{i r} \delta_{j s}-\delta_{i s} \delta_{j r};

(3)

∑k,jεijkεrjk=2δir\sum_{k, j} \varepsilon_{i j k} \varepsilon_{r j k} = 2 \delta_{i r};

(4)

∑k,j,iεijkεijk=6\sum_{k, j, i} \varepsilon_{i j k} \varepsilon_{i j k} = 6,

где δ\delta — символ Кронекера, а ε\varepsilon определено в начале гл. 16.