物理学 › 一般相対性理論 › Einstein 方程式
ニュートン極限
計量が ()と書け、(静的)であるとし、 と定める。 の 1 次までの近似で次が成り立つ。
- 速さ の自由落下粒子について 。
- 物質が非相対論的な塵( で、、 は に比べて無視できる)であるとき、公理 3.1 の 成分は と同値である。
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています(前提の定理類 34 件、定義なども含めて 50 件)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義(直接 3 件)
▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。
測地線方程式の性質✓命題 5.2・曲がった時空のテンソル解析
最大解の存在と一意性✓系 4.2・解の存在と一意性
- 延長と最大解定義 6.1・常微分方程式の初等解法
Picard–Lindelöf の定理✓定理 4.1・解の存在と一意性
- 一様収束のコーシー判定法✓定理 6.2・関数列と一様収束 この先をたどる →
- 一様収束極限の連続性✓定理 4.1・関数列と一様収束 この先をたどる →
- 縮小写像の原理(Banach の不動点定理)✓定理 6.2・距離空間
- 初期値問題と積分方程式✓補題 2.2・解の存在と一意性 この先をたどる →
解の一意性✓定理 3.2・解の存在と一意性
- 初期値問題と積分方程式✓補題 2.2・解の存在と一意性 この先をたどる →
- 積分のノルム✓補題 2.1・解の存在と一意性
- Gronwall の不等式✓補題 3.1・解の存在と一意性 この先をたどる →
- 最大解の存在と一意性✓定理 6.2・常微分方程式の初等解法
- Einstein 方程式公理 3.1・Einstein 方程式
- Riemann 曲率テンソル定義 6.1・曲がった時空のテンソル解析