ファン・デル・ワールス方程式

定義 3.1（「相転移と平均場理論」§3）

正の定数 $a,b$ に対し、

p(v,T)=\frac{k_{\mathrm B}T}{v-b}-\frac{a}{v^2}\qquad(v>b)

をファン・デル・ワールス方程式という。

閉包の状態

定義

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

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

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