On contractively complemented subspaces of separable \(L_1\)-preduals (Q701356)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On contractively complemented subspaces of separable \(L_1\)-preduals
scientific article

    Statements

    On contractively complemented subspaces of separable \(L_1\)-preduals (English)
    0 references
    0 references
    10 February 2004
    0 references
    Let \(X\) be a separable Banach space such that \(X^*\) is isometrically isomorphic to an \(L_1\)-space. One of the basic known theorems in the theory of separable \(L_1\)-predual spaces states that \(X\) contains a contractively complemented subspace \(Y\) isomorphic to a \(C(K)\)-space. If \(X\) is such that \(X^*\) is non-separable then we find such \(Y\) which is even isomorphic to \(C(\Delta)\), \(\Delta\) the Cantor set. The author of the present article proves a more general theorem which includes this result as well as the following. If \(X^*\) is isometric to \(l_1\) and \((e^*_n)\) is a basis of \(l_1\) which is equivalent to the usual \(l_1\)-basis then, for a suitable subsequence \((e^*_{m_n})\), the subspace generated by the sequence \((e^*_{m_{2n}}-e^*_{m_{2n-1}})\) is the range of a \(w^*\)-continuous contractive projection on \(X^*\). Let \(B_V\) be the closed unit ball of a Banach space \(V\) and \(\text{ext} B_V\) its extreme point set. Then the main result of the paper is the following. Let \(X\) be an \(L_1\)-predual and \(V\subset X^*\) be a subspace isometric to \(l^k_1\) for some \(k\in\mathbb{N}\). Moreover, let \((\delta_i)^n_{i=1}\) be a finite sequence of positive scalars and assume that there exist \(w^*\)-continuous, contractive, linear \(T_i:X^*\to V\) and contractive, linear \(R_i:V\to V\), \(i\leq n\), such that \(\|R_iT_n-T_i \|\leq \delta_i\) for all \(i\). Assume further that there exist linearly independent vectors \((f_j)^q_{j=1} \subset\text{ext} B_{X^*}\) and vectors \((v_j)^q_{j=1} \subset B_V\) such that \(\|R_iv_j-T_jf_j\|\leq \delta_i\) for all \(i\) and \(j\). Then there is a \(w^*\)-continuous linear and contractive \(T:X^*\to V\) such that \(\|R_iT-T_i\|\leq\delta_i\) for all \(i\) and \(Tf_j=v_j\) for all \(j\).
    0 references
    \(L_1\)-predual spaces
    0 references
    \(C(K)\)-space
    0 references
    \(l_1\)-basis
    0 references

    Identifiers