- Research
- Open access
- Published:
Jungck type fixed point results for weakly compatible mappings in a rectangular soft metric space
Journal of Inequalities and Applications volume 2019, Article number: 145 (2019)
Abstract
The main objectives of the current study are to explore and to express the proof of some common fixed point theorems by using commuting maps in rectangular soft metric spaces. We obtain some common fixed point results by utilization of rectangular soft metric and scalar-valued parametric functions.
1 Introduction
Soft set theory, which was asserted by Molodtsov [12] in 1999, contains alternative tools for state mathematical problems with different viewpoint. The theory has many applications in engineering, modeling problems, medical and social sciences, economics, etc. In recent years many mathematicians have studied soft topological and soft algebraic structures [2, 11, 20, 23].
Otherwise the theory of fixed point has a big role in different branches of mathematics. Soft metric spaces were defined by Das and Samanta [5], and Hosseinzadeh [8] developed the theoretical properties of soft metric spaces by initiating new definition of soft metric. Also Yazar, Aras, and Bayramov studied some fixed point theorems for soft contractive mappings [22]. In recent papers we defined the soft rectangular metric spaces by using Branciari’s [4] rectangular metric and acquired some fixed point results such as Banach contraction theorem for rectangular soft metric spaces [17], and the other properties are investigated in [18, 19]. Immediately afterwards, in this paper we focus on Jungck’s common fixed point consequences for commuting mappings [9] and present some theorems in rectangular soft metric spaces. More details on fixed point theorems and common fixed point theorems can be found at [1, 3, 6, 7, 10, 13,14,15,16, 21].
2 Preliminaries
Definition 2.1
([12])
Let \(\mathbb{\mathbb{E}}\) be a parameter set. A pairwise \((\mathcal{S},\mathbb{E})\) is called to be a soft set on the universal set X, where \(\mathcal{S}\) is a transformation supplied with \(\mathcal{S}:\mathbb{E}\to \mathcal{P}(X)\).
That is to say, a soft set over X is a parameterized family of subsets of the universal set X. For any parameter \(x\in \mathbb{E}, \mathcal{S}(x)\) could be regarded as the set of x-approximate members of the soft set \((\mathcal{S},\mathbb{E})\).
Definition 2.2
([11])
Assume that \((\mathcal{S},A)\) and \((\mathcal{G'},A')\) are two soft sets on U. \((\mathcal{S},A)\) is named to be a soft subset of \((\mathcal{G'},A')\), and we denote it by \((\mathcal{S},A) \tilde{\subset } (\mathcal{G'},A')\) if
-
(1)
\(A\subseteq A'\) and
-
(2)
\(\mathcal{S}(x)\subseteq \mathcal{G'}(x)\) for all \(x\in A\).
Then \((\mathcal{S},A)\) is a super set of in soft manner \(( \mathcal{G'},A')\), if \((\mathcal{G'},A')\) is a soft subset of \((\mathcal{S},A)\). We indicate it by \((\mathcal{S},A)\tilde{\supset } (\mathcal{G'},A')\).
Definition 2.3
([11])
Suppose that \((\mathcal{S},\mathbb{E})\) is a soft set on X. Then
-
(1)
\((\mathcal{S},\mathbb{E})\) is named to be a null set in soft manner, symbolized by ∅̌ if, for every \(e\in \mathbb{E}\), \(\mathcal{S}(e)= \emptyset \).
-
(2)
\((\mathcal{S},\mathbb{E})\) is called to be absolute soft set, signified by \(\check{\mathbb{E}}\) if, for every \(e\in \mathbb{E}\), \(\mathcal{S}(e)=X\).
Definition 2.4
([8])
Presume that \(A\subseteq \mathbb{E}\) is a parameter set. The binary \((\alpha ,t)\) is called to be a soft parametric scalar if \(t\in \mathbb{R}\) and \(\alpha \in A\). The parametric scalar \((\alpha ,t)\) is entitled not negative if \(t\geq 0\). Let \((\alpha ,t)\) and \((\beta ,t')\) be two soft parametric scalars. \((\alpha ,t)\) is said to be no less than \((\beta ,t')\), and it is written as \((\alpha ,t)\succeq (\beta ,t')\), if \(t\geq t'\).
Definition 2.5
([8])
Let \(A\subseteq \mathbb{E}\) be a parameter set. Suppose that \((\gamma ,t)\) and \((\beta ,t')\) are two parametric scalars in soft manner. So the addition between soft parametric scalars and scalar multiplication on soft parametric scalars is described as follows:
and
Definition 2.6
([8])
Suppose that \((\mathcal{S},\mathbb{E})\) is a soft set on the universal X. The function f is called on \((\mathcal{S}, \mathbb{E})\) parametric scalar-valued if there are mappings \(f_{1}:\mathbb{E}\rightarrow \mathbb{E}\) and \(f_{2}:\mathcal{S}( \mathbb{E})\rightarrow \mathbb{R}\) so that \(f(\mathcal{S},\mathbb{E})=(f _{1},f_{2})(\mathbb{E},\mathcal{S}(\mathbb{E}))\).
In a similar manner, we can amplify the parametric scalar-valued function defined above as \(f:(\mathcal{S},\mathbb{E})\times ( \mathcal{S},\mathbb{E})\rightarrow (\mathbb{E},\mathbb{R})\) by \(f(\mathbb{E}\times \mathbb{E},\mathcal{S}(\mathbb{E})\times \mathcal{S}(\mathbb{E}))=(f_{1},f_{2})(\mathbb{E}\times \mathbb{E}, \mathcal{S}(\mathbb{E})\times \mathcal{S}(\mathbb{E}))\), where \(f_{1}:\mathbb{E}\times \mathbb{E}\rightarrow \mathbb{E}\) and \(f_{2}:\mathcal{S}(\mathbb{E})\times \mathcal{S}(\mathbb{E})\rightarrow \mathbb{R}\).
Definition 2.7
([8])
Let \((\mathcal{S},\mathbb{E})\) be a soft set over X, and let \(\check{\varphi }: \mathbb{E}\times \mathbb{E}\rightarrow \mathbb{E}\) be a parametric mapping. The parametric scalar-valued transformation \(\check{\mathcal{D}}:(\mathcal{S},\mathbb{E})\times ( \mathcal{S},\mathbb{E})\rightarrow (\mathbb{E},\mathbb{R}^{+} \{0\})\) is called to be a soft metric on \((\mathcal{S},\mathbb{E})\) if \(\check{\mathcal{D}}\) supplies the following requirements:
-
(1)
\(\check{\mathcal{D}}((x,\mathcal{S}(x)),(x',\mathcal{S}(x'))) \succeq (\check{\varphi } (x,x'),0)\) and if \(x=x'\), then the equality holds.
-
(2)
\(\check{\mathcal{D}}((x,\mathcal{S}(x)),(x',\mathcal{S}(x'))) = \check{\mathcal{D}}((x',\mathcal{S}(x')),(x,\mathcal{S}(x)))\) for all \(x,x' \in \mathbb{E}\).
-
(3)
\(\check{\mathcal{D}}((x,\mathcal{S}(x)),(x'',\mathcal{S}(x''))) \preceq \check{\mathcal{D}}(((x,\mathcal{S}(x)),(x',\mathcal{S}(x'))) \dotplus \check{\mathcal{D}}((x',\mathcal{S}(x')),(x'',\mathcal{S}(x'')))\) for all \(x,x',x'' \in \mathbb{E}\).
The pairwise \(((\mathcal{S},\mathbb{E}),\check{\mathcal{D}})\) is reputed to be a soft metric space on X.
Definition 2.8
([4])
Assume that A is a not null set, and let \(d:A\times A\rightarrow [0,\infty ]\) carry out the following conditions for all \(u,v \in A\) and all different \(w,t \in A\), each of which is dissimilar from u and v:
-
(RM1)
\(d(u,v)=0\Leftrightarrow u=v\),
-
(RM2)
\(d(u,v)=d(v,u)\),
-
(RM3)
\(d(u,v)\leq d(u,w)+d(w,t)+d(t,v)\).
At that time d is named a rectangular metric and the pairwise \((A,d)\) is named a rectangular metric space(RMS).
Definition 2.9
([3])
Let \(A\neq \emptyset \). An element \(a\in A\) is a fixed point of \(f:A\rightarrow A\) if \(f(a)=a\).
Definition 2.10
([3])
Let T be a transformation of a metric space \((M,\sigma )\) into \((M,\sigma )\). We express that T is a contraction transformation if there exists a number α such that \(0<\alpha <1\) and \(\sigma (Tu,Tv)\leq \alpha \sigma (u,v)\) (\(\forall u,v\in M\)).
Theorem 2.11
([3])
Any contraction transformation of a complete non-empty metric space M into M has only one fixed point in M.
Definition 2.12
Suppose that \(\check{\varphi }: \mathbb{E}\times \mathbb{E}\rightarrow \mathbb{E}\) is a scalar-valued parametric function. The parametric scalar-valued mapping \(\check{\mathcal{D}}_{R}:(\mathcal{S},\mathbb{E})\times (\mathcal{S}, \mathbb{E})\rightarrow (\mathbb{E},R^{+}\cup \{0\})\) is called to be a rectangular soft metric on \((\mathcal{S},\mathbb{E})\) if \(\check{\mathcal{D}}_{R}\) carries through the following properties:
-
(RSM1)
\(\check{\mathcal{D}}_{R}((u,\mathcal{S}(u)),(v, \mathcal{S}(v)))\succeq (\check{\varphi }(u,v),0)\), if \(u=v\), then the equality holds.
-
(RSM2)
\(\check{\mathcal{D}}_{R}((u,\mathcal{S}(u)),(v, \mathcal{S}(v)))=(\check{\varphi }(u,v),0)\Leftrightarrow \) for all \(((u,\mathcal{S}(u)),(v,\mathcal{S}(v)))\in (\mathcal{S},\mathbb{E})\), \((u,\mathcal{S}(u))=(v,\mathcal{S}(v))\) [for all \(u,v\in \mathbb{E},u=v\)].
-
(RSM3)
\(\check{\mathcal{D}}_{R}((u,\mathcal{S}(u)),(v, \mathcal{S}(v)))=\check{\mathcal{D}}_{R}((v,\mathcal{S}(v)),(u, \mathcal{S}(u)))\) for all \(u,v\in \mathbb{E}\).
-
(RSM4)
\(\check{\mathcal{D}}_{R}((u,\mathcal{S}(u)),(v, \mathcal{S}(v)))\preceq \check{\mathcal{D}}_{R}((u,\mathcal{S}(u)),(w, \mathcal{S}(w))) \dotplus \check{\mathcal{D}}_{R}((w,\mathcal{S}(w)),(t, \mathcal{S}(t))) \dotplus \check{\mathcal{D}}_{R}((t,\mathcal{S}(t)),(v,\mathcal{S}(v)))\) for all \(u,v,w,t\in \mathbb{E}\).
Then we express that the binary \(((\mathcal{S},\mathbb{E}), \check{\mathcal{D}}_{R})\) is a rectangular soft metric space over X.
Definition 2.13
Assume that \((\mathcal{S},\mathbb{E})\) is a soft set on X. A soft sequence in \((\mathcal{S},\mathbb{E})\) is a mapping \(f: \mathbb{N} \rightarrow (\mathcal{S},\mathbb{E})\) equipped with \(f(n)=(\mathcal{S}_{n},\mathbb{E})\) so that \((\mathcal{S}_{n}, \mathbb{E})\) is a soft subset of \((\mathcal{S},\mathbb{E})\) for \(n\in \mathbb{N}\), and this is symbolized by \(\{(\mathcal{S}_{n}, \mathbb{E})\}_{n=1}^{\infty }\).
Definition 2.14
Presume that \((\mathcal{S}, \mathbb{E})\) is a soft set on X. Let \(\check{\mathcal{D}}_{R}\) be a rectangular soft metric on \((\mathcal{S},\mathbb{E})\), \(\{( \mathcal{S}_{n},\mathbb{E})\}_{n=1}^{\infty }\) be a soft sequence in \((\mathcal{S},\mathbb{E})\), and \((x,\mathcal{S}(x))\in (\mathcal{S}, \mathbb{E})\). Then we state that the \(\{(\mathcal{S}_{n},\mathbb{E}) \}_{n=1}^{\infty }\) converges to \((x,\mathcal{S}(x))\) if, for every positive number ϵ, there exists a natural number N so that, for all \(n\in \mathbb{N}\) which \(n\geq N\), we have
Definition 2.15
Suppose that \((\mathcal{S}, \mathbb{E})\) is a soft set on X. Let \(\check{\mathcal{D}}_{R}\) be a rectangular soft metric on \((\mathcal{S},\mathbb{E})\) and \(\{( \mathcal{S}_{n},\mathbb{E})\}_{n=1}^{\infty }\) be a soft sequence in \((\mathcal{S},\mathbb{E})\). Then we express that \(\{(\mathcal{S}_{n}, \mathbb{E})\}_{n=1}^{\infty }\) is a Cauchy soft sequence if, for every positive number ϵ, there exists a natural number N so that, for every natural number n, m which \(n,m\geq N\), we have
Theorem 2.16
Assume that \((\mathcal{S},\mathbb{E})\) is a soft set on X, let \(\check{\mathcal{D}_{R}}\) be a metric on \((\mathcal{S},\mathbb{E})\) and \({(\mathcal{S}_{n},\mathbb{E})}_{n=1} ^{\infty }\) be a Cauchy soft sequence in \((\mathcal{S},\mathbb{E})\). If \({(\mathcal{S}_{n},\mathbb{E})}_{n=1}^{\infty }\) is convergent in \((\mathcal{S},\mathbb{E})\), in that case it converges to the unique member of \((\mathcal{S},\mathbb{E})\).
Definition 2.17
Let \((\mathcal{S},\mathbb{E})\) be a soft set on X, let \(\check{\mathcal{D}}_{R}\) be a rectangular soft metric on \((\mathcal{S},\mathbb{E})\). \((\mathcal{S},\mathbb{E})\) is said to be a complete rectangular soft metric space if every Cauchy soft sequence converges in \((\mathcal{S},\mathbb{E})\).
Theorem 2.18
Let \(((\mathcal{S},\mathbb{E}), \check{\mathcal{D}}_{R})\) and \(((\mathcal{S}',\mathbb{E}'), \check{\mathcal{D}'}_{R})\) be two rectangular soft metric spaces on X and Y, respectively. Let \(f=(f_{1},f_{2}):((\mathcal{S}, \mathbb{E}),\check{\mathcal{D}}_{R})\rightarrow ((\mathcal{S}', \mathbb{E}'),\check{\mathcal{D}'}_{R})\) be a soft mapping. Then f is soft continuous iff, for all \((a,\mathcal{S}(a))\in (\mathcal{S}, \mathbb{E})\) and every positive number ϵ, there exists a positive number δ so that, for every \((b,\mathcal{S}(b)) \in (\mathcal{S},\mathbb{E})\),
Definition 2.19
Let \(((\mathcal{S},\mathbb{E}), \check{\mathcal{D}}_{R})\) be a rectangular soft metric space on X and
be a soft mapping. Then f is called to be soft contractive if there is a positive number λ with \(0<\lambda <1\) such that
Theorem 2.20
Soft contractive mapping is soft continuous in a rectangular soft metric space \(((\mathcal{S}, \mathbb{E}),\check{\mathcal{D}}_{R})\).
Definition 2.21
Let \(((\mathcal{S},\mathbb{E}), \check{\mathcal{D}}_{R})\) be a complete rectangular soft metric space on X, and let \(f:((\mathcal{S},\mathbb{E}),\check{\mathcal{D}}_{R}) \rightarrow ((\mathcal{S},\mathbb{E}),\check{\mathcal{D}}_{R})\) be a soft transformation. A fixed soft set for f is a soft subset of \((\mathcal{S},\mathbb{E})\) such as \((a,\mathcal{S}(a))\) such that \(f((a,\mathcal{S}(a)))=(a,\mathcal{S}(a))\).
Theorem 2.22
([17] (Banach contraction theorem for rectangular soft metric space))
Let \(((\mathcal{S},\mathbb{E}),\check{\mathcal{D}}_{R})\) be a complete rectangular soft metric space on X, and let
be a rectangular soft contractive mapping. Hence f has a unique fixed soft set.
3 Main results
Definition 3.1
Assume that f and g are mappings from \((\mathcal{S},\mathbb{E})\) to \((\mathcal{S},\mathbb{E})\). Then we say f commutes with g if \(f(g(x,\mathcal{S}(x)))=g(f(x,\mathcal{S}(x)))\) for all \((x, \mathcal{S}(x))\) in \((\mathcal{S},\mathbb{E})\).
Definition 3.2
Let \(f:(\mathcal{S},\mathbb{E})\rightarrow (\mathcal{S},\mathbb{E})\) and \(g:(\mathcal{S},\mathbb{E})\rightarrow (\mathcal{S},\mathbb{E})\) be mappings in \(((\mathcal{S},\mathbb{E}),\check{\mathcal{D}}_{R})\). A soft point \((x,\mathcal{S}(x))\in (\mathcal{S},\mathbb{E})\) is said to be a coincidence point of g and f iff \(g(x,\mathcal{S}(x))=f(x, \mathcal{S}(x))=(x,\mathcal{S}(x))\). g and f are named to be weakly compatible if they commute at all coincidence points.
Theorem 3.3
Presume that g and f are commuting transformations of a complete rectangular soft metric space \(((\mathcal{S},\mathbb{E}), \check{\mathcal{D}}_{R})\) into itself satisfying the following inequality:
for all \((x,\mathcal{S}(x)),(y,\mathcal{S}(y))\in (\mathcal{S}, \mathbb{E})\), where \(0<\lambda <1\) and where \((\mathcal{S},\mathbb{E})\) is a soft set on X. If \(g((\mathcal{S},\mathbb{E}))\subset f(( \mathcal{S},\mathbb{E}))\) and f is continuous in soft manner, then g and f have only one common fixed point.
Proof
Let \((\mathcal{S}_{0},\mathbb{E})\in (\mathcal{S},\mathbb{E})\) be arbitrary. Then \(g((\mathcal{S}_{0},\mathbb{E}))\) and \(f((\mathcal{S} _{0},\mathbb{E}))\) are well defined. Since \(g((\mathcal{S}_{0}, \mathbb{E}))\in f((\mathcal{S},\mathbb{E}))\), there is \((\mathcal{S} _{1},\mathbb{E})\in (\mathcal{S},\mathbb{E})\) so that \(f((\mathcal{S} _{1},\mathbb{E}))=g((\mathcal{S}_{0},\mathbb{E}))\). As usually, if \((\mathcal{S}_{n},\mathbb{E})\) is selected, then we put a point \(f((\mathcal{S}_{n+1},\mathbb{E}))\) in \((\mathcal{S},\mathbb{E})\) so that \(f((\mathcal{S}_{n+1},\mathbb{E}))=g((\mathcal{S}_{n},\mathbb{E}))\).
We show that \(\{f((\mathcal{S}_{n},\mathbb{E}))\}\) is a Cauchy sequence.
From (1) we get
So,
for all \(k\in \mathbb{N}\).
Now, we ensure the following two situations.
Case 1: If \(f((\mathcal{S}_{n},\mathbb{E}))=f((\mathcal{S} _{n+1},\mathbb{E}))\) for some n, then \(g((\mathcal{S}_{n}, \mathbb{E}))=f((\mathcal{S}_{n},\mathbb{E}))=(w,\mathcal{S}(w))\). We will verify that \((w,\mathcal{S}(w))\) is a unique common fixed point of g and f. Essentially,
\(g((w,\mathcal{S}(w)))=g(f(\mathcal{S}_{n},\mathbb{E}))=f(g( \mathcal{S}_{n},\mathbb{E}))=f((w,\mathcal{S}(w)))\).
Let \(\check{\mathcal{D}}_{R}((w,\mathcal{S}(w)),g((w,\mathcal{S}(w)))) \succ 0\). In this case we have
which is a contradiction. Since condition (1) implies that \(g((\mathcal{S}_{n},\mathbb{E}))=f((\mathcal{S}_{n},\mathbb{E}))=(w, \mathcal{S}(w))\) is a unique common fixed point g and f, the proof of Case 1 is finished.
Case 2: If \(f((\mathcal{S}_{n},\mathbb{E}))\neq f(( \mathcal{S}_{n+1},\mathbb{E}))\) for all \(n\geq 0\), then \(f(( \mathcal{S}_{n},\mathbb{E}))\neq f((\mathcal{S}_{n+k},\mathbb{E}))\) for all \(n\geq 0\), \(k\geq 1\). Namely, if \(f((\mathcal{S}_{n},\mathbb{E})))=f(( \mathcal{S}_{n+k},\mathbb{E}))\) for some \(n\geq 0\) and \(k\geq 1\), we have that
So, \(f((\mathcal{S}_{n+1},\mathbb{E}))=f((\mathcal{S}_{n+k+1}, \mathbb{E}))\). Then (2) implies that
which is a contradiction. Thus we assume that \(f((\mathcal{S}_{n}, \mathbb{E}))\neq f((\mathcal{S}_{m},\mathbb{E}))\) for all distinct \((\mathcal{S}_{n},\mathbb{E}),(\mathcal{S}_{m},\mathbb{E})\in ( \mathcal{S},\mathbb{E})\). Note that \(f((\mathcal{S}_{m+k},\mathbb{E})) \neq f((\mathcal{S}_{n+k},\mathbb{E}))\) for all natural numbers k and for all distinct \(n,m\in \mathbb{N}\) and \((\mathcal{S}_{n+k}, \mathbb{E}),(\mathcal{S}_{m+k},\mathbb{E})\in (\mathcal{S},\mathbb{E}) \backslash \{f((\mathcal{S}_{n},\mathbb{E})),f((\mathcal{S}_{m}, \mathbb{E}))\}\). Since \(((\mathcal{S},\mathbb{E}),\check{\mathcal{D}} _{R})\) is a rectangular soft metric space from the rectangular property of soft metric, we obtain that
where \(n_{0}\in \mathbb{N}\) such that \(n_{0}< m,n\).
Then
Thus \(\{f(\mathcal{S}_{n},\mathbb{E})\}\) is a Cauchy sequence in \((\mathcal{S},\mathbb{E})\). By completeness of \(f(\mathcal{S}, \mathbb{E})\), there exists \((a,\mathcal{S}(a))\in (\mathcal{S}, \mathbb{E})\) such that
Because of the soft continuity of f, (1) requires that both f and g are soft continuous. Because of the commuting property of g and f, we provide
Let \((b,\mathcal{S}(b))=f((a,\mathcal{S}(a)))=g((a,\mathcal{S}(a)))\).
We get if
from (1), we obtain
which is a contradiction. So we have \(g(a,\mathcal{S}(a))=g(b, \mathcal{S}(b))\), hence we obtain \(g(b,\mathcal{S}(b))=f(b,\mathcal{S}(b))=(b,\mathcal{S}(b))\) and \((b,\mathcal{S}(b))\) is a common fixed point for g and f. Situation (1) alludes that \((b,\mathcal{S}(b))\) is a unique common fixed point. □
Lemma 3.4
Let \(((\mathcal{S},\mathbb{E}),\check{\mathcal{D}}_{R})\) be a rectangular soft metric space, and let \(f,g:(\mathcal{S},\mathbb{E}) \rightarrow (\mathcal{S},\mathbb{E})\) be two self mappings so that \(f((\mathcal{S},\mathbb{E}))\check{\subseteq } g((\mathcal{S}, \mathbb{E}))\), i.e., \(f(\mathbb{E})\subset g(\mathbb{E})\), and for all \(e\in \mathbb{E}\), \(\mathcal{S}(f(e))\subset \mathcal{S}(g(e))\).
If Jungck type soft sequence \((\mathcal{S}'_{n},\mathbb{E})=f(( \mathcal{S}_{n},\mathbb{E}))=g((\mathcal{S}_{n+1},\mathbb{E}))\), \(( \mathcal{S}_{0},\mathbb{E})\in (\mathcal{S},\mathbb{E})\), and \((\mathcal{S}'_{n},\mathbb{E})\neq (\mathcal{S}'_{n+1},\mathbb{E})\) for all \(n\in \mathbb{N}\) satisfies
for all \(n\in \mathbb{N}\), where \(0<\lambda <1\), then \((\mathcal{S}'_{n}, \mathbb{E})=(\mathcal{S}'_{m},\mathbb{E})\) whenever \(n\neq m\).
Proof
Suppose that \((\mathcal{S}'_{n},\mathbb{E})=(\mathcal{S}'_{m}, \mathbb{E})\) for some \(n>m\). Then we select \((\mathcal{S}_{n+1}, \mathbb{E})=(\mathcal{S}_{m+1},\mathbb{E})\) and hereby also \((\mathcal{S}'_{n+1},\mathbb{E})=(\mathcal{S}'_{m+1},\mathbb{E})\). Then (7) implies that
But this is a contradiction. We obtain that \(n\neq m\) implies \((\mathcal{S}'_{n},\mathbb{E})\neq (\mathcal{S}'_{m},\mathbb{E})\). □
Let ψ demonstrate the set of all soft continuous parametric scalar-valued mappings \(\psi :((\mathcal{S},[0,\infty )))\rightarrow ((\mathcal{S},[0,\infty )))\) such that \(\psi _{1} :[0,\infty )\rightarrow [0,\infty )\), \(\psi _{2} :\mathcal{S}([0,\infty ))\rightarrow \mathbb{R}\), and \(\psi (\mathcal{S}([0,\infty )))=(\psi _{1} ,\psi _{2} )(([0,\infty ),\mathcal{S}([0,\infty )))\), for which \(\psi (t, \mathcal{S}(t))=0\) iff \((t,\mathcal{S}(t))=(0,\{0\})\).
Theorem 3.5
Let \(((\mathcal{S},\mathbb{E}),\check{\mathcal{D}}_{R})\) be a rectangular soft metric space, and let \(f,g:(\mathcal{S},\mathbb{E}) \rightarrow (\mathcal{S},\mathbb{E})\) be two self maps so that \(f((\mathcal{S},\mathbb{E}))\check{\subset } g((\mathcal{S}, \mathbb{E}))\), i.e., \(f(\mathbb{E})\subset g(\mathbb{E})\), and for all \(e\in \mathbb{E}\) \(\mathcal{S}(f(e))\subset \mathcal{S}(g(e))\), one of these two soft subsets of \((\mathcal{S},\mathbb{E})\) being complete. If for some \(\psi =(\psi _{1} , \psi _{2})\), \(\phi =(\phi _{1} , \phi _{2})\), \(L \geq 0\), the functions \(\psi _{1}\) and \(\psi _{2}\) are non-decreasing
for all \((x,\mathcal{S}(x)),(y,\mathcal{S}(y))\in (\mathcal{S}, \mathbb{E})\), where
then f and g have a unique point of coincidence. If, furthermore, f, g are weakly compatible, so they possess only one common fixed point.
Proof
Firstly, it is straightforward to see that terms (8), (9), and (10) suggest that the point of coincidence of f and g is unique(if it exists). On account of proving that f and g have a point of coincidence, take a discretionary point \((x_{0},\mathcal{S}(x _{0}))\in (\mathcal{S},\mathbb{E})\) and, using \(f(\mathbb{E})\subset g(\mathbb{E}) \) and \(\mathcal{S}(f(x_{0}))\subset \mathcal{S}(g(x_{0}))\), choose sequences \(\{(\mathcal{S}_{n},\mathbb{E})\}\) and \(\{(\mathcal{S}'_{n}, \mathbb{E})\}\) in \((\mathcal{S},\mathbb{E})\) such that
If \((\mathcal{S}'_{k},\mathbb{E})=(\mathcal{S}'_{k+1},\mathbb{E})\) for some \(k\in \mathbb{N}\), then \(g(\mathcal{S}'_{k+1},\mathbb{E})=( \mathcal{S}'_{k},\mathbb{E})=(\mathcal{S}'_{k+1},\mathbb{E})=f(( \mathcal{S}'_{k+1},\mathbb{E}))\) and f and g have a point of coincidence. Assume further that \((\mathcal{S}'_{n},\mathbb{E})\neq ( \mathcal{S}'_{n+1},\mathbb{E})\) for all \(n\in \mathbb{N}\). Setting \((x,\mathcal{S}(x))=(\mathcal{S}_{n+1},\mathbb{E})\), \((y,\mathcal{S}(y))=( \mathcal{S}_{n},\mathbb{E})\) in (8), we obtain that
where
where \(\check{\varphi }:\mathbb{E}\times \mathbb{E}\rightarrow \mathbb{E}\) is a parametric function.
Further from (12), (13), and (14) we obtain that
If \(\check{\mathcal{D}}_{R} ((\mathcal{S}'_{n},\mathbb{E}),( \mathcal{S}'_{n-1},\mathbb{E}))\prec \check{\mathcal{D}}_{R} (( \mathcal{S}'_{n+1},\mathbb{E}),(\mathcal{S}'_{n},\mathbb{E}))\), then from (15) it follows that
which is a contradiction. Hence we have that
or \(\check{\mathcal{D}}_{R} ((\mathcal{S}'_{n+1},\mathbb{E}),( \mathcal{S}'_{n},\mathbb{E}))\prec \check{\mathcal{D}}_{R} (( \mathcal{S}'_{n},\mathbb{E}),(\mathcal{S}'_{n-1},\mathbb{E}))\) for all \(n\in \mathbb{N}\). Inasmuch as \((\psi _{1} , \psi _{2})\) is non-decreasing, thereby there exists
From (16) it follows that
that is, \((u,\mathcal{S}(u))=\check{0}\).
Now we easily get that \((\mathcal{S}'_{n},\mathbb{E})\neq ( \mathcal{S}'_{m},\mathbb{E})\) whenever \(n\neq m\). Indeed, if \((\mathcal{S}'_{n},\mathbb{E})=(\mathcal{S}'_{m},\mathbb{E})\) for some \(n>m\), then we select \((\mathcal{S}_{n+1},\mathbb{E})=(\mathcal{S} _{m+1},\mathbb{E})\) (and hereby also \((\mathcal{S}'_{n+1},\mathbb{E})=( \mathcal{S}'_{m+1},\mathbb{E})\)). So we have
The other part of the proof that \(\{(\mathcal{S}'_{n},\mathbb{E})\}\) is a Cauchy soft sequence.
Now, let us show that \((\mathcal{S}'_{n},\mathbb{E})\) is a Cauchy soft sequence. Suppose otherwise. Then there exist \(\epsilon >0\), subsequences \(\{(\mathcal{S}'_{n(i)},\mathbb{E})\}\) and \(\{( \mathcal{S}'_{m(i)},\mathbb{E})\}\) of \(\{(\mathcal{S}'_{n},\mathbb{E}) \}, n(i)>m(i)>i\), so that
where \(n(i)\) is the smallest positive integer satisfying (19), i.e.,
By using the rectangular property of rectangular soft metric in (19), we have
As \(n\rightarrow \infty \) and using (19), we get
i.e.,
Also
and
As \(n\rightarrow \infty \), we get
Now using (12)
\(N(((u,\mathcal{S}_{n(i)-1}(u)),(u,\mathcal{S}_{m(i)-1}(u))))\rightarrow \check{0}\) as \(n\rightarrow \infty \).
Thus we have
This contradicts our assumption that \(\epsilon >0\). Therefore \(\{(\mathcal{S}'_{n},\mathbb{E})\}\) is a soft Cauchy sequence.
Assume that the subspace \(g((\mathcal{S},\mathbb{E}))\) is complete. Therefore \((\mathcal{S}'_{n},\mathbb{E})\) tends to some \(g((z, \mathcal{S}(z)))\) for some \((z,\mathcal{S}(z))\in (\mathcal{S}, \mathbb{E})\). In order to prove that \(f((z,\mathcal{S}(z)))=g((z, \mathcal{S}(z)))\), suppose that \(f((z,\mathcal{S}(z)))\neq g((z, \mathcal{S}(z)))\). By (12), we have
where
as \(n\rightarrow \infty \) and
as \(n\rightarrow \infty \).
Applying upper limit as \(n\rightarrow \infty \) in (20), we acquire
and using the non-decreasing property of mapping \((\psi _{1} , \psi _{2})\), we have
On the other hand, by Theorem 1.17. \((\mathcal{S}'_{n},\mathbb{E}) \) is different from both \(f((z,\mathcal{S}(z)))\) and \(g((z,\mathcal{S}(z)))\) for n big enough. Hereby we can enforce the soft rectangular inequality to maintain
Therefore it is maintained that
Because \(\check{\mathcal{D}}_{R} (f((\mathcal{S}_{n},\mathbb{E})),f(( \mathcal{S}_{n+1},\mathbb{E})))\rightarrow \check{0}\) and \(\check{\mathcal{D}}_{R} (f((\mathcal{S}_{n+1},\mathbb{E})),g(( \mathcal{S}_{n+1},\mathbb{E})))\rightarrow \check{0}\) as \(n\rightarrow \infty \). Now (23),(24), and (26) become
or \((\phi _{1} , \phi _{2})\check{\mathcal{D}}_{R} (g(z,\mathcal{S}(z)),f((z, \mathcal{S}(z))))=\check{0}\), that is, \(f((z,\mathcal{S}(z)))=g((z, \mathcal{S}(z)))\), a contradiction to the assumption \(f((z, \mathcal{S}(z)))\neq g((z,\mathcal{S}(z)))\).
In this situation f and g are weakly compatible Jungck’s conclusion from rectangular soft metric involves that f and g have only one common fixed point. □
4 An application
In this section we present an application of Jungck type fixed point theorem for rectangular soft metric space to taxicab metric.
Consider the usual metric \(d(x_{s},y_{s})=|x_{s}-y_{s}|\) on \(X=[0,\infty ]\) \(,A=\mathbb{Q^{+}}=\{x\in \mathbb{Q}:x>0\}\), and assume \((\check{\mathcal{S}},\check{\mathbb{E}})\) is a soft set over X such that every \((x_{s},\check{\mathcal{S}}(x_{s}))\in ( \check{\mathcal{S}},E)\) described as \((x_{s},\check{\mathcal{S}}(x _{s}))=[0,\infty ]\). Let \(g,f:((\check{\mathcal{S}}, \check{\mathbb{E}}),\check{\mathcal{D}}_{R})\rightarrow (( \check{\mathcal{S}},\check{\mathbb{E}}),\check{\mathcal{D}}_{R})\) be commuting mappings such that \(g(\check{\mathcal{S}}, \check{\mathbb{E}})\subset f(\check{\mathcal{S}},\check{\mathbb{E}})=[0, \infty ]\). Take into account the mapping \(\check{\mathcal{D}}_{R}:( \check{\mathcal{S}},\check{\mathbb{E}})\times (\check{\mathcal{S}}, \check{\mathbb{E}})\rightarrow (\check{\mathbb{E}},\mathbb{R^{+}} \cup \{0\})\) described by
Let \(g:((\check{\mathcal{S}},\check{\mathbb{E}}),\check{\mathcal{D}} _{R})\rightarrow ((\check{\mathcal{S}},\check{\mathbb{E}}), \check{\mathcal{D}}_{R})\) be a soft function given by
and
Since \(g(\check{\mathcal{S}},\check{\mathbb{E}})\subset f( \check{\mathcal{S}},\check{\mathbb{E}})\), it requires that \(g(x_{s}, \check{\mathcal{S}}(x_{s}))\leq f(x_{s},\check{\mathcal{S}}(x_{s}))\). Hence
Then, as a consequence of Theorem 3.3, f and g have a unique common fixed point.
5 Conclusion
In this paper we conclude that the rectangular soft metric which is used in the text involves that two weakly compatible mappings have a unique fixed point due to Jungck’s main results.
References
Altıntaş, İ., Şimşek, D., Taşköprü, K.: Topology of Soft Cone Metric Spaces. AIP Conference Proceding 1880(1), 030006 (2017). https://doi.org/10.1063/1.50006056 aa
Aras, Ç.G.G., Poşul, H.: On some new operations in probabilistic soft set theory. Eur. J. Pure Appl. Math. 9(3), 333–339 (2016)
Banach, S.: Sur les operations dans les ensembles abstraits et leur application aux equations integrales. Fundam. Math. 3, 133–181 (1922)
Branciari, A.: A fixed point theorem of Banach-Caccioppoli type on a class of generalized metric spaces. Publ. Math. (Debr.) 57, 31–37 (2000)
Das, S., Samanta, S.K.: Soft metric. Ann. Fuzzy Math. Inform. 6(1), 77–94 (2013)
Ding, H.S., Imdad, M., Radenović, S., Vujaković, J.: On some fixed point results in b-metric, rectangular and b-rectangular metric spaces. Arab J. Math. Sci. 22, 151–164 (2016)
George, R., Rajagopalan, R.: Common fixed point results for \(\psi -\varphi \) contractions in rectangular metric spaces. Bull. Math. Anal. Appl. 5(1), 44–52 (2013)
Hosseinzadeh, H.: Fixed point theorems on soft metric spaces. J. Fixed Point Theory Appl. 19(2), 1625–1647 (2017)
Jungck, G.: Commuting mappings and fixed points. Am. Math. Mon. 83, 261–263 (1976)
Jungck, G.: Compatible mappings and fixed points. Int. J. Math. Math. Sci. 9(4), 771–779 (1986)
Maji, P.K., Biswas, R., Roy, A.: R: soft set theory. Comput. Math. Appl. 45, 555–562 (2003)
Molodtsov, D.: Soft set theory-first result. Comput. Math. Appl. 37, 19–31 (1999)
Mutlu, A., Yolcu, N.: Fixed point theorems for \(\phi _{p}\) operator in cone Banach spaces. Fixed Point Theory Appl. 2013, 56 (2013). https://doi.org/10.1186/1687-1812-2013-56
Mutlu, A., Yolcu, N., Mutlu, B.: Fixed point theorems in partially ordered rectangular metric spaces. Br. J. Math. Comput. Sci. 15(2), 1–9 (2016)
Mutlu, A., Yolcu, N., Mutlu, B.: A survey on Kannan mappings in universalized metric spaces. Br. J. Math. Comput. Sci. 15(6), 1–6 (2016)
Mutlu, A., Yolcu, N., Mutlu, B., Bildik, N.: On common coupled fixed point theorems for comparable mappings in ordered partially metric spaces. Abstr. Appl. Anal. 2014, Article ID 486384 (2014)
Öztunç, S., Mutlu, A., Aslan, S.: Soft fixed point theorems for rectangular soft metric spaces, 2. International Students Science Conference, İzmir/Turkey. Abstract Book p. 102 (2018)
Öztunç, S., Mutlu, A., Aslan, S.: Jungck type fixed point results in rectangular soft metric spaces. In: The Mediterranean International Conference of Pure & Applied Mathematics and Related Areas (MICOPAM 2018), Antalya/Turkey, Abstract Booklet of MICOPAM 2018, pp. 51–52 (2018)
Öztunç, S., Mutlu, A., Sedat, A.: Some Kannan type fixed point results in rectangular soft metric space and an application of fixed point for thermal science problem. Therm. Sci. 23(Suppl. 1), S215–S225 (2019)
Shabir, M., Naz, M.: On soft topological spaces. Comput. Math. Appl. 61(7), 1786–1799 (2011)
Şimşek, D., Altıntaş, İ., Ersoy, S., Abdullayev, F., İmaş Kızı, M., Taşköprü, K., Kesik, D., Abılayeva, E., Ogul, B., Çemşitov, N.: An introduction to soft cone metric spaces and some fixed point theorems. MANAS Journal of Engineering (MJEN) 6(1), 59–89 (2018)
Yazar, M.I., Aras, Ç.G., Bayramov, S.: Fixed point theorems of soft contractive mappings. Filomat 30(2), 269–279 (2016)
Zorlutuna, İ., Çakır, H.: On continuity of soft mappings. Appl. Math. Inf. Sci. 9(1), 403–409 (2015)
Acknowledgements
This article is dedicated to Professor Gradimir V. Milovanovic on the occasion of his 70th anniversary.
Availability of data and materials
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
Both authors contributed in drafting this manuscript. Both authors read and approved the final manuscript.
Corresponding author
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.
About this article
Cite this article
Öztunç, S., Aslan, S. Jungck type fixed point results for weakly compatible mappings in a rectangular soft metric space. J Inequal Appl 2019, 145 (2019). https://doi.org/10.1186/s13660-019-2096-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-2096-5