■エルランゲン・プログラムと変換群(その5)

(AB,PQ)=AP/AQ÷BP/BQ

===================================

与えられた4点A,B,P,Qに対して,AとBを交換、またはPとQを交換すると、複比は逆数に置き換わる

(BA,PQ)=(AB,QP)=(AB,PQ)^-1

A,B,P,Qを直線上の4点とし、(AB,PQ)=λとおく。このとき、点の可能な24個の置換は6個の複比の値

λ、1/λ、1-λ、1/(1-λ)、(λ-1)/λ、λ/(λ-1)

を引き起こす。

===================================

一本の直線上の4点A,B,C,Dから他の直線上の4点A',B',C',D'への変換が射影的であるとき、(距離も距離の比も保たないが)直線上の異なる四点の複比を保つ。

(AB,PQ)=(A'B',P'Q')

===================================