λ-statistical convergence in n-normed spaces
Bipan Hazarika1∗ and Ekrem Sava¸s2
Abstract
In this paper, we introduce the concept ofλ-statistical convergence in n-normed spaces. Some inclusion relations between the sets of statisti- cally convergent andλ-statistically convergent sequences are established.
We find its relations to statistical convergence, (C,1)-summability and strong (V, λ)-summability inn-normed spaces.
1 Introduction
The notion of statistical convergence was introduced by Fast [8] and Schoen- berg [28] independently. Over the years and under different names statistical convergence has been discussed in the theory of Fourier analysis, ergodic the- ory and number theory. Later on it was further investigated from various points of view. For example, statistical convergence has been investigated in summability theory by ( Fridy [10], ˘Sal´at [26]), topological groups (C¸ akalli [1], [2]), topological spaces (Di Maio and Ko˘cinac[20]), function spaces (Caserta and Ko˘cinac [3], Caserta, Di Maio and Ko˘cinac [4]), locally convex spaces (Maddox[19]), measure theory (Cheng et al., [5], Connor and Swardson [6], Millar[21]) , fuzzy mathematics (Nuray and Sava¸s [24], Sava¸s [27]). In the re- cent years, generalization of statistical convergence have appeared in the study of strong integral summability and the structure of ideals of bounded continu- ous functions [6]. Mursaleen [23], introduced the λ-statistical convergence for real sequences. In this article, we consider only sequences of real numbers, so
Key Words: Statistical convergence;λ-statistical convergence;n-norm.
2010 Mathematics Subject Classification: 40A05; 40B50; 46A19; 46A45.
Received: November 2012 Revised: March 2013 Accepted: May 2013
∗Corresponding author
141
that ”a sequence” means ”a sequence of real numbers”.
The notion of statistical convergence depends on the (natural or asymp- totic) density of subsets ofN.A subset of N is said to have natural density δ(E) if
δ(E) = lim
n→∞
1 n
n
X
k=1
χE(k) exists.
Definition 1.1. A sequencex= (xk) is said to bestatistically convergent to`if for every ε >0
δ({k∈N:|xk−`| ≥ε}) = 0.
In this case, we writeS−limx=`or (xk)−→S `andS denotes the set of all statistically convergent sequences.
Letλ= (λm) be a non-decreasing sequence of positive numbers tending to
∞such that
λm+1≤λm+ 1, λ1= 1.
The collection of such sequencesλwill be denoted by ∆.
The generalized de la Vall´ee-Poussin mean is defined by tm(x) = 1
λm
X
k∈Im
xk,
whereIm= [m−λm+ 1, m].
Definition 1.2.[17] A sequencex= (xk) is said to be (V, λ)-summable to a number`if
tm(x)→`, as m→ ∞.
If λm = m, then (V, λ)-summability reduces to (C,1)-summability. We write
[C, λ] = (
x= (xk) :∃`∈R, lim
m→∞
1 m
m
X
k=1
|xk−`|= 0 )
and
[V, λ] = (
x= (xk) :∃`∈R, lim
m→∞
1 λm
X
k∈Im
|xk−`|= 0 )
for the sets of sequencesx= (xk) which arestrongly Ces`aro summable (see [9]) andstrongly(V, λ)-summableto`, i.e. (xk)[C,1]−→`and (xk)[V,λ]−→`,respectively.
Definition 1.3. [23] A sequence x = (xk) is said to be λ-satistically convergent orSλ-convergent to` if for everyε >0
m→∞lim 1
λm|{k∈Im:|xk−`| ≥ε}|= 0.
In this case we writeSλ−limx=`or (xk)−→Sλ ` and Sλ={x= (xk) :∃`∈R, Sλ−limx=`}.
It is clear that ifλm=m, thenSλ is same asS.
The concept of 2-normed space was initially introduced by G¨ahler[12], in the mid of 1960’s, while that of n-normed spaces can be found in Misiak [22].
Since then, many others authors have studied this concept and obtained vari- ous results (see, for instance, Gunawan[14] ,G¨ahler[11], Gunawan and Mashadi ([13], [15]), Lewandowska[18], Dutta [7]).
2 Definitions and Preliminaries
Let n be a non negative integer and X be a real vector space of dimension d ≥n (d may be infinite). A real-valued function ||., ..., .|| from Xn into R satisfying the following conditions:
(1)||x1, x2, ..., xn||= 0 if and only ifx1, x2, ..., xn are linearly dependent, (2)||x1, x2, ..., xn|| is invariant under permutation,
(3)||αx1, x2, ..., xn||=|α|||x1, x2, ..., xn||,for anyα∈R, (4)||x+x, x2, ..., xn|| ≤ ||x, x2, ..., xn||+||x, x2, ..., xn||
is called ann-norm onXand the pair (X,||., ..., .||) is called ann-normed space.
A trivial example of an n-normed space is X = Rn, equipped with the Euclidean n-norm||x1, x2, ..., xn||E= the volume of the n-dimensional paral- lelepiped spanned by the vectorsx1, x2, ..., xnwhich may be given expicitly by the formula
||x1, x2, ..., xn||E=|det(xij)|=abs(det(< xi, xj >)), where xi= (xi1, xi2, ..., xin)∈Rn for eachi= 1,2,3..., n.
Let (X,||., ..., .||) be an n-normed space of dimension d ≥ n ≥ 2 and {a1, a2, ..., an}be a linearly independent set inX.Then the function||., ..., .||∞
fromXn−1into Rdefined by
||x1, x2, ..., xn−1||∞= max
1≤i≤n{||x1, x2, ..., xn−1, ai||}
defines an (n−1)-norm onX with respect to{a1, a2, ...an}and this is known as the derived (n−1)-norm (for details see [13]).
The standard n-norm on a real inner product space of dimensiond≥nis as follows:
||x1, x2, ..., xn||S = [det(< xi, xj>)]12,
where<, > denotes the inner product onX.If we takeX =Rn then this n- norm is exactly the same as the Euclideann-norm||x1, x2, ..., xn||Ementioned earlier. Forn= 1 thisn-norm is the usual norm ||x1||=√
< x1, x1>(for fur- ther details see [13]).
Definition 2.1. A sequence (xk) in an n-normed space (X,||., ..., .||) is said to beconvergent to `∈X with respect to the n-norm if for each ε >0 there exists an positive integern0 such that||xk−`, z1, z2, ..., zn−1||< ε,for allk≥n0 and for everyz1, z2, ..., zn−1∈X.
Definition 2.2. A sequence (xk) in ann-normed space (X,||., ...., .||) is said to be Cauchy with respect to the n-norm if for eachε > 0 there exists a positive integern0=n0(ε) such that ||xk−xm, z1, z2, ..., zn−1||< ε, for all k, m≥n0 and for everyz1, z2, ..., zn−1∈X.
If every Cauchy sequence in X converges to some ` ∈X, then X is said to becomplete with respect to the n-norm. Any completen-normed space is said to be ann-Banach space.
Definition 2.3. A sequence (xk) in ann-normed space (X,||., ...., .||) is said to be statistically-convergent to some`∈X with respect to the n-norm if for each ε >0 the set {k ∈N : ||xk−`, z1, z2, ..., zn−1|| ≥ε} has natural density zero, for everyz1, z2, ..., zn−1∈X.
In other words the sequence (xk) statistical converges to ` an n-normed spaceX if
m→∞lim 1
m|{k∈N:||xk−`, z1, z2, ..., zn−1|| ≥ε}|= 0,
for each z1, z2, ..., zn−1 ∈ X. Let SnN(X) denotes the set of all statistically convergent sequences inn-normed spaceX.
Recently, G¨urdal and Pehlivan [16] studied statistical convergence in 2- normed spaces. B.S. Reddy [25] extended this idea to n-normed space and studied some properties.
In the present paper we studyλ-statistical convergence inn-normed spaces.
We show that some properties of λ-statistical convergence of real numbers also hold for sequences inn-normed spaces. We find some relations related to statistical convergent, λ-statistical convergent sequences, (C,1)-summability and strong (V, λ)-summability inn-normed spaces.
3 λ-statistical convergent sequences in n-normed space X
In this section we defineλ-statistically convergent sequences inn-normed linear spaceX. Also, we obtained some basic properties of this notion inn-normed spaces.
Definition 3.1. A sequencex= (xk) in ann-normed space (X,||., ..., .||) is said to beλ-satistically convergent orSλ-convergent to `∈X with respect to then-norm if for everyε >0
m→∞lim 1
λm|{k∈Im:||xk−`, z1, z2, ..., zn−1|| ≥ε}|= 0, for eachz1, z2, ..., zn−1∈X.In this case we writeSλnN−limx=`or (xk)S
nN
−→λ ` and
SλnN(X) ={x= (xk) :∃`∈R, SλnN−limx=`}.
LetSnNλ (X) denotes the set of allλ-statistically convergent sequences in the n-normed spaceX.
Definition 3.2. A sequencex= (xk) in ann-normed space (X,||., ..., .||) is said to be (V, λ)-summable to`∈X with respect to then-norm if
tm(x)→`, as m→ ∞.
Ifλm=m,then (V, λ)-summability reduces to (C,1)-summability with respect to then-norm. We write
[C, λ]nN(X) = (
x= (xk) :∃`∈R, lim
m→∞
1 m
m
X
k=1
||xk−`, z1, ..., zn−1||= 0 )
and [V, λ]nN(X) =
(
x= (xk) :∃ `∈R, lim
m→∞
1 λm
X
k∈Im
||xk−`, z1, ..., zn−1||= 0 )
for the sets of X-valued sequences x = (xk) which are strongly Ces`aro summable andstrongly (V, λ)-summable to`with respect to then-norm, i.e., (xk)[C,1]
nN
−→ `and (xk)[V,λ]
nN
−→ `, respectively.
Theorem 3.1. Let X be an n−normed space and λ= (λn)∈∆. If (xk) is a sequence in X such that SnNλ −limxk =`exists, then it is unique.
Proof. Suppose that there exist elements`1, `2 (`16=`2) in X such that SnNλ − lim
k→∞xk=`1;SλnN− lim
k→∞xk =`2.
Since`16=`2,then`1−`26= 0,so there existz1, z2, ..., zn−1∈X such that
`1−`2 andz1, z2, ..., zn−1are linearly independent. Therefore,
||`1−`2, z1, z2, ...zn−1||= 2ε >0.
SinceSλnN−limk→∞xk =`1andSλnN−limk→∞xk =`2it follows that
m→∞lim 1 λm
|{k∈Im:||xk−`1, z1, z1, ...zn−1|| ≥ε}|= 0 and
m→∞lim 1
λm|{k∈Im:||xk−`2, z1, z2, ...zn−1|| ≥ε}|= 0.
There isk∈Im such that
||xk−`1, z1, z1, ...zn−1||< εand||xk−`2, z1, z1, ...zn−1||< ε.
Further, for thisk we have
||`1−`2, z1, z1, ...zn−1|| ≤ ||xk−`1, z1, z1, ...zn−1||+||xk−`2, z1, z1, ...zn−1||<2ε which is a contradiction. This completes the proof.
The next theorem gives the algebraic characterization of λ-statistical con- vergence onn-normed spaces.
Theorem 3.2. LetX be ann-normed space,λ= (λn)∈∆, x= (xk)and y= (yk)be two sequences inX.
(a)If SλnN−limk→∞xk=`and c(6= 0)∈R,then SλnN−limk→∞cxk=c`.
(b) If SλnN −limk→∞xk = `1 and SλnN −limk→∞yk = `2, then SλnN − limk→∞(xk+yk) =`1+`2.
Proof of the theorem is straightforward, thus omitted.
Theorem 3.3. SλnN(X)∩`∞(X)is a closed subset of`∞(X), if X is an n-Banach space.
Proof. Suppose that (xi)i∈N, xi = (xik)k∈N, is a convergent sequence in SλnN(X)∩`∞(X) converging to x = (xk) ∈ `∞(X). We need to prove that x ∈ SλnN(X)∩`∞(X). Assume that (xik)k
SλnN
→ `i, for all i ∈ N. Take a positive decreasing convergent sequence (εi)i∈N,where εi= 2εi,for a given ε > 0. Clearly (εi)i∈N converges to 0. Choose a positive integer i such that
||x−xi, z1, z2, ..., zn−1||∞<ε4i, for everyz1, z2, ..., zn−1∈X.Then we have
m→∞lim 1 λm
|{k∈Im:||xik−`i, z1, z2, ..., zn−1|| ≥ εi
4}|= 0 and
m→∞lim 1 λm
|{k∈Im:||xi+1k −`i+1, z1, z2, ..., zn−1|| ≥ εi+1 4 }|= 0.
Since, 1 λm
nk∈Im : ||xik−`i, z1, z2, ..., zn−1|| ≥ εi
4 ∨
||xi+1k −`i+1, z1, z2, ..., zn−1|| ≥ εi+1
4 o
<1 and form∈N
n
k∈Im:||xik−`i, z1, z2, ..., zn−1|| ≥ εi
4 o ∩ nk∈Im:||xi+1k −`i+1, z1, z2, ..., zn−1|| ≥ εi+1
4 o
is infinite. Hence there must exists ak∈Imfor which we have simultaneously,
||xik−`i, z1, z2, ..., zn−1||<εi
4 and ||xi+1k −`i+1, z1, z2, ..., zn−1||<εi+1
4 .
Then it follows that
||`i−`i+1, z1, z2, ..., zn−1||
≤ ||`i−xik, z1, z2, ...zn−1||+||xik−xi+1k , z1, z2, ...zn−1||+
+||xi+1k −`i+1, z1, z2, ...zn−1||
≤ ||xik−`i, z1, z2, ...zn−1||+||xi+1k −`i+1, z1, z2, ...zn−1||
+||x−xi, z1, z2, ...zn−1||∞+||x−xi+1, z1, z2, ...zn−1||∞
< εi 4 +εi+1
4 +εi 4 +εi+1
4 < εi.
This implies that (`i) is a Cauchy sequence inX and there is an element`∈X such that`i→`asi→ ∞. We need to prove that (xk)S
nN
−→λ `.
For anyε >0, choosei∈N such thatεi< ε4,
||xk−xik, z1, z2, ..., zn−1||∞< ε
4,||`i−`, z1, z2, ..., zn−1||< ε 4.
Then 1
λm
|{k∈Im:||xk−`, z1, z2, ..., zn−1|| ≥ε}|
≤ 1 λm
|{k∈Im:||xik−`i, z1, z2, ..., zn−1||
+||xk−xik, z1, z2, ..., zn−1||∞+||`i−`, z1, z2, ..., zn−1|| ≥ε}|
≤ 1 λm
|{k∈Im:||xik−`i, z1, z2, ..., zn−1||+ε 4 +ε
4 ≥ε}|
≤ 1 λm
|{k∈Im:||xik−`i, z1, z2, ..., zn−1|| ≥ ε
2}| →0 as m→ ∞.
This gives that (xk)S
nN
−→λ `,which completes the proof.
Theorem 3.4. LetX be ann-normed space and letλ= (λm)∈∆.Then (i) (xk)[V,λ]
nN
−→ `⇒(xk)S
nN
−→λ `,
(ii) [V, λ]nN(X)is a proper subset of SλnN(X), (iii)x∈`∞(X)and(xk)S
nN
−→λ `,then(xk)[V,λ]
nN
−→ `and hence (xk)[C,1]
nN
−→ `, provided x= (xk)is not eventually constant,
(iv)SλnN(X)∩`∞(X) = [V, λ]nN(X)∩`∞(X).
Proof. (i) Ifε >0 and (xk)[V,λ]
nN
−→ `,we can write
X
k∈Im
||xk−`, z1, z2, ..., zn−1|| ≥
≥ X
k∈Im,||xk−`,z1,z2,...,zn−1||≥ε
||xk−`, z1, z2, ..., zn−1|| ≥
≥ε|{k∈Im:||xk−`, z1, z2, ...zn−1|| ≥ε}|
and so
1 ελm
X
k∈Im
||xk−`, z1, z2, ..., zn−1|| ≥ 1
λm|{k∈Im:||xk−`, z1, z2, ..., zn−1|| ≥ε}|.
This proves the result.
(ii) In order to establish that the inclusion [V, λ]nN(X) ⊂ SλnN(X) is proper, we define a sequencex= (xk) by
xk=
k, ifm−[√
λm] + 1≤k≤m;
0, otherwise.
Thenx /∈`∞and for every ε >0(0< ε <1), 1
λm
X
k∈Im
||xk−0, z1, z2, ..., zn−1|| ≤ [√ λm] λm
→0, as m→ ∞,
i.e. (xk)S
nN
−→λ 0. On the other hand, 1
λm
| {k∈Im:||xk−0, z1, z2, ..., zn−1|| ≥ε} | → ∞, as m→ ∞, i.e. (xk) does not converge to 0 in [V, λ]nN(X).
(iii) Suppose that (xk)S
nN
−→λ ` and (xk)∈`∞(X). Then there exists aM >0 such that||xk−`, z1, z2, ...zn−1|| ≤M for allk∈N.Givenε >0,we have
1 λm
X
k∈Im
||xk−`, z1, z2, ..., zn−1||= 1
λm
X
k∈Im,||xk−`,z1,z2,...,zn−1||≥ε2
||xk−`, z1, z2, ..., zn−1||
+ 1 λm
X
k∈Im,||xk−`,z1,z2,...,zn−1||<ε2
||xk−`, z1, z2, ..., zn−1||
≤ M λm
|{k∈Im:||xk−`, z1, z2, ..., zn−1|| ≥ ε 2}|+ε
2, This shows that (xk)[V,λ]
nN
−→ `.
Again, we have 1 m
m
X
k=1
||xk−`, z1, z2, ..., zn−1||
≤ 1 m
m−λm
X
k=1
||xk−`, z1, z2, ..., zn−1||+ 1 m
X
k∈Im
||xk−`, z1, z2, ..., zn−1||
≤ 1 λm
m−λm
X
k=1
||xk−`, z1, z2, ..., zn−1||+ 1 λm
X
k∈Im
||xk−`, z1, z2, ..., zn−1||
≤ 2 λm
X
k∈Im
||xk−`, z1, z2, ..., zn−1||.
Hence (xk)[C,1]
nN
−→ `, because (xk)[V,λ]
nN
−→ `.
(iv) This is an immediate consequence of (i), (ii) and (iii).
Theorem 3.5. Let X be ann-normed space and let λ= (λm)∈∆.Then SnN(X)⊂SλnN(X)if and only if lim infmλm
m >0.
Proof. Suppose first that lim infmλm
m >0.Then a givenε >0,we have 1
m|{k≤m:||xk−`, z1, z2, ..., zn−1|| ≥ε}| ≥ 1
m|{k∈Im:||xk−`, z1, z2, ..., zn−1|| ≥ε}| ≥ λm
m. 1 λm
|{k∈Im:||xk−`, z1, z2, ..., zn−1|| ≥ε}|.
It follows that (xk)S
nN
−→`⇒(xk)S
nN
−→λ `. HenceSnN(X)⊂SλnN(X).
Conversely, suppose that lim infmλmm = 0. Then we can select a subse- quence (m(j))∞j=1 such that
λm(j) m(j) < 1
j.
We define a sequence x= (xk) as follows:
xk=
1, ifk∈Im(j), j= 1,2,3, ...;
0, otherwise.
Thenxis statistically convergent, sox∈SnN(X).Butx /∈[V, λ]nN(X).
Theorem 3.4(iii) implies thatx /∈SλnN(X).This completes the proof.
Theorem 3.6. Let X be ann-normed space and let λ= (λm)∈∆ such that limmλm
m = 1.Then SλnN(X)⊂SnN(X).
Proof. Since limmλmm = 1, then forε >0,we observe that 1
m|{k≤m:||xk−`, z1, z2, ..., zn−1|| ≥ε}|
≤ 1
m|{k≤m−λm:||xk−`, z1, z2, ..., zn−1|| ≥ε}|
+1
m|{k∈Im:||xk−`, z1, z2, ..., zn−1|| ≥ε}|
≤ m−λm
m + 1
m|{k∈Im:||xk−`, z1, z2, ..., zn−1|| ≥ε}|
= m−λm
m +λm
m 1
λm|{k∈Im:||xk−`, z1, z2, ..., zn−1|| ≥ε}|.
This implies that (xk) is statistically convergent, if (xk) isλ-statistically convergent. HenceSλnN(X)⊂SnN(X).
Remark: We do not know whether the condition limmλmm = 1 in the Theorem 3.6 is necessary and leave it as an open problem.
Acknowledgements: The authors thank the referees for their comments which improved the presentation of the paper.
References
[1] H. C¸ akalli, On statistical convergence in topological groups, Pure Appl.
Math. Sci.,43(1996), 27-31.
[2] H. C¸ akalli, A study on statistical convergence, Funct. Anal. Approx. Com- put., 1(2)(2009), 19-24, MR2662887.
[3] A. Caserta, G. Di Maio, Lj. D. R. Ko˘cinac, Statistical convergence in function spaces, Abstr. Appl. Anal. Vol. 2011(2011), Article ID 420419, 11 pages.
[4] A. Caserta, Lj.D.R. Ko˘cinac, On statistical exhaustiveness, Appl. Math.
Letters, in press.
[5] L. X. Cheng, G. C. Lin, Y. Y. Lan, H. Liu, Measure theory of statistical convergence, Science in China, Ser. A: Math. 51(2008), 2285-2303.
[6] J.Connor, M.A. Swardson, Measures and ideals of C∗(X) , Ann. N.Y.
Acad.Sci.704(1993), 80-91.
[7] H. Dutta, On sequence spaces with elements in a sequence of real linear n-normed spaces, Appl. Math. Letters, 23(2010) 1109-1113.
[8] H. Fast, Sur la convergence statistique, Colloq. Math. 2(1951) 241-244.
[9] A. R. Freedman, J. J. Sember, M. Raphael, Some Ces`aro-type summa- bility spaces, Proc. London Math. Soc., 37(3) (1978) 508-520.
[10] J. A. Fridy, On statistical convergence, Analysis, 5(1985) 301-313.
[11] S. G¨ahler, 2-metrische R¨aume and ihre topologische Struktur, Math.
Nachr. 26(1963) 115-148.
[12] S. G¨ahler, Linear 2-normietre ¨Raume, Math. Nachr. 28(1965) 1-43.
[13] H. Gunawan, M. Mashadi, Onn-normed spaces, Int. J. Math. Math. Sci.
27(10)(2001) 631-639.
[14] H. Gunawan, The spaces ofp-summable sequences and its naturaln-norm, Bull. Austral. Math. Soc. 64(2001) 137-147.
[15] H. Gunawan, M. Mashadi, On finite dimensional 2-normed spaces, Soo- chow J. Math. 27(3)(2001) 147-169.
[16] M.G¨urdal and S. Pehlivan, Statistical convergence in 2-normed spaces, South. Asian Bull. Math.33, (2009), 257-264.
[17] L. Leindler, ¨Uber die de la Vall´ee-Pousinsche Summierbarkeit allgen- meiner Othogonalreihen, Acta Math. Acad. Sci. Hungar, 16(1965), 375- 387.
[18] Z. Lewandowska, On 2-normed sets, Glas. Math., 38(58)(2003) 99- 110.
[19] I. J. Maddox, Statistical convergence in a locally convex spaces, Math.
Proc. Cambridge Philos. Soc., 104(1)(1988), 141-145.
[20] G. Di. Maio, Lj.D.R. Ko˘cinac, Statistical convergence in topology, Topol- ogy Appl. 156, (2008), 28-45.
[21] H. I. Miller, A measure theoretical subsequence characterization of sta- tistical convergence, Trans. Amer. Math. Soc., 347(5)(1995), 1811-1819.
[22] A. Misiak, n-inner product spaces, Math. Nachr. 140(1989) 299-329.
[23] M. Mursaleen,λ-statistical convergence, Math. Slovaca, 50(1)(2000),111- 115.
[24] F. Nuary, E. Sava¸s, Statistical convergence of sequences of fuzzy numbers, Math. Slovaca, 45(1995), 269-273.
[25] B. S. Reddy, Statistical convergence in n-normed spaces, Int. Math. Fo- rum, 24(2010), 1185-1193.
[26] T. ˘Sal´at, On statistical convergence of real numbers, Math. Slovaca, 30(1980), 139-150.
[27] E. Sava¸s, Statistical convergence of fuzzy numbers, Inform. Sci., 137(2001), 277-282.
[28] I. J. Schoenberg, The integrability of certain functions and related summability methods, Amer. Math. Monthly 66(1959) 361-375.
1Department of Mathematics, Rajiv Gandhi University,
Rono Hills, Doimukh-791112, Arunachal Pradesh, India E-mail: bh [email protected]
2Department of Mathematics, Istanbul Ticaret University, Uskudar-Istanbul, Turkey E-mail: [email protected]