Topological dual systems for spaces of vector measure \(p\)-integrable functions (Q2631443): Difference between revisions

The authors give a vector measure version of the Dvoretzky-Rogers theorem. Here, \( (\Omega, \Sigma)\) is a measurable space, \(X, E\) are Banach spaces, \(m: \Omega \to X\) is a countably additive measure with Rybakov measure \(\eta \), and \(L^{p}(m)\) is the Banach space of equivalence classes of \(p\)-integrable functions (\(1 \leq p<\infty\)) wrt \(m\); \(L^{\infty}(m)\) is defined as \(L^{\infty}(\eta)\). If \(p'\) is the conjugate of \(p\), then \(L^{p}(m) \cdot L^{p'}(m) \subset L^{1}(m)\). For a subspace \(P \subset L^{p}(m)\), a subspace \(P^{m} \subset L^{p'}(m)\) is an \(m\)-dual if \(P^{m}\) is \(m\)-norming for \(P\). Similarly, a subspace \( P^{mm} \subset L^{p}(m)\) is \(m\)-bidual of \(P\) (wrt the \(m\)-dual \(P^{m}\)) if \(P \subset P^{mm}\) and \( P^{mm}\) is norming for \(P^{m}\). \((P, P^{m}, P^{mm})\) is called \(m\)-dual system. If \(P\) is a subspace of \(L^{p}(m)\), \(R\) is a subspace of \(L^{p'}(m)\), \(1 \leq p\), \(q<\infty\), and \(E\) a Banach space, then an operator \(T: P \to E\) is \((q, R)\)-summing if there is a constant \(K\) such that, for any functions \(f_{1},\dots f_{n}\) in \(P\), \[ \left( \sum_{i=1}^{n} \| T(f_{i}) \|^{q} \right)^{\frac{1}{q}} \leq K \sup_{g \in B_{R}} \left( \sum_{i=1}^{n} \|\int f_{i} g \, dm \|^{q} \right)^{\frac{1}{q}}. \] For a Banach space \(E\) and a subspace \(P \subset L^{p}(m)\), an operator \(T: E \to P\) is called \(\tau_{m}( P^{m})\)-sequentially compact if any bounded sequence \(\{ x_{n} \} \subset E\) has a sub-sequence \(\{ x_{n_{k}} \} \) which makes \(\{ \int T(x_{n_{k}}) g dm \}\) Cauchy for every \(g \in P^{m}\). An operator \(T: P \to E\) is \(\tau_{m}( P^{m})\)-sequentially completely continuous if \(\lim \| Tf_{n} \| \to 0\) whenever \(\{ f_{n} \}\) is a bounded sequence such that \(\lim \| \int hf_{n} dm \| \to 0\) for every \(h \in P^{m}\). The main results are: {\parindent=0.6cm \begin{itemize}\item[I.] If \(1 \leq q < \infty\) and \( T: E \to P \) is \((q, R)\)-summing, then the following statements are true: {\parindent=1cm \begin{itemize}\item[(i)] If \(B_{ P^{m}}\) is \(P^{mm}\)-compact, then \(T\) is \(\tau_{m}( P^{m})\)-sequentially completely continuous. \item [(ii)] If \(B_{ P}\) is \(\tau_{m}( P^{m})\)-compact and \(B_{ P^{m}}\) is \(P^{mm}\)-compact, then \(T\) is completely continuous. \item[(iii)] If \(B_{ P^{m}}\) is \(P^{mm}\)-compact and \(X\) is reflexive, then \(T\) is also weakly compact. \end{itemize}} \item[II.] If \(E\) is a Banach space, \(P\) a subspace of \(L^{p}(m)\) and \(T: P \to E\) an isomorphism, then the following statements are equivalent: {\parindent=1cm \begin{itemize}\item[(i)] There is an \(m\)-dual system \((P, P^{m}, P^{mm})\) such that \(B_{ P}\) is \(\tau_{m}( P^{m})\)-sequentially compact, \(B_{ P^{m}}\) is \(P^{mm}\)-compact, and \(T\) is \((q, P^{m})\)-summing for some and then, for all, \(1 \leq q< \infty\). \item[(ii)] \(P\) has finite dimension. \end{itemize}} \end{itemize}}Some applications of the main results are also obtained.