5
$\begingroup$

I would like to know which properties a function $f:\mathbb{R}\rightarrow\mathbb{R}$ must have so that I can say: $f(\overline{x}) = \overline{f(x)}$

with $\overline{x}$ being the mean of the $x$'s. Or, more explicitly written:

$f \left(\frac{x_1 + x_2 + \cdots + x_n}{n}\right) = \frac{f(x_1) + f(x_2) + \cdots + f(x_n)}{n}$

Thanks in advance.

2 Answers 2

2

Given a function $f$ with the property $\tag{P} f\left(\frac{1}{n}\sum_{i=1}^nx_i\right)=\frac{1}{n}\sum_{i=1}^nf(x_i) \quad \forall\ n \in \mathbb{N},\ x_1,\ldots, x_n \in \mathbb{R}, $ we set $ F(x)=f(x)-f(0). $ Then $\tag{1} F(0)=0, \quad F\left(\frac{x}{n}\right)=\frac{1}{n}F(x) \quad \forall n \in \mathbb{N},\ x \in \mathbb{R}. $ Since $ 0=F\left(\frac{x-x}{2}\right)=f\left(\frac{x-x}{2}\right)-f(0)=\frac{f(x)+f(-x)-2f(0)}{2}=\frac{F(x)+F(-x)}{2} \quad \forall\ x \in \mathbb{R} $ we have $\tag{2} F(-x)=-F(x) \quad \forall\ x \in \mathbb{R} $ Thanks to (1) and (2) we get $ F\left(\frac{x}{n}\right)=F\left(\frac{-x}{-n}\right)=\frac{1}{-n}F(-x)=\frac{1}{n}F(x) \quad \forall n \in -\mathbb{N},\ x \in \mathbb{R}. $ Hence $\tag{3} F\left(\frac{x}{m}\right)=\frac{1}{m}F(x),\ F(nx)=nF(x) \quad \forall m \in \mathbb{Z}\setminus\{0\},\ n \in \mathbb{Z},\ x \in \mathbb{R}. $ It follows from (3) that $\tag{4} F(rx)=rF(x) \quad \forall r \in \mathbb{Q},\ x \in \mathbb{R}. $ Again, thanks to (3) we have $ F(x+y)=F\left(\frac{2x+2y}{2}\right)=\frac{F(2x)+F(2y)}{2}=F(x)+F(y) \quad \forall\ x \in \mathbb{R}. $ Thus, $F: \mathbb{R} \to \mathbb{R}$ is a $\mathbb{Q}$-linear map, and any function of the form $f=F+\alpha$ satisfies (P), where $\alpha$ is a real constant, and $F$ a $\mathbb{Q}$-linear on $\mathbb{R}$.

  • 0
    My bad, I see the point!2012-12-05
2

Define $g(x)=f(x)-f(0)$. Then, setting $x_2=...=x_n=0$ you see $f(x/n)=f(x)/n+f(0)-f(0)/n$ or equivalently $g(x/n)=g(x)/n$. This implies $g(x+y)=2(g(x+y)/2)=2g((x+y)/2)=2(g(x)+g(y))/2=g(x)+g(y)$.

Furthermore, we obtain $g(m/n x)=g(mx)/n=m/n (g(mx)/m)=m/n g(x) $ for all $m,n \in \Bbb N$. So $g(qx)=qg(x)$ for every positive rational $q$. Indeed, this holds for any rational $q$ since $g(-x)+g(x)=g(0)=f(0)-f(0)=0$, which implies $g(-qx)=-g(qx)=-qg(x)$.

In general, $g$ can be any linear map of $\Bbb R$ to $\Bbb R$, where $\Bbb R$ is viewed as a $\Bbb Q$ vector space, but if you demand that $f$ is continuous, $g(q)=qg(1)=cq$ implies $g(r)=cr$ for every real $r$. So $f(x)=cx+f(0)=cx+b$ are the only continuous solutions.