common fixed point theorems in digital metric spaces - ijsercommon fixed point theorems in digital...
TRANSCRIPT
Common fixed point theorems in digital metric spaces
Asha Rani, Kumari Jyoti, Asha Rani
Department of Mathematics, SRM University, Haryana, Sonepat- 131001, India
Email id: [email protected], [email protected], [email protected]
Abstract
In this paper, we introduce commutative, weakly commutative, compatible, weakly
compatible maps in the setting of digital metric space and prove some common fixed point
results for these mappings. We also give some examples to illustrate our results. Also, an
application of the results is proposed for the digital images.
Keywords: Digital metric space; commutative maps; compatible maps; weakly commutative
maps; weakly compatible maps; common fixed point theorems.
1. Introduction
The dawn of the fixed point theory starts when in 1912 Brouwer proved a fixed point result
for continuous self maps on a closed ball. In 1922, Banach [2] gave a very useful result
known as the Banach Contraction Principle. After which a lot of implications of Banach
contraction came into existence ([1,8,9,20,21]).
A major shift in the arena of fixed point theory came in 1976 when Jungck [16], defined the
concept of commutative maps and proved the common fixed point results for such maps.
After which, Sessa[27] gave the concept of weakly compatible, and Jungck ([17,18])gave the
concepts of compatibility and weak compatibility. Certain altercations of commutativity and
compatibility can also be found in [10,19,24,25,28].
Digital topology is a developing area based on general topology and functional analysis
which studies features of 2D and 3D digital images. Rosenfield[26] was the first to consider
digital topology as the tool to study digital images. Kong[23], then introduced the digital
fundamental group of a discrete object. The digital versions of the topological concepts were
given by Boxer[3], who later studied digital continuous functions[4]. Later, he gave results of
digital homology groups of 2D digital images in [6] and [7]. Ege and Karaca [12,13] give
relative and reduced Lefschetz fixed point theorem for digital images. They also calculate
degree of antipodal map for the sphere like digital images using fixed point properties. Ege
and Karaca [14] then defined a digital metric space and proved the famous Banach
Contraction Principle for digital images.
2. Preliminaries
Let π be a subset of β€π for a positive integer π where β€π is the set of lattice points in the π-
dimensional Euclidean space and π represent an adjacency relation for the members of π. A
digital image consists of π, π .
Definition 2.1[5]: Let π,π be positive integers, 1 β€ π β€ π and two distinct points
International Journal of Scientific & Engineering Research, Volume 7, Issue 12, December-2016 ISSN 2229-5518
1704
IJSER Β© 2016 http://www.ijser.org
IJSER
π = π1, π2,β¦ , ππ , π = π1,π2 ,β¦ , ππ β β€π
π and π are ππ- adjacent if there are at most π indices π such that ππ βππ = 1 and for all
other indices π such that ππ β ππ β 1, ππ = ππ .
A π-neighbour [5] of π β β€π is a point of β€π that is π- adjacent to π where
π β 2,4,8,6,18,26 and π β 1,2,3. The set
Ξπ π = π π ππ πβ ππππππππ‘ π‘π π
is called the π- neighbourhood of π. A digital interval [12] is defined by
[π, π]β€ = π§ β β€ π β€ π§ β€ π
where π, π β β€ and π < π.
A digital image π β β€π is π- connected [15] if and only if for every pair of different points
π’, π£ β π, there is a set π’0,π’1,β¦ ,π’π of points of digital image π such that π’ = π’0,π£ = π’π
and π’π and π’π+1 are π- neighbours where π = 0,1,β¦ , π β 1.
Definition 2.2: Let π, π0 β β€π0, π, π1 β β€π1 be digital images and π:π β π be a
function.
π is said to be π0, π1 - continuous[5], if for all π0 - connected subset πΈ of π, π πΈ is
a π1- connected subset of π.
For all π0 - adjacent points π’0,π’1 of π, either π π’0 = π π’1 or π π’0 and π π’1
are a π1- adjacent in π if and only if π is π0, π1 - continuous [5].
If π is π0, π1 - continuous, bijective and πβ1 is π1, π0 - continuous, then π is called
π0, π1 - isomorphism [6]and denoted by π β π0,π1 π.
A 2,π - continuous function π, is called a digital π- path [5] from π’ to π£ in a digital image
π if π: 0,π β€ β π such that π 0 = π’ and π π = π£. A simple closed π- curve of π β₯ 4
points [7] in a digital image π is a sequence π 0 ,π 1 ,β¦ ,π π β 1 of images of the π-
path π: 0,πβ 1 β€ β π such that π π and π π are π- adjacent if and only if π = π Β±
πππ π.
Definition 2.5 [14]: A sequence π₯π of points of a digital metric space π,π, π is a Cauchy
sequence if for all β> 0, there exists πΏ β β such that for all π,π > πΏ, then
π π₯π ,π₯π <β.
Definition 2.6 [14]: A sequence π₯π of points of a digital metric space π,π, π converges to
a limit π β π if for all β> 0, there exists πΌ β β such that for all π > πΏ , then
π π₯π , π <β.
Definition 2.7 [14]: A digital metric space π,π, π is a digital metric space if any Cauchy
sequence π₯π of points of π,π, π converges to a point π of π,π, π .
International Journal of Scientific & Engineering Research, Volume 7, Issue 12, December-2016 ISSN 2229-5518
1705
IJSER Β© 2016 http://www.ijser.org
IJSER
Definition 2.8 [14]: Let π, π be any digital image. A function π: π, π β π, π is called
right- continuous if π π = limπ₯βπ+ π π₯ where, π β π.
Definition 2.9 [14]: Let, π,π, π be any digital metric space and π: π,π, π β π,π, π be
a self digital map. If there exists πΌ β 0,1 such that for all π₯, π¦ β π,
π π π₯ ,π π¦ β€ πΌπ π₯, π¦ ,
then π is called a digital contraction map.
Proposition 2.10 [14]: Every digital contraction map is digitally continuous.
Theorem 2.11 [14]: (Banach Contraction principle) Let π,π, π be a complete metric space
which has a usual Euclidean metric in β€π . Let, π:π β π be a digital contraction map. Then π
has a unique fixed point, i.e. there exists a unique π β π such that π π = π.
3. Main Results
3.1. Commutative maps:
Definition 3.1.1: Suppose that π,π, π is a complete digital metric space and π,π βΆ π β π
be maps defined on π. Then π πππ π are said to be commutative if π β π π₯ = π β
π π₯ β π₯ β π.
Proposition 3.1.2: Let π be a mapping of π into itself. Then π has a fixed point iff there is a
constant map π:π β π which commutes with π.
Proof: By hypothesis there exists π β π and π:π β π such that π π₯ = π and π π π₯ =
π π π₯ for all π₯ β π. We can therefore write π π = π π π = π π π = π, so that π
fixed point of π.
The condition of necessity is proved along with theorem 3.1.4.
Lemma 3.1.3: Let π¦π be a sequence of complete digital metric space π,π,π . If there
exists πΌ β 0,1 such that π π¦π+1, π¦π β€ πΌπ π¦π , π¦πβ1 for all π, then π¦π converges to a
point in π.
Proof: Direct consequence of Theorem 2.11.
Theorem 3.1.4: Let π be a continuous mapping of a complete digital metric space π,π, π
into itself. Then π has a fixed point in π if and only if there exists an πΌ β 0,1 and a
mapping π:π β π which commutes with π and satisfies
π π β π π πππ π π π₯ ,π π¦ β€ πΌπ π π₯ ,π π¦ πππ πππ π₯,π¦ β π (1)
Indeed π and π have a unique common fixed point if (1) holds.
Proof: To see that the condition stated is necessary, suppose that π π = π for some π β π.
Define π:π β π by π π₯ = π for all π₯ β π. Then π π π₯ = π and π π π₯ = π π =
International Journal of Scientific & Engineering Research, Volume 7, Issue 12, December-2016 ISSN 2229-5518
1706
IJSER Β© 2016 http://www.ijser.org
IJSER
π (βπ₯ β π), so π π π₯ = π π π₯ for all π₯ β π and π commutes with π. Moreover,
π π₯ = π = π π for all π₯ β π so that π π₯ β π π . Finally, for any πΌ β 0,1 we have for
all π₯, π¦ β π,
π π π₯ ,π π¦ = π π, π = 0 β€ πΌπ π π₯ ,π π¦ .
Thus, (1) holds.
On the other hand, suppose there is a map π of π into itself which commutes with π and for
which (1) holds. We show that the condition is sufficient to ensure that π and π have a unique
fixed point.
To this end, let π₯0 β π and let π₯1 be such that π π₯1 = π π₯0 . In general, choose π₯π so that
π π₯π = π π₯πβ1 (2)
We can do this since π π β π π . The relation (1) and (2) imply that
ππ π π₯π+1 ,π π₯π β€ πΌππ π π₯π ,π π₯πβ1 for all π. The lemma 3.1.3 yields π‘ β π such
that
π π₯π β π‘ (3)
But then (2) implies that
π π₯π β π‘ (4)
Now since π is continuous, (1) implies that both π and π are continuous. Hence, (3) and (4)
demand that π π π₯π β π π‘ . But π and π commute so that π π π₯π = π π π₯π for all
π. Thus, π π‘ = π π‘ , and consequently π π π‘ = π π π‘ = π π π‘ by commutativity.
We can therefore infer
π π π‘ , π π π‘ β€ πΌπ π π‘ ,π π π‘ = πΌπ π π‘ , π π π‘ .
Hence, π π π‘ , π π π‘ 1 β πΌ β€ 0. Since πΌ β 0,1 , π π‘ = π π π‘ = π π π‘ ; i.e.
π π‘ is common fixed point of π and π.
To see that π and π can have only one common fixed point, suppose that π₯ = π π₯ = π π₯
and π¦ = π π¦ = π π¦ . Then (1) implies that π π₯, π¦ = π π π₯ ,π π¦ β€ πΌπ π π₯ ,π π¦ =
πΌπ π₯, π¦ , or π π₯, π¦ 1β πΌ β€ 0. Since πΌ < 1, π₯ = π¦.
Corollary 3.1.5: Let π and π be commuting mappings of a complete digital metric space
π,π, π into itself. Suppose that π is continuous and π π β π π . If there exists πΌ β 0,1
and a positive integer π such that (i) ππ ππ π₯ ,ππ π¦ β€ πΌππ π π₯ ,π π¦ for all π₯ and π¦ in
π, then π and π have a common fixed point.
International Journal of Scientific & Engineering Research, Volume 7, Issue 12, December-2016 ISSN 2229-5518
1707
IJSER Β© 2016 http://www.ijser.org
IJSER
Proof: Clearly, ππ commutes with π and ππ π β π π β π π . Thus the theorem pertains
to ππ and π, so there exists a unique π β π such that π = π π = ππ π . But then, since π
and π commute, we can write π π = π π π = ππ π π , which says that π π is a c.f.p.
of π and ππ. The uniqueness of π implies π = π π = π π .
Corollary 3.1.6: Let π be a positive integer and let πΎ be a real number > 1. If π is a
continuous mapping of a complete digital metric space π,π, π onto itself such that
π ππ π₯ ,ππ π¦ β₯ πΎπ π₯,π¦ for π₯, π¦ β π, then π has a unique fixed point.
Example 3.1.7: Let us consider the digital metric space π,π, π , with the digital metric
defined by π π₯,π¦ = π₯ β π¦ . Consider the self mapping π, π:π β π given by, π π₯ =π₯
2+ 3
and π π₯ =π₯
3+ 4. Clearly, π π π₯ =
π₯
6+ 5 = π π π₯ . Also, π π π₯ ,π π¦ β€
2
3π π π₯ ,π π¦ . So, these maps satisfy all the hypothesis of theorem 3.1.4. So, π and π has a
common fixed point. The common fixed point of π and π is π₯ = 6.
3.2. Weakly commutative maps:
Definition 3.2.1: The self maps π and π of a non Newtonian metric space π,π,π are said to
be weakly commutative iff π π π π₯ ,π π π₯ β€ π π π₯ ,π π₯ for all π₯ β π.
Remark 3.2.2: Every pair of commutative maps is weakly commutative but the converse is
not true. Moreover, the weakly commutative maps commute on the coincidences points.
If π‘ β π, be the coincidence point of commutative maps π and π, i.e., π π‘ = π π‘ .
Then, π π π π‘ ,π π π‘ β€ π π π‘ ,π π‘ β π π π π‘ ,π π π‘ β€ π π π‘ , π π‘
β π π π‘ = π π π‘ .
Theorem 3.2.3: Let π be a mapping of a complete digital metric space π,π, π into itself.
Then π has a fixed point in π if and only if there exists an πΌ β 0,1 and a mapping π:π β π
which commutes weakly with π and satisfies
π π β π π and π π π₯ , π π¦ β€ πΌπ π π₯ ,π π¦ for all π₯, π¦ β π (5)
Indeed π and π have a unique common fixed point if (5) holds.
Proof: To see that the condition stated is necessary, suppose that π π = π for some π β π.
Define π:π β π by π π₯ = π for all π₯ β π. Then π π π₯ = π and π π π₯ = π π =
π (βπ₯ β π), so π π π₯ = π π π₯ for all π₯ β π and π commutes with π(Since
commutativity implies weak commutativity.). So, π and π are weakly commutative.
Moreover, π π₯ = π = π π for all π₯ β π so that π π₯ β π π . Finally, for any πΌ β 0,1
we have for all π₯,π¦ β π,
π π π₯ ,π π¦ = π π, π = 0 β€ πΌπ π π₯ ,π π¦ .
Thus, (5) holds.
International Journal of Scientific & Engineering Research, Volume 7, Issue 12, December-2016 ISSN 2229-5518
1708
IJSER Β© 2016 http://www.ijser.org
IJSER
On the other hand, suppose there is a map π of π into itself which commutes weakly with π
and for which (5) holds. We show that the condition is sufficient to ensure that π and π have
a unique fixed point.
To this end, let π₯0 β π and let π₯1 be such that π π₯1 = π π₯0 . In general, choose π₯π so that
π π₯π = π π₯πβ1 (6)
We can do this since π π β π π . The relation (5) and (6) imply that π π π₯π+1 ,π π₯π β€
πΌπ π π₯π ,π π₯πβ1 for all π. The lemma yields π‘ β π such that
π π₯π β π‘ (7)
But then (6) implies that
π π₯π β π‘ (8)
Now, from the definition of weakly commutative
π π π π₯π ,π π π₯π β€ π π π₯π ,π π₯π
β π π π‘ , π π‘ β€ π π‘, π‘ β π π‘ = π π‘
So, π‘ is a coincidence point of π and π. So, π π π‘ = π π π‘ = π π π‘ . We can therefore
infer
π π π‘ , π π π‘ β€ πΌπ π π‘ ,π π π‘ = πΌπ π π‘ , π π π‘ .
Hence, π π π‘ , π π π‘ 1 β πΌ β€ 0. Since πΌ β 0,1 , π π‘ = π π π‘ = π π π‘ , i.e.
π π‘ is common fixed point of π and π.
To see that π and π can have only one common fixed point, suppose that π₯ = π π₯ = π π₯
and π¦ = π π¦ = π π¦ . Then (5) implies that π π₯, π¦ = π π π₯ ,π π¦ β€ πΌπ π π₯ ,π π¦ =
πΌπ π₯, π¦ , or π π₯, π¦ 1β πΌ β€ 0. Since πΌ < 1, π₯ = π¦.
Corollary 3.2.4: Let π and π be weakly commuting mappings of a complete digital metric
space π,π, π into itself. Suppose, π π β π π . If there exists πΌ β 0,1 and a positive
integer π such that (i) π ππ π₯ ,ππ π¦ β€ πΌπ π π₯ ,π π¦ for all π₯ and π¦ in π, then π and π
have a unique common fixed point.
Proof: Clearly, ππ commutes weakly with π and ππ π β π π β π π . Thus the theorem
pertains to ππ and π, so there exists a unique π β π such that π = π π = ππ π . But then,
since π and π commute weakly, we can write π π = π π π = ππ π π , which says that
π π is a c.f.p. of π and ππ. The uniqueness of π implies π = π π = π π .
International Journal of Scientific & Engineering Research, Volume 7, Issue 12, December-2016 ISSN 2229-5518
1709
IJSER Β© 2016 http://www.ijser.org
IJSER
Corollary 3.2.5: Let π be a positive integer and let πΎ be a real number > 1. If π is a self map
of a complete digital metric space π,π, π such that π ππ π₯ ,ππ π¦ β₯ πΎπ π₯, π¦ for
π₯, π¦ β π, then π has a unique fixed point.
3.3. Compatible Maps
Definition 3.3.1: The self maps π and π of a digital metric space are said to be compatible iff
limπ ββ ππ π π π₯π ,π π π₯π = 0 whenever π₯π is a sequence in π such that
limπ ββ π π₯π = limπββ π π₯π = π‘ for some π‘ in π.
Remark 3.3.2: Now, maps which are commutative are clearly compatible but the converse is
not true.
Lemma 3.3.3: Let π,π: π,π, π β π,π, π be continuous, and let
πΉ = π₯ β π π π₯ = π π₯ = π₯ . Then π and π are compatible if any one of the following
conditions is satisfied:
(a) if π π₯π ,π π₯π β π‘ β π , then π‘ β πΉ.
(b) π π π₯π ,π π₯π β 0 implies π· π π₯π ,πΉ β 0.
where π· π₯,πΉ = maxπ¦βπΉ π π₯, π¦
Proof: Suppose that limπ ββ π π₯π = limπ ββ π π₯π = π‘ for some π‘ β π (10)
If (a) holds, π π‘ = π π‘ = π‘. Then, the continuity of π and π on πΉ imply π π π₯π β
π π‘ = π‘ and π π π₯π β π π‘ = π‘, so that, π π π π₯π ,π π π₯π β 0 as desired.
If (b) holds, the compatibility of π and π follow easily from (a) and (10) upon noting that πΉ is
closed since π and π are continuous.
Corollary 3.3.4: Suppose that π and π are continuous self maps of β such that π β π is
strictly increasing. If π and π have a common fixed point, then π and π are compatible.
Proof: Immediate, as π π₯π ,π π₯π β π‘ implies that πΉ = π‘ .
Lemma 3.3.5: Let, π,π: π,π, π β π,π, π be compatible.
(1) If π π‘ = π π‘ , then π π π‘ = π π π‘ .
(2) Suppose that limπ ββ π π₯π = limπββ π π₯π = π‘, for some π‘ β π.
(a) If π is continuous at π‘, limπββ π π π₯π = π π‘ .
(b) If π and π are continuous at π‘, then, π π‘ = π π‘ and π π π‘ = π π π‘ .
Proof: Suppose that π π‘ = π π‘ , and let π₯π = π‘ for π in β. Then, π π₯π ,π π₯π β π π‘ , so
that, π π π π‘ ,π π π‘ = π π π π₯π ,π π π₯π β 0 by compatibility. Consequently,
π π π π‘ ,π π π‘ = 0 and π π π‘ = π π π‘ , proving (1).
International Journal of Scientific & Engineering Research, Volume 7, Issue 12, December-2016 ISSN 2229-5518
1710
IJSER Β© 2016 http://www.ijser.org
IJSER
To prove (2)(a), note that if π π₯π β π‘, π π π₯π β π π‘ by the continuity of π. But if
π π₯π β π‘, also since π π π π₯π ,π π‘ β€ π π π π₯π ,π π π₯π + π π π π₯π ,π π‘
the compatibility of π and π require that, π π π π₯π ,π π‘ β 0; i.e., π π π₯π β π π‘ .
We prove (2)(b) by noting that π π π₯π β π π‘ by the continuity of π, whereas,
π π π₯π β π π‘ by the continuity of π. Thus, π π‘ = π π‘ by the uniqueness of limit, and
therefore π π π₯π = π π π₯π by part (1).
Theorem 3.3.6: Let π πππ π be continuous compatible maps of a complete digital metric
space π,π, π into itself. Then π πππ π have a unique common fixed point in π if there
exists an πΌ β 0,1 and they satisfy
π π β π π πππ π π₯ , π π¦ β€ πΌπ π π₯ ,π π¦ πππ πππ π₯, π¦ β π (11)
Proof: Suppose there is a map π of π into itself which is compatible with π and for which
(11) holds. We show that the condition is sufficient to ensure that π and π have a unique
fixed point.
To this end, let π₯0 β π and let π₯1 be such that π π₯1 = π π₯0 . In general, choose π₯π so that
π π₯π = π π₯πβ1 (12)
We can do this since π π β π π . The relation (11) and (12) imply that
π π π₯π+1 ,π π₯π β€ πΌπ π π₯π ,π π₯πβ1 for all π. The lemma yields π‘ β π such that
π π₯π β π‘ (13)
But then (12) implies that
π π₯π β π‘ (14)
Now, from the definition of compatibility,
limπββ
π π π π₯π ,π π π₯π = 0
Now, by continuity of π πππ π and the lemma, π π‘ = π π‘ and π π π‘ = π π π‘ . We can
therefore infer
π π π‘ , π π π‘ β€ πΌπ π π‘ ,π π π‘ = πΌπ π π‘ , π π π‘ = πΌπ π π‘ , π π π‘ .
Hence, π π π‘ , π π π‘ 1 β πΌ β€ 0. Since πΌ β 0,1 , π π‘ = π π π‘ = π π π‘ , i.e.
π π‘ is common fixed point of π and π.
To see that π and π can have only one common fixed point, suppose that π₯ = π π₯ = π π₯
and π¦ = π π¦ = π π¦ . Then (11) implies that π π₯, π¦ = π π π₯ ,π π¦ β€ πΌπ π π₯ ,π π¦ =
πΌπ π₯, π¦ , or π π₯, π¦ 1β πΌ β€ 0. Since, πΌ < 1, so we infer that π₯ = π¦.
International Journal of Scientific & Engineering Research, Volume 7, Issue 12, December-2016 ISSN 2229-5518
1711
IJSER Β© 2016 http://www.ijser.org
IJSER
Corollary 3.3.7: Let π and π be continuous compatible maps of a complete digital metric
space π,π, π into itself. Suppose, π π β π π . If there exists πΌ β 0,1 and a positive
integer π such that (i) π ππ π₯ ,ππ π¦ β€ πΌπ π π₯ ,π π¦ for all π₯ and π¦ in π, then π and π
have a common fixed point.
Proof: Clearly, ππ is compatible with π and ππ π β π π β π π . Thus, the theorem
pertains to ππ and π, so there exists a unique π β π such that π = π π = ππ π . But then,
since π and π are compatible, we can write π π = π π π = ππ π π , which says that
π π is a c.f.p. of π and ππ. The uniqueness of π implies π = π π = π π .
Example 3.3.8: Let us consider the digital metric space π,π,π , with the digital metric
defined by π π₯,π¦ = π₯ β π¦ . Consider the self mapping π, π:π β π given by, π π₯ = 2 βπ₯2 and π π₯ = π₯2. Now, π π₯π β π π₯π = 2 1 β π₯2 β 0 iff π₯π = Β±1 and limπ π π₯π =limπ π π₯π = 1. So, these are compatible but clearly not weakly commutative, e.g. π₯ = 0.
Now, π π π₯ ,π π¦ β€1
2π π π₯ ,π π¦ . Hence, π and π satisfy all the hypotheses of the
theorem 3.3.6 and hence have a unique common fixed point. The fixed point of these tow
mappings is π₯ = 1.
3.4. Weakly Compatible Maps:
Definition 3.4.1: Two maps π and π are said to be weakly compatible if they commute at
coincidence points.
Remark 3.4.2: Commutative β weakly commutative β compatible β weakly compatible.
But the converse of the above implications does not hold.
Theorem 3.4.3: Let π and π be weakly compatible maps of a complete digital metric space
π,π, π into itself. Then π and π have a unique common fixed point in π if there exists an
πΌ β 0,1 and they satisfy the following two conditions:
π π β π π and π π π₯ , π π¦ β€ πΌπ π π₯ ,π π¦ for all π₯, π¦ β π (15)
Any one of the subspace π π or π π is complete (16)
Proof: Suppose, there is a map π of π into itself which is weakly compatible with π and for
which (15) holds. We show that the condition is sufficient to ensure that π and π have a
unique fixed point.
To this end, let π₯0 β π and let π₯1 be such that π π₯1 = π π₯0 . In general, choose π₯π so that
π π₯π = π π₯πβ1 (17)
We can do this since π π β π π . The relation (15) and (16) imply that
π π π₯π+1 ,π π₯π β€ πΌπ π π₯π ,π π₯πβ1 for all π. The lemma yields π‘ β π such that
π π₯π β π‘ (18)
But then (17) implies that
International Journal of Scientific & Engineering Research, Volume 7, Issue 12, December-2016 ISSN 2229-5518
1712
IJSER Β© 2016 http://www.ijser.org
IJSER
π π₯π β π‘ (19)
Since, either π π or π π is complete, for certainty assume that π π is complete subspace
of π then the subsequence of π₯π must converge to a limit in π π . Call it be π‘. Let,
π’ β πβ1 π‘ . Then π π’ = π‘ as π₯π is a Cauchy sequence containing a convergent
subsequence, therefore the sequence π₯π also convergent implying thereby the convergence
of subsequence of the convergent sequence. Now, we show that π π’ = π‘.
On setting π₯ = π₯π , π¦ = π’ in (15), we have
π π π₯π ,π π’ β€ πΌπ π π₯π ,π π’
Proceeding limit as π β β, we get π π‘, π π’ β€ πΌπ π‘,π π’ β π π‘,π π’ β€ 0 β π π’ = π‘.
Thus, π’ is a coincidence point of π and π. Since π and π are weakly compatible, it follows
that π π π’ = π π π’ .
We can therefore infer
π π π’ , π π π’ β€ πΌπ π π’ ,π π π’ = πΌπ π π’ , π π π’ = πΌπ π π’ , π π π’ .
Hence, π π π’ , π π π’ 1 β πΌ β€ 0. Since πΌ β 0,1 , π π’ = π π π’ = π π π’ , i.e.
π π’ is common fixed point of π and π.
To see that π and π can have only one common fixed point, suppose that π₯ = π π₯ = π π₯
and π¦ = π π¦ = π π¦ . Then (11) implies that π π₯, π¦ = π π π₯ ,π π¦ β€ πΌπ π π₯ ,π π¦ =
πΌπ π₯, π¦ , or π π₯, π¦ 1β πΌ β€ 0. Since, πΌ < 1, π₯ = π¦.
Corollary 3.4.4: Let π and π be weakly compatible maps of a complete non Newtonian
metric space π,π, π into itself. Suppose, π π β π π . If there exists πΌ β 0,1 and a
positive integer π such that (i) π ππ π₯ ,ππ π¦ β€ πΌπ π π₯ ,π π¦ for all π₯ and π¦ in π, (ii)
either ππ π ππ π(π) is complete subspace in π, then π and π have a common fixed point.
Proof: Clearly, ππ is weakly compatible with π and ππ π β π π β π π . Thus, the
theorem pertains to ππ and π, so there exists a unique π β π such that π = π π = ππ π .
But then, since π and π are compatible, we can write π π = π π π = ππ π π , which
says that π π is a c.f.p. of π and ππ. The uniqueness of π implies π = π π = π π .
Applications of Common Fixed Point Theorems in Digital Metric Space
The basic idea behind defining digital contractions is to solve the problem of storing the
images using less storage memory. Now, common fixed point theorem can come as handy
tools when we want to redefine the storage of images. That is, if a memory slot is already in
use to store a particular image under a given contraction, and this image is to be replaced by
another image than by imposing the commutativity or compatibility(depending on the
situation) between the maps we can sort the purpose.
International Journal of Scientific & Engineering Research, Volume 7, Issue 12, December-2016 ISSN 2229-5518
1713
IJSER Β© 2016 http://www.ijser.org
IJSER
Conclusion
The aim of this paper is to introduce common fixed point theorems for the digital metric
spaces, using the commutative or compatible properties of the maps. This concept may come
handy in the image processing and redefinement of the image storage. The redefinition of the
same slot of memory is a proposed application of the proposed concept of the paper.
International Journal of Scientific & Engineering Research, Volume 7, Issue 12, December-2016 ISSN 2229-5518
1714
IJSER Β© 2016 http://www.ijser.org
IJSER
Refrences:
[1] Aamri M, Moutawakil DEl, Some new common fixed point theorems under strict
contractive conditions, J. Math. Anal. Appl. 2002, 270, 181-188.
[2] Banach S, Sur les operations dans les ensembles abstraits et leurs applications aux
equations integrales, Fund. Math. 1922, 3, 133β181.
[3] Boxer L, Digitally Continuous Functions, Pattern Recognition Letters, 15 (1994), 833-
839.
[4] Boxer L, Properties of Digital Homotopy, J. Math. Imaging Vis., 22(2005), 19-26.
[5] Boxer L, A Classical Constructions for The Digital Fundamental Group, J. Math. Imaging
Vis., 10(1999), 51-62.
[6] Boxer L, Digital Products, Wedges and Covering Spaces, J. Math. Imaging Vis.,
25(2006), 159-171.
[7] Boxer L, Continuous Maps on Digital Simple Closed Curves, Appl. Math., 1(2010), 377-
386.
[8] Choudhury BS, Das KP, A new contraction principle in Menger spaces, Acta
Mathematica Sinicia, English Series 2008, 24(8), 1379-1386.
[9] Choudhury BS, Kumar S, Asha, Das K, Some fixed point theorems in G-metric spaces,
Math. Sci. Lett. 2012, 1(1), 25-31.
[10] Das KM, Naik KV, Common fixed-point theorems for commuting maps on a metric
space, Proc. Amer. Math. Soc. 1979, 77, 369-373.
[11] Ege O, Karaca I, Fundamental Properties of Simplicial Homology Groups for Digital
Images, American Journal of Computer Technology and Application, 1(2013), 25-42.
[12] Ege O, Karaca I, Lefschetz Fixed Point Theorem for Digital Images, Fixed Point Theory
Appl., 2013(2013), 13 pages.
[13] Ege O, Karaca I, Applications of The Lefschetz Number to Digital Images, Bull. Belg.
Math. Soc. Simon Stevin, 21(2014), 823-839.
[14] Ege O, Karaca I, Banach Fixed Point Theorem for Digital Images, J. Nonlinear Sci.
Appl., 8(2015), 237-245.
[15] Herman GT, Oriented Surfaces in Digital Spaces, CVGIP: Graphical Models and Image
Processing, 55(1993), 381-396.
[16] Jungck G, Commuting mappings and fixed point, Amer. Math. Monthly 1976, 83, 261-
263.
International Journal of Scientific & Engineering Research, Volume 7, Issue 12, December-2016 ISSN 2229-5518
1715
IJSER Β© 2016 http://www.ijser.org
IJSER
[17] Jungck G, Compatible mappings and common fixed points, International J. Math. Math.
Sci. 1986, 9(4), 771-779.
[18] Jungck G, Common fixed points for non-continuous non-self maps on non-metric
spaces, Far East J. Mathe. Sci. 1996, 4 (2), 199-212.
[19] Jungck G, Murthy PP, Cho, YJ, Compatible mappings of type (A) and common fixed
points, Math. Japon. 1993, 38, 381 β 390.
[20] Kannan R, Some results on fixed point, Bull. Cal. Mathe. Soc. 1968, 60, 71-76.
[21] Kannan R, Some results on fixed point II, Amer. Mathe. Monthly 1969, 76, 405-408.
[22] Karaca I, Ege O, Some Results on Simplicial Homology Groups of 2D Digital Images,
Int. J. Inform. Computer Sci., 1(2012), 198-203.
[23] Kong TY, A Digital Fundamental Group, Computers and Graphics, 13(1989), 159-166.
[24] Rani A, Kumar S, Common fixed point theorems in generalized menger spaces with t-
norm t of hadΕΎiΔ-type, Adv. Fixed Point Theory 2013, 3(1), 151-163.
[25] Rani A, Kumar S, Kumar N, Garg SK, Common Fixed Point Theorems for Compatible
and Weakly Compatible Maps in G-Metic Spaces, Applied Math. 2012, 3, 1128-1134.
[26] Rosenfeld A, Digital Topology, Amer. Math. Monthly, 86(1979), 76-87.
[27] Sessa S, On a weak commutativity condition of mappings in fixed point considerations,
Publications DeLβInstitut Mathematiqueβ, Nouvelle Serie Tome 1982, 32, 149-153.
[28] Z-Dos`enovic` T, A common fixed point theorem for compatible mappings in fuzzy
metric spaces using implicit relation, Acta Math. Hang. 2009, 125(4), 357-368.
International Journal of Scientific & Engineering Research, Volume 7, Issue 12, December-2016 ISSN 2229-5518
1716
IJSER Β© 2016 http://www.ijser.org
IJSER