一般相対論
一般相対論について簡潔な解説を書きます。一般相対論というのは初見では難解そうに思えますが、実は非常にシンプルな理論です(方程式を解くのは大変ですが)。ここでは基本的な概念の解説と、測地線の方程式/アインシュタイン方程式の導出、そのあとは宇宙論やブラックホールなどなど、扱えればと思います。いつになるやら分かりませんが。なるべく平易で、短く簡潔な文章を心がけます。気が向いたときに少しずつ加筆と修正をします。質問や文句などはコメントにお願いします
重力の理論
一般相対論の出発点は極めて明確であり、それは特殊相対論(慣性系の理論)を、より一般の非慣性系へと拡張することである。ローレンツ変換のみならず、一般の座標変換(極座標とか)を取り入れるということ。面白いことに、この試みはただちに一般相対論が必然的に重力理論になることを示唆する。等価原理を認めれば、非慣性系での物体の加速は、(たとえそうでなくても)重力によるものと解釈できるからである。
さて、たたき台となるニュートン力学には、重力について重要な式が二つある。まず一つは運動方程式
であり、もう一つはポアソン方程式
である。は物質の質量密度分布である。
このふたつは、明らかに一般相対性原理の要請に合わない。つまり、一般的な座標変換に対し方程式の形が変わる(ガリレイ変換の場合には問題はない)。それどころかローレンツ共変ですらない。式(1)はそもそも成分が3つしかないし(相対性原理を満たすならば、方程式は少なくとも4つないといけない)、ラプラシアンも形が変わる。
共変微分
さて、まずは相対性原理的な観点から、微分という操作を考え直す必要がある。
ユークリッド空間にとった直交座標では、基底ベクトルはどこでも同じである。しかしユークリッド空間上の極座標とか、曲がった空間での座標系は、場所によって基底ベクトルの向きや大きさが変わることがある。
たとえば、z軸を地面と垂直に取った場合、日本とブラジルではz軸の向きは真逆になる。そこで、一般の座標系を相手にする場合は、何かのベクトルの変化を調べる際、基底ベクトルの変化も加味して
というふうにしなくてはならない。
ここで、基底ベクトルの微分も、4つの基底ベクトルの線型結合でかけるため、その係数を
とおくと、
ゆえに成分のみの式を書くことができて、
これを共変微分といい、またこのをクリストッフェル記号という。この記号は、一見テンソルに見えるが実はテンソルではない(それについては下記で解説する)。とにかく、クリストッフェル記号というのは基底ベクトルの変化の度合いに関係する量であり、したがって重力とも関係してくるはずである(ミンコフスキー空間では、当然全成分ゼロである)。
共変微分係数は