习题 20, § 1
标签 0AN1,永久不变。引用为 [Bourbaki, Tag 0AN1]。
李群与李代数, IV
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
设 A 为建筑物,S 集合。如果给定从 A 到 S 的映射 ,则 A 被称为由 S 编号,使得对于 A 的任何室 C, 到 C 的限制是从 C 到 S 的 双射。如果 F 是 A 的一个面, 称为 F 的 型。设 A 为编号建筑物。如果所有的和具有相同的型,则A的自同态被称为*允许*。
a) 设为A的自同态。证明,如果A存在C,使得所有的和具有相同的型,则是允许的。证明如果 A 是公寓且 是 A 的折叠(练习 18),则 是允许的自同态。
b) 如果对于所有 ,存在 A 的允许的自同态 ,使得对于所有 和 都有 ,则 A 的子集 D 被称为*凸*。证明凸集合的任何交都是凸的,并且对于A的任何子集D,存在最小的凸子集包含D:这称为D的*凸包*并用表示。
解答
尚未写出解答。