Théorème de Peter-Weyl

Le théorème de Peter-Weyl est un résultat fondamental de la théorie de l'analyse harmonique, qui s'applique aux groupes topologiques compacts, mais pas nécessairement abéliens. Il a été initialement prouvé par Hermann Weyl, avec son élève Fritz Peter, dans le …