5.4

Введение в проблему инвариантного подпространства

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

Проверьте, что эрмитовы матрицы (в смысле определения из упражнения 5.2.5) — это в точности эрмитовы операторы на конечномерном гильбертовом пространстве Cn\mathbb {C}^{n}.

?
Задача 5.4.2

Опишите интегральные операторы Фредгольма первого рода, являющиеся эрмитовыми.

?
Задача 5.4.3

Пусть KK — подпространство гильбертова пространства HH.

?
(a)

Докажите, что (K⊥)⊥=K\left(K^{\perp }\right)^{\perp }=K, если KK — замкнутое подпространство.

(b)

Приведите пример, показывающий, что равенство из пункта (a) не обязано выполняться, если KK не замкнуто.

Задача 5.4.4

Завершите доказательство теоремы 5.15, проверив утверждение о единственности.

?
Задача 5.4.5

Докажите теорему 5.17.

?
Задача 5.4.6

Из теоремы 5.18 следует, что любое собственное значение эрмитова оператора вещественно. Дайте более прямое доказательство этого факта.

?
Задача 5.4.7

Пусть TT — оператор Вольтерры на L2([0,1])L^{2}([0,1]), определённый формулой

Tf(s)=∫0sf(t)dt T f(s)=\int _{0}^{s} f(t) d t

Для 0≤α≤10 \leq \alpha \leq 1 положим

Mα={f∈L2([0,1])∣f(t)=0,0≤t≤α}. M_{\alpha }=\left\{ f \in L^{2}([0,1]) \mid f(t)=0,0 \leq t \leq \alpha \right\} .
?
(a)

Докажите, что каждое MαM_{\alpha } является инвариантным подпространством для TT.

(b)

Опишите ортогональное дополнение MαM_{\alpha } в L2([0,1])L^{2}([0,1]).