Groupes topologiques - Peter Jossen.pdf - CQFD
Groupes topologiques - Peter Jossen.pdf - CQFD
Groupes topologiques - Peter Jossen.pdf - CQFD
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
GROUPES TOPOLOGIQUES 37Définition 10.1. Soient f, g deux fonctions intégrables sur tout compact de Gpour une mesure de Haar dy sur G. On définit le produit de convolution∫f ∗ g(x) = f(y)g(y −1 x)dypour tout x ∈ G pour lesquels cette quantité existe.Proposition 10.2. Les assertions suivantes sont vraies :I: Si f ∗ g(x) existe, alors g ∗ f(x) aussi et f ∗ g(x) = f ∗ g(x).II: Si f ∈ L 1 et g ∈ L ∞ , alors f ∗ g est borné et uniformement continu.III: Si f, g ∈ C 00 , alors f ∗ g ∈ C + 00 et supp(f ∗ g) ⊆ supp(f)supp(g)IV: Pour 0 < p < ∞, 1/p + 1/q = 1, f ∈ L p , g ∈ L q on a f ∗ g ∈ C 0 .V: Si f, g ∈ L 1 , alors f ∗ g existe Haar-presque partout et de plus on al’inégalité ‖f ∗ g‖ 1≤ ‖f‖ 1‖g‖ 1.VI: Si f, g, h ∈ L 1 , alors (f ∗ g) ∗ h = f ∗ (g ∗ h).VII: Si G est Abélien et f ∗ g(x) existe, alors f ∗ g(x) = g ∗ f(x)Démonstration. Tout par calcul direct.Définition 10.3. On appelle une fonction φ sur G ”définie positive” si elle estcontinue, et si pour tout c 1 , c 2 , ..., c n ∈ C et tout x 1 , x 2 , ..., x n ∈ G on an∑c i φ(x −1i y j )c j ≥ 0i,j=1On note P 0 l’ensemble des fonctions φ de type positif avec ‖φ‖ ∞≤ 1, et P l’ensemblede tout les combinaisons linéaires complexes de fonctions définies positifes.Voyons tout de suite les propriétés fondamentales de ces fonctions :Proposition 10.4. Soit φ, ψ des fonctions définies positives sur G, et c ≥ 0 unnombre réel. Alors les assertions suivantes sont vraies :I: Les fonctions φ + ψ, φ et cφ sont definies positives.II: φ(x −1 ) = φ(x)III: |φ(x)| ≤ φ(0) pour tout x ∈ GIV: ∫∫ f(x)φ(x −1 y)f(y)dxdy ≥ 0Démonstration. La première assertion s’obtient par calcul direct. Pour la deuxième,il suffit de choisir x 1 = x et x 2 = e, car ainsic 1 φ(e)c 1 + c 1 φ(x −1 )c 2 + c 2 φ(x)c 1 + c 2 φ(e)c 2 ≥ 0c 1 φ(e)c 1 + c 1 φ(x −1 )c 2 + c 2 φ(x)c 1 + c 2 φ(e)c 2 ≥ 0Les fonctions définies positives ont plusieurs aspects interessants. Un premier estcelui-ci : Pour deux fonctions f et g ∈ C 00 , et une fonction définie positive φ fixéeécrivons∫∫[f, g] φ = f(x)φ(x −1 y)g(y)dxdyC’est une forme sésquilinéaire définie positive sur l’espace vectoriel C 00 . NotonsK φ le sous-espace vectoriel {f ∈ C 00 | [f, f] φ = 0}, et notons f la classe de la□□