XI.3

Индекс Фредгольма

[8/0%]
LaTeX
Задача XI.3.1

Докажите лемму 3.6: пусть M\mathcal{M} и N\mathcal{N} — два замкнутых подпространства гильбертова пространства H\mathcal{H}.

?
(a)

Если MN=(0)\mathcal{M} \cap \mathcal{N} = (0) и dimN=\dim \mathcal{N} = \infty, то dimM=\dim \mathcal{M}^\perp = \infty.

(b)

Если dimM=\dim \mathcal{M}^\perp = \infty и dimN<\dim \mathcal{N} < \infty, то dim(M+N)<\dim (\mathcal{M} + \mathcal{N})^\perp < \infty.

Задача XI.3.2

Если AB(H)A \in \mathcal{B}(\mathcal{H}) и ran A\mathrm{ran}\ A замкнут, покажите, что ran A()\mathrm{ran}\ A^{(\infty )} замкнут. Если ASFA \in \mathcal{SF} и ker A=(0)\mathrm{ker}\ A = (0), покажите, что A()SFA^{(\infty )} \in \mathcal{SF} и indA()=\operatorname {ind} A^{(\infty )} = -\infty или 00.

?
Задача XI.3.3

Имеет ли односторонний сдвиг кратности 11 квадратный корень?

?
Задача XI.3.4

Покажите, что для каждого nn из Z{±}\mathbb {Z} \cup \left\{ \pm \infty \right\} существует оператор AA в SF\mathcal{SF} такой, что indA=n\operatorname {ind} A = n.

?
Задача XI.3.5

Если ASFA \in \mathcal{SF}, то для каждого n1n \ge 1 выполнено AnSFA^n \in \mathcal{SF} и indAn=n(indA)\operatorname {ind} A^n = n(\operatorname {ind} A).

?
Задача XI.3.6

Если A:HHA: \mathcal{H} \to \mathcal{H}' — левый полуфредгольмов оператор, то существует оператор F:HHF: \mathcal{H} \to \mathcal{H}' конечного ранга такой, что ker(A+F)=(0)\mathrm{ker}(A + F) = (0) и ind(A+F)=indA\operatorname {ind}(A + F) = \operatorname {ind} A.

?
Задача XI.3.7

Если AA — фредгольмов оператор в B(H)\mathcal{B}(\mathcal{H}), докажите, что следующие утверждения эквивалентны.

  1. indA=0\operatorname {ind} A = 0.

  2. Существует компактный оператор KK такой, что A+KA + K обратим.

  3. Существует оператор FF конечного ранга такой, что A+FA + F обратим.

?
Задача XI.3.8

Если UU — односторонний сдвиг кратности 11, а π:B(H)B(H)/B0(H)\pi : \mathcal{B}(\mathcal{H}) \to \mathcal{B}(\mathcal{H})/\mathcal{B}_0(\mathcal{H}) — естественное отображение, покажите, что π(U)\pi (U) нормален в B(H)/B0(H)\mathcal{B}(\mathcal{H})/\mathcal{B}_0(\mathcal{H}), но не существует нормального оператора NN такого, что UNU - N компактен. (См. упражнение IX.8.14.)

?