
sheying cedu
射影测度
projective measurement
1853年E.N.拉盖尔将角度的度量概念与交比的射影性质联系起来,是利用射影几何学的观点解释角度的一个重要尝试。1859年A.凯莱将拉盖尔思想进一步发挥,得到角的射影测度的概念。首先,将拉盖尔公式中的一对圆点,看作是变态(退化)的二级曲线,并以常态(非退化)二级曲线来代替。于是作了如下的推广:在射影平面内,先选定一个常态二级曲线及一个任意常数 (0),再过任意给定的两条直线与的交点,作二级曲线的两条切线1与2,并规定了一个函数[561-04](,;1,2),显然这个函数对任意给定的两直线,,其交点×及过交点的两条切线1,2都是确定的,从而ln(,;1,2)除了一个符号外,也被确定而且函数(,)满足以下条件:[561-05][561-40],这里、、 是共点的三条直线 而这些条件正是欧氏几何中二条直线所成角度应当满足的,因此将 [561-04][561-11]叫做两直线,所成角的射影测度,预先取定的二级曲线叫做这个测度的绝对形,而叫做测度系数。
有了角的射影测度,可对偶地建立另一种形式的测度:取定一条常态二阶曲线及一个非零的任意常数,连结任意给定的两点,,设直线×与二阶曲线交于两点1及2,且规定函数d(,)=ln(,;1;2),[2kg]显然它是,的函数,且满足欧氏几何中两点间有向距离的条件:d(,)=0,d(,)=-d(,),d(,)+d(,)=d(,),这里,,是共线的三点因此将函数d(,)=ln(,;1,2),叫做,两点间的有向距离,因为它是利用射影概念交比定义的,所以又叫做距离的射影测度。预先给定的二阶曲线叫做测度的绝对形,叫做测度系数。若已知常态二阶曲线的方程是
[561-07] 二已知点,的坐标分别是(1,2,3),(1,2,3),、联线上任意一点的坐标可写作[561-001]将其代入二阶曲线方程中,得到关于[2kg][2kg]的一个二次方程,它的两个根分别以[2kg][2kg]1及[2kg][2kg]2表示,则 1及 2的坐标为[561-002][561-002a],再利用交比的性质:
[561-10]可得到d(,)的解析表达式关于(,)[2kg]的解析表达式可利用完全相同的方法得出。上面以二次曲线(二阶与二级)为绝对形,规定了射影测度的概念。应该指出,确定距离的射影测度的绝对形即常态二阶曲线,其切线的集合构成了用以确定角的射影测度的绝对形即常态二级曲线。由于二次曲线有实虚之分,取实虚不同的二次曲线作绝对形,这样就构成了与欧氏几何完全不同的非欧几何(罗氏几何和黎曼几何)的模型(见非欧几里得几何学)。1871年F.克莱因首先发明使用射影测度来说明非欧几何。简单来说,他在复射影平面上的实绝对形内部,规定了一些具体概念,定义射影测度后,作成了一个罗氏几何的射影模型即克莱因模型,在这个模型里,罗氏几何的全部公理都能够得到解释,因而罗氏几何的全部概念和定理都能在模型中体现出来。
参考书目
孙泽瀛编:《近世几何学》,高等教育出版社,北京,1959。
陈绍菱
以上就是网友分享的关于"射影测度"的相关资料,希望对您有所帮助,感谢您对爱华网的支持!