与射影平面和解

# 与射影平面和解 来源：https://www.johndcook.com/blog/2026/11/02/projective-plane/ 在我的通讯简报中，我会介绍最近几篇文章的内容，并偶尔补充一些额外评论。在最新一期简报中我写道： > 当我还是学生的时候，射影空间和齐次坐标看起来像是随意的抽象概念，因为它们在呈现时没有任何动机说明。很久以后我才意识到，它们是自然而然的，几乎是不可避免的。一旦转向射影空间，那些特殊情况和对"无穷远"对象含糊其辞的提及都会消失。 我的数学教育非常自上而下：先学抽象概念，再学具体内容（如果还有的话）。我一度对此没什么意见，直到研究生阶段某时，我达到了对抽象的容忍极限。现在我会更提倡自下而上的方法，先说明抽象概念的动机，而不是把它们当作既成事实（*fait accompli*）直接抛出来。 我第一次接触射影平面，大概是在一门拓扑课上，有人告诉我：可以从一个正方形出发，以物理上不可能的方式把对边粘起来，从而构造出这个平面。这看起来像是个噱头——一种构造非可定向流形的方法，但没什么实际用途。另一种构造方式是说射影平面是一个普通球面，其对径点被等同起来。这个说法让我稍微满意一点，但依然缺乏动机。 我当初希望有人能告诉我：射影平面的发明是为了让几何学更加优雅——消除特殊情况，并使"无穷远"的概念变得严格。例如，几何计算常常需要对竖直线特殊处理，但在射影几何中，竖直线并不特殊。 你可以这样开始：我们不再用 (*x*, *y*) 来表示平面上的点，而是用 (*x*, *y*, 1) 表示；而 (*x*, *y*, 0) 表示沿方向 *x*, *y* 的无穷远点。这可能看起来像个 hack，但它确实是有动机的。这正是图形程序员会做的事。事实上，我想许多程序员都曾独立地这样做过，不期然地撞上了射影几何。 引入这个额外坐标之后，自然会问：如果最后一个坐标不是 0 或 1，那意味着什么？当你开始对这些扩展坐标进行计算时，很快就会遇到这个问题。你可以制定一条规则：只要最后一个坐标不为零，就总是除以它进行归一化——这样一来，你实际上就发现了齐次坐标。 在椭圆曲线密码学中，你会看到类似上述的方法。想要实现加密算法的程序员，起初都是具体地用 (*x*, *y*) 点来思考，直到他们不得不处理一个神秘的"无穷远点"并正确地处理它。这时，齐次坐标就作为摆脱困境的工具出现了。 \*\*\* 我曾想过把这篇文章的标题定为《斯特拉奇少尉，或：我是如何学会停止担忧并爱上射影平面的》（Dr. Strangelove, or: How I Learned to Stop Worrying and Love the Projective Plane），但不太确定效果会怎样。我怀疑没多少读者看过这部 1964 年的电影，不过"我是如何学会停止担忧并爱上……"这个梗比电影本身更广为人知。