一般相対性理論の概説のソースを表示

[[ファイル:Cassini-science-br.jpg|右|サムネイル|341x341ピクセル|[[カッシーニ (探査機)|カッシーニ]]宇宙探査機による一般相対性理論の高精度の試験（イメージ図）。地球と探査機の間で送信される無線信号（緑の波）は、[[太陽]]の質量による[[時空]]の歪み（青線）により[[シャピロ遅延|遅延]]する。]]
'''一般相対性理論の概論'''（いっぱんそうたいせいりろんのがいろん）では、[[アルベルト・アインシュタイン]]により1907年から1915年の間に発展された[[重力]]の理論について説明する。

一般相対性理論によると、質量間の観測される重力効果は[[時空]]のゆがみから生じる。

20世紀初頭まで、[[万有引力|ニュートンの万有引力の法則]]は質量間の重力の確実な記述として200年以上にわたり受け入れられていた。ニュートンのモデルにおいては、重力は質量を持つ物体間の引力の結果である。ニュートンでさえその力の未知の性質に苦悩したが、この基本的な枠組みは運動を記述するのに非常に上手くいった。

実験や観測は、アインシュタインの重力の記述が、[[水星]]や他の[[惑星]]の[[軌道 (力学)|軌道]]のわずかな異常などニュートンの法則では説明できないいくつかの効果を説明していることを示している。一般相対性理論は[[重力波 (相対論)|重力波]]、[[重力レンズ]]や[[重力時間膨張]]として知られる時間に対する重力の影響など、重力の新たな効果を予測する。これらの予測の多くは、実験、観測、[[重力波天文学|近年では重力波]]により確認されている。

一般相対性理論は現代[[天体物理学]]において不可欠な道具に発展した。これにより重力の効果が光でさえも逃げ出すことができないほど強い空間領域である[[ブラックホール]]の現在の理解の基礎が提供されている。これらの強い重力は特定の種類の天体（[[活動銀河|活動的な銀河核]]やマイクロクエーサーなど）から放出される強い[[放射]]の原因であると考えられている。一般相対性理論は[[現代宇宙論|宇宙論]]の標準[[ビッグバン]]モデルの枠組みの一部でもある。

一般相対性理論は唯一の重力の相対論的理論ではないが、実験データと矛盾しない最も単純な理論である。それでも多くの未解決の問題が残っており、その中でも最も基本的なものは一般相対性理論は量子物理学の法則とどのように調和し、完全で自己矛盾のない[[量子重力理論|量子重力]]の理論を生成できるかというものである。

== 特殊相対性理論から一般相対性理論へ ==
1905年9月、[[アルベルト・アインシュタイン]]は[[ニュートン力学|ニュートンの運動法則]]を[[古典電磁気学|電気力学]]（[[電荷]]を持つ物体間の相互作用）と調和させる[[特殊相対性理論]]を発表した。特殊相対性理論は[[空間]]と時間の新たな概念を提案することにより、物理学の全てに対して新たな枠組みを導入した。当時受け入れられていたいくつかの物理理論はこの枠組みと矛盾していた。鍵となる例は質量により物体が受ける相互引力を説明するニュートンの[[重力]]理論である。

アインシュタイン含む何人かの物理学者は、ニュートンの重力法則と特殊相対性理論を調和させる理論を探究し、アインシュタインの理論のみが実験や観測と一致することが分かった。理論の基本的な考えを理解するために、1907年から1915年の自由落下の観測者など単純な[[思考実験]]から重力の完全な幾何理論までのアインシュタインの思考を追うことは勉強になることである<ref>この発展は例えば{{Harvnb|Renn|2005|loc=p. 110ff.}}、{{Harvnb|Pais|1982}}の9章から15章、{{Harvnb|Janssen|2005}}で追うことができる。ニュートン重力を要約したものは{{Harvnb|Schutz|2003|loc=chapters 2–4}}にある。ニュートン重力の問題が1907年以前にアインシュタインの頭をよぎったかどうかは不明だが、自らの認めるところではその理論を特殊相対性理論と調和させようという最初の真剣な取り組みは1907年からである。cf. {{Harvnb|Pais|1982|loc=p. 178}}.</ref>。

=== 等価原理 ===
[[自由落下]]するエレベーターに乗っている人は[[無重量状態]]を感じる。物体は静止したまま浮遊するか一定速度で漂流する。エレベーター内の全てが一緒に落下しているため、重力効果を観測することができない。このように、自由落下している観測者が経験するものと大きな重力源から遠く離れた深宇宙の観測者が経験するものは区別できない。これらの観測者はアインシュタインが[[特殊相対性理論]]において特権的（「慣性」）観測者と書いた者であり、[[光]]はこの観測者に対して一定速度で直線に沿って進む<ref>詳しくは{{Harvnb|Wheeler|1990}}第2章参照</ref>。

アインシュタインは、特殊相対性理論における無重力の観測者と慣性の観測者が同様に経験することが重力の基本的性質を現していると仮定し、これを一般相対性理論の基礎として[[等価原理]]で定式化した。大まかに言うと、この原理は自由落下するエレベーターにいる人は自由落下していることを知ることはできないというものである。このような自由落下環境における全ての実験は、静止している時や全ての重力源から遠く離れた深宇宙で一様に動いている観測者に対するであろうものと同じ結果になる<ref>等価原理は今でも一般相対性理論の現代的な説明の一部であるが、現在のものとアインシュタインの元々の概念の間には違いがいくつかある。cf. {{Harvnb|Norton|1985}}.</ref>。

=== 重力と加速度 ===
[[ファイル:Elevator_gravity.svg|右|サムネイル|236x236ピクセル|加速するロケット（左）と地球上（右）において床に落ちるボール。効果は同じである。]]
重力のほとんどの効果は自由落下で消えるが、重力の効果と同じように見える効果は[[加速度|加速]]された座標系により作り出される。密室にいる観測者は次のどれに該当するか分からない。

* 部屋は地表上にあり、物体は重力により引き下げられているため、物体が床に落ちている。
* 部屋が宇宙空間にあり9.81 [[メートル毎秒毎秒|m/s<sup>2</sup>]] で加速しておりあらゆる重力源から離れているロケット上にあり、物体が床に落ちている。物体は加速する車の運転手を座席の後ろに押す同じ「慣性力」により床に引っ張られる。

逆に、加速される基準系で観測される効果は対応する強度の重力場でも観測される必要がある。次節でも説明するように、アインシュタインはこの原理により1907年に新しい重力の効果を予測することができた。

加速される基準系の観測者は、物理学者が見かけの力と呼ぶものを導入して自分自身と周りの物体が経験した加速を説明する必要がある。一例として加速する車の運転手を座席へ押し込む力についてはすでに述べた。もう一つの例としては頂点のように回転しようとすると腕が上下に引っ張られると感じる力がある。アインシュタインの主な洞察は、一定の身近な地球の重力場の引き寄せる力は、これらの見かけの力と基本的に同じであるというものであった<ref>例えば{{Harvnb|Janssen|2005|loc=p. 64f}}。アインシュタイン自身も非技術的な本Einstein 1961の第20節でこれを説明している。[[エルンスト・マッハ]]による以前のアイデアに従い、[[遠心力]]や他の重力に類するものも調査した。cf. {{Harvnb|Stachel|1989}}.</ref>。見かけの力の大きさは常にそれが作用する物体の質量に比例するように見える。例えば、運転席は車と同じ速度で運転者を加速させるのに十分な力を働かせる。アインシュタインは類推により重力場にある物体は、[[万有引力|ニュートンの重力法則]]で具体化されているようにその質量に比例した重力を感じるべきだと提案した<ref>アインシュタインはこれをEinstein 1961の第20節で説明した。彼は加速するロケットに乗せられた部屋の天井からロープで「吊り下げられた」物体を考えた。部屋の中からだとそれは重力が物体をその質量に比例した力で引き下げているように見えるが、ロケットの外からだとロープが単にロケットの加速度を物体に伝達しているように見えるため、そのために「力」のみを及ぼす必要がある。</ref>。

=== 物理的結果 ===
1907年の段階ではアインシュタインは一般相対性理論の完成まで8年を残していたが、新たな理論を発展するための出発点である等価原理に基づいた新しい検証可能な予測を多く行うことができた<ref>より具体的には、{{Harvnb|Pais|1982}}の11b章で説明されているアインシュタインの計算は等価原理、重力と慣性力の等価性、光の伝播と加速された観測者の特殊相対性理論の結果（後者は各瞬間にそのような加速された観測者に関連する瞬間の[[慣性系|慣性基準系]]を考えることにより）を用いる。</ref>。
[[ファイル:Gravitational_red-shifting2.png|左|サムネイル|267x267ピクセル|光波が重力場に対して上方に動くときの光の重力の赤方偏移（下の黄色の星により起こされる）]]
最初の新たな効果は、光の重力周波数シフトである。加速するロケット船に乗っている2人の観測者を想定する。このような船に乗ると「上」と「下」という自然な概念がある。船が加速する方向は「上」であり、くっついていない物体は反対方向に加速し「下向き」に落ちる。観測者の1人がもう1人よりも「高い」と仮定する。低いところの観測者が高いところの観測者へ光信号を送信すると[[特殊相対性理論]]から計算されるように、加速度により光が[[赤方偏移]]し、2番目の観測者は最初の観測者よりも低い[[周波数]]の光を測定する。逆に、高い観測者から低い観測者に送られる光は[[青方偏移]]、つまり高い周波数にシフトする<ref>この効果は、加速されたロケット船にいる2人の観測者の同等の状態を見るか、落下するエレベーターを見ることにより特殊相対性理論の範囲内で直接導き出すことができる。どちらの状況でも周波数シフトは、特定の慣性系の間の[[ドップラー効果|ドップラーシフト]]と同等の説明を持つ。これの簡単な導出については{{Harvnb|Harrison|2002}}参照</ref>。アインシュタインは、このような周波数シフトは重力場でも観測される必要があると主張した。これは左図に示されている。これは、重力加速度に逆らって上方向に進むにつれて徐々に赤方偏移する光波を示している。以下に説明するようにこの効果は実験的に確認されている。

この重力による周波数シフトは重力による時間の遅れに対応する。「高い」観測者は「低い」観測者よりも低い周波数を持つように同じ光波を測定するため、高い観測者に対しては時間が早く経過しなければならない。したがって、重力場において低い観測者の時間は遅く過ぎていく。

各々の観測者について、自身の基準系内で静止している事象もしくは過程に対する時間の流れに観測可能な変化がないことを強調することは重要である。各観測者の時計で計時される5分卵(five-minute-eggs)は 同じ一貫性を持つ。各時計で1年がたつと各観測者はその分老ける、つまり、各時計はその近くで発生する全ての過程と完全な一致を見る。別の観測者間で時計が比較されるときのみ、高い観測者よりも低い観測者の方が時間の進みが遅いことに気づくことができる<ref>{{Harvnb|Mermin|2005}}の12章参照</ref>。この効果は微小であるが、以下で記述されるように複数の実験で実験的に確認されている。

アインシュタインは同様の方法で重力による光のゆがみを予測した。重力場においては、光は下向きにゆがむ。定量的には、彼の結果は2分の1であった。正しい導出には等価原理だけでなく一般相対性理論のより完全な定式化を要する<ref>Cf. {{Harvnb|Ehlers|Rindler|1997}}; for a non-technical presentation, see {{Harvnb|Pössel|2007}}.</ref>。

=== 潮汐効果 ===
[[ファイル:Tide_fall.png|サムネイル|282x282ピクセル|地球の中心に向かって落下する2つの物体は、落下するにつれて互いに向かって加速する。]]
重力効果と慣性効果の等価性は、重力の完全な理論を構成するものではない。地表上の自分の位置近くで重力を説明する場合、基準系が自由落下していないことに注意し見かけの力を予期することで、適切な説明が提供される。しかし、地球のある側で自由落下する基準系は、地球の反対側の人々が反対方向に引っ張る重力を経験する理由を説明できない。

同じ効果のより基本的な表れには、地球に向かって並んで落下している2つの物体が含まれる。これらの物体と並んで自由落下している基準系においては、無重力で空間に停止しているように見えるが、正確にはそうではない。これらの物体は正確に同じ方向に落ちるのではなく、空間内の1つの点、地球の[[重心]]に向かって落下する。結果としてもう1つの物体に向かう各物体の運動の成分がある（図参照）。自由落下するリフトなどの小さな環境ではこの相対加速度は非常に小さく、地球の反対側の[[スカイダイビング|スカイダイバー]]にとっては効果が大きくなる。これらの力の違いは地球の海の[[潮汐]]の原因でもあるため、この現象には「[[潮汐力|潮汐効果]]」という名前が使われている。

慣性と重力の等価性では潮汐効果を説明できない。重力場の変動を説明できないからである<ref>これや他の潮汐効果については{{Harvnb|Wheeler|1990|pp=83–91}}で説明されている。</ref>。これを説明するためには、物質（地球の大きな質量など）が周囲の慣性環境に影響を及ぼす方法を説明する理論が必要である。

=== 加速度から幾何へ ===
重力と加速度の等価性、および潮汐力の役割を探究する中で、アインシュタインは[[曲面 (数学)|表面]]の[[幾何学]]との類似性をいくつか発見した。1つの例は慣性基準系（自由粒子が一定速度で直線経路に沿って滑走する）から回転基準系（粒子の運動を説明するために見かけの力に対応する追加の項を導入する必要がある）への移行である。これは[[直交座標系|デカルト]][[座標|座標系]]（座標線が直線）から曲線座標系（座標線が直線である必要はない）への移行と類似している。

より深みを持つ類似は潮汐力を[[曲率]]と呼ばれる表面の性質と関連付ける。重力場の場合、潮汐力の有無が、自由落下する基準系を選択することにより重力の影響を取り除くことができるかどうかを決定する。同様に曲率の有無が表面が[[平面]]と[[等長写像|同等]]であるかどうかを決定する。1912年の夏、これらの類似にインスピレーションを受け、重力の幾何学的定式化を探究した<ref>潮やその幾何学的解釈は{{Harvnb|Wheeler|1990}}の5章で説明されている。歴史的発展のこの部分は{{Harvnb|Pais|1982|loc=section 12b}}で追うことができる。</ref>。

[[幾何学]]の基本的な物体（[[点 (数学)|点]]、[[直線|線]]、[[三角形]]）は伝統的に3次元[[空間]]もしくは2次元[[曲面 (数学)|表面]]で定義される。1907年、スイス工科大学でアインシュタインの数学教授を務めていた[[ヘルマン・ミンコフスキー]]はアインシュタインの[[特殊相対性理論]]の幾何学的定式化を導入した。ここには[[空間]]だけでなく時間も含まれていた。この新しい幾何学の基本的な実体は4[[次元]][[時空]]である。動く物体の軌道は[[世界線|時空の曲線]]である。方向を変えずに一定速度で移動する物体の軌道は直線に対応する<ref>時空の概念の初歩的な説明については{{Harvnb|Thorne|1994}}の2章の最初の節と、{{Harvnb|Greene|2004|loc=p. 47–61}}参照。かなり初歩的なレベルでのより完全な論は、例えば{{Harvnb|Mermin|2005}}や{{Harvnb|Wheeler|1990|loc=chapters 8 and 9}}で見ることができる。</ref>。

表面については、19世紀初頭に[[カール・フリードリヒ・ガウス]]により平面の幾何学から一般的な曲面の幾何学への一般化が記述されていた。この記述は1850年代に[[ベルンハルト・リーマン]]により導入された数学的形式主義における高次元空間に一般化された。アインシュタインは[[リーマン幾何学]]の助けを借りて重力の幾何学的記述を定式化した。ここでは曲面が通常の平面の一般化であるようにミンコフスキーの時空が歪んで曲がった時空に置き換えられる。'''埋め込み図'''は、教育の文脈で曲がった時空を説明するのに使われる<ref>{{Cite journal|last=Marolf|first=Donald|year=1999|title=Spacetime Embedding Diagrams for Black Holes|url=|journal=General Relativity and Gravitation|volume=31|issue=|pages=919–944|arxiv=gr-qc/9806123|bibcode=1999GReGr..31..919M|doi=10.1023/A:1026646507201}}</ref><ref>曲がった時空のはっきりした図は{{Harvnb|Wheeler|1990|loc=chapters 8 and 9}}参照。</ref>。

アインシュタインはこの幾何学的類推の妥当性に気づいたのち、欠けている理論の礎石、[[物質]]が時空の曲率にどのように影響するかを記述する方程式を見つけ出すのに3年を要した。今日[[アインシュタイン方程式]]（より正確にはアインシュタインの重力場方程式）として知られているものを定式化したのち、1915年後半に[[プロイセン科学アカデミー]]のいくつかのセッションで自身の重力の理論を発表し、1915年11月15日の最終プレゼンで最高潮に達した<ref>アインシュタインの正しい場の方程式を見つけ出す苦闘は{{Harvnb|Pais|1982}}の13-15章で辿ることができる。</ref>。

== 幾何学と重力 ==
[[ジョン・ホイーラー]]を言い換えると、アインシュタインの重力の幾何学理論は次のように要約できる: 時空は物質にどのように動くかを伝え、物質は時空にどのように曲がるかを伝える<ref>例えば{{Harvnb|Wheeler|1990}}のp. xi</ref>。これが意味することは次の3つのセクションで処理される。これらのセクションでは、いわゆる試験粒子の運動を調べる、物質のどの特性が重力源として機能するかを調べる、最後にアインシュタイン方程式に導入されることでこれらの物質の特性を時空の曲率と関連付ける。

=== 重力場の調査 ===
[[ファイル:Earth_geo.png|右|サムネイル|236x236ピクセル|集束測地線: 赤道（赤線））において平行である2本の経度線（緑線）は極で1点に集まる。]]
物体の重力の影響をマッピングするために、物理学者がプローブもしくは[[試験粒子]]と呼ぶものを考えるのは有用である: 粒子は重力の影響を受けるが、非常に小さく軽いため自身の重力効果を無視できる。重力やその他の外力がない場合、試験粒子は一定速度で直線に沿って移動する。[[時空]]の言葉では、このことは試験流が時空の直線の[[世界線]]に沿って移動するということと同等である。重力がある場合、時空は[[非ユークリッド幾何学|非ユークリッド]]、[[曲率|曲]]であり、曲がった時空では直線の世界線は存在しない場合がある。代わりに、試験粒子は[[測地線]]と呼ばれる線に沿って移動する。測地線とは「可能な限り直線」であり、試験粒子は曲率を考慮して始点と終点の間の最短経路をたどる。

単純な類似は以下の通りである。[[測地学]]（地球の大きさと形状を測定する科学）において測地線（英語のgeodesicはギリシア語で地球を意味する"geo"と分割を意味する"daiein"に由来）は地表上の2点間の最短ルートである。およそこのようなルートは[[子午線|経線]]や[[赤道]]などの[[大円]]の[[弓形|部分]]である。これらの経路はたしかにまっすぐではない。というのは、単に地表の曲率に従う必要があるからである。しかしこの制約を受けるが、可能な限り直線である。

測地線の性質は直線の性質とは異なる。例えば、平面上では平行線が交わることはないが地表上の測地線ではそうではない。例えば経線どうしは赤道において平行であるが極で交わる。同様に自由落下する試験粒子の世界線は[[一般相対性理論における測地線|時空測地線]]であり、時空において可能な限り直線である。しかし、これと特殊相対性理論の無重力次元で描かれる真の直線の間には大きな違いがある。特殊相対性理論においては、平行測地線は平行のままである。潮汐効果のある重力場では一般的にそうではない。例えば2つの物体が互いに相対的に静止しているがその後地球の重力場に落とされる場合、それらは地球の中心に向かって落ちるように互いに向かって移動する<ref>基本的な微分幾何学とその応用の完全であり分かりやすい説明は{{Harvnb|Geroch|1978}}で見ることができる。</ref>。

惑星や他の天体と比較して、日常生活の物体（人、車、家、山でさえも）はほとんど質量を持たない。このような物体が関係する場合、試験粒子の振る舞いを支配する法則で何が起きるかを説明するのに十分である。特に、測地線の経路から試験粒子を逸らすためには外力を加える必要がある。誰かが座っている椅子は外向き上向きの力を加え、人が地球の中心に向かって自由落下し地球中心とそれらの間に物質がなければあったであろう測地線に従うことを妨げる。このようにして、一般相対性理論は地表上での重力の日常的な経験を、重力が下向きに引っ張るのではなく、外力が上向きに押すものとして説明する。これらの力は全ての物体が従ったであろう測地線から地表上にある全ての物体を逸らす<ref>{{Harvnb|Wheeler|1990}}の第10章参照。</ref>。自身の重力の影響を無視できない物質物体の場合、運動の法則は試験粒子の場合よりもやや複雑であるが、時空が物質に対してどのように動くかを伝えているのは事実である<ref>実際、完全な理論から始めるとアインシュタインの方程式を用いて幾何学の結果として物質のより複雑な運動法則を導くことができるが、ここから理想化した試験粒子の運動を導き出すのは非常に重要な作業である。cf. {{Harvnb|Poisson|2004}}</ref>。

=== 重力源 ===
[[万有引力|ニュートンによる重力の記述]]では、重力は物質により引き起こされる。より正確には、物質物体の特定の特性である[[質量]]により引き起こされる。アインシュタインの理論および関連の[[重力|重力理論]]においては、時空のあらゆる点における曲率も存在する物質すべてにより引き起こされる。ここでも質量は物質の重力の影響を決定する重要な特性である。しかし、重力の相対論的理論においては、質量が唯一の重力源ではない。相対性理論は質量をエネルギーと、エネルギーを運動量と結び付ける。

[[E=mc2|''E''&nbsp;=&nbsp;''mc''{{Smallsup|2}}]]という式で表される質量と[[エネルギー]]の等価性は、特殊相対性理論の最も有名な結果である。相対性理論において、質量とエネルギーは1つの物理量を表す2つの異なる方法である。物理系がエネルギーを持つ場合、これに対応する質量もあり、逆も然りである。特に、[[原子核|核]]や[[分子]]などの系の[[温度]]や[[結合エネルギー]]などエネルギーに関連する物体の全ての特性は、物体の質量に寄与し、すなわち重力源としてはたらく<ref>質量-エネルギー透過性の簡単な説明は{{Harvnb|Giulini|2005}}の3.8と3.9節にある。</ref>。

特殊相対性理論において、エネルギーは[[運動量]]と密接に関連している。この理論では時空と同じように、時空、エネルギー、運動量と呼ばれるより包括的な実体の異なる面は、物理学者が[[4元運動量]]と呼ぶ統一された4次元量の異なる面にすぎない。その結果、エネルギーが重力源である場合、運動量も重力源でなければならない。同じことがエネルギーと運動量に直接関連する量、つまり内部[[圧力]]と[[張力]]にもあてはまる。以上をまとめると、一般相対性理論において質量、エネルギー、運動量、圧力、張力が重力源として働く。これらは時空にどのように曲がるかを伝える。理論の数学的定式化では、これらの量は全て[[エネルギー・運動量テンソル]]と呼ばれるより一般的な物理量のある面にすぎない<ref>{{Harvnb|Wheeler|1990}}の第6章参照。</ref>。

=== アインシュタイン方程式 ===
[[アインシュタイン方程式]]は一般相対性理論のセンターピースである。これにより、数学の言葉を用いた時空幾何学と物質の性質との関係の正確な定式化が提供される。もっと具体的には空間（もしくは時空）の幾何学的特性が、[[リーマン多様体|メトリック]]と呼ばれる量で記述される[[リーマン幾何学]]の概念を用いて定式化される。メトリックは、曲空間（もしくは時空）における距離と角度の基本的な幾何学的概念を計算するために必要な情報をエンコードする。
[[ファイル:Metric_globe.png|右|サムネイル|236x236ピクセル|経度30度の差に対応する、異なる緯度における距離]]
地表のような球面は簡単な例である。表面上の任意の点の位置は地理的な[[緯度]]と[[経度]]の2つの座標で記述される。右図に示すように、平面のデカルト座標とは異なり座標の違いは表面上の距離と同じではない。赤道にいる場合、西への経度30度の移動（マゼンタ色の線）はおよそ{{Convert|3300|km|mi}}であるのに対し緯度55度にいる場合は西への経度30度の移動（青色の線）はわずか {{Convert|1900|km|mi}}である。したがって座標は球面の幾何学、実際にはもっと複雑な空間や時空の幾何学を記述するのに十分な情報を提供してくれない。その情報は正確にメトリックでエンコードされるものであり、このメトリックは表面（もしくは空間、時空）の各点で定義される関数であり、座標の差異を距離の差異に関連付ける。あらゆる与えられた曲線の長さや2つの曲線が交わる角度など、幾何学において重要なほかの全ての量は、このメトリック関数から計算できる<ref>メトリックのより詳しい定義であるが、教科書の説明よりもくだけた定義については{{Harvnb|Penrose|2004}}の14.4章参照。</ref>。

メトリック関数と点間の変化率を用いて[[リーマン曲率テンソル]]と呼ばれる幾何学的な量を定義できる。これは、各点で空間もしくは時空がどのように曲がるかを正確に記述する。一般相対性理論において、メトリックとリーマン曲率テンソルは時空の各点で定義された量である。すでに述べたように、時空の物質内容は別の量、[[エネルギー・運動量テンソル]] '''T'''を定義し、「時空は物質にどのように動くかを伝え、物質は時空にどのように曲がるかを伝える」という原則はこれらの量が互いに関連しなければならないことを意味する。アインシュタインはリーマン曲率テンソルとメトリックを用いて現在[[アインシュタインテンソル]]と呼ばれ時空の曲がり方のいくつかの側面を記述する別の幾何学的量 '''G''' を定義することによりこの関係を定式化した。すると、アインシュタイン方程式は

: <math>\mathbf{G}=\frac{8\pi G}{c^4}\mathbf{T},</math>

となる。すなわち、定数倍まで量 '''G'''（曲率を測定する）は量 '''T'''（物質内容を測定する）と同等である。ここで''G''はニュートン重力の[[万有引力定数|重力定数]]、''c''は特殊相対性理論による[[光速]]である。

量 '''G''' と '''T''' はそれぞれ時空の座標のいくつかの関数により決定されるため、この式は複数形''Einstein's equations''と呼ばれることが多く、この式はこれらの成分関数と同等である<ref>アインシュタイン方程式の幾何学的意味は{{Harvnb|Wheeler|1990}}の第7,8章で探究されている。cf. {{Harvnb|Thorne|1994}}のbox 2.6。非常に単純な数学のみを用いた導入は{{Harvnb|Schutz|2003}}の第19章に記されている。</ref>。これらの方程式の解は[[時空]]の特定の幾何学を記述する。例えば、[[シュワルツシルト解]]は[[恒星]]や[[ブラックホール]]など球体で非回転の質量の周りの幾何学を記述するが、[[カー解]]は回転するブラックホールを記述する。他の解によって[[重力波 (相対論)|重力波]]が記述され、[[フリードマン・ルメートル・ロバートソン・ウォーカー計量|フリードマン・ルメートル・ロバートソン・ウォーカー解]]の場合、膨張する宇宙を記述することができる。最も単純な解は曲がっていない[[ミンコフスキー空間|ミンコフスキー時空]]であり、特殊相対性理論により記述される<ref>最も重要な解は全ての[[一般相対性理論]]の教科書にリストアップされている。現在の理解の（技術的な）まとめは{{Harvnb|Friedrich|2005}}参照。</ref>。

== 実験 ==
絶対に確実な[[科学理論]]はない。それぞれが実験により確認する必要があるモデルである。[[万有引力|ニュートンの重力法則]]は[[太陽系]]内の惑星や月の運動をかなり正確に説明したため受け入れられた。実験的測定の精度が徐々に向上するにつれて、ニュートンの予測との間に矛盾がいくつか観測され、これらは一般相対性理論で説明された。同様に、一般相対性理論の予測も実験で確認する必要があり、アインシュタイン自身が理論の古典的試験として知られる3つの試験を考案した。
[[ファイル:Newtonianvseinsteinianorbits.gif|右|サムネイル|200x200ピクセル|球状恒星を周回する1つの惑星のニュートンの軌道（赤）vs. アインシュタインの軌道（青）（アニメーション）]]

* ニュートン重力は1つの[[惑星]]が完全に球体の恒星の周囲を回る[[軌道 (力学)|軌道]]は[[楕円]]であるはずだと予測している。アインシュタインの理論はより複雑な曲線を予測している: 惑星が楕円の周りを移動しているように振舞うが、同時に楕円が全体として恒星の周りをゆっくり回転するというものである。右図では、ニュートン重力により予測された楕円が赤で示され、アインシュタインにより予測された軌道の一部が青で示されている。太陽の周りを回る惑星の場合、ニュートンの軌道からのこの逸脱は異常近日点移動として知られている。この効果の最初の測定は[[水星]]に対して行われ、1859年までさかのぼる。水星および他の惑星に対する最も正確な結果は[[電波望遠鏡]]を用いて1966年から1990年にかけて行われた測定に基づいている<ref>より正確には、これらは惑星の位置の[[超長基線電波干渉法|VLBI]]測定である。{{Harvnb|Will|1993}}の第5章および{{Harvnb|Will|2006}}の3.5節参照。</ref>。一般相対性理論は、これが正確に測定できる全ての惑星（[[水星]]、[[金星]]、地球）の正確な異常近日点移動を予測する。
* 一般相対性理論によると、光は重力場を伝播するときに直線に沿って進まず、質量の大きい物体の存在下で曲げられる。特に星明かりは太陽の近くを通過する際に曲げられ、空の星の位置で見かけ上最大1.75秒角のずれが生じる（1秒角は1/3600[[度 (角度)|度]]に等しい）。ニュートン重力の枠組みでは、その量の半分だけ光の曲がりにつながるヒューリスティックな議論を行うことができる。[[日食]]中に太陽に近い星を観測することで、様々な予測を試験することができる。この方法で、[[アーサー・エディントン]]が率いた1919年のイギリスの西アフリカ探検隊は[[1919年5月29日の日食|1919年5月の日食]]の観測を通してアインシュタインの予測が正しいこと、ニュートンの予測が間違っていることを確認した。エディントンの結果はあまり正確ではなかった。その後、遠方の[[クエーサー]]の光の太陽による偏向の観測は、[[電波天文学]]の非常に正確な技術を利用してエディントンの結果をずっと良い精度で確認した（最初のこのような測定は1967年から、最近の包括的な分析は2004年から）<ref>歴史的な測定については{{Harvnb|Hartl|2005}}、{{Harvnb|Kennefick|2005}}、{{Harvnb|Kennefick|2007}}参照。ニュートンの理論のフレームワークにおけるSoldnerの最初の導出は{{Harvnb|von Soldner|1804}}にある。これまでで最も正確な測定については{{Harvnb|Bertotti|2005}}参照。</ref>。
* 重力赤方偏移は1959年PoundとRebkaにより実験室で最初に測定された。天体物理測定でも測定され、特に[[白色矮星]][[シリウス|シリウスB]]を避ける光に対して行われた。関連する重力による時間遅延効果は、[[原子時計]]を数十kmから数万kmの高度に輸送することで測定されている（最初は1971年にHafeleとKeatingにより、もっと正確なものは1976年に打ち上げられたGravity Probe Aにより）<ref>{{Harvnb|Kennefick|2005}}と{{Harvnb|Will|1993}}の第3章参照。シリウスBの測定については、{{Harvnb|Trimble|Barstow|2007}}参照。</ref>。

これらの試験のうち、水星の近日点の前進のみが1916年のアインシュタインの一般相対性理論の最終発表以前に知られていた。アインシュタインの予測のその後の実験的確認、特に1919年の太陽による光のゆがみの最初の測定は、アインシュタインを国際的なスターダムにのし上げた<ref>{{Harvnb|Pais|1982}}, Mercury on pp. 253–254, アインシュタインの名声の向上は16bと16c節にある。</ref>。これら3つの実験はニュートンの理論ではなく一般相対性理論を採用することを正当化し、付随的に提案されてきた一般相対性理論に対する多くの代替案を正当化した。
一般相対性理論のさらなる試験には、[[シャピロ遅延|シャピロ効果]]や光の重力時間遅延の精密測定があり、最近では2002年に[[カッシーニ (探査機)|カッシーニ]]宇宙探査機により行われた。1セットの試験は宇宙を移動する[[ジャイロスコープ]]の動作に対する一般相対性理論により予測される効果に焦点を合わせている。これらの効果の1つ、測地歳差運動は、[[月レーザー測距実験]]（[[月]]の軌道の高精度測定）で試験されている。もう1つは回転する質量と関連しており、[[慣性系の引きずり]]と呼ばれている。測地効果と慣性系の引きずり効果は2004年に始まったGravity Probe B衛星実験で試験され、2008年12月の時点で相対性がそれぞれ0.5%と15%以内であることが確認されている<ref>{{Citation|last=Everitt, C.W.F.|last2=Parkinson, B.W.|url=http://einstein.stanford.edu/content/final_report/GPB_Final_NASA_Report-020509-web.pdf|title=Gravity Probe B Science Results—NASA Final Report|format=PDF|year=2009|access-date=2009-05-02|postscript=}}</ref>。

宇宙基準では、太陽系全体の重力は弱い。アインシュタインの理論とニュートンの理論の予測の差異は重力が強い場合に最も著しくなるため、物理学者は比較的強い重力場の環境で様々な相対論的効果を試験することに長らく興味を持っている。これは[[連星パルサー]]の精密な観測により可能になった。このような星系では、2つの非常にコンパクトな[[中性子星]]が互いに軌道を回っている。このうち少なくとも1つは[[パルサー]]（電波のタイトなビームを放射する天体）である。これらのビームは、灯台の回転ビームが観測者が灯台の点滅を見ることを意味するのと同じように、非常に規則的な間隔で地球にあたり、非常に規則的な一連のパルスとして観測することができる。一般相対性理論はこれら無線パルスの規則性からの特定の逸脱を予測する。例えば、電波が他の中性子星の近くを通過するときは時々この星の重力場により電波はゆがまされるはずである。観測されるパルスパターンは一般相対性理論により予測されるものに非常に近い<ref>{{Harvnb|Kramer|2004}}.</ref>。

観測の特定のまとまりは、非常に有用で実用的な応用、すなわち、精密[[航法|測位]]と[[時計の歴史|計時]]の両方に使用される[[グローバル・ポジショニング・システム|GPS]]などの[[衛星測位システム|衛星ナビゲーションシステム]]に関連している。このようなシステムは2組の[[原子時計]]、地球を周回する衛星に載せられた時計と、地表に設置された基準時計に依存している。一般相対性理論は、これらの2組の時計が異なる運動（特殊相対性理論により既に予測されている効果）と地球の重力場内の異なる位置によりわずかに異なる速度で進むはずだと予測する。システムの精度を保証するために、衛星の時計を相対論的要素により遅めるか、同じ要素を評価アルゴリズムの一部にする。同様に、システムの精度の試験（特に[[協定世界時|世界協定時]]の定義の一部である非常に徹底的な測定）は、相対論的予測の有効性を証明する<ref>GPSにおける相対論的効果の分かりやすい説明は{{Harvnb|Ashby|2002}}で見られる。詳しくは{{Harvnb|Ashby|2003}}にある。</ref>。

他の多くの試験が、[[等価原理]]の様々な解釈の妥当性を調べている。厳密にいえば重力時間膨張の全ての測定は一般相対性理論自体ではなく、[[等価原理|等価原理の弱いもの]]の試験である。現時点で一般相対性理論は全ての観測試験を合格している<ref>一般相対性理論の試験への分かりやすい導出は{{Harvnb|Will|1993}}にある。より技術的、最新の説明は{{Harvnb|Will|2006}}にある。</ref>。

== 天体物理学の応用 ==
一般相対性理論に基づくモデルは、[[天体物理学]]において重要な役割をしている。これらモデルの成功は、この理論の妥当性をさらに証明している。

=== 重力レンズ ===
[[ファイル:Einstein_cross.jpg|サムネイル|220x220ピクセル|[[アインシュタインの十字架]]: [[重力レンズ]]（クエーサーよりはるか近くにある前景の銀河、Huchraのレンズ）により生成される同じ遠方にある[[クエーサー]]の4つの像]]
光は重力場で曲げられるため、遠くの物体の光が複数の経路を通って観測者に到達することがある。例えば、[[クエーサー]]など非常に遠方にある天体の光は、巨大な[[銀河]]の片側を通過し地球上の観測者に届くのにわずかに曲げられるが、同じ銀河の反対側を通過する光も曲げられてわずかに異なる方向から同じ観測者に届く。結果として、その観測者は1つの天体を2つの異なる場所で観測することになる。この種の焦点合わせは[[レンズ|光学レンズ]]に関してよく知られているため、この重力効果は[[重力レンズ]]と呼ばれる<ref>このような状況の幾何学は{{Harvnb|Schutz|2003}}の第23章で探究されている。</ref>。

[[観測天文学]]では、このレンズ効果をレンズになる天体の特性を推測する重要な道具として用いる。その天体が直接見えない場合でも、レンズで曲げられた像の形は光のゆがみの原因となる[[質量]]分布に関する情報を提供してくれる。特に、重力レンズは光を放出せず重力効果によってのみ観測できる[[暗黒物質]]の分布を測定する1つの方法である。特に興味深い用途の1つが、観測可能な宇宙のかなりの部分にレンズとなる質量が広がっている大規模観測であり、我々の宇宙の大規模特性と進化に関する情報を取得するために使うことができる<ref>重力レンズとその応用についての導入は、ウェブページ{{Harvnb|Newbury|1997}}と{{Harvnb|Lochner|2007}}にある。</ref>。

=== 重力波 ===
アインシュタインの理論の直接的な結果である[[重力波 (相対論)|重力波]]は、光の速度で伝播する幾何学のゆがみであり、時空の小さな波と考えることができる。[[流体力学]]における[[重力波 (流体力学)|重力波]]とは異なる概念である。

2016年2月、Advanced [[LIGO]]のチームと[[Virgo|Virgo干渉計]]チームが[[ブラックホール]]の合体により生じた[[重力波天文学|重力波を直接観測]]したと発表した<ref name="Abbot">{{Cite journal|last=B. P. Abbott et al. (LIGO Scientific Collaboration and Virgo Collaboration)|year=2016|title=Observation of Gravitational Waves from a Binary Black Hole Merger|url=https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.116.061102|journal=Physical Review Letters|volume=116|issue=6|pages=061102|arxiv=1602.03837|bibcode=2016PhRvL.116f1102A|doi=10.1103/PhysRevLett.116.061102|pmid=26918975}}</ref>。

間接的には重力波の効果はある連星の観測により検出されていた。このような星のペアは互いに[[軌道 (力学)|軌道]]を回っており、そうするにつれて重力波を放射し徐々にエネルギーを失う。太陽のような普通の恒星ではこのエネルギー損失は小さすぎて検出できないが、1974年[[PSR B1913+16|PSR1913+16]]という[[連星パルサー]]で観測された。このような系では軌道を回る星の1つはパルサーである。これには2つの結果がある。パルサーは[[中性子星]]として知られる非常に密度の高い天体であり、重力波の放射は通常の星よりもずっと強い。また、パルサーは磁極から狭いビームの電磁放射線を放射する。パルサーが回転すると、灯台で回転する光からの規則正しい閃光を海上の船が観測するのと同じように、そのビームが地球上をスウィープし規則的に連なる無線パルスとして観測される。この無線パルスの規則的なパターンは非常に正確な「時計」として機能する。これは二重星の軌道周期を計るのに使うことができ、すぐ近くの時空のゆがみに鋭敏に反応する。It can be used to time the double star's orbital period, and it reacts sensitively to distortions of spacetime in its immediate neighborhood.

PSR1913+16の発見者である[[ラッセル・ハルス]]と[[ジョゼフ・テイラー]]は1993年に[[ノーベル物理学賞]]を受賞した。これ以降、他にもいくつかの連星パルサーが発見された。一般相対性理論の正確な試験を提供してくれることから、両方の星がパルサーであるものが最も役に立つ<ref>{{Harvnb|Schutz|2003|loc=pp. 317–321}}; {{Harvnb|Bartusiak|2000|loc=pp. 70–86}}.</ref>。

現在、多くの地上配備の[[重力波検出器]]が稼動しており、宇宙配備の検出器を打ち上げるミッションである[[宇宙重力波望遠鏡|LISA]]が現在開発中であり、その前身のミッション（[[LISA パスファインダー]]）が2015年に打ち上げられた。重力波の観測を用いて、[[中性子星]]や[[ブラックホール]]などのコンパクト天体に関する情報を取得したり、[[ビッグバン]]の1秒後の初期[[宇宙]]の部分の状態を調査したりすることができる<ref>重力波の現在進行中の調査は{{Harvnb|Bartusiak|2000}}と{{Harvnb|Blair|McNamara|1997}}に書かれている。</ref>。

=== ブラックホール ===
[[ファイル:M87_jet.jpg|右|サムネイル|209x209ピクセル|銀河[[M87 (天体)|M87]]の中心部から放出されるブラックホール駆動のジェット]]
質量が空間のコンパクト領域に十分集中する場合、一般相対性理論はブラックホールの形成を予測する。[[ブラックホール]]は重力の影響が非常に強く、光すら逃げられない空間領域のこと。ある種のブラックホールは、大質量[[恒星|星]]の[[恒星進化論|進化]]の最終状態と考えられている。一方、[[太陽]]の数[[1000000|百万]]、数十億倍の質量を持つ[[超大質量ブラックホール]]はほとんどの[[銀河]]のコアに存在すると推測されており、過去数十億年にわたって銀河がどのように形成されたかという現在のモデルで重要な役目をしている<ref>20世紀初頭から現代までのブラックホール物理学の歴史の概要については、{{Harvnb|Thorne|1994}}による非常に読みやすい説明参照。構造形成におけるブラックホールの役割についての最新の説明については{{Harvnb|Springel|White|Jenkins|Frenk|2005}}参照。簡単なまとめは関連記事{{Harvnb|Gnedin|2005}}にある。</ref>。

コンパクト天体に落ちていく物質は、[[放射]]の形でエネルギーを放出するための最も効率的なメカニズムの1つであり、ブラックホールに落ちていく物質は考えうる最も明るい天文現象のいくらかの原因であると考えられている。天文学者にとって非常に興味深い注目すべき例は、[[クエーサー]]や他のタイプの[[活動銀河|活動銀河核]]である。適切な条件下では、ブラックホールの周りに蓄積する落下物質は[[宇宙ジェット|ジェット]]の形成につながるかもしれない。ジェットでは物質の集束ビームが[[光速]]に近い速度で宇宙に投げ出される<ref>{{Harvnb|Sparke|Gallagher|2007}}の第8章と{{Harvnb|Disney|1998}}参照。より完全で比較的数学が少ない論は{{Harvnb|Robson|1996}}で見られる。</ref>。

ブラックホールの特性には最も有望な重力波源である理由となるものがいくつかある。理由の1つは、ブラックホールは連星系の一部として互いに周回できる最もコンパクトな天体であることである。結果的にこのような系により放出される重力波は特に強い。もう1つの理由は[[ブラックホール唯一性定理]]（時間の経過とともにブラックホールは最初の幾何学的形状に関係なく特徴の最小限のセットを保持する（これらの定理は[[ブラックホール脱毛定理|無毛定理]]として知られる））からなる。例えば、長期的には、仮想的な物質立方体が崩壊しても立方体の形のブラックホールは発生しない。その代わり結果として生じたブラックホールは球状の質量の崩壊により形成したブラックホールと区別することができない。球状への変化では、より複雑な形の崩壊により形成されたブラックホールは重力波を放出する<ref>ブラックホールの唯一性定理の基本的な導入は{{Harvnb|Chrusciel|2006}}と{{Harvnb|Thorne|1994|loc=pp. 272–286}}で見られる。</ref>。

=== 宇宙論 ===
一般相対性理論の最も重要な面の1つは、[[宇宙]]全体に適用できることである。重要な点は、大規模ではわれわれの宇宙は非常に単純な線に沿って構築されているように見えることである。現在の全ての観測では観測者の位置や観測方向に関係なく平均して宇宙の構造はほぼ同じであるべきである。宇宙は一様[[等方性媒質|等方]]である。このような比較的単純な宇宙は、アインシュタイン方程式の単純解により説明できる。現在の宇宙の[[現代宇宙論|宇宙論的モデル]]は、一般相対性理論に対するこれら単純の解と宇宙の[[物質]]内容の特性、すなわち[[熱力学]]、[[核物理学]]、[[素粒子物理学]]を記述する理論と組み合わせることにより得られる。これらのモデルによると、われわれの現在の宇宙は約140億[[年]]前に非常に高密度な高温状態（[[ビッグバン]]）から出現し、それ以降膨張している<ref>詳細な情報はNed WrightのCosmology Tutorial and FAQ, {{Harvnb|Wright|2007}}にある。非常に読みやすい導入は{{Harvnb|Hogan|1999}}にある。{{Harvnb|Berry|1989}}では学部レベルの数学を用いるが高度な数学を避けて一般相対性理論の完全な紹介をしている。</ref>。

アインシュタイン方程式は[[宇宙定数]]と呼ばれる項を追加することにより一般化できる。この項が存在する場合、[[真空|空の空間]]自体が引きあう（もしくはあまり一般的ではないが斥けあう）重力源として働く。アインシュタインは元々この項を先駆的な1917年の論文で最初に導入したが、非常にはっきりとした動機があった: 当時の宇宙論的考えでは宇宙を静的であるとみなしており、一般相対性理論の枠組みの中で静的なモデル宇宙を構築するために追加の項が必要であった。宇宙が静的ではなく膨張していることが明らかとなったとき、アインシュタインはすぐにこの追加項を破棄した。しかし、1990年代終わり以降宇宙定数（もしくは同様に特別で遍在する[[ダークエネルギー]]の類い）と一致する[[加速度|加速]]膨張を示す天文学的証拠が着実に蓄積されてきている<ref>アインシュタインの原著論文は{{Harvnb|Einstein|1917}}である。現代的な発展の良い記述は{{Harvnb|Cowen|2001}}と{{Harvnb|Caldwell|2004}}にある。</ref>。

== 現代の研究 ==
一般相対性理論は、印象的な一連の物理現象を記述する正確なモデルの枠組みを与えることに非常に成功している。その一方、多くの興味深い未解決の問題があり、特に理論全体としてはほぼ間違いなく不完全である<ref>Cf. {{Harvnb|Maddox|1998|loc=pp. 52–59と98–122}}; {{Harvnb|Penrose|2004|loc=section 34.1とchapter 30}}.</ref>。

[[基本相互作用]]の他の全ての現代理論とは対照的に、一般相対性理論は[[古典物理学|古典]]理論である。これには量子物理学の効果が含まれない。一般相対性理論の量子版の探究は物理学の最も基本的な[[物理学の未解決問題|未解決問題]]の1つにあたる。[[量子重力理論]]として特に[[弦理論]]や[[ループ量子重力理論]]など有望な候補はあるが、現時点では一貫して完全な理論は無い。長らく量子重力理論が一般相対性理論の別の問題のある特徴、[[重力の特異点|時空特異点]]の存在を排除することが望まれている。これらの特異点は、幾何学がうまく定義できない時空の境界（「鋭い刃」）であり、一般相対性理論自体が予測力を失う。さらに、一般相対性理論の法則が量子修正なしで成り立つ場合、そのような特異点が宇宙内にそんざいしなければならないと予測するいわゆる[[特異点定理]]がある。最も有名な例はブラックホールと[[ビッグバン|宇宙の始まり]]を記述するモデル宇宙に関連する特異点である<ref>弦理論に焦点を合わせた量子重力の研究は{{Harvnb|Greene|1999}}にある。ループ量子重力の観点からの説明については{{Harvnb|Smolin|2001}}参照。</ref>。

一般相対性理論を修正する他の試みは[[宇宙論]]の文脈で行われた。現代宇宙論のモデルでは、宇宙のほとんどのエネルギーは直接検出できていない形、すなわち[[ダークエネルギー]]と[[暗黒物質]]の形で存在している。例えば[[修正ニュートン力学]]など重力と宇宙膨張の力学を支配する法則を修正することにより、これらの謎の形をした物質とエネルギーの必要性を取り除こうとした論争になっている提案がいくつかある<ref>暗黒物質については{{Harvnb|Milgrom|2002}}参照。ダークエネルギーについては{{Harvnb|Caldwell|2004}}参照。</ref>。

量子効果や宇宙論の挑戦を越えて、一般相対性理論の研究はさらなる探究の可能性に富んでいる。数学的相対主義者は、特異点の性質とアインシュタイン方程式の基本的性質を探究し<ref>{{Harvnb|Friedrich|2005}}参照。</ref>、特殊な時空のより包括的なコンピュータシミュレーション（ブラックホールの合体を記述するものなど）を実行している<ref>様々な問題とそれを解決するために開発されている技術のレビューについては、{{Harvnb|Lehner|2002}}参照。</ref>。理論が最初に発表されてから100年以上が経過し、研究はこれまで以上に活発になっている<ref>相対性理論の現在の研究のスナップショット（概観）の出発点としては、電子工学のレビュージャーナル[http://relativity.livingreviews.org Living Reviews in Relativity]が良い。</ref>。

== 関連項目 ==
{{ウィキポータルリンク|物理学}}
{{ウィキポータルリンク|天文学}}
* [[一般相対性理論]]
* {{仮リンク|一般相対性理論の数学入門|en|Introduction to the mathematics of general relativity}}
* [[特殊相対性理論|特殊相対性理論入門]]
* {{仮リンク|一般相対性理論の歴史|en|History of general relativity}}
* {{仮リンク|一般相対性理論の試験|en|Tests of general relativity}}
* {{仮リンク|数値相対論|en|Numerical relativity}}
* {{仮リンク|ローレンツ変換の導出|en|Derivations of the Lorentz transformations}}

== 脚注 ==
{{Reflist|colwidth=30em}}

== 参考文献 ==

* {{Citation|last=Ashby|first1=Neil|title=Relativity and the Global Positioning System|url=http://www.ipgp.jussieu.fr/~tarantola/Files/Professional/GPS/Neil_Ashby_Relativity_GPS.pdf|format=PDF|journal=Physics Today|volume=55|pages=41–47|year=2002|doi=10.1063/1.1485583|number=5|bibcode=2002PhT....55e..41A}}
* {{Citation|last=Ashby|first1=Neil|title=Relativity in the Global Positioning System|url=http://relativity.livingreviews.org/Articles/lrr-2003-1/index.html|journal=Living Reviews in Relativity|volume=6|year=2003|access-date=2007-07-06|doi=10.12942/lrr-2003-1|bibcode=2003LRR.....6....1A|pages=1|archiveurl=https://web.archive.org/web/20070704102558/http://relativity.livingreviews.org/Articles/lrr-2003-1/index.html|archivedate=2007-07-04}}
* {{Citation|last=Bartusiak|first1=Marcia|title=Einstein's Unfinished Symphony: Listening to the Sounds of Space-Time|isbn=978-0-425-18620-6|publisher=Berkley|year=2000}}
* {{Citation|last=Berry|first1=Michael V.|title=Principles of Cosmology and Gravitation|publisher=Institute of Physics Publishing|edition=2nd|year=1989|isbn=0-85274-037-9}}
* {{Citation|last=Bertotti|first1=Bruno|author-link=Bruno Bertotti|pages=402–405|contribution=The Cassini Experiment: Investigating the Nature of Gravity|editor-last=Renn|editor-first=Jürgen|title=One hundred authors for Einstein|year=2005|publisher=Wiley-VCH|isbn=3-527-40574-7}}
* {{Citation|last=Blair|first1=David|author-link=David_Blair_(physicist)|last2=McNamara|first2=Geoff|title=Ripples on a Cosmic Sea. The Search for Gravitational Waves|year=1997|publisher=Perseus|isbn=0-7382-0137-5|url=https://archive.org/details/isbn_9780738201375}}
* {{Citation|last=Caldwell|first1=Robert R.|title=Dark Energy|journal=Physics World|pages=37–42|volume=17|year=2004|url=http://physicsworld.com/cws/article/print/2004/may/30/dark-energy|doi=10.1088/2058-7058/17/5/36}}
* {{Citation|last=Chrusciel|first1=Piotr|contribution=How many different kinds of black hole are there?|year=2006|url=http://www.einstein-online.info/spotlights/bh_uniqueness/|access-date=2007-07-15|title=Einstein Online|archiveurl=https://web.archive.org/web/20110414115127/http://www.einstein-online.info/spotlights/bh_uniqueness|archivedate=2011-04-14}}
* {{Citation|last=Cowen|first1=Ron|title=A Dark Force in the Universe|journal=Science News|volume=159|year=2001|pages=218|doi=10.2307/3981642|number=14|publisher=Society for Science &#38|jstor=3981642}}
* {{Citation|last=Disney|first1=Michael|title=A New Look at Quasars|journal=Scientific American|volume=278|year=1998|pages=52–57|doi=10.1038/scientificamerican0698-52|number=6|bibcode=1998SciAm.278f..52D}}
* {{Citation|last=Ehlers|first1=Jürgen|last2=Rindler|first2=Wolfgang|authorlink2=Wolfgang Rindler|title=Local and Global Light Bending in Einstein's and other Gravitational Theories|journal=General Relativity and Gravitation|volume=29|number=4|year=1997|pages=519–529|doi=10.1023/A:1018843001842|bibcode=1997GReGr..29..519E}}
* {{Citation|last=Einstein|first1=Albert|author-link=アルベルト・アインシュタイン|title=Kosmologische Betrachtungen zur allgemeinen Relativitätstheorie|year=1917|journal=Sitzungsberichte der Preußischen Akademie der Wissenschaften|pages=142}}
* {{Citation|last=Einstein|first1=Albert|author-link=アルベルト・アインシュタイン|title=Relativity. The special and general theory|year=1961|publisher=Crown Publishers|url=https://www.gutenberg.org/ebooks/5001}}
* {{Citation|last=Friedrich|first1=Helmut|title=Is general relativity 'essentially understood'?|journal=Annalen der Physik|volume=15|number=1–2|year=2005|pages=84–108|arxiv=gr-qc/0508016|doi=10.1002/andp.200510173|bibcode=2006AnP...518...84F}}
* {{Citation|last=Geroch|first1=Robert|title=General relativity from A to B|publisher=University of Chicago Press|year=1978|isbn=0-226-28864-1}}
* {{Citation|last=Giulini|first1=Domenico|title=Special relativity. A first encounter|publisher=Oxford University Press|year=2005|isbn=0-19-856746-4}}
* {{Citation|last=Gnedin|first1=Nickolay Y.|title=Digitizing the Universe|journal=Nature|volume=435|year=2005|pages=572–573|doi=10.1038/435572a|pmid=15931201|number=7042|bibcode=2005Natur.435..572G}}
* {{Citation|last=Greene|first1=Brian|author-link=Brian Greene|title=The Elegant Universe: Superstrings, Hidden Dimensions, and the Quest for the Ultimate Theory|publisher=Vintage|isbn=0-375-70811-1|year=1999}}
* {{Citation|last=Greene|first1=Brian|author-link=Brian Greene|title=[[The Fabric of the Cosmos: Space, Time, and the Texture of Reality]]|publisher=A. A. Knopf|isbn=0-375-41288-3|year=2004|bibcode=2004fcst.book.....G|journal=}}
* {{Citation|last=Harrison|first1=David M.|year=2002|title=A Non-mathematical Proof of Gravitational Time Dilation|url=http://www.upscale.utoronto.ca/GeneralInterest/Harrison/GenRel/TimeDilation.pdf|format=PDF|access-date=2007-05-06}}
* {{Citation|last=Hartl|first1=Gerhard|contribution=The Confirmation of the General Theory of Relativity by the British Eclipse Expedition of 1919|pages=182–187|editor-last=Renn|editor-first=Jürgen|title=One hundred authors for Einstein|year=2005|publisher=Wiley-VCH|isbn=3-527-40574-7}}
* {{Citation|last=Hogan|first1=Craig J.|title=The Little Book of the Big Bang. A Cosmic Primer|publisher=Springer|year=1999|isbn=0-387-98385-6}}
* {{Citation|last=Janssen|first1=Michel|title=Of pots and holes: Einstein's bumpy road to general relativity|journal=Annalen der Physik|volume=14|number=S1|year=2005|pages=58–85|url=https://netfiles.umn.edu/users/janss011/home%20page/potsandholes.pdf|format=PDF|doi=10.1002/andp.200410130|bibcode=2005AnP...517S..58J}}
* {{Citation|last=Kennefick|first1=Daniel|contribution=Astronomers Test General Relativity: Light-bending and the Solar Redshift|pages=178–181|editor-last=Renn|editor-first=Jürgen|title=One hundred authors for Einstein|year=2005|publisher=Wiley-VCH|isbn=3-527-40574-7}}
* {{Citation|last=Kennefick|first1=Daniel|year=2007|contribution=Not Only Because of Theory: Dyson, Eddington and the Competing Myths of the 1919 Eclipse Expedition|title=Proceedings of the 7th Conference on the History of General Relativity, Tenerife, 2005|arxiv=0709.0685|bibcode=2007arXiv0709.0685K|volume=0709|pages=685}}
* {{Citation|last=Kramer|first1=Michael|contribution=Millisecond Pulsars as Tools of Fundamental Physics|pages=33–54|editor1-last=Karshenboim|editor1-first=S. G.|title=Astrophysics, Clocks and Fundamental Constants (Lecture Notes in Physics Vol. 648)|publisher=Springer|year=2004|editor2-last=Peik|editor2-first=E.}} (E-Print at [http://de.arxiv.org/abs/astro-ph/0405178 astro-ph/0405178])
* {{Citation|last=Lehner|first1=Luis|contribution=Numerical Relativity: Status and Prospects|arxiv=gr-qc/0202055|year=2002|bibcode=2002grg..conf..210L|doi=10.1142/9789812776556_0010|isbn=978-981-238-171-2|pages=210|title=Proceedings of the 16th International Conference on General Relativity and Gravitation, held 15–21 July 2001 in Durban}}
* {{Citation|editor-last=Lochner|editor-first=Jim|title=Gravitational Lensing|journal=Imagine the Universe website|publisher=NASA GSFC|url=http://imagine.gsfc.nasa.gov/docs/features/news/grav_lens.html|year=2007|access-date=2007-06-12|archiveurl=https://web.archive.org/web/20070617115947/http://imagine.gsfc.nasa.gov/docs/features/news/grav_lens.html|archivedate=2007-06-17}}
* {{Citation|last=Maddox|first1=John|author-link=John Maddox|title=What Remains To Be Discovered|publisher=Macmillan|year=1998|isbn=0-684-82292-X|url=https://archive.org/details/whatremainstobed00madd}}
* {{Citation|first1=N. David|last=Mermin|author-link=David Mermin|year=2005|title=It's About Time. Understanding Einstein's Relativity|publisher=Princeton University Press|isbn=0-691-12201-6}}
* {{Citation|first1=Mordehai|last=Milgrom|title=Does dark matter really exist?|journal=Scientific American|year=2002|pages=30–37|volume=287|url=http://www.sciamdigital.com/index.cfm?fa=Products.ViewIssuePreview&ARTICLEID_CHAR=724C1E4B-FFD5-46F4-963E-7610EC8B7EC&sc=I100322|number=2|doi=10.1038/scientificamerican0802-42|bibcode=2002SciAm.287b..42M}}
* {{Citation|first1=John D.|last=Norton|title=What was Einstein's principle of equivalence?|journal=Studies in History and Philosophy of Science|year=1985|volume=16|number=3|pages=203–246|access-date=2007-06-11|url=http://www.pitt.edu/~jdnorton/papers/ProfE_re-set.pdf|format=PDF|doi=10.1016/0039-3681(85)90002-0}}
* {{Citation|last=Newbury|first1=Pete|title=Gravitational lensing webpages|url=http://www.iam.ubc.ca/old_pages/newbury/lenses/research.html|year=1997|access-date=2007-06-12|archiveurl=https://archive.is/20121206023615/http://www.iam.ubc.ca/old_pages/newbury/lenses/research.html|archivedate=2012-12-06}}
* {{Citation|last=Nieto|first1=Michael Martin|title=The quest to understand the Pioneer anomaly|journal=EurophysicsNews|volume=37|year=2006|pages=30–34|url=http://www.europhysicsnews.com/full/42/article4.pdf|format=PDF|number=6|doi=10.1051/epn:2006604|bibcode=2006ENews..37...30N|archiveurl=https://web.archive.org/web/20070629140354/http://www.europhysicsnews.com/full/42/article4.pdf|archivedate=2007-06-29|arxiv=gr-qc/0702017}}
* {{Citation|last=Pais|first1=Abraham|author-link=Abraham Pais|title='Subtle is the Lord&nbsp;...' The Science and life of Albert Einstein|publisher=Oxford University Press|year=1982|isbn=0-19-853907-X|url=https://archive.org/details/subtleislordscie00pais}}
* {{Citation|last=Penrose|first1=Roger|author-link=Roger Penrose|title=The Road to Reality|publisher=A. A. Knopf|year=2004|isbn=0-679-45443-8|url=https://archive.org/details/roadtorealitycom00penr_0}}
* {{Citation|last=Pössel|first1=M.|year=2007|contribution=The equivalence principle and the deflection of light|title=Einstein Online|url=http://www.einstein-online.info/en/spotlights/equivalence_deflection/index.html|access-date=2007-05-06|archiveurl=https://web.archive.org/web/20070503120913/http://www.einstein-online.info/en/spotlights/equivalence_deflection/index.html <!--Added by H3llBot-->|archivedate=2007-05-03}}
* {{Citation|last=Poisson|first1=Eric|title=The Motion of Point Particles in Curved Spacetime|journal=Living Rev. Relativ.|volume=7|year=2004|url=http://www.livingreviews.org/lrr-2004-6|access-date=2007-06-13|doi=10.12942/lrr-2004-6|arxiv=gr-qc/0306052|bibcode=2004LRR.....7....6P}}
* {{Citation|editor-first=Jürgen|editor-last=Renn|title=Albert Einstein&nbsp;– Chief Engineer of the Universe: Einstein's Life and Work in Context|place=Berlin|publisher=Wiley-VCH|year=2005|isbn=3-527-40571-2}}
* {{Citation|last=Robson|first1=Ian|title=Active galactic nuclei|publisher=John Wiley|year=1996|isbn=0-471-95853-0}}
* {{Citation|last=Schutz|first1=Bernard F.|title=Gravity from the ground up|publisher=Cambridge University Press|year=2003|isbn=0-521-45506-5}}
* {{Citation|last=Smolin|first1=Lee|author-link=リー・スモーリン|title=[[Three Roads to Quantum Gravity]]|year=2001|isbn=0-465-07835-4|publisher=Basic}}
* {{Citation|last=von Soldner|first1=Johann Georg|title=[[s:de:Ueber die Ablenkung eines Lichtstrals von seiner geradlinigen Bewegung|Ueber die Ablenkung eines Lichtstrals von seiner geradlinigen Bewegung, durch die Attraktion eines Weltkörpers, an welchem er nahe vorbei geht]]|journal=Berliner Astronomisches Jahrbuch|year=1804|pages=161–172}}.
* {{Citation|last=Sparke|first1=Linda S.|last2=Gallagher|first2=John S.|title=Galaxies in the universe&nbsp;– An introduction|publisher=Cambridge University Press|year=2007|isbn=0-521-85593-4}}
* {{Citation|last=Springel|first1=Volker|last2=White|first2=Simon D. M.|last3=Jenkins|first3=Adrian|last4=Frenk|first4=Carlos S.|title=Simulations of the formation, evolution and clustering of galaxies and quasars|journal=Nature|volume=435|year=2005|pages=629–636|doi=10.1038/nature03597|pmid=15931216|last5=Yoshida|first5=N|last6=Gao|first6=L|last7=Navarro|first7=J|last8=Thacker|first8=R|last9=Croton|first9=D|number=7042|bibcode=2005Natur.435..629S|arxiv=astro-ph/0504097|display-authors=9|url=https://deepblue.lib.umich.edu/bitstream/2027.42/62586/1/nature03597.pdf}}
* {{Citation|last=Stachel|first1=John|author-link=John Stachel|contribution=The Rigidly Rotating Disk as the 'Missing Link in the History of General Relativity'|editor-last=Howard|editor-first=D.|editor2-last=Stachel|editor2-first=J.|title=Einstein and the History of General Relativity (Einstein Studies, Vol. 1)|publisher=Birkhäuser|isbn=0-8176-3392-8|year=1989|pages=48–62}}
* {{Citation|last=Thorne|first1=Kip|author-link=Kip Thorne|year=1994|title=Black Holes and Time Warps: Einstein's Outrageous Legacy|publisher=W W Norton & Company|isbn=0-393-31276-3}}
* {{Citation|last=Trimble|first1=Virginia|author-link=Virginia Trimble|last2=Barstow|first2=Martin|contribution=Gravitational redshift and White Dwarf stars|year=2007|url=http://www.einstein-online.info/spotlights/redshift_white_dwarfs/|access-date=2007-06-13|title=Einstein Online|archiveurl=https://web.archive.org/web/20110828094228/http://www.einstein-online.info/spotlights/redshift_white_dwarfs|archivedate=2011-08-28}}
* {{Citation|first1=John A.|last=Wheeler|author-link=John Archibald Wheeler|title=A Journey Into Gravity and Spacetime|series=Scientific American Library|place=San Francisco|isbn=0-7167-6034-7|publisher=W. H. Freeman|year=1990}}
* {{Citation|last=Will|first1=Clifford M.|author-link=Clifford Will|title=Was Einstein Right?|publisher=Oxford University Press|year=1993|isbn=0-19-286170-0}}
* {{Citation|last=Will|first1=Clifford M.|author-link=Clifford Will|title=The Confrontation between General Relativity and Experiment|journal=Living Rev. Relativ.|volume=9|year=2006|url=http://www.livingreviews.org/lrr-2006-3|access-date=2007-06-12|doi=10.12942/lrr-2006-3|arxiv=gr-qc/0510072|bibcode=2006LRR.....9....3W|pages=3}}
* {{Citation|last=Wright|first1=Ned|title=Cosmology tutorial and FAQ|year=2007|publisher=University of California at Los Angeles|access-date=2007-06-12|url=https://www.astro.ucla.edu/~wright/cosmolog.htm}}

== 外部リンク ==
''Additional resources, including more advanced material, can be found in [[一般相対性理論|General relativity resources]].''

* [http://www.einstein-online.info/ Einstein Online]. Website featuring articles on a variety of aspects of relativistic physics for a general audience, hosted by the Max Planck Institute for Gravitational Physics
* [https://web.archive.org/web/20090603075208/http://archive.ncsa.uiuc.edu/Cyberia/NumRel/NumRelHome.html NCSA Spacetime Wrinkles]. Website produced by the numerical relativity group at the [[米国立スーパーコンピュータ応用研究所|National Center for Supercomputing Applications]], featuring an elementary introduction to general relativity, black holes and [[重力波 (相対論)|gravitational waves]]

{{DEFAULTSORT:いつはんそうたいせいりろんにゆうもん}}

[[Category:重力理論]]
[[Category:重力]]
[[Category:一般相対性理論]]