Bourbaki

Remark 3

Tag 01F7, permanent. Cite it as [Bourbaki, Tag 01F7].

Lie Groups and Lie Algebras, chapter IX, § 6. Integration on compact Lie groups

Assume that G is simply-connected. Let A be an alcove of t\mathfrak{t}, and dxdx the Haar measure on t\mathfrak{t} such that ∫Adx=1\int_Adx= 1. Then the measure ν\nu can also be obtained by transporting the measure 1w(G)∏α∈R+(G,T)4\frac{1}{w(G)}\prod_{\alpha\in R_+(G,T)}4 sin2πα^(x)dx^2\pi \widehat{\alpha}(x)dx on A‾\overline{A} by

the homeomorphism A‾→T/W(\overline{A}\rightarrow T/W (§5, no. 2, Cor. 1 of Prop. 2).

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.

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.