Skip to main content

Some fixed point results in fuzzy cone normed linear space

Abstract

In this paper, the well known fixed point theorems of Banach, Kannan, and Chatterjee are extended to the fuzzy cone normed linear space.

Introduction

The concept of fuzzy norm was first introduced by Katsaras [1] in the year 1984. After that, in 1992, Felbin [2] defined a fuzzy norm on a linear space with an associated metric of the Kaleva and Seikkala type [3]. Further developement in the notion of fuzzy norm took place in 1994, when Cheng and Moderson [4] gave the definition of fuzzy norm in another approach having an associated metric of the Kramosil and Michalek type [5]. Thereafter, following the definition of fuzzy norm by Cheng and Moderson [4], Bag and Samanta [6] introduced the concept of fuzzy norm in a different way.

On the other hand, several authors generalized the concept of metric space in many ways. One of them is the notion of cone metric space introduced by Long-Guang et al. [7] in the year 2007. In the year 2017, Tamang and Bag [8] extended the concept of fuzzy norm to fuzzy cone norm with replacement of R by a real Banach space. In 1922, Banach [9] proved fixed point result on contractive type mappings. So far, many authors have obtained interesting extensions and generalization of the Banach contraction principle. In 1968, Kannan [10] and, in 1972, Chatterjee [11] studied contractive mappings which gives unique fixed point on complete metric space. As the fuzzy mathematics along with the classical ones are constantly developing, the above fixed point results in fuzzy cone normed linear space setting can also play an important role. Our aim in this paper is to establish Banach, Kannan, and Chatterjee type fixed point theorems in fuzzy cone normed linear space setting.

Preliminaries

In this section, some essential concepts for study are stated. Throughout the paper we use symbol \(\bigwedge \) to denote the infimum.

Definition 1

[7] Let E be a real Banach space and P be a subset of E. P is called a cone if and only if:

  • P is closed, nonempty and P≠{θ};

  • \(a,b\in R,~a,b\geq 0,~x,y\in P \Rightarrow ax+by \in P\);

  • xP and \(-x \in P~~\Rightarrow x=\theta.\)

Given a cone \(P\subset E,\) we define a partial ordering \(\preceq \) with respect to P by \(x \preceq y \) iff yxP. We shall write \(x \prec y \) to indicate that \(x \preceq y \) but xy while x<<y will stand for yx IntP, where IntP denotes the interior of P.

The cone P is called normal if there is a number K>0 such that for all x,yE, with \(\theta \preceq x \preceq y \) implies xKy.

The least positive number satisfying above is called the normal constant of P.

The cone P is called regular if every increasing sequence which is bounded from above is convergent. That is if {xn} is a sequence in E such that

$$x_{1} \preceq x_{2}\preceq {\cdots} \preceq x_{n} \preceq {\cdots}\preceq y\\ $$

for some yE, then there is xE such that \(\|x_n-x\| \rightarrow 0 \) as \(n\rightarrow \infty.\)

Equivalently, the cone P is regular if every decreasing sequence is bounded below is convergent. It is clear that a regular cone is a normal cone.

Definition 2

[12] The cone P is called strongly minihedral if every subset of E which is bounded above via the partial ordering obtained by P, must have a least upper bound. Hence, every subset which is bounded below must have greatest lower bound.

Definition 3

[13] A binary operation \(*:[0~,~1]\times [0~,~1]\rightarrow [0~,~1]\) is a t-norm if it satisfies the following conditions:

  • is associative and commutative;

  • a1=a a[0,1];

  • abcd whenever ac and bd for each a,b,c,d[0, 1].

If is continuous then it is called continuous t-norm. The following are examples of some t-norms that are frequently used and defined for all a, b [0, 1].

  • Standard intersection: ab=min(a, b).

  • Algebraic product: ab=ab.

  • Bounded difference: ab=max(0, a+b−1).

  • Drastic intersection:

$$a*b = \left\{\begin{array}{cc}a & \text{for}\ b=1 \\ b & \text{for}\ a=1\\ 0 & \text{otherwise}. \end{array} \right. $$

Definition 4

[8] Let X be a linear space over the field K and E be a real Banach space with cone P, is a t-norm. A fuzzy subset Nc:X×E→[0,1] is said to be a fuzzy cone norm if

  • tE with\(\ t\preceq \theta _{E},\ N_{c}(x,t)=0\) ;

  • (\(\ \forall \ \theta _{E} \prec t,\ N_{c}(x,t)=1 \)) iff x=θX ;

  • \(\forall \ \theta _{E}\prec t\) and \( 0\ne c\in K,\ N_{c}(cx,t)=N_{c}\left (x,\frac {t}{|c|}\right) \) ;

  • x,yX and s,tE, Nc(x+y,s+t)≥Nc(x,s)Nc(y,t);

  • \({\lim }_{\|t\|\rightarrow \infty } N_{c}(x,t)=1 \) ;

Then (X,Nc,) is said to be a fuzzy cone normed linear space w.r.t E.

Theorem 1

(Banach [9]) Let f be a self-map of a complete metric space (X,d) such that d(f(x),f(y))≤αd(x,y) for some real number α, 0<α<1 for each x,yX. Then f has a unique fixed point.

Theorem 2

(Kannan [10]) Let f be a self-map of a complete metric space (X,d) such that d(f(x),f(y))≤β[d(f(x),x)+d(f(y),y)] for some real number \(\beta, 0<\beta <\frac {1}{2}\) for each x,yX. Then f has a unique fixed point.

Theorem 3

(Chatterjee [11]) Let f be a self-map of a complete metric space (X,d) such that d(f(x),f(y))≤γ[d(f(x),y)+d(f(y),x)] for some real number \(\gamma, 0<\gamma <\frac {1}{2}\) for each x,yX. Then f has a unique fixed point.

Main results

In this section we modified Definition 4 of fuzzy cone normed linear space as follows in order to develop some fixed point results.

Definition 5

Let X be a linear space over the field K and E be a real Banach space with cone P, is a t-norm. A fuzzy subset Nc:X×E→[0,1] is said to be a fuzzy cone norm if

  • tE with\(\ t\preceq \theta _{E},\ N_{c}(x,t)=0\) ;

  • (\( \ \forall \ \theta _{E} \prec t,\ N_{c}(x,t)=1 \)) iff x=θX ;

    (θX denotes the zero element of X)

  • \(\forall \ \theta _{E}\prec t\) and \( 0\ne c\in K,\ N_{c}(cx,t)=N_{c}\left (x,\frac {t}{|c|}\right) \) ;

  • x,yX and s,tE, Nc(x+y,s+t)≥Nc(x,s)Nc(y,t);

  • Nc(x,t)=1 if \(s\prec t~ \forall ~s\in P\) ;

    Then (X,Nc,) is said to be a fuzzy cone normed linear space w.r.t. E.

  • \(N_{c}(x,t)>0~\forall ~t\succ \theta _{E}\Rightarrow x=\theta _X.\)

Note. We notice that for a real Banach space with normal cone the modified definition is stronger than the existing one.

For, \(s\prec t ~\forall s \in P \)

i.e, \(\theta _{E}\preceq s\prec t~ \forall ~s \in P \)

\(\Rightarrow \|s\|\leq K\|t\| ~\forall s \in P \) (K is a normal constant)

\(\Rightarrow \|t\|>\) any positive real number

\(\Rightarrow \|t\|\longrightarrow \infty \).

Definition 6

Let (X,Nc,) be a fuzzy cone normed linear space with a strongly minihedral cone P and α(0,1). A sequence {xn} is said to be α-fuzzy convergent and converges to x if \(\underset {n\rightarrow \infty }{\lim }\bigwedge \{ t\succ \theta _E: N_{c}(x_n-x,t)\geq \alpha \}=\theta _{E}\). If \(\underset {n\rightarrow \infty }{\lim }\bigwedge \{ t\succ \theta _E: N_{c}(x_n-x,t)\geq \alpha \}=\theta _E~~~~~ \forall \alpha \in (0,1)\), then {xn} is said to be l-fuzzy convergent and converges to x.

Definition 7

Let (X,Nc,) be a fuzzy cone normed linear space with a strongly minihedral cone P and α(0,1). A sequence {xn} is said to be α-fuzzy Cauchy sequence if \(\underset {n\rightarrow \infty }{\lim }\bigwedge \{ t\succ \theta _E: N_{c}(x_{n+p}-x_{n},t)\geq \alpha \}=\theta _{E}\). for each p=1,2,3,...

If \(\underset {n\rightarrow \infty }{\lim }\bigwedge \{ t\succ \theta _E: N_{c}(x_{n+p}-x_{n},t)\geq \alpha \}=\theta _{E} ~~~~\forall \alpha \in (0,1)\) and for each p=1,2,3,..., then {xn} is said to be l-fuzzy Cauchy sequence.

Definition 8

Let (X,Nc,) be a fuzzy cone normed linear space with a strongly minihedral cone P and α(0,1). Then, X is said to be α-fuzzy complete if every α-fuzzy Cauchy sequence is α-fuzzy convergent to some element in X.

Definition 9

Let (X,Nc,) be a fuzzy cone normed linear space with a strongly minihedral cone P and α(0,1). Then X is said to be l-fuzzy complete if every α-fuzzy Cauchy sequence is α-fuzzy convergent α(0,1).

Example 1

Let (X, c) be a cone normed linear space and take E=R2. Then \(P=\{(t_{1},t_2): t_{1},t_{2} \geq 0\} \subset E\) is a strongly minihedral normal cone with normal constant 1. Define a function Nc:X×E→[0,1] by

$$\begin{array}{*{20}l} N_{c}(x,t)&=1 ~~~~\text{if}\ \|x\|_{c}\prec t\\ &=0 ~ ~~~~\text{if}\ t\preceq \|x\|_{c} \end{array} $$

If we choose =min, Then (X,Nc,) is a fuzzy cone normed linear space satisfying (FCN6). If we take X=R, then (X,Nc,) is an l-fuzzy complete fuzzy cone normed linear space

Proof:

  • tE with \(t\preceq \theta _{E}\), we have by definition, Nc(x,t)=0 for all xX. Thus (FCN1) holds.

  • tE with \(\theta _{E}\prec t\),

    Nc(x,t)=1

    \(\Rightarrow \|x\|_{c}\prec t~\forall t\succ \theta _{E}\)

    \(\Rightarrow \|\|x\|_{c}\|\leq \|t\|~\forall t\succ \theta _{E}\) (since P is normal cone with normal constant 1)

    \(\Rightarrow \|\|x\|_{c}\|=0\).

    \(\Rightarrow \|x\|_c=\theta _{E}\).

    \(\Rightarrow x=\theta _{X}\) (θX denotes the zero element of X)

    Again x=θX

    \(\Rightarrow \|x\|_c=\theta _{E}\).

    \(\Rightarrow \|\theta _{X}\|_{c}\prec t ~\forall t\succ \theta _{E}\)

    \(\Rightarrow N_{c}(x,t)=1.\)

    So (FCN2) holds.

  • For all tE with \(\theta _{E}\prec t\) and 0≠cK

    Let Nc(cx,t)=0

    \(\Rightarrow t\preceq \|cx\|_{c}\)

    \(\Rightarrow t\preceq |c|\|x\|_{c}\)

    \(\Rightarrow \frac {t}{|c|} \preceq \|x\|_{c} \Rightarrow N_{c}\left (x,\frac {t}{|c|}\right)=0.\)

    Let Nc(cx,t)=1

    \(\Rightarrow \|cx\|_{c} \preceq t\)

    \(\Rightarrow |c|\|x\|_{c} \preceq t\)

    \(\Rightarrow \|x\|_{c} \preceq \frac {t}{|c|}\)

    \(\Rightarrow N_{c}\left (x,\frac {t}{|c|}\right)=1.\)

    So (FCN3) holds.

  • We have to show that

    Nc(x+u,s+t)≥min{Nc(x,s),Nc(u,t)} x,yX and s,tE

    If Nc(x+u,s+t)=0

    Then, \(s+t\preceq \|x+u\|_{c}\preceq \|x\|_c+\|u\|_{c}\)

    $$\begin{array}{*{20}l} &\Rightarrow \|x\|_c+\|u\|_c-(s+t)\in P\\ &\Rightarrow \|u\|_c-t-(s-\|x\|_c)\in P\\ &\Rightarrow s-\|x\|_{c}\preceq \|u\|_c-t \end{array} $$
    (1)

    If \(\|x\|_{c}\prec s\) i.e, \(\theta _{E}\prec s-\|x\|_{c}\), then from (1)

    \(\theta _{E}\prec \|u\|_{c}-t\)

    \(\Rightarrow t\prec \|u\|_{c}\)

    So if \(\|x\|_{c}\prec s\), then \(t\prec \|u\|_{c}\)

    So Nc(x,s)=1 and Nc(u,t)=0.

    Similarly, if \(\|u\|_{c}\prec t\), then \(s\prec \|x\|_{c}\)

    So Nc(u,t)=1 and Nc(x,s)=0.

    So in both cases,

    Nc(x+u,s+t)≥min{Nc(x,s),Nc(u,t)}=0.

    If Nc(x+u,s+t)=1

    Then Nc(x+u,s+t)≥min{Nc(x,s),Nc(u,t)}

    So (FCN4) holds.

  • If \(s\prec t\) for every sP, then by definition, Nc(x,t)=1. So (FCN5) holds.

    Thus, (X,Nc,) is a fuzzy cone normed linear space.

    Now, tθE, Nc(x,t)>0

    \(\Rightarrow N_{c}(x,t)=1,~\forall t\succ \theta _{E}\)

    \(\Rightarrow \|x\|{~}_{c}\prec t~\forall t\succ {\theta }_{E}\)

    \(\Rightarrow \|\|x\|{~}_{c}\|\leq \|t\|~\forall t\succ \theta _{E}\) (P is a normal cone with normal constant 1)

    \(\Rightarrow \|x\|{~}_{c}={\theta }_{E}\)

    \(\Rightarrow x={\theta }_{X}.\)

    Thus, (FCN6) holds.

    We now prove that (X,Nc,) is an l-fuzzy complete cone normed linear space.

    Let {xn} be a α-Cauchy sequence in (X,Nc,) for α(0,1).

    Then \(\bigwedge \{ t\succ {\theta }_{E}: N_{c}(x_{n}-x_{m},t)\geq \alpha \}={\theta }_{E}\) as \(m,n\rightarrow \infty \)

    Choose εθE arbitrarily, then there exists a natural number p such that \(\bigwedge \{ t\succ {\theta }_{E}: N_{c}(x_{n}-x_{m},t)\geq \alpha \}\prec \epsilon ~ \forall t\succ {\theta }_{E}\) and m,np.

    \(\Rightarrow N_{c}(x_{n}-x_{m},\epsilon)\geq \alpha >0~ \forall \epsilon \succ {\theta }_{E}\) and m,np.

    \(\Rightarrow \|x_{n}-x_{m}\|{~}_{c}\prec \epsilon ~ \forall \epsilon \succ {\theta }_{E}\) and m,np. (by the definition of Nc)

    \(\Rightarrow \|\|x_{n}-x_{m}\|{~}_{c}\|\leq \|\epsilon \| ~ \forall \epsilon \succ {\theta }_{E}\) (since P is normal cone with normal constant 1)

    \(\Rightarrow \|x_{n}-x_{m}\|{~}_{c}\rightarrow \theta _{E} \) as \( m,n\rightarrow \infty \)

    \(\Rightarrow |x_{n}-x_{m}|\rightarrow 0\) as \(m,n\rightarrow \infty \)

    \(\Rightarrow \{x_{n}\}\) is a Cauchy sequence in R. Since R is complete, xR such that \(x_{n}\rightarrow x\) as \(n\rightarrow \infty \)

    \(\Rightarrow x_{n}-x\rightarrow 0\) as \(n\rightarrow \infty \)

    \(\Rightarrow \|x_{n}-x\|{~}_{c}\rightarrow \theta _{E}\) as \(n\rightarrow \infty \)

    \(\Rightarrow \) there exists a natural number n0(t) such that \(\|x_{n}-x\|{~}_{c}\prec t~ \forall ~t\succ {\theta }_{E}\) and nn0(t).

    \(\Rightarrow N_{c}(x_{n}-x,t)=1~ \forall ~t\succ {\theta }_{E}\) and nn0(t).

    \(\Rightarrow \bigwedge \{ t\succ {\theta }_{E}: N_{c}(x_{n}-x,t)\geq \alpha \}={\theta }_{E}\) as \(n\rightarrow \infty \)

    \(\Rightarrow \{x_{n}\}\) is α-convergent to x.

    Since α(0,1) is arbitrary, every α-Cauchy sequence is α-convergent. So (X,Nc,) is an l-fuzzy complete fuzzy cone normed linear space.

Some fixed point theorems

In this section Banach, Kannan, and Chatterjee type fixed point theorems are established in fuzzy setting.

Throughout this section, we consider as continuous t-norm.

Theorem 4

(Banach Contraction type theorem in fuzzy cone normed linear space)

Let (X,Nc,) be an l-fuzzy complete cone normed linear space satisfying (FCN6), P be a stronghly minihedral cone with normal constant M. Suppose the mapping T:XX satisfies the contractive condition

$$\bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-Ty,t)\geq \alpha \}\preceq k\bigwedge \{ t\succ \theta_{E}: N_{c}(x-y,t)\geq \alpha \} $$

for some, α(0,1) and k(0,1) is a constant. Then, T has a fixed point in X. In addition if M=1, then the fixed point is unique. Assuming that ββ>0 β(0,1).

Proof

Choose x0X. Set x1=Tx0,x2=Tx1=T2x0,..., xn+1=Txn=Tn+1x0. So {xn} is a sequence in X. First, we show that {xn} is β-Cauchy sequence for some β(0,1). □

Now, for some α(0,1);

$$\begin{array}{*{20}l} &\bigwedge \{ t\succ \theta_E: N_{c}(x_{n+1}-x_{n},t)\geq \alpha \}=\bigwedge \{ t\succ \theta_E: N_{c}({Tx}_n-{Tx}_{n-1},t)\geq \alpha \}\\ &\qquad\qquad\qquad\qquad\qquad\qquad\qquad\preceq k\bigwedge \{ t\succ \theta_E: N_{c}(x_n-x_{n-1},t)\geq \alpha \}\\ &\text{i.e.},\ \bigwedge \{t\succ \theta_E: N_{c}(x_{n+1}-x_{n},t)\geq \alpha \}\preceq k\bigwedge \{ t\succ \theta_E: N_{c}(x_n-x_{n-1},t)\geq \alpha \}\\ \end{array} $$

Proceeding similarly, we have

$$\begin{array}{*{20}l} \bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n+1}-x_{n},t)\geq \alpha \}\preceq k^{n}\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{1}-x_{0},t)\geq \alpha \} \end{array} $$

Using normality condition, we get

$$\begin{array}{*{20}l} &\|\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n+1}-x_{n},t)\geq \alpha \}\|\leq k^{n}M\|\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{1}-x_{0},t)\geq \alpha \}\|\\ &\Rightarrow{\lim}_{n\rightarrow \infty}\|\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n+1}-x_{n},t)\geq \alpha \}\|=0 ~~(\text{since}\ k^{n}\rightarrow 0 \text{as}\ n\rightarrow \infty)\\ &\Rightarrow{\lim}_{n\rightarrow \infty}\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n+1}-x_{n},t)\geq \alpha \}=\theta_{E} \end{array} $$
(2)

Now for p≥1, we have

$$\begin{array}{*{20}l} &\bigwedge \left\{ t\succ \theta_{E}: N_{c}\left(x_{n+p}-x_{n+p-1},\frac{t}{p}\right)\geq \alpha \right\}\\&+\bigwedge \left\{ t\succ \theta_{E}: N_{c}\left(x_{n+p-1}-x_{n+p-2},\frac{t}{p}\right)\geq \alpha \right\}\\&+...+\bigwedge \left\{ t\succ \theta_{E}: N_{c}\left(x_{n+1}-x_{n},\frac{t}{p}\right)\geq \alpha \right\}\\&\succeq\bigwedge \left\{ t\succ \theta_{E}: N_{c}(x_{n+p}-x_{n},t)\geq \alpha*\alpha*...*\alpha \right\} \end{array} $$

Since is continuous, β(0,1) such that αα...α=β.

From above, we get

$$\begin{array}{*{20}l} {}&p\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n+p}-x_{n+p-1},t)\geq \alpha \}+p\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n+p-1}-x_{n+p-2},t)\geq \alpha \}\\{}&+...+p\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n+1}-x_{n},t)\geq \alpha \}\succeq\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n+p}-x_{n},t)\geq \beta\} \end{array} $$

Using normality condition, we have,

$$\begin{array}{*{20}l} {}&\left\|\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n+p}-x_{n},t)\geq \beta\}\right\|\leq p M\left\|\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n+p}-x_{n+p-1},t)\geq \alpha \}\right\|\\{}&+p M\left\|\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n+p-1}-x_{n+p-2},t)\geq \alpha \}\right\|+...\\{}&+p M\left\|\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n+1}-x_{n},t)\geq \alpha \}\right\| \end{array} $$

\(\Rightarrow \left \|\bigwedge \{ t\succ \theta _{E}: N_{c}(x_{n+p}-x_{n},t)\geq \beta \}\right \|\rightarrow 0 \) as \(n\rightarrow \infty \) for p=1,2,3,...using (2)

\(\Rightarrow \bigwedge \{ t\succ \theta _{E}: N_{c}(x_{n+p}-x_{n},t)\geq \beta \}\rightarrow \theta _{E} \) as \(n\rightarrow \infty \) for p=1,2,3,...

\(\Rightarrow \{x_{n}\}\) is a β-Cauchy sequence.

$$\begin{array}{*{20}l} So\ \exists x\in X\ \text{such that}\ {\lim}_{n\rightarrow \infty}\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n}-x,t)\geq \beta\}=\theta_{E}. \end{array} $$
(3)

We have

$$\begin{array}{*{20}l} &\bigwedge \{ s+t\succ \theta_{E}: N_{c}(Tx-x,s+t)\geq \beta*\beta\}\\&\preceq \bigwedge \{ s\succ \theta_{E}: N_{c}(Tx-x_{n},s)\geq \beta\}+\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n}-x,t)\geq \beta\}\\ &\preceq k \bigwedge \{ s\succ \theta_{E}: N_{c}(x-x_{n-1},s)\geq \beta\}+\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n}-x,t)\geq \beta\} \end{array} $$

Using normality condition and (3), we get

$$\begin{array}{*{20}l} &\left\|\bigwedge \{ s+t\succ \theta_{E}: N_{c}(Tx-x,s+t)\geq \beta*\beta\}\right\|\\ &\leq M\left\|k \bigwedge \{ s\succ \theta_{E}: N_{c}(x-x_{n-1},s)\geq \beta\}+\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n}-x,t)\geq \beta\}\right\|\\ &\leq Mk\left\| \bigwedge \{ s\succ \theta_{E}: N_{c}(x-x_{n-1},s)\geq \beta\}\|+M\|\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n}-x,t)\geq \beta\}\right\| \end{array} $$

Taking limit as \(n\rightarrow \infty \), we have

$$\begin{array}{*{20}l} &\left\|\bigwedge \{ s+t\succ \theta_{E}: N_{c}(Tx-x,s+t)\geq \beta*\beta\}\right\|=0\\ &\Rightarrow \bigwedge \{ s+t\succ \theta_{E}: N_{c}(Tx-x,s+t)\geq \beta*\beta\}=\theta_{E}\\ &\Rightarrow \forall (s+t)\succ \theta_{E}; N_{c}(Tx-x,s+t)\geq \beta*\beta>0\\ &\Rightarrow Tx-x=\theta_{X}\ \text{by}\ (FCN6)\\ &\Rightarrow Tx=x. \end{array} $$

Thus, x is a fixed point of T.

Uniqueness: If possible suppose that yX such that Ty=y.

$$\begin{array}{*{20}l} \text{Now},\ \bigwedge \{t\succ \theta_{E}: N_{c}(x-y,t)\geq \alpha\}&=\bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-Ty,t)\geq \alpha\}\\ &\preceq k \bigwedge \{ t\succ \theta_{E}: N_{c}(x-y,t)\geq \alpha\}\\ \end{array} $$

Using normality condition with normal constant 1, we have

$$\begin{array}{*{20}l} &\left\|\bigwedge \{ t\succ \theta_{E}: N_{c}(x-y,t)\geq \alpha\}\right\|\leq k\left\|\bigwedge \{ t\succ \theta_{E}: N_{c}(x-y,t)\geq \alpha\}\right\|\\ &\Rightarrow (1-k)\left\|\bigwedge \{ t\succ \theta_{E}: N_{c}(x-y,t)\geq \alpha\}\right\|\leq 0\\ &\Rightarrow \left\|\bigwedge \{ t\succ \theta_{E}: N_{c}(x-y,t)\geq \alpha\}\right\|= 0 (\text{Since} 0< k<1)\\ &\Rightarrow \bigwedge \{ t\succ \theta_{E}: N_{c}(x-y,t)\geq \alpha\}= \theta_{E}\\ &\Rightarrow \forall t\succ \theta_{E}; N_{c}(x-y,t)>0\\ &\Rightarrow x-y=\theta_{X}\ \text{by}\ (FCN6)\\ &\Rightarrow x=y. \end{array} $$

Example 2

Let us consider the l-fuzzy complete cone normed linear space (X,Nc,) of Example 1. Let T be self-map of X given by \(Tx=\frac {x}{3}\). Take \(k=\frac {1}{2}\).

$$\begin{array}{*{20}l} &\text{Now},\ \{ t\succ \theta_{E}: N_{c}(Tx-Ty,t)\geq \alpha\}, \alpha\in(0,1)\\ &= \left\{ t\succ \theta_{E}: N_{c}\left(\frac{x}{3}-\frac{y}{3},t\right)\geq \alpha\right\}\\ &= \{ t\succ \theta_{E}: \frac{\|x-y\|_{c}}{3}\prec t\}\\ &= \{ t\succ \theta_{E}: \|x-y\|_{c}\prec 3t\}\\ &\text{Again},\ \left\{ t\succ \theta_{E}: N_{c}\left(x-y,\frac{t}{k}\right)\geq \alpha\right\}\\ &= \{ t\succ \theta_{E}: N_{c}(x-y,2t)\geq \alpha\}\\ &= \{ t\succ \theta_{E}: \|x-y\|_{c}\prec 2t\}\\ &\text{Thus},\ \bigwedge\{ t\succ \theta_{E}: \|x-y\|_{c}\prec 3t\}\preceq\bigwedge\{ t\succ \theta_{E}: \|x-y\|_{c}\prec 2t\}\\ &\text{i.e.},\ \bigwedge\{t\succ \theta_{E}: N_{c}(Tx-Ty,t)\geq \alpha\}\preceq\bigwedge\left\{ t\succ \theta_{E}: N_{c}\left(x-y,\frac{t}{k}\right)\geq \alpha\right\} \end{array} $$

Thus, T satisfies Banach type contraction. We see that 0 is the unique fixed point of T.

Theorem 5

(Kannan contraction type fixed point theorem in fuzzy cone normed linear space).

Let (X,Nc,) be a l-fuzzy complete cone normed linear space where = min, P be a strongly minihedral cone with normal constant M. Suppose the mapping T:XX satisfies the contractive condition

$$\begin{array}{*{20}l} &\bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-Ty,t)\geq \alpha\}\preceq k\left[~\bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-x,t)\geq \alpha\}\right.\\ &\quad\left.+\bigwedge \{ t\succ \theta_{E}: N_{c}(Ty-y,t)\geq \alpha\}\right] \end{array} $$

α(0,1) and \(k\in \left (0,\frac {1}{2}\right)\) is a constant. Then, T has a unique fixed point in X.

Proof

Choose x0X. Set x1=Tx0, x2=Tx1=T2x0,..., xn+1=Txn=Tn+1x0. So {xn} is a sequence in X. First, we show that {xn} is α-Cauchy sequence for all α(0,1). □

$$\begin{array}{*{20}l} &\text{Now, for}\ \alpha\in,\\ &\bigwedge \{t\succ \theta_E: N_{c}(x_{n+1}-x_{n},t)\geq \alpha \}\\&=\bigwedge \{ t\succ \theta_E: N_{c}({Tx}_n-{Tx}_{n-1},t)\geq \alpha \}\\ &\preceq k\left[~\bigwedge \{ t\succ \theta_E: N_{c}({Tx}_n-x_{n},t)\geq \alpha\}+\bigwedge \{ t\succ \theta_E: N_{c}({Tx}_{n-1}-x_{n-1},t)\geq \alpha\}\right]\\ &=k\left[~\bigwedge \{ t\succ \theta_E: N_{c}(x_{n+1}-x_{n},t)\geq \alpha\}+\bigwedge \{ t\succ \theta_E: N_{c}(x_{n}-x_{n-1},t)\geq \alpha\}\right]\\ &\Rightarrow \bigwedge \{ t\succ \theta_E: N_{c}(x_{n+1}-x_{n},t)\geq \alpha\}\preceq \frac{k}{1-k}\bigwedge \{ t\succ \theta_E: N_{c}(x_{n}-x_{n-1},t)\geq \alpha\}\\ &\Rightarrow \bigwedge \{ t\succ \theta_E: N_{c}(x_{n+1}-x_{n},t)\geq \alpha\}\preceq \delta^{n}\bigwedge \{ t\succ \theta_E: N_{c}(x_{1}-x_{0},t)\geq \alpha\}\\ &\quad \text{where}\ \delta=\frac{k}{1-k},~~0<\delta<1.\\ \end{array} $$

Using normality condition, we get,

$$\begin{array}{*{20}l} &\left\|\bigwedge \{ t\succ \theta_E: N_{c}(x_{n+1}-x_{n},t)\geq \alpha\}\right\|\leq M \delta^{n}\left\|\bigwedge \{ t\succ \theta_E: N_{c}(x_{1}-x_{0},t)\geq \alpha\}\right\|\\ &\Rightarrow {\lim}_{n\rightarrow \infty}\left\|\bigwedge \{ t\succ \theta_E: N_{c}(x_{n+1}-x_{n},t)\geq \alpha\}\right\|=0.\\ &\Rightarrow \bigwedge \{ t\succ \theta_E: N_{c}(x_{n+1}-x_{n},t)\geq \alpha\}\rightarrow \theta_{E}\ \text{as}\ n\rightarrow \infty \end{array} $$
(4)

Now for p≥1 we have,

$$\begin{array}{*{20}l} &\bigwedge \left\{ t\succ \theta_E: N_{c}\left(x_{n+p}-x_{n+p-1},\frac{t}{p}\right)\geq \alpha \right\}\\ &+\bigwedge \left\{t\succ \theta_E: N_{c}\left(x_{n+p-1}-x_{n+p-2},\frac{t}{p}\right)\geq \alpha \right\}\\ &+...+\bigwedge \left\{ t\succ \theta_E: N_{c}\left(x_{n+1}-x_{n},\frac{t}{p}\right)\geq \alpha \right\}\\ &\succeq\bigwedge \{ t\succ \theta_E: N_{c} (x_{n+p}-x_{n},t)\geq \alpha*\alpha*...*\alpha=\alpha \}\\ \end{array} $$

Using normality condition and (4), it follows that

$$\begin{array}{*{20}l} &\left\|\bigwedge \{ t\succ \theta_E: N_{c}(x_{n+p}-x_{n},t)\geq \alpha\}\right\|\rightarrow 0\ \text{as}\ n\rightarrow \infty\ \text{for}\ p=1,2,3,...\\ &\Rightarrow \bigwedge \{ t\succ \theta_E: N_{c}(x_{n+p}-x_{n},t)\geq \alpha\}\rightarrow \theta_{E}\ \text{as}\ n\rightarrow \infty \text{for}\ p=1,2,3,...\\ &\Rightarrow \{x_{n}\}\ \text{is a}\ \alpha- \text{Cauchy sequence.} \end{array} $$

Since X is l-fuzzy complete, thus xX such that

$$\begin{array}{*{20}l} {\lim}_{n\rightarrow \infty}\bigwedge \{ t\succ \theta_E: N_{c}(x_{n}-x,t)\geq \alpha\}=\theta_{E} \end{array} $$
(5)

Now,

$$\begin{array}{*{20}l} &\bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-x,t)\geq \alpha*\alpha\}\\ &\preceq \bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-x_{n},t)\geq \alpha\}+\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n}-x,t)\geq \alpha\}\\ &=\bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-{Tx}_{n-1},t)\geq \alpha\}+\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n}-x,t)\geq \alpha\}\\ &\text{i.e.}, \bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-x,t)\geq \alpha\}\\&\preceq k\left[~\bigwedge \{ t\succ \theta_{E}: N_{c}({Tx}_{n-1}-x_{n-1},t)\geq \alpha\}+\bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-x,t)\geq \alpha\}\right]\\&+\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n}-x,t)\geq \alpha\}\\ &\Rightarrow (1-k)\bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-x,t)\geq \alpha\}\\&\preceq k\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n}-x_{n-1},t)\geq \alpha\}+\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n}-x,t)\geq \alpha\} \end{array} $$

Using normality condition, from (4) and (5), we get

$$\begin{array}{*{20}l} &(1-k)\left\|\bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-x,t)\geq \alpha\}\right\|\\&\leq M\left\|k\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n}-x_{n-1},t)\geq \alpha\}+\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n}-x,t)\geq \alpha\}\right\|\\ &\leq Mk\left\|\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n}-x_{n-1},t)\geq \alpha\}\right\|+M\left\|\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n}-x,t)\geq \alpha\}\right\|\\ &\Rightarrow\left\|\bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-x,t)\geq \alpha\}\right\|=0\ \text{as}\ n\rightarrow \infty \\ &\Rightarrow\bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-x,t)\geq \alpha\}=\theta_{E}\\ &\Rightarrow N_{c}(Tx-x,t)\geq \alpha ~\forall~ \alpha \in (0,1)\ \text{and}~\forall~ t\succ \theta_{E}\\ &\Rightarrow N_{c}(Tx-x,t)=1 ~\forall~ t\succ \theta_{E}\\ &\Rightarrow Tx-x=\theta_{X}\ \text{by}\ (FCN2)\\ &\Rightarrow Tx=x. \end{array} $$

Thus, T has a fixed point.

Uniqueness: If yX such that Ty=y.

Now,

$$\begin{array}{*{20}l} &\bigwedge \{ t\succ \theta_{E}: N_{c}(x-y,t)\geq \alpha\}\\&=\bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-Ty,t)\geq \alpha\}\\ &\preceq k \left[~\bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-x,t)\geq \alpha\}+\bigwedge \{ t\succ \theta_{E}: N_{c}(Ty-y,t)\geq \alpha\}\right] \end{array} $$

Using normality condition, we have

$$\begin{array}{*{20}l} &\left\|\bigwedge \{ t\succ \theta_{E}: N_{c}(x-y,t)\geq \alpha\}\right\|\\&\leq Mk\left\|\bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-x,t)\geq \alpha\}\right\|+Mk\left\|\bigwedge \{ t\succ \theta_{E}: N_{c}(Ty-y,t)\geq \alpha\}\right\|\\ &\Rightarrow\left\|\bigwedge \{ t\succ \theta_{E}: N_{c}(x-y,t)\geq \alpha\}\right\|=0.\\ &\Rightarrow\bigwedge \{ t\succ \theta_{E}: N_{c}(x-y,t)\geq \alpha\}=\theta_{E}.\\ &\Rightarrow N_{c}(x-y,t)\geq \alpha ~\forall~ \alpha \in (0,1)\ \text{and}~\forall~ t\succ \theta_{E}\\ &\Rightarrow N_{c}(x-y,t)=1 ~\forall~ t\succ \theta_{E} \\ &\Rightarrow x-y=\theta_{X}\ \text{by}\ (FCN2)\\ &\Rightarrow x=y. \end{array} $$

Example 3

Let us consider the l-fuzzy complete cone normed linear space (X,Nc,) of Example 1. Let T be self-map of X given by \(Tx=\frac {x}{6}\). Take \(k=\frac {1}{5}\).

Now,

$$\begin{array}{*{20}l} &\bigwedge\left\{ t\succ \theta_{E}: N_{c}\left(Tx-x,\frac{t}{k}\right)\geq \alpha\right\}+ \bigwedge\left\{ t\succ \theta_{E}: N_{c}\left(Ty-y,\frac{t}{k}\right)\geq \alpha\right\}\\ &\succeq\bigwedge\left\{ s+t\succ \theta_{E}: N_{c}\left(Tx-x+y-Ty,\frac{s+t}{k}\right)\geq \alpha\right\}\\ &=\bigwedge\left\{ s+t\succ \theta_{E}: N_{c}\left(\frac{5y}{6}-\frac{5x}{6},\frac{s+t}{\frac{1}{5}}\right)\geq \alpha\right\}\\ &=\bigwedge\left\{ s+t\succ \theta_{E}: N_{c}\left(\frac{x}{6}-\frac{y}{6},s+t\right)\geq \alpha\right\}\\ &=\bigwedge\left\{ t\succ \theta_{E}: N_{c}\left(\frac{x}{6}-\frac{y}{6},t\right)\geq \alpha\right\}\\ &=\bigwedge\{ t\succ \theta_{E}: N_{c}(Tx-Ty,t)\geq \alpha\} \end{array} $$

Thus, T satisfies Kannan type contraction. We see that 0 is the unique fixed point of T.

Theorem 6

(Chatterjee contraction type fixed point theorem.)

Let (X,Nc,) be a l-fuzzy complete cone normed linear space where = min, P be a stronghly minihedral cone with normal constant M. Suppose the mapping T:XX satisfies the contractive condition

$$\begin{array}{*{20}l} &{}\bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-Ty,t)\geq \alpha\}\\&\preceq k\left[~\bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-y,t)\geq \alpha\}+\bigwedge \{ t\succ \theta_{E}: N_{c}(Ty-x,t)\geq \alpha\}\right] \end{array} $$

α(0,1) and \(k\in (0,\frac {1}{2})\) is a constant. Then T has a fixed point in X. In addition, if M=1, then the fixed point is unique.

Proof

Choose x0X. Set x1=Tx0, x2=Tx1=T2x0,..., xn+1=Txn=Tn+1x0. So {xn} is a sequence in X. First, we show that {xn} is α-Cauchy sequence for all α(0,1). □

Now for α(0,1);

\(\bigwedge \{ t\succ \theta _E: N_{c}(x_{n+1}-x_{n},t)\geq \alpha \}\\=\bigwedge \{ t\succ \theta _E: N_{c}({Tx}_n-{Tx}_{n-1},t)\geq \alpha \}\)

\(\preceq k\left [~\bigwedge \{ t\succ \theta _E: N_{c}({Tx}_n-x_{n-1},t)\geq \alpha \}+\bigwedge \{ t\succ \theta _E: N_{c}({Tx}_{n-1}-x_{n},t)\geq \alpha \}\right ]\)

\(=k\left [~\bigwedge \{ t\succ \theta _E: N_{c}(x_{n+1}-x_{n-1},t)\geq \alpha \}+\bigwedge \{ t\succ \theta _E: N_{c}(x_{n}-x_{n},t)\geq \alpha \}\right ]\)

\(\preceq k\left [~\bigwedge \{ t\succ \theta _E: N_{c}(x_{n+1}-x_{n},t)\geq \alpha \}+\bigwedge \{ t\succ \theta _E: N_{c}(x_{n}-x_{n-1},t)\geq \alpha \}\right ]+\theta _{E}\)

\(\Rightarrow \bigwedge \{ t\succ \theta _E: N_{c}(x_{n+1}-x_{n},t)\geq \alpha \}\preceq \frac {k}{1-k}\bigwedge \{ t\succ \theta _E: N_{c}(x_{n}-x_{n-1},t)\geq \alpha \}\)

\(\Rightarrow \bigwedge \{ t\succ \theta _E: N_{c}(x_{n+1}-x_{n},t)\geq \alpha \}\preceq \delta ^{n}\bigwedge \{ t\succ \theta _E: N_{c}(x_{1}-x_{0},t)\geq \alpha \}\) where \(\delta =\frac {k}{1-k},~~0<\delta <1.\)

Using normality condition, we get

$$\begin{array}{*{20}l} &\left\|\bigwedge \{ t\succ \theta_E: N_{c}(x_{n+1}-x_{n},t)\geq \alpha\}\right\|\leq M \delta^{n}\left\|\bigwedge \{ t\succ \theta_E: N_{c}(x_{1}-x_{0},t)\geq \alpha\}\right\|\\ &\Rightarrow {\lim}_{n\rightarrow \infty}\left\|\bigwedge \{ t\succ \theta_E: N_{c}(x_{n+1}-x_{n},t)\geq \alpha\}\right\|=0.\\ &\Rightarrow {\lim}_{n\rightarrow \infty}\bigwedge \{ t\succ \theta_E: N_{c}(x_{n+1}-x_{n},t)\geq \alpha\}=\theta_{E} \end{array} $$
(6)

Now for p≥1, we have

$$ \begin{aligned} &\bigwedge \{ t\succ \theta_E: N_{c}\left(x_{n+p}-x_{n+p-1},\frac{t}{p}\right)\geq \alpha \}+\bigwedge \left\{ t\succ \theta_E: N_{c}\left(x_{n+p-1}-x_{n+p-2},\frac{t}{p}\right)\geq \alpha \right\}\\ &+...+\bigwedge \left\{ t\succ \theta_E: N_{c}\left(x_{n+1}-x_{n},\frac{t}{p}\right)\geq \alpha \right\}\succeq\bigwedge \{ t\succ \theta_E: N_{c}(x_{n+p}-x_{n},t)\geq \alpha*\alpha*...*\alpha=\alpha \} \end{aligned} $$
(7)

Using normality condition and (6), it follows that

$$\begin{array}{*{20}l} &\left\|\bigwedge \{ t\succ \theta_E: N_{c}(x_{n+p}-x_{n},t)\geq \alpha\}\right\|\rightarrow 0\ \text{as}\ n\rightarrow \infty\ \text{for}\ p=1,2,3,...\\ &\Rightarrow \bigwedge \{ t\succ \theta_E: N_{c}(x_{n+p}-x_{n},t)\geq \alpha\}\rightarrow \theta_{E}\ \text{as}\ n\rightarrow \infty\ \text{for}\ p=1,2,3,...\\ &\Rightarrow \{x_{n}\}\ \text{is a} \alpha- \text{Cauchy sequence}.\\ \end{array} $$

Since X is l-fuzzy complete, thus xX such that

$$\begin{array}{*{20}l} {\lim}_{n\rightarrow \infty}\bigwedge \{ t\succ \theta_E: N_{c}(x_{n}-x,t)\geq \alpha\}=\theta_{E} \end{array} $$
(8)

Now,

$$\begin{array}{*{20}l} &\bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-x,t)\geq \alpha*\alpha\}\\ &\preceq \bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-x_{n},t)\geq \alpha\}+\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n}-x,t)\geq \alpha\}\\ &=\bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-{Tx}_{n-1},t)\geq \alpha\}+\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n}-x,t)\geq \alpha\}\\ &\preceq k\left[~\bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-x_{n-1},t)\geq \alpha\}+\bigwedge \{ t\succ \theta_{E}: N_{c}({Tx}_{n-1}-x,t)\geq \alpha\}\right]\\&+\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n}-x,t)\geq \alpha\}\\ &=k\bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-x_{n-1},t)\geq \alpha\}+(1+k)\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n}-x,t)\geq \alpha\}\\ &\preceq k\left[~\bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-x,t)\geq \alpha\}+\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n-1}-x,t)\geq \alpha\}\right]\\&+(1+k)\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n}-x,t)\geq \alpha\}\\ &\Rightarrow (1-k)\bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-x,t)\geq \alpha\}\preceq k\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n-1}-x,t)\geq \alpha\}\\&+(1+k)\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n}-x,t)\geq \alpha\} \end{array} $$

Using normality condition and (8), we get

$$\begin{array}{*{20}l} &\left\|(1-k)\bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-x,t)\geq \alpha\}\right\|\\ &\leq M\left\|\left.k\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n-1}-x,t)\geq \alpha\}\right]+(1+k)\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n}-x,t)\geq \alpha\}\right\|\\ &\Rightarrow \left\|\bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-x,t)\geq \alpha\}\right\|\leq \frac{Mk}{1-k}\left\|\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n-1}-x,t)\geq \alpha\} \right\|\\&+\frac{M(1+k)}{1-k}\left\|\bigwedge \{ t\succ \theta_{E}: N_{c}(x_{n}-x,t)\geq \alpha\}\right\|\\ &\Rightarrow\left\|\bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-x,t)\geq \alpha\}\right\|=0\ \text{as}\ n\rightarrow \infty \\ &\Rightarrow\bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-x,t)\geq \alpha\}=\theta_{E}\\ &\Rightarrow N_{c}(Tx-x,t)\geq \alpha ~\forall~ \alpha \in (0,1)\ \text{and}~\forall~ t\succ \theta_{E} \\ &\Rightarrow N_{c}(Tx-x,t)=1 ~\forall~ t\succ \theta_{E}\\ &\Rightarrow Tx-x=\theta_{X}\ \text{by}\ (FCN2)\\ &\Rightarrow Tx=x. \end{array} $$

Thus, T has a fixed point.

Uniqueness: If yX such that Ty=y.

Now,

$$\begin{array}{*{20}l} &\bigwedge \{ t\succ \theta_{E}: N_{c}(x-y,t)\geq \alpha\}\\ &=\bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-Ty,t)\geq \alpha\}\\ &\preceq k \left[~\bigwedge \{ t\succ \theta_{E}: N_{c}(Tx-y,t)\geq \alpha\}+\bigwedge \{ t\succ \theta_{E}: N_{c}(Ty-x,t)\geq \alpha\}\right]\\ &= k \left[~\bigwedge \{ t\succ \theta_{E}: N_{c}(x-y,t)\geq \alpha\}+\bigwedge \{ t\succ \theta_{E}: N_{c}(y-x,t)\geq \alpha\}\right]\\ &= 2k ~\bigwedge \{ t\succ \theta_{E}: N_{c}(x-y,t)\geq \alpha\}\\ \end{array} $$

Using normality condition with normal constant 1, we get

$$\begin{array}{*{20}l} &\left\|\bigwedge \{ t\succ \theta_{E}: N_{c}(x-y,t)\geq \alpha\}\right\|\leq \left\|2k \bigwedge \{ t\succ \theta_{E}: N_{c}(x-y,t)\geq \alpha\}\right\|\\ &\Rightarrow (1-2k)\left\|\bigwedge \{ t\succ \theta_{E}: N_{c}(x-y,t)\geq \alpha\}\right\|\leq 0\\ &\Rightarrow\left\|\bigwedge \{ t\succ \theta_{E}: N_{c}(x-y,t)\geq \alpha\}\right\|=0. \left(\text{Since}\ 0< k<\frac{1}{2}\right)\\ &\Rightarrow\bigwedge \{ t\succ \theta_{E}: N_{c}(x-y,t)\geq \alpha\}=\theta_{E}.\\ &\Rightarrow N_{c}(x-y,t)\geq \alpha ~\forall~ \alpha \in (0,1)\ \text{and}~\forall~ t\succ \theta_{E} \\ &\Rightarrow N_{c}(x-y,t)=1 ~\forall~ t\succ \theta_{E}\\ &\Rightarrow x-y=\theta_{X}\ \text{by}\ (FCN2)\\ &\Rightarrow x=y. \end{array} $$

Example 4

Let us consider the l-fuzzy complete cone normed linear space (X,Nc,) of Example 1. Let T be self -map of X given by \(Tx=\frac {x}{2}\). Take \(k=\frac {1}{3}\).

Now,

$$\begin{array}{*{20}l} &\bigwedge\left\{ t\succ \theta_{E}: N_{c}\left(Tx-y,\frac{t}{k}\right)\geq \alpha\right\}+ \bigwedge\left\{ t\succ \theta_{E}: N_{c}\left(Ty-x,\frac{t}{k}\right)\geq \alpha\right\}\\ &\succeq\bigwedge\left\{ s+t\succ \theta_{E}: N_{c}\left(Tx-y+x-Ty,\frac{s+t}{k}\right)\geq \alpha\right\}\\ &=\bigwedge\left\{ s+t\succ \theta_{E}: N_{c}\left(\frac{3x}{2}-\frac{3y}{2},\frac{s+t}{\frac{1}{3}}\right)\geq \alpha\right\}\\ &=\bigwedge\left\{ s+t\succ \theta_{E}: N_{c}\left(\frac{x}{2}-\frac{y}{2},s+t\right)\geq \alpha\right\}\\ &=\bigwedge\left\{ t\succ \theta_{E}: N_{c}\left(\frac{x}{2}-\frac{y}{2},t\right)\geq \alpha\right\}\\ &=\bigwedge\{ t\succ \theta_{E}: N_{c}(Tx-Ty,t)\geq \alpha\} \end{array} $$

Thus, T satisfies Chatterjee type contraction. We see that 0 is the unique fixed point of T.

Availability of data and materials

Not applicable

References

  1. 1

    Katsaras, A. K.: Fuzzy topological vector spaces. Fuzzy Sets Syst. 12(1984), 143–154.

  2. 2

    Felbin, C.: Finite Dimensional Fuzzy Normed Linear Spaces. Fuzzy Sets Syst. 48, 239–248 (1992).

    MathSciNet  Article  Google Scholar 

  3. 3

    Kaleva, O., Seikkala, S.: On fuzzy metric spaces. Fuzzy Sets Syst. 12, 215–229 (1984).

    Article  Google Scholar 

  4. 4

    Cheng, S. C., Mordeson, J. N.: Fuzzy linear operators and fuzzy normed linear spaces. Bull. Calcutta. Math. Soc. 86(5), 429–436 (1994).

    MathSciNet  MATH  Google Scholar 

  5. 5

    Kramosil, I., Michalek, J.: Fuzzy metric and statistical metric spaces. Kybernetica. 11, 326–334 (1975).

    MathSciNet  MATH  Google Scholar 

  6. 6

    Bag, T., Samanta, S. K.: Finite dimensional fuzzy normed linear spaces. J. Fuzzy Math. 11(3), 687–705 (2003).

    MathSciNet  MATH  Google Scholar 

  7. 7

    Long-Guang, H., Xian, Z.: Cone metric spaces and fixed point theorems of contractive mappings. J. Math. Anal. Appl. 332, 1468–1476 (2007).

    MathSciNet  Article  Google Scholar 

  8. 8

    Tamang, P, Bag, T: Some results on finite dimensional fuzzy cone normed linear space. Ann. Fuzzy Math. Inform. 13(1), 123–134 (2017).

    MathSciNet  Article  Google Scholar 

  9. 9

    Banach, S.: Sur les operations dans les ensembles obstraits et. Leur. Application aux equation integrales. Fund. Math. 3, 133–181 (1922).

    MathSciNet  Article  Google Scholar 

  10. 10

    Kannan, R.: Some results on fixed point. Bull. Cal. Math. Soc. 60, 71–76 (1968).

    MathSciNet  MATH  Google Scholar 

  11. 11

    Chatterjee, S. K.: Fixed point theorem, C. R. Acad. Bulg. Sci. 25, 727–30 (1972).

    Google Scholar 

  12. 12

    Deimling, K.: Nonlinear Functional Analysis. Springer, Berlin (1985).

    Google Scholar 

  13. 13

    Klir, G. J., Yuan, B.: Fuzzy sets and fuzzy logic: theory and applications, p. 563. Upper Saddle River (1995).

Download references

Acknowledgements

The authors are grateful to the editor and reviewers for their valuable comments.

Funding

Not applicable

Author information

Affiliations

Authors

Contributions

Both authors jointly worked on the results and approved the final manuscript.

Corresponding author

Correspondence to Phurba Tamang.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Tamang, P., Bag, T. Some fixed point results in fuzzy cone normed linear space. J Egypt Math Soc 27, 46 (2019). https://doi.org/10.1186/s42787-019-0045-6

Download citation

Keywords

  • Fuzzy cone norm
  • Strongly minihedral cone
  • α-convergent
  • α- Cauchy

Mathematics subject classification

  • 46S40
  • 03E72
  • 32C25