Bourbaki

Exercice 5, § 6

Tag 02VI, permanent. Cite it as [Bourbaki, Tag 02VI].

Théories spectrales, III, p. 130

Le but de cet exercice est de donner une autre preuve du théorème de Lomonosov (cor. 2 de III, p. 13) dans le cas où l’espace E est un espace de Banach.

Soit E un espace de Banach complexe de dimension au moins 2. Soient hh un endomorphisme compact non nul de E et A le commutant de hh dans L(E)\mathscr{L}(E). a) L’une des conditions suivantes est satisfaite :

(i) Il existe y∈Ey\in E tel que AyAy soit un sous-espace non nul qui n’est pas dense dans E ;

(ii) Pour toute partie fermée bornée C de A, d’intérieur non vide, il existe une partie finie I de A telle que h(C)h(C) soit contenue dans la réunion des ensembles u−1(C)\overset{-1}{u}(C) pour u∈Iu\in I.

b) On suppose que la condition (ii) de la question précédente est satisfaite. Soit C une partie fermée bornée de E d’intérieur non vide. Pour tout entier m⩾m\geqslant 1, il existe une suite finie (u1,...,um)(u_1, . . . , u_m) dans A telle que

u1∘⋯∘um∘hm(x0)∈C u_1\circ \cdots \circ u_m\circ h^m(x_0)\in C

(Jouer au tennis de table.)

c) Sous la même hypothèse, montrer que le rayon spectral de hh n’est pas nul (dans le cas contraire, considérer un élément x0∈Ex_0\in E tel que ∥h(x0)∥>∥h∥\|h(x_0)\|>\|h\| et la boule fermée C de centre x0x_0 et de rayon ∥h∥\|h\|; en notant que ∥(λh)n∥\|(\lambda h)^n\| tend vers 0 pour tout λ∈R\lambda \in \mathbf{R}, montrer que la conclusion de la question précédente impliquerait que 0 appartient à l’adhérence de C).

d) Pour tout endomorphisme de E qui commute avec un endomorphisme compact non nul de E, il existe un sous-espace fermé non nul F⊂EF\subset E différent de E tel que u(F)⊂Fu(F)\subset F.

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed volume. Not translated.