オルバース宇宙
(1) 空間は無限でユークリッド的、(2) 半径 、光度 、表面温度 の同じ星が数密度 で一様に(中心はポアソン分布で)分布、(3) 状態は無限の過去から続く、(4) 空間は静止している、(5) 星の間は透明、を満たす理想化された宇宙をオルバース宇宙と呼ぶ。星 1 個が視線をふさぐ断面積 に対し、 を平均自由行程(見通し距離)という。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。