Bourbaki

习题 20, § 6

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

一般拓扑, III, 320

Bourbaki marks this one as harder than the rest.

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

a) 设 KK 为除法环,具有与 KK 的 环 结构兼容的非离散 Hausdorff 拓扑 T\mathfrak{T}。 KK的子集MM是右(或左)有界的当且仅当,对于oo的每个邻域UU,存在a∈K∗a \in K^*使得aM⊂UaM \subset U(或Ma⊂UMa \subset U);对于每个 Hausdorff 拓扑 T′\mathfrak{T}',MM 是右(或左)边界,它比 T\mathfrak{T} 更粗糙,并且与 KK 的环结构兼容。

b) 如果 T\mathfrak{T} 局部有界 (习题 12) 并且 UU 是 oo 相对于 T\mathfrak{T} 的有界邻域,则集合 xUxU(分别为 UxUx) 形式 oo 的邻域的基本系统(相对于T\mathfrak{T}),因为xx 贯穿K∗K^*。 KK 的每个点相对于T\mathfrak{T} 都有 oo 邻域的可数基数系统当且仅当存在 KK 的点序列 (an)(a_n) 其中有oo 作为一个集群点。

c) KK(与KK的环结构兼容)上任何有限族局部有界拓扑中的最小上界是局部有界的。相反,如果KK上局部有界拓扑族(Ti)(\mathfrak{T}_i)的最小上界T\mathfrak{T}是局部有界的,则T\mathfrak{T}是(Ti)(\mathfrak{T}_i)的*有限*子族的最小上界。 (注,如果UU是oo的邻域,且相对于T\mathfrak{T}有界,则存在指标(lk)(l_k)的有限系统,并且对于每个kk邻域 oo的VkV_k,以Tlk\mathfrak{T}_{l_k}为界,使得⋂Vk⊂U\bigcap V_k \subset U;另一方面,存在ak∈K∗a_k \in K^*使得U⊂akVkU \subset a_k V_k。)

d) 环 KK 的子集 FF 被称为“准环”,如果: (i) F≠KF \neq K、o∈Fo \in F、1∈F1 \in F、−F=F-F = F、FF⊂FFF \subset F; (ii) 存在元素c∈F∗=F∩K∗c \in F^* = F \cap K^*使得c(F+F)⊂Fc(F + F) \subset F; (iii) 对于每个x∈Fx \in F,都存在y∈Fy \in F,使得yF⊂FxyF \subset Fx和Fy⊂xFFy \subset xF。证明如果 T\mathfrak{T} 是非离散 Hausdorff 拓扑,它局部有界且与 KK 的环结构兼容,则 oo 的每个对称有界邻域 UU(相对于 T\mathfrak{T}),使得UU⊂UUU \subset U 和 1∈U1 \in U 是准环,U∗(U∗)−1=K∗U^*(U^*)^{-1} = K^* [习题 19 b)]。如果VV是oo相对于T\mathfrak{T}的任何对称有界邻域,则元素x∈Kx \in K的集合UU使得xV⊂VxV \subset V(或Vx⊂VVx \subset V)是对称有界oo相对于T\mathfrak{T}的邻域使得UU⊂UUU \subset U和1∈U1 \in U,因此是准环。

e) 相反,令 FF 为 KK 中的拟环,使得 F∗(F∗)−1=K∗F^*(F^*)^{-1} = K^*。证明存在一个 Hausdorff 拓扑 T\mathfrak{T},它不是离散的,并且与 KK 的环结构兼容,使得 FF 是 oo 相对于 T\mathfrak{T} 的有界邻域。特别地,我们可以将FF视为KK的任意子环AA,使得KK是AA的右分式除环。特别是,如果K=QK = \mathbf{Q}和F=ZF = \mathbf{Z},KK上的相应的拓扑T\mathfrak{T}与KK上的域结构不兼容。

解答

尚未写出解答。

被以下引用

引用了

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