scientific article; zbMATH DE number 222936
In [Lect. Notes Math. 693, 77-86 (1978; Zbl 0405.47029)], \textit{J. A. Deddens} introduced the set \[ {\mathcal B}_ A=\bigl\{X \in{\mathcal L}({\mathcal H}):\sup_{n \geq 1}\| A^ n XA^{-n}\|<\infty\bigr\} \] associated with an invertible operator \(A\). \(({\mathcal L}({\mathcal H})\) is the algebra of all bounded linear operator acting on the complex, separable, infinite dimensional Hilbert space \({\mathcal H}.)\). \({\mathcal B}_ A\) is an algebra that includes the commutant \({\mathcal A}'(A)\) of \(A\). The question of whether \({\mathcal B}_ A={\mathcal L}({\mathcal H})\) implies that \(A\) is a nonzero multiple of a similarity of a unitary operator has been affirmatively answered, independently, by D. A. Herrero, J. G. Stampfli and J. P. Williams. Indeed, Stampfli and Williams merely assume that \({\mathcal B}_ A\supset{\mathcal K}({\mathcal H})\), the ideal of all compact operators. The first result of this note says that the same conclusion is true if we just assume that \({\mathcal B}_ A\) contains all the rank-one operators. The second result extends a theorem of \textit{J. P. Williams} [Proc. Am. Math. Soc. 78, 30-32 (1980; Zbl 0381.47007)] by showing that \({\mathcal B}_ A \cap{\mathcal B}_{A^{-1}}={\mathcal A}'(A)\) for a large family of operators. The third and last result is an example showing that we can have \(\sup_{n \geq 1}\| A^ nXA^{-n}\|<\infty\) and \(\| A^ nRA^{-n}\|\to 0\) \((| n | \to \infty)\) for a suitable chosen nonzero nilpotent operator \(R\) and \(A\) invertible. This negatively answers a question of C. M. Pearcy (personal communication).
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5285820)
