Corollary
Tag 0AG3, permanent. Cite it as [Bourbaki, Tag 0AG3].
Lie Groups and Lie Algebras, chapter III, § 6. Real and complex Lie groups
Let E be a complete normed space over , and . Suppose that every satisfies . Then, for every closed vector subspace M of , the conditions and are equivalent.
Let , be the mapping of F into F and be the mapping of F into F. Then (no. 4, Corollary 3 to Proposition 10 and § 3, no. 11, Corollary 1 to Proposition 41). Lemma 6 proves that for all . It then suffices to apply Proposition 19.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.