# Some results on fixed points of *α*-*ψ*-Ciric generalized multifunctions

- B Mohammadi
^{1}, - S Rezapour
^{2}and - N Shahzad
^{3}Email author

**2013**:24

https://doi.org/10.1186/1687-1812-2013-24

© Mohammadi et al.; licensee Springer. 2013

**Received: **26 July 2012

**Accepted: **13 January 2013

**Published: **6 February 2013

## Abstract

In 2012, Samet, Vetro and Vetro introduced *α*-*ψ*-contractive mappings and gave some results on a fixed point of the mappings (Samet et al. in Nonlinear Anal. 75:2154-2165, 2012). In fact, their technique generalized some ordered fixed point results (see (Alikhani et al. in Filomat, 2012, to appear) and (Samet et al. in Nonlinear Anal. 75:2154-2165, 2012)). By using the main idea of (Samet et al. in Nonlinear Anal. 75:2154-2165, 2012), we give some new results for *α*-*ψ*-Ciric generalized multifunctions and some related self-maps. Also, we give an affirmative answer to a recent open problem which was raised by Haghi, Rezapour and Shahzad in 2012.

## Keywords

*α*-

*ψ*-Ciric generalized multifunctionfixed pointquasi-contractive multifunction

## 1 Introduction

*α*-

*ψ*-contractive mappings and gave fixed point results for such mappings [1]. Their results generalized some ordered fixed point results (see [1]). Immediately, using their idea, some authors presented fixed point results in the field (see, for example, [2]). Denote by Ψ the family of nondecreasing functions $\psi :[0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$ such that ${\sum}_{n=1}^{+\mathrm{\infty}}{\psi}^{n}(t)<+\mathrm{\infty}$ for each $t>0$. It is well known that $\psi (t)<t$ for all $t>0$. Let $(X,d)$ be a metric space, $\beta :{2}^{X}\times {2}^{X}\to [0,+\mathrm{\infty})$ be a mapping and $\psi \in \mathrm{\Psi}$. A multivalued operator $T:X\to {2}^{X}$ is said to be

*β*-

*ψ*-contractive whenever $\beta (Tx,Ty)H(Tx,Ty)\le \psi (d(x,y))$ for all $x,y\in X$, where

*H*is the Hausdorff distance (see [2]). Alikhani, Rezapour and Shahzad proved fixed point results for

*β*-

*ψ*-contractive multifunctions [2]. Let $(X,d)$ be a metric space, $\alpha :X\times X\to [0,+\mathrm{\infty})$ be a mapping and $\psi \in \mathrm{\Psi}$. We say that $T:X\to {2}^{X}$ is an

*α*-

*ψ*-Ciric generalized multifunction if

for all $x,y\in X$. One can find an idea of this notion in [3]. Also, we say that the self-map *F* on *X* is *α*-admissible whenever $\alpha (x,y)\ge 1$ implies $\alpha (Fx,Fy)\ge 1$ [1]. In this paper, we give fixed point results for *α*-*ψ*-Ciric generalized multifunctions.

In 2012, Haghi, Rezapour and Shahzad proved that some fixed point generalizations are not real ones [4]. Here, by presenting a result and an example, we are going to show that obtained results in this new field are real generalizations in respect to old similar results in the literature (compare the next result and the example with main results of [5] and [6]). The following result has been proved in [7].

**Lemma 1.1**

*Let*$(X,d)$

*be a complete metric space*, $\alpha :X\times X\to [0,\mathrm{\infty})$

*be a function*, $\psi \in \mathrm{\Psi}$

*and*

*T*

*be a self*-

*map on*

*X*

*such that*

*for all* $x,y\in X$. *Suppose that* *T* *is* *α*-*admissible and there exists* ${x}_{0}\in X$ *such that* $\alpha ({x}_{0},T{x}_{0})\ge 1$. *Assume that 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$, *then* $\alpha ({x}_{n},x)\ge 1$ *for all* *n*. *Then* *T* *has a fixed point*.

Here, we give the following example which shows that Lemma 1.1 holds while we cannot use some similar old results, for example, Theorem 1 of [5].

**Example 1.1**Let ${M}_{1}=\{\frac{m}{n}:m=0,1,3,9,\dots \text{and}n=3k+1(k\ge 0)\}$, $d(x,y)=|x-y|$, ${M}_{2}=\{\frac{m}{n}:m=1,3,9,27,\dots \text{and}n=3k+2(k\ge 0)\}$ and ${M}_{3}=\{2k:k\ge 1\}$. Now, put $M={M}_{1}\cup {M}_{2}\cup {M}_{3}$ and define the self-map $T:M\to M$ by $Tx=\frac{3x}{11}$ whenever $x\in {M}_{1}$, $Tx=\frac{x}{8}$ whenever $x\in {M}_{2}$ and $Tx=2x$ whenever $x\in {M}_{3}$. Put $M(x,y)=max\{d(x,y),d(x,Tx),d(y,Ty),\frac{d(x,Ty)+d(y,Tx)}{2}\}$ for all $x,y\in M$. If $x\in {M}_{1}$ and $y\in {M}_{2}$, then $d(Tx,Ty)=|\frac{3x}{11}-\frac{y}{8}|=\frac{3}{11}|x-\frac{11y}{24}|$. Now, we consider two cases. If $x>\frac{11}{24}y$, then we have

If $x,y\in {M}_{2}$, then $d(Tx,Ty)=|\frac{x}{8}-\frac{y}{8}|=\frac{1}{8}d(x,y)\le \frac{6}{11}M(x,y)$. Define $\alpha (x,y)=1$ whenever $x,y\in {M}_{1}\cup {M}_{2}$ and $\alpha (x,y)=1$ otherwise. Also, put $\psi (t)=\frac{6t}{11}$ for all $t\ge 0$. Then it is easy to see that $\alpha (x,y)d(Tx,Ty)\le \psi (M(x,y))$ for all $x,y\in M$. Also, $\alpha (1,T1)=\alpha (1,3/11)\ge 1$. If $\alpha (x,y)\ge 1$, then $x,y\in {M}_{1}\cup {M}_{2}$ and so $\alpha (Tx,Ty)\ge 1$. Thus, *T* is *α*-admissible. It is easy to show that if $\{{x}_{n}\}$ is a sequence in *M* such that $\alpha ({x}_{n},{x}_{n+1})\ge 1$ for all *n* and ${x}_{n}\to x$, then $\alpha ({x}_{n},x)\ge 1$ for all *n*. Now, by using Theorem 1.1, *T* has a fixed point. Now, we show that Theorem 1 in [5] does not apply here. Put $x=1$ and $y=2$. Then $d(T1,T2)=|\frac{3}{11}-4|=\frac{41}{11}$, $d(1,2)=1$, $d(1,T1)=d(1,\frac{3}{11})=\frac{8}{11}$, $d(2,T2)=d(2,4)=2$, $d(1,T2)=d(1,4)=3$, $d(2,T1)=d(2,\frac{3}{11})=\frac{19}{11}$. Thus, $N(1,2)=3$ and so $d(T1,T2)=\frac{41}{11}>3=N(1,2)$, where $N(x,y)=max\{d(x,y),d(x,Tx),d(y,Ty),d(x,Ty),d(y,Tx)\}$.

## 2 An affirmative answer for an open problem

for all $x,y\in X$ [12]. It is clear that each quasi-contraction type multifunction is a quasi-contractive multifunction. In 2012, Haghi, Rezapour and Shahzad raised this question that (see [12]): Is there any quasi-contractive multifunction which is not quasi-contraction type? By providing the following example, we give a positive answer to the problem.

**Example 2.1**Let $X=[0,2]$ and $d(x,y)=|x-y|$. Define $T:X\to \mathit{CB}(X)$ by $Tx=[1,\frac{5}{4}]$ whenever $x\in [0,3/4]$, $Tx=[\frac{7}{8},\frac{9}{8}]$ whenever $x\in (\frac{3}{4},\frac{5}{4})$ and $Tx=[\frac{3}{4},1]$ whenever $x\in [\frac{5}{4},2]$. We show that

*T*is a quasi-contraction while it is not a quasi-contractive type multifunction. Put $N(x,y)=max\{d(x,y),d(x,Tx),d(y,Ty),d(x,Ty),d(y,Tx)\}$ for all $x,y\in X$. First, we show that

*T*is a quasi-contraction. It is easy to check that $H(Tx,Ty)\le \frac{1}{2}N(x,y)$ whenever $x,y\in [0,\frac{3}{4}]$ or $x,y\in (\frac{3}{4},\frac{5}{4})$ or $x,y\in [\frac{5}{4},2]$. If $x\in [0,\frac{3}{4}]$ and $y\in [\frac{5}{4},2]$, then $H(Tx,Ty)=\frac{1}{4}$ and $d(x,y)\ge \frac{5}{4}-\frac{3}{4}=\frac{1}{2}$. Hence, $H(Tx,Ty)=\frac{1}{4}\le \frac{1}{2}d(x,y)\le \frac{1}{2}N(x,y)$. If $x\in [0,\frac{3}{4}]$ and $y\in (\frac{3}{4},\frac{5}{4})$, then $H(Tx,Ty)=\frac{1}{8}$ and $d(x,Tx)\ge \frac{1}{4}$. Hence,

If $x\in [\frac{5}{4},2]$ and $y\in (\frac{3}{4},\frac{5}{4})$, then $H(Tx,Ty)=H([\frac{3}{4},1],[\frac{7}{8},\frac{9}{8}])=\frac{1}{8}$ and $d(x,Tx)\ge \frac{1}{4}$. Hence, $H(Tx,Ty)=\frac{1}{8}\le \frac{1}{2}d(x,Tx)\le \frac{1}{2}N(x,y)$. Therefore, *T* is a quasi-contraction with $\lambda =\frac{1}{2}$. Now, put $x=\frac{3}{4}$ and $y=\frac{5}{4}$. Then we have $d(\frac{3}{4},T\frac{3}{4})=d(\frac{3}{4},[1,\frac{5}{4}])=\frac{1}{4}$, $d(\frac{5}{4},T\frac{5}{4})=d(\frac{5}{4},[\frac{3}{4},1])=\frac{1}{4}$, $d(\frac{3}{4},T\frac{5}{4})=d(\frac{3}{4},[\frac{3}{4},1])=0$ and $d(\frac{5}{4},T\frac{3}{4})=d(\frac{5}{4},[1,\frac{5}{4}])=0$. Hence, ${N}_{1}(\frac{3}{4},\frac{5}{4})=max\{d(\frac{3}{4},T\frac{3}{4}),d(\frac{5}{4},T\frac{5}{4}),d(\frac{3}{4},T\frac{5}{4}),d(\frac{5}{4},T\frac{3}{4})\}=max\{\frac{1}{4},0\}=\frac{1}{4}$. Also, we have $H(T\frac{3}{4},T\frac{5}{4})=H([1,\frac{5}{4}],[\frac{3}{4},1])=\frac{1}{4}$. Thus, $H(T\frac{3}{4},T\frac{5}{4})>\lambda {N}_{1}(\frac{3}{4},\frac{5}{4})$ for all $\lambda \in (0,1)$. This shows that *T* is not a quasi-contractive type multifunction.

## 3 Main results

Now, we are ready to state and prove our main results. Let $(X,d)$ be a metric space, $\alpha :X\times X\to [0,\mathrm{\infty})$ be a mapping and $T:X\to \mathit{CB}(X)$ be a multifunction. We say that *X* satisfies the condition (${C}_{\alpha}$) whenever for each sequence $\{{x}_{n}\}$ in *X* with $\alpha ({x}_{n},{x}_{n+1})\ge 1$ for all *n* and ${x}_{n}\to x$, there exists a subsequence $\{{x}_{{n}_{k}}\}$ of $\{{x}_{n}\}$ such that $\alpha ({x}_{{n}_{k}},x)\ge 1$ for all *k* (see [13] for the idea of this notion). Recall that *T* is continuous whenever $H(T{x}_{n},Tx)\to 0$ for all sequence $\{{x}_{n}\}$ in *X* with ${x}_{n}\to x$. Also, we say that *T* is *α*-admissible whenever for each $x\in X$ and $y\in Tx$ with $\alpha (x,y)\ge 1$, we have $\alpha (y,z)\ge 1$ for all $z\in Ty$. Note that this notion is different from the notion of ${\alpha}_{\ast}$-admissible multifunctions which has been provided in [7]. But, by providing a similar proof to that of Theorem 2.1 in [7], we can prove the following result.

**Theorem 3.1** *Let* $(X,d)$ *be a complete metric space*, $\alpha :X\times X\to [0,\mathrm{\infty})$ *be a function*, $\psi \in \mathrm{\Psi}$ *be a strictly increasing map and* $T:X\to \mathit{CB}(X)$ *be an* *α*-*admissible multifunction such that* $\alpha (x,y)H(Tx,Ty)\le \psi (d(x,y))$ *for all* $x,y\in X$ *and there exist* ${x}_{0}\in X$ *and* ${x}_{1}\in T{x}_{0}$ *with* $\alpha ({x}_{0},{x}_{1})\ge 1$. *If* *T* *is continuous or* *X* *satisfies the condition* (${C}_{\alpha}$), *then* *T* *has a fixed point*.

**Corollary 3.2** *Let* $(X,d)$ *be a complete metric space*, $\psi \in \mathrm{\Psi}$ *be a strictly increasing map*, ${x}^{\ast}\in X$ *and* $T:X\to \mathit{CB}(X)$ *be a multifunction such that* $H(Tx,Ty)\le \psi (d(x,y))$ *for all* $x,y\in X$ *with* ${x}^{\ast}\in Tx\cap Ty$. *Suppose that there exist* ${x}_{0}\in X$ *and* ${x}_{1}\in T{x}_{0}$ *such that* ${x}^{\ast}\in T{x}_{0}\cap T{x}_{1}$. *Assume that for each* $x\in X$ *and* $y\in Tx$ *with* ${x}^{\ast}\in Tx\cap Ty$, *we have* ${x}^{\ast}\in Ty\cap Tz$ *for all* $z\in Ty$. *If* *T* *is continuous or* *X* *satisfies the condition* (${C}_{\alpha}$), *then* *T* *has a fixed point*.

*Proof* Define $\alpha :X\times X\to [0,+\mathrm{\infty})$ by $\alpha (x,y)=1$ whenever ${x}^{\ast}\in Tx\cap Ty$ and $\alpha (x,y)=0$ otherwise. Then, by using Theorem 3.1, *T* has a fixed point. □

Let $(X,\u2aaf)$ be an ordered set and $A,B\subseteq X$. We say that $A\u2aafB$ whenever for each $a\in A$ there exists $b\in B$ such that $a\u2aafb$.

**Corollary 3.3** *Let* $(X,\u2aaf,d)$ *be a complete ordered metric space*, $\psi \in \mathrm{\Psi}$ *be a strictly increasing map and* $T:X\to \mathit{CB}(X)$ *be a multifunction such that* $H(Tx,Ty)\le \psi (d(x,y))$ *for all* $x,y\in X$ *with* $Tx\u2aafTy$ *or* $Ty\u2aafTx$. *Suppose that there exist* ${x}_{0}\in X$ *and* ${x}_{1}\in T{x}_{0}$ *such that* $T{x}_{0}\u2aafT{x}_{1}$ *or* $T{x}_{1}\u2aafT{x}_{0}$. *Assume that for each* $x\in X$ *and* $y\in Tx$ *with* $Tx\u2aafTy$ *or* $Ty\u2aafTx$, *we have* $Ty\u2aafTz$ *or* $Tz\u2aafTy$ *for all* $z\in Ty$. *If* *T* *is continuous or* *X* *satisfies the condition* (${C}_{\alpha}$), *then* *T* *has a fixed point*.

Now, we give the following result.

**Theorem 3.4** *Let* $(X,d)$ *be a complete metric space*, $\alpha :X\times X\to [0,\mathrm{\infty})$ *be a function*, $\psi \in \mathrm{\Psi}$ *be a strictly increasing map and* $T:X\to \mathit{CB}(X)$ *be an* *α*-*admissible* *α*-*ψ*-*Ciric generalized multifunction*, *and let there exist* ${x}_{0}\in X$ *and* ${x}_{1}\in T{x}_{0}$ *with* $\alpha ({x}_{0},{x}_{1})\ge 1$. *If* *T* *is continuous*, *then* *T* *has a fixed point*.

*Proof*If ${x}_{1}={x}_{0}$, then we have nothing to prove. Let ${x}_{1}\ne {x}_{0}$. Then we have

*T*. Let ${x}_{1}\notin T{x}_{1}$ and $q>1$. Then

*T*. Let ${x}_{2}\notin T{x}_{2}$. Then $0<d({x}_{2},T{x}_{2})<{q}_{1}\psi (d({x}_{1},{x}_{2}))$. Hence, there exists ${x}_{3}\in T{x}_{2}$ such that $d({x}_{2},{x}_{3})<{q}_{1}\psi (d({x}_{1},{x}_{2}))=\psi (q\psi ({t}_{0}))$. It is clear that ${x}_{3}\ne {x}_{2}$ and $\psi (d({x}_{2},{x}_{3}))<{\psi}^{2}(q\psi ({t}_{0}))$. Put ${q}_{2}=\frac{{\psi}^{2}(q\psi ({t}_{0}))}{\psi (d({x}_{2},{x}_{3}))}$. Then ${q}_{2}>1$. Also, we have

*X*such that ${x}_{n}\in T{x}_{n-1}$, ${x}_{n}\ne {x}_{n-1}$ and $d({x}_{n},{x}_{n+1})\le {\psi}^{n-1}(q\psi ({t}_{0}))$ for all

*n*. Let $m>n$. Then

*X*. Hence, there exists ${x}^{\star}\in X$ such that ${x}_{n}\to {x}^{\star}$. If

*T*is continuous, then

and so ${x}^{\star}\in T{x}^{\star}$. □

**Corollary 3.5**

*Let*$(X,d)$

*be a complete metric space*, $\psi \in \mathrm{\Psi}$

*be a strictly increasing map*, ${x}^{\ast}\in X$

*and*$T:X\to \mathit{CB}(X)$

*be a multifunction such that*

*for all* $x,y\in X$ *with* ${x}^{\ast}\in Tx\cap Ty$. *Suppose that there exist* ${x}_{0}\in X$ *and* ${x}_{1}\in T{x}_{0}$ *such that* ${x}^{\ast}\in T{x}_{0}\cap T{x}_{1}$. *Assume that for each* $x\in X$ *and* $y\in Tx$ *with* ${x}_{0}\in Tx\cap Ty$, *we have* ${x}_{0}\in Ty\cap Tz$ *for all* $z\in Ty$. *If* *T* *is continuous*, *then* *T* *has a fixed point*.

**Corollary 3.6**

*Let*$(X,\u2aaf,d)$

*be a complete ordered metric space*, $\psi \in \mathrm{\Psi}$

*be a strictly increasing map and*$T:X\to \mathit{CB}(X)$

*be a multifunction such that*

*for all* $x,y\in X$ *with* $Tx\u2aafTy$ *or* $Ty\u2aafTx$. *Suppose that there exist* ${x}_{0}\in X$ *and* ${x}_{1}\in T{x}_{0}$ *such that* $T{x}_{0}\u2aafT{x}_{1}$ *or* $T{x}_{1}\u2aafT{x}_{0}$. *Assume that for each* $x\in X$ *and* $y\in Tx$ *with* $Tx\u2aafTy$ *or* $Ty\u2aafTx$, *we have* $Ty\u2aafTz$ *or* $Tz\u2aafTy$ *for all* $z\in Ty$. *If* *T* *is continuous*, *then* *T* *has a fixed point*.

Now, we give the following result about a fixed point of self-maps on complete metric spaces.

**Theorem 3.7**

*Let*$(X,d)$

*be a complete metric space*, $\alpha :X\times X\to [0,\mathrm{\infty})$

*be a mapping*, $\varphi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$

*be a continuous and nondecreasing map such that*$\varphi (t)<t$

*for all*$t>0$

*and*

*T*

*be a self*-

*map on*

*X*

*such that*

*for all* $x,y\in X$. *Assume that there exists* ${x}_{0}\in X$ *such that* $\alpha ({T}^{i}{x}_{0},{T}^{j}{x}_{0})\ge 1$ *for all* $i,j\ge 0$ *with* $i\ne j$. *Suppose that* *T* *is continuous or* $\alpha ({T}^{i}{x}_{0},x)\ge 1$ *for all* $i\ge 0$ *whenever* ${T}^{i}{x}_{0}\to x$. *Then* *T* *has a fixed point*.

*Proof*It is easy to check that ${lim}_{n\to \mathrm{\infty}}{\varphi}^{n}(t)=0$ for all $t>0$. Let ${x}_{n}=T{x}_{n-1}$ for all $n\ge 1$. If ${x}_{n}={x}_{n-1}$ for some

*n*, then ${x}_{n-1}$ is a fixed point of

*T*. Suppose that ${x}_{n}\ne {x}_{n-1}$ for all

*n*. Then we have

*ϕ*is nondecreasing, we have

*n*. Hence, $d({x}_{n+1},{x}_{n})\to 0$. If $\{{x}_{n}\}$ is not a Cauchy sequence, then there exists $\epsilon >0$ and subsequences $\{{x}_{{n}_{i}}\}$ and $\{{x}_{{m}_{i}}\}$ of $\{{x}_{n}\}$ with ${n}_{i}<{m}_{i}$ such that $d({x}_{{n}_{i}},{x}_{{m}_{i}})>\epsilon $ for all

*i*. For each ${n}_{i}$, put ${k}_{i}=min\{{m}_{i}\mid d({x}_{{n}_{i}},{x}_{{m}_{i}})>\epsilon \}$. Then we have

*X*is complete, there exists $x\in X$ such that ${x}_{n}\to x$. If

*T*is continuous, then we get

Thus, $d(x,Tx)=0$. □

Here, we give the following example to show that there are discontinuous mappings satisfying the conditions of Theorem 3.7.

**Example 3.1**Let $X=[0,\mathrm{\infty})$ and $d(x,y)=|x-y|$. Define $T:X\to X$ by $Tx=x+2$ whenever $x\in [0,1]$, $Tx=\frac{3}{2}$ whenever $x\in (1,2)$ and $Tx={x}^{3}+2x+1$ whenever $x\in [2,\mathrm{\infty})$. Also, define the mappings $\varphi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$ and $\alpha :X\times X\to [0,\mathrm{\infty})$ by $\varphi (t)=\frac{t}{2}$, $\alpha (x,y)=1$ whenever $x,y\in (1,2)$ and $\alpha (x,y)=0$ otherwise. An easy calculation shows us that

for all $x,y\in X$. Put ${x}_{0}=\frac{3}{2}$. Since ${T}^{i}{x}_{0}={x}_{0}$ for all $i\ge 1$, $\alpha ({T}^{i}{x}_{0},{T}^{j}{x}_{0})\ge 1$ for all $i,j\ge 0$ with $i\ne j$ and $\alpha ({T}^{i}{x}_{0},x)\ge 1$ for all $i\ge 0$ whenever ${T}^{i}{x}_{0}\to x$. Thus, the map *T* satisfies the conditions of Theorem 3.7. Note that ${x}_{0}=\frac{3}{2}$ is a fixed point of *T*.

**Corollary 3.8**

*Let*$(X,\u2aaf,d)$

*be a complete ordered metric space*, $\varphi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$

*be a continuous and nondecreasing map such that*$\varphi (t)<t$

*for all*$t>0$

*and*

*T*

*be a self*-

*map on*

*X*

*such that*

*for all comparable elements* $x,y\in X$. *Assume that there exists* ${x}_{0}\in X$ *such that* ${T}^{i}{x}_{0}$ *and* ${T}^{j}{x}_{0}$ *are comparable for all* $i,j\ge 0$ *with* $i\ne j$. *Suppose that* *T* *is continuous or* ${T}^{i}{x}_{0}$ *and* *x* *are comparable for all* $i\ge 0$ *whenever* ${T}^{i}{x}_{0}\to x$. *Then* *T* *has a fixed point*.

*Proof* Define the mapping $\alpha :X\times X\to [0,+\mathrm{\infty})$ by $\alpha (x,y)=1$ whenever *x* and *y* are comparable and $\alpha (x,y)=0$ otherwise. Then, by using Theorem 3.7, *T* has a fixed point. □

**Corollary 3.9**

*Let*$(X,\u2aaf,d)$

*be a complete ordered metric space*, $z\in X$, $\varphi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$

*be a continuous and nondecreasing map such that*$\varphi (t)<t$

*for all*$t>0$

*and*

*T*

*be a self*-

*map on*

*X*

*such that*

*for all* $x,y\in X$ *which are comparable with* *z*. *Assume that there exists* ${x}_{0}\in X$ *such that* ${T}^{i}{x}_{0}$ *and* ${T}^{j}{x}_{0}$ *are comparable with* *z* *for all* $i,j\ge 0$ *with* $i\ne j$. *Suppose that* *T* *is continuous or* ${T}^{i}{x}_{0}$ *and* *x* *are comparable with* *z* *for all* $i\ge 0$ *whenever* ${T}^{i}{x}_{0}\to x$. *Then* *T* *has a fixed point*.

*Proof* Define the mapping $\alpha :X\times X\to [0,+\mathrm{\infty})$ by $\alpha (x,y)=1$ whenever *x* and *y* are comparable with *z* and $\alpha (x,y)=0$ otherwise. Then, by using Theorem 3.7, *T* has a fixed point. □

Finally, by using [14], we can find also some equivalent conditions for some presented results. We give two following results in this way. This shows us the importance of the main results of [14]. Also, Example 3.1 leads us to the fact that there are discontinuous mappings satisfying the conditions of the following results.

**Proposition 3.10**

*Let*$(X,d)$

*be a complete metric space*, $\alpha :X\times X\to [0,\mathrm{\infty})$

*be a mapping*, $\psi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$

*be a lower semi*-

*continuous function*, $\eta :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$

*be a map such that*${\eta}^{-1}(\{0\})=\{0\}$

*and*${lim\hspace{0.17em}inf}_{t\to \mathrm{\infty}}\eta (t)>0$

*for all*$t>0$

*and*

*T*

*be a self*-

*map on*

*X*

*such that*

*for all* $x,y\in X$. *Assume that there exists* ${x}_{0}\in X$ *such that* $\alpha ({T}^{i}{x}_{0},{T}^{j}{x}_{0})\ge 1$ *for all* $i,j\ge 0$ *with* $i\ne j$. *Suppose that* *T* *is continuous or* $\alpha ({T}^{i}{x}_{0},x)\ge 1$ *for all* $i\ge 0$ *whenever* ${T}^{i}{x}_{0}\to x$. *Then* *T* *has a fixed point*.

**Proposition 3.11** *Let* $(X,d)$ *be a complete metric space*, $\alpha :X\times X\to [0,\mathrm{\infty})$ *be a mapping*, $\psi \in \mathrm{\Psi}$ *be a nondecreasing map which is continuous from right at each point*, $\varphi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$ *be a map such that* $\varphi (t)<t$ *for all* $t>0$ *and* *T* *be a self*-*map on* *X* *such that* $\psi (\alpha (x,y)d(Tx,Ty))\le \varphi (\psi (M(x,y)))$ *for all* $x,y\in X$. *Assume that there exists* ${x}_{0}\in X$ *such that* $\alpha ({T}^{i}{x}_{0},{T}^{j}{x}_{0})\ge 1$ *for all* $i,j\ge 0$ *with* $i\ne j$. *Suppose that* *T* *is continuous or* $\alpha ({T}^{i}{x}_{0},x)\ge 1$ *for all* $i\ge 0$ *whenever* ${T}^{i}{x}_{0}\to x$. *Then* *T* *has a fixed point*.

## Declarations

### Acknowledgements

The authors express their gratitude to the referees for their helpful suggestions concerning the final version of this paper.

## Authors’ Affiliations

## References

- Samet B, Vetro C, Vetro P: Fixed point theorems for
*α*-*ψ*-contractive type mappings.*Nonlinear Anal.*2012, 75: 2154–2165. 10.1016/j.na.2011.10.014MathSciNetView ArticleGoogle Scholar - Alikhani, H, Rezapour, S, Shahzad, N: Fixed points of a new type contractive mappings and multifunctions. Filomat (2013, to appear)Google Scholar
- Ciric LB: Fixed points for generalized multivalued mappings.
*Mat. Vesn.*1972, 9(24):265–272.MathSciNetGoogle Scholar - Haghi RH, Rezapour S, Shahzad N: Some fixed point generalizations are not real generalizations.
*Nonlinear Anal.*2011, 74: 1799–1803. 10.1016/j.na.2010.10.052MathSciNetView ArticleGoogle Scholar - Ciric LB: A generalization of Banach contraction principle.
*Proc. Am. Math. Soc.*1974, 45: 267–273.MathSciNetView ArticleGoogle Scholar - Ciric LB: Generalized contractions and fixed point theorems.
*Publ. Inst. Math. (Belgr.)*1971, 12(26):19–26.MathSciNetGoogle Scholar - Asl JH, Rezapour S, Shahzad N: On fixed points of
*α*-*ψ*-contractive multifunctions.*Fixed Point Theory Appl.*2012., 2012: Article ID 212. doi:10.1186/1687–1812–2012–212Google Scholar - Ilic D, Rakocevic V: Quasi-contraction on a cone metric space.
*Appl. Math. Lett.*2009, 22: 728–731. 10.1016/j.aml.2008.08.011MathSciNetView ArticleGoogle Scholar - Kadelburg Z, Radenovic S, Rakocevic V: Remarks on “quasi-contraction on a cone metric space”.
*Appl. Math. Lett.*2009, 22: 1674–1679. 10.1016/j.aml.2009.06.003MathSciNetView ArticleGoogle Scholar - Rezapour S, Haghi RH, Shahzad N: Some notes on fixed points of quasi-contraction maps.
*Appl. Math. Lett.*2010, 23: 498–502. 10.1016/j.aml.2010.01.003MathSciNetView ArticleGoogle Scholar - Amini-Harandi A: Fixed point theory for set-valued quasi-contraction maps in metric spaces.
*Appl. Math. Lett.*2011, 24: 1791–1794. 10.1016/j.aml.2011.04.033MathSciNetView ArticleGoogle Scholar - Haghi RH, Rezapour S, Shahzad N: On fixed points of quasi-contraction type multifunctions.
*Appl. Math. Lett.*2012, 25: 843–846. 10.1016/j.aml.2011.10.029MathSciNetView ArticleGoogle Scholar - Aleomraninejad SMA, Rezapour S, Shahzad N: Some fixed point results on a metric space with a graph.
*Topol. Appl.*2012, 159: 659–663. 10.1016/j.topol.2011.10.013MathSciNetView ArticleGoogle Scholar - Jachymski J: Equivalent conditions for generalized contractions on (ordered) metric spaces.
*Nonlinear Anal.*2011, 74: 768–774. 10.1016/j.na.2010.09.025MathSciNetView ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.