Ideal convergence of double sequences in random 2-normed spaces
© Mohiuddine et al.; licensee Springer 2012
Received: 12 March 2012
Accepted: 9 August 2012
Published: 31 August 2012
Quite recently, Alotaibi and Mohiuddine (Adv. Differ. Equ. 2012:39, 2012) studied the idea of a random 2-normed space to determine some stability results concerning the cubic functional equation. In this paper, we define and study the concepts of -convergence and -convergence for double sequences in random 2-normed spaces and establish the relationship between these types of convergence, i.e., we show that -convergence implies -convergence in random 2-normed spaces. Furthermore, we have also demonstrated through an example that, in general, -convergence does not imply -convergence in random 2-normed spaces.
Menger  generalized the metric axioms by associating a distribution function with each pair of points of a set. This system, called a probabilistic metric space, originally a statistical metric space, has been developed extensively by Schweizer and Sklar . The idea of Menger was to use distribution functions instead of nonnegative real numbers. An important family of probabilistic metric spaces are probabilistic normed spaces. Probabilistic normed spaces are real linear spaces in which the norm of each vector is an appropriate probability distribution function rather than a number. Such spaces were first introduced by S̆erstnev in 1963 . In , Alsina et al. gave a new definition of PN spaces that includes S̆erstnev’s and leads naturally to the identification of the principal class of PN spaces, the Menger spaces. Recently, the concept of probabilistic normed spaces was extended to random/probabilistic 2-normed spaces by Golet  using the concept of 2-norm of Gähler .
The concept of statistical convergence for sequences of real numbers was introduced by Fast  in 1951, and since then several generalizations and applications of this notion have been investigated by various authors (see [8–21]). The notion of statistical convergence is a very useful functional tool for studying the convergence problems of numerical sequences/matrices (double sequences) through the concept of density. The concept of I-convergence, which is a generalization of statistical convergence, was introduced by Kastyrko, Salat and Wilczynski  by using the ideal I of subsets of the set of natural numbers and further studied in [23–27] and references therein. Recently, Şahiner et al., and Gürdal and Acik  studied ideal convergence and I-Cauchy sequences respectively in 2-normed spaces, and also Gürdal and Pehlivan  studied statistical convergence in a 2-Banach space. Most recently, Alotaibi and Mohiuddine  determined the stability of a cubic functional equation in a random 2-normed space.
In this paper, we study the concept of -convergence and -convergence in a more general setting, i.e., in a random 2-normed space. We discuss the relationship between -convergence and -convergence and prove some interesting results.
2 Definitions, notations and preliminary results
In this section, we recall some basic definitions and notations which form the background of the present work.
The set Δ, as well as its subsets, can be partially ordered by the usual pointwise order: in this order, is the maximal element in .
∗ is associative and commutative, (ii) ∗ is continuous, (iii) , (iv) whenever and .
The concept of a 2-normed space was first introduced by Gähler .
Let X is a linear space of a dimension d, where . A 2-norm on X is a function satisfying the following conditions: for every , (i) if and only if x and y are linearly dependent; (ii) ; (iii) , ; (iv) . In this case is called a 2-normed space.
Recently, Goleţ  introduced the notion of a random 2-normed space as follows.
if x and y are linearly dependent, where denotes the value of at ,
if x and y are linearly independent,
for every x, y in X,
for every , and ,
If (v) is replaced by
(v′) , for all and ,
then triple is called a random 2-normed space (for short, RTN-space).
Then is a random 2-normed space.
Remark 2.3 Note that every 2-normed space can be made a random 2-normed space in a natural way, by setting , for every , and , .
In 1900, Pringsheim  introduced the notion of convergence of double sequences as follows: A double sequence is said to converge to the limit L in Pringsheim’s sense (shortly, P-convergent to L) if for every there exists an integer N such that whenever . In this case L is called the P-limit of x.
Let be a two-dimensional set of positive integers and let . Then the two-dimensional analogue of natural density can be defined as follows.
i.e., the set K has double natural density zero, while the set has double natural density .
has double natural density zero. In this case we write and denote the set of all statistically convergent double sequences.
for each and we have ,
I is called a nontrivial ideal if and is the power set of X.
for each and we have .
A nontrivial ideal I in X is called an admissible ideal if it is different from and contains all singletons, i.e., for each .
Let be a nontrivial ideal. Then a class is a filter on X, called the filter associated with the ideal I.
An admissible ideal is said to satisfy the condition (AP) if for every sequence of pairwise disjoint sets from I there are sets , such that the symmetric difference is a finite set for every n and .
Let I be a nontrivial ideal of . A sequence is said to be I-convergent to if, for each , the set . In this case we write .
3 Main results
In this section, we study the concept of -convergence and -convergence of double sequences in a random 2-normed space. We shall assume throughout this paper that as a nontrivial ideal in and is a random 2-normed space.
Definition 3.1 A double sequence is convergent in or simply -convergent to ℓ if, for every , , there exists a positive integer N such that whenever and nonzero . In this case we write and ℓ is called the -limit of .
In this case we write .
Definition 3.3 We say that a double sequence is said to be -convergent in or simply -convergent to ℓ if there exists a subset of such that (i.e., ) and . In this case we write and ℓ is called the -limit of the double sequence .
Theorem 3.4 If a double sequenceis-convergent, then-limit is unique.
Since was arbitrary, we get for all and nonzero . Hence .
This completes the proof of the theorem. □
Theorem 3.5 Letbe an admissible ideal. If a double sequenceis-convergent to ℓ, then it is-convergent to the same limit. But the converse need not be true.
is contained in , where and the ideal is admissible, . Hence .
For the converse, we construct the following example.
Hence, a double sequence is not convergent in . But if we take , then since , , that is, .
This completes the proof of the theorem. □
Theorem 3.7 Letbe an admissible ideal andbe a double sequence. Ifthen.
for all and . Therefore, we conclude that .
This completes the proof of the theorem. □
The following example shows that the converse of the above theorem need not be true.
Example 3.8 Let , with the 2-norm , , , and for all . Define for all and . Then is a RTN-space. Let be a decomposition of such that, for any each contains infinitely many ’s, where , and for . Now we define a double sequence by if . Then as . Hence .
But , therefore for infinitely many ’s from K which contradicts . Therefore, the assumption leads to the contradiction. Hence the converse of the Theorem 3.7 need not be true.
Now the question arises under what condition the converse may hold. The following theorem shows that the converse holds if the ideal satisfies the condition (AP).
An admissible ideal is said to satisfy the condition (AP) if, for every sequence of pairwise disjoint sets from , there are sets , such that the symmetric difference is a finite set for every n and .
Theorem 3.9 Suppose the idealsatisfies the condition (AP). Ifis a double sequence in X such that, then.
If , and , then . Therefore by (3.1), we have . Hence, for every , and , we have . Since s was arbitrary, we have .
This completes the proof of the theorem. □
- Menger K: Statistical metrics. Proc. Natl. Acad. Sci. USA 1942, 28: 535–537. 10.1073/pnas.28.12.535MathSciNetView ArticleMATHGoogle Scholar
- Schweizer B, Sklar A: Statistical metric spaces. Pac. J. Math. 1960, 10: 313–334. 10.2140/pjm.1960.10.313MathSciNetView ArticleMATHGoogle Scholar
- S̆erstnev AN: On the notion of a random normed space. Dokl. Akad. Nauk SSSR 1963, 149: 280–283.MathSciNetGoogle Scholar
- Alsina C, Schweizer B, Sklar A: Continuity properties of probabilistic norms. J. Math. Anal. Appl. 1997, 208(2):446–452. 10.1006/jmaa.1997.5333MathSciNetView ArticleMATHGoogle Scholar
- Goleţ I: On probabilistic 2-normed spaces. Novi Sad J. Math. 2006, 35(1):95–102.MathSciNetMATHGoogle Scholar
- Gähler S: 2-metrische Räume und ihre topologeische Struktur. Math. Nachr. 1963, 26: 115–148. 10.1002/mana.19630260109MathSciNetView ArticleMATHGoogle Scholar
- Fast H: Sur la convergence statistique. Colloq. Math. 1951, 2: 241–244.MathSciNetMATHGoogle Scholar
- Çolak R, Bektaş CA: λ -statistical convergence of order α . Acta Math. Sci., Ser. B 2011, 31(3):953–959.MathSciNetView ArticleMATHGoogle Scholar
- Fridy JA: On statistical convergence. Analysis 1985, 5: 301–313.MathSciNetView ArticleMATHGoogle Scholar
- Karakaya V: Some geometric properties of sequence spaces involving lacunary sequence. J. Inequal. Appl. 2007., 2007: Article ID 81028Google Scholar
- Mohiuddine SA, Danish Lohani QM: On generalized statistical convergence in intuitionistic fuzzy normed space. Chaos Solitons Fractals 2009, 42: 1731–1737. 10.1016/j.chaos.2009.03.086MathSciNetView ArticleMATHGoogle Scholar
- Mohiuddine SA, Şevli H, Cancan M: Statistical convergence in fuzzy 2-normed space. J. Comput. Anal. Appl. 2010, 12(4):787–798.MathSciNetMATHGoogle Scholar
- Mohiuddine SA, Aiyub M: Lacunary statistical convergence in random 2-normed spaces. Appl. Math. Inf. Sci. 2012, 6(3):581–585.MathSciNetGoogle Scholar
- Mohiuddine SA, Alotaibi A, Mursaleen M: Statistical convergence of double sequences in locally solid Riesz spaces. Abstr. Appl. Anal. 2012., 2012: Article ID 719729Google Scholar
- Mohiuddine SA, Savaş E: Lacunary statistically convergent double sequences in probabilistic normed spaces. Ann. Univ. Ferrara 2012. doi:10.1007/s11565–012–0157–5Google Scholar
- Moricz F: Statistical convergence of multiple sequences. Arch. Math. 2003, 81: 82–89. 10.1007/s00013-003-0506-9MathSciNetView ArticleMATHGoogle Scholar
- Mursaleen M, Edely OHH: Statistical convergence of double sequences. J. Math. Anal. Appl. 2003, 288: 223–231. 10.1016/j.jmaa.2003.08.004MathSciNetView ArticleMATHGoogle Scholar
- Mursaleen M, Mohiuddine SA: Statistical convergence of double sequences in intuitionistic fuzzy normed spaces. Chaos Solitons Fractals 2009, 41: 2414–2421. 10.1016/j.chaos.2008.09.018MathSciNetView ArticleMATHGoogle Scholar
- Mursaleen M, Mohiuddine SA: On lacunary statistical convergence with respect to the intuitionistic fuzzy normed space. J. Comput. Appl. Math. 2009, 233: 142–149. 10.1016/j.cam.2009.07.005MathSciNetView ArticleMATHGoogle Scholar
- Mursaleen M, Çakan C, Mohiuddine SA, Savaş E: Generalized statistical convergence and core of double sequences. Acta Math. Sin. Engl. Ser. 2010, 26(9):2131–2144.MathSciNetView ArticleMATHGoogle Scholar
- Savaş E, Mohiuddine SA:-statistically convergent double sequences in probabilistic normed spaces. Math. Slovaca 2012, 62(1):99–108. 10.2478/s12175-011-0075-5MathSciNetMATHGoogle Scholar
- Kastyrko P, S̆alát T, Wilczyński W: I -convergence. Real Anal. Exch. 2000–2001, 26: 669–686.Google Scholar
- Das P, Kastyrko P, Wilczyński W, Malik P: I and -convergence of double sequences. Math. Slovaca 2008, 58(5):605–620. 10.2478/s12175-008-0096-xMathSciNetView ArticleMATHGoogle Scholar
- Mursaleen M, Mohiuddine SA, Edely OHH: On the ideal convergence of double sequences in intuitionistic fuzzy normed spaces. Comput. Math. Appl. 2010, 59: 603–611. 10.1016/j.camwa.2009.11.002MathSciNetView ArticleMATHGoogle Scholar
- Mursaleen M, Mohiuddine SA: On ideal convergence of double sequences in probabilistic normed spaces. Math. Rep. 2010, 12(4):359–371.MathSciNetMATHGoogle Scholar
- Mursaleen M, Alotaibi A: On I -convergence in random 2-normed spaces. Math. Slovaca 2011, 61(6):933–940. 10.2478/s12175-011-0059-5MathSciNetView ArticleMATHGoogle Scholar
- Mursaleen M, Mohiuddine SA: On ideal convergence in probabilistic normed spaces. Math. Slovaca 2012, 62(1):49–62. 10.2478/s12175-011-0071-9MathSciNetView ArticleMATHGoogle Scholar
- Şahiner A, Gürdal M, Saltan S, Gunawan H: Ideal convergence in 2-normed spaces. Taiwan. J. Math. 2007, 11(5):1477–1484.MathSciNetMATHGoogle Scholar
- Gürdal M, Acik I: On I -Cauchy sequences in 2-normed spaces. Math. Inequal. Appl. 2008, 11(2):349–354.MathSciNetMATHGoogle Scholar
- Gürdal M, Pehlivan S: The statistical convergence in 2-Banach spaces. Thai J. Math. 2004, 2(1):107–113.MATHGoogle Scholar
- Alotaibi A, Mohiuddine SA: On the stability of a cubic functional equation in random 2-normed spaces. Adv. Differ. Equ. 2012., 2012: Article ID 39Google Scholar
- Pringsheim A: Zur theorie der zweifach unendlichen Zahlenfolgen. Math. Z. 1900, 53: 289–321.MathSciNetGoogle 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 cited.