International Journal of Mathematics and Statistics Invention (IJMSI)

E-ISSN: 2321 4767 P-ISSN: 2321 - 4759

www.ijmsi.org Volume 4 Issue 10 || December. 2016 || PP-14-21

Common Fixed Point Theorem for Weakly Compatible Maps in

Intuitionistic Fuzzy Metric Spaces
Madhu Shrivastava1, Dr.K.Qureshi2, Dr.A.D.Singh3
1

TIT Group of Instititution,Bhopal

2
Ret.Additional Director,Bhopal
3
Govt.M.V.M.College, Bhopal

ABSTRACT: In this paper, we prove some common fixed point theorem for weakly compatible maps in
intuitionistic fuzzy metric space for two, four and six self mapping.
KEYWORDS: Intuitionistic fuzzy metric space, weakly compatible mappings.

I.

INTRODUCTION

The introduction of the concept of fuzzy sets by Zadeh [1] in1965.Many authors have introduced the concept of
fuzzy metric in different ways. Atanassov [2] introduced and studied the concept of intuitionistic fuzzy sets. In
1997 Coker [3 ] introduced the concept of intuitionistic fuzzy topological spaces .Park [20] defined the notion of
intuitionistic fuzzy metric space with the help of continuous t-norm. Alaca et al. [4] using the idea of
intuitionistic fuzzy sets, they dened the notion of intuitionistic fuzzy metric space. Turkoglu et al. [34]
introduced the cocept of compatible maps and compatible maps of types
and
in intuitionistic fuzzy
metric space and gave some relations between the concepts of compatible maps and compatible maps of types
. Gregory et al. [12 ], Saadati et al [28],Singalotti et al [27], Sharma and Deshpande [30], Ciric etal
[9], Jesic [13], Kutukcu [16] and many others studied the concept of intuitionistic fuzzy metric space and its
applications. Sharma and Deshpandey [30] proved common fixed point theorems for finite number of mappings
without continuity and compatibility on intuitionistic fuzzy metric spaces. R.P. Pant [23] has initiated work
using the concept of R-weakly commuting mappings in 1994.

II.

PRELIMINARIES

We begin by briefly recalling some definitions and notions from fixed point theory literature that we will use in
the sequel.
Definition 2.1 [Schweizer st. al.1960] - A binary operation
is a continuous t-norms if
satisfying conditions:
(i)
is commutative and associative;
(ii)
is continuous;
(iii)
(iv)
wherever
and
for all
Example of t-norm are

and

Definition 2.2[Schweizer st. al.1960] A binary operation

satisfying conditions:
(i)
is commutative and associative;
(ii)
is continuous;
(iii)
for all
(iv)
wherever
and
for all
Example of t-norm are

is a continuous t-norms if

and

Definition 2.3 [Alaca, C. et. Al. 2006] A 5-tuple

is said to be an intuitionistic fuzzy metric space
if X is an arbitrary set, is a continuous t -norm, is a continuous
t -norm and
are fuzzy sets on
satisfying the following conditions:
(i)
for all
and

www.ijmsi.org

14 | Page

Common Fixed Point Theorem for Weakly Compatible Maps in Intuitionistic Fuzzy Metric Spaces
(ii)
(iii)
(iv)
(v)
(vi)
(vii)
(viii)
(ix)
(x)
(xi)
(xii)
(xiii)

for all
for all

;
and

if and only if
;
and
for all
and
is left continuous ;

for all
For all
for all
for all

;
and
for all

for all

if and only if
and
for all
and
is right continuous;

is called an intuitionistic fuzzy metric on . The functions

nearness and the degree of non-nearness between and with respect to

denote the degree of

respectively.

Remark 2.4 [Alaca, C. et. Al. 2006 ]. An intuitionistic fuzzy metric spaces with continuous t-norm
Continuous t -conorm defined by
and
for all
Then for all
is non-decreasing and,
is non-increasing.
Remark 2.5[Park, 2004]. Let
conorm
and for all ,

Then

be a metric space .Define t-norm

and

and
,

and t-

is an intuitionistic fuzzy metric space induced by the metric. It is obvious that

Alaca, Turkoglu and Yildiz [Alaca, C. et. Al. 2006] introduced the following notions:
Definition 2.6. Let
be an intuitionistic fuzzy metric space. Then
(i)
a sequence
is said to be Cauchy sequence if, for all

(ii)

a sequence

in X is said to be convergent to a point

if ,for all

Since and are continuous, the limit is uniquely determined from (v) and (xi) of respectively.
Definition 2.7. An intuitionistic fuzzy metric space
Cauchy sequence in is convergent.

is said to be complete if and only if every

Definition 2.8. A pair of self-mappings

, of an intuitionistic fuzzy metric space
be compatible if
and
,whenever
is a sequence in X such that

is said to
for every

Definition 2.9. A pair of self-mappings

non compatible if
nonexistence for every
,
whenever
is a sequence in such that

is said to be
or

, of an intuitionistic fuzzy metric space

or nonexistence and
for some

In 1998, Jungck and Rhoades [Jungck et. al. 1998] introduced the concept of weakly compatible maps as
follows:
Definition 2.10. Two self maps and are said to be weakly compatible if they commute at coincidence
points.

www.ijmsi.org

15 | Page

Common Fixed Point Theorem for Weakly Compatible Maps in Intuitionistic Fuzzy Metric Spaces
Definition 2.11 [Alaca, C. et. Al. 2006 ]. Let
be an intuitionistic fuzzy metric space then
are said to be weakly compatible if they commute at coincidence points.
Lemma 2.12[ Alaca, C. et. Al. 2006]. Let
be an intuitionistic fuzzy metric space and
sequence in X if there exist a number
such that,
i)
ii)
for all
and
then
is a cauchy sequence in
Lemma 2.13 Let

be an IFM-space and for all

then

III.
Theorem 3.1 Let
t-norm defined by
self mapping in s.t.

be a

and if for a number

MAIN RESULTS

be an intuitionstic fuzzy metric space with continuous t-norm and continuous

and
Let
be weakly compatible

Where ,

and
is continuous function s.t.
and
with
c)
If one of
is complete
Then
have a unique common fixed point.
Proof Let
be any arbitrary point. Since
,choose
Such that
.
Then by (b),

and

,for each

is convergent,

..............(1)
As
and

, for each

As
For all
and
and
is a Cauchy sequence in X. by completeness of X,

Hence by lemma (2.12) ,

call ,
Then
Now suppose
is complete, so there exist a point
Now from (b),

www.ijmsi.org

16 | Page

Common Fixed Point Theorem for Weakly Compatible Maps in Intuitionistic Fuzzy Metric Spaces

As

............................(3)
And
As

.............................(4)
From (3) and (4),we have
As
are weakly compatible ,therefore
Now , we show that is a fixed point of
As

from (b),

.....................(5)
and
As

....................(6)
From (5) and (6),
Hence is common fixed point of
.
Uniqueness Let be another fixed point of

,then by (b) ,

.........................(7)
and

.....................(8)
From (7) and (8),
Therefore

is unique common fixed point of

Theorem 3.2 Let

t-norm defined by
X s.t.
a)
b)
There exist a constant

be an intuitionstic fuzzy metric space with continuous t-norm and continuous

Let A, B, S and T be self mappings in

www.ijmsi.org

17 | Page

Common Fixed Point Theorem for Weakly Compatible Maps in Intuitionistic Fuzzy Metric Spaces
is

continuous

function

s.t.

, for each
and
with
c)
If one of the
is complete subspace of X,
Then
and
have a coincidence point
More over ,if the pair
and
are weakly compatible ,then A, B, S and T have a unique common fixed
point.
Proof Let be any arbitrary point
there is a point
Again since
for this
and so on. Then we get a sequence
s.t.
and
Putting
in (b) we have,

As
and

for each

As
For all
and
and
Hence by lemma (2.12) ,
is a Cauchy sequence in
Now suppose
is a complete subspace of X.note that the sequence
is contained in
and has a
limit in
say so we get
we shall use the fact that subsequence
also convergence to .
now putting
,
in (b)
and taking

.......................(3)
Also,

i.e,
from (3) and (4),
Since
As
By putting

................................(4)
is the coincidence point of
let
then
in (b),we get,

As
1

...................(5)

and
As

www.ijmsi.org

18 | Page

Common Fixed Point Theorem for Weakly Compatible Maps in Intuitionistic Fuzzy Metric Spaces
=

..........................(6)

From (5) and (6),we get,

Since
we have
thus is the coincidence point of and If one assume
complete ,then an analogous argument establish this claim.
The remaining two cases pertain essentially to the previous cases. Indeed if
is complete then
and if
is complete then
Thus (c) is completely established.
Since the pair
are weakly compatible ,i.e.
and
Putting
in (b),we get

to be

As
................................(7)
and
As
..............................(8)
From (7) and (8), implies that
Similarly by putting
in (b) and as
We have
i.e is a common fixed point of
and
Uniqueness- let
be another common fixed point of
Then by putting

and

....................(9)
and

.
From (9) and (10)
for all
and
Therefore is the unique common fixed point of

......................(10)

and

Theorem 3.3 Let

be an intuitionstic fuzzy metric space with continuous t-norm and continuous
t-norm defined by
Let
and be self mappings in s.t.
a)
b)
There exist a constant

, for each

is continuous function s.t.

and

with
(c)

If one of the

is a complete subspace of

www.ijmsi.org

then

19 | Page

Common Fixed Point Theorem for Weakly Compatible Maps in Intuitionistic Fuzzy Metric Spaces
have a coincidence point.
(d)
Moreover if the pair
are weakly compatible ,then
common fixed point.
Proof Let
be an arbitrary point. since
there exist
since
for this
there is
s.t.
and so on. Inductively we get a sequence
and
in
Putting

have a unique
s.t.

again

s.t.

in (b) we have,

........................(1)

..........................(2)
Hence we have from (1) and (2)
and

Similarly we also have

and
.
and
,
Hence by lemma (2.12) ,
is a Cauchy sequence in
Now suppose
is a complete subspace of .note that the sequence
is contained in
and has
a limit in
say so we get
we shall use the fact that subsequence
also convergence to
. now putting
,
in (b)
and taking
, we have
As
............................(3)

As

From (3) and (4) ,

and
. Since
let
then
Putting
and

. Since

.........................(4)
thus we have
implies that

that is

is coincidence point of

in (b), we have

As

........................(5)

..............................(6)
From (5) and (6),we have

www.ijmsi.org

20 | Page

Common Fixed Point Theorem for Weakly Compatible Maps in Intuitionistic Fuzzy Metric Spaces
Again Putting

and

in (b) and as

..................(7)

From (7) and (8),

By putting
Now putting

............................(8)
So
in (b) and taking
,
hence
in (b) and using (d) ,we have
thus

and
therefore
, we put

Since
To prove ,
in (b) and using (d),
We have
and
Thus
Since
therefore
By combining the above result we have
that is is a common fixed point of
Uniqueness Let
be another common
By putting
we have
Hence
for all
and
Therefore is the unique common fixed point of

fixed

point

of

and

then

and
and

REFERENCES
[1]
[2]
[3]
[4]
[5]
[6]
[7]
[8]
[9]
[10]
[11]
[12]
[13]
[14]
[15]
[16]
[17]
[18]
[19]
[20]
[21]
[22]
[23]
[24]
[25]
[26]

Zadeh, L. A (1965), Fuzzy sets, Inform. and Control, 8, 338353.

Atanassov K.(1986), Intuitionistic fuzzy sets, Fuzzy Sets and System, 20, 87- 96.
Coker, D.(1997), An introduction to intuitionistic fuzzy topological spaces, Fuzzy Sets and System, 88, 8189.
C. Alaca, D. Turkoglu and C. Yildiz, Fixed points in intuitionistic fuzzy metric spaces, Choas, Solitons & Fractals, 29 (2006),
10731078.
C. Alaca, I. Altun and D. Turkoglu, On compatible mappings of type (I) and (II) in intuitionistic fuzzy metric spaces, Commun.
Korean Math. Soc., 23(2008), 427446.
C. Alaca, D. Turkoglu and C. Yildiz, Common xed points of compatible maps in intuitionistic fuzzy metric spaces, Southeast
Asian Bull. Math., 32(2008), 2133.
M. Aamri and D. EI Moutawakil, Some new common xed point theorems under strict contractive conditions, J.Math. Anal. Appl.,
270(2002), 181188.
[S. Banach, Theoriles operations Linearies Manograie Mathematyezne, Warsaw, Poland, 1932.
L. Ciric, S. Jesic and J. Ume, The existence theorems for xed and periodic points of nonexpansive mappings in intuitionistic fuzzy
metric spaces, Choas, Solitons & Fractals, 37(2008), 781791.
M. Edelstein, On xed and periodic points under contractive mappings, J. London Math. Soc., 37(1962), 74 79.
M. Grabiec, Fixed points in fuzzy metric spaces, Fuzzy Sets and Systems, 27(1988), 385389.
V. Gregory, S. Romaguera and P. Veeramani, A note on intuitionistic fuzzy metric spaces, Chaos, Solitons & Fractals, 28 (2006),
902905.
S. Jesic, Convex structure, normal structure and a xed point theorem in intuitionistic fuzzy metric spaces, Chaos, Solitons &
Fractals, 41(2009), 292301.
O. Karmosil and J. Michalek, Fuzzy metric and statistical metric spaces, Kybernetica, 11(1975), 326334.
E. P. Klement, R. Mesiar and E. Pap, Triangular Norms, Kluwer Academic Pub. Trends in Logic 8, Dordrecht 2000.
S. Kutukcu, Weak Compatibility and common coincidence points in intuitionistic fuzzy metric spaces, Southeast Asian Bulletin of
Mathematics, 32(2008), 10811089.
S. Kutukcu, C. Yildiz and D. Turkoglu, Fixed points of contractive mappings in intuitionistic fuzzy metric spaces, J. Comput. Anal.
Appl., 9(2007), 181193.
K. Menger, Statistical metrices, Proc. Nat. Acad. Sci., 28(1942), 535537.
S. N. Mishra, N. Sharma and S. L. Singh, Common xed points of maps on fuzzy metric spaces, Internat. J. Math. Math. Sci.,
17(1994), 253258.
J. H. Park, Intuitionistic fuzzy metric spaces, Choas, Solitons & Fractals, 22(2004), 10391046.
R. P. Pant, Common xed points of contractive maps, J. Math. Anal. Appl., 226(1998), 251258.
R. P. Pant, Noncompatible mappings and common xed points, Soochow J. Math., 26(2000), 2935.
R. P. Pant, Common xed points of noncommuting mappings, J. Math. Anal. Appl., 188(1994), 436440.
R. P. Pant, Common xed points of Lipschitz type mapping Pairs, J. Math. Anal. Appl., 240(1999), 280283.
V. Pant, Some xed point theorems in fuzzy metric space, Tamkang J. Math., 40(2009), 5966.
H. K. Pathak, Y. J. Cho and S. M. Kang, Remarks on R-weakly commuting mappings and common xed point theorems, Bull.
Korean Math. Soc., 34(1997), 247257.

www.ijmsi.org

21 | Page

Common Fixed Point Theorem for Weakly Compatible Maps in Intuitionistic Fuzzy Metric Spaces
[27]
[28]
[29]
[30]
[31]
[32]
[33]
[34]
[35]
[36]
[37]

LDJ Sigalottiand A. Mejias, OnEl Naschiesconjugate complex time, fractalE() space-timeand faster-thanlight particles, Int. J.
Nonlinear Sci. Number Simul., 7, (2006), 467472.
R. Saadati, S. Sedghi and N. Shobe, Modied intuitionistic fuzzy metric spaces and some xed point theorems, Chaos, Solitons &
Fractals, 38(2008), 3647.
B. Schweizer and A. Sklar, Statistical metric spaces, Pacic Journal Math., 10(1960), 314334.
Sushil Sharma and B. Deshpande, Commonxed point theorems for nite number of mappings without continuity and compatibility
on intuitionistic fuzzy metric spaces, Choas, Solitons & Fractals, 40(2009), 2242 2256.
Sushil Sharma and B. Deshpande, Compatible mappings of type (I) and (II) on intuitionistic in consideration of common xed
point, Comm. Korean Math. Soc., 24(2009), 197214.
Sushil Sharmaand B. Deshpande,Discontinuity and weak compatibility in xed point consideration on non-complete fuzzy metric
spaces, J. Fuzzy Math., 11(2003), 671686.
Sushil Sharma, S. Kutukcu and A. Pathak, Common xed point theorems for weakly compatible mappings in intuitionistic fuzzy
metric spaces, J. Fuzzy Math., 17(2009), 225240.
D. Turkoglu, C. Alaca and C. Yildiz, Compatible maps and compatible maps of types () and () in intuitionistic fuzzy metric
spaces, Demonstratio Math., 39 (2006), 671684.
D. Turkoglu, C. Alaca, Y. J. Cho and C. Yildiz, Common xed point theorems in intuitionistic fuzzy metric spaces, J. Appl. Math.
and Computing, 22 (2006), 411424.
R. Vasuki, Common xed point for R-weakly commuting maps in fuzzy metric spaces, Indian J. Pure Appl. Math., 30(1999), 419
423.
R. R. Yager, On a class of weak triangular norm operators, InformationSciences, 96(1997), 4778.

www.ijmsi.org

22 | Page