Free energy and the relative entropy

Under the assumption of an identity determining the free energy of a state of a statistical mechanical system relative to a given equilibrium state by means of the relative entropy, it is shown: first, that there is in any physically definable convex set of states a unique state of minimum free energy measured relative to a given equilibrium state; second, that if a state has finite free energy relative to an equilibrium state, then the set of its time translates is a weakly relatively compact set; and third, that a unique perturbed equilibrium state exists following a change in Hamiltonian that is bounded below.