リーマン曲率テンソル

リーマン幾何学においてリーマン曲率テンソル（リーマンきょくりつテンソル、）あるいはリーマン-クリストッフェルのテンソル（）とは、リーマン多様体の曲率を表す4階のテンソルを言う。名称は、ベルンハルト・リーマンおよびエルウィン・ブルーノ・クリストッフェルに因む。

リーマン-クリストッフェルのテンソル（リーマン曲率テンソル）は重力の現代的理論である一般相対性理論における数学的な道具の中心となるものである。
 定義 
リーマン多様体を M とする。すなわち、M 上の各点に基本計量テンソル gij が与えられており、接続の記号  はクリストッフェル記号  であるとする。
 （3階共変1階反変）リーマン曲率テンソル（Riemann curvature tensor） 
共変ベクトル（1階共変テンソル）vi の共変微分に関して次のリッチの公式なお、一般の r 階共変テンソル の共変微分に関するリッチの公式は以下
（リッチの公式）
となる。
 （リッチの公式）
が成り立つが、このとき、右辺に現れる3階共変1階反変テンソルで次のように定義されるテンソル

をリーマン曲率テンソル（Riemann curvature tensor）またはリーマン-クリストッフェルのテンソル（Riemann-Christoffel tensor）と呼ぶすなわち、リーマン曲率テンソルは「共変微分の非可換さ」を測るものである。。

 （4階共変）リーマン-クリストッフェルのテンソル（Rieman-Christoffel tensor） 
3階共変1階反変のリーマン曲率テンソル  に基本計量テンソルを掛け合わせて得られる4階共変テンソル  

を特にリーマン-クリストッフェルのテンソルと呼ぶことがあるただし、

が、互いに直交する単位ベクトル uh と vh の定める切口に関する断面曲率となるという意味でそのように呼ばれる。
矢野(1971) p.206 
以後、使い分けのため、リーマン-クリストッフェルのテンソルというときはこの4階共変テンソルを指すこととする。。
 リッチテンソル（Ricci tensor） 
さらに、リーマン-クリストッフェルテンソル  に  を掛けて縮約またはリーマン曲率テンソルを単に縮約した2階共変テンソル

をリッチテンソル（Ricci tensor）と呼ぶ。

 曲率スカラー（curvature scalar） 
リッチテンソル  にさらに反変基本計量テンソル gij をかけて縮約した0階テンソル（スカラー）

を曲率スカラー（curvature scalar）と呼ぶ。

 テンソルの性質 
 （3階共変1階反変）リーマン曲率テンソルの性質  
 （定義より）
 （定義より）
 ビアンキの第二恒等式（the second Bianchi identity） 

 （4階共変）リーマン-クリストッフェルのテンソルの性質 
 （定義より）
 （後述）
 （定義より）
 後ろ二つの添字について交代 
二階共変テンソル Sih に対するリッチの公式は
（二階共変テンソルに対するリッチの公式）
であるが、Sih = gih のとき、リッチの補定理  より

となる。 ここで、 より

従って、

となり、リーマン-クリストッフェルのテンソル  後ろ二つの添字 (i , h) について交代の性質を持つ
 リッチテンソルの性質 
 リッチテンソルは対称テンソル 
リーマン曲率テンソルの性質

に対して h = k = a とおいて縮約を行うと

となる。ここで、最初の二項についてそれぞれ

が得られる。また、最後の三項目について
 から 
を得る。したがって、（※）から
 すなわち、
が導かれる。よってリッチテンソル  は対称テンソル。
 ∂g/∂xk = 0 のときの表示 
リッチテンソルの定義より

ここで、

と置くと、当然  となるが、Bj i について、g = det(ga b) とすると

であることから、

を得る。したがって、 のときは、Bj i = 0 であり、

となる。
 リーマン多様体のある領域がユークリッド空間である必要十分条件はリーマン曲率テンソルが0 
リーマン多様体においては、ごく近い2点間の距離（線素）  は、

で定義されるが、ここで、係数  は、一般に座標  の関数である。一方、ユークリッド空間においては、直交座標系をとればごく近い2点間の距離  は 

で与えられるが、直交座標系（）から曲線座標系（）へ座標変換を行えば、あらわれる係数  は座標  の関数となり、 はリーマン多様体と同様の形式となる。ただし、これは見かけ上だけのことであり、もともとユークリッド空間であるので当然適当な座標系（この場合は元の直交座標系）をとれば  を全て定数（1または0など）にすることができる。一般にリーマン多様体の各点に与えられる基本計量テンソル  を定数にする座標変換は存在しないが、もしリーマン多様体の一部の領域について適当な座標変換により  を定数にすることができるのであれば、その領域はユークリッド空間に一致する。

したがって、

ここで、 が全て定数であれば、クリストッフェル記号はその定義から明らかに0となる。逆にクリストッフェル記号が0であれば、リッチの補定理  から

となり、 は全て定数となる。よって、

ここで、座標系（）がクリストッフェル記号を全て0にする座標系とすれば、クリストッフェル記号の変換公式座標系（uh）から座標系（xh）へのクリストッフェル記号の座標変換公式

座標系（uh）がクリストッフェル記号を全て1にする

とすれば、

が得られる。より

が得られる。両辺偏微分を行うと

となる。

から

したがって、。

 曲面の曲率 
二次元曲面に対して、ビアンキ恒等式はリーマンテンソルが

の形に表せることを示している。ここで gab はこの曲面の計量テンソル、K はガウス曲率と呼ばれる函数で、a, b, c, d は 1 または 2 のいずれかの値をとる。期待の通り、このリーマン曲率テンソルは独立成分をただ一つだけ持つ。

ガウス曲率は、この曲面の断面曲率と一致し、また 2-次元多様体のスカラー曲率のちょうど半分にもなっている。同時に、この曲面のリッチ曲率テンソルは単に

として与えられる。

 脚注 

 関連項目 
 部分リーマン多様体の接続と曲率
 断面曲率
 曲率形式
 ホロノミー

 参考文献 





Category:リーマン幾何学
Category:一般相対性理論
Category:曲率
Category:テンソル
きよくりつてんそる
Category:数学に関する記事
Category:人名を冠した数式
Category:数学のエポニム