𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Question of constructing a problem-oriented procedure for the proof of theorems

✍ Scribed by A. I. Degtyarev

Publisher
Springer US
Year
1975
Tongue
English
Weight
169 KB
Volume
9
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.

πŸ“œ 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