A constructive proof of the Peter‐Weyl theorem

Mathematical Logic Quarterly 51 (4):351-359 (2005)
  Copy   BIBTEX

Abstract

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 characters of a finite group. We use this proof as a basis for a constructive proof in the style of Bishop. In fact, the present theory of compact groups may be seen as a natural continuation in the line of Bishop's work on locally compact, but Abelian, groups [2]

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,139

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A constructive proof of the Peter-Weyl theorem.B. Spitters & G. Coquand - 2005 - Mathematical Logic Quarterly 51 (4):351.
Gleason's theorem has a constructive proof.Fred Richman - 2000 - Journal of Philosophical Logic 29 (4):425-431.
Classifying Dini's Theorem.Josef Berger & Peter Schuster - 2006 - Notre Dame Journal of Formal Logic 47 (2):253-262.
Reclassifying the antithesis of Specker’s theorem.Hannes Diener - 2012 - Archive for Mathematical Logic 51 (7-8):687-693.
A Constructive View on Ergodic Theorems.Bas Spitters - 2006 - Journal of Symbolic Logic 71 (2):611 - 623.
Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof.Hajime Ishihara - 2006 - Notre Dame Journal of Formal Logic 47 (2):249-252.
Toward a constructive theory of unbounded linear operators.Feng Ye - 2000 - Journal of Symbolic Logic 65 (1):357-370.
Which symmetry? Noether, Weyl, and conservation of electric charge.A. K. - 2002 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 33 (1):3-22.

Analytics

Added to PP
2013-12-01

Downloads
32 (#461,262)

6 months
3 (#760,965)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references