Continuous functions on compact groups

We show that every scalar valued continuous function on a compact group may be written as for all , where are vectors in a separable Hilbert space , and is a strongly continuous unitary valued function on which is a product of unitary representations and antirepresentations of on . This product is countable, but always converges uniformly on . Moreover the supremum norm of is matched by . This may be viewed as a `Fourier product representation' for , and complements a result of Eymard for the Fourier algebra. For `Fourier polynomials' we show that the Hilbert space may be taken to be finite dimensional, and the product finite, which is more or less obvious except in that we are able to match the correct norm. The main ingredients of the proof are the Peter-Weyl theory, Tannaka's duality theorem, and a method developed with Paulsen using a characterization of operator algebras due to the author, Ruan and Sinclair. We also give the analogues of these formulae for compact quantum groups.