𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A new proof of the constructability of local equilibrium ensembles

✍ Scribed by O. Seeberg


Publisher
Elsevier Science
Year
1978
Tongue
English
Weight
454 KB
Volume
94
Category
Article
ISSN
0378-4371

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A constructive proof of the Peter-Weyl t
✍ 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