SlideShare a Scribd company logo
Network and Complex Systems www.iiste.org
ISSN 2224-610X (Paper) ISSN 2225-0603 (Online)
Vol.3, No.6, 2013
5
Common fixed theorems for weakly compatible mappings via an
implicit relation using the common (E.A) property in intuitionistic
fuzzy metric spaces
* Kamal Wadhwa, ** Ramakant Bhardwaj and *Jyoti Panthi
*Govt. Narmada Mahavidyalaya, Hoshangabad, (M.P) India
** TRUBA Institute of Engineering and Information technology, Bhopal
Abstract:
In this chapter, we prove two common fixed theorems for weakly compatible mappings via an implicit relation
using the common (E.A) property in intuitionistic fuzzy metric spaces
1. Introduction
The concept of Fuzzy sets was initially investigated by Zadeh [14]. Subsequently, it was developed by many
authors and used in various fields. To use this concept, several researchers have defined Fuzzy metric space in
various ways. In 1986, Jungck [6] introduced the notion of compatible maps for a pair of self mappings.
However, the study of common fixed points of non-compatible maps is also very interesting. Aamri and El
Moutawakil [15] generalized the concept of non-compatibility by defining the notion of property (E.A) and in
2005, Liu, Wu and Li [23] defined common (E.A) property in metric spaces and proved common fixed point
theorems under strict contractive conditions. Jungck and Rhoades [7] initiated the study of weakly compatible
maps in metric space and showed that every pair of compatible maps is weakly compatible but reverse is not
true. Many results have been proved for contraction maps satisfying property (E.A) in different settings such as
probabilistic metric spaces [11, 21], fuzzy metric spaces [5, 18, and 19]. Atanassov [12] introduced and studied
the concept of intuitionistic fuzzy sets as a generalization of fuzzy sets [14] and later there has been much
progress in the study of intuitionistic fuzzy sets [4, 9].
In 2004, Park [10] defined the notion of intuitionistic fuzzy metric space with the help of continuous t-norms and
continuous t-conorms as a generalization of fuzzy metric space due to George and Veeramani [1]. Fixed point
theory has important applications in diverse disciplines of mathematics, statistics, engineering, and economics in
dealing with problems arising in: Approximation theory, potential theory, game theory, mathematical economics,
etc. Recently, Kumar [22] established some common fixed point theorems in intuitionistic fuzzy metric space
using property (E.A). In 2010, Huang et al. [24] proved some results for families of compatible mappings. In this
paper, employing common (E.A) property, we prove two common fixed theorems for weakly compatible
mappings via an implicit relation in intuitionistic fuzzy metric spaces.
2. Preliminaries
The concepts of triangular norms (t-norms) and triangular conorms (t-conorms) are known as the axiomatic
skelton that we use are characterization fuzzy intersections and union respectively. These concepts were
originally introduced by Menger [14] in study of statistical metric spaces.
Definition 2.1 [2] A binary operation ∗ : [0, 1] x [0, 1] → [0, 1] is continuous t-norm if ∗ satisfies the following
conditions:
(1) ∗ is commutative and associative,
(2) ∗ is continuous,
(3) a ∗ 1 = a for all a ∈ [0, 1],
(4) a ∗ b ≤ c ∗ d whenever a ≤c and b ≤ d for all a, b, c, d ∈[0, 1].
Definition 2.2 [2] A binary operation ◊ : [0, 1] x [0, 1] → [0, 1] is continuous t-conorm if ◊ satisfies the
following conditions:
(1) ◊ is commutative and associative,
(2) ◊ is continuous,
(3) a ◊ 0 = a for all a ∈ [0, 1],
(4) a ◊ b ≤ c ◊ d whenever a ≤ c and b ≤ d for all a, b, c, d ∈ [0, 1].
Using the concept of intuitionistic fuzzy sets Alaca et al. [3] defined the notion of intuitionistic fuzzy metric
space with the help of continuous t-norm and continuous t-conorms as a generalization of fuzzy metric space due
to Kramosil and Michalek [8] as:
Definition 2.3 [3] A 5-tuple (X, M, N, ∗, ◊) is said to be an intuitionistic fuzzy metric space if X is an arbitrary
set, ∗ is a continuous t-norm, ◊ is a continuous t-conorm and M, N are fuzzy sets on X2
x [0,1) satisfying the
following conditions:
(1) M(x, y, t) + N(x, y, t) ≤ 1 for all x, y ∈ X and t > 0,
Network and Complex Systems www.iiste.org
ISSN 2224-610X (Paper) ISSN 2225-0603 (Online)
Vol.3, No.6, 2013
6
(2) M(x, y, 0) = 0 for all x, y ∈ X,
(3) M(x, y, t) = 1 for all x, y ∈X and t > 0 if and only if x = y,
(4) M(x, y, t) = M(y, x, t) for all x, y ∈ X and t > 0,
(5) M(x, y, t) ∗M(y, z, s) ≤ M(x, z, t + s) for all x, y, z ∈ X and s, t > 0,
(6) for all x, y ∈ X, M(x, y, .) : [0,∞) → [0, 1] is left continuous,
(7) = 1 for all x, y ∈ X and t > 0,
(8) N(x, y, 0) = 1 for all x; y ∈X,
(9) N(x, y, t) = 0 for all x, y ∈ X and t > 0 if and only if x = y,
(10) N(x, y, t) = N(y, x, t) for all x; y ∈ X and t > 0,
(11) N(x, y, t) ◊ N(y, z, s) = N(x, z, t + s) for all x, y, z ∈ X and s, t > 0,
(12) for all x, y ∈ X, N(x, y, .) : [0, ∞) → [0, 1] is right continuous,
(13) = 0 for all x, y ∈ X.
Then (M, N) is called an intuitionistic fuzzy metric space on X. The functions M(x, y, t) and N(x, y, t) denote the
degree of nearness and the degree of non-nearness between x and y with respect to t, respectively.
Remark 2.4 [3] Every fuzzy metric space (X, M, ∗) is an intuitionistic fuzzy metric space of the form (X, M, 1-
M, ∗, ◊) such that t-norm ∗ and t-conorm ◊ are associated as x ◊ y = 1-((1-x) ∗ (1-y)) for all x, y ∈ X.
Remark 2.5 [3] In intuitionistic fuzzy metric space (X, M, N, ∗, ◊), M(x, y, ∗) is non-decreasing and N(x, y, ◊)
is non-increasing for all x, y ∈ X.
Definition 2.6[3] Let (X, M, N, ∗, ◊) be an intuitionistic fuzzy metric space. Then a sequence {xn} in X is said to
be Cauchy sequence if, for all t > 0 and p > 0,
(i) = 1 and = 0
(ii) a sequence {xn} in X is said to be convergent to a point x ∈ X if, for all t > 0,
= 1 and = 0
Definition 2.7 [3] An intuitionistic fuzzy metric space (X, M, N, ∗, ◊) is said to be complete if and only if every
Cauchy sequence in X is convergent.
Example 2.8 [3] Let X and let * be the continuous t-norm and ◊ be the continuous t-conorm
defined by a * b = ab and a ◊ b = min{1, a + b}, respectively, for all a, b ∈ [0, 1]. For each t ∈ (0, ∞) and x, y ∈
X, define (M, N) by
M(x, y, t) =
Clearly, (X, M, N, *, ◊) is complete intuitionistic fuzzy metric space.
Definition 2.9 [15] A pair of self mappings (T, S) of an intuitionistic fuzzy metric space (X, M, N, ∗, ◊) is said
to satisfy the property (E.A) if there exist a sequence {xn} in X such that
= z in X
Example 2.10 Let X = [0, ∞). Consider (X, M, N, ∗, ◊) be an intuitionistic fuzzy metric space as in example 2.8.
Define T, S: X ∈ X by Tx = and Sx = for all x ∈X. Clearly, for sequence {xn} = {1/n}. T and S satisfy
property (E.A).
Definition 2.11 [1] Two pairs (A, S) and (B, T) of self mappings of an intuitionistic fuzzy metric space (X, M,
N, ∗, ◊) are said to satisfy the common (E.A) property if there exist two sequences {xn} and {yn} in X such
that
= z
for some z in X.
Example 2.12 Let X = [-1, 1]. Consider (X, M, N,∗,◊) be an intuitionistic fuzzy metric space as in example 2.8.
Define self mappings A, B, S and T on X as Ax = x/3, Bx=-x/3, Sx = x, and Tx = -x for all x ∈ X. Then with
sequences {xn} = {1/n} and {yn} = {-1/n}. in X, one can easily verify that
= 0
Therefore, pairs (A, S) and (B, T) satisfies the common E.A. property.
Definition 2.13 [7] A pair of self mappings (T, S) of an intuitionistic fuzzy metric space (X, M, N, ∗, ◊) is said to
be weakly compatible if they commute at coincidence points, i.e., if Tu = Su for some u ∈ X, then TSu = STu.
3. Main Results
Network and Complex Systems www.iiste.org
ISSN 2224-610X (Paper) ISSN 2225-0603 (Online)
Vol.3, No.6, 2013
7
Implicit relations play important role in establishing of common fixed point results.
Let M6 be the set of all continuous functions ϕ : [0, 1]6
→ R and ψ : [0, 1]6
→R satisfying the following
conditions:
(A) ϕ(u, 1, u, 1, 1, u) < 0 for all u ∈ (0, 1),
(B) ϕ(u, 1, 1, u, u, 1) < 0 for all u ∈ (0, 1),
(C) ϕ(u, u, 1, 1, u, u) < 0 for all u ∈ (0, 1),
(D) ψ (v, 0, v, 0, 0, v) > 0 for all v ∈ (0, 1),
(E) ψ (v, 0, 0, v, v, 0) > 0 for all v ∈ (0, 1),
(F) ψ (v, v, 0, 0, v, v) > 0 for all v ∈ (0, 1).
if for some constant q ∈ (0,1) we have
(G) ϕ(u(qt), 1, 1,u(t),u(t), 1) ≥ 0 for all u ∈ (0, 1),
Or
ψ (v(qt), 0, 0, v(t),v(t), 0) ≤ 0 for all v ∈ (0, 1),
then u(qt) ≥ u(t) and v(qt) ≤ v(t)
(H) ϕ(u(qt), 1, u(t),1,1,u(t)) ≥ 0 for all u ∈ (0,1)
Or
ψ (v(qt), 0, v(t),0,0,v(t)) ≤ 0 for all v ∈ (0, 1),
then u(qt) ≥ u(t) and v(qt) ≤ v(t)
(I) ϕ(u(qt), u(t),1,1,u(t),u(t)) ≥ 0 for all u ∈ (0,1)
Or
ψ (v(qt), v(t),0,0,v(t),v(t)) ≤ 0 for all v ∈ (0, 1),
then u(qt) ≥ u(t) and v(qt) ≤ v(t)
Theorem 3.1. Let J, K, P, R, S and T be self mappings of an intuitionistic fuzzy metric space (X, M, N, ∗, ◊)
satisfying the following conditions
(i) J(X) ⊂ ST(X), K(X) ⊂ PR(X) ;
(ii) (J, PR) and (K, ST) satisfies the E. A. property
(iii) for any x, y ∈ X, q∈(0,1), ϕ and ψ in M6 and for all t > 0.
ϕ(M(Jx, Ky, qt), M(PRx, STy, t), M(PRx, Jx, t), M(STy, Ky, t), M(PRx, Ky, t), M(STy, Jx, t)) ≥ 0
ψ(N (Jx, Ky, qt), N (PRx, STy, t),N (PRx, Jx, t), N(STy, Ky, t), N(PRx, Ky, t),N(STy, Jx, t)) ≤ 0
Then the pairs (J, PR) and (K, ST) share the common (E. A.) property.
Proof: Suppose that the pair (J, PR) satisfies E.A. property, then there exist a sequence {xn} in X such that
= z for some z in X. Since J(X) ⊂ ST(X), hence for each {xn}, there exist {yn} in X
such that Jxn = Styn. Therefore, z. Now, we claim that
z. Suppose that z, then applying inequality (iii), we obtain
ϕ(M(Jxn, Kyn,qt),M(PRxn,Styn, t),M(PRxn, Jxn, t),M(Styn, Kyn, t),M(PRxn, Kyn,t),M(Styn, Jxn, t))≥ 0
ψ(N (Jxn, Kyn, qt),N(PRxn,Styn, t),N(PRxn, Jxn, t),N(Styn, Kyn, t), N(PRxn, Kyn, t), N(Styn, Jxn,t))≤0
which on making n → ∞ reduces to
ϕ(M(z, ,qt),M(z, z, t),M(z, z,t),M(z, ,t),M(z, , t),M(z, z,t))≥ 0
ψ(N(z, ,qt),N(z, z,t),N(z, z, t),N(z, ,t),N(z, ,t),N(z,z, t))≤ 0
ϕ(M(z, ,qt),1, 1, M(z, , t), M(z, , t),1) ≥ 0
ψ(N(z, ,qt),0, 0, N(z, , t), N(z, , t),0 ) ≤ 0
Using (G)
ϕ(M(z, ,t),1, 1, M(z, , t), M(z, , t),1) ≥ 0
ψ(N(z, ,t),0, 0, N(z, , t), N(z, , t),0 ) ≤ 0
which is a contradiction to (B) and (E), and therefore, z. Hence, the pairs (J, PR) and (K, ST)
share the common (E.A.) property.
Theorem 3.2: Let J, K, P, R, S and T be self mappings of an intuitionistic fuzzy metric space (X, M, N, ∗, ◊)
satisfying the conditions (2) and (4) the pair (J, PR) and (K, ST) share the common (E.A.) property, (5) PR(X)
and ST(X) are closed subsets of X.
Then the pairs (J, PR) and (K, ST) have a point of coincidence each. Moreover, J, K, P, R, S and T have a unique
common fixed point provided both the pairs (J, PR) and (K, ST) are weakly compatible.
Proof: In view of (4), there exist two sequences {xn} and {yn} in X such that
=z for some z ∈ X.
Network and Complex Systems www.iiste.org
ISSN 2224-610X (Paper) ISSN 2225-0603 (Online)
Vol.3, No.6, 2013
8
Since PR(X) is a closed subset of X, therefore, there exists a point u in X such that z = PRu. We claim that
Ju = z. If Ju ≠ z, then by (3), take x = u, y = yn,
ϕ(M(Ju, Kyn,qt),M(PRu, Styn, t),M(PRu, Ju, t),M(Styn, Kyn, t),M(PRu, Kyn, t),M(Styn, Ju, t))≥ 0
ψ(N(Ju, Kyn, qt), N(PRu, Styn, t), N(PRu, Ju, t), N(Styn, Kyn, t), N(PRu, Kyn, t),N(Styn, Ju, t))≤ 0
When n→∞
ϕ(M (Ju, z, qt), M (z, z, t), M (z, Ju, t), M (z, z, t), M (z, z, t), M (z, Ju, t))≥ 0
ψ(N (Ju, z, qt), N (z, z, t), N (z, Ju, t), N (z, z, t), N (z, z, t), N (z, Ju, t))≤ 0
ϕ(M (Ju, z, qt), 1, M (Ju, z, t), 1, 1, M (Ju, z, t)) ≥ 0
ψ(N (Ju, z, qt), 0, N (Ju, z, t), 0, 0, N (Ju, z, t))≤ 0
Using (H)
ϕ(M (Ju, z, t), 1, M (Ju, z, t), 1, 1, M (Ju, z, t)) ≥ 0
ψ(N (Ju, z, t), 0, N (Ju, z, t), 0, 0, N (Ju, z, t))≤ 0
which is a contradiction to (A) and (D). Therefore, Ju = z = PRu which shows that u is a coincidence point of the
pair (J, PR).
Since ST(X) is also a closed subset of X, therefore z in ST(X) and hence there exists v ∈ X such
that STv = z = Ju = PRu. Now, we show that Kv = z.
If Kv ≠z, then by using inequality (3), take x = u, y = v, we have
ϕ(M(Ju, Kv, qt),M(PRu, STv, t),M(PRu, Ju, t), M(STv, Kv, t), M(PRu, Kv, t), M(STv, Ju, t))≥ 0
ϕ(M (z, Kv, qt), 1, 1, M (z, Kv, t), M (z, Kv, t), 1)≥ 0
and
ψ(N (Ju, Kv, qt), N (PRu, STv, t), N(PRu, Ju, t), N(STv, Kv, t), N(PRu, Kv, t),N(STv, Ju, t))≤ 0
ψ(N (z, Kv, qt), 0, 0, N (z, Kv, t), N (z, Kv, t), 0)≤ 0
Using (G)
ϕ(M (z, Kv, t), 1, 1, M (z, Kv, t), M (z, Kv, t), 1)≥ 0
ψ(N (z, Kv,t), 0, 0, N (z, Kv, t), N (z, Kv, t), 0)≤ 0
which is a contradiction to (B) and (E). Therefore, Kv = z = STv which shows that v is a coincidence point of the
pair (K, ST).
Since the pairs (J, PR) and (K, ST) are weakly compatible and Ju = PRu, Kv = STv, therefore, Jz = JPRu = PRJu
= PRz, Kz = KSTv = STKv = STz.
If Az ≠ z, then by using inequality (3), we have
ϕ(M(Jz, Kv, qt),M(PRz, STv, t),M(PRz, Jz, t),M(STv, Kv, t), M(PRz, Kv, t),M(STv, Jz, t))≥ 0
ϕ(M (Jz, z,qt), M (Jz, z, t), M (Jz, Jz, t), M (Kv, Kv, t), M (Jz, z, t), M (z, Jz, t))≥ 0
ϕ(M (Jz, z, qt), M (Jz, z, t), 1, 1, M (Jz, z, t), M (Jz, z, t))≥ 0
and
ψ(N(Jz, Kv,qt),N(PRz, STv, t), N(PRz, Jz, t), N(STv, Kv, t), N(PRz, Kv, t),N(STv, Jz, t))≤ 0
ψ(N (Jz, z, qt), N (Jz, z, t), N (Jz, Jz, t), N (Kv, Kv, t), N (Jz, z, t), N (z, Jz, t))≤ 0
ψ(N (Jz, z, qt), N (Jz, z, t), 0, 0, N (Jz, z, t), N (Jz, z, t)) ≤ 0
Using (I)
ϕ(M (Jz, z, t), M (Jz, z, t), 1, 1, M (Jz, z, t), M (Jz, z, t)) ≥ 0
ψ(N (Jz, z, t), N (Jz, z, t), 0, 0, N (Jz, z, t), N (Jz, z, t)) ≤ 0
which is a contradiction to (C) and (F). Therefore, Jz = z = PRz.
Similarly, one can prove that Kz = STz = z. Hence, Jz = Kz = PRz = STz, and z is common fixed point of J, K,
P, R, S and T.
Uniqueness: Let z and w be two common fixed points of J, K, P, R, S and T. If z ≠w, then by using inequality
(3), we have
ϕ(M(Jz, Kw, qt), M(PRz, STw, t), M(PRz, Jz, t), M(STw, Kw, t), M(PRz, Kw, t), M(STw, Jz, t))≥ 0
ϕ(M (z, w, qt), M (z, w, t), M (z, z, t), M (w, w, t), M (z, w, t), M (w, z, t))≥ 0
ϕ(M (z, w, qt), M (z, w, t), 1, 1, M (z, w, t), M (z, w, t))≥ 0
and
ψ(N (Jz, Kw, qt), N(PRz, STw, t), N(PRz, Jz, t), N(STw, Kw, t), N(PRz, Kw, t), N(STw, Jz, t))≤ 0
ψ(N (z, w, qt), N (z, w, t), N (z, z, t), N (w, w, t), N (z, w, t), N (w, z, t))≤ 0
ψ(N (z, w, qt), N (z, w, t), 0, 0, N (z, w, t), N (z, w, t))≤ 0
Using (I)
ϕ(M (z, w, t), M (z, w, t), 1, 1, M (z, w, t), M (z, w, t))≥ 0
ψ(N (z, w, t), N (z, w, t), 0, 0, N (z, w, t), N (z, w, t))≤ 0
which is a contradiction to (C) and (F). Therefore, z = w.
Network and Complex Systems www.iiste.org
ISSN 2224-610X (Paper) ISSN 2225-0603 (Online)
Vol.3, No.6, 2013
9
References
1. A. George and Veeramani: On some results in fuzzy metric spaces. Fuzzy Sets and Systems, 64,395-
399, 1994.
2. B. Schweizer and A. Sklar: Probabilistic Metric Spaces. North Holland, Amsterdam, 1983.
3. C. Alaca, D. Turkoglu and C. Yildiz: Fixed points in intuitionistic fuzzy metric spaces. Chaos, Solitons
& Fractals, 29,1073-1078, 2006.
4. D. Coker: An introduction to intuitionistic fuzzy topological spaces. Fuzzy Sets and System, 88,81-89,
1997.
5. D. Mihet: Fixed point theorems in fuzzy metric spaces using property E.A. Nonlin. Anal.,
73(7),21842188, 2010.
6. G. Jungck: Compatible mappings and common fixed points. Int. J. Math. Math. Sci., 9,771-779, 1986.
7. G. Jungck and B. E. Rhoades: Fixed points for set valued functions without continuity. Indian J. Pure
Appl. Math., 29,227-238, 1998.
8. I. Kramosil and J. Michalek: Fuzzy metric and statistical spaces. Kybernetica, 11,336-344, 1975.
9. J. G. Gutierrez and S. E. Rodabaugh: Order-theoretic, topological, categorical redundancies of interval-
valued sets, grey sets, vague sets, interval-valued intuitionistic" sets, intuitionistic" fuzzy sets and
topologies. Fuzzy Sets Syst, 156(3).
10. J. H. Park: Intuitionistic fuzzy metric spaces. Chaos, Solitons & Fractals, 22,1039-1046, 2004.
11. J. X. Fang and Y. Gao: Common fixed point theorems under strict contractive conditions in menger
spaces. Nonlin. Anal., 70(1),184-193, 2009.
12. K. Atanassov: Intuitionistic fuzzy sets. Fuzzy Sets and Systems, 20,87-96, 1986.
13. K. Menger: Statistical metrics. Proc. Nat. Acad. Sci., USA, 28,535-537, 1942.
14. L. A Zadeh: Fuzzy sets. Infor. and Control., 8,338-353, 1965.
15. M. Aamri and D. EI. Moutawakil: Some new common fixed point theorems under strict contractive
conditions. J. Math. Anal. Appl., 270,181-188, 2002.
16. M. Imdad, J. Ali and M. Tanveer: Coincidence and common fixed point theorems for nonlinear
contractions in menger PM-spaces. Chaos, Solitons & Fractals, 42,3121-3129, 2009.
17. R. P. Pant: Common fixed points of contractive maps. J. Math. Anal. Appl., 226,251-258, 1998.
18. S. Kumar and B. Fisher: A common fixed point theorem in fuzzy metric space using property (E. A.)
and implicit relation. Thai J. Math., 8(3),439-446, 2010.
19. S. Manro, S. S. Bhatia and S. Kumar: Common fixed point theorems in fuzzy metric spaces. Annal. of
Fuzzy Math Inform. 3(1),151-158, 2012.
20. S. Manro, S. S. Bhatia and S. Kumar, Sunil Kumar: Common fixed point theorems in intuitionistic
fuzzy metric spaces using common (E.A) property and implicit relation. Journal of Advanced studies in
Topology.vol 3(3),60-68, 2012.
21. S. Kumar and B. D. Pant: Common fixed point theorems in probabilistic metric spaces using implicit
relation and property (E.A.). Bull. Allahabad Math. Soc., 25(2),223-235, 2010.
22. S. Kumar: Common fixed point theorems in intuitionistic fuzzy metric spaces using property (E.A). J.
Indian Math. Soc., 76 (1-4),94-103, 2009.
23. W. Lui, J. Wu and Z. Li: Common fixed points of single-valued and multivalued maps. Int. J. Math.
Math. Sci, 19,3045-3055, 2005.
24. X. Huang, C. Zhu and Xi. Wen: Common fixed point theorems for families of compatible mappings in
intuitionistic fuzzy metric spaces. Ann Univ Ferrara, 56,305-326, 2010.
This academic article was published by The International Institute for Science,
Technology and Education (IISTE). The IISTE is a pioneer in the Open Access
Publishing service based in the U.S. and Europe. The aim of the institute is
Accelerating Global Knowledge Sharing.
More information about the publisher can be found in the IISTE’s homepage:
http://www.iiste.org
CALL FOR JOURNAL PAPERS
The IISTE is currently hosting more than 30 peer-reviewed academic journals and
collaborating with academic institutions around the world. There’s no deadline for
submission. Prospective authors of IISTE journals can find the submission
instruction on the following page: http://www.iiste.org/journals/ The IISTE
editorial team promises to the review and publish all the qualified submissions in a
fast manner. All the journals articles are available online to the readers all over the
world without financial, legal, or technical barriers other than those inseparable from
gaining access to the internet itself. Printed version of the journals is also available
upon request of readers and authors.
MORE RESOURCES
Book publication information: http://www.iiste.org/book/
Recent conferences: http://www.iiste.org/conference/
IISTE Knowledge Sharing Partners
EBSCO, Index Copernicus, Ulrich's Periodicals Directory, JournalTOCS, PKP Open
Archives Harvester, Bielefeld Academic Search Engine, Elektronische
Zeitschriftenbibliothek EZB, Open J-Gate, OCLC WorldCat, Universe Digtial
Library , NewJour, Google Scholar

More Related Content

What's hot (13)

PDF
Some fixed point theorems in fuzzy mappings
Alexander Decker
 
PDF
A common fixed point theorem in cone metric spaces
Alexander Decker
 
PDF
Generalized fixed point theorems for compatible mapping in fuzzy 3 metric spa...
Alexander Decker
 
PDF
a - ANTI FUZZY NEW IDEAL OF PUALGEBRA
ijfls
 
PDF
COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZE...
mathsjournal
 
PDF
Fixed point theorem in fuzzy metric space with e.a property
Alexander Decker
 
PDF
On fixed point theorems in fuzzy 2 metric spaces and fuzzy 3-metric spaces
Alexander Decker
 
PDF
FUZZY IDEALS AND FUZZY DOT IDEALS ON BH-ALGEBRAS
IAEME Publication
 
PDF
Some Common Fixed Point Results for Expansive Mappings in a Cone Metric Space
IOSR Journals
 
PDF
International Journal of Mathematics and Statistics Invention (IJMSI)
inventionjournals
 
PDF
The existence of common fixed point theorems of generalized contractive mappi...
Alexander Decker
 
PDF
On fixed point theorems in fuzzy metric spaces in integral type
Alexander Decker
 
PDF
Complete l fuzzy metric spaces and common fixed point theorems
Alexander Decker
 
Some fixed point theorems in fuzzy mappings
Alexander Decker
 
A common fixed point theorem in cone metric spaces
Alexander Decker
 
Generalized fixed point theorems for compatible mapping in fuzzy 3 metric spa...
Alexander Decker
 
a - ANTI FUZZY NEW IDEAL OF PUALGEBRA
ijfls
 
COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZE...
mathsjournal
 
Fixed point theorem in fuzzy metric space with e.a property
Alexander Decker
 
On fixed point theorems in fuzzy 2 metric spaces and fuzzy 3-metric spaces
Alexander Decker
 
FUZZY IDEALS AND FUZZY DOT IDEALS ON BH-ALGEBRAS
IAEME Publication
 
Some Common Fixed Point Results for Expansive Mappings in a Cone Metric Space
IOSR Journals
 
International Journal of Mathematics and Statistics Invention (IJMSI)
inventionjournals
 
The existence of common fixed point theorems of generalized contractive mappi...
Alexander Decker
 
On fixed point theorems in fuzzy metric spaces in integral type
Alexander Decker
 
Complete l fuzzy metric spaces and common fixed point theorems
Alexander Decker
 

Similar to Common fixed theorems for weakly compatible mappings via an (20)

PDF
COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZE...
mathsjournal
 
PDF
Common Fixed Point Theorems in Compatible Mappings of Type (P*) of Generalize...
mathsjournal
 
PDF
COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZE...
mathsjournal
 
PDF
COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZE...
mathsjournal
 
PDF
COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZE...
mathsjournal
 
PDF
An Altering Distance Function in Fuzzy Metric Fixed Point Theorems
ijtsrd
 
PDF
Semicompatibility and fixed point theorem in fuzzy metric space using implici...
eSAT Journals
 
PDF
Fixed Point Theorem in Fuzzy Metric Space
IJERA Editor
 
PDF
The International Journal of Engineering and Science (IJES)
theijes
 
PDF
Fixed Point Theorem in Fuzzy Metric Space Using (CLRg) Property
inventionjournals
 
PDF
Common Fixed Point Theorem for Weakly Compatible Maps in Intuitionistic Fuzzy...
inventionjournals
 
PDF
On fixed point theorems in fuzzy metric spaces
Alexander Decker
 
PDF
Bd32360363
IJERA Editor
 
PDF
B043007014
inventy
 
PDF
B043007014
inventy
 
PDF
Hk3114251433
IJERA Editor
 
PDF
Fixed Point Theorem of Compatible of Type (R) Using Implicit Relation in Fuzz...
IRJET Journal
 
PDF
8 fixed point theorem in complete fuzzy metric space 8 megha shrivastava
BIOLOGICAL FORUM
 
PDF
A Common Fixed Point Theorem on Fuzzy Metric Space Using Weakly Compatible an...
inventionjournals
 
PDF
Common fixed point of weakly compatible
Alexander Decker
 
COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZE...
mathsjournal
 
Common Fixed Point Theorems in Compatible Mappings of Type (P*) of Generalize...
mathsjournal
 
COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZE...
mathsjournal
 
COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZE...
mathsjournal
 
COMMON FIXED POINT THEOREMS IN COMPATIBLE MAPPINGS OF TYPE (P*) OF GENERALIZE...
mathsjournal
 
An Altering Distance Function in Fuzzy Metric Fixed Point Theorems
ijtsrd
 
Semicompatibility and fixed point theorem in fuzzy metric space using implici...
eSAT Journals
 
Fixed Point Theorem in Fuzzy Metric Space
IJERA Editor
 
The International Journal of Engineering and Science (IJES)
theijes
 
Fixed Point Theorem in Fuzzy Metric Space Using (CLRg) Property
inventionjournals
 
Common Fixed Point Theorem for Weakly Compatible Maps in Intuitionistic Fuzzy...
inventionjournals
 
On fixed point theorems in fuzzy metric spaces
Alexander Decker
 
Bd32360363
IJERA Editor
 
B043007014
inventy
 
B043007014
inventy
 
Hk3114251433
IJERA Editor
 
Fixed Point Theorem of Compatible of Type (R) Using Implicit Relation in Fuzz...
IRJET Journal
 
8 fixed point theorem in complete fuzzy metric space 8 megha shrivastava
BIOLOGICAL FORUM
 
A Common Fixed Point Theorem on Fuzzy Metric Space Using Weakly Compatible an...
inventionjournals
 
Common fixed point of weakly compatible
Alexander Decker
 
Ad

More from Alexander Decker (20)

PDF
Abnormalities of hormones and inflammatory cytokines in women affected with p...
Alexander Decker
 
PDF
A validation of the adverse childhood experiences scale in
Alexander Decker
 
PDF
A usability evaluation framework for b2 c e commerce websites
Alexander Decker
 
PDF
A universal model for managing the marketing executives in nigerian banks
Alexander Decker
 
PDF
A unique common fixed point theorems in generalized d
Alexander Decker
 
PDF
A trends of salmonella and antibiotic resistance
Alexander Decker
 
PDF
A transformational generative approach towards understanding al-istifham
Alexander Decker
 
PDF
A time series analysis of the determinants of savings in namibia
Alexander Decker
 
PDF
A therapy for physical and mental fitness of school children
Alexander Decker
 
PDF
A theory of efficiency for managing the marketing executives in nigerian banks
Alexander Decker
 
PDF
A systematic evaluation of link budget for
Alexander Decker
 
PDF
A synthetic review of contraceptive supplies in punjab
Alexander Decker
 
PDF
A synthesis of taylor’s and fayol’s management approaches for managing market...
Alexander Decker
 
PDF
A survey paper on sequence pattern mining with incremental
Alexander Decker
 
PDF
A survey on live virtual machine migrations and its techniques
Alexander Decker
 
PDF
A survey on data mining and analysis in hadoop and mongo db
Alexander Decker
 
PDF
A survey on challenges to the media cloud
Alexander Decker
 
PDF
A survey of provenance leveraged
Alexander Decker
 
PDF
A survey of private equity investments in kenya
Alexander Decker
 
PDF
A study to measures the financial health of
Alexander Decker
 
Abnormalities of hormones and inflammatory cytokines in women affected with p...
Alexander Decker
 
A validation of the adverse childhood experiences scale in
Alexander Decker
 
A usability evaluation framework for b2 c e commerce websites
Alexander Decker
 
A universal model for managing the marketing executives in nigerian banks
Alexander Decker
 
A unique common fixed point theorems in generalized d
Alexander Decker
 
A trends of salmonella and antibiotic resistance
Alexander Decker
 
A transformational generative approach towards understanding al-istifham
Alexander Decker
 
A time series analysis of the determinants of savings in namibia
Alexander Decker
 
A therapy for physical and mental fitness of school children
Alexander Decker
 
A theory of efficiency for managing the marketing executives in nigerian banks
Alexander Decker
 
A systematic evaluation of link budget for
Alexander Decker
 
A synthetic review of contraceptive supplies in punjab
Alexander Decker
 
A synthesis of taylor’s and fayol’s management approaches for managing market...
Alexander Decker
 
A survey paper on sequence pattern mining with incremental
Alexander Decker
 
A survey on live virtual machine migrations and its techniques
Alexander Decker
 
A survey on data mining and analysis in hadoop and mongo db
Alexander Decker
 
A survey on challenges to the media cloud
Alexander Decker
 
A survey of provenance leveraged
Alexander Decker
 
A survey of private equity investments in kenya
Alexander Decker
 
A study to measures the financial health of
Alexander Decker
 
Ad

Recently uploaded (20)

PDF
Newgen 2022-Forrester Newgen TEI_13 05 2022-The-Total-Economic-Impact-Newgen-...
darshakparmar
 
PDF
Empower Inclusion Through Accessible Java Applications
Ana-Maria Mihalceanu
 
PDF
What Makes Contify’s News API Stand Out: Key Features at a Glance
Contify
 
PDF
Presentation - Vibe Coding The Future of Tech
yanuarsinggih1
 
PDF
CIFDAQ Market Wrap for the week of 4th July 2025
CIFDAQ
 
PDF
July Patch Tuesday
Ivanti
 
PDF
Achieving Consistent and Reliable AI Code Generation - Medusa AI
medusaaico
 
PDF
"Beyond English: Navigating the Challenges of Building a Ukrainian-language R...
Fwdays
 
PDF
Blockchain Transactions Explained For Everyone
CIFDAQ
 
PDF
HubSpot Main Hub: A Unified Growth Platform
Jaswinder Singh
 
PPTX
OpenID AuthZEN - Analyst Briefing July 2025
David Brossard
 
PDF
Agentic AI lifecycle for Enterprise Hyper-Automation
Debmalya Biswas
 
PPTX
WooCommerce Workshop: Bring Your Laptop
Laura Hartwig
 
PDF
POV_ Why Enterprises Need to Find Value in ZERO.pdf
darshakparmar
 
PDF
How Startups Are Growing Faster with App Developers in Australia.pdf
India App Developer
 
PPTX
COMPARISON OF RASTER ANALYSIS TOOLS OF QGIS AND ARCGIS
Sharanya Sarkar
 
PPTX
Building Search Using OpenSearch: Limitations and Workarounds
Sease
 
PDF
New from BookNet Canada for 2025: BNC BiblioShare - Tech Forum 2025
BookNet Canada
 
PDF
Mastering Financial Management in Direct Selling
Epixel MLM Software
 
PDF
Newgen Beyond Frankenstein_Build vs Buy_Digital_version.pdf
darshakparmar
 
Newgen 2022-Forrester Newgen TEI_13 05 2022-The-Total-Economic-Impact-Newgen-...
darshakparmar
 
Empower Inclusion Through Accessible Java Applications
Ana-Maria Mihalceanu
 
What Makes Contify’s News API Stand Out: Key Features at a Glance
Contify
 
Presentation - Vibe Coding The Future of Tech
yanuarsinggih1
 
CIFDAQ Market Wrap for the week of 4th July 2025
CIFDAQ
 
July Patch Tuesday
Ivanti
 
Achieving Consistent and Reliable AI Code Generation - Medusa AI
medusaaico
 
"Beyond English: Navigating the Challenges of Building a Ukrainian-language R...
Fwdays
 
Blockchain Transactions Explained For Everyone
CIFDAQ
 
HubSpot Main Hub: A Unified Growth Platform
Jaswinder Singh
 
OpenID AuthZEN - Analyst Briefing July 2025
David Brossard
 
Agentic AI lifecycle for Enterprise Hyper-Automation
Debmalya Biswas
 
WooCommerce Workshop: Bring Your Laptop
Laura Hartwig
 
POV_ Why Enterprises Need to Find Value in ZERO.pdf
darshakparmar
 
How Startups Are Growing Faster with App Developers in Australia.pdf
India App Developer
 
COMPARISON OF RASTER ANALYSIS TOOLS OF QGIS AND ARCGIS
Sharanya Sarkar
 
Building Search Using OpenSearch: Limitations and Workarounds
Sease
 
New from BookNet Canada for 2025: BNC BiblioShare - Tech Forum 2025
BookNet Canada
 
Mastering Financial Management in Direct Selling
Epixel MLM Software
 
Newgen Beyond Frankenstein_Build vs Buy_Digital_version.pdf
darshakparmar
 

Common fixed theorems for weakly compatible mappings via an

  • 1. Network and Complex Systems www.iiste.org ISSN 2224-610X (Paper) ISSN 2225-0603 (Online) Vol.3, No.6, 2013 5 Common fixed theorems for weakly compatible mappings via an implicit relation using the common (E.A) property in intuitionistic fuzzy metric spaces * Kamal Wadhwa, ** Ramakant Bhardwaj and *Jyoti Panthi *Govt. Narmada Mahavidyalaya, Hoshangabad, (M.P) India ** TRUBA Institute of Engineering and Information technology, Bhopal Abstract: In this chapter, we prove two common fixed theorems for weakly compatible mappings via an implicit relation using the common (E.A) property in intuitionistic fuzzy metric spaces 1. Introduction The concept of Fuzzy sets was initially investigated by Zadeh [14]. Subsequently, it was developed by many authors and used in various fields. To use this concept, several researchers have defined Fuzzy metric space in various ways. In 1986, Jungck [6] introduced the notion of compatible maps for a pair of self mappings. However, the study of common fixed points of non-compatible maps is also very interesting. Aamri and El Moutawakil [15] generalized the concept of non-compatibility by defining the notion of property (E.A) and in 2005, Liu, Wu and Li [23] defined common (E.A) property in metric spaces and proved common fixed point theorems under strict contractive conditions. Jungck and Rhoades [7] initiated the study of weakly compatible maps in metric space and showed that every pair of compatible maps is weakly compatible but reverse is not true. Many results have been proved for contraction maps satisfying property (E.A) in different settings such as probabilistic metric spaces [11, 21], fuzzy metric spaces [5, 18, and 19]. Atanassov [12] introduced and studied the concept of intuitionistic fuzzy sets as a generalization of fuzzy sets [14] and later there has been much progress in the study of intuitionistic fuzzy sets [4, 9]. In 2004, Park [10] defined the notion of intuitionistic fuzzy metric space with the help of continuous t-norms and continuous t-conorms as a generalization of fuzzy metric space due to George and Veeramani [1]. Fixed point theory has important applications in diverse disciplines of mathematics, statistics, engineering, and economics in dealing with problems arising in: Approximation theory, potential theory, game theory, mathematical economics, etc. Recently, Kumar [22] established some common fixed point theorems in intuitionistic fuzzy metric space using property (E.A). In 2010, Huang et al. [24] proved some results for families of compatible mappings. In this paper, employing common (E.A) property, we prove two common fixed theorems for weakly compatible mappings via an implicit relation in intuitionistic fuzzy metric spaces. 2. Preliminaries The concepts of triangular norms (t-norms) and triangular conorms (t-conorms) are known as the axiomatic skelton that we use are characterization fuzzy intersections and union respectively. These concepts were originally introduced by Menger [14] in study of statistical metric spaces. Definition 2.1 [2] A binary operation ∗ : [0, 1] x [0, 1] → [0, 1] is continuous t-norm if ∗ satisfies the following conditions: (1) ∗ is commutative and associative, (2) ∗ is continuous, (3) a ∗ 1 = a for all a ∈ [0, 1], (4) a ∗ b ≤ c ∗ d whenever a ≤c and b ≤ d for all a, b, c, d ∈[0, 1]. Definition 2.2 [2] A binary operation ◊ : [0, 1] x [0, 1] → [0, 1] is continuous t-conorm if ◊ satisfies the following conditions: (1) ◊ is commutative and associative, (2) ◊ is continuous, (3) a ◊ 0 = a for all a ∈ [0, 1], (4) a ◊ b ≤ c ◊ d whenever a ≤ c and b ≤ d for all a, b, c, d ∈ [0, 1]. Using the concept of intuitionistic fuzzy sets Alaca et al. [3] defined the notion of intuitionistic fuzzy metric space with the help of continuous t-norm and continuous t-conorms as a generalization of fuzzy metric space due to Kramosil and Michalek [8] as: Definition 2.3 [3] A 5-tuple (X, M, N, ∗, ◊) is said to be an intuitionistic fuzzy metric space if X is an arbitrary set, ∗ is a continuous t-norm, ◊ is a continuous t-conorm and M, N are fuzzy sets on X2 x [0,1) satisfying the following conditions: (1) M(x, y, t) + N(x, y, t) ≤ 1 for all x, y ∈ X and t > 0,
  • 2. Network and Complex Systems www.iiste.org ISSN 2224-610X (Paper) ISSN 2225-0603 (Online) Vol.3, No.6, 2013 6 (2) M(x, y, 0) = 0 for all x, y ∈ X, (3) M(x, y, t) = 1 for all x, y ∈X and t > 0 if and only if x = y, (4) M(x, y, t) = M(y, x, t) for all x, y ∈ X and t > 0, (5) M(x, y, t) ∗M(y, z, s) ≤ M(x, z, t + s) for all x, y, z ∈ X and s, t > 0, (6) for all x, y ∈ X, M(x, y, .) : [0,∞) → [0, 1] is left continuous, (7) = 1 for all x, y ∈ X and t > 0, (8) N(x, y, 0) = 1 for all x; y ∈X, (9) N(x, y, t) = 0 for all x, y ∈ X and t > 0 if and only if x = y, (10) N(x, y, t) = N(y, x, t) for all x; y ∈ X and t > 0, (11) N(x, y, t) ◊ N(y, z, s) = N(x, z, t + s) for all x, y, z ∈ X and s, t > 0, (12) for all x, y ∈ X, N(x, y, .) : [0, ∞) → [0, 1] is right continuous, (13) = 0 for all x, y ∈ X. Then (M, N) is called an intuitionistic fuzzy metric space on X. The functions M(x, y, t) and N(x, y, t) denote the degree of nearness and the degree of non-nearness between x and y with respect to t, respectively. Remark 2.4 [3] Every fuzzy metric space (X, M, ∗) is an intuitionistic fuzzy metric space of the form (X, M, 1- M, ∗, ◊) such that t-norm ∗ and t-conorm ◊ are associated as x ◊ y = 1-((1-x) ∗ (1-y)) for all x, y ∈ X. Remark 2.5 [3] In intuitionistic fuzzy metric space (X, M, N, ∗, ◊), M(x, y, ∗) is non-decreasing and N(x, y, ◊) is non-increasing for all x, y ∈ X. Definition 2.6[3] Let (X, M, N, ∗, ◊) be an intuitionistic fuzzy metric space. Then a sequence {xn} in X is said to be Cauchy sequence if, for all t > 0 and p > 0, (i) = 1 and = 0 (ii) a sequence {xn} in X is said to be convergent to a point x ∈ X if, for all t > 0, = 1 and = 0 Definition 2.7 [3] An intuitionistic fuzzy metric space (X, M, N, ∗, ◊) is said to be complete if and only if every Cauchy sequence in X is convergent. Example 2.8 [3] Let X and let * be the continuous t-norm and ◊ be the continuous t-conorm defined by a * b = ab and a ◊ b = min{1, a + b}, respectively, for all a, b ∈ [0, 1]. For each t ∈ (0, ∞) and x, y ∈ X, define (M, N) by M(x, y, t) = Clearly, (X, M, N, *, ◊) is complete intuitionistic fuzzy metric space. Definition 2.9 [15] A pair of self mappings (T, S) of an intuitionistic fuzzy metric space (X, M, N, ∗, ◊) is said to satisfy the property (E.A) if there exist a sequence {xn} in X such that = z in X Example 2.10 Let X = [0, ∞). Consider (X, M, N, ∗, ◊) be an intuitionistic fuzzy metric space as in example 2.8. Define T, S: X ∈ X by Tx = and Sx = for all x ∈X. Clearly, for sequence {xn} = {1/n}. T and S satisfy property (E.A). Definition 2.11 [1] Two pairs (A, S) and (B, T) of self mappings of an intuitionistic fuzzy metric space (X, M, N, ∗, ◊) are said to satisfy the common (E.A) property if there exist two sequences {xn} and {yn} in X such that = z for some z in X. Example 2.12 Let X = [-1, 1]. Consider (X, M, N,∗,◊) be an intuitionistic fuzzy metric space as in example 2.8. Define self mappings A, B, S and T on X as Ax = x/3, Bx=-x/3, Sx = x, and Tx = -x for all x ∈ X. Then with sequences {xn} = {1/n} and {yn} = {-1/n}. in X, one can easily verify that = 0 Therefore, pairs (A, S) and (B, T) satisfies the common E.A. property. Definition 2.13 [7] A pair of self mappings (T, S) of an intuitionistic fuzzy metric space (X, M, N, ∗, ◊) is said to be weakly compatible if they commute at coincidence points, i.e., if Tu = Su for some u ∈ X, then TSu = STu. 3. Main Results
  • 3. Network and Complex Systems www.iiste.org ISSN 2224-610X (Paper) ISSN 2225-0603 (Online) Vol.3, No.6, 2013 7 Implicit relations play important role in establishing of common fixed point results. Let M6 be the set of all continuous functions ϕ : [0, 1]6 → R and ψ : [0, 1]6 →R satisfying the following conditions: (A) ϕ(u, 1, u, 1, 1, u) < 0 for all u ∈ (0, 1), (B) ϕ(u, 1, 1, u, u, 1) < 0 for all u ∈ (0, 1), (C) ϕ(u, u, 1, 1, u, u) < 0 for all u ∈ (0, 1), (D) ψ (v, 0, v, 0, 0, v) > 0 for all v ∈ (0, 1), (E) ψ (v, 0, 0, v, v, 0) > 0 for all v ∈ (0, 1), (F) ψ (v, v, 0, 0, v, v) > 0 for all v ∈ (0, 1). if for some constant q ∈ (0,1) we have (G) ϕ(u(qt), 1, 1,u(t),u(t), 1) ≥ 0 for all u ∈ (0, 1), Or ψ (v(qt), 0, 0, v(t),v(t), 0) ≤ 0 for all v ∈ (0, 1), then u(qt) ≥ u(t) and v(qt) ≤ v(t) (H) ϕ(u(qt), 1, u(t),1,1,u(t)) ≥ 0 for all u ∈ (0,1) Or ψ (v(qt), 0, v(t),0,0,v(t)) ≤ 0 for all v ∈ (0, 1), then u(qt) ≥ u(t) and v(qt) ≤ v(t) (I) ϕ(u(qt), u(t),1,1,u(t),u(t)) ≥ 0 for all u ∈ (0,1) Or ψ (v(qt), v(t),0,0,v(t),v(t)) ≤ 0 for all v ∈ (0, 1), then u(qt) ≥ u(t) and v(qt) ≤ v(t) Theorem 3.1. Let J, K, P, R, S and T be self mappings of an intuitionistic fuzzy metric space (X, M, N, ∗, ◊) satisfying the following conditions (i) J(X) ⊂ ST(X), K(X) ⊂ PR(X) ; (ii) (J, PR) and (K, ST) satisfies the E. A. property (iii) for any x, y ∈ X, q∈(0,1), ϕ and ψ in M6 and for all t > 0. ϕ(M(Jx, Ky, qt), M(PRx, STy, t), M(PRx, Jx, t), M(STy, Ky, t), M(PRx, Ky, t), M(STy, Jx, t)) ≥ 0 ψ(N (Jx, Ky, qt), N (PRx, STy, t),N (PRx, Jx, t), N(STy, Ky, t), N(PRx, Ky, t),N(STy, Jx, t)) ≤ 0 Then the pairs (J, PR) and (K, ST) share the common (E. A.) property. Proof: Suppose that the pair (J, PR) satisfies E.A. property, then there exist a sequence {xn} in X such that = z for some z in X. Since J(X) ⊂ ST(X), hence for each {xn}, there exist {yn} in X such that Jxn = Styn. Therefore, z. Now, we claim that z. Suppose that z, then applying inequality (iii), we obtain ϕ(M(Jxn, Kyn,qt),M(PRxn,Styn, t),M(PRxn, Jxn, t),M(Styn, Kyn, t),M(PRxn, Kyn,t),M(Styn, Jxn, t))≥ 0 ψ(N (Jxn, Kyn, qt),N(PRxn,Styn, t),N(PRxn, Jxn, t),N(Styn, Kyn, t), N(PRxn, Kyn, t), N(Styn, Jxn,t))≤0 which on making n → ∞ reduces to ϕ(M(z, ,qt),M(z, z, t),M(z, z,t),M(z, ,t),M(z, , t),M(z, z,t))≥ 0 ψ(N(z, ,qt),N(z, z,t),N(z, z, t),N(z, ,t),N(z, ,t),N(z,z, t))≤ 0 ϕ(M(z, ,qt),1, 1, M(z, , t), M(z, , t),1) ≥ 0 ψ(N(z, ,qt),0, 0, N(z, , t), N(z, , t),0 ) ≤ 0 Using (G) ϕ(M(z, ,t),1, 1, M(z, , t), M(z, , t),1) ≥ 0 ψ(N(z, ,t),0, 0, N(z, , t), N(z, , t),0 ) ≤ 0 which is a contradiction to (B) and (E), and therefore, z. Hence, the pairs (J, PR) and (K, ST) share the common (E.A.) property. Theorem 3.2: Let J, K, P, R, S and T be self mappings of an intuitionistic fuzzy metric space (X, M, N, ∗, ◊) satisfying the conditions (2) and (4) the pair (J, PR) and (K, ST) share the common (E.A.) property, (5) PR(X) and ST(X) are closed subsets of X. Then the pairs (J, PR) and (K, ST) have a point of coincidence each. Moreover, J, K, P, R, S and T have a unique common fixed point provided both the pairs (J, PR) and (K, ST) are weakly compatible. Proof: In view of (4), there exist two sequences {xn} and {yn} in X such that =z for some z ∈ X.
  • 4. Network and Complex Systems www.iiste.org ISSN 2224-610X (Paper) ISSN 2225-0603 (Online) Vol.3, No.6, 2013 8 Since PR(X) is a closed subset of X, therefore, there exists a point u in X such that z = PRu. We claim that Ju = z. If Ju ≠ z, then by (3), take x = u, y = yn, ϕ(M(Ju, Kyn,qt),M(PRu, Styn, t),M(PRu, Ju, t),M(Styn, Kyn, t),M(PRu, Kyn, t),M(Styn, Ju, t))≥ 0 ψ(N(Ju, Kyn, qt), N(PRu, Styn, t), N(PRu, Ju, t), N(Styn, Kyn, t), N(PRu, Kyn, t),N(Styn, Ju, t))≤ 0 When n→∞ ϕ(M (Ju, z, qt), M (z, z, t), M (z, Ju, t), M (z, z, t), M (z, z, t), M (z, Ju, t))≥ 0 ψ(N (Ju, z, qt), N (z, z, t), N (z, Ju, t), N (z, z, t), N (z, z, t), N (z, Ju, t))≤ 0 ϕ(M (Ju, z, qt), 1, M (Ju, z, t), 1, 1, M (Ju, z, t)) ≥ 0 ψ(N (Ju, z, qt), 0, N (Ju, z, t), 0, 0, N (Ju, z, t))≤ 0 Using (H) ϕ(M (Ju, z, t), 1, M (Ju, z, t), 1, 1, M (Ju, z, t)) ≥ 0 ψ(N (Ju, z, t), 0, N (Ju, z, t), 0, 0, N (Ju, z, t))≤ 0 which is a contradiction to (A) and (D). Therefore, Ju = z = PRu which shows that u is a coincidence point of the pair (J, PR). Since ST(X) is also a closed subset of X, therefore z in ST(X) and hence there exists v ∈ X such that STv = z = Ju = PRu. Now, we show that Kv = z. If Kv ≠z, then by using inequality (3), take x = u, y = v, we have ϕ(M(Ju, Kv, qt),M(PRu, STv, t),M(PRu, Ju, t), M(STv, Kv, t), M(PRu, Kv, t), M(STv, Ju, t))≥ 0 ϕ(M (z, Kv, qt), 1, 1, M (z, Kv, t), M (z, Kv, t), 1)≥ 0 and ψ(N (Ju, Kv, qt), N (PRu, STv, t), N(PRu, Ju, t), N(STv, Kv, t), N(PRu, Kv, t),N(STv, Ju, t))≤ 0 ψ(N (z, Kv, qt), 0, 0, N (z, Kv, t), N (z, Kv, t), 0)≤ 0 Using (G) ϕ(M (z, Kv, t), 1, 1, M (z, Kv, t), M (z, Kv, t), 1)≥ 0 ψ(N (z, Kv,t), 0, 0, N (z, Kv, t), N (z, Kv, t), 0)≤ 0 which is a contradiction to (B) and (E). Therefore, Kv = z = STv which shows that v is a coincidence point of the pair (K, ST). Since the pairs (J, PR) and (K, ST) are weakly compatible and Ju = PRu, Kv = STv, therefore, Jz = JPRu = PRJu = PRz, Kz = KSTv = STKv = STz. If Az ≠ z, then by using inequality (3), we have ϕ(M(Jz, Kv, qt),M(PRz, STv, t),M(PRz, Jz, t),M(STv, Kv, t), M(PRz, Kv, t),M(STv, Jz, t))≥ 0 ϕ(M (Jz, z,qt), M (Jz, z, t), M (Jz, Jz, t), M (Kv, Kv, t), M (Jz, z, t), M (z, Jz, t))≥ 0 ϕ(M (Jz, z, qt), M (Jz, z, t), 1, 1, M (Jz, z, t), M (Jz, z, t))≥ 0 and ψ(N(Jz, Kv,qt),N(PRz, STv, t), N(PRz, Jz, t), N(STv, Kv, t), N(PRz, Kv, t),N(STv, Jz, t))≤ 0 ψ(N (Jz, z, qt), N (Jz, z, t), N (Jz, Jz, t), N (Kv, Kv, t), N (Jz, z, t), N (z, Jz, t))≤ 0 ψ(N (Jz, z, qt), N (Jz, z, t), 0, 0, N (Jz, z, t), N (Jz, z, t)) ≤ 0 Using (I) ϕ(M (Jz, z, t), M (Jz, z, t), 1, 1, M (Jz, z, t), M (Jz, z, t)) ≥ 0 ψ(N (Jz, z, t), N (Jz, z, t), 0, 0, N (Jz, z, t), N (Jz, z, t)) ≤ 0 which is a contradiction to (C) and (F). Therefore, Jz = z = PRz. Similarly, one can prove that Kz = STz = z. Hence, Jz = Kz = PRz = STz, and z is common fixed point of J, K, P, R, S and T. Uniqueness: Let z and w be two common fixed points of J, K, P, R, S and T. If z ≠w, then by using inequality (3), we have ϕ(M(Jz, Kw, qt), M(PRz, STw, t), M(PRz, Jz, t), M(STw, Kw, t), M(PRz, Kw, t), M(STw, Jz, t))≥ 0 ϕ(M (z, w, qt), M (z, w, t), M (z, z, t), M (w, w, t), M (z, w, t), M (w, z, t))≥ 0 ϕ(M (z, w, qt), M (z, w, t), 1, 1, M (z, w, t), M (z, w, t))≥ 0 and ψ(N (Jz, Kw, qt), N(PRz, STw, t), N(PRz, Jz, t), N(STw, Kw, t), N(PRz, Kw, t), N(STw, Jz, t))≤ 0 ψ(N (z, w, qt), N (z, w, t), N (z, z, t), N (w, w, t), N (z, w, t), N (w, z, t))≤ 0 ψ(N (z, w, qt), N (z, w, t), 0, 0, N (z, w, t), N (z, w, t))≤ 0 Using (I) ϕ(M (z, w, t), M (z, w, t), 1, 1, M (z, w, t), M (z, w, t))≥ 0 ψ(N (z, w, t), N (z, w, t), 0, 0, N (z, w, t), N (z, w, t))≤ 0 which is a contradiction to (C) and (F). Therefore, z = w.
  • 5. Network and Complex Systems www.iiste.org ISSN 2224-610X (Paper) ISSN 2225-0603 (Online) Vol.3, No.6, 2013 9 References 1. A. George and Veeramani: On some results in fuzzy metric spaces. Fuzzy Sets and Systems, 64,395- 399, 1994. 2. B. Schweizer and A. Sklar: Probabilistic Metric Spaces. North Holland, Amsterdam, 1983. 3. C. Alaca, D. Turkoglu and C. Yildiz: Fixed points in intuitionistic fuzzy metric spaces. Chaos, Solitons & Fractals, 29,1073-1078, 2006. 4. D. Coker: An introduction to intuitionistic fuzzy topological spaces. Fuzzy Sets and System, 88,81-89, 1997. 5. D. Mihet: Fixed point theorems in fuzzy metric spaces using property E.A. Nonlin. Anal., 73(7),21842188, 2010. 6. G. Jungck: Compatible mappings and common fixed points. Int. J. Math. Math. Sci., 9,771-779, 1986. 7. G. Jungck and B. E. Rhoades: Fixed points for set valued functions without continuity. Indian J. Pure Appl. Math., 29,227-238, 1998. 8. I. Kramosil and J. Michalek: Fuzzy metric and statistical spaces. Kybernetica, 11,336-344, 1975. 9. J. G. Gutierrez and S. E. Rodabaugh: Order-theoretic, topological, categorical redundancies of interval- valued sets, grey sets, vague sets, interval-valued intuitionistic" sets, intuitionistic" fuzzy sets and topologies. Fuzzy Sets Syst, 156(3). 10. J. H. Park: Intuitionistic fuzzy metric spaces. Chaos, Solitons & Fractals, 22,1039-1046, 2004. 11. J. X. Fang and Y. Gao: Common fixed point theorems under strict contractive conditions in menger spaces. Nonlin. Anal., 70(1),184-193, 2009. 12. K. Atanassov: Intuitionistic fuzzy sets. Fuzzy Sets and Systems, 20,87-96, 1986. 13. K. Menger: Statistical metrics. Proc. Nat. Acad. Sci., USA, 28,535-537, 1942. 14. L. A Zadeh: Fuzzy sets. Infor. and Control., 8,338-353, 1965. 15. M. Aamri and D. EI. Moutawakil: Some new common fixed point theorems under strict contractive conditions. J. Math. Anal. Appl., 270,181-188, 2002. 16. M. Imdad, J. Ali and M. Tanveer: Coincidence and common fixed point theorems for nonlinear contractions in menger PM-spaces. Chaos, Solitons & Fractals, 42,3121-3129, 2009. 17. R. P. Pant: Common fixed points of contractive maps. J. Math. Anal. Appl., 226,251-258, 1998. 18. S. Kumar and B. Fisher: A common fixed point theorem in fuzzy metric space using property (E. A.) and implicit relation. Thai J. Math., 8(3),439-446, 2010. 19. S. Manro, S. S. Bhatia and S. Kumar: Common fixed point theorems in fuzzy metric spaces. Annal. of Fuzzy Math Inform. 3(1),151-158, 2012. 20. S. Manro, S. S. Bhatia and S. Kumar, Sunil Kumar: Common fixed point theorems in intuitionistic fuzzy metric spaces using common (E.A) property and implicit relation. Journal of Advanced studies in Topology.vol 3(3),60-68, 2012. 21. S. Kumar and B. D. Pant: Common fixed point theorems in probabilistic metric spaces using implicit relation and property (E.A.). Bull. Allahabad Math. Soc., 25(2),223-235, 2010. 22. S. Kumar: Common fixed point theorems in intuitionistic fuzzy metric spaces using property (E.A). J. Indian Math. Soc., 76 (1-4),94-103, 2009. 23. W. Lui, J. Wu and Z. Li: Common fixed points of single-valued and multivalued maps. Int. J. Math. Math. Sci, 19,3045-3055, 2005. 24. X. Huang, C. Zhu and Xi. Wen: Common fixed point theorems for families of compatible mappings in intuitionistic fuzzy metric spaces. Ann Univ Ferrara, 56,305-326, 2010.
  • 6. This academic article was published by The International Institute for Science, Technology and Education (IISTE). The IISTE is a pioneer in the Open Access Publishing service based in the U.S. and Europe. The aim of the institute is Accelerating Global Knowledge Sharing. More information about the publisher can be found in the IISTE’s homepage: http://www.iiste.org CALL FOR JOURNAL PAPERS The IISTE is currently hosting more than 30 peer-reviewed academic journals and collaborating with academic institutions around the world. There’s no deadline for submission. Prospective authors of IISTE journals can find the submission instruction on the following page: http://www.iiste.org/journals/ The IISTE editorial team promises to the review and publish all the qualified submissions in a fast manner. All the journals articles are available online to the readers all over the world without financial, legal, or technical barriers other than those inseparable from gaining access to the internet itself. Printed version of the journals is also available upon request of readers and authors. MORE RESOURCES Book publication information: http://www.iiste.org/book/ Recent conferences: http://www.iiste.org/conference/ IISTE Knowledge Sharing Partners EBSCO, Index Copernicus, Ulrich's Periodicals Directory, JournalTOCS, PKP Open Archives Harvester, Bielefeld Academic Search Engine, Elektronische Zeitschriftenbibliothek EZB, Open J-Gate, OCLC WorldCat, Universe Digtial Library , NewJour, Google Scholar