Corollary 2
Tag 0AVP, permanent. Cite it as [Bourbaki, Tag 0AVP].
Lie Groups and Lie Algebras, chapter VI, § 1. Root systems
Assume that is equipped with the structure of an ordered vector space such that, for this structure, every root of is either positive or negative. Let be the set of positive roots for this structure. Then there exists a unique chamber of such that .
Indeed, satisfies condition (ii) of Cor. 1.
This corollary applies in particular when the order being considered is total, the condition on then being automatically satisfied. Recall that such an order can be obtained, for example, by choosing a basis of and taking the lexicographic order on , so is if all the are 0, or if for the smallest index such that .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.