• Support PF! Buy your school textbooks, materials and every day products Here!

Continuous functions

  • Thread starter C.E
  • Start date
  • #1
C.E
102
0
1. Suppose that f and g are continuous functions defined on R and every interval
(a, b) contains some point y with f(y) = g(y). Show that f(x) = g(x) for every x in R.


3. I can show that between any two points in are there is some x such that f(x)=g(x). Is that enough? I don't think it is but have no idea what else I can do. Any ideas?
 

Answers and Replies

  • #2
quasar987
Science Advisor
Homework Helper
Gold Member
4,773
8
Let x be any point in R and consider the sequence of nested intervals I_n:= ]x-1/n,x+1/n[ "converging" to {x}. Try to use the hypothesis that every interval (a, b) contains some point y with f(y) = g(y) to find a sequence {x_n} with x_n in I_n such that f(x_n)=g(x_n) and x_n-->x. How does this imply the desired conclusion?
 
  • #3
matt grime
Science Advisor
Homework Helper
9,395
3
The thing you show is not enough - it is just a restatement of the hypothesis. You've not used the fact that f and g are continuous - that should concern you.

You want to show that for any x f(x)=g(x).

So, take an x. What do we have? Results about intervals. What might your first step be here?
 
  • #4
C.E
102
0
How is this? Is this now a full proof?

Select any x then by IVT for any natural n [tex]\exists[tex]c_n in (x,x+1/n) such that
g(c_n)=f(c_n). we construct a sequence of such c_n values. Clearly the limit of c_n as n goes to infinity is x also the limit of f(c_n)= the limit of g(c_n). Hence by continuity g(x)=f(x).
 
  • #5
quasar987
Science Advisor
Homework Helper
Gold Member
4,773
8
Yes, this is good. Except, that sure it is clear that c_n-->x, but can you give a rigorous argument?


And also, why do you say "By IVT"?!?
 
  • #6
C.E
102
0
To show c_n --> x could we just set epsilon=1/n? I don't know why I said by IVT.
 
  • #7
quasar987
Science Advisor
Homework Helper
Gold Member
4,773
8
That doesn't really make sense... to show that c_n-->x, you need to find, to every epsilon>0, an N>0 such that n>N ==> |c_n-x|<epsilon.

Yes, it suffices to find N for epsilon=1/m for all m>0 (by the archimedean property of R) but what is N for epsilon=1/m?

To prove that c_n-->x rigorously, you can either answer that question or use an argument involving the squeeze lemma (aka sandwich lemma)
 
  • #8
C.E
102
0
How is this?

For a given episilon take N= 1 + the integer part of 1/epsilon.
 
  • #9
quasar987
Science Advisor
Homework Helper
Gold Member
4,773
8
Yup.
 

Related Threads for: Continuous functions

Replies
2
Views
4K
Replies
13
Views
5K
  • Last Post
Replies
3
Views
719
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
11
Views
663
  • Last Post
Replies
8
Views
753
  • Last Post
Replies
2
Views
897
Top