Bourbaki

Exercice 34, § 5

Étiquette 0389, permanente. À citer comme [Bourbaki, Tag 0389].

Théories spectrales, IV, p. 368

Soit E un espace hilbertien complexe. Pour tous endomorphismes uu et vv de E, on note [u,v]=uv−vu[u, v] =uv-vu et on définit Eu,v=E_{u,v}= Im(uu)∩\cap Ker(vv).

Soient pp et qq des orthoprojecteurs de E. On pose a=p−qa=p-q et b=1E−p−qb= 1_E-p-q. a) S’il existe un endomorphisme unitaire uu de E tel que upu−1upu^{-1} = qq et uqu−1=puqu^{-1}=p, alors les dimensions hilbertiennes de Ep,qE_{p,q} et E1−p,1−qE_{1-p,1-q} sont égales.

b) On a les relations

a2+b2=1E,ab+ba=0,[p,a]=[q,a]=[p,b]=[q,b]=0 a^2+b^2= 1_E,ab+ba= 0,[p, a] = [q, a] = [p, b] = [q, b] = 0

c) Jusqu’à la question f ), incluse, on supposera que Ep,q=E1−p,1−q={0}E_{p,q}= E_{1-p,1-q}=\{0\}. L’endomorphisme bb est injectif ; soit ss la fonction de R\mathbf{R} dans R\mathbf{R} telle que

1 si x>0x >0

s(x)=s(x) = 0 si x=0x= 0

−1-1 si x<0x <0.

L’endomorphisme u=s(b)u=s(b) est unitaire.

d) Pour tout ε>0\varepsilon >0, on a (∣b∣+ε)a=a(∣b∣+ε)(|b|+\varepsilon )a=a(|b|+\varepsilon ).

e) On a uau−1=−auau^{-1}=-a (vérifier que s(b)=s(b) = limε→0b(∣b∣+ε)−1_{\varepsilon\rightarrow 0}b(|b|+\varepsilon )^{-1}) et ubu−1=bubu^{-1}=b. f) On a upu−1=qupu^{-1}=q et uqu−1=puqu^{-1}=p.

g) On suppose que la dimension hilbertienne de Ep,qE_{p,q} est égale à celle de E1−p,1−qE_{1-p,1-q}. Alors il existe un endomorphisme unitaire uu de E tel que upu−1=upu^{-1}= qq et uqu−1=puqu^{-1}=p. (Les espaces Ep,qE_{p,q} et E1−p,1−qE_{1-p,1-q} sont orthogonaux ; considérer l’espace hilbertien F=Ep,q⊕E1−p,1−qF = E_{p,q}\oplus E_{1-p,1-q} et appliquer le cas précédent aux orthoprojecteurs de F∘F^{\circ} déduits de pp et qq par passage aux sous-espaces.)

h) Supposons que ∥p−q∥<1\|p-q\|<1. Il existe un endomorphisme unitaire uu de E tel que upu−1=qupu^{-1}=q et uqu−1=puqu^{-1}=p.

i) Supposons que a=p−qa=p-q est compact. L’endomorphisme k=qpk=qp induit par passage aux sous-espaces une application linéaire de Fredholm k~\widetilde{k} de l’image de pp dans l’image de qq. Il existe un endomorphisme unitaire uu de E tel que upu−1=qupu^{-1}=q et uqu−1=puqu^{-1}=p si et seulement si l’indice de k~\widetilde{k} est nul.

Solution

Aucune solution n’a encore été écrite.

Cité par

Rien.

Cite

Rien.

Transcrit du volume imprimé. Non traduit.