Theory of Fixed Point on Fuzzy Metric Spaces and Their Solutions

Applications and Extensions

by Shruti Ektare*,

- Published in Journal of Advances and Scholarly Researches in Allied Education, E-ISSN: 2230-7540

Volume 15, Issue No. 11, Nov 2018, Pages 127 - 132 (6)

Published by: Ignited Minds Journals


ABSTRACT

The examination in this paper bargains basically with fixed point theorems and their applications. Fixed point theory on fuzzy metric space is blend of fuzzy set theory and fixed point theory. Fuzzy set theory has wide range applications because of idea of fuzzy set and fuzzy logic. The present paper is gone for acquiring a fixed point theorem on fuzzy metric space which fulfills a contractive condition. We are utilizing the idea of finish metric spaces in this theorem. Our result expands and sums up some result in fuzzy metric spaces. We likewise outfit an example which fulfills our primary result in this paper.

KEYWORD

fixed point, fuzzy metric spaces, applications, fuzzy set theory, fixed point theorem

INTRODUCTION

All things considered, models, numerous frameworks are identified with 'uncertainty' and additionally 'inexactness'. The issue of 'inexactness' is considered when all is said in done as correct science, though that of 'uncertainty' is ambiguous or fuzzy and unintentional. Fuzzy idea is a creative innovation that upgrades customary frameworks structure with engineering skill. The use of fuzzy set; theory matches everyday substances. It is superior to the standard set theory since every one of the wonders and perceptions rail have in excess of two positive states. FUZZY metric space is a speculation of metric space. The investigation on uncertainty and on irregularity started to investigate with the idea of fluffiness in arithmetic. Fuzzy set is utilized in fuzzy metric space, which is started by Lofti. A. Zadeh. After that Kramosil and Michalek presented the idea of fuzzy metric space. A critical idea of fuzzy metric space with ceaseless tnorm is laid by Georage and Veeramani. Grabiec broadened established fixed point theorems of Banach and Edelstein to finish and minimal fuzzy metric spaces separately. Good mapping is summed up from commutatively mappings by Jungck. After that Jungck and Rhodes started the thought of powerless good and demonstrated that perfect maps are pitifully perfect yet talk isn't valid. A typical E.A property is the speculation of the idea of non similarity is presented under strict contractive conditions by Aamri and El. Moutawakil. In present time, Fuzzy set theory and Fuzzy logic isn't just dynamic field of research in science yet in addition in other field of engineering, drug, correspondence, material science, science and so forth are field in which the materialness of fuzzy theory was acknowledged. Since, Many creators with respect to the theory of fuzzy sets and its applications have built up a ton of writing. Fuzzy sets are taken up with energy by designers, PC researchers and activities scientists, especially in Japan where fuzzy controllers are presently a basic piece of many assembling gadgets. A remarkable reason is the relationship that the fuzzy sets have a multi-esteemed logic, offering choice conceivable outcomes, for example, 'might be valid' and 'might be false', appropriately evaluated notwithstanding the customary division of genuine or false. Fixed point theorems in fuzzy arithmetic are rising with lively expectation and crucial trust. The investigation of Kramosil and Michalek's of fuzzy metric space made ready for exceptionally calming hardware to create fixed point theorems for contractive kind maps. Uses of fuzzy fixed points develops in the fields guess theory, min-max issues, numerical financial matters, variational disparities, eigen esteem issues and limit esteem issues. The fuzzy metric space was presented by O.Kramosil and J. Michalek in 1975. Helpern in 1981first demonstrated a fixed point theorem for fuzzy mappings. Additionally M.Grabiec in 1988 demonstrated the compression rule in the setting of the fuzzy metric spaces. In addition, A. George and P. Veeramani in1994 altered the idea of fuzzy metric spaces with the assistance of t-standard, by summing up the idea of probabilistic metric space to fuzzy circumstance. Therefore at the appointed

Gahler in a progression of papers examined 2-metric spaces. Sharma, Sharma and Iseki considered out of the blue withdrawal type mappings in 2-metic space. We realize that that 2-metric space is a genuine esteemed capacity of a point triples on a set X, which unique properties were proposed by the region work in Euclidean spaces. Presently it is normal to expect 3-Metric space, which is recommended by the volume work. In the present paper we are demonstrating a typical fixed point theorem for fuzzy3-metric spaces for feebly driving mappings.

FUZZY METRIC SPACES

In 1975, Kramosil and Michálek first presented the idea of a fuzzy metric space, which can be viewed as a speculation of the measurable (probabilistic) metric space. Unmistakably, this work gives an imperative premise to the development of fixed point theory in fuzzy metric spaces. A short time later, Grabiec characterized the fulfillment of the fuzzy metric space and stretched out the Banach compression theorem to G-finish fuzzy metric spaces. Following Grabiec's work, Fang (1992) further settled some new fixed point theorems for contractive sort mappings in G-finish fuzzy metric spaces. Before long, Mishra et al. (1994) likewise acquired a few normal fixed point theorems for asymptotically driving maps in a similar space, which sum up a few fixed point theorems in metric, Menger, fuzzy and uniform spaces. Other than these works dependent on the G-finish fuzzy metric space, George and Veeramani (1994) changed the definition of the Cauchy succession presented by Grabiec (1988) in light of the fact that even R isn't finished with Grabiec's fulfillment definition. In the interim, they marginally adjusted the thought of a fuzzy metric space presented by Kramosil and Michálek and afterward characterized a Hausdorff and first countable topology. From that point forward, the idea of a total fuzzy metric space displayed by George and Veeramani has developed as another portrayal of culmination, and some fixed point theorems have additionally been built based on this metric space. From the above examination, we can see that there are numerous investigations identified with fixed point theory dependent on the over two sorts of finish fuzzy metric spaces. Note that each G-finish fuzzy metric space is M-finished; the development of fixed point theorems in M-finish fuzzy metric spaces is by all accounts increasingly significant. The reason for this work is to propose another class of self-maps by utilizing a ϕ-work. All the more vitally, we demonstrate the presence of a fixed point for

Preliminaries -

Presently, we start with some fundamental ideas. Give N a chance to signify the set of every single positive whole number. Definition 1. A paired task * : is known as a ceaseless t-standard on the off chance that it fulfills the accompanying conditions: (TN-1) * is commutative and acquainted: (TN-2) * is ceaseless; (TN-3) a* 1 = a for each an e [0. 1]; (TN-4) each time and

Definition 2. A fuzzy metric space is an arranged triple (X,M,*) with the end goal that X is a (nonempty) set, * is a ceaseless t-standard and M is a fuzzy set on filling the consequent conditions, for all s,t > 0:

(FM-1) M(x,y,f) > 0; (FM-2) M(x,y, f) = 1 if and only if x =y (FM-3) M(x,y, t) = M(y, x, t);

(FM-4)

(FM-5) is continuous. Definition 3. Let (X, M, *) be a fuzzy metric space. At that point: (i) A succession {xn} is said to unite to x in X, indicated by if and just if for all t > 0, i.e. for each and f > 0, there exists with the end goal that for all (ii) A grouping {xn} in X is a M-Cauchy arrangement if and if for each there exists with the end goal that for any (iii) The fuzzy metric space (X, M, *) is called M-finish if each M-Cauchy grouping is concurrent.

Results -

In this segment, we will set up a few fixed point theorems for self-maps of the M-finish fuzzy metric space and minimal fuzzy metric space. In these metric spaces, a capacity which is utilized by changing the separation between two points fulfills the accompanying properties: (PI) is entirely diminishing and left nonstop: (P2) if and just If Clearly, we acquire that (Lim Lemda-1) Theorem 1. Let (X. M, *) be a M-finish fuzzy metric space and T a self-guide of X and assume that fulfills the prior properties (PI) and (P2). Moreover, let k be a capacity from into (0, 1). In the event that for any t > 0, T fulfills the accompanying condition:

(1)

Where and, at that point T has an extraordinary fixed point. proof. Let*o be a point in X. Characterize and for all , t > 0. Now we first demonstrate that T has a fixed point. The confirmation is separated into two cases. Case 1. On the off chance that there exists such that i.e., at that point it pursues that is a fixed point of T. Case 2. We accept that for each. That is to state, the relationship remains constant for every n. From (1), for each t > 0, we can get

(2)

Since is entirely diminishing, it is anything but difficult to demonstrate that is an increasing arrangement for each t > 0 regarding n. We put and suppose that . By (2), then infers that

(3)

For each t, by assuming that since is left constant, we have which is a logical inconsistency. Consequently That is, the grouping meets to 1 for any t > 0. Next, we demonstrate that the succession is a M-Cauchy arrangement. Assume that it isn't. At that point there exist and two successions {p(n)} and {q(n)} with the end goal that for each and t>0, we acquire that

(5)

For each we suppose that then we have

(6)

Since for every t, supposing that we note that converges to for any t > 0. Moreover, by (1), we have

(7)

According to the monotonicity of we know that for each n. Thus, on the basis of the formula (5) we can obtain

(8)

Clearly, this leads to a contradiction. In particular, we consider another case. That is, there exists such that for all Obviously, for any we know that As is monotonic, it is easy to see that the sequence is a monotone and bounded sequence with respect to p. Therefore, there exists such that for all t > 0. Thus, we can obtain (9)

Hence {xn} is an M-Cauchy sequence in the M-complete fuzzy metric space X. Therefore, we conclude that there exists a point such that Now we will show that x is a fixed point of T. Since there exists a subsequence such that for every From (2), we can obtain

(10)

By supposing that in (10), we have

(11)

So we can get According to the property (P2), it is easy to show that Furthermore, we claim thatx is the unique fixed point of T. Assume thaty is another fixed point of T, we then obtain

(12)

which is a contradiction. The proof of the theorem is now completed.

FIXED POINT THEOREMS IN FUZZY METRIC

SPACES USING (CLRG) PROPERTY

The idea of fuzzy sets was presented by Zadeh, in 1965, as another approach to speak to the unclearness in regular daily existence. In numerical programming issues are communicated as advancing some objective capacity given certain limitations, and there are genuine issues that think about various destinations. By and large it is exceptionally hard to get an attainable arrangement that conveys us to the ideal of every single target work. A conceivable technique for goals that is very valuable is the one utilizing fuzzy sets. It was created widely by numerous creators and Used in different fields to utilize this idea in topology and examination. George and Veeramani changed the idea of fuzzy metric space presented by Kramosil and Michalek so as to get the Hausdorff topology. Jungck presented the idea of good maps for a couple of self mapping. The significance of CLRg property guarantees that one doesn't require the closeness of range subspaces. In 2008 Altun I. demonstrated normal fixed point theorem on fuzzy metric space with a certain connection. Sintunavarat presented another idea of property (CLRg). Chauhan et al use the thought of normal limit go property to demonstrate bound together fixed point theorems for pitifully good mapping in fuzzy metric spaces. Verifiable up the idea of E.A. property and (CLRg) property for coupled mappings and an agreed answer of inquiry raised by Rhoades . The significance of (CLRg) property guarantees that one doesn't Require the closeness of range subspaces., First, we give a few definitions.

Preliminaries:-

Definitions 1. A double task *: [0, 1] x [0, 1] [0, 1] is known as a t - standard if ([0, 1], *) is an abelian topological monoid with unit 1 to such an extent that at whatever point and for Examples of t-standards are a * b = abdominal muscle and a * b = min {a, b} Definition 2.The 3-tuple (X, M, *) is said to be a fuzzy metric space, if X is a subjective set.* is a ceaseless t-standard and M is a fuzzy set in fulfilling the accompanying conditions: for all and s, t > 0. (FM-1) M(x, y,0) = 0, (FM-2) M(x, y,t) = 1 for all t > 0 if and only if x = y, (FM-3) M(x, y,t) = M(y. x. t). (FM-4) M(x, y,t) * M(y. z, s)M(x. z, t + s), (FM-5) M(x, y,•): [0,)[0.1] is left continuous,

(FM-6)

Note that M(x, y, t) can be considered as the level of closeness among x and y as for t. we recognize x=y with M(x, y, t)=l for all t>0.The following example demonstrates that each metric space instigates a Fuzzy metric space. Example 1 Let (X, d) be a metric space. Characterize a * b =min {a. b} and for all and all t > O.Hien (X, M, *) is a fuzzy metric space. It is known as the fuzzy metric space prompted by the metric d. Lemma 1 Let (X, M, *) be a fuzzy metric space. On the off chance that there exist with the end goal that M(x, y, kt) M(x, y, t) for all x,y X and t>0 then x = y. Definition 3 A grouping {xn} in X is said to be a Cauchy succession if and if for each ,

A grouping {xn} is said to be a join to a point x in X if and if for each > 0, t > 0 there exists with the end goal that for all A Fuzzy metric space (X, M,*) is said to be finished if each Cauchy succession in it merges to a point in it. Definition 4 Two maps An and B from a fuzzy metric space (X, M, *) into itself are said to be perfect if for all t > 0. at whatever point {xn} is a grouping with the end goal that for a few Definition 5 Two maps An and B from a fuzzy metric space (X, M, *) into itself are said to be feeble - perfect in the event that they drive at their occurrence points, i.e., Ax = Bx suggests ABx = BAx. Definition 6 Self mappings An and S of a fuzzy metric space (X, M,*) are said to be once in a while feebly good (owe) if and just if thare is a point x in X which is fortuitous event point of An and S at which An and S drive. Definition 7 A couple of self mappings An and S of a fuzzy metric space (X,M ,*) is said to fulfill the (CLRg) property if there exists a succession {xn} in X to such an extent that for a few Proposition 1. greetings a fuzzy metric space (X, M,*) limit of an arrangement is one of a kind. Proposition 2 Let S and T be perfect self maps of a fuzzy metric space (X, M, *) and let {xn} be an arrangement in X to such an extent that for some u in X. At that point if T is consistent. Proposition 3 Let S and T be good self maps of a fuzzy metric space (X, M,*) and Su=Tu for some u in X then STu=TSu=SSu=TTu. Lemma 1 Let (X, M,*) be a fuzzy metric space. At that point for all is a non-diminishing capacity. Lemma 2 Let (X, M, *) be a fuzzy metric space. If there exits such that for all then x=y. Lemma 3 Let {xa} be a sequence in a fuzzy metric space(X, M, *). If there exists a number such that and Then {xn} is a Cauchy sequence in X. b} for all

Result-

Theorem 1. Let (X, M. *) be a Fuzzy Metric Space, * being continuous t-nonn with . Let and be four mappings satisfying following conditions: (i) The pairs (P, R) and (Q, S) satisfy CLRg property (ii) and Such that for 0 < t

CONCLUSION

The examination is focused on a couple of new sorts of fixed point theorems in fuzzy metric spaces together with their applications. In this examination, we have shown the most basic fixed point theorems in the descriptive examination of issues in the associated science. Uses of such theorems in the certified conditions can't be blocked. We are foreseeing work with these viewpoints in our future examinations. In this work, we proposed another class of self-maps by adjusting the separation between two points in fuzzy condition, in which the - work was utilized. Based on this sort of self-delineate, further demonstrated some fixed point theorems in Mcomplete fuzzy metric spaces and smaller fuzzy metric spaces. Clearly, the present examination enhances our insight into fixed points in M-fuzzy metric spaces.

results in fuzzy metric spaces, Fuzzy Sets and Systems 64, pp. 395–399. 2. Balasubramaniam P., Muralisankar S., Pant R.P. (2002). J. Fuzzy Math. 10(2), pp. 379-384. 3. Chauhan S., Kumar S. (2013). Kochi Jonral. Math. 8, pp. 135-154. 4. Chouhan (2013). Jounral of Inequalities and Application, 1(182). 5. G. Yun, S. Hwang, J. Chang (2010). Fuzzy Lipschitz maps and fixed point theorems in fuzzy metric spaces, Fuzzy Sets and Systems 161, pp. 1117–1130. 6. George, A. and Veramani, P. (1994). ―On some results in fuzzy metric spaces‖ Fuzzy Sets and Systems 64, pp. 395-399. 7. Grabiec, M. (1988). ―Fixed points in fuzzy metric space‖ Fuzzy Sets and Systems 27, pp. 385-389. 8. J.X. Fang (1992). On fixed point theorems in fuzzy metric spaces, Fuzzy Sets and Systems 46, pp. 107–113. 9. Kramosil, I. and Michalek, J. (1975). ―Fuzzy metric and statistical metric spaces‖ Kybernetica 11, pp. 326-334. 10. Kumar S., Chauhan S. (2013). Ann. Fuzzy Math. Inform. 5(1), pp. 107-114. 11. M. Grabiec (1988). Fixed points in fuzzy metric spaces, Fuzzy Sets and Systems 27, pp. 385–389. 12. M. Imdad, J. Ali (2006). Some common fixed point theorems in fuzzy metric spaces, Mathematical Communications 11, pp. 153–163. 13. P. Vijayaraju, Z. M. I. Sajath (2009). "Some common fixed point theorems in fuzzy metric spaces,‖ Int. J. Math Analysis., vol. 3(15), pp.701-710. 14. S.N. Mishra, N. Sharma, S.L. Singh (1994). Common fixed points of maps on fuzzy metric spaces, International Journal of Mathematics and Mathematical Sciences 17, pp. 253–258. 16. V. Gregori, A. Sapena (2002). On fixed-point theorems in fuzzy metric spaces, Fuzzy Sets and Systems 125, pp. 245–252. 17. V. Gupta, A. Kanwar (2012). ―Fixed point theorem in fuzzy metric spaces satisfying E.A property,‖ Indian Journal of Science and Technology, vol. 5(12), pp. 69-71, ISSN 0974-6846.

Corresponding Author Shruti Ektare*

Research Scholar

shruti2209@gmail.com