Inspired By Arturo Presa

Calculus Level 5

What can we say about the function f : R + R f: \mathbb{R}^+ \rightarrow \mathbb{R} which satisfies

f ( x y ) = f ( x ) + f ( y ) ? f(xy) = f(x) + f(y) ?


Inspiration .

It is continuous but not necessarily differentiable It can only be the zero function It is differentiable but not necessarily the zero function None of the rest

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Otto Bretscher
Oct 23, 2015

Interesting, thought-provoking problem! Thanks, @Calvin Lin

Considering a basis of R \mathbb{R} as a vector space over Q \mathbb{Q} , we can prove the existence of a discontinuous linear transformation g : R R g :\mathbb{R}\rightarrow\mathbb{R} , using basic concepts of linear algebra.

According to the axiom of choice, the vector space R \mathbb{R} has a basis B B over Q \mathbb{Q} . We can define a linear transformation g : R R g :\mathbb{R}\rightarrow\mathbb{R} by setting g ( r 1 b 1 + . . . . + r n b n ) = r 1 + . . . + r n g(r_1b_1+....+r_nb_n)=r_1+...+r_n where the r j r_j are rational and the b j b_j are in B B . Note that g ( x + y ) = g ( x ) + g ( y ) g(x+y)=g(x)+g(y) by definition.

Then f = g ln f= g \circ \ln is a function with the required property that f ( x y ) = f ( x ) + f ( y ) f(xy)=f(x)+f(y) . Also, f f is discontinuous since its range is Q \mathbb{Q} (the intermediate value theorem does not hold). Any rational number r r is in the range since f ( e r b ) = g ( r b ) = r f(e^{rb})=g(rb)=r for any basis element b b .

Moderator note:

Nice way of proving that it is not a continuous function, because the values of g g (but not f f ) are rational.

Please prove the details too Sir

Anirban Mandal - 5 years, 7 months ago

Log in to reply

Ok here are some details... feel free to ask for more.

I will freely use basic concepts of linear algebra.

According to the axiom of choice, the vector space R \mathbb{R} has a basis B B over Q \mathbb{Q} . We can define a linear transformation g : R R g :\mathbb{R}\rightarrow\mathbb{R} by setting g ( r 1 b 1 + . . . . + r n b n ) = r 1 + . . . + r n g(r_1b_1+....+r_nb_n)=r_1+...+r_n where the r j r_j are rational and the b j b_j are in B B . Note that g ( x + y ) = g ( x ) + g ( y ) g(x+y)=g(x)+g(y) by definition.

Then f = g ln f= g \circ \ln is a function with the required property that f ( x y ) = f ( x ) + f ( y ) f(xy)=f(x)+f(y) . Also, f f is discontinuous since its range is Q \mathbb{Q} (the intermediate value theorem does not hold). Any rational number r r is in the range since f ( e r b ) = g ( r b ) = r f(e^{rb})=g(rb)=r for any basis element b b .

Otto Bretscher - 5 years, 7 months ago

Yes sir pls explain in detail

Deepak Kumar - 5 years, 7 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...