λ(g)

定義 4.1（「ポアンカレ予想 II」§4）

向き付けられた閉多様体 $M$ 上の Riemann 計量 $g$ に対し

\lambda(g)=\inf\Bigl\{\mathcal{F}(g,f):\ f\in C^\infty(M),\ \int_Me^{-f}dV=1\Bigr\}

と定める。

閉包の状態

定義

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

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

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