Section XI.2

Fredholm Operators

[6/0%]
LaTeX
Problem XI.2.1

If A∈B(H)A \in \mathcal{B}(\mathcal{H}) and ran A\mathrm{ran}\ A is closed, prove that ran A∗\mathrm{ran}\ A^* is closed without using Theorem VI.1.10. [Hint: Show that there is a bounded operator BB on H\mathcal{H} such that BA=BA = the projection of H\mathcal{H} onto (ker A)⊥(\mathrm{ker}\ A)^\perp.]

?
Problem XI.2.2

Theorem 2.3 states that if A:H→H′A: \mathcal{H} \to \mathcal{H}' is a bounded operator, then the following two statements (among others) are equivalent: (a) AA is left semi-Fredholm, that is, there is a bounded operator B:H′→HB: \mathcal{H}' \to \mathcal{H} and a compact operator KK on H\mathcal{H} such that BA=1+KBA = 1 + K; (b) ran A\mathrm{ran}\ A is closed and dim⁡ker A<∞\dim \mathrm{ker}\ A < \infty. Give a direct proof that (b) implies (a).

?
Problem XI.2.3

Let A,B,C∈B(H)A, B, C \in \mathcal{B}(\mathcal{H}) and define X:H(2)→H(2)X: \mathcal{H}^{(2)} \to \mathcal{H}^{(2)} by the matrix

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

Show that if A∈FA \in \mathcal{F}, then X∈FX \in \mathcal{F} if and only if C∈FC \in \mathcal{F}.

(b)

If A∈FA \in \mathcal{F}, show that X∈SFX \in \mathcal{SF} if and only if C∈SFC \in \mathcal{SF}.

(c)

Suppose A,C∈SFA, C \in \mathcal{SF} with dim⁡ker A=∞\dim \mathrm{ker}\ A = \infty and dim⁡ker C∗=∞\dim \mathrm{ker}\ C^* = \infty. Show that X∉SFX \notin \mathcal{SF}.

Problem XI.2.4

If A∈B(H)A \in \mathcal{B}(\mathcal{H}), show that AMA\mathcal{M} is closed for every closed subspace M\mathcal{M} of H\mathcal{H} if and only if AA has finite rank or AA is left Fredholm.

?
Problem XI.2.5

If X\mathscr {X} and Y\mathscr {Y} are Banach spaces and T∈B(X,Y)T \in \mathcal{B}(\mathscr {X}, \mathscr {Y}) such that the Hamel basis dimension (that is, the algebraic dimension) of Y/(ran T)\mathscr {Y}/(\mathrm{ran}\ T) is finite, then ran T\mathrm{ran}\ T is closed.

?
Problem XI.2.6

Show that a normal operator is Fredholm if and only if 00 is not a limit point of σ(N)\sigma (N) and dim⁡ker N<∞\dim \mathrm{ker}\ N < \infty. (See Proposition 4.5 below.)

?