 Research
 Open access
 Published:
Domain of the double sequential band matrix in the classical sequence spaces
Journal of Inequalities and Applications volume 2012, Article number: 281 (2012)
Abstract
Let λ denote any one of the classical spaces {\ell}_{\mathrm{\infty}}, c, {c}_{0} and {\ell}_{p} of bounded, convergent, null and absolutely psummable sequences, respectively, and \tilde{\lambda} also be the domain of the double sequential band matrix B(\tilde{r},\tilde{s}) in the sequence space λ, where {({r}_{n})}_{n=0}^{\mathrm{\infty}} and {({s}_{n})}_{n=0}^{\mathrm{\infty}} are given convergent sequences of positive real numbers and 1\le p<\mathrm{\infty}. The present paper is devoted to studying the sequence space \tilde{\lambda}. Furthermore, the β and γduals of the space \tilde{\lambda} are determined, the Schauder bases for the spaces \tilde{c}, {\tilde{c}}_{0} and {\tilde{\ell}}_{p} are given, and some topological properties of the spaces {\tilde{c}}_{0}, {\tilde{\ell}}_{1} and {\tilde{\ell}}_{p} are examined. Finally, the classes ({\tilde{\lambda}}_{1}:{\lambda}_{2}) and ({\tilde{\lambda}}_{1}:{\tilde{\lambda}}_{2}) of infinite matrices are characterized, where {\lambda}_{1}\in \{{\ell}_{\mathrm{\infty}},c,{c}_{0},{\ell}_{p},{\ell}_{1}\} and {\lambda}_{2}\in \{{\ell}_{\mathrm{\infty}},c,{c}_{0},{\ell}_{1}\}.
MSC:46A45, 40C05.
1 Preliminaries, background and notation
By a sequence space, we understand a linear subspace of the space \omega ={\mathbb{C}}^{\mathbb{N}} of all complex sequences which contains ϕ, the set of all finitely nonzero sequences, where ℂ denotes the complex field and \mathbb{N}=\{0,1,2,\dots \}. We write {\ell}_{\mathrm{\infty}}, c, {c}_{0} and {\ell}_{p} for the classical sequence spaces of all bounded, convergent, null and absolutely psummable sequences, respectively, where 1\le p<\mathrm{\infty}. Also, by bs and cs, we denote the spaces of all bounded and convergent series, respectively. bv is the space consisting of all sequences ({x}_{k}) such that ({x}_{k}{x}_{k+1}) in {\ell}_{1} and b{v}_{0} is the intersection of the spaces bv and {c}_{0}. We assume throughout, unless stated otherwise, that p,q>1 with {p}^{1}+{q}^{1}=1 and use the convention that any term with a negative subscript is equal to naught.
Let A=({a}_{nk}) be an infinite matrix of complex numbers {a}_{nk}, where n,k\in \mathbb{N}, and write
where {D}_{00}(A) denotes the subspace of ω consisting of x\in \omega for which the sum exists as a finite sum. For simplicity in notation, here and in what follows, the summation without limits runs from 0 to ∞. More generally if μ is a normed sequence space, we can write {D}_{\mu}(A) for x\in \omega, for which the sum in (1.1) converges in the norm of μ. We write
for the space of those matrices which send the whole of the sequence space λ into the sequence space μ in this sense.
A matrix A=({a}_{nk}) is called a triangle if {a}_{nk}=0 for k>n and {a}_{nn}\ne 0 for all n\in \mathbb{N}. It is trivial that A(Bx)=(AB)x holds for the triangle matrices A, B and a sequence x. Further, a triangle matrix U uniquely has an inverse {U}^{1}=V which is also a triangle matrix. Then x=U(Vx)=V(Ux) holds for all x\in \omega.
Let us give the definition of some triangle limitation matrices which are needed in the text. Let t=({t}_{k}) be a sequence of positive reals and write
Then the Cesáro mean of order one, Riesz mean with respect to the sequence t=({t}_{k}) and Euler mean of order r are respectively defined by the matrices C=({c}_{nk}), {R}^{t}=({r}_{nk}^{t}) and {E}^{r}=({e}_{nk}^{r}), where
and
for all k,n\in \mathbb{N}. We write \mathcal{U} for the set of all sequences u=({u}_{k}) such that {u}_{k}\ne 0 for all k\in \mathbb{N}. For u\in \mathcal{U}, let 1/u=(1/{u}_{k}). Let z,u,v\in \mathcal{U} and define the summation matrix S=({s}_{nk}), the difference matrix \mathrm{\Delta}=({\delta}_{nk}), the generalized weighted mean or factorable matrix G(u,v)=({g}_{nk}), {\mathrm{\Delta}}^{(m)}=({\mathrm{\Delta}}_{nk}^{(m)}), {A}_{u}^{r}=\{{a}_{nk}(r)\} and {A}^{z}=({a}_{nk}^{z}) by
for all k,m,n\in \mathbb{N}, where {u}_{n} depends only on n and {v}_{k} only on k.
Let r,s\in \mathbb{R}\setminus \{0\} and define the generalized difference matrix B(r,s)=\{{b}_{nk}(r,s)\} by
for all k,n\in \mathbb{N}. We should record here that the matrix B(r,s) can be reduced to the difference matrix {\mathrm{\Delta}}^{(1)} in case r=1, s=1. So, the results related to the matrix domain of the matrix B(r,s) are more general and more comprehensive than the corresponding consequences of the matrix domain of {\mathrm{\Delta}}^{(1)} and include them.
The domain {\lambda}_{A} of an infinite matrix A in a sequence space λ is defined by
which is a sequence space. If A is triangle, then one can easily observe that the sequence spaces {\lambda}_{A} and λ are linearly isomorphic, i.e., {\lambda}_{A}\cong \lambda. If λ is a sequence space, then the continuous dual {\lambda}_{A}^{\ast} of the space {\lambda}_{A} is defined by
Although in most cases the new sequence space {\lambda}_{A} generated by the limitation matrix A from a sequence space λ is the expansion or the contraction of the original space λ, it may be observed in some cases that those spaces overlap. Indeed, one can easily see that the inclusion {\lambda}_{S}\subset \lambda strictly holds for \lambda \in \{{\ell}_{\mathrm{\infty}},c,{c}_{0}\}. Similarly, one can deduce that the inclusion \lambda \subset {\lambda}_{{\mathrm{\Delta}}^{(1)}} also strictly holds for \lambda \in \{{\ell}_{\mathrm{\infty}},c,{c}_{0},{\ell}_{p}\}. However, if we define \lambda :={c}_{0}\oplus span\{z\} with z=({(1)}^{k}), i.e., x\in \lambda if and only if x:=s+\alpha z for some s\in {c}_{0} and some \alpha \in \mathbb{C}, and consider the matrix A with the rows {A}_{n} defined by {A}_{n}:={(1)}^{n}{e}^{(n)} for all n\in \mathbb{N}, we have Ae=z\in \lambda but Az=e\notin \lambda which lead us to the consequences that z\in \lambda \setminus {\lambda}_{A} and e\in {\lambda}_{A}\setminus \lambda, where e=(1,1,1,\dots ) and {e}^{(n)} is a sequence whose only nonzero term is a 1 in n th place for each n\in \mathbb{N}. That is to say, the sequence spaces {\lambda}_{A} and λ overlap but neither contains the other. The approach of constructing a new sequence space by means of the matrix domain of a particular limitation method has recently been employed by Wang [1], Ng and Lee [2], Malkowsky [4], Altay and Başar [10, 20, 36, 37, 41, 46], Malkowsky and Savaş [8], Başarır [47], Aydın and Başar [12, 13, 16, 30, 39], Başar et al. [38], Şengönül and Başar [9], Altay [23], Polat and Başar [25] and Malkowsky et al. [43]. In Table 1, Δ, {\mathrm{\Delta}}^{2} and {\mathrm{\Delta}}^{m} are the transpose of the matrices {\mathrm{\Delta}}^{(1)}, {\mathrm{\Delta}}^{(2)} and {\mathrm{\Delta}}^{(m)}, respectively, and {c}_{0}(u,p) and c(u,p) are the spaces consisting of the sequences x=({x}_{k}) such that ux=({u}_{k}{x}_{k}) in the spaces {c}_{0}(p) and c(p) for u\in \mathcal{U}, respectively, and studied by Başarır [47]. Finally, the new technique for deducing certain topological properties, for example AB, KB, ADproperties, solidity and monotonicity etc., and determining the β and γduals of the domain of a triangle matrix in a sequence space is given by Altay and Başar [46].
Let \tilde{r}={({r}_{n})}_{n=0}^{\mathrm{\infty}} and \tilde{s}={({s}_{n})}_{n=0}^{\mathrm{\infty}} be given convergent sequences of positive real numbers. Define the sequential generalized difference matrix B(\tilde{r},\tilde{s})=\{{b}_{nk}(\tilde{r},\tilde{s})\} by
for all k,n\in \mathbb{N}, the set of natural numbers. We should record here that the matrix B(\tilde{r},\tilde{s}) can be reduced to the generalized difference matrix B(r,s) in the case {r}_{n}=r and {s}_{n}=s for all n\in \mathbb{N}. So, the results related to the matrix domain of the matrix B(\tilde{r},\tilde{s}) are more general and more comprehensive than the corresponding consequences of the matrix domain of B(r,s) and include them. For the literature concerning the domain {\lambda}_{A} of the infinite matrix A in the sequence space λ, Table 1 may be useful.
The main purpose of the present paper is to introduce the sequence space {\lambda}_{B(\tilde{r},\tilde{s})} and to determine the β and γduals of the space, where λ denotes any one of the spaces {\ell}_{\mathrm{\infty}}, c, {c}_{0} or {\ell}_{p}. Furthermore, the Schauder bases for the spaces \tilde{c}, {\tilde{c}}_{0} and {\tilde{\ell}}_{p} are given and some topological properties of the spaces {\tilde{c}}_{0}, {\tilde{\ell}}_{1} and {\tilde{\ell}}_{p} are examined. Finally, some classes of matrix mappings on the space {\lambda}_{B(\tilde{r},\tilde{s})} are characterized.
The paper is organized as follows. In Section 2, we summarize the studies on the difference sequence spaces. In Section 3, we introduce the domain {\lambda}_{B(\tilde{r},\tilde{s})} of the generalized difference matrix B(\tilde{r},\tilde{s}) in the sequence space λ with \lambda \in \{{\ell}_{\mathrm{\infty}},c,{c}_{0},{\ell}_{p}\} and determine the β and γduals of {\lambda}_{B(\tilde{r},\tilde{s})}. After proving the fact, under which conditions for the inclusion \lambda \subset {\lambda}_{B(\tilde{r},\tilde{s})} and the equality \lambda ={\lambda}_{B(\tilde{r},\tilde{s})} hold, we give the Schauder basis of the spaces {({c}_{0})}_{B(\tilde{r},\tilde{s})}, {c}_{B(\tilde{r},\tilde{s})} and {({\ell}_{p})}_{B(\tilde{r},\tilde{s})}. Finally, we investigate some topological properties of the spaces {({c}_{0})}_{B(\tilde{r},\tilde{s})}, {({\ell}_{1})}_{B(\tilde{r},\tilde{s})} and {({\ell}_{p})}_{B(\tilde{r},\tilde{s})} with p>1. In Section 4, we state and prove a general theorem characterizing the matrix transformations from the domain of a triangle matrix to any sequence space. As an application of this basic theorem, we make a table which gives the necessary and sufficient conditions of the matrix transformations from {\lambda}_{B(\tilde{r},\tilde{s})} to μ, where \lambda \in \{{\ell}_{\mathrm{\infty}},c,{c}_{0},{\ell}_{p}\} and \mu \in \{{\ell}_{\mathrm{\infty}},c,{c}_{0},{\ell}_{1}\}. In the final section of the paper, we note the significance of the present results in the literature about difference sequences and record some further suggestions.
2 Difference sequence spaces
In this section, we give some knowledge about the literature concerning the spaces of difference sequences.
Let λ denote any one of the classical sequence spaces {\ell}_{\mathrm{\infty}}, c or {c}_{0}. Then \lambda (\mathrm{\Delta}) consisting of the sequences x=({x}_{k}) such that \mathrm{\Delta}x=({x}_{k}{x}_{k+1})\in \lambda is called the difference sequence spaces which were introduced by Kızmaz [5]. Kızmaz [5] proved that \lambda (\mathrm{\Delta}) is a Banach space with the norm
and the inclusion relation \lambda \subset \lambda (\mathrm{\Delta}) strictly holds. He also determined the α, β and γduals of the difference spaces and characterized the classes (\lambda (\mathrm{\Delta}):\mu ) and (\mu :\lambda (\mathrm{\Delta})) of infinite matrices, where \lambda ,\mu \in \{{\ell}_{\mathrm{\infty}},c\}. Following Kızmaz [5], Sarıgöl [48] extended the difference spaces \lambda (\mathrm{\Delta}) to the spaces \lambda ({\mathrm{\Delta}}_{r}) defined by
and computed the α, β, γduals of the space \lambda ({\mathrm{\Delta}}_{r}), where \lambda \in \{{\ell}_{\mathrm{\infty}},c,{c}_{0}\}. It is easily seen that \lambda ({\mathrm{\Delta}}_{r})\subset \lambda (\mathrm{\Delta}), if 0<r<1 and \lambda (\mathrm{\Delta})\subset \lambda ({\mathrm{\Delta}}_{r}), if r<0.
In the same year, Ahmad and Mursaleen [33] extended these spaces to \lambda (p,\mathrm{\Delta}) and studied related problems. Malkowsky [49] determined the KötheToeplitz duals of the sets {\ell}_{\mathrm{\infty}}(p,\mathrm{\Delta}) and {c}_{0}(p,\mathrm{\Delta}) and gave new proofs of the characterization of the matrix transformations considered in [33]. In 1993, Choudhary and Mishra [50] studied some properties of the sequence space {c}_{0}({\mathrm{\Delta}}_{r}) for r\ge 1. In the same year, Mishra [51] gave a characterization of BKspaces which contain a subspace isomorphic to s{c}_{0}(\mathrm{\Delta}) in terms of matrix maps and a sufficient condition for a matrix map from s{\ell}_{\mathrm{\infty}}(\mathrm{\Delta}) into a BKspace to be a compact operator. He showed that any matrix from s{\ell}_{\mathrm{\infty}}(\mathrm{\Delta}) into a BKspace which does not contain any subspace isomorphic to s{\ell}_{\mathrm{\infty}}(\mathrm{\Delta}) is compact, where
In 1996, Mursaleen et al. [52] defined and studied the sequence space
Gnanaseelan and Srivastava [53] defined and studied the spaces \lambda (u,\mathrm{\Delta}) for a sequence u=({u}_{k}) of noncomplex numbers such that

(i)
\frac{{u}_{k}}{{u}_{k+1}}=1+O(1/k) for each k\in {\mathbb{N}}_{1}=\{1,2,3,\dots \}.

(ii)
{k}^{1}{u}_{k}{\sum}_{i=0}^{k}{u}_{i}{}^{1}=O(1).

(iii)
(k{u}_{k}^{1}) is a sequence of positive numbers increasing monotonically to infinity.
In the same year, Malkowsky [54] defined the spaces \lambda (u,\mathrm{\Delta}) for an arbitrary fixed sequence u=({u}_{k}) without any restrictions on u. He proved that the sequence spaces \lambda (u,\mathrm{\Delta}) are BKspaces with the norm defined by
Later, Gaur and Mursaleen [55] extended the space {S}_{r}(\mathrm{\Delta}) to the space {S}_{r}(p,\mathrm{\Delta}), where
and characterized the matrix classes ({S}_{r}(p,\mathrm{\Delta}):{\ell}_{\mathrm{\infty}}) and ({S}_{r}(p,\mathrm{\Delta}):{\ell}_{1}). Malkowsky et al. [56] and, independently, Asma and Çolak [34] extended the space \lambda (u,\mathrm{\Delta}) to the space \lambda (p,u,\mathrm{\Delta}) and gave KötheToeplitz duals of this spaces for \lambda ={\ell}_{\mathrm{\infty}}, c or {c}_{0}. Recently, Malkowsky and Mursaleen [57] characterized the matrix classes (\mathrm{\Delta}\lambda :\mu ) and (\mathrm{\Delta}\lambda :\mathrm{\Delta}\mu ) for \lambda ={c}_{0}(p), c(p), {\ell}_{\mathrm{\infty}}(p) and \mu ={c}_{0}(q), c(q), {\ell}_{\mathrm{\infty}}(q).
Recently, the difference spaces b{v}_{p} consisting of the sequences x=({x}_{k}) such that ({x}_{k}{x}_{k1})\in {\ell}_{p} have been studied in the case 0<p<1 by Altay and Başar [20], and in the case 1\le p\le \mathrm{\infty} by Başar and Altay [18] and Çolak et al. [19].
3 Some new sequence spaces derived by the domain of the matrix B(\tilde{r},\tilde{s})
In this section, we define the sequence spaces {\tilde{\ell}}_{\mathrm{\infty}}, \tilde{c}, {\tilde{c}}_{0} and {\tilde{\ell}}_{p}, and determine the β and γduals of the spaces.
We introduce the sequence spaces {\tilde{\ell}}_{\mathrm{\infty}}, \tilde{c}, {\tilde{c}}_{0} and {\tilde{\ell}}_{p} as the set of all sequences whose B(\tilde{r},\tilde{s})transforms are in the spaces {\ell}_{\mathrm{\infty}}, c, {c}_{0} and {\ell}_{p}, respectively, that is,
With the notation of (1.2), we can redefine the spaces {\tilde{\ell}}_{\mathrm{\infty}}, \tilde{c}, {\tilde{c}}_{0} and {\tilde{\ell}}_{p} by
Define the sequence y=({y}_{k}) by the B(\tilde{r},\tilde{s})transform of a sequence x=({x}_{k}), i.e.,
Since the spaces λ and {\lambda}_{B(\tilde{r},\tilde{s})} are linearly isomorphic, one can easily observe that x=({x}_{k})\in {\lambda}_{B(\tilde{r},\tilde{s})} if and only if y=({y}_{k})\in \lambda, where the sequences x=({x}_{k}) and y=({y}_{k}) are connected with the relation (3.1).
Prior to quoting the lemmas which are needed for deriving some consequences given in Corollary 3.4 below, we give an inclusion theorem related to these new spaces.
Theorem 3.1 Let \lambda \in \{{\ell}_{\mathrm{\infty}},c,{c}_{0},{\ell}_{p}\} and B=B(\tilde{r},\tilde{s}). Then

(i)
\lambda ={\lambda}_{B}, if \frac{sup{s}_{n}}{inf{r}_{n}}<1.

(ii)
\lambda \subset {\lambda}_{B} is strict, if \frac{sup{s}_{n}}{inf{r}_{n}}\ge 1.
Proof Let \lambda \in \{{\ell}_{\mathrm{\infty}},c,{c}_{0},{\ell}_{1}\} and B=B(\tilde{r},\tilde{s}). Since the matrix B satisfies the conditions
and
B\in (\lambda :\lambda ). For any sequence x\in \lambda, Bx\in \lambda hence x\in {\lambda}_{B}. This shows that \lambda \subset {\lambda}_{B}.

(i)
Let \frac{sup{s}_{n}}{inf{r}_{n}}<1. Since the inverse matrix {B}^{1}=({b}_{nk}^{1}) of the matrix B also satisfies the conditions
and
{B}^{1}\in (\lambda :\lambda ). Therefore, if x\in {\lambda}_{B}, then y=Bx\in \lambda and x={B}^{1}y\in \lambda. Thus, the opposite inclusion {\lambda}_{B}\subset \lambda is just proved. This completes the proof of Part (i).

(ii)
Let us consider the sequences {u}^{1}:=\{\frac{1}{{r}_{n}}{\prod}_{i=0}^{n1}\frac{{s}_{i}}{{r}_{i}}\}, {u}^{2}:=\{{(1)}^{n}(n+1)\} and {u}^{3}:=\{[1+{(1)}^{n}]/2\}.
If \frac{sup{s}_{n}}{inf{r}_{n}}>1, then B{u}^{1}={e}^{(0)}=(1,0,0,\dots )\in \lambda. Hence, {u}^{1}\in {\lambda}_{B}\setminus \lambda.
Suppose that \frac{sup{s}_{n}}{inf{r}_{n}}=1.

(a)
Let \lambda ={c}_{0},{\ell}_{p}. If ({s}_{n})=({r}_{n}), then {u}^{1}\in {\lambda}_{B}\setminus \lambda.

(b)
Let \lambda ={\ell}_{\mathrm{\infty}},c. If ({s}_{n})=({r}_{n+1}), then B{u}^{2}=\{{r}_{n}{(1)}^{n}\}\in {\ell}_{\mathrm{\infty}}, B{u}^{3}=({r}_{0},{r}_{1},{r}_{2},\dots )\in c. Hence, {u}^{2}\in {({\ell}_{\mathrm{\infty}})}_{B}\setminus {\ell}_{\mathrm{\infty}} and {u}^{3}\in {c}_{B}\setminus c.
This step completes the proof. □
The set S(\lambda ,\mu ) defined by
is called the multiplier space of the spaces λ and μ. One can easily observe for a sequence space ν with \lambda \supset \nu \supset \mu that the inclusions
hold. With the notation of (3.2), the α, β and γduals of a sequence space λ, which are respectively denoted by {\lambda}^{\alpha}, {\lambda}^{\beta} and {\lambda}^{\gamma}, are defined by
Lemma 3.2 [[58], p.52, Exercise 2.5(i)]
Let λ, μ be the sequence spaces and \xi \in \{\alpha ,\beta ,\gamma \}. If \lambda \subset \mu, then {\mu}^{\xi}\subset {\lambda}^{\xi}.
We read the following useful results from Stieglitz and Tietz [59]:
Lemma 3.3 The necessary and sufficient conditions for A\in (\lambda :\mu ) when \lambda \in \{{\ell}_{\mathrm{\infty}},c,{c}_{0},{\ell}_{1},{\ell}_{p}\} and \mu \in \{{\ell}_{\mathrm{\infty}},c\} can be read from Table 2.
Basic Lemma [[46], Theorem 3.1]
Let C=({c}_{nk}) be defined via the sequence a=({a}_{k})\in \omega and the inverse matrix V=({v}_{nk}) of the triangle matrix U=({u}_{nk}) by
for all k,n\in \mathbb{N}. Then
and
Combining Lemma 3.3 with Basic Lemma, we have
Corollary 3.4 Define the sets {d}_{1}(\tilde{r},\tilde{s}), {d}_{2}(\tilde{r},\tilde{s}), {d}_{3}(\tilde{r},\tilde{s}), {d}_{4}(\tilde{r},\tilde{s}) and {d}_{5}(\tilde{r},\tilde{s}) by
and
Then

(i)
{\{{\tilde{\ell}}_{\mathrm{\infty}}\}}^{\gamma}:={\tilde{c}}^{\gamma}:={\{{\tilde{c}}_{0}\}}^{\gamma}:={d}_{1}(\tilde{r},\tilde{s}) with q=1.

(ii)
{\{{\tilde{\ell}}_{p}\}}^{\gamma}:={d}_{1}(\tilde{r},\tilde{s}).

(iii)
{\{{\tilde{\ell}}_{1}\}}^{\gamma}:={d}_{5}(\tilde{r},\tilde{s}).

(iv)
{\{{\tilde{\ell}}_{\mathrm{\infty}}\}}^{\beta}:={d}_{2}(\tilde{r},\tilde{s})\cap {d}_{3}(\tilde{r},\tilde{s}).

(v)
{\tilde{c}}^{\beta}:={d}_{1}(\tilde{r},\tilde{s})\cap {d}_{2}(\tilde{r},\tilde{s})\cap {d}_{4}(\tilde{r},\tilde{s}) with q=1.

(vi)
{\{{\tilde{c}}_{0}\}}^{\beta}:={d}_{1}(\tilde{r},\tilde{s})\cap {d}_{2}(\tilde{r},\tilde{s}) with q=1.

(vii)
{\{{\tilde{\ell}}_{p}\}}^{\beta}:={d}_{1}(\tilde{r},\tilde{s})\cap {d}_{2}(\tilde{r},\tilde{s}).

(viii)
{\{{\tilde{\ell}}_{1}\}}^{\beta}:={d}_{2}(\tilde{r},\tilde{s})\cap {d}_{5}(\tilde{r},\tilde{s}).
A sequence space λ with a linear topology is called a Kspace provided each of the maps {p}_{i}:\lambda \to \mathbb{C} defined by {p}_{i}(x)={x}_{i} is continuous for all i\in \mathbb{N}. A Kspace λ is called an FKspace provided λ is a complete linear metric space. An FKspace whose topology is normable is called a BKspace. If a normed sequence space λ contains a sequence ({b}_{n}) with the property that for every x\in \lambda, there is a unique sequence of scalars ({\alpha}_{n}) such that
then ({b}_{n}) is called a Schauder basis (or briefly basis) for λ. The series \sum {\alpha}_{k}{b}_{k} which has the sum x is then called the expansion of x with respect to ({b}_{n}) and written as x=\sum {\alpha}_{k}{b}_{k}.
Since it is known that the matrix domain {\lambda}_{A} of a normed sequence space λ has a basis if and only if λ has a basis whenever A=({a}_{nk}) is a triangle (cf. [[60], Remark 2.4]), we have
Corollary 3.5 Define the sequences z=({z}_{n}) and {b}^{(k)}(\tilde{r},\tilde{s})={\{{b}_{n}^{(k)}(\tilde{r},\tilde{s})\}}_{n\in \mathbb{N}} for every fixed k\in \mathbb{N} by
Then

(a)
the sequence {\{{b}^{(k)}(\tilde{r},\tilde{s})\}}_{k\in \mathbb{N}} is a basis for the spaces {\tilde{c}}_{0} and {\tilde{\ell}}_{p}, and any x in {\tilde{c}}_{0} or in {\tilde{\ell}}_{p} has a unique representation of the form
x:=\sum _{k}{\alpha}_{k}(r){b}^{(k)}(\tilde{r},\tilde{s}),
where {\alpha}_{k}(r):={\{B(\tilde{r},\tilde{s})x\}}_{k} for all k\in \mathbb{N}.

(b)
the set \{z,{b}^{(k)}(\tilde{r},\tilde{s})\} is a basis for the space \tilde{c}, and any x in \tilde{c} has a unique representation of the form
x:=lz+\sum _{k}[{\alpha}_{k}(r)l]{b}^{(k)}(\tilde{r},\tilde{s}),
where l:={lim}_{k\to \mathrm{\infty}}{\{B(\tilde{r},\tilde{s})x\}}_{k}.
By λμ, we mean the set
for the sequence spaces λ and μ.
Given a BKspace \lambda \supset \varphi, we denote the n th section of a sequence x=({x}_{k})\in \lambda by {x}^{[n]}:={\sum}_{k=0}^{n}{x}_{k}{e}^{(k)}, and we say that x has the property
AK if {lim}_{n\to \mathrm{\infty}}{\parallel x{x}^{[n]}\parallel}_{\lambda}=0 (abschnittskonvergenz),
AB if {sup}_{n\in \mathbb{N}}{\parallel {x}^{[n]}\parallel}_{\lambda}<\mathrm{\infty} (abschnittsbeschränktheit),
AD if x\in \overline{\varphi} (closure of \varphi \subset \lambda) (abschnittsdichte),
KB if the set \{{x}_{k}{e}^{(k)}\} is bounded in λ (koordinatenweise beschränkt).
If one of these properties holds for every x\in \lambda, then we say that the space λ has that property (cf. [61]). It is trivial that AK implies AD and AK iff AB and AD. For example, {c}_{0} and {\ell}_{p} are AKspaces and c and {\ell}_{\mathrm{\infty}} are not ADspaces.
The sequence space λ is said to be solid if and only if
For a sequence J of ℕ and a sequence space λ, we define {\lambda}_{J} by
and call {\lambda}_{J} the Jstepspace or a Jsectional subspace of λ. If {x}_{J}\in {\lambda}_{J}, then the canonical preimage of {x}_{J} is the sequence {\overline{x}}_{J} which agrees with {x}_{J} on the indices in J and is zero elsewhere. Then λ is called monotone provided λ contains the canonical preimages of all its stepspaces.
Lemma 3.6 [[46], Theorem 2.1 and Lemma 4.1]
Let λ, μ be the BKspaces and {C}_{\mu}^{U}=({c}_{nk}) be defined via the sequence \alpha =({\alpha}_{k})\in \mu and the triangle matrix U=({u}_{nk}) by
for all k,n\in \mathbb{N}. Then the domain of the matrix U in the sequence space λ has the property

(i)
KB if and only if {C}_{{\ell}_{1}}^{U}\in (\lambda :\lambda ),

(ii)
AB if and only if {C}_{b{v}_{0}}^{U}\in (\lambda :\lambda ),

(iii)
monotone if and only if {C}_{{m}_{0}}^{U}\in (\lambda :\lambda ),

(iv)
solid if and only if {C}_{{\ell}_{\mathrm{\infty}}}^{U}\in (\lambda :\lambda ).
From Lemma 3.6, we have
Corollary 3.7 If {s}_{n}={r}_{n} for all n\in \mathbb{N}, then {\tilde{\ell}}_{1} has the KB and ABproperties.
Lemma 3.8 [[46], Theorem 2.2]
Let λ be a BKspace which has the AKproperty, U be a triangle matrix and {\lambda}_{U}\supset \varphi. Then the sequence space {\lambda}_{U} has the ADproperty if and only if the fact tU=\theta for t\in {\lambda}^{\beta} implies the fact t=\theta.
Since {c}_{0} and {\ell}_{p} have the AKproperty, we can employ Lemma 3.8 for the matrix U=B(\tilde{r},\tilde{s}). Then we have
Corollary 3.9 {\tilde{c}}_{0} and {\tilde{\ell}}_{p} (p>1) have the ADproperty if and only if {s}_{n}\le {r}_{n} for all n\in \mathbb{N}.
4 Some matrix transformations related to the sequence spaces {\tilde{\ell}}_{\mathrm{\infty}}, \tilde{c}, {\tilde{c}}_{0} and {\tilde{\ell}}_{1}
In the present section, we characterize some classes of infinite matrices related to new sequence spaces.
Theorem 4.1 Let λ be an FKspace, U be a triangle, V be its inverse and μ be an arbitrary subset of ω. Then we have A=({a}_{nk})\in ({\lambda}_{U}:\mu ) if and only if
and
where
Proof Let A=({a}_{nk})\in ({\lambda}_{U}:\mu ) and take x\in {\lambda}_{U}. Then we obtain the equality
for all m,n\in \mathbb{N}. Since Ax exists, {C}^{(n)} must belong to the class (\lambda :c). Letting m\to \mathrm{\infty} in equality (4.3) we have Ax=Cy. Since Ax\in \mu, then Cy\in \mu, i.e., C\in (\lambda :\mu ).
Conversely, let (4.1), (4.2) hold and take x\in {\lambda}_{U}. Then we have {({c}_{nk})}_{k\in \mathbb{N}}\in {\lambda}^{\beta}, which together with (4.1) gives that {({a}_{nk})}_{k\in \mathbb{N}}\in {\lambda}_{U}^{\beta} for all n\in \mathbb{N}. Hence, Ax exists. Therefore, we obtain from equality (4.3) as m\to \mathrm{\infty} that Ax=Cy and this shows that A\in ({\lambda}_{U}:\mu ). □
Now, we list the following conditions:
where ℱ denotes the collection of all finite subsets of ℕ.
We have from Theorem 4.1
Corollary 4.2 The necessary and sufficient conditions for A\in (\lambda :\mu ) when \lambda \in \{{\tilde{\ell}}_{\mathrm{\infty}},\tilde{c},{\tilde{c}}_{0},{\tilde{\ell}}_{p},{\tilde{\ell}}_{1}\} and \mu \in \{{\ell}_{\mathrm{\infty}},c,{c}_{0},{\ell}_{1}\} can be read from Table 3.
Now, we may present our final lemma given by Başar and Altay [[18], Lemma 5.3] which is useful for obtaining the characterization of some new matrix classes from Corollary 4.2.
Lemma 4.3 Let λ, μ be any two sequence spaces, A be an infinite matrix and U be a triangle matrix. Then A\in (\lambda :{\mu}_{U}) if and only if UA\in (\lambda :\mu ).
We should finally note that if {a}_{nk} is replaced by {r}_{n}{a}_{nk}+{s}_{n1}{a}_{n1,k} for all k,n\in \mathbb{N} in Corollary 4.2, then one can derive the characterization of the class (\tilde{\lambda}:\tilde{\mu}) from Lemma 4.3 with U=B(\tilde{r},\tilde{s}).
5 Conclusion
Quite recently, Kirişçi and Başar [44] studied the domain of the generalized difference matrix B(r,s) in the classical sequence spaces {\ell}_{\mathrm{\infty}}, c, {c}_{0} and {\ell}_{p}. Later, Sönmez [45] generalized these results by using the triple band matrix B(r,s,t). Since the generalized difference matrix B(r,s) is obtained in the special case {r}_{n}=r and {s}_{n}=s for all n\in \mathbb{N} from the double sequential band matrix B(\tilde{r},\tilde{s}), our results are much more general than the corresponding results given by Kirişçi and Başar [44].
Finally, we should note that our next paper will be devoted to the investigation of the domain of the double sequential band matrix B(\tilde{r},\tilde{s}) in the space f of almost convergent sequences introduced by Lorentz in [62] which generalizes the corresponding results of Başar and Kirişçi [63].
References
Wang CS: On Nörlund sequence spaces. Tamkang J. Math. 1978, 9: 269–274.
Ng PN, Lee PY: Cesàro sequence spaces of nonabsolute type. Ann. Soc. Math. Pol., 1 Comment. Math. 1978, 20(2):429–433.
Et M: On some generalized Cesàro difference sequence spaces. Istanb. Üniv. Fen Fak. Mat. Derg. 1996–1997, 55–56: 221–229.
Malkowsky E: Recent results in the theory of matrix transformations in the sequence spaces. Mat. Vesn. 1997, 49: 187–196.
Kızmaz H: On certain sequence spaces. Can. Math. Bull. 1981, 24(2):169–176. 10.4153/CMB19810275
Et M: On some difference sequence spaces. Turk. J. Math. 1993, 17: 18–24.
Mursaleen M: Generalized spaces of difference sequences. J. Math. Anal. Appl. 1996, 203(3):738–745. 10.1006/jmaa.1996.0409
Malkowsky E, Savaş E: Matrix transformations between sequence spaces of generalized weighted means. Appl. Math. Comput. 2004, 147: 333–345. 10.1016/S00963003(02)006707
Şengönül M, Başar F: Some new Cesàro sequence spaces of nonabsolute type which include the spaces {c}_{0} and c . Soochow J. Math. 2005, 31(1):107–119.
Altay B, Başar F: Some Euler sequence spaces of nonabsolute type. Ukr. Math. J. 2005, 57(1):1–17. 10.1007/s1125300501689
Rhoades BE: Some sequence spaces which include {c}_{0} and c . Hokkaido Math. J. 2006, 35: 587–599.
Aydın C, Başar F: On the new sequence spaces which include the spaces {c}_{0} and c . Hokkaido Math. J. 2004, 33(2):383–398.
Aydın C, Başar F:Some new sequence spaces which include the spaces {\ell}_{p} and {\ell}_{\mathrm{\infty}}. Demonstr. Math. 2005, 38(3):641–656.
Altay B, Başar F, Mursaleen M:On the Euler sequence spaces which include the spaces {\ell}_{p} and {\ell}_{\mathrm{\infty}} I. Inf. Sci. 2006, 176(10):1450–1462. 10.1016/j.ins.2005.05.008
Mursaleen M, Başar F, Altay B:On the Euler sequence spaces which include the spaces {\ell}_{p} and {\ell}_{\mathrm{\infty}} II. Nonlinear Anal. TMA 2006, 65(3):707–717. 10.1016/j.na.2005.09.038
Aydın C, Başar F: Some new difference sequence spaces. Appl. Math. Comput. 2004, 157(3):677–693. 10.1016/j.amc.2003.08.055
Khan FM, Rahman MF: Matrix transformations on Cesà ro sequence spaces of nonabsolute type. J. Anal. 1996, 4: 97–101.
Başar F, Altay B: On the space of sequences of pbounded variation and related matrix mappings. Ukr. Math. J. 2003, 55(1):136–147. 10.1023/A:1025080820961
Çolak R, Et M, Malkowsky E Lecture Notes in Mathematics. In Some Topics of Sequence Spaces. Fırat Univ. Press, Elazığ; 2004. ISBN:975–394–0386–6
Altay B, Başar F:The matrix domain and the fine spectrum of the difference operator Δ on the sequence space {\ell}_{p}, (0<p<1). Commun. Math. Anal. 2007, 2(2):1–11.
Et M, Çolak R: On some generalized difference sequence spaces. Soochow J. Math. 1995, 21(4):377–386.
Çolak R, Et M: On some generalized sequence spaces and related matrix transformations. Hokkaido Math. J. 1997, 26(3):483–492.
Altay B: On the space of p summable difference sequences of order m , ( 1\le p<\mathrm{\infty} ). Studia Sci. Math. Hung. 2006, 43(4):387–402.
Malkowsky E, Parashar SD: Matrix transformations in space of bounded and convergent difference sequence of order m . Analysis 1997, 17: 87–97.
Polat H, Başar F: Some Euler spaces of difference sequences of order m . Acta Math. Sci. 2007, 27(2):254–266.
Altay B, Başar F, Malkowsky E: Matrix transformations on some sequence spaces related to strong Cesàro summability and boundedness. Appl. Math. Comput. 2009, 211: 255–264. 10.1016/j.amc.2009.01.062
Başar F, Malkowsky E, Altay B:Matrix transformations on the matrix domains of triangles in the spaces of strongly {C}_{1}summable and bounded sequences. Publ. Math. 2008, 73(1–2):193–213.
Başar F: Infinite matrices and almost boundedness. Boll. Unione Mat. Ital., A 1992, 6(3):395–402.
Başar F, Altay B: Matrix mappings on the space bs(p) and its α , β  and γ duals. Aligarh Bull. Math. 2001, 21(1):79–91.
Aydın C, Başar F:Some generalizations of the sequence space {a}_{p}^{r}. Iran. J. Sci. Technol., Trans. A, Sci. 2006, 30(A2):175–190.
Aydın, C, Başar, F: Some topological and geometric properties of the domain of the generalized difference matrix B(r,s) in the sequence spaces l(p). Serbia, June 2009, Book of Abstracts p.p. 1
Choudhary B, Mishra SK: On KötheToeplitz duals of certain sequence spaces and their matrix transformations. Indian J. Pure Appl. Math. 1993, 24(5):291–301.
Ahmad ZU, Mursaleen M: KötheToeplitz duals of some new sequence spaces and their matrix maps. Publ. Inst. Math. (Belgr.) 1987, 42: 57–61.
Asma Ç, Çolak R: On the KötheToeplitz duals of some generalized sets of difference sequences. Demonstr. Math. 2000, 33: 797–803.
Bektaş ÇA: On some new generalized sequence spaces. J. Math. Anal. Appl. 2003, 277: 681–688. 10.1016/S0022247X(02)006194
Altay B, Başar F: Some paranormed sequence spaces of nonabsolute type derived by weighted mean. J. Math. Anal. Appl. 2006, 319(2):494–508. 10.1016/j.jmaa.2005.06.055
Altay B, Başar F:Generalization of the sequence space \ell (p) derived by weighted mean. J. Math. Anal. Appl. 2007, 330(1):174–185. 10.1016/j.jmaa.2006.07.050
Başar F, Altay B, Mursaleen M:Some generalizations of the space b{v}_{p} of pbounded variation sequences. Nonlinear Anal. 2008, 68(2):273–287. 10.1016/j.na.2006.10.047
Aydın C, Başar F: Some new paranormed sequence spaces. Inf. Sci. 2004, 160(1–4):27–40. 10.1016/j.ins.2003.07.009
Altay B, Başar F: On the paranormed Riesz sequence spaces of nonabsolute type. Southeast Asian Bull. Math. 2002, 26(5):701–715.
Altay B, Başar F: Some paranormed Riezs sequence spaces of nonabsolute type. Southeast Asian Bull. Math. 2006, 30(5):591–608.
Et M, Başarır M: On some new generalized difference sequence spaces. Period. Math.Phys 1987, 10: 63–71.
Malkowsky E, Mursaleen M, Suantai S: The dual spaces of sets of difference sequences of order m and matrix transformations. Acta Math. Sin. Engl. Ser. 2007, 23(3):521–532. 10.1007/s101140050719x
Kirişçi M, Başar F: Some new sequence spaces derived by the domain of generalized difference matrix. Comput. Math. Appl. 2010, 60(5):1299–1309. 10.1016/j.camwa.2010.06.010
Sönmez A: Some new sequence spaces derived by the domain of the triple band matrix. Comput. Math. Appl. 2011, 62(2):641–650. 10.1016/j.camwa.2011.05.045
Altay B, Başar F: Certain topological properties and duals of the matrix domain of a triangle matrix in a sequence space. J. Math. Anal. Appl. 2007, 336(1):632–645. 10.1016/j.jmaa.2007.03.007
Başarır M: On some new sequence spaces and related matrix transformations. Indian J. Pure Appl. Math. 1995, 26(10):1003–1010.
Sarıgöl MA: On difference sequence spaces. J. Karadeniz Tech. Univ. Fac. Arts Sci. Ser. Math.Phys. 1987, 10: 63–71.
Malkowsky E: Absolute and ordinary KötheToeplitz duals of some sets of sequences and matrix transformations. Publ. Inst. Math. (Beograd) (N.S.) 1989, 46(60):97–103.
Choudhary B, Mishra SK: A note on certain sequence spaces. J. Anal. 1993, 1: 139–148.
Mishra SK: Matrix maps involving certain sequence spaces. Indian J. Pure Appl. Math. 1993, 24(2):125–132.
Mursaleen M, Gaur AK, Saifi AH: Some new sequence spaces and their duals and matrix transformations. Bull. Calcutta Math. Soc. 1996, 88(3):207–212.
Gnanaseelan C, Srivastava PD: The α , β  and γ duals of some generalised difference sequence spaces. Indian J. Math. 1996, 38(2):111–120.
Malkowsky E: A note on the KötheToeplitz duals of generalized sets of bounded and convergent difference sequences. J. Anal. 1996, 4: 81–91.
Gaur AK, Mursaleen M: Difference sequence spaces. Int. J. Math. Math. Sci. 1998, 21(4):701–706. 10.1155/S0161171298000970
Malkowsky E, Mursaleen M, Qamaruddin Q: Generalized sets of difference sequences, their duals and matrix transformations. In Sequence Spaces and Applications. Narosa, New Delhi; 1999:68–83.
Malkowsky E, Mursaleen M:Some matrix transformations between the difference sequence spaces \mathrm{\Delta}{c}_{0}(p), \mathrm{\Delta}c(p) and \mathrm{\Delta}{\ell}_{\mathrm{\infty}}(p). Filomat 2001, 15: 353–363.
Kamthan PK, Gupta M: Sequence Spaces and Series. Dekker, New York; 1981.
Stieglitz M, Tietz H: Matrix transformationen von folgenräumen eine ergebnisübersicht. Math. Z. 1997, 154: 1–16.
Jarrah AM, Malkowsky E: BK spaces, bases and linear operators. Rend. Circ. Mat. Palermo (2) 1990, 52: 177–191.
GrosseErdmann KG:On {l}^{1}invariant sequence spaces. J. Math. Anal. Appl. 2001, 262: 112–132. 10.1006/jmaa.2001.7546
Lorentz GG: A contribution to the theory of divergent sequences. Acta Math. 1948, 80: 167–190. 10.1007/BF02393648
Başar F, Kirişçi M: Almost convergence and generalized difference matrix. Comput. Math. Appl. 2011, 61(3):602–611. 10.1016/j.camwa.2010.12.006
Acknowledgements
The author would like to express their gratitude to professor Bilal Altay, Department of Mathematical Education, İnönü University, 44280 MalatyaTurkey, for making some constructive comments on the main results of the earlier version of the manuscript which improved the presentation of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that they have no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Candan, M. Domain of the double sequential band matrix in the classical sequence spaces. J Inequal Appl 2012, 281 (2012). https://doi.org/10.1186/1029242X2012281
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029242X2012281