Remark
Tag 033Q, permanent. Cite it as [Bourbaki, Tag 033Q].
Théories spectrales, chapter IV, § 4. Opérateurs partiels
Let E be a complex Banach space and let be a closed operator with dense domain on E.
1) If (E), its spectrum coincides with the spectrum of the element of the algebra (I, p. 2, Definition 1).
2) Let D be the domain of . For every Sp(), one has
Moreover, for and in the resolvent set of , one has
In fact, one has
Since and , one obtains
whence the first formula. By interchanging the roles of and , one deduces the second formula.
3) Let . By the closed graph theorem (EVT, I, p. 19, Corollary 5), if the linear mapping of dom() into E defined by is bijective, then its inverse, whose graph is closed, is continuous from E into E. Therefore belongs to the resolvent set of if and only if the mapping of dom() into E is bijective.
4) If belongs to the spectrum of , one of the following properties holds:
(i) The kernel of is not reduced to 0; one then says that is an eigenvalue of , and that the dimension of Ker() is its multiplicity;
(ii) The partial operator is injective and its image is not dense in E; one then says that belongs to the residual spectrum of ;
(iii) The partial operator is injective, its image is dense in E, but is not surjective; one then says that belongs to the continuous spectrum of .
5) Let be a complex number belonging to the resolvent set of . The resolvent is an injective linear mapping of E into E; its image is the domain of and cf. IV, p. 226). Conversely, this property characterizes the resolvent set and the resolvent. Precisely, let ; if there exists a continuous injective linear mapping of E into E such that , then belongs to the resolvent set of and .
In particular, if is a closed operator with dense domain on E, and if is a complex number not belonging to Sp() Sp(), then the equality implies that .
6) The spectrum of a closable partial operator is defined as the spectrum of its closure.
There exist closed operators whose spectrum is empty, or whose spectrum is equal to (exercise 12 of IV, p. 347).
Let E be a complex Banach space and a closed operator with dense domain on E. If F is a complex Banach space and if is an isomorphism, then one has Sp() Sp() and for every Sp().
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.