- Research
- Open access
- Published:
On generalized A- difference strongly summable sequence spaces defined by ideal convergence on a real n-normed space
Journal of Inequalities and Applications volume 2012, Article number: 87 (2012)
Abstract
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.
1 Introduction
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), c0(Δ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, Δ0x 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(Δ),c0(Δ), 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 ⊂ 2X(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 ⊂ 2Xis 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 ⊂ 2Xis 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 ⊂ 2Xis 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 2Xcan 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 Δ2 - 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, 2G-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.
2 Definitions and preliminaries
Let n bea non-negative integer and X be a real vector space of dimension d ≥ n (d may be infinite). A real-valued function ║., ..., . ║ on Xnsatisfying the following conditions:
-
(1)
║(x 1, x 2, ..., x n )║ = 0 if and only if x 1, x 2, ..., x n are linearly dependent,
-
(2)
║(x 1, x 2, ..., x n )║ is invariant under permutation,
-
(3)
║α(x 1, x 2, ..., x n )║ = |α|║(x 1, x 2, ..., 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 = Rn, equipped with the Euclidean n-norm ║(x1, x2, ..., x n ) ║E = the volume of the n-dimensional parallelpiped spanned by the vectors x1, x2, ..., x n which may be given explicitly by the formula
where x i = (x i 1, x i 2, ..., x in ) ∈ Rnfor each i = 1, 2, 3 ..., n.
Let (X, ║., ..., . ║) be an n-normed space of dimension d ≥ n ≥ 2 and {a1, a2, ..., a n } be a linearly independent set in X. Then the function ║., ..., . ║∞ on Xn-1 is defined by
defines as (n - 1)-norm on X with respect to {a1, a2, ... 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 = Rnthen this n-norm is exactly the same as the Euclidean n-norm ║(x1, x2, ..., 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 n0 such that ║x k - L, z1, z2, ..., z n -1║ < ε, for all k ≥ n0 and for every z1, z2, ..., 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, z1, z2, ..., z n- 1║ ≥ ε} belongs to I, for every z1, z2, ..., 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 , z1, z2, ..., z n _1║ ≥ M} belongs to I, for every z1, z2, ..., z n- 1 ∈ X.
Definition 2.4. [6]. A sequence space E is said to be solid (or normal) if (α k x k ) ∈ E, whenever (x k ) ∈ E and for all sequence (α k ) of scalars with |α k | ≤ 1, for all k ∈ N.
Let K = {k1< k2< ···} ⊆ 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.
3 Main results
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 z1, z2, ..., 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 wI [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 = 1, then the above spaces are denoted by wI[λ, Δs, p, ║., ... .., .║], , and .
-
(vii)
By a lacunary θ = (k r ); r = 0,1, 2,... where k 0 = 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 wI[θ, Δs, p, ║., ... .., .║], , and .
Theorem 3.2. wI[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 ρ1> 0 and ρ2> 0 and for every z1, z2, ..., z n -1 ∈ X such that
and
Let α, β be two scalars in R. Since ║., ., ..., .║ is an n-norm, Δsis 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-1and the inclusions are strict, whereand.
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 ) = (ks ). Then x = (x k ) belongs to but does not belong to , because Δsx 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 ║., ., ..., .║1and ║., ., ..., .║2on X, then the following holds: , whereand.
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.
References
Zygmund A: Trigonometric Series. Volume 51. Cambridge University Press, Cambridge, UK; 2011:233–239.
Fast H: Sur la convergence statistique. Colloq Math 1951, 2: 241–244.
Schoenberg IJ: The integrability of certain functions and related summability methods. Am Math Month 1959, 66: 361–375.
Fridy JA: On statistical convergence. Analysis 1985, 5: 301–313.
Kostyrko P, Salat T, Wilczyski W: On I-convergence, real analysis exchange. 2000–2001, 26(2):669–686.
Savas E: Δm-strongly summable sequence spaces in 2-normed spaces defined by ideal convergence and an Orlicz function. Appl Math Comput 2010, 217: 271–276.
Savas E: A-sequence spaces in 2-normed space defined by ideal convergence and an Orlicz function. Abst Appl Anal 2011, 2011(1–9):1–9. Article ID 741382
Tripathy BC, Hazarika B: Paranorm I -convergent sequence spaces. Math Slovaca 2009, 59(4):485–494.
Tripathy BC, Hazarika B: Some I -convergent sequence spaces defined by Orlicz functions. Acta Math Appl Sinica 2011, 27(1):149–154.
Kizmaz H: On certain sequence spaces. Canad Math Bull 1981, 24(2):169–176.
Et M, Colak R: On generalized difference sequence spaces. Soochow J Math 1985, 21(4):147–169.
Gahler S: Linear 2-normietre Raume. Math Nachr 1965, 28: 1–43.
Misiak A: n -inner product spaces. Math Nachr 1989, 140: 299–329.
Gunawan H: The spaces of p -summable sequences and its natural n -norm. Bull Aust Math Soc 2001, 64: 137–147.
Gunawan H, Mashadi M: On n -normed spaces. Int J Math Math Sci 2001, 27(10):631–639.
Gunawan H, Mashadi M: On finite dimensional 2-normed spaces. Soochow J Math 2001, 27(3):147–169.
Gurdal M: On ideal convergent sequences in 2-normed spaces. Thai J Math 2006, 4(1):85–91.
Sahiner A, Gurdal M, Soltan S, Gunawan H: Ideal convergence in 2-normed spaces. J Math 2007, 11: 1477–1484.
Savas E: On some new sequence spaces in 2-normed spaces using ideal convergence and an Orlicz function. J Ineq Appl 2010, 1–9. Article ID: 482392, doi:10.1155/2010/482392
Gurdal M, Sahiner A: Ideal convergence in n -normal spaces and some new sequence spaces via n -norm. J Funda Sci 2008, 4: 233–244.
Hazarika B: On paranormed Ideal convergent generalized difference strongly summable sequence spaces defined over n-normed spaces. ISRN Math Anal 2011, 2011: 17. Article ID 317423
Sava E: Some new double sequence spaces defined by Orlicz function in n n-normed space. J Inequal Appl 2011, 1–9.
Krasnoselskii MA, Rutickii YB: Convex functions and Orlicz spaces. Groningen, Netherlands; 1961.
Lindenstrauss J, Tzafriri L: On Orlicz sequence spaces. Israel J Math 1971, 10: 379–390.
Parashar SD, Choudhary B: Sequence spaces defined by Orlicz functions. Indian J Pure Appl Math 1994, 25(4):419–428.
Mursaleen M, Khan MA: Qamaruddin, difference sequence spaces defined by Orlicz functions. Demonstratio Math 1999, 32: 145–150.
Tripathy BC, Altin Y, Et M: Generalized difference sequence spaces on seminormed spaces defined by Orlicz function. Math Slovaca 2008, 58(3):315–324.
Tripathy BC, Dutta H: On some new paranormed difference sequence spaces defined by Orlicz functions. Kyungpook Math J 2010, 50(1):59–69.
Sahiner A, Gurdal M: New sequence spaces in n -normed spaces with respect to an Orlicz function. Alligarh Bull Math 2008, 27: 53–58.
Kamthan PK, Gupta M: Sequence spaces and series. Marcel Dekkar, New York; 1980.
Acknowledgements
The author would like to thank the referees for their careful reading of the manuscript and for their helpful suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Savas, E. On generalized A- difference strongly summable sequence spaces defined by ideal convergence on a real n-normed space. J Inequal Appl 2012, 87 (2012). https://doi.org/10.1186/1029-242X-2012-87
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029-242X-2012-87