Compactness and an approximation property related to an operator ideal
For an operator ideal A, we study the composition operator ideals A∘K, K∘A and K∘A∘K, where K is the ideal of compact operators. We introduce a notion of an A-approximation property on a Banach space and characterise it in terms of the density of finite rank operators in A∘K and K∘A. We propose the notions of ℓ∞-extension and ℓ1-lifting properties for an operator ideal A and study A∘K, ${\mathcal}\circ{\mathcal A}$ and the A-approximation property where A is injective or surjective and/or with the ℓ∞-extension or ℓ1-lifting property. In particular, we show that if A is an injective operator ideal with the ℓ∞-extension property, then we have: (a) X has the A-approximation property if and only if (Amin)inj(Y,X)=Amin(Y,X), for all Banach spaces Y. (b) The dual space X∗ has the A-approximation property if and only if ((Adual)min)sur(X,Y)=(Adual)min(X,Y), for all Banach spaces Y.}For an operator ideal A, we study the composition operator ideals A∘K,