Proof of continuous. f(x+y)=f(x)+f(y)

  • Thread starter Thread starter Unassuming
  • Start date Start date
  • Tags Tags
    Continuous Proof
Click For Summary

Homework Help Overview

The discussion revolves around proving the continuity of a real-valued function f defined on R, which satisfies the functional equation f(x+y)=f(x)+f(y) for all x,y in R. The original poster seeks to demonstrate that if f is continuous at a point p, it must be continuous at every point in R.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Participants explore the implications of continuity at a specific point and how it relates to the functional equation. There are attempts to manipulate inequalities and limits to show continuity at other points. Questions arise regarding the validity of certain steps and the definitions involved in continuity.

Discussion Status

Participants are actively engaging with the problem, raising concerns about their reasoning and the steps taken in their proofs. Some guidance has been offered regarding the definitions of continuity and the implications of the functional equation, but no consensus has been reached on the proof's completeness.

Contextual Notes

There are ongoing discussions about the definitions of limits and continuity, as well as the assumptions made regarding the function's behavior at specific points, particularly at zero. Participants are also considering the implications of the functional equation on the function's values.

Unassuming
Messages
165
Reaction score
0
Let f be a real-valued function on R satisfying f(x+y)=f(x)+f(y) for all x,y in R.

If f is continuous at some p in R, prove that f is continuous at every point of R.

Proof: Suppose f(x) is continuous at p in R. Let p in R and e>0. Since f(x) is continuous at p we can say that for all e>0, there exists a d>0 such that if 0<|x-p|<d implies that |f(x)-f(p)|< e/2.


I know that |f(x)-f(y)| = |f(x)-f(p)+f(p)-f(y)| <= |f(x)-f(p)|+|f(y)-f(p)|.

I also know that |x-y|=|(x-y+p)-p| <= |x-p|+|y-p|.

Help: I am confused on how to show that f is cont. at every point in R. I appreciate any help little or big! Thank you
 
Physics news on Phys.org
Unassuming said:
I also know that |x-y|=|(x-y+p)-p| <= |x-p|+|y-p|.

So if |x - y| < d, then |(x - y + p) + p| < d. Then...

Now use the fact that f(x + y) = f(x) + f(y).
 
Let f be a real-valued function on R satisfying f(x+y)=f(x)+f(y) for all x,y in R.

If f is continuous at some p in R, prove that f is continuous at every point of R.

Proof: Suppose f(x) is continuous at p in R. Since f(x) is continuous at p we can say that for all e>0, there exists a d>0 such that if 0<|x-p|<d implies that |f(x)-f(p)|< e.

Let y be a real number and fix 0<|x-y|<d.
Then |(x-y+p)-p|<d
So |f(x-y+p)-f(p)|<e.
or in other words, |f(x-y)+f(p)-f(p)|<e.
or, |f(x)-f(y)|<e.


I have a concern that I used f(x-y)=f(x)-f(y). Does this work because f(-y)= -f(y) ?

I also changed my e/2 into just e.
I also included a "let" before the manipulating.

Does this look better? I appreciate the help mutton.
 
Last edited:
You don't need to go back to the basic definition of limit. A function, f, is continuous at x= a if and only if:
f(a) is defined
[itex]\lim_{x\rightarrow a} f(x)[/itex] is defined
[itex]\lim_{x\rightarrow a} f(x)= f(a)[/itex]

Suppose f is continuous at x= a. Then [itex]\lim_{x\rightarrow a} f(x)= f(a)[/itex]

Let h= x- a. Then x= a+ h and as x goes to a, h goes to 0:
[itex]\lim_{x\rightarrow a} f(x)=\lim_{h\rightarrow 0} f(a+ h)= \lim{h\rightarrow 0}f(a)+ f(h)[/itex]

What does that tell you about f at x= 0?
(It is important to recognize that if f(x+ y)= f(x)+ f(y), then f(x)= f(x+ 0)= f(x)+ f(0) so f(0)= 0.)

Now let b be any other value and go the opposite way.
 
Unassuming said:
I have a concern that I used f(x-y)=f(x)-f(y). Does this work because f(-y)= -f(y) ?

It works because f(x) = f(x - y + y) = f(x - y) + f(y).

But what you say is also true because f(-y) = f(0 - y) = f(0) - f(y) = -f(y), as HallsofIvy showed that f(0) = 0.
 
HallsofIvy said:
You don't need to go back to the basic definition of limit. A function, f, is continuous at x= a if and only if:
f(a) is defined
[itex]\lim_{x\rightarrow a} f(x)[/itex] is defined
[itex]\lim_{x\rightarrow a} f(x)= f(a)[/itex]

Suppose f is continuous at x= a. Then [itex]\lim_{x\rightarrow a} f(x)= f(a)[/itex]

Let h= x- a. Then x= a+ h and as x goes to a, h goes to 0:
[itex]\lim_{x\rightarrow a} f(x)=\lim_{h\rightarrow 0} f(a+ h)= \lim{h\rightarrow 0}f(a)+ f(h)[/itex]

What does that tell you about f at x= 0?
(It is important to recognize that if f(x+ y)= f(x)+ f(y), then f(x)= f(x+ 0)= f(x)+ f(0) so f(0)= 0.)

Now let b be any other value and go the opposite way.

I was just wondering what you meant by "let b be any other value and go the opposite way."
do you mean let h=x+b?
Thanks.
 
Actually, h= x- b. If b is any real number, then then [itex]\lim_{x\to b} f(x)= \lim_{h\to 0}f(b+ x)[/itex][itex]= \lim_{h\to 0}f(b)[/itex][itex]+ \lim_{h\to 0}f(h)[/itex][itex]= f(b)+ \lim_{h\to 0}f(h)= f(b)[/itex].
 
Thanks!
 
What is the exact difference between the h = x-a and h =x-b step? What is the point of doing both steps?
 

Similar threads

Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
8
Views
2K
Replies
4
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
5
Views
2K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 11 ·
Replies
11
Views
2K
Replies
3
Views
1K