Proposition 4
Tag 0A7F, permanent. Cite it as [Bourbaki, Tag 0A7F].
Lie Groups and Lie Algebras, chapter III, § 1. Lie groups
Let G and H be Lie groups and f a homomorphism of the group G into the group H. For f to be analytic, it is necessary and sufficient that there exist a non-empty open subset U of G such that is analytic.
The condition is obviously necessary. Suppose that it holds. For all , for all and hence is analytic. But the sets , where , form an open covering of G.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.