How do I prove that if $f: \Bbb{R}\rightarrow\Bbb{R}$ is continuous at $0$ and $$f(x)=f(2x)$$ for each $x\in\Bbb{R}$, then $f$ is constant?

  • $\begingroup$ You mean "continuous at 0". $\endgroup$
    – user14972
    Dec 29, 2014 at 10:56

2 Answers 2


If $f(a)\neq f(b)$, then $f(a\,2^{-n})=f(a)$ and $f(b\,2^{-n})=f(b)$ for each $n$. By continuity, $f(0)=f(a)=f(b)$ which is a contradiction.

It is usually appreciated if you also write down your ideas or trials.

  • $\begingroup$ what does "$f(a\,2^{-n})$" simplify? $\endgroup$ Dec 29, 2014 at 10:46
  • $\begingroup$ @FirasAliAbdelGhani $a 2^{-n}$ converges to $0$, so $f(a\,2^{-n})$ converges to $f(0)$. The same for $b$. $\endgroup$ Dec 29, 2014 at 10:46
  • $\begingroup$ $2^{-n}$ simplify the values that can be inserted in the function? $\endgroup$ Dec 29, 2014 at 10:54
  • $\begingroup$ @FirasAliAbdelGhani Unfortunately, I don't understand what you don't understand. If you know what is a limit, continuity and $2^{-n}$, then you should probably try to specify more in your question, where is your problem and what are your ideas, then the community could help you more. $\endgroup$ Dec 29, 2014 at 10:56
  • 1
    $\begingroup$ I got it at the end:) thank you. and next time I will write down my thoughts so it will be better coordinated question. $\endgroup$ Dec 29, 2014 at 11:07

The functional equation implies $f\Bigl(\dfrac{x}{2}\Bigr)=f(x)$, hence $f(x)=f\Bigl(\dfrac{x}{2^n}\Bigr)$ for all $n$.


You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .