A domain-theoretic approach to fuzzy metric spaces
We introduce a partial order (sic)(M) on the set BX of formal balls of a fuzzy metric space (X, M, Lambda) in the sense of Kramosil and Michalek, and discuss some of its properties. We also characterize when the poset (BX, (sic)(M)) is a continuous domain by means of a new notion of fuzzy metric com...
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 2014 |
| País: | España |
| Institución: | Universitat Politècnica de València (UPV) |
| Repositorio: | RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia |
| Idioma: | inglés |
| OAI Identifier: | oai:riunet.upv.es:10251/55700 |
| Acceso en línea: | https://riunet.upv.es/handle/10251/55700 |
| Access Level: | acceso abierto |
| Palabra clave: | Fuzzy metric space Formal ball Poset Continuous domain Standard complete MATEMATICA APLICADA |
| Sumario: | We introduce a partial order (sic)(M) on the set BX of formal balls of a fuzzy metric space (X, M, Lambda) in the sense of Kramosil and Michalek, and discuss some of its properties. We also characterize when the poset (BX, (sic)(M)) is a continuous domain by means of a new notion of fuzzy metric completeness introduced here. The well-known theorem of Edalat and Heckmann that a metric space is complete if and only if its poset of formal balls is a continuous domain, is deduced from our characterization |
|---|