Order Schauder bases in Banach lattices (Q2347084)

Let \(F\) be a subspace of a vector lattice \(E\). A sequence \((x_n)\) in \(F\) is called an order Schauder basis of \(F\) if for every \(x\in F\) there exists a unique sequence of scalars \((\alpha_n)\) such that \[ \sum_{k=1}^n \alpha_n x_n\overset{o}{\rightarrow} x, \] where \(\overset{o}{\rightarrow}\) denotes order convergence in vector lattices. The unit vectors \((e_n)\) form an order Schauder basis in \(c_0\) and in \(l_p\), \(1\leq p\leq \infty\). The sequential order closure of the linear span of a sequence \((x_n)\) in a Banach lattice \(E\) is denoted by \([x_n]_o\) whereas \([x_n]\) denotes the norm closure of the linear span of \((x_n)\). An order Schauder basic sequence \((x_n)\) in a Banach lattice \(E\) is called a strong order Schauder basic sequence if \([x_n]_o = [x_n]\). An order Schauder basis (strong order Schauder basic sequence) \((x_n)\) in a Banach lattice \(E\) is called bibasic (bibasic sequence) if it is a Schader basis (basic sequence). The following theorem is one of the main results of the paper. Theorem. Let \((x_n)\) be a bibasic sequence in a \(\sigma\)-order continuous Banach lattice \(E\). Then there exists a constant \(M < \infty\) such that for each \(m \in \mathbb N\) and each collection of scalars \((a_k)_1^m\) one has \[ ||\bigvee_{i=1}^m |\sum_{k=1}^ia_kx_k||| < M ||\sum_{k=1}^m a_kx_k||.\tag{*} \] Theorem. Let \(E\) be a \(\sigma\)-order continuous Banach lattice with the Fatou property. A sequence \((x_n)\) of nonzero elements is a bibasic sequence if and only if (*) is satisfied. The authors then extend the well-known Krein-Milman-Rutman theorem on stability of Schauder basic sequences to the setting of bibases. The authors then study the Haar system in \(L_p\), \(1 < p \leq \infty\), and show that the Haar system is an order Schauder basis of \(L_p\) but is not a bibasis in \(L_1\). A well-known theorem due to Pelczynski asserts that \(L_1\) is not isomorphically embedded into a Banach space with an unconditional basis. They show a similar result is true for bibases. Theorem. The Banach lattice \(L_1\) is not lattice embedded by means of a lattice embedding with \(\sigma\)-order continuous inverse map into a \(\sigma\)-order continuous Banach lattice with a bibasis.