Bourbaki

Exercise 5, § 6

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

Spectral Theories, III, p. 130

The aim of this exercise is to give another proof of Lomonosov’s theorem (cor. 2 of III, p. 13) in the case where the space E is a Banach space.

Let E be a complex Banach space of dimension at least 2. Let hh be a nonzero compact endomorphism of E and let A be the commutant of hh in L(E)\mathscr{L}(E). a) One of the following conditions is satisfied:

(i) There exists y∈Ey\in E such that AyAy is a nonzero subspace which is not dense in E ;

(ii) For every closed bounded subset C of A, with nonempty interior, there exists a finite subset I of A such that h(C)h(C) is contained in the union of the sets u−1(C)\overset{-1}{u}(C) for u∈Iu\in I.

b) Assume that condition (ii) of the preceding question is satisfied. Let C be a closed bounded subset of E with nonempty interior. For every integer m⩾m\geqslant 1, there exists a finite sequence (u1,...,um)(u_1, . . . , u_m) in A such that

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

(Play table tennis.)

c) Under the same assumption, now prove that the spectral radius of hh is not zero (otherwise, consider an element x0∈Ex_0\in E such that ∥h(x0)∥>∥h∥\|h(x_0)\|>\|h\| and the closed ball C with center x0x_0 and radius ∥h∥\|h\|; noting that ∥(λh)n∥\|(\lambda h)^n\| tends to 0 for every λ∈R\lambda \in \mathbf{R}, now prove that the conclusion of the preceding question would imply that 0 belongs to the closure of C).

d) For every endomorphism of E which commutes with a nonzero compact endomorphism of E, there exists a nonzero closed subspace F⊂EF\subset E different from E such that u(F)⊂Fu(F)\subset F.

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.