Fredholm Theory
[41/0%]Let be the unilateral shift of multiplicity on and find and .
The compression spectrum of , , is defined by . Show:
if and only if .
, but this inclusion may be proper.
is not necessarily closed.
.
If and , then . If is not constant on any component of its domain, then .
If and , then .
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.)
Prove Lemma 3.6: let and be two closed subspaces of the Hilbert space .
If and , then .
If and , then .
If and is closed, show that is closed. If and , show that and or .
Does the unilateral shift of multiplicity have a square root?
Show that for every in there is an operator in such that .
If , then for every , and .
If is a left semi-Fredholm operator, then there is a finite rank operator such that and .
If is a Fredholm operator in , prove that the following statements are equivalent.
-
.
-
There is a compact operator such that is invertible.
-
There is a finite rank operator such that is invertible.
If is the unilateral shift of multiplicity and is the natural map, show that is normal in but there is no normal operator such that is compact. (See Exercise IX.8.14.)
Show that the material of this section is only significant for infinite dimensional Hilbert spaces by showing that the essential spectrum of every operator on is non-empty if and only if is infinite dimensional.
Let be a bounded region in such that and let be a function that is analytic in a neighborhood of . Define by . Find all of the parts of the spectrum of .
(Fillmore, Stampfli, and Williams [1972].) If , then there is a projection , having infinite rank, such that .
(Fillmore, Stampfli, and Williams [1972].) Let .
If has a cyclic vector , show that .
Let . If , let be orthonormal vectors such that for and let the projection onto . Put . Show that .
Show that the noncyclic operators are dense in if .
Let and suppose is analytic in a neighborhood of and does not vanish on . Show that and find .
Let be the unilateral shift and let be an analytic function in a neighborhood of such that if . Let , . Show that and that if , , where the winding number of about . Moreover, show that if , then .
Let be the operator defined in Example 2.11 where . Show that there is a compact operator such that is unitarily equivalent to the unilateral shift.
If is the unilateral shift, show that for every there is a rank one operator with such that .
Let be an open connected subset of and suppose such that . Show that there is a finite rank operator such that is invertible. Show that is invertible for every in .
Let be any topological group and let be the component of the identity. Show that is a normal subgroup of .
What are the components of the set of invertible elements in ?
If the unilateral shift, what are the components of the set of invertible elements of ?
If and are isometries, show that there is a path consisting entirely of isometries connecting to if and only if .
Find the components of the set of partial isometries.
If is an invertible operator, show that .
Let and suppose that and . Show that for every there is an operator in such that , , and .
If , show that there is a such that and for if for every .
Prove Proposition 6.9: if is an isolated point of , the following statements are equivalent.
-
.
-
The Riesz idempotent has finite rank.
-
and .
Prove Proposition 6.10: if , then , where, for , .
If and , show that is not closed. What happens if ?
(Stampfli [1974].) If , then there is a in such that .
Prove Proposition 6.13: let be a compact subset of , let be disjoint open subsets of (some possibly empty), let be a subset of the set of isolated points of , and for each in let . Then there is an operator on such that , for , , and for every in .
(Conway [1985].) If and are nonempty compact subsets of , then there is a bounded operator on such that and if and only if and .