43

Геометрия метрических пространств

[49/41%]
Показать
LaTeX
Задача 43.1

Какие из векторных пространств с билинейными формами из задачи 37.1 являются метрическими?

?
Задача 43.2

Доказать, что вещественная часть f(x,y)f(x, y) и мнимая часть g(x,y)g(x, y) эрмитовой функции на комплексном векторном пространстве VV инвариантны относительно умножения на ii, т.е. для любых векторов x,y∈Vx, y \in V

f(ix,iy)=f(x,y),g(ix,iy)=g(x,y). f(i x, i y)=f(x, y), \quad g(i x, i y)=g(x, y).
?
Задача 43.3

Доказать, что метрическое векторное пространство является прямой суммой подпространства LL и его ортогонального дополнения L⊥L^{\perp } тогда и только тогда, когда скалярное произведение на LL невырождено и что в этом случае скалярное произведение на L⊥L^{\perp } также невырождено.

?
Задача 43.4

В пространстве Mn(C)\mathbf{M}_{n}(\mathbb {C}) с эрмитовым скалярным произведением

(X,Y)=tr⁡(XtYˉ) (X, Y)=\operatorname {tr}\left(X^{t} \bar{Y}\right)

найти ортогональное дополнение к подпространству:

?
(а)

матриц с нулевым следом;

(б)

эрмитовых матриц;

(в)

косоэрмитовых матриц;

(г)

верхних треугольных матриц.

Задача 43.5

Показать, что эрмитово и евклидово пространства являются нормированными.

?
Задача 43.6

Какие из нормирований пространств Rn,Cn\mathbb {R}^{n}, \mathbb {C}^{n} из задачи 42.1 индуцированы евклидовой или эрмитовой метрикой?

?
Задача 43.7

Дополнить до ортогонального базиса систему векторов евклидова и эрмитова пространства:

?
(а)

((1,−2,2,−3),(2,−3,2,4))((1,-2,2,-3),(2,-3,2,4));

(б)

((1,1,1,2),(1,2,3,−3))((1,1,1,2),(1,2,3,-3));

(в)

((23,13,23),(13,23,−23))\left(\left(\frac{2}{3}, \frac{1}{3}, \frac{2}{3}\right),\left(\frac{1}{3}, \frac{2}{3},-\frac{2}{3}\right)\right);

(г)

((12,12,12,12),(12,12,−12,−12))\left(\left(\frac{1}{2}, \frac{1}{2}, \frac{1}{2}, \frac{1}{2}\right),\left(\frac{1}{2}, \frac{1}{2},-\frac{1}{2},-\frac{1}{2}\right)\right);

(д)

((1,1−i,2),(−2,−1+3i,3−i))((1,1-i, 2),(-2,-1+3 i, 3-i));

(е)

((−i,2,−4+i),(4−i,−1,i))((-i, 2,-4+i),(4-i,-1, i)).

Задача 43.8

Найти ортогональную проекцию вектора xx евклидова (эрмитова) пространства на линейную оболочку ортонормированной системы векторов (e1,…,ek)\left(e_{1}, \ldots , e_{k}\right).

?
Задача 43.9

Доказать, что в любых двух подпространствах евклидова (эрмитова) пространства можно выбрать ортонормированные базисы (e1,…,ek)\left(e_{1}, \ldots , e_{k}\right) и (f1,…,fl)\left(f_{1}, \ldots , f_{l}\right) таким образом, чтобы (ei,fj)=0\left(e_{i}, f_{j}\right)=0 при i≠ji \neq j и (ei,fi)⩾0\left(e_{i}, f_{i}\right) \geqslant 0.

?
Задача 43.10

Пусть (e1,…,ek)\left(e_{1}, \ldots , e_{k}\right) и (f1,…,fl)\left(f_{1}, \ldots , f_{l}\right) — ортонормированные базисы подпространств LL и MM евклидова (эрмитова) пространства, A=((ei,fj))A=\left(\left(e_{i}, f_{j}\right)\right) — матрица порядка k×lk \times l. Доказать, что все характеристические числа матрицы tA⋅A{ }^{t} A \cdot A принадлежат отрезку [0,1][0,1] и не зависят от выбора базисов в подпространствах LL и MM.

?
Задача 43.11

Доказать, что всякая вещественная симметрическая матрица ранга ⩽n\leqslant n с неотрицательными (соответственно положительными) главными минорами является матрицей Грама некоторой системы (соответственно линейно независимой системы) векторов nn-мерного евклидова пространства.

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

?
Задача 43.12

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

?
Задача 43.13

Пусть GG — матрица скалярного произведения в базисе (e1,…,en)\left(e_{1}, \ldots , e_{n}\right) евклидова пространства VV. Найти матрицу перехода к сопряжённому базису (f1,…,fn)\left(f_{1}, \ldots , f_{n}\right) и матрицу скалярного произведения в этом базисе.

?
Задача 43.14

Пусть SS — матрица перехода от базиса е к базису e′\mathbf{e}^{\prime }. Найти матрицу перехода от базиса e′\mathbf{e}^{\prime }, сопряжённого к e\mathbf{e}, к базису f′\mathbf{f}^{\prime }, сопряжённому к f\mathbf{f} :

?
(а)

в евклидовом пространстве;

(б)

в эрмитовом пространстве.

Задача 43.15

С помощью процесса ортогонализации построить ортогональный базис линейной оболочки системы векторов евклидова (эрмитова) пространства:

?
(а)

((1,2,2,−1),(1,1,−5,3),(3,2,8,−7))((1,2,2,-1),(1,1,-5,3),(3,2,8,-7));

(б)

((1,1,−1,−2),(5,8,−2,−3),(3,9,3,8))((1,1,-1,-2),(5,8,-2,-3),(3,9,3,8));

(в)

((2,1,3,−1),(7,4,3,−3),(1,1,−6,0),(5,7,7,8))((2,1,3,-1),(7,4,3,-3),(1,1,-6,0),(5,7,7,8));

(г)

((2,1,−i),(1−i,2,0),(−i,0,1−i))((2,1,-i),(1-i, 2,0),(-i, 0,1-i));

(д)

((0,1−i,2),(−i,2+3i,i),(0,0,2i))((0,1-i, 2),(-i, 2+3 i, i),(0,0,2 i)).

Задача 43.16

Найти базис ортогонального дополнения линейной оболочки системы векторов евклидова (эрмитова) пространства:

?
(а)

((1,0,2,1),(2,1,2,3),(0,1,−2,1))((1,0,2,1),(2,1,2,3),(0,1,-2,1));

(б)

((1,1,1,1),(−1,1,−1,1),(2,0,2,0))((1,1,1,1),(-1,1,-1,1),(2,0,2,0));

(в)

((0,1+2i,−i),(1,−1,2−i))((0,1+2 i,-i),(1,-1,2-i)).

Задача 43.17

Доказать, что системы линейных уравнений, задающих линейное подпространство в Rn\mathbb {R}^{n} и его ортогональное дополнение, связаны следующим образом: коэффициенты линейно независимой системы, задающей одно из этих подпространств, являются координатами векторов базиса другого подпространства.

?
Задача 43.18

Найти уравнения, задающие ортогональное дополнение к подпространству, заданному системой уравнений:

?
(а)

{2x1+x2+3x3−x4=0,3x1+2x2−2x4=0,3x1+x2+4x3−x4=0;\begin{cases} 2 x_{1}+x_{2}+3 x_{3}-x_{4}=0, \\ 3 x_{1}+2 x_{2}-2 x_{4}=0, \\ 3 x_{1}+x_{2}+4 x_{3}-x_{4}=0 ; \end{cases}

(б)

{2x1−3x2+4x3−3x4=0,3x1−x2+11x3−13x4=0,4x1+x2+18x3−23x4=0;\begin{cases} 2 x_{1}-3 x_{2}+4 x_{3}-3 x_{4}=0, \\ 3 x_{1}-x_{2}+11 x_{3}-13 x_{4}=0, \\ 4 x_{1}+x_{2}+18 x_{3}-23 x_{4}=0 ; \end{cases}

(в)

{x1+(1−i)x2−ix3=0,−ix1+4x2=0.\begin{cases} x_{1}+(1-i) x_{2}-i x_{3}=0, \\ -i x_{1}+4 x_{2}=0. \end{cases}

Задача 43.19

Найти проекцию вектора xx на подпространство LL и ортогональную составляющую вектора xx :

?
(а)

x=(4,−1,−3,4)x=(4,-1,-3,4) и L=⟨(1,1,1,1),(1,2,2,−1),(1,0,0,3)⟩L=\langle (1,1,1,1),(1,2,2,-1),(1,0,0,3)\rangle;

(б)

x=(5,2,−2,2)x=(5,2,-2,2) и L=⟨(2,1,1,−1),(1,1,3,0),(1,2,8,1)⟩L=\langle (2,1,1,-1),(1,1,3,0),(1,2,8,1)\rangle;

(в)

x=(7,−4,−1,2)x=(7,-4,-1,2) и LL задано системой уравнений

{2x1+x2+x3+3x4=03x1+2x2+2x3+x4=0x1+2x2+2x3−4x4=0 \begin{cases} 2 x_{1}+x_{2}+x_{3}+3 x_{4}=0 \\ 3 x_{1}+2 x_{2}+2 x_{3}+x_{4}=0 \\ x_{1}+2 x_{2}+2 x_{3}-4 x_{4}=0 \end{cases}
(г)

x=(0,1+i,−i)x=(0,1+i,-i) и L=⟨(−i,2+i,0),(3,−i+1,i)⟩L=\langle (-i, 2+i, 0),(3,-i+1, i)\rangle;

(д)

x=(i,2−i,0)x=(i, 2-i, 0) и LL задано системой уравнений

{(2+i)x1−ix2+2x3+ix4=0(2+i)x1−ix2+2x3+ix4=05x1+(−1+i)x2+x3=0 \begin{cases} (2+i) x_{1}-i x_{2}+2 x_{3}+i x_{4}=0 \\ (2+i) x_{1}-i x_{2}+2 x_{3}+i x_{4}=0 \\ 5 x_{1}+(-1+i) x_{2}+x_{3}=0 \end{cases}
Задача 43.20

Доказать, что если в процессе ортогонализации система векторов a1,…,ana_{1}, \ldots , a_{n} переходит в систему b1,…,bnb_{1}, \ldots , b_{n}, то вектор bkb_{k} есть ортогональная составляющая вектора aka_{k} относительно линейной оболочки системы a1,…,ak−1(k>1)a_{1}, \ldots , a_{k-1}(k>1).

?
Задача 43.21

Найти расстояние от вектора xx до подпространства, заданного системой уравнений:

?
(а)

x=(2,4,0,−1),{2x1+2x2+x3+x4=0,2x1+4x2+2x3+4x4=0;x=(2,4,0,-1), \quad \begin{cases} 2 x_{1}+2 x_{2}+x_{3}+x_{4}=0, \\ 2 x_{1}+4 x_{2}+2 x_{3}+4 x_{4}=0 ; \end{cases}

(б)

x=(3,3,−4,2),{x1+2x2+x3−x4=0x1+3x2+x3−3x4=0x=(3,3,-4,2), \quad \begin{cases} x_{1}+2 x_{2}+x_{3}-x_{4}=0 \\ x_{1}+3 x_{2}+x_{3}-3 x_{4}=0 \end{cases}

(в)

x=(3,3,−1,1,−1),2x1−2x2+3x3−2x4+2x5=0x=(3,3,-1,1,-1), \quad 2 x_{1}-2 x_{2}+3 x_{3}-2 x_{4}+2 x_{5}=0;

(г)

x=(3,3,−1,1,−1),x1−3x2+2x4−x5=0x=(3,3,-1,1,-1), \quad x_{1}-3 x_{2}+2 x_{4}-x_{5}=0;

(д)

x=(0,−i,1+i),x1+ix2−(2−i)x3=0x=(0,-i, 1+i), \quad x_{1}+i x_{2}-(2-i) x_{3}=0;

(е)

x=(1,−1,i),x1+(5+4i)x2−ix3=0x=(1,-1, i), \quad x_{1}+(5+4 i) x_{2}-i x_{3}=0.

Задача 43.22

Пусть (e1,…,ek)\left(e_{1}, \ldots , e_{k}\right) — ортонормированная система векторов nn-мерного евклидова (эрмитова) пространства. Доказать, что для любого вектора xx выполняется неравенство Бесселя

∑i=1k∣(x,ei)∣2⩽∥x∥2 \sum _{i=1}^{k}\left|\left(x, e_{i}\right)\right|^{2} \leqslant \left\| x\right\| ^{2}

причём равенство достигается для любого xx тогда и только тогда, когда k=nk=n, т.е. данная система векторов является ортонормированным базисом пространства VV (равенство Парсевалля.)

?
Задача 43.23

Пользуясь неравенством Коши, доказать, что

∣∑i=1kaibi∣2⩽∑i,j=1k∣ai∣2∣bi∣2 \left|\sum _{i=1}^{k} a_{i} b_{i}\right|^{2} \leqslant \sum _{i, j=1}^{k}\left|a_{i}\right|^{2}\left|b_{i}\right|^{2}

для любых комплексных чисел a1,…,ak,b1,…,bka_{1}, \ldots , a_{k}, b_{1}, \ldots , b_{k}.

?
Задача 43.24

Доказать, что квадрат расстояния от вектора xx евклидова (эрмитова) пространства до подпространства с базисом (e1,…,ek)(e_{1}, \ldots , e_{k}) равен отношению определителей Грама систем векторов (e1,…,ek,x)\left(e_{1}, \ldots , e_{k}, x\right) и (e1,…,ek)\left(e_{1}, \ldots , e_{k}\right).

?
Задача 43.25

Доказать, что определитель Грама любой системы векторов:

?
(а)

в процессе ортогонализации не меняется;

(б)

неотрицателен;

(в)

равен нулю тогда и только тогда, когда система линейно зависима;

(г)

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

Задача 43.26

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

?
Задача 43.27

Доказать, что для любой вещественной квадратной матрицы A=(aij)A=\left(a_{i j}\right) порядка nn выполняется неравенство AA дамара

(det⁡A)2⩽∏i=1n(∑j=1naij2), (\operatorname {det} A)^{2} \leqslant \prod _{i=1}^{n}\left(\sum _{j=1}^{n} a_{i j}^{2}\right),

причём равенство имеет место тогда и только тогда, когда либо

∑k=1naikajk=0(i,j=1,…,n;i≠j) \sum _{k=1}^{n} a_{i k} a_{j k}=0 \quad (i, j=1, \ldots , n ; \quad i \neq j)

либо матрица AA имеет нулевую строку. Сформулировать и доказать аналогичное утверждение для комплексной матрицы AA.

?
Задача 43.28

Найти длины сторон и внутренние углы треугольника ABCA B C в пространстве R5\mathbb {R}^{5} :

?
(а)

A=(2,4,2,4,2),B=(6,4,4,4,6),C=(5,7,5,7,2)A=(2,4,2,4,2), \quad B=(6,4,4,4,6), \quad C=(5,7,5,7,2)

(б)

A=(1,2,3,2,1),B=(3,4,0,4,3),C=(1+52678,2+51378,3+101378,2+51378,1+52678)A=(1,2,3,2,1), \quad B=(3,4,0,4,3), \quad C=\left(1+\frac{5}{26} \sqrt{78}, 2+\frac{5}{13} \sqrt{78}, 3+\frac{10}{13} \sqrt{78}, 2+\frac{5}{13} \sqrt{78}, 1+\frac{5}{26} \sqrt{78}\right)

Задача 43.29

С помощью скалярного произведения векторов доказать, что:

?
(а)

сумма квадратов диагоналей параллелограмма равна сумме квадратов его сторон;

(б)

квадрат стороны треугольника равен сумме квадратов двух других сторон без удвоенного произведения этих сторон на косинус угла между ними.

Задача 43.30

Методом наименьших квадратов решить переопределённую систему линейных уравнений:

?
(а)

{x1+x2−3x3=−1,2x1+x2−2x3=1,x1+x2+x3=3,x1+2x2−3x3=1;\begin{cases} x_{1}+x_{2}-3 x_{3}=-1, \\ 2 x_{1}+x_{2}-2 x_{3}=1, \\ x_{1}+x_{2}+x_{3}=3, \\ x_{1}+2 x_{2}-3 x_{3}=1 ; \end{cases}

(б)

{2x1−5x2+3x3+x4=5,3x1−7x2+3x3−x4=−1,5x1−9x2+6x3+2x4=7,4x1−6x2+3x3+x4=8.\begin{cases} 2 x_{1}-5 x_{2}+3 x_{3}+x_{4}=5, \\ 3 x_{1}-7 x_{2}+3 x_{3}-x_{4}=-1, \\ 5 x_{1}-9 x_{2}+6 x_{3}+2 x_{4}=7, \\ 4 x_{1}-6 x_{2}+3 x_{3}+x_{4}=8. \end{cases}

Задача 43.31

Доказать, что квадрат диагонали nn-мерного прямоугольного параллелепипеда равен сумме квадратов его рёбер, выходящих из одной вершины.

?
Задача 43.32

Найти число диагоналей nn-мерного куба, ортогональных данной диагонали.

?
Задача 43.33

Найти длину диагонали nn-мерного куба с ребром aa и углы между диагоналями куба и его рёбрами.

?
Задача 43.34

Найти радиус шара, описанного около nn-мерного куба с ребром aa, и решить неравенство R<aR<a.

?
Задача 43.35

Доказать, что длина ортогональной проекции ребра nn-мерного куба на любую его диагональ равна 1/n1 / n длины диагонали.

?
Задача 43.36

Вычислить объём nn-мерного параллелепипеда со сторонами:

?
(а)

(1,−1,1,−1),(1,1,1,1),(1,0,−1,0),(0,1,0,−1)(1,-1,1,-1),(1,1,1,1),(1,0,-1,0),(0,1,0,-1);

(б)

(1,1,1,1),(1,−1,−1,1),(2,1,1,3),(0,1,−1,0)(1,1,1,1),(1,-1,-1,1),(2,1,1,3),(0,1,-1,0);

(в)

(1,1,1,2,1),(1,0,0,1,−2),(2,1,−1,0,2)(1,1,1,2,1),(1,0,0,1,-2),(2,1,-1,0,2),

(0,7,3,−4,−2),(39,−37,51,−29,5); (0,7,3,-4,-2), \quad (39,-37,51,-29,5) ;
(г)

(1,0,0,2,5),(0,1,0,3,4),(0,0,1,4,7)(1,0,0,2,5), \quad (0,1,0,3,4), \quad (0,0,1,4,7),

(2,−3,4,11,12),(0,0,0,0,1) (2,-3,4,11,12), \quad (0,0,0,0,1)
Задача 43.37

Доказать, что для объёма параллелепипеда выполняется неравенство

V(a1,…,ak,b1,…,bl)⩽V(a1,…,ak)⋅V(b1,…,bl), V\left(a_{1}, \ldots , a_{k}, b_{1}, \ldots , b_{l}\right) \leqslant V\left(a_{1}, \ldots , a_{k}\right) \cdot V\left(b_{1}, \ldots , b_{l}\right),

причём равенство имеет место тогда и только тогда, когда (ai,bj)=0\left(a_{i}, b_{j}\right)=0 при всех ii и jj.

?
Задача 43.38

Найти угол между вектором xx и подпространством LL :

?
(а)

L=⟨(3,4,−4,−1),(0,1,−1,2)⟩,x=(2,2,1,1)L=\langle (3,4,-4,-1),(0,1,-1,2)\rangle , \quad x=(2,2,1,1);

(б)

L=⟨(5,3,4,−3),(1,1,4,5),(2,−1,1,2)⟩,x=(1,0,3,0)L=\langle (5,3,4,-3),(1,1,4,5),(2,-1,1,2)\rangle , \quad x=(1,0,3,0);

(в)

L=⟨(1,1,1,1),(1,2,0,0),(1,3,1,1)⟩,x=(1,1,0,0)L=\langle (1,1,1,1),(1,2,0,0),(1,3,1,1)\rangle , \quad x=(1,1,0,0);

(г)

L=⟨(0,0,0,1),(1,−1,−1,1),(−3,3,3,0)⟩,x=(1,2,3,0)L=\langle (0,0,0,1),(1,-1,-1,1),(-3,3,3,0)\rangle , \quad x=(1,2,3,0).

Задача 43.39

Доказать, что если каждые два различных из kk векторов евклидова пространства VV образуют между собой угол π/3\pi / 3, то k⩽dim⁡Vk \leqslant \operatorname {dim} V.

?
Задача 43.40

Доказать, что если каждые два различных из kk векторов евклидова пространства образуют тупой угол, то k⩽1+dim⁡Vk \leqslant 1+\operatorname {dim} V.

?
Задача 43.41

Найти угол между диагональю nn-мерного куба и его kk-мерной гранью.

?
Задача 43.42

Найти угол между двумерными гранями a0a1a2a_{0} a_{1} a_{2} и a0a3a4a_{0} a_{3} a_{4} правильного четырехмерного симплекса a0a1a2a3a4a_{0} a_{1} a_{2} a_{3} a_{4}.

?
Задача 43.43

Найти угол между подпространствами

⟨(1,0,0,0),(0,1,0,0,)⟩,⟨(1,1,1,1),(1,−1,1,−1)⟩. \langle (1,0,0,0),(0,1,0,0,)\rangle , \quad \langle (1,1,1,1),(1,-1,1,-1)\rangle .
?
Задача 43.44

Многочлены

P0(x)=1,Pk(x)=12kk!dkdxk[(x2−1)k](k=1,2,…,n) P_{0}(x)=1, \quad P_{k}(x)=\frac{1}{2^{k} k!} \frac{d^{k}}{d x^{k}}\left[\left(x^{2}-1\right)^{k}\right] \quad (k=1,2, \ldots , n)

называются многочленами Лежандра.

?
(а)

Доказать, что многочлены Лежандра образуют ортогональный базис в евклидовом пространстве R[x]n\mathbb {R}\left[x\right]_{n} со скалярным произведением

∫−11f(x)g(x)dx \int _{-1}^{1} f(x) g(x) d x
(б)

Найти явный вид многочленов Pk(x)P_{k}(x) для k⩽4k \leqslant 4.

(в)

Доказать, что deg⁡Pk(x)=k\operatorname {deg} P_{k}(x)=k, и найти развёрнутое выражение для Pk(x)P_{k}(x) при всех kk.

(г)

Вычислить длину многочлена Лежандра Pk(x)P_{k}(x).

(д)

Вычислить значение Pk(1)P_{k}(1).

(е)

Доказать, что при применении процесса ортогонализации к базису (1,x,x2,…,xn)\left(1, x, x^{2}, \ldots , x^{n}\right) пространства R[x]n\mathbb {R}\left[x\right]_{n} получается базис, элементы которого лишь постоянными множителями отличаются от соответствующих многочленов Лежандра, и найти эти множители.

(ж)

Доказать, что интеграл ∫−11f(x)2dx\int_{-1}^{1} f(x)^{2} d x, где f(x)f(x) — многочлен степени nn с вещественными коэффициентами со старшим коэффициентом 1, достигает своего минимума

22n+1(2n+1)(2nn)2 \frac{2^{2 n+1}}{(2 n+1)\binom {2 n}{n}^{2}}

при

f(x)=2n(2nn)Pn(x) f(x)=\frac{2^{n}}{\binom {2 n}{n}} P_{n}(x)
Задача 43.45

В пространстве R[x]n\mathbb {R}\left[x\right]_{n} со скалярным произведением

∫−11f(x)g(x)dx \int _{-1}^{1} f(x) g(x) d x

найти:

?
(а)

объём параллелепипеда P(1,x,…,xn)P\left(1, x, \ldots , x^{n}\right);

(б)

расстояние от вектора xnx^{n} до подпространства R[x]n−1\mathbb {R}\left[x\right]_{n-1}.

Задача 43.46

В пространстве LL непрерывных функций на отрезке [−π,π][-\pi , \pi ] со скалярным произведением

(f,g)=1π∫−ππf(t)g(t)dt (f, g)=\frac{1}{\pi } \int _{-\pi }^{\pi } f(t) g(t) d t

найти проекцию функции tmt^{m} на подпространство

V=⟨1,cos⁡t,sin⁡t,…,cos⁡nt,sin⁡nt⟩ V=\langle 1, \cos t, \sin t, \ldots , \cos n t, \sin n t\rangle
?
Задача 43.47

Пусть VV — псевдоевклидово пространство сигнатуры (p,q)(p, q) и WW — подпространство в VV. Доказать, что:

?
(а)

если скалярное произведение на WW положительно определено, то dim⁡W⩽p\operatorname {dim} W \leqslant p;

(б)

если (x,x)=0(x, x)=0 для любого x∈Wx \in W, то dim⁡W⩽min⁡(p,q)\operatorname {dim} W \leqslant \min (p, q).

Задача 43.48

Пусть на векторном пространстве задано невырожденное скалярное произведение сигнатуры (p,q)(p, q) и ограничение его на подпространство WW — невырожденное скалярное произведение сигнатуры (p′,q′)(p^{\prime }, q^{\prime }). Доказать, что ограничение скалярного произведения на W⊥W^{\perp } невырождено и имеет сигнатуру (p−p′,q−q′)\left(p-p^{\prime }, q-q^{\prime }\right).

?
Задача 43.49

Доказать, что в псев доевклидовом пространстве сигнатуры (p,q)(p, q), где pp и qq отличны от нуля, существует базис, состоящий из изотропных векторов.

?