Topologically transitive extensions of bounded operators (Q1769033)

A bounded operator \(T\) on a Banach space \(X\) is said to be chaotic when it is topologically transitive (i.e., for every pair \((U,V)\) of non-empty open subsets there exists an integer \(n\) such that \(T^n(U)\cap V\) is non-empty) and has a dense set of periodic points. The main result of the paper under review shows that for any given Banach space \(X\) and any given bounded operator \(T\) on \(X\), the pair \((X,T)\) is sub-chaotic in the sense that there exist a Banach space \(\widetilde X\) in which \(X\) embeds isometrically through an isometry \(i\) and a chaotic operator \(\widetilde T\) on \(\widetilde X\) such that \(\widetilde T\circ i=i\circ T\) on \(X\); \((\widetilde X,\widetilde T)\) is said to be a chaotic extension of \((X,T)\). When \(H\) is a Hilbert space, then \((H,T)\) admits a chaotic extension \((\widetilde H,\widetilde T)\) where \(\widetilde H\) is also a Hilbert space. The proof relies on a criterion due to \textit{G. Godefroy} and \textit{J. H. Shapiro} [J. Funct. Anal. 98, 229--269 (1991; Zbl 0732.47016)] by which the topological transitivity of \(T\) is derived from a study of its eigenvectors. The results are applied to sequence spaces, obtaining that every bounded operator on one of the spaces \(\ell_p,\;1\leq p<+\infty\), or \(c_0\) can be written as the sum of six hypercyclic operators. This is related to the main result in \textit{S. Grivaux} [J. Funct. Anal. 202, 486--503 (2003; Zbl 1050.47010)] in which the present author proved that every bounded operator on a separable Hilbert space is the sum of two hypercyclic operators. A remark about spaces with few hypercyclic operators and a related fact about Lipschitz maps on metric spaces conclude the paper.