§2.5一维基本形的对合 、定义 考察函数f:R→Rf(x)=-x,有下列性质 (i).f为一个双射 (ii). f=fof=I. EpVxeR,f(x)=f(f(x)=f(x)=-(x)=x 即∫=f 将实数轴添加无穷远点,并令在f下,无穷远点与自己对应,则 f是点列上的射影变换,具有如下性质 x∈R,视x x'=f(x==x 无论将x作为第 I(P) x'=f(x)=x 或第二基本形的元素 其对应元素相同 ∈l(P O X∈l(P 对合的定义 课件作者:南京师大数科院周兴和§ 2.5 一维基本形的对合 一、定义 课件作者：南京师大数科院周兴和 考察函数 f : R → R, f (x) = −x, 有下列性质 (i). f 为一个双射； (ii). . , ( ) ( ( )) ( ) ( ) . 2 2 f = f  f = I 即xR f x = f f x = f −x = − −x = x 即 . −1 f = f 将实数轴添加无穷远点, 并令在 f 下, 无穷远点与自己对应, 则 f 是点列上的射影变换, 具有如下性质：    x R x , 视 l(P) x' = f (x) = −x. l'(P') ' ( ) . 1 x = f x = −x − 无论将x作为第一 或第二基本形的元素， 其对应元素相同. 对合的定义