  A quantum microcanonical postulate is proposed as a basis for the equilibrium
properties of small quantum systems. Expressions for the corresponding density
of states are derived, and are used to establish the existence of phase
transitions for finite quantum systems. A grand microcanonical ensemble is
introduced, which can be used to obtain new rigorous results in quantum
statistical mechanics.
