粒子的地平線（観測可能な宇宙の半径）

定義 6.8（「宇宙論」§6）

$a=0$ で出た光が現在までに進める共動距離の最大値 $\chi_{\mathrm{hor}}$ を、現在の固有距離として表したものを粒子的地平線という。これより遠くの天体からは、まだ 1 個の光子も届いていない。

閉包の状態

定義

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

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

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