𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A constructive proof of the Chang-Marshall theorem

✍ Scribed by A. L. Vol'berg

Publisher
Springer US
Year
1987
Tongue
English
Weight
205 KB
Volume
37
Category
Article
ISSN
1573-8795

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Constructive Proof of Gleason's Theore
A Constructive Proof of Gleason's Theorem
✍ Fred Richman; Douglas Bridges πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 167 KB

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.

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