Corollary 2
Tag 01JB, permanent. Cite it as [Bourbaki, Tag 01JB].
Lie Groups and Lie Algebras, chapter IX, § 2. Maximal tori of compact Lie groups
Let E be a subset of G stable under inner automorphisms. Then E is open (resp. closed, resp. dense) in G if and only if is open (resp. closed, resp. dense) in T.
This follows from Cor. 1 and the fact that the canonical maps and are open (General Topology, Chap. III, p. 10, Lemma 2).
Denote the Lie algebra of by , and that of by . The operation of on induces a representation, called the canonical representation, of the group on the -vector space .
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.