Remark
Tag 0APY, permanent. Cite it as [Bourbaki, Tag 0APY].
Lie Groups and Lie Algebras, chapter V, § 2. Reflections
Assume that m is finite and that . If , let be the union of the open half-lines starting at 0 such that
The for are connected open subsets forming a partition of (where ). These are therefore the chambers determined in E by the system of m lines (). We have and . Moreover, if and only if . Consequently, the group W permutes the chambers simply-transitively.
We show finally that, if is such that the chambers C and are on opposite sides of the line D, then (the lengths being taken with respect to ). Indeed, the assumption implies that with . If , we have and , so and (Chap. IV, § 1, no. 2, Remark). If , we have
hence and . Q.E.D.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.