 Research
 Open access
 Published:
Some fixed point results via Rfunctions
Fixed Point Theory and Applications volume 2016, Article number: 81 (2016)
Abstract
We establish existence and uniqueness of fixed points for a new class of mappings, by using Rfunctions and lower semicontinuous functions in the setting of metric spaces. As consequences of this results, we obtain several known fixed point results, in metric and partial metric spaces. An example is given to support the new theory. A homotopy result for operators on a set endowed with a metric is given as application.
1 Introduction
Metric fixed point theory is a fundamental topic, which gives basic methods and notions for establish practical problems in mathematics and the other sciences. As an example, we consider the existence of solutions of mathematical problems reducible to equivalent fixed point problems. Thus, we recall that Banach contraction principle [1] is at the foundation of this theory. However, the potentiality of fixed point approaches attracted many scientists and hence there is a wide literature available for interested reader; see for instance [2–7]. We give some details on the notions and ideas used in this study.
First, the notion of partial metric space was introduced in 1994 by Matthews [8] as a part of the study of denotational semantics of data for networks. Clearly, this setting is a generalization of the classical concept of metric space. Also, some authors discussed the existence of several connections between partial metrics and topological aspects of domain theory; see for instance [9–12].
Second, the notion of \(\mathcal{Z}\)contraction was introduced in 2014 by Khojasteh et al. [13]. This concept is a new type of nonlinear contraction defined by using a specific function, called simulation function. Consequently, they proved the existence and uniqueness of fixed points for \(\mathcal{Z}\)contraction mappings (see [13], Theorem 2.8). The notion of Rcontraction was introduced in 2015 by Roldán López de Hierro and Shahzad [14]. Also this notion is a new type of nonlinear contraction defined by using a specific function called Rfunction. Naturally, they proved the existence and uniqueness of fixed points for Rcontraction mappings (see [14], Theorem 27). We point out that the advantage of these methods is in providing a unifying point of view for several fixed point problems; see recent results in [15–17].
Finally, Samet et al. [18], and Vetro and Vetro [19] discussed fixed point results, by using semicontinuous functions in metric spaces, that generalize and improve many existing fixed point theorems in the literature. As an application of presented results, the authors gave some theorems in the setting of partial metric spaces. In this paper, we use the ideas in [18, 19] and the notion of Rfunction to establishing the existence and uniqueness of fixed points that belong to the zero set of a certain function. As consequences of this study, we deduce several related fixed point results, in metric and partial metric spaces. Also, an example is given to support the new theory. As application, a homotopy result for operators on a set endowed with a metric is given.
2 Preliminaries
We will start with a brief recollection of basic notions and results in partial metric spaces that can be found in [8, 11, 20, 21].
A partial metric on a nonempty set Z is a function \(p : Z \times Z \to[0,+\infty[\) such that, for all \(u, v, w \in Z\), we have
 (p_{1}):

\(u = v \Leftrightarrow p(u, u) = p(u, v) = p(v, v)\);
 (p_{2}):

\(p(u, u) \leq p(u, v)\);
 (p_{3}):

\(p(u, v) = p(v, u)\);
 (p_{4}):

\(p(u, v) \leq p(u, w)+ p(w, v)p(w, w)\).
A partial metric space is a pair \((Z, p)\), where Z is a nonempty set and p is a partial metric on Z.
Every partial metric \(p : Z \times Z \to[0,+\infty[\) generates a \(T_{0}\) topology \(\tau_{p}\) on Z, which has as a base the family of open pballs \(\{U_{p}(u, \rho): u \in Z, \rho > 0\}\), where \(U_{p}(u, \rho) = \{v \in Z: p(u, v) < p(u, u)+\rho\}\) for all \(u \in Z\) and \(\rho> 0\).
Let \((Z, p)\) be a partial metric space and \(\{u_{j}\} \subset Z\). Then

(i)
\(\{u_{j}\}\) converges to a point \(u \in Z\) if and only if \(p(u, u) = \lim_{j \to+\infty} p(u, u_{j})\);

(ii)
\(\{u_{j}\}\) is called a Cauchy sequence if there exists \(\lim_{i,j \to+\infty}p(u_{i}, u_{j})\) (and it is finite);

(iii)
\((Z, p)\) is said to be complete if every Cauchy sequence \(\{u_{j}\}\) in Z converges, with respect to \(\tau_{p}\), to a point \(u \in Z\) such that \(p(u, u) = \lim_{i,j \to+\infty}p(u_{i}, u_{j})\).
It is elementary to verify that the function \(d^{p} : Z \times Z \to[0,+\infty[\) defined by
is a metric on Z whenever p is a partial metric on Z. Moreover, \(\lim_{j \to+\infty} d^{p}(u_{j}, u) = 0\) if and only if
The following lemma shows that the function \(\lambda:Z \to[0,+\infty [\) defined by \(\lambda(u)=p(u,u)\) for all \(u \in Z\) is continuous in \((Z,d^{p})\).
Lemma 2.1
Let \((Z, p)\) be a partial metric space and let \(\lambda:Z \to [0,+\infty[\) be defined by \(\lambda(u)=p(u,u)\) for all \(u \in Z\). Then the function λ is continuous in the metric space \((Z,d^{p})\).
Proof
Let \(u \in Z\) and \(\{u_{j}\}\) be a sequence which converges to u in the metric space \((Z,d^{p})\). By (2), we get
and hence λ is continuous in \((Z,d^{p})\). □
The following lemma correlates the Cauchy sequences of the spaces \((Z,p)\) and \((Z,d^{p})\).
Lemma 2.2
Let \((Z, p)\) be a partial metric space. Then

(1)
\(\{u_{j}\}\) is a Cauchy sequence in \((Z, p)\) if and only if it is a Cauchy sequence in the metric space \((Z, d^{p})\);

(2)
a partial metric space \((Z, p)\) is complete if and only if the metric space \((Z, d^{p})\) is complete.
3 New fixed point theorems in complete metric spaces
In this section, we consider the family \(\mathcal{R}\) of Rfunctions introduced by Roldán López de Hierro and Shahzad in [14]. Precisely, a function \(\eta: [0,+\infty[\, \times[0,+\infty[\, \to\mathbb {R}\) is called Rfunction if the following conditions hold:
 (\(\eta_{1}\)):

for each sequence \(\{t_{n}\} \subset\,]0,+\infty[\) such that \(\eta(t_{n+1}, t_{n}) > 0\) for all \(n \in\mathbb{N}\), we have \(\lim_{n \to+ \infty}t_{n} = 0\);
 (\(\eta_{2}\)):

for every two sequences \(\{t_{n}\}, \{s_{n}\} \subset\, ]0,+\infty[\) such that \(\lim_{n \to+\infty}t_{n} = \lim_{n \to+\infty }s_{n} = L \geq0\), then \(L = 0\) whenever \(L < t_{n}\) and \(\eta(t_{n}, s_{n}) > 0\) for all \(n \in\mathbb{N}\).
Now, we use Rfunctions to define a new class of contractions. Let \((Z,d)\) be a metric space. Denote by Λ the family of lower semicontinuous functions \(\lambda:Z \to[0,+\infty[\). Let \(h : Z \to Z\) be a selfmapping and \(\lambda\in\Lambda\). In the sequel, we will use the following notation
Now, we define the new family of contractions.
Definition 3.1
Let \((Z,d)\) be a metric space and let \(h : Z \to Z\) be a mapping. The mapping h is a Rλcontraction if there exist an Rfunction \(\eta: [0,+\infty[\, \times[0,+\infty[\, \to\mathbb{R}\) and a function \(\lambda\in\Lambda\) such that
for all \(u,v \in Z\) with \(D( u, v;\lambda)>0\).
In the following theorem, we establish a result of existence and uniqueness of a fixed point for Rλcontractions that belong to \(\{x \in Z: \lambda(x)=0\}\).
Theorem 3.1
Let \((Z,d)\) be a complete metric space and let \(h : Z \to Z\) be a Rλcontraction. Assume that, at least, one of the following conditions holds:

(1)
h is continuous;

(2)
for every two sequences \(\{t_{i}\}, \{s_{i}\} \subset\, ]0,+\infty[\) such that \(\lim_{i \to+ \infty}s_{i} = 0\) and \(\eta(t_{i}, s_{i}) > 0\) for all \(i \in\mathbb{N}\), then \(\lim_{i \to+ \infty}t_{i} = 0\);

(3)
\(\eta(t,s) \leq st\) for all \(t,s \in]0,+\infty[\).
Then h has a unique fixed point \(x \in Z\) such that \(\lambda(x)=0\) and, for any choice of the starting point \(z_{0} \in Z\), the sequence \(\{z_{n}\}\) defined by \(z_{n} = h z_{n1}\) for each \(n \in\mathbb{N}\) converges to the point x.
Proof
We fix arbitrarily a point \(z_{0}\) of Z and we consider the Picard sequence \(\{z_{i}\}\) of h starting at \(z_{0}\), that is, the sequence defined by \(z_{i}= hz_{i1}\) for all \(i \in\mathbb{N}\). If for some \(j \in\mathbb{N} \cup\{0\}\) we have \(z_{j +1} = z_{j}\), then \(z_{j}\) is evidently a fixed point of h. Also, we claim that \(\lambda(z_{j})=0\). First, from \(z_{j}=z_{j+1}\), we deduce that \(z_{i}=z_{j}\) for all \(i \in \mathbb{N}\cup\{0\}\) with \(i \geq j\). Assume \(\lambda(z_{j})> 0\) and let \(t_{i} := D(z_{j+i},z_{j+i+1};\lambda)\), that is, a positive real number for all \(i \in\mathbb{N}\). Since h by hypothesis is an Rλcontraction, we get
By property (\(\eta_{1}\)) of the function η it follows that \(\lambda (z_{j})=\lambda(z_{j+i}) \to0\) as \(i \to+ \infty\) and so \(\lambda (z_{j})=0\) and hence the conclusion follows if \(z_{j +1} = z_{j}\) for some \(j \in\mathbb{N}\cup\{0\}\). Therefore, we can suppose that \(z_{i1} \neq z_{i}\) for all \(i \in\mathbb{N}\).
We shall divide the proof in three parts. First, we show that
From \(z_{i1}\neq z_{i}\) for all \(i\in\mathbb{N}\), we deduce that
Thus the sequence \(\{t_{i}\}\subset\, ]0,+ \infty[\). Since h is an Rλcontraction, from (3) with \(u=z_{i}\) and \(v=z_{i+1}\), we get
for all \(i \in\mathbb{N} \cup\{0\}\). The property \((\eta_{1})\) of the function η allows one to state that \(t_{i} \to0 \) as \(i \to+ \infty\). Consequently, \(d(z_{i1}, z_{i}) \to0\) and \(\lambda(z_{i}) \to0\), that is, (4) holds.
The second part is to show that the sequence \(\{z_{i}\}\) is Cauchy. Let us assume that \(\{z_{i}\}\) is not a Cauchy sequence. Then there exist \(\sigma>0\) and two subsequences \(\{z_{j(k)}\}\) and \(\{z_{i(k)}\}\) of \(\{z_{i}\}\) with \(k\leq j(k) < i(k)\) and
for all \(k \in\mathbb{N}\). The above restrictions and \(\lim_{i \to+ \infty}d(z_{i1},z_{i})=0\) imply
Since \(\lambda(z_{i}) \to0\) as \(i \to+ \infty\), we get
The previous equality allows us to assume \(D( z_{j(k)1}, z_{i(k)1}; \lambda) >0\) for each \(k \in\mathbb{N}\). Now, we consider the sequences \(\{t_{k}\}, \{s_{k}\}\) given by
From (3) with \(u=z_{j(k)1}\) and \(v=z_{i(k)1}\), we obtain
for all \(k \in\mathbb{N}\). Let \(L=\sigma\); from \(L= \sigma< d( z_{j(k)}, z_{i(k)})\leq D( z_{j(k)}, z_{i(k)}; \lambda)=t_{k} \) and (5), by property \(( \eta _{2})\) of the function η, we obtain \(\sigma= L = 0\), which is a contradiction. Hence \(\{z_{i}\}\) is a Cauchy sequence. As \((Z,d)\) is by hypothesis a complete metric space, there exists \(x \in Z\) such that \(z_{i} \to x\) as \(i \to+ \infty\). The hypothesis that λ is lower semicontinuous implies that
that is, \(\lambda(x)=0\). The third part is to prove that x is a fixed point of h. We consider the following three steps.
First step. h is a continuous mapping, that is, condition \((1)\) holds. From \(z_{i+1}=hz_{i} \to hx \), we get \(x=hx\).
Second step. Hypothesis \((2)\) holds. If there exists a subsequence \(\{ z_{i(k)}\}\) of \(\{z_{i}\}\) such that \(hz_{i(k)}=hx\) for all \(k \in \mathbb{N}\), then x is a fixed point of h. If this does not happen, then we can assume that \(z_{i} \neq x\) and \(hz_{i} \neq hx\) for all \(i \in \mathbb{N}\). Now, consider the sequences
for all \(i \in\mathbb{N}\). Such a choice ensures that \(\{t_{i}\}, \{ s_{i}\} \subset\, ]0,+\infty[\). Clearly, by (4) and \(\lambda (x)=0\), \(s_{i} \to0\) and since h is a Rϕcontraction, we have also
Then, by condition \((2)\), we get \(t_{i} \to0\). This allows one to state that
and hence \(x=hx\).
Third step. Hypothesis (3) holds, that is, \(\eta(t,s) \leq st\) for all \(t,s \in\, ]0, +\infty[\). Since (3) ensures that condition (2) holds, we conclude that x is a fixed point of h.
Finally, let us to verify that x is a unique fixed point of h. Proceeding by contradiction, we suppose that there exists \(z\neq x \) such that \(z=hz\). Let \(t_{i}:=D(z,x; \lambda) >0\) for all \(i \in\mathbb {N}\). Therefore
for all \(i \in\mathbb{N}\). Then by the property \((\eta_{1})\) of the function η, we obtain \(t_{i} \to0\), which contradicts the fact that \(d(z,x) \neq0\). Therefore \(z=x\) and so h has a unique fixed point. □
Now, we present some particular results of fixed point in metric spaces, by choosing an appropriate Rfunction. The first corollary is a generalization of Geraghty’s fixed point theorem [22] and it is obtained by taking in Theorem 3.1 as Rfunction \(\eta(t,s) = \psi (s) s t\) for all \(t,s \in [0,+\infty[\), where ψ is endowed with a suitable property.
Corollary 3.1
Let \((Z, d)\) be a complete metric space and \(h : Z \rightarrow Z\) be a mapping. Suppose that there exists a function \(\lambda\in\Lambda\) such that
where \(\psi: [0, +\infty[\, \to[0, 1[\) is a function such that \(\lim_{i \to+ \infty} \psi(t_{i}) = 1\) implies \(\lim_{i \to+ \infty} t_{i} = 0\), for all \(\{t_{i}\} \subset[0, +\infty[\). Then h has a unique fixed point \(x \in Z\) such that \(\lambda(x)=0\) and, for any choice of the initial point \(z_{0} \in Z\), the sequence \(\{z_{i} \}\) defined by \(z_{i} = h z_{i1}\) for each \(i \in\mathbb{N}\) converges to the point x.
Remark 3.1
From Corollary 3.1, we obtain Geraghty fixed point theorem [22], if the function \(\lambda\in\Lambda\) is defined by \(\lambda(u)=0\) for all \(u \in Z\). Clearly, the Geraghty result is a generalization of Banach’s contraction principle.
In the following corollary we give a result inspired by wellknown results in [4, 23, 24]. It is obtained by taking in Theorem 3.1 as Rfunction \(\eta(t,s) = \psi(s) s t\) for all \(t,s \in [0,+\infty[\), where ψ is endowed with a suitable property.
Corollary 3.2
Let \((Z, d)\) be a complete metric space and \(h : Z \to Z\) be a mapping. Suppose that there exists a function \(\lambda\in\Lambda\) such that
where \(\psi: [0, +\infty[\, \to[0, 1[\) is a function such that \(\limsup_{t \to r^{+}} \psi(t) < 1\), for all \(r > 0\). Then h has a unique fixed point \(x \in Z\) such that \(\lambda(x)=0\) and, for any choice of the initial point \(z_{0} \in Z\), the sequence \(\{z_{i} \}\) defined by \(z_{i} = h z_{i1}\) for each \(i \in\mathbb{N}\) converges to the point x.
If in Theorem 3.1 we consider as Rfunction \(\eta(t,s) = s \psi (t)\) for all \(t,s \in[0,+\infty[\), where ψ is a right continuous function, then we deduce the following corollary.
Corollary 3.3
Let \((Z, d)\) be a complete metric space and \(h : Z \to Z\) be a mapping. Suppose that there exists a function \(\lambda\in\Lambda\) such that
where \(\psi: [0, +\infty[\, \to[0, 1[\) is a right continuous function such that \(\psi(t) >t\), for all \(t > 0\). Then h has a unique fixed point \(x \in Z\) such that \(\lambda(x)=0\) and, for any choice of the initial point \(z_{0} \in Z\), the sequence \(\{z_{i} \}\) defined by \(z_{i} = h z_{i1}\) for each \(i \in\mathbb{N}\) converges to the point x.
From the previous corollary, we deduce the following result of integral type.
Corollary 3.4
Let \((Z, d)\) be a complete metric space and \(h : Z \to Z\) be a mapping. Suppose that there exists a function \(\lambda\in\Lambda\) such that
where \(\xi:[0, +\infty[\, \to[0, +\infty[\) is a function such that \(\int _{0}^{t} \xi(\tau)\,d\tau\) exists and \(\int_{0}^{t} \xi(\tau)\,d\tau>t\), for every \(t > 0\). Then h has a unique fixed point \(x \in Z\) such that \(\lambda (x)=0\) and, for any choice of the initial point \(z_{0} \in Z\), the sequence \(\{z_{i} \}\) defined by \(z_{i} = h z_{i1}\) for each \(i \in\mathbb{N}\) converges to the point x.
Example 3.1
Let \(Z =[0,\frac{15}{8}] \cup\{2\}\) endowed with the usual metric \(d(u, v)= uv\) for all \(u,v \in Z\). Obviously, \((Z, d)\) is a complete metric space. Consider the function \(h: Z \to Z\) defined by
Clearly, h satisfies condition (6) with respect to the function \(\xi:[0, +\infty[\, \to[0, +\infty[\) given by
and the lower semicontinuous function \(\lambda: Z \to[0,+ \infty[\) defined by \(\lambda(u)=u\) for all \(u \in Z\). Indeed, if \(u \leq v\) and \(u,v \in[0,\frac{15}{8}]\), then
If \(u \in[0,\frac{15}{8}]\) and \(v=2\), or \(u=v=2\), then
Since all the conditions of Corollary 3.4 are satisfied, the mapping T has a unique fixed point \(x=0\) in Z. Clearly, \(\lambda(x)=0\).
From \(d(h0,h2)= 3/2\) and \(d(0,2)=2\), we deduce that
Thus h is not a Rcontraction with respect to the Rfunction \(\eta: [0,+\infty[\, \times[0,+\infty[\, \to\mathbb{R}\) defined by
It follows that Theorem 27 of [14] cannot be used to deduce that h has a fixed point with respect to this Rfunction. The previous consideration also shows that the role of the function λ is decisive in enlarging the class of selfmappings satisfying condition (6) and hence condition (3).
4 Fixed points in partial metric spaces
In this section, from our Theorem 3.1, we deduce easily various fixed point theorems on partial metric spaces including the Matthews fixed point theorem.
Theorem 4.1
Let \((Z,p)\) be a complete partial metric space and let \(h:Z \to Z\) be a mapping. Suppose that there exists a Rfunction η such that
Assume that, at least, one of the following conditions holds:

(j)
h is continuous with respect to metric \(d^{p}\);

(jj)
for every two sequences \(\{t_{i}\}, \{s_{i}\} \subset\, ]0,+\infty[\) such that \(\lim_{i \to+ \infty}s_{i} = 0\) and \(\eta(t_{i}, s_{i}) > 0\) for all \(i \in\mathbb{N}\), then \(\lim_{i \to+ \infty}t_{i} = 0\);

(jjj)
\(\eta(t,s) \leq st\) for all \(t,s \in\, ]0,+\infty[\).
Then h has a unique fixed point \(x \in Z\) such that \(p(x,x) = 0\).
Proof
From (1), we say that
The hypothesis that \((Z,p)\) is complete, by Lemma 2.2, ensures that the metric space \((Z,2^{1}d^{p})\) is complete. Also, by Lemma 2.1, the function \(\lambda:Z \to[0,+\infty[\) defined by \(\lambda (u)=2^{1}p(u,u)\) is continuous and so lower semicontinuous in \((Z,2^{1}d^{p})\). Now, from (7) and (8), we see that for the mapping h the condition
holds for all \(u,v \in Z\), \(u\neq v\). Consequently, for the mapping h all the conditions of Theorem 3.1 hold with respect to the metric space \((Z,2^{1}d^{p})\). To conclude that the mapping h has a unique fixed point \(x \in Z\) such that \(p(x,x)=2\,\lambda(x)=0\). □
From Theorem 4.1 if consider as Rfunction \(\eta(t,s) = k s t\) for all \(t,s \in[0,+\infty[\) with \(k \in[0,1[\), we obtain the Matthews fixed point theorem.
Corollary 4.1
Let \((Z,p)\) be a complete partial metric space and let \(h:Z\to Z\) be a mapping. Suppose that there exists \(k \in[0,1[\) such that
Then h has a unique fixed point \(x \in Z\) such that \(p(x,x) = 0\).
From Theorem 4.1 if consider as Rfunction \(\eta(t,s) = \psi(s)\,s t\) for all \(t,s \in[0,+\infty[\), then we obtain a result of Geraghty type in partial metric spaces.
Corollary 4.2
Let \((Z,p)\) be a complete partial metric space and let \(h:Z \to Z\) be a mapping. Suppose that there exists a function \(\psi: [0, +\infty[\, \to [0, 1[\) such that \(\lim_{j \to+ \infty} \psi(t_{j}) = 1\) implies \(\lim_{j \to+ \infty} t_{j} = 0\), for all \(\{t_{j}\} \subset[0, +\infty[\). If
then h has a unique fixed point such that \(p(x,x)=0\) and, for any choice of the initial point \(z_{0} \in Z\), the sequence \(\{z_{j} \}\) defined by \(z_{j} = h z_{j1}\) for each \(j \in\mathbb{N}\) converges to the point x.
Other known results of fixed point in the setting of partial metric spaces we can get considering suitable simulation functions.
5 An application to homotopy
In this section, we give an application of our results to homotopy theory. Denote by Γ the family of nondecreasing upper semicontinuous functions \(\rho: [0,+ \infty[\, \to[0,+ \infty[\) such that \(\rho(s) < s\) for all \(s>0\) and with the following property:
for every sequence \(\{s_{i,j}\} \subset[0,+ \infty[\).
Theorem 5.1
Let \((Z,d)\) be a complete metric space, let U an open subset of Z and V a closed subset of Z with \(U \subset V\). Assume that the operator \(Q : V \times[0, 1] \to Z\) satisfies the following conditions:

(i)
\(u \neq Q(u, s)\) for each \(u \in V \setminus U\) and all \(s \in[0, 1]\);

(ii)
there exists \(\rho\in\Gamma\) such that, for each \(s \in[0, 1]\) and all \(u, v \in V\), we have
$$ d \bigl(Q(u,s),Q(v,s) \bigr) \leq\rho \bigl(d(u,v) \bigr); $$(10) 
(iii)
there exists a continuous function \(f: [0, 1] \to\mathbb {R}\) such that
$$ d \bigl(Q(u, t), Q(u, s) \bigr) \leq\biglf(t)f(s)\bigr $$for all \(t, s \in[0, 1]\) and every \(u \in V\).
Then \(Q(\cdot, 1)\) has a fixed point if \(Q(\cdot, 0)\) has a fixed point.
Proof
Assume that \(Q(\cdot, 0)\) has a fixed point and consider the following set:
By (i) we get \(0 \in A\) and this implies that A is a nonempty set. We claim that A is both open and closed in \([0, 1]\). Since \([0, 1]\) is connected, we deduce that \(A = [0, 1]\).
First, we prove that A is a closed subset of \([0, 1]\). Let \(\{s_{j}\}\) be a sequence in A and assume that \(s_{j} \to s_{0} \in[0, 1]\) as \(j \to + \infty\). Now, we establish that \(s_{0} \in A\). The definition of the set A ensures that there exists \(u_{j} \in U\) such that \(u_{j} =Q(u_{j}, s_{j})\) for all \(j \in\mathbb{N}\). Then we get
Thus
for all \(i,j \in\mathbb{N}\). Letting \(i,j \to+\infty\) in the previous inequality, we get
and by (9), we get \(d(u_{i},u_{j}) \to0\) as \(i,j \to+\infty\). This relation ensures that \(\{u_{j}\}\) is a Cauchy sequence. Since Z is a complete metric space, there exists some \(x \in V\) such that \(u_{j} \to u\). From
letting \(j \to+ \infty\), we obtain
This implies that \(x =Q(x, s_{0})\) and by (i), we deduce that \(x \in U\). Consequently, \(s_{0} \in A\) and hence A is a closed subset of \([0, 1]\).
Now, we prove that A is an open subset of \([0, 1]\). If \(s_{0} \in A\), then there exists \(u_{0} \in U\) such that \(u_{0} = Q(u_{0}, s_{0})\). Since U is open in Z, there exists \(\sigma> 0\) such that \(\overline{B}(u_{0}, \sigma) =\{u \in Z : d(u_{0},v) \leq\sigma\} \subset U\). Because f is continuous at \(s_{0}\), in correspondence to \(\delta= \sigma \rho(\sigma)> 0\) there exists \(\varepsilon= \varepsilon(\delta) > 0\) such that \(f(s)f(s_{0}) < \delta \) for all \(s \in\,]s_{0} \varepsilon, s_{0} + \varepsilon[\). Let \(s \in \,]s_{0} \varepsilon, s_{0} + \varepsilon[\) and \(u \in\overline{B}(u_{0}, \sigma)\), we have
Therefore, \(Q(\cdot, s)\) is a selfmapping on \(\overline{B}(u_{0}, \sigma )\) for every fixed \(s \in\,]s_{0} \varepsilon, s_{0} + \varepsilon[\). From (10), we deduce that \(Q(\cdot, s)\) is an Rξcontraction on \(\overline{B}(u_{0}, \sigma)\) with respect to the Rfunction \(\eta: [0,+\infty[\, \times[0,+\infty[\, \to\mathbb{R}\) defined by \(\eta(t,s)= \rho(s)t\) for all \(s,t \geq0\) and the function \(\xi\in\Lambda\) defined by \(\xi(u)=0\) for all \(u \in\overline{B}(u_{0}, \sigma)\).
This ensures that \(Q(\cdot, s)\) has a fixed point in \(\overline{B}(u_{0}, \sigma)\) and hence in U, since all hypotheses of Theorem 3.1 are satisfied. So \(]s_{0} \varepsilon, s_{0} + \varepsilon[ \subset A \) and thus we see that A is an open subset of \([0, 1]\). □
6 Conclusions
Fixed point theory in various metric settings is largely studied as a useful tool for solving problems arising in mathematics and the other sciences. Here, we proved existence and uniqueness of fixed point by using the notion of an Rfunction in metric and partial metric spaces. This kind of result is helpful to cover existing theorems in the literature from a unifying point of view. An homotopy result for certain operators supports the new theory.
References
Banach, S: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundam. Math. 3, 133181 (1922)
Ćirić, L, Samet, B, Vetro, C, Abbas, M: Fixed point results for weak contractive mappings in ordered Kmetric spaces. Fixed Point Theory 13, 5972 (2012)
Cosentino, M, Salimi, P, Vetro, P: Fixed point results on metrictype spaces. Acta Math. Sci. 34, 12371253 (2014)
Reich, S: Fixed points of contractive functions. Boll. Unione Mat. Ital. 5, 2642 (1972)
Reich, S, Zaslavski, AJ: A fixed point theorem for Matkowski contractions. Fixed Point Theory 8, 303307 (2007)
Reich, S, Zaslavski, AJ: A note on Rakotch contractions. Fixed Point Theory 9, 267273 (2008)
Vetro, C, Vetro, F: Common fixed points of mappings satisfying implicit relations in partial metric spaces. J. Nonlinear Sci. Appl. 6, 152161 (2013)
Matthews, SG: Partial metric topology. In: Proc. 8th Summer Conference on General Topology and Applications. Ann. New York Acad. Sci., vol. 728, pp. 183197 (1994)
Bukatin, MA, Scott, JS: Towards computing distances between programs via Scott domains. In: Adian, S, Nerode, A (eds.) Logical Foundations of Computer Science. Lecture Notes in Computer Science, vol. 1234, pp. 3343. Springer, Berlin (1997)
Bukatin, MA, Shorina, SY: Partial metrics and cocontinuous valuations. In: Nivat, M (ed.) Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science, vol. 1378, pp. 3343. Springer, Berlin (1998)
O’Neill, SJ: Partial metrics, valuations and domain theory. In: Proc. 11th Summer Conference on General Topology and Applications. Ann. New York Acad. Sci., vol. 806, pp. 304315 (1996)
Romaguera, S, Schellekens, M: Partial metric monoids and semivaluation spaces. Topol. Appl. 153, 948962 (2005)
Khojasteh, F, Shukla, S, Radenović, S: A new approach to the study of fixed point theorems via simulation functions. Filomat 29, 11891194 (2015)
Roldán López de Hierro, AF, Shahzad, N: New fixed point theorem under Rcontractions. Fixed Point Theory Appl. 2015, 98 (2015)
Argoubi, H, Samet, B, Vetro, C: Nonlinear contractions involving simulation functions in a metric space with a partial order. J. Nonlinear Sci. Appl. 8, 10821094 (2015)
Nastasi, A, Vetro, P: Fixed point results on metric and partial metric spaces via simulation functions. J. Nonlinear Sci. Appl. 8, 10591069 (2015)
Roldán, A, Karapinar, E, Roldán, C, MartínezMoreno, J: Coincidence point theorems on metric spaces via simulation functions. J. Comput. Appl. Math. 275, 345355 (2015)
Samet, B, Vetro, C, Vetro, F: From metric spaces to partial metric spaces. Fixed Point Theory Appl. 2013, Article ID 5 (2013)
Vetro, C, Vetro, F: Metric or partial metric spaces endowed with a finite number of graphs: a tool to obtain fixed point results. Topol. Appl. 164, 125137 (2014)
Oltra, S, Valero, O: Banach’s fixed point theorem for partial metric spaces. Rend. Ist. Mat. Univ. Trieste 36, 1726 (2004)
Paesano, D, Vetro, P: Suzuki’s type characterizations of completeness for partial metric spaces and fixed points for partially ordered metric spaces. Topol. Appl. 159, 911920 (2012)
Geraghty, M: On contractive mappings. Proc. Am. Math. Soc. 40, 604608 (1973)
Boyd, DW, Wong, JSW: On nonlinear contractions. Proc. Am. Math. Soc. 20, 458464 (1969)
Mizoguchi, N, Takahashi, W: Fixed point theorems for multivalued mappings on complete metric spaces. J. Math. Anal. Appl. 141, 177188 (1989)
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
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
Nastasi, A., Vetro, P. & Radenović, S. Some fixed point results via Rfunctions. Fixed Point Theory Appl 2016, 81 (2016). https://doi.org/10.1186/s136630160572x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s136630160572x