リーマン幾何学においてリーマン曲率テンソル(リーマンきょくりつテンソル、英: Riemann curvature tensor)あるいはリーマン-クリストッフェルのテンソル(英: Riemann–Christoffel tensor)とは、リーマン多様体の曲率を表す4階のテンソルを言う。名称は、ベルンハルト・リーマンおよびエルウィン・ブルーノ・クリストッフェルに因む。
リーマン-クリストッフェルのテンソル(リーマン曲率テンソル)は重力の現代的理論である一般相対性理論における数学的な道具の中心となるものである。
定義
リーマン多様体を M とする。すなわち、M 上の各点に基本計量テンソル gij が与えられており、接続の記号
はクリストッフェル記号
であるとする。
(3階共変1階反変)リーマン曲率テンソル(Riemann curvature tensor)
共変ベクトル(1階共変テンソル)vi の共変微分に関して次のリッチの公式[1]
(リッチの公式)
が成り立つが、このとき、右辺に現れる3階共変1階反変テンソルで次のように定義されるテンソル
![{\displaystyle R_{kji}{}^{h}={\frac {\partial \left\{{{h} \atop {ji}}\right\}}{\partial x^{k}}}-{\frac {\partial \left\{{{h} \atop {ki}}\right\}}{\partial x^{j}}}+\sum _{a}\left\{{{h} \atop {ka}}\right\}\left\{{{a} \atop {ji}}\right\}-\sum _{a}\left\{{{h} \atop {ja}}\right\}\left\{{{a} \atop {ki}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/90f0791e877096cc9f39af75caaf416f29020d13)
をリーマン曲率テンソル(Riemann curvature tensor)またはリーマン-クリストッフェルのテンソル(Riemann-Christoffel tensor)と呼ぶ[2]。
(4階共変)リーマン-クリストッフェルのテンソル(Rieman-Christoffel tensor)
3階共変1階反変のリーマン曲率テンソル
に基本計量テンソルを掛け合わせて得られる4階共変テンソル
![{\displaystyle R_{kjih}=\sum _{a}R_{kji}{}^{a}g_{ah}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/538c88718dc4c480475461f2d20531766c3e16bb)
を特にリーマン-クリストッフェルのテンソルと呼ぶことがある[3]。
リッチテンソル(Ricci tensor)
さらに、リーマン-クリストッフェルテンソル
に
を掛けて縮約またはリーマン曲率テンソルを単に縮約した2階共変テンソル
![{\displaystyle R_{ji}=\sum _{kh}g^{kh}R_{kjih}=\sum _{a}R_{aji}{}^{a}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92a3db6d7657731bcb732596aa014aacfc96aedd)
をリッチテンソル(Ricci tensor)と呼ぶ。
曲率スカラー(curvature scalar)
リッチテンソル
にさらに反変基本計量テンソル gij をかけて縮約した0階テンソル(スカラー)
![{\displaystyle R=\sum _{ij}g^{ij}R_{ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e7645d1750c2df76b75b53cb814ec1d9d091190)
を曲率スカラー(curvature scalar)と呼ぶ。
テンソルの性質
(3階共変1階反変)リーマン曲率テンソルの性質
(定義より)
(定義より)
ビアンキの第二恒等式(the second Bianchi identity)
![{\displaystyle \nabla _{l}R_{kji}{}^{h}+\nabla _{j}R_{lki}{}^{h}+\nabla _{k}R_{jli}{}^{h}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba3779fdefb2b232eb61b6dc7b04006aed82a148)
(4階共変)リーマン-クリストッフェルのテンソルの性質
(定義より)
(後述)
(定義より)
後ろ二つの添字について交代
二階共変テンソル Sih に対するリッチの公式は
(二階共変テンソルに対するリッチの公式)
であるが、Sih = gih のとき、リッチの補定理
より
![{\displaystyle \nabla _{k}\nabla _{j}g_{ih}-\nabla _{j}\nabla _{k}g_{ih}=-\sum _{a}R_{kji}{}^{a}g_{ah}-\sum _{a}R_{kjh}{}^{a}g_{ia}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b5d7a484c9bc67acb3dff8e1315b9c710fe21542)
となる。 ここで、
より
![{\displaystyle -\sum _{a}R_{kji}{}^{a}g_{ah}-\sum _{a}R_{kjh}{}^{a}g_{ia}=-R_{kjih}-R_{kjhi}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/be2372e6167609c6b7cf5054682dcb8e611a01bb)
従って、
![{\displaystyle R_{kjih}=-R_{kjhi}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb6844464323e721c805b9b504a2a9e1e0b3b143)
となり、リーマン-クリストッフェルのテンソル
後ろ二つの添字 (i , h) について交代の性質を持つ
リッチテンソルの性質
リッチテンソルは対称テンソル
リーマン曲率テンソルの性質
![{\displaystyle R_{kji}{}^{h}+R_{ikj}{}^{h}+R_{jik}{}^{h}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32e4dd96c22fa3d2e5de14c43f97cdc237f67af2)
に対して h = k = a とおいて縮約を行うと
![{\displaystyle \sum _{a}(R_{aji}{}^{a}+R_{iaj}{}^{a}+R_{jia}{}^{a})=0\;\;-(*)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b87804971b93a246c0541e3af8cb9e7145742c3)
となる。ここで、最初の二項についてそれぞれ
![{\displaystyle \sum _{a}R_{aji}{}^{a}=R_{ji}\;,\;\;\sum _{a}R_{iaj}{}^{a}=\sum _{a}(-R_{aij}{}^{a})=-R_{ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/abe2844e415d2e9361260a6028d4953019aac236)
が得られる。また、最後の三項目について
から ![{\displaystyle \sum _{a}R_{jia}{}^{a}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77de56033c8594299679cd7429a458670b556670)
を得る。したがって、(※)から
すなわち、![{\displaystyle R_{ji}=R_{ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d94392bb4052897a4e34001a33512be84b458af7)
が導かれる。よってリッチテンソル
は対称テンソル。
∂g/∂xk = 0 のときの表示
リッチテンソルの定義より
![{\displaystyle {\begin{aligned}R_{ji}&=\sum _{a}R_{aji}{}^{a}=\sum _{a}\left({\frac {\partial \left\{{{a} \atop {ji}}\right\}}{\partial x^{a}}}-{\frac {\partial \left\{{{a} \atop {ai}}\right\}}{\partial x^{j}}}+\sum _{b}\left\{{{a} \atop {ab}}\right\}\left\{{{b} \atop {ji}}\right\}-\sum _{b}\left\{{{a} \atop {jb}}\right\}\left\{{{b} \atop {ai}}\right\}\right)\\&=\sum _{a}\left({\frac {\partial \left\{{{a} \atop {ji}}\right\}}{\partial x^{a}}}-\sum _{b}\left\{{{a} \atop {jb}}\right\}\left\{{{b} \atop {ai}}\right\}\right)+\sum _{a}\left(-{\frac {\partial \left\{{{a} \atop {ai}}\right\}}{\partial x^{j}}}+\sum _{b}\left\{{{a} \atop {ab}}\right\}\left\{{{b} \atop {ji}}\right\}\right)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4a6dbcaeee5ff9b17d1a168de156d84ad6ec19c)
ここで、
![{\displaystyle A_{ji}=\sum _{a}\left({\frac {\partial \left\{{{a} \atop {ji}}\right\}}{\partial x^{a}}}-\sum _{b}\left\{{{a} \atop {jb}}\right\}\left\{{{b} \atop {ai}}\right\}\right),\;\;B_{ji}=\sum _{a}\left(-{\frac {\partial \left\{{{a} \atop {ai}}\right\}}{\partial x^{j}}}+\sum _{b}\left\{{{a} \atop {ab}}\right\}\left\{{{b} \atop {ji}}\right\}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/858f190fc9b42b7b82105816d01baa15c05e4d91)
と置くと、当然
となるが、Bj i について、g = det(ga b) とすると
![{\displaystyle \sum _{a}\left\{{{a} \atop {ak}}\right\}={\frac {\partial \log {\sqrt {g}}}{\partial x^{k}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21397fef3718fda4c30594771e2dc6dab0305ead)
であることから、
![{\displaystyle B_{ji}=-{\frac {\partial ^{2}\log {\sqrt {g}}}{\partial x^{j}\partial x^{i}}}+\sum _{b}{\frac {\partial \log {\sqrt {g}}}{\partial x^{b}}}\left\{{{b} \atop {ji}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d6ad756345dbda490e376474de6720bffaa4f0d)
を得る。したがって、
のときは、Bj i = 0 であり、
![{\displaystyle R_{ji}=A_{ji}=\sum _{a}{\frac {\partial \left\{{{a} \atop {ji}}\right\}}{\partial x^{a}}}-\sum _{a,b}\left\{{{a} \atop {jb}}\right\}\left\{{{b} \atop {ai}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8349fdfeff92cad8d0081d61043e71a3fd9ff584)
となる。
リーマン多様体のある領域がユークリッド空間である必要十分条件はリーマン曲率テンソルが0
リーマン多様体においては、ごく近い2点間の距離(線素) ds は、
![{\displaystyle \mathrm {d} s={\sqrt {\sum _{i,j}g_{ij}(x)\mathrm {d} x^{i}\mathrm {d} x^{j}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/236da24646a00c7ab3112ad132773481d53c1ee2)
で定義されるが、ここで、係数 gij(x) は、一般に座標 x = (xh) の関数である。一方、ユークリッド空間においては、直交座標系をとればごく近い2点間の距離 ds は
![{\displaystyle \mathrm {d} s={\sqrt {\sum _{i,j}\delta _{ij}\mathrm {d} x^{i}\mathrm {d} x^{j}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dbb51d80a3e0ddd98ffaa70a3496d8220ef86d45)
で与えられるが、直交座標系(xh)から曲線座標系(uh)へ座標変換を行えば、あらわれる係数 gij(u) は座標 u の関数となり、ds はリーマン多様体と同様の形式となる。ただし、これは見かけ上だけのことであり、もともとユークリッド空間であるので当然適当な座標系(この場合は元の直交座標系)をとれば gij(u) を全て定数(1または0など)にすることができる。一般にリーマン多様体の各点に与えられる基本計量テンソル gij(x) を定数にする座標変換は存在しないが、もしリーマン多様体の一部の領域について適当な座標変換により gij(x) を定数にすることができるのであれば、その領域はユークリッド空間に一致する。
したがって、
リーマン多様体の一部領域がユークリッド空間に一致⇔その領域における基本計量テンソル gij(x) を全部定数にする座標変換が存在する。
ここで、gij が全て定数であれば、クリストッフェル記号はその定義から明らかに0となる。逆にクリストッフェル記号が0であれば、リッチの補定理
から
![{\displaystyle \nabla _{k}g_{ij}={\frac {\partial g_{ij}}{\partial x^{k}}}-\sum _{a}g_{aj}\left\{{{a} \atop {ik}}\right\}-\sum _{a}g_{ia}\left\{{{a} \atop {jk}}\right\}={\frac {\partial g_{ij}}{\partial x^{k}}}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f4dc962dc9f3830e2e6c7384cdfa3bc5f63980e)
となり、gij は全て定数となる。よって、
ある領域における基本計量テンソル gij(x) を全部定数にする座標変換が存在する ⇔ その領域においてクリストッフェル記号を全て0にする座標変換が存在する。
ここで、座標系(uh)がクリストッフェル記号を全て0にする座標系とすれば、クリストッフェル記号の変換公式[4]より
![{\displaystyle {\frac {\partial ^{2}u^{a}}{\partial x^{j}\partial x^{k}}}=\sum _{i}{\frac {\partial u^{a}}{\partial x^{i}}}\left\{{{i} \atop {jk}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9f31e5b33664e31fe2e49664eb9a58af19a3b97)
が得られる。両辺偏微分を行うと
![{\displaystyle {\frac {\partial ^{3}u^{a}}{\partial x^{l}\partial x^{j}\partial x^{k}}}=\sum _{i}{\frac {\partial ^{2}u^{a}}{\partial x^{l}\partial x^{i}}}\left\{{{i} \atop {jk}}\right\}+\sum _{i}{\frac {\partial u^{a}}{\partial x^{i}}}{\frac {\partial \left\{{{i} \atop {jk}}\right\}}{\partial x^{l}}}=\sum _{b,i}{\frac {\partial u^{a}}{\partial x^{b}}}\left\{{{b} \atop {l\,i}}\right\}\left\{{{i} \atop {jk}}\right\}+\sum _{i}{\frac {\partial u^{a}}{\partial x^{i}}}{\frac {\partial \left\{{{i} \atop {jk}}\right\}}{\partial x^{l}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4534df949404b98eaa5a7a609faf05aecb3665ab)
となる。
![{\displaystyle {\frac {\partial ^{3}u^{a}}{\partial x^{l}\partial x^{j}\partial x^{k}}}={\frac {\partial ^{3}u^{a}}{\partial x^{j}\partial x^{l}\partial x^{k}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c51688b37c0ba537f01929e643d5c3a04bc9ed13)
から
![{\displaystyle {\begin{aligned}0&={\frac {\partial ^{3}u^{a}}{\partial x^{l}\partial x^{j}\partial x^{k}}}-{\frac {\partial ^{3}u^{a}}{\partial x^{j}\partial x^{l}\partial x^{k}}}\\&={\frac {\partial u^{a}}{\partial x^{b}}}\left[{\frac {\partial \left\{{{b} \atop {jk}}\right\}}{\partial x^{l}}}-{\frac {\partial \left\{{{b} \atop {lk}}\right\}}{\partial x^{j}}}+\sum _{i}\left\{{{b} \atop {l\,i}}\right\}\left\{{{i} \atop {jk}}\right\}-\sum _{i}\left\{{{b} \atop {ji}}\right\}\left\{{{i} \atop {lk}}\right\}\right]\\&={\frac {\partial u^{a}}{\partial x^{b}}}R_{jkl}{}^{b}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/33f20dd512d4beaf03d3e771be0c36336e693ad3)
したがって、
。
曲面の曲率
二次元曲面に対して、ビアンキ恒等式はリーマンテンソルが
の形に表せることを示している。ここで gab はこの曲面の計量テンソル、K はガウス曲率と呼ばれる函数で、a, b, c, d は 1 または 2 のいずれかの値をとる。期待の通り、このリーマン曲率テンソルは独立成分をただ一つだけ持つ。
ガウス曲率は、この曲面の断面曲率と一致し、また 2-次元多様体のスカラー曲率のちょうど半分にもなっている。同時に、この曲面のリッチ曲率テンソルは単に
として与えられる。
脚注
- ^ なお、一般の r 階共変テンソル
の共変微分に関するリッチの公式は以下
(リッチの公式)
となる。 - ^ すなわち、リーマン曲率テンソルは「共変微分の非可換さ」を測るものである。
- ^ ただし、
![{\displaystyle -\sum _{k,j,i,h}R_{kjih}u^{k}v^{j}u^{i}v^{h}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a43dbb73e65be1139d159da7bb8beb21b0b5c4a5)
が、互いに直交する単位ベクトル uh と vh の定める切口に関する断面曲率となるという意味でそのように呼ばれる。 矢野(1971) p.206
以後、使い分けのため、リーマン-クリストッフェルのテンソルというときはこの4階共変テンソルを指すこととする。 - ^ 座標系(uh)から座標系(xh)へのクリストッフェル記号の座標変換公式
![{\displaystyle \sum _{i}{\frac {\partial u^{a}}{\partial x^{i}}}\left\{{{i} \atop {jk}}\right\}=\sum _{b,c}{\frac {\partial u^{b}}{\partial x^{j}}}{\frac {\partial u^{c}}{\partial x^{k}}}\left\{{\overline {{a} \atop {bc}}}\right\}+{\frac {\partial ^{2}u^{a}}{\partial x^{j}\partial x^{k}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e2cb9066675a671e24fde77f8dc0316e3a02ef2e)
座標系(uh)がクリストッフェル記号を全て1にする ![{\displaystyle \left\{{\overline {{a} \atop {bc}}}\right\}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ddc467f23fdc0891fbc04570911dc07571ff3af)
とすれば、 ![{\displaystyle {\frac {\partial u^{a}}{\partial x^{i}}}\left\{{{i} \atop {jk}}\right\}={\frac {\partial ^{2}u^{a}}{\partial x^{j}\partial x^{k}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8754c970c20e90f4a10a54b7882f4731c6f67b06)
が得られる。
関連項目
参考文献
|
---|
Glossary of tensor theory(英語版) |
範囲 (Scope) | |
---|
表記法 (Notation) | |
---|
テンソルの定義 | |
---|
算法 | |
---|
関連事項 | |
---|
有名なテンソル | |
---|
数学者 | |
---|
カテゴリ |