Research Article | Open Access

Abdul Mohamad, "Some Properties of Fuzzy Quasimetric Spaces", *International Journal of Mathematics and Mathematical Sciences*, vol. 2010, Article ID 514747, 9 pages, 2010. https://doi.org/10.1155/2010/514747

# Some Properties of Fuzzy Quasimetric Spaces

**Academic Editor:**Jerzy Dydak

#### Abstract

Some properties of fuzzy quasimetric spaces are studied. We prove that the topology induced by any -complete fuzzy-quasi-space is a -complete quasimetric space. We also prove Baire's theorem, uniform limit theorem, and second countability result for fuzzy quasi-metric spaces.

#### 1. Introduction and Preliminaries

Zadeh [1] introduced the concept of fuzzy sets as a new way to represent vagueness in our everyday life. Since then, many authors regarding the theory of fuzzy sets and its applications have developed a lot of literatures. Fuzzy Metric Spaces and existence of fixed points in fuzzy metric spaces have been emerged as two of the major of research activities. As natural, several mathematicians have introduced fuzzy metric spaces in different ways (Kramosil and Michálek [2], Erceg [3], Deng [4], Kaleva and Seikkla [5]). The definition proposed by Kramosil and Michalek in 1975 [2] is the most accepted one which is closely related to a class of probabilistic metric spaces [6]. Following this definition, a lot of research have been done on the existence of fixed points for the mappings under different conditions. Many authors have investigated and modified the definition of this concept and defined a Hausdorff topology on this fuzzy metric space. They showed that every metric induces a fuzzy metric, and, conversely, every fuzzy metric space generates a metrizable topology [2, 7–9].

Recently, many authors observed that various topological properties, fixed point theorems, and contraction mappings in metric spaces may be exactly translated into fuzzy metric spaces [10–21].

On the other hand, Künzi in [22] showed that the concepts from the theory of quasimetric spaces can be used as an efficient tool to solve several problems from theoretical computer science, approximation theory, topological algebra, and so forth.

In [23], Gregori and Romaguera introduced and studied the class of fuzzy quasimetric spaces as a natural generalization of the corresponding notion of fuzzy metric space to the quasimetric. Our paper continues to study such spaces and investigates some properties of this class. In particular, we address issues related to compactness, completeness, and Baire's theorem.

A binary operation is a continuous -norm [6] if satisfies the following conditions:

(1) is associative and commutative.(2) is continuous.(3) for every (4) whenever and with*Example 1.1. *The four basic -norms are the following. (1)The Lukasierviez *-*norm: .(2)The product *-*norm: (3)The minimum *-*norm: (4)The weakest *-*norm, the drastic product:

Using pointwise ordering, we have the inequalities .

Let be a nonempty set, a continuous *-*norm, and a fuzzy set in . For all and , consider the following conditions.

A fuzzy quasimetric on [23] is a pair satisfying the conditions (FM-1), (FM-2), (FM-3), (FM-5), and (FM-6). If satisfies conditions (FM-1), (FM-2), (FM-4), (FM-5), and (FM-6), then we call a fuzzy quasimetric on . If satisfies conditions (FM-1), (FM-2), (FM-3), (FM-5), (FM-6), and (FM-7), then we call a fuzzy metric space. A fuzzy quasimetric space is a triple such that X is a nonempty set and is a fuzzy quasimetric on .

*Remark 1.2. *(1) It is clear that fuzzy metric fuzzy quasimetric fuzzy quasimetric.

(2) If is a fuzzy quasimetric on , then is also fuzzy quasimetric on , where is the fuzzy-set in such that

(3) If is a fuzzy quasimetric on , then is a fuzzy metric on .

(4) If is a fuzzy quasimetric space, then for each the function is nondecreasing.

*Proof. *Let and . By property (FM-4) .

*Example 1.3 (see [23]). **Let ** be a quasimetric space. Define ** for any **, and let ** be the function defined on ** by *
Then is a fuzzy quasimetric space and is called the fuzzy quasimetric induced by . Also the topology induced by the metric and the topology induced by the fuzzy quasimetric are the same.

We call a fuzzy quasimetric on a non-Archimedean if for all . It is obvious to see that if is a non-Archimedean fuzzy quasimetric on , then is a fuzzy quasimetric on .

The proof of the following theorem is straightforward. Therefore, it is omitted.

Theorem 1.4. *Let be the standard fuzzy quasimetric of the quasimetric on . Then, is non-Archimedean if and only if is non-Archimedean.*

*Definition 1.5. *Let be a fuzzy quasimetric space and let , and

The set is called the open ball with center and radius with respect to . It is clear that .

Lemma 1.6. *Let be a fuzzy quasimetric space. Than every open ball is an open set.*

*Proof. *Let Then . Set Since such that Now given and such that such that . Consider the open ball We claim Let , then . So, Thus .

#### 2. Quasimetrization and Completeness Results

By Remark (2)–(4), if , and , then . Hence the following theorem and lemma are easy to prove.

Theorem 2.1. *Let be a fuzzy quasimetric space. Then for each and such that is a topology on .*

Lemma 2.2. *Let be a fuzzy quasimetric space. Then for each is a neighborhood base at for the topology Moreover, the topology is first countable.*

Proposition 2.3 (A.H. Frink [24]). * space admits a quasiuniformity with a countable base if it is quasimetrizable.*

We can use a similar proof of [7, Theorem ] to prove the following theorem.

Theorem 2.4. *Let be a fuzzy quasimetric space. Then is a quasimetric space.*

*Proof. * Let We claim that is a base for quasiuniformity on whose induced topology coincides with It is clear that . Also (by continuity of ) for each , there is an such that and Then Let From (Remark (2)–(), So, Therefore Thus is a base for a quasiuniformity on Since for each and , we deduce from Lemma 2.2 that the topology induced by coincides with By Proposition 2.3, is a quasimetrizable space.

Corollary 2.5. *A topological space is quasimetrizable if and only if it admits a compatible fuzzy quasimetric.*

*Definition 2.6. * Let be a fuzzy quasimetric space. Then (1)a sequence in is said to be -Cauchy if for each and each there exists such that for all ; (2)a sequence in -converges to if and only if as for all ; (3)a sequence in -converges to if and only if as for all ; (4) is -complete if every -Cauchy sequence is -convergent with respect to

*Remark 2.7. *It is easy to prove that in a fuzzy quasimetric space if a sequence is -Cauchy, then for each and .

Theorem 2.8. *Let be a fuzzy quasimetric space such that every -Cauchy sequence in has an -convergent subsequence. Then is -complete.*

*Proof. *Suppose is a -Cauchy sequence and a subsequence of such that -converges to . To prove that -converges to , let and Choose such that Since is -Cauchy sequence, there is such that for all Since -converges to , there is such that This implies that if , then Therefore, -converges to and hence is -complete.

Let be a quasimetric on , the corresponding fuzzy quasimetric, and for each . Since a sequence is an -Cauchy sequence in if and only if is a -Cauchy sequence in , it is not difficult to prove the following lemma; hence we omit the proof.

Lemma 2.9. *Let be a quasimetric space. Then is -complete if and only if is -complete.*

*Definition 2.10. **Let ** be a fuzzy quasimetric space. A collection ** is said to have fuzzy diameter zero if for each ** and each **, there exists ** such that ** for all **.*

It is clear that a nonempty subset of a fuzzy quasimetric space has fuzzy diameter zero if and only if is a singleton set.

For self-containment and clarity, we give the proofs of the following theorems even though they share similarities to those in [9].

Theorem 2.11. *A fuzzy quasimetric space is -complete if and only if every nested sequence of nonempty closed sets with fuzzy diameter zero has nonempty intersection.*

*Proof. *First, suppose that the given condition is satisfied. We claim that is -complete. Let be a -Cauchy sequence in . Set and , then we claim that has a fuzzy diameter zero. For given and , we choose such that . Since is -Cauchy sequence, there exists such that for all . Therefore, for all . Let . Then there exist sequences and in such that and . Hence and for sufficiently large . Now we have . Therefore, for all Thus has fuzzy diameter zero and hence by hypothesis is nonempty.

Take We show that . Then, for and , there exists such that for all . Therefore, for each , as and hence . Therefore, is -complete.

Conversely, suppose that is -complete and is nested sequence of non empty closed sets with fuzzy diameter zero. For each , choose a point . We claim that is a -Cauchy sequence. Since has fuzzy diameter zero, for and , there exists such that for all . Since is a nested sequence, for all . Hence is a -Cauchy sequence. Since is -complete, for some . Therefore, for every , and hence . This completes the proof.

*Remark 2.12. *The element is unique. For if there are two elements since has a fuzzy diameter zero, for each fixed , for each . This implies that and hence .

Note that the topologies induced by the standard fuzzy quasimetric and the corresponding quasimetric are the same. So we have the following.

Corollary 2.13. *Let be a quasimetric space and for each . Then is -complete if and only if every nested sequence of nonempty closed sets with diameter tending to zero has a nonempty intersection. *

Theorem 2.14. *Every separable fuzzy quasimetric space is second countable.*

*Proof. *Let be the given separable fuzzy quasimetric space. Let be a countable dense subset of . Consider the family . Then is countable. We claim that is a base for the family of all open sets in . Let be any open set in and let . Then there exist and such that . Since , we can choose a such that . Take such that . Since is dense in , there exists such that . Now, if , then . Thus, and hence is a base.

*Remark 2.15. *Since second countability is a hereditary property and second countability implies separability, we obtain the following: every subspace of a separable fuzzy quasimetric space is separable.

A fuzzy quasimetric is said to be totally bounded if for all , there exist and such that for all .

We can use proofs similar to that in [24, Proposition , Proposition , and Corollary ] to prove the following theorems.

Theorem 2.16. *Let be a fuzzy quasimetric space. Then is a second countable if and only if it is totally bounded.*

A fuzzy quasimetric on a set is continuous provided that for each the function defined by is a continuous function.

Theorem 2.17. *Let be a fuzzy quasimetric space and let . Then is a continuous function if and only if for each , .*

Theorem 2.18. * Let be a fuzzy quasimetric space. If is an upper semicontinuous function for each , then is metrizable.*

*Definition 2.19. *Let be any nonempty set and a fuzzy quasimetric space. Then a sequence of functions from to is said to converge uniformly to a function from to if given and , there exists such that for all and for all .

Theorem 2.20 (Uniform Limit Theorem). *Let be a sequence of continuous functions from a topological space to a fuzzy quasimetric space . If converges uniformly to f: , then is continuous. *

*Proof. *Let be on open set of and let . We want to find a neighborhood of such that . Since is open, there exist and such that we choose a such that . Since converges uniformly to , given and , there exists such that for all and for all . Since is continuous for all , there exists a neighborhood of such that . Hence for all . Now . Thus, for all . Hence and so is continuous.

*Remark 2.21. *Let be a fuzzy quasimetric space. It is easy to prove that if and such that , then

Lemma 2.22. *A subset of a fuzzy quasimetric space is nowhere dense if and only if every nonempty open set in contains an open ball whose closure is disjoint from .*

*Proof. *Let be a nonempty open subset of . Then there exists a nonempty open set such that and . Let . Then there exist and such that . Choose such that . By Remark 2.21, . Thus and .

Conversely, suppose is not nowhere dense. Then int, so there exists a nonempty open set such that . Let ) be an open ball such that . Then . This is a contradiction.

Theorem 2.23 (Baire’s Theorem). *Suppose is a sequence of dense open subsets of a -complete fuzzy quasimetric space . Then is also dense in .*

*Proof. *Let be a nonempty open set of . Since is dense in . Let . Since is open, there exist and such that . Choose and such that . Since is dense in . Let . Since is open, there exist and such that . Choose and such that . Continuing in this manner, we obtain a sequence in and a sequence such that and .

Now we claim that is a -Cauchy sequence. For a given and , choose such that and . Then for and , .

Therefore, is a -Cauchy sequence. Since is -complete, there exists such that . Since for , we obtain . Hence for all . Therefore, .

Hence is dense in .

#### 3. Compactness Results

Theorem 3.1. *Every fuzzy quasimetric space is Hausdorff.*

*Proof. *Let be a fuzzy quasimetric space. Let and be two distinct points in . Then . Put and . For each , there exists such that . Put and consider the open balls and . Then clearly . For if there exists , then , which is a contradiction. Hence is Hausdorff.

*Definition 3.2. *Let be a fuzzy quasimetric space. A subset of is said to be -bounded if there exist and such that for all .

*Remark 3.3. *Let be a fuzzy quasimetric space induced by a quasimetric on . Then is -bounded if and only if it is bounded.

Theorem 3.4. *Every compact subset A of a fuzzy quasimetric space is -bounded. *

*Proof. *Let be a compact subset of a fuzzy quasimetric space . Fix and . Consider an open cover of . Since is compact, there exist such that . Let .

Then and for some . Thus we have . Now, let . Then . Now, we have for some . Taking and , we have for all . Hence is -bounded.

From Remark 3.3 and Theorems 3.1 and 3.4, we have the following corollary.

Corollary 3.5. *In a fuzzy quasimetric space, every compact set is closed and bounded.*

#### 4. Conclusion

This work studies the concept of fuzzy quasimetric spaces which was introduced by Gregori and Romaguera in 2004 [23] as a natural generalization of quasimetric spaces. A topological space is quasimetrizable if and only if it admits a compatible fuzzy–quasimetric. This has been expressed in our first main result, Corollary 2.5. Moreover, in Corollary 2.13, we have proved that the -completeness of quasimetric space can be characterized in terms of a nested sequence of nonempty closed sets with diameter tending to zero which have nonempty intersection in a natural way. Following the proofs of Fletcher and Lindgren [24] of a metrization theorem of quasimetrizable spaces, we can prove a similar result as in Theorem 2.18. We also obtained Baire's Theorem, Uniform Limit Theorem, and a second countability result for fuzzy quasimetric spaces.

One important point which has been left for further study is the behaviour of fuzzy quasimetric spaces under mappings.

#### References

- L. A. Zadeh, “Fuzzy sets,”
*Information and Computation*, vol. 8, pp. 338–353, 1965. View at: Google Scholar | Zentralblatt MATH | MathSciNet - I. Kramosil and J. Michálek, “Fuzzy metrics and statistical metric spaces,”
*Kybernetika*, vol. 11, no. 5, pp. 336–344, 1975. View at: Google Scholar | Zentralblatt MATH | MathSciNet - 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 Site | Google Scholar | Zentralblatt MATH | MathSciNet - Z. Deng, “Fuzzy pseudometric spaces,”
*Journal of Mathematical Analysis and Applications*, vol. 86, no. 1, pp. 74–95, 1982. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - O. Kaleva and S. Seikkala, “On fuzzy metric spaces,”
*Fuzzy Sets and Systems*, vol. 12, no. 3, pp. 215–229, 1984. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - B. Schweizer and A. Sklar,
*Probabilistic Metric Spaces*, North-Holland Series in Probability and Applied Mathematics, North-Holland, New York, NY, USA, 1983. View at: MathSciNet - 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 Site | Google Scholar | Zentralblatt MATH | MathSciNet - B. Schweizer and A. Sklar, “Statistical metric spaces,”
*Pacific Journal of Mathematics*, vol. 10, pp. 313–334, 1960. View at: Google Scholar | Zentralblatt MATH | MathSciNet - A. George and P. Veeramani, “On some results of analysis for fuzzy metric spaces,”
*Fuzzy Sets and Systems*, vol. 90, no. 3, pp. 365–368, 1997. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - S. S. Chauhan, “Common fixed point theorem for two pairs of weakly compatible mappings in $M$-fuzzy metric spaces,”
*International Journal of Mathematical Analysis*, vol. 3, no. 5–8, pp. 393–398, 2009. View at: Google Scholar | MathSciNet - L. Ciric, “Some new results for Banach contractions and Edelstein contractive mappings on fuzzy metric spaces,”
*Chaos, Solitons & Fractals*, vol. 42, no. 1, pp. 146–154, 2009. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - H. Efe, “Ball closure property in fuzzy metric spaces,”
*Journal of Applied Functional Analysis*, vol. 3, no. 2, pp. 209–214, 2008. View at: Google Scholar | Zentralblatt MATH | MathSciNet - A. Aliouche, F. Merghadi, and A. Djoudi, “A related fixed point theorem in two fuzzy metric spaces,”
*Journal of Nonlinear Science and Its Applications*, vol. 2, no. 1, pp. 19–24, 2009. View at: Google Scholar | Zentralblatt MATH | MathSciNet - J. S. Park, “Some common fixed point theorems using compatible maps of type $(\alpha )$ on intuitionistic fuzzy metric space,”
*Journal of the Korea Society of Mathematical Education. Series B*, vol. 16, no. 1, pp. 19–30, 2009. View at: Google Scholar | Zentralblatt MATH | MathSciNet - M. R. S. Rahmat and M. S. M. Noorani, “Product of fuzzy metric spaces and fixed point theorems,”
*International Journal of Contemporary Mathematical Sciences*, vol. 3, no. 13–16, pp. 703–712, 2008. View at: Google Scholar | Zentralblatt MATH | MathSciNet - K. P. R. Rao, A. Aliouche, and G. R. Babu, “Related fixed point theorems in fuzzy metric spaces,”
*Journal of Nonlinear Science and Its Applications*, vol. 1, no. 3, pp. 194–202, 2008. View at: Google Scholar | Zentralblatt MATH | MathSciNet - S. Sharma and R. S. Rathore, “Related fixed points theorem for two mappings on two fuzzy metric spaces,”
*Journal of Fuzzy Mathematics*, vol. 16, no. 4, pp. 973–979, 2008. View at: Google Scholar | Zentralblatt MATH | MathSciNet - S. Sedghi, N. Shobe, and A. Aliouche, “Common fixed point theorems in fuzzy metric spaces through conditions of integral type,”
*Journal of Fuzzy Mathematics*, vol. 17, no. 3, pp. 687–697, 2009. View at: Google Scholar | MathSciNet - B. Singh, S. Jain, and S. Jain, “Generalized theorems on fuzzy metric spaces,”
*Southeast Asian Bulletin of Mathematics*, vol. 31, no. 5, pp. 963–978, 2007. View at: Google Scholar | Zentralblatt MATH | MathSciNet - S. Sharma and G. Tiwari, “Weak compatibility and fixed point theorems in fuzzy metric space using implicit relation,”
*Journal of Applied Functional Analysis*, vol. 4, no. 1, pp. 122–129, 2009. View at: Google Scholar | MathSciNet - I. Altun and D. Turkoglu, “Fixed points of sequences of maps on fuzzy metric spaces,”
*Italian Journal of Pure and Applied Mathematics*, no. 24, pp. 27–34, 2008. View at: Google Scholar | Zentralblatt MATH | MathSciNet - H.-P. A. Künzi, “Nonsymmetric distances and their associated topologies: about the origins of basic ideas in the area of asymmetric topology,” in
*Handbook of the History of General Topology, Vol. 3*, C. E. Aull and R. Lowen, Eds., vol. 3, pp. 853–968, Kluwer Academic Publishers, Dordrecht, The Netherlands, 2001. View at: Google Scholar | Zentralblatt MATH | MathSciNet - V. Gregori and S. Romaguera, “Fuzzy quasi-metric spaces,”
*Applied General Topology*, vol. 5, no. 1, pp. 129–136, 2004. View at: Google Scholar | Zentralblatt MATH | MathSciNet - P. Fletcher and W. F. Lindgren,
*Quasi-Uniform Spaces*, vol. 77 of*Lecture Notes in Pure and Applied Mathematics*, Marcel Dekker, New York, NY, USA, 1982. View at: MathSciNet

#### Copyright

Copyright © 2010 Abdul Mohamad. 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.