シュヴァルツシルト半径

定義 5.3（「曲がった時空と重力」§5）

質量 $M$ に対して

r_s = \frac{2GM}{c^2}

をシュヴァルツシルト半径という。天体の半径が $r_s$ より小さいとき、 $r = r_s$ の球面を事象の地平面といい、その内側をブラックホールという。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。