Common Fixed Point and Example for Type(β) Compatible Mappings with Implicit Relation in an Intuitionistic Fuzzy Metric Space
Common Fixed Point and Example for Type(β) Compatible Mappings with Implicit Relation in an Intuitionistic Fuzzy Metric Space
International Journal of Fuzzy Logic and Intelligent Systems. 2014. Mar, 14(1): 66-72
This is an Open Access article distributed under the terms of the Creative Commons Attribution Non-Commercial License (http://creativecommons.org/licenses/by-nc/3.0/) which permits unrestricted noncommercial use, distribution, and reproduction in any medium, provided the original work is properly cited.
• Received : December 03, 2013
• Accepted : February 13, 2014
• Published : March 01, 2014
PDF
e-PUB
PPT
Export by style
Article
Author
Metrics
Cited by
TagCloud
Jong Seo, Park

Abstract
In this paper, we establish common fixed point theorem for type( β ) compatible four mappings with implicit relations defined on an intuitionistic fuzzy metric space. Also, we present the example of common fixed point satisfying the conditions of main theorem in an intuitionistic fuzzy metric space.
Keywords
1. Introduction
Zadeh [1] introduced the concept of fuzzy sets in 1965 and in the next decade, Grabiec [2] obtained the Banach contraction principle in setting of fuzzy metric spaces, Also, Altun and Turkoglu [3] proved some fixed theorems using implicit relations in fuzzy metric spaces. Furthermore, Park et al. [4] defined the intuitionistic fuzzy metric space, and Park et al. [5] proved a fixed point theorem of Banach for the contractive mapping of a complete intuitionistic fuzzy metric space. Recently, Park [6 , 7] , Park et al. [8] obtained a unique common fixed point theorem for type(𝛼) and type(𝛽) compatible mappings defined on intuitionistic fuzzy metric space. Also, authors proved the fixed point theorem using compatible properties in many articles [9 12] .
In this paper, we will obtain a unique common fixed point theorem and example for this theorem under the type(𝛽) compatible four mappings with implicit relations defined on intuitionistic fuzzy metric space.
2. Preliminaries
We will give some definitions, properties of the intuitionistic fuzzy metric space X as following:
Let us recall (see [13] ) that a continuous t –norm is a binary operation ⁎ : [0, 1] × [0, 1] → [0, 1] which satisfies the following conditions:(a)⁎ is commutative and associative; (b)⁎ is continuous; (c) a ⁎ 1 = a for all a ∈ [0, 1]; (d) a b c d whenever a c and b d ( a, b, c, d ∈ [0, 1]).
Similarly, a continuous t –conorm is a binary operation
PPT Slide
Lager Image
: [0, 1] × [0, 1] → [0, 1] which satisfies the following conditions:
• (a)is commutative and associative;
• (b)is continuous;
• (c)a0 =afor alla∈ [0, 1];
• (d)ab≥cdwhenevera≤candb≤d(a, b, c, d∈ [0, 1]).
Definition 2.1. ( [14] ) The 5..tuple ( X,M,N , ⁎,
PPT Slide
Lager Image
) is said to be an intuitionistic fuzzy metric space (IFMS) if X is an arbitrary set, ⁎ is a continuous t –norm,
PPT Slide
Lager Image
is a continuous t –conorm and M,N are fuzzy sets on X 2 × (0,∞) satisfying the following conditions; for all x, y, z X , such that
• (a)M(x,y,t) > 0,
• (b)M(x,y,t) = 1x=y,
• (c)M(x,y,t) =M(y, x, t),
• (d)M(x,y,t) ⁎M(y, z, s) ≤M(x, z, t+s),
• (e)M(x,y,⋅) : (0,∞) → (0, 1] is continuous,
• (f)N(x,y,t) > 0,
• (g)N(x,y,t) = 0x=y,
• (h)N(x,y,t) =N(y, x, t),
• (i)N(x,y,t)N(y, z, s) ≥N(x, z, t+s),
• (j)N(x,y,⋅) : (0,∞) → (0, 1] is continuous.
Note that ( M, N ) is called an IFM 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.
Definition 2.2. ( [6] ) Let X be an IFMS.
(a) { xn } is said to be convergent to a point x X if, for any 0 < 𝜖 < 1 and t > 0, there exists n 0 N such that
M(xn, x, t) > 1 – 𝜖, N(xn, x, t) < 𝜖
for all n n 0 .
(b) { xn } is called a Cauchy sequence if for any 0 < 𝜖 < 1 and t > 0, there exists n 0 N such that
M(xn, xm, t) > 1 – 𝜖, N(xn, xm, t) < 𝜖
for all m, n n 0 .
(c) X is complete if every Cauchy sequence converges in X .
Lemma 2.3. ( [8] ) Let X be an IFMS. If there exists a number k ∈ (0, 1) such that for all x, y X and t > 0,
M(x, y, kt) ≥ M(x, y, t), N(x, y, kt) ≤ N(x, y, t),
then x = y .
Definition 2.4. ( [7] ) Let A,B be mappings from IFMS X into itself. The mappings are said to be type(𝛽) compatible if for all t > 0,
PPT Slide
Lager Image
whenever { xn } ⊂ X such that
PPT Slide
Lager Image
for some x X .
Proposition 2.5. ( [15] ) Let X be an IFMS with t t t and t
PPT Slide
Lager Image
t t for all t ∈ [0, 1]. A,B be type(𝛽) compatible maps from X into itself and let { xn } be a sequence in X such that Axn,Bxn x for some x X . Then we have the following
• (a)BBxn→AxifAis continuous atx,
• (b)AAxn→BxifBis continuous atx,
• (c)ABx=BAxandAx=BxifAandBare continuous atx.
Implicit relations on fuzzy metric spaces have been used in many articles ( [3 , 16] ). Let
PPT Slide
Lager Image
= { ϕ M , 𝜓 N }, I = [0, 1], ϕ M , 𝜓 N : I 6 R be continuous functions and ⁎,
PPT Slide
Lager Image
be a continuous t-norm, t-conorm. Now, we consider the following conditions ( [6] ):
(I) ϕ M is decreasing and 𝜓 N is increasing in sixth variables.
(II) If, for some k ∈ (0, 1), we have
PPT Slide
Lager Image
for any fixed t > 0, any nondecreasing functions u, v : (0,∞) → I with 0 < u ( t ), v ( t ) ≤ 1, and any nonincreasing functions x, y : (0,∞) → I with 0 < x ( t ), y ( t ) ≤ 1, then there exists h ∈ (0, 1) with
u(ht) ≥ v(t) ⁎ u(t), x(ht) ≤ y(t) x(t).
(III) If, for some k ∈ (0, 1), we have
ϕM(u(kt), u(t), 1, 1, u(t), u(t)) ≥ 1
for any fixed t > 0 and any nondecreasing function u : (0,∞) → I , then u ( kt ) ≥ u ( t ). Also, if, for some k ∈ (0, 1), we have
𝜓N(x(kt), x(t), 0, 0, x(t), x(t)) ≤ 1
for any fixed t > 0 and any nonincreasing function x : (0,∞) → I , then x ( kt ) ≤ x ( t ).
Example 2.6. ( [6] ) Let a b = min{ a, b } and a
PPT Slide
Lager Image
b = max{ a, b },
PPT Slide
Lager Image
Also, let t > 0, 0 < u ( t ), v ( t ), x ( t ), y ( t ) ≤ 1, k ∈ (0, ½ ) where u, v : [0,∞) → I are nondecreasing functions and x, y : [0,∞) → I are nonincreasing functions. Now, suppose
PPT Slide
Lager Image
then from Park [6] , ϕ M , 𝜓 N
PPT Slide
Lager Image
.
3. Main Results and Example
Now, we will prove some common fixed point theorem for four mappings on complete IFMS as follows:
Theorem 3.1. Let X be a complete intuitionistic fuzzy metric space with a b = min{ a, b }, a
PPT Slide
Lager Image
b = max{ a, b } for all a, b I and A, B, S and T be mappings from X into itself satisfying the conditions:
• (a)S(X) ⊆B(X) andT(X) ⊆A(X),
• (b) One of the mappingsA, B, S, Tis continuous,
• (c)AandSas well asBandTare type(𝛽) compatible
• (d) There existk∈ (0, 1) andϕM, 𝜓N∈such that
PPT Slide
Lager Image
for all x, yX and t > 0.
Then A, B, S and T have a unique common fixed point in X .
Proof. Let x 0 be an arbitrary point of X . Then from Theorem 3.1 of ( [6] ), we can construct a Cauchy sequence { yn } ⊂ X . Since X is complete, { yn } converges to a point x X . Since { Ax 2n+2 }, { Bx 2n+1 }, { Sx 2n } and { Tx 2n+1 } ⊂ { yn }, we have
PPT Slide
Lager Image
Now, let A is continuous. Then
PPT Slide
Lager Image
By Proposition 2.5,
PPT Slide
Lager Image
Using condition (d), we have, for any t > 0,
PPT Slide
Lager Image
and by letting n → ∞, ϕ M , 𝜓 N are continuous, we have
PPT Slide
Lager Image
Therefore, by (III), we have
M ( Ax, x, kt ) ≥ M ( Ax, x, t ),
N ( Ax, x, kt ) ≤ N ( Ax, x, t ).
Hence Ax = x from Lemma 2.3. Also, we have, by condition (d),
PPT Slide
Lager Image
and, let n → ∞, we have
PPT Slide
Lager Image
On the other hand, since
PPT Slide
Lager Image
ϕ M is nonincreasing and 𝜓 N is nondecreasing in the fifth variable, we have, for any t > 0,
PPT Slide
Lager Image
which implies that Sx = x . Since S ( X ) ⊆ B ( X ), there exists a point y X such that By = x . Using condition (d), we have
PPT Slide
Lager Image
which implies that x = Ty . Since By = Ty = x and B, T are type(𝛽) compatible, we have TTy = BBy . Hence Tx = TTy = BBy = Bx . Therefore, from (d), we have, for any t > 0,
PPT Slide
Lager Image
From (III), we have
M ( x, Tx, kt ) ≥ M ( x, Tx, t ),
M ( x, Tx, kt ) ≤ M ( x, Tx, t ).
Therefore, we have x = Tx = Bx from Lemma 2.3. Hence x is a common fixed point of A,B, S and T . The same result holds if we assume that B is continuous instead of A .
Now, suppose that S is continuous. Then
PPT Slide
Lager Image
By Proposition 2.5,
PPT Slide
Lager Image
Using (d), we have for any t > 0,
PPT Slide
Lager Image
and by n → ∞, since ϕ M , 𝜓 N
PPT Slide
Lager Image
are continuous, we have
PPT Slide
Lager Image
Thus, we have, from (III),
M ( Sx, x, kt ) ≥ M ( Sx, x, t ),
N ( Sx, x, kt ) ≤ N ( Sx, x, t ).
Hence Sx = x by Lemma 2.3. Since S ( X ) ⊆ B ( X ), there exists a point z X such that Bz = x . Using (d), we have
PPT Slide
Lager Image
letting n → ∞, we get
PPT Slide
Lager Image
which implies that x = Tz . Since Bz = Tz = x and B, T are type(𝛽) compatible, we have TBz = BBz and so Tx = TBz = BBz = Bx . Thus, we have
PPT Slide
Lager Image
letting n → ∞,
PPT Slide
Lager Image
Thus, x = Tx = Bx . Since T ( X ) ⊆ A ( X ), there exists w X such that Aw = x . Thus, from (d),
PPT Slide
Lager Image
Hence we have x = Sw = Aw . Also, since A, S are type(𝛽) compatible,
x = Sx = SSw = AAw = Ax.
Hence x is a common fixed point of A,B, S and T . The same result holds if we assume that T is continuous instead of S .
Finally, suppose that A, B, S and T have another common fixed point u . Then we have, for any t > 0,
PPT Slide
Lager Image
Therefore, from (III), x = u . This completes the proof.
Example 3.2. Let X be a intuitionistic fuzzy metric space with X = [0, 1], ⁎,
PPT Slide
Lager Image
be t-norm and t-conorm defined by
ab = min{a, b}, a b = max{a, b}
for all a, b X . Also, let M, N be fuzzy sets on X 2 × (0,∞) defined by
PPT Slide
Lager Image
Let ϕ M , 𝜓 N : X 6 R be defined as in Example 2.6 and define the maps A, B, S, T : X X by Ax = x ,
PPT Slide
Lager Image
PPT Slide
Lager Image
and
PPT Slide
Lager Image
. Then, for some
PPT Slide
Lager Image
, we have
PPT Slide
Lager Image
PPT Slide
Lager Image
≤ max{N(Ax, By, t), N(Sx, Ax, t), N(Ty, By, t), N(Sx, By, t), N(Ty, Ax, t)}.
Thus the condition (d) of Theorem 3.1 is satisfied. Also, it is obvious that the other conditions of the theorem are satisfied. Therefore 0 is the unique common fixed point of A, B, S and T .
4. Conclusion
Park et al. [4 , 5] defined an IFMS and proved uniquely existence fixed point for the mappings satisfying some properties in an IFMS. Also, Park et al. [8] studied the type(𝛼) compatible mapping, and Park [7] proved some properties of type(𝛽) compatibility in an IFMS.
In this paper, we obtain a unique common fixed point and example for type(𝛽) compatible mappings under implicit relations in an IFMS. This paper attempted to develop a proof method according to some conditions based on the fundamental properties and results in this space. I think that this results will be extended and applied to the other spaces, and further research should be conducted to determine how to combine the collaborative learning algorithm with our proof method in the future.
Conflict of Interest
BIO
Jong Seo Park received the B.S., M.S. and Ph.D. degrees in mathematics from Dong-A University, Pusan, Korea, in 1983, 1985 and 1995, respectively. He is currently Professor in Chinju National University of Education, Jinju, Korea. His research interests include fuzzy mathematics, fuzzy fixed point theory and fuzzy differential equation, etc.
Tel: +82-55-740-1238
Fax: +82-55-740-1230
E-mail: parkjs@cue.ac.kr
References
Zadeh L.A. 1965 “Fuzzy sets,” Information and control http://dx.doi.org/10.1016/S0019-9958(65)90241-X 8 338 - 353    DOI : 10.1016/S0019-9958(65)90241-X
Grabiec M. 1988 “Fixed point in fuzzy metric spaces,” Fuzzy Sets and Systems http://dx.doi.org/10.1016/0165-0114(88)90064-4 27 (3) 385 - 389    DOI : 10.1016/0165-0114(88)90064-4
Altun I. , Turkoglu D. 2008 “Some fixed point theorems on fuzzy metric spaces with implicit relations,” Communications of the Korean Mathematical Society http://dx.doi.org/10.4134/CKMS.2008.23.1.111 23 (1) 111 - 124    DOI : 10.4134/CKMS.2008.23.1.111
Park J.S. , Kwun Y.C. , Park J.H. 2005 “A fixed point theorem in the intuitionistic fuzzy metric spaces,” Far East Journal of Mathematical Sciences 16 (2) 137 - 149
Park J.S. , Park J.H. , Kwun Y.C. 2007 “Fixed point theorems in intuitionistic fuzzy metric space(I)” JP Journal of fixed point Theory and Applications 2 (1) 79 - 89
Park J.S. 2010 “Common fixed point for compatible mappings of type(𝛼) on intuitionistic fuzzy metric space with implicit relations,” Honam Mathematical Journal http://dx.doi.org/10.5831/HMJ.2010.32.4.663 32 (4) 663 - 673    DOI : 10.5831/HMJ.2010.32.4.663
Park J.S. 2013 “Some common fixed points for type(𝛽) compatible maps in an intuitionistic fuzzy metric space,” International Journal of Fuzzy Logic and Intelligent Systems http://dx.doi.org/10.5391/IJFIS.2013.13.2.147 13 (2) 147 - 153    DOI : 10.5391/IJFIS.2013.13.2.147
Park J.S. , Park J.H. , Kwun Y.C. 2008 “On some results for five mappings using compatibility of type(𝛼) in intuitionistic fuzzy metric space” International Journal of Fuzzy Logic and Intelligent Systems http://dx.doi.org/10.5391/IJFIS.2008.8.4.299 8 (4) 299 - 305    DOI : 10.5391/IJFIS.2008.8.4.299
Park J. H. , Park J. S. , Kwun Y. C. 2008 “Fixed points in M-fuzzy metric spaces,” Fuzzy Optimization and Decision Making http://dx.doi.org/10.1007/s10700-008-9039-9 7 (4) 305 - 315    DOI : 10.1007/s10700-008-9039-9
Park J. S. 2012 “Fixed point theorems for weakly compatible functions using (JCLR) property in intuitionistic fuzzy metric space,” International Journal of Fuzzy Logic and Intelligent Systems http://dx.doi.org/10.5391/IJFIS.2012.12.4.296 12 (4) 296 - 299    DOI : 10.5391/IJFIS.2012.12.4.296
Park J. S. 2011 “Some fixed point theorems using compatible maps in intuitionistic fuzzy metric space,” International Journal of Fuzzy Logic and Intelligent Systems http://dx.doi.org/10.5391/IJFIS.2011.11.2.108 11 (2) 108 - 112    DOI : 10.5391/IJFIS.2011.11.2.108
Park J. S. 2011 “On fixed point theorem of weak compatible maps of type(𝛾) in complete intuitionistic fuzzy metric space,” International Journal of Fuzzy Logic and Intelligent Systems http://dx.doi.org/10.5391/IJFIS.2011.11.1.038 11 (1) 38 - 43    DOI : 10.5391/IJFIS.2011.11.1.038
Schweizer B. , Sklar A. 1960 “Statistical metric spaces,” Pacific Journal of Mathematics 10 (1) 313 - 334    DOI : 10.2140/pjm.1960.10.313
Park J. H. , Park J. S. , Kwun Y. C. “A common fixed point theorem in the intuitionistic fuzzy metric space,” in 2nd International Conference on Natural Computation Xian, China September 24-28, 2006 293 - 300
Sharma S. , Desphande B. 2002 “Common fixed points of compatible maps of type(𝛽) on fuzzy metric spaces,” Demonsratio Mathematics 35 165 - 174
Imbad M. , Kumar S. , Khan M. S. 2002 “Remarks on some fixed point theorems satisfying implicit relations,” Radovi Mathematics 11 (1) 135 - 143