リーマン幾何学

この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。 脚注を導入して、記事の信頼性向上にご協力ください。（2023年4月）

原文と比べた結果、この記事には多数の（または内容の大部分に影響ある）誤訳があることが判明しています。情報の利用には注意してください。 正確な表現に改訳できる方を求めています。

一般相対性理論
${\displaystyle G_{\mu \nu }+\Lambda g_{\mu \nu }={\tfrac {8\pi G}{c^{4}}}T_{\mu \nu }}$
アインシュタイン方程式
入門 数学的定式化 関連書籍
基本概念 特殊相対性理論 等価原理 世界線 · リーマン幾何学 現象 ケプラー問題（英語版） · レンズ · 重力波 慣性系の引きずり · 測地効果（英語版） 事象の地平面 · 特異点 ブラックホール 方程式 線形化重力（英語版） PPN形式 アインシュタイン方程式 フリードマン方程式 ADM形式（英語版） BSSN形式（英語版） 高度な理論 カルツァ＝クライン理論 量子重力理論 解（英語版） シュヴァルツシルト ライスナー・ノルドシュトロム · ゲーデル カー · カー・ニューマン カスナー（英語版） · Taub-NUT（英語版） · ミルン・モデル（英語版） ロバートソン・ウォーカー · pp波（英語版） 科学者 アインシュタイン · ミンコフスキー · エディントン ルメートル · シュヴァルツシルト ロバートソン · カー · フリードマン チャンドラセカール · ホーキング
表 話 編 歴

リーマン幾何学（リーマンきかがく、英: Riemannian geometry）とは、リーマン計量や擬リーマン計量と呼ばれる距離の概念を一般化した構造を持つ図形を研究する微分幾何学の分野である。このような図形はリーマン多様体、擬リーマン多様体とよばれる。ドイツの数学者ベルンハルト・リーマンに因んでこの名前がついている。1850年代に確立された。

楕円・放物・双曲の各幾何学は、リーマン幾何学では、曲率がそれぞれ正、0、負の一定値をとる空間（それぞれ球面、ユークリッド空間、双曲空間）上の幾何学と考えられる。なお、楕円幾何学のことをリーマン幾何と呼ぶことがあるが、本稿で述べるリーマン幾何学はそれとは異なるものである。

アルベルト・アインシュタインは、重力、即ち、一様ではなく湾曲した時空を記述するのに擬リーマン多様体の枠組みが有効であることを見いだし、リーマン幾何学を数学的核心とした一般相対性理論を構築した。

下記は、リーマン幾何学の古典定理のリストとしては不十分である。重要で、美しく、単純な定式化となっているものを選択した。結果の大半は、ジェフ・チーガー（英語版）(Jeff Cheeger)と E. Ebinの古典的な単行本で探すことができる。

与えられる定式化は、極めて完全、最も一般的というわけではない。このリストは基本的定義を既に知り、これらの定義が何であるかを知ろうとする人向けのものである。

1. ガウス・ボネの定理 コンパクト 2-次元リーマン多様体 M のガウス曲率の積分は、2πχ(M) に等しい。ここに χ(M) は M のオイラー標数である。この定理は、任意のコンパクトな偶数次元のリーマン多様体へ一般化できる。一般ガウス・ボネの定理を参照。
2. ナッシュの埋め込み定理も、リーマン幾何学の基本定理と呼ばれる。この定理は、すべてのリーマン多様体はユークリッド空間 Rⁿ の中へ等長的に埋め込む(embedded)ことができる。

空間の大域的構造についての情報を導くために、次の定理はみな、空間のある局所的な振る舞いを前提とする（普通は曲率を使い定式化する）。大域的構造は、多様体のトポロジカルなタイプの情報と「充分大きな」距離での点の振る舞いについての情報を含んでいる。

1. 球面定理 M が単連結コンパクト n-次元リーマン多様体の断面曲率が 1/4 と 1 の間に挟まれていると、M は球に微分同相である。
2. チーガーの有限性定理 定数 C, D と V に対して、断面曲率が |K| ≤ C で、半径が ≤ D で、体積が ≥ V である（微分同相を同一視して）コンパクトな n-次元のリーマン多様体は有限個しか存在しない。
3. グロモフの概平坦多様体（英語版）(Gromov's almost flat manifolds) n-次元リーマン多様体が断面曲率 |K| ≤ ε_n であり、半径が ≤ 1 であれば、有限被覆がnil-多様体（英語版）(nil manifold)に微分同相であるような ε_n > 0 が存在する。

1. チーガー・グロモルのソウル定理（英語版）(Cheeger-Gromoll's Soul theorem) M が非コンパクトな完備非負な曲率を持つ n-次元リーマン多様体とすると、M はコンパクトな全測地部分多様体 S をもち、M が S の法バンドルと微分同型である（S を M のソウル(soul)と呼ぶ）。特に、M が M のどの点でも厳密に（0 となることを除く）正の曲率を持つと、M は Rⁿ に微分同相である。グリゴリー・ペレルマン(G. Perelman)は、1994年に驚くほどエレガントで短く、M は「一点でのみ正曲率を持つと Rⁿ である」というソウル予想を証明した。
2. グロモフのベッチ数定理(Gromov's Betti number theorem) M がコンパクトで連結な n 次元の正の断面曲率をもつリーマン多様体ならば、ベッチ数の和が多くとも C となるような定数 C = C(n) が存在する。
3. グローブ・ピーターソンの有限性定理(Grove–Petersen's finiteness theorem) 定数、C, D, と V が与えあられると、断面曲率 K ≥ C, 半径 ≤ D で、体積 ≥ V であるようなコンパクト n-次元リーマン多様体の有限個のホモトピータイプしかない。

1. カルタン・アダマールの定理（英語版）(Cartan–Hadamard theorem)は、非正な断面曲率をもつ完備単連結リーマン多様体 M は、任意の点での指数写像（英語版）(exponential map)を通して、n = dim M 次元のユークリッド空間 Rⁿ に微分同相であるという定理である。この定理は、非正な断面曲率を持つ単連結な完備リーマン多様体の任意の 2点は、一意な測地線により結ぶことができる。
2. 負の断面曲率を持つ測地フロー（英語版）(geodesic flow)は、エルゴード的である。
3. M が厳密に（0 を含めない）負の定数 k の上界を持たない断面曲率をもつ完備なリーマン多様体であれば、CAT(k)空間（英語版）(CAT(k) space)である。逆に、M の基本群 Γ = π₁(M) がグロモフの意味の双曲的（英語版）(Gromov hyperbolic)である。このことは基本群の性質に対して多くの意味を持っている。

• 基本群が有限表現（英語版）(finitely presented)される。
• Γ のワード問題（英語版）(word problem)は正の解を持つ。
• 群 Γ は有限の仮想コホモロジー次元（英語版）(cohomological dimension)を持つ。
• 有限位数の元は有限個の共役類しかない。
• Γ のアーベル的な部分群は、仮想巡回的（英語版）(virtually cyclic)であるので、Z×Z に同型な部分群をもたない。

1. メイヤーの定理（英語版）(Myers theorem) コンパクトなリーマン多様体が正のリッチ曲率を持つと、基本群は有限群となる。
2. 分裂定理（英語版）(Splitting theorem) 完備 n-次元リーマン多様体は、非負なリッチ曲率と真っ直ぐな直線（各々の点の間の距離を極小化する測地線）を持つと、実直線と非負なリッチ曲率を持つ完備 (n-1)-次元リーマン多様体の積と等長である。
3. ビショップ・グロモフの不等式（英語版）(Bishop–Gromov inequality) 正のリッチ曲率を持つ完備 n-次元リーマン多様体の中の半径 r の球の体積は、多くともユークリッド空間の中の同一半径 r の球の体積しか持たない。
4. グロモフのコンパクト性定理（英語版）(Gromov's compactness theorem) 正のリッチ曲率と多くとも半径 D を持つすべてのリーマン多様体は、グロモフ・ハウスドルフ計量(Gromov-Hausdorff metric）でプレコンパクトである。

1. 負のリッチ曲率を持つコンパクトリーマン多様体の等長群は離散的(discrete)である。
2. 次元が n ≥ 3 であるすべての滑らかな多様体は、負のリッチ曲率のリーマン計量を持つ^{[注釈 1]}。（曲面に対しては正しくない。）

1. n-次元トーラスは正のスカラー曲率を持たない。
2. n-次元リーマン多様体の単射半径(injectivity radius)が ≥ π であれば、平均スカラー曲率は多くとも n(n-1) である。

• 宇宙の形
• 部分リーマン多様体の接続と曲率
• 曲がった時空の数学の入門（英語版）(Basic introduction to the mathematics of curved spacetime)
• 法座標（英語版）(Normal coordinates)
• シストリック幾何学（英語版）(Systolic geometry)
• リーマン・カルタン幾何学（英語版）(Riemann–Cartan geometry)
• リーマンの極小曲面（英語版）(Riemann's minimal surface)

書籍

• Berger, Marcel (2000), Riemannian Geometry During the Second Half of the Twentieth Century, University Lecture Series, 17, Rhode Island: American Mathematical Society, ISBN 0-8218-2052-4 . (Provides a historical review and survey, including hundreds of references.)
• Cheeger, Jeff; Ebin, David G. (2008), Comparison theorems in Riemannian geometry, Providence, RI: AMS Chelsea Publishing ; Revised reprint of the 1975 original.
• Gallot, Sylvestre; Hulin, Dominique; Lafontaine, Jacques (2004), Riemannian geometry, Universitext (3rd ed.), Berlin: Springer-Verlag .
• Jost, Jürgen (2002), Riemannian Geometry and Geometric Analysis, Berlin: Springer-Verlag, ISBN 3-540-42627-2 .
• Petersen, Peter (2006), Riemannian Geometry, Berlin: Springer-Verlag, ISBN 0-387-98212-4 

論文

• Brendle, Simon; Schoen, Richard M. (2007), Classification of manifolds with weakly 1/4-pinched curvatures, arXiv:0705.3963 

• Riemannian geometry by V. A. Toponogov at the Encyclopedia of Mathematics
• Weisstein, Eric W. "Riemannian Geometry". mathworld.wolfram.com (英語).

表 話 編 歴 相対性理論
特殊 相対論	背景 相対性原理 特殊相対性理論 基礎 相対運動 基準系 光速 マクスウェルの方程式 公式 ガリレイ相対性 ガリレイ変換 ローレンツ変換 結果 時間の遅れ 相対論的質量（英語版） E = mc2 長さの収縮 同時性の相対性（英語版） 相対論的ドップラー効果（英語版） トーマス歳差（英語版） 相対論的ディスク（英語版） 時空 ミンコフスキー時空 世界線 時空図 光円錐
一般 相対論	背景 一般相対論の数学 関連文献 基礎 特殊相対性理論 等価原理 世界線 リーマン幾何学 時空図 現象 二体問題（英語版） 重力レンズ 重力波 慣性系の引きずり 測地的効果（英語版） 事象の地平面 重力の特異点 ブラックホール 方程式 線形化重力（英語版） PPN形式 アインシュタイン方程式 測地線 フリードマン方程式 ADM形式（英語版） BSSN形式（英語版） ハミルトン＝ヤコビ＝アインシュタイン方程式（英語版） 発展 理論 カルツァ＝クライン理論 量子重力理論 ブランス＝ディッケ理論（英語版） 解（英語版） シュワルツシルト ノルドシュトロム ゲーデル カー カー・ニューマン カスナー（英語版） タアブ・NUT（英語版） ミルン（英語版） フリードマン・ルメートル・ロバートソン・ウォーカー pp-wave時空（英語版） ファン・ストックム・ダスト（英語版）
科学者	アインシュタイン ローレンツ ヒルベルト ポアンカレ シュヴァルツシルト ド・ジッター ライスナー ノルドシュトルム ワイル エディントン フリードマン ミルン ツビッキー ルメートル ゲーデル ホイーラー ロバートソン バーディーン ウォーカー カー チャンドラセカール エーラス（英語版） ペンローズ ホーキング テイラー ハルス ストックム（英語版） タアブ ニューマン（英語版） ヤウ ソーン ノッターレ（英語版） その他（英語版）
カテゴリ