Compact Operators that Commute with a Contraction

Let T be a C₀–contraction on a separable Hilbert space. We assume that I_H − T*T is compact. For a function f holomorphic in the unit disk \mathbbD{\mathbb{D}} and continuous on `(\mathbbD)]\overline{{\mathbb{D}}}, we show that f(T) is compact if and only if f vanishes on s(T)?\mathbbT\sigma(T)\cap{\mathbb{T}}, where σ(T) is the spectrum of T and \mathbbT{\mathbb{T}} the unit circle. If f is just a bounded holomorphic function on \mathbbD{\mathbb{D}}, we prove that f(T) is compact if and only if lim_{n? ￥}||Tⁿf(T)|| = 0\lim\limits_{n\rightarrow \infty}\|T^{n}f(T)\| = 0.