5.2

Ограниченность и нормы операторов

[7/100%]
Показать
LaTeX
Задача 5.2.1

Докажите, что B(X,Y)\mathcal{B}(X, Y) является нормированным линейным пространством. То есть докажите теорему 5.3.

?
Задача 5.2.2

Покажите, что тождественный оператор из (C([0,1]),∥⋅∥∞)\left(\mathcal{C}([0,1]),\left\| \cdot \right\|_{\infty }\right) в (C([0,1]),∥⋅∥1)\left(\mathcal{C}([0,1]),\left\| \cdot \right\|_{1}\right) является ограниченным линейным оператором, но тождественное отображение из (C([0,1]),∥⋅∥1)\left(\mathcal{C}([0,1]),\left\| \cdot \right\|_{1}\right) в (C([0,1]),∥⋅∥∞)\left(\mathcal{C}([0,1]),\left\| \cdot \right\|_{\infty }\right) неограничено. Такое явление не может произойти в банаховом пространстве; см. упражнение 6.3.2.

?
Задача 5.2.3

Зафиксируем непрерывную функцию ϕ:[0,1]→[0,1]\phi :[0,1] \rightarrow [0,1] и определим оператор композиции Cϕ:C([0,1])→C([0,1])C_{\phi }: C([0,1]) \rightarrow C([0,1]) формулой Cϕf(x)=f(ϕ(x))C_{\phi } f(x)=f(\phi (x)). Докажите, что CϕC_{\phi } — ограниченный линейный оператор с ∥Cϕ∥≤1\left\| C_{\phi }\right\| \leq 1.

?
Задача 5.2.4

Для {an}n=1∞∈ℓ∞\left\{ a_{n}\right\}_{n=1}^{\infty } \in \ell^{\infty } определим

T(x)=∑n=1∞xnan, для всех x={xn}n=1∞∈ℓ1 T(x)=\sum _{n=1}^{\infty } x_{n} a_{n}, \quad \text{ для всех } x=\left\{ x_{n}\right\} _{n=1}^{\infty } \in \ell ^{1}

Покажите, что TT — ограниченный линейный оператор из ℓ1\ell^{1} в C\mathbb {C}, и вычислите ∥T∥\left\| T\right\|.

?
Задача 5.2.5

Рассмотрим матрицу n×nn \times n A=(aij)A=\left(a_{i j}\right), удовлетворяющую aij=aji‾a_{i j}=\overline{a_{j i}} для всех пар индексов ii и jj. Такая матрица называется эрмитовой. Будем рассматривать AA как линейный оператор Cn→Cn\mathbb {C}^{n} \rightarrow \mathbb {C}^{n}. Предположим, что Cn\mathbb {C}^{n} наделено обычной нормой. Докажите, что ∥A∥=max⁡k∥λk∥\left\| A\right\| =\max_{k}\left\| \lambda_{k}\right\|, где λk\lambda_{k} — собственные значения AA.

?
Задача 5.2.6

Рассмотрим

A=(abcd),a,b,c,d∈C A=\left(\begin{array}{ll} a & b \\ c & d \end{array}\right), \quad a, b, c, d \in \mathbb {C}

как линейный оператор из C2\mathbb {C}^{2} в себя. Цель этого упражнения — показать, что операторная норма AA зависит от выбора нормы на C2\mathbb {C}^{2}.

?
(a)

Наделим C2\mathbb {C}^{2} супремум-нормой ∥⋅∥∞\left\| \cdot \right\|_{\infty }. Покажите, что в этом случае норма AA задаётся формулой

max⁡(∣a∣+∣b∣,∣c∣+∣d∣) \max (|a|+|b|,|c|+|d|)
(b)

Наделим C2\mathbb {C}^{2} 1-нормой ∥⋅∥1\left\| \cdot \right\|_{1}. Покажите, что в этом случае норма AA задаётся формулой

max⁡(∣a∣+∣c∣,∣b∣+∣d∣) \max (|a|+|c|,|b|+|d|)
(c)

Наделим C2\mathbb {C}^{2} 2-нормой ∥⋅∥2\left\| \cdot \right\|_{2}. Рассмотрим матрицу

A∗=(aˉcˉbˉdˉ) A^{*}=\left(\begin{array}{cc} \bar{a} & \bar{c} \\ \bar{b} & \bar{d} \end{array}\right)

и составим матрицу AA∗A A^{*}. Покажите, что в этом случае норма AA задаётся формулой

[12(tr⁡(AA∗)+(tr⁡AA∗)2−4det⁡(AA∗))]12 \left[\frac{1}{2}\left(\operatorname {tr}\left(A A^{*}\right)+\sqrt{\left(\operatorname {tr} A A^{*}\right)^{2}-4 \operatorname {det}\left(A A^{*}\right)}\right)\right]^{\frac{1}{2}}

Используя это, запишите формулу для нормы AA как функции её элементов a,b,c,da, b, c, d. Здесь «tr» обозначает след, а «det» обозначает определитель.

(d)

Наконец, вычислите эти 3 операторные нормы для

A=(1101) A= \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}
Задача 5.2.7

Пусть C1([0,1])C^{1}([0,1]) обозначает совокупность всех непрерывных функций с непрерывной производной (включая односторонние производные на концах промежутка).

?
(a)

Покажите, что C1([0,1])C^{1}([0,1]) с супремум-нормой является подпространством C([0,1])C([0,1]), но не является замкнутым.

(b)

Докажите, что дифференциальный оператор

ddx:C′([0,1])→C([0,1]) \frac{d}{d x}: C^{\prime }([0,1]) \rightarrow C([0,1])

линеен, но не ограничен.