习题 19, § 2
标签 04FK,永久不变。引用为 [Bourbaki, Tag 04FK]。
交换代数, III, 239
Bourbaki marks this one as harder than the rest.
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
(a) 令 E 为线性紧致 A-模。证明以下条件是等价的:
(α) 对于从 E 到 Hausdorff 线性拓扑 A-模 F 的每个连续线性映射 , 是从 E 到 F 的严格态射(一般拓扑、章 III, § 2, no. 8)。
(β) 对于 E 的每个闭子模 F,E/F 上的商拓扑是最小的拓扑 (习题 17)。
(γ) E 是完备的,且 E 中存在 0 的开邻域的基本系统 ,子模的由……组成,并且 为阿廷模。
(要看到 (γ) 蕴涵 (β),约化对应于 的情况,并使用习题 17 和 18。)
如果 E 满足等价条件 (α)、(β) 和 (γ),则 E 称为严格线性紧致。
(b) 设 E 为 Hausdorff 线性拓扑 A-模,F 为 E 的闭子模。为了使 E 严格线性紧致,F 和 E/F 必须且充分。
(c) 严格线性紧致模的每个逆极限都是严格线性紧致。
(d) 令 E 为从 E 到严格线性紧致 A-模 F 的 Hausdorff 线性拓扑 A-模和 线性映射。证明,如果 的图在 内闭合,则 是连续的(使用习题 16 (c) 和事实上,如果 M 在 E 中是闭的并且 是阿廷的,则 M 在 E 中是开的)。
解答
尚未写出解答。