A constructive proof of Gleason's theorem

Gleason's theorem states that any totally additive measure on the closed su bspaces, or projections, of a Hilbert space of dimension greater than two i s given by a positive operator of trace class. In this paper we give a cons tructive proof of that theorem. (C) 1999 Academic Press.