Zeroth Law As Equivalence Relation
A system is said to be in thermal equilibrium when it experiences no net change in thermal energy. If A, B, and C are distinct thermodynamic systems, the zeroth law of thermodynamics can be expressed as:
If A and C are each in thermal equilibrium with B, A is also in equilibrium with C.
This statement asserts that thermal equilibrium is a Euclidean relation between thermodynamic systems. If we also grant that all thermodynamic systems are in thermal equilibrium with themselves, then thermal equilibrium is also a reflexive relation. Relations that are both reflexive and Euclidean are equivalence relations. One consequence of this reasoning is that thermal equilibrium is a transitive relationship: If A is in thermal equilibrium with B and B is in thermal equilibrium with C, then A is in thermal equilibrium with C. Another consequence is that the equilibrium relationship is symmetric: If A is in thermal equilibrium with B, then B is in thermal equilibrium with A. Thus we may say that two systems are in thermal equilibrium with each other, or that they are in mutual equilibrium. Implicitly assuming both reflexivity and symmetry, the zeroth law is therefore often expressed as:
If two systems are in thermal equilibrium with a third system, then they are in thermal equilibrium with each other.
Again, implicitly assuming both reflexivity and symmetry, the zeroth law is occasionally expressed as the transitive relationship:
If A is in thermal equilibrium with B and if B is in thermal equilibrium with C, then A is in thermal equilibrium with C.
Read more about this topic: Zeroth Law Of Thermodynamics
Famous quotes containing the words law and/or relation:
“I hope I may claim in the present work to have made it probable that the laws of arithmetic are analytic judgments and consequently a priori. Arithmetic thus becomes simply a development of logic, and every proposition of arithmetic a law of logic, albeit a derivative one. To apply arithmetic in the physical sciences is to bring logic to bear on observed facts; calculation becomes deduction.”
—Gottlob Frege (1848–1925)
“The instincts of the ant are very unimportant, considered as the ant’s; but the moment a ray of relation is seen to extend from it to man, and the little drudge is seen to be a monitor, a little body with a mighty heart, then all its habits, even that said to be recently observed, that it never sleeps, become sublime.”
—Ralph Waldo Emerson (1803–1882)