1上所有复值连续函数构成、配备了一致范数的线性空间，formula_9是formula_1的所有有限维不可约酉表示的矩阵元张成的线性空间，则formula_9在formula_7中稠密。
证明概要.对formula_13，可以定义卷积算子formula_14：利用阿尔泽拉引理可以证明，该算子是formula_16上的紧算子。设formula_17，由formula_1的紧性可知formula_19在formula_1上一致连续。即对任意formula_21，存在群单位元for