Bourbaki

习题 12, § 1

标签 08KF,永久不变。引用为 [Bourbaki, Tag 08KF]。

积分, II, p. 17

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

令 E 为完全格序空间。证明 E 中存在元素 >0> 0 的族 (uι)(u_\iota),使得对于不同指标 ι,κ\iota, \kappa 的每一个对,uιu_\iota 和 uκu_\kappa 都是外来的,并且对于 E 中的每个 x>0x > 0 都存在至少一个指标 ι\iota使得inf⁡(x,uι)>0\inf(x, u_\iota) > 0(使用Zorn的引理)。由此推断,对于每个 x≥0x \geq 0,E 的元素 ≥0\geq 0 都存在一个且仅有一个族 (xι)(x_\iota),使得对于每个ι\iota,xιx_\iota 属于到uιu_\iota 生成的带BιB_\iota,并且使得E 的阶结构的x=∑ιxιx = \sum_\iota x_\iota(取 xιx_\iota 为 BιB_\iota 频带中xx 的分量)。相反,E 的元素⩾0\geqslant 0的每个族(xι)(x_\iota)在上面有界,使得所有ι\iota的xι∈Bιx_\iota \in B_\iota在E中可求和(Exer.11)。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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