ボルツマンのエントロピー

定義 4.1（「ミクロカノニカル集団」§4）

孤立系 $(E, V, N)$ のミクロ状態数を $W(E,V,N)$ （定義 2.1）とするとき、

S(E, V, N) = k \ln W(E, V, N)

をボルツマンのエントロピーと呼ぶ。 $k = 1.380649 \times 10^{-23}\ \mathrm{J\,K^{-1}}$ はボルツマン定数である。

閉包の状態

定義

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

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