Bourbaki

习题 24, § 7

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

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

Bourbaki marks this one as harder than the rest.

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

在Rn\mathbf{R}^n中,有限多个闭半空间(分别由超平面经过通过相同点确定的闭半空间)中的每个交称为*多面体*(分别为多面体锥体)。如果 CC 中存在 xx 的邻域 VV(多面体),则凸集合 C⊂RnC \subset \mathbf{R}^n 是点 x∈Cx \in C 中的“局部多面体”。 *a) 证明,如果闭凸集合C⊂RnC \subset \mathbf{R}^n在点x∈Cx \in C处是局部多面体,则由CC生成的顶点为xx的圆锥体也是多面体。 *b) 证明 Rn\mathbf{R}^n 中的紧致凸凸集合在每个点处都是局部多面体,是一个多面体(使用 a)。 *c) 令 P⊂RnP \subset \mathbf{R}^n 为具有内部点的闭凸集合。证明以下条件是等价的: α) PP 是多面体。 β) PP 只有有限的数个面(II、p. 87、练习 3)。 γ) PP 是集合的凸包络线,它是有限多条点和有限多条闭半直线的并。 (为了表明α\alpha蕴含β\beta)将PP视为闭半半空间的最小的可能的数的交,并证明定义这些半空间的超平面是由维数的面生成的n−1n - 1共PP。为了证明β\beta蕴含γ\gamma),用归纳对nn进行论证。最后,要看到γ\gamma蕴含α\alpha),请考虑PP的极P∘P^\circ。 *d) 证明每个凸多面体PP都可以写成形式Q+CPQ + C_P,其中QQ是紧多面体,CPC_P是PP的渐近锥体。非紧多面体不能是抛物线形。 e) 证明凸多面体的每个面都是超面(II,p. 88,练习 7,d*))(通过归纳在 nn 上论证)。

解答

尚未写出解答。

被以下引用

无。

引用了

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