10
$\begingroup$

Suppose $cf(x)=f(cx)$ and $f:\mathbb{R}\to\mathbb{R}$. I believe it follows that $f(x+y)=f(x)+f(y)$.

Proof: There is some $c$ such that $y=cx$. Then $$f(x+y)=f\left((1+c)x\right)=(1+c)f(x)=f(x)+cf(x)=f(x)+f(cx)=f(x)+f(y)$$

QED.

I wonder if the same thing holds for when $f:\mathbb{R}^n\to\mathbb{R}^n$? I can't use the same trick, because all vectors are not scalar multiples.

I tried thinking of it in terms of basis units, but didn't get anywhere.

  • 2
    "Multiplicative function" really means $f(xy)=f(x)f(y)$. Really I would call this linear, but I think most people will read that as "linear and additive", so I'm at a loss for a better suggestion...2012-09-07
  • 0
    @rschwieb: yeah, I'm not sure what the correct name of this restriction is... grateful for suggestions!2012-09-07
  • 6
    @rschwieb: maybe [homogeneous of degree 1](http://en.wikipedia.org/wiki/Homogeneous_function).2012-09-07
  • 2
    $f(cx)=cf(x)$ for all $c,x$ means $f(x)=f(1)x$. So all functions that satisfy this equation are of the form $f(x)=ax$ for some $a$2012-09-07

2 Answers 2

12

Let $$ f(x,y) = \begin{cases} (x,y) & xy > 0 \\ 0 & xy \leq 0 \end{cases} $$

It is clear that $cf(\vec{z}) = f(c\vec{z})$ for any $c\in \mathbb{R}$. But $f$ is not a linear map.


further counter examples can be constructed in polar coordinates. Let $(r,\omega)\in \mathbb{R}_+ \times \mathbb{S}^{n-1}$ denote the spherical coordinates of $\mathbb{R}^n$. Then a map

$$ f(r,\omega) = (\lambda(\omega)r,\omega) $$

satisfies $cf(\vec{v}) = f(c\vec{v})$ for every $\lambda:\mathbb{S}^{n-1}\to \mathbb{R}$ that satisfies $\lambda(\omega) = \lambda(-\omega)$. Clearly many of these are not linear.

7

If $f(cx) = cf(x)$ then $f(x) = xf(1)$ and the result follows trivially.
There are two ways to extend this to multiple variables.

In the case $f(cx, y) = f(x, cy) = cf(x, y)$ we have that $f(x, y) = xyf(1, 1)$ and again we have linearity.

In case $f(cx, cy) = cf(x, y)$ we have $f(x, y) = xf(1, \frac{y}{x})$. Notice that now $f(1, \circ)$ could be any function.