Fixed Point Theorems in Non - Archim edean Intuitionistic ... · It is also of fundamental...
Transcript of Fixed Point Theorems in Non - Archim edean Intuitionistic ... · It is also of fundamental...
Fixed Point Theorems in Non-
Archimedean Intuitionistic Menger Pm-
Spaces 1V. Malliga Devi,
2M. Jeyaraman and
3L. Muthulakshmi
1Department of Mathematics,
University V.O.C College of Engineering,
Tuticorin Cambus, Tuticorin, India.
2PG and Research Department of Mathematics,
Raja Doraisingam Govt. Arts College,
Sivagangai, Tamil Nadu, India.
[email protected] 3PG and Research Department of Mathematics,
Raja Doraisingam Govt. Arts College,
Sivagangai, Tamil Nadu, India.
Abstract In this paper, we introduce two types of compatible maps in non-
Archimedean intuitionistic Menger PM-spaces and obtain common
fixed point theorems for six maps.
Key Words:Common fixed point theorem, intuitionistic menger
PM-spaces, non-archimedean fuzzy metric spaces.
AMS Mathematics Subject Classification (2010): 47H10,
54H25
International Journal of Pure and Applied MathematicsVolume 119 No. 12 2018, 14687-14704ISSN: 1314-3395 (on-line version)url: http://www.ijpam.euSpecial Issue ijpam.eu
14687
1. Introduction
In 1942 Menger [8] introduced the notion of probabilistic metric spaces
(briefly, PM-spaces) as a generalization of a metric space. Such a
probabilistic generalization of metric spaces appears to be well adapted
for the investigation of physical quantities and physiological thresholds.
It is also of fundamental importance in the probabilistic functional
analysis.
In 1997, Cho et al., [2] introduced the concepts of compatible maps and
compatible maps of type (A) in non-Archimedean Menger probabilistic
metric space and gave some fixed point theorems for these maps. In this
paper, we introduce he concept of compatible maps of type (J-1) and
type (J-2), show that they are equivalent to compatible maps under
certain conditions and illustrating wih an example, prove common fixed
point theorems for such maps in the spaces which generalizes extends
and fuzzifies several fixed point theorems for contractive type maps on
metric spaces and intuitionistic fuzzy metric spaces.
2. Preliminaries
Definition 2.1.
A triple (X, F, G) is said to be a Non-Archimedean Intuitionistic
Probabilistic Metric Space (shortly NAI PM-space) if X is a nonempty
set, and F is a probabilistic distance and G is a probabilistic non-
distance on X satisfying the following conditions: for all x, y, z ∈ X and
t, s ≥ 0,
(1) ,
(2) ,
(3) ,
(4) ,
(5) , ⇒
(6) ,
(7)
(8) ,
(9) , ⇒
A 5-tuple (X, F, G, , ) is said to be a Non-Archimedean Intuitionistic
Menger Probabilistic Metric Space (shorty NAIM PM-space) if (X, F, G)
is an NAI PM-space, and in addition, the following inequalities hold for
all for all x, y, z, X and it, s > 0,
(10) ,
(11) ,
International Journal of Pure and Applied Mathematics Special Issue
14688
where * is a continuous t-norm and is a continuous t-conorm. Definition 2.2.
A IPM-space (X, F, G) is said to be of type if there exists a g, h
such that and
for all x, y, z X and where
is continuous, strictly decreasing, g(1) = 0 , g(0) < and
h(1) = 1 , h(0) > }.
Definition 2.3.
A NAI Menger PM- space (X, F, G, *, ) is said to be of type if
there exists a g, h such that and
for all s, t .
Lemma 2.4
If the function satisfies the condition ( ), then we
have
i) For all where is the n-th iteration of
ϕ(t),
ii) If is a non- decreasing sequence of real numbers and
then In particular, if
for all then .
Lemma 2.5
Let { be a sequence in X, such that and
for all If { is not a Cauchy sequence in X,
then there exist and two sequence { of
positive integers such that
i) and as ,
ii) and
iii) and
Definition 2.6
Self maps A and B of a non-Archimedean intuitionistic Menger
probabilistic metric space (X,F,G, , ) are said to be compatible if
and for all ,
whenever is a sequence in X such that for some z in
X as
Definition 2.7
Self maps A and B of a non-Archimedean intuitionistic Menger
probabilistic metric space (X,F,G , ) are said to be compatible of type
(J) if and ,
International Journal of Pure and Applied Mathematics Special Issue
14689
and t for all , whenever is a sequence
in X such that for some z in X as
Now we introduce the concept of compatible mappings of type (J-1) and
type (J-2) in NAI Menger PM-space and show that they are equivalent
to compatible mappings under certain conditions.
Definition 2.8
Self maps A and B of a NAI Menger PM-space (X, F, G, , ) are said to
be compatible type (J-1) if and
for all whenever is a sequence in X
such that for some z in X as
Definition 2.9.
Self maps A and B of a NAI Menger PM-space (X, F, G, , ) are said to
be compatible type (J-2) if and
for all whenever is a sequence in X
such that for some z in X as
Proposition 2.10
Let A and B be self maps of a NAI Menger PM-space (X, F, G, , ).
(a) If B is continuous then the pair (A, B) is compatible of type (J-1)
iff A and B are compatible.
(b) If A is continuous then the pair (A, B) is compatible of type (J-2)
iff A and B are compatible.
Proof.
(a) Let be a sequence in X such that for some z in X
as and let the pair (A, B) be compatible of type (J-1). Since B is
continuous, we have and and so
and
.
Hence the mappings A and B are compatible.
Now, let A and B be compatible. Therefore, using the continuity of B,
we have
and
.
International Journal of Pure and Applied Mathematics Special Issue
14690
Hence the mappings A and B are compatible of type (J-1). (b) The proof
is similar with (a).
3. Main Results
Theorem 3.1
Let A, B, P, Q, S and T be self maps on a complete NAI Menger PM-
space (X, F, G, , ) satisfying:
(a)
(b) and
,
(c)
(d)
for all and where a function
satisfies the condition ( ) and ( ).
(e) AB = BA, ST = TS, PB = BP, QT = TQ,
(f) Either P or AB is continuous,
(g) The pairs (P, AB) and (Q, ST) are mutually compatible of type (J).
Then A, B, P, Q, S and T have a unique common fixed point.
Proof.
Let be an arbitrary point of X. By (a), there exists such
that and . Inductively, we can
construct sequences and in X such that
and for n = 0,1,2…
Step1.
We shall show that the sequence is a Cauchy sequence.
Since using (b), (c) and (d), we have
International Journal of Pure and Applied Mathematics Special Issue
14691
and
and
since , we also have
and
.
Thus
and
for …. Hence
and
for …. Therefore, from
lemma 2.4.
and .
(3.1.1)
Suppose is a not Cauchy sequence. Since g is strictly decreasing
from lemma 2.5, there exists and two sequences
of positive integers such that
(i) and ,
(ii) and
,
and for k = 1, 2
…
Therefore
and
International Journal of Pure and Applied Mathematics Special Issue
14692
and letting , we have
and .
(3.1.2)
On the other hand, we have
and
.
(3.1.3)
Without loss of generality assume that both and are even.using
(c) and (d)
we have
and
International Journal of Pure and Applied Mathematics Special Issue
14693
.
Substituting this in this (3.1.3), letting and using (3.1.1) and
(3.1.2), we have and
,
which is a contradiction. Hence } is a Cauchy sequence. Since (X, F,
G, , ) is complete, it converges to a point z in X. Also its subsequences
converges as follows:
and .
Case I. AB is continuous, and (P, AB) and (Q, ST) are compatible of
type (J-1).
Since AB is continuous, and ( .
Since (P, AB) is compatible of type (J-1) ,
Step 2. By taking in (c) and (d), we have
,
International Journal of Pure and Applied Mathematics Special Issue
14694
this implies that, as
and
,
which means that, by lemma 2.4,
for all and it follows that z = ABz.
By taking in (c) and (d), we have
,
International Journal of Pure and Applied Mathematics Special Issue
14695
this implies that as
, which means that z = Pz. Therefore z
= ABz = Pz
Step 4. By taking in (c) and (d) using (e),we have
International Journal of Pure and Applied Mathematics Special Issue
14696
this implies that, as
and
, which means that z = Bz.
Since z = ABz ,we have z = Az. Therefore z = Az = Bz = Pz.
Step 5. Since there exists such that z = Pz =
STw.
By taking in (c) and (d), we have
,
this implies that, as
International Journal of Pure and Applied Mathematics Special Issue
14697
and
, which means that z = Qw. Hence, STw = z = Qw.
Since (Q, ST) is compatible of type (J-1), we have Q(ST)w = ST(ST)w.
Thus, STz = Qz.
Step 6. By taking in (c) and (d), and using step 5, we
have
,
this implies that, as
International Journal of Pure and Applied Mathematics Special Issue
14698
and
,which means that z = Qz.
Since, STz = Qz, we have z = STz. Therefore z = Az = Bz = Pz = Qz =
STz.
Step 7. By taking in (c) ,(d) and using (e), we have
,
,
this implies that, as
and
= , which means that z = Tz.
Since, z = STz, we have z = Sz. Therefore z = Az = Bz = Pz = Qz = Sz
= Tz, that is the commom fixed point of A, B, P, Q, S and T.
International Journal of Pure and Applied Mathematics Special Issue
14699
Simiary, it is clear that z is also the commom fixed point of A, B, P, Q, S
and T in the case AB is continuous, and (P, AB) and (Q, ST) are
compatible of type (J-2).
Case II. P is continuous, and (P, AB) and (Q,ST) are compatible of type
(J-1).
Since P is continuous, and .
Since (P, AB) is compatible of type (J-1),
Step 8. By taking in (c) and (d), we have
≥
this implies that, as
and
, which means that z = Pz.
International Journal of Pure and Applied Mathematics Special Issue
14700
Now using step 5-7, we have, z = Qz = STz = Sz =Tz.
Since Q(X) ⊆ AB(X), There exists such that z = Qz =
ABw.
By taking in (c) and (d), we have
,
,
this implies that, as
and
, which means that z = Pw.
Snce z = Qz = ABw, Pw = ABw. Since (P, AB) is compatible of type (J-
1), we have Pz = ABz. Also z = Bz follows from step 4. Thus z = Az =
Bz = Pz. Hence, z is the common fixed point of the six maps in this case
also.
Similarly, it is clear that z is also the common fied point of A, B, P, Q, S,
and T in the case P is continuous, and (P, AB) and (Q, ST) are
compatible of type (J-2).
International Journal of Pure and Applied Mathematics Special Issue
14701
Step 10. For uniqueness, let be another common fixed point
of A, B, P, Q, S, and T. Taking in (c) and (d), we have
,
,
which implies that
and
, so we have
This complete the proof of the theorem.
If we take A = B = S = T = ( the identity map on X ) in Theorem (3.1)
we have the following.
Corollary 3.2. Let P and Q be self maps on a compete NAI. Menger PM-space
(X, F, G, *, ). If and
,
and
for all and , where a function
satisfies the condition ( ) and ( ), then P and Q have a unique common
fixed point.
International Journal of Pure and Applied Mathematics Special Issue
14702
References
[1] Atanassov K., intuitionistic fuzzy sets, Fuzzy Sets and System 20 (1986), 87-96.
[2] Cho Y.J., Ha K.S., Chang S.S, common fixed point theorems for compatible maps of type (A) in non-Archimedean Menger P.M-spaces , Math. Japon. 46(1) (1997), 169-179.
[3] George A. and Veeramani P., On some resuls in fuzzy metric spaces, Fuzzy Sets and Systems 64 (1994), 395-399.
[4] Hadzic O, A note on Istradescu’s fied point heorem in non-Archimedean Menger spaces, Bull. Mah.soc. sci. Math. R .S. Roumanie 24(72) (1980), 277-280
[5] Kramosil O. and Michelek J., Fuzzy metric and statiscal metric spaces, Kybernetica 11(1975), 36-344.
[6] Kutukcu S., Yildiz. C., A common fixed point theorem of compatible and weak compatible map on Merger spaces, Kochi Math.J. (2008).
[7] Menger.K, Statistical Metrics, Pro. Nat. Acad. Sci. USA (28)(3) (1942), 535-537
[8] Pant R.P., Common fied points non commuing mapping J.Math.Anal.APPL. 18 (1994), 436-440.
[9] Park J. H., Intuitionisic fuzy meic spaces, Chaos, Soliions and Fractals 22 (2004), 1039-1046.
[10] Sehgal V.M., Bharucha–Reid A.T, Fixed point of contraction mapping on PM spaces, Math. Systems Theory 6 (1972), 97-100.
[11] Turkoglu D., Alaca C., Cho Y.J., Yildiz C., common fxed point theorems intuiionistic fuzzy metric space, J.Appl Math. And Computing 22 (2006), 411-424.
[12] Zadeh L.A., Fuzzy Sets, Inform and control 89 (1965), 338-353.
International Journal of Pure and Applied Mathematics Special Issue
14703
14704