No label defined (Q4254448)

Let \(\mathcal{H}\) be an infinite-dimensional complex separable Hilbert space, \(T\) be a bounded linear transformation from \(\mathcal{H}\) into \(\mathcal{H}\), and \(T^*\) be the adjoint of \(T\). By a subspace one means a closed linear manifold. A set \(\mathcal{S}\subseteq \mathcal{H}\) is invariant for an operator \(T\) on \(\mathcal{H}\) if \(T(\mathcal{S})\subseteq \mathcal{S}\). A subspace \(\mathcal{M}\) of \(\mathcal{H}\) is nontrivial if \({0}\neq \mathcal{M}\neq \mathcal{H}\). \(\mathcal{M}\) is a reducing subspace for \(T\) if it is invariant for both \(T\) and \(T^*\). An operator is reducible if it has a nontrivial reducing subspace, and reductive if all its invariant subspaces are reducing. A contraction is an operator \(T\) such that \(\|T\|\leq 1\). Let \(U\) be the unitary extension of a \(C_1\)-contraction \(T\). A simple new proof is given for the following theorem. If \(U\) is nonreductive, then \(T\) has a nontrivial invariant subspace. Moreover, it is also shown that, if \(U\) is reductive but does not have an invariant dense linear manifold made up entirely of cyclic vectors, then \(T\) has a nontrivial invariant subspace.