A Common Coupled Fixed Point Theorem in Complex Valued Metric Space For Two Mappings, Satisfying A Rational Inequality
Uploaded by
ijsretA Common Coupled Fixed Point Theorem in Complex Valued Metric Space For Two Mappings, Satisfying A Rational Inequality
Uploaded by
ijsretInternational Journal of Scientific Research Engineering & Technology (IJSRET), ISSN 2278 0882
Volume 4, Issue 8, August 2015
A Common Coupled Fixed Point Theorem in Complex Valued Metric Space
for Two Mappings, Satisfying A Rational Inequality
Tanmoy Mitra
Asst. Teacher, Akabpur High School, Akabpur,
Nadanghat, Burdwan, West Bengal, India
ABSTRACT
(3)
In 2006 Bhaskar and Laxmikantham introduced the
concept of coupled fixed point for a partially ordered
set. In this paper a common coupled fixed point result
for two mappings are presented.
Key Words: Complex valued metric space, coupled fixed
point.
AMS Subject Classification (2010): 47H10, 54H25.
I. INTRODUCTION
One of the main pillar in the study of fixed point
theory is Banach Contraction priciple which was done
by Banach in 1922. Fixed point theory is very usefull in
various branches of mathematics and science.
In 2011 Akbar Azam et. al [1] introduced the
concept of complex valued metric space. The concept of
coupled fixed point was first introduced by Bhaskar and
Laxikantham [2] in 2006. Recently some researchers
prove some coupled fixed point theorems in complex
valued metric space in [4], [5]. The main purpous of this
paper is to obtain a common coupled fixed point result
in complex valued metric space.
Let be the set of all complex numbers
and
. Define a partial order relation
and
(4)
We write
if
and
i.e., one
of (2), (3) and (4) is satisfied and we will write
if only (4) is satisfied.
Remark 1: We can easily check the followings:
(i)
(ii)
(iii)
Azam et al. [1] defined the complex valued metric
space in the following way:
Definition 1 ([1]): Let
that the mapping
be a nonempty set. Suppose
satisfies the
following conditions:
(C1)
on
(C2)
as follows:
(C3)
Thus
if one of the followings holds:
Then
(1)
and
(2)
space.
www.ijsret.org
is called a complex valued metric on
is called a complex valued
metric
831
International Journal of Scientific Research Engineering & Technology (IJSRET), ISSN 2278 0882
832
Volume 4, Issue 8, August 2015
Example 1.1: Let
. Define the mapping
(i) A sequence
by
is said to converge to
if for every
,
where
in
is a fixed complex
and
number,
such that
such that
We
denote
this
[Here logarithm takes
only the principle value] .
Then clearly we can show that
there exists
by
or
.
(ii) If for every
there exists
such
is a complex
that
for
all
valued metric space.
Definition 2 ([1]): Let
sequence in
metric space. Then
(i) A point
set
then
be a complex valued
is called an interior point of a
if there exists
such
then
is convergent in
is called a complete complex
valued metric space.
.
A subset
Definition 4[2]: An element
is called open if each
Example 4.1: Let
as
.
A subset
if
and
is called a limit point of
if for every
is called a
coupled fixed point of the mapping
is an interior point of
(ii) A point
element of
(iii) If every Cauchy sequence in
that
element of
is called a Cauchy
and
Then
defined
and
are two
coupled fixed point of
is called closed if each
is not a limit point of .
Lemma 1 ([1]): Let
metric space and
be a complex valued
be a sequence in . Then
(iii) The family
converges
to
and
only
if
is a sub-basis for a Hausdorff topology
.
Lemma 2 ([1]): Let
Definition 3 ([1]): Let
if
be a complex valued
be a complex valued
metric space and
metric space. Then
www.ijsret.org
be a sequence in . Then
International Journal of Scientific Research Engineering & Technology (IJSRET), ISSN 2278 0882
Volume 4, Issue 8, August 2015
is
Cauchy
sequence
Lemma 3([3]): Let
only
.
if
be a complex valued
metric space and
.
if and
where
be a sequence in
Then
for
such that
any
Thus
,
Therefore
II. MAIN RESULT.
Similarly we can show that,
In this section we present the main result.
Theorem: Let
be a complete complex valued
metric space. Let
, such that
Adding
and
we get,
,
where
Then
and
.Now, we take
are non-negative integers with
have a unique common coupled fixed point
. Then
Thus,
in
Proof: Let
Similarly, we can also show that,
be arbitrary.
We define two sequences
as
and
.
Now for
Now,
www.ijsret.org
we have,
since
833
International Journal of Scientific Research Engineering & Technology (IJSRET), ISSN 2278 0882
Volume 4, Issue 8, August 2015
Now, for
,
Letting
and using Lemma - 3 , we get,
Thus
Since
and hence
Similarly, we can show that,
Again,
Thus
as
Thus
and
Therefore
as
and hence
Similarly, we can show that,
Thus
Since
and
is complete, there exists
and
Now,
Thus,
are Cauchy sequences.
and
such that,
, as
Therefore
is a common coupled fixed point of
and
For uniqueness, let
such that,
and
www.ijsret.org
834
International Journal of Scientific Research Engineering & Technology (IJSRET), ISSN 2278 0882
Volume 4, Issue 8, August 2015
for
and
. Thus here
Now,
.
Thus the mappings
and
satisfy the required
condition for the theorem.
Here we see that
is the unique common coupled
fixed point of
and
Similarly, we can show that,
REFFERENCES
Adding
and
[1] A. Azam, F. Brain and M. Khan: Common fixed
point theorems in complex valued metric spaces,
Numer. Funct. Anal. Optim., Vol. 32, No. 3(2011), pp.
243-253.
, we get,
[2] T. G. Bhaskar, V. Laxikantham: Fixed point
theorem in partially ordered metric spaces and
applications, Nonlinear Analysis, TMA, 65 (2006),
1379 1393, 1.10.
Thus,
Therefore,
Thus
and
and hence
[3] S. K. Datta and S. Ali: A common fixed point
theorem under contractive condition in complex valued
metric spaces, International Journal of Advanced
Scientific and Technical Research, Issue 2, Vol 6,
December 2012, 467 475.
and
i.e.
Thus
[4] S. M. Kang, M Kumar, P Kumar, S Kumar:
Coupled fixed point theorems in complex valued
metric spaces, Int. Journal of Math. Analysis, Vol. 7,
2013, no. 46, 2269 2277.
is the unique common fixed point of
and
Example: Let
with complex valued metric
such that
[5] Savitri, N. Hooda: A common coupled fixed point
theorem in complex valued metric space, Internationa
Journal of Computer Applications ( 0975- 8887), Vol
109 No. 4, January 2015.
We define two
mappings
, as
and
. Then
www.ijsret.org
835
