Introduction aux algbres doprateurs I : Des espaces de Hilbert aux algbres stellaires

Jean-Yves Girard Institut de Mathmatiques de Luminy, UMR 6206 CNRS 163, Avenue de Luminy, Case 930, F-13288 Marseille Cedex 09 girard@iml.univ-mrs.fr
Ce petit cours sur les algbres doprateurs (Tende, 22-24 Septembre 2002) sadresse des non-spcialistes qui nauraient pas lintention de le devenir,typiquement des logiciens. Il naborde pas, ou trs peu, les algbres de von Neumann, qui sont un monde part ; pour en savoir plus, on consultera [1] dont ces notes sont, pour lessentiel, un condens.

1
1.1

Espaces de Hilbert
Cauchy-Schwarz

Dfinition 1 Un espace de Hilbert est la donne dun espace vectoriel H complexe, ainsi que dune forme sesquilinaire1 , i.e. linaire en la premire variable : x + x | y = x | y + x | y et anti-linaire en la seconde : x | y + y = x | y + x | y Cette forme sequilinaire est de plus hermitienne : y|x = x|y et strictement positive : x=0 x|x >0 Finalement, H, muni de la norme x := x | x i.e., tre complet.
1/2

(1)

(2)

(3) (4) doit tre un espace de Banach,

La condition (3) est quivalente x | x R, en eet 4 x | y = x + y | x + y x y | x y + i x + iy | x + iy i x iy | x iy . Lquation (3) est donc consquence de (4). Venons-en la norme ; le point de dpart est lingalit de Cauchy-Schwarz :
1

Le prxe latin sesqui veut dire A un et demi B.

Algbres doprateurs I Thorme 1 (Cauchy-Schwarz) | x | y |2 x | x y | y , lgalit nayant lieu quen cas de colinarit.

Dmonstration : On se place dans le cas o x, y = 0. Quitte remplacer x par x, || = 1, on peut supposer que x | y R. Alors, pour R, x + y | x + y = x | x + 2 x | y + 2 y | y 0. Ceci nest possible que si le discriminant b2 4ac est ngatif ou nul, i.e., si x | y 2 x | x y | y 0, et lgalit nintervient que si x + y = 0 pour un appropri. 2 Cauchy-Schwarz montre que x + y | x + y = x | x + y | y + x | y + x | y x | x + y | y + 2( x | x y | y )1/2 = ( x | x 1/2 + y | y 1/2 )2 , i.e., que x | x 1/2 vrie lingalit triangulaire, ce qui justie la dernire partie de la dnition.

1.2

Espaces pr-hilbertiens

La pratique fait apparatre des espaces prhilbertiens, qui ne sont pas ncessairement spars ; ils vrient seulement : x|x 0 (5)

Dans la dnition despace prhilbertien, on ne demande pas non plus la compltude. On appelle espace pr-hilbertien un espace vectoriel complexe muni dune forme sesquilinaire positive ne vriant que (5). Alors x | x 1/2 est une semi-norme, et dans une premire tape, on peut sparer lespace, i.e., quotienter par lensemble I := {z; z = 0}, qui est un sous-espace vectoriel sur lequel la forme est identiquement nulle. Lespace H/I est alors muni dune forme strictement positive, i.e., est un espace norm. En tant quespace norm, H/I admet un complt qui est un espace de Banach, i.e., un espace vectoriel norm complet, et sur lequel la forme x | y se prolonge (uniquement) de faon ce que lquation x | x = x 2 soit vrie. On obtient ainsi un espace de Hilbert, H, le spar complt de H. La plupart des espaces de Hilbert courants sont en fait des spars complts despaces prhilbertiens. La premire partie de Cauchy-Schwarz (celle qui ne parle pas de lgalit) persiste dans le cas prhilbertien, il sut de faire attention au cas y | y = 0 : si x | x = 0, on permute x et y, si x | x = 0 on obtient 2 x | y 0 ce qui nest possible quavec x | y = 0.

1.3
1.3.1

Exemples
Dimension nie

Lexemple le plus naturel vient de la gomtrie euclidienne, lespace de Hilbert ntant quun espace euclidien complexi : au lieu de Rn , on considre Cn , muni de x | y = 1in xi .i . La complexication permet de diagonaliser les rotations y en rsolvant lquation det(M I) = 0, par exemple, pour une rotation dangle , (cos )2 + sin2 = 0, i.e., 2 2 cos + 1 = 0, quation qui na de racines relles que pour cos = 1 : les solutions complexes sont cos i sin , et corres pondent aux vecteurs propres 2/2.(1, i). Linvolution sur la partie droite vite

Algbres doprateurs I

les vecteurs isotropes, i.e., A norme B nulle : comparer linterprtation euclidienne de (bilinaire) 2/2.(1, i) | 2/2.(1, i) = 1/2.(1 + i2 ) = 0 avec la version hermitienne (sequilinaire) 2/2.(1, i) | 2/2.(1, i) = 1/2.(1 + i.(i)) = 1. Il ne sagit pas, loin sen faut, de la seule faon de construire un espace de Hilbert sur Cn . On peut chercher la forme gnrale : si {e1 , . . . , en } est la base canonique, on peut poser bij := ei | ej ; la condition (3) devient bij = ji , i.e., que la matrice (bij ) b est hermitienne, gale sa transconjugue, quant la condition (4) elle dit que les racines du polynme caractristique de (bij ) (qui sont ncessairement relles) sont strictement positives ; en dautres termes, (bij ) est un hermitien strictement positif. Il sagit en fait dune remarque gnrale : si H est un espace de Hilbert et si u est un hermitien positif, voir plus bas, u(x) | y dnit une autre structure despace prhilbertien sur le mme H. Lespace est hilbertien par rapport la nouvelle forme quand u est inversible. 1.3.2 Espaces de suites

Les espaces de suites (an )nN de nombres complexes jouent un rle essentiel. Nous allons nous attarder sur les p (1 p ) ; en pratique, on ne rencontre gure que les cas p = 1, 2, . Pour 1 p < , on dnit (an ) p := ( n |an |p )1/p , et p := {x; x p < }. Lingalit de Minkowsky : (
1iN

|ai + bi |p )1/p (
1iN

|ai |p )1/p + (
1iN

|bi |p )1/p

(6)

passe la limite N et montre que x p est bien une norme, et que les p sont en fait des espaces de Banach. Pour 1 < p, q < et 1/p + 1/q = 1, on sassure que le dual de p est bien q ; en particulier le dual de 2 est bien 2 , en accord avec le fait que 2 est un espace de Hilbert, donc auto-dual. On dnit de mme (an ) = supnN |an | et := {x; x < } et on voit que le dual de 1 est . Mais le dual de ne se rduit pas 1 ( 1 nen est quun sous-espace clos) : il contient aussi, pour chaque ultraltre U, la forme U ((an )) := limU (an ). Donc, p nest rexif (i.e., A gal B son bidual) que pour 1 < p < . Ce qui est malheureux, vu que les cas p = 1, sont les plus A naturels B. Mais le passage de lespace de Hilbert 2 aux algbres doprateurs sur 2 permettr de simuler des situations du type 1 ou : la norme dun oprateur est A du genre B, alors que sa trace est A du genre 1 B. 2 est lexemple le plus standard despace de Hilbert, et dailleurs il gnralise naturellement le cas de dimension nie. La forme hermitienne est dnie par (an ) | (bn ) = n ann ; la somme est absolument convergente en vertu de b | n<N an bn |2 ( n<N |an |2 )( n<N |bn |2 ), qui nest autre que Cauchy-Schwarz pour CN et qui passe facilement la limite. Une autre faon de dire la mme chose : on fait la limite inductive (i.e., runion) des Hilberts CN , et le rsultat est un prhilbertien (spar), dont le complt est isomorphe 2 .

Algbres doprateurs I

Limportance particulire de 2 vient des bases orthonormales : tout Hilbert H admet une base orthonormale (ei )iI , I tant de cardinal x, cest le thorme dorthonormalisation, voir infra. Les cas importants sont : I ni ; alors H est isomorphe C (I) . I dnombrable ; alors H est isomorphe 2 . Le cas A I non-dnombrable B nest pas courant ; il faut beaucoup de termes nuls (tous sauf un nombre dnombrable) pour que le carr de la norme iI |ai |2 converge. Un Hilbert de base au plus dnombrable est sparable, i.e., admet un sous-ensemble dense dnombrable. La plupart des espaces intressants sont sparables, avec pour seule exception les algbres de von Neumann qui le sont rarement. Parmi celles-ci, , qui admet un sous-ensemble non dnombrable, celui des fonctions caractristiques de sous-ensembles de N, form de vecteurs une distance mutuelle de 1. , algbre de von Neumann commutative, est le dual dun espace sparable, 1 : quand on travaille avec des algbres de von Neumann, on se concentre sur celles qui ont un prdual sparable. 1.3.3 Espaces de fonctions

Si (X, m) est un espace mesur, on peut adapter, mutatis mutandis, la construction des espaces p , ce qui donne les espaces Lp (X, m) : la somme est remplace par lintgrale. Mais pour 1 p < , lexpression f p := ( |f |p dm)1/p ne vrie pas f p = 0 f = 0 : f est nulle, mais seulement un ensemble ngligeable prs. On ne travaille pas vraiment avec des fonctions, mais avec des classes dquivalence, par rapport la relation A f (x) = g(x) sauf sur un ensemble de mesure nulle B ; ainsi, L (X, m) est-il form des fonctions bornes un ensemble ngigeable prs. Et lespace L(X, m)2 des fonctions de carr sommable, muni de la forme hermitienne f | g = f g dm nest pas un Hilbert, ce nest quun pr-Hilbert. Lespace spar (pas besoin de le complter) est not L2 (ou encore L2 (X, m)). Lespace L1 correspond aux (classes de) fonctions sommables, i.e. telles que la norme |f | dm soit nie, lespace L correspond aux (classes de) fonctions essentiellement bornes, i.e., telles que la norme inf {; m{x; |f (x)| < } = 0} soit nie ; ce qui veut exactement dire quun lment de la classe de f est born. Le thorme dorthonormalisation (thorme 2) montre, quau fond, les L2 napportent rien de neuf ; ils font, par contre, considrablement varier le point de vue. Par exemple, si (X, m) est le segment [0, 1] muni de la mesure de Lebesgue, une orthonormalisation typique se fait au moyen de la base (en ; n Z), dnie par en (x) = e2inx = cos 2nx + i sin 2nx. Lcriture de f L2 comme f = n an en apparat comme un dveloppement de Fourier (en sries trigonomtriques, car 2 cos 2nx = en + en , 2 sin nx = en en ) et le fait que cette base ralise une isomtrie entre deux espaces correspond : |f |2 dm =
n

|an |2

(7)

qui est un cas particulier de la formule de Parseval (12).

Algbres doprateurs I

1.4
1.4.1

Lespace dual
La mdiane

Cest un pur calcul euclidien : considrons un triangle de somments 0, x, y et la mdiane partant de 0, cest dire le vecteur (x + y)/2. Un calcul immdiat sur les formes, bi or sesqui-linaires, nous donne : x
2

+ y

= 2( (x y)/2

+ (x + y)/2 2 )

(8)

Cette galit nous permet, dans certaines circonstances, de majorer la taille du troisime ct, x y. En eet, si les cts x, y ont des normes 1 + et si la mdiane a une norme 1, on voit que 2 (x y)/2 2 2 + 4 + 2 2 2, ce qui donne x y 2 8 + 4 2 12 (pourvu que 1). 1.4.2 Projection sur un convexe

Supposons que E H soit un sous-ensemble ferm, non-vide de H, et de surcrot convexe : si x, y E et 0 1, alors x + (1 )y E. Proposition 1 Le minimum inf { x ; x E} est atteint en un point unique de E. Ce point est aussi le seul point e E tel que e | e f soit ngatif, pour tout f E. Dmonstration : On suppose le minimum gal 1 : si x = y E avec x = y = 1, alors le point (x + y)/2 E a une norme < 1 : (x + y)/2 2 = 1 (x y)/2 2 , ce qui montre que le minimum ne peut tre atteint quen un seul point. Prenons maintenant une suite xn E, telle que xn 1+1/n2 . Comme les mdianes (xn + xn+k )/2 sont dans E, leurs normes sont 1, ce qui nous donne, au vu de la remarque faite supra, xn+k xn 2 12/n2 et donc xn+k xn 4/n. Autrement dit les approximants xn forment une suite de Cauchy ; cette suite converge donc dans lespace de Banach H vers un lment e du ferm E. Soit maintenant f E, alors pour 0 < < 1 e + (f e) E, et donc e + (f e) 2 1, ce qui scrit 2 e | f e + 2 f e 2 0, ce qui nest possible que si e | e f 0. e est le seul vrier cette proprit, car si e est tel que e | e f 0 pour tout f E, alors e 2 = e 2 + 2 e | e e + e e 2 e 2 , ce qui force e = e . 2 1.4.3 Sous-espaces supplmentaires

On applique la construction dans le cas suivant : au lieu de projeter lorigine sur un convexe quelconque, on projette un point quelconque sur un sous-espace clos donn, disons E ; soit donc lapplication ainsi obtenue. Que peut-on en dire ? Dabord, comme 0 E, (x) x . Ensuite, est idempotente : 2 = . (x) est lunique y E tel que y x | f = 0 pour tout f E. Cest parce que E est un espace vectoriel et que la condition y x | y f 0 pour

Algbres doprateurs I

tout f E devient y x | f 0 pour tout C, ce qui nest possible que si y x | f = 0. On en dduit que est linaire : par exemple, (x) = y, (x ) = y impliquent que y x, y x sont orthogonaux E ; il en est de mme de leur somme (x + x ) (y + y ), ce qui montre que (x + x ) = y + y . Le noyau 1 (0) est un sous-espace clos gal E := {x; y E x | y = 0}. est un exemple (le plus typique) dhermitien positif (voir infra) : en eet, (x) | x = (x) | (x) + (x) | x (x) = (x) | (x) 0. Limage de est E, son noyau est E ; le projecteur associ E est I . Ces espaces sont supplmentaires, cest dire que tout vecteur de H scrit de faon unique comme x = e + e , e E, e E avec, de plus e, e orthogonaux, i.e., tels que e | e = 0, ce qui sexprime par la relation de Pythagore : x 1.4.4 Lanti-isomorphisme
2

= e

+ e

(9)

Si e H, x x | e est une forme linaire continue : par Cauchy-Schwarz | x | e | < e x , lgalit tant atteinte pour x = e, ce qui montre que cette forme e a la norme e . Rciproquement, toute forme linaire continue sur H est de la forme e pour un e bien choisi forcment unique, vu que x | e f = 0 pour tout x implique e f | e f = 0. Soit donc une telle forme, quon supposera non-nulle, et considrons le noyau E := {x : (x) = 0}. Il est immdiat que E est un sous-espace ferm (continuit). Cest en fait un hyperplan, car noyau dune forme linaire non-nulle. Nous avons vu que cet hyperplan possde un supplmentaire orthogonal D qui est donc un espace de dimension 1. Si b D, b = 0, la forme linaire b sannule sur E, ce qui nest possible que si est un multiple de b , i.e., si = b = (b) . Donc le dual H de H est canoniquement isomorphe H au moyen de lapplication b b . Attention ! Il sagit dun anti-isomorphisme, qui prserve tout ce quon veut part la multiplication par un scalaire : (b) = b . 1.4.5 Topologie faible

Les formes linaires b induisent la topologie faible sur H : la suite (xn ) tend vers x ssi pour tout b H la suite ( xn | b ) tend vers x | b . Lintrt de la topologie faible vient du rsultat suivant : Proposition 2 La boule unit de H est faiblement compacte. Dmonstration : Jexplique lide : dabord on va considrer B = {b H; b 1}, ce qui fait que x H de norme 1 sidentie avec la fonction b fx (b) de B dans le disque unit D = {z; |z| 1}, i.e., un lment de lespace DB de toutes les fonctions de B dans D ! Ce monstre nen est pas moins compact pour la topologie produit (thorme 19 A de Tychonov B), et il ne reste donc qu vrier que les fx

Algbres doprateurs I

forment un sous-espace clos de DB , autrement dit que si fxi (b) = xi | b f (b) pour tout b, alors f est de la forme fx . Mais f sera une forme anti-linaire borne sur H, et donc de la forme dsire. 2 Bien entendu, la convergence faible nimplique pas la convergence usuelle, ainsi dans 2 , xi = (ni )nN , avec ij = 1 si i = j, ij = 0 sinon, est une suite de vecteurs (en fait la base canonique) qui tend faiblement vers 0, mais dont la norme est constamment 1 et qui ne peut donc pas tendre vers 0 A normalement B. Bizarrement cest le seul contre-exemple, cause de la : Proposition 3 Si xi x faiblement et si xi x , alors xi x A normalement B. Dmonstration : Par hypothse, xi | b x | b pour tout b ; faisons donc b = x ! Ce qui nous donne xi | x x | x et donc x xi | x xi = x 2 + xi 2 2 xi | x tend vers 0. 2 La topologie faible est lexemple dune topologie aaiblie, i.e., obtenue partie du dual de lespace, cest la topologie la moins ne, la plus faible, qui rend continues les formes linaires continues (au sens de la norme). En consquence, si u B(H, K) (voir section 3.1) est continu en norme, il reste continu quand H et K sont munis de leurs topologies faibles. La rciproque est dailleurs vraie : si u est continu au sens des topologies faibles, limage par u de la boule unit est un compact, et est donc borne, i.e., continue en norme. En fait : Proposition 4 Limage par un oprateur u B(H, K) de la boule unit de H est un ferm de K (par rapport la norme). Dmonstration : En eet, u est faiblement continue, donc limage B de la boule unit est faiblement compacte, donc ferme. Elle le reste dans toute topologie plus forte (qui a plus de ferms) 2 Remarque 1 Mais limage dun oprateur born nest pas forcment ferme. Lexemple typique est fourni par loprateur u, qui une suite (xn ) 2 associe la suite (xn /n). Limage de la boule unit par u est non seulement ferme en norme, mais compacte, i.e., u est ce quon appelle un oprateur compact. Limage de u est dense, puisquelle contient toutes les suites de support ni et donc, elle nest pas ferme, puisque la suite xn = 1/n nest pas dans limage de u. Incidemment, u nous fournit lexemple dun oprateur (et cest mme un hermitien positif) injectif mais non inversible ; ce qui illustre la dirence entre spectre (voir infra) et valeurs propres : 0 Sp(u), mais il ny pas de vecteur z = 0 tel que u(z) = 0.z = 0. On rappelle aussi le rsultat classique de borne uniforme :

Algbres doprateurs I Proposition 5 Si X H est faiblement born, i.e., pout tout y H, lensemble X | y := { x | y ; x X} est born, alors X est born en norme.

Dmonstration : Soit En H le sous-ensemble {y; X | y n} ; alors En est ferm et H est lunion des En . Par le thorme de Baire (thorme 23), un des En est dintrieur non vide, autrement dit, il y a un y0 , un r > 0 et un n tels que X | y n pour tout y tel que y y0 < r. On peut se ramener r = 1, auquel cas X 2n. 2

1.5

Bases orthonormales

Dfinition 2 Un systme orthonormal de H, cest une famille (ei ) indice par un ensemble I, forme de vecteurs de norme 1 et deux deux orthogonaux. (ei ) est appel une base quand de plus lespace vectoriel quil engendre est dense dans H. Proposition 6 Un espace de Hilbert admettant la base (ei )iI est isomorphe
2 (I).

Dmonstration : Concrtement a veut dire que lon peut sautoriser une criture formelle a = i ai ei , avec ai := a | ei . Le mode demploi de cette srie formelle est le suivant : ai ei | b i ei = aii b (10)
i i i

la convergence tant assure par : ai ei

i 2

=
i

|a|2 < i

(11) 2

i.e., la formule de Parseval : x

2

=
i

| x | ei |2

(12)

Thorme 2 (Orthonormalisation) H admet une base orthonormale. Dmonstration : Par le lemme de Zorn, on considre un systme orthonormal maximal (ei )iI , et soit E la clture de lespace engendr par ce systme. Si E tait distinct de H, on pourrait rajouter au systme un vecteur de norme 1 pris dans le supplmentaire orthogonal de E. Donc E = H. 2 Proposition 7 Deux bases orthonormales de H ont mme cardinal, la dimension hilbertienne de H. On omet la dmonstration qui nest pas des plus passionnantes. On garde en tte que les cas importants sont les cas o le cardinal est ni ou dnombrable, i.e., le cas sparable.

Algbres doprateurs I

2
2.1

Quelques constructions hilbertiennes

Sommes directes

Dfinition 3 Si H, K sont des espaces de Hilbert, on peut munir la somme directe algbrique HK dune structure despace de Hilbert, au moyen de : x y | x y := x | x + y | y En particulier, x y
2

(13)

= x

+ y 2.

Cette dnition stend une somme indice par un ensemble quelconque, e.g., dnombrable : xn | xn := xn | xn (14)
n n n

Cette quation sapplique dabord dans la somme directe algbrique et dnit un espace prhilbertien spar, que lon complte. Ce complt est form des sommes formelles n xn telles que n xn n < , pour lesquelles lquation (14) fait toujours sens. En fait, ceci gnralise le cas dune base orthonormale, qui apparat comme la dcomposition dun espace de Hilbert en somme directe despaces de dimension 1.

2.2

Produits tensoriels

Dfinition 4 Si H, K sont des espaces de Hilbert, on considre lespace vectoriel engendr par les tenseurs formels x y, x H, y K. Cet espace est muni dune unique forme sequilinaire positive telle que : x y | x y := x | x . y | y (15)

Lespace de Hilbert H K est par dnition le spar complt de cet espace prhilbertien. H K se construit en deux tapes : Sparation : on quotiente par les vecteurs de norme nulle. De fait, le quotient ainsi obtenu (not H K) nest rien dautre que le produit tensoriel algbrique des espaces. En dautres termes on aurait pu partir de H K, en remarquant que lquation (15) stend par sesquilinarit en une forme strictement positive. Compltion : il faut complter H K. On gardera en tte que, si (ei )iI , (fj )jJ sont des bases orthonormales de H, K, alors (ei fj )ijIJ est une base orthonormale de H K. Remarque 2 On aurait tendance caractriser le produit tensoriel au moyen dun problme universel : une fonction linaire sur H K, cest une autre manire de parler dune fonction bilinaire sur H K. Rien nest plus faux :

Algbres doprateurs I

10

(i) Une fonction B(H K, L) induit bien une fonction bilinaire borne, tout simplement parce que x, y x y est une application bilinaire borne. (ii) a ne marche pas dans lautre sens : ainsi, la fonction x, y x | y est une fonction bilinaire de norme 1 de H H dans C. Elle vrie (em , en ) = mn , ce qui ne correspond pas un lment du dual de H H (qui est un espace de Hilbert), les coecients ne formant pas une srie de carr sommable. Moins abstraitement, il ny a pas de forme 2 linaire sur H H telle que (em en ) = mn , en eet, 1/n.en en H H , mais ( 1/n.en en ) = n 1/n = . Le produit tensoriel (rassurons les fans des catgories) est bien solution dun problme universel, mais par rapport une version plus restrictive de morphisme, les oprateurs HS (Hilbert-Schmidt). Grosso modo, un oprateur u est Hilbert-Schmidt quand u u est trace, voir infra. En fait, la dnition la moins comprhensible, mais la plus synthtique du produit tensoriel, cest lespace des oprateurs HS de H dans K, muni de tr(v u), ce qui fait que u 2 = tr(u u), voir section 5.3.

2.3

Espace de Fock

Il y a en fait deux versions, la symtrique, et celle qui nous occupe ici, lantisymtrique, version hilbertienne de lalgbre extrieure. Si H est un Hilbert et n 2, on note H[n] le produit tensoriel de n copies de H. Dfinition 5 n (H) est dni comme le spar complt de lespace prhilbertien H[n] , muni de lunique forme | n vriant : x1 . . . xn | y1 . . . yn
n

= det( xi | yj )

(16)

Il convient de vrier que la forme est positive. Or considrons le sous-espace clos A H[n] , form des tenseurs antisymtriques : si est une permutation de {1, . . . , n}, elle se propage en un unitaire de H[n] vriant : (x1 . . . xn ) = x(1) . . . x(n) (17)

et A est dni comme lensemble des x H[n] tels que (x) = (1) x. La projection orthogonale sur A est dnie par : (x) = 1 n!

(1)n (x)

(18)

ce qui nous donne x | y n = n! (x) | y = n! (x) | (y) . En dautres termes, lespace n (H) est isomorphe au sous espace des vecteurs antisymtriques, modulo une homothtie de la norme, multiplie par le facteur n!. Ceci pour que, si x1 , . . . , xn 1 sont orthogonaux de norme 1, la norme de x1 . . . xn soit 1, et non pas . n!
2

Forme (muliti-)linaire : fonction (multi-)linaire valeurs dans les scalaires, ici, dans C.

Algbres doprateurs I Dfinition 6 Lalgbre de Fock (H) est dnie comme la somme directe des n (H) (avec 0 (H) = C, 1 (H) = H), muni de la multiplication dduite par bilinarit de : (x1 . . . xn ) (y1 . . . ym ) := x1 . . . xn y1 . . . ym

11

(19)

En fait on vrie facilement que le produit est associatif (en particulier on pourra noter x1 . . .xn au lieu de x1 . . .xn ). Par contre, il nest born que localement, car la norme du produit, en tant application bilinaire de p (H) q (H) dans p+q (H) p , la racine carre dun coecient binomial, bore quon ne p+q peut pas (fondamentalement) amliorer. est majore par Remarque 3 On peut aussi, si lon veut, voir n (H) comme un sous-espace de H[n] , avec la norme induite, mais il faut faire attention crire x1 . . . xn = n!.(x1 . . . xn ). Par exemple, pour n = 2, x1 x2 nest pas lantisymtris 1/2.(x1 x2 x2 x1 ) de x1 x2 , mais son renormalis 2/2.(x1 x2 x2 x1 ).

3
3.1

Oprateurs borns
Norme

Si H et K sont des Hilberts, on note B(H, K) lensemble des applications linaires bornes de H dans K, i.e., telles que la norme : u := sup { u(x) ; x H, x 1} (20)

soit nie. B(H, K) est un espace de Banach et de plus, si v B(H, K) et u B(K, L), alors uv B(H, L) est telle que uv u v . Le cas le plus important est celui o H = K, et lon note tout simplement B(H) lalgbre de Banach ainsi obtenue. Parmi les lments de cette algbre3 , lunit, note 1 ou I, de norme 1 (sauf le gag H = 0).

3.2

Spectre

Dans une algbre de Banach comme B(H), on dnit le spectre dun lment u : Dfinition 7 Si u B, Sp(u) est lensemble des C tels que u .I ne soit pas inversible. Remarque 4 Si H est de dimension nie, v est inversible ssi il est injectif : dire que u .I nest pas inversible revient dire que est valeur propre de u. Cette proprit nest plus
Les auteurs prfrent ne pas mettre lunit dans le cahier des charges de lalgbre, ce que je ne fais pas : jemploie A algbre B dans le sens dA algbre unifre B.
3

Algbres doprateurs I

12

vraie en dimension innie, cause des endomorphismes injectifs, mais non-surjectifs, voir remarque 1. Si X est un espace compact, lespace C(X) des fonctions continues valeurs complexes sur X est une algbre de Banach commutative. Si f C(X), alors Sp(f ) est limage de la fonction f . Certains rsultats font intervenir Sp (u) := Sp(u) {0}. Par exemple : Proposition 8 Sp (uv) = Sp (vu) Dmonstration : Base sur le fait que, si 1 uv est inversible dinverse a, alors : (1 + vau)(1 vu) = 1 vu vauvu + vau = 1 vu + va(1 uv)u = 1 ; de mme (1 vu)(1 + vau) = 1, et donc 1 vu est inversible. 2 Remarque 5 Si u est une isomtrie partielle (voir dnition 9) de H sur un sous-espace propre de H, alors Sp(u u) = {1} = Sp(uu ) = {0, 1}. Thorme 3 Sp(u) est un compact non-vide. Dmonstration : La dmonstration se base sur la possibilit de developper linverse en srie entire. Par exemple, si u est inversible, alors u.I le reste dans un voisinage de 0 : linverse est n n .u(n+1) , qui va converger pour || < u1 1 ; cela montre que le spectre est ferm. De mme le spectre est born, car pour > u , la srie n .un converge vers linverse de I 1 .u. Le spectre est non-vide : soit une n forme linaire continue sur B : si Sp(u) = , la fonction (u .I)1 va tre holomorphe dans tout le plan complexe (fonction entire), et de plus, comme pour || > u (u .I)1 1/(|| u ), cette fonction entire sannule linni. Cest le moment dappliquer le thorme de Liouville A une fonction entire borne est constante B, et den dduire que (u.I)1 est identiquement nulle, en particulier, (u1 ) = 0 quelque soit . Par le thorme de Hahn-Banach (thorme 24), ce nest possible que si u1 = 0, drle de proprit pour un inverse. 2 Remarque 6 Le thorme admet une version eective : on peut calculer la A taille B du spectre, i.e., le rayon spectral (u) := inf {r; z Sp(u)|z| r} : cest le diamtre de la plus petite boule de centre 0 contenant le spectre ; cette valeur est eectivement atteinte par compacit, i.e., il y a un lment du spectre de module (u),. . . y compris quand (u) = 0, puisque le spectre est non-vide. Le rayon spectral repose sur la version explicite du thorme de Liouville, qui se dmontre trs bien dans le cas dune fonction de C dans un Banach. En eet, si est une fonction holomorphe dans un disque de rayon > R > 0, le thorme des rsidus

Algbres doprateurs I

13

permet de calculer les drives successives de en 0, au moyen dune intgrale sur le cercle de rayon R : (n) (0) = (1)n n! 2i
0 2

R(Re2it )ei(n+1)t Rn+1

dt

(21)

Grosso modo, cette intgrale va diminuer quand R augmente. Si est borne par M sur le disque de rayon R, on obtient les majorations suivantes pour les drives successives : |(n) (0)| M n!Rn (22) (n) (0) n associe () est n! au moins gal R. Ce qui montre que le rayon de convergence de la srie de est gal au rayon du plus grand disque sur lequel est dnie4 . Mais il y a aussi une formule explicite pour le rayon de convergence dune srie entire an n , cest 1/n lim inf |an | . On applique ceci la fonction5 (u 1 I)1 , dont le rayon de convergence sera donc (a)1 , et qui admet le dveloppement en srie n+1 un . Cela nous donne lim inf un 1/n comme valeur du rayon spectral ; ce quon amliore en remarquant que umn 1/n um , qui donne lim inf un 1/n = lim un 1/n = inf un 1/n : et donc le rayon de convergence de la srie entire (u) = lim un
1/n

= inf un

1/n

(23)

En particulier, si u est nilpotent, son rayon spectral est nul ; ce qui est bien connu en dimension nie, rappelons-nous les matrices de Jordan triangulaires strictes et donc avec des valeurs propres nulles. Nous verrons que, dans une algbre stellaire, la norme dun oprateur normal, e.g., hermitien, est gale son rayon spectral. Proposition 9 Soit P un polynme complexe ; alors Sp(P (u)) = P (Sp(u)). Dmonstration : Si Sp(u), alors on peut crire P (u) P ().I sous la forme (u .I)P (u), qui nest pas inversible, dou P () Sp(P (u)). Rciproquement, si Sp(P (u)), crivons P comme produit de facteurs du premier degr (X 1 ) . . . (X k ) ; dire que (u 1 .I) . . . (u k .I) est non-inversible, cest dire que : Soit = 0, ce qui correspond au polynme constant : ce cas est immdiat modulo le fait que le spectre est non-nul P (Sp(u)) = {} = Sp(.I). Soit un des u i .I est non-inversible. Alors i Sp(u) et, comme P (i ) = 0, P (Sp(u)). 2 Corollaire 9.1 Lequation uv vu = I na pas de solution parmi les oprateurs borns.
4 La majoration (22) donne immdiatement le thorme 3 : on fait tendre R vers linni avec M xe ! 5 Prolonge continment en 0 par la valeur 0.

Algbres doprateurs I

14

Dmonstration : 1 + vu = uv, donc 1 + Sp(vu) = Sp(uv), ou encore (1 + Sp(vu)) {0} = Sp(vu) {0}, mais il ny a pas de compact non-vide Sp(vu) vriant cette quation. En fait il y a des solutions, mais avec des oprateurs non borns, auquel cas Sp(vu) nest plus forcment compact, par exemple Sp(vu) = Z. 2 La proposition suivante anticipe sur la dnition de ladjoint, autrement dit elle suppose que lalgbre est munie dune involution. Proposition 10 Sp(u ) = Sp(u) ; si u est inversible, alors Sp(u1 ) = Sp(u)1 . Dmonstration : (Seconde proprit) : si = 0 et u .I est inversible, alors u1 1 .I = 1 .u1 (u .I) est aussi inversible. 2

Remarque 7 Janticipe sur la suite des vnements : je vais montrer que le spectre dun oprateur nest pas relatif lalgbre stellaire, voir infra, dans lequel on le place. En rgle gnrale, si u B C, son spectre dcrot : SpC (u) SpB (u), vu que lon a plus de chances dinverser un lment dans une sur-algbre. Il y a une limitation technique cette diminution de spectre. Dans B, si u nest pas inversible, mais cependant limite dune suite (un ) dlments inversibles, il est immdiat que u1 : en eet si (un ) (ou une de ses sous-suites) reste n borne, on a uun 1 I = (uun )un 1 0, et donc uun 1 sapproche de I, mais distance < 1 de I, on est toujours inversible (srie entire convergente), et si uun 1 est inversible, u lest aussi, contradiction. Par contre, si le mme u est inversible dans C, la fonction v v 1 est continue et borne dans un voisinage de u, mais on a vu que linverse (dans B, mais cest le mme) nest born dans aucun voisinage de u. On applique a au cas dun point frontire du spectre SpB (u) : si u .I nest pas inversible, mais limite des un .I inversibles (tout a dans B), cette situation persiste dans C. En rsum, si le spectre dcrot, sa frontire augmente ! Par exemple SpB (u) est le disque ferm de rayon 1, et SpC (u) est le mme disque priv du disque ouvert de rayon 1/2. Dans le cas qui nous intresse, on en dduira quun hermitien u inversible dans lalgbre stellaire C ltait dj dans B, vu que 0 est point frontire (le spectre dun hermitien est rel, voir infra, et donc form de points frontires). On en dduit que si B C sont des algbres stellaires, B est une sous-algbre pleine de C, i.e. que tout lment u B inversible dans C lest dj dans B. En eet, uu , hermitien, est bien inversible dans C, et le reste dans B, ce qui fait que u est inversible droite dans B. De mme, en considrant u u, on obtient linversibilit gauche.

3.3

Adjoints

Si u B(H, K), u induit une application linaire u du dual K de K dans le dual H de H. Or K et H sont anti-isomorphes K et H, autrement dit u dnit une

Algbres doprateurs I

15

fonction u de K dans H ; cette fonction est linaire, car les deux A anti B sannulent. En fait, u est lunique oprateur satisfaisant ladjonction : u(x) | y = x | u (y) (24)

Les proprits de u sont les suivantes : (i) u u est anti-linaire, en particulier (.u) = .u . (ii) u u est involutive : u = u ; comme toute bonne involution, elle renverse la composition (uv) = v u , et dans le cas H = K, I = I. (iii) u u est une isomtrie : u = u . En eet, par Cauchy-Schwarz, u = sup {| u(x) | y | ; x , y 1}, etc. (iv) Last but not least, uu = u 2 : uu = sup {| uu (x) | y | ; x , y 1} sup {| uu (x) | x | ; x 1} = sup {| u (x) | u (x) | ; x 1} = u 2 et donc, uu u 2 , dont on tire uu = u 2 . Une algbre de Banach munie dune involution vriant (i)(iv)6 est dite algbre stellaire. Exemple 1 Lexemple le plus naturel dalgbre stellaire est B(H). Plus gnralement, une sousalgbre de B(H) close pour la norme et auto-adjointe (close par adjonction) est la forme la plus gnrale dalgbre stellaire (thorme 14). Il y a un exemple plus lmentaire dalgbre stellaire : lalgbre des fonctions continues sur un compact X, muni de la multiplication, ladjonction tant la conjugaison, tout cela dni ponctuellement, avec : f = sup {|f (x)|; x X} (25)

La particularit de C(X), cest dtre commutative. Le thorme 12 nous dira dailleurs que toute algbre stellaire commutative est de cette forme.

3.4

Petite taxinomie des oprateurs

Les lments dune algbre stellaire, et donc les oprateurs sur un Hilbert, sont principalement tudis en fonction de leur relation leur propre adjoint. Voil les cas les plus typiques : Normal : se dit dun oprateur qui commute son adjoint : uu = u u. Alors lalgbre stellaire engendre par u est commutative et u possde une espce de A diagonalisation B. Parmi les oprateurs normaux se trouvent les hermitiens et les unitaires. Unitaire : se dit dun oprateur u dinverse u , i.e., tel que uu = u u = I. Ce sont les isomtries de H, car u(x) | u(y) = x | u u(x) = x | y , et ils forment donc un groupe. Le spectre dun unitaire est inclus dans le cercle U = {z; |z| = 1}. Cest vident, car u = 1 ( cause de uu = u 2 ) et donc Sp(u) est inclus dans le disque unit D ; il en est de mme de Sp(u ) = Sp(u)1 , ce qui montre que Sp(u) D D1 = U.
6

(iii) dcoule en fait de u

uu qui implique u

u .

Algbres doprateurs I

16

Hermitien : (ou auto-adjoint) se dit dun oprateur u gal son adjoint, en dautre termes tel que u(x) | x soit rel pour tout x. Le spectre dun hermitien est rel (voir infra), et les bornes extrmes de son spectre sont les rels sup { u(x) | x ; x = 1} et inf { u(x) | x ; x = 1}. Lhermitien typique (cest mme un thorme, tout hermitien scrit ainsi) est une somme u + u . Symtries : se dit dun hermitien unitaire, i.e., tel que u = u = u1 . Son spectre est inclus dans {1, +1}, et de fait on peut A diagonaliser B u comme la dirence des projecteurs (voir infra) (I + u)/2 (espace propre de +1) et (I u)/2 (espace propre de 1). Projecteur : se dit dun hermitien idempotent : u = u = u2 . Son spectre est inclus dans {0, +1}, et u correspond une projection orthogonale sur un sous-espace clos, limage de u. Hermitien positif : se dit dun hermitien tel que u(x) | x 0 pour tout x. Les hermitiens positifs sont particulirement importants, car la structure dordre de R supple aux dfaillances de la topologie, par exemple dans les questions de convergence de sries. Les hermitiens positifs ont un spectre inclus dans R+ . Lhermitien positif typique (cest encore un thorme, ils sont tous de cette forme) est un produit uu , on peut mme supposer u hermitien, et, mieux, u lui-mme positif : le fait capital est quun hermitien positif a une racine carre. Lanalogie courante est la suivante : les oprateurs sont une version A non-commutative B de leur spectre, autrement dit, les hermitiens sont les A rels non-commutatifs B, les unitaires jouant le rle des arguments complexes ei , et dailleurs, la dcomposition polaire (infra) exprime tout oprateur comme le produit dun module (hermitien positif) et dune isomtrie (partielle, cependant). Remarque 8 Le rayon spectral dun oprateur hermitien est gal sa norme : n n u2n = (un ) un = un 2 , ce qui fait que u2 = u 2 do n 2n (u) = lim u2 = u . Mme remarque pour un oprateur normal : (u)2 = (uu ) = uu = u 2 . Les oprateurs normaux forment une classe btarde, car dnue de toute socialisation : alors que les unitaires socialisent par produit (si u, v sont unitaires, uv lest aussi) et que les hermitiens socialisent par somme (si u, v sont hermitiens, u + v lest aussi), on na rien de tel pour les oprateurs normaux. Bien quils comprennent beaucoup plus que les unitaires et les hermitiens, les oprateurs normaux sont avant tout un artice rhtorique qui vite de dupliquer les rsultats qui sont valables la fois dans le cas unitaire et dans le cas hermitien.

3.5

Le calcul spectral

Soit u un lment hermitien dune algbre stellaire B ; la plus petite sous-algbre B0 B contenant u (et donc forcment u , puisque u = u) est commutative. Nous allons montrer que B0 est isomorphe lalgbre des fonctions complexes continues

Algbres doprateurs I

17

sur le spectre de u, C(Sp(u)). Ce rsultat se gnralise : toute algbre stellaire commutative est isomorphe une algbre C(X) o X est un espace compact, voir infra. Si P est un polynme, nous savons dnir P (u), qui est un oprateur normal. De plus Sp(P (u)) = P (Sp(u)), ce qui montre que P (u) = sup {|P (z)| ; z Sp(u)} et en particulier si P, Q coincident sur Sp(u) (ce qui ne peut vraiment se produire que quand le spectre est ni), on obtient P (u) = Q(u). On a donc une isomtrie linaire dune partie de C(Sp(u)) (les fonctions f qui sont des restrictions de polynmes Sp(u)) ; mais ces fonctions sont denses dans C(Sp(u))d (Stone-Weierstra, thorme 22), et donc nous avons eectivement construit une isomtrie. Thorme 4 chaque fonction complexe continue f sur Sp(u), on peut associer un oprateur f (u) B tel que : (i) f (A) = f ; (ii) Sp(f (u)) = f (Sp(u)) ; (iii) 1(u) = I ; (iv) (u) = u si est la fonction identit : (z) = z ; (v) (af + bg)(u) = af (u) + bg(u) ; (vi) (f g)(u) = f (u)g(u) ; (vii) f (u) = (f (u)) ; (viii) f (u) est normal ; il est hermitien exactement quand f est valeurs relles ; (ix) f (u)v = vf (u) si v commute u. Dmonstration : Tout a est peu prs vident, sauf (ii) On a un plongement isomtrique de C(Sp(u)) dans B, do il rsulte que le spectre de f (u) dans B0 , soit Sp(f (u)) est inclus dans le spectre de f (u) dans C(Sp(u)), soit SpB0 (f (u)) = f (Sp(u)). Ce nest quun dbut, mais cest assez pour dmontrer le (vii). (vii) qui repose sur le fait que = , i.e., que Sp(u) est rel. Il y a une manire trs lgante de le dmontrer, on forme eiu et on voit tout de suite que cest un unitaire (son inverse est eiu ) et donc de spectre (dans B0 ) inclus dans le cercle U : par ce qui prcde, eiSp(u) U, ce qui nest possible que si Sp(u) R. (ii) Jai trouv plus didactique dannoncer lavance, voir remarque 7, (car on peut tre drout par une dnition sensible a priori au contexte) le fait que le spectre ne dpend pas de lalgbre dans laquelle on le prend. On utilise uniquement le fait que le spectre dun hermitien est rel, ce quon vient dtablir. 2 Lexemple le plus typique dapplication du thorme : si u est positive, son spectre est form de rels positifs, on pourra donc dnir la racine carre (note u1/2 ou u) de u. En attendant, la proprit suivante est bien pratique et bien jolie :

Algbres doprateurs I

18

Proposition 11 Tout oprateur est combinaison linaire de deux hermitiens (ou de quatre unitaires). Dmonstration : u + u est hermitien, u u est anti-hermitien (gal loppos de son adjoint), et donc u = 1/2(u + u ) + i/2(i(u u )). Un hermitien norme 1 de se dcompose lui-mme en moyenne de deux unitaires : si f (t) = t + i 1 t2 , il est immdiat que f (t)f (t) = f (t)f (t) = 1, f (t) + f (t) = 2t, et donc f (u) est unitaire et (u)). u = 1/2(f (u) + f 2 Remarque 9 Si H est de dimension nie n, tout hermitien de B(H) est diagonalisable ; en fait les valeurs propres 1 , . . . , n numrent, avec rptitions, le spectre de u. f (u) nest rien dautre que loprateur dont la matrice (dans la mme base), a les coecients diagonaux f (1 ), . . . , f (n ). Remarque 10 Peut-on tendre le thorme 4 au cas o u est un oprateur normal ? On a bien envie de dnir f (u) au moyen dapproximations uniformes au moyen de polynmes en z, z et tout va reposer sur un point que nous ne sommes pas encore en mesure dtablir : si P (X, Y ) est un polynme, alors Sp(P (u, u )) = {P (z, z ) ; z Sp(u)}. Cela est vident partir dun rsultat venir (thorme 12) ; en eet, il sut de se placer dans lalgbre commutative engendre par u, u et on peut, sans vergogne, remplacer u par une fonction continue sur un compact X, auquel cas P (u, u ) devient la fonction (z) = P ((z), ()). . . z a peut permettre de dnir des amusettes genre A logarithme dun oprateur B ; il faut videmment pouvoir dnir le log de faon continue sur le spectre, ce qui sera possible si par exemple Sp(u) ne contient aucun rel ngatif ou nul.

3.6

Hermitiens positifs

Dfinition 8 Un oprateur u est positif quand il est hermitien de spectre inclus dans R+ . Les oprateurs hermitiens sont ordonns (voir thorme 5) par u v ssi v u est positif. Thorme 5 Soit C + lensemble des hermitiens positifs de C ; (i) C + est un cne ferm dans C ; (ii) Si u, u C + , alors u = 0. Dmonstration : (i) On utilise la remarque suivante : si u est hermitien et a u , u est positif ssi uaI a (immdiat en regardant le spectre). Ceci permet de montrer que C + est ferm. a permet aussi de montrer la clture par somme : si u u I u , v v I v , alors u+v aI a, avec a = u + v . La clture par mutiplication par un scalaire 0 est immdiate. (ii) Immdiat : u est normal de spectre {0}, donc de norme 0. 2

Algbres doprateurs I Quleques proprits des hermitiens positifs :

19

Thorme 6 Un hermitien u peut tre exprim sous la forme dune dirence u+ u dhermitiens positifs, tels que u+ u = u u+ = 0. Cette expression est unique et de plus u = sup( u+ , u ). Dmonstration : Soient f + (x) = sup(x, 0), f (x) = inf(x, 0), alors u+ = f + (u) et u = f (u) sont positifs et vrient les proprits dsires. Lunicit est un peu plus dlicate : si u = v w, vw = wv = 0, alors un = v n + (1)n wn et donc, si P est un polynme terme constant nul, P (u) = P (v) + P (w) ; ce genre de polynme est susant pour approximer f + et f et on conclut que f + (u) = f + (v) f + (w), f (u) = f (v) f (w) ; comme v, w sont positifs, f + (w) = f (v) = 0, f + (v) = v, f (w) = w, i.e., u+ = v, u = w = w. 2 Remarque 11 Ceci ntablit en rien une structure de treillis sur les hermitiens : on a quelque chose qui ressemble sup(u, 0), mais u et 0 commutent ! Si on se restreint des algbres commutatives, il y a bien treillis (ce nest pas tuant tablir, puisquon est moralement dans C(X, R), on prend le sup des fonctions. Par contre B(H) est un A anti-treillis B : deux hermitiens positifs ont un sup ssils commutent. Cela permet dtablir des rsultats folkloriques, genre A tout oprateur est combinaison de 4 hermitiens positifs B. . . Mais continuons avec des rsultats plus nerveux : Thorme 7 Si u C, les proprits suivantes sont quivalentes : (i) u C + ; (ii) u = v 2 pour un v hermitien ; (iii) u = v v pour un v quelconque. De plus dans le cas (ii), v peut tre choisi lui-mme positif, auquel cas le choix est unique. Dans le cas o C est de la forme B(H), on peut rajouter les quivalents suivants : (iv) u = v v pour un oprateur v dans un B(H, K) ; (v) u(x) | x 0 pour tout x de H. Dmonstration : La partie la plus dicile du thorme repose sur le : Lemme 7.1 Si u u C + , alors u = 0. Dmonstration : On crit u = v + iw, avec v, w hermitiens ; observons que v 2 et w2 , de spectre positif, sont positifs. Dautre part le spectre de uu est (au nombre 0 prs) le mme que celui de u u, et donc est inclus dans R et donc lhermitien uu est positif. On observe alors que u u+uu = v 2 +w2 , ou encore, u u = (uu )+v 2 +w2 , ce qui ne se peut que si les deux membres sont nuls. Comme u u = u 2 = 0, u = 0. 2

Algbres doprateurs I Revenons nos moutons hermitiens :

20

(i) (ii) : il sut de prendre h = u, ce qui nous donne une solution positive. Tordons le cou lunicit7 : si k est une autre racine carre positive de u, alors k, u et u appartiennent lalgbre stellaire engendre par k, qui est faite des f (k), en particulier u = k 2 et k = k 2 = u. (ii) (iii) : immdiat. (iii) (i) : u = v v admet une dcomposition u+ u , et soit w = vu : w w = u v vu = u (u+ u )u = (u )3 . Mais (u )3 a un spectre positif, ce qui fait que lhermitien w w est positif, et donc nul par le lemme. Il en est de mme de (u )3 . Il est facile de conclure que u = 0. (ii) (iv) : immdiat. (iv) (v) : v v(x) | x = v(x) | v(x) 0. (v) (i) : u(x) | x 0 fait de u un hermitien. Mais 0 uu (x) | u (x) = u+ u (x) | u (x) u u (x) | u (x) = u u (x) | u (x) 0, ce qui montre que u u (x) | u (x) = 0, i.e., (u )3 (x) | x = 0, ce qui nest possible (gnralits sur les formes hermitiennes positives) que si (u )3 = 0, ce qui nous amne u = 0. 2 Corollaire 7.1 Si u C + alors v uv C + ; si, de plus, v C + et u, v commutent, alors uv C + . Dmonstration : Dans le second cas, u, v appartiennent la plus petite algbre stellaire engendre par u, v, qui est commutative ; donc ils commutent. On crit alors uv = v.u. v = (u. v) u. v 0. Le premier cas est trs proche : v uv = v u. u.v = ( u.v) ( u.v). 2 Corollaire 7.2 Si u est un hermitien de B(H), les bornes de Sp(u) sont : m(u) M (u) = = inf { u(x) | x ; x = 1} sup { u(x) | x ; x = 1} (26) (27)

Dmonstration : Vient de (v) et de m(u) = sup { ; .I u}, M (u) = inf { ; u .I}. 2 Proposition 12 Soient u, v positifs, alors : (i) Si u v, et u inversible, alors v 1 u1 ; (ii) Si u v, alors u v.
7

Ce qui suit peut servir dans beaucoup dautres cas.

Algbres doprateurs I

21

Dmonstration : (i) u v et u inversible impliquent 0 < m(u) m(v), et donc v est inversible. On obtient v 1/2 uv 1/2 I, donc u1/2 v 1 u1/2 = u1/2 v 1/2 2 = v 1/2 uv 1/2 1, ce qui donne u1/2 v 1 u1/2 I, qui redonne v 1 u1 . (ii) On continue avec u inversible pour le moment. Nous avions obtenu u1/2 v 1/2 1 ; remarquant que v 1/4 u1/2 v 1/4 = u1/2 v 1/4 v 1/4 1, qui est une consquence de (ab) = (ba) (proposition 8), et donc v 1/4 u1/2 v 1/4 I, ce quon transforme en u v. Il faut encore tablir le rsultat quand u nest pas inversible : pour cela, on remplace u, v par u + .I, v + .I, et on remarque que u + .I u, v + .I v quand 0, et le rsultat est donc consquence de la continuit de la relation dordre, i.e., de la fermeture topologique de C + . 2 Remarque 12 Il ne faudrait pas croire que ce type de rsultat se gnralise dans le style A si f est croissante, alors f prserve lordre des hermitiens B. Exemple typique, la fonction f (u) = u2 , voir infra. En fait h ha prserve lordre exactement quand 0 a 1.

3.7

La dcomposition polaire

On utilise notre connaissance des hermitiens pour tablir un rsultat qui gnralise dans la mesure du possible la dcomposition familire ei dun complexe. Dfinition 9 Un oprateur u B(H, K) est une A isomtrie partielle B quand u u est un projecteur. Remarquons quun hermitien v est un projecteur ssi Sp(v) {0, 1}, puisqualors v 2 = v rsulte du fait que t2 = t sur le spectre. En particulier, si u u est un projecteur, la proposition 88 nous montre que Sp(uu ) {0, 1} et donc uu est aussi un projecteur. On prfrera cependant la dmonstration plus explicite, base sur la formule : uu u = u (28) facile tablir : (u uu u )(uu u u) = (u u)3 2(u u)2 + u u = 0, donc v := u uu u est tel que vv = 0, et donc v 2 = vv = 0, do v = 0. Soient E et F les sous-espaces (appels espace initial, espace nal ) correspondant respectivement u u et uu . Proposition 13 u induit une bijection isomtrique entre E et F . Dmonstration : Si x E, x 2 = u(x) | u(x) = u u(x) | x = x | x = x 2 , et donc u induit une isomtrie de E dans K. Elle est en fait valeurs dans F , car uu (u(x)) = uu u(x) = u(x). Elle est valeurs sur F , car on peut appliquer le raisonnement u qui fait le trajet inverse. 2
8

Ou plutt sa dmonstration.

Algbres doprateurs I

22

En gnral les isomtries partielles se composent mal, le cas typique tant celui de deux projecteurs ne commutant pas ; cest mme le cas le plus gnral : pour que la compose uv de deux isomtries partielles u, v soit une isomtrie partielle, il faut et il sut que le projecteur nal vv de v commute au projecteur initial u u de u. Thorme 8 (Dcomposition polaire) Soit u B(H, K) ; soit E le sous-espace initial de u, i.e., le supplmentaire orthogonal de ker u, F son sous-espace nal, i.e., la clture topologique cl(im u) de im u : (i) Si abs u = |u| := (u u)1/2 B(H), alors ker |u| = ker u, im |u| = cl(im u) et abs u = u . (ii) Il existe une unique isomtrie partielle de H dans K telle que u = |u| et ker = ker u. (iii) admet E pour sous-espace initial, F comme sous-espace nal. (iv) Soit u1 un hermitien positif et 1 une isomtrie partielle telle que ker u1 = ker 1 et u = 1 u1 , alors 1 = et u1 = |u|. Dmonstration : Un exercice facile, bas sur lgalit u(z) 2 = u(z) | u(z) = u u(z) | z = |u|2 (z) | z = |u|(z) | |u|(z) = |u(z)|2 . 2 En particulier, on voit que |u| = u, |u| = |u| = (uu )1/2 et la dcomposition polaire de u est ( , |u| ). Autrement dit, u = |u| = |u |. Nous allons appliquer la dcomposition polaire pour prouver le rsultat suivant, qui nest pas du tout vident a priori. Proposition 14 Soit x H K ; alors il existe des familles orthonormales {en }, {fn } et une suite (tn ) de rels positifs de carr sommable telle que x = n tn en fn . Dmonstration : Si a H, on peut dnir u(a) K par lquation u(a) | b = x | a b . u est une application anti-linaire de H dans K, i.e., une application linaire du dual H dans K. Elle admet donc une dcomposition polaire, u = |u|. |u| est un hermitien de B(H ) = B(H). On anticipe en remarquant que |u| est HS (HilbertSchmidt), donc compact et diagonalisable dans une base {en }, avec des valeurs propres (tn ) de carr sommable. On pose (en ) = fn . Le vecteur x = n tn en fn est tel que x | em fn = mn tm = |u|(em ) | fm = x | em fn , ce qui donne x = x (il faudrait en fait complter le systme orthonormal (fn ) en une base. . . ) 2 La dcomposition est unique dans le sens suivant : (i) Les rels tn , du moins ceux qui sont > 0, sont uniques, on peut les arranger en une suite dcroissante t0 t1 t2 . . . , nie ou tendant vers 0. (ii) On ne peut assurer lunicit de en fn que si la valeur propre tn est simple. Si tn = . . . = tn+k apparat avec la multiplicit k + 1, cest le sous-espace de dimension k+1 engendr par en fn , . . . , en+k fn+k qui est uniquement dni.

Algbres doprateurs I

23

4
4.1

tats et reprsentations
-isomorphismes

Un -homomorphisme dune algbre stellaire B dans une algbre stellaire C est une fonction prservant la structure algbrique, y compris lunit et ladjonction. Le rsultat suivant tablit en quelque sorte, le caractre algbrique de la norme : Thorme 9 Soit un -homomorphisme de B dans C ; alors (i) est de norme au plus 1. (ii) Si est injectif, il est alors isomtrique. On parle alors dun -isomorphisme. Dmonstration : Un -homomorphisme preserve : linversibilit (si uv = I, alors (u)(v) = (I) = I), lautao-adjonction (si u = u , (u) = (u ) = (u) ), la positivit (si u = vv , alors (u) = (vv ) = (v)(v) ). Si (u) I est non inversible, cest que u I ne ltait pas : Sp((u)) Sp(u) et donc ((u)) (u). Pour un hermitien v, (v) = ((v)) (v) = v . en prenant v := uu , on obtient (u) 2 = (v) v = u 2 , ce qui prouve (i). Supposons que (u) < u ; on peut supposer u de norme 1 et, quitte le remplacer par uu , que u hermitien positif. Soit := (u) < 1 et soit f une fonction continue de R dans R, telle que f (x) = 0 pour x , f (1) = 1. Alors f (u) = 0 puisque 1 Sp(u), alors que f ((u)) = 0, puisque Sp((u)) [0, ]. Puisque, par (i), est continu, (f (u)) = f ((u)) = 0 ; nest donc pas injectif, ce qui prouve (ii). 2 En particulier, une algbre stellaire simple B (sans idal bilatre ferm autre que B et 0), nadmet quune seule semi-norme stellaire, i.e., telle que uu = u 2 . En eet, toute semi-norme stellaire induit une algbre stellaire spare complte C et un -homomorphisme de B sur C. Si nest pas isomtrique, cest quelle nest pas injective, auquel cas le noyau de dnit une idal bilatre clos non trivial. Proposition 15 Lalgbre stellaire Mn (C) des matrices n n sur C est simple. Dmonstration : Pour 1 i, j n soit Bij la matrice avec un seul coecient non nul, gal 1, celui dindice ij. Si M = (ij ), alors 1kn Bki M Bjk = ij I : si I est un idal bilatre non nul, il contient donc I. 2 Mn (C) est isomorphe B(Cn ), ladjoint correspondant la transconjuguaison (transposition + conjugaison). En dimension innie, B(H) contient un unique idal bilatre clos non trivial : celui des oprateurs compacts, voir infra. La fonction de Mn (C) dans Mnm (C) qui remplace chaque coecient aij par une matrice de taille m m forme de coecients tous gaux aij sur la diagonale, nuls en dehors, est un -isomorphisme. Si n0 < n1 < . . . < nk < . . . est une suite croissante dentiers dont chacun divise le suivant, on obtient ainsi un systme direct dalgbres stellaires. Ce systme admet une limite directe algbrique munie dune (unique) norme stellaire, ce qui permet de le complter pour en faire une algbre

Algbres doprateurs I

24

stellaire, la limite directe du systme. On peut classer les algbres ainsi obtenues par lexposant de chaque nombre premier dans la suite nk (un entier ou ), ce qui permet de les caractriser isomorphisme prs. Lexemple le plus courant est celui de nk := 2k , ce qui donne les exposants : pour 2, 0 pour p > 2, ce quon crit 2 (algbre CAR). Mais on pourrait tout aussi bien construire une algbre correspondant 3 52 11 , ou encore 2 3 5 7 . . .

4.2

tats

Dfinition 10 On appelle tat sur une algbre stellaire B une forme linaire positive : (u u) R+ et normalise : (I) = 1. Exemple 2 Ltat le plus typique de C(X) est x (f ) := f (x), qui est pur, voir infra ; une combinaison linaire convexe dtats purs, i.e., une somme de Riemann, est un tat. En rsum, un tat sur C(X) est une mesure de masse 1. Ltat le plus typique de B(H) est x (u) := u(x) | x , o x = 1 (tat pur) ; une combinaison linaire convexe dtats purs, par exemple, en dimension nie, la trace normalise 1/k 1ik ei | ei est un tat. Plus gnralement, ce peut tre un (u) := tr(uv), o v est un hermitien positif de trace 1 (ici encore janticipe). Sur lalgbre CAR (la limite directe des M2k (C), voir supra), les traces normalises induisent un tat (appel trace). Plus gnralement, on peut construire un tat sur lalgbre CAR comme limite directe dtats k sur M2k (C), par exemple, en se donnant k [0, 1]9 . tant donne m M2k+1 (C), que lon crit comme une a b par matrice forme de matrices 2 2, on remplace chacune de ces matrices c d k a + (1 k )d, ce qui donne m M2k (C) ; on dnit k+1 (m) := k (m ). Le cas k = 1/2 est celui de la trace ; le cas k = 0 correspond un tat pur. La construction GNS (infra) construit, partir des suites (k ), des reprsentations de lalgbre CAR, qui jouent un rle important dans la thorie des algbre de von Neumann. Les tats forment un ensemble convexe : si , sont des tats et 0 1, alors + (1 ) est encore un tat. Cet espace est compact en topologie faible, i.e., pour la convergence simple. Le thorme de Krein-Milman (thorme 20) dit alors que cet ensemble est la fermeture convexe de lensemble de ses points extrmaux. On rappelle quun point dun convexe est extrmal si on ne peut pas lcrire sous la forme dune combinaison convexe (non-triviale, i.e., avec = 0, 1). Typiquement, les points extrmes du triangle {, , ; + + = 1} sont les sommets correspondant = 1, = 1, = 1. Le triangle est lexemple dun simplexe, i.e., dun convexe compact avec unicit de la dcomposition en combinaison convexe dlments extrmaux, ce qui est faux pour, disons, un carr. Dfinition 11 On appelle tat pur un tat extrmal.
9

Par symtrie, k [0, 1/2] sut.

Algbres doprateurs I Quelques petites proprits des tats, dabord Proposition 16 (u ) = (u)

25

Dmonstration : Il sut de montrer que (u) R pour u hermitien. Or comme u I u 0, ( u I u) 0, et donc (u) = 1/2(( u I +u)( u I u) R. 2 Thorme 10 Une fonctionnelle linaire sur C telle que (I) = 1 est un tat ssi elle est borne et sa norme := sup {|(u)|; u 1} est gale 1. Dmonstration : Supposons que est un tat, et soit u C, quitte multiplier u par un scalaire de module 1, on supposera que (u) 0. On va dmontrer que (u) u . Pour a on crit u = v +iw, v, w hermitiens, et on observe que v u I, et donc (v) u , mais (u) = (u) implique (u) = (v). Rciproquement, si := sup {(u); u 1} = 1, soit u hermitien, et crivons (u) = a + ib, il faut montrer que a 0, b = 0. Pour s positif susamment petit, I su 1, et donc 1 sa |1 s(a + ib)| = (I su) 1, ce qui montre que a 0, ce qui rgle le problme de a. On dnit maintenant vn = u aI + inbI et on observe que : vn
2 = vn vn = (u aI)2 + n2 b2 I u aI 2 2

+ n2 b2

(29) 2

et donc (n + 1)2 b2 = |(vn )|2 u aI

+ n2 b2 pour tout n, absurde.

Proposition 17 Si Sp(u), il y a un tat tel que (u) = . Dmonstration : Pour , C, + Sp(u + I), et donc | + | u + I . Autrement dit, on peut dnir une forme linaire borne 0 sur le sous-espace de C engendr par u, I : elle vrie 0 (u) = , 0 (I) = 1, 0 = 1. Par Hahn-Banach (thorme 26), elle stend en une forme continue de mme norme sur tout lespace. Par le thorme prcdent, il sagit dun tat vriant (u) = . 2 Thorme 11 Soit u C ; alors (i) Si (u) = 0 pour tout tat , alors u = 0 ; (ii) Si (u) R pour tout tat , alors u est hermitien ; (iii) Si (u) R+ pour tout tat , alors u est positif ; (iv) Si u est normal, alors il y a un tat tel que |(u)| = u . Dmonstration : (i) On obtient Sp(u) = {0}, et donc, si u est hermitien, u = 0. Pour le cas gnral, il sut dcrire u = v + iw, avec v, w hermitiens. (ii) a donne u u = 0. (iii) Le spectre est en plus inclus dans R+ .

Algbres doprateurs I (iv) Cest parce que (u) = u quand u est normal (remarque 8).

26

2 Remarque 13 Par Krein-Milman, le thorme reste valable si on remplace partout A tat B par A tat pur B, et (i)-(iii) sont obtenus facilement. Le (iv) rsulte de considrations sur les faces : Dfinition 12 Une face dun convexe compact K, cest un sous-ensemble convexe F tel que, si a + (1 )b F et 0 < < 1, alors a, b F . En tant que convexe compact, une face F de K vrie Krein-Milman, donc a des points extrmaux. Il est immdiat que ces points extrmaux sont encore extrmaux dans K. Proposition 18 Si est une fonction ane continue de K dans C, et si z est un lment de limage de de module maximum, alors lensemble F = 1 (z) est une face ferme. Dmonstration : F est un convexe ferm. Si k = k + (1 )k avec 0 < < 1, et si (k) = z, alors |(k )| |(k)| (ou |(k )| |(k)|), mais alors |(k )| = |(k)| = |(k )|. 2 Si (u) = z avec |z| = u , on applique la proposition la fonction (u), et on en dduit que (u) = z sur une face ferme non-vide, et donc que 0 (u) = z pour un tat pur 0 . En gnral un tat, pur ou non, induit un espace de Hilbert, en eet, u | v := (v u) dnit une forme hermitienne sur C. Cauchy-Schwarz nous donne alors lingalit : |(v u)|2 (u u)(v v) (30)

4.3

Algbres commutatives

Thorme 12 Toute algbre stellaire commutative est isomorphe C(X) pour un X compact appropri. Dmonstration : Cest presque de labstract nonsense, il sut de prendre pour X lensemble des tats purs, avec une dicult, la frontire extrme dun convexe compact nest pas toujours ferme, donc remettons cette dicult plus tard. Il est clair quon peut associer u la fonction (u) : cest une isomtrie daprs ce qui prcde et mme un morphisme dalgbres par le thorme 13 qui suit. Donc C est isomorphe un sous-espace (ferm) de C(X). Ce sous-espace spare les points (point (i) de la remarque 13), est clos par somme, produit, et conjugaison. . . on conclut par Stone-Weierstra(thorme 22), que le sous-espace, cest tout C(X). Je suis all trs vite, car cette manipulation est extrmement familire ; Bourbaki fait justement (et perdement, vous voyez qui il vise, des gens qui lont dailleurs amplement mrit) remarquer que ce ntait point le cas du temps de Gelfand. 2

Algbres doprateurs I La dmonstration rclame la clture de la frontire extrme. Elle rsulte du :

27

Thorme 13 Les tats purs dune algbre stellaire commutative C sont exactement les caractres de C, i.e., ceux qui satisfont (uv) = (u)(v). Cest un ensemble clos, donc compact. Dmonstration : Si est extrmal et si 0 v I, on peut considrer (u) := (uv), qui est une fonctionnelle positive . On peut considrer (u) := (u(1 v)), qui en est une autre, et on crira = (v).(1/(v) ) + (1 (v))(1/(1 (v). ), ce qui fait que est une combinaison convexe, ce qui force = 1/(v). , ou encore, (uv) = (u)(v), ce qui stend par bilinarit tous les v. Il faut faire un peu attention (v) = 0, mais alors = 0. Rciproquement, tout caractre est born et vrie = (1), donc est un tat. Si = ( ) + (1 ) avec 0 < < 1, et u hermitien, on a (u)2 (u)2 par Cauchy-Schwarz (30), de mme pour . On crit 0 = (u2 ) (u)2 = (u2 ) + (1 ) (u2 ) ( (u) + (1 ) (u) (1 )( (u) (u))2 , ce qui fait que , coincident sur tous les hermitiens et sont donc identiques. 2

4.4

Le thorme GNS

Alias Gelfand-Neumark-Segal, ce thorme permet de reprsenter toute algbre stellaire comme une sous-algbre dun B(H). Je donne juste une ide de la mthode. (i) Etant donn un tat , on peut considrer lespace C, muni de la forme hermitienne u | v := (v u), comme un espace prhilbertien. Appelons H le spar complt de C. Comme la norme despace prhilbertien est infrieure la norme originale, lespace a seulement besoin dtre spar, autrement dit, H est le quotient de C par lidal gauche ferm L = {u C ; (u u) = 0}. (ii) La reprsentation associe est dnie par (u)(v + L ) := uv + L . u (u) est un morphisme dalgbres stellaires de C dans B(L ). Tout se ramne (u)(v + L ) 2 = (v u uv) (v u 2 I v) u 2 v | v . (iii) Cette reprsentation est cyclique. Cela veut dire quil y a un vecteur x , tel que les (u)(x ) soient denses dans L . En fait : (u) = (u)(x ) | x (31)

Bien entendu, le vecteur cyclique x naturel est la classe de lidentit, I +L , et lquation (31) se ramne pour lessentiel (u)(x ) | x = (I uI) = (u). (iv) Ces reprsentations ne sont pas dles, i.e., isomtriques. Mais on peut sommer des reprsentations, cest dire faire agir C sur des sommes directes. Si on prend la somme directe de tous les H (il sut de se restreindre aux tats purs), on obtient une reprsentation dle, en eet, pour u normal, il y a un tel que (u) = u , et on passe tout de suite au cas gnral par la technique u u. En rsum, nous avons prouv, du moins dans les grandes lignes, le clbre thorme : Thorme 14 Tout algbre stellaire est isomorphe une sous-algbre dun B(H).

Algbres doprateurs I

28

5
5.1

La trace
Oprateurs compacts

Dfinition 13 Un oprateur u B(H) est compact quand limage par u de la boule unit de H est compacte au sens de la topologie de la norme. Proposition 19 Les conditions suivantes sont quivalentes : (i) u est compact ; (ii) u est continue comme fonction de la boule unit de H (avec la topologie faible) dans H (avec la topologie de la norme) ; (iii) Si une suite (xn ) converge faiblement vers x, alors (u(xn )) converge en norme vers u(x) ; (iv) Toute suite borne (xn ) de H a une sous-suite (xn(k) ) telle que (u(xn(k) )) converge en norme ; (v) Limage par u de la boule unit de H est prcompacte. Dmonstration : (i) (ii) : u est continue si on met la topologie faible larrive, i.e., sur limage de la boule ; mais cet espace tait dj compact par rapport la topologie de la norme, et donc (thorme 21) les deux topologies concident. (ii) (iii) : la partie non-triviale, cest que la suite (xn ) est borne en norme : on utilise la borne uniforme de (proposition 5) ; (iii) (iv) : immdiat ; (iv) (v) : immdiat, car il sagit de la compacit dun espace mtrique ; (v) (i) : car limage de la boule unit est ferme en norme, proposition 4. 2 Proposition 20 (i) Les oprateurs compacts forment un idal bilatre ferm pour la norme ; (ii) u est compact ssi |u| lest ; si u est compact, u lest ; (iii) Si f est une fonction continue de R+ dans R+ telle que f (0) = 0, et si u est compact, alors f (u) est compact ; (iv) Si 0 u v et v est compact, alors u est compact. Dmonstration : (i) peu prs vident.

(ii) On utilise la dcomposition polaire : u = |u|, |u| = u, u = u et le fait que les compacts forment un idal bilatre. (iii) f peut tre approxime par des polynomes coecient constant nul. Pour un tel polynme, P (u) = uP (u) est compact, et donc f (u) est compact comme limite en norme doprateurs compacts.

Algbres doprateurs I

29

(iv) Alors v est compact par (iii). Dautre part u(x) 2 = u(x) | x v(x) | x v(x) 2 . On en dduit que u est compact par lquivalent (ii) de la proposition 19, et son carr u est encore compact. 2 Il est facile de voir quun projecteur orthogonal est compact exactement quand il est de rang ni, car si (xn ) numre un systme orthonormal dans limage de , (xn ) = xn na pas de sous-suite convergente. Si 0 = Sp(u) et si u est compact, alors le plus grand projecteur E tel que E u, not E , est forcment de rang ni, puisque E est compact. Posons, pour n0: n = sup { ; dim(E ) > n} (32) On voit que la suite (n ) est dcroissante au sens large : 0 1 2 . . . , et numre le spectre de u, avec rptitions, et omission possible de la valeur 0. Enn, au cas o la suite est innie, elle tend vers 0. En fait, si on remplace la suite par une suite strictement dcroissante, numrant la partie non-nulle du spectre sans rptitions, soit (n ), on voit que u = 0 E0 + 1 (E1 E0 ) + 2 (E2 E1 ) + . . ., la somme innie tant prise au sens de la convergence en norme, et la dimension des espaces E0 , E1 E0 , E2 E1 ,. . . correspond la multiplicit de 0 , 1 , 2 , . . . dans la suite des n . En rsum : Thorme 15 Un oprateur positif est compact ssi il est diagonalisable, et si la suite (n ) de ses valeurs propres non nulles (avec rptitions) est nie ou tend vers 0. Corollaire 15.1 Un oprateur est compact ssi il est limite doprateurs de rang ni, i.e., lidal bilatre des oprateurs compact est la clture de lidal bilatre des oprateurs de rang ni. Proposition 21 Si H est de dimension nie, et si 0 u v sont des hermitiens positifs de valeurs propres respectives 1 . . . N , 1 . . . N , alors pour tout n n n . Dmonstration : vident partir de n = inf { EuE ; dim E = n} et de n = inf { EvE ; dim E = n} (lemme suivant). Lemme 21.1 n = inf { EuE ; dim E = n} Dmonstration : Ecrivons H = Ki Ki , o Ki est lespace engendr par des vecteurs propres x1 , . . . , xi correspondant 1 , . . . , n ; Kn est un E tel que EuE = n . Rciproquement, tant donn E de dimension n, la fonction qui projette E sur Kn1 nest pas injective et donc un lment non-nul x E appartient Kn1 ; mais alors, u(x) n x , et donc EuE n . 2 2

Algbres doprateurs I

30

Corollaire 21.1 Si (n ) et (n ) sont les numrations des spectres des oprateurs compacts positifs 0 u v par ordre dcroissant et avec rptitions, alors pour tout n n n . Les oprateurs compacts correspondent lide de suite tendant vers 0. On peut raner cette ide en celle de suite de carr sommable (oprateurs de Hilbert-Schmidt) ou encore de suite sommable (oprateurs trace).

5.2

Oprateurs de Hilbert-Schmidt

Proposition 22 Si (em ), (fn ) sont des bases orthonormales de H, K, on dnit, pour u B(H, K) le nombre N (u) [0, ] par : N (u) :=
m n

| u(em ) | fn |2

(33)

Le nombre N (u) ne dpend pas du choix des bases de H et K. Dmonstration : On rduit le problme progressivement : (i) Il sut de montrer que la valeur diminue toujours dans un changement de base. (ii) Un changement de base sexprime par composition avec des unitaires : N (aub) N (u) quand a, b sont unitaires, ou plus gnralement, de norme 1. (iii) On dcompose le travail en deux N (au) N (u), N (ub) N (u), les deux tapes se dduisent lune de lautre au moyen de ladjonction. (iv) N (au) N (u) se rduit, en xant fn et en introduisant y = u (fn ) lingalit : | a(em ) | y |2
m m

| em | y |2

(34)

soit a (y)

(formule de Parseval, equation (12)). 2

On a en fait tabli, outre lindpendance de N (u) du choix des bases, les formules : N (aub) N (u) :=
m

b 2 N (u) u(em )
2

(35) =
m

u u(em ) | em

(36)

Dfinition 14 u B(H, K) est dit Hilbert-Schmidt (ou encore HS ( !)), quand N (u) est borne. La quantit u 2 := N (u) est alors la norme HS de u. Thorme 16 (i) Lensemble des oprateurs HS est un idal bilatre auto-adjoint de B(H) ; (ii) u est HS ssi |u| lest ;

Algbres doprateurs I (iii) Si 0 u v et v est HS, alors u lest ; (iv) Tout oprateur HS est compact ;

31

(v) Un hermitien positif compact est HS ssi la suite associe (n ) est de carr sommable. Dmonstration : (i) Cela repose pour lessentiel sur le fait que telle que u 2 = u 2 et aub 2 a u 2 b . (ii) Immdiat (dcomposition polaire et idal). (iii) Parce que N (u) N (v), ce qui est immdiat sur lquation (33). (iv) On se ramne au cas hermitien positif laide de (ii) et on observe que les projecteurs E (voir ce qui prcde le thorme 15), qui sont HS par (iii) sont de rang ni : un projecteur de rang inni nest pas HS, car (33) diverge. On ce qui nous donne une suite de valeurs propres (n ). . . et par le thorme 15 u est compact. (v) Dans une base pour laquelle u est diagonale, (36) scrit N (u) =
2 n n . 2

est une norme

Remarque 14 Lidal des HS nest pas ferm en norme, puisquil contient les oprateurs de rang ni et quil y a des compacts non HS. Idem pour lidal des oprateurs trace.

5.3

Produits tensoriels

Nous allons donner lautre dnition du produit tensoriel. Dfinition 15 Si H, K sont des espaces de Hilbert, on dnit le produit tensoriel H K comme lespace des fonctions10 HS de H dans K, muni de la forme : u | v :=
m

u(em ) | v(em )

(37)

Il est facile de montrer que la somme de lquation (37) converge, car borne par u 2 v 2 , en fait u | u = N (u) par (36). Cest un espace de Hilbert. Le lien avec la dnition de la section 2.2 se fait ainsi : (i) Si x H, y K, on peut considrer le HS xy dni par (xy)(z) := x | z y. (ii) Rciproquement, si h est un lment du produit tensoriel au sens de la section 2.2, on lui associe un HS de H dans K : (z) | y := h | z y . Il ne reste qu dmontrer que ces deux transformations sont des isomtries rciproques, ce qui est sans surprise. On termine dans labstract nonsense en remarquant que la formule (33) peut stendre au contexte multilinaire, par exemple dans le cas dun oprateur bilinaire born de HK dans L, il sut de faire une triple sommation. a permet de dnir le
10

Il sagit de fonctions A antilinaires B de H dans K.

Algbres doprateurs I

32

produit tensoriel ternaire, et modulo lutilisation de ladjoint, a permet aussi de voir que le produit tensoriel rsoud un problme universel par rapport aux applications bilinaires HS. Mais on est quand mme pas tout fait dans le cadre catgorique standard, puisquon ne pas faire une catgorie de morphismes HS, lidentit ntant HS quen dimension nie. Cest en tout cas susant pour donner une dnition naturelle du produit tensoriel de deux oprateurs borns, par exemple Dfinition 16 Si u B(H), v B(K), alors u v B(H K) est dni par : (u v)(f ) := vf u (38)

5.4

Oprateurs trace

Proposition 23 Si u est positif, alors la quantit tr(u) [0, ] : tr(u) :=

n

u(en ) | en

(39)

ne dpend pas du choix de la base. Dmonstration : En eet, tr(u) = N ( u) par lquation (36). Dfinition 17 On appelle oprateur trace un oprateur u tel que u Proposition 24 Les condition suivantes sont quivalentes (i) u est un hermitien positif trace ; (ii) Pour tout oprateur born a, la srie auquel cas u
1 n|

:= tr(|u|) soit ni.

u(en ) | a(en ) | converge.

= sup {

n|

u(en ) | a(en ) | ; a 1}.

Dmonstration : (i) (ii) : Si u est trace et a 1, u est HS et aussi ua, avec u 2 , ua 2 u 1 , et alors la srie n u(en ) | a(en ) (qui correspond au produit scalaire u | ua dans H H) converge, en fait | u(en ) | a(en ) | u 2 . ua 2 u 1 par Cauchy-Schwarz. n (ii) (i) : immdiat, prendre a = I. 2 Thorme 17 (i) Lensemble des oprateurs trace forme un idal bilatre auto-adjoint de B(H) ; de plus u + v 1 u 1 + v 1 , en particulier 1 est une norme sur cet idal. (ii) Si 0 u v sont positifs et v est trace, alors u lest ; (iii) Tout oprateur trace est HS (et donc compact) ; en fait lidal des oprateurs trace est le carr de lidal des oprateurs HS ;

Algbres doprateurs I

33

(iv) Un hermitien positif compact est trace ssi la suite associe (n ) est sommable. Dmonstration : (i) Immdiat partir du (ii) de la proposition 24. (ii) Alors 0 u v, et on applique le (iii) du thorme 16. (iii) En fait u = ( |u|)2 exprime un oprateur trace comme un multiple du carr dun oprateur HS. (iv) Tout simplement parce que la trace de u sexprime dans une base o u est diagonale comme la somme des n . 2 Thorme 18 La fonction trace, qui associe tout oprateur u trace la quantit : tr(u) :=
n

u(en ) | en

(40)

vrie les proprits suivantes : Linaire : tr(u + v) = tr(u) + tr(v), tr(u) = tr(u) ; Hermitienne : tr(u ) = tr(u) ; Borne : tr(u) u
1;

Positive : tr(u) 0 pour u positive ; Fidle : tr(u) > 0 pour u positive et u = 0 ; Cyclique : Si u est trace et a est borne, alors tr(ua) = tr(au). Dmonstration : On a fait peu prs tout ce quil fallait pour que la dmonstration soit immdiate, par exemple la proposition 24 montre que le produit au reste trace quand u lest. On peut sattarder un instant sur la cyclicit : si a est un unitaire, alors ua = a (au)a, i.e., ua se comporte comme au, modulo un changement de base, ce qui montre lgalit dans ce cas. En gnral, on crira a comme combinaison de quatre unitaires, et on concluera. 2 On peut mettre en dualit les oprateurs trace et les oprateurs borns, par : u | a := tr(a u) On voit que : | u|a | u a
1

(41)

= =

a
1

(42) (43) (44) 1}

sup {| u | a | ; a 1} sup {| u | a | ; u

Par exemple, on tablit (44) en prenant u := yx , avec yx (z) := z | x y : yx | a = tr(a yx ) = tr(yx a ) = tr(y(a(x) )) = y | a(x) . La dualit oprateurs trace/oprateurs borns ressemble la dualit 1 /

Algbres doprateurs I

34

Rsultats standards
Quelques A classiques B de la topologie, de la thorie des espaces de Banach.

A.1

Espaces compacts

Thorme 19 (de Tychonov) Le produit dune famille quelconque despaces compacts est compact. Corollaire 19.1 Beaucoup despaces, munis de la convergence simple, sont compacts, ainsi : (i) La boule unit de H est faiblement compacte ; (ii) La boule unit de B(H) est faiblement compacte ; (iii) Lespace des tats dune algbre stellaire est faiblement compact. Sur un convexe compact, le standard est : Thorme 20 (de Krein-Milman) Tout convexe compact est lenveloppe convexe ferme de sa frontire extrme, i.e., de lensemble de ses points extrmaux. Un rsultat souvent utilis est le suivant : Thorme 21 Il ny a pas de topologie spare moins ne quune topologie compacte. Dmonstration : Si X, X dnotent le mme ensemble muni respectivement dune topologie compacte et dune topologie spare plus faible, alors la fonction identique de X dans X est continue et envoie donc tout compact, i.e., tout ferm, sur un compact. En dautres termes son inverse est continue et les deux topologies concident. 2 Sans oublier le classique : Thorme 22 (de Stone-Weierstra) Si X est compact, si A C(X) est une sous-algbre qui spare les points : x, y X(x = y f Af (x) = f (y) et stable par conjugaison : f A f A, alors A est dense dans C(X).

A.2

Thorme de Baire

Thorme 23 (de Baire) Dans un espace mtrique complet11 , lunion dune famille dnombrable de ferms dintrieurs vides (ce quon appelle un ensemble maigre) est dintrieur vide. Parmi les consquences :
11

Ou un espace localement compact.

Algbres doprateurs I

35

Thorme 24 (de lapplication ouverte) Une application linaire borne surjective dun Banach E dans un Banach F est ouverte, i.e., limage de la boule unit de E contient un homothtique non-nul de la boule unit de F . Corollaire 24.1 Si de plus lapplication est injective, son inverse est born. Thorme 25 (du graphe ferm) Une application linaire u du Banach E dans le Banach F est continue ssi son graphe est ferm. Dmonstration : Si le graphe G est ferm, cest un espace de Banach, et la premire projection est une bijection borne de G sur E, dont linverse est donc born. . . 2

A.3

Hahn-Banach

Cest un thorme qui prend plusieurs formes, on en donne juste une Thorme 26 (dextension) Une forme linaire borne sur un sous-espace E du Banach E se prolonge tout lespace en une forme borne de mme norme. Attention, il sagit dune forme, i.e., dune fonction linaire valeurs dans C.

B
B.1

Dimension nie
La diagonalisation

Rfrences
[1] R. V. Kadison and J. R. Ringrose. Fundamentals of the theory of operator algebras, vol. I. Pure and applied mathematics. Academic Press, 1983. (vol. III contains the solutions of exercises of vol. I ).