- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

Journal of Applied Mathematics

VolumeΒ 2012Β (2012), Article IDΒ 890678, 18 pages

doi:10.1155/2012/890678

## Common Fixed Point Theorems in a New Fuzzy Metric Space

^{1}School of Information Engineering, Guangdong Medical College, Dongguan, Guangdong 523808, China^{2}College of Mathematics and Physics, Chongqing University of Posts and Telecommunications, Nanan, Chongqing 400065, China

Received 26 October 2011; Accepted 1 December 2011

Academic Editor: Yeong-ChengΒ Liou

Copyright Β© 2012 Weiquan Zhang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

We generalize the Hausdorff fuzzy metric in the sense of RodrΓguez-LΓ³pez and Romaguera, and we introduce a new -fuzzy metric, where -fuzzy metric can be thought of as the degree of nearness between two fuzzy sets with respect to any positive real number. Moreover, under -contraction condition, in the fuzzy metric space, we give some common fixed point theorems for fuzzy mappings.

#### 1. Introduction

The concept of fuzzy sets was introduced initially by Zadeh [1] in 1965. After that, to use this concept in topology and analysis, many authors have expansively developed the theory of fuzzy sets and application [2, 3]. In the theory of fuzzy topological spaces, one of the main problems is to obtain an appropriate and consistent notion of fuzzy metric space. This problem was investigated by many authors [4β13] from different points of view. George and Veeramaniβs fuzzy metric space [6] has been widely accepted as an appropriate notion of metric fuzziness in the sense that it provides rich topological structures which can be obtained, in many cases, from classical theorems. Further, it is necessary to mention that this fuzzy metric space has very important application in studying fixed point theorems for contraction-type mappings [7, 14β16]. Besides that, a number of metrics are used on subspaces of fuzzy sets. For example, the sendograph metric [17β19] and the -metric for fuzzy sets [20β25] induced by the Hausdorff-Pompeiu metric have been studied most frequently, where -metric is an ordinary metric between two fuzzy sets. Combining fuzzy metric (in the sense of George and Veeramani) and Hausdorff-Pompeiu metric, RodrΓguez-LΓ³pezand Romaguera [26] construct a Hausdorff fuzzy metric, where Hausdorff fuzzy metric can be thought of as the degree of nearness between two crisp nonempty compact sets with respect to any positive real number.

In this present investigation, considering the Hausdorff-Pompeiu metric and theories on fuzzy metric spaces (in the sense of George and Veeramani) together, we study the degree of nearness between two fuzzy sets as a natural generalization of the degree of nearness between two crisp sets, in turn, it helps in studying new problems in fuzzy topology. Based on the Hausdorff fuzzy metric , we introduce a suitable notion for the -fuzzy metric on the fuzzy sets whose -cut are nonempty compact for each . In particular, we explore several properties of -fuzzy metric. Then, under -contraction condition, we give some common fixed point theorems in the fuzzy metric space on fuzzy sets.

#### 2. Preliminaries

According to [27], a binary operation is called a continuous -norm if is an Abelian topological semigroups with unit 1 such that whenever and for all .

*Definition 2.1 (see [6]). *The 3-tuple is said to be a fuzzy metric space if is an arbitrary set, is a continuous -norm, and is a fuzzy set on satisfying the following conditions, for all :(i);(ii) if and only if ;(iii);(iv);(v) is continuous.

If is a fuzzy metric space, it will be said that is a fuzzy metric on .

A simply but useful fact [7] is that is nondecreasing for all . Let be a metric space. Denote by the usual multiplication for all , and let be the fuzzy set defined on by Then, is a fuzzy metric space, and is called the standard fuzzy metric induced by [8].

George and Veeramani [6] proved that every fuzzy metric on generates a topology on which has a base the family of open sets of the form: where for all and . They proved that is a Hausdorff first countable topological space. Moreover, if is a metric space, then the topology generated by coincides with the topology generated by the induced fuzzy metric (see [8]).

Lemma 2.2 (see [6]). *Let be a fuzzy metric space and let be the topology induced by the fuzzy metric. Then, for a sequence in , if and only if as for all .*

*Definition 2.3 (see [6]). *A sequence in a fuzzy metric space is called a Cauchy sequence if and only if for each , there exists such that for all . A fuzzy metric space is said to be complete if and only if every Cauchy sequence is convergent.

*Definition 2.4 (see [13]). *Let be a nonempty subset of a fuzzy metric space . For and , .

Lemma 2.5 (see [28]). *Let be a set and let be a family of subsets of such that*(1)*;*(2)* implies ;*(3)*, implies .**Then, the function defined by has the property that ββfor every .*

Next, we recall some pertinent concepts on Hausdorff fuzzy metric. Denote by the set of nonempty closed and bounded subsets of a metric space . It is well known (see, e.g., [29]) that the function defined on by for all , is a metric on called the Hausdorff-Pompeiu metric. In [30], it is proved that the metric is complete provided is complete.

Let be the set of all nonempty compact subsets of a fuzzy metric space , , , according to [26], the Hausdorff fuzzy metric on is defined as where , and is a fuzzy metric on . It is shown that if and only if , and if and only if .

Lemma 2.6 (see [26]). *Let be a fuzzy metric space. Then, is complete if and only if is complete.*

Lemma 2.7 (see [26]). *Let be a metric space. Then, the Hausdorff fuzzy metric of the standard fuzzy metric coincides with standard fuzzy metric of the Hausdorff metric on .*

#### 3. On -Fuzzy Metric

Let be a fuzzy metric space. Denote by the totality of fuzzy sets: which satisfy that, for each , the -cut of , is nonempty compact in .

*Definition 3.1. *Let be a fuzzy metric space. The -fuzzy metric between two fuzzy sets is induced by the Hausdorff fuzzy metric as
where , and
is the fuzzy separation of from .

Lemma 3.2. *Let be a fuzzy metric space, , . Then one has*(1)*,*(2)*,*(3)* if and only if ,*(4)* if and only if ,*(5)*if , then ,*(6)*,*(7)*,
*(8)* is continuous.*

*Proof. *For (1), by the definition of the -cut , for every , is nonempty compact in . By the theorem of nested intervals, there exists a point in for every , likewise, there exists a points in for every . Thus, . Moreover, it is clear that .

For (2), it is clear that .

For (3), since if and only if for all , which implies for all , we have that if and only if .

For (4), it follows from (3).

For (5), for every , any , and , by the proof of Theoremββ1 in [26], we have
with all , which implies
for all and all . Since , then . By (iv) of Definition 2.1 and the arbitrariness of and , we have
which implies
Consequently, .

For (6), for every , by the proof of (5) and (iv) of Definition 2.1, we have
Consequently, .

For (7), for every , by the proof of (6), we have
Similarly, it can be shown that
Hence, .

For (8), by the continuity on of the function , it is clear that is continuous.

Theorem 3.3. *Let be a fuzzy metric space. Then, is a fuzzy metric space, where is a fuzzy set on the .*

*Proof. * It is easily proved by Lemma 3.2.

*Example 3.4. *Let be the Euclidean metric on , and let and let be two compact intervals. Then, . Let be a fuzzy metric space, where the usual multiplication for all , and is defined on by
Denote by the totality of fuzzy sets which satisfy that for each , the -cut of is a nonempty compact interval. For any -cuts of fuzzy sets and for all , by a simple calculation, we have
So by Definition 3.1, we get

#### 4. Properties of the -Fuzzy Metric

*Definition 4.1. *Let be a fuzzy metric space. For , define with center a fuzzy set and radius as

Proposition 4.2. *Every is an open set.*

*Proof. * It is identical with the proof in [6].

Proposition 4.3. *Let be a fuzzy metric space. Define .**Then, is a topology on .*

*Proof. *
It is identical with the proof in [6].

*Definition 4.4. *A sequence in a fuzzy metric space is a Cauchy sequence if and only if for each , , there exists such that for all .

Lemma 4.5. *Let be a fuzzy metric space on fuzzy metric and let be the topology induced by the fuzzy metric . Then, for a sequence in , if and only if as .*

*Proof. * It is identical with the proof of Theoremββ3.11 in [6].

Theorem 4.6. *The fuzzy metric space is complete provided is complete.*

*Proof. *Let be a complete fuzzy metric space and let a sequence be a Cauchy sequence in . Consider a fixed . Then, is a Cauchy sequence in , where denotes all nonempty compact subsets of .

Since is complete by Lemma 2.6, it follows that . Actually, from the definition of and the continuity of , it is easy to see that , uniformly in .

Now, consider the family , where . Take , we have
Since , it follows that . Thus, for each , if is large enough. Hence, , and by Lemma 3.2, we have .

Now, take and . We have to show that . It is clear that
On the other hand, we have
for fixed . However,
Consequently, for every , there exists such that . For given , since , there exists such that
for . Now,
for any . Since , we obtain
Now, for and all . Note that (since the convergence is uniform in ) does not depend on . Since decreases to , if follows that for some (depending on ).

Thus, , if is large.

Finally, by taking large enough, we obtain
that is,
From (4.3) and (4.9), it yields . Thus, Lemma 2.5 is applicable and there exists for every such that . It remains to show that in .

Let . Then, since is a Cauchy sequence, there exists such that implies .

Let be fixed. Then,
Thus, in the -fuzzy metric. The proof is completed.

Lemma 4.7. *Let be a compact fuzzy metric space and compact subsets . Then, for each and , there exists a such that .*

*Proof. *Suppose there exists a such that for any and . Then,
that is,
So,
This is a contradiction with .

Lemma 4.8. *Let be a compact fuzzy metric space, and . Then, for any compact set , there exists a compact set such that .*

*Proof. *Let there exists a such that and let . For any , by Lemma 4.7, there exists a such that
Thus, , moreover, is compact since it is closed in and .

Now, for any , , there exists a such that
Thus, we have , which implies that
Similarly, it can be shown that .

Hence, . This completes the proof.

Theorem 4.9. *Let be a compact fuzzy metric space and , . Then, for any satisfying , there exists a such that and
*

*Proof. *Since , and are normal, we have and for all . Let
and let . For any , by Lemma 4.7, there exists a such that
Thus, is nonempty compact in , moreover, if .

From the proof of Lemma 4.8, we have
By Lemmaββ3.1 in [28], there exists a fuzzy set with the property that for . Since are nonempty compact for all , we have . Consequently,
This completes the proof.

*Definition 4.10 (see [24]). *Let be any fuzzy metric space. is said to be a fuzzy mapping if and only if is a mapping from the space into , that is, for each .

#### 5. Common Fixed Point Theorems in the Fuzzy Metric Space on Fuzzy Sets

Theorem 5.1. *Let be a compact fuzzy metric space and let be a sequence of fuzzy self-mappings of . Let be a nondecreasing function satisfying the following condition: is continuous from the left and
**
where denote the th iterative function of . Suppose that for each , and for arbitrary positive integers and ,
**
then there exists such that for all .*

*Proof. * Let and . By Theorem 4.9, for any , there exists such that and
Again by Theorem 4.9, for any , we can find such that and
By induction, we produce a sequence of points of such that
Now, we prove that is a Cauchy sequence in . In fact, for arbitrary positive integer , by the inequality (5.2), Lemma 3.2, and the formula (5.5), we have
where implies , by (3) of Lemma 3.2. In addition, it is easy to get that for all . In fact, suppose that there exists some such that . Since is nondecreasing, we have
Since as , for all , then we have as . From the inequality (5.7), we have . This is a contradiction which implies for all . We can prove that . In fact, if , then from the inequality (5.6), we get
which is a contradiction. Thus, from the inequality (5.6), we have
Furthermore, for arbitrary positive integers and , we have
and as , for all , it follows that
is convergent, which implies that is a Cauchy sequence in . Since is a compact fuzzy metric space, it follows is complete. By Theorem 4.6, is complete. Let . Next, we show that for all . In fact, for arbitrary positive integers and , , by Theorem 4.9, we have
where implies . Letting , and using the left continuity of , we have
which implies . Hence, by Lemma 3.2, it follows that . Then, the proof is completed.

Theorem 5.2. *Let be a compact fuzzy metric space and let be a sequence of fuzzy self-mappings of . Suppose that for each , and for arbitrary positive integers and , , ,
**
where is nondecreasing and continuous from the left for each variable. Denote , where . If
**
where denote the th iterative function of , then there exists such that for all .*

*Proof. * Let and . By Theorem 4.9, for any , there exists such that and
Again by Theorem 4.9, for any , we can find such that and
By induction, we produce a sequence of points of such that
Now, we prove that is a Cauchy sequence in . In fact, for arbitrary positive integer , by the inequality (5.14), Lemma 3.2, and the formula (5.18), we have
where implies by (3) in Lemma 3.2 Likewise, we have for all , . If , then from the inequality (5.19), we obtain
which is a contradiction. Thus, from the inequality (5.19), we have
Furthermore, for arbitrary positive integers and , we have
Furthermore, for arbitrary positive integers and , we have
Since as , for all , it follows that
is convergent, this implies that is a Cauchy sequence in . Since is a compact fuzzy metric space, it follows that is complete. By Theorem 4.6, is complete. Let . Now, we show that for all . In fact, for arbitrary positive integers and , , by Theorem 4.9, we have
where implies . Letting , and using the left continuity of , we have
which implies . Hence, by Lemma 3.2, it follows that , then the proof is completed.

Now, we give an example to illustrate the validity of the results in fixed point theory. For simplicity, we only exemplify Theorem 5.1, while the example may be similarly constructed for Theorem 5.2.

*Example 5.3. *Let be a fuzzy metric space, where , , and are the same as in Example 3.4. Then, is a compact metric space.

Now, define as , and define a sequence of fuzzy self-mappings of as

For arbitrary positive integers and , without loss of generality, suppose . For each , by a routine calculation, we have
Therefore, by Theorem 5.1, we assert that the sequence of fuzzy self-mappings has a common fixed point in . In fact, it is easy to check that

#### 6. Conclusion

So far many authors have made a great deal of work in the Hausdorff-Pompeiu metric [20β25]. To describe the degree of nearness between two crisp sets, Rodrguez-LΓ³pez and Romaguera have defined Hausdorff fuzzy metric. In this paper, we define a new -fuzzy metric, which describes the degree of nearness between two fuzzy sets. Then, some properties on -fuzzy metric are discussed. In addition, in this new circumstances, we give some fixed point theorems which are the important generalizations of contraction mapping principle in functional analysis.

The results of the present paper may be applied in different settings. In terms of topology, one can make use of topology in data analysis and knowledge acquisition [31]. For another, topologies corresponding to fuzzy sets are used to detect dependencies of attributes in information systems with respect to gradual rules as in [32]. Furthermore, fuzzy fixed point theory can be used in existence and continuity theorems for dynamical systems with some vague parameters [33, 34]. In addition, this work offers a new tool for the description and analysis of fuzzy metric spaces. It would be possible to obtain more topological properties on the new fuzzy metric space. So, we hope our results contribute to dealing with some problems in practical applications for future study.

#### Acknowledgments

The authors thank the anonymous reviewers for their valuable comments. This work was supported by National Natural Science Foundation (NSFC) of China (Grant no. 61170320), Mathematical Tianyuan Foundation of China (Grant no. 11126087), Foundation of Guangdong Natural Science (no. S2011040002981), and Science and Technology Research Program of Chongqing Municipal Educational Committee (Grant no. KJ100518).

#### References

- L. A. Zadeh, βFuzzy sets,β
*Information and Control*, vol. 8, pp. 338β353, 1965. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - M. El-Ghoul, H. El-Zohny, and S. Radwan, βFuzzy incidence matrix of fuzzy simplicial complexes and its folding,β
*Chaos, Solitons & Fractals*, vol. 13, no. 9, pp. 1827β1833, 2002. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - H. K. El-Sayied, βStudy on generalized convex fuzzy bodies,β
*Applied Mathematics and Computation*, vol. 152, no. 1, pp. 245β252, 2004. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - Z. K. Deng, βFuzzy pseudo-metric spaces,β
*Journal of Mathematical Analysis and Applications*, vol. 86, no. 1, pp. 74β95, 1982. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - M. A. Erceg, βMetric spaces in fuzzy set theory,β
*Journal of Mathematical Analysis and Applications*, vol. 69, no. 1, pp. 205β230, 1979. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - A. George and P. Veeramani, βOn some results in fuzzy metric spaces,β
*Fuzzy Sets and Systems*, vol. 64, no. 3, pp. 395β399, 1994. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - M. Grabiec, βFixed points in fuzzy metric spaces,β
*Fuzzy Sets and Systems*, vol. 27, no. 3, pp. 385β389, 1989. View at Publisher Β· View at Google Scholar - V. Gregori and S. Romaguera, βOn completion of fuzzy metric spaces,β
*Fuzzy Sets and Systems*, vol. 130, no. 3, pp. 399β404, 2002. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - V. Gregori and S. Romaguera, βSome properties of fuzzy metric spaces,β
*Fuzzy Sets and Systems*, vol. 115, no. 3, pp. 485β489, 2000. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - H. Huang and C. Wu, βOn the completion of fuzzy metric spaces,β
*Fuzzy Sets and Systems*, vol. 159, no. 19, pp. 2596β2605, 2008. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - J. H. Park, βIntuitionistic fuzzy metric spaces,β
*Chaos, Solitons and Fractals*, vol. 22, no. 5, pp. 1039β1046, 2004. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - O. Kaleva and S. Seikkala, βOn fuzzy metric spaces,β
*Fuzzy Sets and Systems*, vol. 12, no. 3, pp. 215β229, 1984. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - P. Veeramani, βBest approximation in fuzzy metric spaces,β
*Journal of Fuzzy Mathematics*, vol. 9, no. 1, pp. 75β80, 2001. View at Zentralblatt MATH - H. M. Abu-Donia, βCommon fixed point theorems for fuzzy mappings in metric space under
*Ο*-contraction condition,β*Chaos, Solitons and Fractals*, vol. 34, no. 2, pp. 538β543, 2007. View at Publisher Β· View at Google Scholar - D. Mihet, βFuzzy
*Ο*-contractive mappings in non-Archimedean fuzzy metric spaces,β*Fuzzy Sets and Systems*, vol. 159, no. 6, pp. 739β744, 2008. View at Publisher Β· View at Google Scholar - D. Mihet, βA Banach contraction theorem in fuzzy metric spaces,β
*Fuzzy Sets and Systems*, vol. 144, no. 3, pp. 431β439, 2004. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - P. Diamond, P. Kloeden, and A. Pokrovskii, βAbsolute retracts and a general fixed point theorem for fuzzy sets,β
*Fuzzy Sets and Systems*, vol. 86, no. 3, pp. 377β380, 1997. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - O. Kaleva, βOn the convergence of fuzzy sets,β
*Fuzzy Sets and Systems*, vol. 17, no. 1, pp. 53β65, 1985. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - P. E. Kloeden, βCompact supported endographs and fuzzy sets,β
*Fuzzy Sets and Systems*, vol. 4, no. 2, pp. 193β201, 1980. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - P. Diamond and P. Kloeden, βCharacterization of compact subsets of fuzzy sets,β
*Fuzzy Sets and Systems*, vol. 29, no. 3, pp. 341β348, 1989. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - G. H. Greco and M. P. Moschen, βSupremum metric and relatively compact sets of fuzzy sets,β
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 64, no. 6, pp. 1325β1335, 2006. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - G. H. Greco, βA characterization of relatively compact sets of fuzzy sets,β
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 64, no. 3, pp. 518β529, 2006. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - M. L. Puri and D. A. Ralescu, βThe concept of normality for fuzzy random variables,β
*The Annals of Probability*, vol. 13, no. 4, pp. 1373β1379, 1985. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - D. Qiu and L. Shu, βSupremum metric on the space of fuzzy sets and common fixed point theorems for fuzzy mappings,β
*Information Sciences*, vol. 178, no. 18, pp. 3595β3604, 2008. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - D. Qiu, L. Shu, and J. Guan, βCommon fixed point theorems for fuzzy mappings under
*Ο*-contraction condition,β*Chaos, Solitons and Fractals*, vol. 41, no. 1, pp. 360β367, 2009. View at Publisher Β· View at Google Scholar - J. RodrΓguez-LΓ³pez and S. Romaguera, βThe Hausdorff fuzzy metric on compact sets,β
*Fuzzy Sets and Systems*, vol. 147, no. 2, pp. 273β283, 2004. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - B. Schweizer and A. Sklar, βStatistical metric spaces,β
*Pacific Journal of Mathematics*, vol. 10, pp. 313β334, 1960. View at Zentralblatt MATH - M. L. Puri and D. A. Ralescu, βFuzzy random variables,β
*Journal of Mathematical Analysis and Applications*, vol. 114, no. 2, pp. 409β422, 1986. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - G. Beer,
*Topologies on Closed and Closed Convex Sets*, vol. 268 of*Mathematics and its Applications*, Kluwer Academic Publishers Group, Dordrecht, The Netherlands, 1993. - G. Debreu, βIntegration of correspondences,β in
*Proceedings of the 5th Berkeley Symposium on Mathematical Statistics and Probability*, vol. 2, pp. 351β372, 1967. - J. Kortelainen, βApplying modifiers to knowledge acquisition,β
*Information Sciences*, vol. 134, no. 1β4, pp. 39β51, 2001. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - K. R. Bhutani and A. Rosenfeld, βDissimilarity measures between fuzzy sets or fuzzy structures,β
*Information Sciences*, vol. 152, pp. 313β318, 2003. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - W. Fei, βExistence and uniqueness of solution for fuzzy random differential equations with non-Lipschitz coefficients,β
*Information Sciences*, vol. 177, no. 20, pp. 4329β4337, 2007. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - P. V. Subrahmanyam, βA common fixed point theorem in fuzzy metric spaces,β
*Information Sciences*, vol. 83, no. 3-4, pp. 109β112, 1995. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH