Scientific Research

An Academic Publisher

Fixed Point Theorem for Meir-Keeler Type Function in b_{2}-Metric Spaces ()

_{2}-metric space. And we know it extends and generalizes some known results in metric space to b

_{2}-metric space.

Keywords

Share and Cite:

_{2}-Metric Spaces.

*Open Access Library Journal*,

**6**, 1-8. doi: 10.4236/oalib.1105973.

1. Introduction

Many mathematicians have studied fixed point theory over the last several decades since Banach contraction principle [1] was introduced in 1992. The notion of Meir-Keeler function [2] was introduced in 1969. Then the concept of weaker Meir-Keeler function [3] was introduced by Chi-Ming Chen in 2012. And in this paper, we establish fixed point for Meir-Keeler function and weaker Meir-Keeler function in a complete new type of generalized matric space, which is called by b_{2}-metric space, and this space was generalized from both 2-metric space [4] [5] [6] and b-metric space [7] [8].

2. Preliminaries

Throughout this paper N will denote the set of all positive integers and R will denote the set of all real numbers.

Before stating our main results, some necessary definitions might be introduced as follows.

Definition 2.1 [2] Let X be a nonempty subsets, $m\in N$ and $f:X\to X$ an operator. Then $X={\displaystyle {\cap}_{i=1}^{m}{A}_{i}}$ is called a cyclic representation of X with respect to f if

1) ${A}_{i},i=1,2,\cdots ,m$ are empty subsets of X,

2) $f\left({A}_{i}\right)\subset {A}_{2},f\left({A}_{2}\right)\subset {A}_{3},\cdots ,f\left({A}_{m-1}\right)\subset {A}_{m},f\left({A}_{m}\right)\subset {A}_{1}$.

Definition 2.2 [2] A function $\varphi :\left(0\to \infty \right]\to \left(0\to \infty \right]$ is said to be a Meir-Keeler function if for each $\eta >0$, there exists $\delta >0$ such that for each $t\in \left(0\to \infty \right]$ with $\eta \le t\le \eta +\delta $, we have $\varphi \left(t\right)<\eta $.

Definition 2.3 [3] We call $\varphi :\left(0\to \infty \right]\to \left(0\to \infty \right]$ a weak Meir-Keeler function if for each $\eta >0$ such that for each $t\in \left(0\to \infty \right]$ with $\eta \le t\le \eta +\delta $, there exists ${n}_{0}\in N$ such that ${\varphi}^{{n}_{0}}\left(t\right)<\eta $.

Definition 2.4 [4] [5] [6] Let X be an nonempty set and let $d:X\times X\times X\to R$ 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,x,y\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.5 [7] [8] Let X be a nonempty set and $s\ge 1$ be a given real number. A

function $d:X\times X\to {R}^{+}$ 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,y\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.6 [9] Let X be a nonempty set, $s\ge 1$ be a real number and let $d:X\times X\times X\to R$ 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,x,y\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 b_{2} metric on X and
$\left(X,d\right)$ is called a b_{2} metric space with parameter s. Obviously, for
$s=1$, b_{2} metric reduces to 2-metric.

Definition 2.7 [9] Let
$\left\{{x}_{n}\right\}$ be a sequence in a b_{2} metric space
$\left(X,d\right)$.

1) A sequence
$\left\{{x}_{n}\right\}$ is said to be b_{2}-convergent to
$x\in X$, written as
${\mathrm{lim}}_{n\to \infty}{x}_{n}=x$, if 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 $. for all $a\in X$.

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

Definition 2.8 [9] Let
$\left(X,d\right)$ and
$\left({X}^{\prime},{d}^{\prime}\right)$ be two b_{2}-metric spaces and let
$f:X\to {X}^{\prime}$ be a mapping. Then f is said to be b_{2}-continuous,at a point
$z\in X$ if for a given
$\epsilon >0$, there exists
$\delta >0$ such that
$x\in X$ and
$d\left(z,x,a\right)<\delta $ for all
$a\in X$ imply that
${d}^{\prime}\left(fz,fx,a\right)<\epsilon $. The mapping f is b_{2}-continuous on X if it is b_{2}-continuous at all
$z\in X$.

Definition 2.9 [9] Let
$\left(X,d\right)$ and
$\left({X}^{\prime},{d}^{\prime}\right)$ be two b_{2}-metric spaces. Then a mapping
$f:X\to {X}^{\prime}$ is b_{2}-continuous at a point
$x\in {X}^{\prime}$ if and only if it is b_{2}-sequentially continuous at x; that is, whenever
$\left\{{x}_{n}\right\}$ is b_{2}-convergent to x,
$\left\{f{x}_{n}\right\}$ is b_{2}-convergent to
$f\left(x\right)$.

3. Main Results

In this section, we give and prove a generalization of the Meir-Keeler fixed point theorem [2].

Theorem 3.1. Let
$\left(X,d\right)$ be a complete b_{2}-metric space and let f be a mapping on X, for each
$\epsilon >0$, there exists
$\delta \in \left(s\epsilon ,\left(2s-1\right)\epsilon \right)$ such that

(a) $\frac{1}{2s}d\left(x,fx,a\right)<d\left(x,y,a\right)$ and $d\left(x,y,a\right)<\epsilon +\delta $ imply $d\left(fx,fy,a\right)\le \epsilon $

(b) $\frac{1}{2s}d\left(x,fx,a\right)<d\left(x,y,a\right)$ implies $d\left(fx,fy,a\right)<d\left(x,y,a\right)$ for all $x,y\in X$. Then there exists a unique fixed point z of f. Moreover $\underset{n\to \infty}{\mathrm{lim}}{f}^{n}x=z$ for all $x\in X$.

Proof If $fx\ne x$, then we can easily get that $d\left(x,fx,a\right)<2sd\left(x,fx,a\right)$. So, by hypothesis, $d\left(fx,{f}^{2}x,a\right)<d\left(x,fx,a\right)$ holds for all $x\in X$ with $fx\ne x$. We also get

$d\left(fx,{f}^{2}x,a\right)\le d\left(x,fx,a\right)$ for all $x\in X$ (3.1)

Fix point ${x}_{0}$ in X and define a sequence $\left\{{x}_{n}\right\}$ in X by ${x}_{n+1}=f{x}_{n}={f}^{n}{x}_{0}$ for $n\in N$. From the above (3.1) we get $d\left({x}_{n},{x}_{n+1},a\right)\le d\left({x}_{n-1},{x}_{n},a\right)$, so we know that $\left\{d\left({x}_{n},{x}_{n+1},a\right)\right\}$ is a decreasing sequence, and the sequence $\left\{d\left({x}_{n},{x}_{n+1},a\right)\right\}$ converges to some $\beta \ge 0$. We assume that $\beta >0$, then we know that $d\left({x}_{n},{x}_{n+1},a\right)>\beta $ for every $n\in N$, then there exists $\delta $ such that (a) is true with $\epsilon =\beta $, for the definition of $\beta $, there exists $i\in N$ such that $d\left({x}_{i},{x}_{i+1},a\right)<\beta +\delta $, so we have $d\left({x}_{i+1},{x}_{i+2},a\right)\le \beta $, which is a contraction. Therefore $\beta =0$, and that is:

$\underset{n\to \infty}{\mathrm{lim}}d\left({x}_{n},{x}_{n+1},a\right)=0$.

Now we show that $d\left({x}_{i},{x}_{j},{x}_{k}\right)=0$.

From part 2 of Definition 2.6, the equation $d\left({x}_{m},{x}_{m},{x}_{m-1}\right)=0$ is obtained. Since $\left\{d\left({x}_{n},{x}_{n+1},a\right)\right\}$ is decreasing, if $d\left({x}_{n-1},{x}_{n},a\right)=0$, then $d\left({x}_{n},{x}_{n+1},a\right)=0$, then it is easy to get

$d\left({x}_{n},{x}_{n+1},{x}_{m}\right)=0$, for all $n+1\ge m$. (3.2)

For $0\le n+1<m$, we get $m-1\ge n+1$ and that is $m-2\ge n$, from (3.2)

$d\left({x}_{m-1},{x}_{m},{x}_{n+1}\right)=d\left({x}_{m-1},{x}_{m},{x}_{n}\right)=0$, (3.3)

From (3.2) and triangular inequality,

And since, and from the inequality above,

, for all. (3.4)

Now for all, the condition of is considered here, from the above equation

(3.5)

From (3.5) and triangular inequality, therefore

In conclusion, the result below is true

, for all. (3.6)

Now we fix, then there exists such that (a) is true. Let such that

, for all with.(3.7)

Now we will show that

for (3.8)

By induction, when, it is true for (3.8). We assume that (3.8) holds for some.

In one case, we have

From (3.6) and (3.7) we have

(3.9)

In other case, where, since

We get and then we have

(3.10)

So for (3.9) and (3.10), (3.8) is true for every. Therefore we have

, for all. This shows that is a Cauchy sequence.

Since X is complete, there exists a point such that sequence converges to it. From the following two respectively cases, we will show that this point is a fixed point for f.

Case one: There exists such that.

Case two:, for all.

In the first case, we know that for. Since as, then we get for. This prove that.

In the second case, we know that, for all, so we get sequence is strictly decreasing. If we assume that

and

for some. For the first inequality of the above assumption, we choose, then we have

(3.11)

Then we have

This is a contraction. So we get either

or for all. Since as, the above inequality prove that there exists a sub sequence of sequence, which converges to fz. This shows that z is a fixed point of f. Next we prove that z is the unique fixed point of f. Suppose that z and y are two different fixed point of f, from the assumption of this theorem, we get

from the above inequality we have

This is a contraction. Hence z is a unique fixed point of f. £

In this section, we prove a fixed point theory for the cyclic weaker Meir-Keeler function in b_{2}-metric space. Now we give some comments as follows:

is a set, where is a weaker Meir-Keeler function and satisfying the following conditions:

()for, and;

() For all, is decreasing;

() For, if, then.

, where is a non-increasing and continuous function with for all and.

We now introduce the following definition of cyclic weaker -contraction mapping in b_{2}-metric space:

Definition 3.2 Let be a b_{2}-metric space, are all nonempty subsets of. A mapping is said to be cyclic weaker -contraction in b_{2}-metric space if satisfying the following condition:

1) with respect of f, it is a cyclic representation of X.

2), for any, such that

, where, and.

Theorem 3.3 Let be a b_{2}-metric space, are all nonempty subsets of. Let be cyclic weaker -contraction in b_{2}-metric space, then f has a unique fixed point in.

Proof Let be an arbitrary point in X and we define a sequence by, for all, if there exists some such that then. Thus is a fixed point of f. Suppose that for all, we know that there exists such that and for any. Since be cyclic weaker -contraction, we get

Since sequence is decreasing for all, and this sequence must converge to some. We get by the following assumption.

First we assume that, since is defined as a weaker Meir-Keeler function, there exists such that for, there exists such that, from , we know that there exists such that, for all. Thus we get a conclusion, which is a contraction. Thus, and that is,.

Now we prove that is a Cauchy sequence.

Suppose to the contrary, that is, is not a Cauchy sequence. Then there exists for which we can find two sub sequences and such that and

and (3.12)

From the part 4 of Definition 3.6 and (3.6), we get

Taking, from (3.6) and (3.12) we have

(3.13)

Now by using the condition that f is a cyclic weaker -contraction, we get

Letting and using the condition of, we get

(3.14)

From (3.13) and (3.14), which is a contraction. Therefore is a Cauchy sequence in X.

Since X is a complete set, there exists a point such that,. For is a cyclic representation of X respect to f, thus in each for, the sequence has infinite term. A sub sequence of, we take this sub sequence and it also all converge to z, for all. Since

From the above inequality, letting, we get, so.

Now we prove the fixed point is unique for f. Suppose there exists another fixed point y, since f gets the cyclic character, we have. Since f is a cyclic weaker -contraction, we get

then we get

, that is, we get the result of the uniqueness of point z. £

NOTES

*Corresponding author.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

[1] |
Banach, S. (1992) Sur les opérations dans les ensembles abtraits et leur applications aux équations intégrales. Fundamenta Mathematicae, 3, 133-181. https://doi.org/10.4064/fm-3-1-133-181 |

[2] |
Meri, A. and Keeler, E. (1969) A The-orem on Contraction Mappings. Journal of Mathematical Analysis and Applications, 28, 326-329. https://doi.org/10.1016/0022-247X(69)90031-6 |

[3] | Chistyakov, W. (2010) Modular Metric Space, I: Basic Concepts. Nonlinear Analysis, 72, 1-14. https://doi.org/10.1016/j.na.2009.04.057 |

[4] | Piao, Y.J. (2008) Unique Common Fixed Point for a Family of Self-Maps with Same Type Contractive Condition in 2-Metric Spaces. Analysis in Theory and Applications, 24, 316-320. https://doi.org/10.1007/s10496-008-0316-9 |

[5] |
Piao, Y.J. (2012) Unique Common Fixed Point Fir a Family of Mappings with -Contractive Type in 2-Metric Spaces. Applied Mathematics, 3, 73-77. https://doi.org/10.4236/am.2012.31012 |

[6] | Piao, Y.J. and Jin, Y.F. (2012) New Unique Common Fixed Results for Four Mappings with -Contractive Type in 2-Metric Spaces. Applied Mathematics, 3, 734-737. https://doi.org/10.4236/am.2012.37108 |

[7] | Czerwik, S. (1993) Contraction Mappings in b-Metric Spaces. Acta Mathematica et Informatica Universitatis Ostraviensis, 1, 5-11. |

[8] | Czerwik, S. (1998) Nonlinear Set-Valued Contraction Mappings in b-Metric Spaces. Atti del Seminario Matematico e Fisico dell'’ Universita di Modena, 46, 263-276. |

[9] |
Mustafa, Z., Parvaech, V., Roshan, J.R. and Kadelburg, A. (2014) b2-Metric Spaces and Some Fixed Point Theorems. Fixed Point Theory and Applications, 144. https://doi.org/10.1186/1687-1812-2014-144 |

Copyright © 2020 by authors and Scientific Research Publishing Inc.

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.