Quasi-arithmetic means ad libitum

Abstract

Let $\alpha_1, \ldots, \alpha_m$ be two or more positive reals with sum $1$, let $C\subseteq \mathbb{R}^k$ be an open convex set, and $f: C\to \mathbb{R}^k$ be a continuous injection with convex image. For each nonempty set $S\subseteq C$, let $\mathscr{M}(S)$ be the family of quasi-arithmetic means of all $m$-tuples of vectors in $C$ with respect to $f$ and the weights $\alpha_1,\ldots,\alpha_m$, that is, the family $$ \mathscr{M}(S)= \left\{ f^{-1}\left(\alpha_1f(x_1)+\cdots+\alpha_mf(x_m)\right): x_1,\ldots,x_m \in S \right\}. $$ We provide a simple necessary and sufficient condition on $S$ for which the infinite iteration $\bigcup_{n}\mathscr{M}^n(S)$ is relatively dense in the convex hull of $S$.