- Research
- Open access
- Published:
On \(\mathcal{I}_{{\theta}_{2}}\)-convergence in fuzzy normed spaces
Journal of Inequalities and Applications volume 2020, Article number: 127 (2020)
Abstract
In this study, first, lacunary convergence of double sequences is introduced in fuzzy normed spaces, and basic definitions and theorems about lacunary convergence for double sequences are given in fuzzy normed spaces. Then, we introduce the concept of lacunary ideal convergence of double sequences in fuzzy normed spaces, and the relation between lacunary convergence and lacunary ideal convergence is investigated for double sequences in fuzzy normed spaces. Finally, in fuzzy normed spaces, we give the concept of limit point and cluster point for double sequences, and the theorems related to these concepts are given.
1 Introduction and background
The statistical convergence was derived from the convergence of real sequences by Fast [1] and Schoenberg [2]. After the studies of Šalát [3], Fridy [4], and Connor [5] in this area, many studies have been conducted. Kostyrko et al. [6] introduced the concept of ideal convergence by expanding the concept of statistical convergence. After basic properties of \(\mathcal{I}\)-convergence were given by Kostyrko et al. [7], some studies [8–10] have been the basis of other studies.
Matloka [11] was the first scholar who introduced the notion of convergence of a sequence of fuzzy numbers, and he proved some basic theorems. In later years, Nanda [12] studied the sequences of fuzzy numbers again and Ṣenc̣imen and Pehlivan [13] introduced the notions of a statistically convergent sequence and a statistically Cauchy sequence in a fuzzy normed linear space. The concepts of \(\mathcal{I}\)-convergence, \(\mathcal{I}^{\ast }\)-convergence, and \(\mathcal{I}\)-Cauchy sequence were studied by Hazarika [14] in a fuzzy normed linear space. Especially, the studies of Savaş [15–17], Et et al. [18], Işık [19], C̣ınar [20], and Altınok et al. [21] on difference sequences and fuzzy numbers made important contributions to this field. Recently, Türkmen and C̣ınar [22] studied lacunary statistical convergence in fuzzy normed spaces. Türkmen and Dündar [23] scrutinized same concepts for double sequences, and Türkmen [24] reinterpreted these works in fuzzy n-normed spaces.
In this paper, we introduce and study the concepts of lacunary \(\mathcal {I}_{2}\)-convergence, lacunary convergence, \(\mathrm{F}\mathcal{I}_{{\theta}_{2}}\)-limit point, and \(\mathrm{F}\mathcal{I}_{{\theta}_{2}}\)-cluster point for double sequences in a fuzzy normed space. Also, we scrutinize their relations.
Now, we recall the concept of double sequence, statistical convergence, ideal convergence, double lacunary sequence, fuzzy norm, and some basic definitions (see [13, 18, 21–23, 25–49]).
Fuzzy sets are considered with respect to a nonempty base set X of elements of interest. The essential idea is that each element \(x\in X\) is assigned a membership grade \(u(x)\) taking values in \([0,1]\), with \(u(x)=0\) corresponding to nonmembership, \(0< u(x)<1\) to partial membership, and \(u(x)=1 \) to full membership.
According to Zadeh, a fuzzy subset of X is a nonempty subset \(\{(x,u(x)):x\in X\}\) of \(X\times [ 0,1 ] \) for some function \(u:X\rightarrow [ 0,1 ] \). The function u itself is often used for the fuzzy set. The function u is called a fuzzy number under certain conditions. Also, all fuzzy numbers are denoted as \(L(\mathbb{R})\) and the set of all nonnegative fuzzy numbers as \(L^{\ast} ( \mathbb {R} )\).
For \(u\in L(\mathbb{R})\), the α level set of u is defined by
For \(u,v\in L(\mathbb{R})\), the supremum metric on \(L(\mathbb{R})\) is defined as
A sequence \(x=(x_{k})\) of fuzzy numbers is said to be convergent to a fuzzy number \(x_{0}\) if there exists a positive integer \(k_{0}\) such that \(D ( x_{k},x_{0} ) <\varepsilon\), for every \(\varepsilon >0\) and \(k>k_{0}\). A sequence \(x=(x_{k})\) of fuzzy numbers convergent to levelwise to \(x_{0}\) if and only if \(\lim_{k\rightarrow\infty } [x_{k} ] _{\alpha}^{-}= [ x_{0} ] _{\alpha}^{-} \) and \(\lim_{k\rightarrow\infty} [ x_{k} ] _{\alpha}^{+}= [ x_{0} ] _{\alpha}^{+}\), where \([ x_{k} ] _{\alpha }= [ (x_{k} ) _{\alpha}^{-}, ( x_{k} ) _{\alpha }^{+} ] \) and \([ x_{0} ] _{\alpha}= [ ( x_{0} ) _{\alpha}^{-}, ( x_{0} ) _{\alpha}^{+} ] \), for every \(\alpha\in ( 0,1 ) \).
A sequence \(x= ( x_{k} ) \) of fuzzy numbers is said to be statistically convergent to a fuzzy number \(x_{0}\) if every \(\varepsilon>0\),
Later, many mathematicians studied statistical convergence of fuzzy numbers and extended this notion to fuzzy normed spaces.
Let X be a vector space over \(\mathbb{R}\), \(\Vert \cdot \Vert :X\rightarrow L^{\ast} ( \mathbb{R} )\), and let the mappings \(L,R: [ 0,1 ] \times [ 0,1 ] \rightarrow [ 0,1 ] \) be symmetric, nondecreasing in both arguments, and satisfy \(L ( 0,0 ) =0\) and \(R(1,1)=1\). The quadruple \(( X, \Vert \cdot \Vert ,L,R ) \) is called a fuzzy normed linear space (briefly, \(( X, \Vert \cdot \Vert ) \)FNS) and \(\Vert \cdot \Vert \) is a fuzzy norm if the following axioms are satisfied:
- (1)
\(\Vert x \Vert =\widetilde{0}\) if and only if \(x=0\),
- (2)
\(\Vert rx \Vert = \vert r \vert \odot \Vert x \Vert \) for \(x\in X\), \(r\in\mathbb{R}\),
- (3)
for all \(x,y\in X\),
- (a)
\(\Vert x+y \Vert (s+t )\ge L ( \Vert x \Vert (s ), \Vert y \Vert (t ) )\), whenever \(s\le \Vert x \Vert _{1}^{-} \), \(t\le \Vert y \Vert _{1}^{-} \) and \(s+t\le \Vert x+y \Vert _{1}^{-}\),
- (b)
\(\Vert x+y \Vert (s+t )\le R ( \Vert x \Vert (s ), \Vert y \Vert (t ) )\), whenever \(s\ge \Vert x \Vert _{1}^{-} \), \(t\ge \Vert y \Vert _{1}^{-} \) and \(s+t\ge \Vert x+y \Vert _{1}^{-}\).
- (a)
Let \(( X, \Vert \cdot \Vert ) \) be a fuzzy normed linear space. A sequence \(( x_{n} ) _{n=1}^{\infty}\) in X is convergent to \(L\in X\) with respect to the fuzzy norm on X and it is denoted by \(x_{n}\overset{\mathrm{FN}}{\rightarrow}L\), provided \(( D ) \text{-}\lim_{n\rightarrow\infty} \Vert x_{n}-L \Vert =\widetilde{0}\), i.e., for every \(\varepsilon>0\) there exists an \(N ( \varepsilon ) \in\mathbb{N}\) such that \(D ( \Vert x_{n}-L \Vert ,\widetilde{0} ) <\varepsilon\), for all \(n\geq N ( \varepsilon ) \). This means that for every \(\varepsilon>0\) there exists an integer \(N ( \varepsilon ) \in\mathbb{N}\) such that
for all \(n\geq N ( \varepsilon ) \).
Let \(( X, \Vert \cdot \Vert ) \) be an FNS. A sequence \(( x_{n} ) \) in X is statistically convergent to \(L\in X\) with respect to the fuzzy norm on X and it is denoted by \(x_{n}\overset {\mathrm{FS}}{\rightarrow}L\), provided that for each \(\varepsilon>0\), we have \(\delta ( \{ n\in\mathbb{N}:D ( \Vert x_{n}-L \Vert ,\tilde{0} ) \geq\varepsilon \} ) =0\). This implies that for each \(\varepsilon>0\), the set \(K ( \varepsilon ) = \{ n\in \mathbb{N}: \Vert x_{n}-L \Vert _{0}^{+}\geq\varepsilon \} \) has natural density zero, namely, for each \(\varepsilon>0\), \(\Vert x_{n}-L \Vert _{0}^{+}<\varepsilon\) for almost all n.
A double sequence \(x=(x_{mn})_{ ( m,n ) \in\mathbb{N}\times \mathbb{N}}\) is said to be Pringsheim’s convergent (or P-convergent) if for given \(\varepsilon>0\) there exists an integer \(N ( \varepsilon ) \) such that \(\vert x_{mn}-L \vert <\varepsilon\), whenever \(m,n\geq N ( \varepsilon ) \). It is denoted by \(\lim_{m,n\rightarrow\infty}x_{mn}=L\), where m and n tend to infinity independent of each other.
Let \(( X, \Vert \cdot \Vert ) \) be an FNS. If for every \(\varepsilon>0\) there exist a number \(N=N ( \varepsilon ) \) such that
for all \(m,n\geq N\), then the double sequence \(x=(x_{mn})\) is said to be convergent to \(L\in X\) with respect to the fuzzy norm on X. In this case, it is denoted by \(x_{mn}\overset{\mathrm{FN}}{\longrightarrow}L\). This means that for every \(\varepsilon>0\) there exist a number \(N=N ( \varepsilon ) \) such that \(\sup_{\alpha\in [ 0,1 ] } \Vert x_{mn}-L \Vert _{\alpha}^{+}= \Vert x_{mn}-L \Vert _{0}^{+}<\varepsilon\), for all \(m,n\geq N\).
Let \(K \subset\mathbb{N} \times\mathbb{N}\). Let \(K_{mn}\) be the number of \((j,k)\in K\) such that \(j\leq m\), \(k\leq n\). If the sequence \(\{\frac{K_{mn}}{m.n} \}\) has a limit in Pringsheim’s sense then we say that K has double natural density denoted by
Let \(( X, \Vert \cdot \Vert ) \) be an FNS. If for every \(\varepsilon>0\),
then the double sequence \(x=(x_{mn})\) is said to be statistically convergent to \(L\in X\) with respect to the fuzzy norm on X. This implies that \(\Vert x_{mn}-L \Vert _{0}^{+}<\varepsilon\) for almost all m, n and each \(\varepsilon>0\). In this case, it is denoted \(\text{FS}_{2}\text{-}\lim \Vert x_{mn}-L \Vert =\widetilde{0}\) or \(x_{mn}\overset {\mathrm{FS}_{2}}{\longrightarrow}L\).
Let \(X\neq\emptyset\) and (i) \(\emptyset\in\mathcal{I}\), (ii) \(A,B\in \mathcal{I}\) implies \(A\cup B\in\mathcal{I,}\) and (iii) \(A\in\mathcal {I}\), \(B\subset A\) implies \(B\in\mathcal{I}\).
If class \(\mathcal{I}\) satisfies (i), (ii), (iii), then \(\mathcal{I}\) is an ideal in X. If \(X\notin\mathcal{I}\), \(\mathcal{I}\) is a nontrivial ideal. If also \(\{x\}\in\mathcal{I}\) for each \(x\in X\), the nontrivial ideal \(\mathcal{I}\) in X is called admissible.
Let \(X\neq\emptyset\) and \(\mathcal{F}\) be a nonempty class subsets of X. If the following conditions are satisfied, \(\mathcal{F}\) is a filter in X:
(i) \(\emptyset\notin\mathcal{F}\), (ii) \(A,B\in\mathcal{F}\) implies \(A\cap B\in\mathcal{F}\), (iii) \(A\in\mathcal{F}\), \(A\subset B\) implies \(B\in\mathcal{F}\).
Let \(\mathcal{I}\) be a nontrivial ideal in \(X\neq\emptyset\). The class \(\mathcal{F}(\mathcal{I})=\{M\subset X:(\exists A\in\mathcal{I})(M=X\setminus A)\}\) is a filter associated with \(\mathcal{I}\) on X.
A nontrivial ideal \(\mathcal{I}_{2}\) of \(\mathbb{N}\times\mathbb{N}\) is called strongly admissible if \(\{i\}\times\mathbb{N}\) and \(\mathbb {N}\times \{i\}\) belong to \(\mathcal{I}_{2}\) for each \(i\in\mathbb{N}\). It is evident that a strongly admissible ideal is also admissible. Throughout the paper, we consider \(\mathcal{I}_{2}\) as a strongly admissible ideal in \(\mathbb {N}\times\mathbb{N}\).
Let \(( X, \Vert \cdot \Vert ) \) be a fuzzy normed space. A sequence \(x=(x_{n})_{n\in\mathbb{N}}\) in X is said to be \(\mathcal {I}\)-convergent to \(L\in X\) with respect to fuzzy norm on X if for each \(\varepsilon>0\), the set \(A ( \varepsilon ) = \{ n\in \mathbb{N}: \Vert x_{n}-{L} \Vert _{0}^{+}\geq\varepsilon \} \) belongs to \(\mathcal{I}\). In this case, we write \(x_{n}\overset {\mathrm{F}\mathcal{I}}{\longrightarrow}L\). The element L is called the \(\mathcal{I}\)-limit of x in X.
A sequence \(( x_{n} ) \) in X is said to be \(\mathcal {I}^{\ast}\)-convergent to L in X with respect to the fuzzy norm on X if there exists a set \(M\in F ( \mathcal{I} ) \), \(M=\{t_{1}< t_{2}<\cdots \}\subset\mathbb{N}\) such that \(\lim_{k\rightarrow\infty} \Vert x_{t_{k}}-L \Vert =0\).
Let \(( X, \Vert \cdot \Vert ) \) be a fuzzy normed space. A sequence \(x=(x_{mn})\) in X is said to be \(\mathcal{I}_{2}\)-convergent to \(L\in X\) with respect to fuzzy norm on X, if for each \(\varepsilon >0\), the set \(A ( \varepsilon ) = \{ ( m,n ) \in\mathbb {N}\times\mathbb{N}: \Vert x_{mn}-{L} \Vert _{0}^{+}\geq \varepsilon \} \) belongs to \(\mathcal{I}_{2}\). In this case, it is denoted \(x_{mn}\overset{\mathrm{F}\mathcal{I}_{2}}{\longrightarrow}L\). The element L is called the \(\mathcal{I}_{2}\)-limit of x in X.
The double sequence \(\theta_{2}=\{(r_{k},t_{l})\}\) is called a double lacunary sequence if there exist two increasing sequences of integers such that
We use following notations in the sequel:
2 Lacunary \(\mathcal{I}_{2}\)-convergence
In this section, we introduce the concepts of \(\theta_{2}\)-convergence and lacunary \(\mathcal{I}_{2}\)-convergence in fuzzy normed spaces. Also, we examine the relation between \(\mathrm{F}\theta_{2}\)-convergence and \(\mathrm{F}\mathcal{I}_{{\theta}_{2}}\)-convergence.
Throughout the paper, we let \(( X, \Vert \cdot \Vert ) \) be an FNS, \(\mathcal{I}_{2}\subset2^{\mathbb{N\times N}}\) be a strongly admissible ideal, \(\theta_{2}=\{(r_{k},t_{l})\}\) be a double lacunary sequence, and \(x=(x_{rt})\) be a double sequence.
Definition 2.1
A sequence \(x=(x_{rt})_{ (r,t ) \in\mathbb{N}\times \mathbb{N}}\) in X is said to be \(\theta_{2}\)-convergent to \(L_{1}\in X\) with respect to fuzzy norm on X if for each \(\varepsilon>0\), there exists \(n_{0}\in\mathbb{N}\) such that
for all \(k,l\geq n_{0}\). In this case, we write \(x_{rt}\overset{\mathrm{F}\theta _{2}}{\longrightarrow}L_{1}\) or \(x_{rt}\rightarrow L_{1} ( \mathrm{F}\theta _{2} )\), or \(\mathrm{F}\theta_{2}\text{-}\lim_{r,t\rightarrow\infty}x_{rt}=L_{1}\). The element \(L_{1}\) is called the \(\mathrm{F}\theta_{2}\)-limit of x in X.
Theorem 2.1
If\(x= ( x_{rt} ) \)inXis\(\mathrm{F}\theta_{2}\)-convergent, then\(\mathrm{F}\theta_{2}\text{-}\lim x\)is unique.
Proof
Assume that \(\mathrm{F}\theta_{2}\text{-}\lim x=L_{1}\) and \(\mathrm{F}\theta_{2}\text{-}\lim x=L_{2}\). Then, for any \(\varepsilon>0\), there exists an \(n_{1}\in\mathbb{N}\) such that
for all \(k,l\geq n_{1}\). Also, there exists an integer \(n_{2}\in\mathbb {N}\) such that
for all \(k,l\geq n_{2}\).
Now, consider \(n_{0}=\max\{n_{1},n_{2}\}\). For \(k,l\geq n_{0}\), if we get a \(( p,q ) \in\mathbb{N}\)\(\times \mathbb{N}\), then we have
and
Thus, we get
Since \(\varepsilon>0\) is arbitrary, we have \(\Vert L_{1}-{L}_{2} \Vert _{0}^{+}=0\) which implies that \(L_{1}=L_{2}\). □
Definition 2.2
A sequence \(x=(x_{rt})\) in X is said to be lacunary \(\mathcal {I}_{2}\)-convergent to \(L_{1}\in X\) with respect to fuzzy norm on X if for each \(\varepsilon>0\), the set
belongs to \(\mathcal{I}_{2}\). In this case, we write \(x_{rt}\overset {\mathrm{F}\mathcal{I}_{{\theta}_{2}}}{\longrightarrow}L_{1}\) or \(x_{rt}\rightarrow L_{1} ( \mathrm{F}\mathcal {I}_{{\theta}_{2}} )\), or \(\mathrm{F}\mathcal{I}_{{\theta}_{2}}\text{-}\lim_{r,t\rightarrow\infty}x_{rt}=L_{1}\). The element \(L_{1}\) is called the \(\mathrm{F}\mathcal{I}_{{\theta}_{2}}\)-limit of \(( x_{rt} ) \) in X.
Lemma 1
For every\(\varepsilon>0\), the following statements are equivalent:
- (a)
\(\mathrm{F}\mathcal{I}_{{\theta}_{2}}\text{-}\lim_{r,t\rightarrow\infty}x_{rt}=L_{1}\),
- (b)
\(\{ ( k,l ) \in\mathbb{N\times N}:\frac{1}{h_{kl}}\sum_{ ( r,t ) \in J_{kl}} \Vert x_{rt}-{L}_{1} \Vert _{0}^{+}\geq\varepsilon \} \in\mathcal{I}_{2}\),
- (c)
\(\{ ( k,l ) \in\mathbb{N\times N}:\frac{1}{h_{kl}}\sum_{ ( r,t ) \in J_{kl}} \Vert x_{rt}-{L}_{1} \Vert _{0}^{+}<\varepsilon \} \in\mathcal{F} ( \mathcal{I}_{2} )\),
- (d)
\(\mathrm{F}\mathcal{I}_{{\theta}_{2}}\text{-}\lim _{r,t\rightarrow\infty} \Vert x_{rt}-{L}_{1} \Vert _{0}^{+}=0\).
Theorem 2.2
If\(x= ( x_{rt} ) \)inXis lacunary\(\mathcal{I}_{2}\)-convergent with respect to fuzzy norm onX, then\(\mathrm{F}\mathcal {I}_{{\theta}_{2}}\text{-}\lim x\)is unique.
Proof
This theorem is an analogue of Theorem 2.1; the proof follows easily. □
Theorem 2.3
Let\(x= ( x_{rt} ) \)and\(y= ( y_{rt} ) \)be two double sequences inX. Then,
- (i)
if\(\mathrm{F}\mathcal{I}_{{\theta}_{2}}\text{-}\lim x_{rt}=L_{1}\)and\(\mathrm{F}\mathcal {I}_{{\theta}_{2}}\text{-}\lim y_{rt}=L_{2}\), then\(\mathrm{F}\mathcal{I}_{{\theta}_{2}}\text{-}\lim ( x_{rt}+y_{rt} ) =L_{1}+L_{2}\);
- (ii)
if\(\mathrm{F}\mathcal{I}_{{\theta}_{2}}\text{-}\lim x_{rt}=L_{1}\), then\(\mathrm{F}\mathcal {I}_{{\theta}_{2}}\text{-}\lim cx_{rt}=cL_{1}\), for\(c\in\mathbb{R}- \{0 \}\).
Proof
(i) For any \(\varepsilon>0\), let we define the following sets:
and
Since \(\mathrm{F}\mathcal{I}_{{\theta}_{2}}\text{-}\lim x_{rt}=L_{1}\) and \(\mathrm{F}\mathcal {I}_{{\theta}_{2}}\text{-}\lim y_{rt}=L_{2}\), using Lemma 1, we have \(B_{1}\in \mathcal{I}_{2}\) and \(B_{2}\in\mathcal{I}_{2}\), for all \(\varepsilon>0\).
Now, let \(B_{3}=B_{1}\cup B_{2}\). Then, \(B_{3}\in\mathcal{I}_{2}\). This implies that its complement \(( B_{3} ) ^{c}\) is a nonempty set in \(\mathcal{F} ( \mathcal{I}_{2} ) \). We claim that
Let \(( k,l ) \in ( B_{3} ) ^{c}\), then we have
Now, If we get a \(( p,q ) \in\mathbb{N\times N}\), then we have
and
Then, we have
Hence,
Since \(( B_{3} ) ^{c}\in\mathcal{F} ( \mathcal {I}_{2} )\), we have
Therefore, \(\mathrm{F}\mathcal{I}_{{\theta}_{2}}\text{-}\lim (x_{rt}+y_{rt} )=L_{1}+L_{2}\).
(ii) Let \(\mathrm{F}\mathcal{I}_{{\theta}_{2}}\text{-}\lim x_{rt}=L_{1}\). Then, for each \(\varepsilon>0\) and \(c\in\mathbb{R}\setminus \{0 \} \), we define the following set:
So, \(C\in\mathcal{F} ( \mathcal{I}_{2} )\). Let \((k,l ) \in C\), then we have
Therefore,
and
Hence \(\mathrm{F}\mathcal{I}_{{\theta}_{2}}\text{-}\lim cx_{rt}=cL_{1}\). □
Theorem 2.4
Let\(x= ( x_{rt} )\)be a double sequence inX. If\(\mathrm{F}\theta_{2}\text{-}\lim x=L_{1}\), then\(\mathrm{F}\mathcal{I}_{{\theta}_{2}}\text{-}\lim x=L_{1}\).
Proof
Let \(\mathrm{F}\theta_{2}\text{-}\lim x=L_{1}\). Then, for every \(\varepsilon>0\), there exists \(n_{0}\in\mathbb{N}\) such that
for all \(k,l\geq n_{0}\). Therefore, the set
So, we have \(K\in\mathcal{I}_{2}\). Hence, \(\mathrm{F}\mathcal{I}_{{\theta }_{2}}\text{-}\lim x=L_{1}\). □
Theorem 2.5
Let\(x= ( x_{rt} )\)be a double sequence inX. If\(\mathrm{F}\theta_{2}\text{-}\lim x=L_{1}\), then there exists a subsequence\(( x_{r_{i}t_{j}} ) \)such that\(x_{r_{i}t_{j}}\overset {\mathrm{FN}}{\rightarrow}L_{1}\).
Proof
Let \(\mathrm{F}\theta_{2}\text{-}\lim x=L_{1}\). Then, for every \(\varepsilon>0\), there exists \(n_{0}\in\mathbb{N}\) such that
for all \(k,l\geq n_{0}\). Clearly, for each \(k,l\geq n_{0}\), we can select a \(( r_{i},t_{j} ) \in J_{kl}\) such that
It follows that \(x_{r_{i}t_{j}}\overset{\mathrm{FN}}{\rightarrow}L_{1}\). □
3 Limit point and cluster point
In this section, we introduce the notions of \(\mathrm{F}\mathcal{I}_{{\theta }_{2}}\)-limit point and \(\mathrm{F}\mathcal{I}_{{\theta}_{2}}\)-cluster point for double sequences in a fuzzy normed space. Also, we examine the relations between \(\mathrm{F}\mathcal{I}_{{\theta}_{2}}\)-limit point and \(\mathrm{F}\mathcal{I}_{{\theta}_{2}}\)-cluster point of double sequences in a fuzzy normed space.
Definition 3.1
An element \(L\in X\) is said to be an \(\mathrm{F}\mathcal {I}_{{\theta}_{2}} \)-limit point of \(x= ( x_{rt} ) \) if there is a set \(M_{1}= \{ r_{1}< r_{2}<\cdots<r_{i}<\cdots \} \subset\mathbb{N}\) and \(M_{2}= \{ t_{1}< t_{2}<\cdots<t_{j}<\cdots \} \subset\mathbb{N}\) such that the set \(M^{\prime}= \{ ( k,l ) \in\mathbb{N\times N}: ( r_{i},t_{j} ) \in J_{kl} \} \notin\mathcal{I}_{2}\) and \(\mathrm{F}\theta _{2}\text{-}\lim x_{r_{i}t_{j}}=L\). We denote the set of all \(\mathrm{F}\mathcal{I}_{{\theta}_{2}}\)-limit points of x as \(\varLambda_{F}^{\mathcal{I}_{{\theta}_{2}}} ( x ) \).
Definition 3.2
An element \(L\in X\) is said to be an \(\mathrm{F}\mathcal{I}_{{\theta}_{2}}\)-cluster point of \(x= ( x_{rt} ) \) if for every \(\varepsilon>0\), we have
We denote the set of all \(\mathrm{F}\mathcal{I}_{{\theta}_{2}}\)-cluster points of x as \(\varGamma _{F}^{\mathcal{I}_{{\theta}_{2}}} ( x ) \).
Theorem 3.1
For each\(x= ( x_{rt} ) \)inX, we have\(\varLambda _{F}^{\mathcal{I}_{{\theta}_{2}}} ( x ) \subset\varGamma_{F}^{\mathcal{I}_{{\theta}_{2}}} ( x ) \).
Proof
Let \(L\in\varLambda_{F}^{\mathcal{I}_{{\theta}_{2}}} ( x ) \), then there exist two sets \(M_{1},M_{2}\subset\mathbb{N}\) such that \(M^{\prime }\notin\mathcal{I}_{2}\), where \(M_{1}\), \(M_{2}\), and \(M^{\prime}\) are as in Definition 3.1, and also \(\mathrm{F}\theta_{2}\text{-}\lim x_{r_{i}t_{j}}=L\). Thus, for every \(\varepsilon>0\) there exists \(n_{0}\in\mathbb{N}\) such that
for all \(k,l\geq n_{0}\). Then we get
Therefore, we have \(M^{\prime}\setminus \{ \{ r_{1},r_{2},\dots,r_{n_{0}} \} \times \{ t_{1},t_{2},\dots,t_{n_{0}} \} \} \notin\mathcal{I}_{2}\) and as such \(D\notin\mathcal{I}_{2}\). Consequently, \(L\in\varGamma _{F}^{\mathcal{I}_{{\theta}_{2}}} ( x ) \). □
Theorem 3.2
For every double sequence\(x= (x_{rt} )\), the following statements are equivalent:
- (i)
Lis an\(\mathrm{F}\mathcal{I}_{{\theta}_{2}}\)-limit points ofx,
- (ii)
there exist two double sequences\(y= ( y_{rt} ) \)and\(z= ( z_{rt} ) \)inXsuch that\(x=y+z\), \(\mathrm{F}\theta_{2}\text{-}\lim y=L\)and\(\{ ( k,l ) \in\mathbb{N\times N}: (r,t ) \in J_{kl}, z_{rt}\neq0 \} \in\mathcal{I}_{2}\).
Proof
Suppose that (i) holds. Then, there exist sets \(M_{1}\), \(M_{2}\), and \(M^{\prime } \) as in Definition 3.1 such that \(M^{\prime}\notin\)\(\mathcal{I}_{2}\) and \(\mathrm{F}\theta_{2}\text{-}\lim x_{r_{i}t_{j}}=L\). Define the sequences y and z as follows:
and
It suffices to consider the case \(( r,t ) \in J_{kl}\) such that \(( k,l ) \in\mathbb{N\times N}\setminus M^{\prime}\). For each \(\varepsilon>0\), we have \(\Vert y_{rt}-L \Vert _{0}^{+} =0<\varepsilon\). Thus,
Therefore, \(\mathrm{F}\theta_{2}\text{-}\lim y=L\). Now
But, \(\mathbb{N\times N}\setminus M^{\prime}\in\mathcal{I}_{2}\), and so
Now, suppose that (ii) holds. Let \(M^{\prime}= \{ ( k,l ) \in \mathbb{N\times N}: ( r,t ) \in J_{kl}, z_{rt}=0 \} \). Then, clearly \(M^{\prime}\in F(\mathcal{I}_{2})\) and so it is an infinite set. Construct the sets \(M_{1}= \{ r_{1}< r_{2}<\cdots<r_{i}<\cdots \} \subset \mathbb{N}\) and \(M_{2}= \{ t_{1}< t_{2}<\cdots<t_{j}<\cdots \} \subset \mathbb{N}\) such that \(( r_{i},t_{j} ) \in J_{kl}\) and \(z_{r_{i}t_{j}}=0\). Since \(x_{r_{i}t_{j}}=y_{r_{i}t_{j}}\) and \(\mathrm{F}\theta _{2}\text{-}\lim y=L\), we obtain \(\mathrm{F}\theta_{2}\text{-}\lim x_{r_{i}t_{j}}=L\). This completes the proof. □
Theorem 3.3
If there is an\(\mathrm{F}\mathcal{I}_{{\theta}_{2}}\)-convergent sequence\(y= ( y_{rt} ) \)inXsuch that\(\{ ( r,t ) \in\mathbb{ N\times N}:y_{rt}\neq x_{rt} \} \in\mathcal{I}_{2}\), then\(x=(x_{rt})\)is also\(\mathrm{F}\mathcal{I}_{{\theta}_{2}}\)-convergent.
Proof
Suppose that \(\{ ( r,t ) \in\mathbb{N\times N}:y_{rt}\neq x_{rt} \} \in\mathcal{I}_{2}\) and \(\mathrm{F}\mathcal{I}_{{\theta }_{2}}\text{-}\lim y=L\). Then, for every \(\varepsilon>0\), the set
For every \(\varepsilon>0\), we get
Therefore, we have
This completes the proof of the theorem. □
4 Conclusions
In this paper, we introduced the concepts of \(\mathrm{F}\theta_{2}\)-convergence and \(\mathrm{F}\mathcal{I}_{{\theta}_{2}}\)-convergence. So, we saw that these limits are unique and if \(\mathrm{F}\theta_{2}\text{-}\lim x=L\), then \(\mathrm{F}\mathcal{I}_{{\theta}_{2}}\text{-}\lim x=L\). Later, we gave the definitions of \(\mathrm{F}\mathcal {I}_{{\theta}_{2}}\)-limit point and \(\mathrm{F}\mathcal{I}_{{\theta}_{2}}\)-cluster point, and we proved that every limit point was also a cluster point. In further studies, the lacunary ideal Cauchy sequence and lacunary Cauchy sequence of double sequences can be defined and examined in fuzzy normed spaces.
References
Fast, H.: Sur la convergence statistique. Colloq. Math. 10, 142–149 (1951)
Schoenberg, I.J.: The integrability of certain functions and related summability methods. Am. Math. Mon. 66, 361–375 (1959)
S̆alát, T.: On statistically convergent sequences of real numbers. Math. Slovaca 30, 139–150 (1980)
Fridy, J.A.: On statistical convergence. Analysis 5, 301–313 (1985)
Connor, J.S.: The statistical and strong p-Cesaro convergence of sequences. Analysis 8, 47–63 (1988)
Kostyrko, P., S̆alát, T., Wilczyński, W.: \(\mathcal{I}\)-Convergence. Real Anal. Exch. 26(2), 669–686 (2000)
Kostyrko, P., Mačaj, M., S̆alát, T., Sleziak, M.: \(\mathcal{I}\)-Convergence and extremal \(\mathcal{I}\)-limit points. Math. Slovaca 55, 443–464 (2005)
Kumar, V.: \(\mathcal{I}\) and \(\mathcal{I}^{\ast}\)-convergence of double sequences. Math. Commun. 12, 171–181 (2007)
S̆alát, T., Tripaty, B.C., Ziman, M.: On \(\mathcal{I}\)-convergence field. Ital. J. Pure Appl. Math. 17, 45–54 (2005)
Tripathy, B., Tripathy, B.C.: On \(\mathcal{I}\)-convergent double sequences. Soochow J. Math. 31, 549–560 (2005)
Matloka, M.: Sequences of fuzzy numbers. BUSEFAL 28, 28–37 (1986)
Nanda, S.: On sequences of fuzzy numbers. Fuzzy Sets Syst. 33, 123–126 (1989)
Ṣenc̣imen, C., Pehlivan, S.: Statistical convergence in fuzzy normed linear spaces. Fuzzy Sets Syst. 159, 361–370 (2008)
Hazarika, B.: On ideal convergent sequences in fuzzy normed linear spaces. Afr. Math. 25(4), 987–999 (2013)
Savaş, E.: \(\mathcal{I}_{\theta}\)-Statistical and p-Cesàro summability of sequences of fuzzy numbers. J. Intell. Fuzzy Syst. 30, 2805–2810 (2016)
Savaş, E.: On \(\mathcal{I}\)-lacunary double statistical convergence of weight g. Commun. Math. Appl. 8(2), 127–137 (2017)
Savaş, E.: On lacunary p-summable convergence of weight g for fuzzy numbers via ideal. J. Intell. Fuzzy Syst. 34, 2121–2127 (2018)
Et, M., Savaş, E., Altınok, H.: On some difference sequence spaces of fuzzy numbers. Soft Comput. 20(11), 4395–4401 (2016)
Işık, M., Akbaş, K.E.: λ-Statistical convergence of order α in probability. J. Inequal. Spec. Funct. 8(4), 57–64 (2017)
Çınar, M., Et, M.: Statistical convergence of order β in fuzzy normed linear spaces. J. Intell. Fuzzy Syst. 36(4), 3535–3540 (2019)
Altınok, H., Et, M.: Statistical convergence of order \((\beta,\varGamma)\) for sequences of fuzzy numbers. Soft Comput. 23(15), 6017–6022 (2019)
Türkmen, M.R., Çınar, M.: Lacunary statistical convergence in fuzzy normed linear spaces. Appl. Comput. Math. 6(5), 233–237 (2017)
Türkmen, M.R., Dündar, E.: On lacunary statistical convergence of double sequences and some properties in fuzzy normed spaces. J. Intell. Fuzzy Syst. 36(2), 1683–1690 (2019)
Türkmen, M.R.: On lacunary statistical convergence and some properties in fuzzy n-normed spaces. i-manag. J. Math. 7(3), 1–9 (2018)
Debnath, P.: Lacunary ideal convergence in intuitionistic fuzzy normed linear spaces. Comput. Math. Appl. 63(3), 708–715 (2012)
Dündar, E., Altay, B.: \(\mathcal{I}_{2}\)-Convergence and \(\mathcal{I}_{2}\)-Cauchy of double sequences. Acta Math. Sci. 34(2), 343–353 (2014)
Dündar, E., Talo, Ö.: \(\mathcal{I}_{2}\)-Cauchy double sequences of fuzzy numbers. Gen. Math. Notes 16(2), 103–114 (2013)
Dündar, E., Talo, Ö.: \(\mathcal{I}_{2}\)-Convergence of double sequences of fuzzy numbers. Iran. J. Fuzzy Syst. 10(3), 37–50 (2013)
Dündar, E., Ulusu, U., Pancaroğlu, N.: Strongly \(\mathcal{I}_{2}\)-lacunary convergence and \(\mathcal {I}_{2}\)-lacunary Cauchy double sequences of sets. Aligarh Bull. Math. 35(1–2), 1–15 (2016)
Dündar, E., Altay, B.: \(\mathcal{I}_{2}\)-Uniform convergence of double sequences of functions. Filomat 30(5), 1273–1281 (2016)
Dündar, E., Altay, B.: Multipliers for bounded \(\mathcal{I}_{2}\)-convergent of double sequences. Math. Comput. Model. 55(3–4), 1193–1198 (2012)
Dündar, E.: On rough \(\mathcal{I}_{2}\)-convergence of double sequences. Numer. Funct. Anal. Optim. 37(4), 480–491 (2016)
Dündar, E., Pancaroğlu Akın, N.: Wijsman regularly ideal convergence of double sequences of sets. J. Intell. Fuzzy Syst. 37(6), 8159–8166 (2019)
Dündar, E., Türkmen, M.R.: On \(\mathcal{I}_{2}\)-convergence and \(\mathcal{I}_{2}^{*}\)-convergence of double sequences in fuzzy normed spaces. Konuralp J. Math. 7(2), 405–409 (2019)
Dündar, E., Türkmen, M.R.: On \(\mathcal{I}_{2}\)-Cauchy double sequences in fuzzy normed spaces. Commun. Adv. Math. Sci. 2(2), 154–160 (2019)
Fridy, J.A., Orhan, C.: Lacunary statistical convergence. Pac. J. Math. 160(1), 43–51 (1993)
Hazarika, B.: Lacunary ideal convergence of multiple sequences. J. Egypt. Math. Soc. 24, 54–59 (2016)
Hazarika, B., Kumar, V.: Fuzzy real valued \(\mathcal{I}\)-convergent double sequences in fuzzy normed spaces. J. Intell. Fuzzy Syst. 26, 2323–2332 (2014)
Kumar, V., Kumar, K.: On the ideal convergence of sequences of fuzzy numbers. Inf. Sci. 178, 4670–4678 (2008)
Mursaleen, M., Edely, O.H.H.: Statistical convergence of double sequences. J. Math. Anal. Appl. 288, 223–231 (2003)
Nuray, F.: Lacunary statistical convergence of sequences of fuzzy numbers. Fuzzy Sets Syst. 99, 353–355 (1998)
Nuray, F., Ulusu, U., Dündar, E.: Lacunary statistical convergence of double sequences of sets. Soft Comput. 20(7), 2883–2888 (2016)
Pringsheim, A.: Zur theorie der zweifach unendlichen Zahlenfolgen. Math. Ann. 53, 289–321 (1900)
Tortop, S., Dündar, E.: Wijsman \(\mathcal{I}_{2}\)-invariant convergence of double sequences of sets. J. Inequal. Spec. Funct. 9(4), 90–100 (2018)
Tripathy, B.C., Hazarika, B., Choudhary, B.: Lacunary \(\mathcal{I}\)-convergent sequences. Kyungpook Math. J. 52, 473–482 (2012)
Türkmen, M.R., Çınar, M.: λ-Statistical convergence in fuzzy normed linear spaces. J. Intell. Fuzzy Syst. 34(6), 4023–4030 (2018)
Ulusu, U., Dündar, E., Nuray, F.: Lacunary \(\mathcal{I}_{2}\)-invariant convergence and some properties. Int. J. Anal. Appl. 16(3), 317–327 (2018)
Ulusu, U., Dündar, E.: Asymptotically lacunary \(\mathcal{I}_{2}\)-invariant equivalence. J. Intell. Fuzzy Syst. 36(1), 467–472 (2019)
Zadeh, L.A.: Fuzzy sets. Inf. Control 6(5), 29–44 (1965)
Acknowledgements
I would like to express my thanks to Professor Erdinç Dündar, Department of Mathematics, Afyon Kocatepe University, Afyonkarahisar, Turkey, for his careful reading of an earlier version of this paper and constructive comments, which improved the presentation of the paper. Also, I highly appreciate anonymous reviewers for helpful comments and valuable suggestions.
Availability of data and materials
Not applicable.
Funding
This work is not sponsored by any institution.
Author information
Authors and Affiliations
Contributions
The author was the only contributor of this paper. The author read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Türkmen, M.R. On \(\mathcal{I}_{{\theta}_{2}}\)-convergence in fuzzy normed spaces. J Inequal Appl 2020, 127 (2020). https://doi.org/10.1186/s13660-020-02387-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-020-02387-9