リーマン幾何学では、曲率テンソルがゼロである場合、局所的にユークリッド空間のような座標系を取ることが可能です。この記事では、その証明の概略と、参考となる文献を紹介します。
曲率ゼロと局所座標系
曲率テンソルR_{ijkl}=0が成り立つ多様体では、並行移動が経路に依存しません。この性質により、ある点を基準として座標を構成する際、ユークリッド計量 δ_{ij} に一致する局所座標系を作ることができます。
具体的には、接ベクトルを点pで固定し、それを並行移動により周囲に広げることで、平坦な座標系が局所的に形成されます。
証明の概略
証明には以下の手順が含まれます。
- 基準点pで正規基底を選択
- 接空間のベクトルを並行移動して周囲の点に対応付け
- 曲率ゼロにより、並行移動の結果は経路に依存せず、計量は平坦に保たれる
- これにより、g_{ij} = δ_{ij} となる局所座標系が構成可能
この局所座標系は通常「正規座標系（normal coordinates）」と呼ばれます。
参考文献
- Manfredo P. do Carmo, Riemannian Geometry, Birkhäuser, 1992
- John M. Lee, Riemannian Manifolds: An Introduction to Curvature, Springer, 1997
- Shing-Tung Yau (editor), Geometry of Differential Forms, American Mathematical Society, 1987
まとめ
曲率テンソルがゼロの多様体では、局所的に平坦な座標系を構成でき、g_{ij}=δ_{ij}となります。この結果は正規座標系の存在を保証するもので、リーマン幾何学の基本的な性質の一つです。詳細な証明や応用は上記の文献に詳しく解説されています。
コメント