 Research
 Open Access
 Published:
Fixed point theorems for αGeraghty contraction type maps in metric spaces
Fixed Point Theory and Applications volume 2013, Article number: 329 (2013)
Abstract
In this paper, we introduce a notion of αGeraghty contraction type maps in the setting of a metric space. We also establish some fixed point theorems for such maps and give an example to illustrate our results. Finally, we discuss the application of our main results in the research fields of ordinary differential equations.
MSC:47H10, 54H25.
1 Introduction and preliminaries
The Banach contraction principle [1], which is a useful tool in the study of many branches of mathematics and mathematical sciences, is one of the earlier and fundamental results in fixed point theory. Because of its importance in nonlinear analysis, a number of authors have improved, generalized and extended this basic result either by defining a new contractive mapping in the context of a complete metric space or by investigating the existing contractive mappings in various abstract spaces; see, e.g., [2–10] and references therein.
In particular, Geraghty [6] obtained a generalization of the Banach contraction principle in the setting of complete metric spaces by considering an auxiliary function. Later, AminiHarandi and Emami [3] characterized the result of Geraghty in the context of a partially ordered complete metric space. This result is of particular interest since many real world problems can be identified in a partially ordered complete metric space. Cabellero et al. [11] discussed the existence of a best proximity point of Geraghty contraction.
Recently, Samet et al. [12] obtained remarkable fixed point results by defining the notion of αψcontractive mappings. The authors of [12] concluded also that several existing results can be obtained as consequences of their main results. Very recently, Karapınar and Samet [13] introduced the concept of generalized αψ contractive mappings, which was inspired by the notion of αψcontractive mappings. Furthermore, they [13] obtained some fixed point theorems for such mappings and listed some of the consequences of their main results.
In this paper, motivated by the developments discussed above, we define the concept of αGeraghty contraction type maps in the setting of a metric space. Moreover, we prove the existence and uniqueness of a fixed point of such maps in the context of a complete metric space. We give an example to illustrate our main theorem and consider an application of our result in the area of ordinary differential equations.
For the sake of completeness, we recollect some basic definitions and remarkable results on the topic in the literature.
Definition 1.1 [12]
Let $T:X\to X$ be a map and $\alpha :X\times X\to \mathbb{R}$ be a function. Then T is said to be αadmissible [12] if
Definition 1.2 [13]
An αadmissible map T is said to be triangular αadmissible if
For more details for an αadmissible map and a triangular αadmissible map, see [12] and [13, 14], respectively.
Lemma 1.1 [13]
Let $T:X\to X$ be a triangular αadmissible map. Assume that there exists ${x}_{1}\in X$ such that $\alpha ({x}_{1},T{x}_{1})\ge 1$. Define a sequence $\{{x}_{n}\}$ by ${x}_{n+1}=T{x}_{n}$. Then we have $\alpha ({x}_{n},{x}_{m})\ge 1$ for all $m,n\in \mathbb{N}$ with $n<m$.
We denote by ℱ the family of all functions $\beta :[0,\mathrm{\infty})\to [0,1)$ which satisfies the condition
By using such maps, Geraghty [6] observed the following interesting results.
Theorem 1.1 [6]
Let $(X,d)$ be a metric space, and let $T:X\to X$ be a map. Suppose that there exists $\beta \in \mathcal{F}$ such that for all $x,y\in X$,
Then T has a unique fixed point ${x}_{\ast}\in X$, and $\{{T}^{n}x\}$ converges to ${x}_{\ast}$ for each $x\in X$.
2 Fixed point theorems
Let $(X,d)$ be a metric space, and let $\alpha :X\times X\to \mathbb{R}$ be a function. A map $T:X\to X$ is called a generalized αGeraghty contraction type map if there exists $\beta \in \mathcal{F}$ such that for all $x,y\in X$,
where $M(x,y)=max\{d(x,y),d(x,Tx),d(y,Ty)\}$.
Remark 2.1 Since the functions belonging to ℱ are strictly smaller than one, condition (3) implies that
Theorem 2.1 Let $(X,d)$ be a complete metric space, $\alpha :X\times X\to \mathbb{R}$ be a function, and let $T:X\to X$ be a map. Suppose that the following conditions are satisfied:

(1)
T is a generalized αGeraghty contraction type map;

(2)
T is triangular αadmissible;

(3)
there exists ${x}_{1}\in X$ such that $\alpha ({x}_{1},T{x}_{1})\ge 1$;

(4)
T is continuous.
Then T has a fixed point ${x}_{\ast}\in X$, and T is a Picard operator, that is, $\{{T}^{n}{x}_{1}\}$ converges to ${x}_{\ast}$.
Proof Let ${x}_{1}\in X$ be such that $\alpha ({x}_{1},T{x}_{1})\ge 1$. Define a sequence $\{{x}_{n}\}\subset X$ by ${x}_{n+1}=T{x}_{n}$ for $n\in \mathbb{N}$. If ${x}_{{n}_{0}}={x}_{{n}_{0}+1}$ for some ${n}_{0}\in \mathbb{N}$, then ${x}_{{n}_{0}}$ is a fixed point of T, and hence the proof is completed. Thus, throughout the proof, we assume that ${x}_{n}\ne {x}_{n+1}$ for all $n\in \mathbb{N}$.
By Lemma 1.1, we have
for all $n\in \mathbb{N}$. Then we have
for all $n\in \mathbb{N}$, where
Regarding the definition of β, the case $M({x}_{n},{x}_{n+1})=d({x}_{n+1},{x}_{n+2})$ is impossible. Indeed,
a contradiction.
Thus, we conclude that $d({x}_{n+1},{x}_{n+2})<d({x}_{n},{x}_{n+1})$ for all $n\in \mathbb{N}$. So, the sequence $\{d({x}_{n},{x}_{n+1})\}$ is nonnegative and nonincreasing. Hence, there exists $r\ge 0$ such that ${lim}_{n\to \mathrm{\infty}}d({x}_{n},{x}_{n+1})=r$. We claim that $r=0$. Suppose, on the contrary, that $r>0$. Then, due to (5), we have
which yields that ${lim}_{n\to \mathrm{\infty}}\beta (d({x}_{n},{x}_{n+1}))=1$. Since $\beta \in \mathcal{F}$, we derive that
We shall show that $\{{x}_{n}\}$ is a Cauchy sequence. Suppose, on the contrary, that $\{{x}_{n}\}$ is not a Cauchy sequence. Thus, there exists $\u03f5>0$ such that, for all $k>0$, there exist $m(k)>n(k)>k$ with (the smallest number satisfying the condition below)
Then we have
Letting $k\to \mathrm{\infty}$ in the above inequality, we have
By using (6) and (7), we obtain ${lim}_{k\to \mathrm{\infty}}d({x}_{m(k)1},{x}_{n(k)1})=\u03f5$.
By Lemma 1.1, $\alpha ({x}_{n(k)1},{x}_{m(k)1})\ge 1$. Thus we have
where
Hence, we conclude that
Keeping (6) in mind and letting $n\to \mathrm{\infty}$ in the above inequality, we derive that ${lim}_{k\to \mathrm{\infty}}\beta (d({x}_{n(k)1},{x}_{m(k)1}))=1$, and so ${lim}_{k\to \mathrm{\infty}}d({x}_{n(k)1},{x}_{m(k)1})=0$. Hence, $\u03f5=0$, which is a contradiction. So, we conclude that $\{{x}_{n}\}$ is a Cauchy sequence. It follows from the completeness of X that there exists
Since T is continuous, we get ${lim}_{n\to \mathrm{\infty}}{x}_{n}=T{x}_{\ast}$, and so ${x}_{\ast}=T{x}_{\ast}$, which completes the proof. □
The continuity of the mapping T can be dropped. In the following theorem, we replace the continuity of the operator T by a suitable condition.
Theorem 2.2 Let $(X,d)$ be a complete metric space, $\alpha :X\times X\to \mathbb{R}$ be a function, and let $T:X\to X$ be a map. Suppose that the following conditions are satisfied:

(1)
T is a generalized αGeraghty contraction type map;

(2)
T is triangular αadmissible;

(3)
there exists ${x}_{1}\in X$ such that $\alpha ({x}_{1},T{x}_{1})\ge 1$;

(4)
if $\{{x}_{n}\}$ is a sequence in X such that $\alpha ({x}_{n},{x}_{n+1})\ge 1$ for all n and ${x}_{n}\to x\in X$ as $n\to \mathrm{\infty}$, then there exists a subsequence $\{{x}_{n(k)}\}$ of $\{{x}_{n}\}$ such that $\alpha ({x}_{n(k)},x)\ge 1$ for all k.
Then T has a fixed point ${x}_{\ast}\in X$, and T is a Picard operator, that is, $\{{T}^{n}{x}_{1}\}$ converges to ${x}_{\ast}$.
Proof Following the lines in the proof of Theorem 2.1, we conclude that the sequence $\{{x}_{n}\}$, defined by ${x}_{n+1}=T{x}_{n}$ for all $n\ge 0$, converges to ${x}_{\ast}\in X$. Regarding (4) together with condition (4), we deduce that there exists a subsequence $\{{x}_{n(k)}\}$ of $\{{x}_{n}\}$ such that $\alpha ({x}_{n(k)},{x}_{\ast})\ge 1$ for all k. Applying (3), for all k, we get that
On the other hand, we have
Letting $k\to \mathrm{\infty}$ in the above equality, we get that
Suppose that $d({x}_{\ast},T{x}_{\ast})>0$. From (9), for k large enough, we have $M({x}_{n(k)},{x}_{\ast})>0$, which implies that $\beta (M({x}_{n(k)},{x}_{\ast}))<M({x}_{n(k)},{x}_{\ast})$. By Remark 2.1, we have
Letting $k\to \mathrm{\infty}$ in the above inequality, using (9), we obtain that
a contradiction. Thus, we find $d({x}_{\ast},T{x}_{\ast})=0$, that is, ${x}_{\ast}=T{x}_{\ast}$. □
For the uniqueness of a fixed point of a generalized αGeraghty contractive mapping, we consider the following hypothesis.

(H)
For all $x,y\in Fix(T)$, there exists $z\in X$ such that $\alpha (x,z)\ge 1$ and $\alpha (y,z)\ge 1$.
Here, $Fix(T)$ denotes the set of fixed points of T.
Theorem 2.3 Adding condition (H) to the hypotheses of Theorem 2.1 (resp. Theorem 2.2), we obtain that ${x}_{\ast}$ is the unique fixed point of T.
Proof Due to Theorem 2.1 (resp. Theorem 2.2), we have a fixed point, namely ${x}_{\ast}\in X$. Let ${y}_{\ast}\in X$ be another fixed point of T. Then, by assumption, there exists $z\in X$ such that
Since T is αadmissible, from (10), we derive that
Hence we have
for all $n\in \mathbb{N}$. Thus, the sequence $\{d({x}_{\ast},{T}^{n}z)\}$ is nonincreasing, and so there exists $u\ge 0$ such that ${lim}_{n\to \mathrm{\infty}}d({x}_{\ast},{T}^{n}z)=u$. From (12) we have
and so ${lim}_{n\to \mathrm{\infty}}\beta (d({x}_{\ast},{T}^{n}z))=1$. Consequently, we have ${lim}_{n\to \mathrm{\infty}}d({x}_{\ast},{T}^{n}z)=0$, and hence ${lim}_{n\to \mathrm{\infty}}{T}^{n}z={x}_{\ast}$.
Similarly, we find that ${lim}_{n\to \mathrm{\infty}}{T}^{n}z={y}_{\ast}$. Thus, we get ${x}_{\ast}={y}_{\ast}$. □
3 Consequences
We start this section with the following definition.
Definition 3.1 Let $(X,d)$ be a metric space, and let $\alpha :X\times X\to \mathbb{R}$ be a function. A map $T:X\to X$ is called αGeraghty contraction type map if there exists $\beta \in \mathcal{F}$ such that for all $x,y\in X$,
Theorem 3.1 Let $(X,d)$ be a complete metric space, $\alpha :X\times X\to \mathbb{R}$ be a function, and let $T:X\to X$ be a map. Suppose that the following conditions are satisfied:

(1)
T is an αGeraghty contraction type map;

(2)
T is triangular αadmissible;

(3)
there exists ${x}_{1}\in X$ such that $\alpha ({x}_{1},T{x}_{1})\ge 1$;

(4)
either T is continuous or
$$\underset{n\to \mathrm{\infty}}{lim}inf\alpha ({x}_{n},x)>0$$(14)
for any cluster point x of a sequence $\{{x}_{n}\}$ with $\alpha ({x}_{n},{x}_{n+1})\ge 1$.
Then T has a fixed point ${x}_{\ast}\in X$, and $\{{T}^{n}{x}_{1}\}$ converges to ${x}_{\ast}$.
Theorem 3.2 Let $(X,d)$ be a complete metric space, $\alpha :X\times X\to \mathbb{R}$ be a function, and let $T:X\to X$ be a map. Suppose that the following conditions are satisfied:

(1)
T is an αGeraghty contraction type map;

(2)
T is triangular αadmissible;

(3)
there exists ${x}_{1}\in X$ such that $\alpha ({x}_{1},T{x}_{1})\ge 1$;

(4)
if $\{{x}_{n}\}$ is a sequence in X such that $\alpha ({x}_{n},{x}_{n+1})\ge 1$ for all n and ${x}_{n}\to x\in X$ as $n\to \mathrm{\infty}$, then there exists a subsequence $\{{x}_{n(k)}\}$ of $\{{x}_{n}\}$ such that $\alpha ({x}_{n(k)},x)\ge 1$ for all k.
Then T has a fixed point ${x}_{\ast}\in X$, and $\{{T}^{n}{x}_{1}\}$ converges to ${x}_{\ast}$.
Theorem 3.3 Adding condition (H) to the hypotheses of Theorem 3.1 (resp. Theorem 3.2), we obtain that ${x}_{\ast}$ is the unique fixed point of T.
Remark 3.1 We show that the interesting result of Geraghty [6], Theorem 1.1, is a consequence of Theorem 3.1 and Theorem 3.3. Indeed, let $\alpha (x,y)=1$ for all $x,y\in X$. Then T is an αGeraghty contraction type map. It is evident that all the hypotheses of Theorem 3.1 and Theorem 3.3 are satisfied. Hence, T has a unique fixed point.
Corollary 3.4 [3]
Let $(X,\u2aaf)$ be a partially ordered set and suppose that there exists a metric d on X such that $(X,d)$ is a complete metric space. Suppose that $T:X\to X$ is a map. Assume that the following conditions are satisfied:

(1)
there exists $\beta \in \mathcal{F}$ such that
$$d(Tx,Ty)\le \beta (d(x,y))d(x,y)$$for all $x,y\in X$ with $y\u2aafx$;

(2)
there exists ${x}_{1}\in X$ such that ${x}_{1}\u2aafT{x}_{1}$;

(3)
T is increasing;

(4)
either T is continuous or if $\{{x}_{n}\}$ is an increasing sequence with ${lim}_{n\to \mathrm{\infty}}{x}_{n}=x$, then ${x}_{n}\u2aafx$ for all $n\in \mathbb{N}$.
Then T has a fixed point ${x}_{\ast}\in X$, and $\{{T}^{n}{x}_{1}\}$ converges to ${x}_{\ast}$. Further if, for any $x,y\in X$, there exists $z\in X$ such that z is comparable to x and y, then T has a unique fixed point in X.
Proof Define a function $\alpha :X\times X\to [0,\mathrm{\infty})$ by
Then from $(1)$ we have $\alpha (x,y)d(Ty,Tx)\le \beta (d(y,x))d(y,x)$ for all $x,y\in X$, and so (13) is satisfied.
Hence, the condition (1) of Theorem 3.1 is fulfilled. Since T is increasing, $\alpha (x,y)=1$ implies $\alpha (Tx,Ty)=1$ for all $x,y\in X$. Thus, T is triangular αadmissible.
Condition (2) implies that there exists ${x}_{1}\in X$ such that $\alpha ({x}_{1},T{x}_{1})=1$, and so condition (3) of Theorem 3.1 is satisfied.
Condition (4) implies that condition (4) of Theorem 3.1 is satisfied.
Thus, all the conditions of Theorem 3.1 are satisfied. By Theorem 3.1, T has a fixed point in X. □
We give an example to illustrate Theorem 3.1.
Example 3.1 Let $X=[0,\mathrm{\infty})$, and let $d(x,y)=xy$ for all $x,y\in X$. Let $\beta (t)=\frac{1}{1+t}$ for all $t\ge 0$. Then it is clear that $\beta \in \mathcal{F}$.
We define a mapping $T:X\to X$ by
and a function $\alpha :X\times X\to [0,\mathrm{\infty})$ by
Condition (3) of Theorem 3.1 is satisfied with ${x}_{1}=1$. Condition (4) of Theorem 3.1 is satisfied with ${x}_{n}={T}^{n}{x}_{1}=\frac{1}{n}$.
Let $x,y\in X$ such that $\alpha (x,y)\ge 1$.
Then $x,y\in [0,1]$, and so $Tx\in [0,1]$, $Ty\in [0,1]$ and $\alpha (Tx,Ty)=1$. Hence T is αadmissible, and hence (2) is satisfied.
We show that the condition (1) of Theorem 3.1 is satisfied.
If $0\le x,y\le 1$, then $\alpha (x,y)=1$, and we have
Hence, for $0\le x,y\le 1$, $\alpha (x,y)d(Tx,Ty)\le \beta (d(x,y))d(x,y)$.
If $0\le x\le 1$ and $y>1$, then $\alpha (x,y)=0$, and we have $\alpha (x,y)d(Tx,Ty)\le \beta (d(x,y))d(x,y)$.
Thus, all the hypotheses of Theorem 3.1 are satisfied, and T has a fixed point ${x}_{\ast}=0$.
Note that (2) is not satisfied. In fact, for $x=1$, $y=2$, we have
4 Application to ordinary differential equations
We consider the following twopoint boundary value problem of a secondorder differential equation:
where $f:[0,1]\times \mathbb{R}\to \mathbb{R}$ is a continuous function.
The Green function associated to (15) is given by
Let $C(I)$ be the space of all continuous functions defined on I, where $I=[0,1]$, and let $d(x,y)={\parallel xy\parallel}_{\mathrm{\infty}}={sup}_{t\in I}x(t)y(t)$ for all $x,y\in C(I)$.
Then $(C(I),d)$ is a complete metric space.
Let $\varphi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$ be a function satisfying the following conditions:

(1)
ϕ is increasing;

(2)
for each $t>0$, $\varphi (t)<t$;

(3)
$\beta (t)=\frac{\varphi (t)}{t}\in \mathcal{F}$.
As examples of such functions, we can list the following $\varphi (t)=\frac{t}{1+t}$ and $\varphi (t)=ln(1+t)$.
We consider the following conditions:

(a)
there exists a function $\xi :{\mathbb{R}}^{2}\to \mathbb{R}$ such that for all $t\in I$, for all $a,b\in \mathbb{R}$ with $\xi (a,b)\ge 0$, we have
$$f(t,a)f(t,b)\le \varphi (ab);$$ 
(b)
there exists ${x}_{1}\in C(I)$ such that for all $t\in I$,
$$\xi ({x}_{1}(t),{\int}_{0}^{1}G(t,s)f(s,{x}_{1}(s))\phantom{\rule{0.2em}{0ex}}ds)\ge 0;$$ 
(c)
for all $t\in I$ and for all $x,y\in C(I)$,
$$\xi (x(t),y(t))\ge 0\phantom{\rule{1em}{0ex}}\text{implies}\phantom{\rule{1em}{0ex}}\xi ({\int}_{0}^{1}G(t,s)f(s,x(s))\phantom{\rule{0.2em}{0ex}}ds,{\int}_{0}^{1}G(t,s)f(s,y(s))\phantom{\rule{0.2em}{0ex}}ds)\ge 0;$$ 
(d)
for any cluster point x of a sequence $\{{x}_{n}\}$ of points in $C(I)$ with $\xi ({x}_{n},{x}_{n+1})\ge 0$, ${lim}_{n\to \mathrm{\infty}}inf\xi ({x}_{n},x)\ge 0$.
Theorem 4.1 Suppose that conditions (a)(d) are satisfied. Then (15) has at least one solution ${x}^{\ast}\in {C}^{2}(I)$.
Proof It is known that $x\in {C}^{2}(I)$ is a solution of (15) if and only if $x\in C(I)$ is a solution of the integral equation
We define $T:C(I)\to C(I)$ by
Then problem (15) is equivalent to finding ${x}^{\ast}\in C(I)$ that is a fixed point of T.
Let $x,y\in C(I)$ such that $\xi (x(t),y(t))\ge 0$ for all $t\in I$. From (a) we have
Thus we have $d(Tx,Ty)<\beta (d(x,y))d(x,y)$ for all $x,y\in C(I)$ such that $\xi (x(t),y(t))\ge 0$ for all $t\in I$.
We define $\alpha :C(I)\times C(I)\to [0,\mathrm{\infty})$ by
Then, for all $x,y\in C(I)$, we have
Obviously, $\alpha (x,y)=1$ and $\alpha (y,z)=1$ implies $\alpha (x,z)=1$ for all $x,y,z\in C(I)$.
If $\alpha (x,y)=1$ for all $x,y\in C(I)$, then $\xi (x(t),y(t))\ge 0$. From (c) we have $\xi (Tx(t),Ty(t))\ge 0$, and so $\alpha (Tx,Ty)=1$. Thus, T is triangular αadmissible.
From (b) there exists ${x}_{1}\in C(I)$ such that $\alpha ({x}_{1},T{x}_{1})=1$.
By (d), we have that for any cluster point x of a sequence $\{{x}_{n}\}$ of points in $C(I)$ with $\alpha ({x}_{n},{x}_{n+1})=1$, ${lim}_{n\to \mathrm{\infty}}inf\alpha ({x}_{n},x)=1$.
By applying Theorem 2.1, T has a fixed point in $C(I)$, i.e., there exists ${x}^{\ast}\in C(I)$ such that $T{x}^{\ast}={x}^{\ast}$, and ${x}^{\ast}$ is a solution of (15). □
References
 1.
Banach S: Sur les operations dans les ensembles abstraits et leur applications aux equations integrales. Fundam. Math. 1922, 3: 133–181.
 2.
Rhoades BE: A comparison of various definitions of contractive mappings. Trans. Am. Math. Soc. 1977, 226: 257–290.
 3.
AminiHarandi A, Emami H: A fixed point theorem for contraction type maps in partially ordered metric spaces and applications to ordinary differential equations. Nonlinear Anal. 2010, 72: 2238–2242.
 4.
Agarwal RP, ElGebeily MA, O’Regan D: Generalized contractions in partially ordered metric spaces. Appl. Anal. 2008, 87: 1–8.
 5.
Cho SH, Bae JS:Common fixed point theorems for mappings satisfying property $(E.A)$ on cone metric spaces. Math. Comput. Model. 2011, 53: 945–951.
 6.
Geraghty M: On contractive mappings. Proc. Am. Math. Soc. 1973, 40: 604–608.
 7.
Hille E, Phillips RS Amer. Math. Soc. Colloq. Publ. 31. In Functional Analysis and SemiGroups. Am. Math. Soc., Providence; 1957.
 8.
Huang LG, Zhang X: Cone metric spaces and fixed point theorems of contractive mappings. J. Math. Anal. Appl. 2007, 332(2):1468–1476.
 9.
Khamsi MA, Kreinovich VY: Fixed point theorems for dissipative mappings in complete probabilistic metric spaces. Math. Jpn. 1996, 44: 513–520.
 10.
Yang SK, Bae JS, Cho SH: Coincidence and common fixed and periodic point theorems in cone metric spaces. Comput. Math. Appl. 2011, 61: 170–177.
 11.
Caballero J, Harjani J, Sadarangani K: A best proximity point theorem for Geraghtycontractions. Fixed Point Theory Appl. 2012., 2012: Article ID 231
 12.
Samet B, Vetro C, Vetro P: Fixed point theorems for α  ψ contractive type mappings. Nonlinear Anal. 2012, 75: 2154–2165.
 13.
Karapinar E, Kumam P, Salimi P: On α  ψ MeirKeeler contractive mappings. Fixed Point Theory Appl. 2013., 2013: Article ID 94
 14.
Karapinar E, Samet B: Generalized ( α  ψ )contractive type mappings and related fixed point theorems with applications. Abstr. Appl. Anal. 2012., 2012: Article ID 793486
Acknowledgements
The authors thank anonymous reviewers for their remarkable comments, suggestion and ideas that helped to improve our paper.
Author information
Additional information
Competing interests
The authors declare that there is no conflict of interests regarding the publication of this article.
Authors’ contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Rights and permissions
About this article
Received
Accepted
Published
DOI
Keywords
 fixed point
 contraction type mapping
 αGeraghty contraction type map
 metric space