Bourbaki

习题 2, § 3

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

拓扑向量空间, III, p. 41

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

设 EE 和 FF 是两个Hausdorff局部凸空间,和S\mathfrak{S} ** EE的有界子集族。 a) 证明如果 FF 不只是0,那么LS(E;F)\mathscr{L}_{\mathfrak{S}} (E ; F) 成为Hausdorff的必要(且充分)条件是 S\mathfrak{S} 的集合的并总计为 EE(使用Hahn-Banach th.)。 b) 假设 S\mathfrak{S} 是 EE 的封面。 证明存在从 FF 到 LS(E;F)\mathscr{L}_{\mathfrak{S}} (E ; F) 的闭子空间的同构。 推论如果 LS(E;F)\mathscr{L}_{\mathfrak{S}} (E ; F) 是准完备的,则FF 必然是准完备的。 c) 假设 S\mathfrak{S} 是适应 EE (III, p. 3, def. 4) 的出生学。 在阶中 LS(E;F)\mathscr{L}_{\mathfrak{S}} (E ; F) 可度量, FF 可度量并且对于出生学 S\mathfrak{S} 存在可数的基 (III, p. 1) 是充分必要的。 在阶中, L(E;F)\mathscr{L}(E ; F) 上的 S\mathfrak{S}-拓扑由单个范数定义, FF 的拓扑可以由单个范数定义并且存在集合 是必要且充分的M∈SM \in \mathfrak{S} 吸收每集合 ** S\mathfrak{S}。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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