射影几何在群变换后研究的不变量包括了:线性(直线被变换后还是直线)、相交性(相交线被变换后还是相交线)、交比、保持圆锥曲线不变等等。而满足上述性质的变换群,即被称为“射影群”。 射影群的一个子群,被称为“仿射群”,对应于仿射几何的变换。仿射几何具有和欧氏几何相当类似的不变量,但是角度和长度是会改变的。 欧氏几何对应的变换群又是仿射群的一个子群,其不变量是旋转、平移和反射。 以下是一个示意图,表示了从射影几何—> 仿射几何 —> 欧氏几何的层层递进。其中列举的不变量,欧氏几何不变量:角度、距离和面积。仿射(affine)几何不变量:平行。射影几何的不变量:相交。
|