COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZED INTUITIONISTIC FUZZY METRIC SPACES

Applied Mathematics and Sciences: An International Journal (MathSJ ), Vol. 2, No. 3, September 2015
DOI : 10.5121/mathsj.2015.2301 1
COMMON FIXED POINT THEOREMS IN
COMPATIBLE MAPPINGS OF TYPE (P*) OF
GENERALIZED INTUITIONISTIC FUZZY
METRIC SPACES
R.Muthuraj1
& R.Pandiselvi2
1
PG and Research Department of Mathematics, H.H.The Rajah’s College,
Pudukkottai – 622 001, India.
2
Department of Mathematics, The Madura college, Madurai – 625 011, India.
ABSTRACT
In this paper, we give some new definition of Compatible mappings of type (P), type (P-1) and type (P-2) in
intuitionistic generalized fuzzy metric spaces and prove Common fixed point theorems for six mappings
under the conditions of compatible mappings of type (P-1) and type (P-2) in complete intuitionistic fuzzy
metric spaces. Our results intuitionistically fuzzify the result of Muthuraj and Pandiselvi [15]
Mathematics subject classifications: 45H10, 54H25
KEYWORDS
Intuitionistic fuzzy metric spaces, compatible mappings of type ( P ), type (P-1) and type (P-2) , common
fixed point .
1.INTRODUCTION
The Concept of fuzzy set was introduced by Zadeh [23] in 1965 .Following the concept of fuzzy
sets, Deng [6] Kaleva and Seikalla [12] and kramosil and Michalek [13] introduced the concept of
fuzzy metric space, George and Veeramani [7] modified the concept of fuzzy metric space
introduced by kramosil and Michalek [13] .
Further, Sedghi and Shobe [19] defined ℳ-fuzzy metric space and proved a common fixed point
theorem in it. Jong Seo Park [15] introduced the concept of semi compatible and Weak
Compatible maps in fuzzy metric space and proved some fixed point theorems satisfying certain
conditions in ℳ-fuzzy metric spaces.
As a generalization of fuzzy sets, Atanassov [1] introduced and studied the concept of
intuitionistic fuzzy sets. Using the idea of intuitionistic fuzzy sets Park [16] defined the notion of
intuitionistic fuzzy metric space with the help of continuous t- norm and continuous t- conorm as
a generalization of fuzzy metric space, George and Veeramani [8] had showed that every metric
induces an intuitionistic fuzzy metric and found a necessary and sufficient conditions for an
intuitionistic fuzzy metric space to be complete. Choudhary [4] introduced mutually contractive
sequence of self maps and proved a fixed point theorem. Kramaosil and Michalek [13] introduced
the notion of Cauchy sequences in an intuitionistic fuzzy metric space and proved the well known
fixed point theorem of Banach[2]. Turkoglu et al [22] gave the generalization of Jungck’s[11]
Common fixed point theorem to intuitionistic fuzzy metric spaces.

2
In this paper, we extend the result of common fixed point theorem for compatible mappings of
type (P-1) and type (P-2) in intuitionistic fuzzy metric space and prove common fixed point
theorem of type (P-1) and type (P-2) in intuitionistic fuzzy metric spaces, we also give an
example to validate our main theorem. Our results intuitionistically fuzzify the result of Muthuraj
and Pandiselvi [15].
2. PRELIMINARIES
We start with the following definitions.
Definition 2.1
A binary operation ∗ : [0,1] × [0,1] → [0,1] is said to be a continuous t-norm if * is satisfies the
following conditions.
(i) ∗ is commutative and associative,
(ii) ∗ is continuous,
(iii) a∗1 = a for all a∈ [0,1],
(iv) a∗b ≤ c∗d whenever a ≤ c and b ≤ d for all a,b,c,d ∈ [0,1].
Definition 2.2
A binary operation ◊ : [0,1] × [0,1] → [0,1] is said to be a continuous t-conorm if ◊ satisfies the
following conditions :
(i) ◊ is commutative and associative,
(ii) ◊ is continuous,
(iii) a ◊ 0 = a for all a ∈ [0,1],
(iv) a ◊ b ≤ c ◊ d whenever a ≤ c and b ≤ d for all a,b,c,d ∈ [0,1].
Definition 2.3
A 5-tuple (X, ℳ, ࣨ, ∗, ◊) is called an intuitionistic fuzzy metric space if X is an arbitrary set, ∗
is a continuous t-norm, ◊ a continuous t-conorm and ℳ, ࣨ are fuzzy sets on X3
× (0, ∞),
satisfying the following conditions, for each x, y, z, a∈X and
t, s > 0,
a) ℳ( x, y, z, t ) + ࣨ( x, y, z, t ) ≤ 1.
b) ℳ( x, y, z, t ) > 0.
c) ℳ( x, y, z, t ) = 1 if and only if x = y = z.
d) ℳ( x, y, z, t ) = ℳ ( p{ x, y, z}, t) where p is a permutation function,
e) ℳ( x, y, a, t ) ∗ ℳ( a, z, z, s ) ≤ ℳ( x, y, z, t + s )
f) ℳ( x, y, z ) : ( 0, ∞) → [0, 1] is continuous
g) ࣨ( x, y, z, t ) > 0
h) ࣨ( x, y, z, t ) = 0, if and only if x = y = z,
i) ࣨ( x, y, z, t = ࣨ( p{ x, y, z}, t) where p is a permutation function,
j) ࣨ( x, y, a, t ) ◊ ࣨ( a, z, z, s ) ≥ ࣨ( x, y, z, t + s ),
k) ࣨ( x, y, z, ⋅) : ( 0, ∞) → [0, 1] is continuous.
Then (ℳ, ࣨ) is called an intuitionistic fuzzy metric on X.

3
Example 2.4
Let X = R, and ℳ(x, y, z, t ) =
୲
୲ା|୶ି୷|ା|୷ି୸|ା|୸ି୶|
, ࣨ( x, y, z, t ) =
|୶ି୷|ା|୷ି୸|ା|୸ି୶|
୲ା|୶ି୷|ା|୷ି୸|ା|୸ି୶|
for every x,
y, z and t > 0, let A and B defined as Ax = 2x + 1, Bx = x + 2, consider the sequence xn =
ଵ
୬
+1, n
= 1 , 2,… Thus we have
lim
୬→∞
ℳ(Axn, 3, 3, t) = lim
୬→∞
ℳ(Bxn, 3, 3, t) =1 and
lim
୬→∞
ࣨ( Axn, 3, 3, t) = lim
୬→∞
ࣨ( Bxn, 3, 3, t) = 0, for every t > 0.
Then A and B satisfying the property (E).
Definition 2.5
Let (X, ℳ, ࣨ, ∗,◊ ) be an intuitionistic fuzzy metric space and {xn} be a sequence in X.
a) {xn} is said to be converges to a point x∈X, if lim
୬→∞
ℳ( x, x, xn, t ) = 1 and
lim
୬→∞
ࣨ( x, x, xn, t ) = 0, for all t > 0.
b) {xn} is called Cauchy sequence if lim
୬→∞
ℳ(xn+p, xn+p, xn, t) = 1 and
lim
୬→∞
ࣨ(xn+p, xn+p, xn, t) = 0 for all t > 0 and p > 0.
c) An intuitionistic fuzzy metric space in which every Cauchy sequence is convergent is
said to be complete.
Lemma 2.6
Let (X, ℳ, ࣨ, ∗, ◊) be an intuitionistic fuzzy metric space. Then ℳ(x, y, z, t) and ࣨ(x, y, z, t)
are non-decreasing with respect to t, for all x, y, z in X.
Proof
By definition 2.3, for each x, y, z, a ∈X and t, s > 0
we have ℳ(x, y, a, t ) ∗ ℳ(a, z, z, s ) ≤ ℳ(x, y, z, t + s ). If we set a = z,
we get ℳ(z, y, z, t ) ∗ ℳ(z, z, z, s ) ≤ ℳ(x, y, z, t + s ), that is
ℳ(x, y, z, t + s ) ≥ ℳ(x, y, z, t ).
Similarly, ࣨ(x, y, a, t) ◊ ࣨ(a, z, z, s ) ≥ ࣨ(x, y, z, t + s ), for each x, y, z, a∈X and
t, s > 0, by definition of (X, ࣨ, ◊ ). If we set a = z, we get
ࣨ(x, y, z, t ) ◊ ࣨ(z, z, z, s ) ≥ ࣨ(x, y, z, t + s )
that is ࣨ(x, y, z, t + s ) ≤ ࣨ(x, y, z, t) .Hence in IFMS (X, ℳ, ࣨ, ∗, ◊ ),
ℳ(x, y, z, t ) and ࣨ(x, y, z, t ) are non-decreasing with respect to t, for all x, y, z in X.

4
3.COMPATIBLE MAPPINGS OF TYPE
Definition 3.1
Let A and S be self mappings from an intuitionistic fuzzy metric space (X, ℳ, ࣨ, ∗,◊) into itself.
Then the mappings are said to be compatible if
lim
୬→∞
ℳ(ASxn, SAxn, SAxn, t) = 1 and
lim
୬→∞
ࣨ(ASxn, SAxn, SAxn, t) = 0, for all t > 0 whenever {xn} is a sequence in X such that lim
୬→∞
Axn
= lim
୬→∞
Sxn = z for some z∈X.
Definition 3.2
Let A and S be self mappings from an intuitionistic fuzzy metric space (X, ℳ, ࣨ, ∗, ◊ ) into
itself. Then the mappings are said to be compatible of type (P), if
lim
୬→∞
ℳ(AAxn, SSxn, SSxn, t ) = 1 and lim
୬→∞
ࣨ(AAxn, SSxn, SSxn, t ) = 0 for all t > 0, whenever
{xn} is a sequence in X such that lim
୬→∞
Axn = lim
୬→∞
Definition 3.3
Let A and S be self mappings from an intuitionistic fuzzy metric space (X, ℳ, ࣨ, ∗, ◊) into itself.
Then the mappings are said to be R-Weakly commuting of type (P), if there exists some R > 0,
such that ℳ(AAx, SSx, SSx, t) ≥ ℳ( Ax, Sx, Sx,
୲
ୖ
),
ࣨ(AAx, SSx, SSx, t) ≤ ࣨ(Ax, Sx, Sx,
୲
ୖ
), for all x in X and t > 0.
Definition 3.4
Let A and S be self mappings from an intuitionistic fuzzy metric space (X, ℳ, ࣨ, ∗, ◊) into
itself. Then the mappings are said to be compatible of type (P-1) if
lim
୬→∞
ℳ(SAxn, AAxn, AAxn, t ) = 1 and lim
୬→∞
ࣨ( SAxn, AAxn, AAxn, t ) = 0 for all t > 0, whenever
{xn} is a sequence in X such that lim
୬→∞
Axn = lim
୬→∞
S xn = z for some z∈X.
Definition 3.5
Let A and S be self mappings from an intuitionistic fuzzy metric space (X, ℳ, ࣨ, ∗,◊ ) into itself.
Then the mappings are said to be compatible of type (P-2) if
lim
୬→∞
ℳ (AAxn, SSxn, SSxn, t) = 1 and lim
୬→∞
ࣨ(AAxn, SSxn, SSxn, t) = 0 for all t > 0 whenever {xn}
is a sequence in X such that lim
୬→∞
Axn = lim
୬→∞

5
Proposition 3.6
Let A and S be self mappings from an intuitionistic fuzzy metric space (X, ℳ, ࣨ, ∗, ◊ ) into
itself.
a) If A is continuous map then the pair of mappings (A, S) is compatible of type (P-1) if and
only if A and S are compatible.
b) If S is a continuous map then the pair of mappings (A, S) is compatible of
type (P-2) if and only if A and S are compatible.
Proof
a) Let lim
୬→∞
Axn = lim
୬→∞
Sxn = z for some z ∈ X, and let the pair (A, S) be compatible of type
(P-1). Since A is continuous, we have lim
୬→∞
ASxn = Az and lim
୬→∞
AAxn = Az. Therefore it
follows that
ℳሺ SAx୬, ASx୬, ASx୬, t ሻ ≥ ℳ ቀ SAx୬, AAx୬, AAx୬,
୲
ଶ
ቁ
∗ ℳሺ AAx୬, ASx୬, ASx୬,
୲
ଶ
ሻ and
ࣨሺ SAx୬, ASx୬, ASx୬, t ሻ ≤ ࣨ ቀ SAx୬, AAx୬, AAx୬,
୲
ଶ
ቁ
◊ ࣨሺ AAx୬, ASx୬, ASx୬,
୲
ଶ
ሻ
yields lim
୬→∞
ℳ ( SAxn, ASxn, ASxn, t ) ≥ 1 ∗ 1 = 1 and
lim
୬→∞
ࣨ( SAxn, ASxn, ASxn, t ) ≤ 0 ◊ 0 = 0 and so the mappings A and S are compatible.
Now, let A and S be compatible. Therefore it follows that
ℳሺSAx୬, AAx୬, AAx୬, t ሻ ≥ ℳ ൬SAx୬, ASx୬, ASx୬,
t
2
൰
∗ ℳሺASx୬, AAx୬, AAx୬,
t
2
ሻ
ࣨሺSAx୬, AAx୬, AAx୬, t ሻ ≤ ࣨ ൬SAx୬, ASx୬, ASx୬,
t
2
൰
◊ ࣨሺASx୬, AAx୬, AAx୬,
t
2
ሻ
yields lim
୬→∞
ℳ(SAxn, AAxn, AAxn, t ) ≥ 1 ∗ 1 = 1 and
lim
୬→∞
ࣨ( SAxn, AAxn, AAxn, t ) ≤ 0 ◊ 0 = 0 and
so that pair of mappings (A,S) are compatible of type (P-1).

6
b) Let lim
୬→∞
Sxn = lim
୬→∞
Axn = z for some z in X and let the pair (A, S) be compatible of type
(P-2). Since S is continuous, we have lim
୬→∞
SAxn = Sz and
lim
୬→∞
SSxn = Sz. Therefore it follows that
ℳሺSAx୬, ASx୬, ASx୬, tሻ ≥ ℳ ൬SAx୬, SSx୬, SSx୬,
t
2
൰
∗ ℳ ቀSSx୬, ASx୬, ASx୬,
୲
ଶ
ቁ and
ࣨሺSAx୬, ASx୬, ASx୬, tሻ ≤ ࣨ ൬SAx୬, SSx୬, SSx୬,
t
2
൰
◊ ࣨ ൬SSx୬, ASx୬, ASx୬,
t
2
൰
yields lim
୬→∞
ℳ( SAxn, ASxn, ASxn, t ) ≥ 1 ∗ 1 = 1 and
lim
୬→∞
ࣨ( SAxn, ASxn, ASxn, t ) ≤ 0 ◊ 0 = 0 and so the mappings A and S are compatible.
Now let A and S be compatible. Then we have
ℳሺASx୬, SSx୬, SSx୬, tሻ ≥ ℳ ൬ASx୬, SAx୬, SAx୬,
t
2
൰
∗ ℳ ቀSAx୬, SSx୬, SSx୬,
୲
ଶ
ቁ and
ࣨሺASx୬, SSx୬, SSx୬, tሻ ≤ ࣨ ൬ASx୬, SAx୬, SAx୬,
t
2
൰
◊ ࣨ ൬SAx୬, SSx୬, SSx୬,
t
2
൰
yields lim
୬→∞
ℳ(ASxn, SSxn, SSxn, t ) ≥ 1 ∗ 1 = 1 and
lim
୬→∞
ࣨ(ASxn, SSxn, SSxn, t) ≤ 0 ◊ 0 = 0 and so the pair of mappings (A, S) are
compatible of type (P-2).
Proposition 3.7
Let A and S be self mappings from an intuitionistic fuzzy metric space (X, ℳ, ࣨ, ∗, ◊) into itself.
If the pair (A, S) is compatible of type (P-2) and Sz = Az for some z∈X. Then ASz = SSz.
Proof:
Let { xn} be a sequence in X defined by xn = z for n=1,2,… and let Az = Sz.
Then we have lim
୬→∞
Sxn = Sz and lim
୬→∞
Axn = Az. Since the pair (A, S) is compatible of type (P-2),
we have
ℳ( ASz, SSz, SSz, t ) = lim
୬→∞
ℳሺASxn, SSxn, SSxn, t ) = 1 and
ࣨ( ASz, SSz, SSz, t ) = lim
୬→∞
ࣨ(ASxn, SSxn, SSxn, t ) = 0.
Hence ASz = SSz.

7
Proposition 3.8
Let A and S self mappings from an intuitionistic fuzzy metric space (X, ℳ, ࣨ, ∗, ◊) with t ∗ t ≥
t and (1- t) ◊ (1- t) ≤ 1- t for all t ∈ [0, 1] if the pair (A, S) are compatible of type (p -1) and Axn,
Sxn → z for some z in X and a sequence {xn} in X.
Then AAxn → Sz, if S is continuous at z.
Proof
Since S is continuous at z, we have SAxn → Sz. Since the pair (A, S) are compatible of type (P-1),
we have ℳ(SAxn, AAxn, AAxn, t) → 1 as n → ∞. It follows that
ℳ( Sz, AAxn, AAxn, t) ≥ ℳ( Sz, SAxn, SAxn,
୲
ଶ
) ∗ ℳ( SAxn, AAxn, AAxn,
୲
ଶ
) and
ࣨ (Sz, AAxn, AAxn, t ) ≤ ࣨ (Sz, SAxn, SAxn,
୲
ଶ
) ∗ ࣨ( SAxn, AAxn, AAxn,
୲
ଶ
) yield
ℳ (Sz, AAxn, AAxn, t) ≥ 1 ∗1 = 1 and
ࣨ(Sz, AAxn, AAxn, t) ≤ 0 ◊ 0 = 0 and so
we have AAxn → Sz as n → ∞.
Proposition 3.9
Let A and S be self mappings from an intuitionistic fuzzy metric space (X, ℳ, ࣨ, ∗, ◊) with t ∗t ≥
t and (1- t) ◊ (1- t) ≤ 1- t for t ∈ [0, 1]. If the pair (A, S) are compatible of type (P - 2) and Axn,
Sxn→z for some z in X and sequence {xn} in X. Then SSxn → Az if A is continuous at z.
Proof
Since A is continuous at z, we have ASxn → Az. Since the pair (A, S) are compatible of type (P -
2), we have ℳ( ASxn, SSxn, SSxn, t ) →1 as n→∞, it follows that
ℳ(Az, SSxn, SSxn, t ) ≥ ℳ(Az, ASxn, ASxn,
୲
ଶ
) ∗ ℳ( ASxn, SSxn, SSxn,
୲
ଶ
) and
ࣨ(Az, SSxn, SSxn, t ) ≤ ࣨ(Az, ASxn, ASxn,
୲
ଶ
) ◊ ࣨ(ASxn, SSxn, SSxn,
୲
ଶ
) yield
lim
୬→∞
ℳ(Az, SSxn, SSxn, t ) ≥ 1 ∗ 1 = 1 and
lim
୬→∞
ࣨ( Az, SSxn, SSxn, t ) ≤ 0 ◊ 0 = 0 and so
we have SSxn → Az as n → ∞.

8
4. MAIN RESULTS
Theorem 4.1
Let (X, ℳ, ࣨ, ∗,◊) be a complete generalized intuitionistic fuzzy metric space and let A, B, P,Q,
S and T be self mappings of X satisfying the following conditions.
(i) P(X) ⊆ ST (X), Q(X) ⊆ AB(X)
(ii) The pair (P, AB) and (Q, ST) are compatible mappings of type (P)
(iii) ST is continuous
(iv) ℳ( Px, Qz, Qz, qt) ≥ min {ℳ(ABx, Py, Qy, t), ℳ(ABx, Py, STz, t),
ℳ(Qy, STz, Py, t), ℳ(ABx, Qy, STz, t)} and
ࣨ( Px, Qz, Qz, qt) ≤ max{ ࣨ(ABx, Py,Qy, t), ࣨ(ABx, Py, STz, t),
ࣨ(Qy, STz, Py, t), ࣨ(ABx, Qy, STz, t)}
then the mappings P, Q, AB and ST have a unique common fixed point in X.
Proof
Let x0 be any arbitrary point in X. Thus we construct a sequence {yn} in X such that
y2n-1 = STx2n-1 = Px2n-2 and y2n = ABx2n = Qx2n-1. Put x = x2n-1, y = x2n-1, z = x2n.
ℳሺ Pxଶ୬ିଵ, Qxଶ୬, Qxଶ୬, qt ሻ ≥ min
‫ە‬
‫۔‬
‫ۓ‬
ℳሺ ABxଶ୬ିଵ, Pxଶ୬ିଵ, Qxଶ୬ିଵ, t ሻ,
ℳሺABxଶ୬ିଵ, Pxଶ୬ିଵ, STxଶ୬, t ሻ,
ℳሺ Qxଶ୬ିଵ, STxଶ୬, Pxଶ୬ିଵ, t ሻ,
ℳሺ ABxଶ୬ିଵ, Qxଶ୬ିଵ, STxଶ୬, t ሻ ۙ
ۘ
ۗ
ℳሺ yଶ୬, yଶ୬ାଵ, yଶ୬ାଵ, qt ሻ ≥ min
‫ە‬
‫۔‬
‫ۓ‬
ℳሺ yଶ୬ିଵ, yଶ୬, yଶ୬, t ሻ,
ℳሺ yଶ୬ିଵ, yଶ୬, yଶ୬, t ሻ,
ℳሺ yଶ୬, yଶ୬, yଶ୬, t ሻ,
ℳሺyଶ୬ିଵ, yଶ୬, yଶ୬, t ሻ ۙ
ۘ
ۗ
ℳሺ yଶ୬, yଶ୬ାଵ, yଶ୬ାଵ, qtሻ ≥ ℳሺyଶ୬ିଵ, yଶ୬, yଶ୬, tሻ
This implies that ℳሺ yଶ୬, yଶ୬ାଵ, yଶ୬ାଵ, tሻis an increasing sequence of positive real numbers.
ࣨሺ Pxଶ୬ିଵ, Qxଶ୬, Qxଶ୬, qt ሻ ≤ max
‫ە‬
‫۔‬
‫ۓ‬
ࣨሺ ABxଶ୬ିଵ, Pxଶ୬ିଵ, Qxଶ୬ିଵ, t ሻ,
ࣨሺABxଶ୬ିଵ, Pxଶ୬ିଵ, STxଶ୬, t ሻ,
ࣨሺ Qxଶ୬ିଵ, STxଶ୬, Pxଶ୬ିଵ, t ሻ,
ࣨሺ ABxଶ୬ିଵ, Qxଶ୬ିଵ, STxଶ୬, t ሻ ۙ
ۘ
ۗ
ࣨሺ yଶ୬, yଶ୬ାଵ, yଶ୬ାଵ, qt ሻ ≤ max
‫ە‬
‫۔‬
‫ۓ‬
ࣨሺ yଶ୬ିଵ, yଶ୬, yଶ୬, t ሻ,
ࣨሺ yଶ୬ିଵ, yଶ୬, yଶ୬, t ሻ,
ࣨሺ yଶ୬, yଶ୬, yଶ୬, t ሻ,
ࣨሺyଶ୬ିଵ, yଶ୬, yଶ୬, t ሻ ۙ
ۘ
ۗ
ࣨሺ yଶ୬, yଶ୬ାଵ, yଶ୬ାଵ, qtሻ ≤ ࣨሺyଶ୬ିଵ, yଶ୬, yଶ୬, tሻ
This implies that ࣨሺ yଶ୬, yଶ୬ାଵ, yଶ୬ାଵ, tሻ is an decreasing sequence of positive real numbers.
Now to prove that ℳሺ y୬, y୬ାଵ, y୬ାଵ, tሻ converges to 1 as n → ∞ and
ࣨሺ yଶ୬, yଶ୬ାଵ, yଶ୬ାଵ, tሻ converges to 0 as n → ∞. By lemma 2.6,

9
ℳሺ y୬, y୬ାଵ, y୬ାଵ, t ሻ ≥ ℳ ൬ y୬ିଵ, y୬, y୬,
t
q
൰ ≥ ℳ ൬ y୬ିଶ, y୬ିଵ, y୬ିଵ,
t
qଶ ൰
. . . ≥ ℳሺ y଴, yଵ, yଵ,
t
q୬
ሻ
Thus ℳሺ y୬, y୬ାଵ, y୬ାଵ, t ሻ ≥ ℳ ቀ y଴, yଵ, yଵ,
୲
୯౤ ቁ and
ࣨሺ y୬, y୬ାଵ, y୬ାଵ, t ሻ ≤ ࣨ ൬ y୬ିଵ, y୬, y୬,
t
q
൰ ≤ ࣨ ൬ y୬ିଶ, y୬ିଵ, y୬ିଵ,
t
qଶ ൰
. . . ≤ ࣨሺ y଴, yଵ, yଵ,
t
q୬ ሻ
Then by the definition of IFMS,
ℳ( yn, yn+p, yn+p, t ) ≥ ℳ( yn, yn+1, yn+1,
୲
୮
) ∗… p times …∗ ℳ( yn+p-1, yn+p, yn+p,
୲
୮
)
≥ ℳ( y0, y1, y1,
୲
୯౤ ) ∗… p times …∗ ℳ( y0, y1, y1,
୲
୮୯౤శ౦షభ )
Thus by the definition of IFMS,
ࣨ(yn, yn+p, yn+p, t) ≤ ࣨ( yn, yn+1, yn+1,
୲
୮
) ∗… p times …∗ ࣨ( yn+p-1, yn+p-1, yn+p,
୲
୮
)
≤ ࣨ( y0, y1, y1,
୲
୯౤ ) ∗ … p times … ∗ ࣨ( y0, y1, y1,
୲
୮୯౤శ౦షభ ).
lim
୬→∞
ℳ( yn, yn+p, yn+p, t ) ≥ 1 ∗ 1∗… p times …∗ 1. lim
୬→∞
ℳ( yn, yn+p, yn+p, t ) = 1 and
lim
୬→∞
ࣨ( yn, yn+p, yn+p, t ) ≤ 0 ∗ 0∗…∗ p times …∗ 0. lim
୬→∞
ࣨ(yn, yn+p, yn+p, t ) = 0.
Thus {yn} is a Cauchy sequence in intuitionistic fuzzy metric space X.
Since X is complete, there exists a point u∈X such that yn → u.
Thus {ABx2n}, {Qx2n-1}, {STx2n-1}, {Px2n-2} are Cauchy sequence converge to u.
Put x = ABx2n, y = u, z = STx2n-1 in (iv), we get
ℳሺ PABxଶ୬, QSTxଶ୬ିଵ, QSTxଶ୬ିଵ, qt ሻ ≥ min
‫ە‬
‫۔‬
‫ۓ‬
ℳሺABABxଶ୬, Pu, Qu, tሻ,
ℳሺABABxଶ୬, Pu, STSTxଶ୬ିଵ, t ሻ,
ℳሺQu, STSTxଶ୬ିଵ, Pu, tሻ,
ℳሺABABxଶ୬, Qu, STSTxଶ୬ିଵ, t ሻ,ۙ
ۘ
ۗ
and
ࣨሺ PABxଶ୬, QSTxଶ୬ିଵ, QSTxଶ୬ିଵ, qt ሻ ≤ max
‫ە‬
‫۔‬
‫ۓ‬
ࣨሺABABxଶ୬, Pu, Qu, tሻ,
ࣨሺABABxଶ୬, Pu, STSTxଶ୬ିଵ, t ሻ,
ࣨሺQu, STSTxଶ୬ିଵ, Pu, tሻ,
ࣨሺABABxଶ୬, Qu, STSTxଶ୬ିଵ, t ሻ,ۙ
ۘ
ۗ
.

10
Now take the limit as n → ∞ and using (ii), we get,
ℳሺPu, Qu, Qu, qtሻ ≥ min ൜
ℳሺ Pu, Pu, Qu, tሻ, ℳሺ Pu, Pu, Qu, tሻ
ℳሺ Qu, Qu, Pu, tሻ, ℳሺ Pu, Qu, Qu, tሻ
ൠ and
ࣨሺPu, Qu, Qu, qtሻ ≤ max ൜
ࣨሺ Pu, Pu, Qu, tሻ, ࣨሺ Pu, Pu, Qu, tሻ
ࣨሺ Qu, Qu, Pu, tሻ, ࣨሺ Pu, Qu, Qu, tሻ
ൠ.
Then by lemma 2.6, we get
ℳሺPu, Qu, Qu, qtሻ ≥ ℳ ሺPu, Qu, Qu, tሻ and
ࣨሺPu, Qu, Qu, qtሻ ≤ ࣨ ሺPu, Qu, Qu, tሻ.
Therefore Pu = Qu. Now put x = ABx2n, y = x2n-1, z = x2n-1, in (iv), we get
ℳሺ PABxଶ୬, Qxଶ୬ିଵ, Qxଶ୬ିଵ, qt ሻ≥ min
‫ە‬
‫۔‬
‫ۓ‬
ℳሺ ABABxଶ୬, Pxଶ୬ିଵ, Qxଶ୬ିଵ, tሻ,
ℳሺABABxଶ୬, Pxଶ୬ିଵ, STxଶ୬ିଵ, t ሻ,
ℳሺ Qxଶ୬ିଵ, STxଶ୬ିଵ, Pxଶ୬ିଵ, t ሻ,
ℳሺABABxଶ୬, Qxଶ୬ିଵ, STxଶ୬ିଵ, t ሻۙ
ۘ
ۗ
and
ࣨሺ PABxଶ୬, Qxଶ୬ିଵ, Qxଶ୬ିଵ, qt ሻ ≤ max
‫ە‬
‫۔‬
‫ۓ‬
ࣨሺ ABABxଶ୬, Pxଶ୬ିଵ, Qxଶ୬ିଵ, tሻ,
ࣨሺABABxଶ୬, Pxଶ୬ିଵ, STxଶ୬ିଵ, t ሻ,
ࣨሺ Qxଶ୬ିଵ, STxଶ୬ିଵ, Pxଶ୬ିଵ, t ሻ,
ࣨሺABABxଶ୬, Qxଶ୬ିଵ, STxଶ୬ିଵ, t ሻۙ
ۘ
ۗ
Thus we have ℳሺ Pu, u, u, qtሻ ≥ ℳሺ Pu, u, u, tሻ and
ࣨሺ Pu, u, u, qtሻ ≥ ࣨሺ Pu, u, u, tሻ.
Therefore Pu = u. This implies Pu = Qu = u.
Now put x = Px2n-2, y = Px2n-2, z = u in (iv), we get
ℳሺPPxଶ୬ିଶ, Qu, Qu, qtሻ ≥ min
‫ە‬
‫۔‬
‫ۓ‬
ℳሺ ABPxଶ୬ିଶ, PPxଶ୬ିଶ, QPxଶ୬ିଶ, t ሻ,
ℳሺABPxଶ୬ିଶ, PPxଶ୬ିଶ, STu, t ሻ,
ℳሺ QPxଶ୬ିଶ, STu, PPxଶ୬ିଶ, t ሻ,
ℳሺABPxଶ୬ିଶ, QPxଶ୬ିଶ, STu, t ሻ ۙ
ۘ
ۗ
and

11
ࣨሺPPxଶ୬ିଶ, Qu, Qu, qtሻ ≤ max
‫ە‬
‫۔‬
‫ۓ‬
ℳሺ ABPxଶ୬ିଶ, PPxଶ୬ିଶ, QPxଶ୬ିଶ, t ሻ,
ℳሺABPxଶ୬ିଶ, PPxଶ୬ିଶ, STu, t ሻ,
ℳሺ QPxଶ୬ିଶ, STu, PPxଶ୬ିଶ, t ሻ,
ℳሺABPxଶ୬ିଶ, QPxଶ୬ିଶ, STu, t ሻ ۙ
ۘ
ۗ
.
Now taking the limit as n → ∞ and on using (ii) and (iii), we get
ℳሺABu, u, u, qtሻ ≥ min ൜
ℳሺABu, ABu, u, t ሻ, ℳሺABu, ABu, u, t ሻ,
ℳሺ Qu, u, ABu, t ሻ, ℳሺABu, Qu, u, t ሻ
ൠ
ࣨሺABu, u, u, qtሻ ≤ max ൜
ࣨሺABu, ABu, u, t ሻ, ࣨሺABu, ABu, u, t ሻ,
ࣨሺ Qu, u, ABu, t ሻ, ࣨሺABu, Qu, u, t ሻ
ൠ.
This implies
ℳሺABu, u, u, qtሻ ≥ min ൜
ℳሺABu, ABu, u, t ሻ, ℳሺABu, ABu, u, t ሻ,
ℳሺu, u, ABu, t ሻ, ℳሺABu, u, u, t ሻ
ൠ
ࣨሺABu, u, u, qtሻ ≤ max ൜
ࣨሺABu, ABu, u, t ሻ, ࣨሺABu, ABu, u, t ሻ,
ࣨሺu, u, ABu, t ሻ, ࣨሺABu, u, u, t ሻ
ൠ .
Therefore by lemma (2.6) we have ABu = u. Thus Pu = Qu = ABu = u.
Put x = u, y = u, z = Qx2n-1, in (iv) we get
ℳሺPu, QQxଶ୬ିଵ, QQxଶ୬ିଵ, qt ሻ ≥ min ൜
ℳሺu, u, u, t ሻ, ℳሺ u, u, STu, t ሻ,
ℳሺu, STu, u, t ሻ, ℳሺ u, u, , STu, t ሻ
ൠ
ࣨሺPu, QQxଶ୬ିଵ, QQxଶ୬ିଵ, qt ሻ ≤ max ൜
ࣨሺu, u, u, t ሻ, ࣨሺ u, u, STu, t ሻ,
ࣨሺu, STu, u, t ሻ, ࣨሺ u, u, , STu, t ሻ
ൠ,
On using lemma, (2.6) we have
ℳሺSTu, STu, u, qt ሻ ≥ ℳሺ STu, STu, u, t ሻ and
ℳሺSTu, STu, u, qt ሻ ≥ ℳሺ STu, STu, u, t ሻ
ࣨ(STu, STu, u, qt ) ≤ ࣨ( STu, STu, u, t ).
Thus STu = u. We get Pu = Qu = ABu = STu = u.
Uniqueness
Let w be another common fixed point of A, B, P, Q, S and T. Then
ℳሺ Pu, Qw, Qw, qt ሻ ≥ min ൜
ℳሺABu, Pw, Qw, t ሻ, ℳሺ ABu, Pw, STw, t ሻ,
ℳሺ Qw, STw, Pw, t ሻ, ℳሺ ABu, Qw, STw, t ሻ
ൠ

12
ℳሺ u, w, w, qt ሻ ≥ min ൜
ℳሺ u, w, w, t ሻ, ℳሺ u, w, w, t ሻ,
ℳሺ w, w, w, t ሻ, ℳሺ u, w, w, t ሻ
ൠ
ℳሺ u, w, w, qt ሻ ≥ ℳሺ u, w, w, t ሻ and
ࣨሺ Pu, Qw, Qw, qt ሻ ≤ max ൜
ࣨሺABu, Pw, Qw, t ሻ, ࣨ ሺ ABu, Pw, STw, t ሻ,
ࣨሺ Qw, STw, Pw, t ሻ, ࣨሺ ABu, Qw, STw, t ሻ
ൠ
ࣨሺ u, w, w, qt ሻ ≤ max ൜
ࣨሺ u, w, w, t ሻ, ࣨሺ u, w, w, t ሻ,
ࣨሺ w, w, w, t ሻ, ࣨሺ u, w, w, t ሻ
ൠ ࣨሺ u, w, w, qt ሻ ≤ ࣨሺ u, w, w, t ሻ,
which is a contradiction. Therefore u = w.
Hence the common fixed point is unique.
Corollary 4.2
Let (X, ℳ, ࣨ, ∗,◊) be a complete generalized intuitionistic fuzzy metric space and let A, P,Q and
S be self mappings of X satisfying the following conditions.
(i) P(X) ⊆ S(X), Q(X) ⊆ A(X)
(ii) The pair (P,A) and (Q,S) are compatible mappings of type (P)
(iii) S is continuous
(iv) ℳ( Px, Qz, Qz, qt ) ≥ min { ℳ( Ax, Py, Qy, t ), ℳ( Ax, Py, Sz, t ),
ℳ( Qy, Sz, Py, t ), ℳ( Ax, Qy, Sz, t )} and
ࣨ( Px, Qz, Qz, qt ) ≤ max {ࣨ( Ax, Py, Qy, t ), ࣨ( Ax, Py, Sz, t ),
ࣨ( Qy, Sz, Py, t ), ࣨ( Ax, Qy, Sz, t )}.
Then the mappings P, Q, A and S have a unique common fixed point in X.
Corollary 4.3
Let (X, ℳ, ࣨ, ∗,◊) be a complete generalized intuitionistic fuzzy metric space and let B,P,Q and
T be self mappings of X satisfying the conditions (i), (ii), (iii), & (iv) with S = I and A = I;
Then the mappings B, P,Q and T have a unique common fixed point.
Corollary 4.4
Let ( X, ℳ, ࣨ, ∗, ◊ ) be a complete generalized intuitionistic fuzzy metric space and let
A,B,P,Q,S and T be self mappings of X satisfying the following conditions:
(i) P(X) ⊆ ST(X), Q(X) ⊆ AB(X)
(ii) The pair (P, AB) and (Q, ST) are compatible mappings of type (P)
(iii) ST is continuous
(iv) ℳ( Px, Qz, Qz, qt) ≥ ℳ( ABx, Py, Qy, t) ∗ ℳ(ABx, Py, STz, t) ∗
ℳ( Qy, STz, Py, t) ∗ ℳ(ABx,Qy,STz,t) and
ࣨ( Px, Qz, Qz, qt) ≤ ࣨ( ABx, Py, Qy, t) ◊ ࣨ( ABx, Py, STz, t) ◊
ࣨ( Qy, STz, Py, t) ◊ ࣨ( ABx, Qy, STz, t)
Then the mappings P,Q,AB and ST have a unique common fixed point in X.

13
REFERENCES
1) Atanassov. K, Intuionistic fuzzy set and system, 29, (1986),87.
2) Banach. S, Theoric les operations linearires manograie, Mathmatyezne Warsaw, Poland, (1932)
3) Cho Y J, Pathak H K, Kang S M & Jang J S, Common fixed points of compatible maps of type (b) of
fuzzy metric spaces, fuzzy sets and systems 93, (1998) 99.
4) Choudhary B S, A unique common fixed point theorem for sequence of self maps in menger spaces,
Bull. Korean math, Soc. 37 (2000). No. 3
5) Dahe, B.C ,Generalized metric spaces with fixed point, Bull.Calcutta Math.Soc.,84(4)(1992),107-113.
6) Deng Z K, Fuzzy pseudo- metric spaces, J. Math. Anal , Appl. 86 (1982) 74.
7) Fang J X, On fixed point theorems in fuzzy metric spaces, fuzzy sets and systems, 46,(1992) 107.
8) George A & Veeramani P, On some results in fuzzy metric spaces, fuzzy sets and systems 64, (1994)
395 - 399.
9) Grabiec M, Fixed points in fuzzy metric spaces, fuzzy sets and systems, 27(1988)385-389.
10) Gregori, VRomaguera. S. and Veereamani, P., A Note on Intuitionistic Fuzzy Metric Spaces, Chaos,
Solitons and Fractals, vol.28, (2006) 902 – 905.
11) Jungck, commuting mappings and fixed points, Amer. Math. Monthly, 83 (1976),261.
12) Kaleva O , Seikkala, S, On fuzzy metric spaces, Fuzzy sets and system, (1962) 122.
13) Kramosil I & Michalek J, Fuzzy metric and statistical metric spaces, kyberntika Appl. 50, (1985)142.
14) Mishra S N, Sharma N & Singh S I, common fixed point of maps on fuzzy metric spaces, Inter.
J.Math. Sci. 17, (1994) 253.
15) Muthuraj. R, Pandiselvi .R, Common Fixed Point Theorems for compatible mappings of type (P-1)
and type (P-2) in M- fuzzy metric spaces, Arab journal of mathematics & mathematical science,
Volume 3, No. 1-10(2013).
16) Park J H, Kwun Y C, & Park J H, A fixed point theorem in the intuitionistic fuzzy metric spaces, far
east J. Math. Sci. 16 (2005), 137-149.
17) Pathak H.K and M.S.Khan, A comparison of various types of Compatible maps and common fixed
points, Indian J. Pure .appl.Math. 28(4).477-485 April 1977.
18) Surjith Singh Chauhan, Common Fixed Point Theorem for Two Pairs of Weakly Compatible
Mappings in M -fuzzy Metric Spaces, Int.Journal of Math.Analysis, Vol.3, 2009, no.8,393-398.
19) S.Sedghi and N.Shobe, Fixed point theorem in M -fuzzy metric spaces with property (E), Advances in
fuzzy Mathematics, 1(1) (2006), 55-65.
20) Surjeet singh chauhan & Kiran utreja 2012, Common Fixed Point Theorem on M-fuzzy metric space
using the concept of compatibility of type (P), Research Journal of Pure Algebra , 2(11), 2012, 350-
354
21) Turkoglu D, Altun I & Cho Y J, Common fixed points of compatible mappings of type (I) and type
(II) in fuzzy metric spaces, J. fuzzy math. 15(2007), 435.
22) Turkoglu D, Alaca C, Cho Y J & Yildiz C, common fixed point theorems in intuitionistic fuzzy
metric Spaces, J. Appl, Math, and computing 22(2006), 41.
23) Zadeh L A, Fuzzy sets, inform, and control 8 (1965) 338.]
Authors
Dr.R.Muthuraj received his Ph.D degree in Mathematics from Alagappa University
Karaikudi, Tamil nadu, India in April 2010. Presently he is an Assistant Professor ,
PG & Research Department of Mathematics, H.H.The Rajah’s College,
Pudukkottai Tamilnadu ,India. He has published over 80 papers in refereed
National and International Journals. He is the reviewer and Editor of the reputed
International Journals.Eight members are doing research work under his guidance.
His research interests are Fuzzy Algebra, Lattice Theory, Discrete Mathematics,
Fuzzy Topology, Fixed point theory and Fuzzy Graph Theory.
R. Pandiselvi received her M.Phil degree from School of Mathematics, Madurai
Kamaraj University, Madurai, Tamilnadu, India. Now she is doing Ph.D at
Bharathidasan University Tiruchirappalli,Tamilnadu, India. Presently she is
working as an Associate Professor in Mathematics , The Madura college, Madurai,
Tamilnadu, India. She has published over 10 papers in reputed National and
International journals. Her research area is Fixed Point Theory.

COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZED INTUITIONISTIC FUZZY METRIC SPACES

More Related Content

What's hot (17)

Similar to COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZED INTUITIONISTIC FUZZY METRIC SPACES (20)

More from mathsjournal (20)

Recently uploaded (20)

COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZED INTUITIONISTIC FUZZY METRIC SPACES