Bourbaki

习题 5, § 2

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

积分, II, p. 20

Bourbaki marks this one as harder than the rest.

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

a) 令 E 为 Riesz 空间,H 为 E 的孤立线性子空间(§1§ 1,Exer. 4)。设Ω\Omega为E上相对有界线性形式的空间,并令Θ\Theta为线性形式L∈ΩL \in \Omega的Ω\Omega由……组成子空间,即H上的零。证明Θ\Theta是孤立的Ω\Omega的子空间,并且Θ\Theta是Riesz 空间 E/H上相对有界线性形式的空间的完全晶格有序的空间同构。

b) 对于 E 的线性映射 uu 到 Riesz 空间 F,以下条件是等价的:

α) u(sup⁡(x,y))=sup⁡(u(x),u(y));\alpha ) \ u(\sup(x, y)) = \sup(u(x), u(y)); β) u(inf⁡(x,y))=inf⁡(u(x),u(y));\beta ) \ u(\inf(x, y)) = \inf(u(x), u(y)); γ) u(x+)=(u(x))+;\gamma ) \ u(x^+) = (u(x))^+; δ)\delta ) 关系 inf⁡(x,y)=0\inf(x, y) = 0 意味着 inf⁡(u(x),u(y))=0\inf(u(x), u(y)) = 0。

然后可以说 uu 是一个格子线性映射。

c) 对于 E 的线性子空间 H 在孤立子空间 ≠E\neq E 的集合中最大,它是形式 Ker(f)\mathrm{Ker}(f) 是充分必要的,其中 ff 是格子线性形式 ≠0\neq 0。 (利用 GT、V、§3§ 3、Exer.1。)

d) 给出 Riesz 空间的例不减少到 0,包含没有最大孤立子空间(cf. §1§ 1,Exer. 5 b))。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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