On generalized A- difference strongly summable sequence spaces defined by ideal convergence on a real n-normed space

In this article, we shall introduce a new class of ideal convergent (briefly I-convergent) sequence spaces using, infinite matrix, an Orlicz function and difference operator defined on n-normed spaces. We study these spaces for some linear topological structures and algebraic properties. We also give some relations related to these sequence spaces.

Mathematics Subject Classification 2010: 40A05; 40B50; 46A19; 46A45.

The idea of statistical convergence was given by Zygmund [1] in the first edition of his monograph published in Warsaw in 1935. The concept of statistical convergence was introduced by Fast [2] and Schoenberg [3]. Over the years and under different names statistical convergence was discussed in the theory of Fourier analysis, ergodic theory, number theory, measure theory, turnpike theory and Banach spaces. Later on it was further investigated from sequence point of view and linked with the summability theory by Fridy [4] and many others. The idea is based on the notion of natural density of subsets of N, the set of positive integers, which is defined as follows: The natural density of a subset E of natural numbers is denoted by δ(E) and is defined by

where the vertical bar denotes the cardinality of the enclosed set.

Kastyrko et al. [5] introduced the concept of I-convergence of sequences in a metric space and studied some properties of such convergence. Since then many researchers have studied these subjects and obtained various results (see [6-9]). Note that I-convergence is an interesting generalization of statistical convergence.

The notion of difference sequence space was introduced by Kizmaz [10]. It was further generalized by Et and Colak [11] by introducing the sequence spaces ℓ_∞(Δ^s), c(Δ^s), c₀(Δ^s). For a non negative integer s, the generalized difference sequence spaces are defined as follows: For a given sequence space X we have

where Δ^sx_k = Δ^s-1x_k - Δ^s-1x_k+1, Δ⁰x_k = x_k, for all k ∈ N, the difference operator is equivalent to the following binomial representation:

Taking s = 1, we get the spaces ℓ_∞(Δ), c(Δ),c₀(Δ), introduced and studied by Kizmaz [10].

The concept of 2-normed space was initially introduced by Gahler [12], in the mid of 1960's, while that of n-normed spaces can be found in Misiak [13]. Since then, many others have studied this concept and obtained various results, (see Gunawan [14], Gunawan and Mashadi [15,16]). The notion of ideal-convergence in 2-normed spaces was introduced and studied in [17,18] and [19]. Later on it was extended to n-normed spaces by Gurdal and Sahiner [20], Hazarika [21] and Savas [22].

Let X be a non-empty set, then a family of sets I ⊂ 2^X (the class of all subsets of X) is called an ideal if and only if for each A, B ∈ I, we have A ∪ B ∈ I and for each A ∈ I and each B ⊂ A, we have B ∈ I. A non-empty family of sets F ⊂ 2^X is a filter on X if and only if Φ ∉ F, for each A, B ∈ F, we have A ∩ B ∈ F and each A ∈ F and each A ⊂ B, we have B ∈ F. An ideal I is called non-trivial ideal if and X ∉ I. Evidently I ⊂ 2^X is a non-trivial ideal if and only if F = F(I) = {X - A : A ∈ I} is a filter on X. A non-trivial ideal I ⊂ 2^X is called admissible if and only if {{x}: x ∈ X} ⊂ I. A non-trivial ideal I is maximal if there cannot exists any non-trivial ideal J ≠ I containing I as a subset. Further details on ideals of 2^X can be found in Kostyrko et. al [5].

An Orlicz function is a function M : [0, ∞) → [0, ∞), which is continuous, non-decreasing and convex with M (0) = 0, M(x) > 0, as x > 0 and M(x) → ∞, as x → ∞ (see [23]).

An Orlicz function M is said to satisfy Δ₂ - condition for all values of u, if there exists constant K > 0 such that M(2u) ≤ KM(u), u ≥ 0.

Lindenstrauss and Tzafriri [24] studied some Orlicz type sequence spaces defined as follows:

The space ℓ_M with the norm

becomes a Banach space which is called an Orlicz sequence space. The space ℓ_M is closely related to the space ℓ_p which is an Orlicz sequence space with M(t) = |t|^p, for 1 ≤ p < ∞. Subsequently Orlicz function was used to define sequence spaces by Parashar and Choudhary [25] and many others (see, [26-29]).

The following well-known inequality will be used throughout the article. Let p = (p_k) be any sequence of positive real numbers with 0 ≤ p_k ≤ sup_k p_k = G, D = max{1, 2^G-1} then

for all k ∈ N and a_k, b_k ∈ C. Also for all a ∈ C.

In 2001, Gunawan and Mashadi in [15] gave the following definitions.

Let nbea non-negative integer and X be a real vector space of dimension d ≥ n (d may be infinite). A real-valued function ║., ..., . ║ on Xⁿsatisfying the following conditions:

(1) ║(x₁, x₂, ..., x_n)║ = 0 if and only if x₁, x₂, ..., x_n are linearly dependent,

(2) ║(x₁, x₂, ..., x_n)║ is invariant under permutation,

(3) ║α(x₁, x₂, ..., x_n)║ = |α|║(x₁, x₂, ..., x_n)║, for any α ∈ R,

(4)

is called an n-norm on X and the pair (X, ║., ..., . ║) is called an n-normed space.

A trivial example of an n-normed space is X = Rⁿ, equipped with the Euclidean n-norm ║(x₁, x₂, ..., x_n)_║E = the volume of the n-dimensional parallelpiped spanned by the vectors x₁, x₂, ..., x_n which may be given explicitly by the formula

where x_i = (x_i1, x_i2, ..., x_in) ∈ Rⁿ for each i = 1, 2, 3 ..., n.

Let (X, ║., ..., . ║) be an n-normed space of dimension d ≥ n ≥ 2 and {a₁, a₂, ..., a_n} be a linearly independent set in X. Then the function ║., ..., . ║_∞ on X^n-1 is defined by

defines as (n - 1)-norm on X with respect to {a₁, a₂, ... a_n } and this is known as the derived (n - 1)-norm (see [14]).

The standard n-norm on X a real inner product space of dimension d ≥ n is as follows:

where <, > denotes the inner product on X. If we take X = Rⁿ then this n-norm is exactly the same as the Euclidean n-norm ║(x₁, x₂, ..., x_n)║_E mentioned earlier. For n = 1 this n-norm is the usual norm (for further details see Gunawan [14]).

We first introduce the following definitions (see also [21]).

Definition 2.1. A sequence (x_k) in an n-normed space (X, ║., ..., . ║) is said to be convergent to some L∈X with respect to the n-norm if for each ε > 0 there exists an positive integer n₀ such that ║x_k - L, z₁, z₂, ..., z_n-1║ < ε, for all k ≥ n₀ and for every z₁, z₂, ..., z_n-1 ∈X.

Definition 2.2. A sequence (x_k) in an n-normed space (X, ║., ., ..., .║) is said to be I-convergent to some L∈X with respect to the n-norm if for each ε > 0 such that the set {k ∈ N: ║x_k-L, z₁, z₂, ..., z_n-1║ ≥ ε} belongs to I, for every z₁, z₂, ..., z_n-1 ∈ X.

Definition 2.3. A sequence (x_k) in a normed space (X, ║.║) is said to be I-bounded if there exists an positive integer M > 0 such that the set {k ∈ N : ║x_k, z₁, z₂, ..., z_n_₁║ ≥ M} belongs to I, for every z₁, z₂, ..., z_n-1 ∈ X.

Definition 2.4. [6]. A sequence space E is said to be solid (or normal) if (α_kx_k) ∈ E, whenever (x_k) ∈ E and for all sequence (α_k) of scalars with |α_k| ≤ 1, for all k ∈ N.

Let K = {k₁ < k₂ < ···} ⊆ N and E be a sequence space. A K-step space of E is a sequence space .

A canonical preimage of a sequence is a sequence {y_n} ∈ w defined as

A canonical preimage of a step space is a set of canonical preimages of all elements in is in canonical preimage of if and only if y is canonical preimage of some x ∈ E.

Definition 2.5. A sequence space E is said to be monotone if it contains the canonical preimages of its step spaces.

1) If we take I = I_f = {A ⊆ N: A is a finite subset }. Then I_f is a non-trivial admissible ideal of N and the corresponding convergence coincide with the usual convergence.

2) If we take I = I_δ = {A ⊆ N: δ(A) = 0} where δ(A) denote the asymptotic density of the set A. Then I_δ is a non-trivial admissible ideal of N and the corresponding convergence coincide with the statistical convergence.

Lemma 2.1. ([30]). Every normal space is monotone.

Lemma 2.2. [15]. Every n-normed space is an (n-r)-normed space for all r = 1, 2, ..., n-

1. In particular every n-normed space is a normed space.

In this article, we study some new ideal convergent sequence spaces on n-normed spaces by using Orlicz functions, infinite matrix and generalized difference operator.

Before we state our main results, first we shall present some new ideal convergent sequence spaces by combining an infinite matrix and Orlicz function and study their linear topological structures. Also we give some relations related to these sequence spaces.

Let I be an admissible ideal of N, and let p = (p_k) be a bounded sequence of positive real numbers for all k ∈ N and A = (a_nk) an infinite matrix. Let M be an Orlicz function and (X, ║.,., ...,.║) be an n-normed space. Further w(n - X) denotes the spaces of all X-valued sequence spaces. For every z₁, z₂, ..., z_n-1 ∈ X, for each ε > 0 and for some ρ > 0 we define the following sequence spaces:

Let us consider a few special cases of the above sets.

(i) If s = 0 then we obtain the spaces as w^I [A, M, p, ║., ... .., .║], , , and w_∞[A, M, p,║., ... .., .║], from the above sequence spaces.

(ii) If s = 1, then above spaces are denoted by w^I [A, Δ M, p, ║., ... .., .║], , and .

(iii) If M(x) = x for all x ∈ [0, ∞) then we obtain the spaces by w^I[A, Δ^s, p,║., ... .., .║], , and from the above sequence spaces.

(iv) If p = (p_k) = (1,1,1...), then above spaces becomes w^I [A, Δ^s, M, ║., ... .., .║], , and .

(v) If we take A = (C, 1), i.e., the Cesàro matrix, then the above classes of sequences are denoted by w^I [Δ^s, M, p, ║., ... .., .║], , and .

(vi) If we take A = (a_nk) is a de la Valée Poussin mean, i.e.,

where (λ_n) is a non-decreasing sequence of positive numbers tending to ∞ and λ_n+1 ≤ λ_n+ 1, λ₁ = 1, then the above spaces are denoted by w^I [λ, Δ^s, p, ║., ... .., .║], , and .

(vii) By a lacunary θ = (k_r); r = 0,1, 2,... where k₀ = 0, we shall mean an increasing sequence of non-negative integers with k_r - k_r-1 → ∞ as r → ∞. The intervals determined by θ will be denoted by I_r = (k_r-1, k_r] and h_r = k_r - k_r-1.

As a final illustration let

Then we have the above classes of sequences by w^I [θ, Δ^s, p, ║., ... .., .║], , and .

Theorem 3.2. w^I [A, Δ^s, M, p, ║., ... .., .║], and , are linear spaces.

Proof. We shall prove the theorem for the space only and the others can be proved by the same way. Let x = (x_k) and y = (y_k) be two elements in . Then there exist ρ₁ > 0 and ρ₂ > 0 and for every z₁, z₂, ..., z_n-1 ∈ X such that

and

Let α, β be two scalars in R. Since ║., ., ..., .║ is an n-norm, Δ^s is linear and the continuity of the Orlicz function M, the following inequality holds:

where

From the above relation we get

Since both the sets on the right hand of the relation (3.1) are belong to I so the set on the left hand side of the inclusion relation belongs to I. This completes the proof of the theorem.

Theorem 3.4. .

Proof. Let .

Then by the following inequality the result follows

Hence

Since both the sets on the right hand are belong to I so the set on the left hand side of the inclusion relation belongs to I. This completes the proof of the theorem.

Theorem 3.5. The inclusions , are strict for s ≥ 1. In general , for j = 0,1, 2,, s ^-1 and the inclusions are strict, where and .

Proof. We give the proof for only. The others can be proved by similar argument. Let x = (x_k) be any element in the space . Let ε > 0 be given. Then there exists ρ > 0 such that the set

Since M is non-decreasing and convex, it follows that

where .

Thus we have

Since both the sets in the right side of the relation (3.2) belongs to I, therefore we get the set

The inclusion is strict follows from the following example.

Example 3.1. Let M(x) = x, for all x ∈ [0, ∞), p_k = 1, for all k ∈ N and A = (C, 1), i.e., the Cesàro matrix, Consider a sequence x = (x_k) = (k^s). Then x = (x_k) belongs to but does not belong to , because Δ^s x_k = 0 and Δ^s-1x_k = (-1)^s-1(s - 1)!.

Theorem 3.6. For any two sequences p = (p_k) and q = (q_k) of positive real numbers and for any two n-norms ║., ., ..., .║₁ and ║., ., ..., .║₂ on X, then the following holds: , where and .

Proof. Since the zero element belongs to each of the above classes of sequences, thus the intersection is nonempty.

Theorem 3.7. The sequence spaces and are normal as well as monotone.

Proof. We give the proof for only. Let x = (x_k) ∈ and α = (α_k) be a sequence of scalars such that |α_k| ≤ 1 for all k ∈ N. Then for given ε > 0 we have

where E = max{1,|α_k|^G}.

Hence . Thus the space is normal. Also from the Lemma 2.1, it follows that is monotone. This completes the proof of the theorem.

The authors declare that they have no competing interests.

The author would like to thank the referees for their careful reading of the manuscript and for their helpful suggestions.

1. Zygmund, A: Trigonometric Series. pp. 233–239. Cambridge University Press, Cambridge, UK (2011)

2. Fast, H: Sur la convergence statistique. Colloq Math. 2, 241–244 (1951)

3. Schoenberg, IJ: The integrability of certain functions and related summability methods. Am Math Month. 66, 361–375 (1959)

4. Fridy, JA: On statistical convergence. Analysis. 5, 301–313 (1985)

5. Kostyrko, P, Salat, T, Wilczyski, W: On I-convergence, real analysis exchange. 26(2), 669–686 (2000-2001)

6. Savas, E: Δ^m-strongly summable sequence spaces in 2-normed spaces defined by ideal convergence and an Orlicz function. Appl Math Comput. 217, 271–276 (2010)

7. Savas, E: A-sequence spaces in 2-normed space defined by ideal convergence and an Orlicz function. Abst Appl Anal. 2011(1-9), 1–9 Article ID 741382 (2011)

8. Tripathy, BC, Hazarika, B: Paranorm I-convergent sequence spaces. Math Slovaca. 59(4), 485–494 (2009)

9. Tripathy, BC, Hazarika, B: Some I-convergent sequence spaces defined by Orlicz functions. Acta Math Appl Sinica. 27(1), 149–154 (2011)

10. Kizmaz, H: On certain sequence spaces. Canad Math Bull. 24(2), 169–176 (1981)

11. Et, M, Colak, R: On generalized difference sequence spaces. Soochow J Math. 21(4), 147–169 (1985)

12. Gahler, S: Linear 2-normietre Raume. Math Nachr. 28, 1–43 (1965)

13. Misiak, A: n-inner product spaces. Math Nachr. 140, 299–329 (1989)

14. Gunawan, H: The spaces of p-summable sequences and its natural n-norm. Bull Aust Math Soc. 64, 137–147 (2001)

15. Gunawan, H, Mashadi, M: On n-normed spaces. Int J Math Math Sci. 27(10), 631–639 (2001)

16. Gunawan, H, Mashadi, M: On finite dimensional 2-normed spaces. Soochow J Math. 27(3), 147–169 (2001)

17. Gurdal, M: On ideal convergent sequences in 2-normed spaces. Thai J Math. 4(1), 85–91 (2006)

18. Sahiner, A, Gurdal, M, Soltan, S, Gunawan, H: Ideal convergence in 2-normed spaces. J Math. 11, 1477–1484 (2007)

19. Savas, E: On some new sequence spaces in 2-normed spaces using ideal convergence and an Orlicz function. J Ineq Appl. 1–9 Article ID: 482392, doi:10.1155/2010/482392 (2010)

20. Gurdal, M, Sahiner, A: Ideal convergence in n-normal spaces and some new sequence spaces via n-norm. J Funda Sci. 4, 233–244 (2008)

21. Hazarika, B: On paranormed Ideal convergent generalized difference strongly summable sequence spaces defined over n-normed spaces. ISRN Math Anal. 2011, 17 Article ID 317423 (2011)

22. Sava, E: Some new double sequence spaces defined by Orlicz function in nn-normed space. J Inequal Appl. 1–9 (2011)

23. Krasnoselskii, MA, Rutickii, YB: Convex functions and Orlicz spaces. Groningen, Netherlands (1961)

24. Lindenstrauss, J, Tzafriri, L: On Orlicz sequence spaces. Israel J Math. 10, 379–390 (1971)

25. Parashar, SD, Choudhary, B: Sequence spaces defined by Orlicz functions. Indian J Pure Appl Math. 25(4), 419–428 (1994)

26. Mursaleen, M, Khan, MA: Qamaruddin, difference sequence spaces defined by Orlicz functions. Demonstratio Math. 32, 145–150 (1999)

27. Tripathy, BC, Altin, Y, Et, M: Generalized difference sequence spaces on seminormed spaces defined by Orlicz function. Math Slovaca. 58(3), 315–324 (2008)

28. Tripathy, BC, Dutta, H: On some new paranormed difference sequence spaces defined by Orlicz functions. Kyungpook Math J. 50(1), 59–69 (2010)

29. Sahiner, A, Gurdal, M: New sequence spaces in n-normed spaces with respect to an Orlicz function. Alligarh Bull Math. 27, 53–58 (2008)

30. Kamthan, PK, Gupta, M: Sequence spaces and series. Marcel Dekkar, New York (1980)