통계역학 에서, 어떤 계의 앙상블 (ensemble )이란 그 계 와 동등한 계의 모음을 말한다.
계의 상태를 기술할 때, 모든 역학적인 변수의 값을 알 수 있다면 계의 상태를 완벽하게 기술하는 것이 가능하다. 그러나 매우 많은 구성요소로 이루어진 역학적 계의 모든 상태를 완벽하게 안다는 것은 실제로 불가능한 일이며, 따라서 우리는 어떠한 역학적 계의 변수가 평균적으로 어떠한 값을 가지는 것을 관찰하고, 그 값을 토대로 이 계가 어떠한 특성을 갖고 있다고 말할 수밖에 없다. 이와 같은 '통계역학적 기술'의 관점에서 살펴보았을 때, 계의 모든 상태를 기술하기 위해서는 계가 시간이 지나면서 갖게 되는 모든 상태를 알아야 하고,즉 변수의 시간에 대한 평균값을 알아야 한다. 그러나 이 또한 현실적으로 불가능하므로, 이러한 문제를 해결하기 위해 관심이 되는 계와 동등한 계가 많이 모여 있는 앙상블을 생각한다.
역학적 계의 상태는 위치 좌표(
q
i
;
i
=
1
,
2
,
.
.
.
,
3
N
{\displaystyle {{q}_{i}};i=1,2,...,3N}
p
i
;
i
=
1
,
2
,
.
.
.
,
3
N
{\displaystyle {{p}_{i}};i=1,2,...,3N}
위상 공간 의 한 점
(
q
i
,
p
i
)
{\displaystyle ({{q}_{i}},{{p}_{i}})}
<
f
>
t
=
1
τ
∫
0
∞
f
(
q
i
(
t
)
,
p
i
(
t
)
)
d
t
{\displaystyle {<f>_{t}}={\frac {1}{\tau }}\int _{0}^{\infty }f({q_{i}}(t),{p_{i}}(t))dt}
이다. 실험적으로 앙상블을 이루는 모든 구성요소를 모든 시간에 대해 평균할 수는 없으므로 이를 다음의 근사식
<
f
>
t
=
δ
t
τ
∑
t
=
0
τ
f
(
q
i
(
t
)
,
p
i
(
t
)
)
{\displaystyle {<f>_{t}}={\frac {\delta t}{\tau }}\sum _{t=0}^{\tau }f({q_{i}}(t),{p_{i}}(t))}
과 같이 바꾸어 대신한다.
그러나 이론적으로 6N차원 위상 공간 좌표의 시간변화를 알기 위해서는 해밀턴 방정식
q
i
˙
=
∂
H
∂
p
i
,
p
i
˙
=
−
∂
H
∂
q
i
{\displaystyle {\dot {q_{i}}}={\frac {\partial H}{\partial {p_{i}}}},{\dot {p_{i}}}=-{\frac {\partial H}{\partial {q_{i}}}}}
을 모든 i에 대해서 풀어야 하므로, 이러한 문제를 피하기 위해 앙상블 평균
<
f
>=
∫
d
3
N
p
d
3
N
q
[
f
(
q
i
,
p
i
;
t
)
ρ
(
q
i
,
p
i
;
t
)
]
∫
d
3
N
p
d
3
N
q
[
ρ
(
q
i
,
p
i
;
t
)
]
{\displaystyle <f>={\frac {\int _{}^{}{d^{3N}}p{d^{3N}}q[f({q_{i}},{p_{i}};t)\rho ({q_{i}},p_{i};t)]}{\int _{}^{}{d^{3N}}p{d^{3N}}q[\rho ({q_{i}},p_{i};t)]}}}
을 사용하여 이를 물리적 관측량의 시간 평균의 근사값으로 취한다. (여기서 가중 함수
ρ
(
q
i
,
p
i
;
t
)
{\displaystyle \rho ({{q}_{i}},{{p}_{i}};t)}
<
f
>=
<
f
>
t
{\displaystyle <f>={{<f>}_{t}}}
에르고드 가설 (ergodic hypothesis)라 부른다. 오랜 시간이 지나 정상 상태 혹은 준평형 상태에 도달하는 역학적 계에 대해 위 가설이 성립한다.
밀도함수의 시간변화율은 다음 식
d
ρ
d
t
=
∂
ρ
∂
t
+
{
ρ
,
H
}
=
0
{\displaystyle {\frac {d\rho }{dt}}={\frac {\partial \rho }{\partial t}}+\{\rho ,H\}=0}
과 같이 기술될 수 있으며, 이를 조제프 리우빌 의 이름을 따 리우빌 정리 (Liouville's theorem )라 한다.
(여기서
{
ρ
,
H
}
{\displaystyle \{\rho ,H\}}
푸아송 괄호 다.)
밀도 함수가 시간과 직접적인 관련이 없다고 가정하면 밀도 함수의 시간 편미분 계수는 0이 되므로
{
ρ
,
H
}
=
0
{\displaystyle \{\rho ,H\}=0}
을 만족할 경우 밀도 함수의 시간 변화율이 0이 되므로 밀도 함수는 시간에 대해 불변하는 값이 된다. 따라서 위 식을 만족하면 평형 상태에서 계의 특성을 기술하는 통계역학적 기술이 가능하다. 위 식을 만족하는 두 가지 경우는 첫째로
ρ
(
q
i
,
p
i
)
=
C
o
n
s
t
.
{\displaystyle \rho ({q_{i}},{p_{i}})=Const.}
일 때와 두 번째로 밀도 함수가 해밀토니언 의 함수
ρ
(
q
i
,
p
i
)
=
ρ
(
H
(
q
i
,
p
i
)
)
{\displaystyle \rho ({q_{i}},{p_{i}})=\rho (H({q_{i}},{p_{i}}))}
일 때로 나뉘며, 전자의 경우를 만족하는 앙상블을 작은 바른틀 앙상블 , 후자의 경우를 만족하는 앙상블을 바른틀 앙상블 이라 한다.
김인묵, 김엽 공저, 《통계열물리》, 범한서적주식회사, 2000년 
![{\displaystyle <f>={\frac {\int _{}^{}{d^{3N}}p{d^{3N}}q[f({q_{i}},{p_{i}};t)\rho ({q_{i}},p_{i};t)]}{\int _{}^{}{d^{3N}}p{d^{3N}}q[\rho ({q_{i}},p_{i};t)]}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4277d8e5ed451a3208d63796c55e202ceb83de7)
