✦ LIBER ✦

A Constructive Proof of Gleason's Theorem

✍ Scribed by Fred Richman; Douglas Bridges

Publisher: Elsevier Science
Year: 1999
Tongue: English
Weight: 167 KB
Volume: 162
Category: Article
ISSN: 0022-1236
DOI: 10.1006/jfan.1998.3372

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

A constructive proof of the Peter-Weyl t

A constructive proof of the Peter-Weyl theorem

✍ Thierry Coquand; Bas Spitters 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 137 KB 👁 1 views

We present a new and constructive proof of the Peter-Weyl theorem on the representations of compact groups. We use the Gelfand representation theorem for commutative C\*-algebras to give a proof which may be seen as a direct generalization of Burnside's algorithm [3]. This algorithm computes the cha

A Constructive Proof of a Theorem in Rel

A Constructive Proof of a Theorem in Relevance Logic

✍ Aleksandar Kron 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 461 KB 👁 1 views

In this paper we investigate a propositional systeni L related t o T,-W of relevance logic. It has been conjectured that for any formulas A and B

A constructive version of Birkhoff's the

A constructive version of Birkhoff's theorem

✍ Jesper Carlström 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 137 KB 👁 1 views

## Abstract A version of Birkhoff's theorem is proved by constructive, predicative, methods. The version we prove has two conditions more than the classical one. First, the class considered is assumed to contain a generic family, which is defined to be a set‐indexed family of algebras such that if

A Proof of Shirshov's Theorem

✍ Giuseppe Pirillo 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 188 KB

Sane copiosam tu et uberem messem ex hoc agro collegisti, nos pauculas spicas contemptas tibi potius quam non visas. Triumphus igutur hic omnis tuus est: mihi abunde satis si armillis aut hasta donatus, sequar hunc candidae famae tuae currum. wJustus Lipsius In this paper we prove that, except fo

A simple proof of Moser's theorem

✍ Zhu, Xuding 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 243 KB 👁 2 views

This article gives a simple proof of a result of Moser, which says that, for any rational number r between 2 and 3, there exists a planar graph G whose circular chromatic number is equal to r.

A new proof of menger's theorem

✍ Peter V. O'Neil 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 134 KB 👁 1 views

## Abstract A new proof of Menger's theorem is presented.