一般相対性理論
一般相対性理論（いっぱんそうたいせいりろん、, ）は、アルベルト・アインシュタインが1905年の特殊相対性理論に続いて1915年から1916年にかけて発表した物理学の理論である。一般相対論（いっぱんそうたいろん、）とも。
一般相対性原理と一般共変性原理および等価原理を理論的な柱とし、リーマン幾何学を数学的土台として構築された古典論的な重力場の理論であり、古典物理学の金字塔である。測地線の方程式とアインシュタイン方程式（重力場の方程式）が帰結である。時間と空間を結びつけるこの理論では、アイザック・ニュートンによって万有引力として説明された現象が、もはやニュートン力学的な意味での力ではなく、時空連続体の歪みとして説明される。
一般相対性理論では、次のことが予測される。
一般相対性理論は慣性力と重力を結び付ける等価原理のアイデアに基づいている。等価原理とは、簡単に言えば、外部を観測できない箱の中の観測者は、自らにかかる力が、箱が一様に加速されるために生じている慣性力なのか、箱の外部にある質量により生じている重力なのか、を区別することができないという主張である。
相対論によれば空間は時空連続体であり、一般相対性理論では、その時空連続体が均質でなく歪んだものになる。つまり、質量が時空間を歪ませることによって、重力が生じると考える。そうだとすれば、大質量の周囲の時空間は歪んでいるために、光は直進せず、また時間の流れも影響を受ける。これが重力レンズや時間の遅れといった現象となって観測されることになる。また質量が移動する場合、その移動にそって時空間の歪みが移動・伝播していくために重力波が生じることも予測される。
アインシュタイン方程式から得られる時空は、ブラックホールの存在や膨張宇宙モデルなど、アインシュタイン自身さえそれらの解釈を拒むほどの驚くべき描像である。しかし、ブラックホールや初期宇宙の特異点の存在も理論として内包しており、特異点の発生は一般相対性理論そのものを破綻させてしまう。将来的には量子重力理論が完成することにより、この困難は解決されるものと期待されている。
1905年に特殊相対性理論を発表したアインシュタインは、特殊相対性理論を加速度運動を含めたものに拡張する理論の構築に取り掛かった。1907年に、アインシュタイン自身が「人生で最も幸福な考え (the happiest thought of my life)」と振り返る「重力によって生じる加速度は観測する座標系によって局所的にキャンセルすることができる」というアイディア（等価原理）を得る。 光の進み方と重力に関する論文を1911年に出版した後、1912年からは、重力場を時空の幾何学として取り扱う方法を模索した。このときにアインシュタインにリーマン幾何学の存在を教えたのが、数学者マルセル・グロスマンであった。ただし、このときグロスマンは、「物理学者が深入りする問題ではない」と助言したとも伝えられている。1915年-16年には、これらの考えが1組の微分方程式（アインシュタイン方程式）としてまとめられた。
この時期にアインシュタインが発表した一般相対性理論に関する論文は、以下の通り。
アインシュタイン方程式の発表後は、その方程式を解くことが研究の課題となった。
1916年にカール・シュヴァルツシルトが、アインシュタイン方程式を球対称・真空の条件のもとに解き、今日ブラックホールと呼ばれる時空を表すシュヴァルツシルト解を発見した。アインシュタイン自身は、自ら導いた方程式から、重力波の概念を提案したり、宇宙全体に適用すると動的な宇宙が得られてしまうことから、宇宙項を新たに方程式に加えるなどの提案を行っている。
1919年5月19日にアーサー・エディントンが皆既日食を利用して、一般相対性理論により予測された太陽近傍での光の曲がりを確認したことにより、理論の正しさが認められ、世間への認知が一気に広まった。
1922年には、宇宙膨張を示唆するフリードマン・ロバートソンモデルが提案されるが、アインシュタイン自身は、宇宙が定常であると信じていたので、現実的な宇宙の姿であるとは受け入れようとはしなかった。
しかし、1929年には、エドウィン・ハッブルが、遠方の銀河の赤方偏移より、宇宙が膨張していることを示し、これにより、一般相対性理論の予測する時空の描像が正しいことが判明した。後にアインシュタインは宇宙項の導入を取り下げ、「生涯最大の失敗だった (the biggest blunder in my career)」とジョージ・ガモフに語ったという。
1931年、スブラマニアン・チャンドラセカールは、白色矮星の質量に上限があることを理論的計算によって示した。今日、チャンドラセカール限界として知られる式は、万有引力定数 、プランク定数 、光速 の3つの基本定数を含み、古典物理・量子物理双方の成果を集大成したものでもある。チャンドラセカールは、「星の構造と進化にとって重要な物理的過程の理論的研究」の功績でノーベル物理学賞（1983年）を受賞した。
1939年、ロバート・オッペンハイマーとゲオルグ・ヴォルコフは、中性子星形成のメカニズムを考察する過程で、重力崩壊現象が起きることを予測した。
その後しばらく、一般相対性理論は、「数学的産物」として実質的な物理研究の主流からは外れている。
重力波は果たして物理的な実体であるのかどうかという論争や、アインシュタイン方程式の厳密解の分類方法などの研究がしばらく続くが、1960年代のパルサーの発見やブラックホール候補天体の発見、そしてロイ・カーによる回転ブラックホール解（カー解）の発見を契機に、一般相対性理論は天文学の表舞台に登場する。同時期に、スティーヴン・ホーキングとロジャー・ペンローズが特異点定理を発表し、数学的・物理的に進展を始めると共に、ジョン・ホイーラーらが、古典重力・量子重力双方に物理的な描像を次々と提出し始めた。ワームホール（1957年）やブラックホール（1967年）という名前を命名したのは、ホイーラーである。
1974年、ジョゼフ・テイラーとラッセル・ハルスは、連星パルサー PSR B1913+16 を発見した。連星の自転周期とパルスの放射周期を精密に観測することによって、重力波 により、連星系からエネルギーが徐々に運び去られていることを示し、重力波の存在を間接的に証明した。この業績により、2人は「重力研究の新しい可能性を開いた新型連星パルサーの発見」としてノーベル物理学賞（1993年）を受賞した。
現在は、重力波の直接観測を目指して、世界各地でレーザー干渉計が稼働している。観測目標としている対象物は、中性子星連星やブラックホール連星の合体で生じる重力波などであり、波形の予測のための理論や数値シミュレーションが研究の重要な解決手段にもなっている。
また、宇宙論研究では、ビッグバン宇宙モデル（1947年）が有力とされているが、さらにその初期宇宙の膨張則を修正したインフレーション宇宙モデル（1981年）も正しいことが、2006年のWMAP衛星による宇宙背景輻射の観測により決定的になったと考える人も多い。最近は、高次元宇宙モデルが脚光を浴びているが、これらの宇宙モデルは、いずれも一般相対性理論を基礎にして議論される。
アインシュタイン以後、一般相対性理論以外の重力理論も、数多く提案されているが、現在までにほとんどが過去の観測結果を照合した上で棄却されている。実質的に対抗馬となるのは、カール・ブランスとロバート・H・ディッケによるブランス・ディッケ重力理論であるが、現在の観測では、ブランス・ディッケ理論のパラメーターは、ほとんど一般相対性理論に近づけなくてはならず、両者を区別することが難しいほどである。量子論と一般相対論の統一という物理学の試みは未だ進行中であるものの、一般相対性理論を積極的に否定する観測事実・実験事実は一つもない。他に提案されたどの重力理論よりも一般相対性理論は単純な形をしていることから、重力は一般相対性理論で記述される、と考えるのが現代の物理学である。
アインシュタイン方程式は微分方程式として与えられているため局所的な理論ではあるが、ちょうど電磁気学における局所的なマクスウェル方程式から大域的なクーロンの法則を導くことができるように、アインシュタイン方程式は静的なニュートンの万有引力の法則を包含している。万有引力の法則との主な違いは次の3点である。 
ここで、3.は荷電粒子が加速運動することにより電磁波が放射されることと類似している。これは、万有引力の法則やクーロンの法則に、運動する対象の自己の重力や電荷の効果を取り入れていることに対応している。
後述するように、一般相対性理論における時空間は数学的には各点の接ベクトル空間にミンコフスキー計量をいれた4次元多様体（ローレンツ多様体）で、アインシュタイン方程式を満たすものである。
よって各点の接ベクトル空間は、特殊相対性理論に従うミンコフスキー空間であり、接ベクトル空間とは、数学的にはテイラー展開の一次の項に対応している。
これはすなわち、一般相対性理論の側からみた場合、特殊相対性理論とは時空間上に任意に固定された一点の近傍において、一般相対性理論を一次近似したものである事を意味している。なお、（宇宙項のない）アインシュタイン方程式に登場する各項（曲率やエネルギー・運動量テンソル）は、二次の微分に関わる項であり、一次近似である特殊相対性理論には登場しない。
逆に特殊相対性理論の側から一般相対性理論をみると、特殊相対性理論の数学的定式化であるミンコフスキー空間は、全ての点に同一のミンコフスキー計量をいれた平坦なローレンツ多様体である。
このローレンツ多様体上では曲率は全点でゼロであるので、この事実を（宇宙項のない）アインシュタイン方程式に代入すると、この空間ではエネルギー・運動量テンソルがゼロである事を意味する。
また、平坦なローレンツ多様体上では共変微分と通常の微分は一致するので、全ての線形座標でクリストッフェル記号は消えている。クリストッフェル記号は物理学的には重力に対応しているので、これはすなわち全ての線形座標で重力がゼロである事を意味する。
以上より特殊相対性理論とは、エネルギー・運動量テンソルの影響が無視できる程度に、すなわち宇宙全体に比べれば微小な領域における理論であり、空間の曲率も領域の微小さゆえに無視できる場合の理論であると言える。
量子論は一般相対性理論と同様に物理学の基本的な理論の1つであると考えられている。しかし、一般相対性理論と量子論を整合させた理論（量子重力理論）はいまだに完成していない。現在、人類の知っているあらゆる物理法則は全て場の量子論と一般相対性理論という2つの理論から導くことができる。そのため、その2つを導くことのできる量子重力理論はこの世のすべてを説明できる万物の理論とも呼ばれている。
基本的に相対性理論で取り扱われる重力は、4つの基本相互作用のうち他の3つの力に比べて圧倒的に小さく、天体物理学や天文学で取り扱う天文現象のようななレベル以下の大きさでは無視できる。逆に、量子論効果は量子化学や量子力学、素粒子物理学で取り扱う分子や原子、クォークなどのような微視的なレベル以上の大きさでは無視できる。よって相対性理論を適用する場面と量子論を適用する場面は重ならないためほとんどの場合この両者を考慮する必要はない。しかし、ブラックホールやビッグバンなどの大質量かつ微視的なスケールの現象を説明するためにはこの両者を併用する必要があるが、相対論と量子論を従来用いられてきた摂動法を用いて統合しようとすると、両者の間に深刻な対立が生じてしまい、並立させることが出来ない。従来の量子論では摂動展開時に生じるを繰り込みによって解消しているが、重力にはこの手法が適用できないのである。
この2つの理論の対立を折衷する様々な意見やその立証が試みられているが、未だ決定的な理論は出てきていない。
一般に場の量子論においては平坦なミンコフスキー時空における粒子を扱うが、重力の効果を近似的（半古典的）に背景時空（曲がった時空）として導入することにより、場の量子論に曲がった時空の効果を近似的に取り入れた理論である。
重力子の影響を背景時空として近似しているため、強い重力場のもとでは時空を完全に量子化したような量子重力理論に修正されるべきである。欠点としては、時空が静的なものであるため完全には相対論的ではない。
ホーキング放射はこの理論のもとで予測された。
超弦理論は、従来の量子論では大きさを持たない点と仮定されている粒子を、長さを持つひもと仮定しなおすことにより紫外発散の問題を解消している。理論的な探求は進んでいるものの、実験的裏付けが非常に乏しく未だ仮説の域を脱していない。
一般相対性理論は、次の仮定を出発点にする。あくまでも仮定であり、これが基準点とするるものではない。
一般相対性理論成立の歴史上、等価原理はスタートポイントとして考えられたが、数学的に重要であるのは、一般相対性原理（一般共変性の仮定と局所座標系における特殊相対性理論の成立仮定）である。
一般相対性理論においては、重力のある空間を光が通過するとき光は曲がる（光のとる経路が伸びる）ことから、時空は、重力場を基本計量テンソルとする4次元のリーマン多様体として扱われる。可微分多様体 M がリーマン多様体であるとは、M 上の各点に基本計量テンソル が与えられているものを言う。なお、局所座標系 の四つの座標の内、 は適当な測定単位で測られた時間座標、 は空間座標とする。すなわち、 であるとする。さらに、リーマン多様体上に定義されるテンソル概念に対して、上下に現れる同じ添字については常に和を取るというアインシュタインの縮約記法を用いる。
リーマン多様体を導入することで、一般共変性の仮定は、
というように、リーマン多様体上で定義されるテンソル概念の性質として定式化できるようになる。
リーマン幾何学によれば、リーマン多様体上の無限に近い2点間の距離 ds は
の平方で与えられる。この ds を4次元空間の無限に近い点に属する線素の大きさと呼ぶが、これは、特殊相対性理論が成り立つような座標系においては、ミンコフスキーが指摘した4次元空間における不変量
一致するものでなくてはならない。すなわち、適当な座標変換により、計量テンソル は、
行列形式で描けば、
となることが要請される。これはより一般的な表現として、有限で常に負の値をもつ基本計量テンソルの行列式 に対する次の条件
という形で条件として求められる。
擬リーマン空間における測地線は、通常の計量空間における定義と同様に、2点間の長さを最小にする曲線として定義される。曲線の長さは、
で与えられる。ここでの積分は、曲線 に沿うものとする。ルート内の符号の+は空間的な曲線に対して、負の符号は時間的な曲線に対して適用し、いずれの場合も長さが実数になるようにする。
この長さの極値をもたらす条件を導出すると、測地線の方程式が得られる。局所座標で表現すると、方程式は、
となる。ここで、 は、曲線 の座標であり、 は先に登場したクリストッフェル記号である。座標の常微分方程式として得られるこの式は、初期値と初速度を与えれば解を一意に決定する。この式は、曲がった時空における光・粒子の運動方程式である。
時空の曲率は、レヴィ・チビタ接続 ∇ が定義するリーマン曲率テンソル で表現される。局所座標表現では、次のように書ける。
物理的には、このリーマン曲率テンソルから、2成分を縮約したリッチテンソル と、さらに添字を縮約したリッチスカラー曲率
を考えればよく、さらにその組み合わせである、
が物質分布で定まることをアインシュタインが見いだした。この最後の組み合わせ をアインシュタイン・テンソルと呼ぶ。
一般相対性理論の基本方程式は、
と表され、アインシュタイン方程式と呼ばれる。ここで はアインシュタインテンソル、 は計量テンソル、 は宇宙項、 はエネルギー・運動量テンソルである。非相対論的極限でニュートンの重力理論に収束することから、右辺の比例係数 （アインシュタインの定数）は、
となる。 は万有引力定数、 は光速である。4次元空間を考えれば、テンソルは対称なので、アインシュタイン方程式は、10本の方程式からなる。
アインシュタイン方程式の左辺は時空の曲率を表し、右辺は物質分布を表す。右辺の物質分布の項により時空が曲率を持ち、その曲率の影響で次の瞬間の物質分布が定まる、という構造である。真空の時空であれば、右辺をゼロとすればよい。例えば、重力以外の力を考えないと、次のようになる。
右辺のエネルギー運動量テンソルが増加の場合（アインシュタインの特殊相対論によるとエネルギーと質量は等価であるから、エネルギー運動量テンソルの増加は質量の増加を意味する）、左辺も増加しなければならない。これは時空の曲率が増加することを意味する。アインシュタインの解釈によると重力とは時空の湾曲によるものであったから、曲率の増加は重力の増大を表す。右辺のエネルギー運動量テンソルの増大は質量が増大する事を表し、この方程式によると、それは左辺の時空の曲率、つまり重力がさらに増大することを意味する。
すなわち、重力は非線形で、重力自身は自己増大してゆく。通常の恒星のモデルでは、核融合による、生じる光（電磁波）の輻射圧とガスによる圧力が、重力と釣り合うように恒星の半径が決まる。星が燃え尽きて支える力がなくなると、重力崩壊し、電子の縮退圧で支えられる白色矮星 か、中性子の縮退圧で支えられる中性子星、あるいは、ブラックホールになることが予測される。
アインシュタイン方程式の数学的な特徴は、次のような点にある。
アインシュタイン方程式自身に何ら近似することなく得られる解析解のことを厳密解という。良く知られている厳密解に、次のものがある。
現在でも、新しい解（解析解）を発見すれば、発見者の名前がつく。ただし、同じ物理的な時空であっても、異なる座標表現を用いて、異なる解のように表現されることがあるので、注意することが必要である。
自動車などの位置をリアルタイムに測定表示するカーナビゲーションシステムは、GNSSの代表といえるGPSなどを利用しており、GPS衛星などに搭載された原子時計に基づき生成される航法信号に依存している。
GPS衛星からの信号を受信する装置では、さまざまな要因による補正を行うが、GPS衛星の時計との同期に関するものとして、地表に対して高速で運動するGPS衛星の、特殊相対論効果による地表からみた時間の遅れ、および地球の重力場による地上の時間の遅れ、言い換えれば一般相対論効果による衛星の時計の進みが含まれる。
GPS衛星の軌道速度は秒速約4キロメートルと高速であるため、特殊相対論によって時間の進み方がわずかではあるが遅くなる。一方、GPS衛星の高度は約2万キロメートルで、地球の重力場の影響が小さいことから、一般相対論によって地上よりも時間の進み方が速くなる。このように特殊相対論と一般相対論で互いに逆の効果をもたらすことになる。この相対論的補正をせずに1日放置すると、位置情報が約11キロメートルもずれてしまうほどの時刻差になることから、相対論的補正はGPSシステムの運用に不可欠である。