彼得-魏尔定理（）是调和分析和群表示论中的一组重要定理，于1927年由赫尔曼·魏尔和他的学生证明。该定理刻画了紧群不可约表示的完备性，可以视作有限群表示理论中弗罗贝尼乌斯定理的推广。定理分为三部分：第一部分指出，紧群formula_1的所有有限维不可约的，在formula_1上所有复值连续群函数构成、配备了的空间中稠密。第二部分指出，formula_1在任何一个可分希尔伯特空间上的酉表示都完全可约。第三部分断言，formula_1的所有有限维不可约酉表示的矩阵元构成了formula_1上平方可积的复值函数空