Bourbaki

Exercise 34, § 5

Tag 0389, permanent. Cite it as [Bourbaki, Tag 0389].

Spectral Theories, IV, p. 368

Let E be a complex Hilbert space. For all endomorphisms uu and vv of E, write [u,v]=uv−vu[u, v] =uv-vu and define Eu,v=E_{u,v}= Im(uu)∩\cap Ker(vv).

Let pp and qq be orthoprojectors of E. Put a=p−qa=p-q and b=1E−p−qb= 1_E-p-q. a) If there exists a unitary endomorphism uu of E such that upu−1upu^{-1} = qq and uqu−1=puqu^{-1}=p, then the Hilbert dimensions of Ep,qE_{p,q} and E1−p,1−qE_{1-p,1-q} are equal.

b) We have the 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) Up to question f ), inclusive, it will be supposed that Ep,q=E1−p,1−q={0}E_{p,q}= E_{1-p,1-q}=\{0\}. The endomorphism bb is injective; let ss be the function from R\mathbf{R} into R\mathbf{R} such that

1 if x>0x >0

s(x)=s(x) = 0 if x=0x= 0

−1-1 if x<0x <0.

The endomorphism u=s(b)u=s(b) is unitary.

d) For every ε>0\varepsilon >0, one has (∣b∣+ε)a=a(∣b∣+ε)(|b|+\varepsilon )a=a(|b|+\varepsilon ).

e) One has uau−1=−auau^{-1}=-a (verify that s(b)=s(b) = limε→0b(∣b∣+ε)−1_{\varepsilon\rightarrow 0}b(|b|+\varepsilon )^{-1}) and ubu−1=bubu^{-1}=b. f) One has upu−1=qupu^{-1}=q and uqu−1=puqu^{-1}=p.

g) Suppose that the Hilbert dimension of Ep,qE_{p,q} is equal to that of E1−p,1−qE_{1-p,1-q}. Then there exists a unitary endomorphism uu of E such that upu−1=upu^{-1}= qq and uqu−1=puqu^{-1}=p. (The spaces Ep,qE_{p,q} and E1−p,1−qE_{1-p,1-q} are orthogonal; consider the Hilbert space F=Ep,q⊕E1−p,1−qF = E_{p,q}\oplus E_{1-p,1-q} and apply the preceding case to the orthoprojectors of F∘F^{\circ} deduced from pp and qq by passing to subspaces.)

h) Suppose that ∥p−q∥<1\|p-q\|<1. There exists a unitary endomorphism uu of E such that upu−1=qupu^{-1}=q and uqu−1=puqu^{-1}=p.

i) Suppose that a=p−qa=p-q is compact. The endomorphism k=qpk=qp induces by passing to the subspaces a Fredholm linear mapping k~\widetilde{k} of the image of pp into the image of qq. There exists a unitary endomorphism uu of E such that upu−1=qupu^{-1}=q and uqu−1=puqu^{-1}=p if and only if the index of k~\widetilde{k} is zero.

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5.4. Not checked by a person.