Local dual spaces of Banach spaces of vector-valued functions (Q4539844)

The notion of local dual space of a Banach space \(X\) was introduced by the same authors in [Studia Math. 147, 155-168 (2001; Zbl 0992.46007)]. Let \(X\) and \(Y\) be Banach spaces, \(S_X\) the unit sphere of \(X\), and \(X^*\) the dual of \(X\). Denote by \({\mathcal B}(X,Y)\) the space of all (bounded linear) operators from \(X\) into \(Y\). Given a number \(0< \varepsilon<1\), an operator \(T\in{\mathcal B}(X,Y)\) is an \(\varepsilon\)-isometry if it satisfies \((1+ \varepsilon)^{-1} <\|TX\|<1+\varepsilon\) for all \(x\in S_X\). A subspace \(Z\) of \(X^*\) is said to be a local dual space of \(X\) if for every couple of finite dimensional subspaces \(F\) of \(X^*\) and \(G\) of \(X\), and every number \(0< \varepsilon <1\), there is an \(\varepsilon\)-isometry \(L:F\to Z\) satisfying the following conditions: (a) \(\langle Lf,x \rangle= \langle f,x\rangle\) for all \(x\in G\) and all \(f\in F\), and (b) \(L(f)=f\) for all \(f\in F\cap Z\). Obviously, \(X^*\) is a local dual of \(X\). The main result is in the following Theorem: Let \(\mu\) be a finite measure. Then: (a) \(L_1(\mu,X^*)\) is a local dual of \(L_\infty (\mu,X)\). (b) \(L_\infty (\mu,X^*)\) is a local dual of \(L_1(\mu,X)\).