正準集団（せいじゅんしゅうだん、英語: canonical ensemble）とは、統計力学において、外界（英語版）との間でエネルギーを自由にやり取り出来る閉鎖系を無数に集めた統計集団である。英語のカタカナ転写でカノニカルアンサンブルと呼ばれることも多い。
正準集団は等温条件にある熱力学系を表現する統計集団であり、外界の温度をパラメータとして特徴付けられる。
正準分布は、小正準分布、大正準分布とは体積が十分に大きい極限（すなわちエネルギーや粒子の出入りが無視できる極限）において熱力学的に等価である。
正準集団が従う確率分布は正準分布（せいじゅんぶんぷ、英: canonical distribution）、あるいはカノニカル分布と呼ばれる。
逆温度 β で特徴付けられる熱浴と接している系が微視的状態 ω をとる確率分布は
![{\displaystyle p_{\beta }(\omega )={\frac {1}{Z(\beta )}}\exp[-\beta E(\omega )]}](//wikimedia.org/api/rest_v1/media/math/render/svg/479a55c983255ada62f0e5c9c11799dd85f202d2)
で与えられる。ここで、E(ω) は系が微視的状態 ω をとるときのエネルギーである。
確率分布 pβ(ω) の分子の exp[−βE(ω)] はボルツマン因子と呼ばれる。系が高いエネルギーの状態にある確率が指数的に減少することが判る。
確率の規格化係数 Z(β) は、確率 p をすべて足し合わせると1となるように
![{\displaystyle Z(\beta )=\sum _{\omega }\exp[-\beta E(\omega )]}](//wikimedia.org/api/rest_v1/media/math/render/svg/5b601c4d2a48671e7c3dd13507b984b093a0f272)
で定義される。この規格化係数は特に分配関数と呼ばれ、熱力学への関係付けにおいて重要な役割を担う。
系が微視的状態 ω にあるときの微視的な物理量が確率変数 O(ω) で与えられるとき、統計力学の処方により、対応する熱力学的な状態量は期待値として再現される。したがって、正準集団における熱力学的な状態量は
![{\displaystyle O(\beta )=\langle O(\omega )\rangle _{\beta }=\sum _{\omega }O(\omega )\,p_{\beta }(\omega )={\frac {1}{Z(\beta )}}\sum _{\omega }O(\omega )\exp[-\beta E(\omega )]}](//wikimedia.org/api/rest_v1/media/math/render/svg/55930022b71bc2ec27a5aaf4164c9d48d8c71dcc)
で与えられる。特にエネルギーは
![{\displaystyle E(\beta )={\frac {1}{Z(\beta )}}\sum _{\omega }E(\omega )\exp[-\beta E(\omega )]=-{\frac {\partial }{\partial \beta }}\ln Z(\beta )}](//wikimedia.org/api/rest_v1/media/math/render/svg/111097cceae648c25e07b37597db2e11ea2a33ae)
となる。
熱力学の理論によれば、自由エネルギー F はエネルギーと
で関係付けられる。これと先の式を比較すれば、自由エネルギーの統計力学的な表示として
が得られる。この関係式は微視的な確率分布に基づく分配関数を熱力学的な状態量の自由エネルギーに関連付けており、統計力学による熱力学の再現の一例である。
自由エネルギーは温度により特徴付けられる系における完全な熱力学関数であり、ここから様々な状態量が計算される。例えばエントロピーは
となり、熱容量は
となる。
また、体積 V や粒子数 N を考慮した系を考えると、圧力 P、化学ポテンシャル μ が
として統計力学的に表示できる。さらに圧縮率や熱膨張係数なども計算できる。
エントロピーは
![{\displaystyle S(\beta )=k\beta \{E(\beta )-F(\beta )\}=k\langle \beta E(\omega )+\ln Z(\beta )\rangle =-k\left\langle \ln \left\{{\frac {1}{Z(\beta )}}\exp[-\beta E(\omega )]\right\}\right\rangle }](//wikimedia.org/api/rest_v1/media/math/render/svg/603c3ff7c5432aa721a72eb833dc0f42bf0a1124)
となり、ギブズエントロピーの表式
を満たしている。
量子力学的な系では、微視的状態はヒルベルト空間上の点で表される。特にエネルギー固有状態で代表することが多く、確率分布は
![{\displaystyle p_{i}={\frac {1}{Z(\beta )}}\exp[-\beta E_{i}]}](//wikimedia.org/api/rest_v1/media/math/render/svg/02bbb08f270df98fe737017178037d2da0cbe484)
となり、分配関数は
![{\displaystyle Z(\beta )=\sum _{i}\exp[-\beta E_{i}]}](//wikimedia.org/api/rest_v1/media/math/render/svg/8564b5c7d11e197ae35dd644e9251b413407c253)
となる。i はエネルギー固有状態を指定する量子数で、 Ei は対応するエネルギー固有値である。
トレースを用いると、分配関数はハミルトニアン ˆH により、
![{\displaystyle Z(\beta )=\operatorname {Tr} \exp[-\beta {\hat {H}}]}](//wikimedia.org/api/rest_v1/media/math/render/svg/34b8684863c81b544c78d33bc4d7d97ec50b72c0)
と表せる。
確率分布p(ω)に対して、この分布における期待値を⟨ · ⟩pと表す。
エネルギーの平均値⟨E(ω)⟩p=E が定まった状態で、p(ω)がシャノンエントロピーS=−k⟨lnp(ω)⟩pを最大にするとき、分布p(ω)は正準集団になる[1][2]。
実際、確率分布としての規格化条件
とエネルギーの平均値についての指定条件
の制約の下、シャノンエントロピー
を最大化する分布は、αとβを未定乗数とするラグランジュの未定乗数法により、
から
と定まる[1][2]。
![{\displaystyle p_{\beta }(\omega )={\frac {1}{Z(\beta )}}\exp[-\beta E(\omega )]}](http://wikimedia.org/api/rest_v1/media/math/render/svg/479a55c983255ada62f0e5c9c11799dd85f202d2)
![{\displaystyle Z(\beta )=\sum _{\omega }\exp[-\beta E(\omega )]}](http://wikimedia.org/api/rest_v1/media/math/render/svg/5b601c4d2a48671e7c3dd13507b984b093a0f272)
![{\displaystyle O(\beta )=\langle O(\omega )\rangle _{\beta }=\sum _{\omega }O(\omega )\,p_{\beta }(\omega )={\frac {1}{Z(\beta )}}\sum _{\omega }O(\omega )\exp[-\beta E(\omega )]}](http://wikimedia.org/api/rest_v1/media/math/render/svg/55930022b71bc2ec27a5aaf4164c9d48d8c71dcc)
![{\displaystyle E(\beta )={\frac {1}{Z(\beta )}}\sum _{\omega }E(\omega )\exp[-\beta E(\omega )]=-{\frac {\partial }{\partial \beta }}\ln Z(\beta )}](http://wikimedia.org/api/rest_v1/media/math/render/svg/111097cceae648c25e07b37597db2e11ea2a33ae)
![{\displaystyle S(\beta )=k\beta \{E(\beta )-F(\beta )\}=k\langle \beta E(\omega )+\ln Z(\beta )\rangle =-k\left\langle \ln \left\{{\frac {1}{Z(\beta )}}\exp[-\beta E(\omega )]\right\}\right\rangle }](http://wikimedia.org/api/rest_v1/media/math/render/svg/603c3ff7c5432aa721a72eb833dc0f42bf0a1124)
![{\displaystyle p_{i}={\frac {1}{Z(\beta )}}\exp[-\beta E_{i}]}](http://wikimedia.org/api/rest_v1/media/math/render/svg/02bbb08f270df98fe737017178037d2da0cbe484)
![{\displaystyle Z(\beta )=\sum _{i}\exp[-\beta E_{i}]}](http://wikimedia.org/api/rest_v1/media/math/render/svg/8564b5c7d11e197ae35dd644e9251b413407c253)
![{\displaystyle Z(\beta )=\operatorname {Tr} \exp[-\beta {\hat {H}}]}](http://wikimedia.org/api/rest_v1/media/math/render/svg/34b8684863c81b544c78d33bc4d7d97ec50b72c0)
