Lemma 3. Suppose E, F X are closed subspaces with F finite dimensional.

Similar documents
Diffun2, Fredholm Operators

Fredholm Operators and the Family Index

Chapter 2 Linear Transformations

DEFINABLE OPERATORS ON HILBERT SPACES

Functional Analysis, Math 7321 Lecture Notes from April 04, 2017 taken by Chandi Bhandari

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

Spectral theory for compact operators on Banach spaces

2.2 Annihilators, complemented subspaces

Functional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32

Essential Descent Spectrum and Commuting Compact Perturbations

OPERATOR THEORY - PART 3/3. Contents

LECTURE OCTOBER, 2016

Linear Algebra. Chapter 5

WEYL S THEOREM FOR PAIRS OF COMMUTING HYPONORMAL OPERATORS

Definition Suppose S R n, V R m are subspaces. A map U : S V is linear if

LINEAR ALGEBRA BOOT CAMP WEEK 1: THE BASICS

Synopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].

Some Properties of Closed Range Operators

Where is matrix multiplication locally open?

MATH PRACTICE EXAM 1 SOLUTIONS

COMMON COMPLEMENTS OF TWO SUBSPACES OF A HILBERT SPACE

The Dirichlet-to-Neumann operator

NORMS ON SPACE OF MATRICES

Definition 3 A Hamel basis (often just called a basis) of a vector space X is a linearly independent set of vectors in X that spans X.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

AND COMPACT PERTURBATIONS

C.6 Adjoints for Operators on Hilbert Spaces

Representation of integrated autoregressive processes in Banach space

Linear maps. Matthew Macauley. Department of Mathematical Sciences Clemson University Math 8530, Spring 2017

SPECTRAL RADIUS ALGEBRAS OF WEIGHTED CONDITIONAL EXPECTATION OPERATORS ON L 2 (F) Groups and Operators, August 2016, Chalmers University, Gothenburg.

LINEAR PRESERVER PROBLEMS: generalized inverse

On generalized a-browder s theorem

5 Banach Algebras. 5.1 Invertibility and the Spectrum. Robert Oeckl FA NOTES 5 19/05/2010 1

2.4 Annihilators, Complemented Subspaces

arxiv: v1 [math.gr] 8 Nov 2008

COMPACT OPERATORS. 1. Definitions

Linear Algebra 2 Spectral Notes

Infinite-Dimensional Triangularization

Elliptic Regularity. Throughout we assume all vector bundles are smooth bundles with metrics over a Riemannian manifold X n.

LECTURE 11: TRANSVERSALITY

Fredholm Theory. April 25, 2018

REAL ANALYSIS II HOMEWORK 3. Conway, Page 49

NOTES ON FIBER DIMENSION

V (v i + W i ) (v i + W i ) is path-connected and hence is connected.

INTRODUCTION TO LIE ALGEBRAS. LECTURE 7.

LINEAR ALGEBRA MICHAEL PENKAVA

Topological Vector Spaces III: Finite Dimensional Spaces

Chapter SSM: Linear Algebra. 5. Find all x such that A x = , so that x 1 = x 2 = 0.

Boolean Algebras, Boolean Rings and Stone s Representation Theorem

SPECTRAL THEOREM FOR SYMMETRIC OPERATORS WITH COMPACT RESOLVENT

Contents. Preface for the Instructor. Preface for the Student. xvii. Acknowledgments. 1 Vector Spaces 1 1.A R n and C n 2

Compact operators on Banach spaces

Fréchet algebras of finite type

Local Spectral Theory for Operators R and S Satisfying RSR = R 2

LECTURE 3: RELATIVE SINGULAR HOMOLOGY

Econ Lecture 8. Outline. 1. Bases 2. Linear Transformations 3. Isomorphisms

MATRIX LIE GROUPS AND LIE GROUPS

Review 1 Math 321: Linear Algebra Spring 2010

SPANS AND INTERSECTIONS OF ESSENTIALLY REDUCING SUBSPACES

Linear Algebra. Workbook

Bare-bones outline of eigenvalue theory and the Jordan canonical form

Solutions of exercise sheet 8

OPERATOR THEORY ON HILBERT SPACE. Class notes. John Petrovic

ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS

REPRESENTATION THEORY, LECTURE 0. BASICS

Critical Groups of Graphs with Dihedral Symmetry

A brief introduction to trace class operators

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY

CLOSURE OF INVERTIBLE OPERATORS ON A HILBERT SPACE

Linear Algebra Lecture Notes-I

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

12. Hilbert Polynomials and Bézout s Theorem

ADJOINTS, ABSOLUTE VALUES AND POLAR DECOMPOSITIONS

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

COMMON OPERATOR PROPERTIES OF THE LINEAR OPERATORS RS AND SR

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms

Math 113 Midterm Exam Solutions

Homework 3 MTH 869 Algebraic Topology

Projection-valued measures and spectral integrals

UPPER AND LOWER FREDHOLM SPECTRA

Numerical Linear Algebra

COMPUTING EXT FOR GRAPH ALGEBRAS (UNABRIDGED)

4.2. ORTHOGONALITY 161

1 Invariant subspaces

MTH 503: Functional Analysis

PERTURBATION THEORY FOR GENERALIZED FREDHOLM OPERATORS. II

arxiv: v1 [math.oa] 20 Feb 2018

OPERATORS WITH FINITE CHAIN LENGTH AND THE ERGODIC THEOREM K. B. LAURSEN AND M. MBEKHTA. (Communicated by Palle E. T. Jorgensen)

Functional Analysis Exercise Class

Math 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.

Moore-Penrose Inverse of Product Operators in Hilbert C -Modules

INVERSE LIMITS AND PROFINITE GROUPS

dominant positive-normal. In view of (1), it is very natural to study the properties of positivenormal

Banach Spaces II: Elementary Banach Space Theory

are Banach algebras. f(x)g(x) max Example 7.4. Similarly, A = L and A = l with the pointwise multiplication

Math 113 Winter 2013 Prof. Church Midterm Solutions

THE JORDAN-FORM PROOF MADE EASY

Operator theory and exotic Banach spaces

30 Surfaces and nondegenerate symmetric bilinear forms

ASCENT, DESCENT, AND ERGODIC PROPERTIES OF LINEAR OPERATORS

Transcription:

Notes on Fredholm operators David Penneys Let X, Y be Banach spaces. Definition 1. A bounded linear map T B(X, Y ) is called Fredholm if dim(ker T ) < and codim(t X) <. In this case, we define the (Fredholm) index of T to be ind(t ) := dim(ker T ) codim(t X). Exercise 2. As an exercise, verify the following claims: (1) Invertible bounded maps have index zero. (2) If K B(X) is compact, then for all λ C \ {0}, K λ1 is Fredholm with index zero. (3) The shift operator S ± B(l p ) for 1 p defined by (S ± x) n = x n±1 is Fredholm with index ±1. (4) If X, Y are finite dimensional and T B(X, Y ), then by the Rank-Nullity Theorem, ind(t ) = dim(x) dim(y ). Lemma 3. Suppose E, F X are closed subspaces with F finite dimensional. (1) The subspace E + F X is closed. (2) If in addition E is complemented, then E + F X is complemented. Proof. Consider the canonical surjection Q : X X/E. Then QF X/E is finite dimensional and thus closed, and E + F = Q 1 (QF ) is closed since Q is continuous. Suppose now that E is complemented, and let P B(X) be an idempotent with P X = E. Then (1 P )F (1 P )X is finite dimensional, and thus complemented. Let Q 0 B((1 P )X) be an idempotent with Q 0 (1 P )X = (1 P )F. Extend Q 0 to Q B(X) by Q = 0 on P X. Then QP = P Q = 0, so P + Q B(X) is an idempotent with (P + Q)X = E + F. Proposition 4. Suppose T B(X, Y ) such that codim(t X) <. Then T X is closed. Proof. Pick y 1,..., y n Y such that {y 1 +T X,..., y n +T X} are a basis for the vector space Y/T X, and define F = span{y 1,..., y n } Y. Now consider the Banach space Z = X/ ker T F with the l 1 norm (x + ker T ) + f Z := x + ker T X/ ker T + f F. We define a linear map S : Z Y by S((x + ker T ) + f) = T x + f. It is straightforward to verify S is bounded and bijective, and thus invertible by the Open Mapping Theorem. Finally, we have S(X/ ker T ) = T X is closed as S is a closed map. Corollary 5. If T B(X, Y ) is Fredholm, then for any closed subspace E X, T E is closed. Proof. Define S : Z = X/ ker T F Y as in the proof of Proposition 4. Since ker(t ) is finite dimensional, by Lemma 3.(1), E + ker T is closed in X, and thus (E + ker T )/ ker T is closed in X/ ker T and also in Z. Finally, we have S((E + ker T )/ ker T ) = T E is closed as S is a closed map. Theorem 6 (Atkinson). For T B(X, Y ), the following are equivalent: (1) T is Fredholm. (2) There is an S B(Y, X) such that ST 1 and T S 1 are both finite rank. 1

(3) There is an S B(Y, X) such that ST 1 and T S 1 are both compact. (4) There are S 1, S 2 B(Y, X) such that S 1 T 1 and T S 2 1 are both compact. Proof. (1) (2) : Let T be Fredholm. Let P B(X) be an idempotent such that ker(t ) = ker(p ), and let Q B(Y ) be an idempotent such that T X = QY. (Note here that T X is closed by Proposition 4 and has finite codimension, and is thus complemented.) We may decompose T as a matrix of operators QT P QT (1 P ) = (1 Q)T P (1 Q)T (1 P ) ( T : P X (1 P )X = ker(p ) = ker(t ) ) QY = T X. (1 Q)Y Now T 0 B(P X, QY ) is invertible by the Open Mapping Theorem, so let S 0 B(QY, P X) be its inverse. We may extend S 0 to an operator in B(Y, X) by defining the matrix of operators S : ( QY = T X (1 Q)Y P X (1 P )X = ker(p ) = ker(t ) It is straightforward to verify that 1 0 ST = = P = 1 (1 P ) (6.a) 1 0 T S =. = Q = 1 (1 Q) (6.b) Now 1 P has range ker(t ) which is finite dimensional, and QY = T X has finite codimension, so 1 Q has finite rank. (2) (3) (4) : Trivial. (4) (1) : Note that S 1 T = 1 + K 1 for some compact K 1 B(X). Then ker(t ) ker(s 1 T ) = ker(1 + K 1 ), which is finite dimensional. Now T S 2 = 1 + K 2 for some compact K 2 B(Y ). Then (1 + K 2 )Y T X, and (1 + K 2 )Y has finite codimension in Y. Definition 7. For T B(X, Y ), an S as in Theorem 6.(3) is called a Fredholm inverse for T. Exercise 8. As an exercise, verify the following properties of Fredholm operators: (1) T B(X) is Fredholm if and only if T + K(X) is invertible in the Calkin algebra B(X)/K(X). (2) If T B(X, Y ) is Fredholm, then so is T + K for all compact operators K K(X, Y ). (3) A Fredholm inverse of a Freholm operator is also Fredholm. (4) If S B(Y, X) is a Fredholm inverse for T B(X, Y ), then for any compact K K(Y ), S + K is also a Fredholm inverse for T. (5) For any two Fredholm inverses S 1, S 2 B(Y, X) for T B(X, Y ), S 1 S 2 K(Y, X). (6) The product of two Freholm operators is Fredholm. (7) The adjoint of a Fredholm operator T B(X, Y ) is Fredolm, and ind(t ) = ind(t ). ). 2

Lemma 9. Suppose P, Q B(X) are idempotents. Then P Q = Q if and only if QX P X. In this case, QP is an idempotent with range QX which commutes with P. Proof. Suppose P Q = Q, and let q QX. Then P q = P Qq = Qq = q, and thus q P X. Conversely, suppose QX P X. We can write x X uniquely as q + y with q QX and y (1 Q)X. Then Qx = q = P q = P Qx. Note now that P commutes with QP, since P QP = (P Q)P = QP = QP 2. Hence QP QP = Q 2 P = QP, and QP is an idempotent. Clearly QP X QX. Conversely, if q QX P X, we have QP q = q, so QX QP X. Remarks 10. Suppose (E, F ) are complementary closed subspaces of X. Let P B(X) be the idempotent such that P X = E and (1 P )X = F. (1) Suppose Q B(X) is an idempotent with QX P X. Since the idempotent QP from Lemma 9 commutes with P, we see P QP is an idempotent. Thus we can decompose E into two complementary subspaces E = E 1 E 2 with E 1 = QX = QP X and E 2 = (P QP )X. Thus X = E 1 E 2 F. (2) Suppose Q B(X) is an idempotent with P X QX. Since the idempotent P Q from Lemma 9 commutes with Q, Q P Q is an idempotent, F 1 = (Q P Q)X = (1 P )QX (1 P )X = F, and QX = E F 1. Now we claim F 1 is complemented in F. Indeed, by another application of Lemma 9 to the inclusion (Q P Q)X (1 P )X, we have R = (1 P )Q(1 P ) is an idempotent with range (Q P Q)X, and 1 P R is an idempotent. Setting F 2 = (1 P R)X, we have F = F 1 F 2 and X = E F 1 F 2. Definition 11. We call T B(X, Y ) left Fredholm if T X is closed and complemented and ker T is finite dimensional. right Fredholm if ker T is complemented and codim(t X) <. Note that T right Fredholm implies T X is closed and complemented by Proposition 4. Theorem 12 (Atkinson). For T B(X, Y ), (1) - (3) below are equivalent, as are (1 )- (3 ): (1) T is left Fredholm (2) There is an S B(Y, X) such that ST 1 has finite rank. (3) There is an S B(Y, X) such that ST 1 is compact. (1 ) T is right Fredholm (2 ) There is an S B(Y, X) such that T S 1 is finite rank. (3 ) There is an S B(Y, X) such that T S 1 is compact. Proof. (1) (2): This follows directly from the proof of (1) (2) from Theorem 6. Since T X is closed and complemented and ker T is finite dimensional, we can still define the idempotents P B(X) and Q B(Y ). We still get ST = P = 1 (1 P ) as in (6.a) and 1 P has finite rank. However, it is not necessarily the case that 1 Q has finite rank, since we do not know if T X has finite codimension. 3

(1 ) (2 ) Again, this follows directly from the proof of (1) (2) from Theorem 6. In this case, we have that 1 Q has finite rank since codim(t X) <, but since we do not know if ker T is finite dimensional, we cannot conclude that 1 P has finite rank. (2) (3) and (2 ) (3 ) : Trivial. (3) (1): Suppose there is an S B(Y, X) such that ST 1 = K K(X) is compact. As in the proof of Theorem 6, ker T ker ST = ker(1+k) is finite dimensional. Now by the spectral analysis of compact operators, there is a pair of closed complementary K-invariant subspaces (E, F ) of X such that X = E F, E is finite dimensional, (1 + K) F is invertible, and (1 + K) E is nilpotent. Thus T F has left inverse (ST ) 1 F S, and thus T F is closed and complemented. But T X = T E +T F with T E finite dimensional, and thus X is closed and complemented by Lemma 3.(2). (3 ) (1 ): Suppose T S 1 = K K(Y ) is compact. As in the proof of Theorem 6, (1 + K)Y T X, and (1 + K)Y has finite codimension, as does T X. (Again, this implies T X is closed and complemented by Proposition 4.) By the spectral analysis of compact operators, there is a pair of closed complementary K-invariant subspaces (M, N) of Y such that Y = M N, N is finite dimensional, (1 + K) M is invertible, and (1 + K) N is nilpotent. Since T S = 1 + K, we have M T X Y. By Lemma 9 and Remarks 10, we can further decompose N = N 1 N 2 such that T X = N 2 M and Y = N 1 N 2 M. Now define E = T 1 N 2 and F = T 1 M. Since T X = M N 2, (E, F ) are closed complementary subspaces of X. We claim that ker(t ) = ker(t E ) ker(t F ). Indeed, if x ker T, we can uniquely write x = e + f with e E and f F. If T x = T e + T f = 0, then since T e N 2 and T f M, we have T e = T f N 2 M = (0), and thus T e = T f = 0. It remains to prove that ker(t E ) and ker(t F ) are complemented in E and F respectively. We can then add idempotents similar to Remarks 10 to see that ker(t ) is complemented. First, T F has right inverse S M (T S) 1 M, so ker(t F ) is complemented. Second, T E B(E, N 2 ) is onto a finite dimensional space. It is easily seen that such a map has a bounded right inverse (any right inverse will do). Hence ker(t E ) is complemented. Remark 13. We see that T B(X) is left/right Fredholm if and only if T + K(X) is left/right invertible in the Calkin algebra B(X)/K(X) respectively. Exercise 14. For an exact sequence of finite dimensional vector spaces we have n j=0 ( 1)j dim(v j ) = 0. 0 V 0 V 1 V n 0, Theorem 15 (Multiplication). If T B(X, Y ) and S B(Y, Z) are Fredholm, then ST is Fredholm with ind(st ) = ind(s) + ind(t ). Proof. That ST is Fredholm is contained in Exercise 8. Consider the sequence of finite dimensional vector spaces 0 ker T i ker ST T ker ST ker S Q ker S Y/T X S q Z/ST X Z/SY 0, where i is inclusion, Q : Y T X is the canonical quotient map, S(y + T X) = Sy + ST X, and q(z + ST X) = z + SY. The reader can verify that the above sequence is exact, so by Exercise 14, we have 0 = dim(ker T ) dim(ker ST ) + dim(ker S) codim(t X) + codim(st X) codim(sy ) = ind(t ) ind(st ) + ind(s). The proof is complete. 4

Corollary 16. If S B(Y, X) is a Fredholm inverse for T B(X, Y ), then ind(s) = ind(t ). Proof. Recall that by the Fredholm Alternative for compact operators, 1 + K has Fredholm index zero for all compact K B(X). Thus 0 = ind(1 + K) = ind(st ) = ind(s) + ind(t ). Theorem 17 (Stability). For T B(X, Y ) Fredholm, there is an ε > 0 such that for all R B(X, Y ) with R < ε, T + R is Fredholm and ind(t + R) = ind(t ). Proof. Let S B(Y, X) be a Fredholm inverse of T, and set ε = S 1. Then there are compact operators K 1 B(X) and K 2 B(Y ) such that ST = 1 + K 1 and T S = 1 + K 2. If R < ε, then S(T + R) = 1 + K 1 + SR, and SR < 1. Thus 1 + SR and 1 + RS are invertible, and (1 + SR) 1 S(T + R) = 1 + (1 + SR) 1 K 1 1 + K(X) S(T + R)(1 + RS) 1 = 1 + K 2 (1 + RS) 1 1 + K(Y ). Hence T + R is Fredholm. Now using Theorem 15 applied to the above equations, we have This concludes the proof. 0 = ind((1 + SR) 1 ) + ind(s) + ind(t + R) = 0 ind(t ) + ind(t + R). Corollary 18. The set of Fredholm operators in B(X, Y ) is open, and the index is a continuous map from the set of Fredholm operators to Z. Corollary 19. If T B(X, Y ) is Fredholm and K B(X, Y ) is compact, then T + K is Fredholm and ind(t + K) = ind(t ). Proof. That T + K is Fredholm is contained in Exercise 8. By Theorem 17, the function [0, 1] Z by t ind(t + tk) is continuous, and thus constant. 5