arXiv subjects
Publications and source records attributed to Alejandro Fructuoso-Bonet.
We will generalize the concept of aggregation function for mathematical structures as a certain function between quantales. In fact, these functions turn to be exactly the lax morphism of quantales. This provides a global framework for the study of aggregation functions. As a consequence of our theory, we are able to deduce several known results about the aggregation of metrics and fuzzy metrics.
Metric-preserving functions (here, metric aggregation functions) offer a natural method for constructing metrics on Cartesian products of metric spaces or for aggregating multiple metrics defined on a common set. Strongly metric-preserving functions represent a more specialized subset of these functions, ensuring that the new metric aligns with the product topology, in the Cartesian product case. However, these strong functions have not been previously explored for quasi-pseudometrics. Furthermore, in the case where all metrics are defined on the same set, the problem has not been addressed previously. In this paper, we investigate the class of strongly (quasi-)(pseudo)metric aggregation functions, extending the classical concept. We begin by examining the case where the aggregation function produces (quasi-)(pseudo)metrics on Cartesian products, characterizing these functions through continuity at zero and a minimal zero preimage condition. In addition, we will examine the scenario where the aggregation function produces a (quasi-)(pseudo)metric defined on a fixed set. Within this context, we will demonstrate that the appropriate topology to consider is the supremum topology. We will also provide both necessary and sufficient conditions for an (quasi-)(pseudo)metric aggregation function on sets to qualify as a strongly one, thereby addressing a gap in the existing literature.
In recent studies, Bibiloni-Femenias, Miñana and Valero characterized the functions that aggregate a family of (quasi-)(pseudo)metric modulars defined over a fixed set $X$ into a single one. In this paper, we adopt a related but different approach to examine those functions that allow us to define a (quasi-)(pseudo)metric modular in the Cartesian product of (quasi-)(pseudo)metric modular spaces. We base our research on the recent development of a general theory of aggregation functions between quantales. This enables to shed light between the two different ways of aggregation (quasi-)(pseudo)metric modulars.