Order isomorphisms and lattice-homomorphism projections in \(\ell^ \infty\) (Q1329313)

Theorems of the type given below are established: Let \(X\) be an infinite-dimensional, regular vector sublattice of \(\ell^ \infty\). The following assertions are equivalent: (1) \(X\) is Dedekind complete and has a strong unit. (2) There exists a positive projection of \(\ell^ \infty\) into \(X\). (3) There exists an \(\ell\)-homomorphism of \(\ell^ \infty\) onto \(X\) with norm 1. (4) \(X\) is \(o\)-isomorphic to \(\ell^ \infty\). (4) \(X\) is \(o\)-isometric to \(\ell^ \infty\). Let \(X\), \(Y\) be subspaces of a partially ordered linear space \(E\). The pair \((X,Y)\) is said to have the property \((*)\) if \(\exists A\subseteq X\) and \(a\in Y-\{0\}\) such that \(\sup A= a\). Based on this definition, the authors show that the range \(X\) of a lattice-homomorphism projection \(P\) in \(\ell^ \infty\) is order isomorphic to \(\ell^ \infty\), provided the kernel and the range of \(P\) do not have the property \((*)\).