Convolution proof of uniform Peter-Weyl approximation

ID: convolution-proof-of-uniform-peter-weyl-approximation

A continuous symmetric approximate identity on a compact group gives a compact self-adjoint convolution operator on which maps into and commutes with left translations. Its nonzero eigenspaces are finite-dimensional invariant spaces of continuous functions, hence consist of matrix coefficients of finite-dimensional unitary representations. If projects onto increasing finite sums of these eigenspaces, in , and the bound gives uniformly. Choosing the approximate identity narrow makes uniformly close to . This supplies uniform approximation without confusing an limit with a uniform limit.

New to topics? Read the docs here!