物理学 › 物理学コラム › 宇宙人はどのくらいいるのか

検出地平線

定義 6.1(「宇宙人はどのくらいいるのか」§6)

送信機の等方換算放射電力(EIRP)を PP とする。これは、同じ強さの信号を全方向へ均等に出す送信機に置き換えたときの電力を意味し、アンテナで絞ったぶんだけ実際の送信電力より大きくなる。

受信側が検出できる最小の電力束密度を Smin⁡S_{\min}(単位:W/m2\mathrm{W/m^2})とするとき、この送信機を検出できる最大距離 rmax⁡r_{\max} を検出地平線と呼ぶ。

本文で読む(前後の説明と例)→

閉包の状態

定義

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

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

これを使っている定理

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