一致区域与拟双曲度量

设 D 是 R^n(n≥2)的真子区域.F.W.Gehving 与 B.G.Osgood 证明,D 是一致区域的充分必要条件是:存在常数 c 和 d,使得 k_D(x_1,x_2)≤cj_D(x_1,x_2)+d,(?)x_1,x_2∈D.本文证明,这个条件可减弱为:存在一常数 A,使得K_D(x_1,x_2)≤A·j_D(x_1,x_2),(?)x_1,x_2∈D.这里 K_D(x_1,x_2)为 D 中任意两点 x_1,x_2的拟双曲度量,j_D(x_1,x_2)=1/2log([|x_1-x_2|]/[d(x_1,(?)D)]+1)([|x_1-x_2|]/[d(x_2,(?)D)]+1),d(x,(?)D)为 x 到(?)D 的欧氏距离.