Some New Type of Contraction and Common Fixed Point Theorem in Fuzzy Metric Space 2022

ISSN (Online) 2581-9429
IJARSCT
International Journal of Advanced Research in Science, Communication and Technology (IJARSCT)
Volume 3, Issue 2, April 2023

Impact Factor: 7.301
Some New Type of Contraction and Common

Fixed Point Theorem in Fuzzy Metric Space 2022
Prof. Braj Bhushan Singh Chauhan1 and Prof. Pooja Mishra2
Department of IAC (Mathematic), Sage University, Indore, MP, India1
Institute of Advance Computing (Mathematics), Sage University, Indore, MP, India2
brajbhushan55@gmail.com1 and pooja.mishra@sageuniversity.in2
Abstract: The main objective of writing this research paper is to prove the Common Fixed Point Theorem
in Fuzzy Metric Space with a new type of contraction.
Keywords: Compatibility mappings, Common fixed point, Fuzzy metric space, Self-mapping etc
I. INTRODUCTION
The [5] S. Banach fixed point theorem is important as a source of existence and uniqueness of theorem in different
branches of analysis .In this way the theorem provides an impressive illustration of the unifying power of functional
analytic method and of the usefulness of fixed point theorems in analysis .
The [5] S. Banach fixed point theorem or contraction principle concerns certain mappings of a complete metric space
into itself .It states conditions sufficient for the existence and uniqueness of a fixed point .The theorem also gives an
iterative process by which we can obtain approximations to the fixed point and error bounds etc. Compatibility is a
powerful tool for generalization of [5] S. Banach contraction principle recently many authors generalized [5] S. Banach
principle, use of commutatively and compatibility concept .Present paper introduce new type of contraction and proved
common fixed point theorem in fuzzy metrics space.
The concept of fuzzy sets was introduced initially by Zadeh. Since then, it was developed extensively by many authors
and used in variousfields. Specially[7, 8] introduce the concept of fuzzy metric spaces in different ways.
In present paper we use in[8], George and Veeramani modified the concept of fuzzy metric space which introduced by
Kromosil and Michalek.
Further Jungck[1] introduced compatibility in metric space .He proved common fixed point theorems in to metric
spaces .
1.1 Preliminary Definition

Definition: 1.A binary operation ∗: [ , ] × [ , ] → [ , ] is called a continuous t-norm if ([ , ],∗) is abelian
topological monoid with 1 such that ∗ ≤ ∗d, whenever ≤ , ≤ for all , , , in [ , ].
Definition:2. the 3-tuple ( , ,∗)is called a fuzzy metric space if X is an arbitrary set , ∗ is a continuous t-norm and is
a fuzzy set on × × ( , ∞) satisfying the following conditions:
(I) ( , , ) > 0,
( ) ( , , )= = ,
( ) ( , , ) = ( , , ),
( ) ( , , ) ∗ ( , , ) ≤ ( , , + ),
( ) ( , , . ): ( , ∞) → [ , ] ,
For , , , > 0.
COMPATIBILITY (1) [1]: Let A and B be a pair of self-maps of a complete fuzzy metric space( , ,∗). Then
and are said to be compatible if n→∞ ( n , n,t) = , for all > 0whenever { n} is a sequence in such
that n→∞ n= n→∞ n= for some Є .
Copyright to IJARSCT DOI: 10.48175/IJARSCT-9108 94

www.ijarsct.co.in
IJARSCT

II. MAIN RESULT

Theorem (1): Let ( , ,∗) be a complete fuzzy metric space and let
, , , , , , , , , , , , , , , , , , , , , be self mappings of such that following conditions are
satisfying:
( ) ⊂ , ⊂ , ⊂ , ⊂ , ⊂ , ⊂ , ⊂ , ⊂ , ⊂ , ⊂
, ⊂ , ⊂ , ⊂ , ⊂ , ⊂ , ⊂ , ⊂ , ⊂ , ⊂ , ⊂
( ) , , , , , , , , , , , , , , , , , , , , , ,
( ) [ , ] , [ , ] [ , ], [ , ] , [ , ],[ , ] , [ , ] , [ , ], [ , ], [ , ]and [ , ] , [ , ] [ , ],
[ , ] , [ , ],
[ , ] , [ , ] , [ , ], [ , ], [ , ] ,
( ) ( , , )≥
. { ( , , ), ( , , ), ( , , ), ( , , ), ( , , ), ( , , )
, ( , , ), ( , , ) , ( , , ), ( , , )}
Where 0 < <1 and every , in , > 0.Then , , , , , , , , , , , , , , , , , , , , , have a unique

common fixed point in .
Proof: Let Є arbitrary and ( ) ⊂ (X)exist Є ℎ ℎ = and for this, Є ( )⊂
( ) ℎ Є such that = and for this, Є ( )⊂ ( ) ℎ Є such =
and for this, Є ( )⊂ ( ) ℎ Є such that =
and for this, Є ( )⊂ ( ) ℎ Є such =
and for this, Є ( )⊂ ( ) ℎ Є such tha = and for
this, Є ( )⊂ ( ) ℎ Є such = and for
this, Є ( ) ⊂ ( ) ℎ Є such that = and for this, Є ( )⊂
( ) ℎ Є such = and for this, Є ( )⊂
( ) ℎ Є such that = and for this, Є ( )⊂
( ) ℎ Є such that = and for this, Є ( )⊂ ( ) ℎ Є
such = and for this, Є ( )⊂ ( ) ℎ Є such that = and for
this, Є ( )⊂ ( ) ℎ Є such = and for this, Є ( )⊂
( ) ℎ Є such that = In simple induction we construct a sequence { } in :
= = , = = , = = , =
= , = = , = = , = =
, = = , = = , = = ,
= = , = = , = = , =
= , = = , = = , = =
, = = , = = , = = , for n= 1,2,3,…….. .
By Use of condition ( ) with = and =

www.ijarsct.co.in
IJARSCT

( , , )= ( , , )≥ .{ ( , , ), , , ,
( , , ), ( , , ), ( , , ), ( , , ), ( , , ),
( , , ), ( , , ), ( , , )}
( , , )≥
. { ( , , ), ( , , ), ( , , ), ( , , ), ( , , ),
( , , ), ( , , ), ( , , ), ( , , ), ( , , )}
( , , ) ≥ ( , , ) …………………(1)
Similarly we get,
( , , ) ≥ ( , , ) ………………..(2)
By equation (1) and (2) we have
( , , )≥ ( , , ) ..............( )
In simple induction
( , , )≥ , , ≥ , , ≥ ⋯…………… ≥ ( , , )→1 as n →∞
So ( , , )→1 as n →∞, for any > 0.
Let each ε> 0and > 0, we can choose ЄN such that ( , , )→>1 – ε all > .
Let , Є suppose ≥ .Thus we have
( , , )≥ ∗ , , , , ∗ ……………∗ ( , , )
− − −
> (1 – ε) ∗(1 – ε) ∗(1 – ε) ∗ … … … . .∗ (1 – ε){m-n time}≥ 1 – ε
Hence { } is a Cauchy sequence in .
( , ,∗) is complete fuzzy metric space , { } converges some Є , and so
{ }, { },{ }, { } ,{ }, { }, { }, { },
{ }, { },{ }, { }, { }, { },
{ }, { }, { }, { }, { }, { }, { }, { }also converges → .
Case I:
Let = and = , (iii)
, , , , ,
, , , → ,
, , , , ,
, , , →
( , , )≥ .{ ( , , ), ( , , ),
( , , ), ( , , ), ( , , ),
( , , ), ( , , ),
( , , ), ( , , ), ( , , ) }as →∞
( , , )≥ . { ( , , ), ( , , ), ( , , ), ( , , ),
( , , ), ( , , ) , ( , , ) , ( , , ), ( , , ), ( , , )}
( , , )≥ ( , , ) . Hence
= .
( , , )≥ ( , , )
= . Such that = = . (4)
Let = and = ,( )
, , , , ,
, , , , → ,
, , , , ,

www.ijarsct.co.in
IJARSCT

, , , →
( , , )≥ .{ ( ,, ), ( , , ),
( , , ), ( , , ), ( , , ),
( , , ), ( , , ),
( , , ), ( , , ), ( , , ) }} as → ∞
( , )≥
, . { ( , , ), ( , , ), ( , , ), ( , , ),
( , ), (
, , , ), ( , , ), ( , , ), ( , , ) , ( , , )}
( , )≥
, ( , , ) . Hence
= .
( , , )≥ ( , , )
= .Such that = = . (5)
Let = and = ,( ) ( ) ℎ
, , , , ,
, , , , → ,
, , , , ,
, , , ,β →
( , , ) ≥ .{ ( , , ), ( , , ),
( , , ), ( , , ), ( , , ), ( , , ),
( , , ), ( , , ), ( , , ), ( , , )}
as → ∞
( , , )≥ . { ( , , ), ( , , ), ( , , ), ( , , ),
( , , ), ( , , ) , ( , , ) , ( , , ), ( , , ) , ( , , )}
( , , ) ≥ ( , , ) . Hence
= . ( , , )≥ ( , , )
= .Such that = = . (6)
Let = and = ,( ) ( ) ℎ
, , , , ,
, , , δ → ,
, , , , ,
, , , , →
( , , )≥ .{ ( , , ), ( , , ),
( , , ), ( , , ), ( , , ),
( , , ), ( , , ),
( , , ), ( , , ), ( , , )} as → ∞
( , , )≥ . { ( , , ), ( , , ), ( , , ), ( , , ),
( , , ), ( , , ) , ( , , ) , ( , , ), ( , , ) , ( , , )}
( , , ) ≥ ( , , ) . Hence
= . ( , , )≥ ( , , )
= .Such that = = . (7)
Let = , and = ,( ) ( ) ℎ
, , , , ,
, , , , → ,
, , , , ,
, , , , →
( , , )≥ .{ ( , , ), ( , , ),
( , , ), ( , , ), ( , , ),
( , , ), ( , , ),
( , , ), ( , , ), ( , , )} as → ∞
www.ijarsct.co.in
IJARSCT

( , , )≥ . { ( , , ), ( , , ), ( , , ), ( , , ),
( , , ), ( , , ), ( , , ), ( , , ), ( , , ) , ( , , )}
( , , )≥ ( , , )
= .
( , , )≥ ( , , )
= .Such that = = . (8)
Let = , and = ,( ) ( ) ℎ
, , , , ,
, , , , → ,
, , , , ,
, , , , →
( , , )≥ .{ ( , , ), ( , , ),
( , , ), ( , , ), ( , , ), ( , , ),
( , , ), ( , , ), ( , , ), ( , , )} as
→∞
( , , )≥ . { ( , , ), ( , , ), ( , , ), ( , , ),
( , , ), ( , , ) , ( , , ) , ( , , ), ( , , ) , , ( , , )}
( , , )≥ ( , , )
= .
( , , )≥ ( , , )
= .Such that = = . (9)
Let = , and = ,( ) ( ) ℎ
, , , , ,
, , , ,δ → ,
, , , , ,
, , , , →
( , , ) ≥ .{ ( , , ), ( , , ),
( , , ), ( , , ), ( , , ), ( , , ),
( , , ), ( , , ), ( , , ), ( , , ) } as
→∞
( , , )≥ . { ( , , ), ( , , ), ( , , ), ( , , ),
( , , ), ( , , ) , ( , , ) , ( , , ), ( , , ) , ( , , )}
( , , )≥ ( , , )
= .
( , , )≥ ( , , )
= .such that = = . (10)
Let = , and = ,( ) ( ) ℎ
, , , , ,
, , , , → ,
, , , , ,
, , , ,β →
( , , )≥ .{ ( , , ), ( , , ),
( , , ), ( , , ), ( , , ), ( , , ),
( , , ), ( , , ), ( , , ), ( , , ) } as →∞
( , , )≥ . { ( , , ), ( , , ), ( , , ), ( , , ),
( , , ), ( , , ) , ( , , ) , ( , , ), ( , , ) , ( , , )}
www.ijarsct.co.in
IJARSCT

( , , )≥ ( , , )
= .
( , , )≥ ( , , )
= . Such that = = . (11)
Let = , and = ,( ) ( ) ℎ
, , , , ,
, , , ,δ → ,
, , , , ,
, , , ,β →
( , , )≥ .{ ( , , ), ( , , ),
( , , ), ( , , ), ( , , ), ( , , ),
( , , ), ( , , ), ( , , ), ( , , )} as
→∞
( , , )≥ .{ ( , , ), ( , , ), ( , , ), ( , , ),
( , , ), ( , , ), ( , , ) , ( , , ), ( , , ) , ( , , )}
( , , )≥ ( , , )
= .
( , , )≥ ( , , )
= . Such that = = . (12)
Let = , and = ,( ) ( ) ℎ
, , , , ,
, , , , → ,
, , , , ,
, , , ,β →
( , , )≥ .{ ( , , ), ( , , ),
( , , ), ( , , ), ( , , ), ( , ),
( , , ), ( , , ), ( , , ), ( , , ) } as →∞
( , , )≥ .{ ( , , ), ( , , ), ( , , ), ( , , ),
( , , ), ( , , ), ( , , ), ( , , ), ( , , ) , ( , , )}
( , , )≥ ( , , )
= .
( , , )≥ ( , , )
= . Such that = = . (13)
Such that equations (4) to (13) we have

= = = = = = = = = = = = = = = = = = =
= . (14)
Let = , and = ,( ) ( ) ℎ
, , , , , ,
, , , , → ,
, , , , ,
, , , , →
( , , )≥ .{ ( , , ), ( , , ),
( , , ), ( , , ), ( , , ), ( , , ),
( , , ), ( , , ), ( , , ), ( , , )}
as → ∞
www.ijarsct.co.in
IJARSCT

( , , )≥ . { ( , , ), ( , ), ( , ), ( , , ),
( , , ), ( , , ) , ( , , ) , ( , , ), ( , , ) , ( , , )}
( , , )≥ ( , , )
= .
( , , )≥ ( , , )
= .Suchthat = = . (15)
By (14) and (15).
= = = = = = = = = = = = = = = = = = =
= = = . Hence is common fixed point of , , , , , , , , , , , , , , , , , , , , .
Case II: let be another common fixed point, also ≠ ℎ = , = by ( ),
( , , )≥ .{ ( , , ), ( , , ), ( , , ) , ( , , ),
( , , ), ( , , ) ( , , ), ( , , ), ( , , ), ( , , )}as →∞
( , , )≥ . { ( , , ), ( , , ) , ( , , ), ( , , ) , ( , , ),
( , , ) , ( , , ), ( , , ) , ( , , ) , , ( , , )}
( , , ) ≥ ( , , ).Hence we have,
= which is contradict and is a unique common fixed point of self mappings
, , , , , , , , , , , , , , , , , , , , .
III. AKNOWLAGEMENT
We thank all the researchers and judges who read this paper and thank you very much for reading this paper by pointing
out the error in it and improving it in future, as well as special thanks to all our well-wishers. Prof. Dr. U. D. Tapi Dep.
Of Applied Mathematics and Computational Science S.G.S.I.T.S. Indore, Dr. S. Verma Dep. Of Applied Mathematics
and Computational Science S.G.S.I.T.S. Indore, Shri S.S. Mourya Principal Govt. HSS Hatod ,Prof. F. Siddiki Dep.
Eng. Mathematics SAGE University Indore , shri BijayKujur USS Govt. HSS Hatod , Shri Amarsingh Sisodiya UTD
Govt. HSS Hatod .
REFERENCES
[1]. G.Jungck , Int. J.MAthematical& Math. Sci. 9 (1986), 771-79.
[2]. G. JUNGCK, B.E. Rhoades Internat. J. Math. & Math. Scl. VOL.16 NO. 3 (1993) 417-428, 417
[3]. G. Jungck, Commuting mappings and fixed points, Amer. Math.Monthly 83 (1976),261-263.MR 53 #4031
[4]. K. M. Das & K. V. NAIK Pro.Am. Mathematical Society, Vol. 77, No. 3, Dec. 1979
[5]. S. Banach, Sur les opérationsdans les ensembles abstractsetleur application aux équations
intégrales(Thèseprésentée en juin 1920 al'Université de Léopol [ = Lwów] pourobtenir le grade dedocteur en
philosophie), Fund.Math. 3 (1922), 133-181.
[6]. D.Zike , Fuzzy psedoMetric spaces. J.Maths.Anals.Appl.86 (1982),74-95.
[7]. M.A. Erceg, Metric spaces in fuzzy set theory..Maths.Anals. Appl., 69(1979), 205-230.
[8]. A.George&P.Veeramani,On some results of analysis for fuzzy Metric spaces, Fuzzy sets and Systems,
90(1997),365-368.
[9]. Dr U.D. Tapi , V.K. Songara S.G.S.I.T.S. Indore : Study of Fixed Point Theory by Fuzzy Metric Space,
Dissertation Thesis Fulfill Degree of Master of Science in Applied Mathematics and Computational Science
2009 .
[10]. Pooja mishra, Brajbhushan Singh Chouhan : Pair of twelve compatibility mappings and common fixed point
theorem in metric space ,National Seminar RIT Indore, April 2018
[11]. Pooja mishra, Brajbhushan Singh Chouhan : Common fixed point in Fuzzy Metric Space , National Multi
Conference LNCT Indore , November 2021.
[12]. Pooja mishra : Some Special Type Of Theorem In Fuzzy Metric Space And There Common Fixed Point
,National Conference On Modeling And Computational Simulation Dr. A.P.J. Abdul Kalam University
Indore,2022.

www.ijarsct.co.in

Some New Type of Contraction and Common Fixed Point Theorem in Fuzzy Metric Space 2022

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Some New Type of Contraction and Common Fixed Point Theorem in Fuzzy Metric Space 2022

Uploaded by

Copyright:

Available Formats

ISSN (Online) 2581-9429

Volume 3, Issue 2, April 2023