2026-08-14 · 让被 p 整除变成距离

0. 导读与元结构 (Orientation & Meta-structure)

通常绝对值认为差越小，两数越近；数论却反复询问另一件事：$x-y$ 能被多高次的某个素数 $p$ 整除？若同余

$$x\equiv y(\mathrm{mod}{p}^N)$$

意味着二者在前 $N$ 层局部信息上无法区分，那么自然应把“被更高次 $p$ 幂整除”直接定义为“更接近”。这正是 p-adic 距离的起点。

本期固定一个素数 $p$。对象与量词分成三层：

1. 算术层：对每个 $x\in {\mathbb{Q}}^{\times }$，记录 $p$ 在 $x$ 中出现的指数 $v_p(x)\in \mathbb{Z}$；
2. 度量层：对每个 $x,y\in \mathbb{Q}$，以 $|x-y{|}_p=p^{-v_p(x-y)}$ 衡量接近；
3. 完备化层：对每条 p-adic Cauchy 列补入极限，得到 ${\mathbb{Q}}_p$，并辨认其单位球 ${\mathbb{Z}}_p$。

前置知识只有唯一分解、同余、度量空间中的 Cauchy 列与完备性。主导证明机制是：把乘法化为赋值的加法，把加法化为最小赋值的下界，再把逐层稳定的同余数据组织成逆极限。

这是 p-adic-locality 三日微弧的第 1 日：今日构造空间；第 2 日让近似多项式根沿 $p,p^2,p^3,\dots$ 逐层提升；第 3 日再把局部可解性放入 local–global principle（局部—整体原理）的地图中。

1. 核心概念、定理与谱系 (Concept, Theorem & Lineage)

1.1 从整除阶数到绝对值

固定素数 $p$。对每个 $x\in {\mathbb{Q}}^{\times }$，存在唯一的 $k\in \mathbb{Z}$ 以及整数 $a,b$，使得

$$x=p^k\frac{a}{b},p\nmid a,p\nmid b.$$

定义 p-adic 赋值 (p-adic valuation)

$$v_p(x)=k,$$

并约定 $v_p(0)=+\mathrm{\infty }$。于是对所有 $x,y\in \mathbb{Q}$，有

$$v_p(xy)=v_p(x)+v_p(y),$$

以及

$$v_p(x+y)\ge min\{v_p(x),v_p(y)\}.$$

第二式为何出现？设 $m=min\{v_p(x),v_p(y)\}$，则 $x=p^m{x}_0$、$y=p^m{y}_0$，其中 $x_0,y_0$ 的分母都不被 $p$ 整除，故 $x+y=p^m(x_0+y_0)$ 至少仍含 $p^m$。若 $v_p(x)\ne v_p(y)$，括号中恰有一项是 p-adic 单位，另一项可被 $p$ 整除，二者之和不能被 $p$ 整除；此时更有

$$v_p(x+y)=min\{v_p(x),v_p(y)\}.$$

定义

$$|0{|}_p=0,|x{|}_p=p^{-v_p(x)}(x\ne 0).$$

则对所有 $x,y\in \mathbb{Q}$，

$$|xy{|}_p=|x{|}_p|y{|}_p,|x+y{|}_p\le max\{|x{|}_p,|y{|}_p\}.$$

后一式称为强三角不等式 (strong triangle inequality)。它比普通三角不等式更强，因而

$$d_p(x,y)=|x-y{|}_p$$

给出一个超度量 (ultrametric)。例如 $p^n\to 0$，因为 $|p^n{|}_p=p^{-n}\to 0$；在通常绝对值下越来越大的数，在这里反而越来越小。

1.2 两种构造，同一个 ${\mathbb{Z}}_p$

定义（完备化模型）：${\mathbb{Q}}_p$ 是度量空间 $(\mathbb{Q},d_p)$ 的 Cauchy 完备化；其 p-adic 整数环为

$${\mathbb{Z}}_p=\{x\in {\mathbb{Q}}_p:|x{|}_p\le 1\}.$$

另有一个纯同余模型。考虑自然约化映射

$$\mathbb{Z}/p^{n+1}\mathbb{Z}⟶\mathbb{Z}/p^n\mathbb{Z}.$$

其逆极限 (inverse limit) 是

$$\underset{n}{\underleftarrow{\lim }}\mathbb{Z}/p^n\mathbb{Z}=\{(a_n{)}_{n\ge 1}:a_n\in \mathbb{Z}/p^n\mathbb{Z},a_{n+1}\equiv a_n(\mathrm{mod}{p}^n)\}.$$

定理（p-adic 整数的逆极限实现）：存在自然的拓扑环同构

$${\mathbb{Z}}_p\cong \underset{n}{\underleftarrow{\lim }}\mathbb{Z}/p^n\mathbb{Z}.$$

证明架构。

• 给定 $x\in {\mathbb{Z}}_p$，取整数列 $m_j\to x$。对每个固定 $n\ge 1$，Cauchy 性保证当 $j,k$ 充分大时
  $$|m_j-m_k{|}_p\le p^{-n},$$
  即 $m_j\equiv m_k(\mathrm{mod}{p}^n)$。故 $m_j$ 模 $p^n$ 最终稳定，记其稳定值为 $a_n$；这些 $a_n$ 自动相容。
• 反之，给定相容系统 $(a_n)$，为每个 $n$ 取整数代表元 $m_n$，使 $m_n\equiv a_n(\mathrm{mod}{p}^n)$。相容性给出：对 $r\ge n$，
  $$|m_r-m_n{|}_p\le p^{-n},$$
  所以 $(m_n)$ 是 Cauchy 列，在完备化中有极限。
• 两个构造互逆；逐层同余还保证加法、乘法与拓扑均被保持。

这解释了何以“模每个 $p^n$ 的相容近似”会成为一个真正的数，而不仅是一串彼此无关的余数。

每个 $x\in {\mathbb{Z}}_p$ 还唯一写成

$$x=a_0+a_{1}p+a_2{p}^2+\cdots ,a_i\in \{0,1,\dots ,p-1\}.$$

级数确实收敛，因为 $|a_i{p}^i{|}_p\le p^{-i}\to 0$。例如

$$-1=(p-1)+(p-1)p+(p-1)p^2+\cdots ,$$

这是 p-adic 意义下的等式：前 $N$ 项之和为 $p^N-1$，与 $-1$ 的差是 $p^N\to 0$。

再取分式域便得到

$${\mathbb{Q}}_p=\mathrm{Frac}({\mathbb{Z}}_p),$$

其中每个非零元素唯一写成 $p^{k}u$，$k\in \mathbb{Z}$ 且 $u\in {\mathbb{Z}}_p^{\times }$。

1.3 超度量几何为何像一棵树

若两个 p-adic 闭球 $B(a,r)$、$B(b,s)$ 相交且 $r\le s$，则较小半径的球包含于较大者；特别地，同半径相交的两个球必相等。证明只需取交点 $z$。对任意 $x\in B(a,r)$，

$$|x-b{|}_p\le max\{|x-a{|}_p,|a-z{|}_p,|z-b{|}_p\}\le s,$$

因此球不是像 Euclidean 空间那样部分重叠，而是彼此分离或逐级嵌套。每个球同时是开集和闭集 (clopen)：球外任一点也有一个不与原球相交的邻域。由逆极限中有限层的逐级选择，${\mathbb{Z}}_p$ 是紧致的；故 ${\mathbb{Q}}_p$ 局部紧致且完全不连通。

这不是“怪异几何”的附属品，而是算法结构：知道一个数模 $p^n$ 的值，就是知道它落在某个半径 $p^{-n}$ 的球中；再求一位，便进入该球的某个子球。

1.4 谱系与现代延伸

Kurt Hensel 在 19 世纪末引入 p-adic 数，其动机之一是把复函数论中幂级数展开的方法移植到数论；1904 年的 Neue Grundlagen der Arithmetik 系统呈现了这种新算术基础。现代教材常把两条路线并列：一条从绝对值完备化 $\mathbb{Q}$，另一条从相容同余类构造 ${\mathbb{Z}}_p$。

一个说明其基础地位的分类结果是 Ostrowski 定理：若 $|\cdot |$ 是 $\mathbb{Q}$ 上非平凡绝对值，则在等价意义下，它不是通常绝对值 $|\cdot {|}_{\mathrm{\infty }}$，就是某个素数 $p$ 对应的 $|\cdot {|}_p$。因此，$\mathbb{R}$ 与各个 ${\mathbb{Q}}_p$ 正是从有理数的非平凡绝对值产生的基本完备化。

研究生延伸。 从 ${\mathbb{Q}}_p$ 出发可进入有限扩张、离散赋值环、分歧与剩余域；再向分析方向可建立 p-adic 幂级数、Haar 测度与 rigid analytic geometry（刚性解析几何）。今日的核心机制仍保留：有限层同余数据通过完备性变成可操作的局部对象。

2. 固定模板习题 (Template Exercise)

题目

设 $I=[a,b]$，$f_n\in C^1(I)$。假设存在 $x_0\in I$，使数列 $(f_n(x_0))$ 收敛；并且 $(f_n^{\prime })$ 在 $I$ 上一致收敛到函数 $g$。证明：存在 $f\in C^1(I)$，使 $f_n$ 一致收敛到 $f$，且 $f^{\prime }=g$。

模板识别

信号是“导数一致收敛 + 一个点上的函数值收敛”。导数只决定函数到一个加法常数；单点收敛固定这个常数。不要直接对导数交换极限，而应先用微积分基本定理把函数重构为“锚点值 + 导数积分”。

分级提示

1. 对每个 $n$ 与 $x\in I$，从 $x_0$ 积分到 $x$，写出 $f_n(x)$。
2. 设 $L=\underset{n}{lim}{f}_n(x_0)$，猜测极限函数应为 $L+{\int }_{x_0}^{x}g(t)dt$。
3. 把 $|f_n(x)-f(x)|$ 分成锚点误差与积分误差，并对 $x\in I$ 取上确界。
4. 最后再使用微积分基本定理识别 $f^{\prime }$；注意一致极限 $g$ 的连续性从何而来。

3. 大家之言 (Mathematician in Their Own Words)

人物与语境。 几何学家 William P. Thurston 的第一人称论文 On Proof and Progress in Mathematics 发表于 1994 年 4 月的 Bulletin of the American Mathematical Society。他讨论的不是某一条定理，而是数学活动究竟在生产什么，以及证明、直觉、语言和不同心智模型如何共同推进理解。

核验引文：

“What they really want is usually not some collection of ‘answers’—what they want is understanding.”

中译：“他们真正想要的通常不是一批‘答案’——他们想要的是理解。”

Thurston 随后用导数的多种理解方式说明：同一形式对象可以同时由符号、几何、变化率、线性逼近与显微镜缩放来把握。p-adic 数也需要这种多表示协同：$v_p$ 是整除计数，$|\cdot {|}_p$ 是距离，逆极限是相容同余系统，数字展开则是逐层分支。它们不是四套互不相干的答案，而是同一局部结构的四种可操作理解。

4. 反例与边界 (Counterexample & Boundary)

4.1 不完备性不是口号：一条没有有理极限的 Cauchy 列

在 $\mathbb{Q}$ 中定义

$$s_N=\sum _{k=1}^N{p}^{k!}.$$

逐项检查：

1. 每个 $s_N$ 都是整数，因而属于 $\mathbb{Q}$。
2. 若 $M>N$，则
   $$s_M-s_N=p^{(N+1)!}(1+p^{(N+2)!-(N+1)!}+\cdots +p^{M!-(N+1)!}).$$
   括号内与 $1$ 模 $p$ 同余，所以
   $$|s_M-s_N{|}_p=p^{-(N+1)!}⟶0.$$
   故 $(s_N)$ 是 p-adic Cauchy 列。
3. 它在 ${\mathbb{Q}}_p$ 中收敛到
   $$s=\sum _{k=1}^{\mathrm{\infty }}{p}^{k!}.$$
   此展开的数字在阶乘位置为 $1$，其余位置为 $0$；相邻的 $1$ 之间有越来越长的零段，因此数字序列不可能最终周期。
4. Keith Conrad 给出的判据表明：${\mathbb{Q}}_p$ 中一个数属于 $\mathbb{Q}$ 当且仅当其 p-adic 展开最终周期。故 $s\notin \mathbb{Q}$。

所以 Cauchy 列存在而有理极限不存在，精确暴露了为何必须完备化。${\mathbb{Q}}_p$ 新增的不是“形式无穷串”，而是这些 Cauchy 近似被迫要求的极限点。

4.2 为何底数必须先取素数

若模仿定义 $v_6(n)$ 为整除 $n$ 的最高次 $6$ 幂，则

$$v_6(2)=0,v_6(3)=0,v_6(2\cdot 3)=v_6(6)=1.$$

于是 $v_6(xy)=v_6(x)+v_6(y)$ 失败，$6^{-v_6(x)}$ 也就不是乘法绝对值。问题不在记号，而在素数提供了唯一分解中的单一不可约方向；合数把多个素方向混在一起。若要同时记录 $2$ 与 $3$，正确对象是赋值向量 $(v_2,v_3)$ 或分别研究两个局部化，而不是把它们粗暴压成一个 $v_6$。

5. 今日一问与数学地图 (Question & Map)

今日一问。 设 $p$ 为奇素数，$a\in \mathbb{Z}$ 且 $p\nmid a$。若同余方程

$$x^2\equiv a(\mathrm{mod}p)$$

有解，是否必存在 $\alpha \in {\mathbb{Z}}_p$ 使 ${\alpha }^2=a$？试着对每个 $n\ge 1$ 构造相容的 $x_n(\mathrm{mod}{p}^n)$。当 $p=2$ 时，“模 $2$ 有根”为什么明显不够？

定向提示。 从 $x_{n+1}=x_n+t{p}^n$ 出发，只保留模 $p^{n+1}$ 有贡献的项；观察线性系数 $2x_n$ 何时可逆。请暂时保留完整证明空间——这正是下一期 Hensel 提升的原型。

数学地图：

$$\text{唯一分解与同余}⟶v_p⟶|\cdot {|}_p⟶{\mathbb{Q}}_p,{\mathbb{Z}}_p⟶\text{Hensel 提升}⟶\text{局部域与分歧}⟶\text{局部—整体原理、类域论与 p-adic 几何}.$$

横向还有两条路：

• 分析线：超度量完备空间 $\to$ p-adic 幂级数 $\to$ Haar 测度与 p-adic Fourier analysis；
• 代数线：离散赋值环 $\to$ 剩余域与完备离散赋值域 $\to$ Galois 群、分歧过滤与局部类域论。

附录 A：习题完整解答 (Full Solution)

展开完整解答

模板：单点锚定 + 导数积分重构 + 上确界估计。

由于每个 $f_n^{\prime }\in C(I)$ 且 $f_n^{\prime }\to g$ 一致，一致极限定理给出 $g\in C(I)$。令

$$L=\underset{n\to \mathrm{\infty }}{lim}{f}_n(x_0),f(x)=L+{\int }_{x_0}^{x}g(t)dt.$$

对每个 $n$ 与每个 $x\in I$，微积分基本定理给出

$$f_n(x)=f_n(x_0)+{\int }_{x_0}^x{f}_n^{\prime }(t)dt.$$

因此

$$\begin{array}{rl}|f_n(x)-f(x)|& \le |f_n(x_0)-L|+|{\int }_{x_0}^x(f_n^{\prime }(t)-g(t))dt|\\ & \le |f_n(x_0)-L|+(b-a)\parallel f_n^{\prime }-g{\parallel }_{\mathrm{\infty }}.\end{array}$$

右端与 $x$ 无关，故

$$\parallel f_n-f{\parallel }_{\mathrm{\infty }}\le |f_n(x_0)-L|+(b-a)\parallel f_n^{\prime }-g{\parallel }_{\mathrm{\infty }}⟶0.$$

所以 $f_n\to f$ 一致。又因 $g$ 连续，由微积分基本定理，函数

$$f(x)=L+{\int }_{x_0}^{x}g(t)dt$$

属于 $C^1(I)$ 且 $f^{\prime }(x)=g(x)$。证毕。

这里的单点条件不可随意删去：若 $f_n(x)=n$，则 $f_n^{\prime }\equiv 0$ 一致收敛，但 $(f_n)$ 在任何点都不收敛，更不可能一致收敛。

资料与来源 (Sources)

1. Andrew V. Sutherland, 18.782 Introduction to Arithmetic Geometry, Lecture #4: The Ring of p-adic Integers, MIT OpenCourseWare, 2013-09-17. 逆极限定义、${\mathbb{Z}}_p$、p-adic 展开、赋值与离散赋值环。
   https://ocw.mit.edu/courses/18-782-introduction-to-arithmetic-geometry-fall-2013/f7cc2a94e9b4dc60178da5c0a793e610_MIT18_782F13_lec4.pdf

2. Andrew V. Sutherland, 18.782 Introduction to Arithmetic Geometry, Lecture #5: The Field of p-adic Numbers, Absolute Values, Ostrowski’s Theorem for $\mathbb{Q}$, MIT OpenCourseWare, 2013-09-19. ${\mathbb{Q}}_p$、非 Archimedean 绝对值与 Ostrowski 定理。
   https://ocw.mit.edu/courses/18-782-introduction-to-arithmetic-geometry-fall-2013/6fa17c4b03bb6826fd2731ee2da74e2b_MIT18_782F13_lec5.pdf

3. Keith Conrad, The p-adic Expansion of Rational Numbers. 有理数恰对应最终周期 p-adic 展开的定理及实例。
   https://kconrad.math.uconn.edu/blurbs/gradnumthy/rationalsinQp.pdf

4. Keith Conrad, Hensel’s Lemma. Hensel 提升的基本形式、Newton 方法、历史说明及 1904 原始文献线索。
   https://kconrad.math.uconn.edu/blurbs/gradnumthy/hensel.pdf

5. Luc Bélair, Panorama of p-adic Model Theory, Annales des sciences mathématiques du Québec 36(1), 2012, pp. 43–75，尤见 §2.1 对 ${\mathbb{Z}}_p$、${\mathbb{Q}}_p$、完备化、逆极限与 Hensel 历史动机的综述。
   https://www.labmath.uqam.ca/~annales/volumes/36-1/PDF/043-075.pdf

6. Kurt Hensel, Neue Grundlagen der Arithmetik, Journal für die reine und angewandte Mathematik 127 (1904), pp. 51–84. EuDML 书目信息及原文入口。
   https://eudml.org/doc/149178

7. William P. Thurston, On Proof and Progress in Mathematics, Bulletin of the American Mathematical Society (New Series) 30(2), 1994, pp. 161–177. 本期“大家之言”的第一人称论文与核验引文来源。
   https://www.ams.org/journals/bull/1994-30-02/S0273-0979-1994-00502-6/S0273-0979-1994-00502-6.pdf