Bourbaki

习题 26, § 6

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

一般拓扑, III, 324

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

a) Let p,qp, q be two distinct prime numbers and let T\mathfrak{T} be the topology on Q\mathbf{Q} which is the least upper bound of the topologies Tp\mathfrak{T}_p and Tq\mathfrak{T}_q. 那么T\mathfrak{T}局部有界[习题 20 c)]并且与Q\mathbf{Q}的域结构兼容。 对于这个拓扑,两个序列、((p/q)n)n≥0((p/q)^n)_{n \geq 0}、((q/p)n)n≥0((q/p)^n)_{n \geq 0}都没有边界; 序列 (1/pn)n≥0(1/p^n)_{n \geq 0} 无界,但序列 (pn)n≥0(p^n)_{n \geq 0} 有界,不趋于 0 [cf. 习题 22 d)]。 证明Q\mathbf{Q}相对于拓扑T\mathfrak{T}的完备性与拓扑域Qp\mathbf{Q}_p和Qq\mathbf{Q}_q的乘积同构。

b) 如果PP是所有素数数中的集合,则p∈Pp \in P的拓扑Tp\mathfrak{T}_p中最小的上界T0\mathfrak{T}_0与Q\mathbf{Q}的域结构兼容,但不是局部有界的[习题 20 c)]。 Q\mathbf{Q}相对于拓扑T0\mathfrak{T}_0的补全是多少?

解答

尚未写出解答。

被以下引用

引用了

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