Voir la source de Dualité de Pontriaguine

[[Fichier:2-adic integers with dual colorings.svg|vignette|La transformée de Fourier]]
En [[mathématiques]], notamment en [[analyse harmonique]] et dans la théorie des [[groupe topologique|groupes topologiques]], la '''dualité de Pontriaguine''' explique les principales propriétés de la [[transformée de Fourier]]. Elle place dans un cadre plus général certaines observations à propos de fonctions définies sur <math>\mathbb R</math> ou sur un [[groupe abélien fini]] :

* Les [[Fonction périodique|fonctions périodiques]] à valeurs [[Nombre complexe|complexes]] suffisamment régulières ont une [[série de Fourier]] et on peut les déduire de cette série ;
* Les fonctions à valeurs complexes suffisamment régulières ont une [[transformée de Fourier]] et, tout comme les fonctions périodiques, on peut les déduire de cette transformée ;
* Les fonctions à valeurs complexes sur un groupe abélien fini ont une [[transformée de Fourier discrète]] définie sur le [[Caractère d'un groupe fini|groupe dual]], qui n'est pas canoniquement isomorphe au groupe de départ. De plus, toute fonction sur un groupe abélien fini peut être déduite de sa transformée de Fourier discrète (à homomorphisme près).

La théorie, introduite par [[Lev Pontriaguine]] et combinée avec la [[mesure de Haar]] introduite par [[John von Neumann]], [[André Weil]] et d'autres, dépend de la théorie du [[#Le groupe dual|groupe dual]] d'un [[groupe abélien]] [[groupe localement compact|localement compact]].

== Mesure de Haar ==

Un [[groupe topologique]] <math>G</math> est [[espace localement compact|localement compact]] si et seulement si l'élément neutre <math>e</math> du groupe admet un [[Glossaire de topologie#V|voisinage]] [[Compacité (mathématiques)|compact]], ce qui équivaut encore à ce que <math>e</math> possède une [[base de voisinages]] compacts. Un des faits les plus remarquables à propos des groupes localement compacts est qu'ils peuvent être munis d'une [[mesure (mathématiques)|mesure]] naturelle, unique à un facteur multiplicatif près : la [[mesure de Haar]], qui permet de mesurer la « taille » d'un sous-ensemble suffisamment régulier de <math>G</math>. Ici, « suffisamment régulier » signifie être un [[borélien]], c'est-à-dire un élément de la [[tribu (mathématiques)|tribu]] engendrée par les ensembles compacts. Plus précisément, une '''mesure de Haar à droite''' sur un groupe localement compact <math>G</math> est une mesure <math>\mu</math> définie sur les boréliens de <math>G</math>, qui est invariante par translation à droite dans le sens où <math>\mu(Ax)=\mu(A)</math> si <math>A</math> est un borélien et <math>x</math> un élément de <math>G</math>.

La mesure de Haar nous permet de définir la notion d'[[intégration (mathématiques)|intégrale]] pour une [[fonction mesurable]] à valeurs complexes définie sur le groupe. En particulier, on peut considérer les [[Espace Lp|espaces L<sup>''p''</sup>]] associés à la mesure de Haar. Plus précisément :
: <math>\mathrm L^p_\mu(G) = \left\{f: G \rightarrow\Complex~\Bigg|~\int_G |f(x)|^p~\mathrm d \mu(x) < \infty \right\} </math>

Divers exemples de groupes abéliens localement compacts sont donnés par :
* <math>\mathbb R^n</math> avec l'addition comme opération de groupe.
* Les réels strictement positifs munis de la multiplication. Ce groupe est clairement isomorphe à (<math>\mathbb R</math>,+), cet isomorphisme étant la [[fonction exponentielle]].
* N'importe quel [[groupe abélien fini]], muni de la [[topologie discrète]]. Par le théorème sur la structure de ces groupes, ce sont des produits de groupes cycliques.
* Le groupe des [[entier relatif|entiers]] (<math>\mathbb Z</math>,+) muni aussi de la topologie discrète.
* Le [[cercle unité]] <math>\mathbb U</math> de <math>\mathbb C</math> (i. e. le groupe des complexes de [[Module d'un nombre complexe|module]] 1). <math>\mathbb U</math> est isomorphe au [[Groupe topologique#Quelques propriétés générales|groupe topologique quotient]] <math>\mathbb R /\mathbb Z</math>.
* Le corps <math>\mathbb Q_p</math> des [[nombre p-adique|nombres p-adiques]] muni de l'addition, avec la topologie ''p''-adique usuelle.

== Le groupe dual ==
Si ''G'' est un groupe abélien localement compact, un ''[[caractère (mathématiques)|caractère]] de G'' est un [[morphisme de groupes]] [[Continuité (mathématiques)|continu]] de <math>G</math> dans <math>\scriptstyle\mathbb U</math>. On peut montrer que l'ensemble des caractères de ''G'' est lui-même un groupe abélien localement compact, appelé le ''groupe dual'' de ''G'', et noté ''Ĝ''. Le produit sur ''Ĝ'' est le produit de deux caractères en tant que fonctions à valeurs complexes, et l'inverse d'un caractère est son conjugué complexe. [[Topologie compacte-ouverte|La topologie sur ''Ĝ'']] est celle de la [[convergence uniforme]] sur tout [[Compacité (mathématiques)|compact]]. Elle n'est pas [[espace métrisable|métrisable]] en général. Cependant, si le groupe ''G'' est de plus [[espace séparable|séparable]], alors la topologie définie sur ''Ĝ'' est métrisable.

'''Théorème.''' <math>\widehat{\hat G}</math> est canoniquement isomorphe à <math>G</math>, autrement dit <math>G</math> est canoniquement isomorphe au dual de son dual.

[[Canonique (mathématiques)|Canonique]] signifie que l'isomorphisme est donné par une application « naturelle » de <math>G</math> dans <math>\widehat{\hat G}</math>. Ce terme apporte une nuance importante : par exemple, n'importe quel groupe abélien fini est isomorphe à son dual, mais l'isomorphisme n'est pas canonique. L'isomorphisme canonique est défini ainsi :

: <math> x \mapsto (\chi \mapsto \chi(x) ) </math>

Autrement dit, chaque élément <math>x</math> de <math>G</math> est identifié à son évaluation par les caractères du dual.

== Exemples ==
Un caractère du [[groupe cyclique]] infini des entiers (<math>\mathbb Z</math> ,+) est déterminé par sa valeur en 1, générateur de <math>\mathbb Z</math>. En effet pour tout caractère <math>\chi</math> de <math>\mathbb Z</math>, on a <math>\chi(n)=\chi(1)^n</math> car <math>\chi</math> est un morphisme de groupes, et cette formule montre que l'on définit de manière unique un caractère par sa valeur en 1. Ainsi le dual de <math>\mathbb Z</math> est algébriquement isomorphe au cercle unité <math>\scriptstyle\mathbb U</math>. La topologie de convergence sur les compacts est alors la topologie de la [[convergence simple]]. On montre aisément que c'est la [[topologie induite]] par le plan complexe.

Le groupe dual de <math>\mathbb Z</math> est donc canoniquement isomorphe à <math>\scriptstyle\mathbb U</math>.

Réciproquement, un caractère de <math>\scriptstyle\mathbb U</math> est de la forme <math>z \mapsto z^n</math>, avec ''n'' entier. Comme <math>\scriptstyle\mathbb U</math> est compact, la topologie sur le groupe dual est celle de la convergence uniforme, qui est ici la topologie discrète. Ainsi le dual de <math>\scriptstyle\mathbb U</math> est canoniquement isomorphe à <math>\mathbb Z</math>.

Le groupe des réels est isomorphe à son dual, les caractères de <math>\mathbb R</math> étant de la forme <math>x\mapsto e^{ix\theta}</math>, avec ''θ'' réel. Avec ces dualités, la nouvelle version de la transformée de Fourier présentée ci-après coïncide avec la [[transformée de Fourier]] classique sur <math>\mathbb R</math>.

== Transformée de Fourier ==

Le groupe dual d'un groupe abélien localement compact sert comme espace de base d'une version plus abstraite de la [[transformée de Fourier]]. Si <math>f</math> appartient à [[Espace L1|L{{1}}(''G'')]], alors sa transformée de Fourier est la fonction définie sur ''Ĝ'' par :
:<math> \widehat f(\chi) = \int_G f(x) \overline{\chi(x)}~\mathrm d\mu(x) </math>
où l'intégrale est prise par rapport à la [[mesure de Haar]] <math>\mu</math> sur ''G''. Il n'est pas trop difficile de montrer que la transformée de Fourier d'une fonction L{{1}} sur ''G'' est une fonction continue bornée sur ''Ĝ''. De même, la ''transformée de Fourier inverse'' d'une fonction intégrable sur ''Ĝ'' est donnée par

:<math> \check{g} (x) = \int_{\widehat{G}} g(\chi) \chi(x)~\mathrm d\nu(\chi) </math>
 
où l'intégrale est relative à la mesure de Haar <math>\nu</math> sur le groupe dual ''Ĝ''.

== Algèbre de groupe ==

L'espace des fonctions intégrables sur un groupe abélien localement compact <math>G</math> est une [[algèbre sur un corps|algèbre]], où la multiplication est le [[produit de convolution]] : si <math>f</math> et <math>g</math> sont des fonctions intégrables alors leur produit de convolution est défini par :
:<math> [f \star g](x) = \int_G f(x - y) g(y)~\mathrm d\mu(y)</math>.

{{Théorème|L'espace de Banach L{{1}}(''G'') est une algèbre associative et commutative muni de la convolution.}}

Cette algèbre est appelée ''l'algèbre du groupe'' ''G''. Comme L{{1}}(''G'') est complet, c'est une [[algèbre de Banach]]. Elle ne possède pas d'élément neutre pour la multiplication, à moins que ''G'' soit un [[groupe discret]].

Cette algèbre a cependant, en général, une [[unité approchée]] <math>\{e_i\}_i</math> qui est une [[suite généralisée]] indexée par un [[ensemble ordonné filtrant]] <math>I</math>, satisfaisant la propriété suivante 
:<math> f \star e_i \rightarrow f</math>.

La transformée de Fourier transforme la convolution en multiplication, c'est-à-dire :
:<math> \mathcal{F}( f \star g)(\chi) = \mathcal{F}(f)(\chi) \cdot \mathcal{F}(g)(\chi)</math>.
En particulier, à chaque caractère de ''G'' correspond une unique ''fonctionnelle multiplicative linéaire'' de l'algèbre du groupe définie par :
:<math> f \mapsto \widehat{f}(\chi)</math>.

Ce fait constitue une propriété importante des algèbre de groupes : en effet on peut alors expliciter les fonctionnelles multiplicatives linéaires non nulles de l'algèbre du groupe.

== Théorèmes d'inversion de Plancherel et Fourier ==
Comme énoncé ci-dessus, le groupe dual d'un groupe abélien localement compact est lui aussi un groupe abélien localement compact et par suite possède une mesure de Haar <math>\nu</math>, ou plus précisément une famille de mesures de Haar <math>c\nu</math> déterminées à un facteur multiplicatif positif près <math>c</math>.

'''Théorème.''' Il existe un multiple positif de la mesure de Haar sur le groupe dual ''Ĝ'' de ''G'' telle que la restriction de la transformée de Fourier aux fonctions continues à support compact de G soit une isométrie linéaire. Elle s'étend de façon unique à un opérateur linéaire

:<math>\mathcal F:\mathrm L^2_\mu(G)\rightarrow\mathrm L^2_\nu(\widehat{G})</math>

où ν est la mesure de Haar sur le groupe dual.

Pour un [[groupe localement compact]] non compact, l'espace L{{1}}(''G'') ne contient pas [[Espace L2|L{{2}}(''G'')]], et il est nécessaire d'utiliser une astuce technique comme la restriction à un sous-espace dense.

En suivant Loomis (référence ci-dessous), on dit que les mesures de Haar sur ''G'' et ''Ĝ'' sont associées si la formule d'inversion de Fourier est satisfaite. Le caractère unitaire de la transformée de Fourier entraîne la formule de Plancherel :

: <math>\int_G |f(x)|^2~\mathrm d \mu(x) = \int_{\widehat G} |\widehat f(\chi)|^2~\mathrm d\nu(\chi)</math>

pour toute fonction continue sur ''G'' à valeurs complexes et support compact.

C'est cette extension unitaire de la transformée de Fourier que l'on considère comme étant la transformée de Fourier sur l'espace des fonctions de carré intégrable. Le groupe dual possède aussi sa transformée de Fourier inverse ; c'est l'inverse (ou adjoint, puisque nous sommes dans le cas unitaire) de la transformée de Fourier, comme cela est énoncé par le résultat suivant.

'''Théorème.''' L'adjoint de la transformée de Fourier restreinte au sous-espace des fonctions continues à support compact sur ''G'' est la transformée de Fourier inverse

: <math>\mathrm L^2_\nu(\widehat{G}) \rightarrow\mathrm L^2_\mu(G)</math>

où les mesures de Haar de ''G'' et ''Ĝ'' sont associées.

Dans le cas où ''G'' = <math>\mathbb R^n</math>, nous avons ''Ĝ'' = <math>\mathbb R^n</math> et l'on retrouve la transformée de Fourier usuelle de <math>\mathbb R^n</math> en prenant

: <math>\mu = (2 \pi)^{-n/2} \times \mbox{mesure de Lebesgue}</math>

: <math>\nu = (2 \pi)^{-n/2} \times \mbox{mesure de Lebesgue}</math>

Dans le cas où ''G'' est le groupe <math>\scriptstyle\mathbb U</math> des nombres complexes unitaires, ''Ĝ'' est naturellement isomorphe au groupe des entiers <math>\mathbb Z</math> et l'opérateur ''F'' n'est autre que l'opérateur d'extraction des coefficients de la série de Fourier des fonctions périodiques.

Si ''G'' est un [[groupe fini]], ''F'' n'est autre que la transformée de Fourier discrète.

== Compactification de Bohr et quasi périodicité ==
{{...}}
== La dualité de Pontriaguine dans le cadre de la théorie des catégories ==

Il peut être utile de considérer le groupe dual [[foncteur|fonctoriellement]]. Dans ce qui suit, '''GALC''' désigne la [[catégorie des groupes abéliens]] localement compacts et des homomorphismes de groupes continus.
La construction du groupe dual ''Ĝ'' est un [[foncteur]] contravariant '''GALC''' → '''GALC'''. En particulier, le foncteur itéré
''G'' <math>\mapsto</math> (''Ĝ'')<sup>^</sup> est ''covariant''.

'''Théorème'''. Le foncteur de dualité est un isomorphisme de catégories de la catégorie '''GALC''' vers sa catégorie opposée '''GALC'''<sup>op</sup>.

'''Théorème'''. Le foncteur dual itéré est [[Transformation naturelle|naturellement]] isomorphe au foncteur identité de '''GALC'''.

Cet isomorphisme peut se comparer à la construction du [[espace bidual|bidual]] d'un [[espace vectoriel de dimension finie]].

Cette dualité échange les sous-catégories des groupes discrets et des [[Groupe compact|groupes compacts]].
Si A est un [[anneau unitaire|anneau]] et ''G'' est un ''A''-[[module sur un anneau|module]] à gauche, le groupe dual ''Ĝ'' devient un A-module à droite ; de cette façon les ''A''-modules à gauche discrets sont duaux au sens de Pontriaguine des ''A''-modules à droite compacts. L'anneau End(''G'') des [[endomorphisme]]s dans '''GALC''' est par dualité envoyé sur son [[anneau opposé]]. Si ''G'' est par exemple un groupe cyclique discret infini (isomorphe à <math>\mathbb Z</math>), ''Ĝ'' est un groupe circulaire (isomorphe au groupe <math>\scriptstyle\mathbb U</math>). L'anneau des endomorphismes du premier est <math>\mathbb Z</math>, il en est donc de même du second.

== Théorie non commutative ==
{{...}}

== Histoire ==
La [[théorie des groupes]] abéliens localement compacts et de leur dualité fut fondée par Pontriaguine en 1934. Il se limitait aux groupes [[Espace à base dénombrable|à base dénombrable]], et compacts ou discrets. Le cas général fut développé par [[Egbert van Kampen]] en 1935 et [[André Weil]] en 1940.

== Bibliographie ==

Les ouvrages suivants possèdent des chapitres consacrés aux groupes abéliens localement compacts, la dualité et la transformée de Fourier. L'ouvrage de J. Dixmier possède aussi du matériel spécifique à l'analyse harmonique non commutative.

* [[Jacques Dixmier]], ''Les C*-algèbres et leurs Représentations'', [[Gauthier-Villars]], 1969
* {{Lien|lang=de|fr=Lynn H. Loomis}}, ''An Introduction to Abstract Harmonic Analysis'', D. van Nostrand Co, 1953
* [[Walter Rudin]], ''Fourier Analysis on Groups'', 1962
* {{Lien|trad=Hans Reiter (Mathematiker)|lang=de|fr=Hans Reiter (mathématicien)|texte=Hans Reiter}}, ''Classical Harmonic Analysis and Locally Compact Groups'', 1968 ({{2e}} éd. par Jan D. Stegeman, 2000)
* [[Edwin Hewitt|Hewitt]] et Ross, ''Abstract Harmonic Analysis, vol 1'', 1963

{{Traduction/Référence|en|Pontryagin duality|120995815|type=note}}

{{Portail|mathématiques}}

[[Catégorie:Analyse harmonique]]
[[Catégorie:Groupe topologique]]