12.2

Дополнительные задачи

[11/0%]
LaTeX
Задача 12.2.1

Пусть A\mathbf{A}, B\mathbf{B} — матрицы n×nn \times n над C\mathbb {C}. Дано расстояние ∥A−B∥\left\| \mathbf{A}-\mathbf{B}\right\|. Найдите расстояния ∥A⊗In−B⊗In∥\left\| \mathbf{A} \otimes I_{n}-\mathbf{B} \otimes I_{n}\right\| и ∥A⊗In−In⊗B∥\left\| \mathbf{A} \otimes I_{n}-I_{n} \otimes \mathbf{B}\right\|.

?
Задача 12.2.2

Пусть A\mathbf{A} — положительно полуопределённая матрица n×nn \times n. Покажите, что

∣x→∗Ay→∣≤x→∗Ax→y→∗Ay→ \left|\overrightarrow {x}^{*}\mathbf{A}\overrightarrow {y}\right| \leq \sqrt{\overrightarrow {x}^{*}\mathbf{A}\overrightarrow {x}}\sqrt{\overrightarrow {y}^{*}\mathbf{A}\overrightarrow {y}}

для всех x→,y→∈C\overrightarrow {x}, \overrightarrow {y} \in \mathbb {C}.

?
Задача 12.2.3
?
(i)

Пусть A\mathbf{A} и C\mathbf{C} — обратимые матрицы n×nn \times n над R\mathbb {R}. Пусть B\mathbf{B} — матрица n×nn \times n над R\mathbb {R}. Предположим, что ∥A∥≤∥B∥≤∥C∥\left\| \mathbf{A}\right\| \leq \left\| \mathbf{B}\right\| \leq \left\| \mathbf{C}\right\|. Обратима ли B\mathbf{B}?

(ii)

Пусть A\mathbf{A}, B\mathbf{B}, C\mathbf{C} — обратимые матрицы n×nn \times n над R\mathbb {R} с ∥A∥≤∥B∥≤∥C∥\left\| \mathbf{A}\right\| \leq \left\| \mathbf{B}\right\| \leq \left\| \mathbf{C}\right\|. Верно ли, что

∥A−1∥≥∥B−1∥≥∥C−1∥  ? \left\| \mathbf{A}^{-1}\right\| \geq \left\| \mathbf{B}^{-1}\right\| \geq \left\| \mathbf{C}^{-1}\right\| \; ?
Задача 12.2.4

Пусть A\mathbf{A} — матрица n×nn \times n над R\mathbb {R}. Предположим, что ∥A∥<1\left\| \mathbf{A}\right\| < 1, где

∥A∥:=sup⁡∥x→∥=1∥Ax→∥. \left\| \mathbf{A}\right\| := \sup _{\left\| \overrightarrow {x}\right\| =1}\left\| \mathbf{A}\overrightarrow {x}\right\| .

Покажите, что матрица B=In+A\mathbf{B} = I_{n}+\mathbf{A} обратима, то есть B∈GL(n,R)\mathbf{B} \in GL(n,\mathbb {R}). Чтобы показать, что разложение

In−A+A2−A3+⋯ I_{n}-\mathbf{A}+\mathbf{A}^{2}-\mathbf{A}^{3}+\cdots

сходится, примените

∥Am−Am+1+Am+2−⋯±Am+k−1∥≤∥Am∥⋅∥1+A+⋯+Ak−1∥=∥A∥m1−∥A∥k1−∥A∥. \begin{aligned} \left\| \mathbf{A}^{m}-\mathbf{A}^{m+1}+\mathbf{A}^{m+2}-\cdots \pm \mathbf{A}^{m+k-1}\right\| & \leq \left\| \mathbf{A}^{m}\right\| \cdot \left\| 1+\mathbf{A}+\cdots +\mathbf{A}^{k-1}\right\| \\ & = \left\| \mathbf{A}\right\| ^{m}\frac{1-\left\| \mathbf{A}\right\| ^{k}}{1-\left\| \mathbf{A}\right\| }. \end{aligned}

Затем вычислите (In+A)(In−A+A2−A3+⋯ )(I_{n}+\mathbf{A})(I_{n}-\mathbf{A}+\mathbf{A}^{2}-\mathbf{A}^{3}+\cdots ).

?
Задача 12.2.5

Пусть A\mathbf{A}, B\mathbf{B} — матрицы 2×22 \times 2 над R\mathbb {R}. Найдите A\mathbf{A}, B\mathbf{B} такие, что

min⁡∥[A,B]−I2∥. \min \left\| [\mathbf{A},\mathbf{B}]-I_{2}\right\| .

В качестве нормы ∥⋅∥\left\| \cdot \right\| рассмотрите норму Фробениуса и max-норму.

?
Задача 12.2.6

Пусть A\mathbf{A} — матрица n×nn \times n над C\mathbb {C}. Предположим, что ∥A∥<1\left\| \mathbf{A}\right\| < 1. Тогда In+AI_{n}+\mathbf{A} обратима. Можем ли мы заключить, что In⊗In+A⊗AI_{n} \otimes I_{n}+\mathbf{A} \otimes \mathbf{A} обратима?

?
Задача 12.2.7

Пусть A\mathbf{A} — положительно полуопределённая (и, следовательно, эрмитова) матрица n×nn \times n. Верно ли, что ∥A1/2∥=∥A∥1/2\left\| \mathbf{A}^{1/2}\right\| = \left\| \mathbf{A}\right\|^{1/2}?

?
Задача 12.2.8

Пусть A\mathbf{A} — заданная симметричная матрица 4×44 \times 4 над R\mathbb {R}. Найдите симметричные матрицы 2×22 \times 2 B\mathbf{B}, C\mathbf{C} над R\mathbb {R} такие, что

f(B,C)=∥A−B⊗C∥ f(\mathbf{B},\mathbf{C}) = \left\| \mathbf{A}-\mathbf{B} \otimes \mathbf{C}\right\|

минимальна. Норма ∥⋅∥\left\| \cdot \right\| — это норма Гильберта-Шмидта над R\mathbb {R}, задаваемая формулой

∥X−Y∥2=tr⁡((X−Y)(X−Y)T) \left\| X-Y\right\| ^{2} = \operatorname {tr}((X-Y)(X-Y)^{T})

где X,YX, Y — матрицы n×nn \times n над R\mathbb {R}. Такая задача называется задачей о ближайшем произведении Кронекера. Заметим, что поскольку AT=A\mathbf{A}^{T} = \mathbf{A}, BT=B\mathbf{B}^{T} = \mathbf{B}, CT=C\mathbf{C}^{T} = \mathbf{C}, tr⁡(B2⊗C2)=tr⁡(B2)tr⁡(C2)\operatorname {tr}(\mathbf{B}^{2} \otimes \mathbf{C}^{2}) = \operatorname {tr}(\mathbf{B}^{2})\operatorname {tr}(\mathbf{C}^{2}) и tr⁡(A(B⊗C))=tr⁡((B⊗C)A)\operatorname {tr}(\mathbf{A}(\mathbf{B} \otimes \mathbf{C})) = \operatorname {tr}((\mathbf{B} \otimes \mathbf{C})\mathbf{A}), мы имеем

∥A−B⊗C∥2=tr⁡((A−B⊗C)(A−B⊗C))=tr⁡(A2)−tr⁡(A(B⊗C))−tr⁡((B⊗C)A)+tr⁡(B2)tr⁡(C2)=tr⁡(A2)−2tr⁡(A(B⊗C))+tr⁡(B2)tr⁡(C2). \begin{aligned} \left\| \mathbf{A}-\mathbf{B} \otimes \mathbf{C}\right\| ^{2} & = \operatorname {tr}((\mathbf{A}-\mathbf{B} \otimes \mathbf{C})(\mathbf{A}-\mathbf{B} \otimes \mathbf{C})) \\ & = \operatorname {tr}(\mathbf{A}^{2})-\operatorname {tr}(\mathbf{A}(\mathbf{B} \otimes \mathbf{C}))-\operatorname {tr}((\mathbf{B} \otimes \mathbf{C})\mathbf{A})+\operatorname {tr}(\mathbf{B}^{2})\operatorname {tr}(\mathbf{C}^{2}) \\ & = \operatorname {tr}(\mathbf{A}^{2})-2\operatorname {tr}(\mathbf{A}(\mathbf{B} \otimes \mathbf{C}))+\operatorname {tr}(\mathbf{B}^{2})\operatorname {tr}(\mathbf{C}^{2}). \end{aligned}

Поскольку

B⊗C=(b11b12b12b22)⊗(c11c12c12c22)=(b11c11b11c12b12c11b12c12b11c12b11c22b12c12b12c22b12c11b12c12b22c11b22c12b12c12b12c22b22c12b22c22) \mathbf{B} \otimes \mathbf{C} = \begin{pmatrix} b_{11} & b_{12} \\ b_{12} & b_{22} \end{pmatrix} \otimes \begin{pmatrix} c_{11} & c_{12} \\ c_{12} & c_{22} \end{pmatrix} = \begin{pmatrix} b_{11}c_{11} & b_{11}c_{12} & b_{12}c_{11} & b_{12}c_{12} \\ b_{11}c_{12} & b_{11}c_{22} & b_{12}c_{12} & b_{12}c_{22} \\ b_{12}c_{11} & b_{12}c_{12} & b_{22}c_{11} & b_{22}c_{12} \\ b_{12}c_{12} & b_{12}c_{22} & b_{22}c_{12} & b_{22}c_{22} \end{pmatrix}

мы имеем

tr⁡(A(B⊗C))=a11b11c11+a22b11c22+a33b22c11+a44b22c22+2(a12b11c12+a13b12c11+a14b12c12+a23b12c12+a24b12c22+a34b22c12). \begin{aligned} \operatorname {tr}(\mathbf{A}(\mathbf{B} \otimes \mathbf{C})) & = a_{11}b_{11}c_{11}+a_{22}b_{11}c_{22}+a_{33}b_{22}c_{11}+a_{44}b_{22}c_{22} \\ & \quad +2(a_{12}b_{11}c_{12}+a_{13}b_{12}c_{11}+a_{14}b_{12}c_{12} \\ & \quad +a_{23}b_{12}c_{12}+a_{24}b_{12}c_{22}+a_{34}b_{22}c_{12}). \end{aligned}

Мы также имеем tr⁡(B2)=b112+2b122+b222\operatorname {tr}(\mathbf{B}^{2}) = b_{11}^{2}+2b_{12}^{2}+b_{22}^{2}, tr⁡(C2)=c112+2c122+c222\operatorname {tr}(\mathbf{C}^{2}) = c_{11}^{2}+2c_{12}^{2}+c_{22}^{2}.

?
Задача 12.2.9

Пусть A\mathbf{A} — матрица n×nn \times n над C\mathbb {C}. Верно ли, что ∥In+A∥≤1+∥A∥\left\| I_{n}+\mathbf{A}\right\| \leq 1+\left\| \mathbf{A}\right\|?

?
Задача 12.2.10
?
(i)

Пусть A\mathbf{A}, B\mathbf{B} — положительно определённые матрицы n×nn \times n. Покажите, что ∥A+B∥F≥∥A∥F\left\| \mathbf{A}+\mathbf{B}\right\|_{F} \geq \left\| \mathbf{A}\right\|_{F}, где ∥⋅∥F\left\| \cdot \right\|_{F} обозначает норму Фробениуса.

(ii)

Пусть A\mathbf{A} — матрица n×nn \times n над C\mathbb {C} и v→,u→∈Cn\overrightarrow {v}, \overrightarrow {u} \in \mathbb {C}^{n}. Верно ли, что ∥Av→−Au→∥≤∥A∥⋅∥v→−u→∥\left\| \mathbf{A}\overrightarrow {v}-\mathbf{A}\overrightarrow {u}\right\| \leq \left\| \mathbf{A}\right\| \cdot \left\| \overrightarrow {v}-\overrightarrow {u}\right\|?

Задача 12.2.11

Пусть {v→1,…,v→m}\left\{ \overrightarrow {v}_{1}, \ldots , \overrightarrow {v}_{m}\right\} — линейно независимое множество векторов в евклидовом пространстве Rn\mathbb {R}^{n} с m≤nm \leq n.

?
(i)

Покажите, что существует число c>0c > 0 такое, что для любого выбора действительных чисел c1,…,cmc_{1}, \ldots , c_{m} выполняется

∥c1v→1+⋯+cmv→m∥≥c(∣c1∣+⋯+∣cm∣). \left\| c_{1}\overrightarrow {v}_{1}+\cdots +c_{m}\overrightarrow {v}_{m}\right\| \geq c(\left|c_{1}\right|+\cdots +\left|c_{m}\right|).
(ii)

Рассмотрим R2\mathbb {R}^{2} и линейно независимые векторы

v→1=(10),v→2=(11). \overrightarrow {v}_{1} = \begin{pmatrix} 1 \\ 0 \end{pmatrix}, \quad \overrightarrow {v}_{2} = \begin{pmatrix} 1 \\ 1 \end{pmatrix}.

Покажите, что

∥c1v→1+c2v→2∥=(c1+c2)2+c22≥c(∣c1∣+∣c2∣) \left\| c_{1}\overrightarrow {v}_{1}+c_{2}\overrightarrow {v}_{2}\right\| = \sqrt{(c_{1}+c_{2})^{2}+c_{2}^{2}} \geq c(\left|c_{1}\right|+\left|c_{2}\right|)

и c=1/2c = 1/2 даст ответ.