XI.2

Фредгольмовы операторы

[6/0%]
LaTeX
Задача XI.2.1

Если AB(H)A \in \mathcal{B}(\mathcal{H}) и ran A\mathrm{ran}\ A замкнут, докажите, что ran A\mathrm{ran}\ A^* замкнут, не используя теорему VI.1.10. [Указание: покажите, что существует ограниченный оператор BB на H\mathcal{H} такой, что BA=BA = проекция H\mathcal{H} на (ker A)(\mathrm{ker}\ A)^\perp.]

?
Задача XI.2.2

Теорема 2.3 утверждает, что если A:HHA: \mathcal{H} \to \mathcal{H}' — ограниченный оператор, то следующие два утверждения (среди прочих) эквивалентны: (a) AA левый полуфредгольмов, то есть существует ограниченный оператор B:HHB: \mathcal{H}' \to \mathcal{H} и компактный оператор KK на H\mathcal{H} такие, что BA=1+KBA = 1 + K; (b) ran A\mathrm{ran}\ A замкнут и dimker A<\dim \mathrm{ker}\ A < \infty. Приведите прямое доказательство того, что (b) влечёт (a).

?
Задача XI.2.3

Пусть A,B,CB(H)A, B, C \in \mathcal{B}(\mathcal{H}), и определим X:H(2)H(2)X: \mathcal{H}^{(2)} \to \mathcal{H}^{(2)} матрицей

X=[AB0C]. X = \begin{bmatrix} A & B \\ 0 & C \end{bmatrix}.
?
(a)

Покажите, что если AFA \in \mathcal{F}, то XFX \in \mathcal{F} тогда и только тогда, когда CFC \in \mathcal{F}.

(b)

Если AFA \in \mathcal{F}, покажите, что XSFX \in \mathcal{SF} тогда и только тогда, когда CSFC \in \mathcal{SF}.

(c)

Предположим, что A,CSFA, C \in \mathcal{SF} с dimker A=\dim \mathrm{ker}\ A = \infty и dimker C=\dim \mathrm{ker}\ C^* = \infty. Покажите, что XSFX \notin \mathcal{SF}.

Задача XI.2.4

Если AB(H)A \in \mathcal{B}(\mathcal{H}), покажите, что AMA\mathcal{M} замкнуто для каждого замкнутого подпространства M\mathcal{M} пространства H\mathcal{H} тогда и только тогда, когда AA имеет конечный ранг или AA левый фредгольмов.

?
Задача XI.2.5

Если X\mathscr {X} и Y\mathscr {Y} — банаховы пространства, и TB(X,Y)T \in \mathcal{B}(\mathscr {X}, \mathscr {Y}) таков, что размерность в смысле базиса Гамеля (то есть алгебраическая размерность) пространства Y/(ran T)\mathscr {Y}/(\mathrm{ran}\ T) конечна, то ran T\mathrm{ran}\ T замкнут.

?
Задача XI.2.6

Покажите, что нормальный оператор является фредгольмовым тогда и только тогда, когда 00 не является предельной точкой σ(N)\sigma (N) и dimker N<\dim \mathrm{ker}\ N < \infty. (См. предложение 4.5 ниже.)

?