>>411
ＥＭＡＮ先生の一般相対論 アインシュタインのテンソル式の導出、秀逸だね、感心した（＾＾
（文字化けあるので、原文見てください）
http://eman-physics.net/relativity/ein_eq.html
ＥＭＡＮの物理学・相対性理論・重力場の方程式へ:
(抜粋)
一般相対論の原理
　さあ、いよいよ仕上げである。ここまでの知識を使って、物質の存在と重力の起源を結び付ける方程式を組み立てよう。

組み立て開始
　前回話したように、ニュートン力学での重力場の源は「質量密度ρ」であった。特殊相対論では質量とエネルギーが等価であることが導かれたので、重力の源は「エネルギー密度」だと言い換えても良いだろう。
しかしエネルギー密度は単独ではテンソルではないから、式の中に持ち込むとしたら、運動量密度などと一緒にした「エネルギー運動量テンソル」を使うべきであろう。それで、これを重力場の方程式の右辺に持ってくることにする。
これはつまり「重力場の源は質量である」と考えていた古い形式を拡張して、「重力場の源はエネルギー運動量テンソルである」という考えを新しく採用することを意味する。

　右辺のエネルギー運動量テンソルが 2 階の反変テンソルなのだから、左辺も同じ形式のテンソルになるべきだろう。

仮にXij
とでも書いておこう。
Xij=Tij
　ところで「エネルギー運動量テンソル」は次の関係を満たしていた。
∂iTij=0
　これはエネルギー保存、運動量保存の式である。これは平らな時空を前提に導いた式なのだった。リーマン幾何学で学んだように、テンソルをただ微分したものはテンソルではない。ではこの式が時空が曲がっていても使えるようにしてやるにはどうすれば良いかと言うと、すでに良く分かっているだろう。
∇iTij=0
と拡張してやればよい。そうなると左辺のXijを共変微分したものも同じように 0 にならなければいけないはずだ。
∇iXij=0
　そんな性質を持った量Xijがそうそう都合よく見付かるはずが・・・いや、あったよ！！前に出てきたアインシュタイン・テンソルだ。しかしこれをそのまま使ったのでは次元が合わないので、係数kを付けて調整してやることにする。
Gij = k Tij
　これが相対論における「重力場の方程式」すなわち「アインシュタイン方程式」である。何とあっけなく導かれてしまったことか。