Abstract. We present a new and constructive proof of the Peter-Weyl theorem on the representations of compact groups. We use the Gelfand representation ...
Jun 8, 2005 · We present a new and constructive proof of the Peter-Weyl theorem on the representations of compact groups.
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 ...
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 ...
A constructive proof of the Peter‐Weyl theorem · T. Coquand, Bas Spitters · Published in Mathematical Logic Quarterly 1 July 2005 · Mathematics.
A constructive proof of the Peter-Weyl theorem ; Fulltext: 33348.pdf ; Embargo: until further notice ; Size: 202.8Kb ; Format: PDF ; Description: Publisher's version ...
The purpose of the next few problems is to give a proof of this theorem. 1. Let (I − T)V denote the space of all vectors z of the form z = (I − Tv).
Missing: constructive | Show results with:constructive
A constructive proof of the Peter-Weyl theorem - Chalmers Research
research.chalmers.se › publication
A constructive proof of the Peter-Weyl theorem. Journal article, 2005. Author. Thierry Coquand. University of Gothenburg. Other publications Research ...
In mathematics, the Peter–Weyl theorem is a basic result in the theory of harmonic analysis, applying to topological groups that are compact, but are not ...
Missing: constructive | Show results with:constructive
The hardest part in the proof the theorem is the construc- tion of an irreducible representation corresponding to some dominant integral element. Three ...
Missing: constructive | Show results with:constructive