平面射影几何与平面几何是不同的领域,研究的侧重点不同,相对应的,射影平面与平面也是不同的概念。在射影平面里面,点是以齐次坐标来表示的,直线也是以齐次坐标来表示的。射影平面是由欧氏平面与无穷远直线的并集所组成的。
这里也涉及到叉积的概念以及反对称矩阵的概念,反对称矩阵有下述性质:
1. 对任意非零向量x,其反对称矩阵的秩为2。
2. 两个向量的叉积可以用其中一个向量的反对称矩阵左乘另一个向量来表达。
3. x是其反对称矩阵的右零空间和左零空间。
- 4. 对于任意的三维向量y,有yT[x]y=0。
同时这里有一个很重要的对偶原理:
在射影平面内,点和线是一对互为对偶元素。在包含“点”和“线”元素的命题中,如果该命题成立,则将两个元素的角色互换,对应的命题也成立。
最后还有一个交比,共线点的交比,调和共轭,共点线的交比的概念。并且共线点的交比不依赖于直线坐标系的选择,共点线的交比也不依赖于直线束参数化的选择。交比是射影变换的不变量。