Corollary 3
Tag 0ABF, permanent. Cite it as [Bourbaki, Tag 0ABF].
Lie Groups and Lie Algebras, chapter III, § 3. Passage from a Lie group to its Lie algebra
Let a∈L(G). The vector field defined by a and the left operation g↦Intg of G on G is the field Ra−La.
The value of this field at g is
a⊤εg=a∗εg−εg∗a=(Ra)g−(La)g(Corollary 1)(Definition 5).
For all g∈G and all t∈L(G),
(Adg)(t)=εg⊤t=εg∗t∗εg−1=gtg−1. Since
Adg=Te(Intg), Proposition 42 of no. 11 proves that
Ad is an analytic linear representation of
G on the normable space
L(G).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites