Rectangular B Metric Space
Rectangular B Metric Space
Abstract
The concept of rectangular b-metric space is introduced as a generalization of
metric space and rectangular metric space. An analogue of Banach contraction
principle and Kannan’s fixed point theorem is proved in this space. Our result
generalises many known results in fixed point theory.
1 Introduction
Since the introduction of Banach contraction principle in 1922, because of its wide ap-
plications, the study of existence and uniqueness of fixed points and common fixed
points has become a subject of great interest. Many authors proved the Banach con-
traction Principle in various generalised metric spaces. In the sequel Branciari [5] intro-
duced the concept of rectangular metric space (RMS) by replacing the sum of the right
hand side of the triangular inequality in metric space by a three-term expression and
2
proved an analog of the Banach Contraction Principle in such spaces. Since then many
fixed point theorems for various contractions on rectangular metric spaces appeared (see
[2, 3, 9, 14, 15, 16, 17, 18, 20]).
In this paper we have introduced the concept of rectangular b-metric space, which
is not necessarily Hausdorff and which generalizes the concepts of metric space, rectan-
gular metric space and b-metric space. Note that spaces with non Hausdorff topology
plays an importnat role in Tarskian approach to programming language semantics used
in computer science (For some details see [21]). An analog of the Banach contraction
principle as well as the Kannan type fixed point theorem in rectangular b-metric spaces
are also proved. Some examples are included which show that our generalizations are
genuine.
2 Preliminaries
Definition 2.1 [4] Let X be a nonempty set and the mapping d : X × X → [0, ∞)
satisfies:
(bM1) d(x, y) = 0 if and only if x = y for all x, y ∈ X;
(bM2) d(x, y) = d(y, x) for all x, y ∈ X;
(bM3) there exist a real number s ≥ 1 such that d(x, y) ≤ s[d(x, z) + d(z, y) for all
x, y, z ∈ X.
Then d is called a b-metric on X and (X, d) is called a b-metric space (in short bMS)
with coefficient s.
Definition 2.2 [5] Let X be a nonempty set and the mapping d : X × X → [0, ∞)
satisfies:
(RM1) d(x, y) = 0 if and only if x = y for all x, y ∈ X;
(RM2) d(x, y) = d(y, x) for all x, y ∈ X;
3
(RM3) d(x, y) ≤ d(x, u) + d(u, v) + d(v, y) for all x, y ∈ X and all distinct points
u, v ∈ X \ {x, y}.
Then d is called a rectangular metric on X and (X, d) is called a rectangular metric
space (in short RMS).
where α > 0 is a constant. Then (X, d) is a rectangular b-metric space with coefficient
s = 43 > 1, but (X, d) is not a rectangular metric space, as d(1, 2) = 4α > 3α =
d(1, 3) + d(3, 4) + d(4, 2).
Example 2.5 Let X = N, define d : X × X → X such that d(x, y) = d(y, x) for all
x, y ∈ X and
0, if x = y;
10α, if x = 1, y = 2;
d(x, y) = α, if x ∈ {1, 2} and y ∈ {3};
2α, if x ∈ {1, 2, 3} and y ∈ {4};
3α, if x or y 6∈ {1, 2, 3, 4} and x 6= y,
where α > 0 is a constant. Then (X, d) is a rectangular b-metric space with coefficient
s = 2 > 1, but (X, d) is not a rectangular metric space, as d(1, 2) = 10α > 5α =
d(1, 3) + d(3, 4) + d(4, 2).
4
Note that every b-metric space with coefficient s is a RbM S with coefficient s2 but
the converse is not necessarily true. (See Example 2.7 below).
For any x ∈ X we define the open ball with centre x and radius r > 0 by
The open balls in RbM S are not necessarily open(See Example 2.7 below). Let U be the
collection of all subsets A of X satisfying the condition that for each x ∈ A there exist
r > 0 such that Br (x) ⊆ A. Then U defines a topology for the RbM S (X, d), which is
not necessarily Hausdorff(See Example 2.7 below).
Now we define convergence and Cauchy sequence in rectangular b-metric space and
completeness of rectangular b-metric space.
Definition 2.6 Let (X, d) be a rectangular b-metric space, {xn } be a sequence in X and
x ∈ X. Then
(a) The sequence {xn } is said to be convergent in (X, d) and converges to x, if for every
ε > 0 there exists n0 ∈ N such that d(xn , x) < ε for all n > n0 and this fact is
represented by lim xn = x or xn → x as n → ∞.
n→∞
(b) The sequence {xn } is said to be Cauchy sequence in (X, d) if for every ε > 0 there
exists n0 ∈ N such that d(xn , xn+p ) < ε for all n > n0 , p > 0 or equivalently, if
lim d(xn , xn+p ) = 0 for all p > 0.
n→∞
(c) (X, d) is said to be a complete rectangular b-metric space if every Cauchy sequence
in X converges to some x ∈ X.
Note that, limit of a sequence in a RbM S is not necessarily unique and also every
RbM S-convergent sequence in a RbM S is not necessarily RbM S-Cauchy. The following
example illustrates this fact.
Example 2.7 Let X = A ∪ B, where A = { n1 : n ∈ N} and B is the set of all positive
integers. Define d : X × X → [0, ∞) such that d(x, y) = d(y, x) for all x, y ∈ X and
0, if x = y;
2α, if x, y ∈ A;
d(x, y) = α
2n
, if x ∈ A and y ∈ {2, 3};
α, otherwise,
where α > 0 is a constant. Then (X, d) is a rectangular b-metric space with coefficient
s = 2 > 1. However we have the following :
5
3 Main Results
Following theorem is the analog to Banach contraction principle in rectangular b-metric
space.
Theorem 3.1 Let (X, d) be a complete rectangular b-metric space with coefficient s > 1
and T : X → X be a mapping satisfying:
d(x0 , T x0 ) = d(xn , T xn )
d(x0 , x1 ) = d(xn , xn+1 )
d0 = dn
d0 ≤ λn d0 ,
6
i.e.
1+λ
d(xn , xn+2m ) ≤ sλn d0 + sm−1 λn+2m−2 d∗0
1 − sλ2
1+λ
< sλn d0 + (sλ)2m λn−2 d∗0 (as 1 < s)
1 − sλ2
1+λ
≤ 2
sλn d0 + λn−2 d∗0 (as λ ≤ 1s ).
1 − sλ
Therefore
1+λ
d(xn , xn+2m ) ≤ sλn d0 + βλn−2 d0 . (3.5)
1 − sλ2
It follows from (3.4) and (3.5) that
lim d(xn , xn+p ) = 0 for all p > 0. (3.6)
n→∞
Following theorem is the fixed point result for Kannan type contraction in rectangular
b-metric space.
Theorem 3.4 Let (X, d) be a complete rectangular b-metric space with coefficient s > 1
and T : X → X be a mapping satisfying:
dn ≤ β n d0 . (3.9)
Also, we can assume that x0 is not a periodic point of T. Indeed, if x0 = xn then using
(3.9), for any n ≥ 2, we have
d(x0 , T x0 ) = d(xn , T xn )
d(x0 , x1 ) = d(xn , xn+1 )
d0 = dn
d0 ≤ β n d0 ,
Therefore,
d(xn , xn+2 ) ≤ γβ n−1 d0 , (3.10)
where γ = λ[1 + β 2 ] > 0.
For the sequence {xn } we consider d(xn , xn+p ) in two cases.
If p is odd say 2m + 1 then using (3.9) we obtain
i.e.
1+β
d(xn , xn+2m ) ≤ 2
sβ n d0 + sm−1 γβ n+2m−3 d0
1 − sβ
1+β
< 2
sβ n d0 + γ(sβ)2m β n−3 d0 (as 1 < s)
1 − sβ
1+β
≤ sβ n d0 + γβ n−3 d0 (as β ≤ 1s ).
1 − sβ 2
Therefore
1+β
d(xn , xn+2m ) ≤ sβ n d0 + γβ n−3 d0 . (3.12)
1 − sβ 2
It follows from (3.11) and (3.12) that
lim d(xn , xn+p ) = 0 for all p > 0. (3.13)
n→∞
1
Using (3.13) and (3.14) and the fact that λ < s+1 , it follows from above inequality that
d(u, T u) = 0, i.e., T u = u. Thus u is a fixed point of T.
For uniqueness, let v be another fixed point of T. Then it follows from (3.8) that d(u, v) =
d(T u, T v) ≤ λ[d(u, T u) + d(v, T v)] = λ[d(u, u) + d(v, v)] = 0. Therefore, we have
d(u, v) = 0, i.e., u = v. Thus fixed point is unique
Remark 3.5 On the basis of discussion contained in this paper, we have the following:
1) The open ball defined in b-metric space, RMS and RbMS are not necessarily open set.
2) The collection of open balls in RbMS, RMS and b-metric space do not necessarily
form a basis for a topology.
3) RbMS, RMS and b-metric space are not necessarily Hausdorff.
OpenProblems :
1
1) In Theorem 3.1 can we extent the range of λ to the case s
< λ < 1.
References
[1] Aydi H, Bota M.F, Karapinar E, Moradi S, A common fixed pointfor weak φ-
contractions on b-metric spaces, Fixed Point Theory, 13(2), 337-346,2012.
[2] Azam A, Arshad M: Kannan Fixed Point Theorems on generalised metric spaces,
J. Nonlinear Sci. Appl. 1, 45-48, 2008.
[3] Azam A, Arshad M, Beg I: Banach contraction principle on cone rectangular metric
spaces, Applicable Analysis and Discrete Math, 3, 236-241, 2009.
[4] Bakhtin I.A., The contraction mapping principle in quasimetric spaces, Funct.
Anal., Unianowsk Gos. Ped. Inst. 30 (1989), 2637.
[6] Boriceanu M, Strict fixed point theorems for multivalued operators in b-metric
spaces, International J. Modern Math., 4(3), 285-301, 2009.
[7] Boriceanu M., Bota M., Petrusel A., Mutivalued fractals in b-metric spaces, Cen.
Eur. J. Math. 8(2)(2010), 367-377.
12
[8] Bota M., Molnar A., Csaba V., On Ekeland’s variational principle in b-metric
spaces, Fixed Point Theory, 12(2011), 21-28.
[9] Chen C.M, Common fixed point theorem in complete generalised metric spaces, J.
Appl. Math., Article ID 945915, 2012.
[10] Czerwik S, Contraction mappings in b-metric spaces, Acta. Math. Inform. Univ.
Ostraviensis, 1, 5-11, 1993.
[11] Czerwik S., Nonlinear set-valued contraction mappings in b-metric spaces, Atti Sem.
Mat. Univ. Modena, 1998, 46, 263-276.
[12] Czerwik S, Dlutek K, Singh S.L, Round-off stability of iteration procedures for op-
erators in b-metric spaces, J. Natur. Phys. Sci. , 11, 87-94, 1997.
[13] Czerwik S, Dlutek K, Singh S.L, Round-off stability of iteration procedures for set
valued operators in b-metric spaces, J. Natur. Phys. Sci. , 15, 1-8, 2001.
[14] Das P : A fixed point theorem on a class of generalised metric spaces, Korean j.
Math. Sci. 9, 29-33, 2002.
[15] Das P : A fixed point theorem in generalised metric spaces, Soochow J. Math, 33,
33-39, 2007.
[16] Das P, Lahri BK: Fixed point of a Ljubomir Ciric’s quasi-contraction mapping in a
generalised metric space, Publ. Math. Debrecen, 61, 589-594, 2002.
[17] Das P, Lahri BK: Fixed Point of contractive mappings in generalised metric space,
Math. Slovaca, 59, 499-504, 2009.
[18] Inci M Erhan, E Karapinar, Tanja Sekulic Fixed Points of (psi, phi) contrac-
tions on generalised metric spaces, Fixed Point Theory and Appl 2012, 2012:138,
doi:10.1186/1687-1812-2012-138.
[19] Jeong G.S, Rhoades B.E, Maps for which F (T ) = F (T n ), Fixed Point Theory Appl.,
6, 2005.
[20] Lakzian H, Samet B: Fixed Points for (ψ, φ)-weakly contractive mapping in gener-
alised metric spaces, Appl Math Lett, 25, 902-906, 2112.
[21] Mathews S.G, Partial Metric Topology, Papers on general topology and applica-
tions, Eighth summer conference at Queens college, Annals of New York Academy
of Sciences, Vol 728, 183-197.