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]
Clash 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!
real-analysis analysis functions continuity
marked as duplicate by dxiv, Chase Ryan Taylor, Jyrki Lahtonen, user91500, José Carlos Santos
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.
add a comment |Â
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!
real-analysis analysis functions continuity
marked as duplicate by dxiv, Chase Ryan Taylor, Jyrki Lahtonen, user91500, José Carlos Santos
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
add a comment |Â
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!
real-analysis analysis functions continuity
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
real-analysis analysis functions continuity
asked Sep 7 at 5:21
Micheal
25010
25010
marked as duplicate by dxiv, Chase Ryan Taylor, Jyrki Lahtonen, user91500, José Carlos Santos
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
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
add a comment |Â
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
add a comment |Â
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$.
1
Thanks a lot, I am grateful!
â Micheal
Sep 7 at 7:26
@Micheal You're welcome.
â stressed out
Sep 7 at 7:27
add a comment |Â
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)$$
Thanks, I am grateful for this!
â Micheal
Sep 7 at 7:27
add a comment |Â
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$.
1
Thanks a lot, I am grateful!
â Micheal
Sep 7 at 7:26
@Micheal You're welcome.
â stressed out
Sep 7 at 7:27
add a comment |Â
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$.
1
Thanks a lot, I am grateful!
â Micheal
Sep 7 at 7:26
@Micheal You're welcome.
â stressed out
Sep 7 at 7:27
add a comment |Â
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$.
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$.
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
add a comment |Â
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
add a comment |Â
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)$$
Thanks, I am grateful for this!
â Micheal
Sep 7 at 7:27
add a comment |Â
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)$$
Thanks, I am grateful for this!
â Micheal
Sep 7 at 7:27
add a comment |Â
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)$$
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)$$
answered Sep 7 at 5:30
Nosrati
22.6k61748
22.6k61748
Thanks, I am grateful for this!
â Micheal
Sep 7 at 7:27
add a comment |Â
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
add a comment |Â
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