Bourbaki

习题 3, § 3

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

一般拓扑, IV, 388

Bourbaki marks this one as harder than the rest.

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

a) 如果ff是域R\mathbf{R}的同构到R\mathbf{R}的子域,则表明ff必须是R\mathbf{R}的恒等映射到其自身。 [注所有有理数在ff下都是不变的并且

f(x2)=(f(x))2⩾0, f(x^2) = (f(x))^2 \geqslant 0,
所以ff是递增]。

b) 令 K0K_0 为有理分式的域 R(X)\mathbf{R}(X) 在 R\mathbf{R} 上的一个不定数中,通过将多项式 >0> 0 取为首项系数为 >0> 0 的多项式进行排序。令KK为K0K_0的最大有序代数扩张。证明存在 KK 的保序自同构 ff,使得f(ξ)=ξf(\xi) = \xi 对于所有 ξ∈R\xi \in \mathbf{R} 和 f(X)=X2(∗)f(X) = X^2(*)。

解答

尚未写出解答。

被以下引用

引用了

无。

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