年周視差とパーセク

定義 5.8（「宇宙論」§5）

星を地球の公転軌道の反対側から見たときの方向のずれの半分、すなわち軌道半径 $1\ \mathrm{au}$ を見込む角を年周視差 $p$ という。 $p=1''$ となる距離を $1$ パーセク（pc）と定める。

閉包の状態

定義

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

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

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