If $f(x+y)=f(x)+f(y) ,forall;x,yinBbbR$, then if $f$ is continuous at $0$, then it is continuous on $BbbR.$ [duplicate]

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
3
down vote

favorite













This question already has an answer here:



  • Overview of basic facts about Cauchy functional equation

    1 answer



I know that this question has been asked here before but I want to use a different approach. Here is the question.



A function $f:BbbRtoBbbR$ is such that
beginalign f(x+y)=f(x)+f(y) ,;;forall;x,yinBbbRqquadqquadqquad(1)endalign
I want to show that if $f$ is continuous at $0$, it is continuous on $BbbR.$



MY WORK



Since $(1)$ holds for all $xin BbbR,$ we let beginalign x=x-y+yendalign
Then,
beginalign f(x-y+y)=f(x-y)+f(y)endalign
beginalign f(x-y)=f(x)-f(y)endalign
Let $x_0in BbbR, ;epsilon>$ and $y=x-x_0,;;forall,xinBbbR.$ Then,
beginalign f(x-(x-x_0))=f(x)-f(x-x_0)endalign
beginalign f(x_0)=f(x)-f(x-x_0)endalign
beginalign f(y)=f(x_0)-f(x)endalign



HINTS BY MY PDF:



Let $x_0in BbbR, ;epsilon>$ and $y=x-x_0,;;forall,xinBbbR.$ Then, show that beginalign left|f(x_0)-f(x)right|=left|f(y)-f(0)right|endalign
Using this equation and the continuity of $f$ at $0$, establish properly that
beginalignleft|f(y)-f(0)right|<epsilon,endalign
in some neighbourhood of $0$.



My problem is how to put this hint together to complete the proof. Please, I need assistance, thanks!










share|cite|improve this question













marked as duplicate by dxiv, Chase Ryan Taylor, Jyrki Lahtonen, user91500, José Carlos Santos real-analysis
Users with the  real-analysis badge can single-handedly close real-analysis questions as duplicates and reopen them as needed.

StackExchange.ready(function()
if (StackExchange.options.isMobile) return;

$('.dupe-hammer-message-hover:not(.hover-bound)').each(function()
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');

$hover.hover(
function()
$hover.showInfoMessage('',
messageElement: $msg.clone().show(),
transient: false,
position: my: 'bottom left', at: 'top center', offsetTop: -7 ,
dismissable: false,
relativeToBody: true
);
,
function()
StackExchange.helpers.removeMessages();

);
);
);
Sep 7 at 11:07


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.














  • we let x=x−y+y Guess you mean $,x mapsto x-y,$ there, instead.
    – dxiv
    Sep 7 at 5:26










  • Prove that $f(y)=f(y)-f(0)$, and you're basically there. Then you have to prove the hint itself too, of course.
    – Arthur
    Sep 7 at 5:26














up vote
3
down vote

favorite













This question already has an answer here:



  • Overview of basic facts about Cauchy functional equation

    1 answer



I know that this question has been asked here before but I want to use a different approach. Here is the question.



A function $f:BbbRtoBbbR$ is such that
beginalign f(x+y)=f(x)+f(y) ,;;forall;x,yinBbbRqquadqquadqquad(1)endalign
I want to show that if $f$ is continuous at $0$, it is continuous on $BbbR.$



MY WORK



Since $(1)$ holds for all $xin BbbR,$ we let beginalign x=x-y+yendalign
Then,
beginalign f(x-y+y)=f(x-y)+f(y)endalign
beginalign f(x-y)=f(x)-f(y)endalign
Let $x_0in BbbR, ;epsilon>$ and $y=x-x_0,;;forall,xinBbbR.$ Then,
beginalign f(x-(x-x_0))=f(x)-f(x-x_0)endalign
beginalign f(x_0)=f(x)-f(x-x_0)endalign
beginalign f(y)=f(x_0)-f(x)endalign



HINTS BY MY PDF:



Let $x_0in BbbR, ;epsilon>$ and $y=x-x_0,;;forall,xinBbbR.$ Then, show that beginalign left|f(x_0)-f(x)right|=left|f(y)-f(0)right|endalign
Using this equation and the continuity of $f$ at $0$, establish properly that
beginalignleft|f(y)-f(0)right|<epsilon,endalign
in some neighbourhood of $0$.



My problem is how to put this hint together to complete the proof. Please, I need assistance, thanks!










share|cite|improve this question













marked as duplicate by dxiv, Chase Ryan Taylor, Jyrki Lahtonen, user91500, José Carlos Santos real-analysis
Users with the  real-analysis badge can single-handedly close real-analysis questions as duplicates and reopen them as needed.

StackExchange.ready(function()
if (StackExchange.options.isMobile) return;

$('.dupe-hammer-message-hover:not(.hover-bound)').each(function()
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');

$hover.hover(
function()
$hover.showInfoMessage('',
messageElement: $msg.clone().show(),
transient: false,
position: my: 'bottom left', at: 'top center', offsetTop: -7 ,
dismissable: false,
relativeToBody: true
);
,
function()
StackExchange.helpers.removeMessages();

);
);
);
Sep 7 at 11:07


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.














  • we let x=x−y+y Guess you mean $,x mapsto x-y,$ there, instead.
    – dxiv
    Sep 7 at 5:26










  • Prove that $f(y)=f(y)-f(0)$, and you're basically there. Then you have to prove the hint itself too, of course.
    – Arthur
    Sep 7 at 5:26












up vote
3
down vote

favorite









up vote
3
down vote

favorite












This question already has an answer here:



  • Overview of basic facts about Cauchy functional equation

    1 answer



I know that this question has been asked here before but I want to use a different approach. Here is the question.



A function $f:BbbRtoBbbR$ is such that
beginalign f(x+y)=f(x)+f(y) ,;;forall;x,yinBbbRqquadqquadqquad(1)endalign
I want to show that if $f$ is continuous at $0$, it is continuous on $BbbR.$



MY WORK



Since $(1)$ holds for all $xin BbbR,$ we let beginalign x=x-y+yendalign
Then,
beginalign f(x-y+y)=f(x-y)+f(y)endalign
beginalign f(x-y)=f(x)-f(y)endalign
Let $x_0in BbbR, ;epsilon>$ and $y=x-x_0,;;forall,xinBbbR.$ Then,
beginalign f(x-(x-x_0))=f(x)-f(x-x_0)endalign
beginalign f(x_0)=f(x)-f(x-x_0)endalign
beginalign f(y)=f(x_0)-f(x)endalign



HINTS BY MY PDF:



Let $x_0in BbbR, ;epsilon>$ and $y=x-x_0,;;forall,xinBbbR.$ Then, show that beginalign left|f(x_0)-f(x)right|=left|f(y)-f(0)right|endalign
Using this equation and the continuity of $f$ at $0$, establish properly that
beginalignleft|f(y)-f(0)right|<epsilon,endalign
in some neighbourhood of $0$.



My problem is how to put this hint together to complete the proof. Please, I need assistance, thanks!










share|cite|improve this question














This question already has an answer here:



  • Overview of basic facts about Cauchy functional equation

    1 answer



I know that this question has been asked here before but I want to use a different approach. Here is the question.



A function $f:BbbRtoBbbR$ is such that
beginalign f(x+y)=f(x)+f(y) ,;;forall;x,yinBbbRqquadqquadqquad(1)endalign
I want to show that if $f$ is continuous at $0$, it is continuous on $BbbR.$



MY WORK



Since $(1)$ holds for all $xin BbbR,$ we let beginalign x=x-y+yendalign
Then,
beginalign f(x-y+y)=f(x-y)+f(y)endalign
beginalign f(x-y)=f(x)-f(y)endalign
Let $x_0in BbbR, ;epsilon>$ and $y=x-x_0,;;forall,xinBbbR.$ Then,
beginalign f(x-(x-x_0))=f(x)-f(x-x_0)endalign
beginalign f(x_0)=f(x)-f(x-x_0)endalign
beginalign f(y)=f(x_0)-f(x)endalign



HINTS BY MY PDF:



Let $x_0in BbbR, ;epsilon>$ and $y=x-x_0,;;forall,xinBbbR.$ Then, show that beginalign left|f(x_0)-f(x)right|=left|f(y)-f(0)right|endalign
Using this equation and the continuity of $f$ at $0$, establish properly that
beginalignleft|f(y)-f(0)right|<epsilon,endalign
in some neighbourhood of $0$.



My problem is how to put this hint together to complete the proof. Please, I need assistance, thanks!





This question already has an answer here:



  • Overview of basic facts about Cauchy functional equation

    1 answer







real-analysis analysis functions continuity






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Sep 7 at 5:21









Micheal

25010




25010




marked as duplicate by dxiv, Chase Ryan Taylor, Jyrki Lahtonen, user91500, José Carlos Santos real-analysis
Users with the  real-analysis badge can single-handedly close real-analysis questions as duplicates and reopen them as needed.

StackExchange.ready(function()
if (StackExchange.options.isMobile) return;

$('.dupe-hammer-message-hover:not(.hover-bound)').each(function()
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');

$hover.hover(
function()
$hover.showInfoMessage('',
messageElement: $msg.clone().show(),
transient: false,
position: my: 'bottom left', at: 'top center', offsetTop: -7 ,
dismissable: false,
relativeToBody: true
);
,
function()
StackExchange.helpers.removeMessages();

);
);
);
Sep 7 at 11:07


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.






marked as duplicate by dxiv, Chase Ryan Taylor, Jyrki Lahtonen, user91500, José Carlos Santos real-analysis
Users with the  real-analysis badge can single-handedly close real-analysis questions as duplicates and reopen them as needed.

StackExchange.ready(function()
if (StackExchange.options.isMobile) return;

$('.dupe-hammer-message-hover:not(.hover-bound)').each(function()
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');

$hover.hover(
function()
$hover.showInfoMessage('',
messageElement: $msg.clone().show(),
transient: false,
position: my: 'bottom left', at: 'top center', offsetTop: -7 ,
dismissable: false,
relativeToBody: true
);
,
function()
StackExchange.helpers.removeMessages();

);
);
);
Sep 7 at 11:07


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.













  • we let x=x−y+y Guess you mean $,x mapsto x-y,$ there, instead.
    – dxiv
    Sep 7 at 5:26










  • Prove that $f(y)=f(y)-f(0)$, and you're basically there. Then you have to prove the hint itself too, of course.
    – Arthur
    Sep 7 at 5:26
















  • we let x=x−y+y Guess you mean $,x mapsto x-y,$ there, instead.
    – dxiv
    Sep 7 at 5:26










  • Prove that $f(y)=f(y)-f(0)$, and you're basically there. Then you have to prove the hint itself too, of course.
    – Arthur
    Sep 7 at 5:26















we let x=x−y+y Guess you mean $,x mapsto x-y,$ there, instead.
– dxiv
Sep 7 at 5:26




we let x=x−y+y Guess you mean $,x mapsto x-y,$ there, instead.
– dxiv
Sep 7 at 5:26












Prove that $f(y)=f(y)-f(0)$, and you're basically there. Then you have to prove the hint itself too, of course.
– Arthur
Sep 7 at 5:26




Prove that $f(y)=f(y)-f(0)$, and you're basically there. Then you have to prove the hint itself too, of course.
– Arthur
Sep 7 at 5:26










2 Answers
2






active

oldest

votes

















up vote
1
down vote



accepted










We want to show that



$$forall epsilon>0, exists r>0:|x-y| <r implies |f(x) - f(y)| < epsilon$$



But $f(x)-f(y)=f(x-y)$ because $f(y)+f(x-y)=f(y+(x-y))=f(x)$ as you have noticed.



Now, take $u=x-y$. By continuity at $0$, we can write:



$$forall epsilon>0, exists r>0:|u-0| <r implies |f(u) - f(0)| < epsilon$$



It's easy to see that $f(0)=0$, because $f(0)=f(0+0)=f(0)+f(0)$. Hence



$$forall epsilon>0, exists r>0:|(x-y)-0| <r implies |f(x-y) - 0| < epsilon$$
$$forall epsilon>0, exists r>0:|x-y| <r implies |f(x)-f(y)| < epsilon$$
Hence, $f$ is continuous at any $y in mathbbR$.






share|cite|improve this answer
















  • 1




    Thanks a lot, I am grateful!
    – Micheal
    Sep 7 at 7:26










  • @Micheal You're welcome.
    – stressed out
    Sep 7 at 7:27


















up vote
1
down vote













One way without that hint is limiting function as $xto0$ then
$$lim_xto0f(x+a)=lim_xto0f(x)+lim_xto0f(a)=0+f(a)=f(a)$$
because $f$ is continuous at $x=0$. Now let $x+a=t$ then
$$lim_tto af(t)=f(a)$$






share|cite|improve this answer




















  • Thanks, I am grateful for this!
    – Micheal
    Sep 7 at 7:27

















2 Answers
2






active

oldest

votes








2 Answers
2






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
1
down vote



accepted










We want to show that



$$forall epsilon>0, exists r>0:|x-y| <r implies |f(x) - f(y)| < epsilon$$



But $f(x)-f(y)=f(x-y)$ because $f(y)+f(x-y)=f(y+(x-y))=f(x)$ as you have noticed.



Now, take $u=x-y$. By continuity at $0$, we can write:



$$forall epsilon>0, exists r>0:|u-0| <r implies |f(u) - f(0)| < epsilon$$



It's easy to see that $f(0)=0$, because $f(0)=f(0+0)=f(0)+f(0)$. Hence



$$forall epsilon>0, exists r>0:|(x-y)-0| <r implies |f(x-y) - 0| < epsilon$$
$$forall epsilon>0, exists r>0:|x-y| <r implies |f(x)-f(y)| < epsilon$$
Hence, $f$ is continuous at any $y in mathbbR$.






share|cite|improve this answer
















  • 1




    Thanks a lot, I am grateful!
    – Micheal
    Sep 7 at 7:26










  • @Micheal You're welcome.
    – stressed out
    Sep 7 at 7:27















up vote
1
down vote



accepted










We want to show that



$$forall epsilon>0, exists r>0:|x-y| <r implies |f(x) - f(y)| < epsilon$$



But $f(x)-f(y)=f(x-y)$ because $f(y)+f(x-y)=f(y+(x-y))=f(x)$ as you have noticed.



Now, take $u=x-y$. By continuity at $0$, we can write:



$$forall epsilon>0, exists r>0:|u-0| <r implies |f(u) - f(0)| < epsilon$$



It's easy to see that $f(0)=0$, because $f(0)=f(0+0)=f(0)+f(0)$. Hence



$$forall epsilon>0, exists r>0:|(x-y)-0| <r implies |f(x-y) - 0| < epsilon$$
$$forall epsilon>0, exists r>0:|x-y| <r implies |f(x)-f(y)| < epsilon$$
Hence, $f$ is continuous at any $y in mathbbR$.






share|cite|improve this answer
















  • 1




    Thanks a lot, I am grateful!
    – Micheal
    Sep 7 at 7:26










  • @Micheal You're welcome.
    – stressed out
    Sep 7 at 7:27













up vote
1
down vote



accepted







up vote
1
down vote



accepted






We want to show that



$$forall epsilon>0, exists r>0:|x-y| <r implies |f(x) - f(y)| < epsilon$$



But $f(x)-f(y)=f(x-y)$ because $f(y)+f(x-y)=f(y+(x-y))=f(x)$ as you have noticed.



Now, take $u=x-y$. By continuity at $0$, we can write:



$$forall epsilon>0, exists r>0:|u-0| <r implies |f(u) - f(0)| < epsilon$$



It's easy to see that $f(0)=0$, because $f(0)=f(0+0)=f(0)+f(0)$. Hence



$$forall epsilon>0, exists r>0:|(x-y)-0| <r implies |f(x-y) - 0| < epsilon$$
$$forall epsilon>0, exists r>0:|x-y| <r implies |f(x)-f(y)| < epsilon$$
Hence, $f$ is continuous at any $y in mathbbR$.






share|cite|improve this answer












We want to show that



$$forall epsilon>0, exists r>0:|x-y| <r implies |f(x) - f(y)| < epsilon$$



But $f(x)-f(y)=f(x-y)$ because $f(y)+f(x-y)=f(y+(x-y))=f(x)$ as you have noticed.



Now, take $u=x-y$. By continuity at $0$, we can write:



$$forall epsilon>0, exists r>0:|u-0| <r implies |f(u) - f(0)| < epsilon$$



It's easy to see that $f(0)=0$, because $f(0)=f(0+0)=f(0)+f(0)$. Hence



$$forall epsilon>0, exists r>0:|(x-y)-0| <r implies |f(x-y) - 0| < epsilon$$
$$forall epsilon>0, exists r>0:|x-y| <r implies |f(x)-f(y)| < epsilon$$
Hence, $f$ is continuous at any $y in mathbbR$.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Sep 7 at 5:44









stressed out

3,6301431




3,6301431







  • 1




    Thanks a lot, I am grateful!
    – Micheal
    Sep 7 at 7:26










  • @Micheal You're welcome.
    – stressed out
    Sep 7 at 7:27













  • 1




    Thanks a lot, I am grateful!
    – Micheal
    Sep 7 at 7:26










  • @Micheal You're welcome.
    – stressed out
    Sep 7 at 7:27








1




1




Thanks a lot, I am grateful!
– Micheal
Sep 7 at 7:26




Thanks a lot, I am grateful!
– Micheal
Sep 7 at 7:26












@Micheal You're welcome.
– stressed out
Sep 7 at 7:27





@Micheal You're welcome.
– stressed out
Sep 7 at 7:27











up vote
1
down vote













One way without that hint is limiting function as $xto0$ then
$$lim_xto0f(x+a)=lim_xto0f(x)+lim_xto0f(a)=0+f(a)=f(a)$$
because $f$ is continuous at $x=0$. Now let $x+a=t$ then
$$lim_tto af(t)=f(a)$$






share|cite|improve this answer




















  • Thanks, I am grateful for this!
    – Micheal
    Sep 7 at 7:27














up vote
1
down vote













One way without that hint is limiting function as $xto0$ then
$$lim_xto0f(x+a)=lim_xto0f(x)+lim_xto0f(a)=0+f(a)=f(a)$$
because $f$ is continuous at $x=0$. Now let $x+a=t$ then
$$lim_tto af(t)=f(a)$$






share|cite|improve this answer




















  • Thanks, I am grateful for this!
    – Micheal
    Sep 7 at 7:27












up vote
1
down vote










up vote
1
down vote









One way without that hint is limiting function as $xto0$ then
$$lim_xto0f(x+a)=lim_xto0f(x)+lim_xto0f(a)=0+f(a)=f(a)$$
because $f$ is continuous at $x=0$. Now let $x+a=t$ then
$$lim_tto af(t)=f(a)$$






share|cite|improve this answer












One way without that hint is limiting function as $xto0$ then
$$lim_xto0f(x+a)=lim_xto0f(x)+lim_xto0f(a)=0+f(a)=f(a)$$
because $f$ is continuous at $x=0$. Now let $x+a=t$ then
$$lim_tto af(t)=f(a)$$







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Sep 7 at 5:30









Nosrati

22.6k61748




22.6k61748











  • Thanks, I am grateful for this!
    – Micheal
    Sep 7 at 7:27
















  • Thanks, I am grateful for this!
    – Micheal
    Sep 7 at 7:27















Thanks, I am grateful for this!
– Micheal
Sep 7 at 7:27




Thanks, I am grateful for this!
– Micheal
Sep 7 at 7:27


這個網誌中的熱門文章

How to combine Bézier curves to a surface?

Carbon dioxide

Why am i infinitely getting the same tweet with the Twitter Search API?