ABSTRACT
In the present article, some fixed point theorems are investigated for two pairs of weakly compatible maps through (Ω, ∆)-type weak contractive maps in the framework of fuzzy metric spaces. The results studied in this workpiece are generalizations of some recent results existing in literature. Also, some illustrative examples are presented in last section to check the authenticity of our results.
Keywords:
fuzzy metric space; fixed points; (Ω; ∆)-weak contractive map; altering distance function
1 INTRODUCTION
Contraction principle given by Banach (1922BANACH S. 1922. Sur les operations dans les ensembles abstraits et leur application aux equations integrales. Fundamenta Mathematicae, 3: 133-181.) is the most eminent result in the era of metrical fixed point theory. Though this principle requires the continuity of the mapping, still it works as the back-bone even for the recent results in different metric spaces. An open question on the continuity of the mapping in Banach principle is answered by many authors. In 1968, Kannan (1968KANNAN R. 1968. Some result on fixed points. Bulletin of Calcutta Mathematical Society, 6: 71-78.) settled this problem in a robust way by introducing the following inequality:
Later on, Rakotch (1962RAKOTCH A. 1962. A note on contraction mappings. Proceedings of American Mathematical Society , 13: 459-462.), Boyd & Wong (1969BOYD DW & WONG TSW. 1969. On nonlinear contraction. Proceedings of American Mathematical Society, 20: 458-464.) extended the contraction inequality due to Banach (1922BANACH S. 1922. Sur les operations dans les ensembles abstraits et leur application aux equations integrales. Fundamenta Mathematicae, 3: 133-181.) by characterizing a control function stated below:
and
where is a non-decreasing continuous function such that ϕ(t) vanishes at t = 0. On the other hand, Alber & Guerre-Delabriere (1997ALBER YI & GUERRE-DELABRIERE S. 1997. Principles of weakly contractive maps in Hilbert spaces. New Results in Operator Theory in Advances and Appl., 98: 7-22.) introduced a modified contractive condition in Hilbert spaces which was further elaborated by Rhoades (2001RHOADES BE. 2001. Some theorems on weakly contractive maps. Nonlinear Analysis, 47: 2683-2693.) as follows:
If a mapping T: U → U satisfies the following condition:
then T possesses a fixed point.
Zhang & Song (2009ZHANG Q & SONG Y. 2009. Fixed point theory for generalized-weak contractions. Applied Mathematics Letters , 22: 75-78.) proved unique common fixed point results for hybrid generalized ∆-weak contractive mappings in complete metric spaces whereas Doric (2009DORIC D. 2009. Common fixed points for generalized (ψ, ϕ) weak contraction. Applied Mathematics Letters, 22: 1896-1900.) established some related theorems using control functions. This work was an extension to the results due to Zhang & Song (2009ZHANG Q & SONG Y. 2009. Fixed point theory for generalized-weak contractions. Applied Mathematics Letters , 22: 75-78.). Then, Murthy et al. (2015MURTHY PP, TAS K & PATEL UD. 2015. Common fixed point theorems for generalized (ψ, ϕ) weak contraction condition in complete metric spaces. Journal of Inequalities and Applications Applied Mathematics, 139: 14 pages.) proved some results using weak contractive condition on two pairs of discontinuous weakly compatible mappings.
In 1975, the concept of fuzzy metric space is initiated by Kramosil & Michalek (1975KRAMOSIL I & MICHALEK J. 1975. Fuzzy metric and statistical metric spaces. Kybernetica, 11: 336-344.) with the concept of t-norm. Later on, George & Veeramani (1994GEORGE A & VEERAMANI P. 1994. On some results in fuzzy metric spaces. Fuzzy Sets and Systems, 64: 395-399.) extended the notion of fuzzy metric space by defining the Hausdorff topology in this framework. After that, Mihet (2008MIHET D. 2008. Fuzzy ψ-contractive mapping in non-Archimedean fuzzy metric spaces. Fuzzy sets Syst., 159: 739-744.) introduced the fuzzy version of Banach’s result and introduced fuzzy ψ-contractive type mapping in non-Archimedean fuzzy environment. A key distinction between a fuzzy metric and a classical metric is that the latter contains a parameter in its definition. This concept has been used successfully in engineering applications including colour picture filtering and perceived colour disparities. (For details, one can refer to the study of Camarena et al. (2008CAMARENA J, GREGORI V, MORILLAS S & SAPENA A. 2008. Fast detection and removal of impulsive noise using peer groups and fuzzy metrics. J. Visual Commun. Image Representation, 19: 20-29.), Camarena et al. (2010CAMARENA J, GREGORI V, MORILLAS S & SAPENA A. 2010. Two-step fuzzy logic-based method for impulse noise detection in colour images. Pattern Recognition Letters, 31: 1842-1849.), Morillas et al. (2009MORILLAS S, GREGORI V & HERVAS A. 2009. Fuzzy peer groups for reducing mixed gaussian impulse noise from color images. IEEE Transactions on Image Processing, 18: 1452-1466.), Morillas et al. (2007MORILLAS S, GREGORI V & PERIS-FAJARNES G. 2007. New adaptative vector filter using fuzzy metrics. J. Electron. Imaging, 16: 1-15.), Morillas et al. (2005MORILLAS S, GREGORI V, PERIS-FAJARNES G & LATORRE P. 2005. A fast impulsive noise color image filter using fuzzy metrics. Real-Time Imaging, 11: 417-428.), Morillas et al. (2008aMORILLAS S, GREGORI V, PERIS-FAJARNES G & LATORRE P. 2008a. Isolating impulsive noise color images by peer group techniques. Computer Vision and Image Understanding, 110: 102-116.), Morillas et al. (2008bMORILLAS S, GREGORI V, PERIS-FAJARNES G & SAPENA A. 2008b. Local self-adaptative fuzzy filter for impulsive noise removal in color image. Signal Process, 8: 390-398.)).
It has been demonstrated, in particular, that the class of topological spaces that are fuzzy metrizable matches with the class of topological spaces that may be metrized and then some traditional metric completeness and compactness theorems have been modified for fuzzy metric spaces. (See George & Veeramani (1995GEORGE A & VEERAMANI P. 1995. Some theorems in fuzzy metric spaces. J. Fuzzy Math., 3: 933-940.), Gregori & Romaguera (2000GREGORI V & ROMAGUERA S. 2000. Some properties of fuzzy metric spaces. Fuzzy Sets and Systems , 115: 485-489.)). However, compared to the traditional theories of metric completion, the theory of fuzzy metric completion is significantly distinct. In actuality, some fuzzy metric spaces are non-completable (See Gregori (2002GREGORI V. 2002. On completion of fuzzy metric spaces. Fuzzy Sets and Systems , 130: 399-404.)). The example below demonstrates the existence of a fuzzy metric space that forbids fuzzy metric completion.
Example 1 (Gregori (2002GREGORI V. 2002. On completion of fuzzy metric spaces. Fuzzy Sets and Systems , 130: 399-404.)).The continuous t-norm defined on [0, 1] × [0, 1] is indicated by the symbol ∗ and is defined as
for each .
Now, let and be two arbitrary sequences of non-identical points such that , where and .
Put. Let M be a real-valued function defined on W × W × (0, ∞) as:
for every m, n ≥ 3.
We firstly claim that (M, ∗) is a fuzzy metric on W.
Observe that the first four characteristics are nearly evident. (for m, n ≥ 3):
-
for all;
-
if and only if u = v;
-
for all;
-
For every u, v ∈ W; M(u, v, .) is a continuous function on (0, ∞).
Also, a straightforward calculation reveals that, for every m, n, p ≥ 3 and s, t > 0;
and
Finally, the relationships listed below are simple:
Similarly,
and
Thus, for every u, v, w ∈ W and s, t > 0, we have
Hence, (M, ∗) is a fuzzy metric on W.
Next, we assert that in the fuzzy metric space (W, M, ∗); is a Cauchy sequence.
For fixed ε ∈ (0, 1) and s > 0, there exists m 0 ≥ 3 such thatfor all m, n ≥ m 0 .
Let n ≥ m. Then,
for m, n ≥ m 0 . Thus,is a Cauchy sequence in (W, M, ∗). Similarly,is also a Cauchy sequence in (W, M, ∗).
Although,anddo not converge in W w.r.t. the topology ςMinduced by (M, ∗). Actually, ς M is the discrete topology on W as for every m ≥ 3 and each s > 0, we have for(where B M is the base with family of open sets of the form)
To demonstrate the two prior equality claims, it is sufficient to observe that for m, n ≥ 3, with m ≠ n, and s > 0, we have
Similarly,
and for m, n ≥ 3 and s > 0, we have
Similarly,
Hence, (W, M, ∗) is not complete.
The main intent of our work is to extend and generalize (∆, Ω)-weak contraction due to Murthy et al. (2015MURTHY PP, TAS K & PATEL UD. 2015. Common fixed point theorems for generalized (ψ, ϕ) weak contraction condition in complete metric spaces. Journal of Inequalities and Applications Applied Mathematics, 139: 14 pages.) to fuzzy metric spaces. The authenticity of the results is further verified with some illustrative examples.
Theorem 1.[Murthy et al. (2015MURTHY PP, TAS K & PATEL UD. 2015. Common fixed point theorems for generalized (ψ, ϕ) weak contraction condition in complete metric spaces. Journal of Inequalities and Applications Applied Mathematics, 139: 14 pages.)] Let (U, d) be a metric space equipped with completeness, and C, D, E and T be the self mappings defined on U satisfying
for all ρ, σ ∈ U, with ρ ≠ σ and
and
and, (C, E) and (D, T) are weakly compatible pairs.
is such that ∆(t) > 0, which is lower semi-continuous for all t > 0 and ∆ is discontinuous at t = 0 with ∆(0) = 0,is an altering distance. Then C, D, E and T have a unique common fixed point in U.
2 PRELIMINARIES
Definition 1 (George & Veeramani (1994GEORGE A & VEERAMANI P. 1994. On some results in fuzzy metric spaces. Fuzzy Sets and Systems, 64: 395-399.)).Letbe a binary operation. ∗ is a continuous t-norm if it satisfies the postulates stated below:
-
∗ is commutative as well as associative;
-
∗ is a continuous binary operation;
-
;
-
provided a ≤ c and.
Definition 2 (George & Veeramani (1994GEORGE A & VEERAMANI P. 1994. On some results in fuzzy metric spaces. Fuzzy Sets and Systems, 64: 395-399.)). (U, M, ∗) is named a fuzzy metric space if U is any non-empty set, M is a fuzzy set onand ‘∗’ is a continuous t-norm, satisfying the following axiomsand t, s > 0:
-
is positive;
-
;
-
;
-
;
-
is left continuous.
Here, M(σ1, σ2, t) signifies the degree of nearness between two elements σ1and σ2w.r.t. t. These spaces are referred as GV-spaces.
Lemma 1 (George & Veeramani (1994GEORGE A & VEERAMANI P. 1994. On some results in fuzzy metric spaces. Fuzzy Sets and Systems, 64: 395-399.)).if (U, M, ∗) is a fuzzy metric space (FMS), then M(ρ, σ, ·) is non-decreasing.
Definition 3 (George & Veeramani (1994GEORGE A & VEERAMANI P. 1994. On some results in fuzzy metric spaces. Fuzzy Sets and Systems, 64: 395-399.)).Let (U, M, ∗) be a FMS. Then,
-
any sequence {ρ n } in U is convergent to a point.
-
any sequence {ρ n } in U is named a Cauchy sequence ifand for eachsuch that.
-
A fuzzy metric space in which every Cauchy sequence convergent in it, is named as complete fuzzy metric space.
3 MAIN RESULTS
Theorem 2.Let (U, M, ∗) be a complete fuzzy metric space, and let Θ, D, E and T : U → U be four mappings satisfying
for all ρ, σ ∈ U, with ρ ≠ σ and
and
where
Then Θ, D, E and T possess a unique common fixed point.
Proof. Let ρ0 be any arbitrary point in U. As and , therefore, there exists another point ρ1 ∈ U for which , and in the similar manner, for the point ρ1 ∈ U, there exists a point ρ2 ∈ U for which . Following the same pattern, we can set up a sequence {σn } such that
Let us suppose that for all ,
Now, we show that as n tends to . Assume that and in (2).
where
and
Then by triangle inequality, we have
and
If
then we obtain
and (8) implies
and so,
Using monotonically increasing property of ∆ and Ω functions, we have
From (10) and (11), we get
Since
we have, , then from (8), (12) and the properties of ∆ and Ω functions, one can get,
this is a contradiction, thus we have
So, we obtain the following
Now putting (15) and (16) in (8), we have
As Ω is a non-decreasing function, therefore, we get,
This shows that is a non-decreasing sequence, so there exists r > 0 such that
By (7) and (13), it follows that .
Taking limit n tends to ∞ in (18) and using (19), we get
which gives,
This is impossible with ∆ function, therefore
Thus, , we have
that is,
Next, we claim that the sequence {σn } is Cauchy.
For this, it is sufficient to prove that the sub-sequence {σ2n } of the sequence {σn } is Cauchy. Let us assume in a contrary manner that {σ2n } is not a Cauchy sequence. Consider the sequences {2n(k)} and {2m(k)} such that 2n(k) > 2m(k) > 2k for k ∈ N and
Choose 2n(k) to be the smallest index in such a way that (21) holds true.
Then,
Putting and in (2),
where
By triangle inequality, we obtain,
taking k → ∞, we get
Now, for every k, we have
Letting limit k → ∞ and using (20)-(24), we get
Also, for each positive value of k, we get
Taking k → ∞ and using (20)-(25), we get
Again, for each positive value of k, we get
Taking limit k → ∞ and using (20)-(26), we get
From (23)-(27), one obtains
and
Taking k → ∞ in (23), we get
As ∆ is discontinuous at t = 1 where ∆(t) = 0 and , the last term in (29) vanishes, which eventually lead to a contradiction.
Thus, {σn } is a Cauchy sequence. By the property of completeness, this sequence converges to some point ζ (say) in U. Consequently, its sub-sequences also converges to ζ in U i.e.
Since , there exists such that .
Let putting and in (2), we get
where
and
Taking n → ∞ and using , we have
Also, we have
As ∆ is discontinuous at t = 1 and ∆(t) = 0, we notice that
Consequently, we reach a contradiction with Ω function. Thus,
As (Θ, E) is a weakly compatible pair, it commutes at its coincidence point ℏ, i.e..
Next, we claim that Θζ = Eζ = ζ.
For this, putting ρ = ζ and σ = ρ2n+1 in (2), we get
where
and
Taking n → ∞ and using Θζ = Eζ, we get
Now, (30) implies that
As ∆ is discontinuous at t = 1, we get ∆(t) = 0, which implies
but it is a contradiction. Therefore M(Eζ, ζ, t) = 1, implies
Likewise, we can demonstrate that Tζ = Dζ = ζ.
Hence, Eζ = Θζ = Tζ = Dζ = ζ.
We now assert that ζ is the unique common fixed point of Θ, D, E and T. To show this, let w be another fixed point of Θ, D, E and T.
Now put ρ = ζ and σ = w in (2), we obtain
which contradicts itself. Thus, .
Hence Θ, D, E and T possess an unrepeated common fixed point in U. □
Assuming E = T = I (identity map), we deduce the following result:
Theorem 3.Let (U, M, ∗) be a fuzzy metric space equipped with completeness. Let Θ, D: U → U be two self-mappings which satisfy the following inequality:
where ρ, σ ∈ U, ρ ≠ σ,
and
and
-
∆ : [0, 1] → [0, 1] with ∆(t) < 1 is upper semi-continuous for each t ∈ (0, 1) and ∆ is discontinuous at the point t = 1 with ∆(t) = 0.
-
Ω : [0, 1] → [0, 1] is an altering distance function.
Then Θ and D possess a unique fixed point in U.
The result below is obtained by taking Ω = I(identity function):
Corollary 1.Let (U, M, ∗) be a fuzzy metric space equipped with completeness property. Let Θ, D, E and T : U → U be self-mappings holding following inequality:
where ρ, σ ∈ U, ρ ≠ σ,
and
-
Θ(U) ⊂ T(U) and D(U) ⊂ E(U),
-
(Θ, E) and (D, T) are weakly compatible pairs,
-
∆ : [0, 1] → [0, 1] with ∆(t) < 1 is upper semi-continuous for each t ∈ (0, 1) and ∆ is discontinuous at the point t = 1 with ∆(t) = 0.
Then Θ, D, E and T possess a unique common fixed point in U.
Corollary 2.Let (U, M, ∗) be a fuzzy metric space equipped with completeness property. Let Θ and D : U → U be self-mappings satisfying the following inequality:
where ρ, σ ∈ U, ρ ≠ σ,
and
∆ : [0, 1] → [0, 1] with ∆(t) < 1 is upper semi-continuous for each t ∈ (0, 1) and ∆ is discontinuous at the point t = 1 with ∆(t) = 0.
Then Θ and D possess a unique fixed point in U.
If the aforementioned condition
is changed to
another result will be deduced as follows:
Theorem 4.Let (U, M, ∗) be a fuzzy metric space equipped with completeness. Let Θ, D, E and T be self-mappings defined on U such that they satisfy the following inequality:
where ρ, σ ∈ U, ρ ≠ σ,
and
-
and,
-
(Θ, E) and (D, T) are weakly compatible pairs,
-
∆ : [0, 1] → [0, 1] with ∆(t) < 1 is upper semi-continuous for each t ∈ (0, 1) and ∆ is discontinuous at the point t = 1 with ∆(t) = 0.
-
Ω : [0, 1] → [0, 1] is a strictly monotonically increasing altering distance function.
Then Θ, D, E and T possess a unique common fixed point in U.
On the same lines, the above theorem is easily demonstrable as Theorem 3.1.
Theorem 5.Let (U, M, ∗) be a fuzzy metric space equipped with completeness. Let Θ and D be self-mappings defined on U such that they satisfy the following inequality:
where ρ, σ ∈ U, ρ ≠ σ,
and
-
∆ : [0, 1] → [0, 1] with ∆(t) < 1 is upper semi-continuous for each t ∈ (0, 1) and ∆ is discontinuous at the point t = 1 with ∆(t) = 0,
-
Ω : [0, 1] → [0, 1] is a strictly monotonically increasing altering distance function.
Then Θ, D possess a unique common fixed point in U.
Following are a few corollaries that arise from the results stated above:
Corollary 3.Let (U, M, ∗) be a fuzzy metric space equipped with completeness. Let Θ, D, E and T be self-mappings defined on U such that they satisfy the following inequality:
where ρ, σ ∈ U, ρ ≠ σ,
and
-
and,
-
(Θ, E) and (D, T) are weakly compatible pairs,
-
∆ : [0, 1] → [0, 1] with ∆(t) < 1 is upper semi-continuous for each t ∈ (0, 1) and ∆ is discontinuous at the point t = 1 with ∆(t) = 0.
Then Θ, D, E and T possess a unique common fixed point in U.
Corollary 4.Let (U, M, ∗) be a fuzzy metric space equipped with completeness. Let Θ and D be self-mappings defined on U such that they satisfy the following inequality:
where ρ, σ ∈ U, ρ ≠ σ,
and
Here, ∆ : [0, 1] → [0, 1] with ∆(t) < 1 is upper semi-continuous for each t ∈ (0, 1) and ∆ is discontinuous at the point t = 1 with ∆(t) = 0.
Then Θ, D possess a unique common fixed point in U.
Example 2.Let U = [0, 2] be equipped with the (usual) metricand (U, M, ∗) be a fuzzy metric space. Let Θ, D, E and T be self mappings defined on U as
where
Here, and, and (Θ, E) and (D, T) are weakly compatible maps at ρ = 0.
Let Ω(t) = t and
Now, we examine Theorem 3.1’s inequality in several cases.
Case I. If ρ = 0 and σ = 0
Hence,
Case II. If ρ = 0 and σ ≠ 0,
Now,
implies,
Therefore,
Hence,
Case III. If ρ ≠ 0 and σ = 0.
Now,
By definition of κ1 and κ2 in Theorem 2, we get
Hence,
Case IV. If ρ ≠ 0 and σ ≠ 0.
Now,
and
this implies,
The inequality is therefore true in each instance. As a result, Theorem 3.1’s criteria are all fulfilled and therefore Θ, D, E and T possess a unique common fixed point. Here, ρ = 0 is the unique common fixed point in U.
4 CONCLUSION
In this work, control functions are well used to locate fixed point for pairs of discontinuous maps in the setting of fuzzy environment. This is a fruitful strategy to broaden and generalize the literature’s findings in the direction of fuzzy metric space.
Acknowledgements
The authors declare that they have no competing interests.
References
- ALBER YI & GUERRE-DELABRIERE S. 1997. Principles of weakly contractive maps in Hilbert spaces. New Results in Operator Theory in Advances and Appl., 98: 7-22.
- BANACH S. 1922. Sur les operations dans les ensembles abstraits et leur application aux equations integrales. Fundamenta Mathematicae, 3: 133-181.
- BOYD DW & WONG TSW. 1969. On nonlinear contraction. Proceedings of American Mathematical Society, 20: 458-464.
- CAMARENA J, GREGORI V, MORILLAS S & SAPENA A. 2008. Fast detection and removal of impulsive noise using peer groups and fuzzy metrics. J. Visual Commun. Image Representation, 19: 20-29.
- CAMARENA J, GREGORI V, MORILLAS S & SAPENA A. 2010. Two-step fuzzy logic-based method for impulse noise detection in colour images. Pattern Recognition Letters, 31: 1842-1849.
- DORIC D. 2009. Common fixed points for generalized (ψ, ϕ) weak contraction. Applied Mathematics Letters, 22: 1896-1900.
- GEORGE A & VEERAMANI P. 1994. On some results in fuzzy metric spaces. Fuzzy Sets and Systems, 64: 395-399.
- GEORGE A & VEERAMANI P. 1995. Some theorems in fuzzy metric spaces. J. Fuzzy Math., 3: 933-940.
- GREGORI V. 2002. On completion of fuzzy metric spaces. Fuzzy Sets and Systems , 130: 399-404.
- GREGORI V & ROMAGUERA S. 2000. Some properties of fuzzy metric spaces. Fuzzy Sets and Systems , 115: 485-489.
- KANNAN R. 1968. Some result on fixed points. Bulletin of Calcutta Mathematical Society, 6: 71-78.
- KRAMOSIL I & MICHALEK J. 1975. Fuzzy metric and statistical metric spaces. Kybernetica, 11: 336-344.
- MIHET D. 2008. Fuzzy ψ-contractive mapping in non-Archimedean fuzzy metric spaces. Fuzzy sets Syst., 159: 739-744.
- MORILLAS S, GREGORI V & HERVAS A. 2009. Fuzzy peer groups for reducing mixed gaussian impulse noise from color images. IEEE Transactions on Image Processing, 18: 1452-1466.
- MORILLAS S, GREGORI V & PERIS-FAJARNES G. 2007. New adaptative vector filter using fuzzy metrics. J. Electron. Imaging, 16: 1-15.
- MORILLAS S, GREGORI V, PERIS-FAJARNES G & LATORRE P. 2005. A fast impulsive noise color image filter using fuzzy metrics. Real-Time Imaging, 11: 417-428.
- MORILLAS S, GREGORI V, PERIS-FAJARNES G & LATORRE P. 2008a. Isolating impulsive noise color images by peer group techniques. Computer Vision and Image Understanding, 110: 102-116.
- MORILLAS S, GREGORI V, PERIS-FAJARNES G & SAPENA A. 2008b. Local self-adaptative fuzzy filter for impulsive noise removal in color image. Signal Process, 8: 390-398.
- MURTHY PP, TAS K & PATEL UD. 2015. Common fixed point theorems for generalized (ψ, ϕ) weak contraction condition in complete metric spaces. Journal of Inequalities and Applications Applied Mathematics, 139: 14 pages.
- RAKOTCH A. 1962. A note on contraction mappings. Proceedings of American Mathematical Society , 13: 459-462.
- RHOADES BE. 2001. Some theorems on weakly contractive maps. Nonlinear Analysis, 47: 2683-2693.
- ZHANG Q & SONG Y. 2009. Fixed point theory for generalized-weak contractions. Applied Mathematics Letters , 22: 75-78.
Publication Dates
-
Publication in this collection
09 Oct 2023 -
Date of issue
2023
History
-
Received
15 Mar 2023 -
Accepted
29 Apr 2023