Vous êtes sur la page 1sur 63

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

PAR A. GROTHENDIECK (SO PAULO)

INTRODUCTION. 1. Contenu du travail. Ce travail prsente une thorie peu prs complte sur le sujet indiqu par son titre, cela prs que nous avons omis la plupart des dmonstrations. Sa vritable raison dtre rside dans les rsultats du 3 et surtout du 4, ns 2, 4, 5, rsultats tout fait nouveaux sur les classiques espaces L1 , L2 , L8 , qui justient les dveloppements un peu longs des 1,2. Les ides directrices rsultant de faon assez naturelle de [4] (notamment Chap.1, 4, n6 ; voir [5] pour un rsum de [4]). En principe, ce travail est cependant autonme et ne demande pas la lecture de [4] et [5]. On peut mme remarquer que la thorie des produits tensoriels topologiques despaces localement convexes gnraux gagne en clart et simplicit tre expose dabord pour les espaces de Banach. (En effet, la lecture de [4] montrera que presque toutes les questions de la thorie gnrale, y compris la thorie des espaces nuclaires, se ramnent en ralit des questions sur les espaces de Banach). Jusquau 3, n4 le texte ne contient presque aucune dmonstration. La plupart de ses noncs relvent dune technique assez standard, qui sera bien familire par exemple au lecteur de [4]. Certains rsultats-clefs, notamment ceux du 2, n1, sont traits in extenso dans [4] (et les dmonstrations se trouvent dj esquisses dans [5]). Tout au plus la dmonstration de certains rsultats du 3 (Notamment le th.2, corollaire 3, et le th.3) ne se borne pas des redites ou une morne routine. - Par contre, jai donn des dmonstrations essentiellement completes pour les rsultats fondamentaux difciles (3, n5, th.4 et 4, n3). Je pense qu partir du 3, n5, tous les raisonnements peuvent tre sans difcult rconstruits par le lecteur attentif, laide des indications dtailles du texte. A dfaut de dmonstrations compltes, jai pris le plus grand soin bien dgager la suite logique des ides et des propositions (qui constituait lessentiel du travail de mise au point) et de montrer comment les unes taient consquences naturelles des autres. Aussi je pense que ce texte devrait permettre au lecteur attentif une domination rapide de la thorie. Les besoins dun cadre plus vaste que dans [4] et [5] nous ont obligs de
1

PAR A. GROTHENDIECK (SO PAULO)

revoir compltement la terminologie et les notations antrieurs dans la thorie des produits tensoriels topologiques. Celles que nous avons, ni par adopeter semblent possder toutes les proprits dsirables de simplicit, cohrence et symtrie. Remarquons que nous aurions pu nous dispenser de dvelopper tout le formalisme des b-normes (1,2,3) pour formuler et dmontrer les rsultats fondamentaux du 4. Mais il me semble que, comme en mainte occasion analogue, cela aurait conomis encre et papier aux dpens de leffort intellectuel du lecteur. En effet, ce nest que par ces prliminaires que lon arrive donner les noncs sous la forme concise et suggestive qui permet de saisir, dun seul coup, les relations entre les trs nombreuses variantes du thorme fondamental, et quon parvient une comprhension vritable de la thorie. Signalons enn que dasses nombreux rsultats dignes dintrt, mais non indispensables pour une bonne comprhension gnrale, on d tre passs sous silence. On espre quun expos complet dau moins une partie de la thorie, avec des rsultats divers en exercices, pourra trouver sa place dans un livre actuellement en prparation, en collaboration par L. Nachbin et lauteur, sur la thorie des espaces localement convexes.

2. Terminologie et notations gnrales. Nous supposons une bonne connaissance de la thorie des espaces de Banach, lalgbre multilinaire, lintgration, et suivons de faon gnrale la terminologie de N. Bourbaki (voir notamment [1], [2]). a. Gnralits algbriques. Tous les espaces vectoriels envisags sont des espaces de Banach, sur le corps des rels ou des complexes. Si E, F, G sont des espaces de Banach, E 1 dsigne le dual de E, LpE; Fq lespace des applications linaires continues de E dans F, BpE, F; Gq lespace des applications bilinaires continues de E F dans G ; si G est le corps des scalaires, on crit simplement BpE, Fq. Ces espaces sont munis des normes naturelles qui en font encore des espaces de Banach. Si A P LpE; Fq, on dsigne par t A la transpose de A, cest donc un lment de LpF 1 ; E 1 q. Si A P BpE, Fq, on identiera aussi A avec lapplication linaire de E dans F 1 (et non de F dans E 1 1) quelle dnit : si x P E, A.x P F 1 sera donc dni par (1) xy, A.xy Apx, yq px P E, y P F, A P BpE, Fqq. On dsignera par t A la forme bilinaire symtrique de A, forme sur FE donne par (2)
t

Apy, xq Apx, yq

px P E, y P F, A P BpE, Fqq.

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

Si, conformment la convention ci-dessus, on regarde alors t A comme une application linaire F E 1 , ce nest autre que la restriction F de la transpose de lapplication A : E F 1 (ou encore la transpose tout court, pourvu quon munisse F 1 de la topologie faible), ce qui montre que nos notations sont raisonnablement cohrentes. Evidemment (3)
t t

p Aq A

pA P BpE, Fqq.

E b F dsigne le produit tensoriel de E et F au sens algbrique gnral [1], qui est donc engendr par les lments du type x b y px P E, y P Fq. Pour tout espace vectoriel G, les applications bilinaires u de E F dans G correspondent biunivoquement aux applications linaires v de E b F dans G, v corpondant lapplication upx, yq vpx b vq. En particulier, BpE, Fq est une espace de formes linaires sur E b F, on a (4) xx b y, Ay Apx, yq xx b y, x 1 b y 1 y xx, x 1 yxy, y 1 y px P E, y P F, A P BpE, Fqq. px P E, y P F, x 1 P E 1 , y 1 P F 1 q. E b F et E 1 b F 1 sont accoupls, on a (5) Cela permet de considrer E b F comme lespace des formes bilinaires faiblement sparment continues de rang ni sur E 1 F 1 , et E 1 b F 1 comme lespace des formes bilinaires continues de rang ni sur E F : (6) E b F BpE 1 , F 1 q E b F LpE 1 ; Fq E 1 b F 1 BpE, Fq. E 1 b F 1 LpE; F 1 q. Avec les conventions faites plus haut, cela donne donc aussi des immersions (7)

E b F est lespace des applications linaires faiblement continues de rang ni de E 1 dans F, E 1 b F 1 lespace des applications linaires continues de rang ni de E dans F 1 . Plus gnralement on a une immersion canonique (8) E 1 b G LpE; Gq

le premier membre est lespace des applications linaires continues de rang ni de E dans G. On a un isomorphisme de symtrie naturel not u t u de E b F sur F b E, donn par (9)
t

px b yq y b x

px P E, y P Fq.

Cest la transpose de lapplication donn par (2) compte tenu de laccouplement (4) : (10) xu, Ay xt u, t Ay pu P E b F, A P BpE, Fqq.

PAR A. GROTHENDIECK (SO PAULO)

De plus, les identications (6) sont compatibles avec les deux oprations u t u et A t A, en ce sens que la premire est induite par la seconde. Il est absolument essentiel pour la suit que ces conventions (o "la droite et la gauche" sont soigneusement distingus !) soient bien explicites et respectes. b. Applications et formes compactes et faiblement compactes. Prolongements canoniques. On appelle application linaire compacte (resp. faiblement compacte) de E dans F une application linaire transformant limage de la boule unit en une partie relativement compacte (resp. faiblement relativement compacte). Pour ceci, il faut et il suft que la transpose t A P LpF 1 ; E 1 q possde la mme proprit (en tant quapplication de lespace de Banach F 1 dans lespace de Banach E 1 ; donc ici "faible" dans E 1 doit se rfrer pE 1 , E 2 qq. Une forme bilinaire A P BpE, Fq est dite compacte (resp. faiblement compacte) si lapplication linaire A : E F 1 quelle dnit lest (mme remarque pour le mot "faible que ci-dessus). Il revient dailleurs au mme de dire que lapplication t A : F E 1 lest. Soit A P BpE, Fq, A sidentie un lment de LpE; F 1 q, or F 1 est plong dans le dual de F 2 (cest lespace des formes linaires faiblement continues sur F 2 , en entendant par topologie faible sur un bidual F 2 la topologie pF 2 , F 1 qq. Donc A dnit canoniquement un lment de LpE, pF 2 q 1 q, i.e. de BpE, F 2 q. Do une r immersion canonique de BpE, Fq dans BpE, F 2 q. Llment A de BpE, F 2 q qui correspond une A P BpE, Fq est appel le prolongement canonique de A E F 2 . r A est encore caracterise par le fait dtre une forme continue sur E F 2 , faiblement continue relativement F 2 , qui prolonge A. On dnit de mme le prolongement de A E 2 F. On fera attention quen prolongeant A dabord E F 2 , puis la forme obtenue E 2 F 2 , on obtient en gnral autre chose quen prolongeant dabord E 2 F, puis E 2 F 2 . Pour quon obtienne la mme chose, il faut et il suft que A soit faiblement compacte. On peut alors parler sans ambiguit du prolongement canonique de A E 2 F 2 . Elle est caractrise par le fait dtre un prolongement faiblement sparment continu de A E 2 F 2 (et un tel prolongement dailleurs nexiste que si A est faiblement compacte). Exemple. Appliquant la premire formule (6) E 1 et F 1 au lieu de E et F, on trouve E 1 b F 1 BpE 2 , F 2 q. Cette immersion nest autre que celle quon obtient en composant limmersion canonique de la deuxime formule (6) avec lopration de prolongement canonique aux biduals (qui a ici un sens, car une forme bilinaire continue de rang ni est compacte, et fortiori faiblement compacte). Des identications de cette nature seront monnaie courante dans toute la thorie des produits tensoriels topologiques (bien quon se lexplicitera gure dans ce rsum).

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

c. Espaces accessibles, mtriquement accessibles. Un espace de Banach E est dit accessible (resp. mtriquement accessible) si lapplication identique de E sur E est limite uniforme sur tout compact dapplications linaires continues de rang ni (resp. et de norme 1). La deuxime proprit implique dailleurs la premire. Une tude dtaills de ces proprits se trouve dans [4], Chap. 1, 5 (rsum dans [5], Chap. 1, Appendice 2). Signalons que tous les espaces de Banach classique sont mtriquement accessibles. Il en est en particulier des espaces Lp p1 p `8q, C0 pMq etc., ce dont nous nous servirons sans autre rfrence (comme de tour les rsultats rappels dans lIntroduction). d. Espaces spciaux. C0 pMq dsigne lespace des fonctions scalaires continues nulles linni sur lespace localement compact M, muni de la norme uniforme. On crit simplement CpMq si M est compact. Lp Lp pq p1 p `8q est lespace Lp classique construit sur la mesure positive quelconque sur lespace localement compact M [2]. Chaque fois que dans un nonc ou une formule, interviennent des espaces nots C, resp. L, resp. H, il sagira dun espace du type C0 pMq, resp. L1 pq, resp. dun espace de Hilbert (espaces que par abrviation on appelle respectivement espaces du type C, espaces du type L, espaces tu type H). Si I est un ensemble sans topologie spcis, on convient de le munir la topologie discrte et la mesure masse `1 en chaque point. On crit alors c0 pIq, lp pIq au lieu de C0 pIq, Lp pq. Si I est lensemble M des entiers 0, on sous-entend M dans les notations, et crit simplement c0 , lp .

PAR A. GROTHENDIECK (SO PAULO)

TABLE

DES MATIRES

Introduction. Table des Matires 1 - Les b-normes 1. Normes raisonnables. Les normes z{ et {z 2. Dnition des b-normes. 3. Extension des b-normes aux espaces de dimension innie. 4. Formes et applications de type . 5. Formes et applications -nuclaires. 6. Comparaison des b-normes. 2 - Les b-normes lies aux espaces C et L. 1. Complments sur z{ et {z. 2. Proprits vectorielles-topologiques fondamentales des espaces C et L. 3. b-normes injectives, projectives. 4. Formation de nouvelles b-normes. 5. Complments sur {{z, {zz, {{zz, zz{, z{{, zz{{. 6. Tableau des b-normes naturelles. 3 - Les b-normes lies lespace de Hilbert. 1. Dnitions et gnralits pour H et H 1 . 2. H-formes hermitiennes. 3. H 1 -formes hermitiennes. 4. Premires relations entre H, H 1 , etc. . 5. Relations plus profondes entre les b-normes lies lespace de Hilbert. 6. Les classes naturelles doprations linaires dans lespace de Hilbert. 4 - Les relations entre les deux groupes des b-normes. 1. Fonctions de type . 2. Le thorme fondamental et ses variantes. 3. Dmonstration du thorme fondamental. 4. Consquences diverses dans la thorie des oprations linaires. 5. Applications lAnalyse Harmonique. 6. Quelques questions ouvertes. Bibliographie Remarques

1 6 7 7 8 10 11 13 15 16 16 18 21 23 27 28 32 32 34 36 38 39 42 45 45 47 50 52 55 58 60 61

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

1 - LES b-NORMES 1. Normes raisonnables. Les normes z{ et {z. 1

Dnition 1. Soient E et F deux espaces de Banach. Une norme sur E b F est dite raisonnable si lapplication bilinaire x, y x b y de E F dans E b F est de norme 1, et si de mme x 1 , y 1 x 1 b y 1 est une application bilinaire de norme 1 de E 1 F 1 dans le dual de lespace norm E b F. Dsignant la norme de ce dual par 1 , ces conditions signient que pxbyq pxqpyq et 1 px 1 b y 1 q 1 px 1 q 1 py 1 q pour x P E, y P F, x 1 P E 1 , y 1 P F 1 . En fait, cela implique mme les galits px b yq pxqpyq; 1 px 1 b y 1 q 1 px 1 q 1 py 1 q

E 1 bF 1 sidentie alors un sous-espace vectoriel du dual de lespace norm EbF. La norme 1 induite sur E 1 b F 1 par ce dual est aussi une norme raisonnable. On dsigne par E b F le complt de E b F pour la norme raisonnable . Thorme 1. 1. Il existe sur EbF une plus petite norme raisonnable z{ et une plus grande norme raisonnable {z. 2. Le norme z{ est la norme induite sur E b F par BpE 1 , F 1 q : |u|z{ sup |xu, x 1 b y 1 y|
}x 1 }1 }y 1 }1

px 1 P E 1 , y 1 P F 1 q.

3. La norme {z est la norme polaire de la boule unit de B(E,F) : |u|{z sup


vPBpE,Fq }v}1

|xu, vy|.

Si A (resp. B) est la boule unit de E (resp. F), {z est aussi la norme jauge de lensemble pA b Bq enveloppe disqus de lensemble des x b y px P A, y P Bq, et est donn par la formule |u|{z inf }xi } }yi }
i

Thorme 2. Quel que soit lespace de Banach G, on a un isomorphisme mp trique LpEbF; Gq BpE, F; Gq.

le inf tant tendu toutes les reprsentations de u sous la forme dune somme nie u i xi b yi .

PAR A. GROTHENDIECK (SO PAULO)

(dont on laisse la dnition au lecteur). En particulier : p Corollaire 1. Le dual de EbF est BpE, Fq.

q La dnition de z{ dans le th.1, 2 implique que EbF sidentie ladhrence q de E b F dans BpE 1 , F 1 q. Si la forme bilinaire u sur E 1 F 1 appartient EbF, alors elle est compacte et faiblement continue, et la rciproque est vraie si E ou q F est accessible. Donc EbF sidentie aussi un espace dapplications linaires 1 dans F, continues pour pE 1 , Eq et pF, F 1 q, et on obtient ainsi compactes de E toutes les applications de ce type si E ou F est accessible. De faon analogue, q E 1 bF sidentie ladhrence dans LpE; Fq de lespace E 1 b F des applications linaires continues de rang ni de E dans F, adhrence qui est une espace dapplications linaires compactes de E dans F ; et on obtient ainsi toutes les appliq cations linaires compactes de E dans F si E 1 ou F est accessible. Enn E 1 bF 1 sidentie ladhrence dans BpE, Fq de lespace E 1 b F 1 des formes bilinaires continues de rang ni sur E F, adhrence qui est un espace de formes bilinaires compactes sur E F ; et on obtient ainsi toutes les formes de ce type si E 1 ou F 1 est accessible. Notons enn que si E ou F est de dimension nie, toutes les normes raisonnables sur E b F sont quivalences. Si par exemple E est muni dune base nie, E b F est isomorphe Fn . 2. Dnition des b-normes. Appelons espace norm numrique un espace norm dont lespace vectoriel sous-jacent soit un Rn , resp. Cn . Lensemble de tous les espaces norms numriques est donc dni. Dnition 2. On appelle b-normes une fonction qui, tout couple de deux espaces norms numriques E, F, associe une norme raisonnable (voir N1, dnition 1) sur leur produit tensoriel E b F, norme note u |u| , faisant de E b F un espace norm not E b F, cette fonction tant assujettie vrier la condition suivante : Soit ui une application linaire de Ei dans Fi (i 1, 2, Ei

et Fi espaces norms numriques), et u1 b u2 lapplication u1 b u2 considre comme application de lespace norm E1 b E2 dans lespace norm F1 b F2 ; alors on a }u1 b u2 } }u1 } }u2 } .

Il sensuit que si u1 et u2 sont des isomorphismes sur, il en est de mme de u1 b u2 . Cela montre quon peut dnir E b F si E et F sont deux espaces norms de dimension nie quelconques (pas ncessairement numriques), et que la

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

condition nonce dans la dnition 2 reste vrie pour de tels espaces. Notons aussi quavec lidentication usuelle de E b F LpE 1 , Fq, comme E 1 peut tre regard comme un espace norm numrique si E est un espace norm numrique, la donne dune b-norme revient aussi la donne, pour tout couple pE, Fq de deux espaces norms numriques, dune norme raisonnable |u| sur LpE; Fq E 1 b F, la condition de la dnition 2 sexprimant maintenant par |AuB| }A} }B} |u| pour u P LpE; Fq, A P LpF; Gq, B P LpH; Eq (E, F, G, H tant des espaces norms numriques quelconques). Exemples. Si pour tout couple E, F de deux espaces norms numriques, on considre sur E b F la plus petite norme raisonnable z{ (resp. la plus grande norme raisonnable {z), on obtient une b-norme quon dsigne encore par z{ (resp. par {z). La norme |u|z{ sur un espace LpE; Fq nest videment autre que la norme usuelle des oprateurs. Oprations fondamentales sur les b-normes. Soit une b-norme. Pour deux espaces norms numriques E et F, considrons la norme u |t u| sur E b F. On voit aussitt que la fonction ainsi dnie, pour E et F variables est une bnorme, quon note t et quon appelle la b-norme transpose ou symtrique de . Elle est donc dnie par |u|t |t u| . est dite symtrique si t . - En second lieu, pour deux espaces norms numriques quelconques, considrons sur E b F la norme duale de la norme |u| sur E 1 b F 1 . On voit aussitt que pour E et F variables, on obtient ainsi une b-norme, quon note 1 et quon apelle b-norme duale de . Donc par dnition la norme |u| 1 sur E b F est la duale de la norme |u 1 | sur E 1 b F 1 . On vrie aussitt les formules
t t

p q ,
t

p 1 q 1

q et t p 1 q t pq 1 . On dsigne aussi par la valeur commune : Relation dordre. Soient et deux b-normes, et 0. On crira si pour tout couple de deux espaces norms numriques E, F, on a |u| |u| pour u P E b F. Cela implique videmment 1. En particulier, la relation est une relation dordre dans lensemble des b-normes. On a les quivalences suivantes : quivaut
t

q p 1 q pt q 1 .

et

1 1 .

Soit pi q une famille de b-normes. Pour tout couple pE, Fq de deux espaces norms numriques, considrons sur E b F la norme |u| borne suprieure des

10

PAR A. GROTHENDIECK (SO PAULO)

normes |u|i (qui sont toutes majores par |u|{z ). On constate quon a ainsi dnie une b-norme , qui est videmment la borne suprieure de pi q dans lensemble ordonn de toutes les b-normes. Comme 1 est un isomorphisme de lensemble ordonn des b-normes sur le mme ensemble muni de lordre inverse, on voit donc que la borne infrieure dune famille quelconque de b-normes existe aussi. En dautres termes, lensemble des b-normes est un ensemble compltement rticul. Les proprits lmentaires des b-normes z{ et {z dans ce contexte sont rsumes dans le Thorme 3. z{ est la plus petite, {z la plus grande des b-normes. symtriques, et duales lune de lautre : pz{q 1 {z, p{zq 1 z{. 3. Extension des b-normes aux espaces de dimension innie. Soit une b-norme. Soient E et F deux espaces de Banach. Pour tout sousespace vectoriel de dimension nie M de E et N de F, M b N est un sous-espace vectoriel de dimension nie de EbF, qui croit avec M et N, et les MbN forment une famille ltrante croissante de sous-espaces vectoriels de dimension nie de E b F dont la runion est E b F. Soit u P E b F ; si u P M b N, on dsigne par |u| la norme de u dans M b N. Elle dcroit quand M et N croissent, MbN posons |u| inf |u| .
M,N MbN
z{

et

{z

sont

On voit aussitt que la fonction ainsi dnie sur EbF est une norme raisonnable (N 1, dnition 1). Si en particulier z{ ou {z, la dnition de |u| donne dans la formule ci-dessus est compatible avec les notations introduites au N1 (i.e. notre formule redonne bien la plus petit resp. la plus grande des normes raisonnables sur E b F). On dsigne par E b F le complt de E b F pour la norme |u| . Soient Ei , Fi des espaces de Banach (i 1, 2), soit ui une application linaire continue de Ei dans Fi . Considrons u1 b u2 comme une application linaire de lespace norm E1 b E2 dans lespace norm F1 b F2 , on aura encore }u1 b u2 } }u1 } }u2 }. Donc u1 b u2 se prolonge par continuit en une application linaire de norme }u1 } }u2 } de E1 b E2 dans F1 b F2 , note u1 b u2 . On aura encore la formule |u|t |t u| . Dautre part, si on dsigne par }u} la norme sur E b F duale de la norme |u 1 | 1 sur E 1 b F 1 , on aura }u} |u| , mais on ne sait pas si on aura toujours }u} |u| . Ce sera le cas du moins s E et F sont mtriquement accessibles (voir Introduction, II). Disons que la bnorme est accessible si on a }u} |u| dans E b F chaque fois que E ou F est de dimension nie. On montre facilement pour toutes les b-normes connues

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

11

quelles sont accessibles ; si est accessible, il en est de mme de 1 et t , donc q aussi de t p 1 q. Ceci pos, si est accessible, on aura }u} |u| dans E b F pourvu que E ou F soit mtriquement accessible. - On dans tous les cas }u}z{ |u|z{ , comme on voit aussitt. 2 4. Formes et applications de type . Soit une b-norme, E et F deux espaces de Banach. Comme on a |u| |u|{z

dans E b F, on voit que le dual de E b F sidentie un sous-espace vectoriel du p dual BpE, Fq de EbF, avec une norme plus ne. Dnition 3. 1. Une forme bilinaire u sur E F est dite de type , ou une -forme, si i.e. le dual de E b F, est not B pE, Fq, la norme sur cet espace est note }u} (-norme de u). 2. Une application linaire u de E dans F est dite de type , ou une application, si la forme bilinaire xux, y 1 y sur E F 1 quelle dnit est de type . La -norme de cette dernire est aussi appelle -norme de u, et note }u} . Lespace des -applications de E dans F, muni de la -norme, est not L pE; Fq. 3. Dans le cas {z, on emploie les noms : forme bilinaire intgrale, application intgrale, norme intgrale. On convient de regarder }u} comme inni si la forme ou lapplication linaire u nest pas de type . - Si z{, les -formes (resp. les -applications) sont toutes les formes bilinaires continues (resp. toutes les applications linaires continues), et la -norme est leur norme usuelle : }u}z{ }u}. Proprits gnrales des -formes. Par sa dnition, la boule unit de B pE, Fq est compacte pour la topologie faible dnie par E b F, laquelle topologie concide donc sur cette boule avec la topologie faible dnie par E b F, i.e. la topologie de la convergence simple des formes bilinaires sur E F. Donc toute limite pour la convergence simple de formes bilinaires de -norme 1, (est encore de type et) a une -norme 1. Soit A une -forme sur E F, soit u une application linaire continue dun espace de Banach E1 dans E, v une application linaire continue dun espace de Banach F1 dans F. On notera A pu b vq la forme bilinaire sur E1 F1 : Apux1 , vy1 q. Alors cette dernire est encore de type , et on a }A pu b vq} }A} }u} }v} .
1 1

elle appartient au dual de de E b F. Lespace de ces formes sur E F,


1

12

PAR A. GROTHENDIECK (SO PAULO)

En particulier, si E1 resp. F1 est un sous-espace vectoriel norm de E resp. F, on voit (en prennant pour u, v les applications dinclusion) que la restriction E1 F1 dune forme de type sur E F est de type , et a une -norme su plus gale. Soit A une forme bilinaire sur E F, t A la forme transpose sur F E : t Apy, xq Apx, yq. Pour que A soit de type , il faut et il suft que t A soit de type t , et on a encore }t A}t }A} . Voici enn un rsultat lmentaire, mais moins trivial : r Thorme 4. Soit A une forme bilinaire continue sur EF, A son prolongement 2 . Pour que A soit de type , il faut et il suft que A le soit, r canonique E F et on a alors r }A} }A} . Par polarit, ce thorme quivaut au

Corollaire 1. La boule unit de E b F est dense dans la boule unit de E b F 2 1 pour la topologie faible dnie par la dualit avec B pE, Fq. Cela implique de plus le Corollaire 2. Les applications canoniques (produits tensoriels des applications dinclusion) E b F E b F 2 et E b F E 2 b F 2 sont des isomorphismes mtriques. Le thorme 4 implique aussi que si on considre la norme }u} induite sur b F 1 par B pE, Fq, cest aussi la norme introduite avec la mme notation la n du N 3, i.e. la norme duale de la norme |y| 1 sur E 2 b F 2 . Proprits gnrales des -applications. Ce sont les mmes proprits que celles vues pour les formes, mises dans le langage des applications linaires. Toute application de E dans F qui est limite pour la convergence simple dapplications de type et de -norme 1, est de type et a une -norme 1. A fortiori, L pE; Fq est un espace de Banach pour sa norme }u} . Si u P L pE; Fq, v P LpF; Gq, on a vu P L pE; Gq, et E1 }vu} }v} }u} . De mme, v P LpE; Fq et u P L pF; Gq implique uv P L pE; Gq et }uv} }u} }v} . Soit u P LpE; Fq, pour que u soit de type , il faut et il suft que t u soit de type t , et on a }t u}t }u} .

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

13

Appliquant ce mme rsultat au transpos u 1 et t au lieu de u et , on trouve : pour que u soit de type , il faut et il suft que son bitranspos u 2 P LpE 2 ; F 2 q le soit, et on a }u} }u 2 } .

Soit u une forme bilinaire continue sur E F, pour quelle soit de type , il faut et il suft que lapplication linaire de E dans F 1 qui lui correspond le soit, et les deux -normes correspondantes sont gales (rsulte du thorme 4). Il sensuit que si u P LpE; Fq, pour que u soit de type , il faut et il suft que lapplication de E dans F 2 qui lui correspond le soit, et alors des deux -normes correspondantes sont gales. q Relations entre -applications et -applications. On a le
q Thorme 5. Soit u P L pE; Fq, v P L pF; Gq, tant une b-norme accessible (voir n du N3) ou les trois espaces de Banach E, F, G tant supposs mtriquement accessibles. Alors vu est intgrale, et

On a dailleurs une rciproque. Soient en effet E, F deux espaces de Banach, et u P LpE; Fq. Pour que }u} 1, il faut et il suft que v P F 1 b E implique |vu|{z |v| ou encore que v P F 1 b E implique |uv|{z |v| . Si alors E (resp. F) q q q est mtriquement accessible, il revient encore au mme de dire que v P L pF; Eq implique }vu}{z }v} (resp. }uv}{z }v} ). (on suppose accessible, ce qui q q pratiquement nest pas une restriction). Utilisant le thorme du graphe ferm, q on voit que pour que u soit de type , il suft dj que pour toute v P L pF; Eq, uv (resp. vu) soit intgrale. 5. Formes et applications -nuclaires. Soit une b-norme. Soient E et F deux espaces de Banach. Comme dans E b F, on a }u} |u| , on a une application linaires canonique de norme 1 de EbF dans B pE 1 , F 1 q. Cette application est biunivoque si E ou F est accessible (et mme un isomorphisme mtrique si E ou F est mtriquement accessible). En tous cas, limage de E b F dans B pE 1 , F 1 q sidentie au quotient de E b F par le noyau de lapplication prcdente, et il y a lieu de la munir de la norme quotient, qui sera note N puq. Pour u P E b F, on aura donc }u} N puq |u| . (En fait, on a dit que les deux membres extrmes sont dj gaux si E ou F est mtriquement accessible, donc dans tous les cas importants en pratique). Si E et F sont des duals, mettons E 1 et F 1 , on a aussi une application linaire canonique de norme 1 de E 1 b F 1 dans B pE, Fq ; on passe de celle-ci lapplication

}vu}{z }v} }u} . q

14

PAR A. GROTHENDIECK (SO PAULO)

dnie plus haut, ici E 1 b F 1 B pE 2 , F 2 q, en faisant correspondre la forme

sur E F dnie par une u P E 1 b F 1 , (forme qui est compacte comme limite pour la norme de formes de rang ni), son prolongement canonique E 2 b F 2 . Lespace quotient envisag plus haut peut donc aussi sidentier ici un sous-espace vectoriel de B pE, Fq ; sa norme N sera la norme induite pourvu que E 1 ou F 1 soit mtriquement accessible. On voit de mme que le quotient dni plus haut, peut pour une espace E 1 b F sidentier un sous-espace de L pE; Fq ; sa norme N sera la norme induite par L pE; Fq pourvu que E 1 ou F soit mtriquement accessible. Dnition 4. Soit une b-norme, E et F deux espaces de Banach. 1. On appelle forme -nuclaire sur E F une forme qui appartient limage canonique de E 1 b F 1 dans B pE, Fq. Muni de quotient N , lespace de ces formes est not B pE, Fq.

2. On appelle application -nuclaire de E dans F une application qui appartient limage canonique de E 1 b F dans L pE; Fq. Muni de sa norme quotient N , lespace de ces applications est not L pE; Fq. 3. Dans le cas {z, on emploie les noms : forme nuclaire, application nuclaire. N{z puq est appel norme nuclaire (ou norme-trace) de u. Les applications nuclaires sont aussi parfois appels applications de Fredholm, ou applications trace. Dans une large mesure, les proprits gnrales des formes et applications -nuclaires sont les mmes que celles des -formes et -applications (qui les gnralisent), parfois sous rserve que certains des espaces considrs soient accessibles. Toutesfois, le plus souvent la boule unit de B pE, Fq ne sera pas compacte pour la convergence simple mme si z{ ou {z (son adhrence dans BpE, Fq pour la convergence simple est contenu dans la boule unit de B pE, Fq et exactement gale cette dernire si E ou F est mtriquement accessible). P. ex. les formes z{-nuclaires sont compactes, mais en gnral il existera sur E F des formes bilinaires continues (donc de type z{|) non compactes. On a noncs exactement parallles ceux du N prcdent pour la composition de formes ou applications -nuclaires avec des applications linaires continues, et sur les prolongements canoniques de formes ou applications nuclaires. De plus, il rsulte aussitt des dnitions que la forme u sur E F est -nuclaire si et seulement si lapplication linaire de E dans F 1 quelle dnit lest, et les normes N correspondantes sont les mmes. - Soit maintenant u une application -nuclaire de E dans F, alors vrie aussitt que sa transpose

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES tu

15

est t -nuclaire, et que Nt `t u N puq .

Rciproquement, dire que t u est T -nuclaire, signie que la forme bilinaire xux, y 1 y sur E F 1 est -nuclaire, ou encore que u est -nuclaire en tant quapplication das F 2 . Cela entraine que u est -nuclaire (en tant quapplication dans F) et quen fait lingalit donne plus haut est une galit, i]pourvu quon suppose E 1 ou F 2 accessible (ou quil existe une projection de norme 1 de F 2 sur F). Cela rsulte de lnonc un peu plus gnral : Soit u P L pF 1 , Eq, continue pour pF 1 , Fq et pE, E 1 q, alors u provient dun lment de norme N puq du quotient de F b E par lapplication canonique de cet espace dans L pF 1 , Eq, pourvu que E ou F 2 soir accessible. Cette dernire condition est peut-tre inutile. 3

6. Comparaison des b-normes. Soient et deux b-normes, et 0, tels que . Si E et F sont deux espaces de Banach, on a alors |u| |u| pour tout u P EbF, en dautres termes lapplication identique de E b F se prolonge par continuit en une application linaire de norme de E b F dans E b F. Si dailleurs E ou F est accessible, ou sait priori que cette application est biunivoque (car tous les produits tensoriels q complts E b F se plongent dans le mme espace EbF), on pourra alors crire E b F E b F. - Appliquant ceci au couple 1 , 1 qui satisfait 1 1 , et transposant, on trouve de mme que pour toute forme bilinaire u sur E F, on a }u} }u} , en particulier B pE, Fq B pE, Fq. Le rsultat analogue sensuit aussitt pour les applications de E dans F de type resp. de type , en particulier L pE, Fq L pE, Fq. On trouve de mme B pE, Fq B pE, Fq et L pE.Fq L pE; Fq, avec des ingalits analogues N puq N puq. Si maintenant on a la fois deux ingalits et , on voit que pour tout couple de deux espaces de Banach E, F, on aura un isomor

phisme vectoriel-topologique E b F E b F, et des identits, respectant les topologies, B pE, Fq B pE, Fq, L pE; Fq L pE; Fq, B pE, Fq B pE, Fq, L pE; Fq L pE; Fq. Il est alors naturel de dire que une b-norme est domine par une autre , sil existe un 0 tel que , et de dire que et sont quivalentes si chacune est domine par lautre. Il nest dailleurs pas difcile de construire un espace de Banach E (rexif, sparable, mtriquement accessible, isomorphe son dual) tel que pour deux b-normes quelconques et , E b E E b E implique que est domine par (donc E b E E b E implique que et

16

PAR A. GROTHENDIECK (SO PAULO)

son quivalentes). Notons que les rsultats essentiels de ce travail ( 3 et 4) peuvent sexprimer prcisment par des ingalits du type entre bnormes particulires. Relations entre b-normes relles et complexes. Dans la thorie des b-normes dvelopps dans ce travail, il faut bien faire attention que le corps de scalaires R ou C est x une fois pour toutes. Il faut donc distinguer entre lensemble Cr des "b-normes relles" et lensemble Cc des "b-normes complexes". Les relations entre les deux ne semblent pas si simples quon pourrait sy attendre. Ainsi on remarquera que la norme intgrale dune application linaire dun espace de Banach complexe E dans un autre F est plus petite (et parfois strictement plus petite) dans la "thorie complexe" que dans la "thorie relle" (quand on regarde u comme une application linaire relle entre les espaces de Banach rels E0 , F0 sous-jacents E, F). (Il suft titre dexemple de prendre lapplication identique du corps des complexes C sur lui-mme). De positif, nous dirons simplement ceci (que est tout fait satisfaisant quand on sintresse laspect vectoriel-topologique pltt que mtrique de la thorie). Soit Tr (resp. Tc ) lensemble des classes de b-normes relles (resp. complexes) modulo lquivalence dnie dans ce N. Alors il y a une correspondance biunivoque canonique entre Tr et Tc dnie ainsi. Supposons que P Tr et P Tc se correspondent. Alors une application linaire u dun espace de Banach complexe E dans un autre F est de type , si et seulement si elle est de type (en tant quapplication linaire relle entre les espaces de Banach rels sous-jacents) ; et une application linaire u dun espace de Banach rel E dans un autre F est de type si et seulement si lapplication linaire complexe du complexi EC de E dans le complexi FC de F qui prolonge u, est de type . - Bien entendu, cette identication entre Tr et Tc est compatible avec les relations dordre, et avec les oprations usuelles sur q classes de b-normes, telles t , 1 , (ainsi dailleurs quavec les oprations moins triviales tudies au 2). 2 - LES b-NORMES 1. Complments sur z{ et {z. Dtermination des formes bilinaires et applications linaires intgrales. Soient E et F deux espaces de Banach. Par dnition, les formes bilinaires intgrales, de norme intgrale 1, sur E F, forment la boule unit du dual de q EbF. Il rsulte alors du thorme des bipolaires que ce sont aussi les formes qui sont limites, pour la convergence simple, de combinaisons linaires convexes de formes "dcomposes" x 1 b y 1 , avec x 1 P E 1 et y 1 P F 1 de norme 1. Par raison de compacit, il sensuit que ce sont aussi les formes qui peuvent scrire sous
LIES AUX ESPACES

ET

L.

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

17

forme dune intgrale faible u

x 1 ptq b y 1 ptq dptq

o est une mesure positive de norme 1 sur un espace compact K (on peut prendre pour K le produit des boules units de E 1 et F 1 , munies des topologies faibles), t x 1 ptq une application scalairement mesurable de K dans la boule unit de E 1 , t y 1 ptq une application analogue de K dans F 1 . La formule intgrale crite plus haut signie simplement quon a upx, yq xx, x 1 ptqyxy, y 1 ptqy dptq pour tout x P E, y P F. On en conclut enn facilement la rduction suivante un type canonique bien concret de formes bilinaires : Thorme 1. Soit u une forme bilinaire sur E F. Pour que }u}{z 1, il faut et il suft que lon puisse trouver un espace compact K muni dune mesure positive de norme 1, et des applications linaires de norme 1 (resp. ) de E (resp. F) dans L8 pq, telles que lon ait (Bien entendu, on pose xf, gy fg d pour f, g P L8 pq. En interprtant en termes dapplications linaire, il vient : Corollaire 1. Pour quune application linaire u de E dans F soit de norme intgrale 1, il faut et il suft quelle se factorise en E L8 L1 F 2 o et sont de norme 1, et lapplication identique dun espace L8 pq dans L1 pq, pour une mesure positive de norme 1 convenable sur un espace compact K. Signalons un cas intressant : Corollaire 2. Soit une mesure positive sur un espace localement compact M, u une application linaire continue dun espace de Banach E dans L1 pq. Pour que u soit intgrale, il faut et il suft que limage par u de la boule unit de E soit latticiellement borne, et alors on a }u}{z } sup |ux| }{z
}x}1

upx, yq xx, yy

px P E, y P Fq.

(o pour f P L1 , |f| dsigne la (classe de la) fonction t |fptq|). Chap. 1, N 9 pour des variantes).

(Voir [5],

18

PAR A. GROTHENDIECK (SO PAULO)

Proprits spciales essentielles des applications intgrales. Elles son rsumes dans le Thorme 2. Soient E, F, G trois espaces de Banach, u une application linaire de E dans F, v une application linaire de F dans G. Si U est intgrale et v faiblement compacte (resp. u faiblement compacte et v intgrale) alors vu est nuclaire (1, N 5, dnition 4) et on a N{z pvuq }v} }u}{z presp. N{z pvuq }v}{z }u}q

Corollaire. Si E ou F est rexif, alors les applications intgrales, ou nuclaires, de E dans F sont les mmes, avec identit entre norme intgrale et norme nuclaire. Dtermination de certains produits tensoriels topologiques. Voici les deux cas les plus importants o un produit tensoriel topologique peut sinterprter de faon simple : Thorme 3. Soit E un espace de Banach, M un espace localement compact muni dune mesure positive . Alors on a des isomorphismes mtriques canoniques : q L1 pq b E L1 pq; C0 pMqbE C0 pM, Eq. E

L1 pq dsigne lespace des (classes de) fonctions intgrables pour valeurs E dans E [2], et C0 pM, Eq lespace des fonctions sur M continues nulles linni valeurs dans E, muni de la norme uniforme. On se reportera [4] et [5] pour des cas particuliers divers et certaines applications de ce thorme, (en particulier quand on fait M = ensemble discret des entiers avec la masse `1 en chaque point, L1 et C0 devenant alors l1 et c0 ). De nombreuses autres dterminations de produits tensoriels topologiques, dans le cadre des espaces localement convexes gnraux, sont donns dans [4], Chap. 2, n 5 et [5], Chap. 2, passim. Signalons seulement encore que l1 b E sinterprte comme lespace des suites sommables (unconditionnally convergent) dans E, et que si Epmq pKq dsigne lespace des fonctions m fois continment diffrentiables sur le cube compact K dans Rn , avec sa topologie usuelle (qui est normable), q on a Epmq pKqbE Epmq pK, Eq (espace des applications m fois continment diffrentiables de K dans E). 2. Proprits vectorielles-topologiques fondamentales des espaces C et L. On appelle espace C ou du type C (resp. espace L, ou du type L) un espace de Banach mtriquement isomorphe un espace C0 pMq constuit sur un espace

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

19

localement compact convenable (resp. un espace L1 pq construit sur une mesure positive convenable). Il est classique (Kakutani) que le dual dun espace L (i.e. un espace L8 ) est un espace C , et que le dual dun espace C (i.e. lespace des mesures bornes sur un espace localement compact M) est un espace L . Limportance priori de ces espaces en thorie des oprations linaires tient leurs proprits vectorielles-topologiques trs spciales, (et qui les caractrisent dans une large mesure 4) aperus pour la premire fois dans un cas particulier important par L. Nachbin [9]. Ces proprits dcoulent de faon naturelle de la thorie des produits tensoriels z{ et {z, grce au thorme suivant, dont la premire partie est une consquence triviale de la premire partie du thorme 3, et la seconde sen dduit facilement par dualit (en se ramenant dabord au cas o est de dimension nie) : Thorme 4. Soit E un espace de Banach, F un sous-espace vectoriel ferm. 1. p p Soit L un espace du type L. Alors lapplication canonique LbF LbE est un isomorphisme mtrique du premier espace dans le second. 2. Soit C un espace q q du type C. Alors lapplication canonique CbE CbE{F est un homomorphisme mtrique du premier espace sur le second. (Bien entendu, les applications canoniques en question sont resp. le produit tensoriel des applications canoniques L L et E E, et des applications canoniques C C et E E{F). Transformant par transposition, le premier nonc quivaut : Corollaire 1. Toute forme bilinaire continue sur LE se prolonge en une forme bilinaire de norme gale sur L E. Interprtant en langage dapplications linaires, on trouve Corollaire 2. Toute application linaire continue de F dans un espace L8 se prolonge en une application linaire de mme norme de E dans L8 . Toute application linaire continue de F dans un espace C du type C se prolonge en une application linaire de mme nrome de E dans C 2 . On notera quon ne peut remplacer C 2 par C dans ce dernier nonc : faisant en effet E C 2 , F C, il faudrait en effet que lon puisse trouver une projection de norme 1 de C 2 sur C, or on peut montrer p.ex. que si C est un espace du type C sparable, il nest pas facteur direct dans son bidual. Par transposition, le corollaire 2 snonce aussi ainsi : Corollaire 3. Soit L un espace du type L. Toute application linaire continue de L dans un quotient E{F se relve en une application de mme norme de L dans E 2.

20

PAR A. GROTHENDIECK (SO PAULO)

(Pour donner une sens cet nonc, on regarde lapplication donne comme une application de L dans le bidual de E{F, lequel sidentie un espace quotient du bidual E 2 de E). Bien entendu, si E est un dual, et F un sous-espace vectoriel faiblement ferm, on peut trouver un relvement de mme norme valeurs dans E lui-mme. Mais on voit encore comme plus haut quil nen est plus ainsi dans le cas gnral : lespace L tant donn, pour que toute application linaire continue de L dans un quotient E{F se relve en une application linaire continue de L dans E, il faut et il suft que L soit isomorphe un espace l1 pIq construit sur un ensemble dindices I convenable. Appliquant le thorme 4, 2 au couple pF0 , E 1 q au lieu de pF, Eq, on trouve la variante suivante du corollaire 2 : Corollaire 4. Toute application linaire compacte de F dans C se prolonge en une application linaire compacte de E dans C de norme arbitrairement voisine. Appliquant le thorme 4, 2 au cas o C est le dual dun espace du type L, on trouve la variante suivante du corollaire 3 : Corollaire 5. Toute application linaire compacte de L dans un quotient E{F se relve une application linaire compacte de L dans E, de norme arbitrairement voisine. q En vertu de linterprtation des produits tensoriels CbE donn dans th.3, 2, la deuxime partie du th.4 snonce aussi ainsi : Corollaire 6. Toute application continue nulle linni de lespace localement compact M dans un quotient E{F se relve en une application de M dans E de mme nature, de norme arbitrairement voisine. Signalons encore le fait bien connu : Tout espace de Banach est isomorphe un sous-espace dun espace du type C (p.ex. lespace des fonctions continues sur la boule unit de son dual, munie de sa topologie faible), et un espace quotient dun espace du type L (p.ex. lespace l1 pIq construit sur une famille dlments de la boule unit de E dense dans cette boule). Toutes ces proprits sont la base de lutilisation intensive des espaces C et L dans la suite de la thorie, et des proprits plus profondes de ces mmes espaces que nous exposerons au 4. Remarque. Toutes les proprits vectorielles-topologiques quon vient de voir pour les espaces C resp. L sont manifestement encore vraies pour tout espace facteur direct dans un espace du type envisag ( condition de faire abstraction du caractre mtrique des noncs). On on peut montrer que lespace Epmq pKq envisag la n du N 1 est isomorphe un facteur direct dun espace C (il est isomorphe du point de vue vectoriel-topologique un espace C lui mme). Il en rsulte p.ex. que le rsultat de relvement analogue au corollaire 6 ci-dessus

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

21

est valable pour les fonctions vectorielles m fois continment diffrentiables sur le cube K (do aussitt le rsultat analogue pour des fonctions vectorielles dnies sur un ouvert quelconque de Rn ). 3. b-normes injectives, projectives. Proposition 1. Soit une b-norme. Les conditions suivantes sur sont quivalentes : a. Quels que soient les espaces de Banach E, G de dimension nie, et les sous-espaces F de E, lapplication canonique FbGEbG est un isomorphisme mtrique dans. b. Quels que soient E, F, G comme ci-dessus, lapplication canonique E b G E{f b G est une homomorphisme mtrique sur. c. Toute 1 -forme sur F G se prolonge en une 1 -forme sur E G ayant mme 1 -norme. d. Pour toute -forme sur EG qui sannule sur FG, la forme sur E{FG qui sen dduit par passage au quotient a mme -norme. De plus, si ces conditions sont vries, elles le sont encore si les espaces E, F, G ne sont plus supposs de dimension nie. Dnition 1. On dit que est injective gauche (resp. droite) si les conditions quivalentes prcdentes sont vris pour (resp. pour la b-norme transpose t ). On dit que est injective si est la fois injective gauche et droite. Enn est dite projective gauche (resp. projective droite, resp. projective) si sa duale 1 est injective gauche (resp. injective droite, resp. injective). Interprtant la condition d. en termes dapplications linaires, on voit que est injective gauche, si pour toute -application dun espace E dans un espace G, qui sannule sur un sous-espace ferm F, lapplication de E{F dans G obtenue par passage au quotient est encore de type et a mme -norme. (Il revient au mme de dire que la -norme de u ne dpend que de limage par u de la boule unit de E). Et que est injective droite si pour toute application linaire u dun espace G dans un sous-espace ferm F dun espace E, telle que lapplication u de G dans E quelle dnit soit de type , u est elle-mme de type et a mme -norme que u. Sous rserve que certains des espaces qui interviennent dans ces
1 1

22

PAR A. GROTHENDIECK (SO PAULO)

noncs soient accessibles, on peut dailleurs y remplacer "applications de type " par "applications -nuclaires". De mme, est projective gauche, si toute application dun sous-espace F dun espace E dans un espace G, peut se prolonger en une -application de mme -norme de E dans G 2 (donc mme dans G sil existe une projection de norme 1 de G 2 sur G). Et est projective droite si toute -application dun espace G dans un quotient E{F peut se relever en une -application de mme -norme de G dans E 2 . Les noncs analogues avec "applications nuclaires" au lieu de "-applications" sont encore valables, cela prs quau lieu de lgalit des normes -nuclaires, on peut seulement exiger que la norme N du prolongement ou du relvement cherch soit arbitrairement voisine de la norme N de lapplication donne (en revanche, inutile de passer aux biduals). Enn, si est injective (resp. projective) alors le produit tensoriel de deux isomorphisme mtriques dans (resp. de deux homomorphismes mtriques sur) est une application du mme type pour les produits tensoriels complts relatifs . Bien entendu daprs ce qui prcde, z{ nest projective ni gauche no droite, donc {z nest injective ni gauche ni droite. En revanche : Thorme 5.
z{

est injective, donc {z est projective.

Lassertion relative z{ est en effet triviale. - On trouve donc dintressantes proprits de prolongement et relvement pour les formes ou applications intgrales (ou nuclaires), que le lecteur pourra expliciter. Notons dailleurs quil nexiste malheureusement par de b-norme la fois injective et projective. Remarque. Soient E, G deux espaces de Banach, F un sous-espace vectoriel G nest pas un isomorphisme vectoriel topologique, lapplication E b G

ferm de E, une b-norme. En gnral, lapplication canonique F b G E b

E{F b G nest pas un homomorphisme sur, une -forme sur E G nulle sur F G peut donner par passage au quotient une forme sur E{F G qui nest plus de type , enn une -forme sur F G peut ne pas admettre de prolongement en une -forme sur E G. (Ces deux derniers noncs peuvent aussi sinterprter en termes dapplications linaires). On vient denvisager des hypothses sur pour que certains de ces noncs deviennent positifs, quel que soient E, F, G. Au N prcdent on avait envisag des conditions sur G (tre du type C resp. L) pour que certains de ces noncs deviennent positifs quel que soit le couple (F E), tant suivant les cas z{ ou {z ; on peut dailleurs voir que ces conditions sont dans une large mesure ncessaires. Enn, on peut aussi donner des conditions sur le couple (F E) pour que tous ces noncs ( et G arbitraires) deviennent positifs : il suft que F soit facteur direct dans E, ou aussi (ce

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

23

qui est moins fort) que F 2 soit facteurs direct dans E 2 5. Ici encore, dailleurs, la condition nonc est aussi ncessaire. On peut construire un espace G simple (le mme que celui envisag dans le 1, N6), tel que, si le couple dun espace de p p Banach E et dun sous-espace F satisfait lune des proprits : FbG EbG est q q un isomorphisme vectoriel topologique, FbF E{FbG est un homomorphisme vectoriel-topologique, ou lune des deux variantes de ces proprits, - alors F 2 est facteur direct dans E 2 . 4. Formation de nouvelles b-normes. Il est immdiat que la borne suprieure dune famille quelconque de b-normes injectives gauche (resp. droite) est encore injective gauche (resp. droite). En particulier, si est une b-norme quelconque, il existe un plus grande b-norme injective gauche (resp. droite) majore par . De mme, par dualit, il existe une plus petite b-norme projective gauche (respectivement, droite) minore par . Dnition 2. Les b-normes prcdentes sont notes respectivement {, z, , z. (lire : pr- gauche, pr- droit, pro- gauche, pro- droit). Le trait altrateur de est inclin vers le bas (en partant de ) sil indique b-norme plus petite que (injective gauche ou droite suivant que le trait est plac gauche ou droite), et au contraire inclin vers le haut sil indique une b-norme plus grande que . Les noms donns se justient deux-mmes par ce qui va suivre ("pro" signie "prolongement"). Lune quelconque des 4 oprations sur b-normes quon vient dintroduire suft dailleurs dterminer (au moyen des oprations t et 1 ) toutes les autres, au moyen des formules suivantes (triviales partir des dnitions, et des proprits de t et 1 en relation avec la structure dordre) :
t

p{q pt qz,

p{q zpt q,

On vrie (grce ce qui va suivre) que p{qz {pzq plus grande bnorme injective majore par , on la note simplement par {z et on la nomme pr-. De mme pzq{ zp{q plus petite b-norme projective minore par , on la note simplement par z{, et on la nomme pro-. Pour que soit injective gauche (resp. . . . ) il faut et il suft que { (resp. . . . ).

pzq 1 {p 1 q,

p{q 1 zp 1 q,

pzq {pt q,

p{q 1 p 1 qz.

pzq 1 p 1 q{,

pzq pt q{,

24

PAR A. GROTHENDIECK (SO PAULO)

Thorme 6. Soient E un espace de Banach, C un espace du type C, L un espace du type L, une b-norme. On a des isomorphismes mtriques : C b E C b E,
z {

L b E L b E.
{z

On en conclut aussitt les formules analogues E b C E b C, E b L E b L,


{

C1 b C2 C1 b C2 , L1 b L2 L1 b L2
z{

(o les Ci sont du type C, les Li du type L). En passant aux espaces duals des produits tensoriels envisags, on obtient les noncs quivalents : Corollaire 1. Pour tout forme bilinaire u sur C E, on }u}z }u} . De mme, pour une forme u sur C1 C2 , on a }u}z{ }u} . En termes dapplications linaires : Soit u une application linaire L E (resp. E C, resp. C L) alors }u}z }u} (resp. }u}{ }u} , resp. }u}z{ }u} ). Corollaire 2. Pour toute forme bilinaire u sur L E, on a }u}{ }u}. De mme, pour une forme u sur L1 L2 , on a }u}{z }u} . En termes dapplications linaires : Soit u une application linaire L E (resp. E C, resp. L C) alors on a }u}{ }u} (resp. }u}z }u} , resp. }u}{z }u} ). Se rappelant que tout espace de Banach E est isomorphe un sous-espace dun espace C, ou un espace quotient dun espace L (N 3), et utilisant le fait que { est injective gauche, z projective gauche, le thorme 6 permet le calcul explicite des produits tensoriels E b F pour deux espaces de Banach quelconques, pour lune quelque des b-normes {alpha, z, {z, z, {, z{, au moyen de produits tensoriels au sens de : Corollaire 3. E tant plong dans lespace C du type C, la norme |u|{ dans dans C b F. E b F est celle induite par C b E, donc E b F sidentie ladhrence de E b F
{

On calcule de faon analogue E b F et E b F. Corollaire 4. E tant identi un quotient de lespace L du type L, la norme |u|z dans E b F sidentie la norme |u| de L b F par le noyau de lhomomorphisme L b F E b F, lequel se prolonge donc en un homomorphisme mtrique de L b F sur E b F.
z

{z

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES { z{

25

On calcule de faon analogue E b F et E b F. Ces noncs permettent alors de dterminer les duals des produits tensoriels E b F etc., i. e. les formes bilinaires de type z etc. (o 1 ). On trouve aussitt les deux thormes suivants. Thorme 7. Soient E, F deux espaces de Banach, 0 un homomorphisme mtrique dun espace L0 du type L sur E, une b-norme. Pour toute forme bilinaire u sur E F, les conditions suivantes sont quivalentes : a. u est de type {, et }u}{ 1. b. La forme u p0 b 1q sur L0 E dnie par u est de type et a une -norme 1. c. On peut trouver un homomorphisme mtrique dun espace de Banach E1 sur E de telle faon que la forme u p b 1q sur E1 F dnie par u soit de type , et de -norme 1. d. Pour toute application linaire continue dun espace L (du type L) dans E, la forme composs v u p b 1q est de type , et de -norme 1. En langage dapplications linaires : Lapplication linaire u de E dans F est de {-norme 1 (resp. de z-norme 1) si on peut trouver un homomorphisme mtrique dun espace E1 sur E tel que u soit de -norme 1 (resp. si on peut trouver un isomorphisme mtrique de F dans un espace F1 tel que u soit de -norme 1). Dans cet nonc, on peut supposer E1 du type L, F1 du type C. Caractrisation correspondante pour les {z-applications. Une interprtation plus maniable de ces applications est donn par le Corollaire 1. Soit u une application linaire continue de E dans F. Pour que }u}{ 1 (resp. }u}z 1) il faut et il suft que pour toute application linaire continue v dun espace L du type L dans E (resp. de F dans un espace C du type C) uv (resp. vu) soit de type et de -norme }v}. Corollaire 2. Pour que }u}{z 1, il faut et il suft que pour toute application linaire continue v dun espace L du type L dans E, et toute application linaire continue w de F dans un espace C du type C, wuv soit de type , et de -norme }w} }v}. Thorme 8. Soient E, F deux espaces de Banach, on suppose E immerg dans un espace C0 du type C par un isomorphisme mtrique 0 , soit une b-norme. Pour toute forme bilinaire u sur E F, les conditions suivantes sont quivalentes :
{

26

PAR A. GROTHENDIECK (SO PAULO)

a. u est de type z, et }u}z 1. b. u se prolonge en une -forme v sur C0 F, de -norme 1. c. Quel que soit lisomorphisme mtrique de de E dans un espace E1 , u se prolonge en une -forme v sur E1 F, de -norme 1. d. On peut factoriser u en u vpb1q, o est une application linaire de norme 1 convenable, dans un espace C du type C convenable, et v une forme sur C F de -norme 1. Interprtons une partie de cet nonc en langage dapplications linaires : Lapplication linaire u de E dans F et de z-norme 1 (resp. de {-norme 1) si quel que soit limmersion mtrique de E dans un espace E1 , on peut prolonger u en une application de E1 dans F 2 de -norme 1 (resp. si quelle que soit la faon raliser F comme un quotient mtrique dun espace F1 , u peut 2 se relever en une application linaire de E dans F1 de -norme 1). En n, }u}z{ 1 signie que quel que soit limmersion mtrique de E dans E1 et la ralisation de F comme un quotient mtrique dun espace F1 , u provient dune 2 application linaire v de E1 dans F1 , de -norme 1. A cause de ces proprits, on pourra dire aussi que les applications de type z (resp. de type {, resp. de type z{) sont les applications qui ont la proprit de -prolongement (resp. de -relvement, resp. de -prolongement-relvement). Une interprtation plus maniable des applications prcdentes au moyen de factorisations typiques est donne dans le Corollaire 1. Soit u une application linaire continue de E dans F. Pour que }u}z 1 (resp. }u}{ 1) il faut et il suft que u se factorise en E C F2 avec }} 1, }u} 1 Corollaire 2. Pour que }u}z{ 1, il faut et il suft que u se factorise en E C L F2 avec }} 1, }} 1, }v} 1. On notera dailleurs que pour que u soit de type z{, il ne suft pas quelle satisfasse simultanment aux deux conditions du corollaire 1. Par exemple, faisant z{, une application linaire continue quelconque de L dans C satisfait aux deux conditions du corollaire 2, mais nous verrons quelle nest de type zz{{que si elle est intgrale, ce qui nest pas le cas en gnral. Pour nir ces gnralits, signalons la consquence immdiate suivante des critres qui prcdent (p. ex. sous forme des corollaires 3 et 4 du thorme
v v

presp. E L F 2 q

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

27

6) : Soient et deux b-normes telles que (o est un scalaire donn), alors on a aussi { {, z z, z z, { { (donc aussi {z {z et z{ z{). 5. Complments sur {{z, {zz, {{zz, zz{, z{{, zz{{. Appliquant les oprations prcdentes { etc aux b-normes z{ et {z, mais en tenant compte du thorme 5, on trouve exactement les 6 nouvelles b-normes indiques dans le titre du prsent N. On posera pour abrger (1)
zz{

C,

z{{

pdonc t C L, t L Cq.

En vertu du thorme 8 corollaire 1, les applications linaires de E dans F telles que }u}C 1 sont exactement celles qui se factorisent en E C F2 avec }} 1, }v} 1, lespace C du milieu tant du type C ; ou encore celles qui ont la proprit suivante : quel que soit le sur-espace norm complt E1 de E, u se prolonge en une application linaire de norme 1 de E1 das F 2 . On dit aussi que les applications de type C ont la proprit de prolongement (comparer avec la terminologie introduite aprs thorme 8 ; ici z{). On laisse au lecteur la caractrisation des applications linaires telles que }u}L 1 ; on dit aussi que les applications de type L ont la proprit de relvment. Enn, les applications de type zz{{ sont celles qui ont la proprit de prolongement-relvement (ce qui est plus fort que la conjonction des deux proprits de prolongement et de relvement, cf. N 4, avant-dernier alina). Les b-normes duales de C et L sont respectivament (2) C 1 {{z et L 1 {zz pdonc t C 1 L 1 , t L 1 C 1 q. La duale de zz{{ est {{zz. Conformment la terminologie gnrale, les C 1 -applications (resp. les L 1 -applications, resp. les {{zz-applications) sont appeles applications printgrales gauches (resp. applications printgrales droites, resp. applications printgrales), les normes correspondantes sont appeles normes printgrales gauche (resp. . . . ). En vertu du thorme 7, une application linaire u de E dans F a une norme printgrale gauche }u}C 1 1 si et seulement si E est un quotient mtrique dun espace E1 (quon peut alors supposer du type L) tel que lapplication de E1 dans F dnie par u soit de norme intgrale 1. nonces analogues pour les applications printgrales droites, et pour les applications printgrales. Proposition 2. Soit u une application linaire de norme printgrale gauche (resp. droite) 1, dun espace de Banach E dans un autre F. Alors u peut se
v

28

PAR A. GROTHENDIECK (SO PAULO)

factoriser en (resp. en E L8 pq L2 pq F ) o est une mesure positive de norme 1 sur un espace compact K convenable, v et w sont des applications linaires de norme 1, enn i est lapplication dinjection. (Il suft par exemple de prouver le deuxime nonc - dont le premier rsultera par transposition - ; il se dmontre en utilisant la caractrisation des applications printgrales droites au moyen des applications intgrales, la caractrisation de ces dernires donne dans le N 1, thorme 1, corollaire 1, et en utilisant enn le fait que pour tout sous-espace vectoriel ferm de lespace de Hilbert L2 pq, il existe une projection de norme 1 de ce dernier sur le sous-espace ; voir aussi [4], 4, N 6. Corollaire. Lapplication composs de deux applications printgrales gauches (resp. de deux applications printgrles droites) u et v, est nuclaire, et on a N{z pvuq }v}C 1 }u}C 1 (resp. N{z pvuq }v}L 1 }u}L 1 ).
v

E L2 pq L1 pq F 2
i w

Prouvons par exemple la deuxime assertion. On peut supposer videmment }u}L 1 }v}L 1 1. Factorisons v comme indiqu dans la proposition, vu scrit alors le comme le compos de la squence E F L8 L2 G. Mais le compos de des deux premires applications est de norme intgrale 1 (en vertu de thorme 6, corollaire 2, L8 tant de type C), donc le compos avec L8 L2 est de norme nuclaire 1 puisque L2 est rexif (N 1, thorme 2, corollaire), do aussitt la conclusion. 6. Tableau des b-normes naturelles. On pose (1) {C, 1 C 1, Lz 1 L1 (donc t , t ). (donc t 1 1 , t 1 1 ).
u

Les b-normes duales sont donc (2) Cela donne 4 nouvelles b-normes. La caractrisation des applications de type 1 ou 1 par factorisasions typiques est incluse dans le thorme 8, corollaire 1, et offre peu dintrt. Pour les applications de type 1 et , le thorme 7 se spcialise facilement en la

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

29

Proposition 3. Pour que lapplication linaire u de E dans F soit de -norme 1 (resp. de -norme 1), il faut et il suft quelle se factorise en E F2
v w

(resp. en E F)

o est un espace quotient norm dun espace du type C, un sous-espace norm dun espace du type L, enn v et w sont des applications linaires de norme 1. En mme temps, cet nonc assigne une place remarquable, par leurs proprits vectorielles-topologiques, aux espaces quotients despaces du type C et les sous-espaces despaces du type L. Considrons la plus petit ensemble de b-norme qui contient la b-norme fondamentale z{, et est stable par les oprations 1 , t , {. sera aussi stable sous les oprations z, z, {. Dnition 3. On applle b-norme naturelle une b-norme quivalente (voir 1, N 6) une b-norme de lensemble prcdent (engendr par z{au moyen des oprations 1 , t , {). On notera quil existe des b-normes non dnues dintrt qui ne sont pas "naturelles" (il en existe mme une innit continue non quivalentes deux deux). - Nous verrons quen outre des 12 classes de b-normes dj rencontres, saboir les classes des b-normes
z{, {z, C, L, C

, L 1 , zz{{, {{zz, , , 1 , 1 ,

il nen existe plus que deux autres, saboir les classes des b-normes zH et H{, o H est la b-norme hilbertienne qui sera dnie au 3, N 1 (et dont nous verrons au 4 quelle est quivalente la b-norme printgrale {{zz). Comme nous verrons (3, N 1) que les applications linaires u de E dans F de norme w hilbertienne }u}H 1 sont exactement celles qui peuvent se factoriser en E H F, avec }u} 1, }w} 1, H tant un espace de Hilbert convenable, le thorme 8, corollaire 1, donne aussitt une caractrisation correspondante des applications de type zH resp. H{, applications appeles prohilbertiennes gauches resp. prohilbertiennes droites. (On dit aussi que ce sont les applications ayant la proprit de prolongement hilbertien, resp., de relvement hilbertien). Ainsi, la proposition 2 montre quon a les ingalits (3) C 1 H{, L 1 zH.

30

PAR A. GROTHENDIECK (SO PAULO)

TABLEAU DES b-NORMES NATURELLES


{z intgrale E L8 L1 F

1 C 1 prolongement printgral gauche E C {{z F 2

1 L 1 { relvement printegral droit E {zz L F 2

C 1 {{z printgrale gauche

zz{{ prolongement relvement E C L F2

L 1 {zz printgale droite

H{ relvement hilbertien E H L F2

zH prolongement hilbertien ECHF

L z{{ relvement E L F2

{{zz printgrale (quivaut H)

C zz{ prolongement E C F2

Lz prrelvement droit EF

{C prprolongement gauche E F2

z{ norme usuelle EF

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

31

Explications. - 1. Dsignations et factorisations typiques. Nous avons insr les diverses b-normes usuelles par leur signe usuel ou leur signes usuels (permettant den reconnaitre la formation), ainsi que leur nom. Chaque fois que pour une de ces b-normes, soit , on peut caractriser les -applications par une factorisation typique, par exemple dans le cas zz{{ par la factorisation E C L F 2 ,nous avons indique cette factorisation en dessous de la dsignation de la b-norme envisage. Dans ces diagrammes, L, C, H dsignent respectivement des espaces du type L, du type C, ou des espaces de Hilbert, un sous-espace L, un quotient dun espace C. Dans la factorisation typique pour {z, nous avons crit L8 L1 pour indiquer lapplication dinclusion de L8 pq dans L1 pq, o dsigne une mesure positive de masse 1 sur un compact convenable. Dans la factorisation typique E C {{z F 2 pour 1 , la deuxime che dsigne une application de type {{z ; remarque analogue pou la factorisation typique pour 1 . 2. Symtries. Les b-normes du tableau, symtrique par rapport laxe vertical, sont transposes lun de lautre. Les b-normes symtriques par rapport au centre du tableau son duales lune de lautre. Cela se lit en effet aussitt sur le tableau, sauf le fait que les deux b-normes prohilbertiennes gauche et droite zH et H{ sont duales lune de lautre ; en fait, on peut seulement afrmer que chacune est quivalente la duale de lautre, ce qui est un rsultat non trivial qui sera obtenu au 3, N 5. - Des deux symtries prcdentes rsulte que deux b-normes et , symtriques par rapport laxe horizontal du tableau, sont contragrdientes lune de lautre : z{ t p 1 q pt q 1 (cepedant pour zH et H{, ce sera seulement vrai une quivalence prs). En dautres termes, si on compose une -application et une -application, on trouve une application intgrale (1, N 4, thorme 5 ; signalons quon montre que les b-normes de la famille sont accessibles - car si une b-norme est accessible, il en est de mme de celles quon en dduit par les oprations { etc -, de sorte quon est bien dans les conditions dapplications de ce thorme). 3. Implications. Une che signie que domine (1, N 6), i.e. quil existe un tel que , ou encore que toute -application est aussi une -application. Les implications indiques par les 4 ches du carr central ne seront tablies quau 4 (elles sont quivalentes entre elles daprs les symtries signales plus haut, et signient aussi, comme on vrie facilement, que {{zz est quivalente la b-norme hilbertienne H comme nous lavions dj annonc plus haut. Toutes les autres ches indiquent mme des ingalits strictes , et sont peu prs triviales grce ce qui a dj t obtenu. (Par raison de symtrie, il suft par exemple de vrier les implications donnes dans le carre suprieur gauche, ce quon lit facilement sur les formules (3) et les factorisations

32

PAR A. GROTHENDIECK (SO PAULO)

typiques, par exemple). Pour vrier que le tableau contient toutes les b-normes naturelles des quivalences prs, il suft de vrier quen appliquant lune quelconque dentre elles lopration {, on retrouve une quivalence prs une b-norme du tableau. Cela noffre pas de difcults, une fois admis les rsultats fondamentaux du 4 signals plus haut. On a donc exactement 14 classes (bien explicites) de b-normes naturelles. (Il est cependant bien probable que lensemble lui-mme, introduit avec la dnition 3, est inni). Signalons aussi quon vrie par des exemples (en considrant des applications particulires entre espaces du type L, C ou H) quil ny a pas dautres implications entre les b-normes naturelles que celles indiques dans le tableau, sauf quil est possible quon ait encore les relations C 1 C et L 1 L. Ce sont l deux conjectures quivalentes (daprs les symtries du tableau des b-normes) ; on lit sur le tableau quelles quivalent aussi une rponde afrmative la question : le compos dune C 1 application et dune L 1 -application est-il intgral ? (Comparer N 5, proposition 2). - En tous cas, de qui prcde montre que les 14 classes de b-normes obtenues sont bien distinctes. Pour nir, signalons que si lun des espaces E, F est du type C, L ou H (rappelons que "type H" signie : espace de Hilbert), alors le nombre des classes dapplications linaires de E dans F qui correspondent aux diverses b-normes naturelles se rduit, suivant les cas, au nombre de 5 ou 6 au plus ; et quand E et F sont tous deux dun des types C, L, H, ce nombre se rduit deux ou trois au plus : deux si E et F sont de types distincts (donc il ny a considrer dans ce cas que les deux classes extrmes de toutes les applications linaires continues, ou des applications intgrales de E dans F), trois si E et F sont du mme type. Dans ce dernier cas, la classe dapplications linaires de E dans F intermdiaire entre les deux extrmes est la classe des applications hilbertiennes (= printgrales) dans le cas o E et F sont tous deux du type C ou tous deux du type L, et la classes des applications de Hilbert-Schmidt quand E et F sont tous deux des espaces de Hilbert. Tous ces afrmations sexplicitent et se dmontrent sans aucune difcult laide de ce qui a t dit, lexception du dernier fait, qui sera inclus dans les rsultats du 3, N 6. 3 - LES b-NORMES
LIES L ESPACE DE

HILBERT.

1. Dnitions et gnralits pour H et H 1 .

Thorme 1. Il existe une b-norme H et une seule ayant la proprit suivante : Si u est une forme bilinaire sur le produit de deux espaces de Banach E et F quelconques, on a }u}H 1 si et seulement si il existe des applications linaires

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

33

, de norme 1 de E resp. F dans un espace de Hilbert convenable H resp. son dual H 1 , telles que lon ait upx, yq xx, yy (pour x P E, y P F). Corollaire. Pour quune application linaire u de E dans F satisfasse }u}H 1, il faut et il suft quelle se factorise en (1) E H F
v w

o H est une espace de Hilbert, et v et w sont de norme 1. Dnition 1. La b-norme introduite avec la thorme 1, sera toujours note H, et appelle b-norme hilbertienne. Les H-formes et H-applications seront dites formes et applications hilbertiennes. Il sensuit aisment que les formes hilbertiennes sur E F sont celles qui sont encore continues quand on munit E et F de semi-normes prhilbertiennes 6 continues convenables (il suft mme que u devienne continue quand on remplace que lune des normes de E resp. F par une semi-norme prhilbertienne continue). Les applications hilbertiennes sont celles qui se factorisent comme dans (1), o H est un espace de Hilbert et v et w des applications linaires continues. De ce qui prcde rsulte aussitt la Proposition 1. H est une b-norme symtrique (t H H) et injective (2, N 3). Donc la b-norme duale H 1 est symtrique et projective. On en conclut (2) H {{zz, H 1 zz{{
zz{{

(car {{zz est la plus grande b-norme injective, tive) ; par suite :

la plus petite b-norme projec-

Corollaire. Une forme ou application u printgrale (2,N 5) est hilbertienne, et on a }u}H }u}{{zz . De mme, les H 1 -applications ont la proprit de prolongement-relvement. En utilisant les 1, N 4, th. 4 et la caractrisation des H-formes donne dans le thorme 1, on obtient la caractrisation suivante des H 1 -formes : Proposition 2. Soit u une forme bilinaire sur E F. Pour que }u}H 1 1, il faut et il suft que pour toute application linaire de norme 1 dun Hilbert H dans E, la forme u p b 1q sur H F soit intgrale, de norme intgrale 1. Dans cet nonc, on peut supposer que H est lespace de Hilbert l2 classique, on peut aussi y changer la droite et la gauche, ou donner lnonc "bilatre"

34

PAR A. GROTHENDIECK (SO PAULO)

correspondant, avec des applications linaires et de H dans E resp. F. On laisse aussi au lecteur la caractrisation correspondante des H 1 -applications. Signalons comme consquence du 2, N 1, th. 2 que le compos dune Happlication u et dune H 1 -application v est nuclaire (et non seulement intgral), et quon a N{z pvuq }u}H }v}H 1 . Dans cet nonc, on peut changer H et H 1 . 2. H-formes hermitiennes. Soient E et F deux espaces vectoriels. Une fonction scalaire upx, yq sur E F est dite forme sesquilinaire si elle est linaire par rapport x et antilinaire par rapport y. Cela signie aussi que cest une forme bilinaire sur E F, o F est lespace vectoriel dont le groupe additif coincide avec celui de F, mais o la multiplication par le scalaire est la multiplication par dans le vectoriel F (de sorte que lapplication identique F F est antilinaire 7). Les formes sesquilinaires sur E F peuvent donc aussi tre regardes comme les formes linaires sur le produit tensoriel E b F. Si maintenant E et F sont des espaces de Banach, F est un espace de Banach, et si est une b-norme, une forme sesquilinaire u sur E F est dite de type , si elle est de type en tant forme bilinaire sur EF. La -norme de cette dernire est encore note }u} . Lespace des formes sesquilinaires de type sur E F est donc le dual de lespace de Banach E b F. - En particulier, si est la b-norme hilbertienne H, le th. 1 montre que si u est une forme sesquilinaire sur E F, on a }u}H 1 si et seulement si on a upx, yq px, yq, o et sont des applications linaires de norme 1 de E resp. F dans un espace de Hilbert convenable H (o le produit scalaire est not pa, bq comme usuellement). Supposons maintenant E F. On munit E b E dune involution antilinaire naturelle v v , faisant correspondre ybx xby (on dsigne par une barre au dessus de la lettre dun lment de E, le mme lment, mais considr comme lment de E). Dans lespace des formes sur E b E, i. e. lespace des formes sesquilinaires sur E E, il lui correspond une involution antilinaire naturelle u u , donne par xv , uy xv, u y u px, yq upy, xq Un lment u dun espace vectoriel P muni dune involution antilinaire u u est dit hermitien si u u . En particulier, cela redonne ici la notion usuelle de forme hermitienne sur E E. - Supposons maintenant que E est un espace de Banach, alors pour toute b-norme , linvolution v v sur E b E est
1

ce qui scrit aussi, en terme des formes sesquilinaires :

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

35

une isomtrie pour |v| , il en rsulte que si u est une forme sesquilinaire de type 1 sur E E, alors u est encore de type et a mme -norme que u. Donc, pour que u soit de type , il faut et il suft que ses composantes hermitienne pu ` u q{2 et antihermitienne pu u q{2 le soient. (Cela ramne en principe la dtermination des formes hermitiennes de type , du moins dans le cas des scalaires complexes, auquel on peut dailleurs toujours se ramener). Enn, signalons que, le dual de E b E tant lespace des formes sesquilinaires de type 1 sur E E, il en rsulte aussitt que le dual de sous-espace

hermitien de E b E sidentie, avec sa norme, lespace des formes hermitiennes de type sur E E. On appelle forme positive sur E E une forme sesquilinaire u telle que upx, xq 0 pour tout x P E. Une telle forme est hermitienne. Si u et v sont deux formes hermitiennes, on crit u ! v ou v " u pour indiquer que v u est positive. On a l une relation dordre compatible avec la structure despace vectoriel. Enn, supposons de nouveau que E soit un espace de Banach, alors un lment de E b E est dit positif sil est hermitien, et si la forme hermitienne sur E 1 E 1 quil dnit est positive. Thorme 2. Soit E un espace de Banach. 1. Soit u une forme positive continue sur E E. Alors u est hilbertienne, et on a }u}H }u} sup |upx, xq|
}x}1

2. Soit u une forme hermitienne sur E E. Pour que }u}H 1, il faut et il suft que lon puisse trouver une forme positive v sur E E, de norme 1, telle que v ! u ! v. Ces noncs rsultent aussitt du th. 1, quand on remarque que la relation v ! u ! v signie prcisment que |upx, yq| vpx, xq1{2 vpy, yq1{2 pour tout x P E, y P E, comme on vrie sans difcult. Corollaire 1. Les formes hermitiennes sur E E qui sont hilbertiennes sont exactement celles qui sont diffrence de deux formes positives continues, ou encore celles qui sont majores par une forme positive continue. De faon prcise, si u ! v avec v " 0, on a u v pv uq, o v " 0, v u " 0, do }u}H }v} ` }v u} 2}v} ` }u}. - Variante utile du thorme 2: q Corollaire 2. Soit u un lment hermitien de EbE. Conditions quivalentes : q a. u P EbE ;

36

PAR A. GROTHENDIECK (SO PAULO)

q b. u est diffrence de deux lments positifs de EbE ; - De plus, |u|H }u}H est la borne infrieure des |v| }v} pour les v envisages dans la condition d.7 bis 3. H 1 -formes hermitiennes. Par polarit, on tire du thorme 2 le Thorme 3. Soit u une forme hermitienne sur E E. Supposons quil existe une H 1 -forme hermitienne v sur E E telle que v ! u ! v, alors u est de type H 1 et }u}H 1 }v}H 1 . Rciproquement, si u est de type H 1 , on peut trouver une forme hermitienne positive intgrale v sur E E qui majore u. En fait dans ce dernier nonc, on peut mme prendre v de la forme x b x dpxq (1) v
B

q d. Il existe un lment positif v dans EbE tel que v ! u ! v.

q c. u est major par un lment positif EbE ;

o B est la boule unit de avec sa topologie faible, une mesure positive sur B de norme }u}H 1 . (Jignore si on peut mme choisir cette v de faon de que lon ait v ! u ! v). Appliquant aussi la deuxime partie du thorme 3 u, on trouve : Corollaire 1. Pour que la forme hermitienne u sur E E soit de type H 1 , il faut et il suft que lon puisse trouver une forme positive intgrale v sur E E telle que v ! u ! v. On peut choisir cette v telle que (2) }v}{z 2}u}H 1 . En fait on peut mme choisir v de la forme (1), avec }} 2}u}H 1 . Corollaire 2. Soit u une forme hermitienne positive sur E E. Pour que u soit de type H 1 , il faut et il suft quelle soit majore par une forme positive intgrale v. }u}H 1 est la plus petite des normes intgrales de ces v. Cest dailleurs aussi la plus petite des normes des mesures positives sur la boule unit B de E 1 , telles que u ! v, o v est donne par (1). La deuxime partie du thorme 3 se prcise de faon remarquable dans le cas o e est une espace C0 pMq : Corollaire 3. Soit u une H 1 -forme hermitienne sur E E, o E C0 pMq. Alors il existe une mesure positive sur M, de norme }u}H 1 , telle que u ! v , o on pose v pf, gq fg d

E1

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

37

(pour f, g P C0 pMq). Noter dailleurs que v est prcisment de la forme (1), o on identierait M une parte de la boule unit du dual de C0 pMq la faon usuelle : v M x b x dpxq (intgrale faible). (En fait, on peut dmontrer dabord directement le corollaire 3, et on conclure aussitt le th. 3 grce au fait que, H 1 tant projective, u se prolonge en une forme hermitienne de mme H 1 -norme sur un produit C C, lorsquon plonge E dans un espace C tu type C). On trouve aussi lanalogue du corollaire 1 : on peut trouver sur M une mesure positive telle que (3) v ! u ! v avec }} 2}u}H 1 .

La premire ingalit scrit aussi : 1{2 1{2 2 2 (4) |upx, yq| |x| d |y| d

px, y P C0 pMqq

en dautres termes u se prolonge par continuit en une forme de norme 1 sur L2 pq L2 pq. Si maintenant u est une H 1 -forme sesquilinaire quelconque sur un produit C0 pMq C0 pNq, soit P un espace somme topologie de M et N, alors u est la restriction de la forme hermitienne Upx`y, x 1 `y 1 q upx, y 1 q`upx 1 , yq sur C0 pPq C0 pPq, forme qui satisfait }U}H 1 2}u}H 1 et laquelle on peut donc appliquer le rsultat prcdent. Cela donne : Corollaire 4. Pour toute forme sesquilinaire (donc aussi toute forme bilinaire) u de type H 1 sur C0 pMq C0 pNq on peut trouver sur M une mesure positive , sur N une mesure positive , de normes 2}u}H 1 , telles que u se prolonge par continuit en une forme de norme 1 sur L2 pq L2 pq. (A fortiori H est hilbertienne et de norme hilbertienne 2}u}H 1 ). Ces deux corollaires ainsi que les suivants prennent tout leur intrt en vertu des rsultats du 4, N 2, qui impliquent en particulier que toute forme continue sur le produit de deux espaces du type C est une H 1 -forme. Variante du corollaire 4 : Corollaire 5. Soit u une forme bilinaire (ou sesquilinaire) de type H 1 et faiblement sparment continue sur L8 pqL8 pq, alors il existe une forme bilinaire v de norme 1 sur L2 pq L2 pq, et des lments f resp. g de L2 pq resp. L2 pq, de norme 2}u}H 1 , tels que lon ait (5) upx, yq vpxf, ygq px P L8 pq, y P L8 pqq.

On en conclut ceci :

38

PAR A. GROTHENDIECK (SO PAULO)

Corollaire 6. Soit u P L1 pqbL1 pq, alors il existe un v P L2 pqbL2 pq, |v|z{ 1 et des lments f P L2 pq et g P L2 pq de norme 2}u}H 1 , tels que (6) u vpf b gq (o le produit est un produit multiplicatif ordinaire de classes de fonctions mesurables pour b ). 4. Premires relations entre H, H 1 , etc. . Le corollaire 4 du thorme prcdent donne facilement compte tenu que H 1 est projective, la Proposition 3. On a (1) H H 1

o la meilleurs constante possible satisfait 1 2. (Il nest dailleurs pas exclu quon ait mme 1). Comme H 1 est projective, on en conclut, compte tenu de la n de 2, N 4, les ingalits (2) zH, H{, zH{ H 1

( est encore la meilleurs constante dans chacune de ces trois ingalits). On a donc le diagramme dimplications H1
~ ~~ ~~ ~~~ ?? ?? ?? ?? 

H{
AA AA AA AA    

o les ches ont la mme signication que dans le tableau du 2, N 6. Dautre part, la dmonstration de 2, N 5, prop. 2 prouve aussi la Proposition 4. H{ est injective gauche, donc zH est injective droite : (3) {pH{q H{, pzHqz zH Conjuguant avec le premire ingalit (2), on trouve zH H 1 z, or H 1 z pH{q 1 pzHqz{ , do (4) zH pzHqz{ pH{q 1 pdonc aussi H{ pH{qz{ pzHq 1 q. (Ici encore, est la meilleurs constante). Au N suivant, nous obtenons des ingalits en sens inverse pzHqz{ zH et pH{qz{ H{, ce qui prouvera qui zH

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

39

et H{ sont chacune quivalente la duale de lautre, i.e. sa propre contragrdiente, comme nous lavions annonc au 2, N 6. 5. Relations plus profondes entre les b-normes lies lespace de Hilbert. Soit H lespace Rn avec sa structure usuelle despace de Hilbert 8. Soit u la forme produit scalaire sur H H, on va calculer }u}{H 1 z , ce qui aussi la {H 1 znorme de lapplication identique de H sur lui-mme. Soit G Opnq le groupe des transformations orthogonales de H, muni de sa mesure de Haar m (mp1q 1), soit a un point xe de H de norme 1. Si f P L1 pmq, soit Uf "loprateur de composition" Uf fpsqs dmpsq et posons
G

pfq Uf a

fpsqs.a dmpsq.

On voit aussitt que est un homomorphisme mtrique de L1 sur H. Soit v la forme vpf, gq upf, gq sur L1 L1 , alors en vertu de 2, N 4, th. 7, on (1) }u}{H 1 z }v}H 1 . On a vpf, gq pUf a, Ug aq pU Uf a, aq pUgf a, aq (o suivant lusage, r g r r dsigne le produit de convolution, et gpsq gps1 q). On obtient donc (2) vpf, gq xr f, y g o psq ps.a, aq. Daprs le thorme 3, corollaire 2, }v}H 1 est la plus petite des normes des mesures positives sur la boule unit B du dual L8 de L1 , telle que v ! v B fbf dpfq. Comme la forme v est invariante par translation, os peut supposer invariante par translation, alors on voit aussitt que r f f dpfq (intgrale faible). (3) v pf, gq xr f, y g o
B

Donc v ! v quivaut ! (au sens de la relation dordre usuelle entre fonctions de type positif sur le groupe compact G). Comme est une fonction de type positif "lmentaire", associe la reprsentation unitaire irrductible de G obtenue partir de la reprsentation identique par complexication de H, que est de type positif, et que pour vrier une ingalit ! il suft de vrier que V V pour toute reprsentation unitaire irrductible V de G, dans le cas actuel lingalit envisage quivaut simplement U U 1 (ingalit entre oprateurs hermitiens dans H). Or U n a b a, o a b a dsigne la projection orthogonale de H sur la droite engendre par a ; compte tenu de lexpression (3) de , notre ingalit devient : 1 U Uf dpfq. (4) aba f n B

40

PAR A. GROTHENDIECK (SO PAULO)

}v}H 1 est la plus petite des normes de mesures positives sur B telles quon ait (4). Or (4) implique, en calculant pA.a, aq quand A est lun ou lautre membre de cette ingalit : 1 }Uf }2 dpfq. (5) n B Soit Mn la norme de lapplication f Uf a de L8 dans H induite par . (5) 1 donne 1{n M2 }}, i.e. }} n M2 , donc n n 1 2 M n n Dautre part, on va prouver lingalit en sens inverse. On a Uf a Ufs a pour tout s P G tel que Us a a, i.e. s.a a. On en conclut aisment que pour calculer Mn supfPB }Uf a}, on peut se borner aux f P B qui sont invariantes par translations droites sous le groupe H stabilisateur de a, i.e. qui peuvent tre regardes comme des fonctions mesurables bornes de norme 1 sur lespace homogne G{H S (sphre unit de H), muni de la mesure m 1 image de m (caractrise par le fait dtre invariante par rotations, et de masse totale 1). On a donc Mn sup S fpxqx dm 1 pxq, f par courant la boule unit de L8 pm 1 q. On voit facilement, par raisons de symtrie, que le maximum est atteint pour la fonction (6) }v}H 1 (7) pour laquelle on obtient (8) U f 0 a Mn a do Mn pUf0 a, aq f0 pxq sgnpa, xq |px, aq| dm 1 pxq.

De plus Uf0 s Uf0 pour tout s P H, ce qui prouve que Uf est proportionnel a b a, donc compte tenu de (8) on obtient (9) Uf0 Mn a b a. Prenons alors pour la masse 1{nM2 au point f0 de B, le deuxime membre n 1 de (4) est alors }}U0 Uf0 n a b a, donc lingalit (4) est vrie. Par suite f 1 }v}H 1 n M2 , do, compte tenu de (1) et (6) : n (10) 1 2 M . n n Le calcul explicite de Mn par la formule (8) noffre pas de difcult. On prouve {2 2 2 xn dpxq sen cosn2 Sn2 d Mn Sn1 S` Sn1 0 2 Sn2 Sn2 1 n2 x dx 2 Sn1 0 n 1 Sn1 }v}H 1 }u}{H 1 z

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

41

(o d est la mesure euclidienne usuelle sur S, et o Sk dsigne la surface de la sphre euclidienne de dimension k). Cela donne ` n 2 ? ` 2 (11) Mn pn 1q n1 2 On en conclut, en utilisant les ingalits de convexit sur la fonction : (12) 1 2 Mn , n 2 1 2 Mn n`8 n 2 lim

1 Se rappelant quen vertu de (10), n M2 est la {H 1 z-norme de lapplication idenn tique de lespace de Hilbert de dimension n sur lui-mme, on conclut de (12) le

Thorme 4. Soit H un espace de Hilbert. Alors la {H 1 z-norme de lapplication identique de H sur lui-mme, identique la {H 1 z-norme de la forme px, yq sur H H, est nie et pi , lgalit ayant lieu si et seulement si H est de 2 dimension innie. Si est une b-norme quelconque, lingalit H (ou encore H 1 1 ) est quivalente, en vertu de la caractrisation des H-applications, lassertion que pour tout espace de Hilbert H, lapplication identique de H sur lui-mme a une -norme . Donc le thorme 4 quivaut au Corollaire 1. On a (13) {H 1 z H po H 1 zH{q

( {2 est la meilleurs constante possible). La deuxime formule implique fortiori H 1 zH, do H 1 z pzHqz. Compte tenu de prop. 4, on a donc H 1 z zH, i.e. Corollaire 2. On a (14) et la forme transpose (14 bis) pzHq 1 pH{qz{ H{ pH{q 1 pzHqz{ H{.

(Ce sont les formules promises la n de N 4). Il nest dailleurs pas difcile de voir que {2 est encore la meilleure constante. Corollaire 3. Sur le produit de deux espaces du type L (resp. de deux espaces du type C) les H-formes et les H 1 -formes sont les mmes, et on a (15) }u}H 1 }u}H , }u}H }u}H 1 .

42

PAR A. GROTHENDIECK (SO PAULO)

(On voit en effet facilement que ces ingalits sont quivalentes respectivement au corollaire 1 prcdent, et la prop. 3). - Donc pour une application linaire dun espace C dans un espace L ou dun espace L dans un espace C, il revient au mme dtre de type H, ou de type H 1 . Soit u une application linaire de norme 1 dun espace C C0 pMq dans un espace de Hilbert H. Alors la forme pux, uyq sur C C a une norme hilbertienne 1, donc en vertu du corollaire prcdent une H 1 -norme , donc en vertu du th. 3, corollaire 3, il existe sur M une mesure positive de norme telle que pux, uyq xx d pour tout x P C. Do aussitt le

Corollaire 4. Soit u une application linaire de norme 1 de C0 pMq dans un espace de Hilbert H, alors u se factorise en C0 pMq L2 pq H ` o est une mesure positive de norme 2 sur M, o i est lapplication canonique, et v une application linaire de norme 1. Par transposition, cela donne facilement :
i v

Corollaire 5. Soit u une application linaire de norme 1 dun espace de Hilbert H dans un espace L1 pq, alors u se factorise en H L2 pq L1 pq o v est une application linaire de norme 1, et o j est lopration de multiplication par une f P L2 pq convenable, de norme p {2q. Dans ces corollaires encore, on voit facilement que la meilleurs constante est . Tous les corollaires qui prcdent sont en fait quivalentes au thorme 4, dont on peut donner nombreux noncs quivalentes ; nous en verrons encore quelques-uns particulirement intressants au N suivant, th. 6. 6. Les classes naturelles doprations linaires dans lespace de Hilbert. Si H est une espace de Hilbert, son dual H 1 sidentie lespace H dni au N 2, donc si E est un espace de Banach, H b E sidentie lespace des applications linaires continues de rang ni de H dans E. Soit maintenant une b-norme ; pour tout couple H1 , H2 de deux espaces de Hilbert |u| est une norme raisonnable sur H1 b H2 , invariante par transformations unitaires dans H1 et H2 . Daprs les rsultats de Schatten [10] Chap.8 bis cette norme est de la forme (1) |u| N ppi puqqq
v j

q o pour u P H1 bH2 , pi puqq dsigne la suite dcroissante innie des valeurs uq1{2 P LpH q (chacune rpte suivant sa multiplicit ; on rajoute propres de pu 1

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

43

de zros si la suite des valeurs propres est nie, i.e. H1 de dimension nie), et o N est une "gauge-function" de Schatten, i.e. une norme sur RpNq (N, ensemble des entiers naturels) invariante par permutations de N est par multiplication, dans RpNq , par des suites "unitaires" (i.e. dont tous les termes sont de module 1). N est bien dtermine par si on veut la formule (1) soit valable pour tout couple de deux espaces de Hilbert H1 et H2 9, et on vrie aisment les formules (2) N Nt , N 1 pN q 1

(o pN q 1 est la norme de Schatten polaire de N , RpNq tant mis dualit avec lui-mme de la faon usuelle). On en conclut pour toute u P H1 b H2 : (3) |u| |u|t |u | |u |t }u} }u}t }u } }u }t 10 do par dualit, pour des oprateurs u P LpH1 , H2 q : (4) Nous allons dterminer les diverses classes dapplications linaires entre espaces de Hilbert, dnies par les b-normes naturelles (2, N 6). z{ ne demande pas dautre commentaire. Dautre par, le thorme suivant est bien connu : Thorme 5. Soit u un oprateur linaire de H1 dans H2 . Si H1 H2 et si u est hermitien, alors u est nuclaire (ou encore : intgral) si et seulement si il est compact, et la suite (i ) de ses valeurs propres sommables. On a (5) }u}{z N{z puq |u|{z |i |

2. Si u est quelconque, u est nuclaire si et seulement si loprateur hermitien pu uq1{2 est nuclaire, et on a }u}{z }pu uq1{2 }{z . En fait, pour toute b-norme , et tout u P LpH1 ; H2 q, on a (6) }u} }pu uq1{2 } comme il rsulte aussitt du fait que chacun des oprateurs u, pu uq1{2 sobtient partir de lautre par multiplication avec un oprateur partiellement isomtrique. Rappelons quune application linaire u de H1 dans H2 est dite application de Hilbert-Schmidt si pu uq1{2 est compact et la suite pi puqq de ses valeurs propres de carr sommable. On pose alors 1{2 (7) }u}2 }pi q}2 2 . i

}u}2 est une norme sur lespace L2 pH1 , H2 q des applications de Hilbert-Schmidt de H1 dans H2 , qui en fait un espace de Hilbert. Le produit scalaire y est donn

44

PAR A. GROTHENDIECK (SO PAULO)

par pu, vq Tr v u, en particulier (8) }u}2 Tr .u u }u u}{z . 2 Ces formules ont un sens, car (comme bien connu) le produit de deux applications de Hilbert-Schmidt u : H1 H2 et v : H2 H3 est nuclaire, et (9) }vu}{z }v}2 }u}2 a. u est un oprateur de Hilbert-Schmidt. c. u est du type L 1 (resp. du type C 1 ). De plus, on a les ingalits : (10) (11) }u}L }u}C }u}2 ? }u}L ? }u}C Thorme 6. Soit u P LpH1 ; H2 q. Les conditions suivantes sont quivalentes : b. u est du type L (resp. du type C).

}u}2 }u}L 1 }u}C 1

? }u}2

o {2 est la meilleure constante possible. Les deuximes ingalits dans (10) signient aussi : Corollaire. Tout compos H1 E H2 , o E est du type L ou C, est une ? application de Hilbert-Schimdt et on a }wv}2 }w} }v}. Les formules (11) sont simplement transformes par dualit des formules (10). On a }u}L }u}C en vertu de (4), il suft donc de prouver }u}L }u}2 ? }u}L . En vertu de (6), on est ramen au cas o u est hermitien positif. Si u est alors du type de Hilbert-Schimdt, on se ramne aussitt au cas o u est loprateur de multiplication, dans H l2 , par une suite de carr sommable pi q telle que }pi q}2 }u}2 . Mais alors, cest mme une application de norme }u}2 de l2 dans l1 l2 ; dautre part lapplication identique de l1 dans l2 est de norme 1, do }u}L }u}2 . Supposons maintenant }u} 1, do }u }C 1. On a vertu de (8) }u}2 }u u}{z , or u se factorise en H L H, u en 2 H C H (o les ches dsignent des applications linaires de norme 1), donc u u se factorise en H L H C H. Lapplication identique H H ayant une {H 1 z-norme (thorme 4), le compos L H C a une H 1 -norme , donc (comme H 1 Hz{ ) son compos avec lapplication hilbertienne H L a une norme intgrale . A fortiori }u u}{z , do ? }u}2 , do enn }u}2 }u}L . Le mme raisonnement en sens inverse 2 montre que es la meilleure constante possible dans cette ingalit. Il est trivial que pour u P LpH1 ; H2 q, on a }u} }u}H 1 , do }u}{z }u}H 1 . De plus on a trivialement }u}zH }u}C et }u}H{ }u}L 1 , donc ces 4 normes
v w

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

45

sont gales, et quivalentes }u}2 . Enn les b-normes , , 1 , 1 , se calculent ici grce au Thorme 7. Soit H un espace de Hilbert. H est isomorphe (avec sa norme) un sous-espace dun espace L du type L, ou encore (transposition) un espace quotient dun espace C du type C. Cela quivaut en vertu de 2, N 6, prop. 3 au Corollaire 1. Lapplication identique dun espace de Hilbert non nul sur luimme satisfait }} 1 (donc }} 1). Pour le voir, on peut supposer H de dimension nie. Soit S sa sphre unit, munie de la mesure m invariante par rotation et de masse totale gale 1. Si chaque x P H, on fait correspondre la fonction fx pyq px, yq sur S, on obtient un isomorphisme mtrique de H dans L1 pmq, ce qui prouve }} 1. Conformment la remarque qui suit lnonc du thorme 4, le corollaire 1 quivaut aussi au Corollaire 2. On a (11) (12) H , 1 H 1, H do

1 H 1.

Le corollaire 1 implique aussi que si E ou F est un espace de Hilbert, on a }u} }u} }u} pour toute application linaire continue de E dans F. Par dualit, cela donne }u} 1 }u} 1 }u}{z . - On peut noncer le thorme 7 de bien dautres manires encore, par exemple la suivante : Corollaire 3. Une application linaire continue u dun espace de Hilbert H dans un espace C du type C a la proprit de relvement, et }u}L }u}. Une application linaire continue u dun espace L du type L dans lespace de Hilbert H a la proprit de prolongement, et }u}C }u}. Pour nir, signalons que la dtermination des {{zz-applications (applications printgrales) et des zz{{-applications dun espace de Hilbert dans un autre rsultera de ce qui prcde, une fois connu le rsultat (qui sera tabli au 4, N 2) que {{zz est quivalente H, donc zz{{ quivalente H 1 . 4 - LES
RELATIONS ENTRE LES DEUX GROUPES DES

b-NORMES.

1. Fonctions de type . Soient M (resp. N) un espace localement compact muni dune mesure positive (resp. ). Alors L1 pq b L1 pq L1 p b q (2, N 1, th. 3), donc lespace des

46

PAR A. GROTHENDIECK (SO PAULO)

formes bilinaires continues sur L1 pq L1 pq sidentie au dual L8 p b q de L1 p b q. La forme uf dnie par f est donn par (1) uf p, q fps, tqpsqptq dpsqdptq. Dnition 1. Avec les notations prcdentes, soit de plus une b-norme. Une f P L8 p b q est dite fonction de type ou une -fonction, si la forme uf sur L1 pq L1 pq quelle dnit est de type . On note }f} et on appelle -norme de f, la -norme }uf } de uf 10 bis . En particulier, on dit que f est intgrale, resp. hilbertienne etc. si {z, resp H, etc. Signalons dailleurs quon a, en vertu de 2, N 4, th. 6, cor. 2 : (2) }f} }f}{z .

r Notons aussi que si uf dsigne la forme sesquilinaire r f p, q uf p, q fps, tqpsqptq dpsqdptq. (3) u

on a aussi }r f } }uf } }f} . u Si M et N sont deux ensembles discrets, on dit quune fonction f sur M N est de type , si les conditions de dnition 1 sont satisfaites, quand resp. consiste en la masse `1 en chaque point de M resp. N en dautres termes si f est borne, et la forme bilinaire uf quelle dnit sur l1 pMq l1 pNq est de type . Proposition 1. Soient M et N deux espaces localement compacts, f un fonction continue et borne sur M N, wf la forme bilinaire sur M1 pMq M1 pNq dnie par (4) wf p, q fps, tq dptqdptq.

Considrons l1 pMq et l1 pNq comme des sous-espaces de M1 pMq resp. M1 pNq, soit vf la forme restriction de wf l1 pMq l1 pNq : vf ppm q, pn qq fpm, nqm n .
pm,nqPMN

Alors (pour toute b-norme ) on a }wf } }vf } . Si est une mesure positive sur M de support M, une mesure positive sur N de support N, uf la restriction de wf L1 pq L1 pq (donne par (1)), on a aussi }uf } }wf } . (En particulier, il revient au mme de dire que f est de type , en tant qulment de l8 pM Nq ou en tant qulment de L8 p b q). Proposition 2. Soient E, F deux espaces de Banach, pxi qiPI une famille dlments de E dont lenveloppe disque ferme est la boule unit de E, pyj qjPJ une

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

47

famille analogue dans F, une b-norme, u une forme bilinaire continue sur E F. Soit fu la fonction sur I J dnie par fu pi, jq upxi , yj q. Alors on a }u}{z }f} . Cela rsulte aussitt de 2, N 4, th. 7, critre b (nonc pour {z au lieu de {) et du fait que E resp. F sidentie un quotient mtrique de l1 pIq resp. l1 pJq. Soit M un espace localement compact muni dune mesure 0, et soit r f P L8 p b q. Considrons la forme sesquilinaire continue uf sur L1 L1 r dnie par (3). On di que f est hermitienne, resp. de type positif, si uf est hermitienne resp. positive. Si on ne suppose plus ncessairement donne une mesure sur M, et si f est une fonction continue borne sur M M, on dit que f est de type positif si la forme sesquilinaire sur M1 pMq M1 pMq dnie r par f : wf fps, tq dpsqdptq, est positive. On a encore une proposition de compatibilit analogue la proposition 1, dont lnonc est laiss au lecteur. En vertu-de 3, N 2, th. 2, on a la Proposition 3. Si f P L8 p b q est de type positif, on a }f}H }f} (voir dnition 1). Si f est un lment hermitien de L8 p b q, alors f est hilbertienne si et seulement si elle est diffrence de deux fonctions P L8 p b q de type positif. Donc une f P L8 p b q quelconque est hilbertienne si et seulement si elle est combinaison linaire de fonctions P L8 p b q de type positif. 2. Le thorme fondamental et ses variantes.

Thorme 1. (thorme fondamental de la thorie mtrique des produits tensoriels). Soit H un espace de Hilbert. Lapplication identique de H sur lui-mme est printgrale, et (1) }}{{zz h

o h est une constante universelle. La meilleure valeur possible de h (gale }}{{zz quand H est de dimension innie) satisfait {2 h sh {2 (thorie relle) (2) (thorie complexe). 2 (sh x dsigne la fonction pex ex q{2). {2 h 2 sh Explicitant la notion dapplication printgrale (voir 2, N 4, th. 7), on trouve les noncs quivalents suivants :

48

PAR A. GROTHENDIECK (SO PAULO)

Corollaire 1. Une application u : L H (resp. v : H C) est printgrale droite (resp. printegrale gauche) et on a (3) }u}{zz h}u} (resp. }v}{zz h}v}).
u v u v u v

Corollaire 2. Les applications composes L H C, H C L, C L H sont intgrales, et on a (4) }vu}{z h}v} }u}.

Les deux dernires applications sont dailleurs mme nuclaires, en vertu 2, N 1, th. 2, corollaire. En vertu de la remarque qui suit lnonc de 3, N 5, th. 4, le thorme 1 quivaut aussi au Thorme 2. On a la formule (5)
{{zz

hH.

Par dualit, cette formule quivaut dailleurs (6) H 1 hzz{{.

Comparant avec 3, N 1, formule (2) on voit donc que {{zz est quivalente H, donc zz{{ quivalente H. En dautres termes : Corollaire 1. Il y a identit entre formes (ou application) printgrales et hilbertiennes, et on a (7) En particulier : Corollaire 2. Sur le produit de deux espaces L1 et L2 du type L, les formes intgrales et les formes hilbertiennes sont les mmes, et on a }u}H }u}{z h}u}H . En dautres termes, il y a identit entre fonctions f P L8 p b q intgrales et hilbertiennes (N 1, dnition 1), i.e. (si ) les fonctions qui sont combinaisons linaires de fonctions P L8 p b q de type positif. Pour une forme bilinaire u sur un produit C1 C2 (C1 et C2 du type C) on a }u}zz{{ }u} (2, N 4, th. 6, cor. 1), do en vertu de (6) }u}H 1 h}u}. On peut donc appliquer 3, N 3, th. 3, corol. 3, 4, 5, on trouve en particulier : Thorme 3. Soit C C0 pMq, soit u une forme hermitienne continue sur CC, alors il existe une mesure positive sur M, de norme h}u}, telle que u ! v , o v pf, gq fg d. }u}H }u}{{zz h}u}H .

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

49

(on montre que h est encore la meilleure constante dans cet nonc, qui nest quun transform du thorme 1 par polarit). Conjuguant (6) avec la formule H H 1 (3, N 4, prop. 3) on trouve le Corollaire 1. On a une ingalit (8) H kzz{{ (ou encore {{zz kH 1 )

o 1 k h 2 sh . 2 En dautres termes, une forme ou application qui a la proprit de prolongement-relvement est hilbertienne, et }u}H k}u}zz{{ . nonc quivalent : Corollaire 2. Toute application linaire continue C L (C du type C, L du type v w L) est de norme hilbertienne k}u}, i.e. se factorise en C H L, o H est un espace de Hilbert et }v} }w} k}u}. (La constante k est celle du corollaire 1). (On peut dailleurs expliciter encore v et w en appliquant directement 3, N 3, th. 3, cor. 4). La conjonction des formules (5) et (8) donne le Corollaire 3. On a une ingalit ). 2 En dautres termes, toute application linaire continue u : C L (C du type C, L du type L) est printgrale, et }u}{{zz l}u}. Donc des applications composes u v w u v w L C L C et C L C L sont intgrales, et on a }wvu}{z l}w} }v} }u}. (9)
{{zz

lzz{{

(o 1 l hk 2 sh2

(En fait, la deuxime application est mme nuclaire, comme on voit en factorisant u en C H L (corollaire 2) et en notant que H C L est nuclaire (th. 1, cor. 2)). En vertu des formules p C1 bC2 C1 b C2 ,
{ z {z

(2, N 4, th. 6), on obtient, compte tenu du thorme 2 (10) (11) p C1 bC2 C1 b C2 q L1 bL2 L1 b L2
H1 H

q L1 bL2 L1 b L2

z { z{

En particulier, dans le cas C1 C2 , conjuguant (10) avec 3, N 2, cor. 2, on trouve le

50

PAR A. GROTHENDIECK (SO PAULO)

p Thorme 4. Soit M un espace localement compact. Alors C0 pMqbC0 pMq sidentie lespace des combinaisons linaires de fonctions f P C0 pM Mq de type positif. De mme, la formule (11) permet, compte tenu de 3, N 3, th. 3, cor. 5 q de donner une interprtation de L1 pqbL1 pq, en supposant connu lespace 2 pqbL2 pq. q L Signalons que chacun des rsultats prcdents tait quivalent au thorme 1 (en y faisant abstraction, le cas chant, de la valeur de la constante h). Au N 4 nous verrons encore diverses consquences moins fortes. Notons seulement ici que comme on a {H 1 z {{zz, la formule (5) implique {H 1 z hH : cest le thorme 4 de 3, N 4, sauf quon nobtient pas ici la valeur de la meilleure constante de ce thorme. On aura priori h ; comme on a vu que , 2 cela prouve h (premire des ingalits (1)). 2 3. Dmonstration du thorme fondamental. Pour xer les ides, on se placera dans la thorie "relle". Soit hn la norme printgrale de lapplication identique de lespace de Hilbert H de dimension n sur lui-mme. Il faut prouver que h lim hn `8, et la limite en question sera la meilleure constante dans le thorme 1. hn est aussi la norme printgrale de la forme upx, yq px, yq sur H H, donc (N 1, prop. 2 et formule(2)) hn est la norme intgrale de la fonction px, yq cos px, yq sur S S, o S dsigne la sphre unit de H, et px, yq langle compris entre 0 et de deux vecteurs unitaires x, y. Pour faire le calcul, reprenons la dmonstration du 3, N 5, th. 4. Nous y avons introduit de faon naturelle une fonction fo sur le groupe orthogonal G de H, par (1) f0 psq sgn ps.a, a

(a, point x de S), fonction qui ne dpend que de s.a et peut donc aussi tre regarde comme une fonction de norme 1 sur la sphre unit S. (On avait vu que r 1 r o on pose psq ps.a, aq). fo f0 ! fo f0 (2) ! 2 2 nMn r r Calculons fo f0 . on voit aussitt que fo f0 , do r f0 psqf0 ps1 tq dmpsq fo f0 ptq
G

(3)

sgn ps.a, aq sgn pt.a, s.aq dmpsq

sgn pa, xq sgn py, xq dm 1 pxq

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

51

o x s.a, y t.a, m 1 dsignant la mesure sur S image de la mesure de G par lapplication s s.a. Lintgrande dans le dernier membre ne dpend que de la projection de la demi-droite Ox sur le plan E dni par a, y, quon peut prendre pour plan coordonnes. On en conclut que lintgrale est gale 2 1 sgn pa, xq sgn py, xq dx sgn . cos sgn . cos p q d S1 0 o on pose pa, yq, S1 tant la circonfrence unit du plan E. On trouve aussitt pour lintgrale du dernier membre la valeur , do 2 2 r o psq ps.a, aq. (4) f0 f0 f0 f0 2

r Or, de faon gnrale, si f, g P L8 pmq, considrons la fonction g fpt1 sq sur 8 pG Gq faible, des translates de la G G, cest la moyenne sur G, dans L fonction f b gps, tq fpsqgpsq, donc elle est intgrale (dnition 1) et de norme ` 2 r intgrale }f}8 }g}8 . En particulier, f0 f0 pt1 sq ps.a, t.aq est de 2 norme intgrale 1. De plus elle est de type positif. Comme elle ne dpend que des classes s.a et t.a de s et t, on peut noncer le rsultat quivalent : Proposition 4. Soit S la sphre unit dun espace de Hilbert H. Considrons la fonction 2 px, yq (5) 0 px, yq 2 sur S S, px, yq tant langle (compris entre 0 et ) des vecteurs unitaires x, y. 2 Alors 0 est intgrale et de type positif, et on a (6) }0 }{z 1.

(Il nest dailleurs plus ncessaire maintenant de supposer H de dimension nie). On a vu en effet que }0 }{z 1, mais on a aussi }0 }{z }0 }8 1, do lgalit dans (6). De (5) on tire 8 1 k 0 . p1qk`1 (7) px, yq cos px, yq sen 0 2 k! 2 k1 Dautre part, on vrie sans peine que le produit de deux fonctions intgrales f, g sur un produit M N est intgrale, et }fg}{z }f}{z }g}{z (en dautres termes lespaces des fonctions intgrales sur MN forme une algbre norme complte sous la multiplication ordinaire). De ceci (7) on conclut que la norme intgrale de la fonction px, yq est 8 8 k 1 1 k pi }0 } sh . k! 2 k! 2 2 k1 k1

52

PAR A. GROTHENDIECK (SO PAULO)

Comme nous lavions dit au dbut, cela prouve h sh , et achve la d2 monstration du thorme fondamental. Signalons aussi que dans le cas o H est de dimension nie, les formules (4), (5), (7) permettent dexprimer la fonction px, yq sur S S canoniquement laide dune mesure de norme sh sur B B, 2 o B dsigne la boule unit de L8 pm 1 q. On a obtenu en passant, compte tenu de (2), (4) et de la dnition (5), la relation intressante en elle-mme (8) 0 ! px, yq ! 0 px, yq 2 i.e. le premier membre de (7) est major, pour !, par le premier terme de son dveloppement en srie. (Rappelons dailleurs que ce rsultat contient prcisment le th. 4 de 3, N 5).

4. Consquences diverses dans la thorie des oprations linaires. a. Dtermination des applications linaires continues entre espaces C, L, H. Elle est ramene thoriquement la dtermination des oprations linaires continues entre espaces de Hilbert (quon est en droit de supposer connue |). En effet, des thormes classiques permettent de dterminer concrtement les applications E C et (de faon transpose) L E 1 dun espace de Banach quelconque E dans un espace C0 pMq ou L8 , et dun espace L1 dans un dual dun espace de Banach 11. Dautre part, les applications C H et H L se ramnent aux applications L2 H et H L2 grce au 3, th. 4, cor. 4 et 5. Les applications C L se factorisent en C H L (N 2, th. 3, corollaire), et daprs ce qui prcde C H et H L se ramnent des applications linaires entre espaces de Hilbert. De plus, comme signal la n de 2, N 6, on sait maintenant dterminer explicitement les diverses classes "naturelles" dapplications linaires entre deux espaces dont chacun est du type C ou L ou H, on trouve au plus deux ou trois classes diffrentes (suivant les cas). Les applications de chaque classe se concrtisent encore aisment de faon bien explicite. b. Amlioration des oprateurs par composition. Pour la commodit du lecteur, nous allons regrouper ici dans un tableau rcapitulatif les rsultats obtenus dans ce sens. Pour simplier, dans une mme squence, telle H C H, la mme lettre peut dsigner deux espaces diffrentes (du type indique par la lettre). Par ailleurs, la signication du tableau est claire. (1) H C H, H L H Hilbert-Schmidt (3, N 6, th. 6, cor. 1)

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

53

(2)

H C H C, C H C H H C H L, C H L H H L H C, L H C H H L H L, L H L H L H C intgral H C L nuclaire C L H nuclaire L C L C intgral C L C L nuclaire

nuclaires (3, N 6, th. 6)

(3)

(N 2, th. 1, cor.)

(4)

(N 2, th. 3, cor. 3)

On voit ainsi quen composant 4 (resp. 5) oprateurs linaires entre espaces du type C, L, H dont deux conscutifs appartiennent des types diffrentes, on obtient toujours une application intgrale (resp. nuclaire). En composant dans les mmes conditions un nombre plus lev doprateurs, on obtient donc des "oprateurs, on obtient donc des "oprateurs de puissance p.me sommable", avec p (0 p 1) dautant plus petit quon aura compos plus doprateurs ([4], Chap. 2, 1, N 1 et N 3). c. Caractrisations vectorielles-topologiques de lespace de Hilbert.

Proposition 5. Soit E un espace de Banach, lapplication identique de E sur E. Les conditions suivantes sont quivalentes : a. La norme de E est quivalente une norme hilbertienne. b. est hilbertienne. c. est printegrale. d. H est isomorphe la fois un quotient dun espace du type C est un sous-espace dun espace du type L. En effet, a. quivaut b. trivialement, b. quivaut c en vertu du th. 2, cor. 1, a implique d en vertu de 3, N 6, th. 7, enn d implique b en vertu de th. 3, corollaire 2. - Il semble que les critres de la proposition 5 soient les premires caractrisations vectorielles-topologiques (et non mtriques) connues pour lespace de Hilbert. Signalons quil y a une variante mtrique vidente pour lquivalence de a et b ; il serait intressant de prouver de mme la variante mtrique de lquivalence entre a et d (un Banach qui est mtriquement isomorphe un quotient dun espace du type C et un sous-espace dun espace du type L, est-il un espace de Hilbert ?). d. Le thorme de Littlewood.

54

PAR A. GROTHENDIECK (SO PAULO)

Le thorme 1, corollaire 1 prouve en particulier que lapplication dinclusion l c0 est printgrale gauche, et lapplication dinclusion l1 l2 (transpose de la prcdente) est printegrale droite. La C 1 -norme (resp. la L 1 -norme) de cette application est h ; en fait, une mthode directe tout fait diffrente, qui se trouve implicitement dans Littlewood [8], montre que cette norme est exac? tement 2. Lnonc obtenu peut snoncer dailleurs de bien dautres manires quivalentes, par exemple :
2

Thorme 5. (Littlewood) 12. Soit L un espace du type L. On a (5) q p l1 bL l2 bL ? et lapplication dinclusion est de norme 2. A fortiori, toute suite sommable dans L a une suite de normes qui est de carr sommable. q (Se rappeler linterprtation de l1 bE donne au 2, n du N 1). Dualement, cet nonc quivaut au Corollaire 1. Soit C un espace du type C. On a (6) q p l2 b c0 bC ? et lapplication dinclusion est de norme 2.

? Signalons que dans lnonc du thorme 5, 2 est la meilleure constante q possible, mme pour majorer la norme de lapplication dinclusion l1 bL 2 2 lL . - Comme l c0 est printgrale gauche, sa compose avec lapplication dinclusion l1 l2 est intgrale. Cela peut dailleurs se voir aussi directement de faon bien lmentaire, on trouve mme : Corollaire 2. Lapplication dinclusion de l1 dans c0 est intgrale, et de norme intgrale 1. (Voir [7], N 3 pour la dmonstration et diverses formulation quivalentes intressantes). Du thorme 5, on dduit par exemple trs simplement la gnralisation suivante dun thorme classique de Littlewood : Proposition 6. Soit G un groupe ablien discret, f une fonction sur G telle que le produit de f par toute fonction sur G ne prenant que les valeurs `1 et 1 soit combinaison linaire de fonctions de type positif. (i.e. transforme de Fourier p dune mesure sur le groupe dual G. Alors f est de carr sommable.

On montre en effet par un raisonnement bien standard dAnalyse Fonctiop nelle que la famille des fpsq.s, considres comme fonctions sur G, est sommable p dans L1 pGq. Donc la famille des normes qui est p|fpsq|q, est de carr sommable

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

55

en vertu du thorme 5. e. Complments sur les fonctions intgrales. Soient M et N deux espaces localement compacts, munis de mesures positives p resp . Soient 1 p, q `8. On vrie que Lp pqbLq pq peut se raliser de faon naturelle comme sous-espace de lespace des fonctions localement b p sommables sur M N. Si donc g P Lp pqbLq pq, et si f est une classe de fonctions mesurables sur M N, fg est une classe de fonctions mesurables sur M N. Proposition 7. Sous les conditions prcdentes, si 1 q `8, et si f est p une fonction intgrale sur M N (N 1, dnition 1), alors Lp pqbLq pq est stable sous multiplication par f. Rciproquement, si la fonction mesurable f sur p M N est telle que L2 pqbL2 pq est stable sous multiplication par f, alors f est intgrale. La partie directe rsulte facilement du fait que f est limite faible dans L8 p b q de combinaisons linaires convexes de fonctions g b h (g et h dans la boule p unit de L8 pq resp. L8 pq). Si rciproquement L2 pqbL2 pq est stable sous multiplication par f, cette opration de multiplication dans cet espace est continue (th. du graphe ferm). Utilisant 3, N 3, th. 3, cor. 6, on en conclut facilement que f dnit une forme linaire continue sur L1 pq b L1 pq, donc que f est du type H. Or on sait que cela implique mme que f est intgrale (th. 2, cor. 2). 5. Applications lAnalyse Harmonique. (Dans tout ce N, on se place dans la thorie avec cofcients complexes). Soit A une algbre involutive, une forme linaire sur A, on dsigne par u la forme sesquilinaire sur A A dnie par (1) u px, yq py xq. On a u pu q (o est dni par pxq px q, et o u px, yq upy, xq). Par dnition, la forme est dite positive, si elle est hermitienne et si u est positive. Si on suppose maintenant que A est une algbre norme complte involutive, et que la forme est positive et continue, alors u sera une forme sesquilinaire positive continue, donc hilbertienne (3, N 2, th. 2). Donc u sera encore hilbertienne si est une combinaison linaire de formes linaires positives continues sur A. En particulier, supposons que A soit une C -algbre, alors il est connu que toute forme linaire continue sur A est combinaison linaire de formes positives (dailleurs automatiquement continues) 13. Donc alors u est hilbertienne pour toute P A 1 . En fait, il nest pas difcile
H1

56

PAR A. GROTHENDIECK (SO PAULO)

de prouver quon a mme (2) }u }H }u } }varphi}

Soit A une -algbre norme complte, il est bien connu (Gelfand) que si pour tout x P A, on pose pxq sup }Ux }, le sup tant pris pour toutes les reprsentations unitaires U de A, est une semi-norme sur A compatible avec la structure dalgbre involutive, plus petite que la norme donne sur A, et lalgbre involutive complte A est une C -algbre, quon pourra appeler la C -algbre enveloppante de A. On a une -reprsentation canonique (de norme 1) de A dans la C -algbre A (qui est "universelle" dans un sens vident), limage de A dans A est dense. Donc lapplication transpose est une applica1 tion linaire biunivoque de norme 1 de A dans A 1 , qui permet donc dcrire 1 1 A A 1 . Les lments de A sont des combinaisons linaires de formes positives "unitaires et bornes" sur A 14, et si on suppose A2 dense dans A, cest 1 la une caractrisation du sous-espace A de A 1 . Do une norme naturelle sur lespace des combinaisons linaires des formes positives unitaires et bornes sur A (savoir la norme du dual de A ), quon notera }}H . Avec cette convention, il est immdiat daprs (2) que lingalit }u }H }}H sera valable pour toute comme ci-dessus. Dans le cas o A est lalgbre de composition L1 pGq sur un groupe localement compact unimodulaire G, les formes positives sur A sont automatiquement continues, unitaires et bornes, et celles sidentient aux fonctions continues de type positif sur G. Ce qui prcde dnit donc une norme naturelle sur lespace des combinaisons linaires de fonctions continues de type positif sur G, norme note encore }}H . Dailleurs, si est un lment du dual L8 pGq de L1 pGq, la forme sesquilinaire u sur L1 L1 est dnie par la fonction pt1 sq de L8 pG Gq par la formule usuelle : (3) u pf, gq xr f, y g fpsqgptqpt1 sq dsdt. On dsignera donc encore par u la fonction u ps, tq pt1 sq sur G G. On voit donc que si est combinaison linaire de fonctions continues de type positif, alors la fonction u sur G G est hilbertienne (N 1, dnition 1) et }u }H }}H . Rciproquement, si u est hilbertienne et hermitienne, alors il existe une f dans L8 pG Gq telle que f ! u ! f et }f}8 }u }H (3, N 2, th. 2). Lensemble des f qui satisfont ces proprits est dailleurs une partie convexe faiblement compacte de L8 pG Gq, invariante sous les translations par le groupe diagonal G : s fpr, tq fps1 r, s1 tq. Si alors on suppose que le groupe G admet une "moyenne invariante" 15, on pourra dans ce convexe trouver une f invariante que sous G, donc de la forme u, avec P L8 pGq.

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

57

On aura alors ! ! et }}8 }u }H . sera de type positif, et on voit alors aussitt que sera diffrence de deux fonctions P L8 pGq de type positif, et de faons plus prcise quon aura }}H }u }H . On a donc obtenu (indpendamment des rsultats des Ns antrieures de ce 4) la Proposition 8. Soit G un groupe localement compact unimodulaire, P L8 pGq. Si est combinaison linaire de fonctions continues de type positif, alors la fonction u ps, tq pt1 sq sur G G est hilbertienne, et }u }H }}H . La rciproque est vraie si on admet que G admet une "moyenne invariante", en particulier si G est compact, ou ablien, ou admet une suite de composition forme de tele groupes. Dans ce cas, si est hermitienne (psq ps1 q) on aura mme }u }H }}H . En transformant par dualit, on obtient une caractrisation des lments de la C -algbre enveloppante de L1 pGq : Corollaire 1. Lapplication linaire de L1 pGq b L1 pGq dans L1 pGq dnie par lapplication bilinaire pf, gq g f, se prolonge par continuit en une applicaH1

tion linaire de norme 1 de L1 pGq b L1 pGq dans la C -algbre enveloppante de L1 . Si G admet une "moyenne invariante", cest mme l un homomorphisme sur (qui induit un homomorphisme mtrique pout les sous-espaces hermitiens). Ce corollaire sinterprte de faon particulirement concrte (laisse au lecteur) quand G est discret. Rappelons dailleurs que quand G est ablien, la C algbre enveloppante de L1 pGq nest autre que lespace "transform de Fourier" p p de C0 pGq (o G est le groupe dual de G), qui sinterprte par exemple comme un espace de distributions sur G 16. Ces noncs se transforment de faon remarquable, si on tient compte maintenant du th. 2 (N 2). Ainsi, sous les conditions indiques, une fonction P L8 pGq est combinaison linaire de fonctions continues de type positif si et seulement si la fonction pt1 sq sur G G est intgrale ; alors sa norme intgrale est h}}H , o h est la constante du N 2 (qui est ici encore le meilleure possible, car on voit que lnonc prsent est en fait quivalent au thorme fondamental du N 2). Dailleurs, si G est ablien, les fonctions envisages sont (daprs le classique thorme de Bochner-Godement) les transformes de Foup rier des mesures bornes sur le groupe dual G. Si est transforme de , on s s s s a pt1 sq G ppt1 sq dppq G ppsqsptq dppq, do u G p b p dppq, p s p s p s do aussitt lingalit (4) }u }{z }}

58

PAR A. GROTHENDIECK (SO PAULO)

si est transforme de Fourier de la mesure borne . On en conclut que si on suppose hermitienne, on a mme (5) }u }{z }u }H }}H }}.
H1

De mme le corollaire 1 est encore valable si on y remplace L1 b L1 par q lespace plus sympathique L1 bL1 , en vertu de N 1, formule (11). Enn, nous obtenons une dernire formulation quivalente intressante du thorme fondamental : Corollaire 2. Soit G un groupe compacte, u une forme bilinaire continue sur CpGq CpGq invariante par translations gauches : upf, gq ups f, s gq pour tout f et g P CpGq et tout s P G. Alors u peut stendre par continuit en une forme bilinaire continue v sur L2 pGq L2 pGq, de norme h}u}. Soient en effet f et g deux lments de CpGq, on a upf, gq xugf y, (on q p q pose gpsq gps1 q o ugf est regard comme un lment de CpGqbCpGq. Or q on a }q f}H }f}2 }g}2 comme il est bien connu 17, donc daprs ce quon a g g dit }ugf } h}q f}H h}f}2 }g}2 . On en conclut |upf, gq| h}f}2 }g}2 }u}, q c.q.f.d. Jignore si dans la proposition 8, deuxime partie, la restriction sur G est ncessaire. De mme, il est peut-tre inutile de supposer hermitienne dans la formule }u }H }}H . 6. Quelques questions ouvertes. Citons dabord, pour mmoire, la plus importante de toutes : 1. Problme dapproximation : tout espace de Banach est-il accessible, ou mme mtriquement accessible ? Cela semple improbable. Voir pour des dtails sur cette question et ses variantes les notes 2 et 3 , ainsi que [4], Chap. 1, 5. 2. Relations entre b-normes naturelles. Rappelons quon ignore si C est domine par C 1 (ou ce qui revient au mme, L domine par L 1 ), voir 2, N 6. 3. Meilleures constantes. Pour exprimer les relations entre les b-normes naturelles, nous avons introduit 5 constantes : (3, N 4), (3, N 5), h, k, l (4, N 2). Seule la valeur est connue, pour les autres constantes on na 2 que des ingalits. Dailleurs sauf , aucune de ses constantes ne peut tre gale 1. Il nest dailleurs par certains que ces constantes soient les mmes dans la "thorie relle" et la "thorie complexe". 4. Proprits algbrico-topologiques des C -algbres. Soit A une C -algbre. Le thorme 3 du N 2 suggre la conjecture suivante : Soit u une forme sesquilinaire continue sur A A, peut on trouver une forme positive sur A telle que u ! u (o on pose, comme au N 5, u px, yq py xq) ? Sil on tait toujours ainsi, on pourrait trouver une constante universelle (peut on prendre

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

59

mme h ?) telle que lon puisse choisir cette de norme }u}. Il sufrait de prouver alors lnonc sous cette forme le cas o A est du type LpHq, H tant un espace de Hilbert de dimension nie. Cette conjecture peut snoncer de diverses autres faons quivalentes dignes dintrt. Signalons quelle impliquerait que toute forme bilinaire continue sur le produit de deux C -algbres est hilbertienne. Quand lune des deux C -algbres est prise gale c0 , on obtient facilement la consquence suivante : toute suite sommable dans le dual A 1 dune C -algbre a une suite de normes qui est de carr sommable. Cela permettrait par exemple de prouver la proposition 6 du N 4 sans supposer le groupe G ablien. 5. Rciproques diverses. On a vu un grand nombre de proprits bien spciales pour les espaces C, L, H, , . On peut se poser la question si elles sont caractristiques dans une certaine mesure, par exemple : Si un espace de Banach q p E est tel que l1 bE l2 bE, lapplication identique de E sur lui-mme est-elle de type L ? (Comparer N 5, th. 5). Un rsultat trs particulier de ce genre, mais de nature mtrique, est donne dans [6]. On peut aussi remarquer que les proprits auxquelles il est fait allusion ci-dessus peuvent aussi sexprimer comme des proprits pour des applications du type correspondant C, L, H, , . On peut se demander pour chacune si elle implique dj que lapplication linaire en question est dun type C etc. dtermin. De telles questions se posent de faon imprative quand on veut par exemple rsoudre la question suivante. p q 6. Comparaison de EbF et EbF. Il est bien probable que si ces deux espaces sont identiques, E ou F est de dimension nie. Des rsultats partiels dans ce sens sont donns dans [7]. Une question plus ne, pose par la thorie des espaces nuclaires (voir [4], question non rsolue 3 - aprs le Chap. 2 -), est la suivante : Dterminer un entier n 0 tel que, si on a deux squences doprateurs linaires continus entre espaces de Banach : E1 E2 . . . En En`1 et F1 F2 . . . Fn Fn`1 telles que lapplication correspondante Ei b Fi Ei`1 bFi`1 soit continue quand le premier espace est muni de |u|z{ et le deuxime de |u|{z (i 1, . . . , n), alors le compos de lune au moins de ces squences est intgral. Alors que les rsultats de ce travail, en dernire Analyse, concernent pltt les espaces C, L, H que les espaces de Banach plus gnraux, la solution des questions 1, 2, 5, 6 apporterait des progrs dcisifs dans la connaissance de la structure vectorielle-mtrique ne des espaces de Banach gnraux. Jusqu prsent, lunique rsultat de ce genre est un thorme de Dvoretzky-Rogers, et ses consquences le plus immdiates [3], [7].

60

PAR A. GROTHENDIECK (SO PAULO)

BIBLIOGRAPHIE 1. N. Bourbaki, Algbre multilinaire, Act. Sc. Ind. 1044, Paris, (Hermanm). 2. N. Bourbaki, Intgration, Act. Sc. Ind. 1175, Paris (Hermann). 3. A. Dvoretzky - C. A. Rogers, Absolute and unconditional convergence in normed linear spaces, Proc. Nat. Acad. Sc. Vol. 36 (1950) p. 192-197. 4. A. Grothendieck, Thse, paraitre dans Memoirs of Amer. Math. Soc. 5. A. Grothendieck, Rsum des rsultats essentiels dans la thorie des produits tensoriels topologiques et des espaces nuclaires, Annales de lInstitut Fourier, t. IV (1952), p. 73-112. 6. A. Grothendieck, Une caractrisation vectorielle-mtrique des espaces L1 , paraitre dans Canadian Journal of Math. 7. A. Grothendieck, Sur certains classes de suites dans les espaces de Banach, et le thorme de Dvoretzky-Rogers, Boletim da Sociedade de Matemtica de S. Paulo, vol. 9 (1954). 8. J. E. Littlewood, On Bounded bilinear forms in an innity of variables, Quart. Journal of Math. (2), 2, (1930) p. 164-174. 9. L. Nachbin, A theorem of the Hahn-Banach type for linear transformations, Trans. Am. Math. Soc. t. 68 (1950), p. 28-46. 10. R.Schatten, A theory of cross-spaces, Princeton University Press, 1950. 11. H. Weyl, Proc. Nat. Acad. Sc. 35, 408-411 (1949).

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

61

REMARQUES 1. Les notions et rsultats de ce N sont ds Schatten [10]. Ils avaient t retrouvs indpendamment par lauter. [10] est la premire tude systmatique des produits tensoriels despaces de Banach. 2. Mais la question de savoir si }u}{z |u|{z offre dj des difcults essentielles, et sa solution par lafrmative dans le cas gnral quivaudrait au fait que tout espace de Banach E est mtriquement accessible ([4], 5) do rsulterait donc }u} |u| pour tout , dans tous les cas.

r 3. La question est lie la suivante : Soit E b F le quotient de E b F envisag au dbut de ce N ; on a une application linaire canonique r r de norme 1 de E b F dans E b F 2 , est-ce mme un isomorphisme mtrique ? Je lignore mme si {z, i.e. jignore si une application nuclaire a mme norme nuclaire que sa transpose. La thorie se simplierait beaucoup (grce en particulier au N 4, th. 4, cor. 2) si on savait quon a toujours N puq }u} i.e. que lapplication cano

nique E b F B pE 1 , F 1 q est un homomorphisme mtrique. Il sufrait dailleurs dtablir ce rsultat pour {z. Cela aurait de nombreuses consquences. Par exemple, tout espace de Banach accessible serait dj mtriquement accessible. 4. Voir [6] pour plus de dtails. 5. Il revient au mme de dire que le polaire F0 de F est facteur direct dans E 1 . Cette condition est dailleurs sufsante dans la plupart des question o dhabitude on exige lexistence dun supplmentaire de F. Elle est par exemple vrie chaque fois que F est un espace C0 pMq (voir 2, N 2), tandis quil se peut fort bien que C0 pMq ne soit pas facteur direct dans E. (Ainsi, si C0 pMq est de dimension innie et sparable, il nest par facteur direct dans son bidual). 6. On appelle semi-norme prhilbertienne sur un espace vectoriel E, une semi-norme du type pupx, xqq1{2 , o u est une forme hermitienne positive sur E E. 7. Lintroduction de lespace F, commode dans toutes les question dantilinairit, est due, saut erreur, J. Dixmier. q 7 bis. Il ne faut pas croire cependant que tout lment hermitien de EbE, tel 1 E 1 quil dnit soit hilbertienne, soit que la forme hermitienne sur E dans E b E. Cela est dj faux dans le cas o E est du type C, par exemple lespace c0 ; en ce cas, nous verrons dailleurs - 4, N 2 - quon
H

62 H

PAR A. GROTHENDIECK (SO PAULO)

p a E b E EbE, et les H-formes sur E 1 E 1 sont identiques aux formes intgrales. Cela montre donc en mme temps quune application linaire intgrale et compacte peut ne pas tre nuclaire. 8. On va pour xer les ides nous placer dans la thorie scalaires rels. Le rsultat (th. 4) sera encore valable dans la thorie scalaires complexes, par une variante facile de la dmonstration donne ici. 8 bis. Une thorie de la dualit pour les oprateurs dans lespace de Hilbert, englobant les rsultats de Schatten, peut se dduire par exemple bien simplement de la formule suivante : i puvq i puqi pvq

(o u et v sont deux oprateurs compacts). Cette formule, sans doute bien connue, se dmontre simplement par llgante mthode de convexit de H. Weyl [11]. Lexploitation systmatique de lide de Weyl a fait lobjet dun sminaire lUniversit de So Paulo en 1954 (non rdig). Sa mthode, convenablement adapte, peut servir aussi pour les traces sur des algbres involutives gnrales, voir le sminaire Bourbaki Dcembre 1954.

9. On montre que rciproquement toute "gauge-function" est du type N . Cela montre en particulier quil existe une innit continue de b -normes non quivalentes. 10. En fait, on prouve que, sauf le cas o N est quivalente la norme sup |i |, i.e. }u} quivalente la norme usuelle des oprateurs sur LpH1 ; H2 q, les -applications dun Hilbert dans une autre sont compactes, et que }u} N pi puqq, o pour une suite positive quelconque pi q, on pose N ppi qq limn8 N p1 , . . . , n , 0, 0, . . .q. (Mais bien entendu, cela ne prouve pas que u soit -nuclaire, bien quil en soit ainsi dans le cas usuelle, notamment dans le cas des p-normes classiques). 10 bis. Rappelons (1, N 6) que dans le cas o f est relle, }f} nest pas la mme suivant quon se place dans la thorie scalaires relles, ou complexes. 11. Il sagit notamment du thorme de Dunford-Pettis, valable par exemple si E ou L1 est sparable. Remarquons quon na pas dnonc simple correspondant pour les applications linaires continues dun espace L1 dans un espace de Banach quelconque. Dj lapplication identique de L1 sur lui-mme ne peut sobtenir (si la mesure nest discrte) par une application mesurable de M dans L1 .

RSUM DE LA THORIE MTRIQUE DES PRODUITS TENSORIELS TOPOLOGIQUES

63

12. A la terminologie prs, ce thorme gure dans [8] pour L l1 . Faute dune terminologie suggestive, Littlewood ne semble pas stre aperu de la gnralit de son rsultat. Contrairement son habitude, il ne donne pas non plus la meilleure constante. 13. Ce rsultat a t publi par Takeda, Proc. Japan Acad. 30 (1954), 9095. Il avait t obtenu peu prs simultanment par lauteur, avec une dmonstration voisine, en mme temps que divers rsultats connexes. 14. Pour toutes ces notions, voir Gelfand-Naimark, "Rings with involution", . . . . 15. Nous dirons avec J. Dixmier quun groupe topologique G admet une moyenne invariante si, dans le convexe faiblement compact form des formes linaires positives de norme 1 sur lespace C8 pGq des fonctions continues sur G, existe un lment invariant par translations. Alors pour toute reprsentation s Us de G par des oprateurs continus dans un espace localement convexe E, telle que les fonctions xUs x, x 1 y soient continues pour tout x P E, x 1 P E 1 , et tout ensemble convexe faiblement compact K dans E stable sous G, existe dans K un lment invariant sous G. 16. Ces distributions ne seront pas en gnral des mesures, si G nest pas discret. Cest pourquoi cest surtout le cas G discret qui sinterprte de faon bien simple. 17. En fait, daprs une formule de dcomposition classique, toute fonction f g (f et g dans L2 pGq) est combinaison linaire de fonctions du type r h h (h P L2 pGq) qui sont continues et de type positif. Lingalit prcise }f g}H }f}2 }g}2 est par exemple une consquence de la thorie des algbres unitaires, voir Godement, Thorie des caractres, Annals of Math. vol. 59 (1954) p. 55, th. 3.