::::证明概要.对formula_13，可以定义卷积算子formula_14：利用阿尔泽拉引理可以证明，该算子是formula_16上的紧算子。设formula_17，由formula_1的紧性可知formula_19在formula_1上一致连续。即对任意formula_21，存在群单位元formula_22的邻域的formula_23，使得任意formula_24，都有formula_25。不失一般性，可以假设formula_26。设formula_27是定义在formula_1上，且支