A Duality Relationship Between Fuzzy Partial Metrics and Fuzzy Quasi-Metrics

In 1994, Matthews introduced the notion of partial metric and established a duality relationship between partial metrics and quasi-metrics defined on a set <inline-formula><math display="inline"><semantics><mi mathvariant="script">X</mi></semantic...

Full description

Bibliographic Details
Main Authors: Valentín Gregori, Juan-José Miñana, David Miravet
Format: Article
Language:English
Published: MDPI AG 2020-09-01
Series:Mathematics
Subjects:
Online Access:https://www.mdpi.com/2227-7390/8/9/1575
_version_ 1797553840068755456
author Valentín Gregori
Juan-José Miñana
David Miravet
author_facet Valentín Gregori
Juan-José Miñana
David Miravet
author_sort Valentín Gregori
collection DOAJ
description In 1994, Matthews introduced the notion of partial metric and established a duality relationship between partial metrics and quasi-metrics defined on a set <inline-formula><math display="inline"><semantics><mi mathvariant="script">X</mi></semantics></math></inline-formula>. In this paper, we adapt such a relationship to the fuzzy context, in the sense of George and Veeramani, by establishing a duality relationship between fuzzy quasi-metrics and fuzzy partial metrics on a set <inline-formula><math display="inline"><semantics><mi mathvariant="script">X</mi></semantics></math></inline-formula>, defined using the residuum operator of a continuous <i>t</i>-norm ∗. Concretely, we provide a method to construct a fuzzy quasi-metric from a fuzzy partial one. Subsequently, we introduce the notion of fuzzy weighted quasi-metric and obtain a way to construct a fuzzy partial metric from a fuzzy weighted quasi-metric. Such constructions are restricted to the case in which the continuous <i>t</i>-norm ∗ is Archimedean and we show that such a restriction cannot be deleted. Moreover, in both cases, the topology is preserved, i.e., the topology of the fuzzy quasi-metric obtained coincides with the topology of the fuzzy partial metric from which it is constructed and vice versa. Besides, different examples to illustrate the exposed theory are provided, which, in addition, show the consistence of our constructions comparing it with the classical duality relationship.
first_indexed 2024-03-10T16:22:20Z
format Article
id doaj.art-399781614e4b4f0a9f29225f2e1f9399
institution Directory Open Access Journal
issn 2227-7390
language English
last_indexed 2024-03-10T16:22:20Z
publishDate 2020-09-01
publisher MDPI AG
record_format Article
series Mathematics
spelling doaj.art-399781614e4b4f0a9f29225f2e1f93992023-11-20T13:30:53ZengMDPI AGMathematics2227-73902020-09-0189157510.3390/math8091575A Duality Relationship Between Fuzzy Partial Metrics and Fuzzy Quasi-MetricsValentín Gregori0Juan-José Miñana1David Miravet2Instituto de Investigación para la Gestión Integrada de Zonas Costeras, Universitat Politècnica de València, C/ Paranimf, 1, 46730 Grao de Gandia, SpainDepartament de Ciències Matemàtiques i Informàtica, Universitat de les Illes Balears, Carretera de Valldemossa km. 7.5, 07122 Palma, SpainInstituto de Investigación para la Gestión Integrada de Zonas Costeras, Universitat Politècnica de València, C/ Paranimf, 1, 46730 Grao de Gandia, SpainIn 1994, Matthews introduced the notion of partial metric and established a duality relationship between partial metrics and quasi-metrics defined on a set <inline-formula><math display="inline"><semantics><mi mathvariant="script">X</mi></semantics></math></inline-formula>. In this paper, we adapt such a relationship to the fuzzy context, in the sense of George and Veeramani, by establishing a duality relationship between fuzzy quasi-metrics and fuzzy partial metrics on a set <inline-formula><math display="inline"><semantics><mi mathvariant="script">X</mi></semantics></math></inline-formula>, defined using the residuum operator of a continuous <i>t</i>-norm ∗. Concretely, we provide a method to construct a fuzzy quasi-metric from a fuzzy partial one. Subsequently, we introduce the notion of fuzzy weighted quasi-metric and obtain a way to construct a fuzzy partial metric from a fuzzy weighted quasi-metric. Such constructions are restricted to the case in which the continuous <i>t</i>-norm ∗ is Archimedean and we show that such a restriction cannot be deleted. Moreover, in both cases, the topology is preserved, i.e., the topology of the fuzzy quasi-metric obtained coincides with the topology of the fuzzy partial metric from which it is constructed and vice versa. Besides, different examples to illustrate the exposed theory are provided, which, in addition, show the consistence of our constructions comparing it with the classical duality relationship.https://www.mdpi.com/2227-7390/8/9/1575fuzzy quasi-metricfuzzy partial metricadditive generatorresiduum operatorArchimedean <i>t</i>-norm
spellingShingle Valentín Gregori
Juan-José Miñana
David Miravet
A Duality Relationship Between Fuzzy Partial Metrics and Fuzzy Quasi-Metrics
Mathematics
fuzzy quasi-metric
fuzzy partial metric
additive generator
residuum operator
Archimedean <i>t</i>-norm
title A Duality Relationship Between Fuzzy Partial Metrics and Fuzzy Quasi-Metrics
title_full A Duality Relationship Between Fuzzy Partial Metrics and Fuzzy Quasi-Metrics
title_fullStr A Duality Relationship Between Fuzzy Partial Metrics and Fuzzy Quasi-Metrics
title_full_unstemmed A Duality Relationship Between Fuzzy Partial Metrics and Fuzzy Quasi-Metrics
title_short A Duality Relationship Between Fuzzy Partial Metrics and Fuzzy Quasi-Metrics
title_sort duality relationship between fuzzy partial metrics and fuzzy quasi metrics
topic fuzzy quasi-metric
fuzzy partial metric
additive generator
residuum operator
Archimedean <i>t</i>-norm
url https://www.mdpi.com/2227-7390/8/9/1575
work_keys_str_mv AT valentingregori adualityrelationshipbetweenfuzzypartialmetricsandfuzzyquasimetrics
AT juanjoseminana adualityrelationshipbetweenfuzzypartialmetricsandfuzzyquasimetrics
AT davidmiravet adualityrelationshipbetweenfuzzypartialmetricsandfuzzyquasimetrics
AT valentingregori dualityrelationshipbetweenfuzzypartialmetricsandfuzzyquasimetrics
AT juanjoseminana dualityrelationshipbetweenfuzzypartialmetricsandfuzzyquasimetrics
AT davidmiravet dualityrelationshipbetweenfuzzypartialmetricsandfuzzyquasimetrics