Unique Common Fixed Points for Mappings Satisfying φ-Contractions on b2 Metric Spaces

In this paper, we construct the convergence sequences on b2 metric spaces and prove that mappings satisfying the φ contractions have the unique common fixed point, and the conclusion we obtained generalized many results on 2 metric spaces.

Share and Cite:

Sheng, Y. , Ren, J. and Zhong, L. (2018) Unique Common Fixed Points for Mappings Satisfying φ-Contractions on b2 Metric Spaces. Open Access Library Journal, 5, 1-9. doi: 10.4236/oalib.1104723. 1. Introduction

As is known to all, the notion of metric spaces has been generalized by many scholars, of which the most essential work is the 2-metric spaces. In 1963, the notion of 2-metric spaces was first introduced by Gähler in  , from then on, many scholars had proved the common fixed points theorems in this spaces    . In 1993, Czerwik introduced the notion of b-metric spaces  , and proved theorems of common fixed points in this space. The two metric spaces above have obviously generalized the traditional metric spaces. Therefore, the fixed point theory has been developed a lot.

On the other hand, many scholars generalized the fixed point theorems by improving the contraction or expansive conditions,such as the φ-contraction, quasi-contraction    . Recently, Zead Mustafa has introduced the notion of b2 metric spaces  which is a generalization of both 2 and b metric spaces. Some fixed point theorems were then obtained under various contractive conditions in this spaces   .

The purpose of this paper is to consider the common fixed points of a self-mappings family in the b2-metric spaces satisfying the φ contractions to generalize the fixed points theorems in 2-metric spaces and improve the theorems in b2 metric spaces.

2. Preliminary Notes

Before stating our main results, we introduce some necessary definitions as follows.

Definition 2.1  Let X be a non-empty set and let $d:X×X×X\to ℝ$ be a map satisfying the following conditions:

1) For every pair of distinct points $x,y\in X$ , there exists a point $z\in X$ such that $d\left(x,y,z\right)\ne 0$.

2) If at least two of three points $x,y,z$ are the same, then $d\left(x,y,z\right)=0$.

3) The symmetry: $d\left(x,y,z\right)=d\left(x,z,y\right)=d\left(y,x,z\right)=d\left(y,z,x\right)=d\left(z,x,y\right)=d\left(z,y,x\right)$ for all $x,y,z\in X$.

4) The rectangle inequality: $d\left(x,y,z\right)\le d\left(x,y,a\right)+d\left(y,z,a\right)+d\left(z,x,a\right)$ for all $x,y,z,a\in X$.

Then d is called a 2-metric on X and $\left(X,d\right)$ is called a 2-metric space.

Definition 2.2  Let X be a non-empty set and $s\ge 1$ be a given real number. A function $d:X×X\to {ℝ}^{+}$ is a b-metric on X if for all $x,y,z\in X$ , the following conditions hold:

1) $d\left(x,y\right)=0$ if and only if $x=y$.

2) $d\left(x,y\right)=d\left(y,x\right)$.

3) $d\left(x,z\right)\le s\left[d\left(x,y\right)+d\left(y,z\right)\right]$.

In this case, the pair $\left(X,d\right)$ is called a b-metric space.

Definition 2.3  we call the function as the comparison function if it satisfies the following conditions.

1) $\phi :\left[0,+\infty \right]\to \left[0,+\infty \right)$.

2) φ is nondecreasing, sequentially continuous from the right.

3) for each $t\in {R}^{+}$ , $\phi \left(t\right).

Without loss of generality, we mark $\phi \left(0\right)=0$.

Definition 2.4  Let X be a non-empty set, $s\ge 1$ be a real number and let d: $X×X×X\to ℝ$ be a map satisfying the following conditions:

1) For every pair of distinct points $x,y\in X$ , there exists a point $z\in X$ such that $d\left(x,y,z\right)\ne 0$.

2) If at least two of three points $x,y,z$ are the same, then $d\left(x,y,z\right)=0$.

3) The symmetry: $d\left(x,y,z\right)=d\left(x,z,y\right)=d\left(y,x,z\right)=d\left(y,z,x\right)=d\left(z,x,y\right)=d\left(z,y,x\right)$ for all $x,y,z\in X$.

4) The rectangle inequality: $d\left(x,y,z\right)\le s\left[d\left(x,y,a\right)+d\left(y,z,a\right)+d\left(z,x,a\right)\right]$ for all $x,y,z,a\in X$.

Then d is called a b2-metric on X and $\left(X,d\right)$ is called a b2-metric space with parameter s. Obviously, for s = 1, b2-metric reduces to 2-metric.

Definition 2.5  Let $\left\{{x}_{n}\right\}$ be a sequence in a b2-metric space $\left(X,d\right)$.

1) A sequence $\left\{{x}_{n}\right\}$ is said to be b2-convergent to $x\in X$ , written as ${\mathrm{lim}}_{n\to \infty }{x}_{n}=x$ , if for all $a\in X$ , ${\mathrm{lim}}_{n\to \infty }d\left({x}_{n},x,a\right)=0$.

2) $\left\{{x}_{n}\right\}$ is Cauchy sequence if and only if $d\left({x}_{n},{x}_{m},a\right)\to 0$ , when $n,m\to \infty$.

3) $\left(X,d\right)$ is said to be b2-complete if every b2-Cauchy sequence is a b2-convergent sequence.

3. Main Results

These are the main results of the paper.

Lemma 3.1  For each nonnegative sequence $\left\{{t}_{n}\right\}$ satisfying the condition: ${t}_{n+1}\le \phi \left({t}_{n}\right)$ , $n=1,2,\cdots$ , then ${\mathrm{lim}}_{n\to \infty }{\phi }^{n}\left(t\right)=0$

Proof. For each t > 0, ${\phi }^{n}\left(t\right)<{\phi }^{n-1}\left(t\right)<\cdots <\phi \left(t\right)

Since φ is sequentially continuous from the right, we can get

${\mathrm{lim}}_{n\to \infty }{\phi }^{n}\left(t\right)={\mathrm{lim}}_{n\to \infty }\phi \left({\phi }^{n-1}\left(t\right)\right)=\phi \left({\mathrm{lim}}_{n\to \infty }{\phi }^{n-1}\left(t\right)\right)$

$\text{let}\text{\hspace{0.17em}}\stackrel{˜}{t}={\mathrm{lim}}_{n\to \infty }{\phi }^{n}\left(t\right),\text{\hspace{0.17em}}\text{\hspace{0.17em}}\therefore \stackrel{˜}{t}=\phi \left(\stackrel{˜}{t}\right)\text{\hspace{0.17em}}\text{\hspace{0.17em}}\therefore {\mathrm{lim}}_{n\to \infty }{\phi }^{n}\left(t\right)=0.$

$\because {t}_{n+1}\le \phi \left({t}_{n}\right)\le {\phi }^{2}\left({t}_{n-1}\right)\le \cdots \le {\phi }^{n}\left({t}_{1}\right)\text{\hspace{0.17em}}\text{\hspace{0.17em}}\therefore {\mathrm{lim}}_{n\to \infty }{t}_{n+1}={\mathrm{lim}}_{n\to \infty }{\phi }^{n}\left({t}_{1}\right)=0.$

which shows that ${\mathrm{lim}}_{n\to \infty }{t}_{n}=0$.

Theorem 3.2 Let (X,d) be a b2 metric spaces, $f,g:X\to X$ are two self mappings on X, and satisfy the condition:

$\begin{array}{c}s\cdot d\left(fx,gy,a\right)\le \phi \left(\mathrm{max}\left\{s\cdot d\left(x,y,a\right),s\cdot d\left(x,fx,a\right),s\cdot d\left(y,gy,a\right),\begin{array}{c}\\ \end{array}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\frac{1}{2}d\left(x,gy,a\right)+\frac{1}{2}d\left(y,fx,a\right)\right\}\right),\end{array}$ (1)

with s > 1, if fX or gX is complete, then f and g have an unique common fixed point.

Proof. $\forall {x}_{0}\in X$ , from the condition (1), we can construct a sequence as follow:

${x}_{2n+1}=f\left({x}_{2n}\right),{x}_{2n+2}=g\left({x}_{2n+1}\right)$ (2)

we can easily get:

$d\left({x}_{2n},{x}_{2n+1},{x}_{2n+2}\right)=0$ (3)

In fact, from the condition (1,2), we know that:

$s\cdot d\left({x}_{2n},{x}_{2n+1},{x}_{2n+2}\right)=s\cdot d\left(f{x}_{2n},g{x}_{2n+1},{x}_{2n}\right)\le \phi \left(s\cdot d\left({x}_{2n},{x}_{2n+1},{x}_{2n+2}\right)\right)$

$\because \phi \left(t\right) holds for each $t>0$

Suppose that $s\cdot d\left({x}_{2n},{x}_{2n+1},{x}_{2n+2}\right)>0$

Then, we can get:

$s\cdot d\left({x}_{2n},{x}_{2n+1},{x}_{2n+2}\right)\le \phi \left(s\cdot d\left({x}_{2n},{x}_{2n+1},{x}_{2n+2}\right)\right)

Therefore,we can get $d\left({x}_{2n},{x}_{2n+1},{x}_{2n+2}\right)=0$

Hence, we can get:

$\begin{array}{l}s\cdot d\left({x}_{2n+1},{x}_{2n+2},a\right)=d\left(f{x}_{2n},g{x}_{2n+1},a\right)\\ \le \phi \left(\mathrm{max}\left(s\cdot d\left({x}_{2n},{x}_{2n+1},a\right),s\cdot d\left({x}_{2n+1},{x}_{2n+2},a\right),\frac{1}{2}d\left({x}_{2n},{x}_{2n+2},a\right)\right)\right)\end{array}$ (4)

From now on, we will proof the sequence we construct is a cauchy sequence through two cases as follows.

Case 1: if $d\left({x}_{2n+1},{x}_{2n+2},a\right)\ge d\left({x}_{2n},{x}_{2n+1},a\right)$

Meanwhile, we notice that:

$\frac{1}{2}d\left({x}_{2n},{x}_{2n+2},a\right)\le \frac{1}{2}s\cdot d\left({x}_{2n+1},{x}_{2n+2},a\right)+\frac{1}{2}s\cdot d\left({x}_{2n},{x}_{2n+1},a\right)$ (5)

In this case, with condition (5), we can get:

$\frac{1}{2}d\left({x}_{2n},{x}_{2n+2},a\right)\le s\cdot d\left({x}_{2n+1},{x}_{2n+2},a\right)$ (6)

with condition (4, 6), we can easily get the following holds:

$\begin{array}{l}\mathrm{max}\left\{s\cdot d\left({x}_{2n},{x}_{2n+1},a\right),s\cdot d\left({x}_{2n+1},{x}_{2n+2},a\right),\frac{1}{2}\cdot d\left({x}_{2n},{x}_{2n+2},a\right)\right\}\\ =s\cdot d\left({x}_{2n+1},{x}_{2n+2},a\right)\end{array}$ (7)

From condition (4, 7), suppose that $s\cdot d\left({x}_{2n+1},{x}_{2n+2},a\right)>0$ we can get:

$s\cdot d\left({x}_{2n+1},{x}_{2n+2},a\right)\le \phi \left(s\cdot d\left({x}_{2n+1},{x}_{2n+2},a\right)\right)

which shows $d\left({x}_{2n+1},{x}_{2n+2},a\right)=0$ ,

since $d\left({x}_{2n+1},{x}_{2n+2},a\right)\ge d\left({x}_{2n},{x}_{2n+1},a\right)$

we can get $d\left({x}_{2n},{x}_{2n+1},a\right)=0$

Hence, we can get $d\left({x}_{n},{x}_{n+1},a\right)=0$ holds for each $a\in X$ and $n=1,2,\cdots$

$\therefore \left\{{x}_{n}\right\}$ is a constant sequence, obviously, it is a cauchy sequence.

Case 2: if $d\left({x}_{2n+1},{x}_{2n+2},a\right)

Meanwhile, we noticed that:

$\frac{1}{2}d\left({x}_{2n},{x}_{2n+2},a\right)\le \frac{1}{2}s\cdot d\left({x}_{2n+1},{x}_{2n+2},a\right)+\frac{1}{2}s\cdot d\left({x}_{2n},{x}_{2n+1},a\right)$

In this case, we can get:

$\frac{1}{2}d\left({x}_{2n},{x}_{2n+2},a\right)\le s\cdot d\left({x}_{2n},{x}_{2n+1},a\right)$ (8)

From the condition (4) and (8), we can get:

$\begin{array}{l}\mathrm{max}\left\{s\cdot d\left({x}_{2n},{x}_{2n+1},a\right),s\cdot d\left({x}_{2n+1},{x}_{2n+2},a\right),\frac{1}{2}\cdot d\left({x}_{2n},{x}_{2n+2},a\right)\right\}\\ =s\cdot d\left({x}_{2n},{x}_{2n+1},a\right)\end{array}$ (9)

From condition (4, 9), we can get:

$s\cdot d\left({x}_{2n+1},{x}_{2n+2},a\right)\le \phi \left(s\cdot d\left({x}_{2n},{x}_{2n+1},a\right)\right)$ (10)

Let $s\cdot d\left({x}_{2n},{x}_{2n+1},a\right)={t}_{2n}$ , we can mark the condition (10) as:

${t}_{2n}\le \phi \left({t}_{2n+1}\right)$ , and from Lemma 3.1, we can get:

${\mathrm{lim}}_{n\to \infty }{t}_{2n}=0$ , which shows that ${\mathrm{lim}}_{n\to \infty }d\left({x}_{2n},{x}_{2n+1},a\right)=0$

In this case, as $d\left({x}_{2n},{x}_{2n+1},a\right)

We can also get: ${\mathrm{lim}}_{n\to \infty }d\left({x}_{2n+1},{x}_{2n+2},a\right)=0$

Therefore, for each $a\in X$ and $n=1,2,\cdots$ ,

${\mathrm{lim}}_{n\to \infty }d\left({x}_{n},{x}_{n+1},a\right)=0\text{\hspace{0.17em}}\text{holds}.$ (11)

From now on, we will prove the sequence in case 2 is a cauchy sequence through mathematical induction.

From the condition(11), we can get: For arbitrary $\epsilon >0,\exists {n}_{0}\in {N}_{+}$ , when $n\ge {n}_{0}$ , the following holds:

$d\left({x}_{n},{x}_{n+1},a\right)<\frac{1}{3s}\epsilon <\epsilon ,\text{\hspace{0.17em}}\forall a\in X$ (12)

Then, we use the mathematical induction for m to prove $d\left({x}_{m},{x}_{n},a\right)<\epsilon$ , $\left(\forall m>n>{n}_{0}\right)$ $\forall a\in X$ holds.

1) When $m=n+1$ , $d\left({x}_{n+1},{x}_{n},a\right)<\epsilon$ holds

2) Suppose that when $m=n+k\left(k\ge 1\right)$ , $d\left({x}_{m},{x}_{n},a\right)<\epsilon$ holds, from this, we will prove the condition holds for $m+1$.

From the condition (12) and the inductive hypothesis, we can easily get:

$d\left({x}_{m},{x}_{m+1},a\right)<\frac{1}{3s}\epsilon ,d\left({x}_{n},{x}_{m},a\right)<\frac{1}{3s}\epsilon$ holds for all $a\in X$

From the rectangle inequality, we can get:

$\begin{array}{c}d\left({x}_{n},{x}_{m+1},a\right)\le s\cdot \left[d\left({x}_{m},{x}_{m+1},a\right)+d\left({x}_{n},{x}_{m},a\right)+d\left({x}_{m},{x}_{m+1},{x}_{n}\right)\right]\\ (13)

From the condition (13) and inductive principle, we claim that:

$d\left({x}_{n},{x}_{m},a\right)<\epsilon$ holds for all $m>n>{n}_{0}$ and $a\in X$

Therefore, from the definition 2.5, we can get the conclusion that the sequence $\left\{{x}_{n}\right\}$ we construct in case 2 is a cauchy sequence.

Therefore, from the proof above, we can get the conclusion that the sequence we construct in condition (2) is a cauchy sequence.

If fX is complete, then from the condition (2), we can get:

${\mathrm{lim}}_{n\to \infty }{x}_{2n+1}=u=fz\in fX$

From the rectangle inequality, we can get:

$d\left({x}_{2n+2},u,a\right)\le s\cdot \left[d\left({x}_{2n+2},{x}_{2n+1},u\right)+d\left({x}_{2n+2},{x}_{2n+1},a\right)+d\left({x}_{2n+1},u,a\right)\right]$

Since the $\left\{{x}_{n}\right\}$ is a cauchy sequence, let $n\to \infty$ , we can get:

${\mathrm{lim}}_{n\to \infty }d\left({x}_{2n+2},u,a\right)\le {\mathrm{lim}}_{n\to \infty }s\cdot d\left({x}_{2n+1},{x}_{2n+2},a\right)

Therefore, we can get ${x}_{2n+2}\to u$

Then, we will prove the point u is the unique common fixed point for the mappings f and g.

$\begin{array}{l}\because s\cdot d\left(fu,{x}_{2n+2},a\right)\\ \le \phi \left(\mathrm{max}\left\{s\cdot d\left(u,{x}_{2n+2},a\right),s\cdot d\left(fu,u,a\right),s\cdot d\left({x}_{2n+1},{x}_{2n+2},a\right),\begin{array}{c}\\ \end{array}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\frac{1}{2}d\left(u,{x}_{2n+2},a\right)+\frac{1}{2}d\left({x}_{2n+1},fu,a\right)\right\}\right)\end{array}$

Let $n\to \infty$ , suppose that $s\cdot d\left(fu,u,a\right)>0$ , we can get:

$s\cdot d\left(fu,u,a\right)\le \phi \left(s\cdot d\left(fu,u,a\right)\right)

Therefore, we claim that $d\left(fu,u,a\right)=0$ holds for $\forall a\in X$ , which means $fu=u$.

$\because s\cdot d\left(u,gu,a\right)=s\cdot d\left(fu,gu,a\right)\le \phi \left(\mathrm{max}\left(s\cdot d\left(u,gu,a\right),\frac{1}{2}d\left(u,gu,a\right)\right)\right)$

Suppose that $s\cdot d\left(u,gu,a\right)>0$ , we can get:

$s\cdot d\left(gu,u,a\right)\le \phi \left(s\cdot d\left(gu,u,a\right)\right)

which is a contradiction. Therefore, we claim that $d\left(gu,u,a\right)=0$ holds for $\forall a\in X$ ,which means $gu=u$.

If there exist another $v\in X$ , $s.t.\text{\hspace{0.17em}}v=gv=fv$ , suppose that $d\left(u,v,a\right)>0$ we can get:

$s\cdot d\left(u,v,a\right)=s\cdot d\left(fu,gv,a\right)\le \phi \left(s\cdot d\left(u,v,a\right)\right)

which is a contradiction. Therefore, we can get: $d\left(u,v,a\right)=0$ holds for $\forall a\in X$ , which means $u=v$.

Therefore, we claim that u is the unique common fixed point for the mappings f and g.

The proof is in the similar way for the case if gX is complete.

Now, we will generalize the theorem 3.2 into family of mappings.

Let ${\left\{{f}_{i}\right\}}_{1}^{m},{\left\{{g}_{i}\right\}}_{1}^{n}:X\to X$ , $m,n\in {N}_{+}$ , Let $\delta =\left\{{\left\{{f}_{i}\right\}}_{1}^{m},{\left\{{g}_{i}\right\}}_{1}^{n}\right\}$. If for each $A,B\in \delta ,AB=BA$ , then we call $\delta$ is pairwise commuting.

Theorem 3.3 Let (X,d) be a b2 metric space, ${\left\{{f}_{i}\right\}}_{1}^{m},{\left\{{g}_{i}\right\}}_{1}^{n}:X\to X$ is the mapping family, let $f={\prod }_{i=1}^{m}\text{ }{f}_{i},g={\prod }_{i=1}^{n}\text{ }{g}_{i}$ , and satisfy the following condition:

$\begin{array}{c}s\cdot d\left(fx,gy,a\right)\le \phi \left(\mathrm{max}\left\{s\cdot d\left(x,y,a\right),s\cdot d\left(x,fx,a\right),s\cdot d\left(y,gy,a\right),\begin{array}{c}\\ \end{array}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\frac{1}{2}d\left(x,gy,a\right)+\frac{1}{2}d\left(y,fx,a\right)\right\}\right)\end{array}$

if fX or gX is complete, $\delta$ is pairwise commuting, then $\delta$ has an unique common fixed point.

Proof. From theorem 3.2, we know u is the unique common fixed point for $\left\{f,g\right\}$. Since $\delta$ is pairwise commuting, we can get: For each $1\le i\le m$

${f}_{i}u={f}_{i}fu=f{f}_{i}u,{f}_{i}u={f}_{i}gu=g{f}_{i}u,$

Therefore, ${f}_{i}u$ is the common fixed point for $\left\{f,g\right\}$ , since u is the unique common fixed point for $\left\{f,g\right\}$ , we can obtain ${f}_{i}u=u\left(1\le i\le m\right)$ , we can prove ${g}_{i}u=u\left(1\le i\le n\right)$ in the similar way. Therefore, u is the common fixed point for $\delta$ , if v is the common fixed point for $\delta$ , obviously, v is the common fixed point for $\left\{f,g\right\}$ , therefore, $u=v$ is the unique common fixed point for $\delta$.

Example 3.4  Let $X=\left\{\left(\alpha ,0\right):\alpha \in \left[0,1\right]\right\}\cup \left\{\left(0,2\right)\right\}\subset {R}^{2}$ , and let $d\left(x,y,z\right)$ denote the square of the area of triangle with vertices $x,y,z\in X$ , e.g.

$d\left(\left(\alpha ,0\right),\left(\beta ,0\right),\left(0,2\right)\right)={\left(\alpha -\beta \right)}^{2}$

It is easy to check that d is a b2-metric with parameter s = 2.

Consider the mappings $f,g:X\to X$ given by:

$\left\{\begin{array}{l}f\left(\alpha ,0\right)=\left(\frac{\alpha }{3},0\right),\alpha \in \left[0,1\right],f\left(0,2\right)=\left(0,2\right).\\ g\left(\beta ,0\right)=\left(\frac{\beta }{4},0\right),\beta \in \left[0,1\right],g\left(0,2\right)=\left(0,0\right).\end{array}$

and let the comparison function $\phi \left(t\right)=\frac{3}{4}t,t\in \left[0,+\infty \right)$ , in order to prove the mappings f and g satisfy the condition (1),we will divide it into 3 cases.

case 1 $x=\left(\alpha ,0\right),y=\left(\beta ,0\right),a=\left(0,2\right)$ , we can easily check

$\begin{array}{c}s\cdot d\left(fx,gy,a\right)=2\cdot {\left(\frac{\beta }{4}-\frac{\alpha }{3}\right)}^{2}<2\cdot \frac{3}{4}{\left(\alpha -\beta \right)}^{2}=\phi \left(s\cdot d\left(x,y,a\right)\right)\\ \le \phi \left(\mathrm{max}\left\{s\cdot d\left(x,y,a\right),s\cdot d\left(x,fx,a\right),s\cdot d\left(y,gy,a\right),\begin{array}{c}\text{ }\\ \text{ }\end{array}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\frac{1}{2}d\left(x,gy,a\right)+\frac{1}{2}d\left(y,fx,a\right)\right\}\right)\end{array}$

case 2 $x=\left(\alpha ,0\right),y=\left(0,2\right),a=\left(0,2\right)$ , we can easily check

$\begin{array}{c}s\cdot d\left(fx,gy,a\right)=2\cdot {\left(\frac{\alpha }{3}\right)}^{2}=2\cdot \frac{3}{4}{\left(\frac{2}{3}\alpha \right)}^{2}=\phi \left(s\cdot d\left(x,fx,a\right)\right)\\ \le \phi \left(\mathrm{max}\left\{s\cdot d\left(x,y,a\right),s\cdot d\left(x,fx,a\right),s\cdot d\left(y,gy,a\right),\begin{array}{c}\text{ }\\ \text{ }\end{array}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\frac{1}{2}d\left(x,gy,a\right)+\frac{1}{2}d\left(y,fx,a\right)\right\}\right)\end{array}$

case 3 $x=\left(0,2\right),y=\left(\beta ,0\right),a=\left(\alpha ,0\right)$ , we can easily check

$\begin{array}{c}s\cdot d\left(fx,gy,a\right)=2\cdot {\left(\frac{\beta }{4}-\alpha \right)}^{2}\le 2\cdot {\left(\frac{\beta }{4}-\frac{\alpha }{4}\right)}^{2}\le 2\cdot \frac{3}{4}{\left(\beta -\alpha \right)}^{2}=\phi \left(s\cdot d\left(x,y,a\right)\right)\\ \le \phi \left(\mathrm{max}\left\{s\cdot d\left(x,y,a\right),s\cdot d\left(x,fx,a\right),s\cdot d\left(y,gy,a\right),\begin{array}{c}\text{ }\\ \text{ }\end{array}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\frac{1}{2}d\left(x,gy,a\right)+\frac{1}{2}d\left(y,fx,a\right)\right\}\right)\end{array}$

Now, we have proved the mappings f and g satisfy condition (1) and we can obtain the point $\left(0,0\right)$ is the unique common fixed point for f and g by using theorem 3.2.

Since b2-metric space is a generalization of 2-metric space, we can obtain the following theorem.

Theorem 3.5 Let (X,d) be a 2 metric spaces, $f,g:X\to X$ are two self mappings on X, and satisfy the condition:

$\begin{array}{l}d\left(fx,gy,a\right)\\ \le \phi \left(\mathrm{max}\left\{d\left(x,y,a\right),d\left(x,fx,a\right),d\left(y,gy,a\right),\frac{1}{2}d\left(x,gy,a\right)+\frac{1}{2}d\left(y,fx,a\right)\right\}\right)\end{array}$

if fX or gX is complete, then f and g have an unique common fixed point.

Proof. In the proof of theorem 3.2, let s = 1, then the b2 metric space turn to 2 metric space. Meanwhile, we can easily check the proof for theorem 3.2 holds for 2-metric space, therefore, we get the conclusion.

Theorem 3.6 Let (X,d) be a 2 metric spaces, $f,g:X\to X$ are two self mappings on X, and satisfy the condition:

$\begin{array}{l}d\left(fx,gy,a\right)\\ \le h\left(\mathrm{max}\left\{d\left(x,y,a\right),d\left(x,fx,a\right),d\left(y,gy,a\right),\frac{1}{2}d\left(x,gy,a\right)+\frac{1}{2}d\left(y,fx,a\right)\right\}\right)\end{array}$

$h\in \left[0,1\right)$ , if fX or gX is complete, then f and g have an unique common fixed point.

Proof. Let $\phi \left(t\right)=ht,h\in \left[0,1\right)$ , we can easily check $\phi \left(t\right)=ht$ satisfy the comparison function’s condition, from the theorem 3.5, we can get the conclusion.

4. Conclusion

In this paper, we introduce the concept of φ-contraction, and proved that mappings or family of mappings satisfying the contraction have the unique common fixed point. Meanwhile, we give an example for the theorem we proved. The results we obtained generalized many results in the b2 metric spaces.

Conflicts of Interest

The authors declare no conflicts of interest.

  Gahler, V.S. (1963) 2-metrische Raume und ihre topologische Struktur. Mathe-matische Nachrichten, 26, 115-118. https://doi.org/10.1002/mana.19630260109  Dung, N.V. and Le Hang, V.T. (2013) Fixed Point Theorems for Weak C-Contractions in Partiallyor-dered 2-Metric Spaces. Fixed Point Theory and Applications, 161.  Aliouche, A. and Simpson, C. (2012) Fixed Points and Lines in 2-Metric Spaces. Advances in Mathematics, 229, 668-690. https://doi.org/10.1016/j.aim.2011.10.002  Czerwik, S. (1993) Contraction Mappings in b-Metric Spaces. Acta Mathematica et Informatica Universitatis Ostraviensis, 1, 5-11.  Piao, Y.J. (2013) Common Fixed Points for Two Mappings Satisfying Some Expansive Conditions on 2-Metric Spaces. Journal of Systems Science and Mathematical Sciences, 33, 1370-1379.  Suzuki (2018) A Generalization of Hegedüs-Szilágyi’s Fixed Point Theorem in Complete Metric Spaces. Fixed Point Theorem and Applications, 1, 1-10.  Piao, Y.J. (2016) Common Fixed Points for a Pair of Maulti-Valued Mappings Satisfying Quasi-Contractive Conditions on Metric Spaces. Acta Mathematicae Applicataes Sinica, 39.  Mustafa, Z., Parvaneh, V., Roshan, J.R. and Kadelburg, Z. (2014) b2-Metric Spaces and Some Fixed Point Theorems. Fixed Point Theory and Applications, 144.  Fadail, Z.M., Ahmad, A.G.B., Ozturk, V., et al. (2015) Some Remarks on Fixed Point Results of b2-Metric Spaces. Far East Journal of Mathematical Sciences, 97, 533-548. https://doi.org/10.17654/FJMSJul2015_533_548  Cui, J., Zhao, J. and Zhong, L. (2017) Unique Common Fixed Point in b2 Metric Spaces. Open Access Library Journal, 4, 1-8. https://doi.org/10.4236/oalib.1103896 