On the comonotonic-*-property for Sugeno integral (Q1021671)

The paper deals mainly with the Sugeno integral possessing the comonotonic \(*\) property; this property is defined as follows: with \(*: [0,\infty]^2\to[0, \infty]\) a binary operation, a Sugeno integral is said to possess the comonotonic \(*\) property if \((s)\int_Af*g\,d\mu= (s)\int_Af\,d \mu*(s)\int_Ag\,d\mu\) holds for any fuzzy measure space \((X,{\mathcal F}, \mu)\) and measurable set \(A\), and for any comonotonic functions \(f,g: X\to[0,\infty]\). The \(*\), as above, is called the first projection, PF for short, if \(x*y=x\) for each pair \((x,y)\); it is called the last projection, PL for short, if \(x*y=y\) for each pair \((x,y)\). The main theorem of the paper reads as follows: With \(*:[0,\infty]^2\to[0,\infty]\) a binary operation such that (1) \(\lim_{b\to\infty}a*b\in\{a,\infty\}\) and \(\lim_{a\to \infty} a*b\in\{b,\infty\},\dots\), the Sugeno integral possesses comonotonic \(*\) property iff \(*\) is one of four operations: min, max, PF and PL. In further discussions, the assumption (1) has been abandoned; it has been shown that if \(*:[0,\infty]^2\to[0,\infty]\) be a binary operator, \(r-a\) nonnegative real number, \(*_r\) is defined as \(a*_rb=(a*b)\wedge r\), then for any nonnegative measurable function \(f,g\), \((s)\int f*_rg\,d\mu= ((s)\int f*g\,d\mu]\wedge r\). Finally, it has been shown that with \(*:[0, \infty]^2\to[0,\infty]\) defined as \[ x*y= \begin{cases} x\wedge y &\text{if }y\leq r\text{ and }x\geq y,\\ x\vee y &\text{if } x\leq y\leq r,\\ r &\text{otherwise}, \end{cases} \] the Sugeno integral has comonotonic \(*\) property.