これは相対論の「リッチ・テンソル」の記事の中で使った公式を説明するために用意したページである.
その公式とは,ある行列
について,次の計算が成り立つというものである.
ただし
は行列の行列式,
は行列の成分,
は行列の逆行列
の成分であるとする.
「リッチテンソル」の記事中ではこの公式を
を使って表していたが,ここでは行列としてわざわざやなどの線形代数でよく見られる書き方を採用した.これは一旦考えを相対論とは切り離してもらいたいからである.よってアインシュタインの省略記法もやめてわざわざ和の記号を使ってみた.
行列が出てくる辺りは線形代数の範囲の話のように見えるが,成分同士の積について和を取っている部分に注目すると,線形代数でよく見られるような行列どうしの積を表す形式にはなっておらず,ちょっと珍しい.
話を続けるには,線形代数の復習が少々必要であろう.
必要なことだけ書くが,の余因子行列
の成分
は
と表すことも出来る.（参考記事：「逆行列の求め方」）
余因子行列の定義は教科書によって少し違っていることがあり,転置したものをそう呼んでいる場合があるので注意.
さて,余因子展開という技があって,行列式を知りたいときには,どれか一つの行,または列のみを選んで,その行または列に含まれる成分と,同じ位置の余因子の成分
を掛け合わせたものの和をとってやればいいのだった.（参考記事：「行列式のルール」）この添字の付け方を見てちょっと混乱するかもしれないが,ここで私が使っている流儀ではの余因子
を転置したものを余因子行列と呼んでいるので,の余因子はである.
例えばある
行目を選んだとすると,
と書けるというわけだ.添字の記号を変えたのは,この後の計算でぶつからないようにするためである.このをで偏微分してやろう.
この計算にはうまい抜け道がある.先ほどを得るために行目を選んだわけだが,実はどの行でもいいのだから,を
に置き換えて話を進めよう.すると
は
となるわけだが,この余因子は行列の行目と
列目を取り除いた行列を使って計算されるものだから
には依存しない.よってカッコ内の第 2 項は 0 になる.
この結果から次の関係が得られたことになる.
この両辺に
を掛けて縮約してやると次のようになる.
縮約したというのは,つまり両辺ともにと
について和を取ったということだが,右辺では和の記号を省略してある.これは冒頭で示した式と同じ意味である.こうして証明が完了した.
ここで計量テンソルを行列の代わりに当てはめることにする.の逆行列は
であること,は対称行列であることを使えば,
と書ける.ただし行列式
をただの
と表現した.「リッチ・テンソル」の記事中で使ったのはこの式だ.
