Bourbaki

习题 12, § 6

标签 0BO1,永久不变。引用为 [Bourbaki, Tag 0BO1]。

一般拓扑, III, 318

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

如果对于AA中oo的每个邻域UU,存在oo的邻域VV,则拓扑环的子集MM被称为*右有界*(或*左有界*)这样VM⊂UVM \subset U(分别为MV⊂UMV \subset U);如果 MM 是有界的,则它是左界和右界的。如果AA中存在oo的有界邻域,则AA的拓扑被称为“局部有界”(并且AA被称为“局部有界”拓扑环)。

a) 每个具有右理想的基本系统邻域 oo 由……组成的拓扑环都是右界的。证明如果 II 是无限的,并且 BB 是习题 10 a) 中环的除法,则环 AA 是左界的,但 AA 中不存在 oo 的右界邻域。

b) 如果拓扑环 AA 是右有界(或有界)并且具有 oo 的邻域的基本系统以及 AA 的加法群的子群,则它的基本系统为oo 中的邻域是正确的(分别是两侧的)理想。

c) 有界集合中的每个有限并都是有界的;有界集合的闭包是有界的;如果 MM 和 NN 有界,则 M+NM + N 和 MNMN 也有界。

d) 拓扑环 AA 中的每个预紧集合都是有界的。

e) 如果MM和NN是AA的两个有界子集,证明M×NM \times N的映射(x,y)→xy(x, y) \to xy元素到AA是一致连续的。

f) 令 AA 为具有单位元素的 Hausdorff 拓扑环。证明如果(xn)(x_n)是单位的序列,并且在AA中趋向于oo,那么元素xn−1x_n^{-1}的集合既不是左有界也不是右有界。

g) 如果AA是与单位元素有界的环,则证明映射x→x−1x \to x^{-1}在AA的单位的集合A∗A^*上一致连续。

h) 证明如果AA是一个以单位元素为边界的环的完整豪斯多夫,则单位的集合A∗A^*和AA的根式是闭集[使用g)]。

i) 拓扑环的乘积∏iAi\prod_i A_i的子集是有界的当且仅当其所有投影都是有界的。

j) 局部有界环的每个子环和局部有界环的每个乘积都是局部有界环。

k) 局部有界 Hausdorff 环的完成是局部有界的。

解答

尚未写出解答。

被以下引用

引用了

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