Generalized spaces of double sequences for Orlicz functions and bounded-regular matrices over n-normed spaces
© Mohiuddine et al.; licensee Springer 2014
Received: 20 April 2014
Accepted: 5 August 2014
Published: 2 September 2014
The aim of this paper is to introduce some generalized spaces of double sequences with the help of the Musielak-Orlicz function and four-dimensional bounded-regular (shortly, RH-regular) matrices over n-normed spaces. Some topological properties and inclusion relations between these spaces are investigated.
Keywordsdouble sequence Orlicz function difference sequence paranormed space over n-normed spaces bounded-regular matrices
1 Introduction, notations, and preliminaries
if and only if are linearly dependent in X,
is invariant under permutation,
for any , and
is called an n-norm on X, and the pair is called a n-normed space over the field ℝ.
defines an -norm on X with respect to .
If every Cauchy sequence in X converges to some , then X is said to be complete with respect to the n-norm. A complete n-normed space is called n-Banach space.
Of the definitions of convergence commonly employed for double series, only that due to Pringsheim permits a series to converge conditionally. Therefore, in spite of any disadvantages which it may possess, this definition is better adapted than others to the study of many problems in double sequences and series. Chief among the reasons why the theory of double sequences, under the Pringsheim definition of convergence, presents difficulties not encountered in the theory of simple sequences is the fact that a double sequence may converge without being a bounded function of i and j. Thus it is not surprising that many authors in dealing with the convergence of double sequences should have restricted themselves to the class of bounded sequences or, in dealing with the summability of double series, to the class of series for which the function whose limit is the sum of the series is a bounded function of i and j. Without such a restriction, peculiar things may sometimes happen; for example, a double power series may converge with partial sum unbounded at a place exterior to its associated circles of convergence. Nevertheless there are problems in the theory of double sequences and series where this restriction of boundedness as it has been applied is considerably more stringent than need be. In , Hardy introduced the concept of regular convergence for double sequences. Some important work on double sequences has also been done by Bromwich . Later on, it was studied by various authors, e.g. Móricz , Móricz and Rhoades , Başarır and Sonalcan , Mursaleen and Mohiuddine [11, 12], and many others. Mursaleen  has defined and characterized the notion of almost strong regularity of four-dimensional matrices and applied these matrices to establish a core theorem (also see ). Altay and Başar  have recently introduced the double sequence spaces , , , , , and consisting of all double series whose sequence of partial sums are in the spaces , , , , , and , respectively. Başar and Sever  extended the well known space from single sequence to double sequences, denoted by , and established its interesting properties. The authors of  defined some convex and paranormed sequences spaces and presented some interesting characterization. Most recently, Mohiuddine and Alotaibi  introduced some new double sequences spaces for σ-convergence of double sequences and invariant mean, and also determined some inclusion results for these spaces. For more details on these concepts, one is referred to [19–21].
The notion of difference sequence spaces was introduced by Kızmaz , who studied the difference sequence spaces , , and . The notion was further generalized by Et and Çolak  by introducing the spaces , , and .
We remark that for and , we obtain the sequence spaces which were introduced and studied by Et and Çolak  and Kızmaz , respectively. For more details as regards sequence spaces, see [24–31] and references therein.
where η is known as the kernel of M, is a right differentiable for , , , η is nondecreasing and as .
holds for all and , whenever .
A double sequence is said to be bounded if . We denote by , the space of all bounded double sequences.
By the convergence of double sequence we mean the convergence in the Pringsheim sense i.e. a double sequence is said to converge to the limit L in Pringsheim sense (denoted by ) provided that given there exists such that whenever (see ). We shall write more briefly as P-convergent. If, in addition, , then x is said to be boundedly P-convergent to L. We shall denote the space of all bounded convergent double sequences (or, boundedly P-convergent) by .
Let and let be given. By , we denote the characteristic function of the set .
A four-dimensional matrix A is said to be bounded-regular (or RH-regular) if every bounded P-convergent sequence is A-summable to the same limit and the A-means are also bounded.
The following is a four-dimensional analog of the well-known Silverman-Toeplitz theorem .
The four-dimensional matrix A is RH-regular if and only if
(RH1) for each j and k,
(RH3) for each k,
(RH4) for each j,
(RH5) for all .
2 Some spaces of double sequences over n-normed spaces
Recently, Yurdakadim and Tas  defined the spaces of double sequences for RH-regular four-dimensional matrices and Orlicz functions and also established some interesting results. Quite recently, Mohiuddine et al.  defined and studied some paranormed double difference sequence spaces for four-dimensional bounded-regular matrices and Musielak-Orlicz functions.
Recall that a linear topological space X over the real field ℝ (the set of real numbers) is said to be a paranormed space if there is a subadditive function such that , and scalar multiplication is continuous, i.e., and imply for all α’s in ℝ and all x’s in X, where θ is the zero vector in the linear space X.
where is a double sequence of real numbers such that for j, k and , and is a double sequence of strictly positive real numbers.
If , then we write and instead of and , respectively.
If for all j, k, then we write and instead of and , respectively.
If for all j, k, then we write and instead of and , respectively.
If , then we write and instead of and , respectively, where denotes the nm th Cesàro mean of double sequence .
If and , then we write and instead of and , respectively.
where and (see ).
3 Main results
Theorem 3.1 Let be a Musielak-Orlicz function, be a nonnegative four-dimensional RH-regular matrix, be a bounded sequence of positive real numbers and be a sequence of strictly positive real numbers. Then and are linear spaces over the field ℝ of reals.
Thus . This proves that is a linear space. Similarly we can prove that is also a linear space. □
where and .
- (iii)Let there exist positive numbers and such that
So, the fact that the scalar multiplication is continuous follows from the above inequality. This completes the proof of the theorem. □
Theorem 3.3 Let be a Musielak-Orlicz function, be a nonnegative four-dimensional RH-regular matrix, be a bounded sequence of positive real numbers and be a sequence of strictly positive real numbers. Then and are complete topological linear spaces.
and by continuity of , is a Cauchy sequence in ℝ for each fixed j and k.
Thus as . This proves that is a complete topological linear space.
Hence and this completes the proof. □
Theorem 3.4 Let be a Musielak-Orlicz function which satisfies the -condition. Then .
Since A is RH-regular and , we get . □
which implies that . This completes the proof. □
- (i)Let . Then
- (ii)Let . Then
- (ii)Let for each j and k and . Let . Then for each there exists a positive integer N such that
Therefore . This completes the proof. □
Lemma 3.7 Let G be an ideal in and let . Then x is in the closure of G in if and only if for all .
Proof It is easy to prove so we omit the proof. □
Lemma 3.8 Let be a Musielak-Orlicz function which satisfies the -condition and let be a nonnegative four-dimensional RH-regular matrix. Then is an ideal in .
for all j, k, and . Therefore . Thus, . This completes the proof. □
Lemma 3.9 If A is a nonnegative four-dimensional RH-regular matrix, then is a closed ideal in .
where , so .
Hence . So is an ideal in for a Musielak-Orlicz function which satisfies the -condition.
so . This completes the proof. □
Theorem 3.10 Let be a bounded sequence, be a Musielak-Orlicz function which satisfies the -condition and A be a nonnegative four-dimensional RH-regular matrix. Then .
The proof is complete. □
The authors gratefully acknowledge the financial support from King Abdulaziz University, Jeddah, Saudi Arabia.
- Gähler S: Linear 2-normierte Räume. Math. Nachr. 1965, 28: 1–43.View ArticleMATHGoogle Scholar
- Misiak A: n -Inner product spaces. Math. Nachr. 1989, 140: 299–319. 10.1002/mana.19891400121MathSciNetView ArticleMATHGoogle Scholar
- Gunawan H: On n -inner product, n -norms, and the Cauchy-Schwartz inequality. Sci. Math. Jpn. 2001, 5: 47–54.Google Scholar
- Gunawan H: The space of p -summable sequence and its natural n -norm. Bull. Aust. Math. Soc. 2001, 64: 137–147. 10.1017/S0004972700019754MathSciNetView ArticleMATHGoogle Scholar
- Gunawan H, Mashadi M: On n -normed spaces. Int. J. Math. Math. Sci. 2001, 27: 631–639. 10.1155/S0161171201010675MathSciNetView ArticleMATHGoogle Scholar
- Hardy GH: On the convergence of certain multiple series. Proc. Camb. Philos. Soc. 1917, 19: 86–95.Google Scholar
- Bromwich TJ: An Introduction to the Theory of Infinite Series. Macmillan & Co., New York; 1965.MATHGoogle Scholar
- Móricz F: Extension of the spaces c and from single to double sequences. Acta Math. Hung. 1991, 57: 129–136. 10.1007/BF01903811View ArticleMATHGoogle Scholar
- Móricz F, Rhoades BE: Almost convergence of double sequences and strong regularity of summability matrices. Math. Proc. Camb. Philos. Soc. 1988, 104: 283–294. 10.1017/S0305004100065464View ArticleMathSciNetMATHGoogle Scholar
- Başarır M, Sonalcan O: On some double sequence spaces. J. Indian Acad. Math. 1999, 21: 193–200.MathSciNetMATHGoogle Scholar
- Mursaleen M, Mohiuddine SA: Regularly σ -conservative and σ -coercive four dimensional matrices. Comput. Math. Appl. 2008, 56: 1580–1586. 10.1016/j.camwa.2008.03.007MathSciNetView ArticleMATHGoogle Scholar
- Mursaleen M, Mohiuddine SA: On σ -conservative and boundedly σ -conservative four-dimensional matrices. Comput. Math. Appl. 2010, 59: 880–885. 10.1016/j.camwa.2009.10.006MathSciNetView ArticleMATHGoogle Scholar
- Mursaleen M: Almost strongly regular matrices and a core theorem for double sequences. J. Math. Anal. Appl. 2004,293(2):523–531. 10.1016/j.jmaa.2004.01.014MathSciNetView ArticleMATHGoogle Scholar
- Mursaleen M, Edely OHH: Almost convergence and a core theorem for double sequences. J. Math. Anal. Appl. 2004,293(2):532–540. 10.1016/j.jmaa.2004.01.015MathSciNetView ArticleMATHGoogle Scholar
- Altay B, Başar F: Some new spaces of double sequences. J. Math. Anal. Appl. 2005, 309: 70–90. 10.1016/j.jmaa.2004.12.020MathSciNetView ArticleMATHGoogle Scholar
- Başar F, Sever Y:The space of double sequences. Math. J. Okayama Univ. 2009, 51: 149–157.MathSciNetMATHGoogle Scholar
- Mursaleen M, Mohiuddine SA: Some matrix transformations of convex and paranormed sequence spaces into the spaces of invariant means. J. Funct. Spaces Appl. 2012., 2012: Article ID 612671Google Scholar
- Mohiuddine SA, Alotaibi A: Some spaces of double sequences obtained through invariant mean and related concepts. Abstr. Appl. Anal. 2013., 2013: Article ID 507950Google Scholar
- Demirci K: Strong A -summability and A -statistical convergence. Indian J. Pure Appl. Math. 1996, 27: 589–593.MathSciNetMATHGoogle Scholar
- Mursaleen M, Mohiuddine SA: Some new double sequences spaces of invariant means. Glas. Mat. 2010,45(65):139–153.MathSciNetView ArticleMATHGoogle Scholar
- Parashar SD, Choudhary B: Sequence spaces defined by Orlicz functions. Indian J. Pure Appl. Math. 1994, 25: 419–428.MathSciNetMATHGoogle Scholar
- Kizmaz H: On certain sequences spaces. Can. Math. Bull. 1981,24(2):169–176. 10.4153/CMB-1981-027-5MathSciNetView ArticleMATHGoogle Scholar
- Et M, Çolak R: On generalized difference sequence spaces. Soochow J. Math. 1995,21(4):377–386.MathSciNetMATHGoogle Scholar
- Et M: Spaces of Cesàro difference sequences of order r defined by a modulus function in a locally convex space. Taiwan. J. Math. 2006,10(4):865–879.MathSciNetMATHGoogle Scholar
- Et M: Generalized Cesàro difference sequence spaces of non-absolute type involving lacunary sequences. Appl. Math. Comput. 2013, 219: 9372–9376. 10.1016/j.amc.2013.03.039MathSciNetView ArticleMATHGoogle Scholar
- Raj K, Sharma AK, Sharma SK: A sequence space defined by Musielak-Orlicz function. Int. J. Pure Appl. Math. 2011, 67: 475–484.MathSciNetMATHGoogle Scholar
- Raj K, Jamwal S, Sharma SK: New classes of generalized sequence spaces defined by an Orlicz function. J. Comput. Anal. Appl. 2013, 15: 730–737.MathSciNetMATHGoogle Scholar
- Raj K, Sharma SK: Some generalized difference double sequence spaces defined by a sequence of Orlicz-function. CUBO 2012, 14: 167–189. 10.4067/S0719-06462012000300011MathSciNetView ArticleMATHGoogle Scholar
- Raj K, Sharma SK, Sharma AK: Some difference sequence spaces in n -normed spaces defined by Musielak-Orlicz function. Armen. J. Math. 2010, 3: 127–141.MathSciNetMATHGoogle Scholar
- Tripathy BC: Generalized difference paranormed statistically convergent sequences defined by Orlicz function in a locally convex spaces. Soochow J. Math. 2004, 30: 431–446.MathSciNetMATHGoogle Scholar
- Et M, Altin Y, Choudhary B, Tripathy BC: On some classes of sequences defined by sequences of Orlicz functions. Math. Inequal. Appl. 2006, 9: 335–342.MathSciNetMATHGoogle Scholar
- Lindenstrauss J, Tzafriri L: On Orlicz sequence spaces. Isr. J. Math. 1971, 10: 379–390. 10.1007/BF02771656MathSciNetView ArticleMATHGoogle Scholar
- Maligranda L Seminars in Mathematics 5. Orlicz Spaces and Interpolation 1989. Polish Academy of ScienceGoogle Scholar
- Musielak J Lecture Notes in Mathematics 1034. In Orlicz Spaces and Modular Spaces. Springer, Berlin; 1983.Google Scholar
- Pringsheim A: Zur theorie der zweifach unendlichen zahlenfolgen. Math. Ann. 1900, 53: 289–321. 10.1007/BF01448977MathSciNetView ArticleGoogle Scholar
- Cooke RG: Infinite Matrices and Sequence Spaces. Macmillan & Co., London; 1950.MATHGoogle Scholar
- Robison GM: Divergent double sequences and series. Trans. Am. Math. Soc. 1926, 28: 50–73. 10.1090/S0002-9947-1926-1501332-5MathSciNetView ArticleMATHGoogle Scholar
- Hamilton HJ: Transformation of multiple sequences. Duke Math. J. 1936, 2: 29–60. 10.1215/S0012-7094-36-00204-1MathSciNetView ArticleMATHGoogle Scholar
- Maddox IJ: Elements of Functional Analysis. 2nd edition. Cambridge University Press, Cambridge; 1988.MATHGoogle Scholar
- Simons S:The sequence spaces and . Proc. Lond. Math. Soc. 1965,15(3):422–436.MathSciNetView ArticleMATHGoogle Scholar
- Yurdakadim T, Tas E: Double sequences and Orlicz functions. Period. Math. Hung. 2013, 67: 47–54. 10.1007/s10998-013-6362-xMathSciNetView ArticleMATHGoogle Scholar
- Mohiuddine SA, Raj K, Alotaibi A: Some paranormed double difference sequence spaces for Orlicz functions and bounded-regular matrices. Abstr. Appl. Anal. 2014., 2014: Article ID 419064Google 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/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.