Statistically Convergent Sequences in Intuitionistic Fuzzy Metric Spaces

Abstract

In this paper, we introduce the concepts of statistical convergence and statistical Cauchy sequences with respect to the intuitionistic fuzzy metric spaces inspired by the idea of statistical convergence in fuzzy metric spaces. Then, we give useful characterizations for statistically convergent sequences and statistically Cauchy sequences.

1. Introduction

Zadeh [1] introduced the theory of fuzzy sets and after that many authors discussed concepts of fuzzy sets in different areas, one of them being fuzzy metric space [2]. By using continuous t-norms George and Veeramani [3] modified the concept of fuzzy metric space introduced by Kramosil and Michalek [2]. Many researchers have studied in this field [4,5,6]. In 2004, using the idea of the intuitionistic fuzzy set [7], the concept of fuzzy metric space [3] was extended to the concept of intuitionistic fuzzy metric space by Park [8]. Park defined this concept with the help of continuous t-norms and continuous t-conorms. A lot of developments such as fixed point theorems and convergence have been studied with fuzzy metric spaces and intuitionistic fuzzy metric spaces [9,10,11,12,13,14,15,16].

The notion of statistical convergence was introduced by Fast [17] and Steinhous [18] in 1951 independently, and this idea drew attention from mathematicians working in both fields of pure and applied mathematics. As a generalization of the concept of convergence, statistical convergence is defined as: Let $K\subseteq IN$. $\forall n\in IN,K\left(n\right)=\{k⩽n:k\in K\}$. The natural (or asymptotic) density of K is defined by $\delta \left(K\right)={lim}_{n\to \infty }\frac{\mid K\left(n\right)\mid }{n}$ if the limit exists, where $\mid K\left(n\right)\mid$ denotes the cardinality of the set $K\left(n\right)$. $\delta \left(K\right)\in$ [0, 1] and $\delta (IN\backslash K)=1-\delta \left(K\right)$ if $\delta \left(K\right)$ exists. For instance, $\delta \left(IN\right)=1$, $\delta \left(A\right)=\frac{1}{2}$, where A is an even natural number and $\delta \left(B\right)=0$, where B is a finite subset of $IN$. K is called statistically dense provided that $\delta \left(K\right)=1$. A sequence $\left(x_n\right)\subset IR$ is called statistically convergent to $x_0\in IR$ if $\delta \left(\{n\in IN:\mid x_n-x_0\mid <ϵ\}\right)=1$ for each $ϵ>0$. There have been many important results on statistical convergence by many authors ([19,20,21] ).

In 2020, Changqing et al. [22] introduced statistically convergent sequences in fuzzy metric spaces. In view of this, we pay attention to statistical convergence on intuitionistic fuzzy metric spaces with this study. Then, we analyze relations of convergence and statistical convergence on intuitionistic fuzzy metric spaces. Further, we study statistical Cauchy sequences and statistical completeness on intuitionistic fuzzy metric spaces.

2. Intuitionistic Fuzzy Metric Space

In this section, we give some basic definitions and notions to explain main results. Throughout the paper, IR and IN will denote the set of all real numbers and the set of all positive integer numbers, respectively.

Definition 1

([23]). A binary operation $\ast :[0,1]\times [0,1]\to [0,1]$ is called a continuous t-norm if ∗ satisfies the following:

(1)

$a\ast 1=a,\forall a\in [0,1]$;

(2)

$a\ast b=b\ast a$ and $a\ast (b\ast c)=(a\ast b)\ast c$$\forall a,b,c\in [0,1]$;

(3)

If $a\le c$ and $b\le d$, then $a\ast b\le c\ast d,\forall a,b,c,d\in [0,1]$;

(4)

∗ is continuous.

Definition 2

([23]). A binary operation $\diamond :[0,1]\times [0,1]\to [0,1]$ is called a continuous t-conorm if ⋄ satisfies the following:

(1)

$a\diamond 0=a,\forall a\in [0,1]$;

(2)

$a\diamond b=b\diamond a$ and $a\diamond (b\diamond c)=(a\diamond b)\diamond c$$\forall a,b,c\in [0,1]$;

(3)

If $a\le c,b\le d$, then $a\diamond b\le c\diamond d,\forall a,b,c,d\in [0,1]$;

(4)

⋄ is continuous.

Note that $a\ast b=min\{a,b\}$, $a\diamond b=max\{a,b\}$, $a\ast b=ab$ and $a\diamond b=min\{a+b,1\}$ are basic examples of continuous t-norms and continuous t-conorms for all $a,b\in [0,1]$.

From the previous two definitions, we see that if $r_1>r_2$, then there exist $r_3,r_4\in (0,1)$ such that $r_1\ast r_3\ge r_2$ and $r_2\diamond r_4\le r_1$.

Definition 3

([7]). An intuitionistic fuzzy set A is defined by $A=\{\langle x,{\mu }_A\left(x\right),{\nu }_A\left(x\right)\rangle :x\in X\}$ where ${\mu }_A:X\to [0,1]$ and ${\nu }_A:X\to [0,1]$ denote membership and nonmembership functions respectively. ${\mu }_A\left(x\right)$ and ${\nu }_A\left(x\right)$ are membership and nonmembership degrees of each element $x\in X$ to the intuitionistic fuzzy set A and ${\mu }_A\left(x\right)+{\nu }_A\left(x\right)\le 1$ for each $x\in X$.

Definition 4

([8]). Let M and N be fuzzy sets on $X^2\times (0,\infty )$, ∗ be a continuous t-norm, ⋄ be a continuous t-conorm. If M and N satisfy the following conditions, we say that $(M,N)$ is intuitionistic fuzzy metric on X:

(IF1)

$M(x,y,t)+N(x,y,t)\le 1$;

(IF2)

$M(x,y,t)>0$;

(IF3)

$M(x,y,t)=1$ if and only if $x=y$;

(IF4)

$M(x,y,t)=M(y,x,t)$;

(IF5)

$M(x,y,t)\ast M(y,z,s)\le M(x,z,t+s)$;

(IF6)

$M(x,y,.):(0,\infty )\to (0,1]$ is continuous;

(IF7)

$N(x,y,t)>0$;

(IF8)

$N(x,y,t)=0$ if and only if $x=y$;

(IF9)

$N(x,y,t)=N(y,x,t)$;

(IF10)

$N(x,y,t)\diamond N(y,z,s)\ge N(x,z,t+s)$;

(IF11)

$N(x,y,.):(0,\infty )\to (0,1]$ is continuous.

A 5-tuple $(X,M,N,\ast ,\diamond )$ is called intuitionistic fuzzy metric space.

The functions $M(x,y,t)$ and $N(x,y,t)$ denote the degree of nearness and the degree of non-nearness between x and y with respect to t, respectively.

Remark 1.

Let $(X,M,N,\ast ,\diamond )$ be an intuitionistic fuzzy metric space. Then $(X,M,\ast )$ is a fuzzy metric space. Conversely, if $(X,M,\ast )$ is a fuzzy metric space, then $(X,M,1-M,\ast ,\diamond )$ is an intuitionistic fuzzy metric space, where $a\diamond b=1-\left(\right(1-a)\ast (1-b\left)\right)$, $\forall a,b\in [0,1]$.

Definition 5

([8]). Let $(X,M,N,\ast ,\diamond )$ be an intuitionistic fuzzy metric space and $t>0$, $r\in (0,1)$ and $x\in X$. The set $B_x(r,t)=\{y\in X:M(x,y,t)>1-r,N(x,y,t)<r\}$ is said to be an open ball with center x and radius r with respect to t.

$\{B_x(r,t):x\in X,r\in (0,1),t>0\}$ generates a topology ${\tau }_{(M,N)}$ called the (M,N) topology.

Definition 6

([8]). Let $(X,M,N,\ast ,\diamond )$ be an intuitionistic fuzzy metric space.

(i)

$\left(x_n\right)$ is called convergent to x if for all $t>0$ and $r\in (0,1)$ there exists $n_0\in IN$ such that $M(x_n,x,t)>1-r$ and $N(x_n,x,t)<r$ for all $n\ge n_0$.

It is denoted by $x_n\to x$ as $n\to \infty$.

∗ $M(x_n,x,t)\to 1$ and $N(x_n,x,t)\to 0$ as $n\to \infty$ for each $t>0$.

(ii)

$\left(x_n\right)$ is called a Cauchy sequence if, for $t>0$ and $r\in (0,1)$, there exists $n_0\in IN$ such that $M(x_n,x_m,t)>1-r$ and $N(x_n,x_m,t)<r$ for all $n,m\ge n_0$.

(iii)

$(X,M,N,\ast ,\diamond )$ is called (M,N)-complete if every Cauchy sequence is convergent.

Definition 7

([22]). Let $(X,M,\ast )$ be a fuzzy metric space.

(i)

A sequence $\left(x_n\right)\subset X$ is called statistically convergent to $x_0\in X$ if $\delta \left(\{n\in IN:M(x_n,x_0,t)>1-r\}\right)=1$ for every $r\in (0,1)$ and $t>0$.

(ii)

A sequence $\left(x_n\right)\subset X$ is called a statistically Cauchy sequence if, for every $r\in (0,1)$ and $t>0$, there exists $m\in IN$ such that $\delta \left(\{n\in IN:M(x_n,x_m,t)>1-r\}\right)=1$.

3. Statical Convergence in Intuitionistic Fuzzy Metric Space

In this section, we study statistically convergent sequences on intuitionistic fuzzy metric spaces.

Definition 8.

Let $(X,M,N,\ast ,\diamond )$ be an intuitionistic fuzzy metric space. A sequence $\left(x_n\right)\subset X$ is called statistically convergent to $x_0\in X$ with respect to the intuitionistic fuzzy metric provided that, for every $r\in (0,1)$ and $t>0$,

$\delta \left(\{n\in IN:M(x_n,x_0,t)>1-r,N(x_n,x_0,t)<r\}\right)=1$.

We say that $\left(x_n\right)$ is statically convergent to $x_0$. We see that

$\delta \left(\{n\in IN:M(x_n,x_0,t)>1-r,N(x_n,x,t)<r\}\right)=1\iff {lim}_{n\to \infty }$$\frac{\left|\right\{k\le n:M(x_k,x_0,t)>1-r,N(x_k,x_0,t)<r\left\}\right|}{n}=1$

Example 1.

Let $X=IR$, $a\ast b=ab$ and $a\diamond b=min\{a+b,1\}$ for all $a,b\in [0,1]$. Define M and N by $M(x,y,t)=\frac{t}{t+|x-y|}$ and $N(x,y,t)=\frac{|x-y|}{t+|x-y|}$ for all $x,y\in X$ and $t>0$. Then $(IR,M,N,\ast ,\diamond )$ is an intuitionistic fuzzy metric space.

Now define a sequence $\left(x_n\right)$ by

${\displaystyle x_n=\left\{\begin{array}{cc}1,\hfill & n=k^2,k\in IN;\hfill \\ 0,\hfill & otherwise\hfill \end{array}\right.}$.

Then, for every $r\in (0,1)$ and for any $t>0$, let $K=\{n\le m:M(x_n,0,t)\le 1-r,$$N(x_n,0,t)\ge r\}=\{n\le m:\frac{t}{t+|x_n|}\le 1-r,\frac{|x_n|}{t+|x_n|}\ge r\}=\{n\le m:|x_n|\ge \frac{rt}{1-r}>0\}=\{n\le m:x_n=1\}=\{n\le m:n=k^2,k\in IN\}$, and we obtain $\frac{1}{m}\left|K\right|⩽\frac{1}{m}\left|\right\{n⩽m:n=k^2,$$n\in IN\left\}\right|⩽\frac{\sqrt{m}}{m}\to 0,m\to \infty$. Hence, we obtain that $\left(x_n\right)$ is statistically convergent to 0 with respect to the intuitionistic fuzzy metric space $(X,M,N,\ast ,\diamond )$.

Lemma 1.

Let $(X,M,N,\ast ,\diamond )$ be an intuitionistic fuzzy metric space. The, for every $r\in (0,1)$ and $t>0$, the following are equivalent:

(i)

$\left(x_n\right)$ is statistically convergent to $x_0$;

(ii)

$\delta \left(\{n\in IN:M(x_n,x_0,t)\le 1-r\}\right)=\delta \left(\{N(x_n,x_0,t)\ge r\}\right)=0$;

(iii)

$\delta \left(\{n\in IN:M(x_n,x_0,t)>1-r\}\right)=\delta \left(\{N(x_n,x_0,t)<r\}\right)=1$.

Proof. 

Using Definition 8 and properties of density, we have the lemma. □

Theorem 1.

Let $(X,M,N,\ast ,\diamond )$ be an intuitionistic fuzzy metric space. If a sequence $\left(x_n\right)$ is statistically convergent with respect to the intuitionistic fuzzy metric, then the statistically convergent limit is unique.

Proof. 

Suppose that $\left(x_n\right)$ is statistically convergent to $x_1$ and $x_2$. For a given $r\in (0,1)$, chose $t>0$ such that $(1-t)\ast (1-t)>1-r$ and $t\diamond t<r$.

Then define the following sets for any $ϵ>0$:

$K_{M1}(t,ϵ):=\{n\in IN:M(x_n,x_1,ϵ)>1-t\}$

$K_{M2}(t,ϵ):=\{n\in IN:M(x_n,x_2,ϵ)>1-t\}$

$K_{N1}(t,ϵ):=\{n\in IN:N(x_n,x_1,ϵ)<t\}$

$K_{N2}(t,ϵ):=\{n\in IN:N(x_n,x_2,ϵ)<t\}$

Since $\left(x_n\right)$ is statistically convergent with respect to $x_1$ and $x_2$, we obtain

$\delta \left\{K_{M1}(t,ϵ)\right\}=\delta \left\{K_{N1}(t,ϵ)\right\}=1$ and $\delta \left\{K_{M2}(t,ϵ)\right\}=\delta \left\{K_{N2}(t,ϵ)\right\}=1$, for all $ϵ>0$.

Let $K_{MN}(t,ϵ):=\{K_{M1}(t,ϵ)\cup K_{M2}(t,ϵ)\}\cap \{K_{N1}(t,ϵ)\cup K_{N2}(t,ϵ)\}$.

Hence, $\delta \left\{K_{MN}(t,ϵ)\right\}=1$ which implies that $\delta \{IN\backslash K_{MN}(t,ϵ)\}=0$.

If $n\in IN\backslash K_{MN}(t,ϵ)$, then we have two options:

$n\in IN\backslash \{K_{M1}(t,ϵ)\cup K_{M2}(t,ϵ)\}$ or $n\in IN\backslash \{K_{N1}(t,ϵ)\cup K_{N2}(t,ϵ)\}$.

Let us consider $n\in IN\backslash \{K_{M1}(t,ϵ)\cup K_{M2}(t,ϵ)\}$. Then we obtain

$M(x_1,x_2,ϵ)\ge M(x_1,x_n,\frac{ϵ}{2})\ast M(x_n,x_2,\frac{ϵ}{2})>(1-t)\ast (1-t)>1-r$.

Therefore, $M(x_1,x_2,ϵ)>1-r$ and since $r>0$ is arbitrary, we obtain $M(x_1,x_2,ϵ)=1$ for all $ϵ>0$, which implies $x_1=x_2$.

Now let us consider $n\in IN\backslash \{K_{N1}(t,ϵ)\cup K_{N2}(t,ϵ)\}$. Then, $N(x_1,x_2,ϵ)\le N(x_1,x_n,ϵ)\diamond N(x_n,x_2,ϵ)<t\diamond t<r$. Since $r>0$ is arbitrary, we obtain $N(x_1,x_2,ϵ)=0$ for all $ϵ>0$, which implies $x_1=x_2$. This completes the proof. □

Theorem 2.

Let $\left(x_n\right)$ be a sequence in an intuitionistic fuzzy metric space $(X,M,N,\ast ,\diamond )$. If $\left(x_n\right)$ is convergent to $x_0$ with respect to the intuitionistic fuzzy metric, then $\left(x_n\right)$ is statistically convergent to $x_0$ with respect to the intuitionistic fuzzy metric.

Proof. 

Let $\left(x_n\right)$ be convergent to $x_0$. Then for every $r\in (0,1)$ and $t>0$, there exists $n_0\in IN$ such that $M(x_n,x_0,t)>1-r$ and $N(x_n,x_0,t)<r$. We have $\left|\right\{k\le n:M(x_n,x_0,t)>1-r$ and $N(x_n,x_0,t)<r\left\}\right|\ge n-n_0$.

Hence, the set $\{k\le n:M(x_n,x_0,t)>1-rand N(x_n,x_0,t)<r\}$ has a finite number of terms.

Then, ${lim}_{n\to \infty }\frac{\left|\right\{k\le n:M(x_n,x_0,t)>1-r,N(x_n,x_0,t)<r\left\}\right|}{n}\ge {lim}_{n\to \infty }\frac{n-n_0}{n}=1$.

Consequently, $\delta \left(\{n\in IN:M(x_n,x_0,t)>1-r,N(x_n,x_0,t)<r\}\right)=1$. □

The converse of the theorem need not hold.

Example 2.

Let $X=[1,3]$, $a\ast b=ab$ and $a\diamond b=min\{a+b,1\}$ for all $a,b\in [0,1]$. Define M and N by $M(x,y,t)=\frac{t}{t+|x-y|}$ and $N(x,y,t)=\frac{|x-y|}{t+|x-y|}$ for all $x,y\in X$ and $t>0$. Then $(IR,M,N,\ast ,\diamond )$ is an intuitionistic fuzzy metric space.

Now define a sequence $\left(x_n\right)$ by

${\displaystyle x_n=\left\{\begin{array}{cc}2,\hfill & n=k^2,k\in IN;\hfill \\ 1,\hfill & otherwise\hfill \end{array}\right.}$.

We can see that $\left(x_n\right)$ is not convergent to 1.

We need to show that $\left(x_n\right)$ is statistically convergent to 1. Let $r\in (0,1)$ and $t>0$. $K=\{n\in IN:M(x_n,1,t)>1-r,N(x_n,1,t)<r\}$.

Case 1. $r\in (0,\frac{1}{t+1}]$. If $n\ne k^2$ for all $k\in IN$, then $M(x_n,1,t)=1>1-r$ and $N(x_n,1,t)=0<r$. If $n=k^2$ for some $k\in IN$, then $M(x_n,1,t)=\frac{t}{t+1}=1-\frac{1}{t+1}\le 1-r$ and $N(x_n,1,t)=\frac{1}{t+1}\ge r$.

Now, let $n\in IN$. If $n=k_0^2$ for an $k_0\in IN$, then ${lim}_{n\to \infty }\frac{\left|K\right(n\left)\right|}{n}={lim}_{k_0\to \infty }\frac{k_0^2-k_0}{k_0^2}=1$. If $n\ne k^2$ for all $k\in IN$, then we can obtain $k_1\in IN$ such that $n=k_1^2-l$ with $l\in IN$ and $1\le l\le k_1$. ${lim}_{n\to \infty }\frac{\left|K\right(n\left)\right|}{n}={lim}_{k_1\to \infty }\frac{k_1^2-l-(k_1-l)}{k_1^2-l}={lim}_{k_1\to \infty }\frac{k_1^2-k_1-l+1}{k_1^2-l}=1$.

Case 2. $r\in (\frac{1}{t+1},1)$. If $n\ne k^2$ for all $k\in IN$, then $M(x_n,1,t)=1>1-r$ and $N(x_n,1,t)=0<r$. If $n=k^2$ for some $k\in IN$, then $M(x_n,1,t)=\frac{t}{t+1}=1-\frac{1}{t+1}>1-r$ and $N(x_n,1,t)=\frac{1}{t+1}<r$. Hence, $M(x_n,1,t)>1-r$ and $N(x_n,1,t)<r$ for all $n\in IN$. Therefore, ${lim}_{n\to \infty }\frac{\left|K\right(n\left)\right|}{n}={lim}_{n\to \infty }\frac{n}{n}=1$.

Therefore, $\delta \left(\{n\in IN:M(x_n,1,t)>1-r,N(x_n,1,t)<r\}\right)=1$ for all $r\in (0,1)$ and $t>0$.

Theorem 3.

Let $\left(x_n\right)$ be a sequence in an intuitionistic fuzzy metric space $(X,M,N,\ast ,\diamond )$. Then $\left(x_n\right)$ statistically converges to $x_0$ if and only if there exists an increasing index sequence $A={\left\{n_i\right\}}_{i\in IN}$ of the natural numbers such that $\left(x_{n_i}\right)$ converges to $x_0$ and $\delta \left(A\right)=1$.

Proof. 

Assume that $\left(x_n\right)$ statistically converges to $x_0$.

Let $K_{MN}(j,t):=\{n\in IN:M(x_n,x_0,t)>1-\frac{1}{j}andN(x_n,x_0,t)<\frac{1}{j}\}$, for any $t>0$ and $j\in IN$.

We show that $K_{MN}(j+1,t)\subset K_{MN}(j,t)$ for $t>0$, $j\in IN$. Since $\left(x_n\right)$ statistically converges to $x_0$,

$$\delta \left(K_{MN}(j,t)\right)=1$$

(1)

Take $s_1\in K_{MN}(1,t)$. Since $\delta \left(K_{MN}(2,t)\right)=1$ (by Equation (1)) we have a number $s_2\in (K_{MN}(2,t)$ ($s_2>s_1$) such that

$\frac{\left|\right\{k\le n:M(x_k,x_0,t)>1-\frac{1}{2},N(x_k,x_0,t)<\frac{1}{2}\left\}\right|}{n}>\frac{1}{2}$, for all $n\ge s_2$.

Again by Equation (1), $\delta \left(K_{MN}(3,t)\right)=1$ and we can choose $s_3\in K_{MN}(3,t)$ ($s_3>s_2$) such that

$\frac{\left|\right\{k\le n:M(x_k,x_0,t)>1-\frac{1}{3},N(x_k,x_0,t)<\frac{1}{3}\left\}\right|}{n}>\frac{2}{3}$, for all $n\ge s_3$ and we continue like this. Then, we can obtain an increasing index sequence ${\left\{s_j\right\}}_{j\in IN}$ of the natural numbers such that $s_j\in (K_{MN}(j,t))$. We also have following;

$$\frac{\left|\right\{k\le n:M(x_k,x_0,t)>1-\frac{1}{j},N(x_k,x_0,t)<\frac{1}{j}\left\}\right|}{n}>\frac{j-1}{j},foralln\ge s_j,j\in IN$$

(2)

Now we obtain the increasing index sequence A as

$A:=\{n\in IN:1<n<s_1\}\cup \{{\bigcup }_{j\in IN}\{n\in (K_{MN}(j,t):s_j\le n<s_{j+1}\}\}$.

By Equation (2) and $K_{MN}(j+1,t)\subset K_{MN}(j,t)$, we write

$\frac{\left|\right\{k\le n:k\in A\left\}\right|}{n}\ge \frac{\left|\right\{k\le n:M(x_k,x_0,t)>1-\frac{1}{j},N(x_k,x_0,t)<\frac{1}{j}\left\}\right|}{n}>\frac{j-1}{j}$ for all n, $(s_j\le n<s_{j+1})$.

Since $j\to \infty$, when $n\to \infty$, we have ${lim}_{n\to \infty }\frac{\left|\right\{k\le n:k\in A\left\}\right|}{n}=1$, i.e., $\delta \left(A\right)=1$.

Now we show that $\left(x_{n_i}\right)$ converges to $x_0$. Let $r\in (0,1)$ and $t>0$. Take $N_0>s_2$ large enough that for some $l_0\in IN$, $s_{l_0}\le N_0<s_{l_0+1}$ with $\frac{1}{l_0}<r$. Assume that $n_m\ge N_0$ with $n_m\in A$. By the definition of A, there exists $l\in IN$ such that $s_l\le n_m<s_{l+1}$ with $n_m\in K_{MN}(l,t)$, $(l\ge l_0)$. Then, we obtain

$M(x_{n_m},x_0,t)\ge M(x_{n_m},x_0,\frac{1}{l_0})\ge M(x_{n_m},x_0,\frac{1}{l})>1-\frac{1}{l}\ge 1-\frac{1}{l_0}>1-r$ and $N(x_{n_m},x_0,t)>\frac{1}{l_0}<r$. Therefore, $\left(x_n{}_i\right)$ converges to $x_0$.

Conversely, assume that there exists an increasing index sequence $A={\left\{n_i\right\}}_{i\in IN}$ of the natural numbers such that $\delta \left(A\right)=1$ and $\left(x_{n_i}\right)$ converges to $x_0$. Let $r\in (0,1)$ and $t>0$. Then, there is a number $n_0\in IN$ such that for each $n\ge n_0$, the inequalities $M(x_{n_i},x_0,t)>1-r$ and $N(x_{n_i},x_0,t)<r$ are satisfied.

Let us define $K_{MN}(r,t):=\{n\in IN:M(x_{n_i},x_0,t)\le 1-rorN(x_{n_i},x_0,t)\ge r\}$. We have

$K_{MN}(r,t)\subset IN\backslash$$\{n_{n_0},n_{n_0+1},n_{n_0+2},\dots \}$. Since $\delta \left(A\right)=1$, we have $\delta (IN\backslash \{n_{n_0},n_{n_0+1},n_{n_0+2},\dots \})=0$, so we deduce $\delta \left(K_{MN}(r,t)\right)=0$. Hence,

$\delta \left(\{n\in IN:M(x_n,x_0,t)<1-randn(x_n,x_0,t)<r\}\right)=1$.

Therefore, $\left(x_n\right)$ statistically converges to $x_0$. □

Corollary 1.

Let $\left(x_n\right)$ be a sequence in an intuitionistic fuzzy metric space $(X,M,N,\ast ,\diamond )$. If $\left(x_n\right)$ is statistically convergent to $x_0$ and it is convergent, then $\left(x_n\right)$ converges to $x_0$.

Definition 9.

Let $(X_1,M_1,N_1,{\ast }_1,{\diamond }_1)$ and $(X_2,M_2,N_2,{\ast }_2,{\diamond }_2)$ be two intuitionistic fuzzy metric spaces.

(i)

A mapping $f:X_1\to X_2$ is called an isometry if for each $x,y\in X_1$ and $t>0$, $M_1(x,y,t)=M_2(f\left(x\right),f\left(y\right),t)$ and $N_1(x,y,t)=N_2(f\left(x\right),f\left(y\right),t)$.

(ii)

$(X_1,M_1,N_1,{\ast }_1,{\diamond }_1)$ and $(X_2,M_2,N_2,{\ast }_2,{\diamond }_2)$ are called isometric if there exists an isometry from $X_1$ onto $X_2$.

(iii)

An intuitionistic fuzzy completion of $(X_1,M_1,N_1,{\ast }_1,{\diamond }_1)$ is a complete intuitionistic fuzzy metric space $(X_2,M_2,N_2,{\ast }_2,{\diamond }_2)$ such that $(X_1,M_1,N_1,{\ast }_1,{\diamond }_1)$ is isometric to a dense subspace of $X_2$.

(iv)

$(X_1,M_1,N_1,{\ast }_1,{\diamond }_1)$ is called completable if it leads to an intuitionistic fuzzy metric completion.

Proposition 1.

Let $\left(x_n\right)$ be a sequence in a completable intuitionistic fuzzy metric space $(X,M,N,\ast ,\diamond )$. If $\left(x_n\right)$ is Cauchy sequence in X and it is statistically converges to $x_0$, then $\left(x_n\right)$ converges to $x_0$.

Proof. 

Let $(X_1,M_1,N_1,{\ast }_1,{\diamond }_1)$ be the completion of $(X,M,N,\ast ,\diamond )$. Then $\exists x_1\in X_1:\left(x_n\right)$ converges to $x_1$. We have $M_1(x_n,x_0,t)=M(x_n,x_0,t)$ and $N_1(x_n,x_0,t)=N(x_n,x_0,t)$ for all $t>0$ and $n\in IN$.

Let $r\in (0,1)$ and $t>0$. Since $\delta \left(\{n\in IN:M(x_n,x_0,t)>1-randN(x_n,x_0,t)<r\}\right)$$=1$, we obtain $\delta \left(\{n\in IN:M_1(x_n,x_0,t)>1-rand{N}_1(x_n,x_0,t)<r\}\right)=1$. Hence, we see that $\left(x_n\right)$ statistically converges to $x_0\in X_1$ with respect to $(M_1,N_1)$. By Corollary 1, we have $x_1=x_0$. □

4. Statically Complete Intuitionistic Fuzzy Metric Space

In this section, we give the concept of a statistical Cauchy sequence on an intuitionistic fuzzy metric space and study a characterization.

Definition 10.

Let $(X,M,N,\ast ,\diamond )$ be an intuitionistic fuzzy metric space. A sequence $\left(x_n\right)\subset X$ is called a statistically Cauchy sequence if, for every $r\in (0,1)$ and $t>0$, there exists $m\in IN$ such that $\delta \left(\{n\in IN:M(x_n,x_m,t)>1-r,N(x_n,x_m,t)<r\}\right)=1$.

Theorem 4.

Let $\left(x_n\right)$ be a sequence in an intuitionistic fuzzy metric space $(X,M,N,\ast ,\diamond )$. Then the following are equivalent:

(i)

$\left(x_n\right)$ is statistically Cauchy.

(ii)

There exists an increasing index sequence $K={\left\{n_i\right\}}_{i\in IN}$ of the natural numbers such that $\left(x_n{}_i\right)$ is Cauchy and $\delta \left(K\right)=1$.

Proof. 

Straightforward. □

Theorem 5.

Let $\left(x_n\right)$ be a sequence in an intuitionistic fuzzy metric space $(X,M,N,\ast ,\diamond )$. If $\left(x_n\right)$ is statistically convergent with respect to the intuitionistic fuzzy metric, then $\left(x_n\right)$ is statistically Cauchy with respect to the intuitionistic fuzzy metric.

Proof. 

Let $\left(x_n\right)$ be statistically convergent to $x_0$ and $r\in (0,1),t>0$. Then, $\exists r_1\in (0,1):(1-r_1)\ast (1-r_1)>1-r$ and $r_1\diamond r_1<r$. We have $\delta \left(\right\{n\in IN:M(x_n,x_0,t)>1-r,$$N(x_n,x_0,t)<r\left\}\right)=1$. From Theorem 1, there exists an increasing index sequence ${\left\{n_i\right\}}_{i\in IN}$ such that $\left(x_{n_i}\right)$ converges to $x_0$. Hence, $\exists n_{i_0}\in {\left\{n_i\right\}}_{i\in IN}:M(x_{n_i},x_0,\frac{t}{2})>1-r_1$ and $N(x_{n_i},x_0,\frac{t}{2})<r_1$ for all $n_i\ge n_{i_0}$. Since

$M(x_n,x_{n_{i_0}},t)\ge M(x_n,x_0,\frac{t}{2})\ast M(x_0,x_{n_{i_0}},\frac{t}{2})\ge (1-r_1)\ast (1-r_1)>1-r$ and

$N(x_n,x_{n_{i_0}},t)\le N(x_n,x_0,\frac{t}{2})\diamond N(x_0,x_{n_{i_0}},\frac{t}{2})<r_1\diamond r_1<r$, we have $\delta \left(\{n\in IN:M(x_n,x_{n_{i_0}},t)>1-r,N(x_n,x_{n_{i_0}},t)\}\right)=1$. Therefore, $\left(x_n\right)$ is statistically Cauchy with respect to the intuitionistic fuzzy metric. □

Remark 2.

If a sequence is Cauchy in an intuitionistic fuzzy metric space, then it is statistically Cauchy.

Definition 11.

The intuitionistic fuzzy metric space $(X,M,N,\ast ,\diamond )$ is called statistically complete if every statistically Cauchy sequence in X is statistically convergent.

Theorem 6.

Let $(X,M,N,\ast ,\diamond )$ be an intuitionistic fuzzy metric space. If X is statistically complete, then it is complete with respect to the intuitionistic fuzzy metric.

Proof. 

The proof is similar to Theorem 5. □

5. Conclusions

Fast and Steinhaus introduced the concept of statistical convergence in 1951 independently, and then many authors became interested in the subject and researched it in different fields of mathematics. In 2020, Changqing et al. introduced the concept of statistical convergence in fuzzy metric spaces. In view of this, we have discussed generalizing this convergence to intuitionistic fuzzy metric spaces. We have defined the concepts of statistical convergence, statistical Cauchy sequences and statistical completeness with respect to intuitionistic fuzzy metric spaces. In addition, we have studied characterizations for statistically convergent sequences and statistically Cauchy sequences.