关于证明三点平面模型与三方程模型同构的技术咨询

嘿，我看你在自学John Lee的《Axiomatic Geometry》，卡在了这两个 incidence geometry 模型的同构证明上对吧？先明确一下：** incidence geometry模型同构的核心要求是找到一个双射（既是单射又是满射）**，把第一个模型的点映射到第二个模型的点，同时严格保持「点在直线上」的关系——也就是如果点P在直线L上，那么映射后的P'必须在对应映射后的直线L'上，反过来也成立。

先再明确下两个模型的定义（方便对照）：

三点平面模型 #

• 「点」：集合{1, 2, 3}中的元素
• 「直线」：集合{{1,2}, {1,3}, {2,3}}中的元素
• 「点在直线上」：点是直线集合的成员

三方程模型 #

• 「点」：集合{(1,0), (0,1), (1,1)}中的元素
• 「直线」：集合{x=1, y=1, x+y=1}中的方程
• 「点在直线上」：点的坐标满足直线方程

具体证明方案 #

看你已经开始尝试了，大概率是在映射对应上没完全对齐直线的incidence关系，下面给你一个直接可行的方案：

1. 定义点的双射映射

设映射 ( f ) 是从三点平面模型的点到三方程模型的点的函数：

• ( f(1) = (1, 0) )
• ( f(2) = (0, 1) )
• ( f(3) = (1, 1) )

验证双射：这个函数把三个点一一对应，没有重复，且覆盖了三方程模型的所有点，因此是双射（既是单射又是满射）。

2. 对应直线的映射

接下来把三点平面模型的直线映射到三方程模型的直线，确保和点的映射匹配：

• 三点模型的直线 ( {1,2} ) → 对应三方程模型中包含 ( f(1)=(1,0) ) 和 ( f(2)=(0,1) ) 的直线，也就是 ( x + y = 1 )（代入坐标验证：(1+0=1)，(0+1=1)，都满足方程）
• 三点模型的直线 ( {1,3} ) → 对应三方程模型中包含 ( f(1)=(1,0) ) 和 ( f(3)=(1,1) ) 的直线，也就是 ( x = 1 )（两个点的x坐标都是1）
• 三点模型的直线 ( {2,3} ) → 对应三方程模型中包含 ( f(2)=(0,1) ) 和 ( f(3)=(1,1) ) 的直线，也就是 ( y = 1 )（两个点的y坐标都是1）

3. 验证incidence关系保持

现在逐一验证「点在直线上」的关系在映射后是否保持：

• 点1在直线({1,2})上 → (f(1)=(1,0))在直线(x+y=1)上，成立
• 点2在直线({1,2})上 → (f(2)=(0,1))在直线(x+y=1)上，成立
• 点1在直线({1,3})上 → (f(1)=(1,0))在直线(x=1)上，成立
• 点3在直线({1,3})上 → (f(3)=(1,1))在直线(x=1)上，成立
• 点2在直线({2,3})上 → (f(2)=(0,1))在直线(y=1)上，成立
• 点3在直线({2,3})上 → (f(3)=(1,1))在直线(y=1)上，成立

反过来验证：三方程模型中任意点在某条直线上，对应的原模型点也在对应的原直线上，比如((1,0))在(x=1)上 → 原点点1在({1,3})上，完全成立。

补充说明 #

其实映射的选择不唯一，只要是保持incidence关系的双射都可以。比如你可以把(f(1))映射到((0,1))，只要对应的直线也跟着调整，核心就是双射+严格保持点与直线的从属关系。

备注：内容来源于stack exchange，提问作者Aryaan