### The Hunt for Addi(c)tive Monster

This is another spurious post about mathematics that happened instead
of something more useful. Let's talk about one of the most common
mathematical objects: a function that maps real numbers () to real numbers. We shall call such a function

*additive*iff for any real*x*and*y*
This is a natural and simple condition. Well-known examples of additive functions are provided by

First, some trivial remarks about the collection of all additive functions (which will be denoted ).

If , are two additive functions and — an arbitrary real number, then , and are additive. This means that additive functions form a vector space over field with constant zero additive function as a zero vector. This vector space is a sub-space of a vector space of all functions from to . Product of two additive functions is not in general additive (when it is?), but their composition is:

Unfortunately, composition is not compatible with scalars (

Looking at an individual additive function , it's easy to see that even it is not clear that it must be linear everywhere, there are some subsets of on which is obviously has to be linear:

For any real number

that is, restriction of

Similarly,

Combining these results, for any rational number ,

That is,

Notice that we just proved that composition of linear functions is compatible with multiplication on rational scalars (see above), so that is an algebra over .

Having briefly looked over the landscape of , let's start converging on our prey. How bad a monster function must be? A linear function has all the good qualities one might wish for: it is monotonic, continuous, differentiable, smooth, it's even... linear. Which of these it enjoys together with a monster? It's intuitively very unlikely that an additive, but non-linear function might happen to be differentiable, so let's start with checking continuity.

Statement 0. If an additive function is continuous at point

That is, an additive function is linear everywhere it is continuous. This means that a monster must be discontinuous at least in one point. Note that linear functions are precisely everywhere continuous additive functions. Can a monster function be discontinuous in a single point? Or, even, can it be continuous

Statement 1. If an additive function is continuous at point

Let's think for a moment how a monster might look like. Every additive function is linear on any -set. If it is linear with the same slope on all -sets—it is linear. A monster must have different slopes for at least some of -sets. In the simplest case there is a single -set with a slope different from the others. There is a famous function (a freshman nightmare and examiner delight) immediately coming into a mind: the Dirichlet function, , equal 1 on rationals and 0 on irrationals. The function is identity (and hence linear) when restricted to rationals and is constant zero (again linear) when restricted to irrationals. Looks promising? Unfortunately,

Also,

Let's return to monster properties. A monster function is discontinuous everywhere, but how badly is it discontinuous?

Statement 2. If an additive function is bounded on any segment [

*linear*functions , where*k*is called*a slope*. Are there other, non-linear additive functions? And if so, how do they look like? A bit of thinking convinces one that a non-linear additive function is not trivial to find. In fact, as we shall show below, should such a function exist, it would exhibit extremely weird features. Hence, we shall call a non-linear additive function*a monster*. In the following, some properties that a monster function has to possess are investigated, until a monster is cornered either out of existence or into an example. Out of misplaced spite we shall use technique in some proofs.First, some trivial remarks about the collection of all additive functions (which will be denoted ).

If , are two additive functions and — an arbitrary real number, then , and are additive. This means that additive functions form a vector space over field with constant zero additive function as a zero vector. This vector space is a sub-space of a vector space of all functions from to . Product of two additive functions is not in general additive (when it is?), but their composition is:

Unfortunately, composition is not compatible with scalars (

*i.e.*, ), and additive functions are not an algebra over a field , but see below.Looking at an individual additive function , it's easy to see that even it is not clear that it must be linear everywhere, there are some subsets of on which is obviously has to be linear:

For any real number

*x*and for any natural number*n*,that is, restriction of

*f*to any subset is linear and in particular,*f*is linear when restricted to the natural numbers. Specifically, , from thisSimilarly,

Combining these results, for any rational number ,

That is,

*f*is linear when restricted to any subset of the form . We shall call such subset*a -set*.Notice that we just proved that composition of linear functions is compatible with multiplication on rational scalars (see above), so that is an algebra over .

Having briefly looked over the landscape of , let's start converging on our prey. How bad a monster function must be? A linear function has all the good qualities one might wish for: it is monotonic, continuous, differentiable, smooth, it's even... linear. Which of these it enjoys together with a monster? It's intuitively very unlikely that an additive, but non-linear function might happen to be differentiable, so let's start with checking continuity.

Statement 0. If an additive function is continuous at point

*x*, then .Indeed,

That is, an additive function is linear everywhere it is continuous. This means that a monster must be discontinuous at least in one point. Note that linear functions are precisely everywhere continuous additive functions. Can a monster function be discontinuous in a single point? Or, even, can it be continuous

*somewhere*? It is easy to show that property of additivity constrains structure of sets on which function is continuous severely:Statement 1. If an additive function is continuous at point

*x*, it is linear.Take an arbitrary non-zero pointy. By statement 0, . By definition of continuity atx,

,

For any naturaln, take and find a rational number , such that . Such always exists due to density of rationals. By choice of we have:

and by the sandwich theorem, converges: . Now, again, by choice of : , soysatisfies the condition onx'above and

Taking the (obviously existing) limits of both sides of this inequality, one gets

The case of y being 0 is trivial.Oh. A monster function cannot be continuous even at a single point—it is discontinuous everywhere. Additive functions are divided into two separated classes: nice, everywhere continuous linear functions and unseemly, everywhere discontinuous monsters. (We still don't know whether the latter class is populated, though.) Our expectations of capturing a monster and placing a trophy in a hall must be adjusted: even if we prove that a monster exists and construct it, an idea of drawing its graph must be abandoned—it's too ugly to be depicted.

Let's think for a moment how a monster might look like. Every additive function is linear on any -set. If it is linear with the same slope on all -sets—it is linear. A monster must have different slopes for at least some of -sets. In the simplest case there is a single -set with a slope different from the others. There is a famous function (a freshman nightmare and examiner delight) immediately coming into a mind: the Dirichlet function, , equal 1 on rationals and 0 on irrationals. The function is identity (and hence linear) when restricted to rationals and is constant zero (again linear) when restricted to irrationals. Looks promising? Unfortunately,

Also,

*d*is continuous at 0 and thus disqualified from monstrousness by statement 1. This shot into darkness missed. At at least we now see that not only monster must have different slopes at different -sets, but these slopes must be selected to be consistent with addition.Let's return to monster properties. A monster function is discontinuous everywhere, but how badly is it discontinuous?

*E.g.*, a function is locally bounded at every point where it is continuous. A monster is continuous nowhere, but is it still locally bounded anywhere or somewhere? In a way similar to statement 1 it's easy to prove theStatement 2. If an additive function is bounded on any segment [

*a*,*b*],*a < b*, then it is linear.First, by using that , and restricting segment if necessary, one can assume that , and .

Let's prove thatfis continuous at 0, then it will be linear by the statement 1. For arbitrary , let's select , such that (this choice is a typical magician hat trick of proofs). For arbitraryxfrom the -vicinity of 0 there is always a rationalq, such that . For suchqwe have:

on the other hand, we have:

establishing thatThis indicates that a monster is not just a bad function, it's a very bad function, that takes arbitrarily large absolute values in arbitrarily small segments. Too bad. As a byproduct, a monster cannot be monotonic on any segment, because a function monotonic on [fis continuous at 0.

*a*,*b*] is bounded there: (for increasing function, similarly for decreasing).**[**continued.**]**
Dear Nikita,

ReplyDeletethanks for your post - I enjoyed reading it, and together with some other sources, it helped me prepare a talk on this subject.

However, I believe there's a gap in your proof of Statement 2. Your proof of Statement 1 only works for x nonzero, because you divide by x/y at the last step. So it's not enough to just prove continuity at zero in order to deduce Statement 2.

There's a nice argument in Engel's "Problem Solving Strategies" (page 273) that begins by using boundedness on (p,p+s) to prove boundedness on (0,s). You then look at g(x)=f(x)-f(s)x/s. This is additive and satisfies g(s)=0, and together these imply g is periodic with period s. Since it's also bounded on (0,s), this means it's bounded on the entire real line, and finally this implies that g is identically zero, which is what we want: if g(y) is nonzero then linearity on yQ leads to a contradiction with boundedness (or periodicity too, I suppose, which is perhaps a bit quicker).

All the best,

Chris

Dear Chris,

ReplyDeletethank you for your interest in the post---it's a pleasure that it helped you. You are absolutely correct that the proof of Statement 1 contains a gap and Engel's device of building a periodic additive function is very ingenious.

However, I think that the proof can be very easily amended: indeed, if an additive function is continuous at 0, it is continuous at arbitrary x, because for any y, such that |x - y| < \delta, |f(x) - f(y)| = |f(x - y)| < \epsilon, where \epsilon and \delta are the same as for continuity at 0.

Nice, yes, that seems to do it. And I made a silly mistake above, when I suggested linearity on yQ contradicted periodicity - of course adding a multiple of s to y will typically carry you off yQ. There will be plenty of periodic solutions, since we can always specify the value 0 on some basis element.

ReplyDeleteCheers,

Chris

Are non-linear additive functions on infinite-dimensional real vector spaces necessarily monsters?

ReplyDeleteSorry, I meant INTO such spaces, but I suppose the other question might also make sense.

DeleteTreeowl,

ReplyDeleteinteresting question!

Yes, any additive, but not linear mapping f : V -> U, between 2 vector spaces (not necessary infinite-dimensional) is necessary a monster... at least from some angle!

Consider an arbitrary linear non-0 p : R -> V and similarly q : U -> R. The composition t(r) = q(f(p(r))) is an additive mapping t : R -> R.

It is possible that some t is linear, while f isn't, e.g., f(x, y) = x + monster(y), p(x) = (x, 0), q(x) = x.

But if all t's are linear, than f is: select (v_i) --- a basis in V and (u_j) --- a basis in U. Define p_i : R -> V, such that p_i(1) = v_i and q_j : U -> R such that q_j(\Sigma_j l_j * u_j) = l_j, where \Sigma_j l_j * u_j is an arbitrary vector in basis (u_j). That is, q_j projects to j-th basis element. The rest of the argument easily follows by linearity of p_i, q_j and additivity of f and assumed linearity of q_j(f(p_i(r))).