Find all continuous functions that are continuous at $x=0$ [duplicate]

Solution 1:

Consider any $x \in \mathbb{R}$. Consider the sequence $x_n = \dfrac{x}{2^n}$.

Clearly, we have $\displaystyle \lim_{n \rightarrow \infty} x_n = 0$.

Now, since we have $f(a) = f(2a)$, $\forall a \in \mathbb{R}$, using this, it is easy to prove by induction that $$f(x) = f\left(\dfrac{x}{2^n} \right)$$ $\forall x \in \mathbb{R}$ and $\forall n \in \mathbb{N}$

Now recall that every continuous function is sequentially continuous i.e. $$\displaystyle \lim_{n \rightarrow \infty} f(x_n) = f \left(\lim_{n \rightarrow \infty} x_n \right) $$

Using the above arguments, we get that $\forall x \in \mathbb{R}$, $$f(x) = \displaystyle \lim_{n \rightarrow \infty} f(x) = \displaystyle \lim_{n \rightarrow \infty} f\left(\dfrac{x}{2^n} \right) = f\left(\displaystyle \lim_{n \rightarrow \infty} \dfrac{x}{2^n} \right) = f(0)$$

Hence, $f(x) = f(0)$, $\forall x \in \mathbb{R}$. Hence, $f(x)$ is a constant.

Solution 2:

Let $f$ be such a function. Pick a real number $x \in \mathbb R$. Consider the sequence $x_n=x/2^{n}$ then $f(x)=f(x_n)$ by assumption. Furthermore $x_n \rightarrow 0$. Since $f$ is continuous at $0$ we may conclude $\lim_{n\rightarrow \infty} f(x_n)=f(0)$. In particular we have that $f(x)=f(0)$ for every $x$ so $f$ is constant.

Solution 3:

Put $f(0) = a$, and let $\epsilon > 0$. Choose $\delta > 0$ so that $|t|<\delta \implies $|f(t) -a| < \epsilon$.

Since $f(2t) = f(t)$ we have $f(2^n t) = f(t)$ for all $n \ge 0$. Choose $x > 0$ and $n$ so $\delta> x/2^n$. Then by our periodicity condition, $|f(x) - a| < \epsilon$.
We can do the same thing if $x < 0$ so $|f(x) -a | < \epsilon$ for all $x$. Since $\epsilon$ was chosen arbitrarily, $f(x) = a$ on the entire line.