The normed finiteness property of compact contraction operators (Q2483268)

Let \(\Sigma\) be a nonempty finite set of (linear) compact contraction operators on a Hilbert space \(\mathcal{H}\), let \(\Sigma^{m}\) \((m=1,2,\dots)\) be the set of all products of operators in \(\Sigma\) of length \(m\), and let \(\widetilde{\rho}(\Sigma)\) denote the joint spectral radius of \(\Sigma\), that is, \(\widetilde{\rho}(\Sigma) = \limsup_{m\rightarrow \infty}[\sup{(\|A\| : A\in\Sigma^{m})}]^{1/m}\). The authors prove for such \(\Sigma\) that \(\|Ax\|<\|x\|\) with some \(A\in\Sigma^{m}\) and \((0\neq)x\in\mathcal{H}\), that if \(\widetilde{\rho}(\Sigma)=1\) or there exists a finite product of the unit norm, then there exists a finite product with spectral radius equal to \(1\).