# Problems of existence of order copies of \(\ell ^\infty \) and \(L_p(\nu )\) in some non-Banach Köthe spaces

- 46 Downloads

## Abstract

For a monotone Orlicz function \(\varPhi \) taking only values 0 and \(\infty \), it is showed that in both cases, the s-homogeneous norm \(\Vert \cdot \Vert _{\varPhi ,s}\), if \(\varPhi \) is s-convex \((0<s\le 1)\) and the Mazur–Orlicz *F*-norm \(\Vert \cdot \Vert _\varPhi \), if \(\varPhi \) is non-decreasing on \(\mathbb {R}_+\), we have that \(L^\varPhi (\mu )=L^\infty (\mu )\) and both these norms are proportional to \(\Vert \cdot \Vert _\infty \). The problems of existence of order linearly isometric copy of \(\ell ^\infty {\backslash } B_{\ell ^\infty }(0,\varepsilon )\) for any \(\varepsilon >0\) as well as an order linearly isometric copy of the whole \(\ell ^\infty \) in Orlicz *F*-normed function and sequence spaces are considered. In the last section the problem of the existence of order linearly isometric copies of \(L_p(\nu )\) with \(0<p\le 1\) in *F*-normed Orlicz spaces are considered.

## Keywords

*s*-Convex Orlicz spaces Orlicz spaces with Mazur–Orlicz

*F*-norm Order copies of \(\ell ^\infty \)

## Mathematics Subject Classification

46A40 46A45 46A80 46E30 06F30## 1 Introduction

In 1976, Turett [35] proved that Orlicz spaces over a non-atomic finite measure space, generated by convex Orlicz functions and equipped with the Luxemburg norm, contain an order isometric copy of \(\ell ^\infty \) if and only if the generating convex Orlicz functions do not satisfy the \(\varDelta _2\)-condition at infinity. This result was later extended to other measure space cases by other mathematicians (see [7] and its references, and [17]).

The aim of Sect. 3 is to extend those results to the case of Orlicz spaces generated by non-decreasing (non-convex, in general) Orlicz functions and equipped with the Mazur–Orlicz *F*-norm.

First, in Theorem 1, it is proved that if a monotone Orlicz function \(\varPhi \) takes only values 0 and \(\infty \), then in both cases, the *s*-homogeneous *F*-norm \(\Vert \cdot \Vert _{\varPhi ,s}\), if \(\varPhi \) is *s*-convex \((0<s\le 1)\), and the Mazur–Orlicz *F*-norm \(\Vert \cdot \Vert _\varPhi \), if \(\varPhi \) is non-decreasing on \(\mathbb {R}_+\), the equality \(L^\varPhi (\mu )=L^\infty (\mu )\) holds and the respective norms are proportional to the norm \(\Vert \cdot \Vert _\infty \).

Let us recall that if the *F*-norm on a \(\sigma \)-Dedekind complete *F*-lattice *X* is *not* order continuous, then *X* contains an order-isomorphic copy of the space \(\ell ^\infty \), see [3, Theorem 10.8]. However, in a concrete case we may have even a more unusual situation. Namely, in Theorems 2 and 3 it is proved that if \(\varPhi \) is a non-decreasing Orlicz function, vanishing only at zero and not fulfilling the suitable \(\varDelta _2\)-condition, then for every \(\varepsilon > 0\), there is a linear order isomorphism \(P_\varepsilon {:}\,\ell ^\infty \rightarrow L^\varPhi (\mu )\) such that \(\Vert P_\varepsilon x\Vert _\varPhi = \Vert x\Vert _\infty \) for every \(x\in L^\varPhi (\mu )\) with \(\Vert x\Vert _\infty \ge \varepsilon \). For a non-atomic infinite measure space, as well as for the counting measure space, it is proved that if \(\varPhi \) vanishes outside 0, then the Orlicz space \((L^\varPhi (\mu ),\Vert \cdot \Vert _\varPhi )\) contains an order linearly isometric copy of the whole \(\ell ^\infty \).

Next, are given two remarks concerning the characterization of the open balls \(B_{\Vert \cdot \Vert _\varPhi }(0,\varepsilon )\) for the Mazur–Orlicz *F*-norm \(\Vert \cdot \Vert _\varPhi \) in Orlicz function and sequence spaces, for any \(\varepsilon >0\), in terms of the modular \(I_\varPhi \). Moreover, the problem of the openness of the modular balls \(B_{\varPhi ,\varepsilon }:=\{x\in L^\varPhi (\mu ){:}\,I_\varPhi \left( \frac{x}{\varepsilon }\right) <\varepsilon \}\) in the metric topology, in both cases: the s-homogeneous norm \(\Vert \cdot \Vert _{\varPhi ,s}\)\((0<s\le 1)\) and the Mazur–Orlicz *F*-norm \(\Vert \cdot \Vert _\varPhi \) is solved. For the s-homogeneous norm this is done for \(\varepsilon =1\) and for the *F*-norm this is done for any \(\varepsilon >0\).

In the last section of this paper, we study the problem when *X* embeds order-isometrically into *Y* whenever *X* embeds isometrically into *Y*. In Proposition 2 we show that this is the case for \(X=L_p(\nu )\), for some \(p\in (0,1]\), extending a similar result proved in 2003 by the fourth present author [36, Theorem 1’] for a class of Banach lattices. As an application, we obtain that, for a (non-convex) strictly monotone Orlicz function \(\varPhi \), for any measure space \((\varGamma ,\varTheta ,\nu )\) and any \(p\in (0,1]\), the order continuous part \(E^\varPhi (\mu )\) of the Orlicz space \(L^\varPhi (\mu )\), endowed with the Mazur–Orlicz *F*-norm, does not contain an isometric copy of \(L^p(\nu )\). This is in contrast with the Banach lattice case where a strictly monotone Banach lattice *E* contains an order-isometric copy of \(L^1(\nu )\) iff *E* contains an isometric copy of \(L^1(\nu )\); see [36, Corollary 2].

## 2 Preliminaries

In the whole paper \((\varOmega ,\varSigma ,\mu )\) denotes a \(\sigma \)-finite and complete measure space with a non-atomic measure \(\mu \) on \(\varSigma \) or the counting measure space \((\mathbb {N}, 2^\mathbb {N},\mu )\) with \(\mu (A)={\text {Card}}(A)\) for any \(A\subseteq \mathbb {N}\), and it is assumed that all operators acting between two given spaces considered in the paper are linear. Moreover, the word *isomorphism* will mean a linear topological isomorphism and the expression *an order isomorphism* will mean a topological isomorphism preserving the order.

*X*and with values in \(\mathbb {R}_+:=[0,\infty )\) is said to be an

*F*-norm if it satisfies the following conditions:

- 1.
\(\Vert x\Vert =0\) if and only if \(x=0\),

- 2.
\(\Vert x+y\Vert \le \Vert x\Vert +\Vert y\Vert \) for all \(x,y\in X\),

- 3.
\(\Vert x\Vert =\Vert -x\Vert \) for any \(x\in X\),

- 4.
if \(a_k\rightarrow a\) and \(\Vert x_k-x\Vert \rightarrow 0\) as \(k\rightarrow \infty \), where \(a_k,a\in \mathbb {R}\) and \(x_k,x\in X\), then \(\Vert a_kx_k-ax\Vert \rightarrow 0\) as \(k\rightarrow \infty \).

*F*-normed space

*X*is \( \Vert \cdot \Vert \)-complete, then \((X, \Vert \cdot \Vert )\) is said to be an

*F*-space. If a lattice

*E*is endowed with a monotone

*F*-norm \(\Vert \cdot \Vert \) (i.e., the condition \(|x| \le |y|\) implies that \(\Vert x \Vert \le \Vert y\Vert \) for any \(x, y \in E)\), under which

*E*is complete, then \(E = (E, \Vert \cdot \Vert )\) is said to be an

*F*-lattice.

We will consider two kinds of Orlicz functions. All of them are denoted by \(\varPhi \) and they are functions from \(\mathbb {R}_+:=[0,\infty )\) into \(\mathbb {R}_+^e=[0,\infty ]\) vanishing at zero with \(b(\varPhi )\in (0,\infty ]\), where \(b(\varPhi ):=\sup \{u\ge 0{:}\,\varPhi (u)<\infty \}\). The first class of Orlicz functions is the class of *s*-convex \((0<s\le 1)\) continuous Orlicz functions, that is, such functions \(\varPhi \) that \(\varPhi (\alpha u+\beta v)\le \alpha ^s \varPhi (u)+\beta ^s \varPhi (v)\) for all \(\alpha ,\beta \ge 0\) with \(\alpha ^s+\beta ^s=1\) and all \(u,v\ge 0\). The second class of Orlicz functions is the class of non-decreasing functions \(\varPhi {:}\,\mathbb {R}_+\rightarrow \mathbb {R}_+^e\), which are continuous on \([0,b(\varPhi ))\) and \(\varPhi (b(\varPhi )):=\lim _{x\rightarrow b(\varPhi )^-}\varPhi (x)\), \(\varPhi (u)\rightarrow 0\) as \(u\rightarrow 0^{+}\) and with \(\lim \nolimits _{u\rightarrow \infty } \varPhi (u)>0\), called shortly non-decreasing Orlicz functions.

For any Orlicz function \(\varPhi \) let us define \(a(\varPhi )=\sup \{u\ge 0{:}\,\varPhi (u)=0\}.\) We say that \(\varPhi \) satisfies the \(\varDelta _2(\infty )\)-condition (\(\varPhi \in \varDelta _2(\infty )\) for short) if \(b(\varPhi )=\infty \) and \(\limsup _{u\rightarrow \infty } \frac{\varPhi (2u)}{\varPhi (u)}<\infty \). We say that \(\varPhi \) satisfies the \(\varDelta _2(0)\)-condition (\(\varPhi \in \varDelta _2(0)\) for short) if \(a(\varPhi )=0\) and \(\limsup _{u\rightarrow 0} \frac{\varPhi (2u)}{\varPhi (u)}<\infty \), and we will write \(\varPhi \in \varDelta _2(\mathbb {R}_+)\) if \(\varPhi \in \varDelta _2(\infty )\) and \(\varPhi \in \varDelta _2(0)\). By the suitable \(\varDelta _2\)-condition we will mean the \(\varDelta _2(\infty )\)-condition in the case of a non-atomic finite measure space, the \(\varDelta _2(\mathbb {R}_+)\)-condition in the case of a non-atomic infinite measure space and the \(\varDelta _2(0)\)-condition in the case of the counting measure space.

*F*-norm (see [29])

*x*is equivalent to the condition \(I_\varPhi (\lambda (x_n-x))\rightarrow 0\) as \(n\rightarrow \infty \) for any \(\lambda >0\) (see [19] or [38]). For more information about Orlicz normed (also s-normed, \(0<s<1\)) spaces we refer, for instance, to [7, 24, 27, 28, 30, 34, 38].

If \((x_n)_{n=1}^\infty \) is a pairwise disjoint sequence in \(L^0(\mu )\) and \((a_n)_{n=1}^\infty \) is a sequence of scalars, then the symbol \(\sum _{n=1}^\infty a_nx_n\) denotes the formal pointwise sum of the functions \(a_nx_n\) in \(L^0(\mu )\).

*F*-space \((E,\Vert \cdot \Vert _{E})\) is called an

*F*-normed Köthe space if it is a linear subspace of \(L^{0}\) satisfying the following conditions:

- (i)
If \(x\in L^{0}\), \(y\in E\) and \(\left| x\right| \le |y|\)\(\mu \)-a.e., then \(x\in E\) and \(\Vert x\Vert _{E}\le \Vert y\Vert _{E}\).

- (ii)
There exists a strictly positive \(x\in E\) (called a weak unit).

*E*, let \(E_+:=\{x\in E{:}\,x\ge 0\}\) and \(S_+(E):=S(E) \cap E_+\).

An element *x* of a Köthe space *E* over \((\varOmega ,\varSigma ,\mu )\) is said to be order continuous if for any sequence \((x_n)_{n=1}^\infty \) in *E* such that \(0\le x_n\le |x|\) for any \(n\in \mathbb {N}\) and \(x_n\rightarrow 0\)\(\mu \)-a.e., we have \(\Vert x_n\Vert _E \rightarrow 0\). The subspace of *E* that consists of all order continuous elements from *E* is denoted by \(E_a\) and it is called the subspace of order continuous elements of *E*.

If *A* is a non-empty subspace of \(\ell ^\infty \), then a linear operator \(P{:}\,A\rightarrow L^\varPhi (\mu )\) (resp. \(P{:}\,A\rightarrow \ell ^\varPhi (\mu )\)) is said to be a linear order isometry (or shortly an order isometry) if *P* keeps the order (i.e. \(Px\ge 0\) for any \(x\in A\), \(x\ge 0\)) and \(\Vert Px-Py\Vert _\varPhi =\Vert P(x-y)\Vert _\varPhi =\Vert x-y\Vert _\infty \) for any \(x,y\in A\).

*E*is said to contain an order-isometric copy of \(\ell ^\infty \) if there exists in \(E_+\) a sequence \((x_n)_{n=1}^\infty \) of pairwise orthogonal elements (i.e., \(\mu ({\text {supp}}x_n\cap {\text {supp}}x_m)=0\) for any \(m,n\in \mathbb {N}\), \(m\ne n\)) such that

*E*\((0<s\le 1)\) is said to contain an order-isometric copy of \((\ell ^\infty )^s\) if there exists in \(E_+\) a sequence \((x_n)_{n=1}^\infty \) with \(\mu ({\text {supp}}x_n\cap {\text {supp}}x_m)=0\) for any \(m,n\in \mathbb {N}\), \(m\ne n\), such that

If *E*, *G* are two linear lattices then the symbol \(\mathcal {L}_r(E,G)\) denotes the linear space of all regular linear operators \(T{:}\,E\rightarrow G\), i.e. operators of the form \(T=U-V\), where \(U,V\in \mathcal {L}^+(E,G)\), the cone of positive (i.e. non-negative) linear operators; hence we also have that the space \(\mathcal {L}_r(E,G)\) is partially ordered by \(\mathcal {L}^+(E,G)\). We say that a linear operator \(T{:}\,E\rightarrow G\) preserves disjointness if the condition \(|x_1|\wedge |x_2|=0\) in *E* implies that \(|Tx_1|\wedge |Tx_2|=0\) (notice that such an operator *T* need not to be regular, in general: see, e.g., [1, Examples 1, 2]). If *T* is injective, it is said to be an order isomorphism if both *T* and \(T^{-1}\) are positive; equivalently, \(|Tx|=T(|x|)\) for every \(x\in E\). An endomorphism *J* on a linear space *X* is said to be an involution if its square \(J^2\) is the identity on *X*.

Let *X* and *Y* be two real *F*-lattices, and let the *F*-norm \(\Vert \cdot \Vert \) on *Y* be strictly monotone, i.e. \(\Vert y_1\Vert <\Vert y_2\Vert \) whenever \(y_1,y_2\in Y\), \(|y_1|\le |y_2|\) and \(y_1\ne y_2\). The classical *F*-space \(L_p(\nu )\), \(0<p<1\), endowed with the *F*-norm \(\Vert x\Vert _p:=\int _\varGamma |x|^p\mathrm {d}\nu \) and the standard (\(\nu \)-a.e.) partial ordering, is a simple nontrivial example of a strictly monotone non-Banach *F*-lattice. Other examples, within the class of non-Banach Orlicz spaces, are given in the recent paper [19].

## 3 Results

Let us start with the following

### Theorem 1

Assume that \(u_0\in (0,\infty )\) and \(\varPhi {:}\,\mathbb {R}_+\rightarrow \mathbb {R}_+^{e}\) is defined by the formula \(\varPhi (u)=0\) if \(0\le u\le u_0\) and \(\varPhi (u)=\infty \) if \(u>u_0\). Then \(L^\varPhi (\mu )=L^\infty (\mu )\), \(|||x|||_\varPhi =\frac{1}{u_0}\Vert x\Vert _\infty \) and \(\Vert x\Vert _{\varPhi ,s}=\frac{1}{(u_0)^s}\Vert x\Vert _\infty ^s\) for any \(x\in L^\varPhi (\mu )\), any \(0<s\le 1\) and any measure space \((\varOmega ,\varSigma ,\mu )\).

### Proof

First, we will easily prove that \(L^\varPhi (\mu )=L^\infty (\mu )\). Let us assume that \(x\in L^\varPhi (\mu )\). There exists \(\lambda >0\) such that \(I_\varPhi (\lambda x)<\infty \), whence \(\lambda |x(t)|\le u_0\)\(\mu \)-a.e., that is, \(\Vert x\Vert _\infty \le \frac{u_0}{\lambda }\)\(\mu \)-a.e., which means that \(x\in L^\infty (\mu )\). Now, let us assume that \(x\in L^\infty (\mu )\). Then \(\frac{u_0}{\Vert x\Vert _\infty }|x(t)|\le u_0\)\(\mu \)-a.e., whence \(I_\varPhi \left( \frac{u_0}{\Vert x\Vert _\infty }x\right) <\infty \), that is, \(x\in L^\varPhi (\mu )\). In such a way we have proved two inclusions \(L^\varPhi (\mu )\subseteq L^\infty (\mu )\subseteq L^\varPhi (\mu )\), which gives the equality \(L^\varPhi (\mu )=L^\infty (\mu )\).

In two theorems below we will deal with isometric copies of \(\ell ^\infty \) in non-Banach Orlicz spaces. It is well known (see [3]) that a \(\sigma \)-Dedekind complete *F*-lattice *E* is not order continuous if and only if *E* contains an order-isomorphic copy of \(\ell ^\infty \). In the Banach lattice case, there are function spaces *E* with a much stronger property: *E* is not order continuous if and only if *E* contains an order-isometric copy of \(\ell ^\infty \) (for Orlicz spaces see, e.g., [7, 8, 21, 34, 38], for Marcinkiewicz spaces see [22], for Orlicz–Lorentz spaces see [6] and for some class of general Banach lattices see [17]). The problem of existence in Banach spaces of almost isometric, asymptotically isometric or even isometric copies was considered in various papers (see for example [8, 10, 11, 20, 21]). In Theorems 2 and 3 we will show that non-Banach Orlicz spaces \(L^\varPhi (\mu )\), endowed with the Mazur–Orlicz *F*-norm, have a nearing property.

### Theorem 2

*F*-norm \(\Vert \cdot \Vert _\varPhi \). Then the following holds:

- (i)If \(a(\varPhi )=0\) (i.e., \(\varPhi \) vanishes only at 0) and \(\varPhi \) does not satisfy condition \(\varDelta _2(0)\), then for any \(\varepsilon >0\) there is an order-isomorphism \(P_\varepsilon {:}\,\ell ^\infty \rightarrow \ell ^\varPhi \) such that
- (a)
\(\Vert P_\varepsilon c\Vert _\varPhi \ge \Vert c\Vert _\infty \) for every \(c\in \ell ^\infty \), and

- (b)
\(\Vert P_\varepsilon c\Vert _\varPhi = \Vert c\Vert _\infty \) for every \(c\in \ell ^\infty \) with \(\Vert c\Vert _\infty \ge \varepsilon \), i.e., if \(\Vert x-y\Vert _\infty \ge \varepsilon \) then \(\Vert P_\varepsilon x-P_\varepsilon y\Vert _\varPhi =\Vert P_\varepsilon (x-y)\Vert _\varPhi =\Vert x-y\Vert _\infty \), for any \(x,y\in \ell ^\varPhi \).

- (a)
- (ii)
If \(a(\varPhi )>0\), then \((\ell ^\varPhi ,\Vert \cdot \Vert _\varPhi )\) contains an order-isometric copy of \(\ell ^\infty \).

### Proof

Let us note that the technique presented above gives us the possibility of building for any \(\varepsilon >0\) a sequence \((x_{n,\varepsilon })_{n=1}^\infty \) of positive elements in \(\ell ^\varPhi \) with pairwise disjoint supports such that \(I_\varPhi (x_{n,\varepsilon })\le 2^{-n}\varepsilon \) and \(I_\varPhi \left( \frac{x_{n,\varepsilon }}{\lambda }\right) =\infty \) for any \(\lambda \in (0,1)\). In order to do this, it is enough to divide the set \(\mathbb {N}\) into a countable family \((\mathbb {N}_n)_{n=1}^\infty \) of infinite and pairwise disjoint subsets of \(\mathbb {N}\) and consider the sequence of Orlicz sequence spaces \((\ell ^\varPhi (\mathbb {N}_n,2^{\mathbb {N}_n},\mu \slash 2^{\mathbb {N}_n}))\). Applying the technique presented above for building the element *x*, one can build for any \(n\in \mathbb {N}\) and \(\varepsilon \in (0,1)\) an element \(x_{n,\varepsilon }\) such that \({\text {supp}} x_{n,\varepsilon }\subseteq \mathbb {N}_n\), \(I_\varPhi (x_{n,\varepsilon })\le \varepsilon 2^{-n}\) and \(I_\varPhi (x_{n,\varepsilon }\slash \lambda )=\infty \) for any \(\lambda \in (0,1)\). Consequently, \(\Vert x_{n,\varepsilon }\Vert _\varPhi =1\) for any \(n\in \mathbb {N}\). Moreover, if \(x_\varepsilon :=\sup \nolimits _{n\ge 1} x_{n,\varepsilon }=\sum ^{\infty }_{{n=1}} x_{n,\varepsilon }\), then \(I_\varPhi (x_\varepsilon )=\sum ^{\infty }_{{n=1}}I_\varPhi (x_{n,\varepsilon })\le \sum ^{\infty }_{{n=1}}\varepsilon 2^{-n}=\varepsilon \) and \(I_\varPhi \left( \frac{x_{\varepsilon }}{\lambda }\right) \ge I_\varPhi \left( \frac{x_{n,\varepsilon }}{\lambda }\right) =\infty \) for any \(\lambda >1\) and any \(n\in \mathbb {N}\), whence \(\Vert x_{\varepsilon }\Vert _\varPhi =1\).

(ii) Since the proof can be proceeded analogously as in the case when \(a(\varPhi )=0\) and \(\varPhi \notin \varDelta _2(0)\) (cf. also [8] in the case of normed Orlicz spaces), it is omitted. \(\square \)

### Theorem 3

- (i)
If \(\mu (\varOmega )<\infty \) or \(\mu (\varOmega )=\infty \) and \(a(\varPhi )=0\), then for any \(\varepsilon >0\) satisfying inequality \(\varepsilon <\lim \nolimits _{u\rightarrow \infty } \varPhi (u) \mu (\varOmega )\) whenever \(\mu (\varOmega )<\infty \) and for arbitrary \(\varepsilon >0\) if \(\mu (\varOmega )=\infty \), there is an order-isomorphism \(P_\varepsilon {:}\,\ell ^\infty \rightarrow L^\varPhi (\mu )\) such that \(\Vert P_\varepsilon c\Vert _\varPhi \ge \Vert c\Vert _\infty \) for any \(c\in \ell ^\infty \) and \(\Vert P_\varepsilon c\Vert _\varPhi \le \Vert c\Vert _\infty \) for any \(c\in \ell ^\infty \) with \(\Vert c\Vert _\infty \ge \varepsilon \) (i.e., \(\Vert P_\varepsilon x-P_\varepsilon y\Vert _\varPhi =\Vert P_\varepsilon (x-y)\Vert _\varPhi =\Vert x-y\Vert _\infty \) for all \(x,y\in \ell ^\infty \) with \(\Vert x-y\Vert _\infty \ge \varepsilon )\) if and only if \(\varPhi \) does not satisfy the suitable \(\varDelta _2\)-condition.

- (ii)
If \(\mu (\varOmega )=\infty \) and \(a(\varPhi )>0\), then there is an order isometry \(P{:}\,\ell ^\infty \rightarrow L^\varPhi (\mu )\).

### Proof

Statement (i). Necessity. If \(\varPhi \) satisfies the suitable \(\varDelta _2\)-condition then the Orlicz space \((L^\varPhi (\mu ),\Vert \cdot \Vert _\varPhi )\) is order continuous (i.e., the space \(L^\varPhi (\mu )\) has the Lebesgue property), so \(L^\varPhi (\mu )\) does not contain an order-isomorphic copy of \(\ell ^\infty \) (see [3, Theorem 10.8]).

Sufficiency. Following the idea from the proof of Theorem 2, it is enough to prove the existence, for any \(\varepsilon >0\), of a sequence \((x_n)_{n=1}^\infty \) of non-negative functions with pairwise disjoint supports and with \(\Vert x_k\Vert _\varPhi =\left\| \sum ^{\infty }_{{n=1}}x_n \right\| _\varPhi =1\) for any \(k\in \mathbb {N}\) and \(I_\varPhi \left( \sum ^{\infty }_{{n=1}}x_n \right) \le \varepsilon \).

Assume that \(\varPhi \notin \varDelta _2(\infty )\). We can restrict our proof to the case of finite measure because if \(\mu (\varOmega )=\infty \), then we can work on a subset \(A\subseteq \varOmega \) with \(0<\mu (A)<\infty \) instead of \(\varOmega \).

**Case I**Assume additionally that \(b(\varPhi )=\infty \). By \(\varPhi \notin \varDelta _2(\infty )\), given any \(\varepsilon \in (0,1)\) there exists a sequence \((u_n)_{n=1}^\infty \) of positive numbers such that \(u_n\le u_{n+1}\) for any \(n\in \mathbb {N}\), \(\varPhi (u_n)\rightarrow \infty \) as \(n\rightarrow \infty \), \(\varPhi (u_1)\mu (\varOmega )\ge \varepsilon \) and

*x*into a sum \( \sum ^{\infty }_{{n=1}}x_n\) of the elements of a sequence \((x_n)_{n=1}^\infty \), where \(x_n\) are non-negative functions with pairwise disjoint supports and with \(\Vert x_n\Vert _\varPhi =1\) for any \(n\in \mathbb {N}\). We will made this division by the following induction

*x*into \(x_n\)\((n\in \mathbb {N})\), we can prove that \(I_\varPhi \left( \frac{x_n}{\lambda }\right) =\infty \) for any \(\lambda \in (0,1)\), whence \(\Vert x_n\Vert _\varPhi =1\) for any \(n\in \mathbb {N}\). We can prove in the same way as for the sequence spaces \(\ell ^\varPhi \) in Theorem 2 that the operator \(P_\varepsilon \) defined by the formula

**Case II**Assume now that \(b(\varPhi )<\infty \). Let us take any \(\varepsilon \in (0,1)\) and any sequence \((u_n)_{n=1}^\infty \) such that \(0<u_n<b(\varPhi )\) for any \(n\in \mathbb {N}\) and \(u_n\rightarrow b(\varPhi )\) as \(n\rightarrow \infty \). Let \((A_n)_{n=1}^\infty \) be any sequence in \(\varSigma \) such that \(\mu (A_n)>0\) and \(\varPhi (u_n)\mu (A_n)\le \frac{\varepsilon }{2^{n}}\). Defining \(x= \sum ^{\infty }_{{n=1}{}} u_n\chi _{A_n}\), we have \(I_\varPhi (x)\le \varepsilon \) and \(I_\varPhi \left( \frac{x}{\lambda }\right) =\infty \) for any \(\lambda \in (0,1)\). Dividing the set \(\mathbb {N}\) into an infinite family \(\left( {\mathbb {N}}_k\right) _{k=1}^\infty \) of pairwise disjoint and infinite subsets of \(\mathbb {N}\) and defining \(x_k= \sum _{n\in \mathbb {N}_k}{}u_n \chi _{A_n}\), we get \(I_\varPhi (x_k)\le I_\varPhi (x)\le \varepsilon \). Since given any \(\lambda \in (0,1)\), by \(u_n<b(\varPhi )\) and \(u_n\rightarrow b(\varPhi )\), we obtain that \(\frac{u_n}{\lambda }>b(\varPhi )\) for

*n*large enough, so \(I_\varPhi \left( \frac{x_k}{\lambda }\right) =\infty \) for any \(\lambda \in (0,1)\), whence \(\Vert x_k\Vert _\varPhi =\Vert x\Vert _\varPhi =1\) for any \(k\in \mathbb {N}\). We can easily show that the operator \(P_\varepsilon {:}\,\ell ^\infty \rightarrow L^\varPhi (\mu )\) defined as

Assume now that \(\mu (\varOmega )=\infty \), \(a(\varPhi )=0\) and \(\varPhi \notin \varDelta _2(0)\). Since \(\mu \) is non-atomic, there exists a sequence \((A_n)_{n=1}^\infty \) in \(\varSigma \) such that \(A_m\cap A_n=\emptyset \) for any \(m,n\in \mathbb {N}\), \(m\ne n\) and \(\mu (A_n)=1\) for any \(n\in \mathbb {N}\). Now, we can repeat the proof of Theorem 2 to build for any \(\varepsilon >0\) the desired operator \(P_\varepsilon {:}\,\ell ^\infty \rightarrow L^\varPhi (\mu )\).

*P*is positive, so continuous as well. The inequality \(\Vert Pc\Vert _\varPhi \le \Vert c\Vert _\infty \) follows from that for any \(c\in \ell ^\infty \) and any \(\varepsilon >0\), we have

### Remark 1

Note that if *E* is a Köthe space *E* and \(E^s\) is its *s*-concavification with \(0<s<1\), then \((E^s,\Vert \cdot \Vert _{E^s})\) contains an order-isometric copy of \((\ell ^\infty )^s\) if and only if *E* contains an order-isometric copy of \(\ell ^\infty \).

The easy proof is omitted.

### Remark 2

Let \(\varPhi \) be a non-decreasing Orlicz function and the Orlicz space \(L^\varPhi (\mu )\) over a non-atomic \(\sigma \)-finite measure space or over the counting measure space \((\mathbb {N}, 2^\mathbb {N},\mu )\) be equipped with the Mazur–Orlicz *F*-norm and let \(\varPhi (b(\varPhi ))=\infty \) (note that in the case of a non-atomic and \(\sigma \)-finite measure this condition is automatically implied by \(\varPhi \in \varDelta _2\)). If \(\varPhi \) satisfies the suitable \(\varDelta _2\)-condition, then for any \(x\in L^\varPhi (\mu )\) and any \(\varepsilon >0\), we have that \(\Vert x\Vert _\varPhi <\varepsilon \) if and only if \(I_\varPhi \left( \frac{x}{\varepsilon }\right) <\varepsilon \).

### Proof

Under the assumptions on \(\varPhi \) we know that \(I_\varPhi \left( \frac{x}{\Vert x\Vert _\varPhi }\right) =\Vert x\Vert _\varPhi \) for any \(x\in L^\varPhi (\mu ){\backslash } \{0\}\) (see [9, Corollary 2.17 and Lemma 2.18]). Assume that \(x\in L^\varPhi (\mu ){\backslash } \{0\}\) and \(\Vert x\Vert _\varPhi <\varepsilon \). Then \(I_\varPhi \left( \frac{x}{\varepsilon }\right) \le I_\varPhi \left( \frac{x}{\Vert x\Vert _\varPhi }\right) =\Vert x\Vert _\varPhi <\varepsilon \). For \(x=0\) the equivalence is obvious.

Assume now that \(I_\varPhi \left( \frac{x}{\varepsilon }\right) <\varepsilon \) and \(\Vert x\Vert _\varPhi =\varepsilon \). Then, we obtain that \(x\ne 0\) and \(\varepsilon >I_\varPhi \left( \frac{x}{\varepsilon }\right) =I_\varPhi \left( \frac{x}{\Vert x\Vert _\varPhi }\right) =\Vert x\Vert _\varPhi =\varepsilon \), a contradiction, which proves that if \(I_\varPhi \left( \frac{x}{\varepsilon }\right) <\varepsilon \), then \(\Vert x\Vert _\varPhi <\varepsilon \). \(\square \)

### Remark 3

In Remark 2 the assumptions that \(\varPhi \) satisfies the suitable \(\varDelta _2\)-condition and that \(\varPhi (b(\varPhi ))=\infty \) are necessary for the equivalence of the conditions \(I_\varPhi \left( \frac{x}{\varepsilon }\right) <\varepsilon \) and \(\Vert x\Vert _\varPhi <\varepsilon \) for any \(\varepsilon >0\) and any \(x\in L^\varPhi (\mu ){\backslash } \{0\}\) (equivalently, for any \(x\in L^\varPhi (\mu ))\).

### Proof

### Remark 4

- (i)if \(\varPhi \) is a non-decreasing Orlicz function, then all the setscorresponding to all \(\varepsilon >0\), are open in the metric \(\Vert \cdot \Vert _\varPhi \)-topology, where \(\Vert \cdot \Vert _\varPhi \) is the Mazur–Orlicz$$\begin{aligned} B_{\varPhi ,\varepsilon }:=\left\{ x\in L^\varPhi (\mu ){:}\,I_\varPhi \left( \frac{x}{\varepsilon }\right) <\varepsilon \right\} , \end{aligned}$$
*F*-norm, if and only if \(\varPhi \) satisfies the suitable \(\varDelta _2\)-condition and \(\varPhi (b(\varPhi ))=\infty \). - (ii)
if \(\varPhi \) is an s-convex Orlicz function and the Orlicz space \(L^\varPhi (\mu )\) is considered with the s-homogeneous norm \(\Vert \cdot \Vert _{\varPhi ,s}\)\((0<s\le 1)\), then the modular unit ball \(B_\varPhi :=\{x\in L^\varPhi (\mu ){:}\,I_\varPhi (x)<1\}\) is open in the metric \(\Vert \cdot \Vert _{\varPhi ,s}\)-topology if and only if \(\varPhi \) satisfies the suitable \(\varDelta _2\)-condition and \(\varPhi (b(\varPhi ))\ge 1\).

### Proof

We will present a proof only for case (*i*) because the proof for case (*ii*) is similar.

Sufficiency. Under our assumptions about \(\varPhi \), by virtue of Remark 2, we know that \(\Vert x\Vert _\varPhi <\varepsilon \) if and only if \(I_\varPhi \left( \frac{x}{\varepsilon }\right) <\varepsilon \) for any \(x\in L^\varPhi (\mu )\) and any \(\varepsilon >0\). Since the ball \(B_{\Vert \cdot \Vert _\varPhi }(0,\varepsilon )=\{x\in L^\varPhi (\mu ){:}\,\Vert x\Vert _{\varPhi }<\varepsilon \}\) is an open set under the metric topology in \(L^\varPhi (\mu )\) generated by the *F*-norm \(\Vert \cdot \Vert _{\varPhi }\) and under our assumptions we have \(B_{\varPhi ,\varepsilon }=B_{\Vert \cdot \Vert _\varPhi }(0,\varepsilon )\), the desired result follows.

Necessity. Assume that \(\varPhi \) does not satisfy the suitable \(\varDelta _2\)-condition or \(\varPhi (b(\varPhi ))<\infty \). Then, by the proofs of Theorems 2 and 3, there exist \(\varepsilon >0\) and \(x\in L^\varPhi (\mu ){\backslash }\{0\}\) such that \(I_\varPhi (x)<\varepsilon \) and \(I_\varPhi (\lambda x)=\infty \) for any \(\lambda > 1\). Assume that \(B_{\varPhi ,\varepsilon }\) is an open set in the *F*-norm topology. Since \(\varepsilon x\in B_{\varPhi ,\varepsilon }\), there exists \(\delta >0\) such that \(B_{\Vert \cdot \Vert _\varPhi }(x,\delta )\subset B_{\varPhi ,\varepsilon }\). Since \(\Vert \lambda _n \varepsilon x-\varepsilon x\Vert _{\varPhi }\rightarrow 0\) for any sequence \((\lambda _n)_{n=1}^\infty \) in \(\mathbb {R}_+\) such that as \(\lambda _n>1\) for any \(n\in \mathbb {N}\) and \(\lambda _n\rightarrow 1\) as \(n\rightarrow \infty \), there exists \(\sigma >1\) such that \(\sigma \varepsilon x \in B_{\Vert \cdot \Vert _\varPhi }(x,\delta )\), whence \(\sigma \varepsilon x \in B_{\varPhi ,\varepsilon }\). Consequently, \(I_\varPhi (\sigma x)= I_\varPhi \left( \frac{\sigma \varepsilon x}{\varepsilon }\right) <\varepsilon \), which contradicts the fact that \(I_\varPhi (\lambda x)=\infty \) for any \(\lambda > 1\).

*Note* Let us note that from Remarks 2, 3 and 4 as well as from their proofs, it follows that if \(b(\varPhi )=\infty \), then given any \(\varepsilon >0\), the openness of the set \(B_{\varPhi ,\varepsilon }\) in the *F*-norm \(\Vert \cdot \Vert _\varPhi \) topology is equivalent to the fact that \(\varPhi \) satisfies the suitable \(\varDelta _2\)-condition.

### Remark 5

Consider the same Orlicz spaces as in Theorems 2 and 3 and define, for any \(x\in L^\varPhi (\mu )\), the function \(f_{\varPhi ,x}(\lambda ):=I_\varPhi (\lambda x)\) for all \(\lambda \in \mathbb {R}_+\). Then, for all cases with respect to the kinds of the generating Orlicz functions as well as for both kinds of the measure spaces, the function \(f_{\varPhi ,x}(\cdot )\) is continuous on \(\mathbb {R}_+\) if and only if \(b(\varPhi )=\infty \) and \(\varPhi \) satisfies suitable \(\varDelta _2\) condition.

### Proof

We can restrict ourselves to \(x\in L^\varPhi (\mu ){\backslash } \{0\}\) only. The sufficiency follows from Lemma 4.1 in [9].

Necessity. Assuming that either \(b(\varPhi )<\infty \) or \(b(\varPhi )=\infty \) and \(\varPhi \) does not satisfy the suitable condition \(\varDelta _2\), one can find \(x\in L^\varPhi (\mu ){\backslash }\{0\}\) such that \(I_\varPhi (x)<\infty \) and \(I_\varPhi (\lambda x)=\infty \) for any \(\lambda >1\) (see the proofs of Theorems 2 and 3). This means that the function \(f_{\varPhi ,x}(\cdot )\) is not then continuous at the point \(\lambda _0=1\). \(\square \)

## 4 Problems of order copies of \(L_p(\nu )\) in *F*-normed Orlicz spaces

Throughout this section, \((\varOmega ,\varSigma ,\mu )\) and \((\varGamma ,\varTheta ,\nu )\) denote \(\sigma \)-finite and complete measure spaces with \(\mu \), \(\nu \) non-atomic on \(\varSigma \) and \(\varTheta \), respectively, or the counting measure on \(2^\mathbb {N}\). The lattices considered here are *real* (in particular, this assumption deals with the classical space \(L^p(\nu )\), \(0<p\le 1\)).

Our first result is a more detailed version than the known polar decomposition theorem, published in 1983 by Abramovich [1, Propositions A, B, C], and extended subsequently to more general settings by Abramovich et al. [2, Section 3], Grobler and Huijsmans [15], and Boulabiar and Buskes [4]. The result is included implicitly in the proof of [36, Theorem 1] for the case when *X*, *Y* are Banach lattices. For the convenience of the reader, we outline its proof focusing on an argument showing that the involution *S*, decomposing an operator *T*, is an isometry. Here we consider a general case and we work on the Dedekind completion of an *F*-lattice *Y* (instead of the bidual \(Y^{**}\) [36, pp. 5–6], which may be trivial for *Y* non-Banach), but in the proof for Köthe function *F*-lattices, which are just Dedekind complete, such assumption is superfluous.

### Proposition 1

Let *X*, *Y* be two *F*-lattices, and let \(T{:}\,X\rightarrow Y\) be an operator preserving disjointness. Then its modulus \(|T| (= T\vee -T)\) exists in \(\mathcal {L}_r(X,Y)\), it is an order homomorphism \(X\rightarrow Y\), and there is an isometric involution *S* on the closed sublattice of *Y* generated by *T*(*X*) such that \(T=S|T|\) and \(|T|=ST\) (showing that *S* acts on *Y* with \(|S|=\) identity on *Y* when *T* is surjective).

Moreover, if *T* is a surjective isometry then |*T*| is an order surjective isometry, too.

### Proof

*T*has the decomposition \(T=T^+-T^-\), where \(T^+,T^-\) are continuous lattice homomorphisms \(X\rightarrow Y\), and \(|T|=T^++T^-\) is a lattice homomorphism. We have

*Y*are disjoint, the bands \((B_+)^{dd}\) and \((B_-)^{dd}\) in the Dedekind completion \(\widehat{Y}\) of

*Y*are also disjoint. Let

*Q*denote the order projection from \(\widehat{Y}\) onto \((B_+)^{dd}\), and let

*I*be the identity operator on \(\widehat{Y}\). Since the projections

*Q*and \(I-Q\) are evidently disjoint, the operator

*J*on \(\widehat{Y}\) of the form \(J:=2Q-I\) is an involution. Further, from the form of

*Q*, we obtain

*Qy*and \((I-Q)y\) are disjoint, we obtain

*S*denote the restriction of

*J*to the sublattice

*H*of

*Y*generated by

*T*(

*X*). From (11) we obtain that

*S*is an isometric involution on

*H*with \(|S|=\) identity on

*H*, and from the latter formulas, we obtain the required identities \(T=S|T|\) and \(|T|=ST\).

Moreover, by (9), the modulus |*T*| is an isometry whenever *T* is, and the above identities imply that *T* and |*T*| are surjective simultaneously. \(\square \)

### Proposition 2

*F*-lattice, let \((\varGamma , \varTheta , \nu )\) be an arbitrary complete measure space, and let \(p\in (0,1]\) be fixed. We consider \(X:=L^p(\nu )\) endowed with the standard

*p*-homogeneous

*F*-norm \(\Vert ~\Vert _p\). If \(T{:}\,L^p(\nu ) \rightarrow Y\) is an isometry then:

- (i)
*T*preserves disjointness, - (ii)
*Y*contains a lattice-isometric copy \(U_p\) of \(L^p(\nu )\) (more exactly, \(U_p=|T|(L^p(\nu ))\), where the operator \(|T|{:}\,L^p(\nu ) \rightarrow Y\) fulfills the second identity in (9), and |*T*| is a lattice isometry), and - (iii)
The spaces \(V_p:=T(L^p(\nu ))\) and \(U_p\) are isometric via a mapping \(S{:}\,V_p \rightarrow U_p\) of the form \(STx = |T|x\), where

*S*is an isometric involution defined in the proof of Proposition 1.

### Proof

*F*-lattice modification. Let

*x*,

*y*be two disjoint elements of \(L^p(\nu )\), i.e. \(|x\pm y|=|x|+|y|\). Then

*Y*is strictly monotone, we obtain that \(|Tx + Ty| = |Tx - Ty|(= |Tx| + |Ty|)\), which implies that the elements

*Tx*and

*Ty*are disjoint. Thus

*T*preserves disjointness.

Now parts (ii) and (iii) follow easily from Proposition 1 (cf. the Banach lattice case [36, p. 6]). \(\square \)

From Proposition 2 we immediately obtain the following, more general version of Corollary 2 from [36], proved for \(p=1\) in the Banach lattice-case.

### Corollary 1

*Y*be a strictly monotone

*F*-lattice, and let \(p\in (0,1]\) be fixed. Then the following two conditions are equivalent.

- (i)
*Y*contains an isometric copy of \(L^p(\nu )\). - (ii)
*Y*contains a lattice-isometric copy of \(L^p(\nu )\).

Motivated by the above corollary, we shall present our main results. In the first theorem, we study the possibility of the existence of order-isometric copies of \(L^p(\nu )\) in the general case for \(L^\varPhi (\mu )\), and next, we apply Corollary 1 to the order continuous part \(E^\varPhi (\mu )\) of \(L^\varPhi (\mu )\).

### Theorem 4

Let \(\varPhi \) be a non-decreasing Orlicz function and \(p\in (0,1]\). Then \(L^\varPhi (\mu )\), endowed with the Mazur–Orlicz *F*-norm, does not contain an order-isometric copy of \(\ell ^p_{(2)}\). Consequently, \(L^\varPhi (\mu )\) does not contain an order-isometric copy of \(L^p(\nu )\) for every measure space \((\varGamma ,\varTheta ,\nu )\), either.

### Proof

Fix \(p\in (0,1]\), and let \(e_1,e_2\) denote the standard unit vectors in \(\ell ^p_{(2)}\). Let us note that every lattice isometry \(T{:}\,\ell ^p_{(2)}\rightarrow L^\varPhi (\mu )\) is of the form \(T(e_i)=x_i\), \(i=1,2\), where the elements \(x_1,x_2\) are disjoint and of *F*-norm 1, with \(\Vert ax_1+bx_2\Vert _\varPhi =|a|^p+|b|^p\) for all real numbers *a*, *b*. We will show that there are no such \(x_1,x_2\) in \(L^\varPhi (\mu )\).

Let *x*, *y* be two arbitrary disjoint and positive elements in \(L^\varPhi (\mu )\) with \(\Vert x\Vert _\varPhi =\Vert y\Vert _\varPhi =1\). We will consider two cases separately.

*Case*\(p=1\). For two real numbers \(a,b>2\), choose \(\varepsilon \in (0,1)\) such that, for \(\lambda :=(1-\varepsilon )(a+b)\), we have

*F*-norm, we obtain

*Case*\(0<p<1\). Now, let \(a,b\in \mathbb {R}\) with \(2<a<b<2^{1+p}\). Notice first that \(\frac{b}{a^p+b^p}<\frac{2^{1+p}}{2a^p}<1\). Hence, we can choose \(\varepsilon \in (0,1)\) such that for \(\lambda :=(1-\varepsilon )(a^p+b^p)\), we have

Thus, we have obtained that, in both cases, inequality (14) holds for the suitable \(a,b>2\) and \(\varepsilon \in (0,1)\). Consequently, the lattice isomorphism \(\ell ^p_{(2)}\ni (a,b)\mapsto ax+by\in E_\varPhi (\mu )\), with *x*, *y* pairwise disjoint and of *F*-norm 1, is not an isometry. This proves the first part of the theorem, and the second part is now obvious. \(\square \)

The corollary below is an immediate consequence of Theorem 4, Corollary 1 and the fact that \(E^\varPhi (\mu )\) is strictly monotone for \(\varPhi \) strictly increasing [19, Corollary 6.7].

### Corollary 2

Let an Orlicz function \(\varPhi \) be strictly increasing, and suppose that the (strictly monotone) order continuous part \(E^\varPhi (\mu )\) of \(L^\varPhi (\mu )\) is nontrivial. Then \(E^\varPhi (\mu )\) does not contain an isometric copy of \(L^p(\nu )\) for every \(p\in (0,1]\).

### Remark 6

There exist Orlicz function spaces \(L^\varPhi (\mu )\) containing latices-isomorphic copies of \(L^p\) for a fixed \(0< p\le 1\) (see Theorems A and A\('\) in [16]).

### 4.1 Remarks on isometries preserving disjointness

*T*acting between two strictly monotone

*F*-lattices by showing that if the domain of

*T*is equal to \(L^p(\nu )\) for some \(p\in (0,1]\), then

*T*preserves disjointness. Let us consider the following problem:

- (P)
*Let**X**and**Y**be two**F*-*lattices with**X**strictly monotone, and suppose that**X**and**Y**are linearly isometric. Does it follow that**Y**is strictly monotone, too? In other words, does every surjective isometry preserve strict monotonicity?*

*X*is a real rearrangement invariant (r.i.) Banach function space on [0, 1] [a r.i. sequence space, resp.],

^{1}not isometrically equal to \(L^2[0,1]\), then every surjective isometry \(T{:}\,X\rightarrow X\) preserves disjointness (see [5, 23, Theorem 1], [31, 33] and the references therein; cf. [13]). In either of these cases, applying our Proposition 1, problem (P) has a positive answer.

*if*

*X*

*and*

*Y*

*are real Banach spaces with 1-unconditional bases*\((e_i)_{i=1}^d\)

*and*\((f_i)_{i=1}^d\),

*respectively*, \(2\le d\le \infty \),

*and either*

*X*

*or*

*Y*

*is r.i.*(in this case all autoisometries of the underlined space preserve disjointness),

*then an isometry*\(T{:}\,X\rightarrow Y\)

*need not be disjointness-preserving: there is a subset*

*A*

*of*\(\mathbf{N}\)

*such that the restricted operator*\(T_{|[e_i]_i\in A}\)

*preserves disjointness and*\(T_{|[e_i]_i\in A^c}\)

*does not*(here

*A*may be empty or \(A=\mathbf{N}\), and \(A^c:=\mathbf{N}{\setminus } A\)).

*More exactly, for a pair*\(i,j\in A^c\), \(i\not =j\),

*there are*\(\varepsilon _i, \delta _i = \pm 1\)

*and distinct*\(k,l\in \mathbf{N}\)

*such that*

*X*,

*Y*and an isometry \(T_0{:}\,X\rightarrow Y\) illustrates well the above-mentioned result of B. Randrianantoanina, and extends easily to the infinite-dimensional case (the isometry \(T_0\) was defined in 1976 by Lacey and Wojtaszczyk [25], cf. [14, Example 9.5.9]).

### Example 1

Let us consider two real spaces \(U=\ell ^1_{(2)}\) and \(V=\ell ^\infty _{(2)}\) endowed with their natural *p*-norms with \(p=1\) and \(p=\infty \), respectively, and let \(e_i\) and \(f_i\), \(i=1,2\) denote the natural unit vectors in the respective spaces. Notice that both spaces are also Banach lattices, *U* is strictly monotone while *V* is not. Let \(T_0\) denote the operator acting from *U* onto *V* of the form \(T_0(a,b)= (a+b,a-b)\). Since \(\max \{|a+b|,|a-b|\}=|a|+|b|\), \(T_0\) is an isometry. Moreover, \(T_0(e_1) = f_1 + f_2\) and \(T_0(e_2) = f_1-f_2\), and thus equations (16) hold with \(\varepsilon _1=\delta _1=1\).

*X*and

*Y*denote the \(\ell ^1\)-sums of

*U*and

*V*, respectively: \(X=(\oplus _{s=1}^\infty U_s)_1\), \(Y=(\oplus _{s=1}^\infty V_s)_1\), where \(U_s=U\) and \(V_s=V\) for all indices

*s*. Then the natural norms on

*X*and

*Y*are monotone, whence

*X*and

*Y*are Banach lattices,

*X*is strictly monotone and order-isometric to \(\ell ^1\). It is now plain that the operator \(T{:}\,X\rightarrow Y\) of the form

*X*and

*Y*.

Thus, we have constructed in *Y*, a highly non-strictly monotone, an isometric copy *Y* of (the strictly monotone) \(\ell ^1\).

The above construction can be modified slightly to obtain a similar example within the class of non-Banach *F*-lattices as follows. For \(p\in (0,1)\), let \(X_p\) and \(Y_p\) denote the \(\ell ^p\) sums of *U* and *V*, respectively: \(X_p=(\oplus _{s=1}^\infty U_s)_p\), \(Y_p=(\oplus _{s=1}^\infty V_s)_p\), endowed with their natural *F*-norms \(\Vert (w_s)\Vert _p=\sum _{s=1}^\infty \Vert w_s\Vert ^p\), \(w_s\in U_s\) for all \(s\in \mathbb {N}\), or \(w_s\in V_s\) for all \(s\in \mathbb {N}\). Then \(X_p\) and \(Y_p\) are isometric, \(X_p\) is strictly monotone and \(Y_p\) is not.

### Remark 7

The above example shows us that if the targeted space *Y**is not* strictly monotone (and *X* is), then a surjective isometry \(T{:}\,X\rightarrow Y\) may not be disjointness preserving. However, if *X* is an \({ AL}^p\)-space (i.e., an order isometric copy of some \(L^p(\nu )\)), \(0<p\le 1\), and *Y* is strictly monotone then, by Proposition 2, *T* preserves disjointness (whence, by Proposition 1, the modulus \(|T|{:}\,X\rightarrow Y\) is a surjective isometry).

### Remark 8

There is a class of Banach lattices where problem (P) has a positive answer. It is known that if a Banach lattice *X* is uniformly rotund (\(=\) uniformly convex), then it is strictly monotone; hence, since isometries preserve uniform rotundity, they preserve (in this case) additionally strict monotonicity (see [18] for details).

## Footnotes

## Notes

### Acknowledgements

The authors are deeply grateful to the Referee for valuable remarks and suggestions concerning the redaction of the paper.

## References

- 1.Abramovich, Y.A.: Multiplicative representation of disjointness preserving operators. Proc. Neth. Acad. Wetensch. Ser. A (Indag. Math.)
**86**, 265–279 (1983)MathSciNetzbMATHGoogle Scholar - 2.Abramovich, Y.A., Arensen, E.L., Kitover, A.K.: Banach \(C(K)\)-Modules and Operators Preserving Disjointness. Pitman Research Notes in Mathematics Series, vol. 277. Longman Scientific & Technical, Harlow (1992)zbMATHGoogle Scholar
- 3.Aliprantis, C., Burkinshaw, O.: Locally Solid Riesz Spaces. Academic Press, New York (1978)zbMATHGoogle Scholar
- 4.Boulabiar, K., Buskes, G.: Polar decomposition of order bounded disjointness preserving operators. Proc. Am. Math. Soc.
**123**, 799–806 (2003)MathSciNetzbMATHGoogle Scholar - 5.Braverman, M.S., Semenov, M.: Isometries of symmetric spaces (Russian). Dokl. Akad. Nauk. SSSR
**217**, 257–259 (1974)MathSciNetGoogle Scholar - 6.Cerdá, J., Hudzik, H., Kamińska, A., Mastyło, M.: Geometric properties of symmetric spaces with applications to Orlicz–Lorentz spaces. Positivity
**2**, 311–337 (1998)MathSciNetCrossRefzbMATHGoogle Scholar - 7.Chen, S.T.: Geometry of Orlicz spaces. Diss. Math.
**356**, 1–204 (1996)MathSciNetGoogle Scholar - 8.Chen, S., Cui, Y., Hudzik, H.: Isometric copies of \(\ell ^1\) and \(\ell ^\infty \) in Orlicz spaces equipped with the Orlicz norm. Proc. Am. Math. Soc.
**132**(2), 473–480 (2004)MathSciNetCrossRefzbMATHGoogle Scholar - 9.Cui, Y., Hudzik, H., Kaczmarek, R., Kolwicz, P.: Geometric properties of F-normed Orlicz spaces. Aequ. Math. (2018). https://doi.org/10.1007/s00010-018-0615-y Google Scholar
- 10.Dowling, P.N.: Isometric copies of \(c_0\) and \(\ell ^\infty \) in duals of Banach spaces. J. Math. Anal. Appl.
**244**(1), 223–227 (2000)MathSciNetCrossRefzbMATHGoogle Scholar - 11.Dowling, P.N.: On \(\ell ^\infty \) subspaces of Banach spaces. Collect. Math.
**51**(3), 255–260 (2000)MathSciNetzbMATHGoogle Scholar - 12.Duhoux, M., Meyer, M.: A new proof of the lattice structure of orthomorphisms. J. Lond. Math. Soc.
**25**, 375–378 (1982)MathSciNetCrossRefzbMATHGoogle Scholar - 13.Fleming, R.J., Jamison, J.E.: Isometries on Banach Spaces: Function Spaces, Chapman & Hall/CRC Monographs and Surveys in Pure and Applied Mathematics, vol. 129. Boca Raton (2003)Google Scholar
- 14.Fleming, R.J., Jamison, J.E.: Isometries on Banach Spaces: Vector-Valued Function Spaces, vol. 2, Chapman & Hall/CRC Monographs and Surveys in Pure and Applied Mathematics, 138, Boca Raton (2008)Google Scholar
- 15.Grobler, J.J., Huijsmans, C.B.: Disjointness preserving operators on complex Riesz spaces. Positivity
**1**, 155–164 (1997)MathSciNetCrossRefzbMATHGoogle Scholar - 16.Hernández, F.L., Rodríguez-Salinas, B.: Lattice-embedding \(L^p\) into Orlicz spaces. Isr. J. Math.
**90**(1–3), 167–188 (1995)CrossRefzbMATHGoogle Scholar - 17.Hudzik, H.: Banach lattices with order isometric copies of \(\ell ^\infty \). Indag. Math. (N.S.)
**9**(4), 521–527 (1998)MathSciNetCrossRefzbMATHGoogle Scholar - 18.Hudzik, H., Kamińska, A., Mastyło, M.: Geometric properties of some Calderón–Lozanovskiĭ spaces and Orlicz–Lorentz spaces. Houst. J. Math.
**22**(3), 639–663 (1996)zbMATHGoogle Scholar - 19.Hudzik, H., Kaczmarek, R., Wójtowicz, M.: Some monotonicity properties in certain s-normed \((0 < s< 1)\) and F-normed lattices, J. Nonlinear Convex Anal.
**17**(10), 1985–2011 (2016) and corrigendum to the paper in: J. Nonlinear Convex Anal.**18**(12), 2275–2275 (2017)Google Scholar - 20.Hudzik, H., Mastyło, M.: Almost isometric copies of \(\ell ^\infty \) in some Banach spaces. Proc. Am. Math. Soc.
**119**(1), 209–215 (1993)MathSciNetzbMATHGoogle Scholar - 21.Kamińska, A., Kubiak, D.: On isometric copies of \(\ell ^\infty \) and James constants in Cesàro–Orlicz sequence spaces. J. Math. Anal. Appl.
**372**(2), 574–584 (2010)MathSciNetCrossRefzbMATHGoogle Scholar - 22.Kamińska, A., Lee H.J.: M-ideal properties in Marcinkiewicz spaces. Ann. Soc. Math. Pol. Ser. I Comment. Math. 2004, Tomus specialis in Honorem Juliani Musielak, 123–144Google Scholar
- 23.Kalton, N.J., Randrianantoanina, B.: Surjective isometries on rearrangement-invariant spaces. Q. J. Math. Oxf.
**2**(45), 301–327 (1994)MathSciNetCrossRefzbMATHGoogle Scholar - 24.Krasnoselskiĭ, M.A., Rutickiĭ, Y.B.: Convex Functions and Orlicz Spaces. Groningen, Nordhoff (1961)
**(English translation)**; Original Russian edition: Gos, Izd. Fiz. Mat. Lit, Moskva (1958)Google Scholar - 25.Lacey, H., Wojtaszczyk, P.: Banach lattice structures on separable \(L_p\)-spaces. Proc. Am. Math. Soc.
**54**, 83–89 (1976)zbMATHGoogle Scholar - 26.Lindenstrauss, J., Tzafriri, L.: Classical Banach Spaces II. Function Spaces. Springer, Berlin (1979)CrossRefzbMATHGoogle Scholar
- 27.Luxemburg, W.A.J.: Banach Function Spaces, Ph.D. Dissertation, Delft (1955)Google Scholar
- 28.Maligranda, L.: Orlicz Spaces and Interpolation. Seminars in Mathematics, vol. 5. Universidade Estadual de Campinas, Campinas (1989)zbMATHGoogle Scholar
- 29.Mazur, S., Orlicz, W.: On some classes of linear spaces. Stud. Math.
**17**, 97–119 (1958); reprinted in: Orlicz, W.,*Collected Papers*, PWN, Warszawa, pp. 981–1003 (1988)Google Scholar - 30.Musielak, J.: Orlicz Spaces and Modular Spaces. Lecture Notes in Mathematics, vol. 1034. Springer, Berlin (1983)Google Scholar
- 31.Randrianantoanina, B.: Isometric classification of norms in rearrangement-invariant function spaces. Comment. Math. Univ. Carol.
**38**, 73–90 (1997)MathSciNetzbMATHGoogle Scholar - 32.Randrianantoanina, B.: Contractive projections and isometries in sequence spaces. Rocky Mt. J. Math.
**28**(1), 323–340 (1998)MathSciNetCrossRefzbMATHGoogle Scholar - 33.Randrianantoanina, B.: Injective isometries in Orlicz spaces. Contemp. Math.
**232**, 269–287 (1999)MathSciNetCrossRefzbMATHGoogle Scholar - 34.Rao, M.M., Ren, Z.D.: Theory of Orlicz Spaces. Monographs and Textbooks in Pure and Applied Mathematics, vol. 146. Marcel Dekker, Inc., New York (1991)zbMATHGoogle Scholar
- 35.Turett, B.: Rotundity of Orlicz spaces. Nederl. Akad. Wetensch. Proc. Ser. A Indag. Math.
**38**(5), 462–469 (1976)MathSciNetCrossRefzbMATHGoogle Scholar - 36.Wójtowicz, M.: Contractive projections onto isometric copies of \(L_1(\mu )\) in strictly monotone Banach lattices. Bull. Acad. Pol. Math.
**51**, 1–12 (2003)zbMATHGoogle Scholar - 37.Wnuk, W.: On the order-topological properties of the quotient space \(L/L_A\). Stud. Math.
**79**, 139–149 (1984)CrossRefzbMATHGoogle Scholar - 38.Wnuk, W.: Representations of Orlicz lattices. Diss. Math. (Rozprawy Mat.)
**235**, 1–62 (1984)MathSciNetzbMATHGoogle Scholar

## Copyright information

**OpenAccess**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.