Lemma 3
Tag 02SZ, permanent. Cite it as [Bourbaki, Tag 02SZ].
Théories spectrales, chapter III, § 4. Perturbations dans les espaces de Banach
Let be a real number such that . There exists a continuous linear mapping , of rank 1 and norm such that the kernel of contains that of and is of dimension .
Let denote the canonical mapping of E onto Ker(). There exists such that and (formula (6) of III, p. 61). By the Hahn–Banach theorem (EVT, II, p. 24, cor. 2), there exists a continuous linear form on the normed space Ker() such that and . The linear mapping of E into F is continuous, of rank 1, and one has . The kernel of the mapping contains that of and ; since Ker(), its dimension is therefore at least . On the other hand, the linear mapping induces, by passing to subspaces, a linear mapping of Ker() into Im() with kernel Ker() Ker(), so that dim(Ker()) dim(Ker()) . The conclusion follows.
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.