|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ リーマン幾何学 ： [りーまんきかがく] (n) Riemannian geometry ・ ー ： [ちょうおん] (n) long vowel mark (usually only used in katakana) ・ 幾 ： [ほとほと] 1. (adv) quite 2. greatly ・ 幾何 ： [きか] 【名詞】 1. geometry ・ 幾何学 ： [きかがく] 【名詞】 1. geometry ・ 何 ： [なん] 1. (int,n) what ・ 学 ： [がく] 【名詞】 1. learning 2. scholarship 3. erudition 4. knowledge ・ 基 ： [き, もとい] 【名詞】 1. basis ・ 基本 ： [きほん] 1. (n,adj-no) foundation 2. basis 3. standard ・ 本 ： [ほん, もと] 1. (n,n-suf,n-t) (1) origin 2. basis 3. foundation ・ 定理 ： [ていり] 【名詞】 1. theorem 2. proposition ・ 理 ： [り] 【名詞】 1. reason
リーマン幾何学において、リーマン幾何学の基本定理(fundamental theorem of Riemannian geometry)は、任意のリーマン多様体（あるいは、擬リーマン多様体）には、捩れのない計量接続が一意的に存在するという定理である。この接続は、与えられた計量のレヴィ・チヴィタ接続(Levi-Civita connection)と呼ばれる。ここに、計量接続（あるいは、リーマン接続）は、計量テンソルを保存する接続である。正確には、 リーマン幾何学の基本定理：(''M'', ''g'') をリーマン多様体（あるいは、擬リーマン多様体）とすると、一意に次の条件を満たす接続 ∇ が存在する。 第一の条件は、計量テンソルは平行移動により保存されることを意味し、一方、第二の条件は接続 ∇ の捩れテンソルが 0 であることを表している。 基本定理の拡張は、擬リーマン多様体が与えられると、一意に接続が存在し、任意のベクトル値 2-形式を持つ計量テンソルを捩れとして保存するという定理となる。 次のテクニカルな証明は、局所座標系で接続の座標表現であるクリストッフェル記号を示している。与えられた計量に対し、この（局所座標系を使う）方程式の集合は、むしろ複雑である。与えられた計量に対し、クリストッフェルの記号を使うよりも早く、より簡単な方法がある。この方法は、作用積分やオイラー・ラグランジュ方程式を使う方法である。 ==証明== ''m'' を ''M'' の次元とし、ある局所座標系で、標準座標のベクトル場 : を考える。すると、局所的に、計量テンソルの要素 ''gij'' は、 : として与えられる。接続を特定するためには、すべての ''i'', ''j'' と ''k'' に対し、 : であることで充分である。また、局所的には、接続は、''m''3 滑らかな函数であり、 : により与えられる。ここに、 : である。捩れのない性質は、 : を意味する。他方、リーマン計量との整合性は、 : を意味する。固定された ''i'', ''j'' と ''k'' に対し、置換すると 6 変数の 3つの方程式が与えられる。捩れのない前提は、変数の数が 3 となる。結果として現れる 3つの方程式の線型系は、一意な解 : を与える。これは第一クリストッフェルの恒等式(first Christoffel identity)である。 アインシュタインの総和記号を使い、 : を得る。すなわち、繰り返し使われるインデックスは、すべての値を渡り足し上げる。計量テンソルをひっくり返すと、第二クリストッフェルの恒等式(second Christoffel identity)を得られる。 : 繰り返すが、アインシュタイの総和記法を使う。結果として得られる唯一の接続は、レヴィ・チヴィタ接続と呼ばれる。
|