论文信息 - A Constructive Proof of Gleason's Theorem

A Constructive Proof of Gleason's Theorem

Abstract Gleason's theorem states that any totally additive measure on the closed subspaces, or projections, of a Hilbert space of dimension greater than two is given by a positive operator of trace class. In this paper we give a constructive proof of that theorem.

Douglas S. Bridges | Fred Richman | F. Richman | D. Bridges

[1] Cliff Hooker,et al. The Logico-Algebraic Approach to Quantum Mechanics , 1975 .

[2] Douglas S. Bridges,et al. A constructive look at positive linear functionals on ${\cal L}(H)$. , 1981 .

[3] Geoffrey Hellman,et al. Gleason's theorem is not constructively provable , 1993, J. Philos. Log..

[4] Joseph E. Borzellino,et al. When is a Trigonometric Polynomial Not a Trigonometric Polynomial , 1935 .

[5] Andre Scedrov,et al. Diagonalization of continuous matrices as a representation of intuitionistic reals , 1986, Ann. Pure Appl. Log..

[6] Roger M. Cooke,et al. An elementary proof of Gleason's theorem , 1985, Mathematical Proceedings of the Cambridge Philosophical Society.

[7] A. Gleason. Measures on the Closed Subspaces of a Hilbert Space , 1957 .

[8] Helen Billinge. A Constructive Formulation of Gleason's Theorem , 1997, J. Philos. Log..