Bourbaki

习题 7, § 7

标签 07JK,永久不变。引用为 [Bourbaki, Tag 07JK]。

拓扑向量空间, II, p. 88

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

令EE为有限维nn的向量空间,并令AA为EE中的闭凸集合,其中00为内部点。 a) 设FF和F′F'为AA和A∘A^\circ的两个对偶面(练习6);如果FF是维数pp并且F′F'是维数qq,则显示p+q≤n−1p + q \leq n - 1。对于AA的每个边界点xx,AA中xx的面的维数称为xx的阶,并且A∘A^\circ中其对偶面的维数称为类共xx。 AA 的刻面 FF 的阶(分别为类)与 FF 的内部点之一的定义阶(分别为类)相对于由 生成的线性变化FF。 AA 的极值点是阶 00 的点; AA 的平滑点(练习 6)是类 00 的点。 b) 类 n−1n - 1(因此阶00)的AA的边界点称为AA的顶点。证明 AA 顶点的集合是可枚举的(考虑 AA、GT、VI, § 2 顶点的对偶面集合,练习 12)。 c) 设FF为AA的pp维小平面,MM为维数n−pn - p的线性变体,它在单个点aa中满足FF,使得aa是FF的内部点,并且包含是AA的内部点。证明,如果VV是MM中M∩AM \cap A的支持超平面,经过aa,则F∪VF \cup V(在EE中)生成的超平面HH是超平面的支持超平面 AA。 d) 如果p+q=n−1p + q = n - 1,我们说阶pp和类qq的AA的面FF是一个ultrafacet;那么双面也是 A∘A^\circ 的超面。如果维数n−pn - p的线性簇MM在单个点中遇到超面FF,即FF的内部点(相对于FF生成的线性簇),则表明此点是凸集合M∩AM \cap A的顶点,反之亦然(使用c))。推出AA的阶pp的ultrafacet集合是可枚举的。 (认同 EE 和 Rn\mathbf{R}^n,考虑维数 pp Rn\mathbf{R}^n 的每个坐标变种上的 AA 投影;如果阶的超小面的集合 pp,其中VV上的投影是pp维,不可枚举,表明存在VV的点,它是这些投影的不可枚举无穷大的内部点,考虑到具有有理坐标的 VV 的点;然后使用 b)。) 给出具有不可枚举的无穷多面的凸集合的例,其中每个面都不是单个点也不是超面。 e) 如果AA的所有边界点都是光滑的,则证明映射,这会将AA的边界GG的每个点xx放入对应中,并具有对偶面的唯一点 xx,是A∘A^\circ边界上GG的连续映射(cf. TG,I, § 9.1,推出)。在什么情况下这个映射是双射的?

解答

尚未写出解答。

被以下引用

无。

引用了

  • VI, § 2 not yet on this site
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。