Foundations of the quantum statistics of systems in equilibrium: A measuretheoretic approach

The fundamental equations of equilibrium quantum statistical mechanics are derived in the context of a measure-theoretic approach to the quantum mechanical ergodic problem. The method employed is an extension, to quantum mechanical systems, of the techniques developed by R. M. Lewis for establishing the foundations of classical statistical mechanics. The existence of a complete set of commuting observables is assumed, but no reference is made a priori to probability or statistical ensembles. Expressions for infinite-time averages in the microcanonical, canonical, and grand canonical ensembles are developed which reduce to conventional quantum statistical mechanics for systems in equilibrium when the total energy is the only conserved quantity. No attempt is made to extend the formalism at this time to deal with the difficult problem of the approach to equilibrium.