C*-Algebra Valued Fuzzy Soft Metric Spaces and Results for Hybrid Pair of Mappings

Abstract

In this paper, we establish some results on coincidence point and common fixed point theorems for a hybrid pair of single valued and multivalued mappings in complete $$C^{*}$$-algebra valued fuzzy soft metric spaces. In addition, we provided some coupled fixed point theorems. Finally, we have given examples which support our main results.

1. Introduction and Preliminaries

We know that the fixed points that can be discussed are divided into two types. The first type deals with contraction and is referred to as Banach fixed point theorems, the second type deals with compact mappings and more involved. Metric fixed point theorems plays very important role, many authors proved fixed point theorems in various spaces (see e.g., [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36]).

The study of fixed points for multivalued mappings using the Hausdorff metric was initiated by Nadler ([14]. The theory of multivalued mappings has a wide range of applications, it has been applied in control theory, convex optimization, differential inclusions, economics, etc. The existence of fixed points for various multivalued contractive mappings has been studied by many authors under different conditions (see [15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30]).

In the year 2014, Ma et al. [7] introduced the concept of $C^{*}$-algebra valued metric space and established some fixed point results. Later, Alsulami et al. [32] suggested some remarks on $C^{*}$-algebras and proved Banach type contraction result, this line of research was continued in (see [8,10,11,12,31,34,35]).

Fuzzy set theory was introduced by Zadeh [36] and the theory of soft sets initiated by Molodstov [37] which helps to solve problems in all areas. Maji et al. [38,39] introduced several operations in soft sets and as also coined fuzzy soft sets. In [1] Thangaraj Beaula et al. defined fuzzy soft metric space in terms of fuzzy soft points and proved some results. On the other hand several authors proved smany results in fuzzy soft sets and fuzzy soft metric spaces (see [1,2,5,6,40,41,42,43,44]).

Recently, R.P.Agarwal et al. [25] introduced the concept of $C^{*}$-algebra valued fuzzy soft metric space based on $C^{*}$-algebras and fuzzy soft elements and described the convergence and completeness properties in this space also they provided some fixed point theorems (see [25,26]).

The main aim of this paper is to introduce the concept of multi-valued mappings in $C^{*}$-algebra valued fuzzy soft metric spaces and proved some coincidence and common fixed point theorems for a two-pair of multi-valued and single-valued maps satisfying new type of contractive conditions. Also we provided some coupled fixed point theorems and finally we are initiate some examples which supports our main results.

Throughout this paper, we use the following notations as in $C^{*}$-algebras:

U refers to an initial universe, E the set of all parameters for U and $P(\tilde{U})$ the set of all fuzzy set of U. $(U,E)$ means the universal set U and parameter set E, $\tilde{C}$ refer to $C^{*}$-algebras. Details on $C^{*}$-algebras are available in [27]. An algebra ‘$\tilde{C}$’together with a conjugate linear involution map $\ast :\tilde{C}\to \tilde{C}$, defined by $\tilde{a}\to {\tilde{a}}^{*}$ such that for all $\tilde{a},\tilde{b}\in \tilde{C}$, we have ${(\tilde{a}\tilde{b})}^{*}={\tilde{b}}^{*}{\tilde{a}}^{*}$ and ${({\tilde{a}}^{*})}^{*}=\tilde{a}$, is called a ⋆-algebra. Moreover, if $\tilde{C}$ an identity element ${\tilde{I}}_{\tilde{C}}$, then the pair $(\tilde{C},\star )$ is called a unital ⋆-algebra. A unital ⋆-algebra $(\tilde{C},\star )$ together with a complete sub multiplicative norm satisfying $\tilde{a}={\tilde{a}}^{*}$ for all $\tilde{a}\in \tilde{C}$ is called a Banach ⋆-algebra. A $C^{*}$-algebra is a Banach ⋆-algebra $(\tilde{C},\star )$ such that ${\tilde{a}}^{*}\tilde{a}={\tilde{a}}^2$ for all $\tilde{a}\in \tilde{C}$, An element $\tilde{a}\in \tilde{C}$ is called a positive element if $\tilde{a}={\tilde{a}}^{*}$ and $\sigma (\tilde{a})\subset R{(C)}^{*}$ is set of non-negative fuzzy soft real numbers, where $\sigma (\tilde{a})=\{\lambda \in R{(C)}^{*}:\lambda \tilde{I}-\tilde{a},$ is non-invertible$\}.$ If $\tilde{a}\in \tilde{C}$ is positive, we write it as $\tilde{a}\ge {\tilde{0}}_{\tilde{C}}$. Using positive elements, one can define partial ordering on $\tilde{C}$ as follows; $\tilde{a}⪯\tilde{b}$ if and only if ${\tilde{0}}_{\tilde{C}}⪯\tilde{b}-\tilde{a}.$ Each positive element ‘$\tilde{a}$’of a $C^{*}$-algebra $\tilde{C}$ has a unique positive square root. Subsequently, $\tilde{C}$ will denote a unital $C^{*}$-algebra with the identity element ${\tilde{I}}_{\tilde{C}}$. Furthermore, ${\tilde{C}}_{+}$ and ${\tilde{C}}^{\prime }$ will denote the set $\{\tilde{a}\in \tilde{C}:{\tilde{0}}_{\tilde{C}}⪯\tilde{a}\}$ and set $\{\tilde{a}\in \tilde{C}:\tilde{a}\tilde{b}=\tilde{b}\tilde{a}\}$, respectively.

Definition 1

([37]). A Fuzzy set A in U is characterized by a function with domain as U and values in $[0,1]$. The collection of all fuzzy set U is $P(\tilde{U})$.

Definition 2

([38]). A pair $(F,E)$ is called a soft set over U if and only if $F:E\to P(U)$ is mapping from E into $P(U)$ the set of all sub set of U.

Definition 3

([43]). Let $C\subseteq E$ then the mapping $F_E:C\to P(\tilde{U})$, defined by $F_E(e)={\mu }^e{F}_E$ (a fuzzy sub set of U), is called fuzzy soft set over $(U,E)$ where, ${\mu }^e{F}_E=\tilde{0}$ if $e\in E-C$ and ${\mu }^e{F}_E\ne \tilde{0}$ if $e\in C$. The set of all fuzzy soft set over $(U,E)$ is denoted by $FS(U,E)$.

Definition 4

([43]). Let $F_E\in FS(U,E)$ and $F_E(e)=\tilde{1}$ for all $e\in E$. Then $F_E$ is called absolute fuzzy soft set. It is denoted by $\tilde{E}$.

Now we recall some basic definitions and properties of $C^{*}$-algebra-valued Fuzzy soft metric spaces.

Definition 5

([25]). Let $C\subseteq E$ and $\tilde{E}$ be the absolute fuzzy soft set that is $F_E(e)=\tilde{1}$ for all $e\in E$. Let $\tilde{C}$ denote the $C^{*}$-algebra. The $C^{*}$-algebra valued fuzzy soft metric using fuzzy soft points is defined as a mapping $\widetilde{d_{c^{*}}}:\tilde{E}\times \tilde{E}\to \tilde{C}$ satisfying the following conditions.

• (M₀)

  ${\tilde{0}}_{\tilde{C}}⪯\tilde{d}(F_{e_1},F_{e_2})$ for all $F_{e_1},F_{e_2}\in \tilde{E}$.

• (M₁)

  $\widetilde{d_{c^{*}}}(F_{e_1},F_{e_2})={\tilde{0}}_{\tilde{C}}\iff F_{e_1}=F_{e_2}$

• (M₂)

  $\widetilde{d_{c^{*}}}(F_{e_1},F_{e_2})=\widetilde{d_{c^{*}}}(F_{e_2},F_{e_1})$

• (M₃)

  $\widetilde{d_{c^{*}}}(F_{e_1},F_{e_3})⪯\widetilde{d_{c^{*}}}(F_{e_1},F_{e_2})+\widetilde{d_{c^{*}}}(F_{e_2},F_{e_3})\forall F_{e_1},F_{e_2},F_{e_3}\in \tilde{E}$.

The fuzzy soft set $\tilde{E}$ with the $C^{*}$-algebra valued fuzzy soft metric $\widetilde{d_{c^{*}}}$ is called the $C^{*}$-algebra valued fuzzy soft metric space. It is denoted by $(\tilde{E},\tilde{C},\widetilde{d_{c^{*}}})$.

Definition 6

([25]). A sequence $\{F_{e_n}\}$ in a $C^{*}$-algebra valued fuzzy soft metric space $(\tilde{E},\tilde{C},\widetilde{d_{c^{*}}})$ is said to converges to $F_{e^{|}}$ in $\tilde{E}$ with respect to $\tilde{C}$. If $||\widetilde{d_{c^{*}}}(F_{e_n},F_{e^{|}}){||}_{\tilde{C}}\to {\tilde{0}}_{\tilde{C}issaidtoconvergesto}$ as $n\to \infty$ that is for every ${\tilde{0}}_{\tilde{C}}\prec \widetilde{ϵ}$ there exists ${\tilde{0}}_{\tilde{C}}\prec \tilde{\delta }$ and a positive integer$N=N(\widetilde{ϵ})$, such that $||\widetilde{d_{c^{*}}}(F_{e_n},F_{e^{|}})||<\tilde{\delta }$ implies that $||{\mu }_{F_{e_n}}^a(s)-{\mu }_{F_{e^{|}}(s)}^a||<\widetilde{ϵ}$, whenever $n\ge N$. It is usually denoted as ${lim}_{n\to \infty }{F}_{e_n}=F_{e^{|}}$.

Definition 7

([25]). A sequence $\{F_{e_n}\}$ in a $C^{*}$-algebra valued fuzzy soft metric space $(\tilde{E},\tilde{C},\widetilde{d_{c^{*}}})$ is said to be Cauchy sequence. If to every ${\tilde{0}}_{\tilde{C}}\prec \widetilde{ϵ}$ there exist ${\tilde{0}}_{\tilde{C}}\prec \tilde{\delta }$ and a positive integer$N=N(\widetilde{ϵ})$ such that $||\widetilde{d_{c^{*}}}(F_{e_n},F_{e_m})||<\tilde{\delta }$ implies that $||{\mu }_{F_{e_n}}^a(s)-{\mu }_{F_{e_m}}^a(s)||<\widetilde{ϵ}$ whenever $n,m\ge N$. That is $||\widetilde{d_{c^{*}}}(F_{e_n},F_{e_m}){||}_{\tilde{C}}\to {\tilde{0}}_{\tilde{C}}asn,m\to \infty$.

Definition 8

([25]). A $C^{*}$-algebra valued fuzzy soft metric space $(\tilde{E},\tilde{C},\widetilde{d_{c^{*}}})$ is said to be complete. If every Cauchy sequence in $\tilde{E}$ converges to some fuzzy soft point of $\tilde{E}$.

Example 1

([25]). Let $C\subseteq R$ and $E\subseteq R$, let $\tilde{E}$ be an absolute fuzzy soft set that is $\tilde{E}(e)=\tilde{1}$ for all $e\in E$, and $\tilde{C}=M_2(R{(C)}^{*})$, define $\widetilde{d_{c^{*}}}:\tilde{E}\times \tilde{E}\to \tilde{C}$ by

$\widetilde{d_{c^{*}}}(F_{e_1},F_{e_2})=\left[\begin{array}{cc}i& 0\\ 0& i\end{array}\right],$

where $i=inf\{|{\mu }_{F_{e_1}}^a(s)-{\mu }_{F_{e_2}}^a(s)|/s\in C\}$ and $F_{e_1},F_{e_2}\in \tilde{E}$. Then $\widetilde{d_{c^{*}}}$ is a $C^{*}$-algebra valued fuzzy soft metric and $(\tilde{E},\tilde{C},\widetilde{d_{c^{*}}})$ is a complete $C^{*}$-algebra valued fuzzy soft metric space by the completeness of $R{(C)}^{*}$.

Lemma 1

([25]). Let $\tilde{C}$ be a $C^{*}$-algebra with the identity element ${\tilde{I}}_{\tilde{C}}$ and $\tilde{x}$ be a positive element of $\tilde{C}$. If $\tilde{a}\in \tilde{C}$ is such that $||\tilde{a}||<1$ then for $m<n$, we have

(1)$\underset{n\to \infty }{lim}\sum _{k=m}^n{({\tilde{a}}^{\star })}^k\tilde{x}{(\tilde{a})}^k={\tilde{I}}_{\tilde{C}}||\widetilde{{(x)}^{\frac{1}{2}}}{||}^2\left(\frac{||\tilde{a}{||}^m}{1-||\tilde{a}||}\right)$

and

(2)$\sum _{k=m}^n{({\tilde{a}}^{\star })}^k\tilde{x}{(\tilde{a})}^k\to {\tilde{0}}_{\tilde{C}} as m\to \infty .$

Lemma 2

([25]). Suppose that $\tilde{C}$ is a unital $C^{*}$-algebra with unit $\tilde{1}$.

• (i) 

  If $\tilde{a}\in \widetilde{C_{+}}$ with $||\tilde{a}||<\frac{1}{2}$ then $\tilde{I}-\tilde{a}$ is invertible and $||\tilde{a}{(\tilde{I}-\tilde{a})}^{-1}||<1$

• (ii) 

  suppose that $\tilde{a},\tilde{b}\in \tilde{C}$ with $\tilde{a},\tilde{b}⪰{\tilde{0}}_{\tilde{C}}$ and $\tilde{a}\tilde{b}=\tilde{b}\tilde{a}$ then $\tilde{a}\tilde{b}⪰{\tilde{0}}_{\tilde{C}}$

• (iii) 

  ${\tilde{C}}^{\prime }$ we denote the set $\{\tilde{a}\in \tilde{C}/\tilde{a}\tilde{b}=\tilde{b}\tilde{a}\forall \tilde{b}\in \tilde{C}\}$. Let $\tilde{a}\in {\tilde{C}}^{\prime }$, if $\tilde{b},\tilde{c}\in \tilde{C}$ with $\tilde{b}⪰\tilde{c}⪰\tilde{0}$ and $\tilde{I}-\tilde{a}\in {{\tilde{C}}^{\prime }}_{+}$ is an invertible operator, then ${(\tilde{I}-\tilde{a})}^{-1}\tilde{b}⪰{(\tilde{I}-\tilde{a})}^{-1}\tilde{c}$, where ${\widetilde{C_{+}}}^{\prime }=\widetilde{C_{+}}\cap {\tilde{C}}^{\prime }$.

Notice that in $c^{*}$-algebra, if $\tilde{0}⪯\tilde{a},\tilde{b}$, one cannot conclude that $\tilde{0}⪯\tilde{a}\tilde{b}$. Indeed, consider the $c^{*}$-algebra $M_2(R{(C)}^{*})$ and set

$\begin{array}{c}\tilde{a}=\left[\begin{array}{cc}{F}_{e_1}(a)& F_{e_2}(a)\\ F_{e_2}(a)& F_{e_1}(b)\end{array}\right]=\left[\begin{array}{cc}0.3& 0.1\\ 0.1& 0.2\end{array}\right]\hfill \\ and \tilde{b}=\left[\begin{array}{cc}{F}_{e_1}(c)& F_{e_2}(c)\\ F_{e_2}(c)& F_{e_1}(d)\end{array}\right]=\left[\begin{array}{cc}0.4& 0.5\\ 0.5& 0.6\end{array}\right]\hfill \end{array}$

then clearly $\tilde{a}⪰\tilde{0}$ and $\tilde{b}⪰\tilde{0}$ but $\tilde{a},\tilde{b}\in M_2{(R{(C)}^{*})}_{+}$ while $\tilde{a}\tilde{b}\notin M_2{(R{(C)}^{*})}_{+}$.

2. Main Results

In this section, first we give the notion of Hausdorff metric in $C^{*}$-algebra valued fuzzy soft metric spaces.

Let $(\tilde{E},\tilde{C},\widetilde{d_{c^{*}}})$ be a $C^{*}$-algebra valued fuzzy soft metric space. We denote by $CB(\tilde{E})$ be a class of all nonempty closed and bounded subsets of $\tilde{E}$. For a points $F_{e_1},F_{e_2}\in \tilde{E}$ and $\tilde{X},\tilde{Y}\in CB(\tilde{E})$, define $\widetilde{D_{c^{*}}}(F_{e_1},\tilde{Y})={inf}_{G_{e_1}\in \tilde{Y}}\widetilde{d_{c^{*}}}(F_{e_1},G_{e_1})$. Let $\widetilde{H_{c^{*}}}$ be the Hausdorff $C^{*}$-algebra valued fuzzy soft metric induced by the $C^{*}$-algebra valued fuzzy soft metric $\widetilde{d_{c^{*}}}$ on $\tilde{E}$ that is

$\widetilde{H_{c^{*}}}(\tilde{X},\tilde{Y})=max\left\{\underset{F_{e_1}\in \tilde{X}}{sup}\widetilde{D_{c^{*}}}(F_{e_1},\tilde{Y}),\underset{G_{e_1}\in \tilde{Y}}{sup}\widetilde{D_{c^{*}}}(\tilde{X},G_{e_1})\right\}$

for every $\tilde{X},\tilde{Y}\in CB(\tilde{E})$. It is well known that $\left(CB(\tilde{E}),\tilde{C},\widetilde{H_{c^{*}}}\right)$ is a complete $C^{*}$-algebra valued fuzzy soft metric space, whenever $(\tilde{E},\tilde{C},\widetilde{d_{c^{*}}})$ is a complete $C^{*}$-algebra valued fuzzy soft metric space.

Definition 9.

Let $T:\tilde{E}\to CB(\tilde{E})$ be a multivalued map. An element $F_{e_1}\in \tilde{E}$ is fixed point of F if $F_{e_1}\in T{F}_{e_1}$.

Definition 10.

Let $T:\tilde{E}\to CB(\tilde{E})$ and $f:\tilde{E}\to \tilde{E}$ be a multivalued map and single valued maps. An element $F_{e_1}\in \tilde{E}$ is coincidence point of F and f if $f{F}_{e_1}\in T{F}_{e_1}$. We denote

$C\left\{f,T\right\}=\left\{F_{e_1}\in \tilde{E}/f{F}_{e_1}\in T{F}_{e_1}\right\}$

Definition 11.

The mappings $T:\tilde{E}\to CB(\tilde{E})$ and $f:\tilde{E}\to \tilde{E}$ are weakly compatible if they commute at their coincidence points, i.e., if $fT{F}_{e_1}=Tf{F}_{e_1}$, whenever $f{F}_{e_1}\in T{F}_{e_1}$.

Definition 12.

Let $T:\tilde{E}\to CB(\tilde{E})$ and $f:\tilde{E}\to \tilde{E}$ be a multivalued map and single valued maps. The map f is said to be T-weakly commuting at $F_{e_1}\in \tilde{E}$ if $ff{F}_{e_1}\in Tf{F}_{e_1}$.

Definition 13.

An element $F_{e_1}\in \tilde{E}$ is a common fixed point of $T,S:\tilde{E}\to CB(\tilde{E})$ and $f:\tilde{E}\to \tilde{E}$ if $F_{e_1}=f{F}_{e_1}\in T{F}_{e_1}\cap S{F}_{e_1}$.

Example 2.

Let $U=R^{+}$ and $E=C=[0,4]$, let $\tilde{E}$ be an absolute fuzzy soft set that is $\tilde{E}(e)=\tilde{1}$ for all $e\in E$, and $\tilde{C}=M_2(R{(C)}^{*})$, define ${\tilde{d}}_{c^{*}}:\tilde{E}\times \tilde{E}\to \tilde{C}$ by ${\tilde{d}}_{c^{*}}(F_{e_1}(a),F_{e_2}(a))(s)=\left[\begin{array}{cc}i& 0\\ 0& i\end{array}\right]$ where $i=inf\{|{\mu }_{F_{e_1}}^a(s)-{\mu }_{F_{e_2}}^a(s)|/s\in C\}$ then $(\tilde{E},\tilde{C},{\tilde{d}}_{c^{*}})$ is a $C^{*}$-algebra valued fuzzy soft metric space and define $f:\tilde{E}\to \tilde{E}$ and $T:\tilde{E}\to CB(\tilde{E})$

$f{F}_e(a)=\left\{\begin{array}{c}\tilde{0}if{F}_e(a)\in [0,\frac{1}{2}]\\ \frac{F_e(a)}{2}if{F}_e(a)\in (\frac{1}{2},1]\end{array}\right.,T{F}_e(a)=\left\{\begin{array}{c}\left\{F_e(a)\right\}if{F}_e(a)\in [0,\frac{1}{2}]\\ [0,\tilde{1}-\frac{F_e(a)}{4}]if{F}_e(a)\in (\frac{1}{2},1]\end{array}\right.$

We have

• $f\tilde{1}=\frac{1}{2}\in [0,\frac{3}{4}]=T\tilde{1}$ that is, $F_e(a)=\tilde{1}$ is a coincidence point of f and T;

• $fT\tilde{1}=[0,\frac{1}{2}]\ne [0,\frac{7}{8}]=Tf\tilde{1}$ that is, f and T are not weakly compatible mappings;

• $ff\tilde{1}=\frac{1}{4}\in [0,\frac{7}{8}]=Tf\tilde{1}$ that is, f is T -weakly commuting at $\tilde{1}$.

Theorem 1.

Let $(\tilde{E},\tilde{C},\widetilde{d_{c^{*}}})$ be a complete $C^{*}$-algebra valued fuzzy soft metric space, and $T:\tilde{E}\to CB(\tilde{E})$ be a multivalued map satisfying

(3) $\begin{array}{c}\hfill \widetilde{H_{c^{*}}}\left(T{F}_{e_1},T{F}_{e_2}\right)⪯{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(F_{e_1},F_{e_2})\tilde{a}\end{array}$

for all $F_{e_1},F_{e_2}\in \tilde{E}$, where $\tilde{a}\in \tilde{C}$ with $||\tilde{a}||<1$. Then T has a unique fixed point in $\tilde{E}$.

Lemma 3.

If $\tilde{X},\tilde{Y}\in CB(\tilde{E})$ and $F_{e_1}\in \tilde{X}$, then for any fixed $\tilde{b}\in {\widetilde{C_{+}}}^{\prime }$ with $||\tilde{b}||<1$, there exists $F_{e_2}=F_{e_2}(F_{e_1})\in \tilde{Y}$ such that

(4) $\begin{array}{c}\hfill \widetilde{d_{c^{*}}}\left(F_{e_1},F_{e_2}\right)⪯\tilde{b}\widetilde{H_{c^{*}}}(\tilde{X},\tilde{Y}).\end{array}$

Theorem 2.

Let $(\tilde{E},\tilde{C},\widetilde{d_{c^{*}}})$ be a complete $C^{*}$-algebra valued fuzzy soft metric space. Let $S,T:\tilde{E}\to CB(\tilde{E})$ be a pair of multivalued maps and $f,g:\tilde{E}\to \tilde{E}$ be a single-valued maps. Suppose that

(5) $\begin{array}{ccc}\hfill \widetilde{H_{c^{*}}}\left(S{F}_{e_1},T{F}_{e_2}\right)& ⪯& \tilde{a}\widetilde{d_{c^{*}}}(f{F}_{e_1},g{F}_{e_2})+\tilde{a}\left(\widetilde{D_{c^{*}}}(f{F}_{e_1},S{F}_{e_1})+\widetilde{D_{c^{*}}}(g{F}_{e_2},T{F}_{e_2})\right)\hfill \\ & & +\tilde{a}\left(\widetilde{D_{c^{*}}}(f{F}_{e_1},T{F}_{e_2})+\widetilde{D_{c^{*}}}(g{F}_{e_2},S{F}_{e_1})\right),\hfill \end{array}$

for all $F_{e_1},F_{e_2}\in \tilde{E}$, where $\tilde{a}\in {\widetilde{C_{+}}}^{\prime }$ with $||\tilde{a}||<1$. Suppose that

• (A₁)

  $S\tilde{E}\subseteq g\tilde{E}$, $T\tilde{E}\subseteq f\tilde{E}$;

• (A₁)

  $f(\tilde{E})$ and $g(\tilde{E})$ are closed.

Then, there exist points $F_{e^{\prime }},G_{e^{\prime }}\in \tilde{E}$, such that $f{F}_{e^{\prime }}\in S{F}_{e^{\prime }}$, $g{G}_{e^{\prime }}\in T{G}_{e^{\prime }}$ and $f{F}_{e^{\prime }}=g{G}_{e^{\prime }}$, $S{F}_{e^{\prime }}=T{G}_{e^{\prime }}.$

Proof. 

Let $F_{e_0}\in \tilde{E}$ be an arbitrary. From $(A_1)$ and Lemma 3, there exist $F_{e_1},F_{e_2}\in \tilde{E}$, such that $g{F}_{e_1}\in S{F}_{e_0}$, $f{F}_{e_2}\in T{F}_{e_1}$ and

(6)$\begin{array}{c}\hfill \widetilde{d_{c^{*}}}\left(g{F}_{e_1},f{F}_{e_2}\right)⪯\tilde{b}\widetilde{H_{c^{*}}}(S{F}_{e_0},T{F}_{e_1}).\end{array}$

From (5) and (6), we have

(7)$\begin{array}{ccc}\hfill \widetilde{d_{c^{*}}}\left(g{F}_{e_1},f{F}_{e_2}\right)& ⪯& \tilde{b}\widetilde{H_{c^{*}}}(S{F}_{e_0},T{F}_{e_1})\hfill \\ & ⪯& \tilde{b}\tilde{a}\widetilde{d_{c^{*}}}(f{F}_{e_0},g{F}_{e_1})+\tilde{b}\tilde{a}\left(\widetilde{D_{c^{*}}}(f{F}_{e_0},S{F}_{e_0})+\widetilde{D_{c^{*}}}(g{F}_{e_1},T{F}_{e_1})\right)\hfill \\ & & +\tilde{b}\tilde{a}\left(\widetilde{D_{c^{*}}}(f{F}_{e_0},T{F}_{e_1})+\widetilde{D_{c^{*}}}(g{F}_{e_1},S{F}_{e_0})\right).\hfill \end{array}$

In contrast, we have

(8)$\begin{array}{c}\widetilde{D_{c^{*}}}(f{F}_{e_0},S{F}_{e_0})⪯\widetilde{d_{c^{*}}}(f{F}_{e_0},g{F}_{e_1})\hfill \\ \widetilde{D_{c^{*}}}(g{F}_{e_1},T{F}_{e_1})⪯\widetilde{d_{c^{*}}}(g{F}_{e_1},f{F}_{e_2})\hfill \\ \widetilde{D_{c^{*}}}(g{F}_{e_1},S{F}_{e_0})⪯\widetilde{d_{c^{*}}}(g{F}_{e_1},g{F}_{e_1})=0\hfill \\ \widetilde{D_{c^{*}}}(f{F}_{e_0},T{F}_{e_1})⪯\widetilde{d_{c^{*}}}(f{F}_{e_0},f{F}_{e_2})⪯\widetilde{d_{c^{*}}}(f{F}_{e_0},g{F}_{e_1})+\widetilde{d_{c^{*}}}(g{F}_{e_1},f{F}_{e_2}).\hfill \end{array}$

From (7) and (8), we have

(9)$\begin{array}{ccc}\hfill \widetilde{d_{c^{*}}}\left(g{F}_{e_1},f{F}_{e_2}\right)& ⪯& \tilde{b}\tilde{a}\widetilde{d_{c^{*}}}(f{F}_{e_0},g{F}_{e_1})+\tilde{b}\tilde{a}\left(\widetilde{d_{c^{*}}}(f{F}_{e_0},g{F}_{e_1})+\widetilde{d_{c^{*}}}(g{F}_{e_1},f{F}_{e_2})\right)\hfill \\ & & +\tilde{b}\tilde{a}\left(\widetilde{d_{c^{*}}}(f{F}_{e_0},g{F}_{e_1})+\widetilde{d_{c^{*}}}(g{F}_{e_1},f{F}_{e_2})\right)\hfill \\ & & =3\tilde{b}\tilde{a}\widetilde{d_{c^{*}}}(f{F}_{e_0},g{F}_{e_1})+2\tilde{b}\tilde{a}\widetilde{d_{c^{*}}}(g{F}_{e_1},f{F}_{e_2}).\hfill \end{array}$

Therefore,

$\begin{array}{c}\hfill (1-2\tilde{b}\tilde{a})\widetilde{d_{c^{*}}}\left(g{F}_{e_1},f{F}_{e_2}\right)⪯3\tilde{b}\tilde{a}\widetilde{d_{c^{*}}}(f{F}_{e_0},g{F}_{e_1}).\end{array}$

Since $||\tilde{b}||||\tilde{a}||<\frac{1}{2}$ Then $1-2\tilde{b}\tilde{a}$ is invertible, and can expressed as ${(1-2\tilde{b}\tilde{a})}^{-1}={\displaystyle \sum _{m=0}^{\infty }}{(2\tilde{b}\tilde{a})}^m$, which together with $2\tilde{b}\tilde{a}\in {\widetilde{C_{+}}}^{\prime }$ can yields ${(1-2\tilde{b}\tilde{a})}^{-1}\in {\widetilde{C_{+}}}^{\prime }.$ By Lemma 2 (iii), we know

$\begin{array}{c}\hfill \widetilde{d_{c^{*}}}\left(g{F}_{e_1},f{F}_{e_2}\right)⪯\tilde{\kappa }\widetilde{d_{c^{*}}}(f{F}_{e_0},g{F}_{e_1}),\end{array}$

where $\tilde{\kappa }=3\tilde{b}\tilde{a}{(1-2\tilde{b}\tilde{a})}^{-1}\in {\widetilde{C_{+}}}^{\prime }$ with $||3\tilde{b}\tilde{a}{(1-2\tilde{b}\tilde{a})}^{-1}||<1.$ Again from $(A_1)$ and Lemma 3 with $||\tilde{b}||<1$, as $f{F}_{e_2}\in T{F}_{e_1}$, there exists $F_{e_3}\in \tilde{E}$ such that $g{F}_{e_3}\in S{F}_{e_2}$ and

(10)$\begin{array}{c}\hfill \widetilde{d_{c^{*}}}\left(f{F}_{e_2},g{F}_{e_3}\right)⪯\tilde{b}\widetilde{H_{c^{*}}}(S{F}_{e_2},T{F}_{e_1}).\end{array}$

From (5) and (10), we get

(11)$\begin{array}{ccc}\hfill \widetilde{d_{c^{*}}}\left(f{F}_{e_2},g{F}_{e_3}\right)& ⪯& \tilde{b}\widetilde{H_{c^{*}}}(S{F}_{e_2},T{F}_{e_1})\hfill \\ & ⪯& \tilde{b}\tilde{a}\widetilde{d_{c^{*}}}(f{F}_{e_2},g{F}_{e_1})+\tilde{b}\tilde{a}\left(\widetilde{D_{c^{*}}}(f{F}_{e_2},S{F}_{e_2})+\widetilde{D_{c^{*}}}(g{F}_{e_1},T{F}_{e_1})\right)\hfill \\ & & +\tilde{b}\tilde{a}\left(\widetilde{D_{c^{*}}}(f{F}_{e_2},T{F}_{e_1})+\widetilde{D_{c^{*}}}(g{F}_{e_1},S{F}_{e_2})\right).\hfill \end{array}$

In contrast, we have

(12)$\begin{array}{c}\widetilde{D_{c^{*}}}(f{F}_{e_2},S{F}_{e_2})⪯\widetilde{d_{c^{*}}}(f{F}_{e_2},g{F}_{e_3})\hfill \\ \widetilde{D_{c^{*}}}(g{F}_{e_1},T{F}_{e_1})⪯\widetilde{d_{c^{*}}}(g{F}_{e_1},f{F}_{e_2})\hfill \\ \widetilde{D_{c^{*}}}(f{F}_{e_2},T{F}_{e_1})⪯\widetilde{d_{c^{*}}}(f{F}_{e_2},f{F}_{e_2})=0\hfill \\ \widetilde{D_{c^{*}}}(g{F}_{e_1},S{F}_{e_2})⪯\widetilde{d_{c^{*}}}(g{F}_{e_1},g{F}_{e_3})⪯\widetilde{d_{c^{*}}}(g{F}_{e_1},f{F}_{e_2})+\widetilde{d_{c^{*}}}(f{F}_{e_2},g{F}_{e_3}).\hfill \end{array}$

Similarly as above, from (11) and (12), we get

$\begin{array}{c}\hfill \widetilde{d_{c^{*}}}\left(f{F}_{e_2},g{F}_{e_3}\right)⪯\tilde{\kappa }\widetilde{d_{c^{*}}}(g{F}_{e_1},f{F}_{e_2}).\end{array}$

Continuing this process, we can construct a sequence $\left\{G_{e_n}\right\}$ in $\tilde{E}$, such that $G_{e_0}=g{F}_{e_1}$ and, for each $n\in N$,

(13)$\begin{array}{c}\hfill G_{e_{2n}}=g{F}_{e_{2n+1}}\in S{F}_{e_{2n}}{G}_{e_{2n+1}}=f{F}_{e_{2n+2}}\in T{F}_{e_{2n+1}}\end{array}$

and

$\begin{array}{c}\widetilde{d_{c^{*}}}\left(G_{e_{2n}},G_{e_{2n+1}}\right)=\widetilde{d_{c^{*}}}(g{F}_{e_{2n+1}},f{F}_{e_{2n+2}})⪯\tilde{\kappa }\widetilde{d_{c^{*}}}(g{F}_{e_{2n+1}},f{F}_{e_{2n}})\hfill \\ \widetilde{d_{c^{*}}}\left(G_{e_{2n-1}},G_{e_{2n}}\right)=\widetilde{d_{c^{*}}}(f{F}_{e_{2n}},g{F}_{e_{2n+1}})⪯\tilde{\kappa }\widetilde{d_{c^{*}}}(g{F}_{e_{2n-1}},f{F}_{e_{2n}}).\hfill \end{array}$

Therefore, we have

(14)$\begin{array}{c}\hfill \widetilde{d_{c^{*}}}\left(G_{e_n},G_{e_{n+1}}\right)⪯\tilde{\kappa }\widetilde{d_{c^{*}}}\left(G_{e_{n-1}},G_{e_n}\right)\mathrm{for} \mathrm{all} n\ge 1.\end{array}$

From (14), by induction and Lemma 2 (iii), we get

(15)$\begin{array}{c}\hfill \widetilde{d_{c^{*}}}\left(G_{e_n},G_{e_{n+1}}\right)⪯{\tilde{\kappa }}^n\widetilde{d_{c^{*}}}\left(G_{e_0},G_{e_1}\right)\mathrm{for} \mathrm{all} n\in N.\end{array}$

Now, we shall show that $\left\{G_{e_n}\right\}$ is a Cauchy sequence in $\tilde{E}$.

For $m>n$, by using triangle inequality and (15), we have

$\begin{array}{cc}\hfill \widetilde{d_{c^{*}}}\left(G_{e_n},G_{e_m}\right)& ⪯\widetilde{d_{c^{*}}}\left(G_{e_n},G_{e_{n+1}}\right)+\widetilde{d_{c^{*}}}\left(G_{e_{n+1}},G_{e_{n+2}}\right)+\cdots +\widetilde{d_{c^{*}}}\left(G_{e_{m-1}},G_{e_m}\right)\hfill \\ & ⪯\left({\tilde{\kappa }}^n+{\tilde{\kappa }}^{n+1}+{\tilde{\kappa }}^{n+2}+\cdots +{\tilde{\kappa }}^{m-1}\right)\widetilde{d_{c^{*}}}\left(G_{e_0},G_{e_1}\right)\hfill \\ & \le ||{\tilde{\kappa }}^n+{\tilde{\kappa }}^{n+1}+{\tilde{\kappa }}^{n+2}+\cdots +{\tilde{\kappa }}^{m-1}||||\widetilde{d_{c^{*}}}\left(G_{e_0},G_{e_1}\right)||{\tilde{I}}_{\tilde{C}}\hfill \\ & \le ||{\tilde{\kappa }}^n||+||{\tilde{\kappa }}^{n+1}||+\cdots +||{\tilde{\kappa }}^{m-1}||||\widetilde{d_{c^{*}}}\left(G_{e_0},G_{e_1}\right)||{\tilde{I}}_{\tilde{C}}\hfill \\ & =\frac{||\tilde{\kappa }{||}^n}{1-||\tilde{\kappa }||}||\widetilde{d_{c^{*}}}\left(G_{e_0},G_{e_1}\right)||{\tilde{I}}_{\tilde{C}}\to 0 \mathrm{as} n\to \infty .\hfill \end{array}$

Hence $\left\{G_{e_n}\right\}$ is a Cauchy sequence. Now as,$(\tilde{E},\tilde{C},\widetilde{d_{c^{*}}})$ be a complete $C^{*}$-algebra valued fuzzy soft metric space, $\left\{G_{e_n}\right\}$ converges to some $G_{e^{\prime }}\in \tilde{E}$. Therefore,

(16)$\begin{array}{c}\hfill \underset{n\to \infty }{lim}{G}_{e_n}=\underset{n\to \infty }{lim}g{F}_{e_{2n+1}}=\underset{n\to \infty }{lim}f{F}_{e_{2n+2}}=G_{e^{\prime }}.\end{array}$

As $G_{e_{2n}}=g{F}_{e_{2n+1}}$, $G_{e_{2n+1}}=f{F}_{e_{2n+2}}$ and $f(\tilde{E})$, $g(\tilde{E})$ are closed, then $G_{e^{\prime }}\in f(\tilde{E})$ and $G_{e^{\prime }}\in g(\tilde{E})$. Therefore, there exist $F_{e^{\prime }},F_{e^{″}}\in \tilde{E}$, such that $f{F}_{e^{\prime }}=G_{e^{\prime }}$ and $g{F}_{e^{″}}=G_{e^{\prime }}.$ Thus, we have proved that

(17)$\begin{array}{c}\hfill f{F}_{e^{\prime }}=g{F}_{e^{″}}.\end{array}$

From the contraction type condition (5) and (13), we obtain

$\begin{array}{cc}\hfill \widetilde{D_{c^{*}}}\left(f{F}_{e^{\prime }},S{F}_{e^{\prime }}\right)& ⪯\widetilde{d_{c^{*}}}\left(f{F}_{e^{\prime }},f{F}_{e_{2n+2}}\right)+\widetilde{D_{c^{*}}}\left(f{F}_{e_{2n+2}},S{F}_{e^{\prime }}\right)\hfill \\ & ⪯\widetilde{d_{c^{*}}}\left(f{F}_{e^{\prime }},f{F}_{e_{2n+2}}\right)+\widetilde{H_{c^{*}}}\left(S{F}_{e^{\prime }},T{F}_{e_{2n+1}}\right)\hfill \\ & ⪯\widetilde{d_{c^{*}}}\left(f{F}_{e^{\prime }},f{F}_{e_{2n+2}}\right)+\tilde{a}\widetilde{d_{c^{*}}}\left(f{F}_{e^{\prime }},g{F}_{e_{2n+1}}\right)\hfill \\ & +\tilde{a}\left(\widetilde{D_{c^{*}}}\left(f{F}_{e^{\prime }},S{F}_{e^{\prime }}\right)+\widetilde{D_{c^{*}}}\left(g{F}_{e_{2n+1}},T{F}_{e_{2n+1}}\right)\right)\hfill \\ & +\tilde{a}\left(\widetilde{D_{c^{*}}}\left(f{F}_{e^{\prime }},T{F}_{e_{2n+1}}\right)+\widetilde{D_{c^{*}}}\left(g{F}_{e_{2n+1}},S{F}_{e^{\prime }}\right)\right)\hfill \\ & ⪯\widetilde{d_{c^{*}}}\left(f{F}_{e^{\prime }},f{F}_{e_{2n+2}}\right)+\tilde{a}\widetilde{d_{c^{*}}}\left(f{F}_{e^{\prime }},g{F}_{e_{2n+1}}\right)\hfill \\ & +\tilde{a}\left(\widetilde{D_{c^{*}}}\left(f{F}_{e^{\prime }},S{F}_{e^{\prime }}\right)+\widetilde{D_{c^{*}}}\left(g{F}_{e_{2n+1}},f{F}_{e_{2n+2}}\right)\right)\hfill \\ & +\tilde{a}\left(\widetilde{D_{c^{*}}}\left(f{F}_{e^{\prime }},f{F}_{e_{2n+2}}\right)+\widetilde{D_{c^{*}}}\left(g{F}_{e_{2n+1}},S{F}_{e^{\prime }}\right)\right).\hfill \end{array}$

which implies

$\begin{array}{cc}\hfill \widetilde{D_{c^{*}}}\left(f{F}_{e^{\prime }},S{F}_{e^{\prime }}\right)& ⪯{(1-\tilde{a})}^{-1}\widetilde{d_{c^{*}}}\left(f{F}_{e^{\prime }},f{F}_{e_{2n+2}}\right)+{(1-\tilde{a})}^{-1}\tilde{a}\widetilde{d_{c^{*}}}\left(f{F}_{e^{\prime }},g{F}_{e_{2n+1}},\right)\hfill \\ & +{(1-\tilde{a})}^{-1}\tilde{a}\left(\widetilde{D_{c^{*}}}\left(g{F}_{e_{2n+1}},f{F}_{e_{2n+2}}\right)\right)\hfill \\ & +{(1-\tilde{a})}^{-1}\tilde{a}\left(\widetilde{D_{c^{*}}}\left(f{F}_{e^{\prime }},f{F}_{e_{2n+2}}\right)+\widetilde{D_{c^{*}}}\left(g{F}_{e_{2n+1}},S{F}_{e^{\prime }}\right)\right).\hfill \end{array}$

Letting $n\to \infty$ in the above inequality and using (16) and (17), we obtain

$\begin{array}{c}\hfill ||\widetilde{D_{c^{*}}}\left(f{F}_{e^{\prime }},S{F}_{e^{\prime }}\right)||\le ||{(1-\tilde{a})}^{-1}\tilde{a}||||\widetilde{D_{c^{*}}}\left(f{F}_{e^{\prime }},S{F}_{e^{\prime }}\right)||.\end{array}$

Then $\widetilde{D_{c^{*}}}\left(f{F}_{e^{\prime }},S{F}_{e^{\prime }}\right)=0.$ Hence, as $S{F}_{e^{\prime }}$ is closed,

(18)$\begin{array}{c}\hfill f{F}_{e^{\prime }}\in S{F}_{e^{\prime }}.\end{array}$

Similarly, we can prove that

(19)$\begin{array}{c}\hfill g{F}_{e^{″}}\in T{F}_{e^{″}}.\end{array}$

Now, we have to prove that

(20)$\begin{array}{c}\hfill S{F}_{e^{\prime }}=T{F}_{e^{″}}.\end{array}$

Using (5), (17)–(19), we get

$\begin{array}{cc}\hfill \widetilde{H_{c^{*}}}\left(S{F}_{e^{\prime }},T{F}_{e^{″}}\right)& ⪯\tilde{a}\widetilde{d_{c^{*}}}\left(f{F}_{e^{\prime }},g{F}_{e^{″}}\right)+\tilde{a}\left(\widetilde{D_{c^{*}}}\left(f{F}_{e^{\prime }},S{F}_{e^{\prime }}\right)+\widetilde{D_{c^{*}}}\left(g{F}_{e^{\prime \prime }},T{F}_{e^{\prime \prime }}\right)\right)\hfill \\ & +\tilde{a}\left(\widetilde{D_{c^{*}}}\left(f{F}_{e^{\prime }},T{F}_{e^{\prime \prime }}\right)+\widetilde{D_{c^{*}}}\left(g{F}_{e^{\prime \prime }},S{F}_{e^{\prime }}\right)\right)\hfill \\ & ⪯\tilde{a}\left(\widetilde{D_{c^{*}}}\left(g{F}_{e^{\prime \prime }},T{F}_{e^{\prime \prime }}\right)+\widetilde{D_{c^{*}}}\left(f{F}_{e^{\prime }},S{F}_{e^{\prime }}\right)\right)={\tilde{0}}_{\tilde{C}}.\hfill \end{array}$

Hence, $S{F}_{e^{\prime }}=T{F}_{e^{″}}$. Thus, by (17)–(20), we have proved that

$f{F}_{e^{\prime }}\in S{F}_{e^{\prime }}g{F}_{e^{″}}\in T{F}_{e^{″}}f{F}_{e^{\prime }}=g{F}_{e^{″}}S{F}_{e^{\prime }}=T{F}_{e^{″}}.$

 □

Example 3.

Let $E=\{e_1,e_2,e_3\},U=\{a,b,c,d\}$ and $C \mathit{and} D$ are two subset of E where $C=\{e_1,e_2,e_3\}$, $D=\{e_1,e_2,\}$. Define fuzzy soft set as,

$\begin{array}{c}(F_E,C)=\left\{\begin{array}{c}{e}_1=\{a_{0.1},b_{0.3},c_{0.4},d_{0.5}\},e_2=\{a_{0.3},b_{0.4},c_{0.6},d_{0.7}\},\\ e_3=\{a_{0.6},b_{0.7},c_{0.8},d_{0.9}\}\end{array}\right\}\hfill \\ (G_E,D)=\{e_1=\{a_{0.4},b_{0.5},c_{0.2},d_{0.6}\},e_2=\{a_{0.5},b_{0.6},c_{0.3},d_{0.7}\}\}\hfill \\ F_{e_1}={\mu }_{F_{e_1}}=\{a_{0.1},b_{0.3},c_{0.4},d_{0.5}\},F_{e_2}={\mu }_{F_{e_2}}=\{a_{0.3},b_{0.4},c_{0.6},d_{0.7}\}\hfill \\ F_{e_3}={\mu }_{F_{e_3}}=\{a_{0.6},b_{0.7},c_{0.8},d_{0.9}\}\hfill \\ G_{e_1}={\mu }_{G_{e_1}}=\{a_{0.4},b_{0.5},c_{0.2},d_{0.6}\},G_{e_2}={\mu }_{G_{e_2}}=\{a_{0.5},b_{0.6},c_{0.3},d_{0.7}\}\hfill \end{array}$

and $FSC(F_E)=\{F_{e_1},F_{e_2},F_{e_3},G_{e_1},G_{e_2}\}$, let $\tilde{E}$ be absolute fuzzy soft set that is $\tilde{E}(e)=\tilde{1}$, for all $e\in E$, and $\tilde{C}=M_2(R{(C)}^{*})$, be the $C^{*}$-algebra. Define ${\tilde{d}}_{c^{*}}:\tilde{E}\times \tilde{E}\to \tilde{C}$ by ${\tilde{d}}_{c^{*}}(F_{e_1},F_{e_2})=(inf\{|F_{e_1}(a)-F_{e_2}(a)|/a\in C\},0)$, then obviously $(\tilde{E},\tilde{C},{\tilde{d}}_{c^{*}})$ is a complete $C^{*}$-algebra valued fuzzy soft metric space.

We define $S:\tilde{E}\to CB(\tilde{E})$ by $S{F}_{e_1}(a)=F_{e_1}^2+\frac{1}{4}$, $T:\tilde{E}\to CB(\tilde{E})$ by $T{F}_{e_1}(a)=F_{e_1}^3+\frac{1}{4}$, $f:\tilde{E}\to \tilde{E}$ by $f{F}_{e_1}=2F_{e_1}^2$ and $g:\tilde{E}\to \tilde{E}$ by $g{F}_{e_1}=2F_{e_1}^3$ for all $a\in U$ and $F_{e_1}\in \tilde{E}.$ Notice that $f{F}_{e_1}=2F_{e_1}^2=\left\{0.02,0.18,0.32,0.50\right\}$ and $g{F}_{e_2}=2F_{e_1}^3=\left\{0.054,0.128,0.432,0.686\right\}.$ Thus, $inf\{|{\mu }_{f{F}_{e_1}}^a(s)-{\mu }_{g{F}_{e_2}}^a(s)|/s\in C\}$ $=inf\{0.034,0.052,0.112,0.186\}=0.034.$ Hence ${\tilde{d}}_{c^{*}}(f{F}_{e_1},g{F}_{e_2})=\left[\begin{array}{cc}0.034& 0\\ 0& 0.034\end{array}\right].$

Also, we have

$\begin{array}{cc}\hfill {\tilde{d}}_{c^{*}}(S{F}_{e_1},T{F}_{e_2})(a)& =(inf\{|S{F}_{e_1}(a)-T{F}_{e_2}(a)|/a\in C\},0)\hfill \\ & =(inf\{0.017,0.026,0.056,0.093\},0)=\left[\begin{array}{cc}0.017& 0\\ 0& 0.017\end{array}\right]\hfill \\ & ⪯\left[\begin{array}{cc}0.027& 0\\ 0& 0.027\end{array}\right]\hfill \\ & ⪯\left[\begin{array}{cc}0.8& 0\\ 0& 0.8\end{array}\right]\left[\begin{array}{cc}0.034& 0\\ 0& 0.034\end{array}\right]\hfill \\ & ⪯\tilde{c}{\tilde{d}}_{c^{*}}(f{F}_{e_1},g{F}_{e_2}).\hfill \end{array}$

Here $\tilde{c}=\left[\begin{array}{cc}0.8& 0\\ 0& 0.8\end{array}\right]$ with $||\tilde{c}||=0.8<1.$

Therefore, (5) holds for all $F_{e_1},F_{e_2}\in \tilde{E}.$ Also, the other Hypotheses $(A_1)$ and $(A_2)$ are satisfied. It is seen that $S(0.5)=f(0.5)=0.5$ and $T(0.63)=g(0.63)=0.5.$ Therefore, S and f have the coincidence at the point $F_{e^{\prime }}=0.5$, T and g at the point $F_{e^{″}}=0.63$, and $S(0.5)=T(0.63)$.

Theorem 3.

Let $(\tilde{E},\tilde{C},\widetilde{d_{c^{*}}})$ be a complete $C^{*}$-algebra valued fuzzy soft metric space. Let $S,T:\tilde{E}\to CB(\tilde{E})$ be a pair of multivalued maps and $f:\tilde{E}\to \tilde{E}$ be a single-valued map. Suppose that

(21) $\begin{array}{ccc}\hfill \widetilde{H_{c^{*}}}\left(S{F}_{e_1},T{F}_{e_2}\right)& ⪯& \tilde{a}\widetilde{d_{c^{*}}}(f{F}_{e_1},f{F}_{e_2})+\tilde{a}\left(\widetilde{D_{c^{*}}}(f{F}_{e_1},S{F}_{e_1})+\widetilde{D_{c^{*}}}(f{F}_{e_2},T{F}_{e_2})\right)\hfill \\ & & +\tilde{a}\left(\widetilde{D_{c^{*}}}(f{F}_{e_1},T{F}_{e_2})+\widetilde{D_{c^{*}}}(f{F}_{e_2},S{F}_{e_1})\right)\hfill \end{array}$

for all $F_{e_1},F_{e_2}\in \tilde{E}$, where $\tilde{a}\in {\widetilde{C_{+}}}^{\prime }$ with $||\tilde{a}||<1$. Suppose that

• (B₁)

  $S\tilde{E}\cup T\tilde{E}\subseteq f\tilde{E}$;

• (B₂)

  $f(\tilde{E})$ is closed.

Then, $f,T$ and S have a coincidence in $\tilde{E}$. Moreover, if f is both T -weakly commuting and S-weakly commuting at each $F_{e^{\prime }}\in C(f,T)$, and $ff{F}_{e^{\prime }}=f{F}_{e^{\prime }}$, then, $f,T$ and S have a common fixed point in $\tilde{E}$.

Proof. 

If $f=g$ in Theorem (2), we obtain that there exist points $F_{e^{\prime }},G_{e^{\prime }}\in \tilde{E}$, such that $f{F}_{e^{\prime }}\in S{F}_{e^{\prime }}$, $f{G}_{e^{\prime }}\in T{G}_{e^{\prime }}$ and $f{F}_{e^{\prime }}=f{G}_{e^{\prime }}$, $S{F}_{e^{\prime }}=T{G}_{e^{\prime }}.$ As $F_{e^{\prime }}\in C(f,T)$, f is T-weakly commuting at $F_{e^{\prime }}$ and $ff{F}_{e^{\prime }}=f{F}_{e^{\prime }}$. Set $G_{e^{\prime }}=f{F}_{e^{\prime }}$. Then, we have $f{G}_{e^{\prime }}=G_{e^{\prime }}$ and $G_{e^{\prime }}=ff{F}_{e^{\prime }}\in T(f{F}_{e^{\prime }})=T{G}_{e^{\prime }}.$ Now, since also $F_{e^{\prime }}\in C(f,S)$, then f is S-weakly commuting at $F_{e^{\prime }},$ and so we obtain $G_{e^{\prime }}=f{G}_{e^{\prime }}=ff{F}_{e^{\prime }}\in S(f{F}_{e^{\prime }})=S{G}_{e^{\prime }}.$ Thus, we have proved that $G_{e^{\prime }}=f{G}_{e^{\prime }}\in T{G}_{e^{\prime }}\cap S{G}_{e^{\prime }},$ that is, $G_{e^{\prime }}$ is a common fixed point of $f,T$ and S. □

Corollary 1.

Let $(\tilde{E},\tilde{C},\widetilde{d_{c^{*}}})$ be a complete $C^{*}$-algebra valued fuzzy soft metric space. Let $S,T:\tilde{E}\to CB(\tilde{E})$ be a pair of multivalued maps. Suppose that

(22) $\begin{array}{ccc}\hfill \widetilde{H_{c^{*}}}\left(S{F}_{e_1},T{F}_{e_2}\right)& ⪯& \tilde{a}\widetilde{d_{c^{*}}}(F_{e_1},F_{e_2})+\tilde{a}\left(\widetilde{D_{c^{*}}}(F_{e_1},S{F}_{e_1})+\widetilde{D_{c^{*}}}(F_{e_2},T{F}_{e_2})\right)\hfill \\ & & +\tilde{a}\left(\widetilde{D_{c^{*}}}(F_{e_1},T{F}_{e_2})+\widetilde{D_{c^{*}}}(F_{e_2},S{F}_{e_1})\right)\hfill \end{array}$

for all $F_{e_1},F_{e_2}\in \tilde{E}$, where $\tilde{a}\in {\widetilde{C_{+}}}^{\prime }$ with $||\tilde{a}||<1$. Then there exist a point $F_{e^{\prime }}\in \tilde{E}$ such that $F_{e^{\prime }}\in S{F}_{e^{\prime }}\cap T{F}_{e^{\prime }}$ and $S{F}_{e^{\prime }}=T{F}_{e^{\prime }}$.

Proof. 

If $f=g={\tilde{I}}_{\tilde{C}}$ (${\tilde{I}}_{\tilde{C}}$ being the identity map on $\tilde{E}$) in Theorem 2, then, we obtain the common fixed-point result. □

Corollary 2.

Let $(\tilde{E},\tilde{C},\widetilde{d_{c^{*}}})$ be a complete $C^{*}$-algebra valued fuzzy soft metric space. Let $S:\tilde{E}\to CB(\tilde{E})$ be a pair of multivalued map. Suppose that

(23) $\begin{array}{ccc}\hfill \widetilde{H_{c^{*}}}\left(S{F}_{e_1},S{F}_{e_2}\right)& ⪯& \tilde{a}\widetilde{d_{c^{*}}}(F_{e_1},F_{e_2})+\tilde{a}\left(\widetilde{D_{c^{*}}}(F_{e_1},S{F}_{e_1})+\widetilde{D_{c^{*}}}(F_{e_2},S{F}_{e_2})\right)\hfill \\ & & +\tilde{a}\left(\widetilde{D_{c^{*}}}(F_{e_1},S{F}_{e_2})+\widetilde{D_{c^{*}}}(F_{e_2},S{F}_{e_1})\right)\hfill \end{array}$

for all $F_{e_1},F_{e_2}\in \tilde{E}$, where $\tilde{a}\in {\widetilde{C_{+}}}^{\prime }$ with $||\tilde{a}||<1$. Then there exist a point $F_{e^{\prime }}\in \tilde{E}$ such that $F_{e^{\prime }}\in S{F}_{e^{\prime }}$.

3. Coupled Fixed Point Results

In this section, we shall prove some coupled fixed point theorems in $C^{*}$-algebra valued fuzzy soft metric spaces by using different contractive conditions.

Definition 14.

$(\tilde{E},\tilde{C},\widetilde{d_{c^{*}}})$ be a $C^{*}$-algebra valued fuzzy soft metric space. Let $S:\tilde{E}\times \tilde{E}\to \tilde{E}$ be a mapping, an element $(F_{e_1},G_{e_1})\in \tilde{E}\times \tilde{E}$ is called coupled fixed point of S if $S(F_{e_1},G_{e_1})=F_{e_1}$ and $S(G_{e_1},F_{e_1})=G_{e_1}$.

Definition 15.

$\tilde{E}$ be an absolute fuzzy soft set. An element $(F_{e_1},G_{e_1})\in \tilde{E}\times \tilde{E}$ is called

• (i) 

  a coupled coincidence point of mappings $S:\tilde{E}\times \tilde{E}\to \tilde{E}$ and $f:\tilde{E}\to \tilde{E}$ if $f{F}_{e_1}=S(F_{e_1},G_{e_1})$ and $f{G}_{e_1}=S(G_{e_1},F_{e_1})$

• (ii) 

  a common coupled fixed point of mappings $S:\tilde{E}\times \tilde{E}\to \tilde{E}$ and $f:\tilde{E}\to \tilde{E}$ if $F_{e_1}=f{F}_{e_1}=S(F_{e_1},G_{e_1})$ and $G_{e_1}=f{G}_{e_1}=S(G_{e_1},F_{e_1}).$

Definition 16.

Let $\tilde{E}$ be an absolute fuzzy soft set and $S:\tilde{E}\times \tilde{E}\to \tilde{E}$ and $f:\tilde{E}\to \tilde{E}.$ Then $\left\{S,f\right\}$ is said to be ω-compatible pairs if $f\left(S(F_{e_1},G_{e_1})\right)=S(f{F}_{e_1},f{G}_{e_1})$ and $f\left(S(G_{e_1},F_{e_1})\right)=S(f{G}_{e_1},f{F}_{e_1})$.

Theorem 4.

Let $(\tilde{E},\tilde{C},\widetilde{d_{c^{*}}})$ be a $C^{*}$-algebra valued fuzzy soft metric space. Suppose $S,T:\tilde{E}\times \tilde{E}\to \tilde{E}$ and $f,g:\tilde{E}\to \tilde{E}$ be satisfying

• (1) 

  $S(\tilde{E}\times \tilde{E})\subseteq g(\tilde{E})$ and $T(\tilde{E}\times \tilde{E})\subseteq f(\tilde{E})$

• (2) 

  $\left\{S,f\right\}$ and $\left\{T,g\right\}$ are ω-compatible pairs.

• (3) 

  one of $f(\tilde{E})$ or $g(\tilde{E})$ is complete $C^{*}$-algebra valued fuzzy soft metric of $\tilde{E}$

• (4) 

  $\widetilde{d_{c^{*}}}\left(S(F_{e_1},G_{e_1}),T(F_{e_2},G_{e_2})\right)⪯{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(f{F}_{e_1},g{F}_{e_2})\tilde{a}+{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(f{G}_{e_1},g{G}_{e_2})\tilde{a}$

  for all $F_{e_1},F_{e_2},G_{e_1},G_{e_2}\in \tilde{E}$,

where $\tilde{a}\in \tilde{C}$ with $||\sqrt{2}\tilde{a}||<1$. Then $S,T,f$ and g have a unique common coupled fixed point in $\tilde{E}\times \tilde{E}$.

Proof. 

Let $F_{e_0},G_{e_0}\in \tilde{E}.$ From (Theorem 4 (1)), we can construct the sequences ${\{F_{e_{2n}}\}}_{2n=1}^{\infty }$, ${\{G_{e_{2n}}\}}_{2n=1}^{\infty }$, ${\{I_{e_{2n}}\}}_{2n=1}^{\infty }$, ${\{J_{e_{2n}}\}}_{2n=1}^{\infty }$ such that

$\begin{array}{c}S(F_{e_{2n}},G_{e_{2n}})=g{F}_{e_{2n+1}}=I_{e_{2n}}T(F_{e_{2n+1}},G_{e_{2n+1}})=f{F}_{e_{2n+2}}=I_{e_{2n+1}}\hfill \\ S(G_{e_{2n}},F_{e_{2n}})=g{G}_{e_{2n+1}}=J_{e_{2n}}T(G_{e_{2n+1}},F_{e_{2n+1}})=f{G}_{e_{2n+2}}=J_{e_{2n+1}},\hfill \end{array}$

for $n=0,1,2,\cdots$

Notices that in $C^{*}$-algebra, if $\tilde{a},\tilde{b}\in \widetilde{C_{+}}$ and $\tilde{a}⪯\tilde{b}$, then for any $\tilde{x}\in \widetilde{C_{+}}$ both ${\tilde{x}}^{\star }\tilde{a}\tilde{x}$ and ${\tilde{x}}^{\star }\tilde{b}\tilde{x}$ are positive elements and ${\tilde{x}}^{\star }\tilde{a}\tilde{x}⪯{\tilde{x}}^{\star }\tilde{b}\tilde{x}$.

From (Theorem 4 (4)), we get

(24)$\begin{array}{ccc}\hfill \widetilde{d_{c^{*}}}(I_{e_{2n+1}},I_{e_{2n+2}})& =& \widetilde{d_{c^{*}}}\left(S(F_{e_{2n+1}},G_{e_{2n+1}}),T(F_{e_{2n+2}},G_{e_{2n+2}})\right)\hfill \\ & ⪯& {\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(f{F}_{e_{2n+1}},g{F}_{e_{2n+2}})\tilde{a}+{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(f{G}_{e_{2n+1}},g{G}_{e_{2n+2}})\tilde{a}\hfill \\ & ⪯& {\tilde{a}}^{\star }\left(\widetilde{d_{c^{*}}}(I_{e_{2n}},I_{e_{2n+1}})+\widetilde{d_{c^{*}}}(J_{e_{2n}},J_{e_{2n+1}})\right)\tilde{a}.\hfill \end{array}$

Similarly,

(25)$\begin{array}{ccc}\hfill \widetilde{d_{c^{*}}}(J_{e_{2n+1}},J_{e_{2n+2}})& ⪯& {\tilde{a}}^{\star }\left(\widetilde{d_{c^{*}}}(J_{e_{2n}},J_{e_{2n+1}})+\widetilde{d_{c^{*}}}(I_{e_{2n}},I_{e_{2n+1}})\right)\tilde{a}.\hfill \end{array}$

Let ${\alpha }_{2n+1}=\widetilde{d_{c^{*}}}(I_{e_{2n+1}},I_{e_{2n+2}})+\widetilde{d_{c^{*}}}(J_{e_{2n+1}},J_{e_{2n+2}}).$

Now from (24) and (25), we have

$\begin{array}{cc}\hfill {\alpha }_{2n+1}& =\widetilde{d_{c^{*}}}(I_{e_{2n+1}},I_{e_{2n+2}})+\widetilde{d_{c^{*}}}(J_{e_{2n+1}},J_{e_{2n+2}})\hfill \\ & ⪯{\tilde{a}}^{\star }\left(\widetilde{d_{c^{*}}}(I_{e_{2n}},I_{e_{2n+1}})+\widetilde{d_{c^{*}}}(J_{e_{2n}},J_{e_{2n+1}})\right)\tilde{a}\hfill \\ & +{\tilde{a}}^{\star }\left(\widetilde{d_{c^{*}}}(J_{e_{2n}},J_{e_{2n+1}})+\widetilde{d_{c^{*}}}(I_{e_{2n}},I_{e_{2n+1}})\right)\tilde{a}\hfill \\ & ⪯{(\sqrt{2}\tilde{a})}^{\star }{\alpha }_{2n}(\sqrt{2}\tilde{a})\hfill \\ & ⋮\hfill \\ & ⪯{\left[{(\sqrt{2}\tilde{a})}^{\star }\right]}^{2n+1}{\alpha }_0{(\sqrt{2}\tilde{a})}^{2n+1}.\hfill \end{array}$

Now, we can obtain for any $n\in N$

$\begin{array}{cc}\hfill {\alpha }_n& =\widetilde{d_{c^{*}}}(I_{e_n},I_{e_{n+1}})+\widetilde{d_{c^{*}}}(J_{e_n},J_{e_{n+1}})\hfill \\ & ⪯{(\sqrt{2}\tilde{a})}^{\star }{\alpha }_{n-1}(\sqrt{2}\tilde{a})\hfill \\ & ⋮\hfill \\ & ⪯{\left[{(\sqrt{2}\tilde{a})}^{\star }\right]}^n{\alpha }_0{(\sqrt{2}\tilde{a})}^n.\hfill \end{array}$

If ${\alpha }_0={\tilde{0}}_{\tilde{C}}$, then from Definition-1 of $S_2$ we know $(I_{{\alpha }_0},J_{{\alpha }_0})$ is a coupled fixed point of $S,T,f$ and g. Now letting ${\tilde{0}}_{\tilde{C}}⪯{\alpha }_0$, we get for any $n\in N$, for any $p\in N$ and using triangle inequality

$\begin{array}{cc}\hfill \widetilde{d_{c^{*}}}(I_{e_{2n+p}},I_{e_{2n}})& ⪯\widetilde{d_{c^{*}}}(I_{e_{2n+p}},I_{e_{2n+p-1}})\hfill \\ & +\widetilde{d_{c^{*}}}(I_{e_{2n+p-1}},I_{e_{2n+p-2}})+\cdots +\widetilde{d_{c^{*}}}(I_{e_{2n+1}}{,}_{e_{2n}}).\hfill \end{array}$

$\begin{array}{cc}\hfill \widetilde{d_{c^{*}}}(J_{e_{2n+p}},J_{e_{2n}})& ⪯\widetilde{d_{c^{*}}}(J_{e_{2n+p}},J_{e_{2n+p-1}})\hfill \\ & +\widetilde{d_{c^{*}}}(J_{e_{2n+p-1}},J_{e_{2n+p-2}})+\cdots +\widetilde{d_{c^{*}}}(J_{e_{2n+1}},J_{e_{2n}}).\hfill \end{array}$

Consequently,

$\begin{array}{cc}\hfill \widetilde{d_{c^{*}}}(I_{e_{2n+p}},I_{e_{2n}})+\widetilde{d_{c^{*}}}(J_{e_{2n+p}},J_{e_{2n}})& ⪯{\alpha }_{2n+p-1}+{\alpha }_{2n+p-2}+\cdots +{\alpha }_{2n}\hfill \\ & ⪯{\displaystyle \sum _{m=2n}^{2n+p-1}}{\left[{(\sqrt{2}\tilde{a})}^{\star }\right]}^m{\alpha }_0{(\sqrt{2}\tilde{a})}^m\hfill \end{array}$

and then

$\begin{array}{cc}\hfill ||\widetilde{d_{c^{*}}}(I_{e_{2n+p}},I_{e_{2n}})+\widetilde{d_{c^{*}}}(J_{e_{2n+p}},J_{e_{2n}})||& \le {\alpha }_{2n+p-1}+{\alpha }_{2n+p-2}+\cdots +{\alpha }_{2n}\hfill \\ & \le {\displaystyle \sum _{m=2n}^{2n+p-1}}||\sqrt{2}\tilde{a}{||}^{2m}{\alpha }_0\hfill \\ & \le {\displaystyle \sum _{m=n}^{\infty }}||\sqrt{2}\tilde{a}{||}^{2m}{\alpha }_0\hfill \\ & =\frac{||\sqrt{2}\tilde{a}{||}^{2n}}{1-||\sqrt{2}\tilde{a}{||}^2}{\alpha }_0\to 0 \mathrm{as} n\to \infty ,\hfill \end{array}$

which together with $\widetilde{d_{c^{*}}}(I_{e_{2n+p}},I_{e_{2n}})⪯\widetilde{d_{c^{*}}}(I_{e_{2n+p}},I_{e_{2n}})+\widetilde{d_{c^{*}}}(J_{e_{2n+p}},J_{e_{2n}})$ and $\widetilde{d_{c^{*}}}(J_{e_{2n+p}},J_{e_{2n}})⪯\widetilde{d_{c^{*}}}(I_{e_{2n+p}},I_{e_{2n}})+\widetilde{d_{c^{*}}}(J_{e_{2n+p}},J_{e_{2n}})$ implies $\{I_{e_{2n}}\}$ and $\{J_{e_{2n}}\}$ are Cauchy sequences in $\tilde{E}$ with respect to $\tilde{C}$. It follows that $\{I_{e_{2n+1}}\}$ and $\{J_{e_{2n+1}}\}$ are also Cauchy sequences in $\tilde{E}$ with respect to $\tilde{C}.$ Thus, $\{I_{e_n}\}$ and $\{J_{e_n}\}$ are Cauchy sequences in $(\tilde{E},\tilde{C},\widetilde{d_{c^{*}}})$.

Suppose $f(\tilde{E})$ is complete subspace of $(\tilde{E},\tilde{C},\widetilde{d_{c^{*}}})$. Then the sequences $\{I_{e_n}\}$ and $\{J_{e_n}\}$ are converge to $I_{e^{\prime }},J_{e^{\prime }}$ respectively in $f(\tilde{E})$. Thus, there exist $F_{e^{\prime }},G_{e^{\prime }}$ in $f(\tilde{E})$ Such that

(26)$\begin{array}{c}\hfill \underset{n\to \infty }{lim}{I}_{e_n}=I_{e^{\prime }}=f{F}_{e^{\prime }} \mathrm{and} \underset{n\to \infty }{lim}{J}_{e_n}=J_{e^{\prime }}=f{G}_{e^{\prime }}.\end{array}$

We now claim that $S(F_{e^{\prime }},G_{e^{\prime }})=I_{e^{\prime }}$ and $S(G_{e^{\prime }},F_{e^{\prime }})=J_{e^{\prime }}$.

From (Theorem 4 (4)) and using the triangular inequality

$\begin{array}{cc}\hfill {\tilde{0}}_{\tilde{C}}& ⪯\widetilde{d_{c^{*}}}(S(F_{e^{\prime }},G_{e^{\prime }}),I_{e^{\prime }})\hfill \\ & ⪯\widetilde{d_{c^{*}}}(S(F_{e^{\prime }},G_{e^{\prime }}),I_{e_{2n+1}})+\widetilde{d_{c^{*}}}(I_{e_{2n+1}},I_{e^{\prime }})\hfill \\ & ⪯\widetilde{d_{c^{*}}}(S(F_{e^{\prime }},G_{e^{\prime }}),T(F_{e_{2n+1}},G_{e_{2n+1}}))+\widetilde{d_{c^{*}}}(I_{e_{2n+1}},I_{e^{\prime }})\hfill \\ & ⪯{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(f{F}_{e^{\prime }},g{F}_{e_{2n+1}})\tilde{a}+{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(f{G}_{e^{\prime }},g{G}_{e_{2n+1}})\tilde{a}+\widetilde{d_{c^{*}}}(I_{e_{2n+1}},I_{e^{\prime }})\hfill \\ & ⪯{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(I_{e^{\prime }},I_{e_{2n}})\tilde{a}+{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(J_{e^{\prime }},J_{e_{2n}})\tilde{a}+\widetilde{d_{c^{*}}}(I_{e_{2n+1}},I_{e^{\prime }}).\hfill \end{array}$

Taking the limit as $n\to \infty$ in the above relation, we obtain $\widetilde{d_{c^{*}}}(S(F_{e^{\prime }},G_{e^{\prime }}),I_{e^{\prime }})={\tilde{0}}_{\tilde{C}}$ and hence $S(F_{e^{\prime }},G_{e^{\prime }})=I_{e^{\prime }}.$ Similarly, we prove $S(G_{e^{\prime }},F_{e^{\prime }})=J_{e^{\prime }}.$ Therefore, it follows $S(F_{e^{\prime }},G_{e^{\prime }})=I_{e^{\prime }}=f{I}_{e^{\prime }}$ and $S(G_{e^{\prime }},F_{e^{\prime }})=J_{e^{\prime }}=f{J}_{e^{\prime }}$. Since $\left\{S,f\right\}$ is $\omega$-compatible pair, we have $S(I_{e^{\prime }},J_{e^{\prime }})=f{I}_{e^{\prime }}$ and $S(J_{e^{\prime }},I_{e^{\prime }})=f{J}_{e^{\prime }}.$ Now to prove that $f{I}_{e^{\prime }}=I_{e^{\prime }}$ and $f{J}_{e^{\prime }}=J_{e^{\prime }}.$

$\begin{array}{cc}\hfill {\tilde{0}}_{\tilde{C}}⪯\widetilde{d_{c^{*}}}(f{I}_{e^{\prime }},I_{e_{2n+1}})& ⪯\widetilde{d_{c^{*}}}(S(I_{e^{\prime }},J_{e^{\prime }}),T(F_{e_{2n+1}},G_{e_{2n+1}}))\hfill \\ & ⪯{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(f{I}_{e^{\prime }},g{F}_{e_{2n+1}})\tilde{a}+{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(f{J}_{e^{\prime }},g{G}_{e_{2n+1}})\tilde{a}\hfill \\ & ⪯{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(f{I}_{e^{\prime }},I_{e_{2n}})\tilde{a}+{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(f{J}_{e^{\prime }},J_{e_{2n}})\tilde{a}.\hfill \end{array}$

Taking the limit as $n\to \infty$ in the above relation, we obtain $\widetilde{d_{c^{*}}}(f{I}_{e^{\prime }},I_{e^{\prime }})=0_{\tilde{C}}$ which implies $f{I}_{e^{\prime }}=I_{e^{\prime }}$. Similarly we can prove $f{J}_{e^{\prime }}=J_{e^{\prime }}.$ Therefore, $S(I_{e^{\prime }},J_{e^{\prime }})=f{I}_{e^{\prime }}=I_{e^{\prime }}$ and $S(J_{e^{\prime }},I_{e^{\prime }})=f{J}_{e^{\prime }}=J_{e^{\prime }}.$ Thus, $(I_{e^{\prime }},J_{e^{\prime }})$ is common coupled fixed point of S and f. Since $S(\tilde{E}\times \tilde{E})\subseteq g(\tilde{E})$. So there exist $K_{e^{\prime }}$, $L_{e^{\prime }}\in \tilde{E}$ such that $S(I_{e^{\prime }},J_{e^{\prime }})=I_{e^{\prime }}=g{K}_{e^{\prime }}$ and $S(J_{e^{\prime }},I_{e^{\prime }})=J_{e^{\prime }}=g{L}_{e^{\prime }}.$ Now from (Theorem 4 (4)) and using the triangular inequality

$\begin{array}{cc}\hfill {\tilde{0}}_{\tilde{C}}⪯\widetilde{d_{c^{*}}}(I_{e^{\prime }},T(K_{e^{\prime }},L_{e^{\prime }}))& ⪯\widetilde{d_{c^{*}}}(S((I_{e^{\prime }},J_{e^{\prime }})),T(K_{e^{\prime }},L_{e^{\prime }}))\hfill \\ & ⪯{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(f{I}_{e^{\prime }},g{K}_{e^{\prime }})\tilde{a}+{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(f{J}_{e^{\prime }},g{L}_{e^{\prime }})\tilde{a}\hfill \\ & ⪯{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(I_{e^{\prime }},I_{e^{\prime }})\tilde{a}+{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(J_{e^{\prime }},J_{e^{\prime }})\tilde{a}.\hfill \end{array}$

We have $\widetilde{d_{c^{*}}}(I_{e^{\prime }},T(K_{e^{\prime }},L_{e^{\prime }}))=0$, which means $I_{e^{\prime }}=T(K_{e^{\prime }},L_{e^{\prime }}).$ Similarly, we can prove $T(L_{e^{\prime }},K_{e^{\prime }})=J_{e^{\prime }}$. Since $\left\{T,g\right\}$ is $\omega$-compatible pair, we have $T(I_{e^{\prime }},J_{e^{\prime }})=g{I}_{e^{\prime }}$ and $T(J_{e^{\prime }},I_{e^{\prime }})=g{J}_{e^{\prime }}.$ Now we prove that $g{I}_{e^{\prime }}=I_{e^{\prime }}$ and $g{J}_{e^{\prime }}=J_{e^{\prime }}$.

(27)$\begin{array}{ccc}\hfill {\tilde{0}}_{\tilde{C}}⪯\widetilde{d_{c^{*}}}(I_{e^{\prime }},g{I}_{e^{\prime }})& ⪯& \widetilde{d_{c^{*}}}(S((I_{e^{\prime }},J_{e^{\prime }})),T(I_{e^{\prime }},J_{e^{\prime }}))\hfill \\ & ⪯& {\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(f{I}_{e^{\prime }},g{I}_{e^{\prime }})\tilde{a}+{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(f{J}_{e^{\prime }},g{J}_{e^{\prime }})\tilde{a}\hfill \\ & ⪯& {\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(I_{e^{\prime }},g{I}_{e^{\prime }})\tilde{a}+{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(J_{e^{\prime }},g{J}_{e^{\prime }})\tilde{a}\hfill \end{array}$

and

(28)$\begin{array}{ccc}\hfill {\tilde{0}}_{\tilde{C}}⪯\widetilde{d_{c^{*}}}(J_{e^{\prime }},g{J}_{e^{\prime }})& ⪯& \widetilde{d_{c^{*}}}(S((J_{e^{\prime }},I_{e^{\prime }})),T(J_{e^{\prime }},I_{e^{\prime }}))\hfill \\ & ⪯& {\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(f{J}_{e^{\prime }},g{J}_{e^{\prime }})\tilde{a}+{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(f{I}_{e^{\prime }},g{I}_{e^{\prime }})\tilde{a}\hfill \\ & ⪯& {\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(J_{e^{\prime }},g{J}_{e^{\prime }})\tilde{a}+{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(I_{e^{\prime }},g{I}_{e^{\prime }})\tilde{a}.\hfill \end{array}$

From (27) and (28)

$\begin{array}{c}\hfill {\tilde{0}}_{\tilde{C}}⪯\widetilde{d_{c^{*}}}(I_{e^{\prime }},g{I}_{e^{\prime }})+\widetilde{d_{c^{*}}}(J_{e^{\prime }},g{J}_{e^{\prime }})⪯(\sqrt{2}{\tilde{a}}^{\star })\left(\widetilde{d_{c^{*}}}(I_{e^{\prime }},g{I}_{e^{\prime }})+\widetilde{d_{c^{*}}}(J_{e^{\prime }},g{J}_{e^{\prime }})\right)(\sqrt{2}\tilde{a}).\end{array}$

Therefore,

$\begin{array}{cc}\hfill \tilde{0}& \le ||\widetilde{d_{c^{*}}}(I_{e^{\prime }},g{I}_{e^{\prime }})+\widetilde{d_{c^{*}}}(J_{e^{\prime }},g{J}_{e^{\prime }})||\hfill \\ & \le ||(\sqrt{2}{\tilde{a}}^{\star })\left(\widetilde{d_{c^{*}}}(I_{e^{\prime }},g{I}_{e^{\prime }})+\widetilde{d_{c^{*}}}(J_{e^{\prime }},g{J}_{e^{\prime }})\right)(\sqrt{2}\tilde{a})||\hfill \\ & \le ||(\sqrt{2}\tilde{a}){||}^2||\widetilde{d_{c^{*}}}(I_{e^{\prime }},g{I}_{e^{\prime }})+\widetilde{d_{c^{*}}}(J_{e^{\prime }},g{J}_{e^{\prime }})||.\hfill \end{array}$

Since $||(\sqrt{2}\tilde{a})||<1$, then $||\widetilde{d_{c^{*}}}(I_{e^{\prime }},g{I}_{e^{\prime }})+\widetilde{d_{c^{*}}}(J_{e^{\prime }},g{J}_{e^{\prime }})||=0$. Hence $g{I}_{e^{\prime }}=I_{e^{\prime }}$ and $g{J}_{e^{\prime }}=J_{e^{\prime }}$.

Therefore, we have $T(I_{e^{\prime }},J_{e^{\prime }})=g{I}_{e^{\prime }}=I_{e^{\prime }}$ and $T(J_{e^{\prime }},I_{e^{\prime }})=g{J}_{e^{\prime }}=J_{e^{\prime }}.$ Thus, $(I_{e^{\prime }},J_{e^{\prime }})$ is common coupled fixed point of $S,T,f$ and g. In the following we will show the uniqueness of common coupled fixed point in $\tilde{E}.$ For this purpose, assume that there is another coupled fixed point $(I_{e^{″}},J_{e^{″}})$ of $S,T,f$ and g. Then

(29)$\begin{array}{ccc}\hfill \widetilde{d_{c^{*}}}(I_{e^{\prime }},I_{e^{″}})& ⪯& \widetilde{d_{c^{*}}}(S(I_{e^{\prime }},J_{e^{\prime }}),T(I_{e^{\prime \prime }},J_{e^{\prime \prime }}))\hfill \\ & ⪯& {\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(f{I}_{e^{\prime }},g{I}_{e^{″}})\tilde{a}+{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(g{J}_{e^{\prime }},g{J}_{e^{″}})\tilde{a}\hfill \\ & ⪯& {\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(I_{e^{\prime }},I_{e^{″}})\tilde{a}+{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(J_{e^{\prime }},J_{e^{″}})\tilde{a}\hfill \end{array}$

and

(30)$\begin{array}{ccc}\hfill \widetilde{d_{c^{*}}}(J_{e^{\prime }},J_{e^{″}})& ⪯& \widetilde{d_{c^{*}}}(S(J_{e^{\prime }},I_{e^{\prime }}),T(J_{e^{\prime \prime }},I_{e^{\prime \prime }}))\hfill \\ & ⪯& {\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(f{J}_{e^{\prime }},g{J}_{e^{″}})\tilde{a}+{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(g{I}_{e^{\prime }},g{I}_{e^{″}})\tilde{a}\hfill \\ & ⪯& {\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(J_{e^{\prime }},J_{e^{″}})\tilde{a}+{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(I_{e^{\prime }},I_{e^{″}})\tilde{a}.\hfill \end{array}$

From (29) and (30), we have that

$\begin{array}{cc}\hfill \widetilde{d_{c^{*}}}(I_{e^{\prime }},I_{e^{″}})+\widetilde{d_{c^{*}}}(J_{e^{\prime }},J_{e^{″}})& ⪯{(\sqrt{2}\tilde{a})}^{\star }\left(\widetilde{d_{c^{*}}}(I_{e^{\prime }},I_{e^{\prime \prime }})+\widetilde{d_{c^{*}}}(J_{e^{\prime }},J_{e^{\prime \prime }})\right)(\sqrt{2}\tilde{a}),\hfill \end{array}$

which further induces that

$\begin{array}{cc}\hfill ||\widetilde{d_{c^{*}}}(I_{e^{\prime }},I_{e^{″}})+\widetilde{d_{c^{*}}}(J_{e^{\prime }},J_{e^{″}})||& \le ||\sqrt{2}\tilde{a}{||}^2||\widetilde{d_{c^{*}}}(I_{e^{\prime }},I_{e^{″}})+\widetilde{d_{c^{*}}}(J_{e^{\prime }},J_{e^{″}})||.\hfill \end{array}$

Since $||\sqrt{2}\tilde{a}||<1$ then $||\widetilde{d_{c^{*}}}(I_{e^{\prime }},I_{e^{″}})+\widetilde{d_{c^{*}}}(J_{e^{\prime }},J_{e^{″}})||=0.$ Hence we get $(I_{e^{\prime }},J_{e^{\prime }})=(I_{e^{″}},J_{e^{″}})$ which means the coupled fixed point is unique.

To prove that $S,T,f$ and g have a unique fixed point, we only have to prove $I_{e^{\prime }}=J_{e^{\prime }}.$

Now

$\begin{array}{cc}\hfill \widetilde{d_{c^{*}}}(I_{e^{\prime }},J_{e^{\prime }})& =\widetilde{d_{c^{*}}}(S(I_{e^{\prime }},J_{e^{\prime }}),T(J_{e^{\prime }},I_{e^{\prime }}))\hfill \\ & ⪯{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(f{I}_{e^{\prime }},g{J}_{e^{\prime }})\tilde{a}+{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(f{J}_{e^{\prime }},g{I}_{e^{\prime }})\tilde{a}\hfill \\ & ⪯{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(I_{e^{\prime }},J_{e^{\prime }})\tilde{a}+{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(J_{e^{\prime }},I_{e^{\prime }})\tilde{a},\hfill \end{array}$

then

$\begin{array}{cc}\hfill ||\widetilde{d_{c^{*}}}(I_{e^{\prime }},J_{e^{\prime }})||& \le ||\tilde{a}{||}^2||\widetilde{d_{c^{*}}}(I_{e^{\prime }},J_{e^{\prime }})||+||\tilde{a}{||}^2||\widetilde{d_{c^{*}}}(J_{e^{\prime }},I_{e^{\prime }})||\hfill \\ & \le 2||\tilde{a}{||}^2||\widetilde{d_{c^{*}}}(I_{e^{\prime }},J_{e^{\prime }})||.\hfill \end{array}$

It follows from the fact $||a||<\frac{1}{\sqrt{2}}$ that $||\widetilde{d_{c^{*}}}(I_{e^{\prime }},J_{e^{\prime }})||=0,$ thus $I_{e^{\prime }}=J_{e^{\prime }}$. Which means that $S,T,f$ and g have a unique common fixed point. □

Corollary 3.

Let $(\tilde{E},\tilde{C},\widetilde{d_{c^{*}}})$ be a $C^{*}$-algebra valued fuzzy soft metric space. Suppose $S:\tilde{E}\times \tilde{E}\to \tilde{E}$ and $f,g:\tilde{E}\to \tilde{E}$ be satisfying

• (1) 

  $S(\tilde{E}\times \tilde{E})\subseteq f(\tilde{E})$ and $S(\tilde{E}\times \tilde{E})\subseteq g(\tilde{E})$

• (2) 

  $\left\{S,f\right\}$ and $\left\{S,g\right\}$ are ω-compatible pairs.

• (3) 

  one of $f(\tilde{E})$ or $g(\tilde{E})$ is complete $C^{*}$-algebra valued fuzzy soft metric of $\tilde{E}$

• (4) 

  $\widetilde{d_{c^{*}}}\left(S(F_{e_1},G_{e_1}),S(F_{e_2},G_{e_2})\right)⪯{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(f{F}_{e_1},g{F}_{e_2})\tilde{a}+{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(f{G}_{e_1},g{G}_{e_2})\tilde{a}$

  for all $F_{e_1},F_{e_2},G_{e_1},G_{e_2}\in \tilde{E}$,

where $\tilde{a}\in \tilde{C}$ with $||\sqrt{2}\tilde{a}||<1$. Then S and $f,g$ have a unique common fixed point in $\tilde{E}$.

Corollary 4.

Let $(\tilde{E},\tilde{C},\widetilde{d_{c^{*}}})$ be a $C^{*}$-algebra valued fuzzy soft metric space.Suppose $S:\tilde{E}\times \tilde{E}\to \tilde{E}$ and $f:\tilde{E}\to \tilde{E}$ be satisfying

• (1) 

  $S(\tilde{E}\times \tilde{E})\subseteq f(\tilde{E})$

• (2) 

  $\left\{S,f\right\}$ is ω-compatible pairs.

• (3) 

  $f(\tilde{E})$ is complete $C^{*}$-algebra valued fuzzy soft metric of $\tilde{E}$

• (4) 

  $\widetilde{d_{c^{*}}}\left(S(F_{e_1},G_{e_1}),S(F_{e_2},G_{e_2})\right)⪯{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(f{F}_{e_1},f{F}_{e_2})\tilde{a}+{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(f{G}_{e_1},f{G}_{e_2})\tilde{a}$

  for all $F_{e_1},F_{e_2},G_{e_1},G_{e_2}\in \tilde{E}$,

where $\tilde{a}\in \tilde{C}$ with $||\sqrt{2}\tilde{a}||<1$. Then S and f have a unique common fixed point in $\tilde{E}$.

Corollary 5.

Let $(\tilde{E},\tilde{C},\widetilde{d_{c^{*}}})$ be a complete $C^{*}$-algebra valued fuzzy soft metric space.Suppose $S,T:\tilde{E}\times \tilde{E}\to \tilde{E}$ satisfies

• (1) 

  $\widetilde{d_{c^{*}}}\left(S(F_{e_1},G_{e_1}),T(F_{e_2},G_{e_2})\right)⪯{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(F_{e_1},F_{e_2})\tilde{a}+{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(G_{e_1},G_{e_2})\tilde{a}$

for all $F_{e_1},F_{e_2},G_{e_1},G_{e_2}\in \tilde{E}$, where $\tilde{a}\in \tilde{C}$ with $||\sqrt{2}\tilde{a}||<1$. Then S and T have a unique fixed point in $\tilde{E}$.

Corollary 6.

Let $(\tilde{E},\tilde{C},\widetilde{d_{c^{*}}})$ be a complete $C^{*}$-algebra valued fuzzy soft metric space.Suppose $S:\tilde{E}\times \tilde{E}\to \tilde{E}$ satisfies

• (1) 

  $\widetilde{d_{c^{*}}}\left(S(F_{e_1},G_{e_1}),S(F_{e_2},G_{e_2})\right)⪯{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(F_{e_1},F_{e_2})\tilde{a}+{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(G_{e_1},G_{e_2})\tilde{a}$

for all $F_{e_1},F_{e_2},G_{e_1},G_{e_2}\in \tilde{E}$, where $\tilde{a}\in \tilde{C}$ with $||\sqrt{2}\tilde{a}||<1$. Then S has a unique fixed point in $\tilde{E}$.

Example 4.

Let $E=\{e_1,e_2,e_3\},U=\{p,q,r,s\}$ and $C and D$ are two subset of E where $C=\{e_1,e_2,e_3\}$, $D=\{e_1,e_2\}$. Define fuzzy soft set as,

$\begin{array}{c}(F_E,C)=\left\{\begin{array}{c}{e}_1=\{p_{0.1},q_{0.3},r_{0.4},s_{0.5}\},e_2=\{p_{0.3},q_{0.4},r_{0.6},s_{0.8}\},\\ e_3=\{p_{0.6},q_{0.7},r_{0.8},s_{0.9}\}\end{array}\right\}\hfill \\ (G_E,D)=\{e_1=\{p_{0.4},q_{0.5},r_{0.2},s_{0.6}\},e_2=\{p_{0.5},q_{0.6},r_{0.3},s_{0.7}\}\}\hfill \\ F_{e_1}={\mu }_{F_{e_1}}=\{p_{0.1},q_{0.3},r_{0.4},s_{0.5}\},F_{e_2}={\mu }_{F_{e_2}}=\{p_{0.3},q_{0.4},r_{0.6},s_{0.8}\}\hfill \\ F_{e_3}={\mu }_{F_{e_3}}=\{p_{0.6},q_{0.7},r_{0.8},s_{0.9}\}\hfill \\ G_{e_1}={\mu }_{G_{e_1}}=\{p_{0.4},q_{0.5},r_{0.2},s_{0.6}\},G_{e_2}={\mu }_{G_{e_2}}=\{p_{0.5},q_{0.6},r_{0.3},s_{0.7}\}\hfill \end{array}$

and $FSC(F_E)=\{F_{e_1},F_{e_2},F_{e_3},G_{e_1},G_{e_2}\}$, let for all $e\in E$, $\tilde{E}(e)=\tilde{1}$ be absolute fuzzy soft set, and $\tilde{C}=M_2(R{(C)}^{*})$, be the $C^{*}$-algebra. Define ${\tilde{d}}_{c^{*}}:\tilde{E}\times \tilde{E}\to \tilde{C}$ by ${\tilde{d}}_{c^{*}}(G_{e_1},G_{e_2})=(inf\{|G_{e_1}(p)-G_{e_2}(p)|/p\in C\},0)$, then obviously $(\tilde{E},\tilde{C},{\tilde{d}}_{c^{*}})$ is a complete $C^{*}$-algebra valued fuzzy soft metric space.

We define $S:\tilde{E}\times \tilde{E}\to \tilde{E}$ by $S(F_{e_1},G_{e_1})(p)=\frac{F_{e_1}^2+G_{e_1}^2}{5}$, $T:\tilde{E}\times \tilde{E}\to \tilde{E}$ by $T(F_{e_1},G_{e_1})(p)=\frac{F_{e_1}^2+G_{e_1}^2}{3}$, $f:\tilde{E}\to \tilde{E}$ by $f{F}_{e_1}=\frac{F_{e_1}}{2}$ and $g:\tilde{E}\to \tilde{E}$ by $g{F}_{e_1}=F_{e_1}$ for all $p\in U$ and $F_{e_1},G_{e_1}\in \tilde{E}.$ Notice that $f{F}_{e_1}=\frac{F_{e_1}}{2}=\left\{0.05,0.15,0.20,0.25\right\}$ and $g{F}_{e_2}=F_{e_2}=\left\{0.3,0.4,0.6,0.8\right\}.$ Thus, $inf\{|{\mu }_{f{F}_{e_1}}^p(t)-{\mu }_{g{F}_{e_2}}^p(t)|/t\in C\}=inf\{0.25,0.25,0.4,0.55\}=0.25$.

Hence ${\tilde{d}}_{c^{*}}(f{F}_{e_1},g{F}_{e_2})=\left[\begin{array}{cc}0.25& 0\\ 0& 0.25\end{array}\right].$

Also, $f{G}_{e_1}=\frac{G_{e_1}}{2}=\left\{0.2,0.25,0.10,0.30\right\}$ and $g{G}_{e_2}=G_{e_2}=\left\{0.5,0.6,0.3,0.7\right\}.$ Thus, $inf\{|{\mu }_{f{G}_{e_1}}^p(t)-{\mu }_{g{G}_{e_2}}^p(t)|/t\in C\}=inf\{0.3,0.35,0.2,0.4\}=0.20$ and ${\tilde{d}}_{c^{*}}(f{G}_{e_1},g{G}_{e_2})=\left[\begin{array}{cc}0.20& 0\\ 0& 0.20\end{array}\right]$.

Moreover, $S(F_{e_1},G_{e_1})(p)=\frac{F_{e_1}^2+G_{e_1}^2}{5}=\left\{0.034,0.068,0.040,0.122\right\}$ and $T(F_{e_2},G_{e_2})(p)=\frac{F_{e_2}^2+G_{e_2}^2}{3}=\left\{0.11,0.17,0.15,0.37\right\}$. Then

$\begin{array}{cc}\hfill {\tilde{d}}_{c^{*}}(S(F_{e_1},G_{e_1}),T(F_{e_2},G_{e_2}))& =\left[\begin{array}{cc}0.08& 0\\ 0& 0.08\end{array}\right]\hfill \\ & ⪯\left[\begin{array}{cc}\frac{\sqrt{3}}{3}& 0\\ 0& \frac{\sqrt{3}}{3}\end{array}\right]\left[\begin{array}{cc}0.45& 0\\ 0& 0.45\end{array}\right]\left[\begin{array}{cc}\frac{\sqrt{3}}{3}& 0\\ 0& \frac{\sqrt{3}}{3}\end{array}\right]\hfill \\ & ⪯\left[\begin{array}{cc}\frac{\sqrt{3}}{3}& 0\\ 0& \frac{\sqrt{3}}{3}\end{array}\right]\left(\left[\begin{array}{cc}0.25& 0\\ 0& 0.25\end{array}\right]+\left[\begin{array}{cc}0.20& 0\\ 0& 0.20\end{array}\right]\right)\left[\begin{array}{cc}\frac{\sqrt{3}}{3}& 0\\ 0& \frac{\sqrt{3}}{3}\end{array}\right]\hfill \\ & ⪯{\tilde{c}}^{*}\left({\tilde{d}}_{c^{*}}(f{F}_{e_1},g{F}_{e_2})+{\tilde{d}}_{c^{*}}(f{G}_{e_1},g{G}_{e_2})\right)\tilde{c}.\hfill \end{array}$

Here $\tilde{c}=\left[\begin{array}{cc}\frac{\sqrt{3}}{3}& 0\\ 0& \frac{\sqrt{3}}{3}\end{array}\right]$ with $||\tilde{c}||=\frac{1}{\sqrt{3}}<\frac{1}{\sqrt{2}}$ Therefore, all the conditions of Theorem 4 satisfied. Hence $S,T,f$ and g have a unique coupled fixed point.

Theorem 5.

Let $(\tilde{E},\tilde{C},\widetilde{d_{c^{*}}})$ be a $C^{*}$-algebra valued fuzzy soft metric space. Suppose $S,T:\tilde{E}\times \tilde{E}\to \tilde{E}$ be satisfying

• (1) 

  $S(\tilde{E}\times \tilde{E})\subseteq T(\tilde{E}\times \tilde{E})$

• (2) 

  $\left\{S,T\right\}$ is ω-compatible pairs.

• (3) 

  one of $S(\tilde{E}\times \tilde{E})orT(\tilde{E}\times \tilde{E})$ is complete.

• (4) 

  $\widetilde{d_{c^{*}}}\left(S(F_{e_1},G_{e_1}),S(F_{e_2},G_{e_2})\right)⪯{\tilde{a}}^{\star }\widetilde{d_{c^{*}}}(T(F_{e_1},G_{e_1}),T(F_{e_2},G_{e_2}))\tilde{a}$

  for all $F_{e_1},F_{e_2},G_{e_1},G_{e_2}\in \tilde{E}$,

where $\tilde{a}\in \tilde{C}$ with $||\tilde{a}||<1$. Then S and T have a unique common coupled fixed point in $\tilde{E}\times \tilde{E}$. Moreover, S and T have a unique common fixed point in $\tilde{E}.$

Proof. 

Similar to Theorem 4. □

Theorem 6.

Let $(\tilde{E},\tilde{C},\widetilde{d_{c^{*}}})$ be a $C^{*}$-algebra valued fuzzy soft metric space. Suppose $S,T:\tilde{E}\times \tilde{E}\to \tilde{E}$ and $f,g:\tilde{E}\to \tilde{E}$ be satisfying

• (1) 

  $S(\tilde{E}\times \tilde{E})\subseteq g(\tilde{E})$ and $T(\tilde{E}\times \tilde{E})\subseteq f(\tilde{E})$

• (2) 

  $\left\{S,f\right\}$ and $\left\{T,g\right\}$ are ω-compatible pairs.

• (3) 

  one of $f(\tilde{E})$ or $g(\tilde{E})$ is complete $C^{*}$-algebra valued fuzzy soft metric of $\tilde{E}$

• (4) 

  $\widetilde{d_{c^{*}}}\left(S(F_{e_1},G_{e_1}),T(F_{e_2},G_{e_2})\right)⪯\tilde{a}\widetilde{d_{c^{*}}}(S(F_{e_1},G_{e_1}),f{F}_{e_1})+\tilde{a}\widetilde{d_{c^{*}}}(T(F_{e_2},G_{e_2}),g{F}_{e_2})$

  for all $F_{e_1},F_{e_2},G_{e_1},G_{e_2}\in \tilde{E}$,

where $\tilde{a}\in \tilde{C}$ with $||\tilde{a}||<\frac{1}{2}$. Then $S,T,f$ and g have a unique common coupled fixed point in $\tilde{E}\times \tilde{E}$. Moreover, $S,T,f$ and g have a unique common fixed point in $\tilde{E}.$

Proof. 

Similar to Theorem 4. □

Corollary 7.

Let $(\tilde{E},\tilde{C},\widetilde{d_{c^{*}}})$ be a $C^{*}$-algebra valued fuzzy soft metric space.Suppose $S:\tilde{E}\times \tilde{E}\to \tilde{E}$ and $f,g:\tilde{E}\to \tilde{E}$ be satisfying

• (1) 

  $S(\tilde{E}\times \tilde{E})\subseteq f(\tilde{E})$ and $S(\tilde{E}\times \tilde{E})\subseteq g(\tilde{E})$

• (2) 

  $\left\{S,f\right\}$ and $\left\{S,g\right\}$ are ω-compatible pairs.

• (3) 

  one of $f(\tilde{E})$ or $g(\tilde{E})$ is complete $C^{*}$-algebra valued fuzzy soft metric of $\tilde{E}$

• (4) 

  $\widetilde{d_{c^{*}}}\left(S(F_{e_1},G_{e_1}),S(F_{e_2},G_{e_2})\right)⪯\tilde{a}\widetilde{d_{c^{*}}}(S(F_{e_1},G_{e_1}),f{F}_{e_1})+\tilde{a}\widetilde{d_{c^{*}}}(S(F_{e_2},G_{e_2}),g{F}_{e_2})$

  for all $F_{e_1},F_{e_2},G_{e_1},G_{e_2}\in \tilde{E}$,

where $\tilde{a}\in \tilde{C}$ with $||\tilde{a}||<\frac{1}{2}$. Then S and $f,g$ have a unique common fixed point in $\tilde{E}$.

Corollary 8.

Let $(\tilde{E},\tilde{C},\widetilde{d_{c^{*}}})$ be a $C^{*}$-algebra valued fuzzy soft metric space.Suppose $S:\tilde{E}\times \tilde{E}\to \tilde{E}$ and $f:\tilde{E}\to \tilde{E}$ be satisfying

• (1) 

  $S(\tilde{E}\times \tilde{E})\subseteq f(\tilde{E})$

• (2) 

  $\left\{S,f\right\}$ is ω-compatible pairs.

• (3) 

  $f(\tilde{E})$ is complete $C^{*}$-algebra valued fuzzy soft metric of $\tilde{E}$

• (4) 

  $\widetilde{d_{c^{*}}}\left(S(F_{e_1},G_{e_1}),S(F_{e_2},G_{e_2})\right)⪯\tilde{a}\widetilde{d_{c^{*}}}(S(F_{e_1},G_{e_1}),f{F}_{e_1})+\tilde{a}\widetilde{d_{c^{*}}}(S(F_{e_2},G_{e_2}),f{F}_{e_2})$

  for all $F_{e_1},F_{e_2},G_{e_1},G_{e_2}\in \tilde{E}$,

where $\tilde{a}\in \tilde{C}$ with $||\tilde{a}||<\frac{1}{2}$. Then S and f have a unique common fixed point in $\tilde{E}$.

Corollary 9.

Let $(\tilde{E},\tilde{C},\widetilde{d_{c^{*}}})$ be a complete $C^{*}$-algebra valued fuzzy soft metric space.Suppose $S:\tilde{E}\times \tilde{E}\to \tilde{E}$ satisfies

• (1) 

  $\widetilde{d_{c^{*}}}\left(S(F_{e_1},G_{e_1}),S(F_{e_2},G_{e_2})\right)⪯\tilde{a}\widetilde{d_{c^{*}}}(S(F_{e_1},G_{e_1}),F_{e_1})+\tilde{a}\widetilde{d_{c^{*}}}(GS(F_{e_2},G_{e_2}),F_{e_2})$

for all $F_{e_1},F_{e_2},G_{e_1},G_{e_2}\in \tilde{E}$, where $\tilde{a}\in \tilde{C}$ with $||\tilde{a}||<\frac{1}{2}$. Then S has a unique fixed point in $\tilde{E}$.

4. Applications to Integral Equations

Theorem 7.

Let us Consider the integral equation

$\begin{array}{c}{F}_{e_1}(x)=\underset{C}{\int }\left(T_1(x,y,F_{e_1}(y))+T_1(x,y,F_{e_1}(y))\right)dy,x\in C\hfill \\ \hfill \\ F_{e_1}(x)=\underset{C}{\int }\left(I_1(x,y,F_{e_1}(y))+I_2(x,y,F_{e_1}(y))\right)dy,x\in C.\hfill \end{array}$

where C is a Lebesgue measurable set. Suppose that

• (i) 

  $T_1,T_2:C\times C\times R{(C)}^{*}\to R{(C)}^{*}and{I}_1,I_2:C\times C\times R{(C)}^{*}\to R{(C)}^{*}$.

• (ii) 

  there exist two continuous function $\varphi ,\phi :C\times C\to R{(C)}^{*}$ and $r\in (0,1)$ such that for $u,v\in C$ and $F_{e_1}(v),F_{e_2}(v)\in R{(C)}^{*}$

  $\begin{array}{c}inf\{|T_1(u,v,F_{e_1}(v))-I_1(u,v,F_{e_2}(v))|\}\le rinf\{|\varphi (u,v)|\}.inf\{|(F_{e_1}(v)-F_{e_2}(v))|\},\hfill \\ inf\{|T_2(u,v,F_{e_1}(v))-I_2(u,v,F_{e_2}(v))|\}\le rinf\{|\phi (u,v)|\}.inf\{|(F_{e_1}(v)-F_{e_2}(v))|\}\hfill \end{array}$

• (iii) 

  $\underset{x\in C}{sup}\underset{C}{\int }inf\{|\varphi (u,v)|\}dv\le 1$ and $\underset{x\in C}{sup}\underset{C}{\int }inf\{|\phi (u,v)|\}dv\le 1$

then the integral equation has a unique solutions in $L^{\infty }(C)$.

Proof. 

Let $E=C=[0,1]$ and $\tilde{E}=L^{\infty }(C)$ be the set of essential bounded measurable function on C and $H=L^2(C)$. The set of bounded linear operators on Hilbert space H denoted by $L(H)$. Consider $\widetilde{d_{c^{*}}}:\tilde{E}\times \tilde{E}\to L(H)$ by $\widetilde{d_{c^{*}}}(F_{e_1},F_{e_2})={\mathrm{M}}_{inf\{|{\mu }_{F_{e_1}}^p(y)-{\mu }_{F_{e_2}}^p(y)|/y\in C\}}$ for all $F_{e_1},F_{e_2}\in \tilde{E}$, where ${\mathrm{M}}_h:H\to H$ is the multiplication operator defined by ${\mathrm{M}}_h(\varphi )=h·\varphi$ for $\varphi \in H$. Then $\widetilde{d_{c^{*}}}$ is a $C^{*}$-algebra valued fuzzy soft metric and $(\tilde{E},L(H),\widetilde{d_{c^{*}}})$ is a complete $C^{*}$-algebra valued fuzzy soft metric space. Define two self mappings $S,T:\tilde{E}\times \tilde{E}\to \tilde{E}$ by

$S(F_{e_1},G_{e_1})(x)=\underset{C}{\int }\left(T_1(x,y,F_{e_1}(y))+T_2(x,y,G_{e_1}(y))\right)dy,x\in C,$

$T(F_{e_2},G_{e_2})(x)=\underset{C}{\int }\left(I_1(x,y,F_{e_2}(y))+I_2(x,y,G_{e_2}(y))\right)dy,x\in C.$

Notice that

$\widetilde{d_{c^{*}}}(S(F_{e_1},G_{e_1}),T(F_{e_2},G_{e_2}))={\mathrm{M}}_{inf\{|{\mu }_{S(F_{e_1},G_{e_1})}^p(y)-{\mu }_{T(F_{e_2},G_{e_2})}^p(y)|/y\in C\}}$

$\begin{array}{cc}& ||\widetilde{d_{c^{*}}}(S(F_{e_1},G_{e_1}),T(F_{e_2},G_{e_2}))||\hfill \\ =& \underset{||h||=1}{sup}({\mathrm{M}}_{inf\{|{\mu }_{S(F_{e_1},G_{e_1})}^p(y)-{\mu }_{T(F_{e_2},G_{e_2})}^p(y)|/y\in C\}}h,h)\hfill \\ =& \underset{||h||=1}{sup}\underset{C}{\int }\left[inf\{|{\mu }_{S(F_{e_1},G_{e_1})}^p(y)-{\mu }_{T(F_{e_2},G_{e_2})}^p(y)|/y\in C\}\right]h(x)\overline{h(x)}dx\hfill \\ \le & \underset{||h||=1}{sup}\underset{C}{\int }\left[\underset{C}{\int }inf\{|T_1(x,y,F_{e_1}(y))-I_1(x,y,F_{e_2}(y))|\}dy\right]{|h(x)|}^{2}dx\hfill \\ & +\underset{||h||=1}{sup}\underset{C}{\int }\left[\underset{C}{\int }inf\{|T_2(x,y,G_{e_1}(y))-I_2(x,y,G_{e_2}(y))|\}dy\right]{|h(x)|}^{2}dx\hfill \\ \le & \underset{||h||=1}{sup}\underset{C}{\int }\left[\underset{C}{\int }rinf\{|\varphi (x,y)(F_{e_1}(y)-F_{e_2}(y))|\}dy\right]{|h(x)|}^{2}dx\hfill \\ & +\underset{||h||=1}{sup}\underset{C}{\int }\left[\underset{C}{\int }rinf\{|\phi (x,y)(G_{e_1}(y)-G_{e_2}(y))|\}dy\right]{|h(x)|}^{2}dx\hfill \\ \le & r\underset{||h||=1}{sup}\underset{C}{\int }\left[\underset{C}{\int }inf\{|\varphi (x,y)|\}inf\{|F_{e_1}(y)-F_{e_2}(y)|\}dy\right]{|h(x)|}^{2}dx\hfill \\ & +r\underset{||h||=1}{sup}\underset{C}{\int }\left[\underset{C}{\int }inf\{|\phi (x,y)|\}inf\{|G_{e_1}(y)-G_{e_2}(y)|\}dy\right]{|h(x)|}^{2}dx\hfill \\ \le & r\underset{||h||=1}{sup}\underset{C}{\int }\left[\underset{C}{\int }inf\{|\varphi (x,y)|\}dy\right]{|h(x)|}^{2}dx.||inf\{|F_{e_1}(y)-F_{e_2}{(y)|\}||}_{\infty }\hfill \\ & +r\underset{||h||=1}{sup}\underset{C}{\int }\left[\underset{C}{\int }inf\{|\phi (x,y)|\}dy\right]{|h(x)|}^{2}dx.||inf\{|G_{e_1}(y)-G_{e_2}{(y)|\}||}_{\infty }\hfill \\ \le & r\underset{||h||=1}{sup}\underset{C}{\int }inf\{|\varphi (x,y)|\}dy.\underset{||h||=1}{sup}\underset{C}{\int }{|h(x)|}^{2}dx.||inf\{|F_{e_1}(y)-F_{e_2}{(y)|\}||}_{\infty }\hfill \\ & +r\underset{||h||=1}{sup}\underset{C}{\int }inf\{|\phi (x,y)|\}dy.\underset{||h||=1}{sup}\underset{C}{\int }{|h(x)|}^{2}dx.||inf\{|G_{e_1}(y)-G_{e_2}{(y)|\}||}_{\infty }\hfill \\ \le & r.||inf\{|F_{e_1}(y)-F_{e_2}{(y)|\}||}_{\infty }+r.||inf\{|G_{e_1}(y)-G_{e_2}{(y)|\}||}_{\infty }.\hfill \end{array}$

Set $\tilde{a}=\sqrt{r}{1}_{L(H)}$, then $\tilde{a}\in L(H)$ and $||\tilde{a}||=\sqrt{r}<\frac{1}{\sqrt{2}}$. Hence, applying our Corollary 5, we get the desired result. □

5. Conclusions

In the present work, we proved some existing and uniqueness fixed point results for these new type of contractive mappings in complete $C^{*}$-algebra valued fuzzy soft metric spaces. Furthermore, the examples illustrate the validity of the obtained results. We hope that the results of this paper will support researchers and promote future study on $C^{*}$-algebra valued fuzzy soft metric spaces.

Author Contributions

R.P.D. analyzed and prepared/edited the manuscript, N.V.K.G. analyzed and prepared/edited the manuscript, H.I. analyzed and prepared/edited the manuscript, S.R.B. analyzed and prepared/edited the manuscript, A.L.G. analyzed and prepared/edited the manuscript.

Acknowledgments

The authors are very thanks to the reviewers and editors for valuable comments, remarks and suggestions for improving the content of the paper.

Conflicts of Interest

The authors declare no conflict of interest.