Cauchy’s functional equation I
Next semester, I’m going to write my undergraduate thesis about the problem, and right now I’m trying to decide if I should write it in Danish or in English. So I decided to translate a few pages about Cauchy’s functional equation that I wrote in Danish last year. Today I’ll post the first half of this, and I will post the rest in a few days (update: It’s here. Here you can also find the notes in pdf.). If you have anything to say about the mathematics in this post or about my English, please post a comment.
Cauchy’s functional equation
Cauchy’s functional equation, looks very simple, and it has a class of simple solutions, , but there are many other and more interesting solutions. In these notes, I will show you what some of these “wild” solutions look like, and I will use them to prove that there exist a set , such that neither nor contains a measurable subset with positive measure. Section 1 is about Cauchy’s functional equation on the rational numbers, in section 2 I show that there some wild solutions on , and in section 3 I will show that their graphs are dense in . In section 4 I’ll show that these functions are ugly from a measure theoretical point of view, and in section 5, I’ll show that some of these functions are wilder than others. E.g., I will prove that there is a solution to Cauchy’s functional equation, that intersects any continuous function from to .
1: The simple solutions
First, we consider the equation over the rational numbers. That is, By setting we get and thus . Let’s set . If we get: By definition of , we have for , so by induction, for all . More generally, we can prove that for and we have : It is clearly true for and if it is true for we get: Let be a positive rational number, and write it as , where . Now, Dividing by we get . Furthermore, so . Putting it all together we have for all . It is easy to verify that is a solution for the general equation on .
2: Existence of wild solutions
Now consider Cauchy’s functional equation on the real numbers, The proof from last section, tells us that for all rational numbers , and using the same idea, we can prove that for all and . But this does not imply that for all the real numbers. However, if we assume that is continuous, we can show that for all : We simply choose a sequence of rational numbers that converge to . By continuity we get But it is much more fun if we do not have any assumptions on ! Using axiom of choice we can find non-continuous solutions. The idea is: A priori we only know that . Now we choose some value for , e.g. . This determines on all the rational numbers, for , but the value of is not determined on any irrational number. So we make another choice, let’s say . Now the functional equation tells us that for all . But for numbers not on this from, we cannot determine the value of . So we simply continue by choosing more and more values of the function. Unfortunately, we have to make infinitely many choices, so we need axiom of choice. In the rest of these notes, I will assume axiom of choice. To formalize the above, we consider the set of real numbers as a vector space over , in much that same way as you can consider to be a two dimensional vector space over . An important difference is, that when we consider to be a vector space over it is infinite dimensional: it even has uncountably many dimensions. We now use the axiom of choice to choose a basis (a so-called Hamel basis) and we choose some coefficients . This defines a linear map from this vector space to itself: where the s are rational numbers, and only finitely many of them are non-zero. I called this function ‘linear’, so it sounds like it is a nice function. But it is not! It is only linear when we consider as a vector space over and forget about the rest of the structure on . This function is only linear in the usual sense on if is the same for all . All functions on this form are solutions to the Cauchy’s functional equation, and conversely all solutions to Cauchy’s functional equation are on this form.
3: What do I mean by “wild”?
A function can be more or less wild/ugly/pathological. Here is a list of possible definitions of what makes a function wild. The list is ordered, such that any of the properties imply the one above.
- is discontinuous.
- is discontinuous in every point in .
- is unbounded on any open interval.
- is unbounded above on any open interval.
- the graph of , defined by , is dense in , that is, any point in is the limit of a sequence of points in the graph of .
All of these statements are true for any non-linear solution to Cauchy’s functional equation. I will show that the last one of these is true. Proof: Let be a non-linear solution. If and are points in the graph of , and is a rational number, we see that the points and are both in the graph too. In words, any linear combination over of points in the graph are also in the graph. Since is non-linear we can find real numbers and , both non-zero, such that . Now the two vectors and are linearly independent (over ), so they span the plane. That is, any point can be written as for some . Let and be sequences of rational numbers with and . Now is a sequence of points in the plan converging to , so the graph is dense in .