2.3 齐次化与射影闭包

2.3 齐次化与射影闭包

别以为齐次化是什么高深的构造——它是一条三行的改写规则，任何会补项的人都会做。也别以为它可有可无：没有它，2.2 节的射影空间只是一个漂亮的空房子；有了它，每一条仿射曲线都自动长出"无穷远处的尾巴"，贝祖定理的账本才终于能一笔不漏地结算。本节把规则立成算法，然后把全册的几位老朋友挨个过一遍，算清各自的无穷远点。

齐次化：设 f(x, y) 的总次数为 d，把每项 x^a·y^b 乘上 Z 的 (d−a−b) 次幂补齐到总次数 d，得到齐次多项式 F(X, Y, Z)。射影闭包：V(F) 在 P² 中的零点集，称为 f 的零点集的射影闭包；令 Z=1 即得原来的仿射曲线，多出来的部分全在无穷远直线 Z=0 上。

一、算法：补 Z 的三行规则

把 x 看作 X/Z、y 看作 Y/Z，代入 f 再通分，分母就是 Z 的幂。举例最直白：

f = x² + y − 1，次数 d = 2

x² → (X/Z)²，缺 1 次；y → Y/Z，缺 1 次；−1 → −1，缺 2 次。通分乘上 Z²：

F = X² + YZ − Z²

检验齐次性：X²、YZ、Z² 各是二次。令 Z=1 得回 x²+y−1，令 Z=0 得 X²=0，即无穷远点 (0:1:0)。整个过程机械到可以随手写成代码：

from fractions import Fraction

def homogenize(terms, d):
    """terms: [(coef, a, b)] 表示 coef * x^a * y^b；d 为总次数。
    返回齐次项列表 [(coef, a, b, c)] 表示 coef * X^a * Y^b * Z^c。
    概念演示，未做合并同类项。"""
    out = []
    for coef, a, b in terms:
        c = d - a - b
        assert c >= 0, '总次数 d 给小了'
        out.append((coef, a, b, c))
    return out

# x^2 + y - 1 的三项，总次数 2
print(homogenize([(1, 2, 0), (1, 0, 1), (-1, 0, 0)], 2))
# 输出: [(1, 2, 0, 0), (1, 0, 1, 1), (-1, 0, 0, 2)]
# 即 X^2 + Y*Z - Z^2
​

两个提醒。其一，总次数 d 取 f 的最高总次数，取小了断言会报错，取大了会平白多出 Z 的幂（比如把 d 取成 3 会得到 X²Z + YZ² − Z³，零点集因此在无穷远处多出无关的点）。其二，齐次化后的 F 未必"不可约"：f 不可约也不能保证 F 不可约，反例出现在高维；平面曲线上这几乎不闹事，但读别人论文时要留个心眼。

二、三位老朋友的射影闭包

拿算法扫一遍贯穿全册的曲线，结果列成总表：

逐个细看。圆：令 Z=0，得 X²+Y²=0，在复数域分解为 (X+iY)(X−iY)=0，两个无穷远点 (1:i:0) 与 (1:−i:0)。在实图上它们看不见，却是经典几何里"循环点"——所有圆共同经过的专名点，古代"切圆问题"的许多怪性质都由它们解释。这也再次验证 1.1 节的预告：**交点可能藏在复数里**。

双曲线 xy=1：齐次化 XY=Z²。Z=0 时 XY=0，两个无穷远点 (1:0:0) 与 (0:1:0)——x 方向一个、y 方向一个，恰好对应双曲线的两支各自渐近的方向。射影几何的结论很干脆：**双曲线在射影平面里是闭合一圈的，两支通过两个无穷远点接在一起**。欧氏视图里"永不相交的两支"，其实是同一个连通图形被坐标卡切开的两个切片。

图：双曲线的射影闭包——两支在无穷远处相接

尖点 y²=x³：齐次化 Y²Z=X³。Z=0 时 X³=0，得 (0:1:0)，且 X=0 是三重解——无穷远点带着重数 3 出场。"重数"这个词第一次露头，4.2 节结算贝祖账本时它是核心角色；5.2 节还会回到这条曲线，看它在原点的尖刺。

加练一笔椭圆作初值检查：4x² + 9y² = 36，次数 2，齐次化 4X² + 9Y² = 36Z²。无穷远点令 Z=0：4X² + 9Y² = 0，即 X² = −(9/4)Y²，开方得 X = ±(3i/2)Y，两个无穷远点为 (3i : 2 : 0) 与 (−3i : 2 : 0)。与圆的情形结构完全相同（圆是 1:1 的"黄金配比"，椭圆是 3:2 的"拉伸配比"），实图上照旧一个也看不见。这类"复数域专属的无穷远点"在射影几何里有个集体荣誉称号——圆点（循环点）的亲戚，它们负责把"欧氏世界的度量性质"（角度、相似）翻译成"射影世界的相交性质"，是古典射影几何最华丽的章节，知道门牌号即可。

三、闭包的读法与去齐次化

射影闭包 = 仿射部分 + 无穷远尾巴，这句话反过来读就是去齐次化：给定齐次 F 与卡片 Z≠0，令 Z=1 得仿射方程。同一张射影曲线可以换卡片看：取卡片 Y≠0，令 Y=1，得到另一张仿射图——比如尖点 Y²Z=X³ 在这张卡上是 Z=X³，原点的尖刺消失了。**在一张卡里看到的坏点，换张卡可能就好了；真正恶劣的点在哪张卡里都好不了**——这句预告是第 5 章"光滑性不依赖坐标卡"的引子。

还要交代一条边界：齐次化与去齐次化互逆，前提是 Z 不恒整除 F 且 f 次数不低于 1。若 f 是非零常数，齐次化后 V(F) 就是无穷远直线本身；若 f 含因式 Z（说明你齐次化错了对象），仿射部分会丢东西。动手算完总要用"Z=1 能否还原 f"自检一遍，这个习惯能挡掉绝大多数笔误。

四、易错点与本节位置

三个易错点。其一，无穷远点必须代 Z=0 解齐次方程，直接把仿射坐标"取极限"是错误动作，会漏掉重数信息（尖点的三重无穷远点就是这么丢的）。其二，射影闭包可能改变连通性观感：双曲线"两支"是仿射卡片的错觉，闭包里只有一条连通曲线——图像直觉要以闭包为准。其三，不同齐次化次数对应不同闭包，混用两张表会算出并不存在的无穷远点；d 一旦选定，全式统一。

本节在知识体系里的位置：射影化的账本工具至此配齐——方程能齐次化、无穷远点可计算、闭包可读图。第 3 章把舞台翻到"函数"一侧：曲线上的点定了，接下来问"在这些点上什么函数算合法"。第 4 章的贝祖定理则等在下一个路口，用重数把 m·n 这笔总账一次结清。