37

Общие билинейные и полуторалинейные функции

[46/63%]
Показать
LaTeX
Задача 37.1

Какие из следующих функций двух аргументов являются билинейными функциями в соответствующих пространствах:

?
(а)

f(x,y)=tx⋅y(x,y∈Fnf(x, y)={ }^{t} x \cdot y \quad \left(x, y \in F^{n}\right. — столбцы, FF — поле);

(б)

f(A,B)=tr⁡(AB)(A,B∈Mn(F),Ff(A, B)=\operatorname {tr}(A B) \quad \left(A, B \in \mathbf{M}_{n}(F), F\right. — поле);

(в)

f(A,B)=tr⁡(AB−BA)f(A, B)=\operatorname {tr}(A B-B A);

(г)

f(A,B)=det⁡(AB)f(A, B)=\operatorname {det}(A B);

(д)

f(A,B)=tr⁡(A+B)f(A, B)=\operatorname {tr}(A+B);

(е)

f(A,B)=tr⁡(A⋅tB)f(A, B)=\operatorname {tr}\left(A \cdot { }^{t} B\right);

(ж)

f(A,B)=tr⁡(tA⋅B)f(A, B)=\operatorname {tr}\left({ }^{t} A \cdot B\right);

(з)

f(A,B)f(A, B) — коэффициент на месте (i,j)(i, j) матрицы ABA B;

(и)

f(u,v)=Re⁡(uv)(u,v∈C,Cf(u, v)=\operatorname {Re}(u v) \quad (u, v \in \mathbb {C}, \mathbb {C} — векторное пространство над R)\mathbb {R});

(к)

f(u,v)=Re⁡(uvˉ)f(u, v)=\operatorname {Re}(u \bar{v});

(л)

f(u,v)=∣uv∣f(u, v)=\left|u v\right|;

(м)

f(u,v)=Im⁡(uvˉ)f(u, v)=\operatorname {Im}(u \bar{v});

(н)

f(u,v)=∫bauvdt(u,vf(u, v)=\int_{b}^{a} u v d t \quad (u, v — непрерывные функции аргумента tt на отрезке [a,b][a, b]);

(о)

f(u,v)=∫bauv′dt(u,vf(u, v)=\int_{b}^{a} u v^{\prime } d t \quad (u, v — дифференцируемые функции на отрезке [a,b][a, b], причём u(a)=u(b)=v(a)=v(b)=0)u(a)=u(b)=v(a)=v(b)=0);

(п)

f(u,v)=∫ba(u+v)2dt;f(u, v)=\int_{b}^{a}(u+v)^{2} d t ;

(р)

f(u,v)=(uv)(α)(u,v∈F[x],α∈F)f(u, v)=(u v)(\alpha ) \quad (u, v \in F[x], \quad \alpha \in F);

(с)

f(u,v)=ddt(uv)(a)f(u, v)=\frac{d}{d t}(u v)(a);

(т)

f(u,v)=∣u+v∣2−∣u∣2−∣v∣2(u,v∈R3)f(u, v)=\left|u+v\right|^{2}-\left|u\right|^{2}-\left|v\right|^{2} \quad \left(u, v \in \mathbb {R}^{3}\right);

(у)

f(u,v)=ε(u×v)f(u, v)=\varepsilon (u \times v) (×\times — векторное умножение, ε(x)\varepsilon (x) — сумма координат вектора xx в заданном базисе).

Задача 37.2

В конечномерных пространствах из задачи 37.1 выбрать базис и найти матрицы соответствующих билинейных функций:

?
(а)

f(x,y)=tx⋅y(x,y∈Fnf(x, y)={ }^{t} x \cdot y \quad (x, y \in F^{n} — столбцы, FF — поле);

(б)

f(A,B)=tr⁡(AB)(A,B∈Mn(F)f(A, B)=\operatorname {tr}(A B) \quad (A, B \in \mathbf{M}_{n}(F), FF — поле);

(в)

f(A,B)=tr⁡(AB−BA)f(A, B)=\operatorname {tr}(A B-B A);

(г)

f(A,B)=tr⁡(A⋅tB)f(A, B)=\operatorname {tr}\left(A \cdot { }^{t} B\right);

(д)

f(A,B)=tr⁡(tA⋅B)f(A, B)=\operatorname {tr}\left({ }^{t} A \cdot B\right);

(е)

f(A,B)f(A, B) — коэффициент на месте (i,j)(i, j) матрицы ABA B (для фиксированных i,ji, j);

(ж)

f(u,v)=Re⁡(uv)(u,v∈Cf(u, v)=\operatorname {Re}(u v) \quad (u, v \in \mathbb {C}, C\mathbb {C} — векторное пространство над R)\mathbb {R});

(з)

f(u,v)=Re⁡(uvˉ)f(u, v)=\operatorname {Re}(u \bar{v});

(и)

f(u,v)=Im⁡(uvˉ)f(u, v)=\operatorname {Im}(u \bar{v});

(к)

f(u,v)=∣u+v∣2−∣u∣2−∣v∣2(u,v∈R3)f(u, v)=\left|u+v\right|^{2}-\left|u\right|^{2}-\left|v\right|^{2} \quad (u, v \in \mathbb {R}^{3});

(л)

f(u,v)=ε(u×v)f(u, v)=\varepsilon (u \times v) (×\times — векторное умножение, ε(x)\varepsilon (x) — сумма координат вектора xx в заданном базисе).

Задача 37.3

Пусть FF — поле и F(x)F(x) — поле рациональных функций от переменной xx. Доказать, что отображения x↦εxτx \mapsto \varepsilon x^{\tau } задают автоморфизмы второго порядка в F(x)F(x), где ε,τ=±1\varepsilon , \tau = \pm 1 и (ε,τ)≠(1,1)(\varepsilon , \tau ) \neq (1,1).

?
Задача 37.4

Пусть p,qp, q — различные простые числа. Доказать, что вещественные числа вида a+bp+cq+dpqa+b \sqrt{p}+c \sqrt{q}+d \sqrt{p q}, где a,b,c,d∈Qa, b, c, d \in \mathbb {Q}, образуют подполе Q(p,q)\mathbb {Q}(\sqrt{p}, \sqrt{q}) в R\mathbb {R}. Проверить, что отображение

x→xˉ=a−bp+cq−dpq x \rightarrow \bar{x}=a-b \sqrt{p}+c \sqrt{q}-d \sqrt{p q}

является автоморфизмом второго порядка в этом поле.

?
Задача 37.5

Пусть FF — поле с автоморфизмом a→aˉa \rightarrow \bar{a} второго порядка. Какие из следующих функций двух аргументов являются полуторалинейными функциями в соответствующих векторных пространствах:

?
(а)

f(a,b)=ta⋅bˉ(a,b∈Fnf(a, b)={ }^{t} a \cdot \bar{b} \quad \left(a, b \in F^{n}\right. — столбцы ));

(б)

f(A,B)=tr⁡(ABˉ)(A,B∈Mn(F))f(A, B)=\operatorname {tr}(A \bar{B}) \quad \left(A, B \in \mathbf{M}_{n}(F)\right);

(в)

f(A,B)=det⁡(ABˉ)f(A, B)=\operatorname {det}(A \bar{B});

(г)

f(A,B)=tr⁡(A⋅tBˉ)f(A, B)=\operatorname {tr}\left(A \cdot { }^{t} \bar{B}\right);

(д)

f(A,B)=tr⁡(A⋅tB)f(A, B)=\operatorname {tr}\left(A \cdot { }^{t} B\right);

(е)

f(A,B)f(A, B) — элемент, стоящий на месте (i,j)(i, j) матрицы ABˉA \bar{B};

(ж)

f(A,B)f(A, B) — элемент, стоящий на месте (i,j)(i, j) матрицы AtBˉA^{t} \bar{B};

(з)

f(u,v)=ddx(uvˉ)(a),(u,v∈F[x],a∈Ff(u, v)=\frac{d}{d x}(u \bar{v})(a),(u, v \in F[x], a \in F; применение автоморфизма к многочлену означает применение его ко всем коэффициентам).

Задача 37.6

Найти матрицу билинейной функции ff в новом базисе, если заданы её матрица в старом базисе и формулы перехода:

?
(а)

(123456789)\left(\begin{array}{lll}1 & 2 & 3 \\ 4 & 5 & 6 \\ 7 & 8 & 9\end{array}\right), e1′=e1−e2e_{1}^{\prime }=e_{1}-e_{2}, e2′=e1+e3e_{2}^{\prime }=e_{1}+e_{3}, e3′=e1+e2+e3;e_{3}^{\prime }=e_{1}+e_{2}+e_{3} ;

(б)

(021−220−103),e1′=e1+2e2−e3,e2′=e2−e3,e3′=−e1+e2−3e3.\left(\begin{array}{rrr}0 & 2 & 1 \\ -2 & 2 & 0 \\ -1 & 0 & 3\end{array}\right), \quad \begin{aligned} & e_{1}^{\prime }=e_{1}+2 e_{2}-e_{3}, \\ & e_{2}^{\prime }=e_{2}-e_{3}, \\ & e_{3}^{\prime }=-e_{1}+e_{2}-3 e_{3}.\end{aligned}

Задача 37.7

Пусть полуторалинейная функция ff в двумерном комплексном пространстве с базисом (e1,e2)(e_{1}, e_{2}) задана матрицей BB. Найти матрицу B′B^{\prime } функции ff в базисе (e1′,e2′)\left(e_{1}^{\prime }, e_{2}^{\prime }\right), где:

?
(а)

B=(i+1−10−i),e1′=e1+ie2,e2′=+ie1+e2B=\left(\begin{array}{cc}i+1 & -1 \\ 0 & -i\end{array}\right), \quad \begin{aligned} & e_{1}^{\prime }=e_{1}+i e_{2}, \\ & e_{2}^{\prime }=+i e_{1}+e_{2}\end{aligned}

(б)

B=(2−1+i−i0),e1′=2e1−ie2,e2′=ie1+e2.B=\left(\begin{array}{rc}2 & -1+i \\ -i & 0\end{array}\right), \quad \begin{aligned} & e_{1}^{\prime }=2 e_{1}-i e_{2}, \\ & e_{2}^{\prime }=i e_{1}+e_{2}.\end{aligned}

Задача 37.8

Пусть билинейная функция ff задана в некотором базисе матрицей FF. Найти f(x,y)f(x, y), если:

?
(а)

F=(1−11−2−13045),x=(1,0,3),y=(−1,2,−4);F=\left(\begin{array}{rrr}1 & -1 & 1 \\ -2 & -1 & 3 \\ 0 & 4 & 5\end{array}\right), \quad \begin{aligned} & x=(1,0,3), \\ & y=(-1,2,-4) ;\end{aligned}

(б)

F=(i1+i0−1+i02−i2+i3−i−1),x=(1+i,1−i,1),y=(−2+i,−i,3+2i).F=\left(\begin{array}{ccc}i & 1+i & 0 \\ -1+i & 0 & 2-i \\ 2+i & 3-i & -1\end{array}\right), \quad \begin{aligned} & x=(1+i, 1-i, 1), \\ & y=(-2+i,-i, 3+2 i).\end{aligned}

Задача 37.9

Найти значение f(x,y)f(x, y) полуторалинейной функции, заданной в некотором базисе комплексного пространства матрицей BB, если:

?
(а)

B=(52−1i),x=(i,−2),y=(1−i,3+i);B=\left(\begin{array}{rc}5 & 2 \\ -1 & i\end{array}\right), \quad \begin{aligned} & x=(i,-2), \\ & y=(1-i, 3+i) ;\end{aligned}

(б)

B=(−i1−2i−42+3i),x=(2,i+3),y=(−i,6−2i).B=\left(\begin{array}{ll}-i & 1-2 i \\ -4 & 2+3 i\end{array}\right), \quad \begin{aligned} & x=(2, i+3), \\ & y=(-i, 6-2 i).\end{aligned}

Задача 37.10

Пусть gg — билинейная функция с матрицей GG в некотором базисе пространства V,AV, \mathcal{A} — линейный оператор в VV с матрицей AA. Найти в этом базисе матрицу билинейной функции f(u,v)=g(uf(u, v)=g(u, A(v)\mathcal{A}(v)), если:

?
(а)

G=(1−1020−2345),A=(−111−3−421−2−3);G=\left(\begin{array}{rrr}1 & -1 & 0 \\ 2 & 0 & -2 \\ 3 & 4 & 5\end{array}\right), \quad A=\left(\begin{array}{rrr}-1 & 1 & 1 \\ -3 & -4 & 2 \\ 1 & -2 & -3\end{array}\right) ;

(б)

G=(012403560),A=(1−434−1−2−321)G=\left(\begin{array}{lll}0 & 1 & 2 \\ 4 & 0 & 3 \\ 5 & 6 & 0\end{array}\right), \quad A=\left(\begin{array}{rrr}1 & -4 & 3 \\ 4 & -1 & -2 \\ -3 & 2 & 1\end{array}\right).

Задача 37.11

Пусть gg — полуторалинейная функция с матрицей GG в некотором базисе линейного пространства V,AV, \mathcal{A} — линейный оператор в VV с матрицей AA. Найти в этом базисе матрицу полуторалинейной функции f(u,v)=g(u,A(v))f(u, v)=g(u, \mathcal{A}(v)), если:

?
(а)

G=(−5+i2−i4+i),A=(i02−i);G=\left(\begin{array}{cc}-5+i & 2 \\ -i & 4+i\end{array}\right), \quad A=\left(\begin{array}{cc}i & 0 \\ 2 & -i\end{array}\right) ;

(б)

G=(4−i2−i01+i),A=(−i+1043+i)G=\left(\begin{array}{cc}4-i & 2-i \\ 0 & 1+i\end{array}\right), \quad A=\left(\begin{array}{cc}-i+1 & 0 \\ 4 & 3+i\end{array}\right).

Задача 37.12

Найти левое и правое ядра билинейной функции ff, заданной в базисе (e1,e2,e3)(e_{1}, e_{2}, e_{3}) матрицей:

?
(а)

(2−313−555−86)\left(\begin{array}{lll}2 & -3 & 1 \\ 3 & -5 & 5 \\ 5 & -8 & 6\end{array}\right);

(б)

(432135369)\left(\begin{array}{lll}4 & 3 & 2 \\ 1 & 3 & 5 \\ 3 & 6 & 9\end{array}\right).

Задача 37.13

Пусть F=Q(3)F=\mathbb {Q}(\sqrt{3}) и xˉ=a−b3\bar{x}=a-b \sqrt{3}, если x=a+b3x=a+b \sqrt{3}, где a,b∈Qa, b \in \mathbb {Q}. Найти в двумерном векторном пространстве над FF левое и правое ядра полуторалинейной функции, заданной в базисе (e1,e2)\left(e_{1}, e_{2}\right) матрицей:

?
(а)

(1+3−1−312−3)\left(\begin{array}{cc}1+\sqrt{3} & -1-\sqrt{3} \\ 1 & 2-\sqrt{3}\end{array}\right);

(б)

(−3−23234)\left(\begin{array}{cc}-3 & -2 \sqrt{3} \\ 2 \sqrt{3} & 4\end{array}\right).

Задача 37.14

Найти левое и правое ядра билинейной функции f(x,y)=(x,A(y))f(x, y)=(x, \mathcal{A}(y)), где A\mathcal{A} — линейный оператор с матрицей AA в ортонормированном базисе (e1,e2,e3)\left(e_{1}, e_{2}, e_{3}\right) евклидова пространства:

?
(а)

A=(5−613−5−22−13)A=\left(\begin{array}{rrr}5 & -6 & 1 \\ 3 & -5 & -2 \\ 2 & -1 & 3\end{array}\right);

(б)

A=(2−133−225−40)A=\left(\begin{array}{lll}2 & -1 & 3 \\ 3 & -2 & 2 \\ 5 & -4 & 0\end{array}\right).

Задача 37.15

Пусть F,xˉF, \bar{x} из 37.13. Найти левое и правое ядра полуторалинейной функции f(x,y)=g(x,A(y))f(x, y)=g(x, \mathcal{A}(y)), где A\mathcal{A} — линейный оператор с матрицей A,gA, g — полуторалинейная функция в двумерном пространстве, имеющая в базисе (e1,e2)(e_{1}, e_{2}) единичную матрицу:

?
(а)

A=(1+3100)A=\left(\begin{array}{cc}1+\sqrt{3} & 1 \\ 0 & 0\end{array}\right);

(б)

A=(00230)A=\left(\begin{array}{cc}0 & 0 \\ 2 \sqrt{3} & 0\end{array}\right).

Задача 37.16

Пусть ff — билинейная функция с матрицей FF на векторном пространстве V,UV, U — подпространство в VV. Найти левое и правое ортогональные дополнения к UU относительно ff (т.е. максимальные подпространства U1U_{1} и U2U_{2} такие, что f(U1,U)=f(U,U2)=0f\left(U_{1}, U\right)=f\left(U, U_{2}\right)=0), если:

?
(а)

F=(413336259),U=⟨(1,−1,0),(−2,3,1)⟩F=\left(\begin{array}{ccc}4 & 1 & 3 \\ 3 & 3 & 6 \\ 2 & 5 & 9\end{array}\right), \quad U=\langle (1,-1,0),(-2,3,1)\rangle;

(б)

F=(6−855−531−32),U=⟨(2,0,−3),(3,1,−5)⟩F=\left(\begin{array}{lll}6 & -8 & 5 \\ 5 & -5 & 3 \\ 1 & -3 & 2\end{array}\right), \quad U=\langle (2,0,-3),(3,1,-5)\rangle.

Задача 37.17

При F,xˉF, \bar{x} из 37.13, и ff — полуторалинейная функция с матрицей GG на векторном пространстве V,UV, U — подпространство в VV. Найти левое и правое ортогональные дополнения к UU относительно ff, если:

?
(а)

G=(1+32−30121−320),U=⟨(1,0,3),(0,2,1)⟩G=\left(\begin{array}{ccc}1+\sqrt{3} & 2 & -\sqrt{3} \\ 0 & 1 & 2 \\ 1-\sqrt{3} & 2 & 0\end{array}\right), \quad U=\langle (1,0, \sqrt{3}),(0,2,1)\rangle;

(б)

G=(1−3220111−33),U=⟨(1,−3,2)⟩G=\left(\begin{array}{ccc}1 & -\sqrt{3} & 2 \\ 2 & 0 & 1 \\ 1 & 1-\sqrt{3} & \sqrt{3}\end{array}\right), \quad U=\langle (1,-\sqrt{3}, 2)\rangle.

Задача 37.18

Пусть FF — конечное поле из q2q^{2} элементов, причём xˉ=xq\bar{x}=x^{q} для всех x∈Fx \in F. Предположим, что KK — конечное поле, содержащее FF и n=dim⁡FKn=\operatorname {dim}_{F} K. Доказать, что:

?
(а)

x→xˉx \rightarrow \bar{x} — автоморфизм второго порядка в FF;

(б)

функция

f(x,y)=xyq+xq2yq3+…+xq2n−2yq2n−1 f(x, y)=x y^{q}+x^{q^{2}} y^{q^{3}}+\ldots +x^{q^{2 n-2}} y^{q^{2 n-1}}

является полуторалинейной функцией в KK как векторном пространстве над FF;

(в)

функция f(x,y)f(x, y) из б) невырождена;

(г)

найти левое и правое ортогональные дополнения к FF в KK относительно f(x,y)f(x, y).

Задача 37.19

Пусть F=Q[i],K=F[2]F=\mathbb {Q}\left[i\right], K=F[\sqrt{2}]. Рассмотрим KK как векторное пространство над FF. Доказать, что:

?
(а)

dim⁡FK=2\operatorname {dim}_{F} K=2;

(б)

функция f(z1+z22,t1+t22)=z1tˉ1+2z2tˉ2f\left(z_{1}+z_{2} \sqrt{2}, t_{1}+t_{2} \sqrt{2}\right)=z_{1} \bar{t}_{1}+2 z_{2} \bar{t}_{2}, где черта означает комплексное сопряжение, является полуторалинейной функцией в KK как векторном пространстве над FF;

(в)

найти матрицу ff в базисе e1=1,e2=2e_{1}=1, e_{2}=\sqrt{2};

(г)

доказать, что функция ff невырождена;

(д)

найти левое и правое ортогональные дополнения к FF в KK относительно ff.

Задача 37.20

Пусть F=C(x)F=\mathbb {C}(x) — поле рациональных функций с автоморфизмом, при котором x→εxτx \rightarrow \varepsilon x^{\tau }, где ε,τ=±1,(ε,τ)≠(1,1)\varepsilon , \tau = \pm 1,(\varepsilon , \tau ) \neq (1,1).

?
(а)

Доказать, что многочлен y4−x∈F[y]y^{4}-x \in F[y] неприводим над FF.

(б)

Доказать, что в поле K=F[y]/(y4−x)K=F[y] /\left(y^{4}-x\right) как векторном пространстве над FF функция f(u,v)=u(x,y)v(ixτ,y)+u(x,iy)v(εxτ,iy)+f(u, v)=u(x, y) v\left(i x^{\tau }, y\right)+u(x, i y) v\left(\varepsilon x^{\tau }, i y\right)+

+u(x,−y)v(εxτ,−y)+u(x,−iy)v(εxτ,−iy) +u(x,-y) v\left(\varepsilon x^{\tau },-y\right)+u(x,-i y) v\left(\varepsilon x^{\tau },-i y\right)

является полуторалинейной.

(в)

Найти матрицу f(u,v)f(u, v) в базисе 1,y,y2,y31, y, y^{2}, y^{3} пространства KK над полем FF.

(г)

Доказать невырожденность функции ff.

(д)

Найти левое и правое ортогональные дополнения к линейной оболочке ⟨1,y⟩\langle 1, y\rangle в KK.

(е)

Найти в KK такой базис u0,u1,u2,u3u_{0}, u_{1}, u_{2}, u_{3}, что f(ui,yj)=δijf\left(u_{i}, y^{j}\right)=\delta_{i j}, где i,j=0,1,2,3i, j=0,1,2,3.

Задача 37.21

При каких из следующих элементарных преобразований базиса матрица билинейной функции меняется так же, как матрица линейного оператора:

?
(а)

(e1,…,ei,…,en)→(e1,…,λei,…,en)\left(e_{1}, \ldots , e_{i}, \ldots , e_{n}\right) \rightarrow \left(e_{1}, \ldots , \lambda e_{i}, \ldots , e_{n}\right);

(б)

(e1,…,ei,…,en)→(e1,…,ei+λej,…,en)(j≠i)\left(e_{1}, \ldots , e_{i}, \ldots , e_{n}\right) \rightarrow \left(e_{1}, \ldots , e_{i}+\lambda e_{j}, \ldots , e_{n}\right) \quad (j \neq i);

(в)

(e1,…,ei,…,ej,…,en)→(e1,…,ej,…,ei,…,en)\left(e_{1}, \ldots , e_{i}, \ldots , e_{j}, \ldots , e_{n}\right) \rightarrow \left(e_{1}, \ldots , e_{j}, \ldots , e_{i}, \ldots , e_{n}\right)?

Задача 37.22

Найти связь между матрицами A,B,GA, B, G линейных операторов A,B\mathcal{A}, \mathcal{B} и билинейной (полуторалинейной) функции gg в некотором базисе пространства и матрицей FF билинейной (полуторалинейной) функции

f(x,y)=g(A(x),B(y)) f(x, y)=g(\mathcal{A}(x), \mathcal{B}(y))
?
Задача 37.23

Доказать, что всякая билинейная (полуторалинейная) функция ff ранга 1 может быть представлена в виде произведения двух линейных функций p(x)q(y)p(x) q(y) (соответственно p(x)q(yˉ)p(x) q(\bar{y})). К какому простейшему виду можно привести матрицу функции ff с помошью замены базиса?

?
Задача 37.24

Пусть e=(e1,…,en),e′=(e1′,…,en′)\mathbf{e}=\left(e_{1}, \ldots , e_{n}\right), \mathbf{e}^{\prime }=\left(e_{1}^{\prime }, \ldots , e_{n}^{\prime }\right) — два базиса пространства V,CV, C — матрица перехода от е к e′,f\mathbf{e}^{\prime }, f — билинейная (полуторалинейная) функция на VV с матрицами FF и F′F^{\prime } в этих базисах. Найти связь между матрицами F,F′F, F^{\prime }.

?
Задача 37.25

Доказать, что билинейные и полуторалинейные функции tr⁡(AB),tr⁡(AtB),tr⁡(ABˉ),tr⁡(AtBˉ)\operatorname {tr}(A B), \operatorname {tr}\left(A^{t} B\right), \operatorname {tr}(A \bar{B}), \operatorname {tr}\left(A^{t} \bar{B}\right) на пространстве Mn(K)\mathbf{M}_{n}(K) являются невырожденными.

?
Задача 37.26

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

?
Задача 37.27

Пусть ff — невырожденная билинейная (полуторалинейная) функция на пространстве VV. Доказать, что для любой линейной функции pp найдется единственный вектор v∈Vv \in V такой, что p(x)=f(x,v)p(x)=f(x, v) для любого x∈Vx \in V, и отображение p↦vp \mapsto v является изоморфизмом пространств V∗V^{*} и VV.

?
Задача 37.28

Пусть FF — матрица невырожденной билинейной функции ff на вещественном пространстве размерности nn.

?
(а)

Доказать, что при нечётном nn матрица −F-F не является матрицей функции ff ни в каком базисе пространства VV.

(б)

Верно ли утверждение а) для чётного nn?

(в)

Верно ли утверждение а) при чётном nn для диагональной матрицы FF?

Задача 37.29

Пусть для ненулевой билинейной (полуторалинейной) функции ff на пространстве VV существует такое число ε\varepsilon, что для любых x,y∈Vx, y \in V

f(y,x)=εf(x,y) f(y, x)=\varepsilon f(x, y)

(соответственно f(y,x)‾=εf(x,y)\overline{f(y, x)}=\varepsilon f(x, y)). Доказать, что:

?
(а)

ε\varepsilon равно 1 или -1 ;

(б)

если U1U_{1} и U2U_{2} — вполне изотропные подпространства относительно ff, имеющие одинаковую размерность, и U1∩U2⊥=0U_{1} \cap U_{2}^{\perp }=0, то ограничение ff на их сумму U1+U2U_{1}+U_{2} — невырожденная функция;

(в)

если W1W_{1} и W2W_{2} — максимальные вполне изотропные подпространства относительно ff и W1∩W2=0W_{1} \cap W_{2}=0, то dim⁡W1=dim⁡W2\operatorname {dim} W_{1}=\operatorname {dim} W_{2};

(г)

если невырожденные билинейные функции f1f_{1} и f2f_{2} удовлетворяют рассматриваемому условию (при одном и том же ε\varepsilon) и относительно каждой из них VV является прямой суммой двух изотропных подпространств, то функции f1f_{1} и f2f_{2} эквивалентны.

Задача 37.30

Пусть ff — билинейная (полуторалинейная) функция на пространстве VV и для любых x,y∈Vx, y \in V из равенства f(x,y)=0f(x, y)=0 вытекает f(y,x)=0f(y, x)=0. Доказать, что:

?
(а)

если ff — билинейная функция, то ff — симметричная или кососимметричная функция;

(б)

если ff — полуторалинейная функция, то ff — либо эрмитова, либо косоэрмитова функция.

Задача 37.31

Пусть f1,f2f_{1}, f_{2} — билинейные (полуторалинейные) функции на пространстве VV с базисом (e1,…,en)\left(e_{1}, \ldots , e_{n}\right). На пространстве WW с базисом (a11,a12,…,a1n,a21,…,a2n,…,an1,…,ann)\left(a_{11}, a_{12}, \ldots , a_{1 n}, a_{21}, \ldots , a_{2 n}, \ldots , a_{n 1}, \ldots , a_{n n}\right) определим билинейную функцию ff, положив

f(aij,akl)=f1(ei,ek)f2(ej,el) f\left(a_{i j}, a_{k l}\right)=f_{1}\left(e_{i}, e_{k}\right) f_{2}\left(e_{j}, e_{l}\right)
?
(а)

Найти матрицу функции ff в заданном базисе.

(б)

Доказать, что если пространство VV является прямой суммой вполне изотропных подпространств относительно f1f_{1}, то WW является прямой суммой вполне изотропных подпространств относительно ff.

Задача 37.32

Не производя вычислений, выяснить, эквивалентны ли билинейные функции:

?
(а)

f1(x,y)=2x1y2−3x1y3+x2y3−2x2y1−x3y2+3x3y1f_{1}(x, y)=2 x_{1} y_{2}-3 x_{1} y_{3}+x_{2} y_{3}-2 x_{2} y_{1}-x_{3} y_{2}+3 x_{3} y_{1}, f2(x,y)=x1y2−x2y1+2x2y2+3x1y3−3x3y1f_{2}(x, y)=x_{1} y_{2}-x_{2} y_{1}+2 x_{2} y_{2}+3 x_{1} y_{3}-3 x_{3} y_{1};

(б)

f1(x,y)=x1y1+ix1y2f_{1}(x, y)=x_{1} y_{1}+i x_{1} y_{2}, f2(x,y)=2x1y1+(1+i)x1y2+(1−i)x2y1−ix2y2f_{2}(x, y)=2 x_{1} y_{1}+(1+i) x_{1} y_{2}+(1-i) x_{2} y_{1}-i x_{2} y_{2}.

Задача 37.33

Привести к каноническому виду кососимметрические билинейные функции:

?
(а)

x1y2−x1y3−x2y1+2x2y3+x3y1−2x3y2x_{1} y_{2}-x_{1} y_{3}-x_{2} y_{1}+2 x_{2} y_{3}+x_{3} y_{1}-2 x_{3} y_{2};

(б)

2x1y2+x1y3−2x2y1+3x2y3−x3y1−3x3y22 x_{1} y_{2}+x_{1} y_{3}-2 x_{2} y_{1}+3 x_{2} y_{3}-x_{3} y_{1}-3 x_{3} y_{2};

(в)

x1y2+x4y3−x2y1+2x2y3−2x3y2+3x3y4−x1y4−3x4y3x_{1} y_{2}+x_{4} y_{3}-x_{2} y_{1}+2 x_{2} y_{3}-2 x_{3} y_{2}+3 x_{3} y_{4}-x_{1} y_{4}-3 x_{4} y_{3};

(г)

x1y2+x1y3+x1y4−x2y1−x2y3+x3y2+x3y4−x4y1−x4y3x_{1} y_{2}+x_{1} y_{3}+x_{1} y_{4}-x_{2} y_{1}-x_{2} y_{3}+x_{3} y_{2}+x_{3} y_{4}-x_{4} y_{1}-x_{4} y_{3}.

Задача 37.34

Привести к каноническому виду косоэрмитову функцию в комплексном пространстве:

?
(а)

x1yˉ2−ix1yˉ3−ix2yˉ3−xˉ1y2+ixˉ1y3+ixˉ2y3+ix1yˉ1−ixˉ1y1x_{1} \bar{y}_{2}-i x_{1} \bar{y}_{3}-i x_{2} \bar{y}_{3}-\bar{x}_{1} y_{2}+i \bar{x}_{1} y_{3}+i \bar{x}_{2} y_{3}+i x_{1} \bar{y}_{1}-i \bar{x}_{1} y_{1};

(б)

(1+i)x1yˉ2+2x1yˉ3+ix1yˉ4−(1−i)x2yˉ3−(1−i)xˉ1y3+ixˉ1y4+(1+i)xˉ2y3+2ix2yˉ2−2xˉ1y3(1+i) x_{1} \bar{y}_{2}+2 x_{1} \bar{y}_{3}+i x_{1} \bar{y}_{4}-(1-i) x_{2} \bar{y}_{3}-(1-i) \bar{x}_{1} y_{3}+i \bar{x}_{1} y_{4}+(1+i) \bar{x}_{2} y_{3}+2 i x_{2} \bar{y}_{2}-2 \bar{x}_{1} y_{3}.

Задача 37.35

Доказать, что функция h(f,g)=∫01fg′dxh(f, g)=\int_{0}^{1} f g^{\prime } d x на пространстве многочленов степени ⩽5\leqslant 5, обращающихся в нуль в точках 0 и 1, является кососимметрической, и найти для нее канонический базис.

?
Задача 37.36

Доказать, что определитель целочисленной кососимметрической матрицы является квадратом целого числа.

?
Задача 37.37

Пусть ff — кососимметрическая билинейная функция на пространстве V,WV, W — подпространство в V,W⊥V, W^{\perp } — его ортогональное дополнение относительно ff. Доказать, что dim⁡W−dim⁡(W∩W⊥)\operatorname {dim} W-\operatorname {dim}\left(W \cap W^{\perp }\right) — чётное число.

?
Задача 37.38

Доказать, что для любой косоэрмитовой комплексной матрицы AA существует такая невырожденная матрица CC, что CAtCˉC A^{t} \bar{C} — диагональная матрица, причём по главной диагонали стоят чисто мнимые комплексные числа.

?
Задача 37.39

Пусть ff — кососимметрическая билинейная функция на пространстве V,V′V, V^{\prime } — её ядро, WW — максимальное вполне изотропное подпространство. Доказать равенство

dim⁡W=dim⁡V+dim⁡V′2 \operatorname {dim} W=\frac{\operatorname {dim} V+\operatorname {dim} V^{\prime }}{2}
?
Задача 37.40

Пусть ff — невырожденная кососимметрическая билинейная функция на nn-мерном пространстве V,G=(gij)V, G=\left(g_{i j}\right) — кососимметрическая матрица порядка nn. Доказать, что существуют векторы v1,…,vn∈Vv_{1}, \ldots , v_{n} \in V такие, что gij=f(vi,vj)g_{i j}=f\left(v_{i}, v_{j}\right).

?
Задача 37.41

Пусть f(x,y)f(x, y) — эрмитова функция в комплексном пространстве, q(x)=f(x,x)q(x)=f(x, x). Доказать равенство

4f(x,y)=q(x+y)−q(x−y)+iq(x+iy)−iq(x−iy) 4 f(x, y)=q(x+y)-q(x-y)+i q(x+i y)-i q(x-i y)
?
Задача 37.42

Доказать, что вещественная и мнимая части эрмитовой функции на комплексном векторном пространстве VV являются соответственно симметрической и кососимметрической функциями на VV, рассматриваемом как 2n2 n-мерное вещественное векторное пространство.

?
Задача 37.43

Доказать, что если ff — положительно определенная эрмитова форма на комплексном пространстве, то

f(x,y)f(x,y)‾⩽f(x,x)⋅f(y,y) f(x, y) \overline{f(x, y)} \leqslant f(x, x) \cdot f(y, y)
?
Задача 37.44

Пусть A\mathcal{A} — линейный оператор, ff — положительно определённая эрмитова функция на комплексном векторном пространстве VV. Доказать, что если f(A(x),x)=0f(\mathcal{A}(x), x)=0 для любого x∈Vx \in V, то A\mathcal{A} нулевой оператор.

Верно ли это утверждение для симметрических билинейных функций на вещественном пространстве VV?

?
Задача 37.45

Для каких значений nn невырожденная билинейная функция на nn-мерном векторном пространстве может обладать:

?
(а)

вполне изотропным подпространством размерности n−1n-1;

(б)

вполне изотропным подпространством размерности n−2n-2?

Вывести формулу для максимально возможной размерности вполне изотропного подпространства.

Задача 37.46

Пусть A=(aij)∈Mn(R)A=\left(a_{i j}\right) \in \mathbf{M}_{n}(\mathbb {R}) — симметрическая матрица и

L(f)=∑i,j=1naij∂2f∂xi∂xj L(f)=\sum _{i, j=1}^{n} a_{i j} \frac{\partial ^{2} f}{\partial x_{i} \partial x_{j}}

— дифференциальный оператор в R[x1,…,xn]\mathbb {R}\left[x_{1}, \ldots , x_{n}\right].

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

?
(а)

если

C[x1⋮xn]=[y1⋮yn],C∈GLn(R) C\left[\begin{smallmatrix} x_{1} \\ \vdots \\ x_{n} \end{smallmatrix}\right]=\left[\begin{smallmatrix} y_{1} \\ \vdots \\ y_{n} \end{smallmatrix}\right], \quad C \in \mathbf{G L}_{n}(\mathbb {R})

— замена переменных, то

L(f)=∑i,j=1nbij∂2f∂yi∂yj, L(f)=\sum _{i, j=1}^{n} b_{i j} \frac{\partial ^{2} f}{\partial y_{i} \partial y_{j}},

где (bij)=CAtC\left(b_{i j}\right)=C A^{t} C;

(б)

существует такая невырожденная линейная замена переменных в R[x1,…,xn]\mathbb {R}\left[x_{1}, \ldots , x_{n}\right], что относительно новых переменных y1,…,yky_{1}, \ldots , y_{k}

L(f)=∂2f∂y12+…+∂2f∂yk2−∂2f∂yk+12−…−∂2f∂ys2 L(f)=\frac{\partial ^{2} f}{\partial y_{1}^{2}}+\ldots +\frac{\partial ^{2} f}{\partial y_{k}^{2}}-\frac{\partial ^{2} f}{\partial y_{k+1}^{2}}-\ldots -\frac{\partial ^{2} f}{\partial y_{s}^{2}}

где 0⩽k⩽s⩽n0 \leqslant k \leqslant s \leqslant n.