Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $f\colon\mathbb R\to\mathbb R$ be a function such that $$f(x+y)=f(x)+f(y)$$ for any $x,y\in\mathbb R$ i.e., it fulfills Cauchy functional equation.

Additionally, suppose that $F'=f$ for some function $F\colon\mathbb R\to\mathbb R$, i.e., $f$ has a primitive function.

How can I show that every such function must by of the form $f(x)=cx$ for some constant $c\in\mathbb R$?


I have seen an exercise in a book on real analysis, where I would be able to use this fact. I could use the argument that every derivative belongs to the first Baire class and consequently it is measurable. Every measurable solution of Cauchy functional equation is a linear function, nice proof is given, for example, in Herrlich's Axiom of Choice, p.119.

The fact that derivative is Baire function was mentioned in the book before the chapter with this exercise. But measurability is done in this book only later. For this reason (and also out of curiosity) I wonder whether there is a proof not using measurability of $f$.

share|improve this question
1  
Functions of first Baire class have many points of continuity (a comeager $G_\delta$ -- and no direct use of measurability is made when proving that). If you are willing/allowed to use this, then you're done. –  Martin May 4 '13 at 20:29
    
Oh, I see. And for Cauchy equations, continuity at one point implies continuity on the whole real line. @Martin Could you plaase post your comment as an answer? –  Martin Sleziak May 4 '13 at 20:33

1 Answer 1

up vote 2 down vote accepted

By the functional equation, it suffices to prove that $f$ is continuous at one point.

The fact that $f$ is of first Baire class is very straightforward: $$ f(x) = \lim_{n \to \infty} \frac{F(x+1/n)-F(x)}{1/n} $$ is a pointwise limit of continuous functions.

Now a function of first Baire class has a comeager $G_\delta$-set of points of continuity. Done.


Indeed, enumerate the open intervals with rational endpoints as $\langle I_n \mid n \in \omega\rangle$. Then $$ f \text{ is discontinuous at }x \iff \exists n\in \omega : x \in f^{-1}[I_n] \setminus \operatorname{int}f^{-1}[I_n] $$ Since $f$ is of first Baire class, $f^{-1}[I_n]$ is an $F_\sigma$ and so is $f^{-1}[I_n] \setminus \operatorname{int} f^{-1}[I_n]$. Therefore we can write $$ f^{-1}[I_n] \setminus \operatorname{int} f^{-1}[I_n] = \bigcup_{k \in \omega} F_{k}^{n} $$ for some sequence $\langle F_{k}^n \mid k \in \omega\rangle$ of closed sets. Observe that $F_{k}^n$ has no interior, so the set of points of discontinuity of $f$ is $$ \bigcup_{n \in \omega} f^{-1}[I_n] \setminus \operatorname{int}f^{-1}[I_n] = \bigcup_{n\in\omega} \bigcup_{k\in\omega} F_{k}^n, $$ a countable union of closed and nowhere dense sets.

share|improve this answer
    
Thanks a lot! BTW congrats on the functional analysis bronze badge :-) –  Martin Sleziak May 5 '13 at 10:16
    
You're welcome. Thanks for the congrats, I seem to have joined a rather select group :-) BTW: The argument for the continuity of measurable solutions to Cauchy's functional equation in Herrlich is very nice. I posted a more traditional argument recently here. –  Martin May 5 '13 at 10:21

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.