分析入门学生求助：含整数的域必包含有理数作为子域的证明

嘿，作为分析学入门的同学，这个证明其实是从域的基本运算性质出发，一步步构造同构映射的过程，我来给你拆解清楚每一步：

第一步：构造F的子集F' #

因为F是包含整数的域，根据域的性质：

• F里有加法单位元0和乘法单位元1，所有整数都可以通过1的加法/加法逆元得到（比如2=1+1，-3=-(1+1+1)），所以$\mathbb{Z} \subset F$。
• 域中所有非零元素都有乘法逆元，所以对于任意非零整数$n \in \mathbb{Z}$，$n^{-1}$（$n$在F中的逆元）必然存在于F中。

我们定义F的子集$F'$为：
$$F' = \left{ m \cdot n^{-1} \mid m,n \in \mathbb{Z}, n \neq 0 \right}$$
简单来说，F'就是F中所有“整数除以非零整数”形式的元素，这些元素都合法存在于F中（因为域对乘法封闭，$m$和$n^{-1}$的乘积在F里）。

第二步：定义映射$\Phi: F' \to \mathbb{Q}$ #

我们定义映射$\Phi$为：
$$\Phi(m \cdot n^{-1}) = \frac{m}{n}$$
这里要先确认这个定义是良定义的：如果$m \cdot n^{-1} = p \cdot q^{-1}$（在F中相等），那么两边同时乘以$nq$（F中非零元素，乘法可逆），得到$mq = pn$，对应到有理数里就是$\frac{m}{n} = \frac{p}{q}$，所以$\Phi$的取值不会因为表示方式不同而改变，定义是合理的。

第三步：证明$\Phi$的三个性质 #

1. $\Phi$是双射 #

• 满射：对任意有理数$\frac{m}{n} \in \mathbb{Q}$（$m,n \in \mathbb{Z}, n \neq 0$），取F'中的元素$m \cdot n^{-1}$，显然$\Phi(m \cdot n^{-1}) = \frac{m}{n}$，所以每个有理数都有原像，$\Phi$是满射。
• 单射：假设$\Phi(m \cdot n^{-1}) = \Phi(p \cdot q^{-1})$，即$\frac{m}{n} = \frac{p}{q}$，那么$mq = pn$。在F中两边同时乘以$n^{-1}q{-1}$，得到$m \cdot n^{-1} = p \cdot q^{-1}$，所以原像唯一，$\Phi$是单射。

满射+单射，所以$\Phi$是双射。

2. $\Phi$保持加法运算 #

对任意$a = m \cdot n^{-1}, b = p \cdot q^{-1} \in F'$，计算它们在F中的加法：
$$a + b = m \cdot n^{-1} + p \cdot q^{-1} = mq \cdot (nq)^{-1} + pn \cdot (nq)^{-1} = (mq + pn) \cdot (nq)^{-1}$$
（这里用到了域中逆元的性质：$(nq)^{-1} = n^{-1}q{-1}$，以及乘法对加法的分配律）

然后看$\Phi$的作用：
$$\Phi(a + b) = \Phi((mq + pn) \cdot (nq)^{-1}) = \frac{mq + pn}{nq} = \frac{m}{n} + \frac{p}{q} = \Phi(a) + \Phi(b)$$
所以加法运算被$\Phi$保持。

3. $\Phi$保持乘法运算 #

对任意$a = m \cdot n^{-1}, b = p \cdot q^{-1} \in F'$，计算它们在F中的乘法：
$$a \cdot b = (m \cdot n^{-1}) \cdot (p \cdot q^{-1}) = (m \cdot p) \cdot (n^{-1} \cdot q^{-1}) = (mp) \cdot (nq)^{-1}$$
（这里用到了域中乘法的结合律和逆元的性质）

然后看$\Phi$的作用：
$$\Phi(a \cdot b) = \Phi((mp) \cdot (nq)^{-1}) = \frac{mp}{nq} = \frac{m}{n} \cdot \frac{p}{q} = \Phi(a) \cdot \Phi(b)$$
所以乘法运算也被$\Phi$保持。

最后：为什么这说明F包含有理数作为子域 #

因为$\Phi$是$F'$到$\mathbb{Q}$的域同构（双射+保持加法、乘法运算），这意味着$F'$和$\mathbb{Q}$是结构完全相同的域。同时$F'$是F的子集，并且满足子域的条件：

• $F'$非空（包含$0=0 \cdot 1^{-1}$、$1=1 \cdot 1^{-1}$等）；
• 对加法、乘法封闭（刚才的运算结果都在F'里）；
• 每个非零元素都有逆元（比如$m \cdot n^{-1} \neq 0$时，它的逆元是$n \cdot m^{-1} \in F'$，且$\Phi(n \cdot m^{-1}) = (\Phi(m \cdot n^{-1})){-1}$）。

所以$F'$是F的子域，且与$\mathbb{Q}$同构，我们可以把$F'$等同于$\mathbb{Q}$，也就是说任何包含整数的域F必包含有理数作为子域。

内容的提问来源于stack exchange，提问作者Mihir Sharma