单位圆上全纯自同构群作用下的不变量

摘要

主要证明了F[｜z1-z2/1-z1-z2｜] 是在单位圆上全纯自同构群作用下的不变量,其中F（α）是在[0,1]上一一对应的实函数.特别地,当F（α）=ln1-α/1＋α时,上述不变量即为Poincar é距离。