Bourbaki

习题 35, § 2

标签 070Q,永久不变。引用为 [Bourbaki, Tag 070Q]。

代数, VI, p. 46

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

如果对于EE中的每个非空开区间]a,b[]a, b[,存在x∈Kx \in K使得a<x<ba < x < b,则有序域E的子域K在E中是稠密的。证明 E 与 K 相当(例 11,a))。如果 E 被取为 R(X)R(X),其中 R 为极大有序域并且 X 相对于 R 无限大(VI,p. 43,例 24),则证明 E 与子域 K=R(X2)K = R(X^2) 相当,但 K 在 E 中并不稠密。 为了使 K 在 E 中稠密,对于 K∩]←,x[K \cap ]\leftarrow , x[ 和 K∩(x,→(K \cap (x, \to ( 的 K 由……组成的所有 x∈Ex \in E 划分是适当的切割是必要且充分的(例 34)。

解答

尚未写出解答。

被以下引用

无。

引用了

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