Fredholm Operators
[6/0%]If and is closed, prove that is closed without using Theorem VI.1.10. [Hint: Show that there is a bounded operator on such that the projection of onto .]
Theorem 2.3 states that if is a bounded operator, then the following two statements (among others) are equivalent: (a) is left semi-Fredholm, that is, there is a bounded operator and a compact operator on such that ; (b) is closed and . Give a direct proof that (b) implies (a).
Let and define by the matrix
Show that if , then if and only if .
If , show that if and only if .
Suppose with and . Show that .
If , show that is closed for every closed subspace of if and only if has finite rank or is left Fredholm.
If and are Banach spaces and such that the Hamel basis dimension (that is, the algebraic dimension) of is finite, then is closed.
Show that a normal operator is Fredholm if and only if is not a limit point of and . (See Proposition 4.5 below.)