一般相対性理論

物理学 > 相対性理論 > 一般相対性理論 一般相対性理論（いっぱんそうたいせいりろん、独: allgemeine Relativitätstheorie, 英: general theory of relativity）は、アルベルト・アインシュタインが1905年の特殊相対性理論に続いて、それを発展させ1915年から1916年にかけて発表した物理学の理論である。一般相対論（いっぱんそうたいろん、英: general relativity）とも呼ばれる。 一般相対性原理と一般共変性原理および等価原理を理論的な柱とし、リーマン幾何学を数学的土台として構築された古典論的な重力場の理論であり、ロシアの物理学者のレフ・ランダウは一般相対論について、現存する物理学の理論の中で最も美しい理論だと述べている。測地線の方程式とアインシュタイン方程式（重力場の方程式）が帰結である。時間と空間を結びつけるこの理論では、アイザック・ニュートンによって万有引力として説明された現象が、もはやニュートン力学的な意味での力ではなく、時空連続体の歪みとして説明される。 一般相対性理論では、次のことが予測される。 重力レンズ効果 重力場中では光が曲がって進むこと。アーサー・エディントンは、1919年5月29日の日食で、太陽の近傍を通る星の光の曲がり方がニュートン力学で予想されるものの2倍であることを観測で確かめ、一般相対性理論が正しいことを示した。 水星の近日点の移動 ニュートン力学だけでは、水星軌道のずれ（近日点移動の大きさ）の観測値の説明が不完全だったが、一般相対性理論が解決を与え、太陽の質量による時空連続体の歪みに原因があることを示した。 重力波 時空の歪み（重力場）の変動が伝播する現象。線型近似が有効な弱い重力波の伝播速度は光速である。アインシュタインによる予測の発表から100年目の2016年に、アメリカのLIGOにより直接観測された。 膨張宇宙 時空は膨張または収縮し、定常にとどまることがないこと。ビッグバン宇宙を導く。 ブラックホール 限られた空間に大きな質量が集中すると、光さえ脱出できないブラックホールが形成される。 重力による赤方偏移 強い重力場から放出される光の波長は元の波長より引き延ばされる現象。 時間の遅れ 強い重力場中で測る時間の進み（固有時間）が、弱い重力場中で測る時間の進みより遅いこと。 一般相対性理論は慣性力と重力を結び付ける等価原理のアイデアに基づいている。等価原理とは、簡単に言えば、外部を観測できない箱の中の観測者は、自らにかかる力が、箱が一様に加速されるために生じている慣性力なのか、箱の外部にある質量により生じている重力なのか、を区別することができないという主張である。 相対論によれば空間は時空連続体であり、一般相対性理論では、その時空連続体が均質でなく歪んだものになる。つまり、質量が時空間を歪ませることによって、重力が生じると考える。そうだとすれば、質量の周囲の時空間は歪んでいるために、光は直進せず、また時間の流れも影響を受ける。これが重力レンズや時間の遅れといった現象となって観測されることになる。また質量が移動する場合、その移動にそって時空間の歪みが移動・伝播していくために重力波が生じることも予測される。 アインシュタイン方程式から得られる時空は、ブラックホールの存在や膨張宇宙モデルなど、アインシュタイン自身さえそれらの解釈を拒むほどの驚くべき描像である。しかし、ブラックホールや初期宇宙の特異点の存在も理論として内包しており、特異点の発生は一般相対性理論そのものを破綻させてしまう。将来的には量子重力理論が完成することにより、この困難は解決されるものと期待されている。 1905年に特殊相対性理論を発表したアインシュタインは、特殊相対性理論を加速度運動を含めたものに拡張する理論の構築に取り掛かった。1907年に、アインシュタイン自身が「人生で最も幸福な考え (the happiest thought of my life)」と振り返る「重力によって生じる加速度は観測する座標系によって局所的にキャンセルすることができる」というアイディア（等価原理）を得る。 光の進み方と重力に関する論文を1911年に出版した後、1912年からは、重力場を時空の幾何学として取り扱う方法を模索した。このときにアインシュタインにリーマン幾何学の存在を教えたのが、数学者マルセル・グロスマンであった。ただし、このときグロスマンは、「物理学者が深入りする問題ではない」と助言したとも伝えられている。1915年-16年には、これらの考えが1組の微分方程式（アインシュタイン方程式）としてまとめられた。 この時期にアインシュタインが発表した一般相対性理論に関する論文は、以下の通り。 1911年 論文『光の伝播に対する重力の影響』(Annalen der Physik, 35, 898-908) 1914年 論文『一般相対性理論および重力論の草案』(ZS. f. Math. u. Phys., 62, 225-261) 1915年 論文『水星の近日点の移動に対する一般相対性理論による説明』(S.B. Preuss. Akad. Wiss., 831-839) 1916年 論文『一般相対性理論の基礎』(Annalen der Physik (Germany), 49, 769-822) 1916年 論文『ハミルトンの原理と一般相対性理論』(S.B. Preuss. Akad. Wiss., 1111-1116) アインシュタイン方程式の発表後は、その方程式を解くことが研究の課題となった。 1916年にカール・シュヴァルツシルトが、アインシュタイン方程式を球対称・真空の条件のもとに解き、今日ブラックホールと呼ばれる時空を表すシュヴァルツシルト解を発見した。アインシュタイン自身は、自ら導いた方程式から、重力波の概念を提案したり、宇宙全体に適用すると動的な宇宙が得られてしまうことから、宇宙項を新たに方程式に加えるなどの提案を行っている。 1917年 論文『一般相対性理論についての宇宙論的考察』(S.B. Preuss. Akad. Wiss., 142-152) 1918年 論文『重力波について』(S.B. Preuss. Akad. Wiss., 154-167) 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つの理論の対立を折衷する様々な意見やその立証が試みられているが、未だ決定的な理論は出てきていない。 一般に場の量子論においては平坦なミンコフスキー時空における粒子を扱うが、重力の効果を近似的（半古典的）に背景時空（曲がった時空）として導入することにより、場の量子論に曲がった時空の効果を近似的に取り入れた理論である。 重力子の影響を背景時空として近似しているため、強い重力場のもとでは時空を完全に量子化したような量子重力理論に修正されるべきである。欠点としては、時空が静的なものであるため完全には相対論的ではない。 ホーキング放射はこの理論のもとで予測された。 超弦理論は、従来の量子論では大きさを持たない点と仮定されている粒子を、長さを持つ「ひも」と仮定しなおすことにより紫外発散の問題を解消している。理論的な探求は進んでいるものの、実験的裏付けが非常に乏しく未だ仮説の域を脱していない。 一般相対性理論は、次の仮定を出発点にする。あくまでも仮定であり、これが基準点とするものではない。 一般相対性原理 物理学の法則は、任意の仕方で運動している座標系に関していつも成立する 一般共変性の仮定 自然の一般法則は、すべての座標系に対して成り立つ、すなわち任意の座標系に対して（一般）共変な方程式で表されなくてはならない。 局所座標系における特殊相対性理論の成立仮定 無限に小さな4次元領域（4次元の擬リーマン多様体のある点における局所座標系または接空間）に対しては、座標を適当に選べば、特殊の意味での相対性理論が原則として成り立つ。時空のある点における基本計量テンソル gi j は、その座標系に関する重力場を記述する。基本計量テンソルの行列式 g は常に有限の負の値を持つ。 測地線の仮定 自由質点運動は測地線である 一般相対性理論成立の歴史上、等価原理 (equivalence principle) はスタートポイントとして考えられたが、数学的に重要であるのは、一般相対性原理（一般共変性の仮定と局所座標系における特殊相対性理論の成立仮定）である。 一般相対性理論においては、重力のある空間を光が通過するとき光は曲がる（光のとる経路が伸びる）ことから、時空は、重力場を基本計量テンソルとする4次元のリーマン多様体として扱われる。可微分多様体 M がリーマン多様体であるとは、M 上の各点に基本計量テンソル gij(x) が与えられているものを言う。なお、局所座標系 (x0, x1, x2, x3) の四つの座標の内、x0 は適当な測定単位で測られた時間座標、x1, x2, x3 は空間座標とする。すなわち、x0 = ct, x1 = x, x2 = y, x3 = 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) の大きさと呼ぶが、これは、特殊相対性理論が成り立つような座標系においては、ミンコフスキーが指摘した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} 行列形式で描けば、 ( 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点間の長さを最小にする曲線として定義される。曲線の長さは、 l ( γ ) = ∫ γ ± g μ ν d x μ d x ν = ∫ γ ± g μ ν d x μ d t d x ν d t d t {\displaystyle l(\gamma )=\int _{\gamma }{\sqrt {\pm g_{\mu \nu }dx^{\mu }dx^{\nu }}}=\int _{\gamma }{\sqrt {\pm g_{\mu \nu }{\frac {dx^{\mu }}{dt}}{\frac {dx^{\nu }}{dt}}}}\,dt} で与えられる。ここでの積分は、曲線 γ(t) に沿うものとする。ルート内の符号の+は空間的な曲線に対して、負の符号は時間的な曲線に対して適用し、いずれの場合も長さが実数になるようにする。 この長さの極値をもたらす条件を導出すると、測地線の方程式が得られる。局所座標で表現すると、方程式は、 d 2 x μ d t 2 + Γ   ν ρ μ d x ν d t d x ρ d t = 0 {\displaystyle {\frac {d^{2}x^{\mu }}{dt^{2}}}+\Gamma _{~\nu \rho }^{\mu }{\frac {dx^{\nu }}{dt}}{\frac {dx^{\rho }}{dt}}=0} となる。ここで、xμ(t) は、曲線 γ(t) の座標であり、Γμ  νρ  は先に登場したクリストッフェル記号である。座標の常微分方程式として得られるこの式は、初期値と初速度を与えれば解を一意に決定する。この式は、曲がった時空における光・粒子の運動方程式である。 時空の曲率は、レヴィ・チヴィタ接続 ∇ が定義するリーマン曲率テンソル (Riemann tensor) R ρ  σμν  で表現される。局所座標表現では、次のように書ける。 R ρ σ μ ν = ∂ ∂ x μ Γ ρ ν σ − ∂ ∂ x ν Γ ρ μ σ + Γ ρ μ λ Γ λ ν σ − Γ ρ ν λ Γ λ μ σ {\displaystyle {R^{\rho }}_{\sigma \mu \nu }={\frac {\partial }{\partial x^{\mu }}}\Gamma ^{\rho }{}_{\nu \sigma }-{\frac {\partial }{\partial x^{\nu }}}\Gamma ^{\rho }{}_{\mu \sigma }+\Gamma ^{\rho }{}_{\mu \lambda }\Gamma ^{\lambda }{}_{\nu \sigma }-\Gamma ^{\rho }{}_{\nu \lambda }\Gamma ^{\lambda }{}_{\mu \sigma }} 物理的には、このリーマン曲率テンソルから、2成分を縮約したリッチテンソル (Ricci tensor) Rμν と、さらに添字を縮約したリッチスカラー曲率 (Ricci scalar) R R μ ν = R ρ μ ρ ν {\displaystyle R_{\mu \nu }={R^{\rho }}_{\mu \rho \nu }} R = g μ ν R μ ν {\displaystyle R_{}^{}=g^{\mu \nu }R_{\mu \nu }} を考えればよく、さらにその組み合わせである、 G μ ν = R μ ν − 1 2 R g μ ν {\displaystyle G_{\mu \nu }=R_{\mu \nu }-{\frac {1}{2}}Rg_{\mu \nu }} が物質分布で定まることをアインシュタインが見いだした。この最後の組み合わせ Gμν をアインシュタイン・テンソル (Einstein tensor) と呼ぶ。 一般相対性理論の基本方程式は、 G μ ν + Λ g μ ν = κ T μ ν {\displaystyle G_{\mu \nu }+\Lambda g_{\mu \nu }=\kappa T_{\mu \nu }} と表され、アインシュタイン方程式と呼ばれる。ここで Gμν はアインシュタインテンソル、gμν は計量テンソル、Λ は宇宙項、Tμν はエネルギー・運動量テンソルである。非相対論的極限でニュートンの重力理論に収束することから、右辺の比例係数 κ （アインシュタインの定数）は、 κ = 8 π G c 4 {\displaystyle \kappa ={\frac {8\pi G}{c^{4}}}} となる。G は万有引力定数、 c は光速である。4次元空間を考えれば、テンソルは対称なので、アインシュタイン方程式は、10本の方程式からなる。 アインシュタイン方程式の左辺は時空の曲率を表し、右辺は物質分布を表す。右辺の物質分布の項により時空が曲率を持ち、その曲率の影響で次の瞬間の物質分布が定まる、という構造である。真空の時空であれば、右辺をゼロとすればよい。例えば、重力以外の力を考えないと、次のようになる。 右辺のエネルギー運動量テンソルが増加の場合（アインシュタインの特殊相対論によるとエネルギーと質量は等価であるから、エネルギー運動量テンソルの増加は質量の増加を意味する）、左辺も増加しなければならない。これは時空の曲率が増加することを意味する。アインシュタインの解釈によると重力とは時空の湾曲によるものであったから、曲率の増加は重力の増大を表す。右辺のエネルギー運動量テンソルの増大は質量が増大する事を表し、この方程式によると、それは左辺の時空の曲率、つまり重力がさらに増大することを意味する。 すなわち、重力は非線形で、重力自身は自己増大してゆく。通常の恒星のモデルでは、核融合による、生じる光（電磁波）の輻射圧とガスによる圧力が、重力と釣り合うように恒星の半径が決まる。星が燃え尽きて支える力がなくなると、重力崩壊し、電子の縮退圧で支えられる白色矮星 か、中性子の縮退圧で支えられる中性子星、あるいは、ブラックホールになることが予測される。 アインシュタイン方程式の数学的な特徴は、次のような点にある。 座標変換に対し、共変的であるので、「時間座標1＋空間座標3」のみではなく、「光の進行方向2＋空間座標2」といった分解表現も可能である。 非線形の2階の偏微分方程式（楕円型偏微分方程式および双曲型偏微分方程式）である。 時空構造を論じていながら、時空全体の大域的構造やトポロジーを仮定しない。 得られる解には、特異点が存在する（特異点定理）。 アインシュタイン方程式自身に何ら近似することなく得られる解析解のことを厳密解という。良く知られている厳密解に、次のものがある。 シュヴァルツシルト解 カール・シュヴァルツシルトが1916年に発表した解。真空で球対称を仮定した解で、ブラックホールを表す最も単純な解。 カー解 ロイ・カーが1962年発表した解。真空で軸対称時空を仮定した解で、回転するブラックホールを表す最も単純な解。 ドジッター解 ウィレム・ド・ジッターが1917年に発表した解。真空で宇宙項がある場合の膨張宇宙解。ド・ジッター宇宙を表す。 フリードマン・ロバートソン・ウォーカー解 アレクサンドル・フリードマン、ハワード・ロバートソン、アーサー・ウォーカーが1922年に発表した解。時空の球対称性を仮定し、物質分布を一様等方な流体近似した解で、ビッグバン膨張宇宙を表す解。 ゲーデル解 クルト・ゲーデルが1949年に発表した解。物質分布を規定するエネルギー・運動量テンソルを、回転する一様なダスト粒子として仮定し、ゼロでない宇宙項を仮定した解で、ゲーデルの回転宇宙を表す解。 現在でも、新しい解（解析解）を発見すれば、発見者の名前がつく。ただし、同じ物理的な時空であっても、異なる座標表現を用いて、異なる解のように表現されることがあるので、注意することが必要である。 自動車などの位置をリアルタイムに測定表示するカーナビゲーションシステムは、GNSSの代表といえるGPSなどを利用しており、GPS衛星などに搭載された原子時計に基づき生成される航法信号に依存している。 GPS衛星からの信号を受信する装置では、さまざまな要因による補正を行うが、GPS衛星の時計との同期に関するものとして、地表に対して高速で運動するGPS衛星の、特殊相対論効果による地表からみた時間の遅れ、および地球の重力場による地上の時間の遅れ、言い換えれば一般相対論効果による衛星の時計の進みが含まれる。 GPS衛星の軌道速度は秒速約4キロメートルと高速であるため、特殊相対論によって時間の進み方がわずかではあるが遅くなる。一方、GPS衛星の高度は約2万キロメートルで、地球の重力場の影響が小さいことから、一般相対論によって地上よりも時間の進み方が速くなる。このように特殊相対論と一般相対論で互いに逆の効果をもたらすことになる。この相対論的補正をせずに1日放置すると、位置情報が約11キロメートルもずれてしまうほどの時刻差になることから、相対論的補正はGPSシステムの運用に不可欠である。