Fixed point theory is one of the famous and traditional theories in mathematics and has numerous applications. The Banach contraction mapping is one of the pivotal results of the analysis. It is a very famous tool for solving existing problems in many fields of mathematical analysis and its applications [1]. Hence, numerous theories have developed in extending its notion in many diverse ways. Accordingly, if
is a contraction on a Banach space
, then
has a unique fixed point in
. Many researchers studied the Banach fixed point theorem in diverse ways and show its generalizations and applications. Among them, Bakhtin [2] introduced a very important generalization of the idea of a metric space, which is later used by Czerwick [3, 4] to present the findings of their work.
Fixed point theorems have been studied in many contexts, one of which is the fuzzy setting. The concept of fuzzy sets was initially introduced by Zadeh [8] in 1965. To use this concept in topology and analysis, so many authors have extensively developed the theory of fuzzy sets and its applications. One of the most significant and interesting works in fuzzy topology is to appropriately find the definition of fuzzy metric space and its applications. It is well known that a fuzzy metric space is an important generalization of the metric space. Many authors have considered this problem and have introduced it in different ways as there remains considerable literature about fixed point properties for mappings defined on fuzzy metric spaces, which have been examined by many researchers [9, 10, 11, 12].
Zhu and Xiao [7] and Hu [6] gave a coupled fixed point theorem for contractions in fuzzy metric spaces, and Fang [5] proved some common fixed point theorems under
-contractions for compatible and weakly compatible mappings on Menger probabilistic metric spaces. Moreover, Elagan and Segi Rahmat [13] studied the existence of a fixed point in locally convex topology generated by fuzzy
-normed spaces. The purpose of this paper is to generalize and extend the work done in [17] on coupled fixed point theorems in
-algebra valued fuzzy metric spaces to tripled fixed point theorems in
-algebra valued fuzzy metric spaces with application.
2 Preliminary Notes
In this section, we will discuss few of the basic concepts of
-algebra-valued metric space.
Definition 2.1 [14] Let
be an arbitrary nonempty set,
a continuous
-norm, and
a fuzzy set on
The 3-tuple
is called a fuzzy metric space (FMS) if the following conditions are satisfied
and
,
(i)
,
(ii)
if and only if
,
(iii)
,
(iv)
,
(v)
is continuous,
(vi)
.
Definition 2.2 [16] Let
be a fuzzy metric space. A sequence
in
is said to converge to
if
.
Lemma 2.1 [16] Let
be a fuzzy metric space and
,
are sequences in
such that
,
then
for every continuity point
of
.
Definition 2.3 [15] Let
be a nonempty set. Suppose that the mapping
satisfies:
(i)
,
(ii)
if and only if
,
(iii)
,
(iv)
.
Definition 2.4 [15] Let
be a C*-algebra-valued metric space. A mapping
is called a C*-algebra-valued contraction mapping on
, if exists
with
such that
.
Definition 2.5 [17] Let
be a
-algebra valued metric space (
-AVMS). A mapping
is a
-algebra valued contraction mapping on
, if
with
such that
Definition 2.6 [17] Let
be a nonempty set and
be a FMS. A mapping
is said to be a
-AVCM if there exists
with
such that
and
.
3 Main results
In this section, we will firstly define the concepts of
-algebra valued contraction mapping (
-AVCM) in metric and fuzzy metric spaces.
Definition 3.1 Let
be a
-AVMS. Then, a mapping
is a
-algebra valued tripled contraction mapping on
, if
with
such that
and
Definition 3.2 Let
be a nonempty set and
be a FMS. A mapping
is said to be a
-AVCM if there exists
with
such that
and
and
.
Theorem 3.1 Let
be a Cauchy FMS. A mapping
is a
-AVCM if
has a unique fixed point in
.
Proof. If
let
. Then,
is a sequence for
and define
in
. By
-algebra, if
and
then
. Then,
where
Now, if
and using the triangular inequality of fuzzy metric spaces, we have
Then,
is a Cauchy sequence in
with respect to
. Then,
is Cauchy and
such that
i.e.,
Then,
Hence,
, and similarly,
and
, which shows that
and
are tripled fixed point of
.
Now, we will show that
and
are unique tripled fixed point. If
,
and
be tripled fixed point of
then
,
and
. Hence, by the contraction condition (1), (2) and (3), we have,
Similarly,
and
Since
, it is a contradiction. Therefore,
has a unique tripled fixed point. Hence, this completes the proof.
4 Applications
In this section, we apply the main results to the existence of the solution of integral equations.
Let
and
be a Hilbert space, where
represent a set of Lebesque measurable. For
, let
, where
If
there exists
be continuous, and
and
for
and for
we obtain
and
Hence,
are the unique solution of the integral equation,
Proof. Let
be a Cauchy
-AVFMS with respect to
. Suppose
be a mapping, we have
Hence,
similarly,
and
for
,
and
. Then,
are the unique solutions of the integral equations.
References
[1] Kamran T, Postolache M, Ghiura A, Batul S and Ali R, The Banach contraction principle in C*-algebra-valued b-metric spaces with application. Fixed Point Theory and Applications. 2016; 10. (Doi: 10.1186/s13663-015-0486-z)
[2] Bakhtin IA, The contraction mapping principle in quasimetric spaces. Functional Analysis. 1989; 30:26-37
[3] Czerwick S, Contraction mappings in b-metric spaces. Acta Math Inform Univ Ostrav. 1993; 1:5-11
[4] Czerwick S, Nonlinear set-valued contraction mappings in b-metric spaces. Atti Semin Mat Fis Univ Modena. 1998; 46:263-276
[5] Fang J, Common fixed point theorems of compatible and weakly compatible maps in Menger spaces. Nonlinear Anal. 2009; 5-6:1833-1843 (Doi: 10.1016/j.na.2009.01.018)
[6] Hu X, Common coupled fixed point theorems for contractive mappings in fuzzy metric spaces. Fixed Point Theory Appl. 2011; Article ID 363716 (Doi: 10.1155/2011/363716)
[7] Zhu X, Xiao J, Note on “Coupled fixed point theorems for contractions in fuzzy metric spaces”. Nonlinear Anal 2011; 74(16):5475-5479 (Doi: 10.1016/j.na.2011.05.034)
[8] Zadeh L, Fuzzy sets. Inf Control. 1965; 8:338-353 (Doi: 10.1016/S0019-9958(65)90241-X)
[9] Kramosil I, Michalek J, Fuzzy metric and statistical metric spaces. Kybernetika. 1975; 11:326-333
[10] Cho Y, Fixed points in fuzzy metric spaces. J Fuzzy Math. 1997; 5(4):949-962
[11] Gregori V, Sapena A, On fixed-point theorems in fuzzy metric spaces. Fuzzy Sets Syst. 2002; 125(2):245-252 (Doi: 10.1016/S0165-0114(00)00088-9)
[12] Beg I, Abbas M, Common fixed points of Banach operator pair on fuzzy normed spaces. Fixed Point Theory. 2011; 12(2):285-292
[13] Elagan SK, Rahmat MS, Some fixed points theorems in locally convex topology generated by fuzzy n-normed spaces. Iran J Fuzzy Syst. 2012; 9(4):43-54
[14] Khaogong C, Khammahawong K, Fixed point theorem in
-algebra-valued fuzzy metric metric spaces with application. Thai Journal of Mathematics. 2021; 19(3):964-970
[15] Ma ZH, Jiang LN, Sun HK, C*-algebra-valued metric spaces and related fixed point theorems. Fixed Point Theory and Application. 2014; 206:1-11 (Doi: 10.1186/s13663-015-0471-6)
[16] Mihet D, On fuzzy contractive mappings in fuzzy metric spaces. Fuzzy Sets and Systems. 2007; 158:915-921 (Doi: 10.1016/j.fss.2006.11.012)
[17] Aniki SA, An extension of mixed monotone mapping to tripled fixed point theorem in fuzzy metric. Theory of Approximation and Applications. 2022; 16(1):101-113 (Doi: 20.1001.1.25382217.2022.16.1.12.8)