2026-09-23 · 从一枚近似根到整族精确根

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

2026-08-15 已在 ${\mathbb{Z}}_p$ 中提升模 $p$ 单根；昨日又比较 $v_p(F(a))$ 与 $2v_p(F^{\prime }(a))$，即使导数不是单位，仍可找到某些 Newton 初值。今天问另一件事：如果导数是单位，如何在一般局部环中把根逐层提升？若方程还带参数，能否一次得到整族解，而不为每个参数重做计算？这是三日“强 Hensel 与局部隐函数”微弧的第 2 日；新增的不是另一个收敛盆地，而是从数值初值转向相容近似解的逆极限及形式隐函数 (formal implicit function)。

对象层：局部环 $(R,\mathfrak{m})$、剩余域 $k=R/\mathfrak{m}$、$F\in R[X]$ 或 $R[[T]][X]$；量词层：对每一层 $n$ 构造模 ${\mathfrak{m}}^n$ 的相容根，然后由完备性取得一个根。需要多项式 Taylor 展开、单位的判据、完备且分离的 $\mathfrak{m}$-进拓扑。主引擎是“可逆线性项修正误差，平方项落入更深一层”；后续通往多元 Jacobian 判据、Henselian ring 与算术形变。

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

1.1 一层一层，而非一步到位

设 $R$ 是交换含幺局部环，唯一极大理想为 $\mathfrak{m}$；若自然映射 $R\to {\underleftarrow{\lim }}_{n\ge 1}R/{\mathfrak{m}}^n$ 是同构，就称它为完备且分离的 $\mathfrak{m}$-进环 (complete separated $\mathfrak{m}$-adic ring)。分离指 $\bigcap _{n\ge 1}{\mathfrak{m}}^n=0$；满射部分保证每个相容的余类族确实来自 $R$。此处对幂级数环使用 $(\mathfrak{m},T)$-进完备性；无须假定 $R$ 是域或 Noetherian。

定理（完备局部环的单根提升）。 对每个如此的 $(R,\mathfrak{m})$、每个 $F\in R[X]$ 及每个 $\overline{a}\in k$，若

$$\overline{F}(\overline{a})=0,\overline{F^{\prime }}(\overline{a})\ne 0,$$

则存在唯一 $a\in R$，使 $F(a)=0$ 且 $amod\mathfrak{m}=\overline{a}$。这里“唯一”只限于指定剩余类，不排除别的剩余类中有根。

证明架构。 任取 $x_1\in R$ 提升 $\overline{a}$。因 $F^{\prime }(x_1)$ 模 $\mathfrak{m}$ 非零，它是 $R$ 的单位。若已得到 $F(x_n)\in {\mathfrak{m}}^n$，置

$$x_{n+1}=x_n-F^{\prime }(x_n{)}^{-1}F(x_n).$$

校正量 $h_n=x_{n+1}-x_n\in {\mathfrak{m}}^n$。多项式恒等式 $F(x+h)=F(x)+F^{\prime }(x)h+h^{2}G(x,h)$ 给出 $F(x_{n+1})\in {\mathfrak{m}}^{2n}\subseteq {\mathfrak{m}}^{n+1}$；同时 $x_{n+1}\equiv x_n(\mathrm{mod}{\mathfrak{m}}^n)$，而 $F^{\prime }(x_{n+1})$ 仍为单位。于是对每个 $n\ge 1$ 有相容的 $x_{n}mod{\mathfrak{m}}^n$，完备性提供 $a$；连续性和分离性给 $F(a)=0$。若 $a,b$ 是同一剩余类中的根，则 $F(a)-F(b)=(a-b)U$，其中 $U\equiv F^{\prime }(a)(\mathrm{mod}\mathfrak{m})$ 是单位，故 $a=b$。注意：平方误差的代数估计并不替代最后一步的完备性。

1.2 把参数也视作局部环中的“微小量”

取 $R={\mathbb{Z}}_p$，给定 $F(X,T)\in R[[T]][X]$ 与 $a_0\in R$，假设

$$F(a_0,0)=0,{\partial }_{X}F(a_0,0)\in R^{\times }.$$

环 $S=R[[T]]$ 对极大理想 $\mathfrak{n}=(p,T)$ 完备且分离（可按总的 $p,T$-进阶数逐层读取系数）；其剩余域是 ${\mathbb{F}}_p$。对 ${\overline{a}}_0\in {\mathbb{F}}_p$ 应用上一定理，得到唯一 $x(T)\in R[[T]]$，满足

$$F(x(T),T)=0,x(T)\equiv a_0(\mathrm{mod}(p,T)).$$

再置 $T=0$：$x(0)$ 与 $a_0$ 是 $R$ 中同一模 $p$ 剩余类的根，故 $x(0)=a_0$。因此也可把结论写成 $x(T)\in a_0+TR[[T]]$。这就是一个形式隐函数定理 (formal implicit function theorem)；不要求关于实变量的可微性。

可见的例子：$F(X,T)=X^2-(1+T)$，在 $p$ 为奇素数时 $a_0=1$，${\partial }_{X}F(1,0)=2$ 是单位。写 $x(T)=1+c_{1}T+c_2{T}^2+\cdots$，逐次比较系数给 $2c_1=1$、$2c_2+c_1^2=0$，故 $c_1=1/2,c_2=-1/8$（均在 ${\mathbb{Z}}_p$ 内）。每层求新系数只需除以同一个单位 $2$。昨日的强 Hensel 定理处理了某些导数非单位的初值；今天的形式族定理选择单位导数，换得对参数的系统控制，两者不可互相替换。

研究生延伸。 Stacks Project 将单根提升用作 Henselian local ring 的性质，指出完备局部环是 Henselian，并将其与模极大理想的互素因子分解、étale 局部截面相连。形式解是否还能在某个数值参数上求值，属于另一个问题：形式幂级数本身只保证形式恒等式；对 $T\in p{\mathbb{Z}}_p$，系数有界且 $T^n\to 0$，因而此处 $x(T)$ 可实际代入，不能由形式性推断在任意 $T\in {\mathbb{Z}}_p$ 上都可代入。

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

题目。 设 $(K,d)$ 为度量空间，$f_n:K\to \mathbb{R}$ 对每个 $n\ge 1$ 都连续，并且 $f_n\to f$ 在 $K$ 上一致收敛。证明 $f:K\to \mathbb{R}$ 连续；不得额外假设 $K$ 紧致。

模板识别。 一个函数本身没有显见的连续性信息，却被连续函数以一致误差逼近：应固定某个足够大的指标，再用该固定函数在所研究点的局部连续性。这是“ε 三分法”模板。

分级提示。

1. 对给定 $x\in K$ 和 $\epsilon >0$，一致收敛让你选择一个 $N=N(\epsilon )$，它不依赖附近的 $y$。
2. 把 $|f(y)-f(x)|$ 拆成两个逼近误差与一个 $f_N$ 的局部变化。
3. 先固定 $N$，再由 $f_N$ 在 $x$ 的连续性选 $\delta =\delta (x,\epsilon ,N)$；三项各小于 $\epsilon /3$。

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

John Baez 于 2026-09-21 在自己的博客 Azimuth 文章 “Binomial Coefficient Coincidences” 的评论区回复读者：同维数的两个表示未必同构；反过来，同构立刻给出维数相同。他以第一人称说明他为何把“解释”理解成更强结构向较弱数值投影。以下短句取自该页 Baez 自己的回复，而非其他评论者：

“The water flows downhill, but it doesn’t flow back up.”

中译：“水顺坡流下，却不会沿原路流回去。”这里是对推理方向的比喻，不是新的定理。对今日主题亦然：模 $p$ 的根是精确根的一个影子，却不能单凭一个剩余根反推完备环中的根；还须导数可逆和适当的存在性机制。这只是本期作者对两种论证结构的类比，不是 Baez 对 Hensel 引理所作的评论。

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

仅有局部性与单根，而没有完备性，不够。 取 $R={\mathbb{Z}}_{(3)}=\{a/b\in \mathbb{Q}:3\nmid b\}$，极大理想 $\mathfrak{m}=3R$，$F(X)=X^2-7$，以及模 $3$ 的 $\overline{a}=1$。逐项核对：$F(1)=-6\in 3R$；$F^{\prime }(1)=2\notin 3R$，所以这确是模 $3$ 单根。若 $F$ 在 $R\subset \mathbb{Q}$ 中有根，$7$ 就是有理数的平方；设既约分数 $a/b$ 满足 $a^2=7b^2$，则 $7\mid a$ 继而 $7\mid b$，矛盾。因此结论在 $R$ 中失效。但 $R$ 的 $3$-进完备化 ${\mathbb{Z}}_3$ 确有该剩余类中的根：今天定理应用到 ${\mathbb{Z}}_3$ 即可。局部性负责辨别单位；完备性负责容纳相容序列的极限。

也不能删掉单位导数条件。 在完备的 ${\mathbb{Z}}_3$ 中取 $G(X)=X^2-3$ 与 $\overline{a}=0$：$G(0)\equiv 0(\mathrm{mod}3)$，但 $G^{\prime }(0)=0$ 非单位。若 $x^2=3$，则 $2v_3(x)=1$，与 $v_3(x)\in {\mathbb{Z}}_{\ge 0}$ 矛盾。故这一次失败不来自缺少完备性，而来自无法逐层解线性校正。反之，非单位导数也并非一律无解——昨日的强 Hensel 条件正提供了一类可解情形。

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

今日一问。 对 $F_1,\dots ,F_r\in {\mathbb{Z}}_p[[T_1,\dots ,T_s]][X_1,\dots ,X_r]$，假设 $F_i(a,0)=0$ 且 $X$-Jacobian 行列式在 $a$ 处为单位：怎样把上一节的逐层线性校正改成向量校正？在唯一性的证明里应对哪个矩阵取模极大理想，才能确保差向量为零？请只建立修正与唯一性机制，不必直接调用现成多元定理。

地图：$p$-进赋值、局部环与逆极限 $⟶$ 昨日强 Hensel 的初值盆地 $⟶$ 今日完备局部环的单根与形式参数族 $⟶$ 明日多元 Jacobian $⟶$ Hensel 化、étale 局部几何与算术形变。特别注意：结构性的“形式解存在”与分析性的“对每个参数取值”是两种不同命题。

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

展开完整解答

可复用模板：固定一致逼近指标，再对固定函数使用点态连续性（ε 三分法）。 任取 $x\in K$ 及 $\epsilon >0$。一致收敛保证存在 $N=N(\epsilon )\ge 1$，使对所有 $z\in K$，$|f_N(z)-f(z)|<\epsilon /3$。因 $f_N$ 在 $x$ 连续，存在 $\delta =\delta (x,\epsilon ,N)>0$，使对所有 $y\in K$，若 $d(x,y)<\delta$，则 $|f_N(y)-f_N(x)|<\epsilon /3$。因此对每个这样的 $y$，

$$|f(y)-f(x)|\le |f(y)-f_N(y)|+|f_N(y)-f_N(x)|+|f_N(x)-f(x)|<\epsilon .$$

因为 $x,\epsilon$ 任意，$f$ 在 $K$ 上连续。证明没有用紧致性；关键是选出的 $N$ 同时控制 $x$ 与所有可能的 $y$。若只有逐点收敛，$N$ 可依赖 $y$，此量词交换不成立。

资料与来源 (Sources)

1. The Stacks Project, Algebra, §10.153 “Henselian local rings”, Definition 10.153.1、Lemmas 10.153.2 与 10.153.9：单根提升与完备局部环的 Henselian 性质；本期的 ${\mathbb{Z}}_p[[T]]$ 论证是在该框架下逐层展开的特例。https://stacks.math.columbia.edu/tag/04GE
2. The Stacks Project, “Restricted power series,” §87.28：区分形式幂级数和有拓扑收敛保证的受限幂级数的参考；本期数值特化另以 $|T{|}_p<1$ 直接验证。https://stacks.math.columbia.edu/tag/0AKZ
3. John Baez, “Binomial Coefficient Coincidences,” Azimuth, 2026-09-20；第三节引语来自 Baez 在该文页面上 2026-09-21 的本人回复。https://johncarlosbaez.wordpress.com/2026/09/20/binomial-coefficient-coincidences/#comment-227693
4. 2026-08-15《每日数学》，“让模 $p$ 的根长成精确根：Hensel 提升、Newton 迭代与导数单位条件”，本地归档：/opt/data/output/daily-mathematics-journal/2026/08/2026-08-15.md。2026-09-22《每日数学》，“导数不再是单位时：强 Hensel 引理、Newton 盆地与二进平方判据”，本地归档：/opt/data/output/daily-mathematics-journal/2026/09/2026-09-22.md。