et £<p ?H<p est un vecteur de norme y/(p(e) tels que l'orbite de sous
Faction de tt^G) est totale dans H^ et, pour tout gGG, on a
Un tel triple est appelé £np/<? GAfë associé àip .Il est unique àisomorphisme
près. Pour rappel, si Vdésigne l'espace vectoriel des fonctions /: G-> Cde
support fini alors Ti^ est l'espace de Hilbert obtenu en séparant et complétant
Vpour la forme sesquilinéaire
Cette construction possède les propriétés suivantes :
(1) si (p, î(j et xsonttrois fonctions de type positif telles que ip =ip +\
alors la représentation tt^ est une sous-représentation de tt^ ;
(2) la fonction de type positif cp est pure si et seulement si la représentation
Tr^p est irréductible;
(3) si <p =1 alors u^ =\G ;
(4) si (p est une fonction de type positif associée àune représentation it alors
la représentation tt^ qu'on associe àtp par construction GNS est une
sous-représentation de tt.
3.4 Topologie sur le dual
Considérons la topologie de Fell (inner hull-kernel topology) sur l'ensem
bleRep(G) des (classes d'équivalence de) représentations unitaires du groupe
localement compact G. Cette topologie est définie comme ceci. Soient tt
une représentation, s>0, Kun ensemble compact de G, et cpi 1...,(1 ...,(pn
des fonctions de type positif associées àtt. On note W(tt;K, e,(pu...,(pn)
l'ensemble des représentations pGSpour lesquelles il existe des fonctions
ipi,...^n,chacune étant une somme de fonctions de type positif associées
àp, telles que
Les sous-ensembles du type W(tt;^T, e, (/?i, ...,(pn)forment un système
fondamental de voisinages de la représentation vdans Rep(G) (voir [Fel2],
Section 2).
Cette topologie peut aussi être décrite en termes de contenance faible:
la représentation vest faiblement contenue dans un ensemble Sde repré
sentationsdeG si toute fonction de type positif associée àix est limite,