近代几何学的一个思想——变换羣与几何学

本文是在射影几何学及高等代数学的初步知識的基础上来写的。首先是在欧氏几何学的基础上从几何概念引进欧氏平面上的三种具体变換——运动变換、仿射变換及射影变換,并介紹它們的一些性质。然后在高等代数学抽象羣的基础上建立变換羣的概念并証明上述三种变換集合均成变換羣。有了这些具体变換羣及它們不变性貭后,最后再抽象地介紹变換羣与相应几何学的思想并說明其历史作用及近代一些发展情况。§1.平面上的运动变換 欧氏平面上的一个一一变換如果任意两点的距离与其对应两点的距离相等,则这个一一变換叫做运动变換,簡称运动。在一个一一变換里,被变換的点和图形叫原象,而它所变換成的图形叫做它的象。例如△ABC经运动得到△A′B′C′,我們說△A′B′C′是△ABC的象,而△ABC则是△A′B′C′的原象。自此定义可推出下列簡单性貭。它們均是度量性质。