正の曲率をもつ2つの回転面は局所的に等距離である
📂幾何学正の曲率をもつ2つの回転面は局所的に等距離である
定理
M1、M2をそれぞれ単位速度曲線 α1、α2の回転面としよう。もしM1、M2が一定の曲率 a2>0を持つ場合、M1とM2は局所等距離である。
証明
補題
以下の二つの命題は等価である。
二つの曲面 M と N が局所等距離である。
すべての p∈M に対して、開集合 U⊂R2 と第一基本形式の係数 gij が同じである二つの座標片写像 x:U→M、y:U→N (p∈x(U)) が存在する。
上記の補題に基づき、曲率が K=a2 のすべての回転面が同じメトリック行列を持つことができることを示せばよい。したがって、以下の主張を証明しようとしている。
主張: 曲率がK=a2のすべての回転面に対して、[gij]=[100a21cos2as]をメトリック係数行列とする座標片写像が存在する。
単位速度曲線 α(s)=(r(s),z(s))によって生成される回転面の座標片写像はx(s,θ)=(r(s)cosθ,r(s)sinθ,z(s))である。曲率がK=a2>0の回転面の座標系(s,θ)に対するメトリックは以下の通りである。
[gij]=[100A2cos2(as)]
新しい座標系(s,ϕ),ϕ=aAθを考えよう。f:(s,ϕ)↦(s,θ)とすると、fのヤコビアンは以下の通りである。
J=∂s∂s∂s∂θ∂ϕ∂s∂ϕ∂θ=[100aA1]
したがって、新しい座標系のメトリック行列を[gαβ]とすると、座標変換とメトリックの関係により、
[gαβ]=Jt[gij]J=[100aA1][100A2cos2(as)][100aA1]=[100a21cos2(as)]
■