Quasi-arithmetic means of continuous functions
compact Hausdorff spacescontinuous functionals, increasing functionals, strictly increasing functionals, reflexive functionals, bisymmetric functionals, homogeneous functionalscontinuous functions, semicontinuous functions, monotonic functionsmeanspoint evaluationprobability measuresRadon measuressupportuniform convergenceweight
Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15) Integrals of Riemann, Stieltjes and Lebesgue type (26A42) Functional equations for functions with more general domains and/or ranges (39B52) Functional equations and inequalities (39B99)
Let I be a proper interval, X a compact Hausdorff space and C(X,I) the set of continuous mappings from X into I. The authors define a mean on C(X,I) as a continuous functional satisfying \(M(a1_ X)=a\) for all \(a\in I\) and Mf\(\leq Mg\) if \(f\leq g\). A mean is strictly increasing if \(Mf<Mg\) for \(f<g\) and bisymmetric if \(M_ y(M_ xh(x,y))=M_ x(M_ yh(x,y))\) for all \(h\in C(X\times X,I)\), where \(M_ x\) applies to \(x\mapsto h(x,y)\), \(M_ y\) to \(y\mapsto h(x,y)\). They prove the following theorem [as they point out, a similar but not identical result is contained in a paper of the reviewer, \textit{I. Fenyö} and \textit{J. Horváth} in Port. Math. 8, 1-11 (1949; Zbl 0033.174)]. A mean on C(X,I) is strictly increasing and bisymmetric iff there exist a strictly monotonic \(\phi\) :I\(\to {\mathbb{R}}\) and a probability measure \(\mu\) with support X such that \[ M(f)=\phi^{-1}(\int_{X}\phi (f)d\mu)\text{ for all } f\in C(X,I) \] (with \(\phi\) unique up to a multiplicative constant and \(\mu\) unique). Furthermore, for \(I={\mathbb{R}}_+\) (the set of positive numbers), the mean M is said to be homogeneous if \(M(rf)=rM(f)\) for all \(r\in {\mathbb{R}}_+\), \(f\in C(X,{\mathbb{R}}_+)\) and the authors prove that the following bisymmetric means on \(C(X,{\mathbb{R}}_+)\) and only these are homogeneous: \[ (\int_{X}f^ pd\mu)^{1/p},\exp (\int_{X}\log f d\mu),\quad \max_{x\in X}(\delta (x)f(x))\quad and\quad \min_{x\in X}(\gamma (x)f(x)), \] where \(p\neq 0\) is a real constant, \(\mu\) a probability measure, \(\delta\) :X\(\to [0,1]\) and \(\gamma\) :X\(\to [1,\infty]\) are upper or lower semicontinuous functions, respectively, with \(\sup_{x\in X}\delta (x)=1=\inf_{x\in X}\gamma (x).\) (Of course, in this latter result it is not supposed that M is strictly increasing).
- Problems in the regularity theory of functional equations
- Limit properties of quasi-arithmetic means
- On nonstrict means
- Invariant means
- When is a family of generalized means a scale?
- Online premeans and their computation complexity
- Characterization of quasiarithmetic means without regularity condition
- On a lattice-like property of quasi-arithmetic means
- Transfer-stable means on finite chains
- Continuously differentiable means
- A new order-preserving average function on a quotient space of strictly monotone functions and its applications
- Inequalities for mean values over quasiballs for functions defined on arbitrary open sets
- Iterated quasi-arithmetic mean-type mappings
- scientific article; zbMATH DE number 2186392 (Why is no real title available?)
- On the commutation of generalized means on probability spaces
- A multiplicative characterization of the power means
- HOMOGENEOUS NON-SYMMETRIC MEANS OF TWO VARIABLES
- Functional means and harmonic functional means
- On symmetry of Makó-Páles means
- scientific article; zbMATH DE number 7471002 (Why is no real title available?)
- scientific article; zbMATH DE number 6298819 (Why is no real title available?)
- A dichotomy result for strictly increasing bisymmetric maps
This page was built for publication: Quasi-arithmetic means of continuous functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1085353)
