Complete sets of observables

Abstract
The concept of a complete set of observables is formulated in the Hilbert space formalism in a manner which agrees with Dirac's original intuitive formulation. Theorems are derived which relate the completeness of a commuting set of observables to the existence of a cyclic vector. It is shown that any operator which commutes with a complete set of observables is a function of those observables.