D IAGRAMMES G. B OURDAUD Quelques aspects de la dualité en analyse fonctionnelle Diagrammes, tome 5 (1981), exp. no 2, p. B1-B12 © Université Paris 7, UER math., 1981, tous droits réservés. L’accès aux archives de la revue « Diagrammes » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Diagrammes, Vol* 5 $ 1981. QUELQUES ASPECTS DE LA DUALITE EN ANALYSE FONCTIONNELLE G* Bourdaud Sont rassemblés ici quelques exemples particulièrement significatifs de dualité; certains - telles les diverses extensions de la dualité de Gelfand - sont maintenant classiques; dfautres sont inédits, d1importants problèmes y restant ouverts. Je nfinsisterai pas sur les aspects purement catégoriques de la dualité: ces questions ont été souvent et excellemment abordées durant la dernière décennie; je pense notamment au travail de synthèse de Porst (18), où le lecteur trouvera une bibliographie détaillée. On rencontrera systématiquement la situation suivante. Soient A et B deux catégories, T un foncteur de A p vers B , admettant un adjoint S ; on dispose alors de transformations naturelles canoniques u: Id > ST , v: Idg > TS ; on appellera ici objet réflexif de A (resp. B /"tout X tel que IL. (resp» v~ ) soit un isomorphisme. S et T induisent alors une dualité entre les objets réflexifs de A et ceux de B (voir (18),§1.2)« 1• Les espaces localement convexes. Examinons d'abord la catégorie NOR des espaces normes complexes. D'une part NOR est munie dfun "bon" foncteur Hominterne, d'autre part le théorème de Hahn-Banach assure qu'il y a suffisamment d'éléments dans Hom(X,C) • On étudie donc, B 2 dans un premier tempo, ^e rdncte*ur contravariant'tf"": NOR — - > NOR défini par T(X) = Hom(X,C) ; ce foncteur est son propre adjoint; le morphisme naturel u x de X dans T (X) est, dans le langage classique, le plongement de X dans son bidual. Les "objets réflexifs" de NOR sont alors les espaces de Banach réflexifs au sens usuel; on peut légitimement estimer qu'il y a trop peu de. tolzi bblets. Essayons de nous en sortir en plongeant NOR dans la catégorie ELCS des espaces localement convexes séparés: le résultat est encore plus catastrophique, cette catégorie ne possédant pas de "bon" foncteur Hom-interne. Une solution satisfaisante est obtenue en remplaçant ELCS par la catégorie EVQT des espaces vectoriels quasitopologiques. Rappelons qusune quasi-»topologie ("convergence structure"chez de nombreux auteurs (1)) sur un ensemble X est la donnée, pour chaque x 6 X, d'une famille de filtres, appelés "filtres convergeant vers x", satisfaisant les axiomes: - Si F converge vers x, tout filtre plus fin que F converge aussi vers x. - Si deux filtres convergent vers x, leur intersection converge aussi vers x. - L'ultrafiltre des sur-ensembles de *x$ converge vers x. La catégorie QTOP des espaces quasi-topologiques - les morphismes étant les applications continues, dont le lecteur aura certainement deviné la définition - est cartésienne fermées on peut en effet munir Hom(X,Y) d'une quasi-topologie canonique appelée la convergence continue (1). Si un espace quasi-topologique E est muni d'une structure vectorielle complexe telle que l'addition E x E -—5>E et la multiplication E x C >E soient continues, on dit que E "est" un espace vectoriel quasi-topologique ("pseudo-topologique", B3 suivant Frolicher et Bûcher (15)). Les morphismes de EVQT étant, on s'en doute, les applications linéaires continues, on obtient un foncteur Hom-interne canonique en munissant Hom(E,F) de la convergence continue. Assertion n° 1 : (Binz et Kutzler (12)) Sur la catégorie EVQT, 1fendofoncteur Hom(-,C) est son propre ad.ioint: un espace vectoriel topologique est alors réflexif si et seulement si il est localement convexe, séparé et complet. Ajoutons que .Binz a déterminé (4) l'image de la sous-catégorie ELCCS (des espaces localement convexes complets séparés) par le foncteur Hom(-,C): elle est formée des espaces pseudotopologiques (au sens de Choquet) qui sont séparés par leur dual, localement compacts et localement disques. Le problème de la dualité est donc entièrement résolu pour la catégorie ELCCS. Autre remarque importante: l'assertion n° 1 est la reforraulation d'un résultat classique de Grothendieck sur le complété d'un e.l.c.s. (voir (19)» chap. VI, th.3); ce théorème, a priori un peu technique, reçoit ici une interprétation particulièrement simple; preuve, s'il en était besoin, qu'une vision catégorique de l'Analyse est parfois utile. Dans la théorie générale des e.v.q.t. le principal problème ouvert est le suivant: Problème n° 1 : Tout dual est-il réflexif ? La réponse est positive pour les duaux d'espaces vectoriels topologiques. même non localement convexes (4). Signalons enfin qu'il existe une autre caractérisation des duaux d'espaces localement convexes, ce sont les espaces compactologiques convexes réguliers de Buchwalter (10); évidemment, la catégorie obtenue se plonge canoniquement dans EVQT. B k 2# Les espaces métriques . Dans le paragraphe précédent les objets réflexifs sont, en un sens, des espaces complets, ce fait est plus frappant encore - et plus élémentaire - quanf. on étudie les espaces métriques. Soit METP la catégorie dont les objets sant les espaces métriques pointés (c'est-à-dire dans lesquels on distingue un point) et les morphismes les applications lipschitziennesî On définit un foncteur contravariant Lip sur METP, à valeurs provisoirement - dans la catégorie des espaces de Banach réels1 de la façon suivante. Lip(X) est l'espace vectoriel des applications lipschitziennes de X dans R , muni de la norme: ll*l|.i«*o>i +,7 y "<5fcffl' (où x Q est le point de X et d sa distance). A tout x ^ X on associe l'évaluation en x, notée e(x)t élément du dual de Lip(X). L'énoncé suivant peut introduire à la dualité de METP : Assertion n°2 (Bourdaud (6)): L'application e : X >Lip(X)! est une isométrie; le complété de X (via e) est l'ensemble des formes linéaire»? u sur Lip(Xj telles que u(l) = 1 et u(sup A) = sup u(A) cour ' oute par-ci^ oornée A de l'espace norme Lip(X). L'assertion n°2 suggère de modifier sensiblement la catégorie où Lip prend ses valeurs. Lip(X) est en effet un espace vectoriel ordonné, archimédien, possédant un disque absorbant qui est un treillis complet pour l'ordre induit (muni de la jauge de ce disque, Lip(X) est automatiquement un espace de Banach). Le problème de la dualité, pour les espaces métriques complets, peut donc se formuler: B 5 Problème a 0 2 : Caractériser les espaces de fonctions lipschitziennes parmi les espaces vectoriels ordonnés décrits ci-dessus. Il existe un lien entre ce paragraphe et le précédent, décrétons qu'un filtre sur Lip(x) converge vers f s'il converge simplement vers f et s'il contient une boule de Lip(X). L'espace vectoriel quasi-topologique Lip(X) ainsi obtenu a deux propriétés remarquables: d'une part Lip(X) d'un espace de Banacb au sens du est le dual §1 , d'autre part les formes linéaires décrites dans l'assertion n°2 sont précisément celles qui sont continues sur Lip(X) et satisfont les propriétés algébriques u ( D = 1 , u(|fi) = |u(f)| . 3» Les algèbres localement convexes. Soit Jfc -BALGL la catégorie des algèbres de Banach sur C,f involutives, à élément unité; on désigne par C le foncteur de TOP vers ^-BALG 1 qui à X associe l'algèbre des fonctions continues bornées de X dans C , munie de la norme de la convergence uniforme et de l'involution f ---> 7 j C a pour adjoint le foncteur Spec qui à tout objet A de ^-BALG,, associe l'espace des homomorphismes de A dans C muni de la topalogie faible CT(A\A ) . Rappelons le théorème de Gelfand et Naimark: Assertion n°5: Relativement au foncteur C les objets réflexifs de TOP sont les espaces compacts et les objets réflexifs de ^-BALCL sont les CT-algèbres - c'est-à-dire celles qui satisfont l'identité Hx*xl) = llxll2. Afin d'élargir ce résultat, on peut se demander, par exemple, s'il n'existe pas une dualité entre les limites inductives, dans TOP, d'espaces compacts et les limites projectives (dans la catégorie des algèbres topologiques B 6 involutives) de C*-algèbres; il n'en est malheureusement rien» pour obtenir un tel résultat, on est obligé: - soit de modifier les limites projectives d'algèbres; c'est ce que font Dubuc et Porta en se plaçant dans la catégorie des algèbres de Kelley (1½)5 - soit de modifier les limites inductives d'espaces topologiques; c^st le point de vue de Schroder (7^20) qui se place dans la catégorie QTOP où - fait remarquable - les limites inductives d'espaces compacts sont exactement les espaces localement compacts. Là encore, le langage des compactologies donne un résultat parallèle (10). Problème n°3: Existe-t-il, dans des sur-catégories convenables, une dualité entre les limites projectives d'espaces compacts et les limites inductives de C -algèbres ? k. Les espaces topologiques et consorts. Considérons, de façon générale, deux catégories concrètes A et B , dont les foncteurs d'oubli soient représentables; si «T : A _-,__ )B et • S : B — ) A sont deux f moteurs contravariants établissant une dualité entre A et B , on sait (voir (18) §1.1) que les foncteurs T et S sont eux-mêmeMreprésentablesn; plus précisément, il existe des cogénôrateurs L et J de A et B , respectivement, ayant le même ensemble sous-jacent, tels que les ensembles sous-jacents à S(X) et T(X) soient respectivement B(X,J) et A(X,L). Soity pour fixer les idées, une sous-catégorie A de QTOP. Pour traiter la dualité do A , il faudra d'abord trouver un cogénérateur L de A , ensuite structurer convenablement l'ensemble A(X,L). On s'aperçoit ainsi que la structure d'un espace topologique X est entièrement déterminée par les applications continues de X dans l'espace -& = {°i1} o ù l 1 J B 7 est le seul ouvert non trivial; de même9 la structure d'un espace topologique uniformisable (sous-catégorie notée UTOP) est donnée par les applications continues de X dans R • Voici un troisième exemple, plus exotique. Un espace semi-topologique (ou "prétopologique" ou "espace à fermeture") est un espace quasi-topologique X tel que, pour chaque x € X , il existe un plus petit filtre convergeant vers x ; ce filtre est appelé "filtre des voisinages de x" : la structure de X est alors entièrement déterminée par la donnée des couples (V,A), où V et A sont deux parties de X telles que V soit voisinage de chaque point de A ; ces couples sont en bijection* avec les applications continues de X dans l'espace semitopologique A = ^0,1,2^ où les filtres de voisinages sont : V(0) = ^A} , V(1) s {A} f v(2) = ^ A ,Jlf2j^ . On notera STOP la sous-catégorie pleine de QTOP dont les objets sont les espaces semi-topologiques. Dans ces trois exemples, on constate un lien étroit entre le cogénôrateur L et le plongement minimal de la catégorie A dans une catégorie fermée: Assertion n°k (Antoine, Machado, Bourdaud (8)): La plus petite sous-catégorie de QTOP contenant respectivement TOP, UTOP, STOP, stable par le foncteur Hom-interne et par construction de structures initiales, efct formée des objets X de QTOP dont la structure est initiale p6ur l'application canonique X —>Hom(Hom(X,L),L), L désignant respectivement il, H etA. Dès lors les problèmes de dualité pourraient se traiter comme suit: a) Cas des espaces topologiques uniformisables: Le foncteur C = Hom(-,E) , défini sur QTOP, prend ses valeurs dans la catégorie QTALG1 des algèbres quasi-topologiques à B 8 élément unité; l'adjoint de C est le foncteur Spec qui, à tout objet A de QTALG. , associe l'espace de tous les homomorphismes continus de A dans R , muni de la quasi-topologie de la convergence continue. Assertion n°5 (Binz(2)): Pour un ob.iet X de QJTOP, les deux énoncés suivant sont équivalents: (i) L'application canenique X —«^Spec C(x) est un homéamorphisme. (ii) L'algèbre C(x) sépare les points de X et la quasi-topoloffie de X est initiale pour l'application X — ^ S p e o C(x). Grâce à ce théorème, la classe des #bjets réflexifs de QJPOP est particulièrement vaste - elle contient notamment les espaces topologiques complètement réguliers. Par ailleurs, j'ai donné une description explicite des espaces quasi-topologiques X initiaux pour l'application canonique X — ^ S p e c C(x) (8); cette description a été ultérieurement simplifiée par Schroder (21 ). Sur les objets réflexifs de QJTALG , on ne pos- sède, à ma connaissance, que des résultats partiels (?)• b) Cas des espaces topologiques: Soit X un espace topologique (#u, plus généralement, un espace d'Antoine ( 8 ) ) ; à l ' a i d e de l'application f i >f ( l ) , en identifie Hsm(x,-*"*-) avec l'ensemble -^(x) des ouverts de X ; de ce fait, outre sa structure quasi-t«pologique, -^(x) possède une structure de treillis complet; de plus, pour tout x - H . (x) ; par ailleurs on vérifie aisément 1 ' : B 9 Assertion n°6 : Vapplication e est injective si et seulement X satisfait l'axiome de séparation: (T?) Pour tous x,y ^ X , si x £ Çyl et y Ç [x} , alors x s y . Enfin, et c'est le gros morceau, on devra s'assurer de la propriété suivante: "Pour toute application continue f : -D-(x) — > _ Q . , compatible avec les bornes inférieures finies et les bornes supérieures quelconques» il existe x € X tel que f = e(x)ï Pour déterminer les objets duaux, on devra non seulement caractériser les treillis d'ouverts parmi les treillis complets (un théorème de Biichi répond à cette question (16)), mai 3 encore préciser l'articulation entre la quasi-topologie et la structure de treillis sur Slfa) (Qji'est-ce-qu'un ,rtreillis quasi-topolo- gique?). 5* Les espaces uniformes. Notons UNIF la catégorie des espaces uniformes. Il existe, me semble-t-il, plusieurs façons d'approcher la dualité de cette catégorie• a) Le théorème de Buchwalter et Pupier ((9)>(11)) indique qu'on peut considérer - canrniquement - le complété d'un espace uniforme comme un ensemble des caractères de 1'algèbres des fonctions uniformément continues bornées sur X. b) On peut encore considérer un espace uniforme comme une limite projective d'espaces "écartisables"; on se ramène alors à la dualité des espaces métriques (§2). c) On cherchera enfin à plonger UNIF dans une catégorie fermée. L'une des candidates possibles est la catégorie des espaces quasi-uniformes de Cook et Fischer (13,22); j'en propose une autre, qui met en valeur la notion d'uniforme équicontinuité. B 10 Soient X et Y deux espaces uniformes et B une partie de Hom(x,Y), munie de la structure uniforme de la convergence uniforme; l'application d'évaluation B x X —*>Y est alors uniformément continue si et seulement si B est uniformément équicontinue. Cet énoncé classique suggère l'extension suivante de la notion d'espace uniforme. Un espace bornologique-uniforme est un espace bornologique X (17) où chaque borné est muni d'une structure uniforme; l'axiome de cohérence est le suivant: si B1 est un borné et si B C B' , la structure uniforme de B est induite par celle de B 1 . Un morphisme de X vers un autre espace bornologique-uniforme Y est une application bornée f telle que, pour tout borné B de X, la restriction f : B >f(B) soit uniformément continue. On obtient ainsi une catégorie BUNIF. On plonge UNIF dans BUNIF en munissant tout espace uniforme X de la bornologie triviale où X lui-même est un borné. Assertion n°7: La catégorie BUNIF est cartésienne fermée. Décrivons la structure de Hom(x,Y) dans BUNIF, Une partie B de Hom(X,Y) est dite bornée si, pour tout borné A de X : (i) B(A) est un borné de Y, (ii) l'ensemble B/A des restrictions à A des éléments de B est une partie uniformément équicontinue de U N I F ( A , B ( A ) ) . B est alors muni de la structure uniforme initiale déterminée par toutos les restrictions B — - > U N I F ( A , B ( A ) ) (OÙ A parcourt l'ensemble des bornés de X et U N I F ( A , B ( A ) ) est muni de la convergence uniforme). Assertion n°8: La plus petite sous-catégorie pleine de BUNIF contenant UNIF , stable par le foncteur Hom-interne et par contruction de structures initiales est formée des objets X de BUNIF dont la structure est initiale pour l'application cano- B 11 nique X —>Hom(Hom(X,R),R) • La preuve de l'assertion n°8 est tout-à-fait analogue à celle de l'assertion n°4; il suffit de remarquer que tout espace uniforme X est l'espace initial déterminé par les applications canoniques X —->UNIF(B,R) (OÙ B parcourt l'ensemble des parties uniformément équicontinues de U N I F ( X , R ) ) . Références: (1) BINZ E., Ontinuous convergence in C(x), Lecture notes n°469. (2) , Zu den Beziehungen zwischen c-einbettbaren Limesraùmen, Math. Ann. 181, 45-52 (1969)* (5) , Notes on a Characterization of Function Algebras, Math. Ann.186, 314-326 (1970). (4) BINZ E., BUTZMAMF H.P., KUTZLER K., Uber den c-Dual..., fcath. Zeit. 127, 70-74 (1972). (5) BIEKHOFP G., Lattice Theory, AIE (1948). (6) BOUKDAUD G., Sur les espaces de fonctions lipschitziennes, inédit (Paris 1977). (7) — ~ , Sur la dualité des algèbres localement con- vexes, C.R.A.S., t.281, 1011-1014 (1975). (8) , Some cartesian closed category of convergence spaces, Categorical Topology, Lecture notes N°540. (9) f sur le théorème de complétion de Buchwalter- Pupier, Cah. Top. Géom. Diff. XVII, 3 0976). (10) BTJGHWALTEH H., T.pologies et compactologies, Pub. Dep. Math. Lyon t.6-2 (1969). (11) BUCHWALTER H. et PUPIER R., C.R.A.S., t.273, 96-98 (1971). (12) BUTZMANN H.P., Uber die c-Reflexivitat von C c (x), Comm. Math. Helvet., 47-1, 92-101 (1972). B 12 (13) COOK C.H. et FISCHER H.R., Uniform convergence structures,, Math. Ann. 173, 290-306 (1967). (14) DUBUC E.J. et PORTA H., Convenient Catégories of topological Algebras..., J. Pure Appl. Algebra 1, 281-316 (1971). (15) FROLISEER A. et BUCHER W., Calculus in Vector Spaces without Norm, Lecture notes n°30. (16) HOFFMANN R.E., Topological Spaces admitting a "Dual", Categorical Topology, Lecture notes n°719. (17) HOGBE-NLJIÏND H., Théorie des Bornologies et applications, Lecture notes n°213. (18) PORST H.E., A Survey of the Categorical Treatment of Dualities, Math. Arbeit. n°18 (Bremen 1979)• (19) ROBERTSON A. P., Topological Vector Spaces, Cambridge u.p. (1966). (20) SCHRODER M., Continuous Convergence in a Gelfand Theory..., Pub. Univ. Waikato,n°9 , Hamilton, New-Zealand (1971)• (21) — — — — — — — f Marines eu structures and O-spaces (Manuscrit f remis à l auteur). (22) WYIER 0., Function Spaces in topological Catégories, Categorical Topology, Lecture notes n°719» Université Paris VII U.E.R. de Mathématiques Tour 45-55» 5 étage 2 place Jussieu 75221 PARIS CEDEK 05