"Grupos topológicos compactos o localmente compactos": muchos de los resultados de la teoría de representación de grupos finitos son probados haciendo un promedio sobre el grupo.