38

Поливекторы и внешние формы

[31/58%]
Показать
LaTeX
Задача 38.1

Функция fa\mathrm{f}_{a} от двух векторов на трехмерном векторном пространстве сопоставляет любым векторам xx и yy смешанное произведение (a,x,y)(a, x, y). Доказать, что fa\mathrm{f}_{a} — 22-форма. Выразить ее матрицу в ортонормированном базисе через координаты вектора aa.

?
Задача 38.2

Найти связь между векторным произведением двух векторов и их внешним произведением.

?
Задача 38.3

Написать матрицу 22-формы ω\omega в базисе ee пространства L4\mathcal{L}_{4}, если дано ее выражение через 11-формы, составляющие базис, биортогональный е:

?
(1)

ω=f1∧f2\omega = \mathrm{f}^{1} \wedge \mathrm{f}_{2}

(2)

ω=−f1∧f3+f2∧f4\omega = - \mathrm{f}_{1} \wedge \mathrm{f}^{3} + \mathrm{f}^{2} \wedge \mathrm{f}^{4}

(3)

ω=f1∧f2+f1∧f3+f1∧f4+f2∧f3+f3∧f4\omega = \mathrm{f}^{1} \wedge \mathrm{f}^{2} + \mathrm{f}^{1} \wedge \mathrm{f}^{3} + \mathrm{f}^{1} \wedge \mathrm{f}^{4} + \mathrm{f}^{2} \wedge \mathrm{f}^{3} + \mathrm{f}^{3} \wedge \mathrm{f}^{4}

Задача 38.4

Найти внешнее произведение двух 1 — форм, заданных координатными строками:

?
(1)

c79T,c75T\mathbf{c}_{79}^{T}, \mathbf{c}_{75}^{T}. c79=[20−242],c75=[120]\mathbf{c}_{79} = \left[\begin{smallmatrix} 20 \\ -2 \\ 42 \end{smallmatrix}\right], \mathbf{c}_{75} = \left[\begin{smallmatrix} 1 \\ 2 \\ 0 \end{smallmatrix}\right].

(2)

c95T,c93T\mathbf{c}_{95}^{T}, \mathbf{c}_{93}^{T}. c95=[−2−2−4],c93=[122]\mathbf{c}_{95} = \left[\begin{smallmatrix} -2 \\ -2 \\ -4 \end{smallmatrix}\right], \mathbf{c}_{93} = \left[\begin{smallmatrix} 1 \\ 2 \\ 2 \end{smallmatrix}\right].

(3)

c174T,c166T\mathbf{c}_{174}^{T}, \mathbf{c}_{166}^{T}. c174=[−1111],c166=[1111]\mathbf{c}_{174} = \left[\begin{smallmatrix} -1 \\ 1 \\ 1 \\ 1 \end{smallmatrix}\right], \mathbf{c}_{166} = \left[\begin{smallmatrix} 1 \\ 1 \\ 1 \\ 1 \end{smallmatrix}\right].

(4)

c156T,c193T\mathbf{c}_{156}^{T}, \mathbf{c}_{193}^{T}. c156=[6601],c193=[0001]\mathbf{c}_{156} = \left[\begin{smallmatrix} 6 \\ 6 \\ 0 \\ 1 \end{smallmatrix}\right], \mathbf{c}_{193} = \left[\begin{smallmatrix} 0 \\ 0 \\ 0 \\ 1 \end{smallmatrix}\right].

Задача 38.5

Найти внешнее произведение трех 1 — форм, заданных координатными строками:

?
(1)

c12T,c13T,c14T\mathbf{c}_{12}^{T}, \mathbf{c}_{13}^{T}, \mathbf{c}_{14}^{T}. c12=[11],c13=[12],c14=[7−1]\mathbf{c}_{12} = \left[\begin{smallmatrix} 1 \\ 1 \end{smallmatrix}\right], \mathbf{c}_{13} = \left[\begin{smallmatrix} 1 \\ 2 \end{smallmatrix}\right], \mathbf{c}_{14} = \left[\begin{smallmatrix} 7 \\ -1 \end{smallmatrix}\right].

(2)

c99T,c52T,c51T\mathbf{c}_{99}^{T}, \mathbf{c}_{52}^{T}, \mathbf{c}_{51}^{T}. c99=[−111],c52=[1−11],c51=[11−1]\mathbf{c}_{99} = \left[\begin{smallmatrix} -1 \\ 1 \\ 1 \end{smallmatrix}\right], \mathbf{c}_{52} = \left[\begin{smallmatrix} 1 \\ -1 \\ 1 \end{smallmatrix}\right], \mathbf{c}_{51} = \left[\begin{smallmatrix} 1 \\ 1 \\ -1 \end{smallmatrix}\right].

(3)

c83T,c124T,c118T\mathbf{c}_{83}^{T}, \mathbf{c}_{124}^{T}, \mathbf{c}_{118}^{T}. c83=[123],c124=[−36−15],c118=[0−415]\mathbf{c}_{83} = \left[\begin{smallmatrix} 1 \\ 2 \\ 3 \end{smallmatrix}\right], \mathbf{c}_{124} = \left[\begin{smallmatrix} -3 \\ 6 \\ -15 \end{smallmatrix}\right], \mathbf{c}_{118} = \left[\begin{smallmatrix} 0 \\ -4 \\ 15 \end{smallmatrix}\right].

(4)

c172T,c154T,c218T\mathbf{c}_{172}^{T}, \mathbf{c}_{154}^{T}, \mathbf{c}_{218}^{T}. c172=[3643],c154=[6135−2],c218=[3−263]\mathbf{c}_{172} = \left[\begin{smallmatrix} 3 \\ 6 \\ 4 \\ 3 \end{smallmatrix}\right], \mathbf{c}_{154} = \left[\begin{smallmatrix} 6 \\ 13 \\ 5 \\ -2 \end{smallmatrix}\right], \mathbf{c}_{218} = \left[\begin{smallmatrix} 3 \\ -2 \\ 6 \\ 3 \end{smallmatrix}\right].

(5)

c197T,c198T,c207T\mathbf{c}_{197}^{T}, \mathbf{c}_{198}^{T}, \mathbf{c}_{207}^{T}. c197=[1122],c198=[1113],c207=[1112]\mathbf{c}_{197} = \left[\begin{smallmatrix} 1 \\ 1 \\ 2 \\ 2 \end{smallmatrix}\right], \mathbf{c}_{198} = \left[\begin{smallmatrix} 1 \\ 1 \\ 1 \\ 3 \end{smallmatrix}\right], \mathbf{c}_{207} = \left[\begin{smallmatrix} 1 \\ 1 \\ 1 \\ 2 \end{smallmatrix}\right].

(6)

c255T,c256T,c257T\mathbf{c}_{255}^{T}, \mathbf{c}_{256}^{T}, \mathbf{c}_{257}^{T}. c255=[11111],c256=[68000],c257=[0−3330]\mathbf{c}_{255} = \left[\begin{smallmatrix} 1 \\ 1 \\ 1 \\ 1 \\ 1 \end{smallmatrix}\right], \mathbf{c}_{256} = \left[\begin{smallmatrix} 6 \\ 8 \\ 0 \\ 0 \\ 0 \end{smallmatrix}\right], \mathbf{c}_{257} = \left[\begin{smallmatrix} 0 \\ -3 \\ 3 \\ 3 \\ 0 \end{smallmatrix}\right].

Задача 38.6

22-форма задана матрицей, 11-форма задана координатной строкой. Найти их внешнее произведение.

?
(1)

A254,c81T\mathbf{A}_{254}, \mathbf{c}_{81}^{T}. A254=[035−302−5−20],c81=[633]\mathbf{A}_{254} = \left[\begin{smallmatrix} 0 & 3 & 5 \\ -3 & 0 & 2 \\ -5 & -2 & 0 \end{smallmatrix}\right], \mathbf{c}_{81} = \left[\begin{smallmatrix} 6 \\ 3 \\ 3 \end{smallmatrix}\right].

(2)

A254,c66T\mathbf{A}_{254}, \mathbf{c}_{66}^{T}. A254=[035−302−5−20],c66=[111]\mathbf{A}_{254} = \left[\begin{smallmatrix} 0 & 3 & 5 \\ -3 & 0 & 2 \\ -5 & -2 & 0 \end{smallmatrix}\right], \mathbf{c}_{66} = \left[\begin{smallmatrix} 1 \\ 1 \\ 1 \end{smallmatrix}\right].

(3)

A252,c93T\mathbf{A}_{252}, \mathbf{c}_{93}^{T}. A252=[0−1210−2−220],c93=[122]\mathbf{A}_{252} = \left[\begin{smallmatrix} 0 & -1 & 2 \\ 1 & 0 & -2 \\ -2 & 2 & 0 \end{smallmatrix}\right], \mathbf{c}_{93} = \left[\begin{smallmatrix} 1 \\ 2 \\ 2 \end{smallmatrix}\right].

(4)

A499,c162T\mathbf{A}_{499}, \mathbf{c}_{162}^{T}. A499=[0112−10−13−1105−2−3−50],c162=[9036]\mathbf{A}_{499} = \left[\begin{smallmatrix} 0 & 1 & 1 & 2 \\ -1 & 0 & -1 & 3 \\ -1 & 1 & 0 & 5 \\ -2 & -3 & -5 & 0 \end{smallmatrix}\right], \mathbf{c}_{162} = \left[\begin{smallmatrix} 9 \\ 0 \\ 3 \\ 6 \end{smallmatrix}\right].

(5)

A432,c204T\mathbf{A}_{432}, \mathbf{c}_{204}^{T}. A432=[0−1001000000−10010],c204=[3333]\mathbf{A}_{432} = \left[\begin{smallmatrix} 0 & -1 & 0 & 0 \\ 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & -1 \\ 0 & 0 & 1 & 0 \end{smallmatrix}\right], \mathbf{c}_{204} = \left[\begin{smallmatrix} 3 \\ 3 \\ 3 \\ 3 \end{smallmatrix}\right].

Задача 38.7

Пусть u,u1,vu, u_{1}, v и ww — внешние формы степеней соответственно p,p,qp, p, q и rr. Доказать, что:

?
(1)

(λu)∧v=λ(u∧v)(\lambda u) \wedge v = \lambda (u\wedge v)

(2)

(u+u1)∧v=u∧v+u1∧v\left(u + u_{1}\right) \wedge v = u\wedge v + u_{1} \wedge v

(3)

(u∧v)∧w=u∧(v∧w)(u\wedge v) \wedge w = u\wedge (v\wedge w)

(4)

u∧v=(−1)pqv∧uu\wedge v = (- 1)^{pq} v\wedge u.

Задача 38.8

Доказать, что значение qq — формы на системе векторов x1,…,xqx_{1}, \ldots , x_{q} фактически зависит только от qq — вектора x1∧…∧xqx_{1} \wedge \ldots \wedge x_{q}.

?
Задача 38.9

Пусть f1,…,fp−1\mathrm{f}^{1}, \ldots , \mathrm{f}^{p} - 1 — формы. Найти значение pp — формы f1∧…∧fp\mathrm{f}^{1} \wedge \ldots \wedge \mathrm{f}^{p} на системе векторов x1,…,xpx_{1}, \ldots , x_{p}.

?
Задача 38.10

22-форма в L4\mathcal{L}_{4} задана строкой ее существенных компонент φ\varphi, а векторы xx и yy — координатными столбцами ξ,η\xi , \eta. Найти значение 22-формы на паре x,yx, y:

?
(1)

φ=c279T,ξ=c174,η=c186\varphi = \mathbf{c}_{279}^{T}, \quad \xi = \mathbf{c}_{174}, \quad \eta = \mathbf{c}_{186}. c279=[123121],c174=[−1111],c186=[11−11]\mathbf{c}_{279} = \left[\begin{smallmatrix} 1 \\ 2 \\ 3 \\ 1 \\ 2 \\ 1 \end{smallmatrix}\right], \mathbf{c}_{174} = \left[\begin{smallmatrix} -1 \\ 1 \\ 1 \\ 1 \end{smallmatrix}\right], \mathbf{c}_{186} = \left[\begin{smallmatrix} 1 \\ 1 \\ -1 \\ 1 \end{smallmatrix}\right].

(2)

φ=c269T,ξ=c171,η=c177\varphi = \mathbf{c}_{269}^{T}, \quad \xi = \mathbf{c}_{171}, \quad \eta = \mathbf{c}_{177}. c269=[−2−10012],c171=[−1110],c177=[−2112]\mathbf{c}_{269} = \left[\begin{smallmatrix} -2 \\ -1 \\ 0 \\ 0 \\ 1 \\ 2 \end{smallmatrix}\right], \mathbf{c}_{171} = \left[\begin{smallmatrix} -1 \\ 1 \\ 1 \\ 0 \end{smallmatrix}\right], \mathbf{c}_{177} = \left[\begin{smallmatrix} -2 \\ 1 \\ 1 \\ 2 \end{smallmatrix}\right].

Задача 38.11

Доказать, что для линейной зависимости векторов a1,…,apa_{1}, \ldots , a_{p} необходимо и достаточно, чтобы a1∧…∧ap=0a_{1} \wedge \ldots \wedge a_{p} = 0.

?
Задача 38.12

Пусть e1,…,ene_{1}, \ldots , e_{n} — базис в Ln\mathcal{L}_{n}. Доказать, что:

?
(1)

бивекторы ei∧eje_{i} \wedge e_{j} для всех пар i,ji, j таких, что i<ji < j, образуют базис в пространстве бивекторов пространства Ln\mathcal{L}_{n}.

(2)

pp — векторы ei1∧…∧eipe_{i_{1}} \wedge \ldots \wedge e_{i_{p}} для всех сочетаний индексов i1,…,ip(i1<…<ip)i_{1}, \ldots , i_{p}\left(i_{1} < \ldots < i_{p}\right) образуют базис в пространстве pp векторов пространства Ln\mathcal{L}_{n}.

Задача 38.13

Базису e=(e1,e2,e3,e4)\mathbf{e} = \left(e_{1}, e_{2}, e_{3}, e_{4}\right) пространства L4\mathcal{L}_{4} сопоставим базис ε=(e1∧e2,e1∧e3,e1∧e4,e2∧e3,e2∧e4,e3∧e4)\varepsilon = \left(e_{1} \wedge e_{2}, e_{1} \wedge e_{3}, e_{1} \wedge e_{4}, e_{2} \wedge e_{3}, e_{2} \wedge e_{4}, e_{3} \wedge e_{4}\right) соответствующего пространства бивекторов, а базису e′\mathbf{e}^{\prime } — аналогично построенный базис ε′\varepsilon^{\prime }. Найти матрицу перехода от ε\varepsilon к ε′\varepsilon^{\prime }, если матрица перехода от ee к e′e^{\prime } есть SS.

?
Задача 38.14

Внешнее произведение ui1…in−1u^{i_{1} \ldots i_{n - 1}} векторов x1,……,xn−1x_{1}, \ldots \ldots , x_{n - 1} из Ln\mathcal{L}_{n} имеет nn существенных компонент. Доказать, что при замене базиса в Ln\mathcal{L}_{n} с матрицей перехода SS строка a=(a1,…,an)\mathbf{a} = \left(a^{1}, \ldots , a^{n}\right) из существенных компонент ai=u1,…,i−1,i+1,…,na^{i} = u^{1}, \ldots , i - 1, i + 1, \ldots , n преобразуется по формуле a′=aS(det⁡S)−1\mathbf{a}^{\prime } = \mathbf{a} S(\operatorname {det} S)^{ - 1}.

?
Задача 38.15

Используя результат задачи 38. 8, доказать, что линейное пространство pp — форм может быть отождествлено с сопряженным к линейному пространству pp — векторов.

?
Задача 38.16

Доказать, что в L3\mathcal{L}_{3} каждый бивектор разложим.

?
Задача 38.17

Доказать, что для разложимости бивектора uiju^{ij} в L4\mathcal{L}_{4} необходимо и достаточно выполнение равенства u12u34−u13u24+u14u23=0u^{12} u^{34} - u^{13} u^{24} + u^{14} u^{23} = 0

?
Задача 38.18

Пусть a1,a2,a3a_{1}, a_{2}, a_{3} и a4a_{4} — линейно независимые векторы. Разложимы ли бивекторы:

?
(1)

a1∧a2+a3∧a4a_{1} \wedge a_{2} + a_{3} \wedge a_{4}

(2)

a3∧a2+a1∧a4+a1∧a2a_{3} \wedge a_{2} + a_{1} \wedge a_{4} + a_{1} \wedge a_{2}

(3)

a1∧a2+a3∧a4+a3∧a2+a1∧a4a_{1} \wedge a_{2} + a_{3} \wedge a_{4} + a_{3} \wedge a_{2} + a_{1} \wedge a_{4}?

Задача 38.19

Разложим ли бивектор в L4\mathcal{L}_{4}, задаваемый в некотором базисе столбцом существенных компонент а:

?
(1)

a=c279\mathbf{a} = \mathbf{c}_{279}. c279=[123121]\mathbf{c}_{279} = \left[\begin{smallmatrix} 1 \\ 2 \\ 3 \\ 1 \\ 2 \\ 1 \end{smallmatrix}\right].

(2)

a=c269\mathbf{a} = \mathbf{c}_{269}. c269=[−2−10012]\mathbf{c}_{269} = \left[\begin{smallmatrix} -2 \\ -1 \\ 0 \\ 0 \\ 1 \\ 2 \end{smallmatrix}\right].

(3)

a=c278\mathbf{a} = \mathbf{c}_{278}. c278=[−1212−14]\mathbf{c}_{278} = \left[\begin{smallmatrix} -1 \\ 2 \\ 1 \\ 2 \\ -1 \\ 4 \end{smallmatrix}\right].

(4)

a=c281\mathbf{a} = \mathbf{c}_{281}? c281=[046423]\mathbf{c}_{281} = \left[\begin{smallmatrix} 0 \\ 4 \\ 6 \\ 4 \\ 2 \\ 3 \end{smallmatrix}\right].

Задача 38.20

Доказать, что подпространство, порождаемое pp вектором, имеет размерность r⩽pr \leqslant p, причем равенство достигается для разложимых pp — векторов и только для них.

?
Задача 38.21
?
(1)

Пусть разложимый бивектор в базисе e1,…,ene_{1}, \ldots , e_{n} имеет компоненты uiju^{ij}. Доказать, что векторы li=uijejl^{i} = u^{ij} e_{j} лежат в пространстве, порождаемом этим бивектором.

(2)

Сформулировать и доказать аналогичное утверждение для разложимых pp — векторов.

Задача 38.22

Может ли размерность подпространства, порождаемого бивектором в пространстве L4\mathcal{L}_{4}, равняться 1? 3?

?
Задача 38.23

В некотором базисе пространства L4\mathcal{L}_{4} бивектор uu определен столбцом существенных компонент а. Найти линейное подпространство, порождаемое этим бивектором:

?
(1)

a=c279\mathbf{a} = \mathbf{c}_{279}. c279=[123121]\mathbf{c}_{279} = \left[\begin{smallmatrix} 1 \\ 2 \\ 3 \\ 1 \\ 2 \\ 1 \end{smallmatrix}\right].

(2)

a=c269\mathbf{a} = \mathbf{c}_{269}. c269=[−2−10012]\mathbf{c}_{269} = \left[\begin{smallmatrix} -2 \\ -1 \\ 0 \\ 0 \\ 1 \\ 2 \end{smallmatrix}\right].

(3)

a=c278\mathbf{a} = \mathbf{c}_{278}. c278=[−1212−14]\mathbf{c}_{278} = \left[\begin{smallmatrix} -1 \\ 2 \\ 1 \\ 2 \\ -1 \\ 4 \end{smallmatrix}\right].

(4)

a=c280\mathbf{a} = \mathbf{c}_{280}. c280=[−1212−12]\mathbf{c}_{280} = \left[\begin{smallmatrix} -1 \\ 2 \\ 1 \\ 2 \\ -1 \\ 2 \end{smallmatrix}\right].

Задача 38.24

Доказать, что разложимый pp — вектор, определяющий подпространство Lp\mathcal{L}_{p}, может быть найден по этому подпространству с точностью до числового множителя.

?
Задача 38.25

Подпространство L2\mathcal{L}_{2} в пространстве L4\mathcal{L}_{4} задано системой линейных уравнений с матрицей AA. Найти компоненты бивектора, определяющего L2\mathcal{L}_{2}:

?
(1)

A=A502A = \mathbf{A}_{502}. A502=[117−31−1−11]\mathbf{A}_{502} = \left[\begin{smallmatrix} 1 & 1 & 7 & -3 \\ 1 & -1 & -1 & 1 \end{smallmatrix}\right].

(2)

A=A503A = \mathbf{A}_{503}. A503=[3−2112−120]\mathbf{A}_{503} = \left[\begin{smallmatrix} 3 & -2 & 1 & 1 \\ 2 & -1 & 2 & 0 \end{smallmatrix}\right].

(3)

A=A506A = \mathbf{A}_{506}. A506=[3−4712−352]\mathbf{A}_{506} = \left[\begin{smallmatrix} 3 & -4 & 7 & 1 \\ 2 & -3 & 5 & 2 \end{smallmatrix}\right].

Задача 38.26

Подпространства L1\mathcal{L}_{1} и L2\mathcal{L}_{2} в пространстве L4\mathcal{L}_{4} порождены соответственно вектором xx и бивектором uu. Вектор задан координатным столбцом ξ\xi, а бивектор — столбцом существенных компонент a\mathbf{a}. Проверить, что L1⊂L2\mathcal{L}_{1} \subset \mathcal{L}_{2}, и найти такой вектор yy, что u=x∧yu = x\wedge y:

?
(1)

ξ=[−2611],a=[10132−4−1]\xi = \left[\begin{smallmatrix} - 2\\ 6\\ 1\\ 1\end{smallmatrix}\right], \mathbf{a} = \left[\begin{smallmatrix} 10\\ 1\\ 3\\ 2\\ - 4\\ - 1\end{smallmatrix}\right]

(2)

ξ=[1201],a=[21324−1]\xi = \left[\begin{smallmatrix} 1\\ 2\\ 0\\ 1\end{smallmatrix}\right], \mathbf{a} = \left[\begin{smallmatrix} 2\\ 1\\ 3\\ 2\\ 4\\ - 1\end{smallmatrix}\right].

Задача 38.27

Подпространства L1\mathcal{L}_{1} и L2\mathcal{L}_{2} в пространстве L4\mathcal{L}_{4} порождены соответственно вектором xx и бивектором uu. Вектор задан координатным столбцом ξ\xi, а бивектор — столбцом существенных компонент a\mathbf{a}. Проверить, что L1∩L2={o}\mathcal{L}_{1} \cap \mathcal{L}_{2} = \left\{ o\right\}, и найти 3 — вектор, порождающий L=L1⊕L2\mathcal{L} = \mathcal{L}_{1} \oplus \mathcal{L}_{2}. Найти уравнение подпространства L\mathcal{L}:

?
(1)

ξ=[2211],a=[21324−1]\xi = \left[\begin{smallmatrix} 2\\ 2\\ 1\\ 1\end{smallmatrix}\right], \mathbf{a} = \left[\begin{smallmatrix} 2\\ 1\\ 3\\ 2\\ 4\\ - 1\end{smallmatrix}\right]

(2)

ξ=[1011],a=[9514−1−1]\xi = \left[\begin{smallmatrix} 1\\ 0\\ 1\\ 1\end{smallmatrix}\right], \mathbf{a} = \left[\begin{smallmatrix} 9\\ 5\\ 1\\ 4\\ - 1\\ - 1\end{smallmatrix}\right].

Задача 38.28

Пусть 11-формы f1,…,fk\mathrm{f}^{1}, \ldots , \mathrm{f}^{k} линейно независимы и для 1 — форм g1,…,gkg^{1}, \ldots , g^{k} выполнено равенство f1∧g1+……+fk∧gk=0\mathrm{f}^{1} \wedge g^{1} + \ldots \ldots + \mathrm{f}^{k} \wedge g^{k} = 0. Доказать, что gi=∑j=1kaijfjg^{i} = \sum_{j = 1}^{k} a^{ij} \mathrm{f}^{j} для всех i=1,…,ki = 1, \ldots , k, причем aij=ajia^{ij} = a^{ji} (лемма Картана).

?
Задача 38.29

11-формы f1,f2\mathrm{f}^{1}, \mathrm{f}^{2} и g1g^{1} заданы координатными строками φ1,φ2,ξ1\varphi^{1}, \varphi^{2}, \xi^{1}. Существует ли такая 11-форма g2g^{2}, что f1∧g1+f2∧g2=0\mathrm{f}^{1} \wedge g^{1} + \mathrm{f}^{2} \wedge g^{2} = 0? Найти все такие формы, если они существуют:

?
(1)

φ1=c172T,φ2=c173T,ξ1=c166T\varphi^{1} = \mathbf{c}_{172}^{T}, \varphi^{2} = \mathbf{c}_{173}^{T}, \quad \xi^{1} = \mathbf{c}_{166}^{T}. c172=[3643],c173=[4312],c166=[1111]\mathbf{c}_{172} = \left[\begin{smallmatrix} 3 \\ 6 \\ 4 \\ 3 \end{smallmatrix}\right], \mathbf{c}_{173} = \left[\begin{smallmatrix} 4 \\ 3 \\ 1 \\ 2 \end{smallmatrix}\right], \mathbf{c}_{166} = \left[\begin{smallmatrix} 1 \\ 1 \\ 1 \\ 1 \end{smallmatrix}\right].

(2)

φ1=c197T,φ2=c185T,ξ1=c166T\varphi^{1} = \mathbf{c}_{197}^{T}, \varphi^{2} = c_{185}^{T}, \quad \xi^{1} = c_{166}^{T}. c197=[1122]\mathbf{c}_{197} = \left[\begin{smallmatrix} 1 \\ 1 \\ 2 \\ 2 \end{smallmatrix}\right].

(3)

φ1=c166T,φ2=c228T,ξ1=c227T\varphi^{1} = \mathbf{c}_{166}^{T}, \varphi^{2} = \mathbf{c}_{228}^{T}, \quad \xi^{1} = \mathbf{c}_{227}^{T}. c166=[1111],c228=[0101],c227=[1−11−1]\mathbf{c}_{166} = \left[\begin{smallmatrix} 1 \\ 1 \\ 1 \\ 1 \end{smallmatrix}\right], \mathbf{c}_{228} = \left[\begin{smallmatrix} 0 \\ 1 \\ 0 \\ 1 \end{smallmatrix}\right], \mathbf{c}_{227} = \left[\begin{smallmatrix} 1 \\ -1 \\ 1 \\ -1 \end{smallmatrix}\right].

(4)

φ1=c171T,φ2=c186T,ξ1=c193T\varphi^{1} = \mathbf{c}_{171}^{T}, \varphi^{2} = \mathbf{c}_{186}^{T}, \quad \xi^{1} = \mathbf{c}_{193}^{T}. c171=[−1110],c186=[11−11],c193=[0001]\mathbf{c}_{171} = \left[\begin{smallmatrix} -1 \\ 1 \\ 1 \\ 0 \end{smallmatrix}\right], \mathbf{c}_{186} = \left[\begin{smallmatrix} 1 \\ 1 \\ -1 \\ 1 \end{smallmatrix}\right], \mathbf{c}_{193} = \left[\begin{smallmatrix} 0 \\ 0 \\ 0 \\ 1 \end{smallmatrix}\right].

Задача 38.30

Доказать, что для каждой 22-формы ω\omega существует базис f1,…,fn\mathrm{f}^{1}, \ldots , \mathrm{f}^{n} в пространстве 1 — форм такой, что форма ω\omega имеет канонический вид ω=f1∧f2+f3∧f4+…+f2p−1∧f2p(2p⩽n)\omega = \mathrm{f}^{1} \wedge \mathrm{f}^{2} + \mathrm{f}^{3} \wedge \mathrm{f}^{4} + \ldots + \mathrm{f}^{2p - 1} \wedge \mathrm{f}^{2p} (2p \leqslant n).

?
Задача 38.31

22-форма задана своей матрицей в некотором базисе. Привести ее к каноническому виду, описанному в задаче 38. 30:

?
(1)

A250\mathbf{A}_{250}. A250=[01−2−1032−30]\mathbf{A}_{250} = \left[\begin{smallmatrix} 0 & 1 & -2 \\ -1 & 0 & 3 \\ 2 & -3 & 0 \end{smallmatrix}\right].

(2)

A439\mathbf{A}_{439}. A439=[0111−1011−1−101−1−1−10]\mathbf{A}_{439} = \left[\begin{smallmatrix} 0 & 1 & 1 & 1 \\ -1 & 0 & 1 & 1 \\ -1 & -1 & 0 & 1 \\ -1 & -1 & -1 & 0 \end{smallmatrix}\right].

(3)

A490\mathbf{A}_{490}. A490=[0100−10100−10100−10]\mathbf{A}_{490} = \left[\begin{smallmatrix} 0 & 1 & 0 & 0 \\ -1 & 0 & 1 & 0 \\ 0 & -1 & 0 & 1 \\ 0 & 0 & -1 & 0 \end{smallmatrix}\right].

(4)

A499\mathbf{A}_{499}. A499=[0112−10−13−1105−2−3−50]\mathbf{A}_{499} = \left[\begin{smallmatrix} 0 & 1 & 1 & 2 \\ -1 & 0 & -1 & 3 \\ -1 & 1 & 0 & 5 \\ -2 & -3 & -5 & 0 \end{smallmatrix}\right].