Domain of the double sequential band matrix in the spaces of convergent and null sequences
© Candan; licensee Springer. 2014
Received: 14 January 2014
Accepted: 26 May 2014
Published: 4 June 2014
What stands out in this article is the sequence spaces of a new brand and , derived by using a double sequential band matrix which generalizes the previous work of Sönmez and Başar (Abstr. Appl. Anal. 2012:435076, 2012), where and are given convergent sequences of positive real numbers. The aforementioned spaces are in fact the BK-spaces of non-absolute type. Moreover, they are norm isomorphic to the spaces and c, respectively. Then, some inclusion relations are derived to determine the α-, β- and γ-duals of these spaces. Next, their Schauder bases are constructed. In conclusion, some matrix classes from the spaces and to the spaces , and c are characterized. When compared with the corresponding results in the literature, it is seen that the results of the present study are more general and more inclusive.
1 Fundamental facts
There are many ways to construct new sequence spaces from old ones. In recent years the construction of a new sequence space by means of the domain of triangle matrix has been used by some of the researchers in many scientific articles. Purely for the development of this approach, the very readable book of Başar  is recommended especially for interesting historical developments. Let us start here with a definition of just what a sequence is. There is a variety of ways to define a sequence, each of which is an equivalent way of defining the same thing. Instead, we prefer the following definition. A sequence can easily be described as an ordered list of numbers. Although these lists may or may not include infinite number of terms, here we will exclusively deal with those consisting of infinite number of terms. A sequence can be described as a function having a domain assuming values in ℝ or ℂ, here is any given integer, mostly . Usually, subscript notation is used and is written instead of . A sequence converges to limit a if each neighborhood of a contains almost all terms of the sequence. In this case we say that converges to a as n goes to ∞. We denote by c, the set of all convergent sequences in , where denotes either of fields ℝ and ℂ. A sequence in is called a null sequence if it converges to zero. We denote the set of all null sequences in by . A sequence is bounded if the set of its terms is bounded. The set of all bounded sequences is denoted by . Any vector subspace of is known as a sequence space. It is clear that the sets c, and are the subspaces of the ω. Therefore, c, and , equipped with a vector space structure, form a sequence space. Also by bs, cs, and we denote the spaces of all bounded, convergent, absolutely and p-absolutely convergent series, respectively. As is well known, we call a sequence space X with a linear topology a K-space if and only if each of the maps defined by is continuous for all . A K-space X is called an FK-space if and only if X is a complete linear metric space. In other words, we can say that an FK-space is a complete total paranormed space. Note here that some discussion of FK-spaces is given in . An FK-space whose topology is normable is called a BK-space or a Banach coordinate space, so a BK-space is a normed FK-space. The space () is a BK-space with and , c and are BK-spaces with . An FK-space X is said to have the AK property if and is a basis for X, where is a sequence whose only non-zero term is a 1 in k th place for each and , the set of all finitely non-zero sequences. If ϕ is dense in X, then X is called an AD-space, thus AK implies AD. We know that the spaces , cs and are AK-spaces, where . In addition to this, by ℱ we denote the collection consisting of all non-empty and finite subsets of ℕ.
Another notion we need is that of matrix transformation. For this reason, in this paragraph, we shall be concerned with matrix transformation from a sequence space X to a sequence space Y. Given any infinite matrix of real numbers , where , any sequence x, we write , the A-transform of x, if converges for each . For simplicity in notation, here and in what follows, the summation without limits runs from 0 to ∞. If implies that , then we say that A defines a matrix mapping from X into Y and denote it by . By we mean the class of all infinite matrices such that .
The new sequence space generated by the limitation matrix A from the space λ either includes the space λ or is included by the space λ, in general, i.e., the space is the expansion or the contraction of the original space λ.
The layout of the rest of the present paper is as follows. At the beginning of Section 2, essential fundamental concepts and some historical materials are given; also the sequence spaces and are introduced and they are proved to be linearly isomorphic to the sequence spaces and c, respectively. The goal of Section 3 is to derive some inclusion relations between them (the new defined spaces above). In Sections 4 and 5, the Schauder bases of the spaces and are obtained and the α-, β- and γ-duals of their generalizations (the generalized difference sequence spaces and of non-absolute type) are determined, respectively. In Section 6, we characterize the matrix classes , , , , and , where . We also derive the properties of some other classes including Euler, difference, Riesz and Cesàro sequence spaces, using some old results. In the last section of the text, we note the significance of the present results in the literature related with difference sequence spaces and record some further suggestions.
2 The difference sequence spaces and of non-absolute type
The difference sequence spaces are shortly analyzed here and we introduce sequence spaces both and , and show that these spaces are BK-spaces of non-absolute type and they are proved to be norm isomorphic to the well-known sequence spaces and c, respectively. For historical developments related to this approach, we must refer the reader to the articles [5, 10, 14, 16, 20] studied by many authors. We note here that research into this field is continuing.
Here and after, we use the convention that any term with a negative subscript is equal to zero, e.g., and .
Recently, Mursaleen and Noman  studied the sequence spaces and of non-absolute type, and later they introduced the difference sequence spaces and in  of non-absolute type. With the help of (1.1) the spaces and can be rewritten as follows: and ; respectively, where Δ denotes the band matrix representing the difference operator, i.e., for .
for all . The -transform of a sequence is for all . Now, we proceed slightly differently to Kızmaz  and the other authors following him, and employ a technique of obtaining a new sequence space by means of the matrix domain of a triangle limitation method.
Recently, Sönmez and Başar  have introduced the difference sequence spaces and , which are the generalizations of the spaces and introduced by Mursaleen and Noman . Again, the spaces and can be written as and using (1.1), where B denotes the generalized difference matrix defined by (2.1).
for all , the set of natural numbers. We should record here that the matrix can be reduced to the generalized difference matrix in the case and for all . These choices are possible by the definition of sequential band matrix . So, the results related to the matrix domain of the matrix are more general and more comprehensive than the corresponding consequences of the matrix domain of , and we include them.
With the notation of (1.1), we can redefine the spaces and as and , where denotes the sequential band matrix defined by (2.2).
Let us begin with the theorem which is one of our principal objects of study.
Theorem 2.1 The sets and are linear spaces together with coordinatewise addition and scalar multiplication; in other words, and represent the sequence spaces of generalized differences.
Proof This result should also be fairly apparent. □
For every and with (1.1) we can conclude that and hold.
From now on, the summation in the range of 0 to will be equal to zero when .
It is remarkable that the sequences and are connected by relation (2.5) everywhere in the paper.
Now, we will provide a complete proof for some of results obtained in this and the following sections so that the reader may be familiar with the ways the proofs are constructed and written. There are two fundamental theorems which help us. Let us now state the first one.
Theorem 2.2 The difference sequence spaces and are BK-spaces having the norm ; in other words, .
Proof It is well known from previous arguments that and c are BK-spaces with respect to their natural norms and the matrix is a triangle. For this reason, the spaces and are BK-spaces with the given norms. This, in fact, concludes the proof. □
Remark 2.3 It can easily be controlled that the absolute property is invalid on the spaces and ; in other words, and for at least one sequence found in the spaces and . Thus, we can say that and are the sequence spaces of non-absolute type, in which .
Here, let us give the definition of isomorphism. A bijective linear transformation is called an isomorphism from X to Y. When an isomorphism from Y to X exists, we say that X to Y are isomorphic and write .
It is time to give another very useful result for new difference sequence spaces defined above.
Theorem 2.4 The newly defined non-absolute type sequence spaces and are norm isomorphic to the well-known spaces and c, respectively; in other words, and .
Proof To start with this proof, a certain amount of linear algebra will be used. Showing the existence of a linear bijection between the spaces and proves the theorem. The transformation τ from to is defined by , using the notation of (2.5). Then, for every and it is routine to show that τ is linear. Further, it is obvious that whenever , which shows that τ is injective.
for every . Thus, we have that and since , we conclude that . Thus, we deduce that and . Hence, T is surjective.
Moreover, one can easily see for every that , which means that T is norm preserving. Consequently, T is a linear bijection which shows that the spaces and are linearly isomorphic.
It is clear that if the spaces and are replaced by the spaces and c, respectively, then we obtain the fact , which proves our assertion. □
3 Some inclusion relations
In this section, we shall talk about several inclusion relations concerning the spaces and . The following theorems give some basic algebraic properties of the difference sequence spaces mentioned above.
Theorem 3.1 The inclusion is strictly valid.
Proof This proof of the theorem is fairly standard, so we must find an element which belongs to but which does not belong to . Clearly, the inclusion is valid. Let us illustrate that this inclusion is strict. To do this, consider the sequence given by for all . Together with (2.4), we now have for all . Briefly, this tells us that , and therefore , where . In other words, the sequence x lies in ; however, it does not lie in . That is, the inclusion is strictly valid, so the claim is proved. □
Theorem 3.2 The inclusion is strict when .
Proof Let us assume that and . In that case and so due to the inclusion . It is clear that . Because of this, the inclusion is valid. In addition to this, let us take the sequence given by for all . So, it is not hard to see that . Then it can be obtained that . That is, , which means that . Therefore, the sequence y is in but not in c. Consequently, the inclusion is strict. This marks the end of the proof. □
We should state here that it can be remembered that if and , then ; in other words, is stronger than the ordinary convergence. Therefore we get the following.
Corollary 3.3 The inclusions and are strictly valid.
It can easily be seen that the sequence y defined in the proof of Theorem 3.2 lies in but not in . This motivates the following result.
Corollary 3.4 The space does not include the space even though the spaces and overlap.
In order to prove the theorem below, the following lemma [, p.4] will be used.
Lemma 3.5 if and only if .
This clearly indicates that .
for every . Then this inequality gives with the aid of (3.4). Especially, if we take and for all , then it is obviously seen that , which means that (3.3) holds. Thus, one can easily deduce by equality (3.2) that (3.1) holds. From Lemma 3.5 it can be obtained that . Therefore, it is not hard to see that the inclusion strictly holds by using Corollary 3.4. In fact, this is exactly what we want to prove. □
4 The bases for the spaces and
In this section, we give two sequences of the points of the spaces and forming the bases for those spaces.
In this case, the series which has the sum x is then called the expansion of x with respect to and is written as .
Because of the fact that the transformation T defined from to in the proof of Theorem 2.4 is an isomorphism, the inverse image of the basis of the space is the basis for the newly defined space . Thus, the subsequent theorem can be easily stated.
The sequence is a basis for the space and any has a unique representation of the form .
The sequence is a basis for the space and any has a unique representation of the form , where .
Finally, it easily follows from Theorem 2.2 that and are the Banach spaces with their natural norms. Thus, by Theorem 4.1 we can obtain the following.
Corollary 4.2 The difference sequence spaces and are separable.
5 The α-, β- and γ-duals of the spaces and
The concept of multiplier space plays an important role in the present section. To state the α-, β- and γ-duals of the generalized difference sequence spaces and of non-absolute type, we give the terminology of a multiplier space.
It can be observed for a sequence space φ with and that the inclusions and hold, respectively.
It is obvious that . Also it can be seen that the inclusions , and hold whenever .
The α-dual, β-dual and γ-dual are also referred to as Köthe-Toeplitz dual, generalized Köthe-Toeplitz dual and Garling dual, respectively .
Let us now state the following lemmas (see ). In this way, the results will be used in the proofs of our Theorems 5.5 to 5.8.
Lemma 5.1 iff .
Lemma 5.4 iff (5.2) holds.
Now, it is time to give the following theorem.
for all .
from relations (2.5) and (2.6). We use the newly obtained notation result in whenever or iff whenever or c with the help of (5.4). This indicates that the sequence or iff . Thus, we derive with the aid of Lemma 5.4 by writing in place of A that iff . Briefly, this tells us the consequence that . This conclusion is what was sought for. □
Therefore, we conclude that .
First of all, the assertion (ii) of the theorem has exactly the same idea as in the first part of it, the proof of the second part can be obtained similarly. It comes fairly easily from Lemma 5.3 with the aid of (5.5) that iff . Thus, conditions (5.6), (5.7) and (5.8) are valid from (5.1) and (5.2).
Consequently, it is clear that , which gives the desired result. □
Remark 5.7 We may note by combining (5.9) with conditions (5.7) and (5.8) that for every sequence .
Finally, we conclude this section with the following theorem which determines the γ-dual of the spaces and .
Theorem 5.8 The set is the γ-dual of the spaces and .
Proof The proof of this theorem can also be proved in a much similar way to the proof of Theorem 5.6 using Lemma 5.4 instead of Lemma 5.2, thus it is left to the reader. □
6 Certain matrix mappings related to the spaces and
One of the most important ideas is matrix transformation in this work. Therefore, we focus on this concept in the present section.
It is appropriate to characterize certain classes of the matrix mappings. Therefore, we emphasize the matrix classes such as , , , , and , where . We also characterize some other classes including the Riesz, difference, Euler and Cesàro sequence spaces.
For an infinite matrix , and we state here that the series on the right-hand side in the above equality are convergent for all .
The results of the following lemmas will be used in the proofs of our theorems.
Lemma 6.1 
The matrix mappings between the BK-spaces are continuous.
Lemma 6.2 
Lemma 6.3 
Lemma 6.4 
iff (5.2) and (6.1) hold.
These motivate the following theorems related to the matrix transformations.
- (i)Let . Then if and only if(6.2)(6.3)(6.4)(6.5)(6.6)(6.7)
- (ii)if and only if (6.5) and (6.6) hold, and(6.8)(6.9)
Proof For proving the sufficiency of the theorem, let us assume that conditions (6.2)-(6.7) hold and take any . In this condition, using Theorem 5.6 we obtain that for all . This requires the existence of the A-transform of x, that is, Ax exists. Moreover, it is obviously seen that the associated sequence lies in the space c. Furthermore, if we combine Lemma 6.2 together with condition (6.3) we see that the matrix is in the class , where .
This shows that . That is, .
Now, in order to verify the converse claim, let us assume that , where . In this condition, Ax exists for every and it is not difficult to see that for all . Using Theorem 5.6, one can immediately see the necessity of conditions (6.4) and (6.5).
due to the fact that inequality (6.13) is met for the sequence . This result requires that inequality (6.3) is necessary. In conclusion, the statement is obtained following Lemma 6.2.
This result requires that the limit given by (6.6) is necessary. Thus, relation (6.12) holds.
Finally, the necessity of (6.7) immediately follows from (6.12) owing to the fact that and . This represents the desired proof of part (i) of the theorem.
One can prove part (ii) using a similar way as that in the proof of part (i) with Lemma 5.4 in place of Lemma 6.2; the details are left to the reader. □
for each , using (6.8). This newly obtained result informs us that condition (6.8) requires condition (6.4).
Here, it may be recalled that the claim for is valid (see [, pp.7-8]). In conclusion, using Theorem 5.6 and Lemmas 6.2 and 5.4, we immediately have the following theorem.
- (i)Let us suppose that . In that case, is valid iff (6.3) and (6.4) hold, and(6.14)(6.15)
is valid iff all of (6.8) and (6.14) and (6.15) hold.
Proof Since the proof of this theorem can be obtained by using the same way as that used in the proof of Theorem 6.5, we leave it to the reader. □
Proof First of all, let us prove the sufficiency of the conditions. For this, let us assume that A satisfies conditions (6.5), (6.6), (6.8), (6.16), (6.17) and (6.18), and take any . Condition (6.8) requires condition (6.4) for all ; we have by Theorem 5.6, i.e., Ax exists. It is also seen from (6.8) and (6.17) that is valid for every . This results in the fact that and the series is convergent, where is the sequence connected with via the relation given by (2.5) in such a way that when . Furthermore, when Lemma 5.3 is combined with conditions (6.8), (6.17) and (6.18), it is clearly seen that the matrix lies in the class .
In this case, by letting in (6.19), we observe that the first term on the right-hand side tends to with the help of (6.8) and (6.17). Similarly, the second and the last term tend to lα by (6.18) and la by (6.16), respectively. In conclusion, we get , and this shows that ; in other words, .
Conversely, let us assume that . In that case, since the inclusion is valid, it is obvious that . Thus, the necessity of conditions (6.5), (6.6) and (6.8) is clear from Theorem 6.5. Moreover, let us consider the sequence described by (4.1) for every fixed . Thus, it is obvious that . Next it is seen that for each , and this illustrates the necessity of (6.17). Now, let us assume that . In this case, the linear transformation , described as in the proof of Theorem 2.4, is continuous by analogy; and, moreover, is valid for each fixed . Thus, we obtain that for each and this result demonstrates that and hence . In the other way around, since and c are the BK-spaces, Lemma 6.1 requires that the matrix mapping is continuous. Therefore, for every , we have . This result represents the necessity of (6.18).
Next, it follows that by (6.8), (6.17) and (6.18) together with Lemma 5.3. Thus, using (6.5) and (6.6), it is seen that relation (6.12) is valid for all and . Moreover, x and y are connected with relation (2.5) where when .
In the last step, the necessity of (6.16) is immediately seen (6.12) due to the fact that and . This last step concludes the proof. □
Proof The present theorem can be easily proved in a similar way used in the proof of Theorem 6.8 with Lemma 6.3 in place of Lemma 5.3, we leave it to the reader. □
Theorem 6.10 The statement is valid iff conditions (6.8), (6.14), (6.15) and (6.17) hold.
Proof The proof can be easily obtained with Lemma 5.2, Theorem 5.6 and part (ii) of Theorem 6.7. □
Theorem 6.11 The statement is valid iff conditions (6.8), (6.14), (6.15) and (6.17) hold with for each .
Proof The proof is obvious when Lemma 6.4, Theorems 5.6 and 6.10 are evaluated. □
This paper was solely written by the author without any support from any organization. Certain results of this study were partially presented at the Algerian-Turkish International Days on Mathematics (ATIM 2013) held on 12-14 September, 2013 in Istanbul, Turkey at Fatih University.
- Başar F: Summability Theory and Its Applications. Bentham Science Publishers, İstanbul; 2012.Google Scholar
- Wilansky A: Functional Analysis. Blaisdell, Boston; 1964.MATHGoogle Scholar
- Altay B, Başar F:The matrix domain and the fine spectrum of the difference operator Δ on the sequence space (). Commun. Math. Anal. 2007, 2(2):1–11.MathSciNetMATHGoogle Scholar
- Altay B, Başar F, Mursaleen M:On the Euler sequence spaces which include the spaces and I. Inf. Sci. 2006, 176(10):1450–1462. 10.1016/j.ins.2005.05.008View ArticleMATHMathSciNetGoogle Scholar
- Altay B, Başar F, Malkowsky E: Matrix transformations on sequence spaces related to strong Cesàro summability and boundedness. Appl. Math. Comput. 2009, 211(2):255–264. 10.1016/j.amc.2009.01.062MathSciNetView ArticleMATHGoogle Scholar
- Aydın C, Başar F:Some new sequence spaces which include the spaces and . Demonstr. Math. 2005, 38(3):641–656.MATHMathSciNetGoogle Scholar
- Candan M: Domain of the double sequential band matrix in the classical sequence spaces. J. Inequal. Appl. 2012., 2012: Article ID 281Google Scholar
- Candan M: Almost convergence and double sequential band matrix. Acta Math. Sci. Ser. B 2014, 34(2):354–366. 10.1016/S0252-9602(14)60010-2MathSciNetView ArticleMATHGoogle Scholar
- Choudhary B, Nanda S: Functional Analysis with Applications. Wiley, New Delhi; 1989.MATHGoogle Scholar
- Kızmaz H: On certain sequence spaces. Can. Math. Bull. 1981, 24(2):169–176. 10.4153/CMB-1981-027-5View ArticleMATHMathSciNetGoogle Scholar
- Malkowsky E: Recent results in the theory of matrix transformations in sequence spaces. Mat. Vesn. 1997, 49: 187–196.MathSciNetMATHGoogle Scholar
- Malkowsky E, Rakočević V, Živković-Zlatanović S:Matrix transformations between the sequence spaces and certain BK spaces. Bull. - Acad. Serbe Sci. Arts, Cl. Sci. Math. Nat., Sci. Math. 2002, 27: 33–46.MATHMathSciNetGoogle Scholar
- Malkowsky E, Savaş E: Matrix transformations between sequence spaces of generalized weighted means. Appl. Math. Comput. 2004, 147: 333–345. 10.1016/S0096-3003(02)00670-7MathSciNetView ArticleMATHGoogle Scholar
- 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/s10114-005-0719-xMathSciNetView ArticleMATHGoogle Scholar
- Mursaleen M, Noman AK: On the spaces of λ -convergent and bounded sequences. Thai J. Math. 2010, 8(2):311–329.MathSciNetMATHGoogle Scholar
- Mursaleen M, Noman AK: On some new difference sequence spaces of non-absolute type. Math. Comput. Model. 2010, 52: 603–617. 10.1016/j.mcm.2010.04.006MathSciNetView ArticleMATHGoogle Scholar
- Sönmez A, Başar F: Generalized difference spaces of non-absolute type of convergent and null sequences. Abstr. Appl. Anal. 2012., 2012: Article ID 435076Google Scholar
- Ng P-N, Lee P-Y: Cesàro sequence spaces of non-absolute type. Comment. Math. Prace Mat. 1978, 20(2):429–433.MathSciNetMATHGoogle Scholar
- Sarıgöl MA: On difference sequence spaces. J. Karadeniz Tech. Univ., Fac. Arts Sci., Ser. Math.-Phys. 1987, 10: 63–71.MathSciNetMATHGoogle Scholar
- Sönmez A: Some new sequence spaces derived by the domain of the triple band matrix. Comput. Math. Appl. 2011, 62: 641–650. 10.1016/j.camwa.2011.05.045MathSciNetView ArticleMATHGoogle Scholar
- Wilansky A North-Holland Mathematics Studies 85. In Summability Through Functional Analysis. North-Holland, Amsterdam; 1984.Google Scholar
- Stieglitz M, Tietz H: Matrix transformationen von folgenräumen eine ergebnisübersicht. Math. Z. 1977, 154: 1–16. 10.1007/BF01215107MathSciNetView ArticleMATHGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.