2026-09-24 · 何时能同时校正所有方程

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

昨日以一个单位导数校正一个方程；联立方程则要求同一次修正消去整个残差向量。若线性化的 Jacobian 不可逆，模素数有解也可能既无法提升，或提升不唯一。这是三日局部分析微弧的第 3 日：由单变量 Newton 盆地、完备环单根，走到多元形式隐函数及奇异点边界。

对象是完备分离局部环 $(R,\mathfrak{m})$、$r$ 元未知量 $X=(X_1,\dots ,X_r)$ 与 $r$ 个多项式组成的映射 $F:R^r\to R^r$；量词从给定一组剩余类解开始，对每个精度 $n$ 构造相容修正，而非泛称所有解均唯一。前置是局部环单位判据、矩阵伴随公式、理想幂与逆极限；关键机制为向量 Taylor 展开和可逆线性系统。去向是形式参数族、étale (形式无穷小唯一提升) 与奇异点的形变障碍。

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

问题与定义。 设 $R$ 为交换含幺局部环，极大理想 $\mathfrak{m}$，剩余域 $k=R/\mathfrak{m}$，并假定自然映射 $R\to {\underleftarrow{\lim }}_{n\ge 1}R/{\mathfrak{m}}^n$ 为同构。给定 $F=(F_1,\dots ,F_r)\in R[X_1,\dots ,X_r{]}^r$，定义 $J_F(x)=(\partial F_i/\partial X_j(x){)}_{1\le i,j\le r}$。一个方阵 $J$ 在 $R$ 上可逆当且仅当 $detJ\notin \mathfrak{m}$：此时 $J^{-1}=(detJ{)}^{-1}\mathrm{adj}(J)$。这正把昨日的“单位导数”推广为“单位行列式”。

引理（向量余项）。 对任意 $x,h\in R^r$，$F(x+h)=F(x)+J_F(x)h+Q_x(h)$，其中若每个 $h_j\in {\mathfrak{m}}^n$，则 $Q_x(h)\in ({\mathfrak{m}}^{2n}{)}^r$。理由是逐项展开有限多项式：零次、一阶之外的每项至少含两个 $h$ 因子。无需实分析的极限或除以阶乘。

定理（多元单点提升）。 对每个 $r\ge 1$、每个上述 $(R,\mathfrak{m})$、每个 $F\in R[X{]}^r$ 及每个 $\overline{a}\in k^r$，若 $\overline{F}(\overline{a})=0$ 且 $det\overline{J_F}(\overline{a})\ne 0$，则存在唯一 $a\in R^r$，满足 $F(a)=0$ 且 $amod\mathfrak{m}=\overline{a}$。唯一只限指定的剩余类。

证明架构。 选 $x_1\in R^r$ 提升 $\overline{a}$；归纳若 $F(x_n)\in ({\mathfrak{m}}^n{)}^r$，则 $J_F(x_n)$ 在模 $\mathfrak{m}$ 后与 $J_F(x_1)$ 相同，故仍可逆。令 $h_n=-J_F(x_n{)}^{-1}F(x_n)\in ({\mathfrak{m}}^n{)}^r$，并令 $x_{n+1}=x_n+h_n$。引理给 $F(x_{n+1})\in ({\mathfrak{m}}^{2n}{)}^r\subseteq ({\mathfrak{m}}^{n+1}{)}^r$；同时 $x_{n+1}\equiv x_n(\mathrm{mod}{\mathfrak{m}}^n)$。完备性使这些相容向量确定 $a$，分离性使 $F(a)=0$。若 $F(a)=F(b)=0$ 且 $a-b\in {\mathfrak{m}}^r$，多项式差可以写作 $F(a)-F(b)=M(a,b)(a-b)$，其中 $M(a,b)mod\mathfrak{m}=J_F(\overline{a})$；$M$ 的行列式为单位，故 $a=b$。这里没有假定 $R$ 是整环，也不能靠逐坐标“约去”可能的零因子。

例子与延伸。 在 ${\mathbb{Z}}_5$ 上取 $F_1(X,Y)=X^2+Y-2$、$F_2(X,Y)=X+Y^2-2$，剩余解 $(1,1)$ 的 Jacobian 为 $\left(\begin{array}{cc}2& 1\\ 1& 2\end{array}\right)$，行列式 $3$ 是单位；$(1,1)$ 本来就是精确解，而定理额外断言模 $5$ 为 $(1,1)$ 的精确解只有它。形式参数情形：若 $F\in {\mathbb{Z}}_5[[T_1,\dots ,T_s]][X{]}^r$ 且 $F(a_0,0)=0$、$det{J}_{X}F(a_0,0)\in {\mathbb{Z}}_5^{\times }$，在完备局部环 $S={\mathbb{Z}}_5[[T_1,\dots ,T_s]]$（极大理想 $(5,T_1,\dots ,T_s)$）套用定理得唯一 $x(T)\in S^r$，满足 $F(x(T),T)=0$、$x(0)=a_0$。后一等式由在 $T=0$ 后应用 ${\mathbb{Z}}_5$ 中的唯一性得出。于是每个分量都属于 $a_{0,j}+(T_1,\dots ,T_s)S$。

研究生延伸。 Stacks Project 的 formally étale 定义要求对每个平方零理想的提升图都有唯一箭头；今天的“线性项可逆、平方余项消失”展示了标准 étale 方程在无穷小厚化上的局部机制，并非断言任意多项式商仅凭某一个点的 Jacobian 条件就全局 étale。若方程数少于未知量，合适的 Jacobian 子式可逆时，剩余变量成为自由坐标，这对应正相对维数的 smooth (光滑) 情形。形式 $x(T)$ 是幂级数恒等式，不自动保证可以把任意 $T_j\in {\mathbb{Z}}_5$ 代进去。

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

题目。 设 $K$ 是紧致拓扑空间，$f_n:K\to \mathbb{R}$ 都连续，且对每个 $x\in K$ 有 $f_{n+1}(x)\le f_n(x)$ 和 $f_n(x)\to 0$。证明 $f_n\to 0$ 一致收敛。说明若删掉紧致性，结论可否失败。

模板识别。 连续函数单调趋于连续极限，定义误差超水平集；紧致性如何把逐点的最终消失变成统一精度？这是 Dini 定理 (Dini's theorem) 的嵌套闭集模板，并非昨日的 ε 三分法。

分级提示。

1. 固定 $\epsilon >0$，考虑 $E_n=\{x\in K:f_n(x)\ge \epsilon \}$。
2. 验证各 $E_n$ 闭且递减；逐点趋零意味着它们的交集是什么？
3. 在紧致空间中，一列递减非空闭集能否有空交集？再试 $K=(0,1)$ 上的单调函数列。

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

数学家 Antonio Auffinger 在 Terence Tao 博客 2026-09-22 的客座第一人称文章 “Open problems, open mathematics” 中，讨论与生物学者交流及数学的问题选择（页面开头明确标明 guest post，而非 Tao 自撰）。原文摘录：

“This is not just because of our capacity as proof builders, but also because of our capacity for abstraction and for understanding phenomena.”

中译：“这不仅因为我们能构造证明，也因为我们能抽象并理解现象。”我的解读：今天把单根校正提炼成向量 Jacobian 判据，正是从具体计算中提取可迁移的机制；这不是 Auffinger 在谈 Hensel 引理，也不以数学思想代替上述引理的证明。来源：https://terrytao.wordpress.com/2026/09/22/open-problems-open-mathematics/。

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

奇异点：存在与唯一性分别会坏。 仍在完备环 $R={\mathbb{Z}}_5$，取 $F(X,Y)=(X^2-5,Y)$ 与剩余向量 $(0,0)\in {\mathbb{F}}_5^2$。逐项核对：$\overline{F}(0,0)=0$；$J_F(0,0)=\mathrm{diag}(0,1)$，其行列式模 $5$ 为 $0$。若有精确解，则 $x^2=5$；$x\ne 0$ 时 $2v_5(x)=1$ 不可能，故无提升。再取 $G(X,Y)=(X^2,Y)$，同一剩余解、同样的奇异 Jacobian，却有精确解 $(0,0)$；其余模 $5$ 为 $(0,0)$ 的精确解是否还有？${\mathbb{Z}}_5$ 是整环，$x^2=0$ 只允许 $x=0$，故这里依然唯一：Jacobian 条件是充分条件，不是存在或唯一性的必要条件。最后取 $H(X,Y)=(XY,Y)$；模 $5$ 的 $(0,0)$ 为解，Jacobian 为零矩阵；每个 $x\in 5{\mathbb{Z}}_5$ 都使 $(x,0)$ 为精确解，所以这回不唯一。三例的环、剩余类和完备性相同；变化的正是线性化失秩之后的高阶结构。

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

今日一问。 若 $F=(F_1,\dots ,F_{r-1})$ 是 $r-1$ 个 $r$ 元多项式，且某个 $(r-1)\times (r-1)$ Jacobian 子式在剩余解 $\overline{a}=(\overline{u},\overline{t})$ 处可逆：固定最后一坐标 $t$ 为 $R$ 中任意提升 $\overline{t}$ 的元素，是否总能得到唯一的其余 $r-1$ 个坐标、且剩余类保持为 $\overline{u}$？先辨清参数的剩余类，再考虑将已选 $t$ 固定为系数；不要把“自由参数”误读成所有模 $\mathfrak{m}$ 的解只有一个。

地图：局部环单位与向量 Taylor $⟶$ 今日可逆 Jacobian 的同步提升 $⟶$ 形式参数族与 smooth/étale 局部图景 $⟶$ 奇异提升的障碍、形变理论。微弧至此闭合；若走向 $p$-进数值应用，尚须单独检查参数代入的收敛域。

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

展开完整解答

可复用模板：Dini 的嵌套闭集紧致性法。 由 $f_n(x)\downarrow 0$ 可知每个 $f_n(x)\ge 0$。固定 $\epsilon >0$，令 $E_n=\{x\in K:f_n(x)\ge \epsilon \}$。连续性保证 $E_n$ 闭，单调性保证 $E_{n+1}\subseteq E_n$；逐点趋零保证 $\bigcap _{n\ge 1}{E}_n=\varnothing$。若所有 $E_n$ 均非空，则这些闭集具有有限交性质（任意有限交等于最大编号对应的非空 $E_n$），与紧致性矛盾。故存在 $N=N(\epsilon )$ 使 $E_N=\varnothing$；对每个 $n\ge N$ 及每个 $x\in K$，有 $0\le f_n(x)\le f_N(x)<\epsilon$。这正是一致收敛。

删掉紧致性可取 $K=(0,1)$、$f_n(x)=(1-x{)}^n$：函数连续、逐点递减趋 $0$，但对每个 $n$，$\underset{x\in (0,1)}{sup}{f}_n(x)=1$，故不一致收敛（上确界无需被取到）。

资料与来源 (Sources)

1. The Stacks Project, Algebra, §10.153 “Henselian local rings”，定义 10.153.1、引理 10.153.2 及完备环相关结论；本期多元向量修正给出自足论证。https://stacks.math.columbia.edu/tag/04GE
2. The Stacks Project, Algebra, §10.150 “Formally étale maps”，定义 10.150.1（平方零提升的存在与唯一）；此处仅用于研究生延伸的精确术语。https://stacks.math.columbia.edu/tag/00UP
3. The Stacks Project, Algebra, §10.137 “Smooth ring maps”，定义 10.137.5 与引理 10.137.6（可逆 Jacobian 子式下的 standard smooth）。https://stacks.math.columbia.edu/tag/00T1
4. Antonio Auffinger, “Open problems, open mathematics,” guest post on Terence Tao, What's new, 2026-09-22；第三节原文来自此页，不是 Tao 的署名主张。https://terrytao.wordpress.com/2026/09/22/open-problems-open-mathematics/
5. 前期归档：2026-09-22 与 2026-09-23《每日数学》，分别见 /opt/data/output/daily-mathematics-journal/2026/09/2026-09-22.md、/opt/data/output/daily-mathematics-journal/2026/09/2026-09-23.md。