射影几何三大基本定理-射影几何三大定理

你手里握着的这张白纸，实际上已经写满了 19 世纪数学家们想咬碎它却磨破嘴皮的密码。别急着追求那种让人“顿悟”的干净利落感，几何早就烂在泥里了，只有那些愿意在泥里打滚的人才能看到裂缝。 射影几何，这东西真他娘费事。它不讲究平行线如何相交，也不管点集之间有啥距离，哪怕是个点有两个，两个点有三个，三个点共面，那点都甭想跑。它只认“同构”。你用左手画个圆，右手画个椭圆，只要它们能拼成一个完美的四元域，那它们就是同一个东西。
这种同构感，在欧几里得眼里就是到了天上，但在射影几何里，这是最原始的真理。你不需求去证明两点间距离是常数，你只需求去证明它们能拼成同一个四元域。 你想看看那套逻辑到底是如何运转的？那就看看那个著名的圆。在射影几何里，圆就是个圆圈，无瑕疵，无修饰，就连不需求圆心。你能够随意拉一条直线，穿过这个圆圈，它要么切两刀，要么切一刀，要么穿过心。
这就把平行线的难题全给消灭了。平行线？笑话。它们不过是穿过直线的同一点/拉倒。
既然圆是唯一的，那么所有的圆都能变成同一个圆。
这意味着啥？意味着在射影几何里，所有的圆都是同一个圆，要么说是同构的。
这就好比说，地球是平的，除了你看不见极点，其他局部都差不多。除了你看不见极点，地球只是地球。 这里有个具体的例子，我们得拿个实际的点集来复盘。设有一个点集 $S$，里面有三个点 $A, B, C$。在欧几里得几何里，你随意画个三角形，边长定死了，角度也算准了。但在射影几何里，你能够把 $A, B, C$ 这三个点，彻底随意地挪个位置，只要保持它们相对的顺序。你能够把 $A$ 放在左下角，$B$ 放右上角，$C$ 往下挪。
这彻底合法。出于射影几何准你重新定义“上”和“下”，就连准你把整个平面翻个面，把原本钝角的三角形拉直。你会发现，原本需求解决的“如何把 $A, B, C$ 联系起来”这个难题，在射影几何里，就变成了“如何让 $A, B, C$ 看起来像个三角形”。答案只有那么一个：那就是它本身。 这就引出了射影几何最核心的思维转变：不再关心“在哪儿”，而是关心“如何联系”。欧几里得几何是在描述一个预先设定的空间，空间里有了直线、平面、圆点，然后问它们之间关系。射影几何则是在描述一种关系本身。空间只是这些关系的载体。
没有空间，只相关系。 这就把所谓的“平行”彻底解构了。在欧几里得世界里，平行线是“一辈子不相交”。但在射影世界里，它们只是“没碰到”。你能够随意画两条线，让它们一辈子不相交。它们一辈子不相交，这是事实。但这并不意味着它们“平行”，出于它们根本不存有“相交”这个状态。平行只是相交的一种特殊状态，而相交这个状态本身就是完美的。
既然相交完美，那就不存有“不相交”这种概念了。 我们来看看那个著名的笛卡尔圆。欧几里得说，圆是到圆心距离为半径的轨迹。但在射影几何里，圆就是圆。你能够把任何三个不共线的点，都变成一个圆。
这是出于，这三个点拍板了唯一的平面（在空间里），而这三点又拍板了唯一的圆（在平面上）。
故此，四大点（两个点确定一条线，两个点确定一个面，三个点确定一个平面），是射影几何里最根本的公理。
这四个公理，足以构建整个几何大厦。任何额外的公理，比如“圆是到某点距离为某值”，都是富余的，就连是错的。 这就害得了无穷多的圆。在笛卡尔坐标系里，圆有无数种画法，出于圆心能够在任何地方。但在射影几何里，圆心是虚的，是参考系的选择。你能够选原点为圆心，你能够选无穷远点为圆心。
只要这三个点（圆心 + 两点）能组成一个完美的四元域，那它们就定义了一个圆。
这就像说，甭管你如何选参考系，你都能把 0 度角画成 300 度，只要它们加起来是 360 度。 这听起来多荒谬，对吧？但在数学的逻辑里，这种荒谬恰恰是真理的基石。出于射影几何里的“圆”，实际上是个集合论的难题。一个集合由三个元素组成。
这三个元素，就是定义圆的关键。
只要这三个元素能组成一个完美的四元域，它们就构成了一个圆。
这意味着，在射影几何里，所有的圆，实际上都是同一个圆。
要么更准地说，所有的圆，都是通过同一个圆定义的。 这就彻底打破了“圆”的概念。圆不再是圆，圆只是集合论中的一个元素。集合论里的元素，没有大小之分，没有形状之别。三个元素拍板一个圆，三个元素拍板另一个圆，只是这三个元素在空间里的排列方式不同。但本质上，它们都是“三个元素的集合”。
这就好比说，甭管你如何打勾，只要勾了三下，你就拿到了同一个“三”的概念。 我们再来谈谈透视投影。
这是射影几何最早也是最有趣的应用。当你用一张纸投出一个影子，要么用相机拍一张照片，这本质上就是一个射影变换。在欧几里得世界里，我们只关心影子的形状，我们挺庆幸影子没有消亡，出于那是欧几里得几何的幻觉。但在射影几何里，我们不在乎影子有没有消亡，出于消亡也是存有的。 想象一下，一个画家想画一个圆，他画了三个点，然后画了一个圆。但他不想再画第四个点了，出于他想表达的是“圆周”。他只需求这三个点。
这三个点，在心理上构成了一个圆。当你把这三个点投射到一张白纸上，你拿到了一个圆。你不需求知道这是哪个圆，你只需求知道，这三个点通过透视，定义了同一个圆。透视变换，就是把一个圆变成另一个圆，这恰好是出于这两个圆是同构的，也就是这两个圆来自同一个逻辑源头。 这听起来挺抽象，但要是你把手指头放在眼前，你会发现，你的手指头，在视网膜上成像，看起来就是几个点。
这三个点，成像后，它们依然构成了一个“圆”的概念。你的手指头没有变，你看到的只是它们的投影。数学家的眼，看到的不是手，而是手在视网膜上的样子。手没变，只是样子变了。射影几何告诉我们，样子变了，本质没变。 这就解释了为啥射影几何里，所有的圆都能变成同一个圆。出于所有的圆，本质上都是三个点构成的集合。
这三个点，在射影变换下，能够随意移动，但相对关系不变。
故此，甭管你如何变换视角，甭管如何定义坐标系，只要这三个点还在，它们就定义了一个圆。
这就像说，甭管你如何定义“家”，只要家里还住着三个成员，你就依然拥有一个“家”的概念。 自然，这种完美的同构感，在现实世界里挺难彻底实现。出于现实世界忒复杂，充满了平行线、相交线、无限多组圆。但在数学的纯逻辑世界里，这种不完美的完美是致命的。出于要是平行线确实不相交，要是圆的本质确实不同，那么整个几何大厦就会崩塌。务必承认，有些东西是相通的。 故此，当你下次看到一张照片，要么看一个几何图形时，试着不要问“这是哪儿的圆”，要么“这两条线平行吗”，而是去问“这两个图形，是不是来自同一个圆生成的逻辑”。
只要它们能拼成一个完美的四元域，你就是对的。射影几何不再需求关心空间在哪儿，它只关心关系如何。它不再关心距离，只关心同构。
这听起来多疯狂，但这就是几何的真面目。