Next Article in Journal
A Differential Privacy Framework with Adjustable Efficiency–Utility Trade-Offs for Data Collection
Previous Article in Journal
Point and Interval Estimation of Population Prevalence Using a Fallible Test and a Non-Probabilistic Sample: Post-Stratification Correction
Previous Article in Special Issue
Concerning Fuzzy b-Metric Spaces
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

New Results About Aggregation Functions of Quasi-Pseudometric Modulars

by
Alejandro Fructuoso-Bonet
* and
Jesús Rodríguez-López
Instituto Universitario de Matemática Pura y Aplicada, Universitat Politècnica de València, Camino de Vera s/n, 46022 Valencia, Spain
*
Author to whom correspondence should be addressed.
Mathematics 2025, 13(5), 809; https://doi.org/10.3390/math13050809
Submission received: 10 January 2025 / Revised: 20 February 2025 / Accepted: 25 February 2025 / Published: 28 February 2025
(This article belongs to the Special Issue Topological Study on Fuzzy Metric Spaces and Their Generalizations)

Abstract

:
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 us to shed light between the two different ways of aggregation (quasi-)(pseudo)metric modulars.
MSC:
54E99; 18D20; 18F75; 46A80

1. Introduction

Aggregation refers to the process of gathering individual items and combining them into a unique one. This action appears in mathematics for different types of objects. The most common are numbers, and the thought behind aggregating them is to obtain a representative one that summarizes the information in the set of numbers. Thus, in a general context, an aggregation function F is of the form F : X n X , where X is a nonempty set. This simple idea has gained significant importance in a wide range of disciplines due to its ability to model decision-making problems (see, for example, [1,2]). Thus, the functions performing this process (aggregation functions [3,4]) have applications in decision theory, artificial intelligence [5], economics [6], etc. In decision-making problems, aggregation functions are employed to aggregate individual preferences or opinions in the presence of uncertainty or conflicting information. For example, in multicriteria decision analysis (MCDA) (see, for example, [7]), where decisions must be made based on several criteria, aggregation functions are used to merge different criteria weights and alternatives to determine the optimal solution.
Easy examples of aggregation functions are the measures of central tendency in statistics such as the arithmetic mean, median, or mode.
Additionally, we can also consider not only the aggregation of numbers but also the combination of more complex mathematical structures. In this context, Doboš and his collaborators [8,9,10,11] explored the theory behind merging a family of metric spaces into a single metric space, where the ground set is the Cartesian product. To clarify this, let us consider a function F : [ 0 , + ) I [ 0 , + ) . We say that F is a metric preserving function [11] if for every family ( X i , d i ) : i I of metric spaces then F d Π is a metric on i I X i , where d Π : i I X i × i I X i [ 0 , + ) I is given by
d Π ( x , y ) = ( d i ( x i , y i ) ) i I
for all x = ( x i ) i I , y = ( y i ) i I i I X i . The metric-preserving functions were characterized and deeply studied in [8,9] (refer also to the surveys [10,12]).
Similarly, Mayor and Valero [13] examined a related issue by characterizing the functions that aggregate multiple metrics defined on the same set into a single metric on that set. Concretely, they characterized those functions F : [ 0 , + ) I [ 0 , + ) verifying that whenever ( X , d i ) : i I is a family of metric spaces then F d Δ is a metric on X where d Δ : X × X [ 0 , + ) I is given by
d Δ ( x , y ) = ( d i ( x , y ) ) i I
for all x , y X .
These two processes are distinct, and we differentiate them by referring to the first as aggregation on products and the second as aggregation on sets.
The aggregation problem is not exclusive to metrics. It has also been explored for other mathematical structures, such as quasi-metrics [14,15], fuzzy quasi-pseudometrics [16], norms [17,18], asymmetric norms [18,19] or probabilistic quasi-uniformities [20], among others.
On the other hand, metric modulars were introduced by Chistyiakov [21,22,23,24] as a generalization of Nakano’s modulars to arbitrary sets. Roughly speaking, a metric modular is a metric that depends on a parameter t ( 0 , + ) (see Definition 6). A typical example extracted from [24] is as follows: Given a metric space ( X , d ) and t > 0 , consider w ( t , x , y ) : = d ( x , y ) / t , which can be interpreted as the mean velocity between the points x and y over time t . The function w is the prototypical example of a metric modular and, by axiomatizing its fundamental properties, the definition of a metric modular emerged. Chystiakov also developed topological and convergence properties of metric modular spaces, demonstrating their coherence with the classical theory of modular linear spaces. Consequently, metric modular serves as an important tool in nonlinear analysis. Furthermore, metric modulars have been studied without the symmetry axiom [25] and have been applied in fixed-point theory [26,27,28,29]. Additionally, a relationship with fuzzy metrics has also been established [30]. These studies highlight the significance of metric modulars across diverse areas.
We notice that the parameter included in metric modulars improves their flexibility, making them more suitable for applications than classical metrics. For instance, consider a clustering problem where the objects to be classified are defined on different scales, that is, the data points are measured on different units [31]. In such cases, it is not appropriate to use a single measure to determine the proximity between the points. Adaptative and asymmetric distances, such as quasi-pseudometric modulars, can be particularly useful in this context (see [32]). Motivated by this issue and applications in multi-agent systems, recent research by Bibiloni-Femenias, Miñana, and Valero has analyzed the problem of the aggregation of quasi-pseudometric modulars on sets in two papers [33,34]. They characterized these functions and showed that quasi-pseudometric modular aggregation functions on sets are coincident with the pseudometric modular aggregation functions on sets [34] (Theorem 6). This coincidence also occurs with the quasi-metric modular aggregation functions on sets and the metric modular aggregation functions on sets [34] (Theorem 8). However, the problem of characterizing quasi-pseudometric modular aggregation functions on products has not been addressed in the literature. The goal of this paper is to fill this gap by characterizing these functions (see Theorems 5–7). Specifically, we demonstrate that the (quasi-)pseudometric modular aggregation functions on products mirror those on sets (Theorems 5 and 6). Nevertheless, in the case of aggregating quasi-metric modulars, the two families differ (Example 12). In all cases, we clearly characterize these functions in terms of isotonicity and subadditivity. This leads to new insights in the theory of aggregation functions. Our approach leverages the general framework of aggregation function theory developed in [35]. It is based on the fact that numerous mathematical structures whose aggregation functions have been characterized in the literature are indeed enriched categories over quantales (refer to Section 2 and Section 3). In this way, in [35] the authors show that lax morphisms of quantales are an appropriate extension of the notion of aggregation functions and demonstrate that some results about the aggregation of metrics and fuzzy metrics can be inferred from this theory. Additionally, in [36], it is proven that quasi-pseudometric modular spaces are categorically isomorphic to enriched categories over the quantale ∇ of nonincreasing functions f : ( 0 , + ) [ 0 + ] (see Theorem 4). Consequently, taking advantage of the general theory of aggregation functions for quantales, we will characterize the quasi-pseudometric modular aggregation functions on products. Moreover, we will show that some of the results of [33,34] follow from this theory.
The summary of the paper is as follows. In Section 2, we compile the basic theory about quantales along with key examples. Section 3 addresses the core ideas of categories that are enriched over a quantale. It is highlighted that extended quasi-pseudometric spaces and fuzzy quasi-pseudometric spaces are forms of such enriched categories. In Section 4, we summarize some of the results of [35], showing that lax morphisms of quantales are suitable functions for aggregating enriched categories over quantales. These results will be crucial to the aim of the paper. Section 5 introduces the mathematical structures we aim to aggregate, known as quasi-pseudometric modulars. These were originally defined by Chistyakov in [22] to extend Nakano’s modular concept to arbitrary sets. Furthermore, we incorporate results from [36], which indicate that quasi-pseudometric modular spaces can be viewed as categories enriched over a specific quantale. With all this theory, we will characterize in Section 6, Section 7 and Section 8 the (quasi-)(pseudo)metric modular aggregation functions on products.

2. Quantales and Lax Morphisms

In this section, we review the fundamental theory of quantales. Our primary references are [37,38].
Definition 1
([38] (Section II.1.10), [37] (Section 2.3)). A quantale ( V , , ) is a complete lattice ( V , ) such that : V × V V is an associative binary operation which distributes over suprema:
u i I v i = i I ( u v i ) , i I v i u = i I ( v i u ) .
If ∗ is also commutative then ( V , , ) is a commutative quantale.
A quantale is called unital if ∗ has a unit 1 V . A unital quantale is integral if the unit is the top elementof V .
In the remainder of the paper, we will only consider commutative integral quantales; however, for simplicity, we will use only the term quantale.
Remark 1.
Notice that in an integral quantale ( V , , ) , we have that u v u v for all u , v V . In fact, u = u ( v 1 V ) = ( u v ) ( u 1 V ) = ( u v ) u , so u v u . In a similar way, u v v .
Example 1
([38] (Example II.1.10.1)).
1.
Let ∗ be a triangular norm (t-norm for short) on [ 0 , 1 ] (see, for example, [39]), that is, an associative, commutative binary operation : [ 0 , 1 ] × [ 0 , 1 ] [ 0 , 1 ] with unit 1, such that a b c d whenever a c and b d , with a , b , c , d [ 0 , 1 ] . If ∗ is left-continuous then [ 0 , 1 ] , , is a commutative integral quantale, where ≤ is the usual order.
2.
Let 2 = { 0 , 1 } be a set with two different elements endowed with the usual order. If ∗ is an arbitrary t-norm then ( 2 , , ) is a commutative integral quantale.
3.
Let us consider the opposite order op on the extended real line [ 0 , + ] . Specifically, x op y if and only if y x . If we extend the usual sum + on the real numbers to include + as usual, then P + = [ 0 , + ] , op , + forms a commutative integral quantale known as the Lawvere quantale [40] (see also [38] (Example II.1.10.1.(3))).
4.
Let Δ + be the family of distance distribution functions given by
Δ + = f : [ 0 , + ] [ 0 , 1 ] : f is isotone and left-continuous ,
where left-continuous means that f ( x ) = y < x f ( y ) for all x [ 0 , + ] (as usual, = 0 ). Then Δ + , endowed with the pointwise order , is a complete lattice. Moreover, given a left-continuous t-norm ∗, f , g Δ + and t [ 0 , ] define f g Δ + as
( f g ) ( t ) = r + s t f ( r ) g ( s ) = r + s = t f ( r ) g ( t ) .
Then ( Δ + , , ) is a quantale (see [41,42,43]) where the unit f 0 , 1 : [ 0 , + ] [ 0 , 1 ] is given by
f 0 , 1 ( t ) = 0 if t = 0 , 1 otherwise ,
for all t [ 0 , + ] . For simplicity, we will denote the quantale ( Δ + , , ) by Δ + ( ) .
5.
Let us consider the set
: = f : ( 0 , + ) [ 0 , + ] o p : f isotone
endowed with the pointwise order also denoted by o p . Then, ( , o p , ) is a quantale [36], where : × is given by
( f g ) ( t ) : = r + s t o p ( f ( r ) + g ( s ) ) = r + s = t o p ( f ( r ) + g ( s ) ) .
Its unit is the constant 0 function that we denote by 0 .
This quantale will be crucial in the paper because, as proved in [36], quasi-pseudometric modular spaces can be viewed as categories enriched over(see Theorem 4).
Remark 2.
Let ( V i , i , i ) : i I be an arbitrary family of quantales. Define : = Π i I i as the product partial order defined componentwisely, and let : = Π i I i : ( i I V i ) × ( i I V i ) i I V i be the componentwise operation given by ( u v ) i = u i i v i for all u = ( u i ) i I , v = ( v i ) i I i I V i and all i I . Thus, ( i I V i , , ) forms a quantale.
If all the quantales in the family ( V i , i , i ) : i I are equal to ( V , , ) , we will simplify the notation by also using and ∗ to denote the partial order and the operation on V I .
In particular, we denote by P + I the quantale [ 0 , + ] I , op , + and by I the quantale ( I , op , ) . The unit of P + I will be denoted by 0 I , which represents ( 0 ) i I . Furthermore, 0 I designates the unit of I , that is, ( 0 ) i I .
By considering quantales as ordered categories, the concept of lax functor reduces to the following:
Definition 2
([38,42]). A map F : ( V , , ) ( W , , ) between two quantales is said to be a lax morphism of quantales if
  • u v implies F ( u ) F ( v ) for all u , v V ;        (isotone)
  • 1 W F ( 1 V ) ;
  • F ( u ) F ( v ) F ( u v ) for all u , v V .        (subadditive)
Example 2.
If V = P + I and W = P + , then a function F : P + I P + is a lax morphism if
  • F is isotone;
  • F ( 0 I ) = 0 ;
  • F ( x + y ) F ( x ) + F ( y ) , for all x , y [ 0 , + ] I (F is subadditive).
  • Notice that, in the last inequality, the symbol + denotes the usual sum of extended real numbers on the right side, while on the left side, it indicates the sum performed componentwise.

3. Categories Enriched over a Quantale

As previously discussed, numerous mathematical structures for which the aggregation functions have been characterized serve as examples of categories enriched over a quantale. This section aims to gather the foundational concepts of this theory, beginning with the definition of a V -category, which is a category enriched over a quantale V .
Definition 3
([38] (Section III.1.3), c.f. [44] (Definition 3.1)). Let ( V , , ) be a quantale. A V -category is a pair ( X , a ) where X is a nonempty set and a : X × X V is a map such that
(VC1) 
1 V a ( x , x ) for all x X ;
(VC2) 
a ( x , z ) a ( z , y ) a ( x , y ) for all x , y , z X .
Moreover, a V -category ( X , a ) is said to be:
  • separated if given x , y X , whenever 1 V a ( x , y ) and 1 V a ( y , x ) then x = y .
  • symmetric if a ( x , y ) = a ( y , x ) for all x , y X .
A function f : ( X , a ) ( Y , b ) between two V -categories is called a V -functor if
a ( x , y ) b ( f ( x ) , f ( y ) )
for all x , y X .
The category whose objects are V -categories and whose morphisms are V -functors will be denoted by V - Cat .
Remark 3.
It is noteworthy that each topological space can be interpreted as a V -category (refer to [41,45]).
We will now provide several key examples of V -categories to illustrate that they encompass some important mathematical structures.
Example 3
([38] (Examples III.1.3.1), [42]).
1.
2 -categories can be interpreted as preordered sets, while 2 -functors correspond to isotone (preserving order) maps. Specifically, for a 2 -category ( X , a ) , define the binary relation a on X given by x a y if and only if a ( x , y ) = 1 , for all x , y X . This relation is a preorder on X .
Conversely, if ( X , ) is a partially ordered set then a : X × X V given by a ( x , y ) = 1 if x y and a ( x , y ) = 0 otherwise, turns ( X , ) into a 2 -category ( X , a ) . As a result, 2 - Cat is isomorphic to the category POrd of preordered sets.
Obviously, the category of separated 2 -categories is isomorphic to the category of partially ordered sets.
2.
P + -categories are equivalent to extended quasi-pseudometric spaces and P + -morphisms are equivalent to non-expansive maps, where P + is the Lawvere quantale (see Example 1).
In fact, the axioms of a P + -category can be expressed as follows:
  (VC1)
0 o p a ( x , x ) 0 a ( x , x ) 0 = a ( x , x ) ;
  (VC2)
a ( x , y ) + a ( y , z ) o p a ( x , z ) a ( x , z ) a ( x , y ) + a ( y , z ) ,
for all x , y , z X . Thus, a is an extended quasi-pseudometric on X [46,47]. The term “extended” indicates that a may take the value + ; “quasi” emphasizes the fact that a is not necessarily symmetric; and “pseudo” means that a does not verify the separated property of a V -category.
It is also clear that an extended quasi-pseudometric is a P + -category. Therefore, P + -categories and extended quasi-pseudometric spaces are equivalent concepts.
In a similar vein, separated P + -categories and symmetric separated P + -categories are equivalent to extended quasi-metric spaces and extended metric spaces, respectively.
Moreover, a P + -functor f : ( X , a ) ( Y , b ) verifies
a ( x , y ) b ( f ( x ) , f ( y ) )
for all x , y X , that is, f is a non-expansive mapping. Hence, P + - Cat is isomorphic to the category QPMet of quasi-pseudometric spaces.
3.
If we consider the quantale Δ + ( ) : = ( Δ + , , ) (see Example 1.(4)), where ∗ is a continuous t-norm, then the category Δ + ( ) - Cat is isomorphic to the category FQPMet ( ) of fuzzy quasi-pseudometric spaces [48] with respect to ∗ and fuzzy nonexpansive maps.
Notice that if ( X , a ) is a Δ + ( ) -category then M a : X × X × [ 0 , + ] [ 0 , 1 ] defined as M a ( x , y , t ) = a ( x , y ) ( t ) for every x , y X , t [ 0 , + ] , that is, the evaluation of a ( x , y ) at t, satisfies:
  (FM1)
M a ( x , y , 0 ) = a ( x , y ) ( 0 ) = 0 for all x , y X ;
  (FM2)
M a ( x , x , t ) = 1 for all t > 0 ;
  (FM3)
M a ( x , z , s ) M a ( z , y , t ) M ( x , y , s + t ) for every x , y , z X , s , t [ 0 , + ] ;
  (FM4)
M a ( x , y , · ) = a ( x , y ) is left-continuous for every x , y X .
The previous axioms are exactly the conditions that a pair ( M , ) must satisfy for being a fuzzy quasi-pseudometric on X (see, for example, [48]), where M : X × X × [ 0 , + ) [ 0 , 1 ] and ∗ is a continuos t-norm. Observe that M a ( x , y , t ) also exists when t = and M a ( x , y , ) = 0 t < M a ( x , y , t ) . This is not required in the classical definition of a fuzzy quasi-pseudometric, but there is no loss of generality if we add this property.
Conversely, let ( M , ) be a fuzzy quasi-pseudometric on X . If we define m : X × X Δ + ( ) as
m ( x , y ) ( t ) = M ( x , y , t ) if 0 t < + , 0 s < + M ( x , y , s ) if t = + ,
for every x , y X , t [ 0 , + ] , then it is straightfoward to check that ( X , m ) is a Δ + ( ) -category. Observe that m is the exponential mate M of the extension of M to X × X × [ 0 , + ] .
Example 4.
Let ( V , , ) be a quantale.
1.
If ( X , a ) is a V I -category, for each i I let a i : X × X V be the ith-coordinate function of a, that is, a i ( x , y ) = ( a ( x , y ) ) i for every x , y X . Then ( X , a i ) : i I is a family of V -categories. If ( X , a ) is a symmetric V I -category then ( X , a i ) is a symmetric V -category for all i I .
2.
Let ( X i , a i ) : i I be a family of V -categories. Define a Π : i I X i × i I X i V I as
( a Π ( x , y ) ) i = a i ( x i , y i )
for all x , y i I X i , i I . It is straightforward to check that ( i I X i , a Π ) is a V I -category.
3.
Let ( X , a i ) : i I be a family of V -categories. Define a Δ : X × X V I as
( a Δ ( x , y ) ) i = a i ( x , y )
for all x , y X , i I . Then ( X , a Δ ) is a V I -category.

4. Lax Morphisms of Quantales as Generalized Aggregation Functions

In [35], the authors expand upon the existing theory of aggregation functions by situating it within the framework of categories enriched over a quantale. This conceptual shift allows for a more robust analysis of aggregation functions for various mathematical structures.
In our paper, we aim to leverage this generalized framework to explore and derive results concerning the aggregation of quasi-pseudometric modulars (see Section 5 for a more in-depth discussion of this concept).
To ensure a thorough understanding of our subsequent findings, we will first review the results from [35] that will be instrumental in our research later in the paper.
Definition 4
([35]). A map F : ( V , , ) ( W , , ) between two quantales is said to be preserving if the map F : Obj ( V - Cat ) Obj ( W - Cat ) , which assigns to a V -category ( X , a ) the pair ( X , F a ) , is well-defined, that is, if ( X , F a ) is a W -category.
We will denote by P ( V , , ) , ( W , , ) , or simply by P ( V , W ) if no confusion arises, the family of preserving functions between the quantales ( V , , ) and ( W , , ) .
If the map F satisfies that ( X , F a ) is a separated (resp. symmetric) W -category whenever ( X , a ) is a separated (resp. symmetric) V -category, then F is said to be separately preserving (resp. symmetrically preserving). The family of separately (resp. symmetrically) preserving functions will be denoted by se P ( V , , ) , ( W , , ) (resp. sy P ( V , , ) , ( W , , ) ).
Notice that P ( V , W ) sy P ( V , W ) .
We now present an easy example of the family of preserving functions P ( V , W ) for specific quantales V and W . Further examples will be provided in Theorems 5–7, and Proposition 4 (see also [35]).
Example 5.
Let F : ( 2 , , ) ( 2 , , ) be a function. Then F is preserving if and only if F is the identity or F is the identically 1 function. Otherwise, F ( 1 ) = 0 and in this case, given a 2 -category ( X , a ) (a partially ordered set, Example 3) and x X , then ( X , F a ) is not a 2 -category since 1 F ( a ( x , x ) ) = F ( 1 ) = 0 failing to fulfill (VC1).
The concept of triangle triplet, which first appeared in [49], plays a crucial role in the characterization of quasi-pseudometric aggregation functions [11,14]. A counterpart notion appears in [16] for characterizing fuzzy quasi-pseudometric aggregation functions. The following concept expands this notion to a more general context.
Definition 5
([35]). Let ( S , , · ) be an ordered semigroup, that is, a semigroup endowed with a partial order compatible with the operation. A triplet ( x , y , z ) S 3 is said to be an asymmetric triangle triplet on ( S , , · ) if x · y z . Moreover, it is said to be a triangle triplet if every permutation of the triplet is an asymmetric triangle triplet.
A function F : ( S , , · ) ( M , , ) between two ordered semigroups is said to preserve (asymmetric) triangle triplets if ( F ( x ) , F ( y ) , F ( z ) ) is a(n) (asymmetric) triangle triplet on ( M , , ) whenever ( x , y , z ) is a(n) (asymmetric) triangle triplet on ( S , , · ) .
Example 6
([11] (Chapter 2.2)).
  • A triangle triplet on P + is a triplet ( a , b , c ) [ 0 , + ] 3 such that
    a b + c , b a + c , c a + b .
    An asymmetric triangle triplet on P + is a triplet ( a , b , c ) [ 0 , + ] 3 such that
    a b + c .
  • if ( X , d ) is a (quasi-)pseudometric space, then ( d ( x , y ) , d ( y , z ) , d ( x , z ) ) is a(n) (asymmetric) triangle triplet on P + for every x , y , z X .
Example 7.
Every constant function F : ( V , , ) ( W , , ) between two commutative integral quantales preserves asymmetric triangle triplets. Notice that whenever ( x , y , z ) V 3 is an asymmetric triangle triplet, then ( F ( x ) , F ( y ) , F ( z ) ) = ( F ( x ) , F ( x ) , F ( x ) ) is a triangle triplet on W (see Remark 1).
The results detailed below, taken from [35], characterize the various families of preserving functions that were introduced earlier.
Theorem 1
([35]). Let ( V , , ) , ( W , , ) be two commutative integral quantales. The following statements are equivalent:
1.
F : ( V , , ) ( W , , ) is preserving;
2.
F : ( V , , ) ( W , , ) is a lax morphism;
3.
F preserves asymmetric triangle triplets and 1 W = F ( 1 V ) ;
4.
F preserves symmetric triangle triplets, it is isotone and 1 W = F ( 1 V ) .
Theorem 2
([35]). Let ( V , , ) , ( W , , ) be two commutative integral quantales. Then a function F : ( V , , ) ( W , , ) is symmetrically preserving if and only if F preserves triangle triplets and 1 W = F ( 1 V ) .
Proposition 1
([35]). Let ( V , , ) , ( W , , ) be two commutative integral quantales. Then F preserves asymmetric triangle triplets and 1 W = F ( 1 V ) if and only if F preserves symmetric triangle triplets, is isotone and 1 W = F ( 1 V ) .
Theorem 3
([35]). Let ( V , , ) , ( W , , ) be two commutative integral quantales. The following statements are equivalent:
1.
F : ( V , , ) ( W , , ) is separately preserving;
2.
F : ( V , , ) ( W , , ) is a lax morphism satisfying F 1 1 W = { 1 V } ;
3.
F preserves asymmetric triangle triplets and F 1 1 W = { 1 V } .

5. Quasi-Pseudometric Modular Spaces

Recall that our objective is to characterize the aggregation functions of a mathematical structure known as quasi-pseudometric modular. In this section, we review this concept originally defined by Chistyiakov [21,22,23,24], as well as its asymmetric version, which was explored in [25]. To obtain the promised characterizations, we will draw upon the general theory of aggregation functions developed in the previous results. However, this requires us to describe quasi-pseudometric modular spaces as categories enriched over a specific quantale. This topic has been addressed in [36], from which we will gather relevant results.
Definition 6
([24,25]). Let X be a non-empty set. A function
w : ( 0 , + ) × X × X [ 0 , + ]
is said to be a quasi-pseudometric modular on X if for every x , y , z X and t , s > 0 it verifies:
(M1) 
w ( t , x , x ) = 0 for every t > 0 ,
(M2) 
w ( t + s , x , y ) w ( t , x , z ) + w ( s , z , y ) .
If, in addition, w satisfies
( M 3 ) w ( t , x , y ) = w ( t , y , x ) = 0 for every t > 0 if and only if x = y ,
then w is called a quasi-metric modular.
If a quasi-(pseudo)metric modular w verifies:
( M 4 ) w ( t , x , y ) = w ( t , y , x ) for every x , y X and every t > 0 ,
then w is said to be a (pseudo)metric modular on X.
The pair ( X , w ) will be called a (quasi-)(pseudo)metric modular space.
Example 8
(compare with [24] (Section 1.3.1)). Let ( X , d ) be a quasi-pseudometric space, and g : ( 0 , + ) [ 0 , + ] be a nonincreasing function. Define w g , d : ( 0 , + ) × X × X [ 0 , + ] as
w g , d ( t , x , y ) = g ( t ) · d ( x , y ) ,
for all t > 0 , x , y X , with the convention that · 0 = 0 , and · a = for all a > 0 . Then, ( X , w g , d ) is a quasi-pseudometric modular space.
Moreover, if g is not identically zero and d is a quasi-metric, then ( X , w g , d ) is a quasi-metric modular space.
When g is the function identically 1, then
w g , d ( t , x , y ) = d ( x , y )
for all t > 00 , x , y X . We denote this quasi-pseudometric modular by w d .
Example 9.
Let w : ( 0 , + ) × [ 0 , + ) × [ 0 , + ) [ 0 , + ] defined as
w ( t , x , y ) = x + y if x y , 0 if x = y ,
for all t > 0 , x , y 0 . Then it is easy to check that ( [ 0 , + ) , w ) is a metric modular space.
In [36], it has been shown that quasi-pseudometric modular spaces can be viewed as enriched categories over a quantale. We collect some of the results from [36] in the following one.
Theorem 4
([36]). Let - Cat denote the family of all -categories meanwhile QPMod denotes the family of all quasi-pseudometric modular spaces. Define I : - Cat QPMod as
I ( X , a ) = ( X , w a )
for every -category ( X , a ) , where w a ( t , x , y ) = a ( x , y ) ( t ) for all x , y X , t > 0 .
Then I is an isomorphism having as inverse
I 1 ( ( X , w ) ) = ( X , a w )
where a w : X × X is defined as
a w ( x , y ) ( t ) = w ( t , x , y )
for all x , y X , t > 0 .
Remark 4.
We note that the results proved in [36] are more general because they consider the categories of quasi-pseudometric modular spaces and -categories rather than focusing solely on their objects. Nevertheless, in this study, we do not require that level of generality since we will not consider morphisms in our future discussion.
Remark 5.
A straightforward computation shows that, indeed, separated -categories can be seen as quasi-metric modular spaces. Likewise, symmetric -categories can be seen as pseudometric modular spaces.

6. Aggregation Functions of Quasi-Pseudometric Modulars

In this section and the following ones, we finally address the goal of this paper. As previously commented, in [33], the concept of a (pseudo)metric modular aggregation function was introduced and characterized. This topic was further developed in [34], which explored quasi-pseudometric modular aggregation functions. The investigations conducted in [33,34] focus solely on what we refer to as aggregation functions on sets. This means that these functions enable the merging of a family of quasi-pseudometric modulars defined on the same set into a single one in that set.
Note that there is an alternative method for aggregating quasi-pseudometric modulars by constructing a new one within the Cartesian product. In this section, we will characterize these functions using the general theory of aggregation functions between quantales. Moreover, we will prove some already known results of aggregation of (quasi-)(pseudo)metric modulars using the theory of quantales given in Section 4. We will begin by clearly defining the two different concepts of functions that aggregate quasi-pseudometric modulars.
Definition 7
(compare with [33,34]). A function F : [ 0 , + ] I [ 0 , + ] is said to be the following:
  • a (quasi-)(pseudo)metric modular aggregation function on products if for every family ( X i , w i ) : i I of (quasi-)(pseudo)metric modular spaces, then F w Π is a (quasi-)(pseudo)metric modular on Π i I X i , where
    w Π : ( 0 , + ) × i I X i × i I X i [ 0 , + ] I
    is given by
    w Π ( t , x , y ) = w i ( t , x i , y i ) i I
    for all x , y i I X i , t > 0 .
  • a (quasi-)(pseudo)metric modular aggregation function on sets if for every collection { w i : i I } of (quasi-)(pseudo)metric modulars over a nonempty set X, then F w Δ is a (quasi-)(pseudo)metric modular on X, where
    w Δ : ( 0 , + ) × X × X [ 0 , + ] I
    is given by
    w Δ ( t , x , y ) = w i ( t , x , y ) i I
    for all x , y X , t > 0 .
We shall now give some examples that illustrate this definition.
Example 10.
1.
Given k [ 0 , + ] , let F k : [ 0 , + ] I [ 0 , + ] given as
F k ( x ) = k if x 0 i , 0 if x = 0 ,
for every x [ 0 , + ] I . Then it is straightforward to check that F k is a quasi-pseudometric modular aggregation function on products.
2.
Given n N , define S n : [ 0 , + ] n [ 0 , + ] as
S n ( x ) = x 1 + + x n
for all x = ( x 1 , , x n ) [ 0 , + ] n . An easy computation shows that S n is a quasi-pseudometric modular aggregation function on products.
The family of quasi-pseudometric modular aggregation functions on products (resp. on sets) will be denoted by QPModAP (resp. QPModAS ). The notations QModAP , QModAS , PModAP , PModAS , ModAP , ModAS are self-explained.
The families PModAS ,   ModAS were characterized in [33]; meanwhile, the families QPModAS ,   QModAS were characterized in [34]. In this paper, we will characterize the families QPModAP ,   QModAP ,   PModAP ,   ModAP . To achieve this, we will make use of the general theory about aggregation functions developed by the authors in [35]. Moreover, we will demonstrate that some of the results of [33,34] can be deduced from that general theory.
We start by presenting a result that demonstrates the equivalence between the quasi-pseudometric modular aggregation functions on products and on sets. Additionally, it establishes a helpful connection between the classical theory of aggregation of quasi-pseudometric modulars and the theory of aggregation for ∇-categories, showing that a quasi-pseudometric modular aggregation function on products F induces a function transforming I -categories into ∇-categories.
Proposition 2.
Let F : [ 0 , + ] I [ 0 , + ] be a function. Define F : [ 0 , + ] ( 0 , + ) I [ 0 , + ] ( 0 , + ) as
F ( f i ) i I ( t ) = F ( f i ( t ) ) i I
for every ( f i ) i I [ 0 , + ] ( 0 , + ) I and t > 0 . Then the following statements are equivalent:
1.
F QPModAP ;
2.
F QPModAS ;
3.
whenever ( X , a ) is a I -category then ( X , F a ) is a -category.
Proof. 
(1) ⇒ (2) This is straightforward.
(2) ⇒ (3) Suppose that F QPModAS and let ( X , a ) be a I -category. By Example 4.(1), ( X , a i ) is a ∇-category for all i I , where a i is the ith-coordinate function of a . Hence, ( X , w a i ) : i I is a family of quasi-pseudometric modular spaces (see Theorem 4). By assumption, ( X , F w Δ ) is a quasi-pseudometric modular space, so ( X , a F w Δ ) is a ∇-category by Theorem 4. Notice that, given x , y X and t > 0
( a F w Δ ( x , y ) ) ( t ) = ( F w Δ ) ( t , x , y ) = F ( w a i ( t , x , y ) ) i I = F w a i ( · , x , y ) i I ( t ) = F a i ( x , y ) i I ( t ) = ( F a ) ( x , y ) ( t )
that is,
a F w Δ = F a ,
that proves the implication.
(3) ⇒ (1) Let ( X i , w i ) : i I be a family of quasi-pseudometric modular spaces. By Theorem 4, ( X i , a w i ) : i I is a family of ∇-categories, so i I X i , a Π is I -category where, for all i I ,
a Π ( x , y ) i ( t ) = a w i ( x i , y i ) ( t ) = w i ( t , x i , y i )
for every x , y i I X i , t > 0 (see Example 4.(2)). By assumption, i I X i , F a Π is a ∇-category so, by Theorem 4, i I X i , w F a Π is a quasi-pseudometric modular space. Moreover, given x , y i I X i and t > 0
w F a Π ( t , x , y ) = F a Π ( x , y ) ( t ) = F ( w i ( · , x i , y i ) ) i I ( t ) = F ( w i ( t , x i , y i ) i I = ( F w Π ) ( t , x , y )
so i I X i , w F a w = i I X i , F w Π is a quasi-pseudometric modular space. Hence, F QPModAP .
Remark 6.
We observe that given a function F : [ 0 , + ] ( 0 , + ) I [ 0 , + ] ( 0 , + ) satisfying that ( X , F a ) is a -category for every I -category ( X , a ) , then
F ( I ) .
Let us show this. Let ( f i ) i I I . Consider a set X = { x 1 , x 2 } with two different points and for every i I , let a f i : X × X be defined as
a f i ( x , y ) ( t ) = f i ( t ) if x y , 0 if x = y ,
for every x , y X , t > 0 . Then ( X , a f ) is I -category where
a f ( x , y ) i ( t ) = a f i ( x , y ) ( t )
for every x , y X , t > 0 , i I . By assumption, ( X , F a f ) is a -category, so
( F a f ) ( x 1 , x 2 ) = F ( a f ( x 1 , x 2 ) ) i I = F ( f i ) i I
which proves the assertion.
Based on the previous proposition and remark, we can derive a corollary that shows quasi-pseudometric modular aggregation functions are included in the family of preserving functions between I and ∇. This connects the existing theory of quasi-pseudometric modular aggregation functions in the literature with our approach to the problem using preserving functions.
Corollary 1.
Let F : [ 0 , + ] I [ 0 , + ] be a function. Define F : [ 0 , + ] ( 0 , + ) I [ 0 , + ] ( 0 , + ) as
F ( f i ) i I ( t ) = F ( ( f i ( t ) ) i I )
for every ( f i ) i I [ 0 , + ] ( 0 , + ) I and t > 0 . Then the following statements are equivalent:
1.
F QPModAP ;
2.
F QPModAS ;
3.
F P ( I , ) .
Consequently, the map
ν : QPModAP P ( I , )
given by
ν ( F ) = F
is well-defined.
In [34] (Theorem 8), Bibiloni-Femenias and Valero characterized the quasi-pseudometric modular aggregation functions on sets as those isotone and subadditive functions F : [ 0 , + ] I [ 0 , + ] such that F ( 0 I ) = 0 . We will show that this result can be derived from the results presented in [35]. To achieve this, we will prove that a function F : P + I P + is preserving if and only if F : I is preserving. This will be a consequence of the following result.
Proposition 3.
Let F : P + I P + . Then F is a lax morphism of quantales if and only if F : I is a lax morphism of quantales.
Proof. 
Suppose that F is a lax morphism of quantales. Since F is a lax morphism then it is isotone. Hence F ( I ) so F is well-defined.
Next, let us check that F is isotone. Consider ( f i ) i I , ( g i ) i I I . Since F is subadditive and isotone (Example 2) then
F ( f i ) i I F ( g i ) i I ( t ) = u + v = t o p F ( f i ( u ) ) i I + F ( g i ( v ) ) i I o p o p u + v = t o p F ( f i ( u ) + g i ( v ) ) i I o p F u + v = t o p f i ( u ) + g i ( v ) i I = F ( f i g i ) i I ( t ) .
Hence, F is subadditive.
Moreover, suppose that f i o p g i for all i I . Using that F is isotone we have the following:
F ( f i ) i I ( t ) = F ( f i ( t ) i I ) o p F ( g i ( t ) ) i I = F ( g i ) i I ( t ) .
Finally, we have that, for every t > 0
( F ( 0 I ) ) ( t ) = F ( 0 I ) = 0
so F ( 0 I ) = 0 . Therefore, F is a lax morphism of quantales.
Conversely, suppose that F is a lax morphism of quantales. We first notice that, given t > 0
F ( 0 I ) = F ( 0 I ( t ) ) = F ( 0 I ) ( t ) = 0 ( t ) = 0 .
Now we prove that F is subadditive.
Let x = ( x i ) i I , y = ( y i ) i I [ 0 , + ] I . For each i I , let us consider f i , g i defined as
f i ( t ) = x i , g i ( t ) = y i ,
for every t ( 0 , + ) . Let f : = ( f i ) i I , g : = ( g i ) i I I . Then, for any t > 0 , using the subadditivity of F , we deduce that, for any t > 0 ,
F ( x + y ) = F ( f i ( t ) + g i ( t ) ) i I = F ( ( f i + g i ) i I ) ( t ) = F ( f g ) ( t ) F ( f ) F ( g ) ( t ) = F ( f ) ( t ) + F ( g ) ( t ) = F ( f i ( t ) ) i I + F ( g i ( t ) ) i I = F ( x ) + F ( y )
so F is subadditive.
Furthermore, if x y then g op f and since F is isotone we have
F ( x ) = F ( f i ( t ) ) i I = F ( f ) ( t ) F ( g ) ( t ) = F ( g i ( t ) ) i I = F ( y ) .
Consequently, F is isotone and a lax morphism of quantales. □
Based on our previous results, we can achieve one of the main goals of the paper: the characterization of the quasi-pseudometric modular aggregation functions on products or on sets. The following theorem characterizes them in various ways.
Theorem 5
(compare with [34] (Theorem 8)). Let F : P + I P + . Then, the following assertions are equivalent:
1.
F QPModAP ;
2.
F QPModAS ;
3.
F P ( I , ) ;
4.
F P ( P + I , P + ) ;
5.
F ( 0 I ) = 0 , F is isotone and F is subadditive;
6.
F ( 0 I ) = 0 and F preserves asymmetric triangle triplets;
7.
F ( 0 I ) = 0 , F is isotone and F preserverse triangle triplets.
Proof. 
This follows from Corollary 1, Proposition 3, and Theorem 1. □
Remark 7.
Notice that the equivalence between (2), (5), (6), and (7) was proved in [34] (Theorem 8). Nevertheless, we have been able to obtain this equivalence based on the general theory regarding preserving functions. This approach also enables us to enhance the result by providing the same characterization for quasi-pseudometric modular aggregation functions on products.
Example 11.
Let ( k n ) n N be a sequence of positive real numbers. Consider the following functions:
1.
F : [ 0 , + ] N [ 0 , + ] given by
F ( x ) = n N k n · x n
for all x = ( x n ) n N ;
2.
G : [ 0 , + ] N [ 0 , + ] given by
G ( x ) = sup { k n · x n : n N }
for all x = ( x n ) n N .
Then F , G are quasi-pseudometric modular aggregation functions on products and on sets. This is a direct consequence of the previous theorem since F ( 0 N ) = G ( 0 N ) = 0 , and F , G are clearly isotone and subadditive.
Based on our previous discussion, we can identify two distinct types of functions for aggregating quasi-pseudometric modulars. One type consists of functions of the form F : [ 0 , + ] I [ 0 , + ] , while the other involves preserving functions between the quantales I and ∇. This leads us to the following definition.
Definition 8.
Let F : I . We say that F is a
  • (quasi-)(pseudo)metric modular aggregation function on products if for every family ( X i , w i ) : i I of (quasi-)(pseudo)metric modular spaces then ( Π i I X i , w Π F ) is a (quasi-)(pseudo)metric modular space, where
    w Π F ( t , x , y ) = F ( w i ( · , x i , y i ) ) i ( t )
    for every x , y i I X i , t > 0 .
  • (quasi-)(pseudo)metric modular aggregation function on sets if for every collection w i : i I of (quasi-)(pseudo)metric modulars over a set X, we have that ( X , w Δ F ) is a (quasi-)(pseudo)metric modular space, where
    w Δ F ( t , x , y ) = F ( w i ( · , x , y ) ) i ( t )
    for every x , y X , t > 0 .
The next result shows that the preserving functions between the quantales I and ∇ are precisely the quasi-pseudometric modular aggregation functions as defined above.
Proposition 4.
Let F : I . Then, the following statements are equivalent:
1.
F P ( I , ) ;
2.
F is a quasi-pseudometric modular aggregration function on products;
3.
F is a quasi-pseudometric modular aggregration function on sets.
Proof. 
(1) ⇒ (2) Let ( X i , w i ) : i I be a family of quasi-pseudometric modular spaces. Then, ( i I X i , a Π w ) is a I -category where ( a Π w ( x , y ) ) i ( t ) = w i ( t , x i , y i ) for all x , y i I X i , t > 0 . By assumption, ( i I X i , F a Π w ) is a ∇-category, so ( i I X i , w F a Π w ) is a quasi-pseudometric modular space (see Theorem 4). Since
w F a Π w ( t , x , y ) = ( F a Π w ( x , y ) ) ( t ) = F ( w i ( · , x i , y i ) ) i I ( t ) = w Π F ( t , x , y )
for all x , y i I X i , t > 0 , then ( Π i I X i , w Π F ) is a quasi-pseudometric modular space. Hence, F is a quasi-pseudometric modular aggregation function on products.
(2) ⇒ (3) This is straightforward.
(3) ⇒ (1) Let ( X , a ) be a I -category. Then ( X , w a i ) : i I is a family of quasi-pseudometric modular spaces (see Example 4.(1) and Theorem 4). By hypothesis, ( X , w Δ F ) is a quasi-pseudometric modular space, so ( X , a w Δ F ) is a ∇-category. Moreover,
( a w Δ F ( x , y ) ) ( t ) = w Δ F ( t , x , y ) = F ( w a i ( · , x , y ) ) i I ( t ) = F ( a i ( x , y ) ) i I ( t ) = F a ( x , y ) ( t ) = ( ( F a ) ( x , y ) ) ( t )
for all x , y X , t > 0 . Consequently, ( X , F a ) is a ∇-category. □
From the previous proposition and Theorem 5, we can deduce a result that connects the families P ( P + I , P + ) and P ( I , ) .
Proposition 5.
Let F : P + I P + . The following statements are equivalent.
1.
F is a quasi-pseudometric modular aggregation function on products;
2.
F is a quasi-pseudometric modular aggregation function on sets;
3.
F P ( P + I , P + ) ;
4.
F is a quasi-pseudometric modular aggregation function on products;
5.
F is a quasi-pseudometric modular aggregation function on sets;
6.
F P ( I , ) .
To summarize, in this section we have presented one of the main contributions of the paper: the characterization of quasi-pseudometric modular aggregation functions on products, which we have demonstrated to be equivalent to aggregation on sets. Furthermore, we have established a relationship between the classical method for aggregating quasi-pseudometric modulars, as developed in [33,34], and preserving functions between certain quantales.

7. Aggregation of Pseudometric Modulars

Bibiloni-Femenias, Miñana, and Valero characterized in [33] (Theorem 5) the pseudometric modular aggregation functions on sets. In this section, we address the problem of deriving their result using our general framework, as well as characterizing pseudometric modular aggregation functions on products.
The following result highlights two key points. First, the family of pseudometric modular aggregation functions on products is equal to the family of pseudometric modular aggregation functions on sets. Second, symmetrically preserving functions (see Definition 4) are suitable for interpreting pseudometric modular aggregation functions within our theoretical framework.
Proposition 6.
Let F : P + I P + . The following statements are equivalent.
1.
F PModAP ;
2.
F PModAS ;
3.
F sy P ( I , ) .
Proof. 
The proof is similar to that of Corollary 1 taking into account Remark 5. □
The next result will allow us to prove the characterization of pseudometric modular aggregation functions.
Proposition 7.
Let F : P + I P + . Then, F sy P ( I , ) if and only if F sy P ( P + I , P + ) and F is isotone.
Proof. 
Suppose that F is symmetrically preserving. Let ( X , a ) be a symmetric P + I -category. Hence, ( X , a i ) : i I is a family of symmetric P + -categories (Example 4), that is, a family of extended pseudometric spaces (Example 3). Therefore ( X , w a i ) : i I is a family of pseudometric modular spaces (Example 8) so ( X , a w a i ) : i I is a family of symmetric ∇-categories (Theorem 4). By Example 4.(3), ( X , a Δ ) is a symmetric I -category so, by assumption, ( X , F a Δ ) is a symmetric ∇-category. Observe that
F a Δ ( x , y ) ( t ) = F a w a i ( x , y ) ( t ) i I = F w a i ( t , x , y ) i I = F a i ( x , y ) i I = ( F a ) ( x , y )
for all t > 0 . Hence, ( X , F a ) is a symmetric P + -category so F sy P ( P + I , P + ) .
Next, we will prove that F is isotone. Notice that, by Theorem 2, F ( 0 I ) = 0 so F ( 0 I ) = 0 .
Let s , t [ 0 , + ] I such that s t . Consider a set X = { 0 , 1 } with two different elements and, for each i I define a i : X × X as
a i ( x , y ) ( t ) = 0 if x = y , t > 0 , t i if x y , 0 < t < 1 , s i if x y , 1 t ,
for all x , y X , t > 0 . It is straightforward to check that ( X , a i ) is a symmetric ∇-category for all i I . Then, ( X , a Δ ) is a symmetric I -category (Example 4.(3)), so ( X , F a Δ ) is a symmetric ∇-category. Then,
F ( s ) = F ( a i ( 0 , 1 ) ) ( 1 ) i I = F a Δ ( 0 , 1 ) ( 1 ) = F a Δ ( 0 , 1 ) ( 1 ) F a Δ ( 0 , 1 ) F a Δ ( 1 , 1 ) ( 1 ) = 0 s 1 F a Δ ( 0 , 1 ) ( s ) + F a Δ ( 1 , 1 ) ( 1 s ) F a Δ ( 0 , 1 ) ( 1 2 ) + F a Δ ( 1 , 1 ) ( 1 2 ) = F ( a i ( 0 , 1 ) ) ( 1 2 ) i I + F ( a i ( 0 , 0 ) ) ( 1 2 ) i I = F ( t ) + F ( 0 I ) = F ( t )
so F is isotone.
Conversely, suppose that F sy P ( P + I , P + ) and F is isotone. By Theorem 2, F preserves triangle triplets and F ( 0 I ) = 0 . Given x , y [ 0 , + ] I then ( x + y , x , y ) is a triangle triplet on [ 0 , + ] I so ( F ( x + y ) , F ( x ) , F ( y ) ) is a triangle triplet on [ 0 , + ] . Hence F ( x + y ) F ( x ) + F ( y ) so F is subadditive. Therefore, F is a lax morphism of quantales which implies, by Proposition 3 and Theorem 1, that F P ( I , ) sy P ( I , ) .
The following result shows that there is no difference between the quasi-pseudometric modular aggregation functions (on products or on sets) and the pseudometric modular aggregation functions (on products or on sets).
Theorem 6
(compare with [34] (Theorem 8)). Let F : P + I P . The following statements are equivalent.
1.
F P ( P + I , P + ) ;
2.
F sy P ( P + I , P + ) and F is isotone;
3.
F P ( I , ) ;
4.
F sy P ( I , ) ;
5.
F QPModAP ;
6.
F QPModAS ;
7.
F is a quasi-pseudometric modular aggregation function on products;
8.
F is a quasi-pseudometric modular aggregation function on sets;
9.
F PModAP ;
10.
F PModAS ;
11.
F ( 0 I ) = 0 , F is isotone and F is subadditive;
12.
F ( 0 I ) = 0 and F preserves asymmetric triangle triplets;
13.
F ( 0 I ) = 0 , F is isotone and F preserves triangle triplets.
Proof. 
The equivalence between (1) and (2) follows from Theorems 1 and 2 and Proposition 1. Moreover, (1) is equivalent to (3), (5), (6), (7), and (8) by Proposition 5. All these statements are equivalent to (11), (12), and (13) by Theorem 5.
(2) is equivalent to (4) by Proposition 7. (4) is equivalent to (9) and (10) by Proposition 6. □
Remark 8.
Notice that the equivalence between (6), (10), (11), (12), and (13) was first proved in [34] (Theorem 8).
Remark 9.
Observe that by [35] (Theorem 3.15), the statements of Theorem 6 are equivalent to F is an extended quasi-pseudometric aggregation function on products or on sets.
Moreover, although in the context of metric modulars, the concepts of pseudometric modular aggregation functions (on products or on sets) and quasi-pseudometric modular aggregation functions (on products or on sets) are equivalent, this equivalence does not hold for metrics. There exist pseudometric aggregation functions on sets that are not quasi-pseudometric aggregation functions on sets (see [14]).
In this section, we have continued the work developed in the previous one, characterizing aggregation functions of pseudometric modular, showing that they coincide with their quasi-pseudometric modular counterparts. Using the categorical framework developed earlier, we have demonstrated that symmetrically preserving functions between certain quantales provide an alternative interpretation of pseudometric modular aggregation functions.

8. Aggregation of Quasi-Metric Modulars

We now address the problem of characterizing the quasi-metric modular aggregation functions, both on products or on sets. This question was solved in [34] (Theorem 9) when the aggregation was performed on sets.
Next, we will demonstrate that the separately preserving functions between P + I and P + are precisely the quasi-metric modular aggregation functions on products. We also provide an internal characterization of these functions.
Theorem 7.
Let F : P + I P + . The following statements are equivalent:
1.
F sep P ( P + I , P + ) ;
2.
F QModAP ;
3.
F is isotone, subadditive and F 1 ( 0 ) = { 0 I } .
Proof. 
(1) ⇒ (2) Let us suppose that F is separately preserving. Let ( X i , w i ) : i I be a family of quasi-metric modular spaces. By Theorems 1 and 3, F is preserving, so it is a quasi-pseudometric modular aggregation function on products by Theorem 5. Hence, ( i I X i , F w Π ) is a quasi-pseudometric modular space. Consequently, it only remains to show the property (M3) from Definition 6. Let x , y i I X i such that F w Π ( t , x , y ) = F w Π ( t , y , x ) = 0 for every t > 0 , that is, F ( w i ( t , x i , y i ) ) i I = F ( w i ( t , y i , x i ) ) i I = 0 . Since F is separately preserving then F 1 ( 0 ) = 0 I by Theorem 3, so w i ( t , x i , y i ) = 0 for every t > 0 and i I . Since w i is a quasi-metric modular for every i I , we conclude x i = y i for every i I , as desired.
(2) ⇒ (3) If F is a quasi-metric modular aggregation function on products, then it is a quasi-metric modular aggregation function on sets. By [34] (Theorem 9), F is isotone, subadditive, and F ( 0 I ) = 0 .
Let us show that F 1 ( 0 ) = { 0 I } . By way of contradiction, suppose that there exists a F 1 ( 0 ) such that a 0 I . Consider [ 0 , + ) , w the metric modular space of Example 9. Then, { [ 0 , + ) , w : i I } is a family of quasi-metric modular spaces so, by assumption, [ 0 , + ] I , F w Π is a quasi-metric modular space. Nevertheless, a 0 I but
( F w Π ) ( t , a , 0 I ) = F ( ( w i ( t , a i , 0 ) ) i i ) = F ( ( a i ) i I ) = 0 = ( F w Π ) ( t , 0 I , a )
for all t > 0 . This contradicts axiom (M3) of a quasi-metric modular.
(3) ⇒ (1) This is a consequence of Theorem 3. □
Remark 10.
According to [35] (Theorem 3.18), the statements of the previous theorem are equivalent to F is an extended quasi-metric aggregation function on products.
Notice that all functions in Example 11 are quasi-metric modular aggregation functions on products, since they satisfy statement 3 in Theorem 7. The constant zero function between P + I and P + is an example of a quasi-pseudometric modular aggregation function on products which is not a quasi-metric modular aggregation function on products.
As previously mentioned, Bibiloni-Femenias and Valero characterized in [34] the quasi-metric modular aggregation functions on sets through the following result:
Theorem 8
([34] (Theorem 9)). Let n N , and let F : [ 0 , + ] n [ 0 , + ] be a function. The following statements are equivalent to each other:
1.
F is a quasi-metric modular aggregation function on sets;
2.
F is a metric modular aggregation function on sets;
3.
F 0 n = 0 and F is isotone and subadditive. Moreover, if a [ 0 , + ] n and F ( a ) = 0 , then a i = 0 for some i = 1 , , n ;
4.
F 0 n = 0 , and, in addition, F ( c ) F ( a ) + F ( b ) for all a , b , c [ 0 , + ] n , with c a + b . Moreover, if a [ 0 , + ] n and F ( a ) = 0 , then a 1 = 0 for some i = 1 , , n ;
5.
F 0 n = 0 , F is isotone and preserves triangular triplets. Moreover, if a [ 0 , + ] n and F ( a ) = 0 , then a 1 = 0 for some i = 1 , , n .
Notice that from the above Theorem and Theorem 7, we deduce that every quasi-metric modular aggregation function on products is a quasi-metric modular aggregation function on sets, but the converse does not hold as the next trivial example shows.
Example 12.
Given j I , let us consider P j : [ 0 , + ] I [ 0 , + ] be the jth projection, that is,
P j ( x ) = x j
for all x = ( x i ) i I [ 0 , + ] I . Let us check that P j is a quasi-metric modular aggregation function on sets. Indeed, consider a collection { w i : i I } of quasi-metric modulars on a fixed nonempty set X . For every x , y X and t > 0 ,
P j w i ( t , x , y ) i I = w j ( t , x , y ) ,
that is, P j w Δ = w j , which is a quasi-metric modular on X . Thus P j is a quasi-metric modular aggregation function on sets.
However, P j is not a quasi-metric modular aggregation function on products. To check this, let ( X , w ) be an arbitrary quasi-metric modular space such that X has at least two different points x , y . Then, ( X I , F w Π ) is not a quasi-metric modular space since, if we consider χ , μ X I such that χ i = x for all i I and
μ i = y if i j , x if i = j ,
then
( P j w Π ) ( t , χ , μ ) = P j ( ( w ( t , χ i , μ i ) ) i I ) = w ( t , χ j , μ j ) = w ( t , x , x ) = 0
but χ μ , so P j w Π is not a quasi-metric modular on X I .
We obtain the following characterization of functions that aggregate metric modulars on products based on the previous results. We must note that we prove these are equivalent to the quasi-metric modular aggregation functions on products.
Theorem 9.
Let F : P + I P + . The following statements are equivalent:
1.
F sep P ( P + I , P + ) ;
2.
F P ( P + I , P + ) and F 1 ( 0 ) = { 0 I } ;
3.
F sym P ( P + I , P + ) , F is isotone and F 1 ( 0 ) = { 0 I } ;
4.
F ModAP ;
5.
F is isotone, subadditive and F 1 ( 0 ) = { 0 I } ;
6.
F QModAP .
Proof. 
(1) ⇔ (2) ⇔ (3) These equivalences follow from Theorems 6 and 7.
(3) ⇒ (4) Since F is symmetrically preserving and isotone then, by Theorem 6, it is a pseudometric modular aggregation function on products. Moreover, since F is separately preserving, then F is a quasi-metric modular aggregation function on products by Theorem 7. This obviously implies that F is a modular metric aggregation function on products.
(4) ⇒ (5) This is similar to (2) ⇒ (3) of Theorem 7.
(5) ⇒ (6) ⇒ (1) This is a consequence of Theorem 7. □
In conclusion, this section has focused on characterizing functions that aggregate quasi-metric modulars. However, unlike previous cases, the results differ depending on whether the aggregation occurs on products or on sets. Additionally, we have demonstrated that quasi-metric modular aggregation functions on products coincide with metric modular aggregation functions on products. This fulfills our objective of characterizing the functions aggregating on products these mathematical structures.

9. Conclusions and Future Work

In this paper, we have investigated functions that aggregate quasi-pseudometric modulars. While this topic has been recently studied in the literature [33,34], it has only focused on aggregation on sets. Our goal is to fill a gap in this research by examining aggregation on products. Our approach builds on recent advancements in the theory of aggregation functions over quantales [35], emphasizing the relevance and applicability of this theory.
A significant contribution of this work is the characterization of aggregation functions for quasi-pseudometric modulars on products. We have provided an internal characterization of these functions. Moreover, we have proved that the aggregation functions for quasi-pseudometric modulars on products are exactly the same as those for quasi-pseudometric modulars on sets, revealing an unexpected structural parallel between these two approaches. This similarity also occurs for pseudometric modulars. However, it does not hold for quasi-metric modulars or metric modulars.
This research can be considered as an initial step in a broader investigation about quasi-pseudometric modular aggregation functions. While our focus in this work has been primarily on the theoretical aspects, these results pave the way for future applications. In particular, we plan to explore potential applications of this theory in computer science or cluster analysis, where aggregation functions play a critical role. Furthermore, we aim to investigate the relevance of this theory in decision theory, where the use of quasi-pseudometric modulars could provide novel insights into multi-criteria decision-making processes and preference modeling.
Future research will also focus on extending the applicability of the theory of aggregation functions within enriched categories to large classes of mathematical structures and analyzing their practical implications.

Author Contributions

Conceptualization, investigation, writing–original draft preparation, writing–review and editing, supervision, A.F.-B. and J.R.-L.; funding acquisition, J.R.-L. All authors have read and agreed to the published version of the manuscript.

Funding

The last author’s research is part of the project PID2022-139248NB-I00 funded by MICIU/AEI/10.13039/501100011033 and ERDF/EU.

Data Availability Statement

The original contributions presented in this study are included in the article. Further inquiries can be directed to the corresponding author.

Acknowledgments

We sincerely thank the anonymous reviewers for their valuable comments and suggestions, which have improved the quality of this paper.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Pap, E. Aggregation functions as a base for decision making. In Proceedings of the Synthesis 2015—International Scientific Conference of IT and Business-Related Research, 2015; pp. 143–146. [Google Scholar]
  2. Torra, V.; Narukawa, Y. Modeling Decisions. Information Fusion and Aggregation Operators; Springer: Berlin/Heidelberg, Germany, 2017. [Google Scholar]
  3. Beliakov, G.; Pradera, A.; Calvo, T. Aggregation Functions: A Guide for Practitioners; Studies in Fuzziness and Soft Computing; Springer: Berlin/Heidelberg, Germany, 2007. [Google Scholar]
  4. Grabisch, M.; Marichal, J.-L.; Mesiar, R.; Pap, E. Aggregation Functions; Encyclopedia of Mathematics and Its Applications; Cambridge University Press: Cambridge, UK, 2009; Volume 127. [Google Scholar]
  5. Kozielski, M.; Prokopowicz, P.; Mikołajewski, D. Aggregators used in fuzzy control—A review. Electronics 2024, 13, 3251. [Google Scholar] [CrossRef]
  6. García-Lapresta, J.L.; Marques Pereira, R.A. The dual decomposition of aggregation functions and its application in welfare economics. Fuzzy Sets Syst. 2015, 281, 188–197. [Google Scholar] [CrossRef]
  7. Roldán López de Hierro, A.F.; Sánchez, M.; Roldán, C. Multi-criteria decision making involving uncertain information via fuzzy ranking and fuzzy aggregation functions. J. Comput. Appl. Math. 2022, 404, 113138. [Google Scholar] [CrossRef]
  8. Borsík, J.; Doboš, J. Functions whose composition with every metric is a metric. Math. Slovaca 1981, 31, 3–12. [Google Scholar]
  9. Borsík, J.; Doboš, J. On a product of metric spaces. Math. Slovaca 1981, 31, 193–205. [Google Scholar]
  10. Doboš, J. A survey of metric preserving functions. Quest. Answers Gen. Topol. 1995, 13, 129–134. [Google Scholar]
  11. Doboš, J. Metric Preserving Functions; Štroffek: Košice, Slovakia, 1998. [Google Scholar]
  12. Corazza, P. Introduction to metric preserving functions. Amer. Math. Monthly 1999, 106, 309–323. [Google Scholar] [CrossRef]
  13. Mayor, G.; Valero, O. Metric aggregation functions revisited. European J. Combin. 2019, 80, 390–400. [Google Scholar] [CrossRef]
  14. Mayor, G.; Valero, O. Aggregation of asymmetric distances in Computer Science. Inf. Sci. 2010, 180, 803–812. [Google Scholar] [CrossRef]
  15. Miñana, J.-J.; Valero, O. Characterizing quasi-metric aggregation functions. Int. J. Gen. Syst. 2019, 48, 890–909. [Google Scholar] [CrossRef]
  16. Pedraza, T.; Rodríguez-López, J.; Valero, O. Aggregation of fuzzy quasi-metrics. Inf. Sci. 2021, 581, 362–389. [Google Scholar] [CrossRef]
  17. Herburt, I.; Moszyńska, M. On metric products. Colloq. Math. 1991, 62, 121–133. [Google Scholar] [CrossRef]
  18. Pedraza, T.; Rodríguez-López, J. New results on the aggregation of norms. Mathematics 2021, 9, 2291. [Google Scholar] [CrossRef]
  19. Martín, J.; Mayor, G.; Valero, O. On aggregation of normed structures. Math. Comput. Model. 2011, 54, 815–827. [Google Scholar] [CrossRef]
  20. Pedraza, T.; Rodríguez-López, J. Aggregation of L-probabilistic quasi-uniformities. Mathematics 2020, 8, 1980. [Google Scholar] [CrossRef]
  21. Chistyakov, V.V. Metric modulars and their application. Dokl. Math. 2006, 73, 32–35. [Google Scholar] [CrossRef]
  22. Chistyakov, V.V. Modular metric spaces, I: Basic concepts. Nonlinear Anal. 2010, 72, 1–14. [Google Scholar] [CrossRef]
  23. Chistyakov, V.V. Modular metric spaces, II: Application to superposition operators. Nonlinear Anal. 2010, 72, 15–30. [Google Scholar] [CrossRef]
  24. Chistyakov, V.V. Metric Modular Spaces. Theory and Applications; Springer: Berlin/Heidelberg, Germany, 2015. [Google Scholar]
  25. Sebogodi, K. Some Topological Aspects of Modulars Quasi-Metric Spaces. Ph.D. Thesis, University of the Witwatersrand, Johannesburg, South Africa, 2019. [Google Scholar]
  26. Alaca, C.; Ege, M.E.; Park, C. Fixed point results for modular ultrametric spaces. J. Comput. Anal. Appl. 2016, 20, 1259–1267. [Google Scholar]
  27. Dehghan, H.; Eshaghi Gordji, M.; Ebadian, A. Comment on ‘Fixed point theorems for contraction mappings in modular metric spaces, Fixed Point Theory and Applications, doi:10.1186/1687-1812-2011-93, 20 pages’. Fixed Point Theory Appl. 2012, 2012, 144. [Google Scholar] [CrossRef]
  28. Ege, M.E.; Alaca, C. Fixed point results and an application to homotopy in modular metric spaces. J. Nonlinear Sci. Appl. 2015, 8, 900–908. [Google Scholar] [CrossRef]
  29. Mongkolkeha, C.; Sintunavarat, W.; Kumam, P. Fixed point theorems for contraction mappings in modular metric spaces. Fixed Point Theory Appl. 2011, 2011, 93. [Google Scholar] [CrossRef]
  30. Romaguera, S. The relationship between modular metrics and fuzzy metrics revisited. Constr. Math. Anal. 2024, 7, 90–97. [Google Scholar] [CrossRef]
  31. Han, J.; Kamber, M.; Pei, J. Data mining: Concepts and Techniques; Elsevier: Amsterdam, The Netherlands, 2012. [Google Scholar]
  32. Ozawa, K. A hierarchical clustering algorithm based on asymmetric similarities. Pattern Recognit. 1983, 16, 201–211. [Google Scholar] [CrossRef]
  33. Bibiloni-Femenias, M.D.M.; Miñana, J.-J.; Valero, O. Aggregating Distances with Uncertainty: The Modular (pseudo-) metric Case; Intelligent and Fuzzy Systems; Kahraman, C., Sari, I.U., Oztaysi, B., Cebi, S., Onar, S.C., Tolga, A.C., Eds.; Springer Nature: Cham, Switzerland, 2023; pp. 94–101. [Google Scholar]
  34. Bibiloni-Femenias, M.M.; Valero, O. Modular quasi-pseudo metrics and the aggregation problem. Mathematics 2024, 12, 1826. [Google Scholar] [CrossRef]
  35. Fructuoso-Bonet, A.; Rodríguez-López, J. Aggregation functions as lax morphisms of quantales. Preprint 2025, in press. [Google Scholar]
  36. López-Pastor, C.; Pedraza, T.; Rodríguez-López, J. Quasi-pseudometric modular spaces as quantale enriched categories. preprint.
  37. Eklund, P.; Gutiérrez-García, J.; Höhle, U.; Kortelainen, J. Semigroups in Complete Lattices. Quantales, Modules and Related Topics; Springer: Berlin/Heidelberg, Germany, 2018. [Google Scholar]
  38. Hofmann, D.; Seal, G.J.; Tholen, W. Monoidal Topology. A Categorial Approach to Order, Metric and Topology; Cambridge University Press: Cambridge, UK, 2014. [Google Scholar]
  39. Klement, E.P.; Mesiar, R.; Pap, E. Triangular Norms; Springer: Berlin/Heidelberg, Germany, 2000. [Google Scholar]
  40. Cook, D.S.; Weiss, I. Diagrams of quantales and Lipschitz norms. Fuzzy Sets Syst. 2022, 444, 79–102. [Google Scholar] [CrossRef]
  41. Flagg, R.C. Quantales and Continuity Spaces. Algebra Univ. 1997, 37, 257–276. [Google Scholar] [CrossRef]
  42. Hofmann, D.; Reis, C.D. Probabilistic metric spaces as enriched categories. Fuzzy Sets Syst. 2013, 210, 1–21. [Google Scholar] [CrossRef]
  43. Jäger, G.; Shi, F.-G. LM-fuzzy metric spaces and convergence. Mat. Vesnik 2019, 71, 31–44. [Google Scholar]
  44. Flagg, R.C.; Kopperman, R. Continuity spaces: Reconciling domains and metric spaces. Theoret. Comput. Sci. 1997, 177, 111–138. [Google Scholar] [CrossRef]
  45. Kopperman, R. All topologies come from generalized metrics. Am. Mon. 1988, 95, 89–97. [Google Scholar] [CrossRef]
  46. Beer, G. The structure of extended real-valued metric spaces. Set-Valued Var. Anal. 2013, 21, 591–602. [Google Scholar] [CrossRef]
  47. Otafudu, O.O.; Toko, W.B.; Mukonda, D. On bornology of extended quasi-metric spaces. Hacet. J. Math. Stat. 2019, 48, 1767–1777. [Google Scholar] [CrossRef]
  48. Gregori, V.; Romaguera, S. On fuzzy quasi-metric spaces. Appl. Gen. Topol. 2004, 5, 129–136. [Google Scholar] [CrossRef]
  49. Terpe, F. Metric preserving functions. In Proceedings of the Conference Topology and Measure IV, Greifswald, Germany, 1984; pp. 189–197. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Fructuoso-Bonet, A.; Rodríguez-López, J. New Results About Aggregation Functions of Quasi-Pseudometric Modulars. Mathematics 2025, 13, 809. https://doi.org/10.3390/math13050809

AMA Style

Fructuoso-Bonet A, Rodríguez-López J. New Results About Aggregation Functions of Quasi-Pseudometric Modulars. Mathematics. 2025; 13(5):809. https://doi.org/10.3390/math13050809

Chicago/Turabian Style

Fructuoso-Bonet, Alejandro, and Jesús Rodríguez-López. 2025. "New Results About Aggregation Functions of Quasi-Pseudometric Modulars" Mathematics 13, no. 5: 809. https://doi.org/10.3390/math13050809

APA Style

Fructuoso-Bonet, A., & Rodríguez-López, J. (2025). New Results About Aggregation Functions of Quasi-Pseudometric Modulars. Mathematics, 13(5), 809. https://doi.org/10.3390/math13050809

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop