Abstract
This article is dedicated to geometric structure of the Lorentz and Marcinkiewicz spaces in case of the pure atomic measure. We study complete criteria for order continuity, the Fatou property, strict monotonicity, and strict convexity in the sequence Lorentz spaces \(\gamma _{p,w}.\) Next, we present a full characterization of extreme points of the unit ball in the sequence Lorentz space \(\gamma _{1,w}.\) We also establish a complete description up to isometry of the dual and predual spaces of the sequence Lorentz spaces \(\gamma _{1,w}\) written in terms of the Marcinkiewicz spaces. Finally, we show a fundamental application of geometric structure of \(\gamma _{1,w}\) to one-complemented subspaces of \(\gamma _{1,w}.\)
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Geometric structures with application of the Lorentz spaces \(\Gamma _{p,w}\) and Marcinkiewicz spaces \(M_\phi \) in case of the nonatomic measure have been investigated extensively by many authors [3, 5, 6, 12, 13]. In contrast to the nonatomic case, there are only few papers concerning geometric structure of sequence Lorentz and Marcinkiewicz spaces. The first crucial paper devoted to the Marcinkiewicz spaces appeared in 2004 [9], where authors have studied the biduals and order continuous ideals of the Marcinkiewicz spaces for the pure atomic measure. The next significant paper was published in 2009 [10], in which there has been investigated, among others, strict monotonicity, smooth points, and extreme points with application to one-complemented subspaces. For other results concerning the issue devoted to one-complemented subspaces please see, e.g., [7, 8, 11].
The purpose of this article is to explore geometric properties of the sequence Lorentz spaces \(\gamma _{p,w}\) and its dual and predual spaces. It is worth mentioning that we present an application of geometric properties to a characterization of one-complemented subspaces in the Lorentz spaces \(\gamma _{p,w}\) in case of the pure atomic measure. It is necessary to mention that a characterization of geometric structure of the sequence Lorentz and Marcinkiewicz spaces does not follow immediately as a consequence of well-known results from the case of nonatomic measure in general.
The paper is organized as follows. In Sect. 2, we present the needed terminology. In Sect. 3, we show an auxiliary result devoted to a relationship between the global convergence in measure of a sequence \((x_n)\subset \ell ^0\) and the pointwise convergence of its sequence of decreasing rearrangements \((x_n^*).\) In case of the pure atomic measure, we also establish a correspondence between an identity of signs of the values for two different sequences in \(\ell ^0\) and an additivity of the decreasing rearrangement operation for these sequences. Section 4 is devoted to an investigation of geometric structure of sequence Lorentz spaces \(\gamma _{p,w}.\) Namely, we focus on complete criteria for order continuity and the Fatou property in Lorentz spaces for the pure atomic measure. Next, we present a characterization of strict monotonicity and strict convexity of \(\gamma _{p,w}\) written in terms of the weight sequence w. In spirit of the previous result, we describe an equivalent condition for extreme points of the unit ball in the sequence Lorentz space \(\gamma _{1,w}.\) In Sect. 5, we solve the essential problem showing a full description of the dual and predual spaces of the sequence Lorentz space \(\gamma _{1,w}.\) First, we answer a crucial question under which condition does an isometric isomorphism exist between the dual space of the sequence Lorentz space \(\gamma _{1,w}\) and the sequence Marcinkiewicz space \(m_\phi .\) Next, we discuss complete criteria which guarantee that the predual space of the sequence Lorentz space \(\gamma _{1,w}\) coincides with the sequence Marcinkiewicz space \(m_\phi ^0.\) Additionally, we investigate necessary condition for the isometry between the predual of \(\gamma _{1,w}\) and the Marcinkiewicz space \(m_\phi ^0.\) In Sect. 5, we present an application of geometric properties of the sequence Lorentz space \(\gamma _{1,w}\) to a characterization of one-complemented subspaces. Namely, using an isometry between the classical Lorentz space \(d_{1,w}\) and the Lorentz space \(\gamma _{1,w},\) we prove that there exists norm one projection on any nontrivial existence subspace of \(\gamma _{1,w}.\) Additionally, by the previous investigation and in view of [10], we establish a full characterization of smooth points in the sequence Lorentz space \(\gamma _{1,w}\) and its predual and dual spaces. Finally, we study an equivalent condition for extreme points in the dual space of the sequence Lorentz space \(\gamma _{1,w}.\)
2 Preliminaries
Let \(\mathbb {R},\)\(\mathbb {R}^+\), and \(\mathbb {N}\) be the sets of reals, nonnegative reals, and positive integers, respectively. A mapping \(\phi :\mathbb {N}\rightarrow \mathbb {R}^+\) is said to be quasiconcave if \(\phi (t)\) is increasing and \(\phi (t)/t\) is decreasing on \(\mathbb {N}\) and also \(\phi (n)>0\) for all \(n\in \mathbb {N}.\) Denote by \(\ell ^{0}\) the set of all real sequences, and by \(S_X\) (resp. \(B_X)\) the unit sphere (resp. the closed unit ball) in a Banach space \((X,\,\left\| \cdot \right\| _{X}^{}).\) Let us denote by \((e_i)_{i=1}^\infty \) a standard basis in \(\mathbb {R}^\infty .\) A quasi-Banach lattice \(E\subset \ell ^0\) equipped with a quasi-norm \(\Vert \cdot \Vert _{E}\) is called a quasi-Banach sequence space (or a quasi-Köthe sequence space) if the following conditions hold
-
(1)
If \(x\in \ell ^0,\)\(y\in E\), and \(|x|\le |y|,\) then \(x\in E\) and \(\Vert x\Vert _E\le \Vert y\Vert _E.\)
-
(2)
There exists a strictly positive \(x\in E.\)
For simplicity let us use the short symbol \(E^{+}={\{x \in E:x \ge 0\}}.\) An element \(x\in E\) is called a point of order continuity, shortly \(x\in {E_a},\) if for any sequence \((x_{n})\subset {}E^+\) such that \(x_{n}\le \vert x\vert \) and \(x_{n}\rightarrow 0\) pointwise we have \(\Vert x_{n}\Vert _{E}\rightarrow 0.\) A quasi-Banach sequence space E is said to be order continuous, shortly \(E\in ( \mathrm{OC}),\) if any element \(x\in {}E\) is a point of order continuity. Given a quasi-Banach sequence space E is said to have the Fatou property if for all \(( x_{n})\subset {}E^+,\)\(\sup _{n\in \mathbb {N}}\Vert x_{n}\Vert _{E}<\infty \) and \(x_{n}\uparrow x\in \ell ^{0},\) then \(x\in E\) and \(\Vert x_{n}\Vert _{E}\uparrow \Vert x\Vert _{E}\) (see [2, 16]). We say that E is strictly monotone if for any \(x,\,y\in {E^+}\) such that \(x\le {y}\) and \(x\ne {y}\) we have \(\left\| x\right\| _{E}^{}<\left\| y\right\| _{E}^{}.\)
Let \((X,\,\left\| \cdot \right\| _{X}^{})\) be a Banach space. Recall that \(x\in {S_X}\) is an extreme point of \(B_X\) if for any \(y,\,z\in {S_X}\) such that \(x=(y+z)/2\) we have \(x=y=z.\) A Banach space X is called rotund or strictly convex if any \(x\in {}S_X\) is an extreme point of \(B_X.\) An element \(x\in {X}\) is called a smooth point of X if there exists a unique linear bounded functional \(f\in {S_{X^*}}\) such that \(f(x)=\left\| x\right\| _{X}^{}.\)
The distribution for any sequence \(x\in \ell ^{0}\) is defined by
For any sequence \(x\in \ell ^{0}\) its decreasing rearrangement is given by
In this article we use the notation \(x^{*}(\infty )=\lim _{n\rightarrow \infty }x^{*}(n).\) For any sequence \(x\in \ell ^{0}\) we denote the maximal sequence of \(x^{*}\) by
It is easy to notice that for any point \(x\in \ell ^{0},\)\(x^{*}\le x^{**},\)\(x^{**}\) is decreasing and subadditive. For more details of \(d_{x},\)\(x^{*}\), and \(x^{**}\) see [2, 14].
We say that two sequences \(x,\,y\in {\ell ^0}\) are equimeasurable, shortly \(x\sim y,\) if \(d_x=d_y.\) A quasi-Banach sequence space \((E,\,\left\| \cdot \right\| _{E}^{})\) is called symmetric or rearrangement invariant (r.i. for short) if whenever \(x\in \ell ^{0}\) and \(y\in E\) such that \(x \sim y,\) then \(x\in E\) and \(\Vert x\Vert _{E}=\Vert y\Vert _{E}.\) The fundamental sequence\(\phi _E\) of a symmetric space E we define as follows \(\phi _{E}(n)=\Vert \chi _{\{i\in \mathbb {N}:i\le n\}}\Vert _{E}\) for any \(n\in \mathbb {N}\) (see [2]). Let \(0<p<\infty \) and \(w=(w(n))_{n\in \mathbb {N}}\) be a nonnegative real sequence and let for any \(n\in \mathbb {N}\)
For short notation the sequence w is called a nonnegative weight sequence. In the whole paper, unless we say otherwise we suppose that w a nonnegative weight sequence is nontrivial, i.e., there is \(n\in \mathbb {N}\) such that \(w(n)>0.\) Let \(0<p<\infty .\) Now, we recall the sequence Lorentz space \(d_{p,w}\) which is a subspace of \(\ell ^0\) such that for any sequence \(x=(x(n))_{n\in \mathbb {N}}\in {d_{p,w}}\) we have
It is well known that the Lorentz space \(d_{p,w}\) is a norm space if and only if w is decreasing (see [17]). Furthermore, for any \(0<p<\infty ,\)\(\left\| \cdot \right\| _{\gamma _{p,w}}^{}\) is a quasi-norm if and only if W satisfies condition \(\varDelta _2,\) that is \(W(2n)\le KW(n)\) for any \(n\in \mathbb {N}\) and for some \(K>0\) (see [13, 20]). Additionally, if W satisfies condition \(\varDelta _2\) and \(W(\infty )=\infty ,\) then for any \(0<p<\infty \) the space \(d_{p,w}\) is a separable r.i. quasi-Banach sequence space (see [13]). Recall, the sequence Lorentz space \(\gamma _{p,w}\) is a collection of all real sequences \(x=(x(n))_{n\in \mathbb {N}}\) such that
Let us notice that for any nonnegative sequence \(w=(w(n))_{n\in \mathbb {N}}\) the sequence Lorentz space \(\gamma _{p,w}\) is a r.i. (quasi-)Banach sequence space equipped with the (quasi-)norm \(\left\| \cdot \right\| _{\gamma _{p,w}}^{}.\) Additionally, note that the space \(\gamma _{p,w}\) is a Banach space if \(1\le {p<\infty }.\) It is easy to observe that the fundamental sequence of the Lorentz space \(\gamma _{p,w}\) is given by
for every \(n\in \mathbb {N}.\) Clearly, since \(x^*\le {x^{**}},\) we have \(\gamma _{p,w}\subset d_{p,w}\) for any \(0<p<\infty .\) Moreover, it is well known that \(d_{p,w}=\gamma _{p,w}\) for any \(0<p<\infty \) if and only if w satisfies \(B_p,\) i.e., there exists \(A>0\) such that for every \(n\in \mathbb {N}\) we have \(W_p(n)\le {A}W(n)\) (for more details see [12, 13]).
Let \(\phi \) be a quasiconcave sequence. The Marcinkiewicz space \(m_{\phi }\) and (resp. \(m_\phi ^0\)) consists of all real sequences \(x=(x(n))_{n\in \mathbb {N}}\) such that
Recall that \(m_\phi \) and \(m_\phi ^0\) are symmetric spaces equipped with the norm \(\left\| \cdot \right\| _{m_\phi }^{}\) (for more details see [9]).
3 Properties of Decreasing Rearrangement for a Pure Atomic Measure
In this section, first we present an auxiliary lemma devoted to a correspondence between the global convergence in measure on \(\mathbb {N}\) of an arbitrary sequence of elements in \(\ell ^0\) to an element in \(\ell ^0\) and the pointwise convergence of their decreasing rearrangements. Although the similar result emerges in case of the nonatomic measure space (see [14]), the proof of it is not valid in case of the pure atomic measure space. It is worth mentioning that in the pure atomic measure space the proof of the wanted result is quite long and requires new techniques.
Lemma 3.1
Let \(x_m,\,x\in \ell ^0\) for all \(m\in \mathbb {N}.\) Assume that \(x_m\) converges to x globally in measure, that is for any \(\epsilon >0\)
Then, \(x_m^*(n)\) converges to \(x^*(n)\) for every \(n\in \mathbb {N}.\)
Proof
Let \((x_m)\subset \ell ^0,\)\(x\in \ell ^0\) be such that \(x_m\rightarrow {x}\) globally in measure. Since for any \(\epsilon >0\) and \(m\in \mathbb {N}\) we have
without loss of generality, we may assume that \(x\ge {0}\) and \(x_m\ge {0}\) for all \(n\in \mathbb {N}.\) Let \(B=\{b_i\}\) be a set of all values for a function \(x:\mathbb {N}\rightarrow \mathbb {R}^+.\) Define for any \(i\in \{1,\ldots ,{{\mathrm{card}}}(B)\},\)
Without loss of generality we may assume that \((b_i)\) is strictly decreasing. Now we present the proof in three cases.
Case 1 Suppose that \({{\mathrm{card}}}(N_1)=\infty .\) Then, it is easy to see that \(x^*(n)=b_1\chi _{\mathbb {N}}.\) If \(b_1=0\) then for all \(m\ge M_{\delta _1}\) we have
Hence, since \(d_{x_m^*}(\delta _1)=d_{x_m}(\delta _1)\) for every \(m\ge {M_{\delta _1}},\) we get \(x_m^*\rightarrow {0}\) globally in measure, whence we infer that \(x_m^*\rightarrow {0}\) pointwise. In case when \(B=\{b_1\}\) then we take \(b_2=0.\) Denote \(\delta _1=(b_1-b_2)/4.\) Since \(x_m\rightarrow {x}\) globally in measure, there exists \(M_{\delta _1}\in \mathbb {N}\) such that for all \(m\ge M_{\delta _1},\)
Now, we claim that for any \(n\in \mathbb {N},\)\(x_m^*(n)\rightarrow {x^*(n)}.\) Indeed, by (1) we conclude that for any \(m\ge {M_{\delta _1}}\) and \(n\in \mathbb {N},\)
If \({{\mathrm{card}}}(\mathbb {N}\setminus {N_1})=0,\) then we are done. Otherwise, for any \(n\in {N_1}\) and \(k\in \mathbb {N}\setminus {N_1}\) we observe that
for all \(m\ge M_{\delta _1}.\) Consequently, for every \(m\ge M_{\delta _1}\) we obtain \(x_m^*=(x_m\chi _{N_1})^*\) and also \(\left| b_1-x_m(n)\right| _{}^{}\le \delta _1\) for each \(n\in {N_1}.\) Therefore, for all \(m\ge {M_{\delta _1}}\) and \(n\in \mathbb {N}\) it is easy to notice that
Case 2 Assume that there exists \(b_{j_0}\in {B}\setminus \{0\}\) such that \({{\mathrm{card}}}(N_{j_0})=\infty \) and \(0<{{\mathrm{card}}}(N_j)<\infty \) for any \(j\in \{1,\ldots ,j_0-1\}.\) Then, we have
In case when \({{\mathrm{card}}}{(B)}={j_0}\) then we assume that \(b_{j_0+1}=0.\) Denote for any \(i\in \{1,\ldots ,{{\mathrm{card}}}(B)\},\)
Since \(x_m\rightarrow {x}\) globally in measure, there exists \(M_{\delta }\in \mathbb {N}\) such that for all \(m\ge M_{\delta },\)
Therefore, for any \(m\ge {M_\delta }\) and \(n_i\in {N_i}\) where \(1\le i\le j_0\) we have
Hence, for all \(m\ge {M_\delta }\) and \(n_i\in {N_i}\) where \(1\le i\le j_0-1\) we easily observe
In consequence, by (3) we get for every \(m\ge {M_\delta }\) and \(n\in \mathbb {N},\)
Clearly, there exists \(\sigma :\mathbb {N}\rightarrow \bigcup _{j=1}^{j_0}N_j\) a permutation such that \(x^*(n)=x(\sigma (n))\) for all \(n\in \mathbb {N}.\) Thus, for any \(n\in \mathbb {N}\) there exists \(j\in \{1,\ldots ,j_0\}\) such that \(\sigma (n)\in {N_j}\) and by (3) we obtain
for all \(m\ge {M_{\delta }}.\) Therefore, by (2) and (4) we infer that
Case 3 Suppose that for any \(b_j\in {B}\setminus \{0\}\) we have \({{\mathrm{card}}}(N_j)<\infty .\) If \({{\mathrm{card}}}(B)<\infty \) then without loss of generality we may assume that \(j_0={{\mathrm{card}}}(B)\) and \(b_{j_0}=0.\) Next, letting for any \(i\in \{1,\ldots ,j_0-1\},\)
and proceeding analogously as in case 2 we may show that \(x_m^*\rightarrow {x^*}\) on \(\mathbb {N},\) in case when \({{\mathrm{card}}}(B)<\infty .\) Now, assume that \({{\mathrm{card}}}(B)=\infty .\) Then, since \((b_j)\) is strictly decreasing and bounded we conclude
First, let us consider that \(b=0.\) Let \(\epsilon >0.\) Then, there exists \(j_0\in \mathbb {N}\) such that for all \(j\ge {j_0}\) we have
Define for any \(i\in \{1,\ldots ,j_0\},\)
Similarly as in case 2 there is \(M_\delta \in \mathbb {N}\) such that for all \(m\ge {M_\delta },\)\(n\in \mathbb {N}\), and \(k\in \bigcup _{j\ge j_0}{N_j}\) we get
Moreover, we may observe that
for every \(m\ge {M_\delta }\) and \(n_i\in {N_i}\) where \(i\in \{1,\ldots ,j_0-1\}.\) Next, assuming that \(\sigma :\mathbb {N}\rightarrow \bigcup _{j=1}^{\infty }N_j\) is a permutation such that \(x^*(n)=x(\sigma (n))\) for all \(n\in \mathbb {N},\) then for any \(n\in \mathbb {N}\) with \(n\le {c_{j_0-1}}\) there exists \(j\in \{1,\ldots ,j_0-1\}\) such that \(\sigma (n)\in {N_j}\) and by (6) we obtain
for all \(m\ge {M_{\delta }}.\) On the other hand, if \(n>c_{j_0-1}\) then there is \(j\ge {j_0}\) such that \(\sigma (n)\in N_j\) and by (5) and (6) it follows that
for all \(m\ge {M_{\delta }}.\) Now, let us notice that for every \(n\in \mathbb {N},\)
and
Hence, we infer that for any \(m\ge {M_\delta }\) and \(n\in \mathbb {N},\)
Now, we assume that \(b>0.\) Then, it is easy to see that \(x^*(\infty )=b>0.\) Next, taking
for all \(m\in \mathbb {N},\) we may show that \(x^*=y^*\) and \(x_m^*=y_m^*\) for sufficiently large \(m\in \mathbb {N}.\) Next, passing to subsequence and relabeling if necessary, it is enough to prove that \(y_m^*\rightarrow {y^*}\) on \(\mathbb {N}.\) Clearly, by definition of y and \(y_m\) for all \(m\in \mathbb {N}\) we may observe that \(y_m-b\) converges \(y-b\) globally in measure and \((y-b)^*(\infty )=0.\) Finally, using analogous technique as previously, in case 3 for \(b=0,\) we finish the proof. \(\square \)
Remark 3.2
Let us notice that using analogous techniques as in the proof in [14, property \(9^0\)] and by the property \(7^0\) in [14] (see pp. 64–65), in view of [2, Theorem 2.7 and Proposition 3.3] we are able to show the below assertion.
For any two sequences x and y with \(x^*(\infty )=0\) and \(y^*(\infty )=0\) the following conditions are equivalent.
-
(i)
For any \(i\in \mathbb {N},\)
$$\begin{aligned} (x+y)^*(i)={x^*(i)}+{y^*(i)}. \end{aligned}$$ -
(ii)
\({{\mathrm{sgn}}}(x(i))={{\mathrm{sgn}}}(y(i))\) for any \(i\in \mathbb {N}\) and there exists \((E_n)_{n\in \mathbb {N}}\) a countable collection of subsets of \(\mathbb {N}\) such that for every \(n\in \mathbb {N}\) we have \({{\mathrm{card}}}(E_n)=n\) and
$$\begin{aligned} x^{**}(n)=\frac{1}{n}\sum _{i\in {E_n}}|x(i)|\quad \text {and}\quad y^{**}(n)=\frac{1}{n}\sum _{i\in {E_n}}|y(i)|. \end{aligned}$$
4 Geometric Structure of Sequence Lorentz Spaces \(\gamma _{p,w}\)
In this section, we discuss complete criteria for order continuity, the Fatou property, strict monotonicity and strict convexity, and also extreme points of the unit ball in the sequence Lorentz space \(\gamma _{p,w}.\)
Theorem 4.1
Let w be a nonnegative weight sequence and \(0<p<\infty .\) The Lorentz space \(\gamma _{p,w}\) is order continuous if and only if \(W(\infty )=\infty .\)
Proof
Necessity Suppose that \(\gamma _{p,w}\) is not order continuous. Then, there exists \((x_m)\subset {\gamma _{p,w}^+}\setminus \{0\}\) such that \(x_m\downarrow {0}\) pointwise and \(d=\inf _{n\in \mathbb {N}}\left\| x_m\right\| _{\gamma _{p,w}}^{}>0.\) Next, passing to subsequence and relabeling if necessary we may assume that \(\left\| x_m\right\| _{\gamma _{p,w}}^{}\downarrow {d}.\) Since \(W(\infty )=\infty \) we claim that \(d_{x}(\lambda )<\infty \) for all \(\lambda >0\) and \(x\in \gamma _{p,w}.\) Indeed, assuming for a contrary that there is \(x\in \gamma _{p,w}\) such that \(x^*(\infty )=\lim _{n\rightarrow \infty }x^*(n)>0\) we obtain \(\ell ^\infty \hookrightarrow {\gamma _{p,w}}.\) Define \(z=\chi _{\mathbb {N}}.\) Then, we have \(z^{**}=z\in \gamma _{p,w}\) and also \(\left\| z\right\| _{\gamma _{p,w}}^{}=W(\infty )=\infty ,\) which gives us a contradiction and proves the claim. Let \(\epsilon >0.\) Define two sets
Now, since \(x_1^*(\infty )=0\) it is easy to notice \({{\mathrm{card}}}(E_1)=d_{x_1}(\epsilon )<\infty \) and \(E_1\cap {E_2}=\emptyset .\) Therefore, since \(x_m\downarrow {0}\) pointwise we have
Hence, by Lemma 3.1 it follows that \(x_m^*\rightarrow {0}\) pointwise on \(\mathbb {N}.\) Consequently, since \(\left\| x_1\right\| _{\gamma _{p,w}}^{}<\infty \) and \(x^{**}(n)<\infty \) for all \(n\in \mathbb {N},\) applying twice the Lebesgue Dominated Convergence Theorem we conclude \(\left\| x_m\right\| _{\gamma _{p,w}}^{}\rightarrow {0}.\)
Sufficiency Assume for a contrary that \(W(\infty )<\infty .\) Then, it is easy to see that \(x=\chi _{\mathbb {N}}\in \gamma _{p,w},\)\(x^{**}=x\), and \(\left\| x\right\| _{\gamma _{p,w}}^{}=W(\infty ).\) Define \(x_m=\chi _{\{i\in \mathbb {N}:i\ge m\}}\) for any \(m\in \mathbb {N}.\) Clearly, we have \(x_m\downarrow {0}\) and \(x_m\le {x}\) pointwise for every \(m\in \mathbb {N}.\) Moreover, we observe that \(x_m^{**}=x^{**}\) for any \(m\in \mathbb {N}.\) Hence, we get \(\left\| x_m\right\| _{\gamma _{p,w}}^{}=W(\infty )>0\) for all \(n\in \mathbb {N},\) which contradicts with assumption that \(\gamma _{p,w}\) is order continuous. \(\square \)
Remark 4.2
First, let us recall that for any symmetric Banach function space X over \([0,\,\infty )\) with the fundamental function \(\phi _X\) we have \(X\hookrightarrow {M_{\phi _X}}\) and the embedding has norm 1, where
(for more details see [2, Proposition 5.9]). Now, observe that for any symmetric Banach sequence space E over \(\mathbb {N},\) in [2, Proposition 5.9] is also satisfied. Namely, using analogous technique as in [2] we are able to show that for any symmetric Banach sequence space E the embedding \(E\hookrightarrow {m_\phi }\) holds with constant 1, i.e., for all \(x\in {E},\) we have
where \(\phi _E\) is the fundamental sequence of E on \(\mathbb {N}.\) Next, assuming that E a symmetric Banach sequence space with the Fatou property, in view of [4, Remark 3.2] we obtain that \(\phi _E(\infty )=\infty \) if and only if \(x^*(\infty )=0\) for any \(x\in {E}.\)
Lemma 4.3
Let w be a nonnegative weight sequence and \(0<p<\infty .\) The Lorentz space \(\gamma _{p,w}\) has the Fatou property.
Proof
Let \((x_m)\subset \gamma _{p,w}^+,\)\(x\in \ell ^0\) and \(x_m\uparrow {x}\) pointwise and \(\sup _{m\in \mathbb {N}}\left\| x_m\right\| _{\gamma _{p,w}}^{} <\infty .\) Immediately, by [2, Proposition 1.7] it follows that \(x_m^*\uparrow {x^*}.\) Next, applying twice Lebesgue Monotone Convergence Theorem [19] we get \(\left\| x_m\right\| _{\gamma _{p,w}}^{}\uparrow \left\| x\right\| _{\gamma _{p,w}}^{}.\) Finally, since \(\sup _{m\in \mathbb {N}}\left\| x_m\right\| _{\gamma _{p,w}}^{}<\infty \) it follows that \(x\in \gamma _{p,w}.\)\(\square \)
Theorem 4.4
Let w be a nonnegative weight sequence and \(0<p<\infty .\) The Lorentz space \(\gamma _{p,w}\) is strictly monotone if and only if \(W(\infty )=\infty .\)
Proof
Necessity Assume for a contrary that \(W(\infty )<\infty .\) Then, we may show that \(\ell ^\infty \hookrightarrow \gamma _{p,w}.\) Next, defining two sequences
we easily observe that \(x\le {y},\)\(x\ne {y}\), and \(x^{**}=y^{**}=y.\) Consequently, \(\left\| x\right\| _{\gamma _{p,w}}^{}=\left\| y\right\| _{\gamma _{p,w}}^{},\) which contradicts with assumption that the Lorentz space \(\gamma _{p,w}\) is strictly monotone.
Sufficiency Let \(x,\,y\in \gamma _{p,w}^+,\)\(x\le {y}\), and \(x\ne {y}.\) Since \(x\ne {y}\) there exists \(n_0\in \mathbb {N}\) such that \(x(n_0)<y(n_0).\) Define
Since \(W(\infty )=\infty ,\) by the proof of Theorem 4.1 it follows that \(y^*(\infty )=x^*(\infty )=0.\) Hence, since \(n_0\in N_0\) we get
Now, we claim that there exists \(m_0\in \{1,\ldots ,{{\mathrm{card}}}(N_0)\}\) such that \(x^*(m_0)<y^*(m_0).\) Indeed, if it is not true then for all \(n\in \{1,\ldots ,{{\mathrm{card}}}(N_0)\}\) we have \(x^*(n)=y^*(n).\) Moreover, there is a permutation \(\sigma :\mathbb {N}\rightarrow \mathbb {N}\) such that \(\sigma (n)\in {N_0}\) and \(y^*(n)=y(\sigma (n))\) for every \(n\in \{1,\ldots ,{{\mathrm{card}}}(N_0)\}.\) So, we have
for any \(n\in \{1,\ldots ,{{\mathrm{card}}}(N_0)\}.\) Let \(m_0\in \{1,\ldots ,{{\mathrm{card}}}(N_0)\}\) be such that \(\sigma (m_0)=n_0.\) Then, we observe that
Therefore, we obtain
which implies that there exists \(k_0\in \mathbb {N}\setminus {N_0}\) such that \(x(k_0)=y(n_0).\) On the other hand, it is well known that \(x(k_0)\le y(k_0),\) whence
In consequence, by definition of \(N_0\) this yields that \(k_0\in {N_0}\) and gives us a contradiction. Now, since \(x^*(n)\le {y^*}(n)\) for any \(n\in \mathbb {N}\) and \(x^*(n_0)<y^*(n_0)\) for some \(n_0\in \mathbb {N}\) it follows that
for all \(n\in \mathbb {N}\) and \(k\ge {n_0}.\) Finally, by assumption that \(W(\infty )=\infty \) there exists \((n_k)\subset \mathbb {N}\) such that \(w(n_k)>0\) for every \(k\in \mathbb {N}.\) Hence, we infer that \(\left\| x\right\| _{\gamma _{p,w}}^{}<\left\| y\right\| _{\gamma _{p,w}}^{}.\)\(\square \)
The immediate consequence of the previous theorem and Proposition 2.1 in [10] is the following result.
Corollary 4.5
Let \(w\ge {0}\) be a weight sequence such that \(W(\infty )=\infty \) and let \(1\le p<\infty .\) An element \(x\in S_{\gamma _{p,w}}\) is an extreme point of \(B_{\gamma _{p,w}}\) if and only if \(x^*\) is an extreme point of \(B_{\gamma _{p,w}}.\)
Next, we show that the Lorentz space \(\gamma _{p,w}\) is strictly convex for \(1<p<\infty \) and w a positive weight sequence such that \(W(\infty )=\infty .\) In some parts of the proof of the following theorem, we use the similar techniques to [6, Theorem 3.1] (see also [5, Theorem 2.3]). For the sake of completeness and reader’s convenience we show all details of the proof.
Theorem 4.6
Let w be a nonnegative weight sequence. The Lorentz space \(\gamma _{p,w}\) is strictly convex if and only if \(1<p<\infty \) and \(w(n)>0\) for any \(n\in \mathbb {N}\) and also \(W(\infty )=\infty .\)
Proof
Necessity Assume that \(\gamma _{p,w}\) is strictly convex. For a contrary we suppose that \(p=1.\) Let \(x,\,y\in S_{\gamma _{p,w}}\), and \(\left\| x+y\right\| _{\gamma _{p,w}}^{}=2.\) Without loss of generality we may assume that \(x=x^*\) and \(y=y^*.\) Then, we have \((x+y)^{**}=x^{**}+y^{**}\) and also
Consequently, since x and y are arbitrary and \(\gamma _{p,w}\) is strictly convex we conclude a contradiction. Now, assume that \(W(\infty )<\infty .\) Define
Clearly, we have for any \(n\in \mathbb {N},\)
Moreover, we observe that
for any \(n\in \mathbb {N}.\) Hence, we get
Therefore, by assumption that \(\gamma _{p,w}\) is strictly convex we obtain a contradiction. Now, let us suppose for a contrary that there is \(n_0\in \mathbb {N}\) such that \(w(n_0)=0.\) If \(n_0=1,\) then take \(\epsilon \in (0,\,1/\phi _{\gamma _{p,w}}(2))\) and define
It is easy to see that \(x\ne {y}\) and
and also
Therefore, since \(w(1)=0,\) we have
Furthermore, we observe that
Hence, since \(w(1)=0,\) we get
So, in case when \(w(1)=0,\) it follows that \(\gamma _{p,w}\) is not strictly convex. Assume that \(n_0>1.\) Define
Then, we easily observe that \(x\ne y\) and \(\left\| x\right\| _{\gamma _{p,w}}^{}=1.\) Moreover, we have
and
Hence, since \(w(n_0)=0,\) we conclude that
In consequence, by assumption that \(\gamma _{p,w}\) is strictly convex we get a contradiction.
Sufficiency Let \(x,\,y\in {S}_{\gamma _{p,w}}\) and \(x\ne {y}.\) We consider the proof in two cases.
Case 1 Assume that there exists \(n_0\in \mathbb {N}\) such that \(x^{**}(n_0)\ne {y}^{**}(n_0).\) Then, by strict convexity of the power function \(u^p\) for \(1<p<\infty \) we have
Therefore, since for any \(n\in \mathbb {N},\)
by assumption that \(w(n)>0\) for all \(n\in \mathbb {N}\) we infer that \(\left\| x+y\right\| _{\gamma _{p,w}}^{}<2.\)
Case 2 Suppose that \(x^{**}(n)=y^{**}(n)\) for every \(n\in \mathbb {N}.\) Thus, we have \(x^*(n)=y^*(n)\) for any \(n\in \mathbb {N}.\) We claim that there exists \(n_0\in \mathbb {N}\) such that
Indeed, assuming that it is not true it follows that \((x+y)^{*}(n)=x^{*}(n)+y^{*}(n)\) for all \(n\in \mathbb {N}.\) Consequently, since \(W(\infty )=\infty ,\) by Remark 3.2 we obtain \(|x+y|(n)=|x(n)|+|y(n)|\) for all \(n\in \mathbb {N}\) and there exists \((E_n)\) an increasing sequence of sets such that \({{\mathrm{card}}}(E_n)=n\) for every \(n\in \mathbb {N}\) and also
In consequence, \(|x(n)|=|y(n)|\) for any \(n\in \mathbb {N}\) and so \(x(n)=y(n)\) for every \(n\in \mathbb {N}.\) Therefore, in view of assumption \(x\ne {y}\) we get a contradiction. Finally, applying the triangle inequality for the maximal function we infer that
\(\square \)
Finally, we present a complete criteria for an extreme point in the ball of the Lorentz space \(\gamma _{1,w}.\) It is worth mentioning that in some parts of the proof we use similar technique to the proof in [10, Theorem 2.6]. For the sake of completeness and reader’s convenience, we present all details of the proof of the following theorem.
Theorem 4.7
Let \(w\ge {0}\) be a weight sequence such that \(W(\infty )=\infty .\) An element \(x\in S_{\gamma _{1,w}}\) is an extreme point of \(B_{\gamma _{1,w}}\) if and only if there exists \(n_0\in \mathbb {N}\) such that
and in case when \(n_0>1,\)\(W(n_0-1)>0.\)
Proof
Letting \(x\in {S_{\gamma _{1,w}}},\) by Corollary 4.5 we may consider that \(x=x^*\) is an extreme point of \(B_{\gamma _{1,w}}.\) Denote
Since \(W(\infty )=\infty \) and \(\phi _{\gamma _{1,w}}(n)=W(n)+W_1(n)\) for any \(n\in \mathbb {N},\) by Lemma 4.3 and by Remark 4.2 it follows that \(x^*(\infty )=0\) and so \(n_0\in \mathbb {N}.\) We claim that \(x^*(n_0+1)=0.\) Suppose on the contrary that \(x^*(n_0+1)>0\) and denote
and
First, notice that \(\phi _{\gamma _{1,w}}(n+1)>\phi _{\gamma _{1,w}}(n)>0\) for any \(n\in \mathbb {N}.\) Indeed, since \(W(\infty )=\infty \) we infer that \(\phi _{\gamma _{1,w}}(n)>0\) for all \(n\in \mathbb {N}.\) Now, assuming for a contrary that there is \(n\in \mathbb {N}\) such that \(\phi _{\gamma _{1,w}}(n+1)=\phi _{\gamma _{1,w}}(n),\) we easily obtain
Hence, since \(w(n+1)\ge {0}\) we get a contradiction. Now, we are able to find \(a,\,b\in (0,\,d)\) such that
Define
and
Clearly, \(y\ne {z}\) and \(x=(y+z)/2.\) Since \(y=y^*\) and \(z=z^*,\) by (8) we have
Similarly, we may show that \(\left\| z\right\| _{\gamma _{1,w}}^{}=1.\) Therefore, in view of assumption that x is an extreme point of \(B_{\gamma _{1,w}}\) we conclude a contradiction, which proves our claim. In case when \(n_0>1\) we assume that \(w(n)=0\) for all \(n\in \{1,\ldots ,n_0-1\}.\) Then, for \(a\in (0,\,x^*(n_0))\) we define
Next, it is clearly observe that \(y\ne {z},\)\(x=(y+z)/2,\)\(y^*=y=z^*\) and
Consequently, by assumption that x is an extreme point of \(B_{\gamma _{1,w}}\) we have a contradiction. So, this implies that if \(n_0>1\) then it is needed \(W(n_0-1)>0.\). Now, assume that \(x\in \gamma _{1,w}\) and satisfies (7). For simplicity of our notation we denote \(c=1/\gamma _{1,w}(n_0).\) If \(n_0=1,\) then by Theorem 4.4 we conclude that x is an extreme point of \(B_{\gamma _{1,w}}.\) Consider that \(n_0>1.\) Suppose that \(y,\,z\in {S_{\gamma _{1,w}}},\)\(y\ne {z}\) and \(x=(y+z)/2.\) We claim that \(y(i)=z(i)=0\) for all \(i>n_0.\) Indeed, if \(y(i)>0\) for some \(i>n_0,\) then it is obvious that \(z(i)=-y(i)<0\) for some \(i>n_0.\) Next, defining two elements
we have \(x=(u+v)/2.\) On the other hand, by Theorem 4.4 we infer that \(\left\| u\right\| _{\gamma _{1,w}}^{}<\left\| y\right\| _{\gamma _{1,w}}^{}=1\) and \(\left\| v\right\| _{\gamma _{1,w}}^{}<\left\| z\right\| _{\gamma _{1,w}}^{}=1.\) In consequence, we get
which yields a contradiction and proves our claim. Now, define
We can easily notice that \(y,\,z\in \gamma _{1,w}^+.\) Indeed, if it is not true then we may define \(u,\,v\in \gamma _{1,w}^+\) such that \(u\le |y|,\)\(u\ne |y|\) and \(v\le |z|,\)\(v\ne |z|\) and also \(x=(u+v)/2.\) Therefore, by Theorem 4.4 we obtain a contradiction. Next, since \(\gamma _{1,w}\) is strictly monotone and \(y\in {S_{\gamma _{1,w}}},\)\(y\ne {x}\) we observe that \({{\mathrm{card}}}(I_1)>0\) and \({{\mathrm{card}}}(I_3)>0,\) whence \(y(1)>y(n_0).\) Without loss of generality we may assume that \(y=y^*.\) Then, we have
Moreover, by assumption that \(z\in {S_{\gamma _{1,w}}}\) and \(x=(y+z)/2\) it follows that \(z(i)=2c-y(i)\) for any \(i\in \{1,\ldots ,n_0\}\) and \(z(i)=0\) for all \(i>n_0.\) Thus, we obtain
for every \(n\in \mathbb {N}.\) Consequently, we have
Hence, by definition of c we obtain that
Furthermore, since \(y=y^*\) and \(y(1)>y(n_0),\) we infer that for every \(n<{n_0},\)
In consequence, since \(W(n_0-1)>0,\) by (9) and (10) we conclude
which gives us a contradiction and finishes the proof. \(\square \)
5 Application
This section is devoted to a relationship between the existence set and one-complemented subspaces of the sequence Lorentz space \(\gamma _{1,w}.\) Next, we investigate complete criteria for the dual and predual spaces of the Lorentz space \(\gamma _{1,w}.\) Moreover, we present a complete characterization of smooth points in the sequence Lorentz space \(\gamma _{1,w}\) and its dual space and predual space. Finally, we show full criteria for extreme points in the dual space of the sequence Lorentz space \(\gamma _{1,w}.\)
First, let us recall some basic definitions and notations that corresponds to the best approximation. Let X be a Banach space and \(C\subset {X}\) be a nonempty set. A continuous surjective mapping \(P:X\rightarrow {C}\) is called a projection onto C, whenever \(P|_{C}={{\mathrm{Id}}},\) i.e., \(P^2=P.\) Given a subspace V of a Banach space X, by \(P(X,\,V)\) we denote the set of all linear bounded projections from X onto V. Let us recall that a closed subspace V of a Banach space X is said to be one-complemented if there exists a norm one projection \(P\in P(X,\,V).\) A set \(C\subset X\) is said to be an existence set of the best approximation if for any \(x\in {X}\) we have
It is obvious that any one-complemented subspace is an existence set. The converse in general is not true. By a deep result of Lindenstrauss [15] there exists a Banach space X and a linear subspace V of X such that V is an existence set in X and V is not one-complemented in X. However, if X is a smooth Banach space both notions are equivalent see [1, Proposition 5]). It is worth noticing that one can find in the literature concerning one-complemented subspaces a survey paper [18]. We will show that both notions are equivalent in \(\gamma _{1,w},\) which is obviously not a smooth space.
First, we establish an identity between the sequence Lorentz spaces \(\gamma _{1,w}\) and \(d_{1,v}\) for some nonnegative sequences w and v.
Remark 5.1
Assuming that \(w=(w(n))_{n\in \mathbb {N}}\) is a nonnegative weight sequence, we may easily observe that the identity I is a surjective isometry from the sequence Lorentz space \(\gamma _{1,w}\) onto the sequence Lorentz space \(d_{1,v},\) where \(v=(v(n))_{n\in \mathbb {N}}\) is given by
Indeed, taking \(x\in \gamma _{1,w}\) we observe that
On the other hand, assuming that \(v=(v(n))_{n\in \mathbb {N}}\) is a decreasing sequence such that \(\lim _{n\rightarrow \infty }v(n)=0\) we may define a sequence w by
and show analogously that the identity I is a surjective isometry from \(d_{1,v}\) onto \(\gamma _{1,w}.\)
Theorem 5.2
Let w be a nonnegative weight sequence and let \(V\subset \gamma _{1,w},\)\(V\ne \{0\}\) be a linear subspace. If V is an existence set, then V is one-complemented.
Proof
Let v be a nonnegative sequence given by (11). Then, by Remark 5.1 we get that the identity I is a surjective isometry between \(\gamma _{1,w}\) and \(d_{1,v}.\) Hence, since V is an existence set in \(\gamma _{1,w},\) by [10, Lemma 3.4] it follows that \(V\ne \{0\}\) is an existence set in \(d_{1,v}.\) In consequence, by [10, Theorem 3.10] we infer that V is one-complemented in \(d_{1,v}.\) Finally, applying again [10, Lemma 3.4] we get that V is one-complemented in \(\gamma _{1,w}.\)\(\square \)
Now, we present the necessary and sufficient condition for the dual space of the Lorentz space \(\gamma _{1,w}\) and the isometric isomorphism between the Marcinkiewicz space and the dual space of \(\gamma _{1,w}.\) It is worth mentioning that in case of the Lorentz space \(d_{1,w}\) the similar result (see [14, Theorem 5.2]) was established under assumption that \(d_{1,w}\) is separable.
Theorem 5.3
Let \(w=(w(n))_{n\in \mathbb {N}}\) be a nonnegative weight sequence and let \(\phi _{\gamma _{1,w}}\) be the fundamental sequence of the sequence Lorentz space \(\gamma _{1,w}.\) Then \(W(\infty )=\infty \) if and only if every linear bounded functional f on \(\gamma _{1,w}\) has the form
where \(y\in {m_{\psi }}\) and \(\psi (n)=n/\phi _{\gamma _{1,w}}(n)\) for every \(n\in \mathbb {N}.\)
Proof
Sufficiency Suppose that \(W(\infty )<\infty .\) We claim that \(\ell ^\infty \hookrightarrow \gamma _{1,w}.\) Indeed, taking \(x=\chi _{\mathbb {N}}\) it is easy to see that \(x^{**}=x\) and \(\left\| x\right\| _{\gamma _{1,w}}^{}=W(\infty )<\infty ,\) which implies our claim. Let \(f\in \gamma _{1,w}^*.\) Then, by assumption there exists \(y\in {m_\psi }\) such that
for all \(n\in \mathbb {N}.\) Next, in view of the inequality
for every \(n\in \mathbb {N},\) it follows that \(\phi _{\gamma _{1,w}}(\infty )=W(\infty )<\infty .\) Thus , we have
whence \(y\in \ell ^1.\) Therefore, we observe that \(m_\psi \hookrightarrow \ell ^1.\) Moreover, since \(\gamma _{1,w}\) and \(m_\psi \) are symmetric by [2, Corollary 6.8] we conclude that \(\gamma _{1,w}\hookrightarrow \ell ^\infty \) and \(\ell ^1\hookrightarrow {m_\psi }.\) Hence, since \(\ell ^\infty \) is the dual space of \(\ell ^1\) (see [16]) we have a contradiction.
Necessity Since \(W(\infty )=\infty ,\) by Theorem 4.1 it follows that \(\gamma _{1,w}\) is order continuous. Next, in view of Remark 5.1 the identity is a surjective isometry between \(\gamma _{1,w}\) and \(d_{1,v}\) where v is given by (11). Finally, by [14, Theorem 5.2] we finish the proof. \(\square \)
We research a complete characterization of the predual space of the Lorentz space \(\gamma _{1,w}.\) It is worth noticing that the first part of the proof of the next theorem is an immediate consequence of [9, Theorem 3.4], in which authors have proved that the Marcinkiewicz space \(m_\psi \) is the bidual space of \(m_\psi ^0\) if and only if \(\psi (\infty )=\infty .\) Additionally, we answer the essential question under which condition does the isometric isomorphism exist between the Lorentz space \(\gamma _{1,w}\) and the dual space of the Marcinkiewicz space \(m_\psi ^0.\)
Theorem 5.4
Let w be a nonnegative weight sequence. The Marcinkiewicz space \(m_\psi ^0\) is the predual of the sequence Lorentz space \(\gamma _{1,w}\) if and only if \(W(\infty )=\infty ,\) where
Additionally, if \(W(\infty )=\infty \) then there exists an isometry between the sequence Lorentz space \(\gamma _{1,w}\) and the dual space \((m_\psi ^0)^*\) of the Marcinkiewicz space \(m_\psi ^0.\)
Proof
First, we define for any \(i\in \mathbb {N},\)
Clearly, \((v(i))_{i\in \mathbb {N}}\) is a decreasing sequence and \(0\le v(i)<\infty \) for all \(i\in \mathbb {N}.\) Hence, by Remark 5.1 we obtain that
for all \(n\in \mathbb {N}.\) Next, since \(\psi (n)=n/\phi _{\gamma _{1,w}}(n)\) for each \(n\in \mathbb {N},\) we have
Thus, by [9, Theorem 3.4] it follows that \(m_\psi \) is the bidual of \(m_\psi ^0\) if and only if \(\phi _{\gamma _{1,w}}(\infty )=\infty .\) Now, we claim that \(W(\infty )=\infty \) if and only if \(\phi _{\gamma _{1,w}}(\infty )=\infty .\) Indeed, it is easy to see that for any \(n\in \mathbb {N},\)
which implies our claim. Therefore, according to Theorem 5.3 we obtain that the Marcinkiewicz space \(m_\psi ^0\) is the predual of the sequence Lorentz space \(\gamma _{1,w}\) if and only if \(W(\infty )=\infty .\) Now, we show that there exists an isometry between \((m_\psi ^0)^*\) and \(\gamma _{1,w}.\) First, since \(\phi _{\gamma _{1,w}}(\infty )=\infty ,\) in view of [9, Theorem 3.2] it follows that \(m_\psi ^0\) is a nontrivial subspace of all order continuous elements of \(m_\psi .\) Then, defining for any \(x\in \gamma _{1,w}\) the linear mapping \(f_x\) by
and proceeding analogously as in Theorem 5.3 we are able to show that
for any \(y\in {m_\psi ^0}.\) On the other hand, it is well known that there exists \(\sigma :\mathbb {N}\rightarrow \mathbb {N}\) a permutation such that \(x^*(n)=|x\circ \sigma (n)|\) for all \(n\in \mathbb {N}.\) Define
for any \(n\in \mathbb {N}.\) Then, we have
whence, according to (12) we finish the proof. \(\square \)
We investigate a full criteria for smooth points in the sequence Lorentz space \(\gamma _{1,w}\) and its dual and predual spaces. First, let us notice that by [10, Theorem 1.10] and by Remark 5.1, the next theorem follows immediately.
Theorem 5.5
Let w be a nonnegative weight sequence and let \(x\in {S_{\gamma _{1,w}}}.\) Then, an element x is a smooth point in \(\gamma _{1,w}\) if and only if the following conditions are satisfied
-
(i)
\({{\mathrm{card}}}({{\mathrm{supp}}}(x))=\infty .\)
-
(ii)
If there is \(n\in \mathbb {N}\) such that \(w(n)>0,\) then \(x^*(n)>x^*(n+1).\)
Theorem 5.6
Let w be a nonnegative weight sequence and \(\psi (n)=n/\phi _{\gamma _{1,w}}(n)\) for any \(n\in \mathbb {N}\) and \(x\in {S_{m_\psi ^0}}.\) Then, an element x is a smooth point in \(m_\psi ^0\) if and only if
Proof
Let v be a sequence given by (11) and let \(V(n)=\sum _{i=1}^n{v(i)}.\) Then, by Remark 5.1 we easily observe that \(V(n)=\phi _{\gamma _{1,w}}(n)=\frac{n}{\psi (n)}\) for every \(n\in \mathbb {N}\) and
Hence, in view of [10, Theorem 1.5] we complete the proof. \(\square \)
Directly, by [10, Theorem 1.9] and Remark 5.1 and also Theorem 5.3 we infer the following theorem.
Theorem 5.7
Let w be a nonnegative weight sequence and \(\psi (n)=n/\phi _{\gamma _{1,w}}(n)\) for any \(n\in \mathbb {N}\) and \(x\in {S_{\gamma _{1,w}^*}}.\) Then, an element x is a smooth point in \(B_{\gamma _{1,w}^*}\) if and only if there exists \(n_0\in \mathbb {N}\) such that
The last essential application of Theorem 5.3 and Remark 5.1, in view of [10, Theorem 2.2], is the next result which presents an equivalent condition for extreme points in the dual space \(\gamma _{1,w}^*\) of the sequence Lorentz space \(\gamma _{1,w}.\)
Theorem 5.8
Let w be a nonnegative weight sequence. Then, \(x\in {S_{\gamma _{1,w}^*}}\) is an extreme point of \(B_{\gamma _{1,w}^*}\) if and only if \(x^*(n)=\sum _{i=n}^\infty \frac{w(i)}{i}\) for all \(n\in \mathbb {N}.\)
Remark 5.9
Although applying [10, Theorem 2.6] and Remark 5.1 we are able to find successfully an equivalent condition for an extreme point in the sequence Lorentz space \(\gamma _{1,w},\) with w a nonnegative weight sequence, we present the proof of this problem with all details (see Theorem 4.7). It is worth mentioning that the techniques, that were presented in the proof of Theorem 4.7, might be interesting for readers and applicable to search a complete characteristic of an extreme point in \(\gamma _{p,w}\) with \(1<p<\infty .\)
References
Beauzamy, B., Maurey, B.: Points minimaux et ensembles optimaux dans les espaces de Banach. J. Funct. Anal. 24(2), 107–139 (1977)
Bennett, C., Sharpley, R.: Interpolation of Operators, Pure and Applied Mathematics, vol. 129. Academic, Boston (1988)
Ciesielski, M.: On geometric structure of symmetric spaces. J. Math. Anal. Appl. 430(1), 98–125 (2015)
Ciesielski, M.: Relationships between \(K\)-monotonicity and rotundity properties with application. J. Math. Anal. Appl. (2018). https://doi.org/10.1016/j.jmaa.2018.05.008
Ciesielski, M., Kamińska, A., Kolwicz, P., Płuciennik, R.: Monotonicity and rotundity of Lorentz spaces \(\Gamma _{p, w}\). Nonlinear Anal. 75(5), 2713–2723 (2012)
Ciesielski, M., Kamińska, A., Płuciennik, R.: Gâteaux derivatives and their applications to approximation in Lorentz spaces \(\Gamma _{p, w}\). Math. Nachr. 282(9), 1242–1264 (2009)
Davis, W.J., Enflo, P.: Contractive Projections on \(l_p\) Spaces, Analysis at Urbana (Urbana, IL, 1986–1987), London Mathematical Society Lecture Note Series 137, vol. I, pp. 151–161. Cambridge University Press, Cambridge (1989)
Jamison, J.E., Kamińska, A., Lewicki, G.: One-complemented subspaces of Musielak–Orlicz sequence spaces. J. Approx. Theory 130(1), 1–37 (2004)
Kamińska, A., Lee, H.J.: \(M\)-Ideal Properties in Marcinkiewicz Spaces, Comment. Math. (Prace Mat.) Tomus specialis in Honorem Juliani Musielak, pp. 123–144 (2004)
Kamińska, A., Lee, H.J., Lewicki, G.: Extreme and smooth points in Lorentz and Marcinkiewicz spaces with applications to contractive projections. Rocky Mt. J. Math. 39(5), 1533–1572 (2009)
Kamińska, A., Lewicki, G.: Contractive and optimal sets in modular spaces. Math. Nachr. 268, 74–95 (2004)
Kamińska, A., Maligranda, L.: On Lorentz spaces \(\Gamma _{p, w}\). Isr. J. Math. 140, 285–318 (2004)
Kamińska, A., Maligranda, L.: Order convexity and concavity of Lorentz spaces \(\Lambda _{p, w},\) \(0<p<\infty \). Stud. Math. 160(3), 267–286 (2004)
Krein, S.G., Petunin, Yu.I., Semenov, E.M.: Interpolation of Linear Operators. Translated from the Russian by J. Szűcs. Translations of Mathematical Monographs, vol. 54. American Mathematical Society, Providence (1982)
Lindenstrauss, J.: On projections with norm \(1\)-an example. Proc. Am. Math. Soc. 15, 403–406 (1964)
Lindenstrauss, J., Tzafriri, L.: Classical Banach Spaces. II. Function Spaces. Ergebnisse der Mathematik und ihrer Grenzgebiete [Results in Mathematics and Related Areas], vol. 97. Springer, Berlin (1979)
Lorentz, G.G.: On the theory of spaces \(\Lambda \). Pac. J. Math. 1, 411–429 (1951)
Randrianantoanina, B.: Norm-one projections in Banach spaces. International conference on mathematical analysis and its applications (Kaohsiung, 2000). Taiwan. J. Math. 5(1), 35–95 (2001)
Royden, H.L.: Real Analysis, 3rd edn. Macmillan Publishing Company, New York (1988)
Sparr, A.: On the Conjugate Space of the Lorentz Space \(L(\phi ,\,q),\) (English Summary) Interpolation Theory and Applications, Contemporary Mathematics, vol. 445, pp. 313–336. American Mathematical Society, Providence (2007)
Acknowledgements
Maciej Ciesielski is supported by the Ministry of Science and Higher Education of Poland, Grant Number 04/43/DSPB/0094.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access 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.
About this article
Cite this article
Ciesielski, M., Lewicki, G. Sequence Lorentz Spaces and Their Geometric Structure. J Geom Anal 29, 1929–1952 (2019). https://doi.org/10.1007/s12220-018-0069-4
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12220-018-0069-4
Keywords
- Lorentz and Marcinkiewicz spaces
- Strict monotonicity
- Strict convexity
- Order continuity
- Extreme point
- Existence set
- One-complemented subspace