International 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