On the duality of aggregation operators and \(k\)-negations (Q409757): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claims |
||
Property / author | |||
Property / author: Enrique de Amo / rank | |||
Property / author | |||
Property / author: Manuel Díaz-Carrillo / rank | |||
Property / author | |||
Property / author: Juan Fernández-Sánchez / rank | |||
Property / author | |||
Property / author: Juan Fernández-Sánchez / rank | |||
Property / reviewed by | |||
Property / reviewed by: Q586078 / rank | |||
Revision as of 07:51, 12 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the duality of aggregation operators and \(k\)-negations |
scientific article |
Statements
On the duality of aggregation operators and \(k\)-negations (English)
0 references
13 April 2012
0 references
The article deals with a class of duality functions given by the solution of a system of functional equations related to the generalized De Rham system \[ f(kx) = k' + (1 - k')f(x), \qquad f(k + (1 - k)x) = k'f(x); \] here is \(k\) and \(k'\) are constant, and \(x \in [0,1]\). It is proved that the only bounded solution \(N_{k,k'}\) of this system is strictly decreasing and continuous; moreover, if \(k + k' \neq 1\) then there exists a set of measure \(1\) in which the derivative of \(N_{k,k'}\) vanishes (and \(N_{k,k'}\) does not admit a non-zero derivative at any \(x \in [0,1]\)). The functions \(N_{k,k'}\) and \(N_{k',k}\) are inverse to each other. At last, \(N_{k,k'}\) applies a set of Lebesgue measure \(1\) onto a set of Lebesgue measure \(0\) whose Hausdorff dimension is \(\ln [k^k(1 - k)^{1-k}] / [\ln [{k'}^{1-k}(1 - k')^k]\). In the end of the article, similar results are obtained for the function \(N_k\) that is the unique bounded solution of the system \[ f(kx) = k + (1 - k)f(x), \qquad f(k + (1 - k)x) = kf(x) \] (really, this system is a partial case of the previous system when \(k + k' = 1\)). The basic role in the authors' argument plays the dyadic representation of numbers from \((0,1]\) of the type \(x = \sum_{d=0}^\infty (1 - k)^d k^{m_d}\) (\(1 \leq m_0 \leq m_1 \leq \dots \leq m_d \leq \dots\)). In particular, this dyadic representation allows the authors to obtain an explicit expressions for the functions \(N_{k,k'}\) and \(N_k\).
0 references
de Rham system
0 references
singular functions
0 references
aggregation operator
0 references
dyadic representations of numbers
0 references
\(k\)-negation
0 references
Hausdorff dimension
0 references
system of functional equations
0 references
bounded solution
0 references