Disjoint systems and complementable subspaces of permutation-invariant spaces (Q1593883)

Let \(m\) denote Lebesgue measure on \([0,\infty)\), and let \({\mathcal M}\) denote the space of measurable functions on \([0,\infty)\). A Banach space \((E,\|.\|_E)\) with norm \(\|.\|_E\), and consisting of functions in \({\mathcal M}\), is said to be permutation-invariant or symmetric if (i) \(|x(t)\leq|y(t)|\) and \(y\in E\) imply that \(x\in E\) and \(\|x\|_E\leq\|y\|_E\); (ii) if \(x\), \(y\) are equimeasurable so that \(\mu_y(s)= \mu_x(s)\), \(s>0\), where \(\mu_x(s)= m(\{t> 0:|x(t)|> s\})\), and if \(y\in E\), then \(x\in E\) and \(\|x\|_E=\|y\|_E\). If \(V(E)= \{f\in E: f>0\), \(f\neq 0\), and \(\text{supp}(f)\subseteq (0,1)\}\), and if \(f_k(t)= f(t- k)\) if \(k< t< k+1\); \(f_k(t)= 0\) if \(t\not\in(k, k+1)\), \(Q_a= \overline{\text{span}}\{a_k, k>0\}\), let \(\nu= \{E\subseteq {\mathcal M}\): for \(a\in V(E)\), \(Q_n\) is complementable in \(E\}\). The main results of this paper involve permutation-invariant spaces for which sublattices of the types \(Q_a\), \(a\in V(E)\), are complementable in \(E\). In particular, it is stated in one of the theorems that if \(1< p<\infty\), and \(E\subseteq L^p\) is a permutation-invariant space which satisfies an `upper \(p\)-estimtate', then \(E\in\nu\). In another of the theorems it is stated that if \(E_0\), \(E_1\) are separable permutation-invariant spaces in \(\nu\), and if \(0<\theta< 1\), then the interpolation space \([E_0, E_1]_\theta\in \nu\). It is further states that if the function \(\varphi\) on \((0,\infty)\) is increasing and concave and is such that \(\varphi(0)= 0\), and generates a Lorentz space \(\Lambda(\varphi)\), then \(\Lambda(\varphi)\in \nu\) if and only if, for some constant \(C>0\), the inequality \(\varphi(nt)\leq C\varphi(n)\varphi(t)\) is valid for \(0< t< 1\), and positive integer \(n\).