48

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

[18/39%]
Показать
LaTeX
Задача 48.1

Установить изоморфизм пространств (Tqp(V))∗\left(\mathbb {T}_{q}^{p}(V)\right)^{*} и Tpq(V)\mathbb {T}_{p}^{q}(V).

?
Задача 48.2

Доказать следующие свойства операторов Sym и Alt в пространстве T0q(V)\mathbb {T}_{0}^{q}(V) :

?
(а)

пересечение ядер KerSym⁡\operatorname {KerSym} и Ker⁡Alt⁡\operatorname {Ker} \operatorname {Alt} равно нулю при q=2q=2 и отлично от нуля при q>2q>2;

(б)

Sym⁡⋅Alt⁡=Alt⁡⋅Sym⁡=0\operatorname {Sym} \cdot \operatorname {Alt}=\operatorname {Alt} \cdot \operatorname {Sym}=0;

(в)

оператор P=(E−Sym⁡)(E−Alt⁡)\mathcal{P}=(\mathcal{E}-\operatorname {Sym})(\mathcal{E}-\operatorname {Alt}) — проектирование.

Найти ранг оператора P\mathcal{P} при q=3q=3.

Задача 48.3

Доказать, что если основное поле имеет характеристику 0, то линейная оболочка тензоров вида vk(v∈V)v^{k}(v \in V) совпадает с Sk(V)S^{k}(V).

?
Задача 48.4

Установить изоморфизм:

?
(а)

Sq(V1⊕V2)S^{q}\left(V_{1} \oplus V_{2}\right) \quad и ⊕i=1qSi(V1)⊗Sq−i(V2)\quad \oplus_{i=1}^{q} S^{i}\left(V_{1}\right) \otimes S^{q-i}\left(V_{2}\right);

(б)

Λq(V1⊕V2)\Lambda^{q}\left(V_{1} \oplus V_{2}\right) \quad и ⊕i=1qΛi(V1)⊗Λq−i(V2)\quad \oplus_{i=1}^{q} \Lambda^{i}\left(V_{1}\right) \otimes \Lambda^{q-i}\left(V_{2}\right).

Задача 48.5

Доказать, что при dim⁡V>2\operatorname {dim} V>2 пространства Λ2(Λ2(V))\Lambda^{2}\left(\Lambda^{2}(V)\right) и Λ4(V)\Lambda^{4}(V) не совпадают.

?
Задача 48.6

Доказать, что для любой невырожденной билинейной функции ff на пространстве VV существует невырожденная билинейная функция FF на пространстве Λ2V\Lambda^{2} V, для которой

F(v1∧v2,v3∧v4)=det⁡[f(v1,v3)f(v1,v4)f(v2,v3)f(v2,v4)] F\left(v_{1} \wedge v_{2}, v_{3} \wedge v_{4}\right)=\operatorname {det}\left[\begin{smallmatrix} f\left(v_{1}, v_{3}\right) & f\left(v_{1}, v_{4}\right) \\ f\left(v_{2}, v_{3}\right) & f\left(v_{2}, v_{4}\right) \end{smallmatrix}\right]
?
Задача 48.7

Найти след оператора Λq(A)\Lambda^{q}(\mathcal{A}) по его матрице A\mathcal{A} :

?
(а)

(110022003)(q=2);\left(\begin{array}{lll}1 & 1 & 0 \\ 0 & 2 & 2 \\ 0 & 0 & 3\end{array}\right) \quad (q=2) ; \quad

(б)

(1−200140000−4400−31)(q=4)\left(\begin{array}{rrrr}1 & -2 & 0 & 0 \\ 1 & 4 & 0 & 0 \\ 0 & 0 & -4 & 4 \\ 0 & 0 & -3 & 1\end{array}\right) \quad (q=4);

(в)

(1012021010100013)(q=2,3)\left(\begin{array}{llll}1 & 0 & 1 & 2 \\ 0 & 2 & 1 & 0 \\ 1 & 0 & 1 & 0 \\ 0 & 0 & 1 & 3\end{array}\right) \quad (q=2,3).

Задача 48.8

Найти жорданову форму матрицы оператора Λ2(A)\Lambda^{2}(\mathcal{A}), если матрица A\mathcal{A} имеет жорданову форму:

?
(а)

(1100011000110001);\left(\begin{array}{cccc}1 & 1 & 0 & 0 \\ 0 & 1 & 1 & 0 \\ 0 & 0 & 1 & 1 \\ 0 & 0 & 0 & 1\end{array}\right) ; \quad

(б)

(2100020000310003);\left(\begin{array}{cccc}2 & 1 & 0 & 0 \\ 0 & 2 & 0 & 0 \\ 0 & 0 & 3 & 1 \\ 0 & 0 & 0 & 3\end{array}\right) ;

(в)

(200000−200000−2000001100001)\left(\begin{array}{rrrrr}2 & 0 & 0 & 0 & 0 \\ 0 & -2 & 0 & 0 & 0 \\ 0 & 0 & -2 & 0 & 0 \\ 0 & 0 & 0 & 1 & 1 \\ 0 & 0 & 0 & 0 & 1\end{array}\right).

Задача 48.9

Доказать, что если tr⁡Λq(A)=0\operatorname {tr} \Lambda^{q}(\mathcal{A})=0 для всех q>0q>0, то оператор A\mathcal{A} нильпотентен.

?
Задача 48.10

Доказать, что в nn-мерном пространстве VV ненулевой оператор вида Λn−1(A)\Lambda^{n-1}(\mathcal{A}) на Λn−1(V)\Lambda^{n-1}(V) либо невырожден, либо имеет ранг 1.

?
Задача 48.11

Доказать, что kk-мерное подпространство W⊆VW \subseteq V инвариантно относительно линейного оператора A\mathcal{A} тогда и только тогда, когда ΛkW\Lambda^{k} W инвариантно относительно Λk(A)\Lambda^{k}(\mathcal{A}).

?
Задача 48.12

Доказать, что для всякого бивектора ξ∈Λ2(V)\xi \in \Lambda^{2}(V) существует базис (e1,…,en)(e_{1}, \ldots , e_{n}) пространства VV, для которого

ξ=e1∧e2+e3∧e4+…+ek−1∧ek \xi =e_{1} \wedge e_{2}+e_{3} \wedge e_{4}+\ldots +e_{k-1} \wedge e_{k}

при некотором чётном kk.

?
Задача 48.13

Пусть система v1,…,vkv_{1}, \ldots , v_{k} векторов пространства VV линейно независима и t1,…,tk∈Vt_{1}, \ldots , t_{k} \in V. Доказать, что

v1∧t1+…+vk∧tk=0 v_{1} \wedge t_{1}+\ldots +v_{k} \wedge t_{k}=0

тогда и только тогда, когда t1,…,tk∈⟨v1,…,vk⟩t_{1}, \ldots , t_{k} \in \left\langle v_{1}, \ldots , v_{k}\right\rangle, и матрица, составленная из элементов αij\alpha_{i j}, где ti=∑j=1kαijvjt_{i}=\sum_{j=1}^{k} \alpha_{i j} v_{j}, симметрическая.

?
Задача 48.14

Доказать, что бивектор ξ\xi разложим тогда и только тогда, когда ξ∧ξ=0\xi \wedge \xi =0.

?
Задача 48.15

Доказать, что для ξ∈Λp(V),x∈V,x≠0\xi \in \Lambda^{p}(V), x \in V, x \neq 0, равенство ξ∧x=0\xi \wedge x=0 выполняется тогда и только тогда, когда ξ=x∧θ\xi =x \wedge \theta для некоторого θ∈Λp−1(V)\theta \in \Lambda^{p-1}(V).

?
Задача 48.16

Пусть ξ∈Λp(V)\xi \in \Lambda^{p}(V) — ненулевой pp-вектор и

W={x∈V∣ξ∧x=0}. W=\left\{ x \in V \mid \xi \wedge x=0\right\} .

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

?
(а)

dim⁡W⩽p\operatorname {dim} W \leqslant p;

(б)

dim⁡W=p\operatorname {dim} W=p тогда и только тогда, когда ξ\xi разложим;

(в)

наименьшее подпространство, в pp-й степени которого лежит pp-вектор ξ\xi, есть U={ξ(v,…,vp−1)∣vi∈V∗}U=\left\{ \xi \left(v, \ldots , v_{p-1}\right) \mid v_{i} \in V^{*}\right\}.

(г)

dim⁡U⩾p\operatorname {dim} U \geqslant p, причём dim⁡U=p\operatorname {dim} U=p тогда и только тогда, когда ξ\xi разложим.

Задача 48.17

Доказать, что внутреннее умножение i(v∗)i\left(v^{*}\right), где v∗∈V∗v^{*} \in V^{*}, является дифференцированием алгебры S(V)S(V).

?
Задача 48.18

Доказать, что операторы внутреннего умножения i(v1∗)i\left(v_{1}^{*}\right) и i(v2∗),v1∗,v2∗∈V∗i\left(v_{2}^{*}\right), v_{1}^{*}, v_{2}^{*} \in V^{*}, коммутируют в алгебре S(V)S(V) и антикоммутируют в алгебре Λ(V)\Lambda (V).

?