Factorization properties of generalized entropy ideals (Q792603)

In two preceding papers [Math. Nachr. 119 (1984) and J. Reine Angew. Math. 350, 117-136 (1984; Zbl 0527.47030)] we have developed a refined notion of compactness for operators between Banach spaces by referring to an operator ideal A. In case of a complete quasi-normed operator ideal \([A,\alpha]\) we were able to define generalized entropy numbers \(e_ n(T;A)\) such that compactness of T with respect to A could be expressed by \[ (1)\quad \lim_{n\to \infty}e_ n(T;A)=0. \] The class \(A_{c_ 0}^{(e)}\) of A-compact operators turned out to be a complete quasi- normed operator ideal with respect to the ideal quasi-norm \(\alpha_ S\) on the surjective hull \(A^ S\) of A which admits a factorization \[ (2)\quad A_{c_ 0}^{(e)}=A^ S{\mathbb{O}}K, \] where K denotes the ideal of compact operators. For estimating the degree of A-compactness of an operator \(T\in A_{c_ 0}^{(e)}(E,f)\) we used the Lorentz sequence spaces \(\ell_{q,v}\) and stated \[ T\in A^{(e)}_{q,v}(E,F)\quad so\quad far\quad as\quad \{e_ n(T;A)\}\in \ell_{q,v}. \] In case of \([A,\alpha]=[L,\| \cdot \|]\) the \(A^{(e)}_{q,v}\) reduce to the entropy ideals \(L^{(e)}_{q,v}\) introduced by \textit{H. Triebel} [Stud. Math. 34, 89-107 (1970; Zbl 0189.437)]. In view of the product formula (2) for the ideal \(A_{c_ 0}^{(e)}\) of A-compact operators one might conjecture \(A^{(e)}_{q,v}=A^ S{\mathbb{O}}L^{(e)}_{q,v}.\) However, a factorization theorem of this general type fails to be valid. A counterexample is derived on the background of the relations between entropy properties and approximation properties of operators in the present paper. A positive result is attained for \(A=L^{(e)}_{p,\infty}\) and \(v=\infty\), namely \[ (3)\quad(L^{(e)}_{p,\infty})^{(e)}_{q,\infty}=L^{(e)}_{p,\infty} {\mathbb{O}}L^{(e)}_{q,\infty}. \] For arbitrary complete quasi-normed operator ideals \([A,\alpha]\) we prove a weaker property, namely \[ (4)\quad A^{(e)}_{q,v}\subseteq A^ S{\mathbb{O}}L^{(e)}_{q,\infty} \] with \(0<v\leq r\leq 1\), the number r being determined by the ideal quasi-norm \(\alpha\) on A. As an immediate consequence of (4) we obtain \[ A^{(e)}_{p,\infty}\subseteq A^ S{\mathbb{O}}L^{(e)}_{q,\infty} \] for any \(p<q\).