• Research
• Open Access

# Cyclic contractions and fixed point theorems on various generating spaces

Fixed Point Theory and Applications20152015:153

https://doi.org/10.1186/s13663-015-0403-5

• Accepted: 12 August 2015
• Published:

## Abstract

In this paper, we prove some fixed point theorems using various cyclic contractions in weaker forms of generating spaces.

## Keywords

• generating space of b-dislocated quasi-metric family
• generating space of b-quasi-metric family
• generating space of quasi-metric family
• generating space of b-dislocated metric family
• generating space of dislocated quasi-metric family
• generating space of dislocated metric family
• cyclic contraction
• $$G_{bdq}$$-cyclic-Banach contraction
• $$G_{bd}$$-cyclic-Kannan contraction
• $$G_{bdq}$$-cyclic-Ciric contraction

• 47H10
• 54H25

## 1 Introduction

In 1922, Banach [1] established a remarkable fixed point theorem known as the ‘Banach contraction principle’.

### Theorem 1.1

(Banach contraction principle [1])

Let $$(X,d)$$ be a complete metric space and $$T:X\rightarrow X$$ be a mapping, there exists a number t, $$0\leq t<1$$, such that, for each $$x,y\in X$$,
$$d(Tx,Ty)\leq td(x,y).$$
Then T has a fixed point.

This theorem assures the existence and uniqueness of fixed points of certain self-maps of metric spaces, and it gives a constructive method to find those fixed points. In recent years, a number of generalizations of the above Banach contraction principle have appeared. Of all these, the following generalization of Kannan [2] and Ciric [3] stands at the top.

In 1969, Kannan [2] initiated a new type of contraction mapping, which is called the Kannan-contraction type. He also established a fixed point result for such a type.

### Theorem 1.2

(Kannan fixed point theorem [2])

Let $$(X,d)$$ be a complete metric space and $$T:X\rightarrow X$$ be a mapping; there exists a number t, $$0< t<\frac{1}{2}$$, such that, for each $$x,y\in X$$,
$$d(Tx,Ty)\leq t\bigl[d(x,Tx)+d(y,Ty)\bigr].$$
Then T has a fixed point.

It is interesting that Kannan’s fixed point theorem is very predominant because Subrahmanyam [4] proved that Kannan’s theorem describes the completeness of the metric. In other words, a metric space X is complete if and only if every Kannan mapping on X has a fixed point. Recently, many authors generalized the Kannan fixed point theorem in some class of spaces (see [59]).

In 1974, Ciric [3] established a fixed point theorem known as the ‘Ciric quasi-contraction principle’.

### Theorem 1.3

(Ciric quasi-contraction principle [3])

Let $$(X,d)$$ be a complete metric space. Assume there is a map $$T:X\rightarrow X$$ such that there exists a constant h, $$0\leq h<1$$, and for each $$x,y\in X$$,
$$d(Tx,Ty)\leq h\max\bigl\{ d(x,y),d(x,Tx),d(y,Ty),d(x,Ty),d(y,Tx)\bigr\} .$$
Then T has a fixed point.

The above-mentioned theorems play a very important role not only in analysis but also in other areas of science involving mathematics, especially in graph theory, dynamical systems, and programming languages. These renowned theorems have several mathematical and real world illustrations.

Since then, many authors proved and generalized the above important theorems in various generalized metric spaces.

In 1989, Bakhtin [10] introduced the very interesting concept of a ‘b-metric space’ as an analog of metric space. He proved the contraction mapping principle in b-metric space that generalizes the famous Banach contraction principle in metric spaces. Since then many mathematicians have done work involving fixed points for single-valued and multi-valued operators in b-metric spaces (see for example [1121]).

In 1997, Chang et al. [22] introduced the definition of a generating space of a quasi-metric family and established some interesting fixed point theorems and coincidence point theorems in the generating space of a quasi-metric family. In 1999, Gue Myung Lee et al. [23] defined a family of weak quasi-metrics in a generating space of quasi-metric family. He proved a Takahashi-type minimization theorem, a generalized Ekeland variational principle, and a general Caristi-type fixed point theorem for set-valued maps in complete generating spaces of a quasi-metric family by using a family of weak quasi-metrics. Also without considering lower semi-continuity, he proved fixed point theorem for set-valued maps in complete generating spaces of a quasi-metric family.

In 2003, Kirk et al. [24] introduced cyclic contractions in metric spaces and investigated the existence of proximity points and fixed points for cyclic contraction mappings. Since then many results appeared in this field (see [2233]). Sankar Raj and Veeramani [26] proved the existence of best proximity points for relatively non-expansive maps. Later, Karapinar and Erhan [31] proved the existence of fixed points for various types of cyclic contractions in a metric space.

In this paper, motivated by the above facts, we first introduce the notions of ‘generating space of b-dislocated quasi-metric family’ (abbreviated ‘$$G_{bdq}$$-family’), ‘generating space of b-dislocated metric family’ (abbreviated ‘$$G_{bd}$$-family’), ‘generating space of b-quasi-metric family’ (abbreviated $$G_{bq}$$-family), ‘generating space of dislocated quasi-metric family’ (abbreviated $$G_{dq}$$-family) and ‘generating space of dislocated metric family’ (abbreviated $$G_{d}$$-family). By following the approaches of Kirk et al. [24], we introduce the $$G_{bdq}$$-cyclic-Banach contraction, the $$G_{bd}$$-cyclic-Kannan contraction, and the $$G_{bq}$$-cyclic-Ciric contraction. Then we prove the existence of fixed point theorems in weaker forms of generating spaces by using the above mentioned contractive conditions. From our results in various generating spaces, we obtain the corresponding theorems for cyclic maps in weaker forms of metric spaces. Moreover, some examples are provided to illustrate the usability of the obtained results.

## 2 Preliminaries

Throughout this paper, we assume that $$\mathbb{R}^{+}=[0, \infty)$$, $$\mathbb{N}$$ denotes the set of all positive integers.

### Definition 2.1

([10])

Let X be a non-empty set, let $$d:X\times X\longrightarrow[0,\infty)$$ and let $$s\in\mathbb{R}^{+}$$. Then $$(X,d)$$ is said to be b-metric space if the following conditions are satisfied.
1. (i)

$$d(x,y)=0$$ if and only if $$x=y$$ for all $$x,y\in X$$.

2. (ii)

$$d(x,y)=d(y,x)$$ for all $$x,y\in X$$.

3. (iii)

There exists a real number $$s\geq1$$ such that $$d(x,y)\leq s[d(x,z)+d(z,y)]$$ for all $$x,y,z\in X$$.

### Example 2.2

Let $$X=\mathbb{R}^{+}$$, define $$d:X\times X\rightarrow\mathbb{R}^{+}$$ by $$d(x,y)=(x-y)^{2}$$. Then $$(X,d)$$ is a b-metric space with coefficient $$s=2$$.

The concept of a b-metric space is very important as the class of b-metric spaces is larger than that of metric spaces, since a b-metric space is a metric space when $$s=1$$.

In [34], it was proved that each b-metric on X generates a topology whose base is the family of open balls $$\mathcal{B}_{d}(x,\epsilon)=\{y\in X /d(x,y)<\epsilon\}$$.

Recently, Kumari [35] discussed some topological aspects of b-dislocated quasi-metric spaces which is more general than of b-metric spaces and also derived some fixed point theorems in such a space.

### Definition 2.3

([35])

A b-dislocated quasi(simply $$b_{dq}$$) metric on a non-empty set X is a function $$b_{dq}:X\times X\rightarrow \mathbb{R}^{+}$$ such that for all x, y, z in X and $$s\in\mathbb{R}^{+}$$, the following conditions hold.
1. (i)

$$b_{dq}(x,y)\geq0$$.

2. (ii)

$$b_{dq}(x,y)=0=b_{dq}(y,x)\Rightarrow x=y$$.

3. (iii)

There exists a real number $$s\geq1$$ such that $$b_{dq}(x,y)\leq s[b_{dq}(x,z)+b_{dq}(z,y)]$$.

Then the pair $$(X,b_{dq})$$ is called a $$b_{dq}$$-metric space.

In [36], we note that if $$b_{dq}$$ satisfies an extra condition i.e. $$b_{dq}(x,y)=b_{dq}(y,x)$$ then $$(X,b_{dq})$$ is called a b-dislocated metric space (or simply a $$b_{d}$$-metric space).

### Example 2.4

Let $$X=\{0,1,2\}$$, and let $$b_{dq}(0,0)=\frac{1}{2}$$, $$b_{dq}(0,1)=0$$, $$b_{dq}(0,2)=1$$, $$b_{dq}(1,0)=\frac {1}{2}$$, $$b_{dq}(1,1)=0$$, $$b_{dq}(1,2)=2$$, $$b_{dq}(2,0)=\frac{1}{2}$$, $$b_{dq}(2,1)=1$$ and $$b_{dq}(2,2)=2$$ then $$(X,b_{dq})$$ is a $$b_{dq}$$ metric space with coefficient $$s=2$$, but since $$b_{dq}(0,1)\neq b_{dq}(1,0)$$, it is not a $$b_{d}$$ metric space.

Obviously $$(X,b_{dq})$$ is not a dislocated quasi-metric space as the triangle inequality does not hold; $$b_{dq}(2,1)\nleq b_{dq}(2,0)+b_{dq}(0,1)$$.

### Definition 2.5

([22])

Let X be a non-empty set and $$\{d_{\alpha}:\alpha\in(0,1]\}$$ a family of mappings $$d_{\alpha}$$ of $$X\times X$$ into $$\mathbb{R}^{+}$$. Then $$(X,d_{\alpha})$$ is called a generating space of a quasi-metric family if it satisfies the following conditions for all $$x,y,z\in X$$:
1. (i)

$$d_{\alpha}(x,y)=0$$ if and only if $$x=y$$.

2. (ii)

$$d_{\alpha}(x,y)=d_{\alpha}(y,x)$$.

3. (iii)

For any $$\alpha\in(0,1]$$ there exists $$\beta\in(0,\alpha]$$ such that $$d_{\alpha}(x,z)\leq d_{\beta}(x,y)+d_{\beta}(y,z)$$.

4. (iv)

For any $$x,y\in X$$, $$d_{\alpha}(x,y)$$ is non-increasing and left continuous in α.

In [37], it was proved that each generating space of a quasi-metric family generates a topology $$\Im_{d_{\alpha}}$$ whose base is the family of open balls.

### Example 2.6

Let $$(X,d)$$ be a metric space. If we take $$d_{\alpha}(x,y)=d(x,y)$$ for all $$\alpha\in(0,1]$$ and $$x,y\in X$$, then $$(X,d)$$ is a generating space of a quasi-metric family.

For more examples, the reader can refer to [22].

Now, we first introducing following concepts:

### Definition 2.7

Let X be a non-empty set and $$\{d_{\alpha}:\alpha\in(0,1]\}$$ a family of mapping $$d_{\alpha}$$ of $$X\times X$$ into $$\mathbb{R}^{+}$$. Then $$(X,d_{\alpha})$$ is called a generating space of a b-quasi-metric family if it satisfies the following conditions for any $$x,y,z\in X$$ and $$s\geq1$$.
1. (i)

$$d_{\alpha}(x,y)=0$$ if and only if $$x=y$$.

2. (ii)

$$d_{\alpha}(x,y)=d_{\alpha}(y,x)$$.

3. (iii)

For any $$\alpha\in(0,1]$$ there exists $$\beta\in(0,\alpha]$$ such that $$d_{\alpha}(x,z)\leq s[d_{\beta}(x,y)+d_{\beta}(y,z)]$$.

4. (iv)

For any $$x,y\in X$$, $$d_{\alpha}(x,y)$$ is non-increasing and left continuous in α.

### Definition 2.8

1. 1.

Let $$(X,d_{\alpha})$$ be a $$G_{bq}$$-family and $$\{x_{n}\}$$ be a sequence in X. We say that $$\{x_{n}\}$$ $$G_{bq}$$-converges to x in $$(X,d_{\alpha})$$ if $$\lim_{n\rightarrow\infty}d_{\alpha }(x_{n},x)=0$$ for all $$\alpha\in(0,1]$$. In this case we write $$x_{n}\rightarrow x$$.

2. 2.

Let $$(X,d_{\alpha})$$ be a $$G_{bq}$$-family and let $$A\subseteq X$$, $$x\in X$$. We say that x is a $$G_{bq}$$-limit point of A if there exists a sequence $$\{x_{n}\}$$ in $$A-\{x\}$$ such that $$\lim_{n\rightarrow\infty}x_{n}=x$$.

3. 3.

A sequence $$\{x_{n}\}$$ in a $$G_{bq}$$-family is called a $$G_{bq}$$-Cauchy sequence if, given $$\epsilon>0$$, there exists $$n_{0}\in\mathbb{N}$$ such that for all $$n,m\geq n_{0}$$, we have $$d_{\alpha}(x_{n},x_{m})<\epsilon$$ or $$\lim_{ n,m\rightarrow\infty} d_{\alpha}(x_{n},x_{m})=0$$ for all $$\alpha\in(0,1]$$.

4. 4.

A $$G_{bq}$$-family $$(X,d_{\alpha})$$ is called complete if every $$G_{bq}$$-Cauchy sequence in X is $$G_{bq}$$-convergent.

### Remark 2.9

Every $$G_{bq}$$-convergent sequence in a $$G_{bq}$$-family is $$G_{bq}$$-Cauchy.

Now we introducing the concepts of a generating space of a b-dislocated quasi-metric family (simply ‘$$G_{bdq}$$-family’) and a generating space of a b-dislocated metric family (simply ‘$$G_{bd}$$-family’).

### Definition 2.10

Let X be a non-empty set and $$\{d_{\alpha}:\alpha\in(0,1]\}$$ a family of mapping $$d_{\alpha}$$ of $$X\times X$$ into $$\mathbb{R}^{+}$$. Then $$(X,d_{\alpha})$$ is called a generating space of b-dislocated metric family if it satisfied the following conditions for any $$x,y,z\in X$$ and $$s\geq1$$.
1. (i)

$$d_{\alpha}(x,y)=0$$ implies $$x=y$$.

2. (ii)

$$d_{\alpha}(x,y)=d_{\alpha}(y,x)$$.

3. (iii)

For any $$\alpha\in(0,1]$$ there exists $$\beta\in(0,\alpha]$$ such that $$d_{\alpha}(x,z)\leq s[d_{\beta}(x,y)+d_{\beta}(y,z)]$$.

4. (iv)

For any $$x,y\in X$$, $$d_{\alpha}(x,y)$$ is non-increasing and left continuous in α.

Generating space of b-dislocated metric family is a generalization of b-dislocated metric space and generating space of quasi-metric family.

Now we introduce the following according to Kumari [3841].

### Definition 2.11

1. 1.

Let $$(X,d_{\alpha})$$ be a $$G_{bd}$$-family and $$\{x_{n}\}$$ be a sequence in X. We say that $$\{x_{n}\}$$ $$G_{bd}$$-converges to x in $$(X,d_{\alpha})$$ if $$\lim_{n\rightarrow\infty}d_{\alpha }(x_{n},x)=0$$ for all $$\alpha\in(0,1]$$. In this case we write $$x_{n}\rightarrow x$$.

2. 2.

Let $$(X,d_{\alpha})$$ be a $$G_{bd}$$-family and let $$A\subseteq X$$, $$x\in X$$. We say that x is a $$G_{bd}$$-limit point of A if there exists a sequence $$\{x_{n}\}$$ in $$A-\{x\}$$ such that $$\lim_{n\rightarrow\infty}x_{n}=x$$.

3. 3.

A sequence $$\{x_{n}\}$$ in a $$G_{bd}$$-family is called a $$G_{bd}$$-Cauchy sequence if, given $$\epsilon>0$$, there exists $$n_{0}\in\mathbb{N}$$ such that for all $$n,m\geq n_{0}$$, we have $$d_{\alpha}(x_{n},x_{m})<\epsilon$$ or $$\lim_{ n,m\rightarrow\infty} d_{\alpha}(x_{n},x_{m})=0$$ for all $$\alpha\in(0,1]$$.

4. 4.

A $$G_{bd}$$-family $$(X,d_{\alpha})$$ is called complete if every $$G_{bd}$$-Cauchy sequence in X is $$G_{bd}$$-convergent.

### Remark 2.12

Every $$G_{bd}$$-convergent sequence in a $$G_{bd}$$-family is $$G_{bd}$$-Cauchy.

The pair $$(X,d_{\alpha})$$ is called ‘generating space of dislocated metric family’ if we take $$s=1$$ in Definition 2.10.

### Definition 2.13

Let X be a non-empty set and $$\{d_{\alpha}:\alpha\in(0,1]:X\times X\rightarrow\mathbb{R}^{+}\}$$. $$(X,d_{\alpha})$$ is a generating space of b-dislocated quasi-metric family (simply ‘$$G_{bdq}$$-family’) if the following conditions hold for any $$x,y,z\in X$$ and $$s\geq1$$.
1. (i)

$$d_{\alpha}(x,y)=d_{\alpha}(y,x)=0\Rightarrow x=y$$.

2. (ii)

For any $$\alpha\in(0,1]$$ there exists $$\beta\in(0,\alpha]$$ such that $$d_{\alpha}(x,z)\leq s[d_{\beta}(x,y)+d_{\beta}(y,z)]$$.

3. (iii)

For any $$x,y\in X$$, $$d_{\alpha}(x,y)$$ is non-increasing and left continuous in α.

The generating space of a b-dislocated quasi-metric family is a generalization of a b-dislocated quasi-metric space and the generating space of a quasi-metric family.

We introducing the concepts of a $$G_{bdq}$$-convergent sequence, a $$G_{bdq}$$-Cauchy sequence, and a $$G_{bdq}$$-complete space according to Kumari [42].

### Definition 2.14

1. 1.
A sequence $$\{x_{n}\}$$ in a $$G_{bdq}$$-family $$(X,d_{\alpha})$$ is called $$G_{bdq}$$-converges to $$x\in X$$ if
$$\lim_{n\rightarrow\infty}d_{\alpha}(x_{n},x)=0=\lim _{n\rightarrow\infty}d_{\alpha}(x,x_{n}) \quad\mbox{for all } \alpha \in(0,1].$$
In this case x is called a $$G_{bdq}$$-limit of $$\{x_{n}\}$$, and we write $$x_{n}\rightarrow x$$.

2. 2.
A sequence $$\{x_{n}\}$$ in a $$G_{bdq}$$-family $$(X,d_{\alpha})$$ is called $$G_{bdq}$$-Cauchy if
$$\lim_{n,m\rightarrow\infty}d_{\alpha}(x_{n},x_{m})=0= \lim_{n,m\rightarrow \infty}d_{\alpha}(x_{m},x_{n}) \quad\mbox{for all } \alpha\in(0,1].$$

3. 3.

A $$G_{bdq}$$-family $$(X,d_{\alpha})$$ is complete if every Cauchy sequence in it is $$G_{bdq}$$-convergent in X.

The pair $$(X,d_{\alpha})$$ is called ‘generating space of dislocated quasi-metric family’ if we take $$s=1$$ in Definition 2.13.

Now, we recall the definition of cyclic map in a metric space.

### Definition 2.15

([24])

Let A and B be non-empty subsets of a metric space $$(X, d)$$ and $$T:A\cup B\rightarrow A\cup B$$. T is called a cyclic map iff $$T(A)\in B$$ and $$T(B)\in A$$.

### Definition 2.16

([24])

Let A and B be non-empty subsets of a metric space $$(X, d)$$. A cyclic map $$T:A\cup B\rightarrow A\cup B$$ is said to be a cyclic contraction if there exists $$k\in[0,1)$$ such that $$d(Tx,Ty)\leq k(d(x,y))$$ for all $$x\in A$$ and $$y\in B$$.

## 3 Fixed point theorems on various generating spaces

### Definition 3.1

Let A and B be non-empty subsets of a $$G_{bdq}$$-family $$(X,d_{\alpha })$$. A cyclic map $$T:A\cup B\rightarrow A\cup B$$ is said to be a $$G_{bdq}$$-cyclic-Banach contraction if for all $$\alpha\in(0,1]$$ such that
$$d_{\alpha}(Tx,Ty)\leq kd_{\alpha}(x,y)$$
for all $$x\in A$$, $$y\in B$$ and $$k\in[0,\frac{1}{s})$$.

### Remark

Cyclic contraction is continuous in a $$G_{bdq}$$-family.

### Theorem 3.2

Let A and B be non-empty closed subsets of a complete $$G_{bdq}$$-family $$(X,d_{\alpha})$$. Let T be a cyclic mapping that satisfies the condition of a $$G_{bdq}$$-cyclic-Banach contraction. Then T has a unique fixed point in $$A\cap B$$.

### Proof

Let $$x\in A$$ (fix) and using the contractive condition of the theorem, we have
\begin{aligned}& d_{\alpha}\bigl(T^{2}x,Tx\bigr)=d_{\alpha}\bigl(T(Tx),Tx \bigr)\leq kd_{\alpha}(Tx,x)\quad \mbox{and} \\& d_{\alpha}\bigl(Tx,T^{2}x\bigr)=d_{\alpha}\bigl(Tx,T(Tx) \bigr)\leq kd_{\alpha}(x,Tx) . \end{aligned}
So,
$$d_{\alpha}\bigl(T^{2}x,Tx\bigr)\leq k\delta$$
(1)
and
$$d_{\alpha}\bigl(Tx,T^{2}x\bigr)\leq k\delta,$$
(2)
where $$\delta=\max\{d_{\alpha}(Tx,x),d_{\alpha}(x,Tx)\}$$.

From (1) and (2), we have $$d_{\alpha}(T^{3}x,T^{2}x)\leq k^{2}\delta$$ and $$d_{\alpha}(T^{2}x,T^{3}x)\leq k^{2}\delta$$.

For all $$n\in\mathbb{N}$$, we get
$$d_{\alpha}\bigl(T^{n+1}x,T^{n}x\bigr)\leq k^{n}\delta$$
and
$$d_{\alpha}\bigl(T^{n}x,T^{n+1}x\bigr)\leq k^{n}\delta.$$
Let $$n,m\in\mathbb{N}$$ with $$m>n$$, by using the definition of $$G_{bdq}$$-family, we have
\begin{aligned}& d_{\alpha}\bigl(T^{m}x,T^{n}x \bigr) \\& \quad \leq s\bigl[d_{\beta}\bigl(T^{m}x,T^{m-1}x \bigr)+d_{\beta}\bigl(T^{m-1}x,T^{n}x\bigr)\bigr] \\& \quad \leq sd_{\beta}\bigl(T^{m}x,T^{m-1}x \bigr)+sd_{\beta}\bigl(T^{m-1}x,T^{n}x\bigr) \\& \quad \leq sd_{\beta}\bigl(T^{m}x,T^{m-1}x \bigr)+s^{2}d_{\beta }\bigl(T^{m-1}x,T^{m-2}x \bigr)+s^{2}d_{\beta}\bigl(T^{m-2}x,T^{n}x \bigr) \\& \quad \leq sd_{\beta}\bigl(T^{m}x,T^{m-1}x \bigr)+s^{2}d_{\beta }\bigl(T^{m-1}x,T^{m-2}x \bigr)+s^{3}d_{\beta}\bigl(T^{m-2}x,T^{m-3}x \bigr)\\& \quad\quad{}+s^{3}d_{\beta }\bigl(T^{m-3}x,T^{n}x \bigr). \end{aligned}
By repeating this process, we get
\begin{aligned} d_{\alpha}\bigl(T^{m}x,T^{n}x \bigr) \leq& sd_{\beta}\bigl(T^{m}x,T^{m-1}x \bigr)+s^{2}d_{\beta }\bigl(T^{m-1}x,T^{m-2}x \bigr)+s^{3}d_{\beta}\bigl(T^{m-2}x,T^{m-3}x \bigr)+\cdots \\ \vdots& \\ \leq& \mathit{sk}^{m-1}\delta+s^{2}k^{m-2} \delta+s^{3}k^{m-3}\delta+\cdots \\ =&\mathit{sk}^{m-1}\delta\biggl(1+\frac{s}{k}+\frac{s^{2}}{k^{2}}+\cdots \biggr) \\ \leq& \biggl(\frac{\mathit{sk}^{m-1}}{1-\frac{s}{k}} \biggr)\delta. \end{aligned}
Taking the limits as $$m\rightarrow\infty$$, we get $$d_{\alpha }(T^{m}x,T^{n}x)\rightarrow0$$ for all $$\alpha\in[0,1)$$ as $$\mathit{sk}<1$$.
Similarly, let $$n,m\in\mathbb{N}$$ with $$m< n$$, we have
\begin{aligned} d_{\alpha}\bigl(T^{n}x,T^{m}x \bigr) \leq& sd_{\beta}\bigl(T^{n}x,T^{n+1}x \bigr)+s^{2}d_{\beta }\bigl(T^{n+1}x,T^{n+2}x \bigr)+s^{3}d_{\beta}\bigl(T^{n+2}x,T^{n+3}x \bigr)+\cdots \\ \leq& \mathit{sk}^{n}\delta+s^{2}k^{n+1} \delta+s^{3}k^{n+2}\delta+\cdots \\ =&\mathit{sk}^{n}\delta\bigl(1+\mathit{sk}+(\mathit{sk})^{2}+\cdots\bigr) \\ \leq& \biggl(\frac{\mathit{sk}^{n}}{1-\mathit{sk}} \biggr)\delta. \end{aligned}
Letting $$n\rightarrow\infty$$, we get $$d_{\alpha }(T^{n}x,T^{m}x)\rightarrow0$$ for all $$\alpha\in[0,1)$$ as $$\mathit{sk}<1$$.

Thus $$\{T^{n}x\}$$ is a $$G_{bdq}$$-Cauchy sequence.

Since $$(X,d_{\alpha})$$ is $$G_{bdq}$$-complete, we see that $$\{T^{n}x\}$$ $$G_{bdq}$$-converges to some $$u\in X$$ for all $$\alpha\in(0,1]$$.

We note that $$\{T^{2n}x\}$$ is a sequence in A and $$\{T^{2n-1}x\}$$ is a sequence in B in such a way that both sequences tend to the same limit u.

Since A and B are closed, we have $$u\in A\cap B$$, and then $$A\cap B\neq\emptyset$$.

Now, we will show that $$Tu=u$$.

Consider
$$d_{\alpha}\bigl(T^{n}x,Tu\bigr)\leq s\bigl[d_{\beta} \bigl(T^{n}x,T^{n+1}x\bigr)+d_{\beta} \bigl(T^{n+1}x,Tu\bigr)\bigr].$$
(3)
Since T is continuous, $$\lim_{n\rightarrow\infty}d_{\beta }(T^{n+1}x,Tu)=0$$ and $$d_{\beta}(T^{n}x,T^{n+1}x)\leq k^{n}\delta$$.

This implies that $$sd_{\beta}(T^{n}x,T^{n+1}x)\leq \mathit{sk}^{n}\delta\leq (\mathit{sk})^{n}\delta$$.

Letting $$n\rightarrow\infty$$ in the above inequality (3), we get
$$d_{\alpha}(u,Tu)=0 ,$$
(4)
since $$\mathit{sk}<1$$. Similarly,
$$d_{\alpha}(Tu,u)=0.$$
(5)
From (4) and (5), it follows that $$u=Tu$$.

Hence u is a fixed point of T.

Finally, to obtain the uniqueness of a fixed point, let $$v\in X$$ be another fixed point of T such that $$Tv=v$$.

Then we have
$$d_{\alpha}(u,v)=d_{\alpha}(Tu,Tv)\leq kd_{\alpha}(u,v).$$
(6)
Similarly,
$$d_{\alpha}(v,u)\leq kd_{\alpha}(v,u).$$
(7)
From (6) and (7), we obtain $$d_{\alpha}(v,u)=d_{\alpha}(u,v)=0$$, this implies that $$u=v$$.

Thus u is a unique fixed point of T. This completes the proof. □

If we take $$s=1$$ in the above theorem, we obtain the following theorem in generating space of dislocated quasi-metric family.

### Theorem 3.3

Let A and B be nonempty closed subsets of a complete $$G_{dq}$$-family $$(X,d_{\alpha})$$. Let T be a cyclic mapping that satisfies the condition of a $$G_{dq}$$-cyclic-Banach contraction. Then T has a unique fixed point in $$A\cap B$$.

If we take $$d_{\alpha}=d$$ in Theorem 3.2, we obtain the following corollary in b-dislocated quasi-metric space.

### Corollary 3.4

Let A and B be non-empty closed subsets of a complete b-dislocated quasi-metric space $$(X,d)$$. Let $$T:A\cup B\rightarrow A\cup B$$ be a cyclic mapping that satisfies the condition $$d(Tx,Ty)\leq kd(x,y)$$, where $$k\in[0,\frac{1}{s})$$ for all $$x\in A$$, $$y\in B$$ and $$s\geq1$$ then T has a unique fixed point in $$A\cap B$$.

### Example 3.5

Let $$X=\{-1,0,1\}$$ and $$T:A\cup B\rightarrow A\cup B$$ defined by $$Tx=-x$$. Suppose that $$A=\{-1,0\}$$, $$B=\{0,1\}$$. Define the function $$d:X\times X\rightarrow[0,\infty)$$ by $$d(0,0)=0$$, $$d(0,1)=2$$, $$d(0,-1)=0$$, $$d(1,1)=2$$, $$d(1,0)=0$$, $$d(1,-1)=0$$, $$d(-1,-1)=1$$, $$d(-1,1)=1$$ and $$d(-1,0)=2$$.

Clearly $$(X,d)$$ is a complete b-dislocated quasi-metric with the coefficient $$s=2$$ but not a dislocated quasi-metric, since the triangle inequality does not hold, that is, $$d(-1,0)\nleq d(-1,1)+d(1,0)$$.

Now let $$x\in A$$ then $$Tx\in B$$. Further let $$x\in B$$ then $$Tx\in A$$. Hence the map T is cyclic on X because $$T(A)\subset B$$ and $$T(B)\subset A$$.

Now, we have the following cases:
• Case 1 For $$x=0\in A$$, $$y=0\in B$$.

Then $$d(Tx,Ty)=d(T0,T0)=d(0,0)=0$$; $$kd(x,y)=kd(0,0)=0$$.

Thus $$d(Tx,Ty)\leq kd(x,y)$$.

• Case 2 For $$x=0\in A$$, $$y=1\in B$$.

Then $$d(Tx,Ty)=d(T0,T1)=d(0,-1)=0$$; $$kd(x,y)=kd(0,1)=2k$$.

Thus $$d(Tx,Ty)\leq kd(x,y)$$, for $$k\in[0,\frac{1}{2})$$.

• Case 3 For $$x=-1\in A$$, $$y=0\in B$$.

Then $$d(Tx,Ty)=d(T(-1),T0)=d(1,0)=0$$; $$kd(x,y)=kd(-1,0)=2k$$.

Thus $$d(Tx,Ty)\leq kd(x,y)$$, for $$k\in[0,\frac{1}{2})$$.

• Case 4 For $$x=-1\in A$$, $$y=1\in B$$.

Then $$d(Tx,Ty)=d(T(-1),T1)=d(1,-1)=0$$; $$kd(x,y)=kd(-1,1)=2k$$.

Thus $$d(Tx,Ty)\leq kd(x,y)$$, for $$k\in[0,\frac{1}{2})$$.

Thus for all $$x\in A$$, $$y \in B$$ and $$k\in[0,\frac{1}{2})$$, T satisfies all the conditions of the above corollary. Hence T has a unique fixed point in $$A\cap B$$. In fact $$0\in A\cap B$$ is the unique fixed point.

If we take the parameter $$s = 1$$ and $$d_{\alpha}=d$$ in Theorem 3.2, we obtain the following corollary in dislocated quasi-metric space.

### Corollary 3.6

Let A and B be non-empty closed subsets of a complete dislocated quasi-metric space $$(X,d)$$. Let $$T:A\cup B\rightarrow A\cup B$$ be a cyclic mapping that satisfies the condition $$d(Tx,Ty)\leq kd(x,y)$$, where $$k\in[0,1)$$ for all $$x\in A$$, $$y\in B$$. Then T has a unique fixed point in $$A\cap B$$.

We now give an example to illustrate the above corollary.

### Example 3.7

Let $$X=[-1,1]$$ and $$T:X\rightarrow X$$ defined by $$Tx=-\frac{x}{2}$$. Suppose that $$A=[-1,0]$$ and $$B=[0,1]$$. Define the function $$d:X\times X\rightarrow[0,\infty)$$ by $$d(x,y)=|x|$$.

Hence d is complete dislocated quasi-metric on X. Further $$T(A)\subset B$$ and $$T(B)\subset A$$.

Thus T is cyclic on X.

Now consider
\begin{aligned} d(Tx,Ty) =&d \biggl(-\frac{x}{2},- \frac{y}{2} \biggr) \\ =&\biggl\vert -\frac{x}{2}\biggr\vert \\ =&\frac{x}{2} \\ \leq& kd(x,y) \quad\mbox{for } \frac{1}{2}\leq k< 1. \end{aligned}
(8)
Thus T satisfies all the conditions of above corollary and ‘0’ is a unique fixed point.

### Example 3.8

Let $$X=[-1,1]$$ and $$T:X\rightarrow X$$ defined by $$Tx=\frac{-x}{2}$$. Suppose that $$A=[-1,0]$$ and $$B=[0,1]$$. Define the function $$d:X\times X\rightarrow[0,\infty)$$ by $$d(x,y)=|x|+y^{2}$$;
\begin{aligned} d(Tx,Ty) =&d \biggl(-\frac{x}{2},- \frac{y}{2} \biggr) \\ =&\biggl\vert -\frac{x}{2}\biggr\vert +\frac{y^{2}}{4} \\ =&\frac{x}{2}+\frac{y^{2}}{4} \\ =&\frac{1}{2} \biggl(\vert x\vert +\frac{y^{2}}{2} \biggr) \\ \leq&\frac{1}{2} \biggl(\vert x\vert +\frac{y^{2}}{2} \biggr) \\ \leq& kd(x,y) , \quad\mbox{where } \frac{1}{2}\leq k< 1. \end{aligned}
(9)
Thus T satisfies all the conditions of above corollary and ‘0’ is a unique fixed point of T.

### Definition 3.9

([2])

Let $$(X,d)$$ be a complete metric space. $$T:X\rightarrow X$$ is called a Kannan contraction if there exists a number t, $$0< t<\frac{1}{2}$$, such that, for each $$x,y\in X$$,
$$d(Tx,Ty)\leq t\bigl[d(x,Tx)+d(y,Ty)\bigr].$$

Inspired by the above definition, we introduce the $$G_{bd}$$-cyclic-Kannan contraction in the setting of generating space of a b-dislocated metric family.

### Definition 3.10

Let A and B be non-empty subsets of a $$G_{bd}$$-family $$(X,d_{\alpha })$$. A cyclic map $$T:A\cup B\rightarrow A\cup B$$ is said to be a $$G_{bd}$$-cyclic-Kannan contraction if there exists $$t\in[0,\frac{1}{4s}]$$ where $$s\geq1$$ and for any $$\alpha\in(0,1]$$ such that
$$d_{\alpha}(Tx,Ty)\leq t\bigl[d_{\alpha}(x,Tx)+d_{\alpha}(y,Ty) \bigr]$$
(10)
for all $$x\in A$$, $$y\in B$$ and $$st<\frac{1}{4}$$.

Now we state and prove the fixed point theorem for a cyclic-Kannan contraction in a generating space of b-dislocated metric family.

### Theorem 3.11

Let A and B be non-empty closed subsets of a complete generating space of b-dislocated metric family $$(X,d_{\alpha})$$. Let T be a continuous cyclic mapping that satisfies the condition of a $$G_{bd}$$-cyclic-Kannan contraction. Then T has a unique fixed point in $$A\cap B$$.

### Proof

Let $$x\in A$$ (fix) and, using the definition of a $$G_{bd}$$-cyclic-Kannan contraction, we have
\begin{aligned} d_{\alpha}\bigl(Tx,T^{2}x\bigr) =&d_{\alpha}\bigl(Tx,T(Tx)\bigr) \\ \leq& td_{\alpha}(x,Tx)+td_{\alpha}\bigl(Tx,T^{2}x\bigr), \end{aligned}
so
$$d_{\alpha}\bigl(Tx,T^{2}x\bigr)\leq \biggl(\frac{t}{1-t} \biggr)d_{\alpha}(x,Tx).$$
(11)
By using (10), we have
\begin{aligned} d_{\alpha}\bigl(T^{2}x,T^{3}x \bigr) \leq& d_{\alpha}\bigl(T(Tx),T\bigl(T^{2}x\bigr)\bigr) \\ \leq& t\bigl[d_{\alpha}\bigl(Tx,T^{2}x\bigr)+d_{\alpha} \bigl(T^{2}x,T^{3}x\bigr)\bigr] \\ \leq& \biggl(\frac{t}{1-t} \biggr)d_{\alpha}\bigl(Tx,T^{2}x \bigr) \\ \leq& \biggl(\frac{t}{1-t} \biggr)^{2}d_{\alpha}(x,Tx). \end{aligned}
For all $$n\in\mathbb{N}$$, we have
$$d_{\alpha}\bigl(T^{n}x,T^{n+1}x\bigr)\leq \biggl( \frac{t}{1-t} \biggr)^{n}d_{\alpha }(x,Tx) \quad\text{for all } \alpha\in[0,1).$$
Let $$n,m\in\mathbb{N}$$ with $$m< n$$, by using the definition of $$G_{bd}$$-family, we get
\begin{aligned}& d_{\alpha}\bigl(T^{m}x,T^{n}x \bigr) \\& \quad \leq s\bigl[d_{\alpha}\bigl(T^{m}x,T^{m+1}x \bigr)+d_{\alpha}\bigl(T^{m+1}x,T^{n}x\bigr)\bigr] \\& \quad \leq sd_{\alpha}\bigl(T^{m}x,T^{m+1}x \bigr)+s^{2}d_{\alpha }\bigl(T^{m+1}x,T^{m+2}x \bigr)+s^{3}d_{\alpha}\bigl(T^{m+2}x,T^{m+3}x \bigr)+\cdots \\& \quad \leq s \biggl(\frac{t}{1-t} \biggr)^{m}d_{\alpha}(x,Tx)+s^{2} \biggl(\frac {t}{1-t} \biggr)^{m+1}d_{\alpha}(x,Tx)+s^{3} \biggl(\frac{t}{1-t} \biggr)^{m+2}d_{\alpha}(x,Tx)+\cdots \\& \quad = s \biggl(\frac{t}{1-t} \biggr)^{m}d_{\alpha}(x,Tx) \biggl(1+s \biggl(\frac {t}{1-t} \biggr)+s^{2} \biggl( \frac{t}{1-t} \biggr)^{2}+\cdots \biggr) \\& \quad \leq \biggl(\frac{st^{m}}{1-t} \biggr)d_{\alpha}(x,Tx) \biggl( \frac {1}{1-\frac{st}{1-t}} \biggr) \leq \biggl(\frac{st^{m}}{1-t-st} \biggr)d_{\alpha}(x,Tx). \end{aligned}
Since $$st<1$$, $$d_{\alpha}(T^{m}x,T^{n}x)\rightarrow0$$ as $$m,n\rightarrow \infty$$.

Hence $$\{T^{n}x\}$$ is a $$G_{bd}$$-Cauchy sequence.

Since $$(X,d_{\alpha})$$ is complete generating space of b-dislocated metric family, $$\{T^{n}x\}$$ $$G_{bd}$$-converges to some $$u\in X$$, i.e. $$x_{n}\rightarrow u$$.

We note that $$\{T^{2n}x\}$$ is a sequence in A and $$\{T^{2n-1}x\}$$ is a sequence in B in a way that both sequences tend to the same limit u.

Since A and B are closed, we have $$u\in A\cap B$$, and then $$A\cap B\neq\emptyset$$.

Now, we prove that $$Tu=u$$.

Consider $$Tu=T(\lim_{n\rightarrow\infty}x_{n})=\lim_{n\rightarrow\infty}T(x_{n})=\lim_{n\rightarrow\infty}x_{n+1}=u$$.

Now we prove that u is the unique fixed point.

Suppose $$u^{\ast}$$ is another fixed point of T such that $$Tu^{\ast }=u^{\ast}$$.

Then from the contractive condition, we get
\begin{aligned} d_{\alpha}\bigl(u,u^{\ast}\bigr) =& d_{\alpha}\bigl(Tu,Tu^{\ast}\bigr) \\ \leq& t\bigl[d_{\alpha}(u,Tu)+d_{\alpha}\bigl(u^{\ast},Tu^{\ast} \bigr)\bigr] \\ \leq& t\bigl[d_{\alpha}(u,u)+d_{\alpha}\bigl(u^{\ast},u^{\ast} \bigr)\bigr] \\ \leq& t\bigl[s\bigl[d_{\beta}\bigl(u,u^{\ast} \bigr)+d_{\beta}\bigl(u^{\ast},u\bigr)\bigr]+s\bigl[d_{\beta } \bigl(u^{\ast},u\bigr)+d_{\beta}\bigl(u,u^{\ast}\bigr) \bigr]\bigr] \\ \leq&4ts d_{\alpha}\bigl(u,u^{\ast}\bigr), \end{aligned}
which yields $$(1-4ts)d_{\alpha}(u,u^{\ast})\leq0$$.

Since $$1-4ts>0$$, $$d_{\alpha}(u,u^{\ast})=0$$.

Thus $$u=u^{\ast}$$. This completes the proof. □

If we take $$s=1$$ in the above theorem, we obtain the following theorem in generating space of dislocated metric family.

### Theorem 3.12

Let A and B be nonempty closed subsets of a complete generating space of dislocated metric family $$(X,d_{\alpha})$$. Let T be a continuous cyclic mapping that satisfies the condition of a $$G_{d}$$-cyclic-Kannan contraction. Then T has a unique fixed point in $$A\cap B$$.

If we take $$d_{\alpha}=d$$ in Theorem 3.11, we obtain the following corollary in b-dislocated metric space.

### Corollary 3.13

Let A and B be non-empty closed subsets of a complete b-dislocated metric space $$(X,d)$$. Let T be a continuous cyclic mapping that satisfies the condition
$$d(Tx,Ty)\leq t\bigl[d(x,Tx)+d(y,Ty)\bigr],$$
where $$t\in(0,\frac{1}{4s})$$. Then T has a unique fixed point in $$A\cap B$$.

If we take the parameter $$s = 1$$ and $$d_{\alpha}=d$$ in Theorem 3.11, we obtain the following corollary in complete dislocated metric space.

### Corollary 3.14

Let A and B be non-empty closed subsets of a complete dislocated metric space $$(X,d)$$. Let T be a continuous cyclic mapping that satisfies the condition
$$d(Tx,Ty)\leq t\bigl[d(x,Tx)+d(y,Ty)\bigr],$$
where $$t\in(0,\frac{1}{4})$$. Then T has a unique fixed point in $$A\cap B$$.

### Example 3.15

Let $$X=[0,1]$$ and $$T:A\cup B\rightarrow A\cup B$$ defined by $$Tx=\frac {x}{9}$$. Suppose that $$A,B=[0,1]$$. Define the function $$d:X\times X\rightarrow [0,\infty)$$ by $$d(x,y)=\max\{x,y\}$$.

Clearly d is a complete dislocated metric space.
• Case (i) If $$x>y$$.
\begin{aligned} d(Tx,Ty) =&d \biggl(\frac{x}{9},\frac{y}{9} \biggr) =\max \biggl\{ \frac{x}{9},\frac{y}{9} \biggr\} \\ =&\frac{x}{9}=\frac{1}{9}(x) \\ \leq&\frac{1}{9}(x+y) \\ =& \frac{1}{9} \biggl(\max \biggl\{ x,\frac{x}{9} \biggr\} +\max \biggl\{ y,\frac {y}{9} \biggr\} \biggr) \\ = &\frac{1}{9} \biggl(d \biggl(x,\frac{x}{9} \biggr)+d \biggl(y, \frac{y}{9} \biggr) \biggr) \\ \leq &t\bigl[d(x,Tx)+d(y,Ty)\bigr] \end{aligned}
so $$\frac{1}{9}\leq t<\frac{1}{4}$$.
• Case (ii) If $$x< y$$, similar proof as above. Hence omitted.

Thus T satisfies all the conditions of the above corollary.

Hence T has a unique fixed point. In fact 0 is the unique fixed point of T.

In 1974, Ciric [3] introduced the concept of a quasi-contraction and extended some results concerning generalized contractions of [43] and [44] to quasi-contractions. He proved fixed point theorems for single-valued quasi-contractions and provided an illustrative example for his extensions. Some generalizations on quasi-contractions can be found in [4547].

### Definition 3.16

([5])

Let $$(X,d)$$ be a complete metric space. A map $$T:X\rightarrow X$$ such that there exists a constant h, $$0\leq h<1$$, and for each $$x,y\in X$$,
$$d(Tx,Ty)\leq h\max\bigl\{ d(x,y),d(x,Tx),d(y,Ty),d(x,Ty),d(y,Tx)\bigr\}$$
is called a Ciric quasi-contraction.

Based on above definition, we introduce the following definition in the setting of generating space of b-quasi-metric family.

### Definition 3.17

Let A and B be non-empty subsets of a $$G_{bq}$$-family $$(X,d_{\alpha })$$. A cyclic map $$T:A\cup B\rightarrow A\cup B$$ is said to be a $$G_{bq}$$-cyclic-Ciric contraction if there exists $$h\in[0,\frac{s}{2})$$ where $$s\geq1$$ and for any $$\alpha\in(0,1]$$ such that
$$s^{2}d_{\alpha}(Tx,Ty)\leq h\max\bigl\{ d_{\alpha}(x,y),d_{\alpha }(x,Tx),d_{\alpha}(y,Ty),d_{\alpha}(x,Ty),d_{\alpha}(y,Tx) \bigr\}$$
for all $$x\in A$$, $$y\in B$$.

Now, we derive the existence of fixed point theorems for $$G_{bq}$$-cyclic-Ciric contraction in $$G_{bq}$$-family which is larger than the generating space of a quasi-metric family and metric space.

### Theorem 3.18

Let A and B be non-empty closed subsets of a complete $$G_{bq}$$-family $$(X,d_{\alpha})$$. Let T be a continuous cyclic mapping that satisfies the condition of a $$G_{bq}$$-cyclic-Ciric contraction. Then T has a unique fixed point in $$A\cap B$$.

### Proof

Let $$x\in A(\mathrm{Fix})$$.

By using $$G_{bq}$$-cyclic-Ciric contraction, we have
$$s^{2}d_{\alpha}(Tx,Ty)\leq h \max\bigl\{ d_{\alpha}(x,y),d_{\alpha }(x,Tx),d_{\alpha}(y,Ty),d_{\alpha}(x,Ty),d_{\alpha}(y,Tx) \bigr\} .$$
Consider
\begin{aligned}& s^{2}d_{\alpha}\bigl(Tx,T^{2}x \bigr) \\& \quad \leq h \max\bigl\{ d_{\alpha}(x,Tx),d_{\alpha}(x,Tx),d_{\alpha } \bigl(Tx,T^{2}x\bigr),d_{\alpha}\bigl(x,T^{2}x \bigr),d_{\alpha}(Tx,Tx)\bigr\} \\& \quad \leq h \max\bigl\{ d_{\alpha}(x,Tx),d_{\alpha}\bigl(Tx,T^{2}x \bigr),s\bigl[d_{\beta }(x,Tx)+d_{\beta}\bigl(Tx,T^{2}x \bigr)\bigr]\bigr\} \\& \quad\leq hsd_{\beta}(x,Tx)+hsd_{\beta}\bigl(Tx,T^{2}x \bigr), \end{aligned}
which yields
$$d_{\alpha}\bigl(Tx,T^{2}x\bigr)\leq\frac{h}{s-h}d_{\alpha}(x,Tx).$$
Thus
$$d_{\alpha}\bigl(Tx,T^{2}x\bigr)\leq k d_{\alpha}(x,Tx),$$
where $$k=\frac{h}{s-h}$$, which implies $$0\leq k<1$$.
Choose $$\mathit{sk}\leq1$$. Repeating the same process for all $$n\in\mathbb {N}$$, we get
$$d_{\alpha}\bigl(T^{n}x,T^{n+1}x\bigr)\leq k^{n} d_{\alpha}(x,Tx).$$
Now we shall show that $$\{T^{n}x\}$$ is a $$G_{bq}$$-Cauchy sequence.
Let $$n,m\in\mathbb{N}$$ with $$m>n$$, we have
\begin{aligned}& d_{\alpha}\bigl(T^{n}x,T^{m}x \bigr) \\& \quad \leq s\bigl[d_{\beta}\bigl(T^{n}x,T^{n+1}x \bigr)+d_{\beta}\bigl(T^{n+1}x,T^{m}x\bigr)\bigr] \\& \quad \leq sd_{\beta}\bigl(T^{n}x,T^{n+1}x \bigr)+s^{2}d_{\beta }\bigl(T^{n+1}x,T^{n+2}x \bigr)+s^{3}d_{\beta}\bigl(T^{n+2}x,T^{n+3}x \bigr)+\cdots \\& \quad \vdots \\& \quad \leq \mathit{sk}^{n}d_{\beta}(x,Tx)+s^{2}k^{n+1}d_{\beta }(x,Tx)+s^{3}k^{n+2}d_{\beta}(x,Tx)+\cdots \\& \quad \leq \mathit{sk}^{n}\bigl[1+\mathit{sk}+(\mathit{sk})^{2}+\cdots\bigr]d_{\alpha}(x,Tx) \\& \quad \leq\frac{\mathit{sk}^{n}}{1-\mathit{sk}}d_{\alpha}(x,Tx). \end{aligned}
Letting $$n\rightarrow\infty$$, we get $$d_{\alpha }(T^{n}x,T^{m}x)\rightarrow0$$ for all $$\alpha\in(0,1]$$ as $$\mathit{sk}\leq1$$.

Hence $$\{T^{n}x\}$$ is a $$G_{bq}$$-Cauchy sequence.

Since X is $$G_{bq}$$-complete, the sequence $$\{T^{n}x\}$$ converges to some point $$z\in X$$. We note that $$\{T^{2n}x\}$$ is a sequence in A and $$\{T^{2n-1}x\}$$ is a sequence in B in such a way that both sequences tend to the same limit z.

Since A and B are closed, we have $$z\in A\cap B$$, and then $$A\cap B\neq\emptyset$$.

Now, we will show that $$Tz=z$$.

Consider
$$d_{\alpha}(z,Tz)\leq s\bigl[d_{\beta}\bigl(z,T^{n+1}x \bigr)+d_{\beta}\bigl(T^{n+1}x,Tz\bigr)\bigr].$$
Letting $$n\rightarrow\infty$$, we get $$d_{\alpha}(z,Tz)=0$$.

This implies $$z=Tz$$.

Now we prove that z is the unique fixed point.

In order to do this, let $$z^{\ast}\in X$$ be another fixed point of T such that $$Tz^{\ast}=z^{\ast}$$.

Then we have
\begin{aligned} s^{2}d_{\alpha}\bigl(z,z^{\ast} \bigr) =&s^{2}d_{\alpha}\bigl(Tz,Tz^{\ast}\bigr) \\ \leq& h \max\bigl\{ d_{\alpha}\bigl(z,z^{\ast}\bigr),d_{\alpha}(z,Tz),d_{\alpha} \bigl(z^{\ast },Tz^{\ast}\bigr),d_{\alpha} \bigl(z,Tz^{\ast}\bigr),d_{\alpha}\bigl(z^{\ast},Tz\bigr) \bigr\} , \end{aligned}
which implies that
$$d_{\alpha}\bigl(z,z^{\ast}\bigr)\leq \biggl(\frac{h}{s^{2}} \biggr) d_{\alpha }\bigl(z,z^{\ast}\bigr)$$
since $$\frac{h}{s^{2}}<1$$, $$d_{\alpha}(z,z^{\ast})=0$$. Thus $$z=z^{\ast}$$. This completes the proof. □

If we take $$s=1$$ in the above theorem, we obtain the following theorem in generating space of quasi-metric family.

### Theorem 3.19

Let A and B be nonempty closed subsets of a complete generating space of quasi-metric family $$(X,d_{\alpha})$$. Let T be a continuous cyclic mapping that satisfies the condition of a $$G_{q}$$-cyclic-Kannan contraction. Then T has a unique fixed point in $$A\cap B$$.

If we take $$d_{\alpha}=d$$ in Theorem 3.18, we obtain the following corollary in b-metric space.

### Corollary 3.20

Let A and B be non-empty closed subsets of a complete b-metric space. Let $$T:A\cup B\rightarrow A\cup B$$ be a continuous cyclic mapping that satisfies the condition $$s^{2}d(Tx,Ty)\leq h\max\{d(x,y),d(x,Tx),d(y,Ty),d(x,Ty),d(y,Tx)\}$$, where $$h\in[0,\frac{s}{2})$$ for all $$x\in A$$, $$y\in B$$ and $$s\geq1$$. Then T has a unique fixed point in $$A\cap B$$.

### Example 3.21

Let $$X=[0,1]$$ and $$T:A\cup B\rightarrow A\cup B$$ defined by $$Tx=\frac {x}{6}$$. Suppose that $$A,B=[0,1]$$. Define the function $$d:X\times X\rightarrow[0,\infty)$$ by $$d(x,y)=|x-y|^{2}$$ and $$s=2$$.

Clearly d is complete b-metric on X. Further $$T(A)\subset B$$ and $$T(B)\subset A$$. Hence T is continuous cyclic map on X. Now, we consider
\begin{aligned} s^{2}d(Tx,Ty) =&4d \biggl( \frac{x}{6},\frac{y}{6} \biggr) \\ =&4\biggl\vert \frac{x-y}{6}\biggr\vert ^{2} \\ =&\frac{4}{36}\vert x-y\vert ^{2} \\ =&\frac{1}{9}d(x,y) \\ \leq &h\max\bigl\{ d(x,y),d(x,Tx),d(y,Ty),d(x,Ty),d(y,Tx)\bigr\} , \end{aligned}
where $$\frac{1}{9}\leq h<1$$. Thus T satisfies all the conditions of the above corollary and 0 is the unique fixed point in $$A\cap B$$.

If we take the parameter $$s = 1$$ and $$d_{\alpha}=d$$ in Theorem 3.18, we obtain the following corollary in a complete metric space.

### Corollary 3.22

Let A and B be non-empty closed subsets of a complete metric space. Let $$T:A\cup B\rightarrow A\cup B$$ be a continuous cyclic mapping that satisfies the condition $$d(Tx,Ty)\leq h\max\{d(x,y),d(x,Tx),d(y,Ty),d(x,Ty),d(y,Tx)\}$$, where $$h\in[0,\frac{1}{2})$$ for all $$x\in A$$, $$y\in B$$ and $$s\geq1$$. Then T has a unique fixed point in $$A\cap B$$.

### Example 3.23

Let $$X=[-1,1]$$ and $$T:A\cup B\rightarrow A\cup B$$ defined by $$Tx=-\frac {x}{5}$$. Suppose that $$A=[-1,0]$$ and $$B=[0,1]$$. Define the function $$d:X\times X\rightarrow[0,\infty)$$ by $$d(x,y)=|x-y|$$.

Clearly d is complete metric on X. Further $$T(A)\subset B$$ and $$T(B)\subset A$$. Hence T is continuous cyclic map on X. Now, we consider
\begin{aligned} d(Tx,Ty) =&d \biggl(-\frac{x}{5},- \frac{y}{5} \biggr) \\ =&\biggl\vert -\frac{x}{5}+\frac{y}{5}\biggr\vert \\ =&\biggl\vert \frac{x}{5}-\frac{y}{5}\biggr\vert \\ =&\frac{1}{5}\vert x-y\vert \\ =&\frac{1}{5}d(x,y) \\ \leq& h\max\bigl\{ d(x,y),d(x,Tx),d(y,Ty),d(x,Ty),d(y,Tx)\bigr\} , \end{aligned}
where $$\frac{1}{5}\leq h<1$$. Thus T satisfies all the conditions of the above corollary and 0 is the unique fixed point in $$A\cap B$$.

## Declarations

### Acknowledgements

The first author would like to express her sincere gratitude to Prof. I. Ramabhadra Sarma for his invaluable support and motivation. The authors would like to express their thanks to the referees for their helpful comments and suggestions.

## Authors’ Affiliations

(1)
(2)
Department of Mathematics, Nepal Sanskrit University, Valmeeki campus, Exhibition road, Kathmandu, Nepal

## References

1. Banach, S: Sur les operations dans les ensembles abstraits et leur applications aux equations integrales. Fundam. Math. 3, 133-181 (1922)
2. Kannan, R: Some results on fixed points. II. Am. Math. Mon. 76, 405-408 (1969)
3. Ciric, LB: A generalization of Banach’s contraction principle. Proc. Am. Math. Soc. 45, 267-273 (1974)
4. Subrahmanyam, PV: Completeness and fixed-points. Monatshefte Math. 80, 325-330 (1975)
5. Ume, JS: Fixed point theorems for Kannan-type maps. Fixed Point Theory Appl. 2015, 38 (2015). doi:10.1186/s13663-015-0286-5
6. Enjouji, Y, Nakanishi, M, Suzuki, T: A generalization of Kannan’s fixed point theorem. Fixed Point Theory Appl. 2009, 192872 (2009). doi:10.1155/2009/192872
7. De la Sen, M: Linking contractive self-mappings and cyclic Meir-Keeler contractions with Kannan self-mappings. Fixed Point Theory Appl. 2010, 572057 (2010). doi:10.1155/2010/572057
8. Kikkawa, M, Suzuki, T: Three fixed point theorems for generalized contractions with constants in complete metric spaces. Nonlinear Anal. 69(9), 2942-2949 (2008)
9. Suzuki, T: A generalized Banach contraction principle that characterizes metric completeness. Proc. Am. Math. Soc. 136(5), 1861-1869 (2008)
10. Bakhtin, IA: The contraction mapping principle in quasimetric spaces. Funct. Anal. (Ulyanovsk) 30, 26-37 (1989)
11. Boriceanu, M: Strict fixed point theorems for multivalued operators in b-metric spaces. Int. J. Mod. Math. 4(3), 285-301 (2009)
12. Boriceanu, M, Bota, M, Petrusel, A: Multivalued fractals in b-metric spaces. Cent. Eur. J. Math. 8(2), 367-377 (2010)
13. Bota, M, Molnar, A, Csaba, V: On Ekelands variational principle in b-metric spaces. Fixed Point Theory 12, 21-28 (2011)
14. Czerwik, S: Contraction mappings in b-metric spaces. Acta Math. Inform. Univ. Ostrav. 1, 5-11 (1993)
15. Czerwik, S: Nonlinear set-valued contraction mappings in b-metric spaces. Atti Semin. Mat. Fis. Univ. Modena 46, 263-276 (1998)
16. Czerwik, S, Dlutek, K, Singh, SL: Round-off stability of iteration procedures for operators in b-metric spaces. J. Natur. Phys. Sci. 11, 87-94 (1997)
17. Czerwik, S, Dlutek, K, Singh, SL: Round-off stability of iteration procedures for set valued operators in b-metric spaces. J. Natur. Phys. Sci. 15, 1-8 (2001)
18. Cosentino, M, Jleli, M, Samet, B, Vetro, C: Solvability of integrodifferential problems via fixed point theory in b-metric spaces. Fixed Point Theory Appl. 2015, 70 (2015). doi:10.1186/s13663-015-0317-2
19. Gupta, A, Gautam, P: Quasi-partial b-metric spaces and some related fixed point theorems. Fixed Point Theory Appl. 2015, 18 (2015). doi:10.1186/s13663-015-0260-2
20. Shi, L, Xu, S: Common fixed point theorems for two weakly compatible self-mappings in cone b-metric spaces. Fixed Point Theory Appl. 2013, 120 (2013). doi:10.1186/1687-1812-2013-120
21. Sintunavarat, W, Plubtieng, S, Katchang, P: Fixed point result and applications on a b-metric space endowed with an arbitrary binary relation. Fixed Point Theory Appl. 2013(1), 296 (2013)
22. Chang, SS, Cho, YJ, Lee, BS, Jung, JS, Kang, SM: Coincidence point theorems and minimization theorems in fuzzy metric spaces. Fuzzy Sets Syst. 88, 119-127 (1997)
23. Lee, GM, Lee, BS, Jung, JS, Chang, SS: Minimization theorems and fixed point theorems in generating spaces of quasi-metric family. Fuzzy Sets Syst. 101, 143-152 (1999)
24. Kirk, WA, Srinivasan, PS, Veeramani, P: Fixed points for mapping satisfying cyclic contractive conditions. Fixed Point Theory 4, 79-89 (2003)
25. Eldered, AA, Veeramani, P: Convergence and existence for best proximity points. J. Math. Anal. Appl. 323, 1001-1006 (2006)
26. Sankar Raj, V, Veeramani, P: Best proximity pair theorems for relatively non expansive mappings. Appl. Gen. Topol. 10(1), 21-28 (2009)
27. Karpagam, S, Agrawal, S: Best proximity points theorems for cyclic Meir Keeler contraction maps. Nonlinear Anal. (2010). doi:10.1016/j.na.2010.07.026 Google Scholar
28. Petrushel, G: Cyclic representations and periodic points. Studia Univ. Babes - Bloyai Math. 50, 107-112 (2005) Google Scholar
29. Pacurar, M, Rus, IA: Fixed point theory for φ-contractions. Nonlinear Anal. 72(3-4), 1181-1187 (2010)
30. Rezapour, S, Derafshpour, M, Shahzad, N: Best proximity point of cyclic ϕ-contractions in ordered metric spaces. Topol. Methods Nonlinear Anal. 20(3), 51-64 (2012) Google Scholar
31. Karapinar, E, Erhan, IM: Best proximity on different type contractions. Appl. Math. Inf. Sci. 5(3), 558-569 (2011)
32. Agarwal, RP, Alghamdi, MA, Shahzad, N: Fixed point theory for cyclic generalized contractions in partial metric spaces. Fixed Point Theory Appl. 2012(1), 40 (2012)
33. Aydi, H, et al.: Coincidence and fixed points for contractions and cyclical contractions in partial metric spaces. Fixed Point Theory Appl. 2012, 124 (2012)
34. Kutbi, MA, Arshad, M, Ahmad, J, Azam, A: Generalized common fixed point results with applications. Abstr. Appl. Anal. 2014, Article ID 363925 (2014)
35. Kumari, PS, Panthi, D: Fixed points of a new type of contractive mappings in b-dislocated quasi metric spaces. Fixed Point Theory Appl. (to appear) Google Scholar
36. Hussain, N, et al.: Common fixed point results for weak contractive mappings in ordered b-dislocated metric spaces with applications. J. Inequal. Appl. 2013, 486 (2013). doi:10.1186/1029-242X-2013-486
37. Fan, JX: On the generalizations of Ekeland’s variational principle and Caristi’s fixed point theorem. Paper presented at the 6th Natl. Conf. on the Fixed Point Theory, Variational Inequalities and Probabilistic Metric Spaces Theory Qingdao, China (1993) Google Scholar
38. Kumari, PS, Ramana, ChV, Zoto, K, Panthi, D: Fixed point theorems and generalizations of dislocated metric spaces. Indian J. Inf. Sci. Technol. 8(S3), 24-27 (2015)
39. Sarma, IR, Kumari, PS: On dislocated metric spaces. Int. J. Math. Achiev. 3(1), 7-27 (2012) Google Scholar
40. Kumari, PS, Kumar, VV, Sarma, IR: Common fixed point theorems on weakly compatible maps on dislocated metric spaces. Math. Sci. 6, Article ID 71 (2012). doi:10.1186/2251-7456-6-71
41. Kumari, PS, Zoto, K, Panthi, D: d-neighborhood system and generalized F-contraction in dislocated metric space. SpringerPlus 4(1), 1-10 (2015)
42. Kumari, PS: On dislocated quasi metrics. J. Adv. Stud. Topol. 3(2), 66-74 (2012)
43. Ciric, LB: Generalized contractions and fixed-point theorems. Publ. Inst. Math. 12(26), 19-26 (1971)
44. Ciric, LB: Fixed points for generalized multi-valued contractions. Mat. Vesn. 9(24), 265-272 (1972)
45. Kiany, F, Harandi, A: Fixed point theory for generalized Ciric quasi-contraction maps in metric spaces. Fixed Point Theory Appl. 2013, 26 (2013)
46. Arandjelovic, ID, Keckic, DJ: On nonlinear quasi-contractions on TVS-cone metric spaces. Appl. Math. Lett. 24, 1209-1213 (2011)
47. Li, Z, Jiang, S: Quasi-contractions restricted with linear bounded mappings in cone metric spaces. Fixed Point Theory Appl. 2014, Article ID 87 (2014)