Remark 2
Tag 0APF, permanent. Cite it as [Bourbaki, Tag 0APF].
Lie Groups and Lie Algebras, chapter V, § 1. Hyperplanes, chambers and facets
Let be a facet whose support is a hyperplane ; we shall show that is a face of two chambers. Let be the set of hyperplanes belonging to ; put and denote by and the two open half-spaces bounded by . The set is open and contains , and since every point of is in the closure of and , the sets and are non-empty; these are chambers. Moreover, the hyperplane meets ; Prop. 4 shows that is a wall of and that
F, which meets , is a face of ; similarly, F is a face of . Finally, let C be a chamber of which F is a face, and suppose for example that ; by Prop. 4, the set meets F, and hence is equal to , and we have
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.