See discussions, stats, and author profiles for this publication at: https://www.researchgate.

net/publication/316710518

The ∫ 𝚪𝟐 statistical convergence of real numbers over Musielak -metric

space

Article  in  International Journal of ADVANCED AND APPLIED SCIENCES · May 2017

DOI: 10.21833/ijaas.2017.05.018

CITATIONS READS

0 107

3 authors, including:

Mustafa Kemal Ozdemir Ayhan Esi

Inonu University Turgut Özal University
21 PUBLICATIONS   33 CITATIONS    154 PUBLICATIONS   861 CITATIONS   

SEE PROFILE SEE PROFILE

Some of the authors of this publication are also working on these related projects:

q-analogues of some special polynomials View project

All content following this page was uploaded by Mustafa Kemal Ozdemir on 09 November 2018.

The user has requested enhancement of the downloaded file.

 International Journal of Advanced and Applied Sciences, 4(5) 2017, Pages: 101-108

Contents lists available at Science-Gate

International Journal of Advanced and Applied Sciences

Journal homepage: http://www.science-gate.com/IJAAS.html

The ∫ 𝚪𝟐𝝀𝑰 statistical convergence of real numbers over Musielak 𝒑-metric

space
M. Kemal Ozdemir 1, *, Subramanian Nagarajan 2, Ayhan Esi 3

1Department of Mathematics, Science and Arts Faculty, Inonu University, 44280, Malatya, Turkey
2Department of Mathematics, SASTRA University, Thanjavur-613 401, India
3Department of Mathematics, Science and Arts Faculty, Adiyaman University, 02040, Adiyaman, Turkey

ARTICLE INFO ABSTRACT

Article history: In this paper, we introduce the concepts of ∫ Γ 2𝜆𝐼 statistical convergence and
Received 24 November 2016 strongly ∫ Γ 2𝜆𝐼 of real numbers. It is also shown that Γ 2𝜆𝐼 statistical
Received in revised form convergence and strongly ∫ Γ 2𝜆𝐼 are equivalent for analytic sequences of real
27 March 2017 numbers. We introduce certain new double sequence spaces of ∫ Γ 2𝜆 of fuzzy
Accepted 27 March 2017 real numbers defined by 𝐼 − convergence using sequences of Musielak-Orlicz
Keywords: functions and also study some basic topological and algebraic properties of
Analytic sequence these spaces, investigate the inclusion relations between these spaces.
Musielak - modulus function
P- metric space
Ideal convergent
Fuzzy number © 2017 The Authors. Published by IASE. This is an open access article under the CC
De la Vallee-Poussin mean BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/).

∞ ∞
1. Introduction
ℒu (t): = {(xmn ) ∈ w 2 : ∑ ∑ |xmn |tmn < ∞},
*Consider w, χ and Λ denote the classes of all, gai m=1 n=1

and analytic scalar valued single sequences,
respectively.We write w 2 for the set of all complex
sequences (xmn ), where m, n ∈ ℕ, the set of positive
integers. Then, w 2 is a linear space under the
coordinate wise addition and scalar multiplication.
Throughout this article the space of regularly gai
multiple sequence defined over a semi-normed
space (X, q), semi-normed by q will be denoted by
mn (q) and Λ mn (q) For X = ℂ, the field of complex
χ2R 2R
numbers, these spaces represent the corresponding
scalar sequence spaces. Some initial works on double
sequence spaces is found in Bromwich (2005). Later
on, they were investigated by Hardy (1904), Moricz
(1991), Moricz and Rhoades (1988), Basarir and
Solancan (1999), Tripathy (2003), Turkmenoglu
(1999), and many others. We procure the following
sets of double sequences:
ℳu (t): = {(xmn ) ∈ w 2 : sup |xmn |tmn < ∞},
m,n∈N
𝒞p (t): = {(xmn ) ∈ w 2 : p − lim |xmn − ł|tmn
m,n→∞
= 1 for some ł ∈ ℂ},
𝒞0p (t): = {(xmn ) ∈ w 2 : p − lim |xmn |tmn = 1},
m,n→∞
* Corresponding Author.
Email Address: kozdemir73@gmail.com (M. K. Ozdemir)
https://doi.org/10.21833/ijaas.2017.05.018
2313-626X/© 2017 The Authors. Published by IASE.
This is an open access article under the CC BY-NC-ND license
(http://creativecommons.org/licenses/by-nc-nd/4.0/)
𝒞bp (t): = 𝒞p (t) ⋂ ℳu (t) and 𝒞0bp (t) = 𝒞0p (t) ⋂ ℳu (t);
where, t = (t mn ) is the sequence of strictly positive
reals t mn for all m, n ∈ ℕ and p − limm,n→∞ denotes
the limit in the Pringsheim (1900) sense. In the case
t mn = 1 for all m, n ∈ ℕ; ℳu (t), 𝒞p (t), 𝒞0p (t), ℒu (t),
𝒞bp (t) and 𝒞0bp (t) reduce to the sets ℳu , 𝒞p , 𝒞0p , ℒu ,
𝒞bp and 𝒞0bp , respectively. Now, we may summarize
the knowledge given in some document related to
the double sequence spaces. Gökhan and Çolak
(2004, 2005) have proved that ℳu (t) and 𝒞p (t),
𝒞bp (t) are complete paranormed spaces of double
sequences and gave the α −, β −, γ − duals of the
spaces ℳu (t) and 𝒞bp (t). Zeltser (2001) has
essentially studied both the theory of topological
double sequence spaces and the theory of
summability of double sequences. Mursaleen and
Edely (2003) and Tripathy (2003) have
independently introduced the statistical
convergence and Cauchy for double sequences and
given the relation between statistical convergent and
strongly Cesàro summable double sequences. Altay
and Başar (2005) have defined the spaces ℬ𝒮, ℬ𝒮(t),
𝒞𝒮p , 𝒞𝒮bp , 𝒞𝒮r and ℬ𝒱 of double sequences
consisting of all double series whose sequence of
partial sums are in the spaces ℳu , ℳu (t), 𝒞p , 𝒞bp , 𝒞r
and ℒu , respectively, and also examined some
properties of those sequence spaces and determined
the α − duals of the spaces ℬ𝒮, ℬ𝒱, 𝒞𝒮bp and the

101
 Ozdemir et al/ International Journal of Advanced and Applied Sciences, 4(5) 2017, Pages: 101-108

β(ϑ) − duals of the spaces 𝒞𝒮bp and 𝒞𝒮r of double (iii) For all u ≥ 0, and 0 < λ < 1,
series. Başar and Sever (2009) have introduced the
Banach space ℒq of double sequences corresponding M(λu) ≤ λM(u)
to the well-known space ℓq of single sequences and
Lindenstrauss and Tzafriri (1971) used the idea
examined some properties of the space ℒq .
of Orlicz function to construct Orlicz sequence space,
Subramanian and Misra (2011) have studied the
space χ2M (p, q, u) of double sequences and gave some ∞
|xk |
inclusion relations. ℓM = {x ∈ w: ∑ M ( ) < ∞, for some ρ > 0},
ρ
The class of sequences which are strongly Cesàro k=1
summable with respect to a modulus was introduced
by Maddox (1986) as an extension of the definition the space ℓM with the norm,
of strongly Cesàro summable sequences. Connor ∞
(1988) further extended this definition to a |xk |
‖x‖ = inf {ρ > 0: ∑ M ( ) ≤ 1},
definition of strong A − summability with respect to ρ
k=1
a modulus where A = (a n,k ) is a nonnegative regular
matrix and established some connections between becomes a Banach space which is called an Orlicz
strong A − summability, strong A − summability sequence space. For M(t) = t p (1 ≤ p < ∞), the
with respect to a modulus, and A − statistical spaces ℓM coincide with the classical sequence space
convergence. In the notion of convergence of double ℓp .
sequences was presented by Pringsheim (1900). A sequence f = (fmn ) of modulus function is
Also, the four dimensional matrix transformation called a Musielak-modulus function. A sequence g =
(Ax)k,ℓ = ∑∞ ∞ mn
m=1 ∑n=1 a kℓ x mn was studied (g mn ) defined by:
extensively by Hamilton (1936).
We need the following inequality in the sequel of g mn (v) = sup{|v|u − (fmn )(u): u ≥ 0}, m, n = 1,2, …
the paper. For a, b ≥ 0 and 0 < p < 1, we have
is called the complementary function of a Musielak-
(a + b)p ≤ ap + b p . modulus function f. For a given Musielak modulus
function f, the Musielak-modulus sequence space t f is
The double series ∑∞ m,n=1 x mn is called defined as follows
convergent if and only if the double sequence (smn )
is convergent, where smn = ∑m,n i,j=1 x ij (m, n ∈ ℕ). t f = {x ∈ w 2 : Mf (|xmn |)1/m+n → 0 as m, n → ∞},
A sequence x = (xmn )is said to be double analytic
if supmn |xmn |1/m+n < ∞. The vector space of all where, Mf is a convex modular defined by:
double analytic sequences will be denoted by Λ2 . A
∞ ∞
sequence x = (xmn ) is called double gai sequence if
1/m+n Mf (x) = ∑ ∑ fmn (|xmn |)1/m+n , x = (xmn ) ∈ t f .
((m + n)! |xmn |) → 0 as m, n → ∞. The double m=1 n=1
gai sequences will be denoted by χ2 . Let ϕ =
{finite sequences}. We consider t f equipped with the Luxemburg
Consider a double sequence x = (xij ). The metric:
(m, n)th section x [m,n] of the sequence is defined by
m,n |xmn|1/m+n
x [m,n] = ∑ i,j=0 xij ℑij for all m, n ∈ ℕ; where ℑij d(x, y) = ∑∞ ∞
m=1 ∑n=1 fmn ( ).
mn
denotes the double sequence whose only non zero
1
term is a (i+j)! in the (i, j)th place for each i, j ∈ ℕ. If X is a sequence space, we give the following
An FK-space (or a metric space) X is said to have definitions:
AK property if (ℑmn ) is a Schauder basis for X. Or
(i) 𝑋 ′ = the continuous dual of X;
equivalently x [m,n] → x.
(ii) X α = {a = (amn ): ∑ ∞ |a |
m,n=1 mn xmn <
An FDK-space is a double sequence space
endowed with a complete metrizable; locally convex ∞, for each x ∈ X};
topology under which the coordinate mappings x = (iii) X β = {a =
(xk ) → (xmn )(m, n ∈ ℕ) are also continuous. (amn ): ∑ ∞
m,n=1 amn xmn is convegent, for each x ∈ X};
Let M and Φ are mutually complementary (iv) X γ = {a = (amn ): supmn≥1 |∑M,N
m,n=1 amn xmn | <
modulus functions. Then, we have: ∞, for each x ∈ X};
(v) Let X be an FK −space⊃ ϕ; then X f =
(i) For all u, y ≥ 0, {f(ℑmn ): f ∈ 𝑋 ′ };
uy ≤ M(u) + Φ(y), (Young ′ s inequality) 1
(vi) X δ = {a = (amn ): supmn |amn xmn |m+n <
(ii) For all u ≥ 0, ∞, for each x ∈ X};

uη(u) = M(u) + Φ(η(u)). X α , X β , X γ are called α − (or Köthe-Toeplitz)

dual of X, β − (orgeneralized-Köthe-

102
 Ozdemir et al/ International Journal of Advanced and Applied Sciences, 4(5) 2017, Pages: 101-108
Toeplitz) dualof X, γ −dualofX,δ −dualof
Xrespectively. X α is defined by Gupta and Kampthan .
It is clear that X α ⊂ X β and X α ⊂ X γ , but X β ⊂ X γ
does not hold, since the sequence of partial sums of a
double convergent series need not to be bounded.
The notion of difference sequence spaces (for
single sequences) was introduced by Kızmaz (1981)
as follows:
Z(Δ) = {x = (xk ) ∈ w: (Δxk ) ∈ Z}
for Z = c, c0 and ℓ∞ , where Δxk = xk − xk+1 for all
k ∈ ℕ.
Here, c, c0 and ℓ∞ denote the classes of
convergent, null and bounded scalar valued single
sequences respectively. The difference sequence
space bvp of the classical space ℓp is introduced and
studied in the case 1 ≤ p ≤ ∞ by Altay and Başar
(2005) and in the case 0 < p < 1 by Altay and Başar
(2005). The spaces c(Δ), c0 (Δ), ℓ∞ (Δ) and bvp are
Banach spaces normed by:
‖x‖ = |x1 | + sup|Δxk |
k≥1
and
1
∞ p
‖x‖bvp = (∑ |xk |p ) , (1 ≤ p < ∞).
k=1
Later on the notion was further investigated by
many others. We now introduce the following
difference double sequence spaces defined by:
Z(Δ) = {x = (xmn ) ∈ w 2 : (Δxmn ) ∈ Z}
where, Z = Λ2 , χ2 and Δxmn = (xmn − xmn+1 ) −
(xm+1n − xm+1n+1 ) = xmn − xmn+1 − xm+1n +
xm+1n+1 for all m, n ∈ ℕ.
2. Some new integrated statistical convergence
sequence spaces of fuzzy numbers
The main aim of this article is to introduce the
following sequence spaces and examine topological
and algebraic properties of the resulting sequence
spaces. Let p = (pmn ) be a sequence of positive real
numbers for all m, n ∈ ℕ, f = (fmn ) be a Musielak-
modulus function,
(X, ‖(d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p ) be a
p −metric space, and (λrs−1 )
be a sequence of non-
zero scalars and μmn (X) = d̅(t rs , 0̅) be a sequence of
fuzzy numbers, we define the following sequence
spaces as follows:
2q
[Γfμ , ‖(d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p ] =
lim |{m, n
r,s→∞
d(x , 0), d(x2 , 0), … ,
qmn
∈ Irs : [fmn (‖μmn (x), ( 1 )‖ )]
d(xn−1 , 0) p
= 0,
uniformly in r, s.
In this case, we write Xmn → 0̅(S̆λF ). The set of all
statistically convergent sequences is denoted by S̆λF .
Let X = (Xmn ) be a sequence of fuzzy numbers
and q = (q mn ) be a sequence of strictly positive real
numbers. Then the sequence X = (Xmn ) is said to be
strongly λ −convergent if there is a fuzzy number 0̅
such that,
2q
[Γfμ , ‖(d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p ] =
lim ∑ ∑
r,s→∞
m∈Irs n∈Irs
qmn
[fmn (‖μmn (x), (d(x1 , 0), d(x2 , 0), ⋯ , d(xn−1 , 0))‖p )]
= 0,
uniformly in r, s.
In this case, we write Xmn → 0̅(w ̆ λF , q). The set of
all strongly λ −convergent sequences is denoted by
̆ λF , q).
(w
Let X = (Xmn ) be a sequence of fuzzy numbers.
Then the sequence X = (Xmn ) of fuzzy numbers is
said to be double analytic if the set {t rs : r, s ∈ ℕ} of
fuzzy numbers is double analytic and it is denoted by
̆2F . In this section we give some inclusion relations
Λ
between strongly λ −convergence and
λ −statistically convergence and show that they are
equivalent for almost bounded sequences of fuzzy
numbers. We also study the inclusion S̆ 2F ⊂ S̆ 2F
under certain restrictions on the sequence Λ2 =
(λrs ).
Let n ∈ ℕ and X be a real vector space of
dimension w, where n ≤ m. A real valued function
dp (x1 , … , xn ) =∥ (d1 (x1 , 0), … , dn (xn , 0)) ∥p on X
satisfying the following four conditions:
(i) ∥ (d1 (x1 , 0), … , dn (xn , 0)) ∥p = 0 if and and only if
d1 (x1 , 0), … , dn (xn , 0) are linearly dependent,
(ii) ∥ (d1 (x1 , 0), … , dn (xn , 0)) ∥p is invariant under
permutation,
(iii) ∥ (αd1 (x1 , 0), … , dn (xn , 0)) ∥p = |α|.
∥ (d1 (x1 , 0), … , dn (xn , 0)) ∥p , α ∈ ℝ,
(iv) dp ((x1 , y1 ), (x2 , y2 ), … , (xn , yn )) =
(dX (x1 , x2 , … , xn )p + dY (y1 , y2 , … , yn )p )1/p for 1 ≤
p < ∞; (or)
(v) d((x1 , y1 ), (x2 , y2 ), … , (xn , yn )): =
sup{dX (x1 , x2 , … , xn ), dY (y1 , y2 , … , yn )},
for x1 , x2 , … , xn ∈ X, y1 , y2 , … , yn ∈ Y is called the p
product metric of the Cartesian product of n metric
spaces.
Definition 2.1: Let X be a linear metric space. A
function ρ: X → ℝ is called paranorm, if
(1) ρ(x) ≥ 0, for all x ∈ X;
(2) ρ(−x) = ρ(x), for all x ∈ X;
(3) ρ(x + y) ≤ ρ(x) + ρ(y), for all x, y ∈ X;
≥ ε}| (4) If (σmn ) is a sequence of scalars with σmn → σ as
m, n → ∞ and (xmn ) is a sequence of vectors with
103
 Ozdemir et al/ International Journal of Advanced and Applied Sciences, 4(5) 2017, Pages: 101-108
ρ(xmn − x) → 0 as m, n → ∞, then ρ(σmn xmn − σx) →
0 as m, n → ∞.
A paranorm w for which ρ(x) = 0 implies x = 0 is
called total paranorm and the pair (X, w) is called a
total paranormed space. It is well known that the
metric of any linear metric space is given by some
total paranorm (Wilansky, 1984).
The notion of deal convergence was introduced
first by Kostyrko et al. (2000) as a generalization of
statistical convergence which was further studied in
toplogical spaces by Kumar (2007) and Kumar and
Kumar (2008), and also more applications of ideals
can be deals with various authors by Hazarika (2009,
2012a,b,c, 2013a,b, 2014a,b,c,d,), Hazarika and Savas
(2011), Hazarika et al. (2014), Hazarika and Kumar
(2014), Tripathy and Hazarika (2008, 2009, 2011).
Definition 2.2: A family I ⊂ 2Y of subsets of a non
empty set Y is said to be an ideal in Y if
(1) ϕ ∈ I
(2) A, B ∈ I imply A ⋃ B ∈ I
(3) A ∈ I, B ⊂ A imply B ∈ I.
While an admissible ideal I of Y further satisfies
{x} ∈ I for each x ∈ Y. Given I ⊂ 2ℕ×ℕ be a non trivial
ideal in ℕ × ℕ. A sequence (xmn )m,n∈ℕ×ℕ in X is said
to be I − convergent to 0 ∈ X, if for each ε > 0 the set
A(ε) = {m, n ∈ ℕ × ℕ: ∥ (d1 (x1 , 0), … , dn (xn , 0)) −
0 ∥p ≥ ε} belongs to I.
Definition 2.3: A non-empty family of sets F ⊂ 2X is
a filter on X if and only if
(1) ϕ ∈ F
(2) for each A, B ∈ F, we have imply A ⋂ B ∈ F
(3) each A ∈ F and each A ⊂ B, we have B ∈ F.
Definition 2.4: An ideal I is called non-trivial ideal if
I ≠ ϕ and X ∉ I. Clearly I ⊂ 2X is a non-trivial ideal if
and only if F = F(I) = {X − A: A ∈ I} is a filter on X.
Definition 2.5: A non-trivial ideal I ⊂ 2X is called (i)
admissible if and only if {{x}: x ∈ X} ⊂ I. (ii) maximal
if there cannot exists any non-trivial ideal J ≠ I
containing I as a subset.
If we take I = If = {A ⊆ ℕ ×
ℕ: A is a finite subset}. Then If is a non-trivial
admissible ideal of ℕ and the corresponding
convergence coincides with the usual convergence. If
we take I = Iδ = {A ⊆ ℕ × ℕ: δ(A) = 0} where δ(A)
denote the asymptotic density of the set A. Then Iδ is
a non-trivial admissible ideal of ℕ × ℕ and the
corresponding convergence coincides with the
statistical convergence.
Let D denote the set of all closed and bounded
intervals X = [x1 , x2 ] on the real line ℝ × ℕ. For
X, Y ∈ D, we define X ≤ Y if and only if x1 ≤ y1 and
x2 ≤ y2 , d(X, Y) = max{|x1 − y1 |, |x2 − y2 |}, where
X = [x1 , x2 ] and Y = [y1 , y2 ].
Then it can be easily seen that d defines a metric
on D and (D, d) is a complete metric space. Also the
104
relation "≤" is a partial order on D. A fuzzy number X
is a fuzzy subset of the real line ℝ × ℝ i.e. a mapping
X: R → J(= [0,1]) associating each real number t with
its grade of membership X(t).
Definition 2.6: A fuzzy number X is said to be (i)
convex if X(t) ≥ X(s) ∧ X(r) = min{X(s), X(r)}, where
s < t < r. (ii) normal if there exists t 0 ∈ ℝ × ℝ such
that X(t 0 ) = 1. (iii) upper semi-continuous if for each
ε > 0, X −1 ([0, a + ε]) for all a ∈ [0,1] is open in the
usual topology of ℝ × ℝ.
Let R(J) denote the set of all fuzzy numbers which
are upper semicontinuous and have compact
support, i.e. if X ∈ ℝ(J) × ℝ(J) the for any α ∈
[0,1], [X]α is compact, where [X]α = {t ∈ ℝ ×
ℝ: X(t) ≥ α, ifα ∈ [0,1]}, [X]0 =closure of
({t ∈ ℝ × ℝ: X(t) > α, ifα = 0}).
The set ℝ of real numbers can be embedded ℝ(J)
if we define r̅ ∈ ℝ(J) × ℝ(J) by
r̅ (t) = (
1, ift = r;
0, ift ≠ r
the absolute value, |X| of X ∈ ℝ(J) is defined by
max{X(t), X(−t)}, ift ≥ 0;
|X|(t) = (
0, ift < 0
define a mapping d̅: ℝ(J) × ℝ(J) → ℝ+ ∪ {0} by
d̅(X, Y) = sup d([X]α , [Y]α ).
0≤α≤1
It is known that (ℝ(J), d̅) is a complete metric
space.
Definition 2.7: A metric on ℝ(J) is said to be
translation invariant if d̅(X + Z, Y + Z) = d̅(X, Y), for
X, Y, Z ∈ ℝ(J).
Definition 2.8: A sequence X = (Xmn ) of fuzzy
numbers is said to be (i) convergent to a fuzzy
number X0 if for every ε > 0, there exists a positive
integer n0 such that d̅(Xmn , X0 ) < ε for all n ≥ n0 . (ii)
bounded if the set {Xmn : m, n ∈ ℕ} of fuzzy numbers
is bounded.
Definition 2.9: A sequence X = (Xmn ) of fuzzy
numbers is said to be (i) I-convergent to a fuzzy
number X0 if for each ε > 0 such that,
A = {m, n ∈ ℕ: d̅(Xmn , X0 ) ≥ ε} ∈ I.
The fuzzy number X0 is called I −limit of the
sequence (Xmn ) of fuzzy numbers and we write I −
limXmn = X0 . (ii) I −bounded if there exists M > 0
such that,
{m, n ∈ ℕ: d̅(Xmn , 0̅) > M} ∈ I.
Definition 2.10: A sequence space EF of fuzzy
numbers is said to be (i) solid (or normal) if (Ymn ) ∈
EF whenever (Xmn ) ∈ EF and d̅(Ymn , 0̅) ≤ d̅(Xmn , 0̅)
 Ozdemir et al/ International Journal of Advanced and Applied Sciences, 4(5) 2017, Pages: 101-108

for all m, n ∈ ℕ. (ii) symmetric if (Xmn ) ∈ EF implies concept extends the idea to apply to sequences of
(Xπ(mn) ) ∈ EF where π is a permutation of ℕ × ℕ. fuzzy numbers with Kwon and Shim (2001), Et et al.
Let K = {k1 < k 2 < ⋯ } ⊆ ℕ and E be a sequence (2005), Nuray and Savas (1995), and many others.
space. A K −step space of E is a sequence space,
Definition 2.16: The sequence X = (Xmn ) of fuzzy
λEmn = {(Xmp np ) ∈ w 2 : (mp np ) ∈ E}. numbers is said to be almost convergent to a fuzzy
number 0̅ if limm,n→∞ d(t pm,qn (X), 0̅) = 0 uniformly
in m, n, where t pm,qn (X) =
A canonical preimage of a sequence {(xmpnp )} ∈ 1 1/((i+m)+(j+n))
∑pi=0 ∑qj=0 (Xi+m,j+n ) .
λEK is a sequence {ymn } ∈ w 2 defined as: (m+1)(n+1)
This means that for every ε > 0, there exists a
ymn
x , ifm, n ∈ E
= ( mn
p0 q0 ∈ ℕ such that d(t pm,qn (X), 0̅) < ε, whenever
0, otherwise. p, q ≥ p0 q0 and for all m, n.

A canonical preimage of a step space λEK is a set of Definition 2.17: A sequence X = (Xmn ) of fuzzy
canonical preimages of all elements in λEK , i.e. y is in numbers is said to be statistically convergent to a
canonical preimage of λEK if and only if y is canonical fuzzy number 0̅ if for every ε > 0,
preimage of some x ∈ λEK .
1/m+n
lim |{m ≤ r, n ≤ s: d(Xmn , 0̅) ≥ ε}| = 0.
Definition 2.11: A sequence space EF is said to be 1
rs
monotone if EF contains the canonical pre-images of
all its step spaces. The set of all statistically convergent sequences
The following well-known inequality will be used of fuzzy numbers is denoted by S 2F .
throughout the article. Let p = (pmn ) be any We note that if a sequence X = (Xmn ) of fuzzy
sequence of positive real numbers with 0 ≤ pmn ≤ numbers converges to a fuzzy number 0̅, then it is
supmn pmn = G, D = max{1,2G − 1} then statistically converges to 0̅. But the converse
statement is not necessarily valid.
|amn + bmn |pmn ≤ D(|amn |pmn + |bmn |pmn ) Let μ = (λrs ) be a non-decreasing sequence of
positive real numbers tending to infinity and λ11 = 1
for all m, n ∈ ℕ and a mn , bmn ∈ ℂ. and λr+1,s+1 ≤ λrs + 1, for all r, s ∈ ℕ.
The generalized de la Vallee-Poussin mean is
Also |a mn |pmn ≤ max{1, |a|G } for all a ∈ ℂ. defined by:
First we procure some known results; those will
help in establishing the results of this article. 1
t rs (x) = ∑ ∑ |xmn |1/m+n
λrs
Lemma 2.12: A sequence space EF is normal implies p∈Ir q∈Is

EF is monotone. (For the crisp set case, one may

refer to Kamthan and Gupta (1981)).
Lemma 2.13: based on Lemma 5.1 of (Kostyrko et
al., 2000) If I ⊂ 2ℕ is a maximal ideal, then for each
A ⊂ ℕ we have either A ∈ I or ℕ − A ∈ I.
where, Irs = [r, s − λrs + 1, rs]. A sequence x = (xmn )
of complex numbers is said to be (V, λ) − summable
to a number if t rs (x) → L as r, s → ∞.
3. Main results

Definition 2.14: A sequence X = (Xmn ) of fuzzy Theorem 3.1: If Γ 2 (X) ∈ S̆λ2F and c ∈ ℝ, then
numbers is a function X from the set ℕ × ℕ of natural (a) S̆λ2F − limcΓ 2 (X) = cS̆λ2F − limΓ 2 (X)
numbers into L(ℝ) × L(ℝ). The fuzzy number Xmn (b) S̆λ2F − limΓ 2 (X + Y) = S̆λ2F − limΓ 2 (X) +
denotes the value of the function m, n ∈ ℕ. ̆Sλ2F − limΓ 2 (Y)
We denote W 2F denotes the set of all sequences
X = (Xmn ) of fuzzy numbers. Proof (a): Let Γ 2 (X) ∈ S̆λ2F so that S̆λ2F − limΓ 2 (X) =
0̅, c ∈ ℝ and ε > 0. Then the inequality,
Definition 2.15: A sequence X = (Xmn ) of fuzzy
numbers is said to be analytic if the set {Xmn : m, n ∈ |{m, n
ℕ} of fuzzy numbers is analytic. qmn
The notion of statistical convergence for a ∈ Irs : [fmn (‖μmn (cx), (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p )]
sequence of complex numbers was introduced by ≥ ε}| ≤
Fridy (1985) and many others. Over the years and
under different names statistical convergence has |{m, n
qmn
been discussed in the different theories such as the ∈ Irs : [fmn (‖μmn (x), (d(x1 , 0), d(x2 , 0), ⋯ , d(xn−1 , 0))‖p )]
theory of Fourier analysis, ergodic theory and ε
number theory. Later on, it was further investigated ≥ }|,
|c|
from the sequence space point of view and linked
with summability theory by Fridy (1985), Salat for all r, s ∈ ℕ.
(1980), Connor (1988), and many others. This
105
 Ozdemir et al/ International Journal of Advanced and Applied Sciences, 4(5) 2017, Pages: 101-108

Proof (b): Suppose that Γ 2 (X), Γ 2 (Y) ∈ S̆λ2F so that for all r, s ∈ ℕ, let
S̆λ2F − limΓ 2 (X) = 0̅ and S̆λ2F − limΓ 2 (Y) = 0̅. By
Minkowski’s inequality, we get, Grs
= |{m, n
qmn qmn
[fmn (‖μmn (x + y), (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p )] ∈ Irs : [fmn (‖μmn (x), (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p )]
≤ ≥ ε}|
qmn
[fmn (‖μmn (x), (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p )] +
qmn
[fmn (‖μmn (y), (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p )] . and

Hrs
Therefore given ε > 0, for all r, s ∈ ℕ, we have,
= |{m, n
|{m, n qmn
∈ Irs : [fmn (‖μmn (x), (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p )]
∈ Irs : [fmn (‖μmn (x
qmn < ε}|.
+ y), (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p )] ≥ ε}| ≤
|{m, n then we have
qmn
∈ Irs : [fmn (‖μmn (x), (d(x1 , 0), d(x2 , 0), ⋯ , d(xn−1 , 0))‖p )] qmn
ε ∑ ∑ [fmn (‖μmn (x), (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p )]
≥ }| + m∈Irs n∈Irs
2
=
|{m, n qmn
qmn ∑ ∑ [fmn (‖μmn (x), (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p )]
∈ Irs : [fmn (‖μmn (y), (d(x1 , 0), d(x2 , 0), ⋯ , d(xn−1 , 0))‖p )] m∈Grs n∈Grs

ε +
qmn
≥ }|. ∑ ∑ [fmn (‖μmn (x), (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p )]
2
This completes the proof. m∈Hrs n∈Hrs
≤ max (T h , T H )Grs + max(εh , εH ).
The following theorem shows that λ − statistical
convergence and strongly λ − convergence are Taking the limit as ε → 0 and r, s → ∞, it follows
equivalent for double analytic sequences of fuzzy ̆ λF , q).
that Γ 2 (X) ∈ (w
numbers.
Proof (c): Follows from (a) and (b).
Theorem 3.2: Let the sequence μ = (μmn ) be double
λ
analytic and Γ 2 (X) be a sequence of fuzzy numbers. Theorem 3.3: If liminfrs ( rs) > 0, then S̆ 2F ⊂ S̆λ2F .
rs
Then Proof: Let Γ 2 (X) ∈ S̆ 2F . For given ε > 0, we get
(a) Γ 2 (X) → 0̅(w ̆ λ2F , μ) implies Γ 2 (X) → 0̅(S̆λ2F , μ).
|{m ≤ r, n
(b) Λ 2 (X)
→ 0̅(S̆λ2F , μ) imply Λ2 (X) → 0̅(w ̆ λ2F , μ). qmn
(c) S̆λ2F ⋂ Λ2F ̆ λ2F , μ) ⋂ Λ2F ≤ s: [fmn (‖μmn (x), (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p )]
λ = (w λ .
≥ ε}| ⊃ Grs
Proof (a): Let ε > 0 and Γ 2 (X) → 0̅(w
̆ λ2F , μ) for all
r, s ∈ ℕ, we have, where Grs is in the Theorem of 3.2 (b). Thus,
qmn
∑ ∑ [fmn (‖μmn (x), (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p )] |{m ≤ r, n
m∈Irs n∈Irs qmn
≥ ≤ s: [fmn (‖μmn (x), (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p )]
qmn
∑ ∑ [fmn (‖μmn (x), (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p )] λrs
≥ ε}| ≥ Grs = .
m∈Irs n∈Irs rs
≥ε λ
qmn Taking limit as r, s → ∞ and using liminfrs ( rs) >
[fmn (‖μmn (x), (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p )] ≥ rs
0, we get Γ 2 (X) ∈ S̆λ2F .
|{m, n
qmn
∈ Irs : [fmn (‖μmn (x), (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p )] Theorem 3.4: Let 0 < umn ≤ vmn and (umn vmn −1 )
be
2F 2F
double analytic. Then (w
̆ λ , v) ⊂ (w
̆ λ , u).
≥ ε}| ⋅ min(εh , εH ).
̆ λ2F , v). Let
Proof: Let Γ 2 (X) ∈ (w
Hence Γ 2 (X) ∈ S̆λ2F .
wmn
Proof (b): Suppose that Γ 2 (X) ∈ S̆2λ
2F
⋂ Λ2F . Since = [fmn (‖μmn (x), (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p )]
qmn

Γ 2 (X)
∈ Λ , we write,
2F
qmn
[fmn (‖μmn (x), (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p )]
≤ T,

106
 Ozdemir et al/ International Journal of Advanced and Applied Sciences, 4(5) 2017, Pages: 101-108

for all r, s ∈ ℕ and λmn = umn vmn−1

for all m, n ∈ ℕ. ∑ ∑ [fmn (‖μmn (k mn
Then 0 < λmn ≤ 1 for all m, n ∈ ℕ. Let b be a m∈Irs n∈Irs
qmn
constant such that 0 < b ≤ λmn ≤ 1 for all m, n ∈ ℕ. + ℓmn )λmn , (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p )] =
Define the sequences (k mn ) and (ℓmn ) as follows: ∑ ∑ [fmn (‖μmn (wmn ), (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p )]
qmn

For wmn ≥ 1, let (k mn ) = (wmn ) and ℓmn = 0 and for m∈Irs n∈Irs
wmn < 1, let k mn = 0 and ℓmn = wmn . Then it is clear +
qmn
that for all m, n ∈ ℕ, we have wmn = k mn + ℓmn and ∑ ∑ [fmn (‖μmn (ℓmn )λmn , (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p )]
λmn λmn λmn λmn
wmn = k mn + ℓmn . Now it follows that k mn ≤ m∈Irs n∈Irs
λmn
k mn ≤ wmn and ℓmn ≤ ℓmn . Therefore,
λ
now for each r, s,
qmn
mn λ
∑ ∑ [fmn (‖μmn (wmn ), (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p )]
m∈Irs n∈Irs
=
qmn
∑ ∑ [fmn (‖μmn (ℓmn )λ , (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p )] =
m∈Irs n∈Irs
qmn
1 1−λ
∑ ∑ [fmn (‖μmn ((ℓmn )λ ( ) ) , (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖ )] ≤
λrs p
m∈Irs n∈Irs
λ
qmn
λ 1/λ
[ ∑ ∑ [fmn ∥ ((μmn ((ℓmn )λ ) ) , (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0)) ∥p )] ]
m∈Irs n∈Irs

̆2F = w
Theorem 3.5: Λ 2F
̆ λ,Λ 2 , where testing and verification of prove the results. This is
vital role of that research paper.
2F
w
̆ λ,Λ2 =

X = (Xmn ): sup ∑
Acknowledgement
rs
m∈Irs

∑ [fmn (‖μmn (x), (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p )]

qmn
<∞ The authors are extremely grateful to the
n∈Irs anonymous learned referee(s) for their keen
reading, valuable suggestion and constructive
Proof: Let X = (Xmn ) ∈ w 2F
̆ λ,Λ 2 . Then there exists a comments for the improvement of the manuscript.
constant T1 > 0 such that, The authors are thankful to the editor(s) and
reviewers of Applied Mathematics and Information
qmn Sciences and also authors wish to thank the
[fmn (‖μmn (x), (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p )] ≤
qmn
Department of Science and Technology, Government
sup ∑ ∑ [fmn (‖μmn (x), (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p )] of India for the financial sanction towards this work
rs
m∈Irs n∈Irs under FIST program SR/FST/MSI-107/2015.
≤ T1

̆2F . Competing interests

for all r, s ∈ ℕ. Therefore we have X = (X mn ) ∈ Λ
̆
Conversely, let X = (Xmn ) ∈ Λ . Then there exists a
2F
The authors declare that there is no conflict of
constant T2 > 0 such that, interests regarding the publication of this research
qmn paper.
[fmn (‖μmn (x), (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p )]
≤ T2 References

for all m, n and r, s. So, Altay B and Başar F (2005). Some new spaces of double
sequences. Journal of Mathematical Analysis and Applications,
qmn 309(1), 70-90.
∑ ∑ [fmn (‖μmn (x), (d(x1 , 0), d(x2 , 0), … , d(xn−1 , 0))‖p )]
m∈Irs n∈Irs
Başar F and Sever Y (2009). The space Lp of double sequences.
Mathematical Journal of Okayama University, 51: 149-157.
≤ T2 ∑ ∑ 1 ≤ T2 ,
m∈Irs n∈Irs Basarir M and Sonalcan O (1999). On some double sequence
spaces. The Journal of the Indian Academy of Mathematics,
2F 21(2): 193-200.
for all m, n and r, s. Thus X = (Xmn ) ∈ w
̆ λ,Λ 2.
Bromwich TJI (2005). An introduction to the theory of infinite
series. 3rd Edition, AMS Chelsea Publishing, American
4. Conclusion Mathematical Society, Providence, Rhode Island, USA.
Connor JS (1988). The statistical and strong p-Cesàro convergence
The statistical approach implement of function of sequences. Analysis, 8(1-2): 47-63.
space of 𝚪 𝟐 and then well defined of definitions. This
Et M, Altin Y, and Altinok, H (2005). On almost statistical
logic hypothesis of statistical new approaches of convergence of generalized difference sequences of fuzzy
numbers. Mathematical Modelling and Analysis, 10(4): 345-
352.

107
 Ozdemir et al/ International Journal of Advanced and Applied Sciences, 4(5) 2017, Pages: 101-108
Fridy JA (1985). On statistical convergence. Analysis, 5(4): 301-
313.
Gökhan A and Çolak R (2004). The double sequences spaces c2P(p)
and c2PB(p). Applied Mathematics and Computation, 157(2):
491-501.
Gökhan A and Çolak R (2005). Double sequence space ℓ2∞(p).
Applied Mathematics and Computation, 160(1): 147–153.
Hamilton HJ (1936). Transformations of multiple sequences. Duke
Mathematical Journal, 2(1): 29-60.
Hardy GH (1904). On the convergence of certain multiple series.
Proceedings of the London Mathematical Society, s2-1(1):124-
128. https://doi.org/10.1112/plms/s2-1.1.124
Hazarika B (2009). Lacunary I − convergent sequence of fuzzy
real numbers. Pacific Journal of Science and Technology,
10(2): 203-206.
Hazarika B (2012a). Fuzzy real valued lacunary I − convergent
sequences. Applied Mathematics Letters, 25(3): 466-470.
Hazarika B (2012b). On generalized difference ideal convergence
in random 2-normed spaces. Filomat, 26(6): 1273-1282.
Hazarika B (2012c). I − convergence and summability in
topological group. Journal of Mathematical Sciences, 4(3):
269-283.
Hazarika B (2013a). On fuzzy real valued I − convergent double
sequence spaces defined by Musielak-Orlicz function. Journal
of Intelligent and Fuzzy Systems, 25(1): 9-15.
Hazarika B (2013b). Lacunary difference ideal convergent
sequence spaces of fuzzy numbers. Journal of Intelligent and
Fuzzy Systems, 25(1): 157-166.
Hazarika B (2014a). On σ − uniform density and ideal convergent
sequences of fuzzy real numbers. Journal of Intelligent and
Fuzzy Systems, 26(2): 793-799.
Hazarika B (2014b). Some classes of ideal convergent difference
sequence spaces of fuzzy numbers defined by Orlicz function.
Fasciculi Mathematici, 52: 45-63.
Hazarika B (2014c). Classes of generalized difference ideal
convergent sequence of fuzzy numbers. Annals of Fuzzy
Mathematics and Informatics, 7(1): 155-172.
Hazarika B (2014d). On ideal convergent sequences in fuzzy
normed linear spaces. Afrika Matematika, 25(4): 987-999.
Hazarika B and Kumar V (2014). Fuzzy real valued I − convergent
double sequences in fuzzy normed spaces. Journal of
Intelligent and Fuzzy Systems, 26(5): 2323-2332.
Hazarika B and Savas E (2011). Some I − convergent lambda-
summable difference sequence spaces of fuzzy real numbers
defined by a sequence of Orlicz functions. Mathematical and
Computer Modelling, 54(11-12): 2986-2998.
Hazarika B, Tamang K, and Singh BK (2014). Zweier ideal
convergent sequence spaces defined by Orlicz function.
Journal of Mathematics and Computer Science, 8: 307-318.
Kamthan PK and Gupta M (1981). Sequence spaces and series.
Lecture Notes in Pure and Applied Mathematics, 65 Marcel
Dekker, Inc., New York, USA.
Kızmaz H (1981). On certain sequence spaces. Canadian
Mathematical Bulletin, 24: 169–176.
108
View publication stats
Kostyrko P, Salat T, and Wilczynski W (2000). 𝐼 − convergence.
Real Analysis Exchange, 26(2): 669-686.
Kumar V (2007). On 𝐼 and 𝐼∗ −convergence of double sequences.
Mathematical Communications, 12(2): 171-181.
Kumar V and Kumar K (2008). On the ideal convergence of
sequences of fuzzy numbers. Information Sciences, 178(24):
4670-4678.
Kwon JS and Shim HT (2001). Remark on lacunary statistical
convergence of fuzzy numbers. The Journal of Fuzzy
Mathematics, 123(1): 85-88.
Lindenstrauss J and Tzafriri L (1971). On Orlicz sequence spaces.
On Orlicz sequence spaces. Israel Journal of Mathematics,
10(3): 379-390.
Maddox IJ (1986). Sequence spaces defined by a modulus.
Mathematical Proceedings of the Cambridge Philosophical
Society, 101(1), 161-166. https://doi.org/10.1017/
S0305004100065968
Moricz F (1991). Extentions of the spaces c and from single to
double sequences. Acta Mathematica Hungarica, 57(1-2): 129-
136.
Moricz F and Rhoades BE (1988). Almost convergence of double
sequences and strong regularity of summability matrices.
Mathematical Proceedings of the Cambridge Philosophical
Society, 104(2): 283-294.
Mursaleen M and Edely OHH (2003). Statistical convergence of
double sequences. Journal of Mathematical Analysis and
Applications, 288(1): 223-231.
Nuray F and Savas E (1995). Statistical convergence of sequences
of fuzzy numbers. Mathematica Slovaca, 45(3): 269-273.
Pringsheim A (1900). Zur theorie der zweifach unendlichen
Zahlenfolgen. Mathematische Annalen, 53(3): 289-321.
Salat T (1980). On statistically convergent sequences of real
numbers. Mathematica Slovaca, 30(2): 139-150.
Subramanian N and Misra UK (2011). Characterization of gai
sequences via double Orlicz space. Southeast Asian Bulletin of
Mathematics, 35(4): 687-697.
Tripathy BC (2003). On statistically convergent double sequences.
Tamkang Journal of Mathematics, 34(3): 231-237.
Tripathy BC and Hazarika B (2008). 𝐼 − convergent sequence
spaces associated with multiplier sequences. Mathematical
Inequalities and Applications, 11(3): 543-548.
Tripathy BC and Hazarika B (2009). Paranorm 𝐼 − convergent
sequence spaces. Mathematica Slovaca, 59(4): 485-494.
Tripathy BC and Hazarika B (2011). Some 𝐼 − convergent
sequence spaces defined by Orlicz functions. Acta
Mathematicae Applicatae Sinica, 27(1): 149-154.
Turkmenoglu A (1999). Matrix transformation between some
classes of double sequences. Journal of Institute of
Mathematics & Computer Sciences, 12(1): 23-31.
Wilansky A (1984). Summability through functional analysis.
North-Holland Mathematical Studies, North-Holland
publishing, Amsterdam.
Zeltser M (2001). Investigation of double sequence spaces by soft
and hard analytical methods. Ph.D. Dissertation, Tartu
University Press, Tartu, Estonia.