Dualité de Pontryagin 1490739 30573188 2008-06-12T12:40:14Z 129.70.24.242 /* Algèbre de groupe */ En [[mathématiques]], notamment en [[analyse harmonique]] et dans la théorie des [[groupe topologique|groupes topologiques]], la '''dualité de Pontryagin''' 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 fonction définies sur <math>\mathbb{R}</math> ou sur un [[caractère d'un groupe fini|groupe abélien fini]]: * Les fonctions [[périodique]]s à valeur complexe suffisamment régulières ont une [[série de Fourier]] et on peut les déduire de cette série; * Les fonctions à valeur complexe 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 à valeur complexe 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 fini peut être déduite de sa transformée de Fourier discrète. La théorie, introduite par [[Lev Semenovich Pontryagin]] 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]] [[espace 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 voisinage 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)|σ-algebre]] générée par les ensembles [[compact]]s. 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égrale]] pour une fonction mesurable à valeur complexe définie sur le groupe. En particulier, on peut considérer les espaces <math>L^p</math> associés à la mesure de Haar. Plus précisément : : <math>L^p_\mu(G) = \left\{f: G \rightarrow \mathbb{C}: \int_G |f(x)|^p\, d \mu(x) < \infty \right\} </math> Divers exemples de groupes abéliens localement compact 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>R</math>, cette 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 entiers <math>(\mathbb{Z},+)</math> muni aussi de la [[topologie discrète]] *Le cercle unité <math>\mathbb{U}</math> de <math>\mathbb{C}</math> (ie le groupe des complexes de module 1). <math>\mathbb{U}</math> est isomorphe en tant que groupe topologique au [[groupe 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 <math>G</math> est un groupe abélien localement compact, un ''[[caractère (mathématiques)|caractère]] de G'' est un [[homomorphisme de groupes|morphisme de groupe]] [[continu]] de <math>G</math> dans <math>\mathbb{U}</math>. On peut montrer que l'ensemble des caractères de <math>G</math> est lui-même un groupe abélien localement compact, appelé le ''groupe dual'' de ''G'', et noté <math>\hat{G}</math>. Le produit sur <math>\hat{G}</math> est le produit de deux caractères en tant que fonction à valeur complexe, et l'inverse d'un caractère est son conjugué complexe. La topologie est celle de la [[convergence uniforme]] sur des [[espace compact|compact]]. Elle n'est pas métrisable en général. Cependant, si le groupe <math>G</math> est de plus [[espace séparable|séparable]], alors la topologie définie sur <math>\hat{G}</math> est métrisable. '''Théorème''': <math>\widehat{\hat{G}}</math> est canoniquement isomorphe à <math>G</math>, autrement dit G est canoniquement isomorphe au dual de son dual. [[Canonique (mathématiques)|Canonique]] signifie qu'il y a une application "naturelle" de G 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 goupes, 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>\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>\mathbb{U}</math>. Réciproquement, un caractère de <math>\mathbb{U}</math> est de la forme <math>z\mapsto z^n</math>, <math>n</math> entier. Comme <math>\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>\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>, <math>\theta\in\mathbb{R}</math>. 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 goupe abélien localement compact sert comme espace de base d'une version plus abstraite de la [[transformée de Fourier]]. Si <math>f\in L^1(G)</math>, alors sa transformée de Fourier est la fonction définie sur <math>\hat{G}</math> par: :<math> \widehat f(\chi) = \int_G f(x) \overline{\chi(x)}\;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 <math>L^1</math> sur <math>G</math> est une fonction continue bornée sur <math>\hat{G}</math>. De même, la ''transformée de Fourier inverse'' d'une fonction intégrable sur <math>\hat{G}</math> est donnée par :<math> \check{g} (x) = \int_{\widehat{G}} g(\chi) \chi(x)\;d\nu(\chi) </math> où l'intégrale est relative à la mesure de Haar <math>\nu</math> sur le groupe dual <math>\hat{G}</math>. ==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 ''f'' et ''g'' 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)\, d \mu(y).</math> '''Théorème''' L'espace de Banach<math>L^1(G)</math> est une algèbre associative et commutative muni de la convolution. Cette algèbre est appelée ''l'algèbre du groupe'' ''G''. Comme <math>L^1(G)</math> 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 [[approximation de l'unité]] {''e''<sub>''i''</sub>}<sub>''i''</sub> qui est un réseau (ou une suite généralisée) indexée par un ensemble inductif ''I'', 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 un 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 à une 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 G^ 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}: L^2_\mu(G) \rightarrow L^2_\nu(\widehat{G})</math> où ν est la mesure de Haar sur le groupe dual. On note que pour un groupe localement compact non compact, l'espace L1(G) ne contient pas L2(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 G^ 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 \ d \mu(x) = \int_{\widehat{G}} |\widehat{f}(\chi)|^2 \ d \nu(\chi)</math> pour toute fontion continue sur G à valeur complexe 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>L^2_\nu(\widehat{G}) \rightarrow L^2_\mu(G)</math> où les mesures de Haar de G et G^sont associées. Dans le cas où G = Rn, nous avons G^ = Rn est l'on retrouve la transformée de Fourier usuelle de Rn 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>\mathbb{U}</math> des nombres complexes unitaires, G^ 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 Pontryagin 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 ''G<sup>^</sup>'' est un [[foncteur]] contravariant '''GALC''' &rarr; '''GALC'''. En particulier, le fonteur itéré ''G'' &rarr; ''(G<sup>^</sup>)<sup>^</sup>'' est ''covariant''. '''Théorème'''. Le foncteur de dualié 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 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 groupes [[espace compact|compacts]]. Si A est un [[anneau (mathématiques)|anneau]] et G est un A-[[module sur un anneau|module]] à gauche, le groupe dual G^ devient un A-module à droite; de cette façon les A-modules à gauche discrets sont duaux au sens de Pontryagin des A-modules à droite compacts. L'anneau End(G) des [[endomorphisme]]s dans '''GALC''' est par dualité envoyé sur son anneau [[anneau (mathématiques)|anneau opposé]]. Si G est par exemple un groupe cyclique discret infini (isomorphe à <math>\mathbb{Z}</math>), G^ est un groupe circulaire (isomorphe au groupe <math>\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== {{...}} ==Bibliographie== Les ouvrages suivants (disponibles dans la plupart des bibliothèques universitaires) 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. * Lynn H. Loomis, ''An Introduction to Abstract Harmonic Analysis'', D. van Nostrand Co, 1953 * [[Walter Rudin]], ''Fourier Analysis on Groups'', 1962 * Hans Reiter, Classical Harmonic Analysis and Locally Compact Groups, 1968 (2nd ed produced by [[Jan D. Stegeman]], 2000). * Hewitt and Ross, ''Abstract Harmonic Analysis, vol 1'', 1963. {{Portail mathématiques}} [[Catégorie:Analyse harmonique]] [[de:Pontrjagin-Dualität]] [[en:Pontryagin duality]] [[es:Dualidad de Pontryagin]] [[pt:Dualidade de Pontryagin]] [[ru:Двойственность Понтрягина]] [[sr:Дуалност по Понтрјагину]] [[zh:龐特里亞金對偶性]]