1.1 从坐标到零点集：代数几何的第一课
1.1 从坐标到零点集：代数几何的第一课
为什么一组方程的"解"可以是一门几何学的起点？中学阶段我们解方程，目标是把根一个个抠出来；而从本节开始，视角要翻转一次——我们不再逐个关心解，而是把全部解拼成的那个图形当作研究对象。这个图形叫零点集。整册书的一切概念，都围绕"零点集长什么样、由什么决定、性质如何读出"展开；本节的任务是让这个翻转在你的脑子里先发生一次。
零点集：给定多项式集合 S，S 中所有多项式同时取零的点构成的集合，记作 V(S)。单个方程 f=0 的零点集通常是一条曲线或一张曲面；多个方程的公共零点集则可能是曲线、点集，甚至空集。零点集是代数几何最基本的"原料"。
一、坐标思想的第二次兑现
笛卡尔发明坐标，第一次兑现的承诺是"几何问题可以算"：直线写成 ax+by+c=0，圆写成 x²+y²=r²，古希腊人靠巧思的几何证明，变成了机械的代数操作。第二次兑现的承诺更彻底，要到本节才现身：**方程本身就可以当图形用**。你不需要真的把点描出来——方程的结构已经编码了图形的全部关键信息。
先把两个老朋友请上台。第一个是圆：
x² + y² = 1
第二个是双曲线：
xy = 1
它们的实数解集是画出来的样子：圆是闭合一圈，双曲线是两支互相渐近、永不相交的开曲线。把两张图叠在同一坐标系里，还能顺便问出本册后面反复出现的"相交"话题。
图：圆 x²+y²=1 与双曲线 xy=1 的零点集
留意图旁那行小字：圆与双曲线在实平面上不相交，可联立 x²+y²=1 与 xy=1 会得到 x⁴−x²+1=0，它在复数域里有四个根。换句话说，**"有没有交点"取决于你在哪个域上看**——这个细节在 1.3 节讨论零点定理时会变成主角，眼下先记住：代数几何的默认舞台是代数闭域（比如复数域），理由很快揭晓。
二、从单个方程到方程组
单个方程的画面感很好，但真正的研究对象是方程组。定义直接推广：
V(f₁, f₂, …, f_m) = { 点 P ：每个 fᵢ 在 P 处都等于零 }
举三个具体例子，体会零点集的形状范围有多宽：
- V(x, y)：两个线性方程联立，解集是原点——一个点。
- V(x²+y²−1, x)：圆再要求 x=0，解集是 (0, 1) 与 (0, −1) 两个点。
- V(f, f)：把同一个方程写两遍，解集还是 V(f)，方程组却"看起来"更啰嗦了。
第三个例子是故意的。它戳出一个必须正视的现象：方程组与零点集不是一一对应的。下面这组对照更扎眼——
| 方程组 | 零点集 |
|---|---|
| x²+y²−1 = 0 | 单位圆 |
| (x²+y²−1)² = 0 | 还是单位圆 |
| (x²+y²−1)·x = 0 | 圆并上整条 y 轴 |
| x²+y²+1 = 0 | 实平面上是空集，复平面上不是 |
平方之后解集纹丝不动；乘上一个因子就多出一块图形；在实数域看不见的解，换个域又回来了。如果研究工具连"哪些方程组描述同一个图形"都分不清，后面什么都建不起来。怎么收拾这个局面？答案是给方程组找一个"规范身份"——这正是 1.2 节理想要干的活。
三、动手：让计算机画零点集
零点集不必靠手描。下面这段 Python 概念代码用等值线思想把 x²+y²−1=0 画出来，任何支持数值库的环境都能跑：
import numpy as np import matplotlib.pyplot as plt # 网格覆盖平面一片区域 x = np.linspace(-2, 2, 400) y = np.linspace(-2, 2, 400) X, Y = np.meshgrid(x, y) F = X**2 + Y**2 - 1 # 方程左边：f(x, y) = x^2 + y^2 - 1 plt.contour(X, Y, F, levels=[0], colors=['#3572c6']) # 只取 f=0 这条等值线 plt.gca().set_aspect('equal') plt.title('V(x^2 + y^2 - 1)') plt.show()
把 F 换成 X*Y − 1，就得到双曲线；换成 X2 + Y2 + 1，图上什么都画不出来——但方程在复数域里的解依然存在。这个"画不出来的解"是实数视角的盲区，不是方程的错。数值画图只能给你直觉，真正的判定要靠 1.3 节的定理。
四、易错点与本节位置
三个坑提前打上桩。其一，零点集里的点指的是域中的点：同一组方程在实数、复数、有限域上解集可以完全不同，谈论零点集前先声明域。其二，"方程个数 = 解的维数"是错觉：x²+y²−1=0 与 x=0 联立得到两个点，但 x·(x²+y²−1)=0 与 (x²−1)·(x²+y²−1)=0 联立会得到更多点，方程的"数量感"在非线性世界里完全不可靠。其三，单个方程的零点集未必连通：双曲线两支是一家人，别把一支当成另一支的补集。
本节在知识体系里的位置：它制造了现象——方程组不唯一、域影响解、方程个数骗人。下一节引入理想，把这三个现象一次性收编；再下一节用零点定理把理想与零点集焊成字典。学完本章你会回头看这张图：1.1 的每一条"坑"，都对应着 1.2 或 1.3 的某条定义或定理。
变式训练：动一动方程
三个小练习，每个都配答案，目的是把手感练成条件反射。练习一：把 x²+y²=1 的右端改成 4，图像变成什么？答案：仍是圆，半径从 1 变成 2——方程的常数项管"大小"，系数管"形状"，这个分工在高维同样成立。练习二：xy=1 与 xy=−1 的图像差在哪？答案：双曲线从一、三象限搬到二、四象限，形状不变，相当于绕原点旋转——"系数的符号管开合方向"。
练习三稍难：方程 y=x³ 的图像与 y=0（x 轴）交几个点？答案：肉眼只见原点一个，但代入得 x³=0，三重根——原点是按重数三个的交点。这份"三重账单"暂时无从解释，先记在账上，4.2 节与 5.2 节会分两次把它结清：尖点的切线重数与奇点分类，说的都是它。
顺手留一个观察题：x²+y²=1 与 xy=1 各自的图像都对称（圆关于两轴、双曲线关于原点），这种对称性能不能从方程直接读出？能——把 x 换成 −x，方程不变，说明图形关于 y 轴对称；把 x、y 同时换成 −x、−y，方程不变，说明关于原点对称。**方程的结构性质直接翻译成图形的对称性质**，这是"读方程知形状"的第一个实战案例，后面判断奇点位置时还会反复用这招。
本节要点回顾
- 零点集 V(S)：所有多项式同时取零的点集，是全册唯一的研究原料。
- 方程组 ≠ 零点集：平方不改解集、乘因子扩解集，方程组需要"规范身份"。
- 域决定存在性：x²+y²+1=0 在实数域是空集，在复数域不是；默认舞台是代数闭域。
- 画图为直觉服务：数值等值线是眼睛，判定靠定理；看不见的解不是不存在的解。
- 两个老朋友：圆 x²+y²=1 与双曲线 xy=1 将贯穿全册，请记住它们的长相。
下一节我们把"方程组的规范身份"造出来：理想。它会让"哪些方程组等价"这个问题有一锤定音的答案。