グランドポテンシャル

定義 4.2（「グランドカノニカル集団」§4）

J(T,V,\mu) \;=\; -k_B T \ln \Xi(T,V,\mu)

をグランドポテンシャルと呼びます。文献によっては $\Omega$ や $\Phi_G$ と書きますが、この記事では状態数 $\Omega$ と紛らわしいので $J$ を使います。

閉包の状態

定義

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

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

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