Bourbaki

习题 19, § 1

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

拓扑向量空间, IV, p. 50

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

令 E 和 F 为两个 Hausdorff 局部凸空间,E' 和 F' 为它们的对偶。对于从E到F的连续线性映射的每个空间L(E;F)\mathscr{L}(E; F)的子集H,令'H表示映射u∈Hu \in H的转置的集合。对于 E(或 F')的每个子集 M(或 N'),令 H(M)(或 'H(N'))表示集合 u(M)u(M)(或 'u(N'))的并,因为 u 的范围大于 H。 a) 为了使 H 等连续,对于 F' 的每个等连续子集 N','H(N') 是 E' 的等连续子集是充分必要的。 b) 令 S\mathfrak{S} 为 E 的有界子集的集合。证明对于 S\mathfrak{S} 拓扑,H 在 L(E;F)\mathscr{L}(E; F) 内有界,当且仅当对于每个 y′∈F′y' \in F','H(y') 在 S\mathfrak{S} 拓扑的 E 内有界。

c) 令S\mathfrak{S}为E的有界子集的集合,F的有界子集的J\mathfrak{J}集合,形成F的适应出生学(III,p. 3,def.4)。假设为 E′E' 分配了 S\mathfrak{S} 拓扑,为 F′F' 分配了 J\mathfrak{J} 拓扑。那么′H'H是等连续的当且仅当对于每个集合B∈SB \in \mathfrak{S},H(B)H(B)属于到J\mathfrak{J}。特别是,对于F′F'和E′E'上的强拓扑,′H'H是等连续的,当且仅当对于有界收敛的拓扑,HH有界于L(E;F)\mathscr{L}(E; F)。 d) 从b)和c)推出,如果当F′F'和E′E'被分配强拓扑时,′H'H有界于L(F′;E′)\mathscr{L}(F'; E')的简单收敛拓扑,则′H'H对于这些拓扑是等连续的。 e) 证明如果 E 是桶装的,则以下属性是等效的: α) HH 简单地限制在 L(E;F)\mathscr{L}(E; F) 内; β) HH 等连续; γ) 当E′E'被分配弱拓扑σ(E′,E)\sigma(E', E)时,′H'H简单地有界于L(F′;E′)\mathscr{L}(F'; E'); δ) 当 E′E' 和 F′F' 被指定为强拓扑时,′H'H 是等连续的。 f) 证明如果 E 是 infrabarrelled (III, p. 44, exerc. 7),则 e) 的性质 β) 和 δ) 是等价的,并且也等价于以下: ε) HH 的边界为 L(E;F)\mathscr{L}(E; F),对于拓扑有界收敛; 当 E′E' 被赋予强拓扑时,′H'H 简单地限制在 L(F′;E′)\mathscr{L}(F'; E') 中。 g) 证明如果 E 是准完备的,则 e) 的性质 α)、γ) 和 δ) 是等价的。

解答

尚未写出解答。

被以下引用

无。

引用了

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