Definition 2
Tag 0AP7, permanent. Cite it as [Bourbaki, Tag 0AP7].
Lie Groups and Lie Algebras, chapter V, § 1. Hyperplanes, chambers and facets
A chamber of relative to (or simply a chamber if there is no ambiguity regarding ) is a facet of relative to that is not contained in any hyperplane belonging to .
Let be the open set in consisting of the points that do not belong to any hyperplane of ; since a hyperplane of must contain any facet that it meets, the chambers are the facets contained in ; every chamber is a convex (hence connected) open subset of by Prop. 3, (i); since the chambers form a partition of , they are exactly the connected components of . Every convex subset of is connected, and thus contained in a chamber, which is unique if is non-empty. It is clear that the chambers are the facets with support , and Prop. 3, (iii) shows that every chamber is the interior of its closure. Finally, let be a chamber and a non-empty subset of ; formulas (2) and (3) imply that
since for all .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.