1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Question on continuous function.

  1. Aug 5, 2006 #1
    let f(x) be continuous for 0<=f(x)<=1. suppose that f(x) assumes rational vlaues only and that f(x)=1/2 when x=1/2. prove that f(x)=1/2 everywhere.

    im having trouble with this simple question, here's what i did:
    |x-1/2|<d implies |f(x)-1/2|<e. f(x) assumes only rational values so
    ( im guessing that by 'assumes' it's input is rational values, so
    |x-x0|<d |f(x)-f(x0)|<e f(x0)=p/q
    if p/q>1/2 then |f(x)-p/q|<|f(x)-1/2|<=e
    and if p/q<1/2 |f(x)-1/2|<|f(x)-p/q|<e, and thus the limit of f(x) at x0 always converges to 1/2.
    is this right?
  2. jcsd
  3. Aug 5, 2006 #2
    If you know a little topology, consider the following:
    If [itex]f:X\to Y[/itex] is continuous and X is a connected set, then f(X) is also connected.

    You have [itex]f:[0,1]\to\mathbb{Q}[/itex]. What are the connected sets in [itex]\mathbb{Q}[/itex]?
  4. Aug 5, 2006 #3


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    What about the intermediate value theorem?
  5. Aug 6, 2006 #4


    User Avatar
    Homework Helper

    No, it's output is rational, not input.
    Say if there exists some [tex]x_0 \neq \frac{1}{2}[/tex], such that: [tex]f(x_0) \neq f \left( \frac{1}{2} \right) = \frac{1}{2}[/tex], then is there any value x1 in the interval [tex]\left] \min \left(x_0, \frac{1}{2} \right) , \ \max \left( x_0 , \frac{1}{2} \right) \right[[/tex], such that f(x1) is irrational?
  6. Aug 6, 2006 #5
    i also thout about it.
    but it states:"If f is continuous on a closed interval [a,b] , and c is any number between f(a) and f(b) inclusive, then there is at least one number x in the closed interval such that f(x)=c." (mathworld)
    it doesnt say that for every x f(x)=c (in this case c=1/2).
    what it does states (from the problem) is that for every x f(x)'s output ( as viet dao corrected me, i didnt understand what assumes means here) is rational values, but how do i use the intermediate theorem here to prove that for every x f(x)=1/2.
    i know that for every x f(x)=p/q, and by the theorem there's at least one x (x=1/2) such that f(x)=1/2 f(0)<=f(1/2)<=f(1), then how do i infer that for every x in [0,1] f(x)=1/2?
  7. Aug 6, 2006 #6


    User Avatar
    Staff Emeritus
    Science Advisor

    Oh, come on!!! Use proof by contradiction. Suppose f(x) is not 1/2 for all x. Then there exist at least two distinct values of f: y1 and y2. Now what does the intermediate value theorem tell you?
  8. Aug 6, 2006 #7
    it tells us that there's at least one t such that f(t)=y1 and at least one t' such that f(t')=y2 where they are between f(a) and f(b), but i dont see how does this contradict the assumption that they are distinct?
  9. Aug 6, 2006 #8
    wait a minute i just reread the theorem, y1 is any number between f(a) and f(b) and so is y2, so they could also be equal.

    thanks halls.
  10. Aug 6, 2006 #9


    User Avatar
    Homework Helper

    No, what's a, and b? You haven't even defined them!!!
    You still seem not to understand the theorem correctly. Roughly speaking, the theorem is that if the function f is continuous, and returns 2 different values y1, and y2, then it can return any value between y1 and y2.
    Say if g(x) = sin(x), g(x) is continuous, right? g(0) = 0, and [tex]g \left( \frac{\pi}{2} \right) = 1[/tex], then there exists some x value between 0 and [tex]\frac{\pi}{2}[/tex], such that [tex]g(x) = \frac{\sqrt{3}}{2}[/tex], ([tex]\frac{\sqrt{3}}{2}[/tex] is between g(0), and [tex]g \left( \frac{\pi}{2} \right)[/tex]). That value is [tex]x = \frac{\pi}{3}[/tex].
    Can you get this?
    Now read the theorem, and all the posts above to see if you can finish the problem. :)
    Last edited: Aug 6, 2006
  11. Aug 6, 2006 #10
    let me know if this is any good.

    suppose f(x) is not 1/2 everywhere (so only once f(x) gets the value 1/2), then there are y1,y2 which are values of f(x) which arent equal to eachother.
    because f is conitnuous on an interval [0,1] there's a value 1/2 between f(x1) and f(x2) (f(x1) and f(x2) are rationals), when x1<x2<1/2 and thus there's at least one x such that f(x)=1/2 where x!=1/2.

    i dont think this proof is correct cause i haven't shown why 1/2 must be between f(x1) and f(x2), i know that they are rationals but it doesnt say that those are rationals between 0 and 1, the values of the domain are between 0 and 1.
  12. Aug 6, 2006 #11


    User Avatar
    Homework Helper

    This is fine. :)
    It can get the value 1 / 2 twice, or three times, or blah blah blah, whatever. You just need to assume that there's one x0, such that: [tex]f(x_0) \neq \frac{1}{2}[/tex]. Can you get this? :)
    No, this part is not good. What are your x1, and x2? You haven't defined them.
    Ok, so we have that:
    [tex]f(x_0) \neq \frac{1}{2}[/tex], and
    [tex]f \left( \frac{1}{2} \right) = \frac{1}{2}[/tex], right?
    Now, is there any irrational number between the 2 distinct rational numbers f(x0), and f(1/2)? There is, right? Do you remember this thread (I almost gave up on finding this thread, I thought it was in Calculus & Beyond! :rolleyes:). Let call that rational number a. Ok?
    According to the Intermediate Value theorem, is there any x1 between x0, and 1 / 2, such that f(x1) = a?
    Now, can you go from here? Can you follow me? :)
    Last edited: Aug 6, 2006
  13. Aug 6, 2006 #12


    User Avatar
    Staff Emeritus
    Science Advisor

    You are completely misunderstanding the "intermediate value property"!
    No, it doesn't say anything like that! (especially since you haven't said what y1 and y2 are.) The intermediate value property says that if y is any value between f(a) and f(b), then there exist x between a and b such that f(x)= y. That is, f takes on all values between f(a) and f(b).

    You are told that f(1/2)= 1/2. If f(x) is not identically 1/2, then there exist some x1 such that y1= f(x1) is not 1/2. By the intermediate value property, if y is any value between 1/2 and y1, there exist x such that f(x)= y. Now, can you think of a value between 1/2 and y1 that will give a contradiction?
  14. Aug 6, 2006 #13
    i think i can follow, bacuase by the intermediate theorem, f assumes any value between 1/2 and f(x0) and thus also assumes an irrational number, but by the definition of the problem it only assumes rational numbers.

    thanks for the help.

    iv'e got another couple of questions:
    1)prove that if f(x) is monotonic in [a,b] and satisfies the intermediate value property , then f(x) is continuous.
    what i did is as follows:
    assume f is monotonic increasing, x>y f(x)>f(y), and that between f(y) and f(x) the function recieves the value e which correspond to the value x0 between y and x, i.e f(x0)=e, let's assume |x-y|<d, then f(x)>e>f(y)
    e-f(x)>f(y)-f(x) i.e |f(x)-f(y)|<e-f(x)<e and thus the function is uniform continuous and thus also point conitinouos. is this right?

    2)let f(x) be a polynomial f(x)=anx^n+...+a1x+a0
    show that if n is odd, then f(x) has at least one real root, if an and a0 have opposite signs, then f(x) has at least one posirive root, and if n is even different than 0, then f(x) has a negative root as well.

    for the first part here's what i did:
    if we multiply by [tex]x=/=0[/tex] then [tex]a_{2m-1}x^{2m}+...+a_{1}x^2+a0x=0[/tex]
    if i substract both of the equations i get, [tex]a_{2m-1}x^{2m}+(a_{2m-2}-a_{2m-1})x^{2m-1}+...+(a_{1}-a_{2})x^2+(a_{0}-a_{1})x-a0=0[/tex] this equation is equivalent to the other equations (cause it's addition of one multiple of equations to another.
    and this set of equations has a solution for x=1 and thus also the first equation has at least one real solution.

    im not sure at all if this is correct.
    i appreciate your help.

    btw, im quite sure that if in the first question f satisfies the intermediate property then it's already assumed to be conitnuous in the interval, so perhaps this part of the property isnt assumed here.
    Last edited: Aug 6, 2006
  15. Aug 6, 2006 #14


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    e-f(x) < 0, so how can it be greater than the absolute value of something?

    I don't really follow your logic here (ignoring the absolute value error), or see where you're trying to go.... why can't the function be discontinuous at some point a > y, or < x? Or somewhere between x and e?

    I would try arguing by contradiction.... if the function WASN'T continuous at a point, what does that mean about the points around it?
    Last edited: Aug 6, 2006
  16. Aug 6, 2006 #15


    User Avatar
    Homework Helper

    In effect, you've just multiplied the polynomial by (x-1), and claimed it must have a real root because this new polynomial has the real root 1. Try to see exactly where your argument breaks down.

    One way to do this question is, once again, using the intermediate value theorem. A polynomial is dominated at large x by the largest power of x, and in the case of an odd degree polynomial, this term will have different signs depending on the sign of x (for example -x^3+3x+4 is negative for large positive x and positive for large negative x). Can you figure out what to do from here?

    Alternatively, you could use the property that all complex roots of a polynomial with real coefficients come in complex conjugate pairs, so when there are an odd number of roots, there is at least one root which has to be its own complex conjugate (although this argument needs to be made more formal)
    Last edited: Aug 6, 2006
  17. Aug 7, 2006 #16
    if the function wasnt conitnuous then there exists e>0 and d>0 such that |x-x0|<d |f(x)-f(x0)|>=e it is monotone, then suppose it's monotonic increasing then for x>y f(x)>f(y), by the intermediate property, any value value between f(x) and f(y), say c, such that x0 between x and y, and f(x0)=c f(x)>f(x0)>f(y) f(x)-f(x0)>=e, if we let e=f(x)-f(y) then f(x)-f(x0)>=f(x)-f(y) which is not possible.

    i dont think this proof is correct cause in the first place i mentioned there exists an e>0, so it could be of any postive value not necessarily the value ive given.
  18. Aug 7, 2006 #17
    when i think about again, perhaps i do have something, as before we assume that f isnt continuous then |f(x)-f(x0)|>=e for |x-x0|<d with the intermediate value property we have that for every x'>x0 in the interval [a,b] and any number c between f(x')>f(x0) tere exists x1 which is between x0 and x' such that f(x1)=c.
    if we employ this property over again with x1 and x0 and then getting x2 etc, we are getting closer and closer to x0, and thus the difference between the functions at x0 and xi i=1,...,n approaches zero, which is contradiction to f not being continuous.

    is this a good idea?
  19. Aug 7, 2006 #18


    User Avatar
    Homework Helper

    You are making it a mess. I doubt that you can really understand what you wrote. Mathematics is not a collection of, may I say, meaningless symbols, and signs. Be sure to express your ideas correctly so that others can understand. If you cannot understand what you wrote, then you cannot suppose us to be able to interprete them.
    There's no such definition for discontinuity! What if f(x0) is undefined?
    Err, what??? :confused: :confused:
    Ok, let have a look back at Office_Shredder's hint:
    Monotone function means that it can either be an increasing, or decreasing function. So, say if there's a discontinuity at x0. f(x0) is either missing (or undefined), or there'll be a jump there. So what happens, then?
    Last edited: Aug 7, 2006
  20. Aug 7, 2006 #19
    i beg to differ i know that if a function is not continouous in a particular point then there exists e>0 and d>0 such that for |x-x0|<d |f(x)-f(x0)|>=e, this is the negation of continuity.
  21. Aug 7, 2006 #20
    does this negation only applies to uniform continuity?

    btw, i understand that if at point x0 it is discontinuous then the intermediate value doesnt apply cause f(x0) is not defined or missing as you put it, but still im quite sure about what i wrote that if f isnt continuous at x0 then |f(x)-f(x0)|>=e, isnt this the negation of continuity?
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?

Similar Discussions: Question on continuous function.