23

Унитарные расширения

[8/100%]
Показать
LaTeX
Задача 222
?
(a)

Если ∥A∥≤1\left\| A\right\| \leq 1, то AA обладает унитарной дилатацией.

(b)

Если 0≤A≤10 \leq A \leq 1, то AA обладает дилатацией, являющейся проекцией.

Примечание.
?

Предположим, что H\mathbf{H} — подпространство гильбертова пространства K\mathbf{K}, и пусть PP — (ортогональная) проекция из K\mathbf{K} на H\mathbf{H}. Каждый оператор BB на K\mathbf{K} естественным образом порождает оператор AA на H\mathbf{H}, определённый для каждого ff из H\mathbf{H} формулой Af=PBfAf = PBf (равносильно, AP=PBPAP = PBP). При этих условиях оператор AA называется сжатием BB на H\mathbf{H}, а BB называется дилатацией AA на K\mathbf{K}.

Задача 223

Замкнут ли образ подпространства при проекции?

?
Задача 224

Каковы слабые замыкания множеств U\mathbf{U} (унитарные операторы), N\mathbf{N} (нормальные операторы) и P\mathbf{P} (проекции) в бесконечномерном гильбертовом пространстве?

?
Задача 225

Каковы сильные замыкания множеств U\mathbf{U} (унитарные операторы) и P\mathbf{P} (проекции) в бесконечномерном гильбертовом пространстве? Что насчёт множества косоизометрий?

?
Задача 226

Каково сильное замыкание множества гипонормальных операторов?

?
Задача 227

Всякое сжатие обладает унитарной степенной дилатацией.

?
Примечание.
?

Оператор BB называется степенной дилатацией (иногда называемой также сильной дилатацией) оператора AA, если BnB^{n} является дилатацией AnA^{n} при n=1,2,3,…n = 1, 2, 3, \ldots.

Задача 228

Если AA — сжатие на гильбертовом пространстве H\mathbf{H}, то

{1n∑j=0n−1Aj} \left\{ \frac{1}{n} \sum _{j=0}^{n-1} A^{j}\right\}

есть сильно сходящаяся последовательность операторов на H\mathbf{H}.

?
Примечание.
?

Это (эргодическая теорема о среднем) для сжатий. Для унитарного оператора UU она утверждает, что средние 1n∑j=0n−1Uj\frac{1}{n}\sum_{j=0}^{n-1} U^{j} образуют сильно сходящуюся последовательность; более содержательно, предел — это проекция, образом которой служит подпространство {f:Uf=f}\left\{ f : Uf = f\right\}, т.е. подпространство неподвижных точек UU.

Задача 229

Если ∥A∥≤1\left\| A\right\| \leq 1 и DD — замкнутый единичный круг, то

∥p(A)∥≤∥p∥D \left\| p(A)\right\| \leq \left\| p\right\| _{D}

для каждого многочлена pp.

?
Примечание.
?

Для ограниченной комплекснозначной функции FF, определённой на множестве MM, запишем ∥F∥M=sup⁡{∣F(λ)∣:λ∈M}\left\| F\right\|_{M} = \sup \left\{ \left|F(\lambda )\right| : \lambda \in M\right\}. Этот результат известен как неравенство фон Неймана. Спектральным множеством оператора AA называется множество MM такое, что spec⁡A⊂M\operatorname {spec} A \subset M и такое, что если FF — ограниченная рациональная функция на MM (т.е. рациональная функция без полюсов в замыкании MM), то ∥F(A)∥≤∥F∥M\left\| F(A)\right\| \leq \left\| F\right\|_{M}. Неравенство фон Неймана часто переформулируют так: замкнутый единичный круг является спектральным множеством для каждого сжатия.