Computability in Unitary Representations of Compact Groups
- 160 Downloads
This paper deals with the computability of unitary representations of compact groups. An algorithm is given to effectively decompose a unitary representation into its irreducible parts. Difficulties in finding the effective procedure are caused by the absolute lack of a priori information about the irreducible representations and the obligation of making decisions from inexact data. Several lemmas on group representations (classical, i.e. computability not mentioned) have been proved in order to design the algorithm which overcomes these difficulties.
Key wordsComputability group representation
Unable to display preview. Download preview PDF.
- Naimark, M.A. , Normed Rings. Wolters-Noordhoff Publ., Groningen.Google Scholar
- Pontryagin, L.S. , Topological Groups. Gordon and Breach Science Publishers, Inc.Google Scholar
- Pour-El, M.B., J. Ian Richards , Computability in Analysis and Physics. Springer-Verlag.Google Scholar
- Soare, R.I. , Recursively Enumerable Sets and Degrees. Springer-Verlag.Google Scholar