占有数表示

定義 3.3（「量子統計」§3）

1 粒子準位 $i$ を占める粒子数を $n_i$ とし、状態を数列 $\{n_i\}$ で指定する。全粒子数とエネルギーは

N = \sum_i n_i,\qquad E = \sum_i \varepsilon_i n_i

で与えられる。許される値は

n_i \in \{0,1,2,\ldots\}\ (\text{ボース粒子}),\qquad n_i \in \{0,1\}\ (\text{フェルミ粒子})

である。異なる数列 $\{n_i\}$ は異なる物理状態を表し、同じ数列は同じ状態を表す。

閉包の状態

定義

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

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