logo

正の曲率をもつ2つの回転面は局所的に等距離である 📂幾何学

正の曲率をもつ2つの回転面は局所的に等距離である

定理1

M1M_{1}M2M_{2}をそれぞれ単位速度曲線 α1\boldsymbol{\alpha}_{1}α2\boldsymbol{\alpha}_{2}回転面としよう。もしM1M_{1}M2M_{2}一定の曲率 a2>0a^{2} \gt 0を持つ場合、M1M_{1}M2M_{2}局所等距離である。

証明

補題

以下の二つの命題は等価である。

  • 二つの曲面 MMNN が局所等距離である。

  • すべての pMp \in M に対して、開集合 UR2U \subset \mathbb{R}^{2} と第一基本形式の係数 gijg_{ij} が同じである二つの座標片写像 x:UM\mathbf{x} : U \to My:UN\mathbf{y} : U \to N (px(U))(p \in \mathbf{x}(U)) が存在する。

上記の補題に基づき、曲率が K=a2K = a^{2} のすべての回転面が同じメトリック行列を持つことができることを示せばよい。したがって、以下の主張を証明しようとしている。

主張: 曲率がK=a2K = a^{2}のすべての回転面に対して、[gij]=[1001a2cos2as]\left[ g_{ij} \right] = \begin{bmatrix} 1 & 0 \\ 0 & \dfrac{1}{a^{2}}\cos^{2}as \end{bmatrix}をメトリック係数行列とする座標片写像が存在する。

単位速度曲線 α(s)=(r(s),z(s))\boldsymbol{\alpha}(s) = (r(s), z(s))によって生成される回転面の座標片写像はx(s,θ)=(r(s)cosθ,r(s)sinθ,z(s))\mathbf{x}(s, \theta) = \left( r(s)\cos\theta, r(s)\sin\theta, z(s) \right)である。曲率がK=a2>0K = a^{2} > 0の回転面の座標系(s,θ)(s, \theta)に対するメトリックは以下の通りである。

[gij]=[100A2cos2(as)] \begin{bmatrix} g_{ij} \end{bmatrix} = \begin{bmatrix} 1 & 0 \\ 0 & A^{2} \cos^{2}(as) \end{bmatrix}

新しい座標系(s,ϕ),ϕ=aAθ(s, \phi), \phi = a A \thetaを考えよう。f:(s,ϕ)(s,θ)f : (s, \phi) \mapsto (s, \theta)とすると、ffヤコビアンは以下の通りである。

J=[sssϕθsθϕ]=[1001aA] J = \begin{bmatrix} \dfrac{\partial s}{\partial s} & \dfrac{\partial s}{\partial \phi} \\[1em] \dfrac{\partial \theta}{\partial s} & \dfrac{\partial \theta}{\partial \phi} \end{bmatrix} = \begin{bmatrix} 1 & 0 \\ 0 & \dfrac{1}{aA} \end{bmatrix}

したがって、新しい座標系のメトリック行列を[gαβ]\begin{bmatrix}\overline{g}_{\alpha \beta}\end{bmatrix}とすると、座標変換とメトリックの関係により、

[gαβ]=Jt[gij]J=[1001aA][100A2cos2(as)][1001aA]=[1001a2cos2(as)] \begin{align*} \begin{bmatrix}\overline{g}_{\alpha \beta}\end{bmatrix} &= J^{t} \begin{bmatrix} g_{ij} \end{bmatrix} J \\ &= \begin{bmatrix} 1 & 0 \\ 0 & \dfrac{1}{aA} \end{bmatrix} \begin{bmatrix} 1 & 0 \\ 0 & A^{2} \cos^{2}(as) \end{bmatrix} \begin{bmatrix} 1 & 0 \\ 0 & \dfrac{1}{aA} \end{bmatrix} \\ &= \begin{bmatrix} 1 & 0 \\ 0 & \dfrac{1}{a^{2}}\cos^{2}(as) \end{bmatrix} \end{align*}


  1. リチャード・S・ミルマン と ジョージ・D・パーカー、微分幾何学の要素 (1977)、p155-156 ↩︎