# Fixed point of *α*-*ψ*-contractive type mappings in uniform spaces

- Muhammad Usman Ali
^{1}, - Tayyab Kamran
^{2}and - Erdal Karapınar
^{3, 4}Email author

**2014**:150

https://doi.org/10.1186/1687-1812-2014-150

© Ali et al.; licensee Springer. 2014

**Received: **1 April 2014

**Accepted: **13 June 2014

**Published: **22 July 2014

## Abstract

In this paper, we shall investigate the existence and uniqueness of a fixed point of *α*-*ψ*-contractive mappings in the context of uniform spaces. We shall also prove some common fixed point theorems by introducing the notion of *α*-admissible pairs. We shall construct some examples to support our novel results.

**MSC:**46T99, 47H10, 54H25.

### Keywords

*α*-

*ψ*-contractive

*α*-admissible maps

## 1 Introduction

One of the interesting metric fixed point results was given by Samet *et al.* [1] by introducing the notions of *α*-admissible and *α*-*ψ*-contractive type mappings. They reported results via these new notions, and they extended and unified most of the related existing metric fixed point results in the literature. In particular, the authors [2] showed that fixed point results via cyclic contractions are consequences of their related results. Naturally, many authors have started to investigate the existence and uniqueness of a fixed point theorem via admissible mappings and variations of the concept of *α*-*ψ*-contractive type mappings, for reference see [1–19]. The notion of cyclic contraction was introduced by Kirk *et al.* [20]. The main advantage of the cyclic contraction is that the given mapping does not need to be continuous. It has been appreciated by several authors; see *e.g.* [21–26] and related references therein.

In this paper, we shall consider the characterization of the notions of *α*-*ψ*-contractive and *α*-admissible mappings in the context uniform spaces. Further, we shall prove some fixed point theorems by using these concepts. We shall also use *α*-admissible pairs to investigate the existence and uniqueness of a common fixed point in the setting of uniform spaces. We shall also establish some examples to illustrate the main results.

*X*be a nonempty set. A nonempty family,

*ϑ*, of subsets of $X\times X$ is called a uniform structure of

*X*it satisfies the following properties:

- (i)
if

*G*is in*ϑ*, then*G*contains the diagonal $\{(x,x)|x\in X\}$; - (ii)
if

*G*is in*ϑ*and*H*is a subset of $X\times X$ which contains*G*, then*H*is in*ϑ*; - (iii)
if

*G*and*H*are in*ϑ*, then $G\cap H$ is in*ϑ*; - (iv)
if

*G*is in*ϑ*, then there exists*H*in*ϑ*, such that, whenever $(x,y)$ and $(y,z)$ are in*H*, then $(x,z)$ is in*G*; - (v)
if

*G*is in*ϑ*, then $\{(y,x)|(x,y)\in G\}$ is also in*ϑ*.

The pair $(X,\vartheta )$ is called a uniform space and the element of *ϑ* is called entourage or neighborhood or surrounding. The pair $(X,\vartheta )$ is called a quasiuniform space (see *e.g.* [27, 28]) if property (v) is omitted.

*X*. For $V,W\in X\times X$, we shall use the following setting in the sequel:

For a subset $V\in \vartheta $, a pair of points *x* and *y* are said to be *V*-close if $(x,y)\in V$ and $(y,x)\in V$. Moreover, a sequence $\{{x}_{n}\}$ in *X* is called a Cauchy sequence for *ϑ*, if, for any $V\in \vartheta $, there exists $N\ge 1$ such that ${x}_{n}$ and ${x}_{m}$ are *V*-close for $n,m\ge N$. For $(X,\vartheta )$, there is a unique topology $\tau (\vartheta )$ on *X* generated by $V(x)=\{y\in X|(x,y)\in V\}$ where $V\in \vartheta $.

A sequence $\{{x}_{n}\}$ in *X* is convergent to *x* for *ϑ*, denoted by ${lim}_{n\to \mathrm{\infty}}{x}_{n}=x$, if, for any $V\in \vartheta $, there exists ${n}_{0}\in \mathbb{N}$ such that ${x}_{n}\in V(x)$ for every $n\ge {n}_{0}$. A uniform space $(X,\vartheta )$ is called Hausdorff if the intersection of all the $V\in \vartheta $ is equal to Δ of *X*, that is, if $(x,y)\in V$ for all $V\in \vartheta $ implies $x=y$. If $V={V}^{-1}$ then we shall say that a subset $V\in \vartheta $ is symmetrical. Throughout the paper, we shall assume that each $V\in \vartheta $ is symmetrical. For more details, see *e.g.* [27, 29–32].

Now, we shall recall the notions of *A*-distance and *E*-distance.

Let $(X,\vartheta )$ be a uniform space. A function $p:X\times X\to [0,\mathrm{\infty})$ is said to be an *A*-distance if, for any $V\in \vartheta $, there exists $\delta >0$ such that if $p(z,x)\le \delta $ and $p(z,y)\le \delta $ for some $z\in X$, then $(x,y)\in V$.

*E*-distance if

- (i)
*p*is an*A*-distance, - (ii)
$p(x,y)\le p(x,z)+p(z,y)$, $\mathrm{\forall}x,y,z\in X$.

Let $(X,\vartheta )$ be a uniform space and let *d* be a metric on *X*. It is evident that $(X,{\vartheta}_{d})$ is a uniform space where ${\vartheta}_{d}$ is a set of all subsets of $X\times X$ containing a ‘band’ ${U}_{\u03f5}=\{(x,y)\in {X}^{2}|d(x,y)<\u03f5\}$ for some $\u03f5>0$. Moreover, if $\vartheta \subseteq {\vartheta}_{d}$, then *d* is an *E*-distance on $(X,\vartheta )$.

*Let*$(X,\vartheta )$

*be a Hausdorff uniform space and*

*p*

*be an*

*A*-

*distance on X*.

*Let*$\{{x}_{n}\}$

*and*$\{{y}_{n}\}$

*be sequences in*

*X*

*and*$\{{\alpha}_{n}\}$, $\{{\beta}_{n}\}$

*be sequences in*$[0,\mathrm{\infty})$

*converging to*0.

*Then*,

*for*$x,y,z\in X$,

*the following results hold*:

- (a)
*If*$p({x}_{n},y)\le {\alpha}_{n}$*and*$p({x}_{n},z)\le {\beta}_{n}$*for all*$n\in \mathbb{N}$,*then*$y=z$.*In particular*,*if*$p(x,y)=0$*and*$p(x,z)=0$,*then*$y=z$. - (b)
*If*$p({x}_{n},{y}_{n})\le {\alpha}_{n}$*and*$p({x}_{n},z)\le {\beta}_{n}$*for all*$n\in \mathbb{N}$,*then*$\{{y}_{n}\}$*converges to**z*. - (c)
*If*$p({x}_{n},{x}_{m})\le {\alpha}_{n}$*for all*$n,m\in \mathbb{N}$*with*$m>n$,*then*$\{{x}_{n}\}$*is a Cauchy sequence in*$(X,\vartheta )$.

Let *p* be an *A*-distance. A sequence in a uniform space $(X,\vartheta )$ with an *A*-distance is said to be a *p*-Cauchy if, for every $\u03f5>0$, there exists ${n}_{0}\in \mathbb{N}$ such that $p({x}_{n},{x}_{m})<\u03f5$ for all $n,m\ge {n}_{0}$.

*p*be an

*A*-distance on

*X*.

- (i)
*X*is*S*-complete if, for every*p*-Cauchy sequence $\{{x}_{n}\}$, there exists*x*in*X*with ${lim}_{n\to \mathrm{\infty}}p({x}_{n},x)=0$. - (ii)
*X*is*p*-Cauchy complete if, for every*p*-Cauchy sequence $\{{x}_{n}\}$, there exists*x*in*X*with ${lim}_{n\to \mathrm{\infty}}{x}_{n}=x$ with respect to $\tau (\vartheta )$. - (iii)
$T:X\to X$ is

*p*-continuous if ${lim}_{n\to \mathrm{\infty}}p({x}_{n},x)=0$ implies ${lim}_{n\to \mathrm{\infty}}p(T({x}_{n}),T(x))=0$.

**Remark 1.6** Let $(X,\vartheta )$ be a Hausdorff uniform space which is *S*-complete. If a sequence $\{{x}_{n}\}$ be a *p*-Cauchy sequence, then we have ${lim}_{n\to \mathrm{\infty}}p({x}_{n},x)=0$. Regarding Lemma 1.4(b), we derive ${lim}_{n\to \mathrm{\infty}}{x}_{n}=x$ with respect to the topology $\tau (\vartheta )$, and hence *S*-completeness implies *p*-Cauchy completeness.

**Definition 1.7** [20]

*X*be a nonempty set,

*m*a positive integer and $T:X\to X$ a mapping. $X={\bigcup}_{i=1}^{m}{A}_{i}$ is said to be a cyclic representation of

*X*with respect to

*T*if

- (i)
${A}_{i}$, $i=1,2,\dots ,m$ are nonempty sets;

- (ii)
$T({A}_{1})\subset {A}_{2},\dots ,T({A}_{m-1})\subset {A}_{m},T({A}_{m})\subset {A}_{1}$.

## 2 Main results

Let Ψ be the family of functions $\psi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$ satisfying the following conditions:

(${\mathrm{\Psi}}_{1}$) *ψ* is nondecreasing;

(${\mathrm{\Psi}}_{2}$) ${\sum}_{n=1}^{+\mathrm{\infty}}{\psi}^{n}(t)<\mathrm{\infty}$ for all $t>0$, where ${\psi}^{n}$ is the *n* th iterate of *ψ*.

These functions are known in the literature as (c)-comparison functions. It is easily proved that if *ψ* is a (c)-comparison function, then $\psi (t)<t$ for any $t>0$.

**Definition 2.1** [1]

*T*is

*α*-admissible if, for all $x,y\in X$, we have

We shall characterize the notion of *α*-*ψ*-contractive mapping, introduced by Samet *et al.* [1], in the context of uniform space as follows.

**Definition 2.2**Let $(X,\vartheta )$ be a uniform space such that

*p*is an

*E*-distance on

*X*and $T:X\to X$ be a given mapping. We shall say that

*T*is an

*α*-

*ψ*-contractive mapping if there exist two functions $\alpha :X\times X\to [0,\mathrm{\infty})$ and $\psi \in \mathrm{\Psi}$ such that

**Theorem 2.3**

*Let*$(X,\vartheta )$

*be a*

*S*-

*complete Hausdorff uniform space such that*

*p*

*be an*

*E*-

*distance on*

*X*.

*Let*$T:X\to X$

*be an*

*α*-

*ψ*-

*contractive mapping satisfying the following conditions*:

- (i)
*T**is**α*-*admissible*; - (ii)
*there exists*${x}_{0}\in X$*such that*$\alpha ({x}_{0},T{x}_{0})\ge 1$*and*$\alpha (T{x}_{0},{x}_{0})\ge 1$; - (iii)
*T**is**p*-*continuous*.

*Then* *T* *has a fixed point* $u\in X$.

*Proof*By hypothesis (ii) of the theorem we have ${x}_{0}\in X$ such that $\alpha ({x}_{0},T{x}_{0})\ge 1$. Define the sequence $\{{x}_{n}\}$ in

*X*by ${x}_{n+1}=T{x}_{n}$ for all $n\in \mathbb{N}\cup \{0\}$. If ${x}_{{n}_{0}}={x}_{{n}_{0}+1}$ for some ${n}_{0}$, then $u={x}_{{n}_{0}}$ is a fixed point of

*T*. So, we can assume that ${x}_{n}\ne {x}_{n+1}$ for all

*n*. Since

*T*is

*α*-admissible, we have

*p*is an

*E*-distance, for $m>n$, we have

*p*-Cauchy sequence, consider

*p*is not symmetrical, by repeating the same argument we have

Hence the sequence $\{{x}_{n}\}$ is a *p*-Cauchy in the *S*-complete space *X*. Thus, there exists $u\in X$ such that ${lim}_{n\to \mathrm{\infty}}p({x}_{n},u)=0$, which implies ${lim}_{n\to \mathrm{\infty}}{x}_{n}=u$. Since *T* is *p*-continuous, we have ${lim}_{n\to \mathrm{\infty}}p(T{x}_{n},Tu)=0$, which implies that ${lim}_{n\to \mathrm{\infty}}({x}_{n+1},Tu)=0$. Hence we have ${lim}_{n\to \mathrm{\infty}}p({x}_{n},u)=0$ and ${lim}_{n\to \mathrm{\infty}}({x}_{n},Tu)=0$. Thus by Lemma 1.4(a) we have $u=Tu$. □

In the following theorem, we omit the *p*-continuity by replacing a suitable condition on the obtained iterative sequence.

**Theorem 2.4**

*Let*$(X,\vartheta )$

*be a*

*S*-

*complete Hausdorff uniform space such that*

*p*

*is an*

*E*-

*distance on*

*X*.

*Let*$T:X\to X$

*be an*

*α*-

*ψ*-

*contractive mapping satisfying the following conditions*:

- (i)
*T**is**α*-*admissible*; - (ii)
*there exists*${x}_{0}\in X$*such that*$\alpha ({x}_{0},T{x}_{0})\ge 1$*and*$\alpha (T{x}_{0},{x}_{0})\ge 1$; - (iii)
*for any sequence*$\{{x}_{n}\}$*in**X**with*${x}_{n}\to x$*as*$n\to \mathrm{\infty}$*and*$\alpha ({x}_{n},{x}_{n+1})\ge 1$*for each*$n\in \mathbb{N}\cup \{0\}$,*then*$\alpha ({x}_{n},x)\ge 1$*for each*$n\in \mathbb{N}\cup \{0\}$.

*Then* *T* *has a fixed point* $u\in X$.

*Proof*By following the proof of Theorem 2.3, we know that $\{{x}_{n}\}$ is a

*p*-Cauchy in the

*S*-complete space

*X*. Thus, there exists $u\in X$ such that ${lim}_{n\to \mathrm{\infty}}p({x}_{n},u)=0$, which implies ${lim}_{n\to \mathrm{\infty}}{x}_{n}=u$. By using (2.1) and assumption (iii), we get

Letting $n\to \mathrm{\infty}$ in above inequality, we shall have ${lim}_{n\to \mathrm{\infty}}p({x}_{n},Tu)=0$. Hence we have ${lim}_{n\to \mathrm{\infty}}p({x}_{n},u)=0$ and ${lim}_{n\to \mathrm{\infty}}p({x}_{n},Tu)=0$. Thus by Lemma 1.4(a) we have $u=Tu$. □

**Example 2.5**Let $X=\{\frac{1}{n}:n\in \mathbb{N}\}\cup \{0\}$ be endowed with the usual metric

*d*. Define $\vartheta =\{{U}_{\u03f5}|\u03f5>0\}$. It is easy to see that $(X,\vartheta )$ is a uniform space. Define $T:X\to X$ by

and $\psi (t)=\frac{t}{3}$ for all $t\ge 0$. One can easily see that *T* is *α*-*ψ*-contractive and *α*-admissible mapping. Also for ${x}_{0}=\frac{1}{2}$ we have $\alpha ({x}_{0},T{x}_{0})=\alpha (T{x}_{0},{x}_{0})=1$. Moreover, for any sequence $\{{x}_{n}\}$ in *X* with ${x}_{n}\to x$ as $n\to \mathrm{\infty}$ and $\alpha ({x}_{n-1},{x}_{n})=1$ for each $n\in \mathbb{N}$ we have $\alpha ({x}_{n},x)=1$ for each $n\in \mathbb{N}$. Therefore by Theorem 2.4, *T* has a fixed point.

- (H)
For all $x,y\in Fix(T)$, there exists $z\in X$ such that $\alpha (z,x)\ge 1$ and $\alpha (z,y)\ge 1$.

Here, $Fix(T)$ denotes the set of fixed points of *T*.

The following theorem guarantees the uniqueness of a fixed point.

**Theorem 2.6** *Adding the condition* (H) *to the hypothesis of Theorem * 2.3 (*respectively*, *Theorem * 2.4), *we obtain the uniqueness of fixed point of* *T*.

*Proof*Suppose, on the contrary, that $v\in X$ is another fixed point of

*T*. From (H), there exists $z\in X$ such that

*T*is

*α*-admissible, from (2.10), we have

*X*by ${z}_{n+1}=T{z}_{n}={T}^{n}{z}_{0}$ for all $n\in \mathbb{N}\cup \{0\}$ and ${z}_{0}=z$. From (2.11) and (2.1), we have

From (2.13) and (2.14) together with Lemma 1.4(a), it follows that $u=v$. Thus we have proved that *u* is the unique fixed point of *T*. □

**Definition 2.7** [9]

A pair of two self-mappings $T,S:X\to X$ is said to be *α*-admissible, if, for any $x,y\in X$ with $\alpha (x,y)\ge 1$, we have $\alpha (Tx,Sy)\ge 1$ and $\alpha (Sx,Ty)\ge 1$.

**Definition 2.8**Let $(X,\vartheta )$ be a uniform space. A pair of two self-mappings $T,S:X\to X$ is said to be an

*α*-

*ψ*-contractive pair if

for any $x,y\in X$, where $\psi \in \mathrm{\Psi}$.

**Theorem 2.9**

*Let*$(X,\vartheta )$

*be a*

*S*-

*complete Hausdorff uniform space such that*

*p*

*is an*

*E*-

*distance on*

*X*.

*Suppose that the pair of*$T,S:X\to X$

*is an*

*α*-

*ψ*-

*contractive pair satisfying the following conditions*:

- (i)
$(T,S)$

*is**α*-*admissible*; - (ii)
*there exists*${x}_{0}\in X$*such that*$\alpha ({x}_{0},T{x}_{0})\ge 1$*and*$\alpha (T{x}_{0},{x}_{0})\ge 1$; - (iii)
*for any sequence*$\{{x}_{n}\}$*in**X**with*${x}_{n}\to x$*as*$n\to \mathrm{\infty}$*and*$\alpha ({x}_{n},{x}_{n+1})\ge 1$*for each*$n\in \mathbb{N}\cup \{0\}$,*then*$\alpha ({x}_{n},x)\ge 1$*for each*$n\in \mathbb{N}\cup \{0\}$.

*Then* *T* *and* *S* *have a common fixed point*.

*Proof*By hypothesis (ii) of the theorem, we have ${x}_{0}\in X$ such that $\alpha ({x}_{0},T{x}_{0})\ge 1$ and $\alpha (T{x}_{0},{x}_{0})\ge 1$. Since $(T,S)$ is an

*α*-admissible pair, we can construct a sequence such that

*p*-Cauchy sequence, Since

*p*is an

*E*-distance, for $m>n$, we have

*p*is not symmetrical, by repeating the same argument we have

*p*-Cauchy in the

*S*-complete space

*X*. Thus, there exists $u\in X$ such that ${lim}_{n\to \mathrm{\infty}}p({x}_{n},u)=0$, which implies ${lim}_{n\to \mathrm{\infty}}T{x}_{2n}={lim}_{n\to \mathrm{\infty}}S{x}_{2n+1}=u$. By using (2.15) and assumption (iii), we get

Letting $n\to \mathrm{\infty}$ in (2.23), we have $p({x}_{n},Tu)=0$. Hence we have ${lim}_{n\to \mathrm{\infty}}p({x}_{n},u)=0$ and ${lim}_{n\to \mathrm{\infty}}p({x}_{n},Tu)=0$. Thus by Lemma 1.4(a) we have $u=Tu$. Analogously, one can derive $u=Su$. Therefore $u=Tu=Su$. □

**Remark 2.10** Note that Theorem 2.9 is valid if one replaces condition (ii) with

(ii)′ there exists ${x}_{0}\in X$ such that $\alpha ({x}_{0},S{x}_{0})\ge 1$ and $\alpha (S{x}_{0},{x}_{0})\ge 1$.

We shall get the following result by letting $S=T$ in Theorem 2.9.

**Corollary 2.11**

*Let*$(X,\vartheta )$

*be a*

*S*-

*complete Hausdorff uniform space such that*

*p*

*is an*

*E*-

*distance on*

*X*.

*Suppose that a mapping*$T:X\to X$

*is satisfying the condition*

*for any*$x,y\in X$,

*where*$\psi \in \mathrm{\Psi}$.

*Also suppose that the following conditions are satisfied*:

- (i)
*T**is**α*-*admissible*; - (ii)
*there exists*${x}_{0}\in X$*such that*$\alpha ({x}_{0},T{x}_{0})\ge 1$*and*$\alpha (T{x}_{0},{x}_{0})\ge 1$; - (iii)
*for any sequence*$\{{x}_{n}\}$*in**X**with*${x}_{n}\to x$*as*$n\to \mathrm{\infty}$*and*$\alpha ({x}_{n},{x}_{n+1})\ge 1$*for each*$n\in \mathbb{N}\cup \{0\}$,*then*$\alpha ({x}_{n},x)\ge 1$*for each*$n\in \mathbb{N}\cup \{0\}$.

*Then* *T* *has a fixed point*.

**Example 2.12**Let $(X,d)$ is a dislocated metric space where $X=\{\frac{1}{n}:n\in \mathbb{N}\}\cup \{0\}$ and $d(x,y)=max\{x,y\}$. Define $\vartheta =\{{U}_{\u03f5}|\u03f5>0\}$, where ${U}_{\u03f5}=\{(x,y)\in {X}^{2}:d(x,y)<d(x,x)+\u03f5\}$. It is easy to see that $(X,\vartheta )$ is a uniform space. Define $T:X\to X$ by

and $\psi (t)=\frac{t}{2}$ for all $t\ge 0$. One can easily see that $(T,S)$ is an *α*-*ψ*-contractive and *α*-admissible pair. Also for ${x}_{0}=\frac{1}{2}$ we have $\alpha ({x}_{0},T{x}_{0})=\alpha (T{x}_{0},{x}_{0})=1$. Moreover, for any sequence $\{{x}_{n}\}$ in *X* with ${x}_{n}\to x$ as $n\to \mathrm{\infty}$ and $\alpha ({x}_{n},{x}_{n+1})\ge 1$ for each $n\in \mathbb{N}\cup \{0\}$, we have $\alpha ({x}_{n},x)\ge 1$ for each $n\in \mathbb{N}$. Therefore by Theorem 2.9, *T* and *S* have a common fixed point.

- (I)
For each $x,y\in CFix(T,S)$, we have $\alpha (x,y)\ge 1$, where $CFix(T,S)$ is the set of all common fixed points of

*T*and*S*.

**Theorem 2.13** *Adding the condition* (I) *to the hypothesis of Theorem * 2.9, *we obtain the uniqueness of the common fixed point of* *T* *and* *S*.

*Proof*On the contrary suppose that $u,v\in X$ are two distinct common fixed points of

*T*and

*S*. From (I) and (2.15) we have

which is impossible for $p(u,v)>0$. Consequently, we have $p(u,v)=0$. Analogously, one can show that $p(u,u)=0$. Thus we have $u=v$, which is a contradiction to our assumption. Hence *T* and *S* have a unique common fixed point. □

## 3 Consequences

### 3.1 Standard contractions on uniform space

Taking in Theorem 2.6, $\alpha (x,y)=1$ for all $x,y\in X$, we shall obtain immediately the following fixed point theorems.

**Corollary 3.1**

*Let*$(X,\vartheta )$

*be a*

*S*-

*complete Hausdorff uniform space such that*

*p*

*is an*

*E*-

*distance on*

*X*

*and*$T:X\to X$

*be a given mapping*.

*Suppose that there exists a function*$\psi \in \mathrm{\Psi}$

*such that*

*for all* $x,y\in X$. *Then* *T* *has a unique fixed point*.

By substituting $\psi (t)=kt$, where $k\in [0,1)$, in Corollary 3.1, we shall get the following.

**Corollary 3.2**

*Let*$(X,\vartheta )$

*be a*

*S*-

*complete Hausdorff uniform space such that*

*p*

*is an*

*E*-

*distance on*

*X*.

*Suppose that*$T:X\to X$

*is a given mapping satisfying*

*for all* $x,y\in X$. *Then* *T* *has a unique fixed point*.

Taking in Theorem 2.13 $\alpha (x,y)=1$ for all $x,y\in X$, we shall obtain immediately the following common fixed point theorem.

**Corollary 3.3**

*Let*$(X,\vartheta )$

*be a*

*S*-

*complete Hausdorff uniform space such that*

*p*

*is an*

*E*-

*distance on*

*X*

*and*$T,S:X\to X$

*are given mappings*.

*Suppose that there exists a function*$\psi \in \mathrm{\Psi}$

*such that*

*for all* $x,y\in X$. *Then* *T* *and* *S* *have a unique common fixed point*.

**Corollary 3.4**

*Let*$(X,\vartheta )$

*be a*

*S*-

*complete Hausdorff uniform space such that*

*p*

*is an*

*E*-

*distance on*

*X*

*and*$T:X\to X$

*be a given mapping*.

*Suppose that there exists a function*$\psi \in \mathrm{\Psi}$

*such that*

*for all* $x,y\in X$. *Then* *T* *has a unique fixed point*.

### 3.2 Cyclic contraction on uniform space

**Corollary 3.5**

*Let*$(X,\vartheta )$

*be a*

*S*-

*complete Hausdorff uniform space such that*

*p*

*is an*

*E*-

*distance on*

*X*

*and*${A}_{1}$, ${A}_{2}$

*are nonempty closed subsets of*

*X*

*with respect to the topological space*$(X,\tau (\vartheta ))$.

*Let*$T:Y\to Y$

*be a mapping*,

*where*$Y={\bigcup}_{i=1}^{2}{A}_{i}$.

*Suppose that the following conditions hold*:

- (i)
$T({A}_{1})\subseteq {A}_{2}$

*and*$T({A}_{2})\subseteq {A}_{1}$; - (ii)
*there exists a function*$\psi \in \mathrm{\Psi}$*such that*$p(Tx,Ty)\le \psi (p(x,y)),\phantom{\rule{1em}{0ex}}\mathit{\text{for all}}(x,y)\in {A}_{1}\times {A}_{2}.$

*Then* *T* *has a unique fixed point that belongs to* ${A}_{1}\cap {A}_{2}$.

*Proof*Since ${A}_{1}$ and ${A}_{2}$ are closed subsets of

*X*, $(Y,d)$ is an

*S*-complete Hausdorff uniform space. Define the mapping $\alpha :Y\times Y\to [0,\mathrm{\infty})$ by

*α*, we can write

for all $x,y\in Y$. Thus *T* is an *α*-*ψ*-contractive mapping.

Let $(x,y)\in Y\times Y$ such that $\alpha (x,y)\ge 1$. If $(x,y)\in {A}_{1}\times {A}_{2}$, from (i), $(Tx,Ty)\in {A}_{2}\times {A}_{1}$, which implies that $\alpha (Tx,Ty)\ge 1$. If $(x,y)\in {A}_{2}\times {A}_{1}$, from (i), $(Tx,Ty)\in {A}_{1}\times {A}_{2}$, which implies that $\alpha (Tx,Ty)\ge 1$. Thus in all cases, we have $\alpha (Tx,Ty)\ge 1$. This implies that *T* is *α*-admissible.

Also, from (i), for any $a\in {A}_{1}$, we have $(a,Ta)\in {A}_{1}\times {A}_{2}$, which implies that $\alpha (a,Ta)\ge 1$.

*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}$. This implies from the definition of

*α*that

*X*with respect to the topological space $(X,\tau (\vartheta ))$, we get

which implies that $x\in {A}_{1}\cap {A}_{2}$. Thus we can easily get from the definition of *α* that $\alpha ({x}_{n},x)\ge 1$ for all *n*.

Finally, let $x,y\in Fix(T)$. From (i), this implies that $x,y\in {A}_{1}\cap {A}_{2}$. So, for any $z\in Y$, we have $\alpha (z,x)\ge 1$ and $\alpha (z,y)\ge 1$. Thus condition (H) is satisfied.

Now, all the hypotheses of Theorem 2.6 are satisfied, and we deduce that *T* has a unique fixed point that belongs to ${A}_{1}\cap {A}_{2}$ (from (i)). □

## Declarations

### Acknowledgements

The authors thank the anonymous referees for their remarkable comments, suggestions, and ideas that helped to improve 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.014View ArticleMathSciNetGoogle Scholar - Karapınar E, Samet B: Generalized
*α*-*ψ*-contractive type mappings and related fixed point theorems with applications.*Abstr. Appl. Anal.*2012., 2012: Article ID 793486Google Scholar - Asl JH, Rezapour S, Shahzad N: On fixed points of
*α*-*ψ*-contractive multifunctions.*Fixed Point Theory Appl.*2012., 2012: Article ID 212 10.1186/1687-1812-2012-212Google Scholar - Mohammadi B, Rezapour S, Shahzad N: Some results on fixed points of
*α*-*ψ*-Ciric generalized multifunctions.*Fixed Point Theory Appl.*2013., 2013: Article ID 24 10.1186/1687-1812-2013-24Google Scholar - Ali MU, Kamran T:On $({\alpha}^{\ast},\psi )$-contractive multi-valued mappings.
*Fixed Point Theory Appl.*2013., 2013: Article ID 137 10.1186/1687-1812-2013-137Google Scholar - Amiri P, Rezapour S, Shahzad N: Fixed points of generalized
*α*-*ψ*-contractions.*Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat.*2013. 10.1007/s13398-013-0123-9Google Scholar - Minak G, Altun I: Some new generalizations of Mizoguchi-Takahashi type fixed point theorem.
*J. Inequal. Appl.*2013., 2013: Article ID 493 10.1186/1029-242X-2013-493Google Scholar - Ali MU, Kamran T, Sintunavarat W, Katchang P: Mizoguchi-Takahashi’s fixed point theorem with
*α*,*η*functions.*Abstr. Appl. Anal.*2013., 2013: Article ID 418798Google Scholar - Abdeljawad T: Meir-Keeler
*α*-contractive fixed and common fixed point theorems.*Fixed Point Theory Appl.*2013., 2013: Article ID 19 10.1186/1687-1812-2013-19Google Scholar - Karapınar E, Kumam P, Salimi P: On
*α*-*ψ*-Meir-Keeler contractive mappings.*Fixed Point Theory Appl.*2013., 2013: Article ID 94 10.1186/1687-1812-2013-94Google Scholar - Chen CM, Karapınar E: Fixed point results for the alpha-Meir-Keeler contractions on partial Hausdorff metric spaces.
*J. Inequal. Appl.*2013., 2013: Article ID 410 10.1186/1029-242X-2013-410Google Scholar - Salimi P, Latif A, Hussain N: Modified
*α*-*ψ*-contractive mappings with applications.*Fixed Point Theory Appl.*2013., 2013: Article ID 151 10.1186/1687-1812-2013-151Google Scholar - Hussain N, Salimi P, Latif A: Fixed point results for single and set-valued
*α*-*η*-*ψ*-contractive mappings.*Fixed Point Theory Appl.*2013., 2013: Article ID 212 10.1186/1687-1812-2013-212Google Scholar - Mohammadi B, Rezapour S: On modified
*α*-*φ*-contractions.*J. Adv. Math. Stud.*2013, 6: 162–166.MathSciNetGoogle Scholar - Berzig, M, Karapınar, E: Note on ‘Modified α-ψ-contractive mappings with application’. Thai J. Math. 12 (2014)Google Scholar
- Ali MU, Kamran T, Karapınar E:$(\alpha ,\psi ,\xi )$-Contractive multi-valued mappings.
*Fixed Point Theory Appl.*2014., 2014: Article ID 7 10.1186/1687-1812-2014-7Google Scholar - Ali MU, Kamran T, Karapınar E:A new approach to $(\alpha ,\psi )$-contractive nonself multivalued mappings.
*J. Inequal. Appl.*2014., 2014: Article ID 71 10.1186/1029-242X-2014-71Google Scholar - Ali MU, Kamran T, Kiran Q:Fixed point theorem for $(\alpha ,\psi ,\varphi )$-contractive mappings on spaces with two metrics.
*J. Adv. Math. Stud.*2014, 7: 8–11.MathSciNetGoogle Scholar - Ali MU, Kiran Q, Shahzad N: Fixed point theorems for multi-valued mappings involving
*α*-function.*Abstr. Appl. Anal.*2014., 2014: Article ID 409467Google Scholar - Kirk WA, Srinivasan PS, Veeramani P: Fixed points for mappings satisfying cyclical weak contractive conditions.
*Fixed Point Theory*2003, 4: 79–89.MathSciNetGoogle Scholar - Karapınar E: Fixed point theory for cyclic weak
*ϕ*-contraction.*Appl. Math. Lett.*2011, 24: 822–825. 10.1016/j.aml.2010.12.016View ArticleMathSciNetGoogle Scholar - Karapınar E, Sadarangani K:Fixed point theory for cyclic $(\varphi \text{-}\psi )$-contractions.
*Fixed Point Theory Appl.*2011., 2011: Article ID 69 10.1186/1687-1812-2011-69Google Scholar - Pacurar M, Rus IA: Fixed point theory for cyclic
*φ*-contractions.*Nonlinear Anal.*2010, 72: 1181–1187. 10.1016/j.na.2009.08.002View ArticleMathSciNetGoogle Scholar - Rus IA: Cyclic representations and fixed points.
*Ann. ‘Tiberiu Popoviciu’ Sem. Funct. Equ. Approx. Convexity*2005, 3: 171–178.Google Scholar - Pacurar M, Rus IA: Fixed point theory for cyclic
*φ*-contractions.*Nonlinear Anal.*2010, 72: 1181–1187. 10.1016/j.na.2009.08.002View ArticleMathSciNetGoogle Scholar - Hussain N, Karapınar E, Sedghi S, Shobkolaei N, Firouzain S:Cyclic $(\varphi )$-contractions in uniform spaces and related fixed point results.
*Abstr. Appl. Anal.*2014., 2014: Article ID 976859Google Scholar - Bourbaki N Actualités Scientifiques et Industrielles 1142. In
*Elements de mathematique. Fasc. II. Livre III: Topologie generale. Chapitre 1: Structures topologiques. Chapitre 2: Structures uniformes*. 4th edition. Hermann, Paris; 1965.Google Scholar - Zeidler E 1. In
*Nonlinear Functional Analysis and Its Applications*. Springer, New York; 1986.View ArticleGoogle Scholar - Aamri M, El Moutawakil D: Common fixed point theorems for
*E*-contractive or*E*-expansive maps in uniform spaces.*Acta Math. Acad. Paedagog. Nyházi.*2004, 20(1):83–91.MathSciNetGoogle Scholar - Aamri M, El Moutawakil D: Weak compatibility and common fixed point theorems for
*A*-contractive and*E*-expansive maps in uniform spaces.*Serdica Math. J.*2005, 31: 75–86.MathSciNetGoogle Scholar - Aamri M, Bennani S, El Moutawakil D: Fixed points and variational principle in uniform spaces.
*Sib. Electron. Math. Rep.*2006, 3: 137–142.MathSciNetGoogle Scholar - Agarwal RP, O’Regan D, Papageorgiou NS: Common fixed point theory for multi-valued contractive maps of Reich type in uniform spaces.
*Appl. Anal.*2004, 83: 37–47. 10.1080/00036810310001620063View ArticleMathSciNetGoogle 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/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.