Dualité pour les groupes abéliens localement compacts (GALC) qui associe à chaque groupe G son groupe de caractères G^ = Hom_cont(G,S^1) muni de la topologie compacts-ouverts (ou topologie de Pontryagin), et établit un isomorphisme naturel G ≅ (G^)^ pour tous les groupes GALC, échangeant convolution et multiplication ponctuelle des caractères.

Principe

Les caractères continus à valeurs dans le groupe cercle S^1 captent la structure harmonique et duale d'un groupe GALC ; prendre le groupe de ces caractères avec la topologie appropriée fournit une équivalence contravariante de la catégorie des GALC avec elle‑même.

Démonstration

Pour les entiers Z (GALC discret), le dual de Pontryagin est le groupe cercle S^1 ; pour les réels R, le dual est isomorphe à R en identifiant les caractères avec des exponentielles ; les groupes abéliens finis sont autoduals via l'appariement avec des racines de l'unité.

Mauvaise application

Appliquer la dualité de Pontryagin à des groupes non abéliens ou non localement compacts sans modifications, ou négliger la topologie requise sur le groupe de caractères ; ces omissions rompent la dualité et l'identification au double dual.

Conséquence

Outil puissant pour l'analyse harmonique : les transformées de Fourier sont des instances de la dualité de Pontryagin, et de nombreux théorèmes structuraux (décompositions, Plancherel, théorie des caractères) découlent de la dualité et de l'identification au double dual.

Inversion

Contraster avec les duaux purement algébriques (Hom(G,A) pour des groupes abéliens avec topologie discrète) : la dualité de Pontryagin est topologique et ne coïncide avec le dual algébrique que dans des cas particuliers ; passer au dual algébrique abandonne continuité et structure topologique.

Limite

Exige que les groupes soient abéliens et localement compacts et que l'on considère les homomorphismes continus vers le cercle ; la théorie ne s'étend pas sans changement aux groupes non abéliens, aux groupes non localement compacts ou aux espaces non‑Hausdorff sans adaptations significatives.

Tension sémantique

Entre « dual algébrique » et « dual topologique » : le groupe Hom algébrique néglige continuité et topologie, tandis que la dualité de Pontryagin entremêle le groupe des caractères avec la topologie, produisant des identifications plus subtiles.

Synthèse

La dualité de Pontryagin identifie un groupe GALC avec le groupe de ses caractères continus à valeurs dans le cercle, conjuguant aspects topologiques et algébriques pour fournir une catégorie autoduale contravariante qui sous-tend l'analyse de Fourier et la décomposition harmonique.