3

Suppose that $f: \mathbb R \to\mathbb R$ satisfies $f(x + y) = f(x) + f(y)$ for each real $x,y$.

Prove $f$ is continuous at $0$ if and only if $f$ is continuous on $\mathbb R$.

Proof: suppose $f$ is continuous at zero. Then let $R$ be an open interval containing zero. Then $f$ is continuous at zero if and only if $f(x) \to f(0)$ as $x \to 0$. Then $|f(x) - f(0)| < \epsilon$.

Can anyone please help me? I don't really know how to continue. Thank you.

3 Answers3

6

First observe that $f(0) = f(0) + f(0)$, so that $f(0) = 0$.

Now suppose $f$ is continuous at $0$. Let $x \in \mathbb{R}, \epsilon > 0$. Let $\delta > 0$ be such that $|f(t)| < \epsilon$ whenever $|t| < \delta$.

If $|y - x| < \delta$, then setting $t = y -x$ we have $|f(y) - f(x)| = |f(t)| < \epsilon$, thus completing the proof.

Extra comments: Of course we can prove much more than continuity if $f$ is continuous at zero: it must be of the form $f(x)= \alpha x$, for some $\alpha \in \mathbb{R}$.

There's a related fact (harder to prove, but not that hard): Suppose $f: \mathbb{R} \to \mathbb{R}$ satisfies $f(x+y) = f(x) + f(y)$, and suppose $f$ is not continuous. Then the graph of $f$, $\Gamma(f) = \{(x,f(x)) | x \in \mathbb{R}\}$, is dense in $\mathbb{R}^2$.

Pedro M.
  • 3,061
  • 18
  • 19
3

Hints:

If $f(x)$ is continuous at 0, then we have $\lim_{x\to 0}f(x)=0$.

Then $\lim_{x\to 0}f(x_0+x)=\lim_{x\to 0}(f(x_0)+f(x))=f(x_0)+\lim_{x\to 0}f(x)=f(x_0), $which shows that $f(x)$ is continuous at $x_0$.

Paul
  • 20,553
  • So does this proof have 'assume' there is another point $x_0$ for wich $f$ is continious in order to prove that it is in fact continious? – XXb8 Nov 11 '21 at 09:50
3

First let $x=y=0$, we have $f(0)=2f(0)$ which means $f(0)=0$.
For any $a\in R$ and a given $\epsilon>0$, because f is continuous at 0, there exist $\delta>0$ s.t. $|x|<\delta$ implies $|f(x)-f(0)|=|f(x)|<\epsilon$. Now consider the same $\delta$, if $|x-a|<\delta$, we have $$|f(x)-f(a)|=|f(x-a)|<\epsilon$$, therefore f is continuous at $a$.