質量（地球）が2次元で描いた格子模様の平面に落とし込まれた状態を描いた説明図。格子模様をゆがめている様子が視認できる。また、歪んでいる格子模様自体が重力と解釈できる。この説明図を一般人にも理解できるよう例えるなら、重い物がトランポリンに沈む状態と同じである。 一般相対性理論 （いっぱんそうたいせいりろん、独 :allgemeine Relativitätstheorie ,英 :general theory of relativity ）は、アルベルト・アインシュタイン が1905年 の特殊相対性理論 に続いて、それを発展させ1915年 から1916年 にかけて発表した物理学 の理論である。一般相対論 （いっぱんそうたいろん、英 :general relativity ）とも呼ばれる。
重力場の概念図。中心に近づくほど重力が大きい。 一般相対性原理 と一般共変性原理 および等価原理 を理論的な柱とし、リーマン幾何学 を数学 的土台として構築された古典論 的な重力場 の理論であり、ロシアの物理学者のレフ・ランダウ は一般相対論について、現存する物理学の理論の中で最も美しい理論だと述べている[ 1] 測地線 の方程式 とアインシュタイン方程式 （重力場の方程式）が帰結である。時間と空間を結びつけるこの理論では、アイザック・ニュートン によって万有引力 として説明された現象が、もはやニュートン力学的な意味での力 ではなく、時空連続体 の歪み として説明される。
一般相対性理論では、次のことが予測される。
重力レンズ効果 重力場中では光が曲がって進むこと。アーサー・エディントン は、1919年5月29日の日食 で、太陽 の近傍を通る星の光の曲がり方がニュートン力学で予想されるものの2倍であることを観測で確かめ、一般相対性理論が正しいことを示した。 水星 の近日点 の移動ニュートン力学だけでは、水星軌道のずれ（近日点移動 の大きさ）の観測値の説明が不完全だったが、一般相対性理論が解決を与え、太陽の質量 による時空連続体の歪みに原因があることを示した。 重力波 時空 の歪み（重力場 ）の変動が伝播する現象。線型近似 が有効な弱い重力波の伝播速度は光速 である。アインシュタインによる予測の発表から100年目の2016年 に、アメリカのLIGO により直接観測された。膨張宇宙 時空は膨張または収縮し、定常にとどまることがないこと。ビッグバン 宇宙を導く。 ブラックホール 限られた空間に大きな質量が集中すると、光さえ脱出できないブラックホールが形成される。 重力 による赤方偏移 強い重力場から放出される光の波長は元の波長より引き延ばされる現象。 時間の遅れ 強い重力場中で測る時間の進み（固有時間 ）が、弱い重力場中で測る時間の進みより遅いこと。 一般相対性理論は慣性力と重力を結び付ける等価原理のアイデアに基づいている。等価原理とは、簡単に言えば、外部を観測できない箱の中の観測者は、自らにかかる力が、箱が一様に加速されるために生じている慣性力なのか、箱の外部にある質量により生じている重力なのか、を区別することができないという主張である。
相対論によれば空間は時空連続体であり、一般相対性理論では、その時空連続体が均質でなく歪んだものになる。つまり、質量が時空間を歪ませることによって、重力が生じると考える。そうだとすれば、質量の周囲の時空間は歪んでいるために、光は直進せず、また時間の流れも影響を受ける。これが重力レンズや時間の遅れといった現象となって観測されることになる。また質量が移動する場合、その移動にそって時空間の歪みが移動・伝播していくために重力波が生じることも予測される。
アインシュタイン方程式から得られる時空は、ブラックホールの存在や膨張宇宙モデルなど、アインシュタイン自身さえそれらの解釈を拒むほどの驚くべき描像である。しかし、ブラックホールや初期宇宙の特異点 の存在も理論として内包しており、特異点の発生は一般相対性理論そのものを破綻させてしまう。将来的には量子重力理論 が完成することにより、この困難は解決されるものと期待されている。
1905年に特殊相対性理論を発表したアインシュタインは、特殊相対性理論を加速度運動を含めたものに拡張する理論の構築に取り掛かった。1907年に、アインシュタイン自身が「人生で最も幸福な考え (the happiest thought of my life)」と振り返る「重力によって生じる加速度は観測する座標系によって局所的にキャンセルすることができる」というアイディア（等価原理[ 2] リーマン幾何学 の存在を教えたのが、数学者マルセル・グロスマン であった。ただし、このときグロスマンは、「物理学者が深入りする問題ではない」と助言したとも伝えられている。1915年-16年には、これらの考えが1組の微分方程式（アインシュタイン方程式 ）としてまとめられた。
この時期にアインシュタインが発表した一般相対性理論に関する論文は、以下の通り。
1911年 論文『光の伝播に対する重力の影響[ 注 1] 1914年 論文『一般相対性理論および重力論の草案[ 注 2] 1915年 論文『水星の近日点の移動に対する一般相対性理論による説明[ 注 3] 1916年 論文『一般相対性理論の基礎[ 注 4] 1916年 論文『ハミルトンの原理と一般相対性理論[ 注 5] アインシュタイン方程式の発表後は、その方程式を解くことが研究の課題となった。
1916年にカール・シュヴァルツシルト が、アインシュタイン方程式を球対称・真空の条件のもとに解き、今日ブラックホール と呼ばれる時空を表すシュヴァルツシルト解 を発見した。アインシュタイン自身は、自ら導いた方程式から、重力波の概念を提案したり、宇宙全体に適用すると動的な宇宙が得られてしまうことから、宇宙項 を新たに方程式に加えるなどの提案を行っている。
1917年 論文『一般相対性理論についての宇宙論的考察』(S.B. Preuss. Akad. Wiss., 142-152) 1918年 論文『重力波について』(S.B. Preuss. Akad. Wiss., 154-167) 1919年5月29日の皆既日食の写真。アーサー・エディントンが撮影した。 1919年5月29日にアーサー・エディントン が皆既日食 を利用して、一般相対性理論により予測された太陽近傍での光の曲がりを確認したことにより、理論の正しさが認められ、世間への認知が一気に広まった。
1922年には、宇宙膨張を示唆するフリードマン・ロバートソンモデルが提案されるが、アインシュタイン自身は、宇宙が定常であると信じていたので、現実的な宇宙の姿であるとは受け入れようとはしなかった。
しかし、1929年には、エドウィン・ハッブル が、遠方の銀河の赤方偏移 より、宇宙が膨張していることを示し、これにより、一般相対性理論の予測する時空の描像が正しいことが判明した。後にアインシュタインは宇宙項の導入を取り下げ、「生涯最大の失敗だった (the biggest blunder in my career)」とジョージ・ガモフ に語ったという。
1931年、スブラマニアン・チャンドラセカール は、白色矮星 の質量に上限があることを理論的計算によって示した。今日、チャンドラセカール限界 として知られる式は、万有引力定数 G 、プランク定数 h 、光速 c の3つの基本定数を含み、古典物理・量子物理双方の成果を集大成したものでもある。チャンドラセカールは、「星の構造と進化にとって重要な物理的過程の理論的研究」の功績でノーベル物理学賞 （1983年）を受賞した。
1939年、ロバート・オッペンハイマー とゲオルグ・ヴォルコフ (George Volkoff は、中性子星 形成のメカニズムを考察する過程で、重力崩壊 現象が起きることを予測した。
その後しばらく、一般相対性理論は、「数学的産物」として実質的な物理研究の主流からは外れている。
重力波は果たして物理的な実体であるのかどうかという論争や、アインシュタイン方程式の厳密解の分類方法などの研究がしばらく続くが、1960年代のパルサー の発見やブラックホール候補天体の発見、そしてロイ・カー による回転ブラックホール解（カー解 ）の発見を契機に、一般相対性理論は天文学の表舞台に登場する。同時期に、スティーヴン・ホーキング とロジャー・ペンローズ が特異点定理 を発表し、数学的・物理的に進展を始めると共に、ジョン・ホイーラー らが、古典重力・量子重力双方に物理的な描像を次々と提出し始めた。ワームホール （1957年）やブラックホール （1967年）という名前を命名したのは、ホイーラーである。
1974年、ジョゼフ・テイラー とラッセル・ハルス は、連星パルサー PSR B1913+16 を発見した。連星の自転周期とパルスの放射周期を精密に観測することによって、重力波 により、連星系からエネルギーが徐々に運び去られていることを示し、重力波の存在を間接的に証明した。この業績により、2人は「重力研究の新しい可能性を開いた新型連星パルサーの発見」としてノーベル物理学賞 （1993年）を受賞した。
重力波の直接観測も試みられ続け、2016年に重力波検出器 （レーザー干渉計 ）により、連星ブラックホールの合体イベントによる重力波を初めて直接検出 したことが発表された。
また、宇宙論研究では、ビッグバン 宇宙モデル（1947年）が有力とされているが、さらにその初期宇宙の膨張則を修正したインフレーション宇宙 モデル（1981年）も正しいことが、2006年のWMAP 衛星による宇宙背景輻射 の観測により決定的になったと考える人も多い。最近は、高次元宇宙モデルが脚光を浴びているが、これらの宇宙モデルは、いずれも一般相対性理論を基礎にして議論される。
アインシュタイン以後、一般相対性理論以外の重力理論も、数多く提案されているが、現在までにほとんどが過去の観測結果を照合した上で棄却されている。実質的に対抗馬となるのは、カール・ブランス とロバート・H・ディッケ によるブランス・ディッケ重力理論 であるが、現在の観測では、ブランス・ディッケ理論のパラメーターは、ほとんど一般相対性理論に近づけなくてはならず、両者を区別することが難しいほどである。量子論と一般相対論の統一という物理学の試みは未だ進行中であるものの、一般相対性理論を積極的に否定する観測事実・実験事実は一つもない。他に提案されたどの重力理論よりも一般相対性理論は単純な形をしていることから、重力は一般相対性理論で記述される、と考えるのが現代の物理学である。
アインシュタイン方程式 は微分方程式 として与えられているため局所的な理論ではあるが、ちょうど電磁気学 における局所的なマクスウェル方程式 から大域的なクーロンの法則 を導くことができるように、アインシュタイン方程式は静的なニュートンの万有引力の法則 を包含している。万有引力の法則 との主な違いは次の3点である。
重力 は瞬時に伝わるのではなく光 と同じ速さ（光速 ）で伝わる。重力から重力が発生する（非線形相互作用）。 質量 を持つ物体の加速 運動により、重力波 が放射される。ここで、3.は荷電粒子 が加速運動することにより電磁波 が放射 されることと類似している。これは、万有引力の法則やクーロンの法則 に、運動する対象の自己の重力や電荷 の効果を取り入れていることに対応している。
後述するように、一般相対性理論における時空間は数学的には各点の接ベクトル空間 にミンコフスキー計量 をいれた4次元多様体 （ローレンツ多様体 ）で、アインシュタイン方程式 を満たすものである。
よって各点の接ベクトル空間は、特殊相対性理論 に従うミンコフスキー空間であり、接ベクトル空間とは、数学的にはテイラー展開 の一次の項に対応している。
これはすなわち、一般相対性理論の側からみた場合、特殊相対性理論とは時空間上に任意に固定された一点の近傍において、一般相対性理論を一次近似したものである事を意味している。なお、（宇宙項 のない）アインシュタイン方程式に登場する各項（曲率 やエネルギー・運動量テンソル ）は、二次の微分に関わる項であり、一次近似である特殊相対性理論には登場しない。
逆に特殊相対性理論の側から一般相対性理論をみると、特殊相対性理論の数学的定式化であるミンコフスキー空間は、全ての点に同一のミンコフスキー計量をいれた平坦なローレンツ多様体である。
このローレンツ多様体上では曲率 は全点でゼロであるので、この事実を（宇宙項のない）アインシュタイン方程式に代入すると、この空間ではエネルギー・運動量テンソル がゼロである事を意味する。
また、平坦なローレンツ多様体上では共変微分 と通常の微分は一致するので、全ての線形座標でクリストッフェル記号 は消えている。クリストッフェル記号は物理学的には重力 に対応しているので、これはすなわち全ての線形座標で重力がゼロである事を意味する。
以上より特殊相対性理論とは、エネルギー・運動量テンソルの影響が無視できる程度に、すなわち宇宙全体に比べれば微小な領域における理論であり、空間の曲率も領域の微小さゆえに無視できる場合の理論であると言える。
量子論 は一般相対性理論と同様に物理学の基本的な理論の1つであると考えられている。しかし、一般相対性理論と量子論を整合させた理論（量子重力理論 ）は未だに完成していない。現在、人類の知っているあらゆる物理法則は全て場の量子論 および一般相対性理論のどちらかから導くことができる。そのため、その2つを導くことのできる量子重力理論はこの世の全てを説明できる万物の理論 とも呼ばれている。
基本的に相対性理論で取り扱われる重力 は、4つの基本相互作用 のうち他の3つの力に比べて圧倒的に小さく、天体物理学 や天文学 で取り扱う天文現象 のような巨視的 なレベル以下の大きさでは無視できる。逆に、量子論効果は量子化学 や量子力学 、素粒子物理学 で取り扱う分子 や原子 、クォーク などのような微視的 なレベル以上の大きさでは無視できる。よって相対性理論を適用する場面と量子論を適用する場面は重ならないためほとんどの場合この両者を考慮する必要はない。しかし、ブラックホール やビッグバン などの大質量かつ微視的なスケールの現象を説明するためにはこの両者を併用する必要があるが、相対論と量子論を従来用いられてきた摂動法 を用いて統合しようとすると、両者の間に深刻な対立が生じてしまい、並立させることが出来ない。従来の量子論では摂動展開時に生じる紫外発散 （英語版 ） 繰り込み によって解消しているが、重力にはこの手法が適用できないのである。
この2つの理論の対立を折衷する様々な意見やその立証が試みられているが、未だ決定的な理論は出てきていない。
[ 編集 ] 一般に場の量子論 においては平坦なミンコフスキー時空における粒子を扱うが、重力の効果を近似的（半古典的）に背景時空（曲がった時空）として導入することにより、場の量子論に曲がった時空の効果を近似的に取り入れた理論である。
重力子の影響を背景時空として近似しているため、強い重力場のもとでは時空を完全に量子化したような量子重力理論 に修正されるべきである。欠点としては、時空が静的なものであるため完全には相対論的ではない。
ホーキング放射 はこの理論のもとで予測された。
超弦理論 は、従来の量子論では大きさを持たない点 と仮定されている粒子 を、長さを持つ「ひも」と仮定しなおすことにより紫外発散の問題を解消している。理論的な探求は進んでいるものの、実験的裏付けが非常に乏しく未だ仮説 の域を脱していない。
一般相対性理論は、次の仮定を出発点にする。あくまでも仮定であり、これが基準点とするものではない。
一般相対性原理 物理学の法則は、任意の仕方で運動している座標系に関していつも成立する[ 3] 一般共変性の仮定 自然の一般法則[ 注 6] [ 4] 局所座標系における特殊相対性理論の成立仮定 無限に小さな4次元領域（4次元の擬リーマン多様体 のある点における局所座標系または接空間）に対しては、座標を適当に選べば、特殊の意味での相対性理論が原則として成り立つ[ 注 7] g i j [ 6] g は常に有限の負の値を持つ[ 7] 測地線の仮定 自由質点運動は測地線である 一般相対性理論成立の歴史上、等価原理 (equivalence principle はスタートポイントとして考えられたが、数学的に重要であるのは、一般相対性原理（一般共変性の仮定と局所座標系における特殊相対性理論の成立仮定）である。
[ 編集 ] 一般相対性理論においては、重力のある空間を光が通過するとき光は曲がる（光のとる経路が伸びる）ことから、時空は、重力場を基本計量テンソルとする4次元のリーマン多様体 として扱われる[ 注 8] リーマン多様体 であるとは、M 上の各点に基本計量テンソルg ij (x )(x 0 ,x 1 ,x 2 ,x 3 ) の四つの座標の内、x 0 x 1 ,x 2 ,x 3 x 0 =ct ,x 1 =x ,x 2 =y ,x 3 =z アインシュタインの縮約記法 を用いる。
一般共変性の仮定 リーマン多様体を導入することで、一般共変性の仮定 は、
ある自然の一般法則がある座標系で一つのテンソルの成分がすべてゼロになる形で書き表すことができるとき、すなわち、
（テンソルの成分） ＝ 0 とできるとき、その法則は一般共変性を持つ
というように、リーマン多様体上で定義されるテンソル概念の性質として定式化できるようになる。
局所座標系における特殊相対性理論の成立仮定 リーマン幾何学 によれば、リーマン多様体上の無限に近い2点間の距離 ds は
d s 2 = g i j d x i d x j {\displaystyle ds^{2}=g_{ij}dx^{i}dx^{j}} の平方で与えられる。この ds を4次元空間の無限に近い点に属する線素 (line element の大きさと呼ぶ[ 8] ミンコフスキー が指摘した4次元空間における不変量
d s 2 = c 2 d t 2 − d x 2 − d y 2 − d z 2 {\displaystyle ds^{2}=c^{2}dt^{2}-dx^{2}-dy^{2}-dz^{2}} と一致するものでなくてはならない。すなわち、適当な座標変換により、計量テンソルgij は、
g t t = 1 , g x x = g y y = g z z = − 1 {\displaystyle g_{tt}=1,~g_{xx}=g_{yy}=g_{zz}=-1} [ 注 9] 行列形式で描けば、
( 1 0 0 0 0 − 1 0 0 0 0 − 1 0 0 0 0 − 1 ) {\displaystyle {\begin{pmatrix}1&0&0&0\\0&-1&0&0\\0&0&-1&0\\0&0&0&-1\\\end{pmatrix}}} となることが要請される。これはより一般的な表現として、有限で常に負の値をもつ基本計量テンソルの行列式g = det(gij )
− g = 1 {\displaystyle {\sqrt {-g}}=1} という形で条件として求められる。
擬リーマン空間 における測地線 (geodesic は、通常の計量空間における定義と同様に、2点間の長さを最小にする曲線として定義される。曲線の長さは、
で与えられる。ここでの積分は、曲線γ (t )
この長さの極値をもたらす条件を導出すると、測地線の方程式が得られる。局所座標で表現すると、方程式は、
となる。ここで、x μ t )γ (t )Γμ νρ は先に登場したクリストッフェル記号 である。座標の常微分方程式として得られるこの式は、初期値と初速度を与えれば解を一意に決定する。この式は、曲がった時空における光・粒子の運動方程式である。
[ 編集 ] 時空の曲率は、レヴィ・チヴィタ接続 ∇ が定義するリーマン曲率テンソル (Riemann tensor R ρ σμν
物理的には、このリーマン曲率テンソルから、2成分を縮約したリッチテンソル (Ricci tensor Rμν と、さらに添字を縮約したリッチスカラー曲率 (Ricci scalar R
を考えればよく、さらにその組み合わせである、
が物質分布で定まることをアインシュタインが見いだした。この最後の組み合わせGμν をアインシュタイン・テンソル (Einstein tensor と呼ぶ。
一般相対性理論の基本方程式は、
と表され、アインシュタイン方程式 と呼ばれる。ここでGμν はアインシュタインテンソル、gμν は計量テンソル、Λ は宇宙項 、Tμν はエネルギー・運動量テンソル である。非相対論的極限でニュートンの重力理論に収束することから、右辺の比例係数κ （アインシュタインの定数 ）は、
となる。G は万有引力定数 、c は光速 である。4次元空間を考えれば、テンソルは対称なので、アインシュタイン方程式は、10本の方程式からなる。
アインシュタイン方程式の左辺は時空の曲率を表し、右辺は物質分布を表す。右辺の物質分布の項により時空が曲率を持ち、その曲率の影響で次の瞬間の物質分布が定まる、という構造である。真空の時空であれば、右辺をゼロとすればよい。例えば、重力以外の力を考えないと、次のようになる。
右辺のエネルギー運動量テンソルが増加の場合（アインシュタインの特殊相対論によるとエネルギーと質量は等価であるから、エネルギー運動量テンソルの増加は質量の増加を意味する）、左辺も増加しなければならない。これは時空の曲率が増加することを意味する。アインシュタインの解釈によると重力とは時空の湾曲によるものであったから、曲率の増加は重力の増大を表す。右辺のエネルギー運動量テンソルの増大は質量が増大する事を表し、この方程式によると、それは左辺の時空の曲率、つまり重力がさらに増大することを意味する。
すなわち、重力は非線形で、重力自身は自己増大してゆく。通常の恒星 のモデルでは、核融合 による、生じる光 （電磁波 ）の輻射圧とガスによる圧力が、重力と釣り合うように恒星の半径が決まる。星が燃え尽きて支える力がなくなると、重力崩壊 し、電子 の縮退圧 で支えられる白色矮星 か、中性子 の縮退圧 で支えられる中性子星 、あるいは、ブラックホール になることが予測される。
アインシュタイン方程式の数学的な特徴は、次のような点にある。
アインシュタイン方程式自身に何ら近似することなく得られる解析解のことを厳密解 という。良く知られている厳密解に、次のものがある。
シュヴァルツシルト解 カール・シュヴァルツシルト が1916年に発表した解。真空で球対称を仮定した解で、ブラックホールを表す最も単純な解。カー解 ロイ・カー が1962年発表した解。真空で軸対称時空を仮定した解で、回転するブラックホールを表す最も単純な解。ドジッター解 ウィレム・ド・ジッター が1917年に発表した解。真空で宇宙項がある場合の膨張宇宙解。ド・ジッター宇宙 を表す。フリードマン・ロバートソン・ウォーカー解 アレクサンドル・フリードマン 、ハワード・ロバートソン 、アーサー・ウォーカー が1922年に発表した解。時空の球対称性を仮定し、物質分布を一様等方な流体近似した解で、ビッグバン膨張宇宙を表す解。ゲーデル解 クルト・ゲーデル が1949年に発表した解。物質分布 を規定するエネルギー・運動量テンソル を、回転する一様なダスト粒子 として仮定し、ゼロでない宇宙項 を仮定した解で、ゲーデルの回転宇宙 を表す解。現在でも、新しい解（解析解）を発見すれば、発見者の名前がつく。ただし、同じ物理的な時空であっても、異なる座標表現を用いて、異なる解のように表現されることがあるので、注意することが必要である。
自動車などの位置をリアルタイムに測定表示するカーナビゲーションシステム は、GNSS の代表といえるGPS などを利用しており、GPS衛星 などに搭載された原子時計 に基づき生成される航法信号に依存している。
GPS衛星からの信号を受信する装置では、さまざまな要因による補正を行うが、GPS衛星の時計との同期に関するものとして、地表に対して高速で運動するGPS衛星の、特殊相対論効果による地表からみた時間の遅れ 、および地球の重力場による地上の時間の遅れ、言い換えれば一般相対論効果による衛星の時計の進みが含まれる[ 注 10]
GPS衛星の軌道速度 は秒速 約4キロメートル と高速であるため、特殊相対論によって時間の進み方がわずかではあるが遅くなる。一方、GPS衛星の高度は約2万キロメートルで、地球の重力場の影響が小さいことから、一般相対論によって地上よりも時間の進み方が速くなる。このように特殊相対論と一般相対論で互いに逆の効果をもたらすことになる。この相対論的補正をせずに1日放置すると、位置情報が約11キロメートルもずれてしまうほどの時刻差になることから、相対論的補正はGPSシステムの運用に不可欠である[ 9]
王令隽は、科学雑誌『现代物理 Modern Physics』の2016年の論文において、ブラックホールや重力波など、一般相対性理論の証拠における矛盾は、場の方程式が疑問視され、物理学の基本原理が変容する余地が残っていることを意味すると論じている[ 10] しかしながら王令隽の一般相対論の解釈には独自解釈や誤解釈が多くその反論は広く受け入れられているとは言えない。中国語圏の物理フォーラムや国際誌（例えばPhysics Letters A やGeneral Relativity and Gravitation ）などでは、王氏の論文は「異端的」「哲学的」「誤解を含む再解釈」であり、実証的・理論的根拠の乏しい批判と見なされています。英語圏ではほとんど引用されず、研究者の間では「定量的な誤り（mathematical misunderstanding）」として片づけられています [要出典 。
数値相対論（一般相対性理論の数値計算）
