11.07.2015 Views

Groupes topologiques - Peter Jossen.pdf - CQFD

Groupes topologiques - Peter Jossen.pdf - CQFD

Groupes topologiques - Peter Jossen.pdf - CQFD

SHOW MORE
SHOW LESS

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□□

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!