アインシュタインテンソルと一般相対性理論の数学的構造
現代物理学の金字塔である一般相対性理論において、重力は単なる「力」ではなく、時空の歪みとして記述されます。この時空の曲がり具合を数学的に表現し、物質の分布と結びつける中心的な役割を果たすのが「アインシュタインテンソル」です。微分幾何学の視点から、このテンソルがどのように定義され、宇宙の構造をどのように決定づけているのかを解説します。
Key Facts
- アインシュタインテンソルは、擬リーマン多様体における曲率を表現する2階のテンソルである。
- リッチテンソルとスカラー曲率を用いて定義され、トレース反転リッチテンソルとも呼ばれる。
- アインシュタイン方程式の左辺を構成し、時空の幾何学的な曲がりを記述する。
- ビアンキ恒等式により発散がゼロとなる性質を持ち、エネルギー・運動量の保存則と整合している。
- 4次元時空において、計量テンソルとその1階・2階微分から構成される唯一の発散ゼロのテンソルである（ラブロックの定理）。
アインシュタインテンソルの数学的定義
アインシュタインテンソル（$G_{\mu\nu}$）は、時空の幾何学的性質を記述するリッチテンソル（$R_{\mu\nu}$）と、そのトレースであるスカラー曲率（$R$）、そして時空の距離を定義する計量テンソル（$g_{\mu\nu}$）を用いて以下のように定義されます。
定義式: $G_{\mu\nu} = R_{\mu\nu} - \frac{1}{2}g_{\mu\nu}R$
ここで、スカラー曲率はリッチテンソルを計量テンソルで縮約することで得られます。このテンソルは対称的な性質（$G_{\mu\nu} = G_{\nu\mu}$）を持っており、物理学的に極めて重要な「発散がゼロである（$\nabla^\mu G_{\mu\nu} = 0$）」という特性を備えています。
トレースの性質と次元の影響
アインシュタインテンソルのトレース（縮約）を計算すると、時空の次元数 $n$ に依存した結果が得られます。計算式は $G = \frac{2-n}{2}R$ となり、私たちが生きる4次元時空（$n=4$）の場合、$G = -R$ となります。つまり、アインシュタインテンソルのトレースはリッチテンソルのトレースの符号を反転させたものになるため、「トレース反転リッチテンソル」という別名がついているのです。
一般相対性理論における役割
アインシュタインテンソルの最大の意義は、アインシュタイン方程式において、時空の幾何学（左辺）と物質・エネルギーの分布（右辺）を等号で結ぶ点にあります。
アインシュタイン方程式: $G_{\mu\nu} + \Lambda g_{\mu\nu} = \kappa T_{\mu\nu}$
この式において、$\Lambda$ は宇宙定数、$\kappa$ はアインシュタイン重力定数、$T_{\mu\nu}$ はエネルギー・運動量テンソルを表します。アインシュタインテンソルは計量テンソルの2階偏微分を含む非線形な関数であり、この方程式は計量テンソルに関する10個の準線形2階偏微分方程式系となります。
エネルギー保存則との整合性
物理学においてエネルギーと運動量の保存は絶対的な原則です。アインシュタインテンソルが持つ「発散ゼロ」という数学的性質（縮約ビアンキ恒等式）があるおかげで、方程式の右辺にあるエネルギー・運動量テンソル $T_{\mu\nu}$ も自動的に共変保存（$\nabla^\mu T_{\mu\nu} = 0$）されることが保証されます。これにより、理論的な整合性が保たれています。
理論の独自性と代替案
数学者のデヴィッド・ラブロックは、4次元の微分可能多様体において、計量テンソルとその1階・2階微分のみを用いて構成される、テンソル形式かつ発散ゼロの関数はアインシュタインテンソルのみであることを証明しました。
しかし、これは「アインシュタイン方程式が唯一の正解である」ことを意味しません。ニュートン力学の一般化であり、座標不変性を持ち、エネルギー保存則を満たす理論は他にも存在します。例えば、時空のねじれを考慮したアインシュタイン・カルタン理論などの代替理論が提案されており、現代物理学の議論が続いています。
要約テーブル：アインシュタインテンソルの構成要素
| 構成要素/概念 | 記号 | 役割・意味 |
|---|---|---|
| 計量テンソル | $g_{\mu\nu}$ | 時空の距離と角度を定義する基本テンソル |
| リッチテンソル | $R_{\mu\nu}$ | 曲率の平均的な広がりを記述する |
| スカラー曲率 | $R$ | リッチテンソルのトレース（単一の数値） |
| エネルギー・運動量テンソル | $T_{\mu\nu}$ | 物質の密度や圧力などの分布を記述する |
| 宇宙定数 | $\Lambda$ | 真空のエネルギー密度に関連する定数 |
Frequently Asked Questions
アインシュタインテンソルとは簡単に言うと何ですか？
時空がどれくらい曲がっているかを数学的に表したものです。このテンソルがあることで、「物質があるところに時空の歪みが生じ、それが重力として現れる」という一般相対性理論の仕組みを数式で記述できるようになります。
なぜ「発散がゼロ」であることが重要なのですか？
物理学における「保存則」に対応しているからです。アインシュタインテンソルの発散がゼロであるため、それと結びついたエネルギーや運動量も勝手に消えたり増えたりせず、保存されることが数学的に保証されます。
リッチテンソルとアインシュタインテンソルの違いは何ですか？
リッチテンソルは曲率の一部を記述しますが、それだけではエネルギー保存則（発散ゼロの条件）を満たしません。リッチテンソルからスカラー曲率を用いた補正項を引くことで、物理的に整合性の取れたアインシュタインテンソルが作られます。
4次元以外の世界でもこの理論は成り立ちますか？
数学的な定義自体は $n$ 次元で可能ですが、トレースの性質などが変化します。ラブロックの定理が示す通り、アインシュタインテンソルの特異な性質（唯一性）は4次元時空において特に顕著に現れます。
アインシュタイン方程式を解くと何が分かりますか？
特定の物質分布（星や銀河など）があるときに、周囲の時空がどのように歪むかが分かります。これにより、ブラックホールの存在や宇宙の膨張、光の屈曲（重力レンズ効果）などが理論的に導き出されます。