13.2

Ортогональные системы векторов

[27/70%]
Показать
LaTeX
Задача 1288

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

?
Задача 1289

Проверить ортогональность данных векторов и дополнить их до ортогонального базиса всего пространства R4:(1,−1,−1,1)\mathbb {R}^{4}:(1,-1,-1,1), (3,1,1,−1)(3,1,1,-1).

?
Задача 1290

Проверить ортогональность пары векторов (1,−i,1+i(1,-i, 1+i), (1+i,−1+i,0)(1+i,-1+i, 0) эрмитова пространства C3\mathbb {C}^{3} и дополнить ее до ортогонального базиса всего пространства C3\mathbb {C}^{3}.

?
Задача 1291

Относительно евклидова скалярного произведения (A,B)=tr⁡(A⊤B)=∑i,j=1naijbij(A, B) = \operatorname {tr}\left(A^{\top } B\right) = \sum_{i, j = 1}^{n} a_{i j} b_{i j} проверить ортогональность следующей системы матриц:

(1101),(101−1) \left(\begin{smallmatrix} 1 & 1 \\ 0 & 1 \end{smallmatrix}\right), \quad \left(\begin{smallmatrix} 1 & 0 \\ 1 & -1 \end{smallmatrix}\right)

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

?
Задача 1292

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

a1=12(1,0,−1),a2=133(1,−5,1) a_{1} = \frac{1}{\sqrt{2}}(1,0,-1), \quad a_{2} = \frac{1}{3 \sqrt{3}}(1,-5,1)
?
Задача 1293

Дополнить систему векторов до ортонормированного базиса всего пространства R4\mathbb {R}^{4} :

a1=(12,12,−12,−12),a2=(12,12,12,12) a_{1} = \left(\frac{1}{2}, \frac{1}{2},-\frac{1}{2},-\frac{1}{2}\right), \quad a_{2} = \left(\frac{1}{2}, \frac{1}{2}, \frac{1}{2}, \frac{1}{2}\right)
?
Задача 1294

Дополнить данную систему векторов до ортонормированного базиса всего эрмитова пространства C4\mathbb {C}^{4} :

a1=12(i,0,0,−1),a2=12(0,1,i,0) a_{1} = \frac{1}{\sqrt{2}}(i, 0,0,-1), \quad a_{2} = \frac{1}{\sqrt{2}}(0,1, i, 0)
?
Задача 1295

Методом ортогонализации Грама-Шмидта построить ортогональный базис подпространства, порожденного векторами:

?
(1)

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

(2)

(1,2,0,−1),(3,−6,1,3),(6,1,1,2),(7,3,1,1)(1,2,0,-1),(3,-6,1,3),(6,1,1,2),(7,3,1,1).

Задача 1296

Методом ортогонализации Грама-Шмидта построить ортогональный базис подпространства пространства многочленов, порожденного многочленами x3,x4,x5,x6x^{3}, x^{4}, x^{5}, x^{6} со скалярным произведением, заданным интегралом:

?
(1)

(f,g)=∫−11f(x)g(x)dx(f, g) = \int_{-1}^{1} f(x) g(x) d x;

(2)

(f,g)=∫01f(x)g(x)dx(f, g) = \int_{0}^{1} f(x) g(x) d x.

Задача 1297

Методом ортогонализации Грама-Шмидта построить ортогональный базис эрмитова пространства C3\mathbb {C}^{3}, порожденного векторами (1+i,0,1−i),(1+i,−i,1+i),(−2i,1,2)(1+i, 0,1-i),(1+i,-i, 1+i),(-2 i, 1,2).

?
Задача 1298

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

∣bk∣⩽∣ak∣,k=1,2,…,n \left|b_{k}\right| \leqslant \left|a_{k}\right|, \quad k = 1,2, \ldots , n

где векторы bkb_{k} получены из системы aka_{k} процессом ортогонализации. При каких условиях для некоторого l,1<l⩽nl, 1 < l \leqslant n, имеет место равенство ∣bl∣=∣al∣\left|b_{l}\right| = \left|a_{l}\right|?

?
Задача 1299

Доказать, что в процессе ортогонализации системы векторов aka_{k} евклидова пространства возникает нулевой вектор blb_{l}, если и только если исходная система aka_{k} была линейно зависимой. Точнее, bl=0b_{l} = 0 тогда и только тогда, когда вектор ala_{l} линейно выражается через векторы ai,i=1,2,…,l−1a_{i}, i = 1,2, \ldots , l-1.

?
Задача 1300

Последовательность многочленов задана рекуррентной формулой

T0(x)=1,T1(x)=x,…Tk+1(x)=2xTk(x)−Tk−1(x),k=1,2,…,n \begin{gathered} T_{0}(x) = 1, \quad T_{1}(x) = x, \quad \ldots \\ T_{k+1}(x) = 2 x T_{k}(x)-T_{k-1}(x), \quad k = 1,2, \ldots , n \end{gathered}
?
(1)

Найти явные выражения для T2(x),T3(x),T4(x),T5(x)T_{2}(x), T_{3}(x), T_{4}(x), T_{5}(x).

(2)

Доказать, что Tk(cos⁡θ)=cos⁡kθT_{k}(\cos \theta ) = \cos k \theta.

(3)

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

(f,g)=∫−11f(x)g(x)1−x2dx (f, g) = \int _{-1}^{1} \frac{f(x) g(x)}{\sqrt{1-x^{2}}} d x
(4)

Найти квадрат длины многочлена Tk(x)T_{k}(x).

Определенные таким образом многочлены называются многочленами Чебышёва (первого рода).

Задача 1301

Последовательность многочленов задана рекуррентной формулой

P0(x)=1,P1(x)=x,…Pk+1(x)=2k+1k+1xPk(x)−kk+1Pk−1(x),k=1,2,…,n−1 \begin{gathered} P_{0}(x) = 1, \quad P_{1}(x) = x, \quad \ldots \\ P_{k+1}(x) = \frac{2 k+1}{k+1} x P_{k}(x)-\frac{k}{k+1} P_{k-1}(x), \quad k = 1,2, \ldots , n-1 \end{gathered}

Найти явные выражения для P2(x),P3(x),P4(x),P5(x)P_{2}(x), P_{3}(x), P_{4}(x), P_{5}(x).

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

?
Задача 1302

Доказать, что многочлены, определенные формулами

P0(x)=1;Pk(x)=12kk!dkdxk[(x2−1)k],k=1,2,3,…,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,3, \ldots , n
?
(1)

образуют ортогональный базис в пространстве многочленов степени не выше nn со скалярным произведением, заданным интегралом (f,g)=∫−11f(x)g(x)dx(f, g) = \int_{-1}^{1} f(x) g(x) d x;

(2)

совпадают с многочленами Лежандра Pk(x)P_{k}(x), введенными в предыдущей задаче.

(3)

Найти квадрат длины многочлена Pk(x)P_{k}(x).

Задача 1303

Доказать, что ортогональный базис Qk(t),k=1,2,…,nQ_{k}(t), k = 1,2, \ldots , n, в пространстве многочленов степени не выше nn со скалярным произведением, заданным интегралом

(f,g)a,b=∫abf(x)g(x)dx (f, g)_{a, b} = \int _{a}^{b} f(x) g(x) d x

может быть получен некоторой линейной заменой переменной x=x(t)x = x(t) из многочленов Лежандра Pk(x)P_{k}(x) (т. е. Qk(t)=Pk(x(t))Q_{k}(t) = P_{k}(x(t))).

?
(1)

Найти эту замену.

(2)

Как будут связаны между собой длины ∥Qk∥a,b\left\| Q_{k}\right\|_{a, b} и ∥Pk∥−1,1\left\| P_{k}\right\|_{-1,1}? (Здесь ∥⋅∥a,b\left\| \cdot \right\|_{a, b} — длина многочлена относительно скалярного произведения (⋅,⋅)a,b.(\cdot , \cdot )_{a, b}.)

Задача 1304

Доказать, что матрица перехода от базиса a1,a2,…,aka_{1}, a_{2}, \ldots , a_{k} к базису b1,b2,…,bkb_{1}, b_{2}, \ldots , b_{k}, полученному в результате процесса ортогонализации из базиса a1,a2,…,aka_{1}, a_{2}, \ldots , a_{k}, всегда является верхнетреугольной, причем все диагональные элементы этой матрицы равны единице.

?
Задача 1305

Пусть даны линейно независимая система векторов a1a_{1}, a2,…,aka_{2}, \ldots , a_{k} и такая ортогональная система c1,c2,…,ckc_{1}, c_{2}, \ldots , c_{k}, что матрица перехода от первой системы ко второй является верхнетреугольной. Доказать, что векторы bib_{i} ортогональной системы, полученной из a1,a2,…,aka_{1}, a_{2}, \ldots , a_{k} процессом ортогонализации, отличаются от векторов системы c1,c2,…,ckc_{1}, c_{2}, \ldots , c_{k} лишь постоянными множителями: bi=αicib_{i} = \alpha_{i} c_{i}, i=1,2,…,ki = 1,2, \ldots , k.

?
Задача 1306

Доказать, что в результате применения процесса ортогонализации к многочленам 1,x,x2,…,xn1, x, x^{2}, \ldots , x^{n} в евклидовом пространстве Rn[x]\mathbb {R}_{n}[x] многочленов степени не выше nn со скалярным произведением (f,g)=∫−11f(x)g(x)dx(f, g) = \int_{-1}^{1} f(x) g(x) d x получаются многочлены, отличающиеся лишь постоянными множителями от многочленов Лежандра Pk(x)P_{k}(x). Найти эти множители.

?
Задача 1307

Ортогональной (унитарной) матрицей UU называется матрица перехода от одного ортонормированного базиса к другому в евклидовом (эрмитовом) пространстве. Доказать, что:

?
(1)

столбцы (строки) матрицы UU образуют ортонормированную систему относительно стандартного скалярного произведения столбцов (строк);

(2)

UUˉ⊤=Uˉ⊤U=EU \bar{U}^{\top } = \bar{U}^{\top } U = E, где EE — единичная матрица.

Задача 1308

Доказать, что произвольную невырожденную матрицу AA можно представить в виде произведения A=URA = U R ортогональной (унитарной) матрицы UU и верхнетреугольной матрицы RR. Насколько однозначно такое представление?

?
Задача 1309

Представить матрицу

A=(1−15−20−32−1−7) A =\left(\begin{smallmatrix} 1 & -1 & 5 \\ -2 & 0 & -3 \\ 2 & -1 & -7 \end{smallmatrix}\right)

в виде произведения ортогональной матрицы UU на верхнетреугольную RR с положительными числами на диагонали.

?
Задача 1310

Представить матрицу

A=(1+i−2−ii1) A =\left(\begin{smallmatrix} 1+i & -2-i \\ i & 1 \end{smallmatrix}\right)

в виде произведения унитарной матрицы UU на верхнетреугольную RR.

?
Задача 1311

Доказать, что координаты xi,i=1,…,nx^{i}, i = 1, \ldots , n, произвольного вектора xx относительно ортогонального базиса e1,…,ene_{1}, \ldots , e_{n} могут быть найдены по формулам

xi=(ei,x)(ei,ei),i=1,…,n x^{i} = \frac{\left(e_{i}, x\right)}{\left(e_{i}, e_{i}\right)}, \quad i = 1, \ldots , n

Такие координаты называют коэффициентами Фурье вектора xx относительно ортогонального базиса e1,…,ene_{1}, \ldots , e_{n}.

?
Задача 1312

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

(f,g)=∫−ππf(x)g(x)dx (f, g) = \int _{-\pi }^{\pi } f(x) g(x) d x

проверить попарную ортогональность функций следующей системы:

1,cos⁡x,sin⁡x,cos⁡2x,sin⁡2x,…,cos⁡nx,sin⁡nx1, \cos x, \sin x, \cos 2 x, \sin 2 x, \ldots , \cos n x, \sin n x.

?
Задача 1313

В подпространстве, порожденном функциями

f0=1,f1=cos⁡x,f2=sin⁡x,f3=cos⁡2xf4=sin⁡2x,f5=cos⁡3x,f6=sin⁡3x \begin{array}{lll} f_{0} = 1, & f_{1} = \cos x, & f_{2} = \sin x, \quad f_{3} = \cos 2 x \\ f_{4} = \sin 2 x, & f_{5} = \cos 3 x, & f_{6} = \sin 3 x \end{array}

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

(f,g)=∫−ππf(x)g(x)dx (f, g) = \int _{-\pi }^{\pi } f(x) g(x) d x

найти коэффициенты Фурье функции cos⁡3x\cos^{3} x относительно ортогонального базиса f0,f1,f2,f3,f4,f5,f6f_{0}, f_{1}, f_{2}, f_{3}, f_{4}, f_{5}, f_{6}.

?
Задача 1314

Пусть e1,e2,…,eke_{1}, e_{2}, \ldots , e_{k} — ортонормированная система векторов евклидова пространства Rn\mathbb {R}^{n}. Доказать, что для всех x∈Rnx \in \mathbb {R}^{n} выполняется неравенство Бесселя

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

причем равенство (равенство Парсеваля) достигается для всех xx тогда и только тогда, когда система e1,e2,…,eke_{1}, e_{2}, \ldots , e_{k} является ортонормированным базисом в Rn\mathbb {R}^{n}, т.е. k=nk = n.

Показать, что число (ei,x)(e_{i}, x) равно длине проекции вектора xx на одномерное пространство, порожденное вектором eie_{i}, а если система e1,e2,…,ene_{1}, e_{2}, \ldots , e_{n} образует базис в Rn\mathbb {R}^{n}, то (ei,x)\left(e_{i}, x\right) просто равно ii-й координате xix^{i} вектора xx относительно этого базиса.

?