온도 $T_1$인 열 저수조와 $T_2$인 또 다른 열 저수조가 있다고 하자. 온도는 모두 절대온도 단위이며 $T_1 > T_2$라 하자. 앞의 열 저수조에서 열 $Q_1$을 얻고 뒤의 열 저수조에서 $|Q_2|$를 내어놓는 카르노 기관을 생각하자. 이 때 $Q_1$을 양수로, $Q_2$를 음수로 놓는데, 왜냐하면 카르노 기관이라는 계의 관점에서 에너지의 출입을 기술하기 위해서이다. 카르노 기관의 정의상, $Q_1$과 $Q_2$는 가역적으로 주고 받은 열이다.

카르노 기관의 한 순환 주기를 따라 계산해보면 $$\frac{Q_1}{T_1} + \frac{Q_2}{T_2} = 0$$ 임을 알 수 있다. 나아가 동일한 열 저수조 사이에서 움직이는 모든 가역기관이 위 식을 만족함을 논할 수 있다. 따라서 임의의 가역적인 순환 과정 $C$를 카르노 순환들의 합으로 분해하면 $$\oint_C \frac{\delta Q_{\rm rev}}{T} = 0$$ 이 된다. rev는 가역적으로 주고 받은 열임을 강조하기 위한 표시이다.

상태 공간 상에서 임의의 닫힌 궤도 $C$에 대해 위의 등식이 만족한다는 것은 어떤 상태 함수 $S$가 존재한다는 뜻이다. 상태 공간 상의 두 점 $A$와 $B$에서의 차이 $\Delta S$는, 둘을 잇는 임의의 가역 과정을 찾아낸 후에 선적분을 통해 다음처럼 결정할 수 있다: $$\Delta S = S_B - S_A = \int_A^B \frac{\delta Q_{\rm rev}}{T}.$$ 상대적인 차이뿐 아니라 기준점을 정하는 문제는 열역학 제3법칙에서 다루어진다.

여기에서 상태 공간에 점 $A$와 $B$가 존재한다는 것은 평형 상태를 표현한다는 의미이다. 예컨대 원래의 평형 $A$에 비해 $B$는 피스톤이 다른 위치로 이동한 후에 얻어진 다른 평형 상태일 수 있다. 즉, 본디 엔트로피는 평형에서 정의되는 양이다.

그런데 그러면 `엔트로피가 평형에서 최대화된다'라는 종류의 표현은 의미가 애매해져버린다. 여기에서 보통 두 가지 정도의 해석이 동원된다:

첫 번째는 동역학적 관점을 배제하고 평형 사이에서 엔트로피를 비교하는 것이다. 예컨대 상자 안에 입자들이 있는데 어떤 얇은 막에 의해 상자의 한 쪽에 갇혀져 있는 채로 평형을 이루고 있다. 이 상태를 $A$라고 부르자. 막이 사라진 후에 입자들이 상자 전체를 채우며 또 다른 평형을 이루게 되는데 이 상태를 $B$라고 부르자. 이 둘의 엔트로피를 비교하는 데에는 개념적인 문제가 없다. 그러나 이로부터 막의 존재를 아예 가정하지 않은 채로 입자가 한 쪽에 몰려있는 비평형의 초기 상태를 생각한 후 이 입자들이 확산하여 전체 상자를 채워가는 동역학적 과정을 논의하는 것은 개념적인 도약이 필요하다.

두 번째 해결책은 아래에 소개될 통계역학적인 엔트로피 해석을 끌어들이는 것이다. 즉 계의 동역학은 다양한 미시 상태들을 방문하는 것으로서 특이한 동역학적 구속 조건 없이 모든 상태를 고르게 방문한다고 가정한다. 어떤 거시 상태는 작은 수의 미시 상태만을 가지고 있고, 또 어떤 거시 상태는 매우 많은 미시 상태에 해당할 수 있다. 가정대로 계가 미시 상태를 임의로 방문하는 동역학을 따른다면, 시간이 지나면서 우리에게 관찰되는 거시 상태는 가장 많은 수의 미시 상태를 가지는 쪽으로 귀결될 것이다. 이런 해석을 바탕으로 엔트로피가 평형화 과정에서 증가한다고들 말한다.

일반적으로 가역적이지 않은 과정까지 포함하면, 한 번의 순환이 끝났을 때 $$\oint \frac{\delta Q}{T} \le 0$$ 임을 보일 수 있다. 왜냐하면 어떤 열기관의 효율 $\eta$도 카르노 기관의 효율 $\eta_{\rm rev}$보다 높을 수 없어서 $$\eta = 1 + \frac{Q_2}{Q_1} \le \eta_{\rm rev} = 1 - \frac{T_2}{T_1}$$ 이기 때문이다. 이것이 클라우지우스 부등식이다.

상태 $A$에서 $B$로 가는 과정 $t_1$이 비가역적이라고 해보자. 거꾸로 $B$에서 $A$로 돌아오는 가역 과정 $t_2$가 존재한다고 가정하면, 클라우지우스 부등식에 의해 $$\int_{A,t_1}^B \frac{\delta Q}{T} + \int_{B,t_2}^A \frac{\delta Q_{\rm rev}}{T} \le 0$$ 이다. 좌변의 두 번째 항은 다름 아닌 $S(A) - S(B)$이다. 따라서 $$S(B) - S(A) \ge \int_{A,t_1}^B \frac{\delta Q}{T}$$ 이다. 만일 계가 열적으로 고립되어 있다면 $\delta Q = 0$이고 따라서 우변 전체가 $0$이 되면서 $S(B) \ge S(A)$를 얻는다. 정리하면, 고립계가 비가역적인 변화를 겪으면 엔트로피는 증가한다는 것이다. 가역적인 변화에서는 엔트로피가 유지된다. 즉 어떤 경우든 열역학에서 다루는 고립계의 엔트로피가 감소하지는 않는다.

위에서 적은 것처럼, 열역학에서는 엔트로피가 $\frac{\delta Q}{T}$를 적분함으로써 얻어진다. 이 때에 열은 에너지 계산을 통해 얻는다 쳐도 분모의 온도는 어떻게 정의되는가? 따뜻하고 차다는 경험적인 내용으로서가 아니라 열평형의 개념에 기반해 정의되는 온도는 열역학 퍼텐셜에서도 보듯이 엔트로피를 내부 에너지로 편미분함으로써 다음처럼 얻어진다: $$\frac{1}{T} = \left( \frac{\partial S}{\partial U} \right)_{V,N}.$$ 즉 여기에는 순환논법이 있어서 온도를 계산하기 위해서는 엔트로피가 필요하고 엔트로피를 계산하기 위해서는 온도가 필요해진다.

보통 이 순환에서 빠져나가는 방법은 후술하다시피 엔트로피를 통계역학적으로 도입함으로써 미시적인 토대를 마련해주는 것이다.

그러나 다른 한편으로 통계역학적 배경 없이 열역학만을 논리적으로 구축하겠다는 시도도 있다. 이것이 소위 `엄밀한(rigorous)' 열역학이라고 불리는 것이다 (Thess 참조). 여기에서는 온도의 개념을 사전에 정의하는 일 없이 하나의 거시 상태가 다른 거시 상태로부터 단열 과정으로 접근할 수 있는지 따지고 이런 접근 가능성을 특징 지어주는 스칼라 함수로서 엔트로피를 정의한다.

볼츠만이 정식화한 바, $S = k_B \ln W$로서 $W$는 해당 거시 상태에 해당하는 미시 상태의 개수를 의미한다.

• Robert J. Hardy and Christian Binek, [Thermodynamics and Statistical Mechanics] (Wiley, Chicester, 2014), pp. 139-141.
• I. Sachs, S. Sen, and J. C. Sexton, [Elements of Statistical Mechanics] (Cambridge University Press, Cambridge, 2006), pp. 12-24.
• André Thess, [The Entropy Principle] (Springer, Berlin, 2011).