Bourbaki

习题 13, § 3

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

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

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

a) 令 E, F 为两个 Fréchet 空间,G 为局部凸 Hausdorff 空间,E', F', G' 分别为 E, F, G 的对偶。设uu是从E′×F′E' \times F'到G′G'的双线性映射,当E',F',G'被分配弱拓扑σ(E′,E)\sigma(E', E),σ(F′,F)\sigma(F', F)和σ(G′,G)\sigma(G', G)时,它是单独连续的(III,p. 28)。证明在这些条件下,当E'、F'和G'被分配强拓扑时,uu是从E′×F′E' \times F'到G′G'的连续映射。 (对于z∈Gz \in G,将⟨z,u(x′,y′)⟩=⟨vz(x′),y′⟩\langle z, u(x', y') \rangle = \langle v_z(x'), y' \rangle放在vz(x′)∈Fv_z(x') \in F的位置。首先证明,如果E′E'被分配了强拓扑和FF初始拓扑,那么所有vzv_z的集合,因为zz范围超过一个有界集合CC在GG中,是等连续的;对于此用途IV,p. 51,练习19,dd)。接下来证明,对于E′E'的强拓扑,存在00的邻域V′V',使得当zz范围超过CC时,集合vz(V′)v_z(V')的并有界于FF;为此使用III,p. 47,锻炼。 5.) b) 给出例,证明如果我们假设EE是Fréchet 空间并且FF是Fréchet 空间的严格归纳极限(III,p. 47,执行3),则a)的结论不成立。

解答

尚未写出解答。

被以下引用

无。

引用了

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