Let be the fundamental chamber of a root system determined by . Every positive root is a nonnegative linear combination of the simple roots, so every point in the interior of pairs strictly positively with every positive root. In particular, the interior meets none of the reflecting hyperplanes belonging to the subsystem of roots of maximal length.
The connected set therefore lies in one chamber of the long-root subsystem. Let be the unique fundamental system of a root system defining that chamber. Taking closures gives . Uniqueness follows because the interiors of two distinct chambers are disjoint. Thus there is a unique such .
Articles by others on the same topic
There are currently no matching articles.