#### Abstract

I introduce some new classes of -convergent double sequences defined by a sequence of moduli over -normed space. Study of their algebraic and topological properties and some inclusion relations has also been done.

#### 1. Introduction

The notion of -convergence was introduced by Kostyrko et al. in [1]. It is known that -convergence is generalization of the statistical convergence which was introduced by Fast [2]. It was further studied by Demirci [3], Das et al. [4], Šalát et al. [5], and many others.

For a nonempty set , the family of sets , the power set of , is said to be an ideal if(1);(2) is additive; that is, ;(3) is hereditary; that is, .

A nontrivial ideal is called admissible if . is maximal if there cannot exist any nontrivial ideal containing as a subset.

Let , and denote the set of natural, real, and complex numbers, respectively. A double sequence of complex numbers is defined as a function from to . A number is called a limit of a double sequence if for every there exists some such that The set of all double sequences is denoted by . Any subset of the is called double sequence space. A sequence is said to be -convergent to a number if, for every , . In this case we write .

A double sequence space is said to be solid or normal if implies for all sequences of scalars with for all . For more details please see [6–8].

*Example 1. *Let be the class of all subsets of such that implies that there exists such that .

Then is an ideal of in the usual Pringsheim sense of convergence of double sequences. If is replaced by , the class of finite subsets of , then we get the usual regular convergence of double sequences.

The theory of 2-normed spaces was first introduced by Gähler [9] in 1964. Later on it was extended to -normed spaces by Misiak [10]. Since then many mathematicians have worked in this field and obtained many interesting results; for instance see Gunawan [11, 12], Gunawan and Mashadi [13], Mursaleen and Mohiuddine [14], Şahiner et al. [15, 16], and Yamancı and Gürdal [17]. Let and let be a linear metric space over the field of real or complex numbers of dimension , where . A real valued function on satisfying the following four conditions:(1) if and only if are linearly dependent;(2) is invariant under permutation;(3) for any ;(4)is called an -norm on and the pair is called an -normed space over the field .

*Example 2. *If we take , equipped with Euclidean -norm spanned by vectors , then the -norm may be given by the formula , where for .

The standard -norm on is defined as

where denotes the inner product on . If , then this -norm is exactly the same as the Euclidean -norm mentioned earlier. For this -norm is the usual norm .

A sequence in an -normed space is said to converge to some if

A sequence in an -normed space is said to be Cauchy if

If every Cauchy sequence in converges to some , then is said to be complete with respect to the -norm. Any complete - normed space is said to be an -Banach space.

The concept of modulus function was introduced by Nakano [18] in the year 1953. It was further studied by [7, 8, 19–21] and many more. It is defined as a function : satisfying the following conditions:(1) if and only if ,(2) for all ,(3) is increasing,(4) is continuous from the right at zero.Ruckle [22] used the idea of a modulus function to construct the sequence space The space is closely related to the space which is an space with for all real . Thus Ruckle [23, 24] proved that, for any modulus ,The space is a Banach space with respect to the norm After then Kolk [25, 26] gave an extension of by considering a sequence of modulus functions called the sequence of moduli and defined the sequence space: From the above four properties of modulus function it can be clearly seen that must be continuous everywhere on ). For a sequence of moduli, we have further two properties:(5) for all ;(6) uniformly in and for .

*Example 3. *Let be a function from to . If we take , then the function is a bounded modulus function and if we take , then is an unbounded modulus function.

By a lacunary sequence ; , where , we mean an increasing sequence of nonnegative integers as . The intervals determined by are denoted by and the ratio will be denoted by . The space of lacunary strongly convergent sequence was defined by Freedman et al. [27] as follows: The double lacunary sequence was defined by Savaş and Patterson [28]. A double sequence is called double lacunary if there exist two increasing sequences of integers such that The following interval is determined by : The space of double lacunary strongly convergent sequence is defined as follows:

#### 2. New Classes of Double Sequences

Now, we will define the new classes of double sequences.

Let be an admissible ideal, let be a sequence of moduli, let be an -normed space, let be a sequence of positive real numbers, let be a sequence of strictly positive real numbers, and let be the space of all double sequences defined over the -normed space ; then for some and every , we define(i) : ,(ii) :

*Case 1. *If , then we get(i) : ,(ii) :

*Case 2. *If , then we get(i) : ,(ii) :

*Case 3. *If and , then we get(i) : ,(ii) : The following inequality will be used throughout the paper. If , then we have for all and . Also for all

#### 3. Main Results

Theorem 4. *The sets and are linear spaces over the field of complex numbers .*

*Proof. *Let , , and ; then for every we can write By the use of inequality (12), we have the following inequality: This inequality says to us that the inclusion holds. From here, since the right side belongs to , the left side also belongs to . This completes the proof.

Lemma 5. *Let be a modulus function and let . Then for each , one has *

Theorem 6. *Let be a sequence of moduli and Then the following statements hold:*(i)*,*(ii)*.*

*Proof. *For some , choose such that . By the continuity of for all , we can choose some such that for every with we have Let ; then for some and for every , we have Therefore for , we have So, by inequality (17), we can write This implies that . Hence The inclusion is strict as for the reverse inclusion we need the condition given in the next theorem. The other part can be proved similarly.

Theorem 7. *Let be a sequence of moduli. If for all , then*(i)*,*(ii)

*Proof. *(i) To prove , it is sufficient to show that . Let ; then, by the definition, we get By the given condition for all , we have for all ; that is, From inequalities (21) and (23), we get which consequently implies that That is, This implies that . Hence, from the previous theorem and inclusion (27), we get the required result. The other part can be proved similarly.

Corollary 8. *Let and be sequences of moduli. If for all , then*(i)*,*(ii)*.*

Theorem 9. *Let and be the standard and the Euclidean -norm spaces, respectively. Then *

*Proof. *The proof of this result is easy, so it is omitted.

Theorem 10. *Let and be sequences of moduli; then*(i)*,*(ii)*,*(iii)* ⊆,*(iv)

*⊆**Proof. *(i) For some , we choose such that . Now as is a sequence of modulus functions which are always continuous, we can choose such that, for every , we get : Then, by the definition, we have Thus, for , we get Now, by the continuity of , we have which further implies that which implies Therefore . This completes the proof.

(iii) Again consider Then by the definition of both the spaces, we get Using the fact that , we have So we get Therefore we have Hence we have

#### 4. Conclusion

A detailed study of some new classes of -convergent double sequences over -normed spaces has been done. Some algebraic and topological properties and inclusion relations have been proved with supported examples.

#### Competing Interests

The author declares that he has no competing interests.

#### Acknowledgments

The author is grateful to the anonymous referees for their careful corrections and comments that improved the presentation of this paper.