绝对形
1959年孙泽瀛提出的数学名词
绝对形为射影空间(或平面)中一个二次曲面(或曲线),它确定射影几何的某个子几何的图形性质。
定义
设 S 是给定的空间, U 是 S 上的一个图形,若 S 到自身的一个变换 g 把 U 变到 U 自身,则称 g 是关于 U 的自同构变换,在变换中保持不变的这个图形 U 称为绝对形。
例如,在射影平面上取一条直线作无穷远直线,则在射影平面上保持无穷远直线不变的自同构射影变换构成一个变换群,它是关于无穷远直线的自同构群,同时它也是二位射影变换的子群,即仿射变换群
扩大欧氏空间的绝对形
在扩大欧氏空间,一切球面都和无穷远平面交于一条虚迹二次曲线。
经过с∞的一切二次曲面都是球面(包括半径等于零的点球),和с∞相交的非无穷远直线叫做迷向直线,和с∞相切的非无穷远平面叫做迷向平面。把绝对形变成自己的一切空间射影变换构成空间相似变换群。空间全等变换群或运动群是空间相似变换群的子群。
一个非无穷远实平面和无穷远圆的两个交点就是该平面上的无穷远圆点(该平面上的绝对形)。于是空间的两条直线间的角和两点间的距离也都可以依次通过这两条直线和两点同它们同绝对形之间的射影关系表达。
非欧空间的绝对形
简介
两种非欧几何以及闵科夫斯基几何都是射影几何的子几何,在其相应的空间里也都分别有其绝对形。通过这些绝对形,可以分别把其相应几何中的度量性质赋予射影解释。
到n维的推广
一般地,在 n 维射影空间 Pn里取一个二次超曲面,令不变的射影变换构成 Pn 里射影群的一个子群,这个子群以及属于它的射影几何的子几何(见埃尔朗根纲领)都被完全确定,就叫做该子几何的绝对形。理论上,任意图形(属于该子几何)的性质都决定于该图形和的射影关系。
进一步的推广
设 G 为作用于空间 S 的一个变换群,为 S 里一个图形,变换群 G 中令不变的一切变换构成 G 的一个子群G1,就是那个属于 G1 的子几何的绝对形,在该几何中,图形的性质都决定于的选择。
参考资料
最新修订时间:2023-01-08 05:38
目录
概述
定义
扩大欧氏空间的绝对形
参考资料