Proposition 8
Tag 081B, permanent. Cite it as [Bourbaki, Tag 081B].
Topological Vector Spaces, chapter V, § 4. Some classes of operators in hilbertian spaces
Suppose that is normal. Let be the kernel of and the orthogonal of in ; let and be two positive integers such that . Then is the kernel of and is both the initial and the final subspace of . In particular, is both the initial and the final subspace of and of , and is stable under and .
Prop. 7 shows that and have the same kernel . By prop. 4, (ii) of V, p. 41, the subspace of is stable under and since this is so for , since , the endomorphisms of induced by and are injective. Let ; the preceding argument shows that the restriction of to (resp. ) is injective (resp. null), hence is the kernel of . Consequently, is the initial subspace of . By prop. 4, (i) of V, p. 41, the final subspace of is equal to the initial subspace of . But and so the initial subspace of is equal to by the preceding.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.