Theorem 5
Tag 02U1, permanent. Cite it as [Bourbaki, Tag 02U1].
Théories spectrales, chapter III, § 5. Perturbation par une application linéaire compacte
Let .
a) The sets and are finite-dimensional vector subspaces of and their dimensions are equal ;
b) In order that equation (3) have at least one solution , it is necessary and sufficient that one have for every function . The set of solutions of (3) is then an affine subspace of with direction ;
c) One of the following conditions, which exclude each other, is satisfied :
(i) For every function , there exists a unique
solution of the integral equation (3) ;
(ii) The homogeneous equation (4) possesses a nonzero solution
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.