Definition 2
Tag 0814, permanent. Cite it as [Bourbaki, Tag 0814].
Topological Vector Spaces, chapter V, § 4. Some classes of operators in hilbertian spaces
Let and be two hilbertian spaces and . The orthogonal of the kernel of in is said to be the initial subspace of and the closure of the image of in is called the final subspace of . The orthoprojector from (resp. ) onto the initial (resp. final) subspace of is called the initial (resp. final) orthoprojector of .
Let be the initial subspace of . Since is the direct sum of and of the kernel of , we have .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.