- Research
- Open access
- Published:
The binomial sequence spaces which include the spaces \(\ell_{p}\) and \(\ell_{\infty}\) and geometric properties
Journal of Inequalities and Applications volume 2016, Article number: 304 (2016)
Abstract
In this work, we introduce the binomial sequence spaces \(b^{r,s}_{p}\) and \(b^{r,s}_{\infty}\) which include the spaces \(\ell_{p}\) and \(\ell _{\infty}\), in turn. Moreover, we show that the spaces \(b^{r,s}_{p}\) and \(b^{r,s}_{\infty}\) are BK-spaces and prove that these spaces are linearly isomorphic to the spaces \(\ell_{p}\) and \(\ell_{\infty}\), respectively. Furthermore, we speak of some inclusion relations and give the Schauder basis of the space \(b^{r,s}_{p}\). Lastly, we determine the α-, β-, and γ-duals of those spaces and give some geometric properties of the space \(b^{r,s}_{p}\).
1 The basic information and notations
The set of all real (or complex) valued sequences is symbolized by w which becomes a vector space under point-wise addition and scalar multiplication. Any vector subspace of w is called a sequence space. The spaces of all bounded, null, convergent, and absolutely p-summable sequences are denoted by \(\ell_{\infty}\), \(c_{0}\), c, and \(\ell_{p}\), respectively, where \(1\leq p<\infty\).
A Banach sequence space is called a BK-space provided each of the maps \(p_{n}:X\longrightarrow\mathbb{C}\) defined by \(p_{n}=x_{n}\) is continuous for all \(n \in\mathbb{N}\) [1]. By considering the notion of BK-space, one can say that the sequence spaces \(\ell_{\infty }\), \(c_{0}\), and c are BK-spaces according to their usual sup-norm defined by \(\Vert x \Vert_{\infty}=\sup_{k \in\mathbb {N}}|x_{k}|\) and \(\ell_{p}\) is a BK-space according to its \(\ell _{p}\)-norm defined by
where \(1\leq p <\infty\).
For an arbitrary infinite matrix \(A=(a_{nk})\) of real (or complex) entries and \(x=(x_{k})\in w\), the A-transform of x is defined by
and is supposed to be convergent for all \(n \in\mathbb{N}\) [2]. In terms of the ease of use, we prefer that the summation without limits runs from 0 to ∞.
Given two sequence spaces X and Y, and an infinite matrix \(A=(a_{nk})\), the sequence space \(X_{A}\) is defined by
which is called the domain of an infinite matrix A. Also, by \((X:Y)\), we denote the class of all matrices such that \(X\subset Y_{A}\). If \(a_{nk}=0\) for \(k>n\) and \(a_{nn}\neq0\) for all \(n, k \in\mathbb{N}\), an infinite matrix \(A=(a_{nk})\) is called a triangle. Also, a triangle matrix A uniquely has an inverse \(A^{-1}\) which is a triangle matrix.
Let the summation matrix \(S=(s_{nk})\) be defined as follows:
for all \(k,n\in\mathbb{N}\). Then the spaces of all bounded and convergent series are defined by means of the summation matrix such that \(bs=(\ell_{\infty})_{S}\) and \(cs=c_{S}\), respectively.
The theory of matrix transformation was set in motion by the theory of summability which was developed by Cesàro, Norlund, Riesz, etc. By taking into account this theory, many authors have constructed new sequence spaces. For example, \((\ell_{\infty})_{N_{q}}\) and \(c_{N_{q}}\) in [3], \(X_{p}\) and \(X_{\infty}\) in [4], \(a_{p}^{r}\) and \(a_{\infty}^{r}\) in [5]. Furthermore, many authors have used especially the Euler matrix for defining new sequence spaces. These are \(e_{0}^{r}\) and \(e_{c}^{r}\) in [6], \(e_{p}^{r}\) and \(e_{\infty }^{r}\) in [7] and [8], \(e_{0}^{r}(\Delta)\), \(e_{c}^{r}(\Delta)\) and \(e_{\infty}^{r}(\Delta)\) in [9], \(e_{0}^{r}(\Delta^{(m)})\), \(e_{c}^{r}(\Delta^{(m)})\) and \(e_{\infty}^{r}(\Delta^{(m)})\) in [10], \(e_{0}^{r}(B^{(m)})\), \(e_{c}^{r}(B^{(m)})\), and \(e_{\infty }^{r}(B^{(m)})\) in [11], \(e_{0}^{r}(\Delta, p)\), \(e_{c}^{r}(\Delta , p)\), and \(e_{\infty}^{r}(\Delta, p)\) in [12], \(e_{0}^{r}(u , p)\) and \(e_{c}^{r}(u , p)\) in [13].
In this work, we introduce the binomial sequence spaces \(b^{r,s}_{p}\) and \(b^{r,s}_{\infty}\) which include the spaces \(\ell_{p}\) and \(\ell _{\infty}\), in turn. Moreover, we show that the spaces \(b^{r,s}_{p}\) and \(b^{r,s}_{\infty}\) are BK-spaces and prove that these spaces are linearly isomorphic to the spaces \(\ell_{p}\) and \(\ell_{\infty}\), respectively. Furthermore, we speak of some inclusion relations and give the Schauder basis of the space \(b^{r,s}_{p}\). Lastly, we determine the α-, β-, and γ-duals of those spaces and give some geometric properties of the space \(b^{r,s}_{p}\).
2 The binomial sequence spaces which include the spaces \(\ell _{p}\) and \(\ell_{\infty}\)
In this part, we define the binomial sequence spaces \(b^{r,s}_{p}\) and \(b^{r,s}_{\infty}\) which include the spaces \(\ell_{p}\) and \(\ell_{\infty }\), respectively. Furthermore, we show that those spaces are BK-spaces and are linearly isomorphic to the spaces \(\ell_{p}\) and \(\ell_{\infty}\). Also, we show that the binomial sequence space \(b^{r,s}_{p}\) is not a Hilbert space except the case \(p=2\), where \(1\leq p <\infty\).
Let \(r,s\) be nonzero real numbers with \(r+s \neq0\). Then the binomial matrix \(B^{r,s}=(b^{r,s}_{nk})\) is defined as follows:
for all \(k,n \in\mathbb{N}_{0}\). For \(sr>0\), one can easily check that the following properties hold for the binomial matrix \(B^{r,s}=(b^{r,s}_{nk})\):
-
(i)
\(\Vert B^{r,s} \Vert<\infty\),
-
(ii)
\(\lim_{n \rightarrow\infty}b_{nk}^{r,s}=0\) (each \(k \in \mathbb{N}\)),
-
(iii)
\(\lim_{n\rightarrow\infty}\sum_{k}b_{nk}^{r,s}=1\).
Thus, the binomial matrix is regular whenever \(sr>0\). Here and in the following, unless stated otherwise, we suppose that \(sr>0\).
By taking into account the binomial matrix \(B^{r,s}=(b^{r,s}_{nk})\), the binomial sequence spaces \(b^{r,s}_{p}\) and \(b^{r,s}_{\infty}\) are defined by
and
By considering the notation of (1.2), the binomial sequence spaces \(b^{r,s}_{p}\) and \(b^{r,s}_{\infty}\) can be redefined by the matrix domain of \(B^{r,s}=(b^{r,s}_{nk})\) as follows:
Let us define a sequence \(y=(y_{k})\) as follows:
for all \(k\in\mathbb{N}\). This sequence will be frequently used as the \(B^{r,s}\)-transform of x.
We would like to touch on a point, if we take \(s+r=1\), we obtain the Euler matrix \(E^{r}=(e_{nk}^{r})\). So, the binomial matrix \(B^{r,s}=(b^{r,s}_{nk})\) generalizes the Euler matrix.
Now, we want to continue with the following theorem which is needed in the next.
Theorem 2.1
The binomial sequence spaces \(b^{r,s}_{p}\) and \(b^{r,s}_{\infty}\) are BK-spaces according to their norms defined by
and
where \(1\leq p <\infty\).
Proof
We know that the sequence spaces \(\ell_{p}\) and \(\ell_{\infty}\) are BK-spaces with their \(\ell_{p}\)-norm and sup-norm, respectively, where \(1\leq p <\infty\). Furthermore, (2.1) holds and the binomial matrix \(B^{r,s}=(b^{r,s}_{nk})\) is a triangle matrix. By taking into account these three facts and Theorem 4.3.12 of Wilansky [2], we conclude that the binomial sequence spaces \(b^{r,s}_{p}\) and \(b^{r,s}_{\infty}\) are BK-spaces, where \(1\leq p <\infty\). This completes the proof of the theorem. □
Theorem 2.2
The binomial sequence spaces \(b^{r,s}_{p}\) and \(b^{r,s}_{\infty}\) are linearly isomorphic to the sequence spaces \(\ell_{p}\) and \(\ell_{\infty }\), in turn, where \(1\leq p <\infty\).
Proof
To refrain from the usage of similar statements, we prove the theorem for only the sequence space \(b^{r,s}_{p}\), where \(1\leq p <\infty\). For the proof of the theorem, we need to show the existence of a linear bijection between the spaces \(b^{r,s}_{p}\) and \(\ell_{p}\). Let L be a transformation such that \(L:b^{r,s}_{p}\longrightarrow\ell_{p} \), \(L(x)=B^{r,s}x\). By the definition of the binomial sequence space \(b^{r,s}_{p}\), we conclude that, for all \(x \in b^{r,s}_{p}\), \(L(x)=B^{r,s}x \in\ell_{p}\). Furthermore, it is obvious that L is a linear transformation and \(x=0\) whenever \(L(x)=0\). Therefore, L is injective.
For given \(y=(y_{k})\in\ell_{p}\), let us define a sequence \(x=(x_{k})\) such that
for all \(k \in\mathbb{N}\). Then we get
Hence, we conclude that L is norm preserving and \(x \in b^{r,s}_{p}\), namely L is surjective. As a consequence, L is a linear bijection. This means that the spaces \(b^{r,s}_{p}\) and \(\ell_{p}\) are linearly isomorphic, that is, \(b_{p}^{r,s} \cong\ell_{p}\), where \(1\leq p <\infty\). This completes the proof of the theorem. □
Theorem 2.3
The binomial sequence space \(b^{r,s}_{p}\) is not a Hilbert space except the case \(p=2\), where \(1\leq p <\infty\).
Proof
Let \(p=2\). Remembering Theorem 2.1, one can say that \(b^{r,s}_{2}\) is a BK-space according to its \(\ell_{2}\)-norm defined by
Moreover, this norm can be generated by an inner product such that
Therefore, \(b^{r,s}_{2}\) is a Hilbert space.
Now, we assume that \(1\leq p <\infty\) and \(p\neq2\). We define two sequences \(y=(y_{k})\) and \(z=(z_{k})\) as follows:
for all \(k \in\mathbb{N}\). Then we obtain
Thus, the norm of the binomial sequence space \(b^{r,s}_{p}\) does not satisfy the parallelogram equality. As a consequence, the norm cannot be generated by an inner product, that is, the binomial sequence space \(b^{r,s}_{p}\) is not a Hilbert space whenever \(p\neq2\). This completes the proof of the theorem. □
3 The inclusion relations and Schauder basis
In this part, we speak of some inclusion relations and give the Schauder basis for the binomial sequence space \(b_{p}^{r,s}\), where \(1\leq p <\infty\).
Theorem 3.1
The inclusions \(e_{p}^{r} \subset b_{p}^{r,s}\) and \(e_{\infty}^{r} \subset b_{\infty}^{r,s}\) strictly hold, where \(e_{p}^{r}\) and \(e_{\infty}^{r}\) are the Euler sequence spaces which include the spaces \(\ell_{p}\) and \(\ell_{\infty}\), respectively.
Proof
If \(r+s=1\), one can easily see that \(E^{r}=B^{r,s}\). Therefore, the inclusion \(e_{\infty}^{r} \subset b_{\infty}^{r,s}\) holds. Suppose that \(0< r<1\) and \(s=5\). Let us now consider a sequence \(x=(x_{k})\) such that \(x_{k}= (-\frac{4}{r} )^{k}\) for all \(k \in\mathbb{N}\). Then it is clear that \(x=(x_{k})= ( (-\frac{4}{r} )^{k} ) \notin \ell_{\infty}\), \(E^{r}x= ( (-3-r)^{k} ) \notin\ell_{\infty}\) and \(B^{r,s}x= ( (\frac{1}{5+r} )^{k} ) \in\ell_{\infty}\). As a result of this, \(x=(x_{k}) \in b^{r,s}_{\infty}\setminus e_{\infty }^{r}\). This shows that the inclusion \(e_{\infty}^{r} \subset b_{\infty }^{r,s}\) is strictly. We can prove the other part of the theorem by using a similar technique. This completes the proof of the theorem. □
Theorem 3.2
The inclusion \(\ell_{p} \subset b^{r,s}_{p}\) is strict, where \(1\leq p <\infty\).
Proof
First we assume that \(1< p <\infty\). From the definition of the space \(\ell_{p}\), we write
for all \(x=(x_{k}) \in\ell_{p}\). For given an arbitrary sequence \(x=(x_{k}) \in\ell_{p}\), by taking into account the equality (2.2) and the Hölder inequality, we obtain
where \(1\leq p <\infty\). And
If we consider the comparison test, we conclude that \(B^{r,s}x \in\ell _{p}\), namely \(x \in b_{p}^{r,s}\). As a consequence \(\ell_{p} \subset b^{r,s}_{p}\), where \(1< p <\infty\).
Now, we keep in view the sequence \(v=(v_{k})\) defined by \(v_{k}=(-1)^{k}\) for all \(k \in\mathbb{N}\). Then it is clear that \(v=(v_{k}) \notin\ell_{p}\) and \(B^{r,s}v= ( (\frac{s-r}{s+r} )^{k} ) \in\ell_{p}\), namely \(v=(v_{k}) \in b_{p}^{r,s}\). Because of \(v=(v_{k})\in b_{p}^{r,s}\setminus\ell_{p}\), the inclusion \(\ell_{p} \subset b^{r,s}_{p}\) is strict. In case of \(p=1\), the theorem can be proved by using a similar method. This completes the proof of the theorem. □
Theorem 3.3
The spaces \(b^{r,s}_{p}\) and \(\ell_{\infty}\) overlap but these spaces do not include each other, where \(1\leq p <\infty\).
Proof
It is obvious that \(v=((-1)^{k}) \in\ell_{\infty}\) and \(v=((-1)^{k})\in b_{p}^{r,s}\). So, the spaces \(b^{r,s}_{p}\) and \(\ell _{\infty}\) overlap, where \(1\leq p <\infty\). Here, we consider the sequences \(e=(1,1,1,\ldots)\) and \(u=(u_{k})\) defined by \(u_{k}= (-\frac{s}{r} )^{k}\) for all \(k \in\mathbb{N}\), where \(\vert \frac{s}{r}\vert >1\). Then we conclude that \(e \in\ell_{\infty}\) but \(B^{r,s}e=e\notin\ell_{p}\), that is, \(e\notin b_{p}^{r,s}\) and \(u \notin\ell_{\infty}\) but \(B^{r,s}u=(1,0,0,\ldots)\in\ell_{p}\), namely \(u\in b_{p}^{r,s}\). As a consequence, \(e \in\ell_{\infty}\setminus b_{p}^{r,s}\) and \(u \in b_{p}^{r,s}\setminus\ell_{\infty}\). On account of this, \(b^{r,s}_{p}\) and \(\ell_{\infty}\) do not include each other, where \(1\leq p <\infty\). This completes the proof of the theorem. □
Theorem 3.4
The inclusions \(\ell_{\infty} \subset b^{r,s}_{\infty}\) and \(b^{r,s}_{p} \subset b^{r,s}_{\infty}\) are strict, where \(1\leq p <\infty\).
Proof
The inequality
holds for all \(x \in\ell_{\infty}\). In this way, the inclusion \(\ell _{\infty} \subset b^{r,s}_{\infty}\) holds. Now, we consider the sequence \(v=(v_{k})\) defined by \(v_{k}= (-\frac{s+r}{r} )^{k}\) for all \(k \in\mathbb{N}\). Then we conclude that \(v=(v_{k}) \notin\ell_{\infty}\) but \(B^{r,s}v= ( (-\frac{r}{r+s} )^{k} ) \in\ell_{\infty}\), namely \(v=(v_{k}) \in b_{\infty}^{r,s}\). Therefore, the inclusion \(\ell_{\infty} \subset b^{r,s}_{\infty}\) strictly holds.
For given \(x=(x_{k}) \in b_{p}^{r,s}\), where \(1\leq p <\infty\), by taking into account Theorem 2.2 and the inclusion \(\ell _{p}\subset\ell_{\infty}\), we conclude that \(B^{r,s}x \in\ell_{\infty }\), namely \(x \in b^{r,s}_{\infty}\). Thus, the inclusion \(b^{r,s}_{p} \subset b^{r,s}_{\infty}\) holds. Also, it is clear that \(e \in b^{r,s}_{\infty}\setminus b_{p}^{r,s}\). Hence, the inclusion \(b^{r,s}_{p} \subset b^{r,s}_{\infty}\) is strict. This completes the proof of the theorem. □
Now, let us continue with the definition of the Schauder basis of a normed space. Let \((X,\Vert\cdot\Vert_{X})\) be a normed sequence space and \(d=(d_{k})\) be a sequence in X. If for every \(x \in X\), there exists a unique sequence of scalars \(\lambda=(\lambda_{k})\) such that
then \(d=(d_{k})\) is called a Schauder basis for X [1].
Theorem 3.5
Let \(\mu_{k}= \{B^{r,s}x \}_{k}\) be given for all \(k \in \mathbb{N}\). We define the sequence \(g^{(k)}(r,s)= \{ g^{(k)}_{n}(r,s) \}_{n \in\mathbb{N}}\) of the elements of the binomial sequence space \(b_{p}^{r,s}\) as follows:
for all fixed \(k \in\mathbb{N}\). Then the sequence \(\{ g^{(k)}(r,s) \}_{k \in\mathbb{N}}\) is a Schauder basis for the binomial sequence space \(b_{p}^{r,s}\), and every \(x \in b_{p}^{r,s}\) has a unique representation of the form
where \(1\leq p <\infty\).
Proof
Let \(x=(x_{k}) \in b_{p}^{r,s}\) be given, where \(1\leq p <\infty\). For all non-negative integer m, we define
Then, if we apply the binomial matrix \(B^{r,s}=(b^{r,s}_{nk})\) to \(x^{[m]}\), we write
and
for all \(m,n \in\mathbb{N}\).
For any given \(\epsilon>0\), there exists a non-negative integer \(m_{0}\) such that
for all \(m \geq m_{0}\). Thus,
for all \(m \geq m_{0}\). This shows us that
Lastly, we should show the uniqueness of this representation. For this purpose, assume that
Since the linear transformation L defined from \(b_{p}^{r,s}\) to \(\ell _{p}\) in the proof of Theorem 2.2 is continuous, we have
for every \(n \in\mathbb{N}\), which contradicts the fact that \((B^{r,s}x )_{n}=\mu_{n}\) for every \(n \in\mathbb{N}\). Therefore, every \(x \in b_{p}^{r,s}\) has a unique representation. This completes the proof of the theorem. □
From Theorem 2.1, we know that \(b_{p}^{r,s}\) is a Banach space, where \(1\leq p <\infty\). If we consider this fact and Theorem 3.5, we can give the next corollary.
Corollary 3.6
The binomial sequence space \(b_{p}^{r,s}\) is separable, where \(1\leq p <\infty\).
4 The α- , β-, and γ-duals
In this part, we determine the α-, β-, and γ-duals of the binomial sequence spaces \(b^{r,s}_{p}\) and \(b^{r,s}_{\infty}\), where \(1\leq p <\infty\).
Now, we start with a definition. The multiplier space of the sequence spaces X and Y is denoted by \(M(X,Y)\) and defined by
By taking into account the definition of a multiplier space, the α-, β -,and γ-duals of a sequence space X are defined by
respectively.
For use in the next lemma, we now give some properties:
where \(\mathcal{F}\) is the collection of all finite subsets of \(\mathbb {N}\), \(\frac{1}{p}+\frac{1}{q}=1\) and \(1< p \leq\infty\).
Lemma 4.1
see [14]
Let \(A=(a_{nk})\) be an infinite matrix, then the following hold:
-
(i)
\(A=(a_{nk}) \in(\ell_{1}:\ell_{1})\) ⇔ (4.6) holds,
- (ii)
-
(iii)
\(A=(a_{nk}) \in(\ell_{1}:\ell_{\infty})\) ⇔ (4.2) holds,
-
(iv)
\(A=(a_{nk}) \in(\ell_{p}:\ell_{1})\) ⇔ (4.4) holds with \(\frac{1}{p}+\frac{1}{q}=1\) and \(1< p \leq\infty\),
-
(v)
\(A=(a_{nk}) \in(\ell_{p}:c)\) ⇔ (4.1) and (4.3) hold with \(\frac{1}{p}+\frac{1}{q}=1\) and \(1< p < \infty\),
-
(vi)
\(A=(a_{nk}) \in(\ell_{p}:\ell_{\infty})\) ⇔ (4.1) holds with \(\frac{1}{p}+\frac{1}{q}=1\) and \(1< p < \infty\),
- (vii)
-
(viii)
\(A=(a_{nk}) \in(\ell_{\infty}:\ell_{\infty})\) ⇔ (4.1) holds with \(q=1\).
Theorem 4.2
Let \(v_{1}^{r,s}\) and \(v_{2}^{r,s}\) be defined as follows:
and
Then \(\{b_{1}^{r,s} \}^{\alpha}=v_{2}^{r,s}\) and \(\{ b_{p}^{r,s} \}^{\alpha}=v_{1}^{r,s}\), where \(1< p \leq\infty\).
Proof
Let \(a=(a_{n}) \in w\) be given. Remembering the sequence \(x=(x_{n})\), which is defined in the proof of Theorem 2.2, we have
for all \(n \in\mathbb{N}\). Then, by considering the equality above, we deduce that \(ax=(a_{n}x_{n}) \in\ell_{1}\) whenever \(x=(x_{k}) \in b_{1}^{r,s}\) or \(x=(x_{k}) \in b_{p}^{r,s}\) if and only if \(H^{r,s}y \in\ell_{1}\) whenever \(y=(y_{k}) \in\ell_{1}\) or \(y=(y_{k}) \in\ell _{p}\), respectively, where \(1< p \leq\infty\). This shows us that \(a=(a_{n}) \in \{b_{1}^{r,s} \}^{\alpha}\) or \(a=(a_{n}) \in \{b_{p}^{r,s} \}^{\alpha}\) if and only if \(H^{r,s} \in(\ell _{1}:\ell_{1})\) or \(H^{r,s} \in(\ell_{p}:\ell_{1})\), respectively, where \(1< p \leq\infty\). If we combine these two facts and Lemma 4.1(i) and (iv), we obtain
or
respectively, where \(1< p \leq\infty\). Therefore, \(\{ b_{1}^{r,s} \}^{\alpha}=v_{2}^{r,s}\) and \(\{b_{p}^{r,s} \}^{\alpha}=v_{1}^{r,s}\), where \(1< p \leq\infty\). This completes the proof of the theorem. □
Theorem 4.3
Let \(v_{3}^{r,s}\), \(v_{4}^{r,s}\), \(v_{5}^{r,s}\), \(v_{6}^{r,s}\), and \(v_{7}^{r,s}\) be defined as follows:
Then the following equalities hold:
-
(I)
\(\{b_{1}^{r,s} \}^{\beta}=v_{3}^{r,s}\cap v_{4}^{r,s}\),
-
(II)
\(\{b_{p}^{r,s} \}^{\beta}=v_{3}^{r,s}\cap v_{6}^{r,s}\), where \(1< p<\infty\),
-
(III)
\(\{b_{\infty}^{r,s} \}^{\beta}=v_{3}^{r,s}\cap v_{5}^{r,s}\),
-
(IV)
\(\{b_{1}^{r,s} \}^{\gamma}=v_{4}^{r,s}\),
-
(V)
\(\{b_{p}^{r,s} \}^{\gamma}=v_{6}^{r,s}\), where \(1< p<\infty\),
-
(VI)
\(\{b_{\infty}^{r,s} \}^{\gamma}=v_{7}^{r,s}\).
Proof
To avoid the repetition of similar statements, we give the proof of the theorem for only the sequence space \(b_{p}^{r,s}\), where \(1< p<\infty\).
Let \(a=(a_{k}) \in w\) be given. By considering the sequence \(x=(x_{k})\), which is used in the proof of Theorem 2.2, we obtain
for all \(n \in\mathbb{N}\), where the matrix \(G^{r,s}=(g_{nk}^{r,s})\) is defined by
for all \(k,n \in\mathbb{N}\). Then:
(II) \(ax=(a_{k}x_{k}) \in cs\) whenever \(x=(x_{k}) \in b_{p}^{r,s}\) if and only if \(G^{r,s}y \in c\) whenever \(y=(y_{k}) \in\ell_{p}\), where \(1< p<\infty\). This fact shows that \(a=(a_{k}) \in \{ b_{p}^{r,s} \}^{\beta}\) if and only if \(G^{r,s} \in(\ell_{p}:c)\), where \(1< p<\infty\). By combining this result and Lemma 4.1(v), we deduce that
and
where \(1< p<\infty\) and \(\frac{1}{p}+\frac{1}{q}=1\). As a result of this, we obtain \(\{b_{p}^{r,s} \}^{\beta }=v_{3}^{r,s}\cap v_{6}^{r,s}\), where \(1< p<\infty\).
(V) By following a similar way, \(ax=(a_{k}x_{k}) \in bs\) whenever \(x=(x_{k}) \in b_{p}^{r,s}\) if and only if \(G^{r,s}y \in\ell_{\infty}\) whenever \(y=(y_{k}) \in\ell_{p}\), where \(1< p<\infty\). This says us that \(a=(a_{k}) \in \{b_{p}^{r,s} \}^{\gamma}\) if and only if \(G^{r,s} \in(\ell_{p}:\ell_{\infty})\), where \(1< p<\infty\). By using this result and Lemma 4.1(vi), we conclude that (4.7) holds, where \(1< p<\infty\) and \(\frac{1}{p}+\frac{1}{q}=1\). As a consequence of this, we obtain \(\{b_{p}^{r,s} \}^{\gamma }=v_{6}^{r,s}\), where \(1< p<\infty\). This completes the proof of the theorem. □
5 Geometric properties of the binomial sequence space \(b_{p}^{r,s}\)
In this part, we give some geometric properties of the binomial sequence space \(b_{p}^{r,s}\). Let us start with some notions.
Let \((X,\Vert\cdot\Vert_{X})\) be a Banach space. Then X is said to have the Banach-Saks property, if every bounded sequence \(u=(u_{n})\) contains a subsequence \(v=(v_{n})\) such that the Cesàro means \(\frac{1}{n+1}\sum_{k=0}^{n}v_{k}\) are norm convergent [15].
X is said to have the weak Banach-Saks property, if every weakly null sequence \(u=(u_{n})\) contains a subsequence \(v=(v_{n})\) such that the Cesàro means \(\frac{1}{n+1}\sum_{k=0}^{n}v_{k}\) are norm convergent [15].
X is said to have Banach-Saks type p, if every weakly null sequence \(u=(u_{n})\) has a subsequence \(v=(v_{n})\) such that, for some \(M>0\),
for all \(n\in\mathbb{N}\), where \(1< p<\infty\) [16].
Let C be a weakly compact convex subset of X. Then X is said to have the weak fixed point property, if every self mapping \(T:C\longrightarrow C\) that provides \(\Vert Tx-Ty \Vert\leq\Vert x-y \Vert\) for all \(x,y \in C\) has a fixed point [17].
Let X be a normed linear space and \(S(X)\) be a unit sphere of X. Then the Gurarii modulus of convexity is defined as follows:
where \(0\leq\epsilon\leq2\) [18].
Theorem 5.1
see [19]
A Banach space X has the weak fixed point property, if X provides the condition
where the supremum is taken over all weakly null sequences \((x_{n})\) of the unit ball and all points x of the unit ball.
Theorem 5.2
The binomial sequence space \(b_{p}^{r,s}\) is of the Banach-Saks type p.
Proof
Let \((u_{n})\) be a weakly null sequence in the \(B(b_{p}^{r,s})\) unit ball of \(b_{p}^{r,s}\). We suppose that \((\epsilon_{n})\) is a sequence of positive numbers provided \(\sum\epsilon_{n}\leq\frac{1}{2}\). Construct \(v_{0}=u_{0}=0\) and \(v_{1}=u_{n_{1}}=u_{1}\). Then we can find an \(m_{1}\in\mathbb{N}\) such that
By virtue of \(u_{n}\stackrel{w}{\longrightarrow}0\) implying \(u_{n}\longrightarrow0\) coordinatewise, we can find an \(n_{2}\in\mathbb{N}\) such that
as \(n\geq n_{2}\). Construct \(v_{2}=u_{n_{2}}\). Then we can find an \(m_{2}>m_{1}\) such that
If we use \(x_{n}\longrightarrow0\) coordinatewise one more time, we can find an \(n_{3}>n_{2}\) such that
as \(n\geq n_{3}\).
By continuing this method, we can constitute two increasing sequences \((m_{k})\) and \((n_{k})\) such that
for all \(n\geq n_{k+1}\) and
where \(v_{k}=u_{n_{k}}\). Thus
and
Thus we obtain
As a consequence, the binomial sequence space \(b_{p}^{r,s}\) is of the Banach-Saks type p. This completes the proof of the theorem. □
We know from Theorem 2.2 that \(b_{p}^{r,s}\) is linearly isomorphic to \(\ell_{p}\). So, it is clear that \(R(b_{p}^{r,s})=R(\ell _{p})=2^{\frac{1}{p}}\).
By combining this fact and Theorem 5.1, we can give the next theorem.
Theorem 5.3
The binomial sequence space \(b_{p}^{r,s}\) has the weak fixed point property, where \(1< p<\infty\).
Theorem 5.4
The inequality \(\beta_{b_{p}^{r,s}}(\epsilon)\leq1- [ 1- (\frac {\epsilon}{2} )^{p} ]^{\frac{1}{p}}\) holds, where \(0 \leq \epsilon\leq2\).
Proof
Let \(0 \leq\epsilon\leq2\) be given. By assuming the inverse of the binomial matrix \(B^{r,s}\) is D, we construct two sequences u and v as follows:
Then we obtain
This shows that \(u,v \in S(b_{p}^{r,s})\) and \(\Vert B^{r,s}u-B^{r,s}v \Vert_{\ell_{p}}=\Vert u-v\Vert_{b_{p}^{r,s}}=\epsilon\).
For \(0 \leq\lambda\leq1\), we have
and
Thus, we obtain
This completes the proof of the theorem. □
By using the equality (5.1), we find two more results.
Corollary 5.5
Since \(\beta_{b_{p}^{r,s}}(\epsilon)=1\), the binomial sequence space \(b_{p}^{r,s}\) is strictly convex.
Corollary 5.6
Since \(0<\beta_{b_{p}^{r,s}}(\epsilon)\leq1\), for \(0<\epsilon\leq2\), the binomial sequence space \(b_{p}^{r,s}\) is uniformly convex.
6 Conclusion
By taking into account the binomial matrix \(B^{r,s}=(b_{nk}^{r,s})\), we conclude that \(B^{r,s}=(b_{nk}^{r,s})\) reduces in the case \(r+s=1\) to \(E^{r}=(e_{nk}^{r})\) which is called the Euler matrix of order r. Therefore, our results obtained from the matrix domain of the binomial matrix \(B^{r,s}=(b_{nk}^{r,s})\) are more general and more extensive than the results on the matrix domain of the Euler matrix of order r. Furthermore, the binomial matrix \(B^{r,s}=(b_{nk}^{r,s})\) is not a special case of the weighed mean matrices. Thus, this paper has filled up a gap in the existent literature.
References
Choudhary, B, Nanda, S: Functional Analysis with Applications. Wiley, New Delhi (1989)
Wilansky, A: Summability Through Functional Analysis. North-Holland Mathematics Studies, vol. 85. Elsevier, Amsterdam (1984)
Wang, C-S: On Nörlund sequence spaces. Tamkang J. Math. 9, 269-274 (1978)
Ng, P-N, Lee, P-Y: Cesàro sequence spaces of non-absolute type. Comment. Math. Prace Mat. 20(2), 429-433 (1978)
Aydın, C, Başar, F: Some new sequence spaces which include the spaces \(\ell_{p}\) and \(\ell_{\infty}\). Demonstr. Math. 38(3), 641-656 (2005)
Altay, B, Başar, F: Some Euler sequence spaces of non-absolute type. Ukr. Math. J. 57(1), 1-17 (2005)
Altay, B, Başar, F, Mursaleen, M: On the Euler sequence spaces which include the spaces \(\ell _{p}\) and \(\ell_{\infty}\). I. Inf. Sci. 176(10), 1450-1462 (2006)
Mursaleen, M, Başar, F, Altay, B: On the Euler sequence spaces which include the spaces \(\ell _{p}\) and \(\ell_{\infty}\). II. Nonlinear Anal. 65(3), 707-717 (2006)
Altay, B, Polat, H: On some new Euler difference sequence spaces. Southeast Asian Bull. Math. 30(2), 209-220 (2006)
Polat, H, Başar, F: Some Euler spaces of difference sequences of order m. Acta Math. Sci. Ser. B Engl. Ed. 27(2), 254-266 (2007)
Kara, EE, Başarır, M: On compact operators and some Euler \(B^{(m)}\)-difference sequence spaces. J. Math. Anal. Appl. 379(2), 499-511 (2011)
Karakaya, V, Polat, H: Some new paranormed sequence spaces defined by Euler difference operators. Acta Sci. Math. 76, 87-100 (2010)
Demiriz, S, Çakan, C: On some new paranormed Euler sequence spaces and Euler core. Acta Math. Sin. Engl. Ser. 26(7), 1207-1222 (2010)
Stieglitz, M, Tietz, H: Matrix transformationen von folgenräumen eine ergebnisübersicht. Math. Z. 154, 1-16 (1977)
Beauzamy, B: Banach-Saks properties and spreading models. Math. Scand. 44, 357-384 (1997)
Knaust, H: Orlicz sequence spaces of Banach-Saks type. Arch. Math. 59, 562-565 (1992)
Garcia-Falset, J: Stability and fixed points for nonexpansive mappings. Houst. J. Math. 20, 495-505 (1994)
Sánchez, L, Ullán, A: Some properties of Gurarii’s modulus of continuity. Arch. Math. 71, 399-406 (1998)
Garcia-Falset, J: The fixed point property in Banach spaces with NUS-property. J. Math. Anal. Appl. 215(2), 532-542 (1997)
Acknowledgements
I would like to express my thanks to the anonymous reviewers for their valuable comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that they have no competing interests.
Author’s contributions
The author read and approved the final manuscript.
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
Bişgin, M.C. The binomial sequence spaces which include the spaces \(\ell_{p}\) and \(\ell_{\infty}\) and geometric properties. J Inequal Appl 2016, 304 (2016). https://doi.org/10.1186/s13660-016-1252-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-016-1252-4