Bourbaki

习题 29, § 7

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

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

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

a) 令 (En)(E_n) 为 Hausdorff 局部凸空间的序列,并且E=∏EnE = \prod E_n 为乘积。在每个 EnE_n 中,令 CnC_n 为顶点为 0 的凸锥体,且 AnA_n 的上限为 CnC_n。证明存在 C=∏CnC = \prod C_n 的上限,其中包含 ∏An\prod A_n(如II、p. 59 的第 5 条论证)。

b) 令(En,ϕnm)(E_n, \phi_{nm})为Hausdorff局部凸空间的可枚举有向射影系统,并令E=lim⁡←nEnE = \lim_{\leftarrow n} E_n为其射影极限。对于所有 nn,令 CnC_n 为顶点 0 的凸锥体,使得 (Cn)(C_n) 为集合的射影系统。证明,如果对于每个 nn,集合 CnC_n 是其大写字母的并,那么C=lim⁡←nCnC = \lim_{\leftarrow n} C_n 也成立(使用 aa)。特别是,如果 CnC_n 是底部紧凑的圆锥体,则 CC 位于其极值生成元的并的封闭凸包络线中。

解答

尚未写出解答。

被以下引用

无。

引用了

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