这是非欧几何一种公设，一组平行线相交于无穷远处，其实，平行面相交于无穷远直线。这是射影几何的基础假设。简单介绍下：一般在直角坐标系中，射影几何用三个参数表示一个点（x1,x2,x3)当该点是一般点时，其欧式坐标为(x1/x3,x2/x3),x3不为0，此时表法不唯一。当x3=0，则（x1,x2,0)表示无穷远点例如，平行线族y=2x+1,则y/x=1/x+2，当x→∞时，y/x→2,所以(1,2,0)为该组直线的无穷远点一般地，平行线组ax+by+c=0(c为变量）的无穷远点为(1,-a/b,0)楼主学习射影几何就明白了。
|
